-> [0.000000]: [surf_maxmin/DEBUG] Constraint '86' usage: 5.734765 remaining: 0.609391 concurrency: 4<=4<=4
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '85' usage: 7.075924 remaining: 3.776224 concurrency: 3<=3<=4
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '89' usage: 2.815684 remaining: 8.081918 concurrency: 2<=2<=3
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '88' usage: 6.223277 remaining: 1.458541 concurrency: 3<=3<=4
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '81' usage: 3.684815 remaining: 5.934066 concurrency: 2<=2<=3
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '84' usage: 5.168332 remaining: 0.189810 concurrency: 3<=3<=4
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '90' usage: 1.853646 remaining: 4.025974 concurrency: 1<=2<=-1
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '82' usage: 3.173826 remaining: 7.812188 concurrency: 2<=2<=4
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '87' usage: 2.877123 remaining: 5.074925 concurrency: 1<=2<=4
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '83' usage: 1.522478 remaining: 0.199800 concurrency: 1<=1<=3
-> [0.000000]: [surf_maxmin/DEBUG] var=83, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.036726, var.bound*var.penalty=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] var=85, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.036726, var.bound*var.penalty=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] var=89, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.036726, var.bound*var.penalty=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (83) value to 0.036726
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(83).penalty: 1.000000, Var(83).value: 0.036726
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (85) value to 0.036726
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(85).penalty: 1.000000, Var(85).value: 0.036726
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (89) value to 0.036726
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(89).penalty: 1.000000, Var(89).value: 0.036726
-> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 10 || usage: 0.000000 remaining: 0.000000 bound: 0.189810
-> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 9 || usage: 0.000000 remaining: 0.143886 bound: 0.199800
-> [0.000000]: [surf_maxmin/DEBUG] var=81, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.133180, var.bound*var.penalty=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] var=82, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.133180, var.bound*var.penalty=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] var=84, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.133180, var.bound*var.penalty=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (81) value to 0.133180
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(81).penalty: 1.000000, Var(81).value: 0.133180
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (82) value to 0.133180
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(82).penalty: 1.000000, Var(82).value: 0.133180
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (84) value to 0.133180
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(84).penalty: 1.000000, Var(84).value: 0.133180
-> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 8 || usage: 0.000000 remaining: 7.532445 bound: 7.812188
-> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 7 || usage: 0.000000 remaining: 7.706925 bound: 8.081918
-> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 6 || usage: 0.000000 remaining: 0.000000 bound: 0.609391
-> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 5 || usage: 0.000000 remaining: 4.876179 bound: 5.074925
-> [0.000000]: [surf_maxmin/DEBUG] var=88, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.552648, var.bound*var.penalty=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (88) value to 0.552648
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.552648, Var(88).penalty: 1.000000, Var(88).value: 0.552648
-> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 2.232278 bound: 3.776224
-> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 3 || usage: 0.000000 remaining: 5.081262 bound: 5.934066
-> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 2 || usage: 0.000000 remaining: 3.095879 bound: 4.025974
-> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 0.000000 bound: 1.458541
-> [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '89'(1.000000) '88'(1.000000) '85'(1.000000) '84'(1.000000) '83'(1.000000) '82'(1.000000) '81'(1.000000) '86'(0.000000) '87'(0.000000) '90'(0.000000) )
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '85' usage: 7.178533 remaining: 4.185082 concurrency: 4<=5<=-1
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '81' usage: 8.476100 remaining: 3.644610 concurrency: 4<=4<=4
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '87' usage: 5.905621 remaining: 0.840597 concurrency: 4<=4<=4
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '83' usage: 3.131650 remaining: 1.338295 concurrency: 2<=2<=4
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '86' usage: 4.117081 remaining: 2.481012 concurrency: 2<=2<=-1
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '88' usage: 8.831579 remaining: 4.946545 concurrency: 3<=3<=-1
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '82' usage: 4.447821 remaining: 4.957733 concurrency: 2<=2<=-1
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '89' usage: 2.610616 remaining: 3.157089 concurrency: 2<=2<=3
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '90' usage: 2.381237 remaining: 9.509640 concurrency: 1<=1<=3
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '84' usage: 3.078695 remaining: 0.133220 concurrency: 2<=2<=3
+> [0.000000]: [surf_maxmin/DEBUG] var=85, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.043272, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=87, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.043272, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (85) value to 0.043272
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.043272, Var(85).penalty: 1.000000, Var(85).value: 0.043272
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (87) value to 0.043272
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.043272, Var(87).penalty: 1.000000, Var(87).value: 0.043272
+> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 10 || usage: 0.000000 remaining: 0.000000 bound: 0.133220
+> [0.000000]: [surf_maxmin/DEBUG] var=81, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.142338, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=83, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.142338, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=84, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.142338, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=88, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.142338, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (81) value to 0.142338
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142338, Var(81).penalty: 1.000000, Var(81).value: 0.142338
+> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 9 || usage: 0.000000 remaining: 1.051802 bound: 1.338295
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (83) value to 0.142338
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142338, Var(83).penalty: 1.000000, Var(83).value: 0.142338
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (84) value to 0.142338
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142338, Var(84).penalty: 1.000000, Var(84).value: 0.142338
+> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 8 || usage: 0.000000 remaining: 3.310191 bound: 4.185082
+> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 7 || usage: 0.000000 remaining: 9.343978 bound: 9.509640
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (88) value to 0.142338
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142338, Var(88).penalty: 1.000000, Var(88).value: 0.142338
+> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 6 || usage: 0.000000 remaining: 0.000000 bound: 0.840597
+> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 5 || usage: 0.000000 remaining: 2.636440 bound: 3.644610
+> [0.000000]: [surf_maxmin/DEBUG] var=82, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.594365, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=90, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.594365, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (82) value to 0.594365
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.594365, Var(82).penalty: 1.000000, Var(82).value: 0.594365
+> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 0.941735 bound: 2.481012
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (90) value to 0.594365
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.594365, Var(90).penalty: 1.000000, Var(90).value: 0.594365
+> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 3.215631 bound: 4.957733
+> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 2 || usage: 0.000000 remaining: 2.151237 bound: 3.157089
+> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 0.000000 bound: 4.946545
+> [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '90'(1.000000) '88'(1.000000) '87'(1.000000) '85'(1.000000) '84'(1.000000) '83'(1.000000) '82'(1.000000) '81'(1.000000) '86'(0.000000) '89'(0.000000) )