-> [0.000000]: [surf_maxmin/DEBUG] Constraint '16' usage: 2.596903 remaining: 9.730270 concurrency: 2<=2<=3
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '20' usage: 6.927572 remaining: 1.978022 concurrency: 4<=4<=4
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '17' usage: 5.505495 remaining: 4.575425 concurrency: 3<=3<=3
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '12' usage: 2.631369 remaining: 2.127872 concurrency: 0<=0<=3
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '19' usage: 4.567433 remaining: 6.663337 concurrency: 2<=2<=3
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '18' usage: 5.965534 remaining: 6.053946 concurrency: 3<=3<=4
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '15' usage: 4.024975 remaining: 3.366633 concurrency: 2<=2<=-1
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '11' usage: 4.858142 remaining: 4.975025 concurrency: 3<=3<=3
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '13' usage: 5.908591 remaining: 1.088911 concurrency: 3<=3<=-1
-> [0.000000]: [surf_maxmin/DEBUG] Constraint '14' usage: 1.957043 remaining: 7.702298 concurrency: 1<=1<=4
-> [0.000000]: [surf_maxmin/DEBUG] var=14, var->bound=-1.000000, var->weight=1.000000, min_usage=0.184293, var->bound*var->weight=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] var=15, var->bound=-1.000000, var->weight=1.000000, min_usage=0.184293, var->bound*var->weight=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] var=17, var->bound=-1.000000, var->weight=1.000000, min_usage=0.184293, var->bound*var->weight=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (14) value to 0.184293
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(14)->weight: 1.000000, Var(14)->value: 0.184293
-> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 10 || usage: 0.000000 remaining: 7.341629 bound: 7.702298
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (15) value to 0.184293
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(15)->weight: 1.000000, Var(15)->value: 0.184293
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (17) value to 0.184293
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(17)->weight: 1.000000, Var(17)->value: 0.184293
-> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 9 || usage: 0.000000 remaining: 0.000000 bound: 1.088911
-> [0.000000]: [surf_maxmin/DEBUG] var=11, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] var=12, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] var=13, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] var=19, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (11) value to 0.316463
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(11)->weight: 1.000000, Var(11)->value: 0.316463
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (12) value to 0.316463
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(12)->weight: 1.000000, Var(12)->value: 0.316463
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (13) value to 0.316463
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(13)->weight: 1.000000, Var(13)->value: 0.316463
-> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 8 || usage: 0.000000 remaining: 5.345264 bound: 6.663337
-> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 7 || usage: 0.000000 remaining: 2.183786 bound: 3.366633
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (19) value to 0.316463
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(19)->weight: 1.000000, Var(19)->value: 0.316463
-> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 6 || usage: 0.000000 remaining: 4.337989 bound: 6.053946
-> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 5 || usage: 0.000000 remaining: 0.000000 bound: 1.978022
-> [0.000000]: [surf_maxmin/DEBUG] var=18, var->bound=-1.000000, var->weight=1.000000, min_usage=1.961597, var->bound*var->weight=-1.000000
-> [0.000000]: [surf_maxmin/DEBUG] Setting var (18) value to 1.961597
->
-> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.961597, Var(18)->weight: 1.000000, Var(18)->value: 1.961597
-> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 0.987622 bound: 4.975025
-> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 0.000000 bound: 2.127872
-> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 0.826438 bound: 4.575425
-> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 6.827787 bound: 9.730270
-> [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '19'(1.000000) '18'(1.000000) '17'(1.000000) '15'(1.000000) '14'(1.000000) '13'(1.000000) '12'(1.000000) '11'(1.000000) '16'(0.000000) '20'(0.000000) )
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '16' usage: 4.049244 remaining: 1.199505 concurrency: 2<=2<=4
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '12' usage: 8.681117 remaining: 9.315409 concurrency: 4<=4<=4
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '20' usage: 0.384945 remaining: 5.867970 concurrency: 0<=0<=-1
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '11' usage: 4.958247 remaining: 1.850821 concurrency: 3<=3<=-1
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '18' usage: 6.197159 remaining: 8.182267 concurrency: 3<=3<=4
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '19' usage: 6.324096 remaining: 1.345799 concurrency: 3<=3<=3
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '13' usage: 5.807235 remaining: 4.353224 concurrency: 3<=3<=3
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '15' usage: 3.331655 remaining: 2.046486 concurrency: 1<=1<=4
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '17' usage: 0.000000 remaining: 2.668273 concurrency: 0<=0<=3
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '14' usage: 1.677831 remaining: 3.205364 concurrency: 1<=1<=4
+> [0.000000]: [surf_maxmin/DEBUG] var=12, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.212805, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=14, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.212805, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=15, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.212805, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (12) value to 0.212805
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.212805, Var(12).penalty: 1.000000, Var(12).value: 0.212805
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (14) value to 0.212805
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.212805, Var(14).penalty: 1.000000, Var(14).value: 0.212805
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (15) value to 0.212805
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.212805, Var(15).penalty: 1.000000, Var(15).value: 0.212805
+> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 9 || usage: 0.000000 remaining: 0.000000 bound: 1.345799
+> [0.000000]: [surf_maxmin/DEBUG] var=11, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.307087, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=13, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.307087, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (11) value to 0.307087
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.307087, Var(11).penalty: 1.000000, Var(11).value: 0.307087
+> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 8 || usage: 0.000000 remaining: 5.749758 bound: 5.867970
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (13) value to 0.307087
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.307087, Var(13).penalty: 1.000000, Var(13).value: 0.307087
+> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 7 || usage: 0.000000 remaining: 0.000000 bound: 1.199505
+> [0.000000]: [surf_maxmin/DEBUG] var=16, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.459141, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=18, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.459141, var.bound*var.penalty=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (16) value to 0.459141
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.459141, Var(16).penalty: 1.000000, Var(16).value: 0.459141
+> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 6 || usage: 0.000000 remaining: 6.098007 bound: 8.182267
+> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 5 || usage: 0.000000 remaining: 2.521143 bound: 4.353224
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (18) value to 0.459141
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.459141, Var(18).penalty: 1.000000, Var(18).value: 0.459141
+> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 4 || usage: 0.000000 remaining: 1.097225 bound: 2.046486
+> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 3 || usage: 0.000000 remaining: 0.000000 bound: 1.850821
+> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 2 || usage: 0.000000 remaining: 2.435004 bound: 3.205364
+> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 6.269740 bound: 9.315409
+> [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '18'(1.000000) '16'(1.000000) '15'(1.000000) '14'(1.000000) '13'(1.000000) '12'(1.000000) '11'(1.000000) '17'(0.000000) '19'(0.000000) '20'(0.000000) )