X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ffd9f72bc4c441b59d6c671c0a9ac748e1625d52..ba1c6dce93f9ab740c9d66e268572e5c803b5edb:/teshsuite/surf/maxmin_bench/maxmin_bench_medium.tesh diff --git a/teshsuite/surf/maxmin_bench/maxmin_bench_medium.tesh b/teshsuite/surf/maxmin_bench/maxmin_bench_medium.tesh index 424227d2d5..5490940308 100644 --- a/teshsuite/surf/maxmin_bench/maxmin_bench_medium.tesh +++ b/teshsuite/surf/maxmin_bench/maxmin_bench_medium.tesh @@ -118,33 +118,33 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=78, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000069, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=88, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000069, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (28) value to 0.000069 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(28).penalty: 1.000000, Var(28).value: 0.000069 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(28).penalty: 1.000000, Var(28).value: 0.000069 > [0.000000]: [surf_maxmin/DEBUG] Setting var (30) value to 0.000069 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(30).penalty: 1.000000, Var(30).value: 0.000069 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(30).penalty: 1.000000, Var(30).value: 0.000069 > [0.000000]: [surf_maxmin/DEBUG] Setting var (36) value to 0.000069 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(36).penalty: 1.000000, Var(36).value: 0.000069 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(36).penalty: 1.000000, Var(36).value: 0.000069 > [0.000000]: [surf_maxmin/DEBUG] Setting var (39) value to 0.000069 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(39).penalty: 1.000000, Var(39).value: 0.000069 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(39).penalty: 1.000000, Var(39).value: 0.000069 > [0.000000]: [surf_maxmin/DEBUG] Setting var (42) value to 0.000069 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(42).penalty: 1.000000, Var(42).value: 0.000069 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(42).penalty: 1.000000, Var(42).value: 0.000069 > [0.000000]: [surf_maxmin/DEBUG] Setting var (50) value to 0.000069 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(50).penalty: 1.000000, Var(50).value: 0.000069 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(50).penalty: 1.000000, Var(50).value: 0.000069 > [0.000000]: [surf_maxmin/DEBUG] Setting var (76) value to 0.000069 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(76).penalty: 1.000000, Var(76).value: 0.000069 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(76).penalty: 1.000000, Var(76).value: 0.000069 > [0.000000]: [surf_maxmin/DEBUG] Setting var (78) value to 0.000069 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(78).penalty: 1.000000, Var(78).value: 0.000069 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(78).penalty: 1.000000, Var(78).value: 0.000069 > [0.000000]: [surf_maxmin/DEBUG] Setting var (88) value to 0.000069 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(88).penalty: 1.000000, Var(88).value: 0.000069 -> [0.000000]: [surf_maxmin/DEBUG] index: 99 cnst_light_num: 100 || usage: 0.000000 remaining: 0.000000 bound: 0.001144 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000069, Var(88).penalty: 1.000000, Var(88).value: 0.000069 +> [0.000000]: [surf_maxmin/DEBUG] index: 99 cnst_light_num: 100 || usage: 0.000000 remaining: 0.000000 bound: 0.001144 > [0.000000]: [surf_maxmin/DEBUG] var=3, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006163, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=8, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006163, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=9, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006163, var.bound*var.penalty=-1.000000 @@ -156,36 +156,36 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=26, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006163, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=82, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006163, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (3) value to 0.006163 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(3).penalty: 1.000000, Var(3).value: 0.006163 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(3).penalty: 1.000000, Var(3).value: 0.006163 > [0.000000]: [surf_maxmin/DEBUG] Setting var (8) value to 0.006163 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(8).penalty: 1.000000, Var(8).value: 0.006163 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(8).penalty: 1.000000, Var(8).value: 0.006163 > [0.000000]: [surf_maxmin/DEBUG] Setting var (9) value to 0.006163 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(9).penalty: 1.000000, Var(9).value: 0.006163 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(9).penalty: 1.000000, Var(9).value: 0.006163 > [0.000000]: [surf_maxmin/DEBUG] Setting var (10) value to 0.006163 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(10).penalty: 1.000000, Var(10).value: 0.006163 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(10).penalty: 1.000000, Var(10).value: 0.006163 > [0.000000]: [surf_maxmin/DEBUG] Setting var (11) value to 0.006163 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(11).penalty: 1.000000, Var(11).value: 0.006163 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(11).penalty: 1.000000, Var(11).value: 0.006163 > [0.000000]: [surf_maxmin/DEBUG] Setting var (13) value to 0.006163 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(13).penalty: 1.000000, Var(13).value: 0.006163 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(13).penalty: 1.000000, Var(13).value: 0.006163 > [0.000000]: [surf_maxmin/DEBUG] Setting var (14) value to 0.006163 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(14).penalty: 1.000000, Var(14).value: 0.006163 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(14).penalty: 1.000000, Var(14).value: 0.006163 > [0.000000]: [surf_maxmin/DEBUG] Setting var (18) value to 0.006163 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(18).penalty: 1.000000, Var(18).value: 0.006163 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(18).penalty: 1.000000, Var(18).value: 0.006163 > [0.000000]: [surf_maxmin/DEBUG] Setting var (26) value to 0.006163 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(26).penalty: 1.000000, Var(26).value: 0.006163 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(26).penalty: 1.000000, Var(26).value: 0.006163 > [0.000000]: [surf_maxmin/DEBUG] Setting var (82) value to 0.006163 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(82).penalty: 1.000000, Var(82).value: 0.006163 -> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 99 || usage: 0.000000 remaining: 0.000000 bound: 0.090080 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006163, Var(82).penalty: 1.000000, Var(82).value: 0.006163 +> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 99 || usage: 0.000000 remaining: 0.000000 bound: 0.090080 > [0.000000]: [surf_maxmin/DEBUG] var=7, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.012099, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=12, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.012099, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=21, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.012099, var.bound*var.penalty=-1.000000 @@ -193,209 +193,209 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=40, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.012099, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=49, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.012099, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (7) value to 0.012099 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(7).penalty: 1.000000, Var(7).value: 0.012099 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(7).penalty: 1.000000, Var(7).value: 0.012099 > [0.000000]: [surf_maxmin/DEBUG] Setting var (12) value to 0.012099 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(12).penalty: 1.000000, Var(12).value: 0.012099 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(12).penalty: 1.000000, Var(12).value: 0.012099 > [0.000000]: [surf_maxmin/DEBUG] Setting var (21) value to 0.012099 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(21).penalty: 1.000000, Var(21).value: 0.012099 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(21).penalty: 1.000000, Var(21).value: 0.012099 > [0.000000]: [surf_maxmin/DEBUG] Setting var (31) value to 0.012099 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(31).penalty: 1.000000, Var(31).value: 0.012099 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(31).penalty: 1.000000, Var(31).value: 0.012099 > [0.000000]: [surf_maxmin/DEBUG] Setting var (40) value to 0.012099 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(40).penalty: 1.000000, Var(40).value: 0.012099 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(40).penalty: 1.000000, Var(40).value: 0.012099 > [0.000000]: [surf_maxmin/DEBUG] Setting var (49) value to 0.012099 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(49).penalty: 1.000000, Var(49).value: 0.012099 -> [0.000000]: [surf_maxmin/DEBUG] index: 57 cnst_light_num: 98 || usage: 0.000000 remaining: 0.000000 bound: 0.186473 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.012099, Var(49).penalty: 1.000000, Var(49).value: 0.012099 +> [0.000000]: [surf_maxmin/DEBUG] index: 57 cnst_light_num: 98 || usage: 0.000000 remaining: 0.000000 bound: 0.186473 > [0.000000]: [surf_maxmin/DEBUG] var=2, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019293, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=19, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019293, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (2) value to 0.019293 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019293, Var(2).penalty: 1.000000, Var(2).value: 0.019293 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019293, Var(2).penalty: 1.000000, Var(2).value: 0.019293 > [0.000000]: [surf_maxmin/DEBUG] Setting var (19) value to 0.019293 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019293, Var(19).penalty: 1.000000, Var(19).value: 0.019293 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 97 || usage: 0.000000 remaining: 0.000000 bound: 0.116692 -> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 96 || usage: 0.000000 remaining: 2.783556 bound: 2.897600 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019293, Var(19).penalty: 1.000000, Var(19).value: 0.019293 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 97 || usage: 0.000000 remaining: 0.000000 bound: 0.116692 +> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 96 || usage: 0.000000 remaining: 2.783556 bound: 2.897600 > [0.000000]: [surf_maxmin/DEBUG] var=4, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.020365, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=22, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.020365, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=25, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.020365, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=38, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.020365, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (4) value to 0.020365 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.020365, Var(4).penalty: 1.000000, Var(4).value: 0.020365 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.020365, Var(4).penalty: 1.000000, Var(4).value: 0.020365 > [0.000000]: [surf_maxmin/DEBUG] Setting var (22) value to 0.020365 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.020365, Var(22).penalty: 1.000000, Var(22).value: 0.020365 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.020365, Var(22).penalty: 1.000000, Var(22).value: 0.020365 > [0.000000]: [surf_maxmin/DEBUG] Setting var (25) value to 0.020365 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.020365, Var(25).penalty: 1.000000, Var(25).value: 0.020365 -> [0.000000]: [surf_maxmin/DEBUG] index: 84 cnst_light_num: 95 || usage: 0.000000 remaining: 0.638113 bound: 0.733642 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.020365, Var(25).penalty: 1.000000, Var(25).value: 0.020365 +> [0.000000]: [surf_maxmin/DEBUG] index: 84 cnst_light_num: 95 || usage: 0.000000 remaining: 0.638113 bound: 0.733642 > [0.000000]: [surf_maxmin/DEBUG] Setting var (38) value to 0.020365 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.020365, Var(38).penalty: 1.000000, Var(38).value: 0.020365 -> [0.000000]: [surf_maxmin/DEBUG] index: 59 cnst_light_num: 94 || usage: 0.000000 remaining: 0.000000 bound: 0.158212 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.020365, Var(38).penalty: 1.000000, Var(38).value: 0.020365 +> [0.000000]: [surf_maxmin/DEBUG] index: 59 cnst_light_num: 94 || usage: 0.000000 remaining: 0.000000 bound: 0.158212 > [0.000000]: [surf_maxmin/DEBUG] var=23, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027475, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=29, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027475, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=34, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027475, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (23) value to 0.027475 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027475, Var(23).penalty: 1.000000, Var(23).value: 0.027475 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027475, Var(23).penalty: 1.000000, Var(23).value: 0.027475 > [0.000000]: [surf_maxmin/DEBUG] Setting var (29) value to 0.027475 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027475, Var(29).penalty: 1.000000, Var(29).value: 0.027475 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027475, Var(29).penalty: 1.000000, Var(29).value: 0.027475 > [0.000000]: [surf_maxmin/DEBUG] Setting var (34) value to 0.027475 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027475, Var(34).penalty: 1.000000, Var(34).value: 0.027475 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 93 || usage: 0.000000 remaining: 0.000000 bound: 0.298014 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027475, Var(34).penalty: 1.000000, Var(34).value: 0.027475 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 93 || usage: 0.000000 remaining: 0.000000 bound: 0.298014 > [0.000000]: [surf_maxmin/DEBUG] var=5, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.030572, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=15, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.030572, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=20, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.030572, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (5) value to 0.030572 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.030572, Var(5).penalty: 1.000000, Var(5).value: 0.030572 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.030572, Var(5).penalty: 1.000000, Var(5).value: 0.030572 > [0.000000]: [surf_maxmin/DEBUG] Setting var (15) value to 0.030572 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.030572, Var(15).penalty: 1.000000, Var(15).value: 0.030572 -> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 92 || usage: 0.000000 remaining: 0.267956 bound: 0.533625 -> [0.000000]: [surf_maxmin/DEBUG] index: 62 cnst_light_num: 91 || usage: 0.000000 remaining: 9.779088 bound: 9.973229 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.030572, Var(15).penalty: 1.000000, Var(15).value: 0.030572 +> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 92 || usage: 0.000000 remaining: 0.267956 bound: 0.533625 +> [0.000000]: [surf_maxmin/DEBUG] index: 62 cnst_light_num: 91 || usage: 0.000000 remaining: 9.779088 bound: 9.973229 > [0.000000]: [surf_maxmin/DEBUG] Setting var (20) value to 0.030572 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.030572, Var(20).penalty: 1.000000, Var(20).value: 0.030572 -> [0.000000]: [surf_maxmin/DEBUG] index: 31 cnst_light_num: 90 || usage: 0.000000 remaining: 2.851407 bound: 2.989301 -> [0.000000]: [surf_maxmin/DEBUG] index: 76 cnst_light_num: 89 || usage: 0.000000 remaining: 0.000000 bound: 0.341713 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.030572, Var(20).penalty: 1.000000, Var(20).value: 0.030572 +> [0.000000]: [surf_maxmin/DEBUG] index: 31 cnst_light_num: 90 || usage: 0.000000 remaining: 2.851407 bound: 2.989301 +> [0.000000]: [surf_maxmin/DEBUG] index: 76 cnst_light_num: 89 || usage: 0.000000 remaining: 0.000000 bound: 0.341713 > [0.000000]: [surf_maxmin/DEBUG] var=87, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.044062, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (87) value to 0.044062 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044062, Var(87).penalty: 1.000000, Var(87).value: 0.044062 -> [0.000000]: [surf_maxmin/DEBUG] index: 45 cnst_light_num: 88 || usage: 0.000000 remaining: 0.000000 bound: 0.273876 -> [0.000000]: [surf_maxmin/DEBUG] index: 76 cnst_light_num: 87 || usage: 0.000000 remaining: 5.886658 bound: 6.139383 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044062, Var(87).penalty: 1.000000, Var(87).value: 0.044062 +> [0.000000]: [surf_maxmin/DEBUG] index: 45 cnst_light_num: 88 || usage: 0.000000 remaining: 0.000000 bound: 0.273876 +> [0.000000]: [surf_maxmin/DEBUG] index: 76 cnst_light_num: 87 || usage: 0.000000 remaining: 5.886658 bound: 6.139383 > [0.000000]: [surf_maxmin/DEBUG] var=24, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.063103, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (24) value to 0.063103 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.063103, Var(24).penalty: 1.000000, Var(24).value: 0.063103 -> [0.000000]: [surf_maxmin/DEBUG] index: 62 cnst_light_num: 86 || usage: 0.000000 remaining: 8.159271 bound: 8.420309 -> [0.000000]: [surf_maxmin/DEBUG] index: 28 cnst_light_num: 85 || usage: 0.000000 remaining: 4.818691 bound: 5.247994 -> [0.000000]: [surf_maxmin/DEBUG] index: 31 cnst_light_num: 84 || usage: 0.000000 remaining: 5.607641 bound: 5.857593 -> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 83 || usage: 0.000000 remaining: 0.000000 bound: 0.198801 -> [0.000000]: [surf_maxmin/DEBUG] index: 67 cnst_light_num: 82 || usage: 0.000000 remaining: 8.057214 bound: 8.296034 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.063103, Var(24).penalty: 1.000000, Var(24).value: 0.063103 +> [0.000000]: [surf_maxmin/DEBUG] index: 62 cnst_light_num: 86 || usage: 0.000000 remaining: 8.159271 bound: 8.420309 +> [0.000000]: [surf_maxmin/DEBUG] index: 28 cnst_light_num: 85 || usage: 0.000000 remaining: 4.818691 bound: 5.247994 +> [0.000000]: [surf_maxmin/DEBUG] index: 31 cnst_light_num: 84 || usage: 0.000000 remaining: 5.607641 bound: 5.857593 +> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 83 || usage: 0.000000 remaining: 0.000000 bound: 0.198801 +> [0.000000]: [surf_maxmin/DEBUG] index: 67 cnst_light_num: 82 || usage: 0.000000 remaining: 8.057214 bound: 8.296034 > [0.000000]: [surf_maxmin/DEBUG] var=6, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.113551, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=17, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.113551, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=27, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.113551, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=100, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.113551, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (6) value to 0.113551 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113551, Var(6).penalty: 1.000000, Var(6).value: 0.113551 -> [0.000000]: [surf_maxmin/DEBUG] index: 77 cnst_light_num: 81 || usage: 0.000000 remaining: 5.218475 bound: 5.783896 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113551, Var(6).penalty: 1.000000, Var(6).value: 0.113551 +> [0.000000]: [surf_maxmin/DEBUG] index: 77 cnst_light_num: 81 || usage: 0.000000 remaining: 5.218475 bound: 5.783896 > [0.000000]: [surf_maxmin/DEBUG] Setting var (17) value to 0.113551 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113551, Var(17).penalty: 1.000000, Var(17).value: 0.113551 -> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 80 || usage: 0.000000 remaining: 0.388630 bound: 0.836230 -> [0.000000]: [surf_maxmin/DEBUG] index: 75 cnst_light_num: 79 || usage: 0.000000 remaining: 6.017457 bound: 6.216957 -> [0.000000]: [surf_maxmin/DEBUG] index: 31 cnst_light_num: 78 || usage: 0.000000 remaining: 7.606683 bound: 8.071052 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113551, Var(17).penalty: 1.000000, Var(17).value: 0.113551 +> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 80 || usage: 0.000000 remaining: 0.388630 bound: 0.836230 +> [0.000000]: [surf_maxmin/DEBUG] index: 75 cnst_light_num: 79 || usage: 0.000000 remaining: 6.017457 bound: 6.216957 +> [0.000000]: [surf_maxmin/DEBUG] index: 31 cnst_light_num: 78 || usage: 0.000000 remaining: 7.606683 bound: 8.071052 > [0.000000]: [surf_maxmin/DEBUG] Setting var (27) value to 0.113551 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113551, Var(27).penalty: 1.000000, Var(27).value: 0.113551 -> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 77 || usage: 0.000000 remaining: 8.718926 bound: 9.085955 -> [0.000000]: [surf_maxmin/DEBUG] index: 66 cnst_light_num: 76 || usage: 0.000000 remaining: 4.794121 bound: 5.148891 -> [0.000000]: [surf_maxmin/DEBUG] index: 50 cnst_light_num: 75 || usage: 0.000000 remaining: 6.460026 bound: 6.918771 -> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 74 || usage: 0.000000 remaining: 6.067488 bound: 6.637946 -> [0.000000]: [surf_maxmin/DEBUG] index: 43 cnst_light_num: 73 || usage: 0.000000 remaining: 3.146097 bound: 3.565317 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 72 || usage: 0.000000 remaining: 3.602642 bound: 3.965807 -> [0.000000]: [surf_maxmin/DEBUG] index: 52 cnst_light_num: 71 || usage: 0.000000 remaining: 8.198326 bound: 8.600280 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113551, Var(27).penalty: 1.000000, Var(27).value: 0.113551 +> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 77 || usage: 0.000000 remaining: 8.718926 bound: 9.085955 +> [0.000000]: [surf_maxmin/DEBUG] index: 66 cnst_light_num: 76 || usage: 0.000000 remaining: 4.794121 bound: 5.148891 +> [0.000000]: [surf_maxmin/DEBUG] index: 50 cnst_light_num: 75 || usage: 0.000000 remaining: 6.460026 bound: 6.918771 +> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 74 || usage: 0.000000 remaining: 6.067488 bound: 6.637946 +> [0.000000]: [surf_maxmin/DEBUG] index: 43 cnst_light_num: 73 || usage: 0.000000 remaining: 3.146097 bound: 3.565317 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 72 || usage: 0.000000 remaining: 3.602642 bound: 3.965807 +> [0.000000]: [surf_maxmin/DEBUG] index: 52 cnst_light_num: 71 || usage: 0.000000 remaining: 8.198326 bound: 8.600280 > [0.000000]: [surf_maxmin/DEBUG] Setting var (100) value to 0.113551 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113551, Var(100).penalty: 1.000000, Var(100).value: 0.113551 -> [0.000000]: [surf_maxmin/DEBUG] index: 68 cnst_light_num: 70 || usage: 0.000000 remaining: 9.103700 bound: 9.565357 -> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 69 || usage: 0.000000 remaining: 4.752302 bound: 5.406005 -> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 68 || usage: 0.000000 remaining: 5.995961 bound: 6.477494 -> [0.000000]: [surf_maxmin/DEBUG] index: 34 cnst_light_num: 67 || usage: 0.000000 remaining: 8.390153 bound: 8.921359 -> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 66 || usage: 0.000000 remaining: 3.919797 bound: 4.280912 -> [0.000000]: [surf_maxmin/DEBUG] index: 43 cnst_light_num: 65 || usage: 0.000000 remaining: 7.833335 bound: 8.316926 -> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 64 || usage: 0.000000 remaining: 6.178238 bound: 6.378365 -> [0.000000]: [surf_maxmin/DEBUG] index: 46 cnst_light_num: 63 || usage: 0.000000 remaining: 0.000000 bound: 0.928008 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113551, Var(100).penalty: 1.000000, Var(100).value: 0.113551 +> [0.000000]: [surf_maxmin/DEBUG] index: 68 cnst_light_num: 70 || usage: 0.000000 remaining: 9.103700 bound: 9.565357 +> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 69 || usage: 0.000000 remaining: 4.752302 bound: 5.406005 +> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 68 || usage: 0.000000 remaining: 5.995961 bound: 6.477494 +> [0.000000]: [surf_maxmin/DEBUG] index: 34 cnst_light_num: 67 || usage: 0.000000 remaining: 8.390153 bound: 8.921359 +> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 66 || usage: 0.000000 remaining: 3.919797 bound: 4.280912 +> [0.000000]: [surf_maxmin/DEBUG] index: 43 cnst_light_num: 65 || usage: 0.000000 remaining: 7.833335 bound: 8.316926 +> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 64 || usage: 0.000000 remaining: 6.178238 bound: 6.378365 +> [0.000000]: [surf_maxmin/DEBUG] index: 46 cnst_light_num: 63 || usage: 0.000000 remaining: 0.000000 bound: 0.928008 > [0.000000]: [surf_maxmin/DEBUG] var=16, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.129552, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (16) value to 0.129552 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.129552, Var(16).penalty: 1.000000, Var(16).value: 0.129552 -> [0.000000]: [surf_maxmin/DEBUG] index: 59 cnst_light_num: 62 || usage: 0.000000 remaining: 3.478739 bound: 4.179265 -> [0.000000]: [surf_maxmin/DEBUG] index: 58 cnst_light_num: 61 || usage: 0.000000 remaining: 1.386297 bound: 1.723405 -> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 60 || usage: 0.000000 remaining: 3.121491 bound: 3.488983 -> [0.000000]: [surf_maxmin/DEBUG] index: 31 cnst_light_num: 59 || usage: 0.000000 remaining: 8.191805 bound: 8.833061 -> [0.000000]: [surf_maxmin/DEBUG] index: 57 cnst_light_num: 58 || usage: 0.000000 remaining: 4.410861 bound: 5.098103 -> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 57 || usage: 0.000000 remaining: 0.000000 bound: 0.592432 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 56 || usage: 0.000000 remaining: 7.334506 bound: 7.892793 -> [0.000000]: [surf_maxmin/DEBUG] index: 38 cnst_light_num: 55 || usage: 0.000000 remaining: 3.071667 bound: 3.477659 -> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 54 || usage: 0.000000 remaining: 8.569378 bound: 9.034019 -> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 53 || usage: 0.000000 remaining: 8.800536 bound: 9.391278 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.129552, Var(16).penalty: 1.000000, Var(16).value: 0.129552 +> [0.000000]: [surf_maxmin/DEBUG] index: 59 cnst_light_num: 62 || usage: 0.000000 remaining: 3.478739 bound: 4.179265 +> [0.000000]: [surf_maxmin/DEBUG] index: 58 cnst_light_num: 61 || usage: 0.000000 remaining: 1.386297 bound: 1.723405 +> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 60 || usage: 0.000000 remaining: 3.121491 bound: 3.488983 +> [0.000000]: [surf_maxmin/DEBUG] index: 31 cnst_light_num: 59 || usage: 0.000000 remaining: 8.191805 bound: 8.833061 +> [0.000000]: [surf_maxmin/DEBUG] index: 57 cnst_light_num: 58 || usage: 0.000000 remaining: 4.410861 bound: 5.098103 +> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 57 || usage: 0.000000 remaining: 0.000000 bound: 0.592432 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 56 || usage: 0.000000 remaining: 7.334506 bound: 7.892793 +> [0.000000]: [surf_maxmin/DEBUG] index: 38 cnst_light_num: 55 || usage: 0.000000 remaining: 3.071667 bound: 3.477659 +> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 54 || usage: 0.000000 remaining: 8.569378 bound: 9.034019 +> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 53 || usage: 0.000000 remaining: 8.800536 bound: 9.391278 > [0.000000]: [surf_maxmin/DEBUG] var=32, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.178987, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (32) value to 0.178987 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.178987, Var(32).penalty: 1.000000, Var(32).value: 0.178987 -> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 52 || usage: 0.000000 remaining: 7.287142 bound: 7.783892 -> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 51 || usage: 0.000000 remaining: 0.066420 bound: 0.640673 -> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 50 || usage: 0.000000 remaining: 0.000000 bound: 0.493042 -> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 49 || usage: 0.000000 remaining: 4.998275 bound: 5.586898 -> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 48 || usage: 0.000000 remaining: 3.581372 bound: 3.967675 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 47 || usage: 0.000000 remaining: 3.263646 bound: 3.976768 -> [0.000000]: [surf_maxmin/DEBUG] index: 40 cnst_light_num: 46 || usage: 0.000000 remaining: 6.250569 bound: 6.968182 -> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 45 || usage: 0.000000 remaining: 1.526940 bound: 2.360890 -> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 44 || usage: 0.000000 remaining: 7.111978 bound: 8.463109 -> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 43 || usage: 0.000000 remaining: 0.392880 bound: 1.242710 -> [0.000000]: [surf_maxmin/DEBUG] index: 26 cnst_light_num: 42 || usage: 0.000000 remaining: 9.193374 bound: 9.888611 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 41 || usage: 0.000000 remaining: 6.847590 bound: 7.727391 -> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 40 || usage: 0.000000 remaining: 2.505546 bound: 2.984953 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 39 || usage: 0.000000 remaining: 3.505253 bound: 4.269098 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 38 || usage: 0.000000 remaining: 0.735570 bound: 1.194905 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.178987, Var(32).penalty: 1.000000, Var(32).value: 0.178987 +> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 52 || usage: 0.000000 remaining: 7.287142 bound: 7.783892 +> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 51 || usage: 0.000000 remaining: 0.066420 bound: 0.640673 +> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 50 || usage: 0.000000 remaining: 0.000000 bound: 0.493042 +> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 49 || usage: 0.000000 remaining: 4.998275 bound: 5.586898 +> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 48 || usage: 0.000000 remaining: 3.581372 bound: 3.967675 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 47 || usage: 0.000000 remaining: 3.263646 bound: 3.976768 +> [0.000000]: [surf_maxmin/DEBUG] index: 40 cnst_light_num: 46 || usage: 0.000000 remaining: 6.250569 bound: 6.968182 +> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 45 || usage: 0.000000 remaining: 1.526940 bound: 2.360890 +> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 44 || usage: 0.000000 remaining: 7.111978 bound: 8.463109 +> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 43 || usage: 0.000000 remaining: 0.392880 bound: 1.242710 +> [0.000000]: [surf_maxmin/DEBUG] index: 26 cnst_light_num: 42 || usage: 0.000000 remaining: 9.193374 bound: 9.888611 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 41 || usage: 0.000000 remaining: 6.847590 bound: 7.727391 +> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 40 || usage: 0.000000 remaining: 2.505546 bound: 2.984953 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 39 || usage: 0.000000 remaining: 3.505253 bound: 4.269098 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 38 || usage: 0.000000 remaining: 0.735570 bound: 1.194905 > [0.000000]: [surf_maxmin/DEBUG] var=1, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.240619, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=90, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.240619, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (1) value to 0.240619 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.240619, Var(1).penalty: 1.000000, Var(1).value: 0.240619 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 37 || usage: 0.000000 remaining: 1.067608 bound: 2.116281 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 36 || usage: 0.000000 remaining: 2.660215 bound: 3.572698 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 35 || usage: 0.000000 remaining: 6.051824 bound: 6.944002 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 34 || usage: 0.000000 remaining: 4.142217 bound: 5.331653 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 33 || usage: 0.000000 remaining: 2.089471 bound: 3.013605 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 32 || usage: 0.000000 remaining: 9.675459 bound: 9.971848 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 31 || usage: 0.000000 remaining: 1.464022 bound: 2.336225 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 30 || usage: 0.000000 remaining: 2.361413 bound: 3.266449 -> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 29 || usage: 0.000000 remaining: 0.206981 bound: 1.421201 -> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 28 || usage: 0.000000 remaining: 5.925434 bound: 6.852195 -> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 27 || usage: 0.000000 remaining: 6.467453 bound: 7.471216 -> [0.000000]: [surf_maxmin/DEBUG] index: 15 cnst_light_num: 26 || usage: 0.000000 remaining: 0.528882 bound: 1.147460 -> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 25 || usage: 0.000000 remaining: 6.043090 bound: 6.997584 -> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 24 || usage: 0.000000 remaining: 0.137015 bound: 1.073653 -> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 23 || usage: 0.000000 remaining: 7.156679 bound: 8.291469 -> [0.000000]: [surf_maxmin/DEBUG] index: 19 cnst_light_num: 22 || usage: 0.000000 remaining: 6.445574 bound: 7.427648 -> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 21 || usage: 0.000000 remaining: 1.709186 bound: 2.317585 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.240619, Var(1).penalty: 1.000000, Var(1).value: 0.240619 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 37 || usage: 0.000000 remaining: 1.067608 bound: 2.116281 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 36 || usage: 0.000000 remaining: 2.660215 bound: 3.572698 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 35 || usage: 0.000000 remaining: 6.051824 bound: 6.944002 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 34 || usage: 0.000000 remaining: 4.142217 bound: 5.331653 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 33 || usage: 0.000000 remaining: 2.089471 bound: 3.013605 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 32 || usage: 0.000000 remaining: 9.675459 bound: 9.971848 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 31 || usage: 0.000000 remaining: 1.464022 bound: 2.336225 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 30 || usage: 0.000000 remaining: 2.361413 bound: 3.266449 +> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 29 || usage: 0.000000 remaining: 0.206981 bound: 1.421201 +> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 28 || usage: 0.000000 remaining: 5.925434 bound: 6.852195 +> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 27 || usage: 0.000000 remaining: 6.467453 bound: 7.471216 +> [0.000000]: [surf_maxmin/DEBUG] index: 15 cnst_light_num: 26 || usage: 0.000000 remaining: 0.528882 bound: 1.147460 +> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 25 || usage: 0.000000 remaining: 6.043090 bound: 6.997584 +> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 24 || usage: 0.000000 remaining: 0.137015 bound: 1.073653 +> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 23 || usage: 0.000000 remaining: 7.156679 bound: 8.291469 +> [0.000000]: [surf_maxmin/DEBUG] index: 19 cnst_light_num: 22 || usage: 0.000000 remaining: 6.445574 bound: 7.427648 +> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 21 || usage: 0.000000 remaining: 1.709186 bound: 2.317585 > [0.000000]: [surf_maxmin/DEBUG] Setting var (90) value to 0.240619 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.240619, Var(90).penalty: 1.000000, Var(90).value: 0.240619 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 20 || usage: 0.000000 remaining: 6.067744 bound: 6.522989 -> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 19 || usage: 0.000000 remaining: 1.774307 bound: 2.730500 -> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 18 || usage: 0.000000 remaining: 2.879034 bound: 4.479802 -> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 17 || usage: 0.000000 remaining: 0.000000 bound: 0.983468 -> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 16 || usage: 0.000000 remaining: 5.759572 bound: 6.716541 -> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 15 || usage: 0.000000 remaining: 3.484649 bound: 4.434529 -> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 14 || usage: 0.000000 remaining: 7.266561 bound: 7.654851 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 13 || usage: 0.000000 remaining: 1.997650 bound: 3.023326 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 12 || usage: 0.000000 remaining: 1.639393 bound: 2.936141 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 11 || usage: 0.000000 remaining: 8.141912 bound: 9.033795 -> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 10 || usage: 0.000000 remaining: 2.797747 bound: 3.798033 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 9 || usage: 0.000000 remaining: 4.925453 bound: 7.538762 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 8 || usage: 0.000000 remaining: 4.119743 bound: 5.334485 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 7 || usage: 0.000000 remaining: 8.191982 bound: 9.682616 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 6 || usage: 0.000000 remaining: 8.252791 bound: 8.763891 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 5 || usage: 0.000000 remaining: 7.340042 bound: 8.346257 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 6.272851 bound: 7.645926 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 1.448255 bound: 2.303628 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 3.095332 bound: 3.879107 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 8.573010 bound: 9.139620 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.240619, Var(90).penalty: 1.000000, Var(90).value: 0.240619 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 20 || usage: 0.000000 remaining: 6.067744 bound: 6.522989 +> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 19 || usage: 0.000000 remaining: 1.774307 bound: 2.730500 +> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 18 || usage: 0.000000 remaining: 2.879034 bound: 4.479802 +> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 17 || usage: 0.000000 remaining: 0.000000 bound: 0.983468 +> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 16 || usage: 0.000000 remaining: 5.759572 bound: 6.716541 +> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 15 || usage: 0.000000 remaining: 3.484649 bound: 4.434529 +> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 14 || usage: 0.000000 remaining: 7.266561 bound: 7.654851 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 13 || usage: 0.000000 remaining: 1.997650 bound: 3.023326 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 12 || usage: 0.000000 remaining: 1.639393 bound: 2.936141 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 11 || usage: 0.000000 remaining: 8.141912 bound: 9.033795 +> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 10 || usage: 0.000000 remaining: 2.797747 bound: 3.798033 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 9 || usage: 0.000000 remaining: 4.925453 bound: 7.538762 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 8 || usage: 0.000000 remaining: 4.119743 bound: 5.334485 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 7 || usage: 0.000000 remaining: 8.191982 bound: 9.682616 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 6 || usage: 0.000000 remaining: 8.252791 bound: 8.763891 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 5 || usage: 0.000000 remaining: 7.340042 bound: 8.346257 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 6.272851 bound: 7.645926 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 1.448255 bound: 2.303628 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 3.095332 bound: 3.879107 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 8.573010 bound: 9.139620 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '100'(1.000000) '90'(1.000000) '88'(1.000000) '87'(1.000000) '82'(1.000000) '78'(1.000000) '76'(1.000000) '50'(1.000000) '49'(1.000000) '42'(1.000000) '40'(1.000000) '39'(1.000000) '38'(1.000000) '36'(1.000000) '34'(1.000000) '32'(1.000000) '31'(1.000000) '30'(1.000000) '29'(1.000000) '28'(1.000000) '27'(1.000000) '26'(1.000000) '25'(1.000000) '24'(1.000000) '23'(1.000000) '22'(1.000000) '21'(1.000000) '20'(1.000000) '19'(1.000000) '18'(1.000000) '17'(1.000000) '16'(1.000000) '15'(1.000000) '14'(1.000000) '13'(1.000000) '12'(1.000000) '11'(1.000000) '10'(1.000000) '9'(1.000000) '8'(1.000000) '7'(1.000000) '6'(1.000000) '5'(1.000000) '4'(1.000000) '3'(1.000000) '2'(1.000000) '1'(1.000000) '33'(0.000000) '35'(0.000000) '37'(0.000000) '41'(0.000000) '43'(0.000000) '44'(0.000000) '45'(0.000000) '46'(0.000000) '47'(0.000000) '48'(0.000000) '51'(0.000000) '52'(0.000000) '53'(0.000000) '54'(0.000000) '55'(0.000000) '56'(0.000000) '57'(0.000000) '58'(0.000000) '59'(0.000000) '60'(0.000000) '61'(0.000000) '62'(0.000000) '63'(0.000000) '64'(0.000000) '65'(0.000000) '66'(0.000000) '67'(0.000000) '68'(0.000000) '69'(0.000000) '70'(0.000000) '71'(0.000000) '72'(0.000000) '73'(0.000000) '74'(0.000000) '75'(0.000000) '77'(0.000000) '79'(0.000000) '80'(0.000000) '81'(0.000000) '83'(0.000000) '84'(0.000000) '85'(0.000000) '86'(0.000000) '89'(0.000000) '91'(0.000000) '92'(0.000000) '93'(0.000000) '94'(0.000000) '95'(0.000000) '96'(0.000000) '97'(0.000000) '98'(0.000000) '99'(0.000000) ) > [0.000000]: [surf_maxmin/DEBUG] Constraints > [0.000000]: [surf_maxmin/DEBUG] (1.297879.'88'(0.000069) + 0.916271.'49'(0.012099) + 1.526967.'39'(0.000069) + 1.729887.'38'(0.020365) + 1.281100.'32'(0.178987) + 1.748356.'31'(0.012099) + 1.891618.'28'(0.000069) + 1.124029.'27'(0.113551) + 0.518519.'26'(0.006163) + 2.988088.'26'(0.006163) + 1.347184.'22'(0.020365) + 0.840580.'18'(0.006163) + 1.088904.'17'(0.113551) + 1.016175.'15'(0.030572) + 0.354314.'13'(0.006163) + 2.177278.'6'(0.113551) + 0.655051.'4'(0.020365) + 0.632733.'1'(0.240619) + 0.621028.'51'(0.000000) + 1.671412.'64'(0.000000) + 1.239743.'66'(0.000000) + 1.417212.'70'(0.000000) + 2.377538.'71'(0.000000) + 0.244423.'71'(0.000000) + 2.098518.'77'(0.000000) + 2.145691.'80'(0.000000) + 0.752112.'83'(0.000000) + 1.911794.'84'(0.000000) + 1.866781.'85'(0.000000) + 0.721991.'91'(0.000000) + 2.444267.'97'(0.000000) + 0.989651.'98'(0.000000) + 0) <= 2.116281 ('39') @@ -714,36 +714,36 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=156, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006573, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=178, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006573, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (102) value to 0.006573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(102).penalty: 1.000000, Var(102).value: 0.006573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(102).penalty: 1.000000, Var(102).value: 0.006573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (104) value to 0.006573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(104).penalty: 1.000000, Var(104).value: 0.006573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(104).penalty: 1.000000, Var(104).value: 0.006573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (105) value to 0.006573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(105).penalty: 1.000000, Var(105).value: 0.006573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(105).penalty: 1.000000, Var(105).value: 0.006573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (110) value to 0.006573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(110).penalty: 1.000000, Var(110).value: 0.006573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(110).penalty: 1.000000, Var(110).value: 0.006573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (112) value to 0.006573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(112).penalty: 1.000000, Var(112).value: 0.006573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(112).penalty: 1.000000, Var(112).value: 0.006573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (131) value to 0.006573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(131).penalty: 1.000000, Var(131).value: 0.006573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(131).penalty: 1.000000, Var(131).value: 0.006573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (133) value to 0.006573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(133).penalty: 1.000000, Var(133).value: 0.006573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(133).penalty: 1.000000, Var(133).value: 0.006573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (141) value to 0.006573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(141).penalty: 1.000000, Var(141).value: 0.006573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(141).penalty: 1.000000, Var(141).value: 0.006573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (156) value to 0.006573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(156).penalty: 1.000000, Var(156).value: 0.006573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(156).penalty: 1.000000, Var(156).value: 0.006573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (178) value to 0.006573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(178).penalty: 1.000000, Var(178).value: 0.006573 -> [0.000000]: [surf_maxmin/DEBUG] index: 34 cnst_light_num: 100 || usage: 0.000000 remaining: 0.000000 bound: 0.102500 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006573, Var(178).penalty: 1.000000, Var(178).value: 0.006573 +> [0.000000]: [surf_maxmin/DEBUG] index: 34 cnst_light_num: 100 || usage: 0.000000 remaining: 0.000000 bound: 0.102500 > [0.000000]: [surf_maxmin/DEBUG] var=109, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.044234, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=111, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.044234, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=115, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.044234, var.bound*var.penalty=-1.000000 @@ -753,32 +753,32 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=157, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.044234, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=181, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.044234, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (109) value to 0.044234 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(109).penalty: 1.000000, Var(109).value: 0.044234 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(109).penalty: 1.000000, Var(109).value: 0.044234 > [0.000000]: [surf_maxmin/DEBUG] Setting var (111) value to 0.044234 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(111).penalty: 1.000000, Var(111).value: 0.044234 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(111).penalty: 1.000000, Var(111).value: 0.044234 > [0.000000]: [surf_maxmin/DEBUG] Setting var (115) value to 0.044234 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(115).penalty: 1.000000, Var(115).value: 0.044234 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(115).penalty: 1.000000, Var(115).value: 0.044234 > [0.000000]: [surf_maxmin/DEBUG] Setting var (121) value to 0.044234 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(121).penalty: 1.000000, Var(121).value: 0.044234 -> [0.000000]: [surf_maxmin/DEBUG] index: 97 cnst_light_num: 99 || usage: 0.000000 remaining: 8.006012 bound: 8.072111 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(121).penalty: 1.000000, Var(121).value: 0.044234 +> [0.000000]: [surf_maxmin/DEBUG] index: 97 cnst_light_num: 99 || usage: 0.000000 remaining: 8.006012 bound: 8.072111 > [0.000000]: [surf_maxmin/DEBUG] Setting var (127) value to 0.044234 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(127).penalty: 1.000000, Var(127).value: 0.044234 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(127).penalty: 1.000000, Var(127).value: 0.044234 > [0.000000]: [surf_maxmin/DEBUG] Setting var (146) value to 0.044234 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(146).penalty: 1.000000, Var(146).value: 0.044234 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(146).penalty: 1.000000, Var(146).value: 0.044234 > [0.000000]: [surf_maxmin/DEBUG] Setting var (157) value to 0.044234 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(157).penalty: 1.000000, Var(157).value: 0.044234 -> [0.000000]: [surf_maxmin/DEBUG] index: 97 cnst_light_num: 98 || usage: 0.000000 remaining: 0.305458 bound: 0.488681 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(157).penalty: 1.000000, Var(157).value: 0.044234 +> [0.000000]: [surf_maxmin/DEBUG] index: 97 cnst_light_num: 98 || usage: 0.000000 remaining: 0.305458 bound: 0.488681 > [0.000000]: [surf_maxmin/DEBUG] Setting var (181) value to 0.044234 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(181).penalty: 1.000000, Var(181).value: 0.044234 -> [0.000000]: [surf_maxmin/DEBUG] index: 85 cnst_light_num: 97 || usage: 0.000000 remaining: 0.000000 bound: 0.671444 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.044234, Var(181).penalty: 1.000000, Var(181).value: 0.044234 +> [0.000000]: [surf_maxmin/DEBUG] index: 85 cnst_light_num: 97 || usage: 0.000000 remaining: 0.000000 bound: 0.671444 > [0.000000]: [surf_maxmin/DEBUG] var=107, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.080095, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=108, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.080095, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=113, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.080095, var.bound*var.penalty=-1.000000 @@ -787,174 +787,174 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=129, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.080095, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=132, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.080095, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (107) value to 0.080095 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(107).penalty: 1.000000, Var(107).value: 0.080095 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(107).penalty: 1.000000, Var(107).value: 0.080095 > [0.000000]: [surf_maxmin/DEBUG] Setting var (108) value to 0.080095 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(108).penalty: 1.000000, Var(108).value: 0.080095 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(108).penalty: 1.000000, Var(108).value: 0.080095 > [0.000000]: [surf_maxmin/DEBUG] Setting var (113) value to 0.080095 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(113).penalty: 1.000000, Var(113).value: 0.080095 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(113).penalty: 1.000000, Var(113).value: 0.080095 > [0.000000]: [surf_maxmin/DEBUG] Setting var (120) value to 0.080095 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(120).penalty: 1.000000, Var(120).value: 0.080095 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(120).penalty: 1.000000, Var(120).value: 0.080095 > [0.000000]: [surf_maxmin/DEBUG] Setting var (124) value to 0.080095 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(124).penalty: 1.000000, Var(124).value: 0.080095 -> [0.000000]: [surf_maxmin/DEBUG] index: 71 cnst_light_num: 96 || usage: 0.000000 remaining: 1.607527 bound: 2.209982 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(124).penalty: 1.000000, Var(124).value: 0.080095 +> [0.000000]: [surf_maxmin/DEBUG] index: 71 cnst_light_num: 96 || usage: 0.000000 remaining: 1.607527 bound: 2.209982 > [0.000000]: [surf_maxmin/DEBUG] Setting var (129) value to 0.080095 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(129).penalty: 1.000000, Var(129).value: 0.080095 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(129).penalty: 1.000000, Var(129).value: 0.080095 > [0.000000]: [surf_maxmin/DEBUG] Setting var (132) value to 0.080095 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(132).penalty: 1.000000, Var(132).value: 0.080095 -> [0.000000]: [surf_maxmin/DEBUG] index: 37 cnst_light_num: 95 || usage: 0.000000 remaining: 0.000000 bound: 1.194848 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.080095, Var(132).penalty: 1.000000, Var(132).value: 0.080095 +> [0.000000]: [surf_maxmin/DEBUG] index: 37 cnst_light_num: 95 || usage: 0.000000 remaining: 0.000000 bound: 1.194848 > [0.000000]: [surf_maxmin/DEBUG] var=103, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.093227, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=117, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.093227, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=118, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.093227, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=126, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.093227, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (103) value to 0.093227 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.093227, Var(103).penalty: 1.000000, Var(103).value: 0.093227 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.093227, Var(103).penalty: 1.000000, Var(103).value: 0.093227 > [0.000000]: [surf_maxmin/DEBUG] Setting var (117) value to 0.093227 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.093227, Var(117).penalty: 1.000000, Var(117).value: 0.093227 -> [0.000000]: [surf_maxmin/DEBUG] index: 76 cnst_light_num: 94 || usage: 0.000000 remaining: 1.917254 bound: 2.597448 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.093227, Var(117).penalty: 1.000000, Var(117).value: 0.093227 +> [0.000000]: [surf_maxmin/DEBUG] index: 76 cnst_light_num: 94 || usage: 0.000000 remaining: 1.917254 bound: 2.597448 > [0.000000]: [surf_maxmin/DEBUG] Setting var (118) value to 0.093227 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.093227, Var(118).penalty: 1.000000, Var(118).value: 0.093227 -> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 93 || usage: 0.000000 remaining: 7.173610 bound: 7.487779 -> [0.000000]: [surf_maxmin/DEBUG] index: 74 cnst_light_num: 92 || usage: 0.000000 remaining: 5.407273 bound: 6.308427 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.093227, Var(118).penalty: 1.000000, Var(118).value: 0.093227 +> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 93 || usage: 0.000000 remaining: 7.173610 bound: 7.487779 +> [0.000000]: [surf_maxmin/DEBUG] index: 74 cnst_light_num: 92 || usage: 0.000000 remaining: 5.407273 bound: 6.308427 > [0.000000]: [surf_maxmin/DEBUG] Setting var (126) value to 0.093227 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.093227, Var(126).penalty: 1.000000, Var(126).value: 0.093227 -> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 91 || usage: 0.000000 remaining: 0.000000 bound: 1.069457 -> [0.000000]: [surf_maxmin/DEBUG] index: 53 cnst_light_num: 90 || usage: 0.000000 remaining: 4.047456 bound: 4.637426 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.093227, Var(126).penalty: 1.000000, Var(126).value: 0.093227 +> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 91 || usage: 0.000000 remaining: 0.000000 bound: 1.069457 +> [0.000000]: [surf_maxmin/DEBUG] index: 53 cnst_light_num: 90 || usage: 0.000000 remaining: 4.047456 bound: 4.637426 > [0.000000]: [surf_maxmin/DEBUG] var=116, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.125579, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=119, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.125579, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=128, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.125579, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (116) value to 0.125579 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.125579, Var(116).penalty: 1.000000, Var(116).value: 0.125579 -> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 89 || usage: 0.000000 remaining: 4.807236 bound: 5.657651 -> [0.000000]: [surf_maxmin/DEBUG] index: 79 cnst_light_num: 88 || usage: 0.000000 remaining: 3.551739 bound: 4.367473 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.125579, Var(116).penalty: 1.000000, Var(116).value: 0.125579 +> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 89 || usage: 0.000000 remaining: 4.807236 bound: 5.657651 +> [0.000000]: [surf_maxmin/DEBUG] index: 79 cnst_light_num: 88 || usage: 0.000000 remaining: 3.551739 bound: 4.367473 > [0.000000]: [surf_maxmin/DEBUG] Setting var (119) value to 0.125579 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.125579, Var(119).penalty: 1.000000, Var(119).value: 0.125579 -> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 87 || usage: 0.000000 remaining: 9.111474 bound: 9.480904 -> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 86 || usage: 0.000000 remaining: 8.206631 bound: 8.783003 -> [0.000000]: [surf_maxmin/DEBUG] index: 84 cnst_light_num: 85 || usage: 0.000000 remaining: 9.142856 bound: 9.645511 -> [0.000000]: [surf_maxmin/DEBUG] index: 44 cnst_light_num: 84 || usage: 0.000000 remaining: 1.147453 bound: 1.872865 -> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 83 || usage: 0.000000 remaining: 1.044083 bound: 2.172699 -> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 82 || usage: 0.000000 remaining: 1.908915 bound: 2.693888 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.125579, Var(119).penalty: 1.000000, Var(119).value: 0.125579 +> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 87 || usage: 0.000000 remaining: 9.111474 bound: 9.480904 +> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 86 || usage: 0.000000 remaining: 8.206631 bound: 8.783003 +> [0.000000]: [surf_maxmin/DEBUG] index: 84 cnst_light_num: 85 || usage: 0.000000 remaining: 9.142856 bound: 9.645511 +> [0.000000]: [surf_maxmin/DEBUG] index: 44 cnst_light_num: 84 || usage: 0.000000 remaining: 1.147453 bound: 1.872865 +> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 83 || usage: 0.000000 remaining: 1.044083 bound: 2.172699 +> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 82 || usage: 0.000000 remaining: 1.908915 bound: 2.693888 > [0.000000]: [surf_maxmin/DEBUG] Setting var (128) value to 0.125579 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.125579, Var(128).penalty: 1.000000, Var(128).value: 0.125579 -> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 81 || usage: 0.000000 remaining: 7.421856 bound: 8.141384 -> [0.000000]: [surf_maxmin/DEBUG] index: 71 cnst_light_num: 80 || usage: 0.000000 remaining: 2.178851 bound: 2.754379 -> [0.000000]: [surf_maxmin/DEBUG] index: 75 cnst_light_num: 79 || usage: 0.000000 remaining: 3.933665 bound: 4.678425 -> [0.000000]: [surf_maxmin/DEBUG] index: 52 cnst_light_num: 78 || usage: 0.000000 remaining: 7.680517 bound: 8.378305 -> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 77 || usage: 0.000000 remaining: 0.000000 bound: 1.065725 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.125579, Var(128).penalty: 1.000000, Var(128).value: 0.125579 +> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 81 || usage: 0.000000 remaining: 7.421856 bound: 8.141384 +> [0.000000]: [surf_maxmin/DEBUG] index: 71 cnst_light_num: 80 || usage: 0.000000 remaining: 2.178851 bound: 2.754379 +> [0.000000]: [surf_maxmin/DEBUG] index: 75 cnst_light_num: 79 || usage: 0.000000 remaining: 3.933665 bound: 4.678425 +> [0.000000]: [surf_maxmin/DEBUG] index: 52 cnst_light_num: 78 || usage: 0.000000 remaining: 7.680517 bound: 8.378305 +> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 77 || usage: 0.000000 remaining: 0.000000 bound: 1.065725 > [0.000000]: [surf_maxmin/DEBUG] var=106, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.142396, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=114, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.142396, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (106) value to 0.142396 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142396, Var(106).penalty: 1.000000, Var(106).value: 0.142396 -> [0.000000]: [surf_maxmin/DEBUG] index: 50 cnst_light_num: 76 || usage: 0.000000 remaining: 3.625189 bound: 4.768434 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 75 || usage: 0.000000 remaining: 8.349213 bound: 9.177187 -> [0.000000]: [surf_maxmin/DEBUG] index: 69 cnst_light_num: 74 || usage: 0.000000 remaining: 1.402286 bound: 2.046486 -> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 73 || usage: 0.000000 remaining: 2.903159 bound: 3.557536 -> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 72 || usage: 0.000000 remaining: 8.034610 bound: 9.411933 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142396, Var(106).penalty: 1.000000, Var(106).value: 0.142396 +> [0.000000]: [surf_maxmin/DEBUG] index: 50 cnst_light_num: 76 || usage: 0.000000 remaining: 3.625189 bound: 4.768434 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 75 || usage: 0.000000 remaining: 8.349213 bound: 9.177187 +> [0.000000]: [surf_maxmin/DEBUG] index: 69 cnst_light_num: 74 || usage: 0.000000 remaining: 1.402286 bound: 2.046486 +> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 73 || usage: 0.000000 remaining: 2.903159 bound: 3.557536 +> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 72 || usage: 0.000000 remaining: 8.034610 bound: 9.411933 > [0.000000]: [surf_maxmin/DEBUG] Setting var (114) value to 0.142396 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142396, Var(114).penalty: 1.000000, Var(114).value: 0.142396 -> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 71 || usage: 0.000000 remaining: 0.000000 bound: 1.199505 -> [0.000000]: [surf_maxmin/DEBUG] index: 62 cnst_light_num: 70 || usage: 0.000000 remaining: 3.059841 bound: 3.792106 -> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 69 || usage: 0.000000 remaining: 8.177615 bound: 8.951457 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 68 || usage: 0.000000 remaining: 2.205190 bound: 2.970184 -> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 67 || usage: 0.000000 remaining: 1.931792 bound: 2.738379 -> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 66 || usage: 0.000000 remaining: 3.064219 bound: 3.566243 -> [0.000000]: [surf_maxmin/DEBUG] index: 57 cnst_light_num: 65 || usage: 0.000000 remaining: 2.898415 bound: 3.972540 -> [0.000000]: [surf_maxmin/DEBUG] index: 37 cnst_light_num: 64 || usage: 0.000000 remaining: 4.233168 bound: 4.686736 -> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 63 || usage: 0.000000 remaining: 3.411989 bound: 4.413549 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142396, Var(114).penalty: 1.000000, Var(114).value: 0.142396 +> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 71 || usage: 0.000000 remaining: 0.000000 bound: 1.199505 +> [0.000000]: [surf_maxmin/DEBUG] index: 62 cnst_light_num: 70 || usage: 0.000000 remaining: 3.059841 bound: 3.792106 +> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 69 || usage: 0.000000 remaining: 8.177615 bound: 8.951457 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 68 || usage: 0.000000 remaining: 2.205190 bound: 2.970184 +> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 67 || usage: 0.000000 remaining: 1.931792 bound: 2.738379 +> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 66 || usage: 0.000000 remaining: 3.064219 bound: 3.566243 +> [0.000000]: [surf_maxmin/DEBUG] index: 57 cnst_light_num: 65 || usage: 0.000000 remaining: 2.898415 bound: 3.972540 +> [0.000000]: [surf_maxmin/DEBUG] index: 37 cnst_light_num: 64 || usage: 0.000000 remaining: 4.233168 bound: 4.686736 +> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 63 || usage: 0.000000 remaining: 3.411989 bound: 4.413549 > [0.000000]: [surf_maxmin/DEBUG] var=101, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.187080, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=154, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.187080, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (101) value to 0.187080 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.187080, Var(101).penalty: 1.000000, Var(101).value: 0.187080 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 62 || usage: 0.000000 remaining: 4.543074 bound: 5.494968 -> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 61 || usage: 0.000000 remaining: 0.672839 bound: 0.965309 -> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 60 || usage: 0.000000 remaining: 0.594432 bound: 1.271600 -> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 59 || usage: 0.000000 remaining: 7.198298 bound: 7.861722 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 58 || usage: 0.000000 remaining: 7.691813 bound: 9.624596 -> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 57 || usage: 0.000000 remaining: 4.594752 bound: 5.773081 -> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 56 || usage: 0.000000 remaining: 6.130917 bound: 7.197542 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.187080, Var(101).penalty: 1.000000, Var(101).value: 0.187080 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 62 || usage: 0.000000 remaining: 4.543074 bound: 5.494968 +> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 61 || usage: 0.000000 remaining: 0.672839 bound: 0.965309 +> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 60 || usage: 0.000000 remaining: 0.594432 bound: 1.271600 +> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 59 || usage: 0.000000 remaining: 7.198298 bound: 7.861722 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 58 || usage: 0.000000 remaining: 7.691813 bound: 9.624596 +> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 57 || usage: 0.000000 remaining: 4.594752 bound: 5.773081 +> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 56 || usage: 0.000000 remaining: 6.130917 bound: 7.197542 > [0.000000]: [surf_maxmin/DEBUG] Setting var (154) value to 0.187080 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.187080, Var(154).penalty: 1.000000, Var(154).value: 0.187080 -> [0.000000]: [surf_maxmin/DEBUG] index: 35 cnst_light_num: 55 || usage: 0.000000 remaining: 0.222965 bound: 0.796455 -> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 54 || usage: 0.000000 remaining: 6.400720 bound: 7.466314 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 53 || usage: 0.000000 remaining: 8.401680 bound: 9.315409 -> [0.000000]: [surf_maxmin/DEBUG] index: 41 cnst_light_num: 52 || usage: 0.000000 remaining: 2.310077 bound: 3.205364 -> [0.000000]: [surf_maxmin/DEBUG] index: 48 cnst_light_num: 51 || usage: 0.000000 remaining: 8.149738 bound: 9.537422 -> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 50 || usage: 0.000000 remaining: 2.064680 bound: 2.951723 -> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 49 || usage: 0.000000 remaining: 7.914012 bound: 8.799904 -> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 48 || usage: 0.000000 remaining: 7.601579 bound: 8.539753 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 47 || usage: 0.000000 remaining: 0.330693 bound: 1.127762 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 46 || usage: 0.000000 remaining: 0.165361 bound: 1.485648 -> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 45 || usage: 0.000000 remaining: 3.344634 bound: 4.260225 -> [0.000000]: [surf_maxmin/DEBUG] index: 15 cnst_light_num: 44 || usage: 0.000000 remaining: 0.000000 bound: 1.345799 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.187080, Var(154).penalty: 1.000000, Var(154).value: 0.187080 +> [0.000000]: [surf_maxmin/DEBUG] index: 35 cnst_light_num: 55 || usage: 0.000000 remaining: 0.222965 bound: 0.796455 +> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 54 || usage: 0.000000 remaining: 6.400720 bound: 7.466314 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 53 || usage: 0.000000 remaining: 8.401680 bound: 9.315409 +> [0.000000]: [surf_maxmin/DEBUG] index: 41 cnst_light_num: 52 || usage: 0.000000 remaining: 2.310077 bound: 3.205364 +> [0.000000]: [surf_maxmin/DEBUG] index: 48 cnst_light_num: 51 || usage: 0.000000 remaining: 8.149738 bound: 9.537422 +> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 50 || usage: 0.000000 remaining: 2.064680 bound: 2.951723 +> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 49 || usage: 0.000000 remaining: 7.914012 bound: 8.799904 +> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 48 || usage: 0.000000 remaining: 7.601579 bound: 8.539753 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 47 || usage: 0.000000 remaining: 0.330693 bound: 1.127762 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 46 || usage: 0.000000 remaining: 0.165361 bound: 1.485648 +> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 45 || usage: 0.000000 remaining: 3.344634 bound: 4.260225 +> [0.000000]: [surf_maxmin/DEBUG] index: 15 cnst_light_num: 44 || usage: 0.000000 remaining: 0.000000 bound: 1.345799 > [0.000000]: [surf_maxmin/DEBUG] var=123, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.468422, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (123) value to 0.468422 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.468422, Var(123).penalty: 1.000000, Var(123).value: 0.468422 -> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 43 || usage: 0.000000 remaining: 2.644445 bound: 4.073078 -> [0.000000]: [surf_maxmin/DEBUG] index: 38 cnst_light_num: 42 || usage: 0.000000 remaining: 2.428297 bound: 3.875234 -> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 41 || usage: 0.000000 remaining: 2.831610 bound: 3.939333 -> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 40 || usage: 0.000000 remaining: 6.931026 bound: 9.326286 -> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 39 || usage: 0.000000 remaining: 6.977522 bound: 8.262498 -> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 38 || usage: 0.000000 remaining: 2.872130 bound: 4.677875 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 37 || usage: 0.000000 remaining: 5.481945 bound: 6.438419 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 36 || usage: 0.000000 remaining: 2.151726 bound: 3.350947 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 35 || usage: 0.000000 remaining: 5.419353 bound: 6.575124 -> [0.000000]: [surf_maxmin/DEBUG] index: 27 cnst_light_num: 34 || usage: 0.000000 remaining: 1.110040 bound: 2.458112 -> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 33 || usage: 0.000000 remaining: 0.000000 bound: 1.614666 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 32 || usage: 0.000000 remaining: 0.868811 bound: 2.293860 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 31 || usage: 0.000000 remaining: 7.056819 bound: 8.508505 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 30 || usage: 0.000000 remaining: 0.488628 bound: 2.149244 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 29 || usage: 0.000000 remaining: 3.539186 bound: 4.353224 -> [0.000000]: [surf_maxmin/DEBUG] index: 26 cnst_light_num: 28 || usage: 0.000000 remaining: 2.190069 bound: 3.416137 -> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 27 || usage: 0.000000 remaining: 7.130780 bound: 8.844716 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 26 || usage: 0.000000 remaining: 3.528848 bound: 4.830698 -> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 25 || usage: 0.000000 remaining: 1.215170 bound: 2.668273 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.468422, Var(123).penalty: 1.000000, Var(123).value: 0.468422 +> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 43 || usage: 0.000000 remaining: 2.644445 bound: 4.073078 +> [0.000000]: [surf_maxmin/DEBUG] index: 38 cnst_light_num: 42 || usage: 0.000000 remaining: 2.428297 bound: 3.875234 +> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 41 || usage: 0.000000 remaining: 2.831610 bound: 3.939333 +> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 40 || usage: 0.000000 remaining: 6.931026 bound: 9.326286 +> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 39 || usage: 0.000000 remaining: 6.977522 bound: 8.262498 +> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 38 || usage: 0.000000 remaining: 2.872130 bound: 4.677875 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 37 || usage: 0.000000 remaining: 5.481945 bound: 6.438419 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 36 || usage: 0.000000 remaining: 2.151726 bound: 3.350947 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 35 || usage: 0.000000 remaining: 5.419353 bound: 6.575124 +> [0.000000]: [surf_maxmin/DEBUG] index: 27 cnst_light_num: 34 || usage: 0.000000 remaining: 1.110040 bound: 2.458112 +> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 33 || usage: 0.000000 remaining: 0.000000 bound: 1.614666 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 32 || usage: 0.000000 remaining: 0.868811 bound: 2.293860 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 31 || usage: 0.000000 remaining: 7.056819 bound: 8.508505 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 30 || usage: 0.000000 remaining: 0.488628 bound: 2.149244 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 29 || usage: 0.000000 remaining: 3.539186 bound: 4.353224 +> [0.000000]: [surf_maxmin/DEBUG] index: 26 cnst_light_num: 28 || usage: 0.000000 remaining: 2.190069 bound: 3.416137 +> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 27 || usage: 0.000000 remaining: 7.130780 bound: 8.844716 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 26 || usage: 0.000000 remaining: 3.528848 bound: 4.830698 +> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 25 || usage: 0.000000 remaining: 1.215170 bound: 2.668273 > [0.000000]: [surf_maxmin/DEBUG] var=136, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.788434, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (136) value to 0.788434 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.788434, Var(136).penalty: 1.000000, Var(136).value: 0.788434 -> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 24 || usage: 0.000000 remaining: 4.798491 bound: 7.780082 -> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 23 || usage: 0.000000 remaining: 5.238985 bound: 8.522890 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 22 || usage: 0.000000 remaining: 0.622665 bound: 2.208379 -> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 21 || usage: 0.000000 remaining: 4.624058 bound: 6.293597 -> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 20 || usage: 0.000000 remaining: 0.000000 bound: 1.692254 -> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 19 || usage: 0.000000 remaining: 4.706638 bound: 8.002584 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 18 || usage: 0.000000 remaining: 3.783871 bound: 6.470142 -> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 17 || usage: 0.000000 remaining: 1.985989 bound: 4.197355 -> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 16 || usage: 0.000000 remaining: 7.132004 bound: 8.963739 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 15 || usage: 0.000000 remaining: 2.868277 bound: 4.892662 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 14 || usage: 0.000000 remaining: 7.087076 bound: 8.182267 -> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 13 || usage: 0.000000 remaining: 1.618314 bound: 3.462379 -> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 12 || usage: 0.000000 remaining: 3.526809 bound: 5.867970 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 11 || usage: 0.000000 remaining: 3.307772 bound: 5.321444 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 10 || usage: 0.000000 remaining: 0.843154 bound: 2.587332 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 9 || usage: 0.000000 remaining: 2.306140 bound: 3.633259 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 8 || usage: 0.000000 remaining: 5.691549 bound: 9.144756 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 7 || usage: 0.000000 remaining: 4.534049 bound: 7.065420 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 6 || usage: 0.000000 remaining: 3.031484 bound: 6.630618 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 5 || usage: 0.000000 remaining: 6.435390 bound: 7.936375 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 4 || usage: 0.000000 remaining: 1.506182 bound: 2.878688 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 0.612029 bound: 1.850821 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 2 || usage: 0.000000 remaining: 5.711985 bound: 7.367471 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 1.545428 bound: 3.508719 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.788434, Var(136).penalty: 1.000000, Var(136).value: 0.788434 +> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 24 || usage: 0.000000 remaining: 4.798491 bound: 7.780082 +> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 23 || usage: 0.000000 remaining: 5.238985 bound: 8.522890 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 22 || usage: 0.000000 remaining: 0.622665 bound: 2.208379 +> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 21 || usage: 0.000000 remaining: 4.624058 bound: 6.293597 +> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 20 || usage: 0.000000 remaining: 0.000000 bound: 1.692254 +> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 19 || usage: 0.000000 remaining: 4.706638 bound: 8.002584 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 18 || usage: 0.000000 remaining: 3.783871 bound: 6.470142 +> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 17 || usage: 0.000000 remaining: 1.985989 bound: 4.197355 +> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 16 || usage: 0.000000 remaining: 7.132004 bound: 8.963739 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 15 || usage: 0.000000 remaining: 2.868277 bound: 4.892662 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 14 || usage: 0.000000 remaining: 7.087076 bound: 8.182267 +> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 13 || usage: 0.000000 remaining: 1.618314 bound: 3.462379 +> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 12 || usage: 0.000000 remaining: 3.526809 bound: 5.867970 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 11 || usage: 0.000000 remaining: 3.307772 bound: 5.321444 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 10 || usage: 0.000000 remaining: 0.843154 bound: 2.587332 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 9 || usage: 0.000000 remaining: 2.306140 bound: 3.633259 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 8 || usage: 0.000000 remaining: 5.691549 bound: 9.144756 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 7 || usage: 0.000000 remaining: 4.534049 bound: 7.065420 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 6 || usage: 0.000000 remaining: 3.031484 bound: 6.630618 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 5 || usage: 0.000000 remaining: 6.435390 bound: 7.936375 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 4 || usage: 0.000000 remaining: 1.506182 bound: 2.878688 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 0.612029 bound: 1.850821 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 2 || usage: 0.000000 remaining: 5.711985 bound: 7.367471 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 1.545428 bound: 3.508719 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '181'(1.000000) '178'(1.000000) '157'(1.000000) '156'(1.000000) '154'(1.000000) '146'(1.000000) '141'(1.000000) '136'(1.000000) '133'(1.000000) '132'(1.000000) '131'(1.000000) '129'(1.000000) '128'(1.000000) '127'(1.000000) '126'(1.000000) '124'(1.000000) '123'(1.000000) '121'(1.000000) '120'(1.000000) '119'(1.000000) '118'(1.000000) '117'(1.000000) '116'(1.000000) '115'(1.000000) '114'(1.000000) '113'(1.000000) '112'(1.000000) '111'(1.000000) '110'(1.000000) '109'(1.000000) '108'(1.000000) '107'(1.000000) '106'(1.000000) '105'(1.000000) '104'(1.000000) '103'(1.000000) '102'(1.000000) '101'(1.000000) '122'(0.000000) '125'(0.000000) '130'(0.000000) '134'(0.000000) '135'(0.000000) '137'(0.000000) '138'(0.000000) '139'(0.000000) '140'(0.000000) '142'(0.000000) '143'(0.000000) '144'(0.000000) '145'(0.000000) '147'(0.000000) '148'(0.000000) '149'(0.000000) '150'(0.000000) '151'(0.000000) '152'(0.000000) '153'(0.000000) '155'(0.000000) '158'(0.000000) '159'(0.000000) '160'(0.000000) '161'(0.000000) '162'(0.000000) '163'(0.000000) '164'(0.000000) '165'(0.000000) '166'(0.000000) '167'(0.000000) '168'(0.000000) '169'(0.000000) '170'(0.000000) '171'(0.000000) '172'(0.000000) '173'(0.000000) '174'(0.000000) '175'(0.000000) '176'(0.000000) '177'(0.000000) '179'(0.000000) '180'(0.000000) '182'(0.000000) '183'(0.000000) '184'(0.000000) '185'(0.000000) '186'(0.000000) '187'(0.000000) '188'(0.000000) '189'(0.000000) '190'(0.000000) '191'(0.000000) '192'(0.000000) '193'(0.000000) '194'(0.000000) '195'(0.000000) '196'(0.000000) '197'(0.000000) '198'(0.000000) '199'(0.000000) '200'(0.000000) ) > [0.000000]: [surf_maxmin/DEBUG] Constraints > [0.000000]: [surf_maxmin/DEBUG] (1.433022.'124'(0.080095) + 0.541059.'117'(0.093227) + 1.883325.'117'(0.093227) + 1.410174.'106'(0.142396) + 2.193155.'101'(0.187080) + 1.739308.'130'(0.000000) + 0.353261.'134'(0.000000) + 0.931475.'148'(0.000000) + 0.925072.'155'(0.000000) + 1.179081.'158'(0.000000) + 0.264000.'159'(0.000000) + 0.996939.'160'(0.000000) + 0.994831.'162'(0.000000) + 1.082725.'166'(0.000000) + 1.506649.'172'(0.000000) + 2.016268.'179'(0.000000) + 0.999280.'191'(0.000000) + 1.878270.'197'(0.000000) + 2.281745.'199'(0.000000) + 0) <= 5.494968 ('196') @@ -1278,51 +1278,51 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=251, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.009920, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=256, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.009920, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (207) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(207).penalty: 1.000000, Var(207).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(207).penalty: 1.000000, Var(207).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (209) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(209).penalty: 1.000000, Var(209).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(209).penalty: 1.000000, Var(209).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (213) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(213).penalty: 1.000000, Var(213).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(213).penalty: 1.000000, Var(213).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (217) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(217).penalty: 1.000000, Var(217).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(217).penalty: 1.000000, Var(217).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (220) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(220).penalty: 1.000000, Var(220).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(220).penalty: 1.000000, Var(220).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (221) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(221).penalty: 1.000000, Var(221).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(221).penalty: 1.000000, Var(221).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (226) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(226).penalty: 1.000000, Var(226).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(226).penalty: 1.000000, Var(226).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (228) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(228).penalty: 1.000000, Var(228).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(228).penalty: 1.000000, Var(228).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (230) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(230).penalty: 1.000000, Var(230).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(230).penalty: 1.000000, Var(230).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (231) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(231).penalty: 1.000000, Var(231).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(231).penalty: 1.000000, Var(231).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (232) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(232).penalty: 1.000000, Var(232).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(232).penalty: 1.000000, Var(232).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (234) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(234).penalty: 1.000000, Var(234).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(234).penalty: 1.000000, Var(234).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (244) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(244).penalty: 1.000000, Var(244).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(244).penalty: 1.000000, Var(244).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (251) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(251).penalty: 1.000000, Var(251).value: 0.009920 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(251).penalty: 1.000000, Var(251).value: 0.009920 > [0.000000]: [surf_maxmin/DEBUG] Setting var (256) value to 0.009920 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(256).penalty: 1.000000, Var(256).value: 0.009920 -> [0.000000]: [surf_maxmin/DEBUG] index: 84 cnst_light_num: 100 || usage: 0.000000 remaining: 0.000000 bound: 0.206145 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.009920, Var(256).penalty: 1.000000, Var(256).value: 0.009920 +> [0.000000]: [surf_maxmin/DEBUG] index: 84 cnst_light_num: 100 || usage: 0.000000 remaining: 0.000000 bound: 0.206145 > [0.000000]: [surf_maxmin/DEBUG] var=202, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.017618, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=204, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.017618, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=205, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.017618, var.bound*var.penalty=-1.000000 @@ -1334,51 +1334,51 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=240, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.017618, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=242, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.017618, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (202) value to 0.017618 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(202).penalty: 1.000000, Var(202).value: 0.017618 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(202).penalty: 1.000000, Var(202).value: 0.017618 > [0.000000]: [surf_maxmin/DEBUG] Setting var (204) value to 0.017618 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(204).penalty: 1.000000, Var(204).value: 0.017618 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(204).penalty: 1.000000, Var(204).value: 0.017618 > [0.000000]: [surf_maxmin/DEBUG] Setting var (205) value to 0.017618 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(205).penalty: 1.000000, Var(205).value: 0.017618 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(205).penalty: 1.000000, Var(205).value: 0.017618 > [0.000000]: [surf_maxmin/DEBUG] Setting var (211) value to 0.017618 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(211).penalty: 1.000000, Var(211).value: 0.017618 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(211).penalty: 1.000000, Var(211).value: 0.017618 > [0.000000]: [surf_maxmin/DEBUG] Setting var (212) value to 0.017618 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(212).penalty: 1.000000, Var(212).value: 0.017618 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(212).penalty: 1.000000, Var(212).value: 0.017618 > [0.000000]: [surf_maxmin/DEBUG] Setting var (214) value to 0.017618 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(214).penalty: 1.000000, Var(214).value: 0.017618 -> [0.000000]: [surf_maxmin/DEBUG] index: 73 cnst_light_num: 99 || usage: 0.000000 remaining: 6.642112 bound: 6.762549 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(214).penalty: 1.000000, Var(214).value: 0.017618 +> [0.000000]: [surf_maxmin/DEBUG] index: 73 cnst_light_num: 99 || usage: 0.000000 remaining: 6.642112 bound: 6.762549 > [0.000000]: [surf_maxmin/DEBUG] Setting var (219) value to 0.017618 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(219).penalty: 1.000000, Var(219).value: 0.017618 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(219).penalty: 1.000000, Var(219).value: 0.017618 > [0.000000]: [surf_maxmin/DEBUG] Setting var (222) value to 0.017618 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(222).penalty: 1.000000, Var(222).value: 0.017618 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(222).penalty: 1.000000, Var(222).value: 0.017618 > [0.000000]: [surf_maxmin/DEBUG] Setting var (240) value to 0.017618 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(240).penalty: 1.000000, Var(240).value: 0.017618 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(240).penalty: 1.000000, Var(240).value: 0.017618 > [0.000000]: [surf_maxmin/DEBUG] Setting var (242) value to 0.017618 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(242).penalty: 1.000000, Var(242).value: 0.017618 -> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 98 || usage: 0.000000 remaining: 0.000000 bound: 0.260263 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017618, Var(242).penalty: 1.000000, Var(242).value: 0.017618 +> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 98 || usage: 0.000000 remaining: 0.000000 bound: 0.260263 > [0.000000]: [surf_maxmin/DEBUG] var=223, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.022864, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=224, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.022864, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=236, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.022864, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (223) value to 0.022864 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.022864, Var(223).penalty: 1.000000, Var(223).value: 0.022864 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.022864, Var(223).penalty: 1.000000, Var(223).value: 0.022864 > [0.000000]: [surf_maxmin/DEBUG] Setting var (224) value to 0.022864 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.022864, Var(224).penalty: 1.000000, Var(224).value: 0.022864 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.022864, Var(224).penalty: 1.000000, Var(224).value: 0.022864 > [0.000000]: [surf_maxmin/DEBUG] Setting var (236) value to 0.022864 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.022864, Var(236).penalty: 1.000000, Var(236).value: 0.022864 -> [0.000000]: [surf_maxmin/DEBUG] index: 86 cnst_light_num: 97 || usage: 0.000000 remaining: 8.493054 bound: 8.600535 -> [0.000000]: [surf_maxmin/DEBUG] index: 64 cnst_light_num: 96 || usage: 0.000000 remaining: 0.000000 bound: 0.298762 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.022864, Var(236).penalty: 1.000000, Var(236).value: 0.022864 +> [0.000000]: [surf_maxmin/DEBUG] index: 86 cnst_light_num: 97 || usage: 0.000000 remaining: 8.493054 bound: 8.600535 +> [0.000000]: [surf_maxmin/DEBUG] index: 64 cnst_light_num: 96 || usage: 0.000000 remaining: 0.000000 bound: 0.298762 > [0.000000]: [surf_maxmin/DEBUG] var=201, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.051719, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=203, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.051719, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=206, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.051719, var.bound*var.penalty=-1.000000 @@ -1387,153 +1387,153 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=267, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.051719, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=271, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.051719, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (201) value to 0.051719 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(201).penalty: 1.000000, Var(201).value: 0.051719 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(201).penalty: 1.000000, Var(201).value: 0.051719 > [0.000000]: [surf_maxmin/DEBUG] Setting var (203) value to 0.051719 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(203).penalty: 1.000000, Var(203).value: 0.051719 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(203).penalty: 1.000000, Var(203).value: 0.051719 > [0.000000]: [surf_maxmin/DEBUG] Setting var (206) value to 0.051719 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(206).penalty: 1.000000, Var(206).value: 0.051719 -> [0.000000]: [surf_maxmin/DEBUG] index: 34 cnst_light_num: 95 || usage: 0.000000 remaining: 4.350232 bound: 4.546078 -> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 94 || usage: 0.000000 remaining: 5.214104 bound: 5.578408 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(206).penalty: 1.000000, Var(206).value: 0.051719 +> [0.000000]: [surf_maxmin/DEBUG] index: 34 cnst_light_num: 95 || usage: 0.000000 remaining: 4.350232 bound: 4.546078 +> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 94 || usage: 0.000000 remaining: 5.214104 bound: 5.578408 > [0.000000]: [surf_maxmin/DEBUG] Setting var (216) value to 0.051719 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(216).penalty: 1.000000, Var(216).value: 0.051719 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(216).penalty: 1.000000, Var(216).value: 0.051719 > [0.000000]: [surf_maxmin/DEBUG] Setting var (238) value to 0.051719 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(238).penalty: 1.000000, Var(238).value: 0.051719 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(238).penalty: 1.000000, Var(238).value: 0.051719 > [0.000000]: [surf_maxmin/DEBUG] Setting var (267) value to 0.051719 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(267).penalty: 1.000000, Var(267).value: 0.051719 -> [0.000000]: [surf_maxmin/DEBUG] index: 40 cnst_light_num: 93 || usage: 0.000000 remaining: 3.178780 bound: 3.398487 -> [0.000000]: [surf_maxmin/DEBUG] index: 91 cnst_light_num: 92 || usage: 0.000000 remaining: 0.991559 bound: 1.255853 -> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 91 || usage: 0.000000 remaining: 2.453557 bound: 2.747805 -> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 90 || usage: 0.000000 remaining: 7.254884 bound: 7.661528 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(267).penalty: 1.000000, Var(267).value: 0.051719 +> [0.000000]: [surf_maxmin/DEBUG] index: 40 cnst_light_num: 93 || usage: 0.000000 remaining: 3.178780 bound: 3.398487 +> [0.000000]: [surf_maxmin/DEBUG] index: 91 cnst_light_num: 92 || usage: 0.000000 remaining: 0.991559 bound: 1.255853 +> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 91 || usage: 0.000000 remaining: 2.453557 bound: 2.747805 +> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 90 || usage: 0.000000 remaining: 7.254884 bound: 7.661528 > [0.000000]: [surf_maxmin/DEBUG] Setting var (271) value to 0.051719 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(271).penalty: 1.000000, Var(271).value: 0.051719 -> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 89 || usage: 0.000000 remaining: 0.000000 bound: 0.615289 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.051719, Var(271).penalty: 1.000000, Var(271).value: 0.051719 +> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 89 || usage: 0.000000 remaining: 0.000000 bound: 0.615289 > [0.000000]: [surf_maxmin/DEBUG] var=218, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.112495, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=235, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.112495, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=264, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.112495, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (218) value to 0.112495 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.112495, Var(218).penalty: 1.000000, Var(218).value: 0.112495 -> [0.000000]: [surf_maxmin/DEBUG] index: 84 cnst_light_num: 88 || usage: 0.000000 remaining: 5.211260 bound: 5.528446 -> [0.000000]: [surf_maxmin/DEBUG] index: 41 cnst_light_num: 87 || usage: 0.000000 remaining: 2.992162 bound: 3.557291 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.112495, Var(218).penalty: 1.000000, Var(218).value: 0.112495 +> [0.000000]: [surf_maxmin/DEBUG] index: 84 cnst_light_num: 88 || usage: 0.000000 remaining: 5.211260 bound: 5.528446 +> [0.000000]: [surf_maxmin/DEBUG] index: 41 cnst_light_num: 87 || usage: 0.000000 remaining: 2.992162 bound: 3.557291 > [0.000000]: [surf_maxmin/DEBUG] Setting var (235) value to 0.112495 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.112495, Var(235).penalty: 1.000000, Var(235).value: 0.112495 -> [0.000000]: [surf_maxmin/DEBUG] index: 78 cnst_light_num: 86 || usage: 0.000000 remaining: 6.230900 bound: 6.919775 -> [0.000000]: [surf_maxmin/DEBUG] index: 26 cnst_light_num: 85 || usage: 0.000000 remaining: 3.562860 bound: 4.065199 -> [0.000000]: [surf_maxmin/DEBUG] index: 74 cnst_light_num: 84 || usage: 0.000000 remaining: 1.641715 bound: 2.072429 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.112495, Var(235).penalty: 1.000000, Var(235).value: 0.112495 +> [0.000000]: [surf_maxmin/DEBUG] index: 78 cnst_light_num: 86 || usage: 0.000000 remaining: 6.230900 bound: 6.919775 +> [0.000000]: [surf_maxmin/DEBUG] index: 26 cnst_light_num: 85 || usage: 0.000000 remaining: 3.562860 bound: 4.065199 +> [0.000000]: [surf_maxmin/DEBUG] index: 74 cnst_light_num: 84 || usage: 0.000000 remaining: 1.641715 bound: 2.072429 > [0.000000]: [surf_maxmin/DEBUG] Setting var (264) value to 0.112495 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.112495, Var(264).penalty: 1.000000, Var(264).value: 0.112495 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 83 || usage: 0.000000 remaining: 1.009693 bound: 1.296584 -> [0.000000]: [surf_maxmin/DEBUG] index: 40 cnst_light_num: 82 || usage: 0.000000 remaining: 2.369879 bound: 2.592524 -> [0.000000]: [surf_maxmin/DEBUG] index: 69 cnst_light_num: 81 || usage: 0.000000 remaining: 6.602542 bound: 6.931379 -> [0.000000]: [surf_maxmin/DEBUG] index: 70 cnst_light_num: 80 || usage: 0.000000 remaining: 6.951839 bound: 7.481574 -> [0.000000]: [surf_maxmin/DEBUG] index: 65 cnst_light_num: 79 || usage: 0.000000 remaining: 6.494993 bound: 6.926506 -> [0.000000]: [surf_maxmin/DEBUG] index: 67 cnst_light_num: 78 || usage: 0.000000 remaining: 6.152557 bound: 6.401766 -> [0.000000]: [surf_maxmin/DEBUG] index: 55 cnst_light_num: 77 || usage: 0.000000 remaining: 3.829635 bound: 4.451451 -> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 76 || usage: 0.000000 remaining: 5.221470 bound: 6.096457 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 75 || usage: 0.000000 remaining: 2.287095 bound: 2.834074 -> [0.000000]: [surf_maxmin/DEBUG] index: 71 cnst_light_num: 74 || usage: 0.000000 remaining: 6.649803 bound: 7.076866 -> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 73 || usage: 0.000000 remaining: 0.000000 bound: 0.707249 -> [0.000000]: [surf_maxmin/DEBUG] index: 27 cnst_light_num: 72 || usage: 0.000000 remaining: 7.409042 bound: 8.070227 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.112495, Var(264).penalty: 1.000000, Var(264).value: 0.112495 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 83 || usage: 0.000000 remaining: 1.009693 bound: 1.296584 +> [0.000000]: [surf_maxmin/DEBUG] index: 40 cnst_light_num: 82 || usage: 0.000000 remaining: 2.369879 bound: 2.592524 +> [0.000000]: [surf_maxmin/DEBUG] index: 69 cnst_light_num: 81 || usage: 0.000000 remaining: 6.602542 bound: 6.931379 +> [0.000000]: [surf_maxmin/DEBUG] index: 70 cnst_light_num: 80 || usage: 0.000000 remaining: 6.951839 bound: 7.481574 +> [0.000000]: [surf_maxmin/DEBUG] index: 65 cnst_light_num: 79 || usage: 0.000000 remaining: 6.494993 bound: 6.926506 +> [0.000000]: [surf_maxmin/DEBUG] index: 67 cnst_light_num: 78 || usage: 0.000000 remaining: 6.152557 bound: 6.401766 +> [0.000000]: [surf_maxmin/DEBUG] index: 55 cnst_light_num: 77 || usage: 0.000000 remaining: 3.829635 bound: 4.451451 +> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 76 || usage: 0.000000 remaining: 5.221470 bound: 6.096457 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 75 || usage: 0.000000 remaining: 2.287095 bound: 2.834074 +> [0.000000]: [surf_maxmin/DEBUG] index: 71 cnst_light_num: 74 || usage: 0.000000 remaining: 6.649803 bound: 7.076866 +> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 73 || usage: 0.000000 remaining: 0.000000 bound: 0.707249 +> [0.000000]: [surf_maxmin/DEBUG] index: 27 cnst_light_num: 72 || usage: 0.000000 remaining: 7.409042 bound: 8.070227 > [0.000000]: [surf_maxmin/DEBUG] var=208, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.138124, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (208) value to 0.138124 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.138124, Var(208).penalty: 1.000000, Var(208).value: 0.138124 -> [0.000000]: [surf_maxmin/DEBUG] index: 28 cnst_light_num: 71 || usage: 0.000000 remaining: 3.096468 bound: 3.879713 -> [0.000000]: [surf_maxmin/DEBUG] index: 61 cnst_light_num: 70 || usage: 0.000000 remaining: 8.664050 bound: 9.521012 -> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 69 || usage: 0.000000 remaining: 0.666906 bound: 1.878148 -> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 68 || usage: 0.000000 remaining: 9.450046 bound: 9.912957 -> [0.000000]: [surf_maxmin/DEBUG] index: 37 cnst_light_num: 67 || usage: 0.000000 remaining: 6.969664 bound: 7.307081 -> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 66 || usage: 0.000000 remaining: 2.345782 bound: 2.688073 -> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 65 || usage: 0.000000 remaining: 0.000000 bound: 0.231176 -> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 64 || usage: 0.000000 remaining: 6.243295 bound: 6.914775 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.138124, Var(208).penalty: 1.000000, Var(208).value: 0.138124 +> [0.000000]: [surf_maxmin/DEBUG] index: 28 cnst_light_num: 71 || usage: 0.000000 remaining: 3.096468 bound: 3.879713 +> [0.000000]: [surf_maxmin/DEBUG] index: 61 cnst_light_num: 70 || usage: 0.000000 remaining: 8.664050 bound: 9.521012 +> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 69 || usage: 0.000000 remaining: 0.666906 bound: 1.878148 +> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 68 || usage: 0.000000 remaining: 9.450046 bound: 9.912957 +> [0.000000]: [surf_maxmin/DEBUG] index: 37 cnst_light_num: 67 || usage: 0.000000 remaining: 6.969664 bound: 7.307081 +> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 66 || usage: 0.000000 remaining: 2.345782 bound: 2.688073 +> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 65 || usage: 0.000000 remaining: 0.000000 bound: 0.231176 +> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 64 || usage: 0.000000 remaining: 6.243295 bound: 6.914775 > [0.000000]: [surf_maxmin/DEBUG] var=210, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.218435, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (210) value to 0.218435 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.218435, Var(210).penalty: 1.000000, Var(210).value: 0.218435 -> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 63 || usage: 0.000000 remaining: 6.956528 bound: 7.658264 -> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 62 || usage: 0.000000 remaining: 0.000000 bound: 0.637698 -> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 61 || usage: 0.000000 remaining: 6.941513 bound: 7.803148 -> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 60 || usage: 0.000000 remaining: 6.905414 bound: 7.849367 -> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 59 || usage: 0.000000 remaining: 4.443630 bound: 5.435943 -> [0.000000]: [surf_maxmin/DEBUG] index: 44 cnst_light_num: 58 || usage: 0.000000 remaining: 0.053885 bound: 0.701325 -> [0.000000]: [surf_maxmin/DEBUG] index: 52 cnst_light_num: 57 || usage: 0.000000 remaining: 7.673784 bound: 8.391931 -> [0.000000]: [surf_maxmin/DEBUG] index: 48 cnst_light_num: 56 || usage: 0.000000 remaining: 4.557085 bound: 5.407608 -> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 55 || usage: 0.000000 remaining: 5.740133 bound: 6.522231 -> [0.000000]: [surf_maxmin/DEBUG] index: 48 cnst_light_num: 54 || usage: 0.000000 remaining: 5.793868 bound: 6.723837 -> [0.000000]: [surf_maxmin/DEBUG] index: 34 cnst_light_num: 53 || usage: 0.000000 remaining: 8.937841 bound: 9.279364 -> [0.000000]: [surf_maxmin/DEBUG] index: 43 cnst_light_num: 52 || usage: 0.000000 remaining: 1.713928 bound: 2.572064 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.218435, Var(210).penalty: 1.000000, Var(210).value: 0.218435 +> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 63 || usage: 0.000000 remaining: 6.956528 bound: 7.658264 +> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 62 || usage: 0.000000 remaining: 0.000000 bound: 0.637698 +> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 61 || usage: 0.000000 remaining: 6.941513 bound: 7.803148 +> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 60 || usage: 0.000000 remaining: 6.905414 bound: 7.849367 +> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 59 || usage: 0.000000 remaining: 4.443630 bound: 5.435943 +> [0.000000]: [surf_maxmin/DEBUG] index: 44 cnst_light_num: 58 || usage: 0.000000 remaining: 0.053885 bound: 0.701325 +> [0.000000]: [surf_maxmin/DEBUG] index: 52 cnst_light_num: 57 || usage: 0.000000 remaining: 7.673784 bound: 8.391931 +> [0.000000]: [surf_maxmin/DEBUG] index: 48 cnst_light_num: 56 || usage: 0.000000 remaining: 4.557085 bound: 5.407608 +> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 55 || usage: 0.000000 remaining: 5.740133 bound: 6.522231 +> [0.000000]: [surf_maxmin/DEBUG] index: 48 cnst_light_num: 54 || usage: 0.000000 remaining: 5.793868 bound: 6.723837 +> [0.000000]: [surf_maxmin/DEBUG] index: 34 cnst_light_num: 53 || usage: 0.000000 remaining: 8.937841 bound: 9.279364 +> [0.000000]: [surf_maxmin/DEBUG] index: 43 cnst_light_num: 52 || usage: 0.000000 remaining: 1.713928 bound: 2.572064 > [0.000000]: [surf_maxmin/DEBUG] var=227, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.299833, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (227) value to 0.299833 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.299833, Var(227).penalty: 1.000000, Var(227).value: 0.299833 -> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 51 || usage: 0.000000 remaining: 0.000000 bound: 0.872294 -> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 50 || usage: 0.000000 remaining: 4.565895 bound: 5.722376 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 49 || usage: 0.000000 remaining: 8.370490 bound: 9.133015 -> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 48 || usage: 0.000000 remaining: 5.374022 bound: 6.536309 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 47 || usage: 0.000000 remaining: 7.009683 bound: 8.089292 -> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 46 || usage: 0.000000 remaining: 3.304562 bound: 4.137187 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 45 || usage: 0.000000 remaining: 1.126682 bound: 2.155770 -> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 44 || usage: 0.000000 remaining: 3.360610 bound: 4.247300 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 43 || usage: 0.000000 remaining: 6.203286 bound: 6.891804 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 42 || usage: 0.000000 remaining: 7.381416 bound: 8.437871 -> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 41 || usage: 0.000000 remaining: 2.032045 bound: 2.909047 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 40 || usage: 0.000000 remaining: 8.329540 bound: 8.811107 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.299833, Var(227).penalty: 1.000000, Var(227).value: 0.299833 +> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 51 || usage: 0.000000 remaining: 0.000000 bound: 0.872294 +> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 50 || usage: 0.000000 remaining: 4.565895 bound: 5.722376 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 49 || usage: 0.000000 remaining: 8.370490 bound: 9.133015 +> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 48 || usage: 0.000000 remaining: 5.374022 bound: 6.536309 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 47 || usage: 0.000000 remaining: 7.009683 bound: 8.089292 +> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 46 || usage: 0.000000 remaining: 3.304562 bound: 4.137187 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 45 || usage: 0.000000 remaining: 1.126682 bound: 2.155770 +> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 44 || usage: 0.000000 remaining: 3.360610 bound: 4.247300 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 43 || usage: 0.000000 remaining: 6.203286 bound: 6.891804 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 42 || usage: 0.000000 remaining: 7.381416 bound: 8.437871 +> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 41 || usage: 0.000000 remaining: 2.032045 bound: 2.909047 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 40 || usage: 0.000000 remaining: 8.329540 bound: 8.811107 > [0.000000]: [surf_maxmin/DEBUG] var=215, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.318568, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=252, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.318568, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (215) value to 0.318568 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.318568, Var(215).penalty: 1.000000, Var(215).value: 0.318568 -> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 39 || usage: 0.000000 remaining: 3.638465 bound: 4.546221 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 38 || usage: 0.000000 remaining: 6.411403 bound: 8.280221 -> [0.000000]: [surf_maxmin/DEBUG] index: 35 cnst_light_num: 37 || usage: 0.000000 remaining: 2.829854 bound: 3.779940 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 36 || usage: 0.000000 remaining: 2.980446 bound: 4.573322 -> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 35 || usage: 0.000000 remaining: 6.380670 bound: 8.261281 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 34 || usage: 0.000000 remaining: 3.886167 bound: 5.108276 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 33 || usage: 0.000000 remaining: 1.167702 bound: 2.054103 -> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 32 || usage: 0.000000 remaining: 4.874602 bound: 5.862529 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 31 || usage: 0.000000 remaining: 2.723805 bound: 4.750886 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 30 || usage: 0.000000 remaining: 6.139156 bound: 7.727387 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 29 || usage: 0.000000 remaining: 1.364202 bound: 2.917928 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 28 || usage: 0.000000 remaining: 2.169474 bound: 2.575853 -> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 27 || usage: 0.000000 remaining: 8.075542 bound: 8.977370 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 26 || usage: 0.000000 remaining: 4.087478 bound: 5.025302 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 25 || usage: 0.000000 remaining: 0.284705 bound: 0.935515 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.318568, Var(215).penalty: 1.000000, Var(215).value: 0.318568 +> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 39 || usage: 0.000000 remaining: 3.638465 bound: 4.546221 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 38 || usage: 0.000000 remaining: 6.411403 bound: 8.280221 +> [0.000000]: [surf_maxmin/DEBUG] index: 35 cnst_light_num: 37 || usage: 0.000000 remaining: 2.829854 bound: 3.779940 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 36 || usage: 0.000000 remaining: 2.980446 bound: 4.573322 +> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 35 || usage: 0.000000 remaining: 6.380670 bound: 8.261281 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 34 || usage: 0.000000 remaining: 3.886167 bound: 5.108276 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 33 || usage: 0.000000 remaining: 1.167702 bound: 2.054103 +> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 32 || usage: 0.000000 remaining: 4.874602 bound: 5.862529 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 31 || usage: 0.000000 remaining: 2.723805 bound: 4.750886 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 30 || usage: 0.000000 remaining: 6.139156 bound: 7.727387 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 29 || usage: 0.000000 remaining: 1.364202 bound: 2.917928 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 28 || usage: 0.000000 remaining: 2.169474 bound: 2.575853 +> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 27 || usage: 0.000000 remaining: 8.075542 bound: 8.977370 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 26 || usage: 0.000000 remaining: 4.087478 bound: 5.025302 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 25 || usage: 0.000000 remaining: 0.284705 bound: 0.935515 > [0.000000]: [surf_maxmin/DEBUG] Setting var (252) value to 0.318568 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.318568, Var(252).penalty: 1.000000, Var(252).value: 0.318568 -> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 24 || usage: 0.000000 remaining: 0.252549 bound: 2.336920 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 23 || usage: 0.000000 remaining: 5.991976 bound: 7.071806 -> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 22 || usage: 0.000000 remaining: 2.502192 bound: 3.295714 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 21 || usage: 0.000000 remaining: 3.197754 bound: 4.459004 -> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 20 || usage: 0.000000 remaining: 0.000000 bound: 1.433323 -> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 19 || usage: 0.000000 remaining: 3.374101 bound: 4.370619 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 18 || usage: 0.000000 remaining: 0.869034 bound: 2.305842 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 17 || usage: 0.000000 remaining: 7.567609 bound: 9.257328 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 16 || usage: 0.000000 remaining: 6.027387 bound: 7.521400 -> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 15 || usage: 0.000000 remaining: 2.991719 bound: 4.552794 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 14 || usage: 0.000000 remaining: 3.238807 bound: 4.568332 -> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 13 || usage: 0.000000 remaining: 7.073078 bound: 8.112278 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 12 || usage: 0.000000 remaining: 0.468080 bound: 1.760621 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 11 || usage: 0.000000 remaining: 8.971038 bound: 9.982831 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 10 || usage: 0.000000 remaining: 2.180753 bound: 2.773230 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 9 || usage: 0.000000 remaining: 1.244188 bound: 2.679478 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 8 || usage: 0.000000 remaining: 8.145550 bound: 9.139753 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 7 || usage: 0.000000 remaining: 1.083405 bound: 2.749201 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 6 || usage: 0.000000 remaining: 7.269076 bound: 8.421032 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 5 || usage: 0.000000 remaining: 5.898603 bound: 7.074315 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 4 || usage: 0.000000 remaining: 8.837055 bound: 9.903012 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 0.890080 bound: 3.424196 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 0.708020 bound: 2.069661 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 4.765848 bound: 5.527719 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.318568, Var(252).penalty: 1.000000, Var(252).value: 0.318568 +> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 24 || usage: 0.000000 remaining: 0.252549 bound: 2.336920 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 23 || usage: 0.000000 remaining: 5.991976 bound: 7.071806 +> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 22 || usage: 0.000000 remaining: 2.502192 bound: 3.295714 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 21 || usage: 0.000000 remaining: 3.197754 bound: 4.459004 +> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 20 || usage: 0.000000 remaining: 0.000000 bound: 1.433323 +> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 19 || usage: 0.000000 remaining: 3.374101 bound: 4.370619 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 18 || usage: 0.000000 remaining: 0.869034 bound: 2.305842 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 17 || usage: 0.000000 remaining: 7.567609 bound: 9.257328 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 16 || usage: 0.000000 remaining: 6.027387 bound: 7.521400 +> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 15 || usage: 0.000000 remaining: 2.991719 bound: 4.552794 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 14 || usage: 0.000000 remaining: 3.238807 bound: 4.568332 +> [0.000000]: [surf_maxmin/DEBUG] index: 11 cnst_light_num: 13 || usage: 0.000000 remaining: 7.073078 bound: 8.112278 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 12 || usage: 0.000000 remaining: 0.468080 bound: 1.760621 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 11 || usage: 0.000000 remaining: 8.971038 bound: 9.982831 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 10 || usage: 0.000000 remaining: 2.180753 bound: 2.773230 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 9 || usage: 0.000000 remaining: 1.244188 bound: 2.679478 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 8 || usage: 0.000000 remaining: 8.145550 bound: 9.139753 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 7 || usage: 0.000000 remaining: 1.083405 bound: 2.749201 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 6 || usage: 0.000000 remaining: 7.269076 bound: 8.421032 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 5 || usage: 0.000000 remaining: 5.898603 bound: 7.074315 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 4 || usage: 0.000000 remaining: 8.837055 bound: 9.903012 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 0.890080 bound: 3.424196 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 0.708020 bound: 2.069661 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 4.765848 bound: 5.527719 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '271'(1.000000) '267'(1.000000) '264'(1.000000) '256'(1.000000) '252'(1.000000) '251'(1.000000) '244'(1.000000) '242'(1.000000) '240'(1.000000) '238'(1.000000) '236'(1.000000) '235'(1.000000) '234'(1.000000) '232'(1.000000) '231'(1.000000) '230'(1.000000) '228'(1.000000) '227'(1.000000) '226'(1.000000) '224'(1.000000) '223'(1.000000) '222'(1.000000) '221'(1.000000) '220'(1.000000) '219'(1.000000) '218'(1.000000) '217'(1.000000) '216'(1.000000) '215'(1.000000) '214'(1.000000) '213'(1.000000) '212'(1.000000) '211'(1.000000) '210'(1.000000) '209'(1.000000) '208'(1.000000) '207'(1.000000) '206'(1.000000) '205'(1.000000) '204'(1.000000) '203'(1.000000) '202'(1.000000) '201'(1.000000) '225'(0.000000) '229'(0.000000) '233'(0.000000) '237'(0.000000) '239'(0.000000) '241'(0.000000) '243'(0.000000) '245'(0.000000) '246'(0.000000) '247'(0.000000) '248'(0.000000) '249'(0.000000) '250'(0.000000) '253'(0.000000) '254'(0.000000) '255'(0.000000) '257'(0.000000) '258'(0.000000) '259'(0.000000) '260'(0.000000) '261'(0.000000) '262'(0.000000) '263'(0.000000) '265'(0.000000) '266'(0.000000) '268'(0.000000) '269'(0.000000) '270'(0.000000) '272'(0.000000) '273'(0.000000) '274'(0.000000) '275'(0.000000) '276'(0.000000) '277'(0.000000) '278'(0.000000) '279'(0.000000) '280'(0.000000) '281'(0.000000) '282'(0.000000) '283'(0.000000) '284'(0.000000) '285'(0.000000) '286'(0.000000) '287'(0.000000) '288'(0.000000) '289'(0.000000) '290'(0.000000) '291'(0.000000) '292'(0.000000) '293'(0.000000) '294'(0.000000) '295'(0.000000) '296'(0.000000) '297'(0.000000) '298'(0.000000) '299'(0.000000) '300'(0.000000) ) > [0.000000]: [surf_maxmin/DEBUG] Constraints > [0.000000]: [surf_maxmin/DEBUG] (1.657199.'256'(0.009920) + 2.002173.'236'(0.022864) + 1.253832.'231'(0.009920) + 2.485700.'230'(0.009920) + 1.480163.'227'(0.299833) + 1.873191.'213'(0.009920) + 1.464335.'206'(0.051719) + 2.418791.'201'(0.051719) + 1.765219.'239'(0.000000) + 0.643122.'243'(0.000000) + 1.542981.'249'(0.000000) + 1.453157.'257'(0.000000) + 2.968494.'260'(0.000000) + 2.456470.'265'(0.000000) + 0.637661.'269'(0.000000) + 2.050087.'270'(0.000000) + 0.469197.'281'(0.000000) + 0.998855.'287'(0.000000) + 1.630202.'295'(0.000000) + 0.562212.'296'(0.000000) + 0.349438.'298'(0.000000) + 0) <= 9.133015 ('212') @@ -1848,24 +1848,24 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=326, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.004853, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=329, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.004853, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (306) value to 0.004853 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(306).penalty: 1.000000, Var(306).value: 0.004853 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(306).penalty: 1.000000, Var(306).value: 0.004853 > [0.000000]: [surf_maxmin/DEBUG] Setting var (312) value to 0.004853 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(312).penalty: 1.000000, Var(312).value: 0.004853 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(312).penalty: 1.000000, Var(312).value: 0.004853 > [0.000000]: [surf_maxmin/DEBUG] Setting var (313) value to 0.004853 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(313).penalty: 1.000000, Var(313).value: 0.004853 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(313).penalty: 1.000000, Var(313).value: 0.004853 > [0.000000]: [surf_maxmin/DEBUG] Setting var (320) value to 0.004853 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(320).penalty: 1.000000, Var(320).value: 0.004853 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(320).penalty: 1.000000, Var(320).value: 0.004853 > [0.000000]: [surf_maxmin/DEBUG] Setting var (326) value to 0.004853 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(326).penalty: 1.000000, Var(326).value: 0.004853 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(326).penalty: 1.000000, Var(326).value: 0.004853 > [0.000000]: [surf_maxmin/DEBUG] Setting var (329) value to 0.004853 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(329).penalty: 1.000000, Var(329).value: 0.004853 -> [0.000000]: [surf_maxmin/DEBUG] index: 78 cnst_light_num: 100 || usage: 0.000000 remaining: 0.000000 bound: 0.051591 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.004853, Var(329).penalty: 1.000000, Var(329).value: 0.004853 +> [0.000000]: [surf_maxmin/DEBUG] index: 78 cnst_light_num: 100 || usage: 0.000000 remaining: 0.000000 bound: 0.051591 > [0.000000]: [surf_maxmin/DEBUG] var=302, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006347, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=303, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006347, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=316, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006347, var.bound*var.penalty=-1.000000 @@ -1875,47 +1875,47 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=368, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006347, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=396, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.006347, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (302) value to 0.006347 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(302).penalty: 1.000000, Var(302).value: 0.006347 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(302).penalty: 1.000000, Var(302).value: 0.006347 > [0.000000]: [surf_maxmin/DEBUG] Setting var (303) value to 0.006347 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(303).penalty: 1.000000, Var(303).value: 0.006347 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(303).penalty: 1.000000, Var(303).value: 0.006347 > [0.000000]: [surf_maxmin/DEBUG] Setting var (316) value to 0.006347 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(316).penalty: 1.000000, Var(316).value: 0.006347 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(316).penalty: 1.000000, Var(316).value: 0.006347 > [0.000000]: [surf_maxmin/DEBUG] Setting var (319) value to 0.006347 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(319).penalty: 1.000000, Var(319).value: 0.006347 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(319).penalty: 1.000000, Var(319).value: 0.006347 > [0.000000]: [surf_maxmin/DEBUG] Setting var (327) value to 0.006347 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(327).penalty: 1.000000, Var(327).value: 0.006347 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(327).penalty: 1.000000, Var(327).value: 0.006347 > [0.000000]: [surf_maxmin/DEBUG] Setting var (355) value to 0.006347 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(355).penalty: 1.000000, Var(355).value: 0.006347 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(355).penalty: 1.000000, Var(355).value: 0.006347 > [0.000000]: [surf_maxmin/DEBUG] Setting var (368) value to 0.006347 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(368).penalty: 1.000000, Var(368).value: 0.006347 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(368).penalty: 1.000000, Var(368).value: 0.006347 > [0.000000]: [surf_maxmin/DEBUG] Setting var (396) value to 0.006347 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(396).penalty: 1.000000, Var(396).value: 0.006347 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 99 || usage: 0.000000 remaining: 0.000000 bound: 0.089861 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.006347, Var(396).penalty: 1.000000, Var(396).value: 0.006347 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 99 || usage: 0.000000 remaining: 0.000000 bound: 0.089861 > [0.000000]: [surf_maxmin/DEBUG] var=301, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.008080, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=310, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.008080, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=338, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.008080, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=373, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.008080, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (301) value to 0.008080 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.008080, Var(301).penalty: 1.000000, Var(301).value: 0.008080 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.008080, Var(301).penalty: 1.000000, Var(301).value: 0.008080 > [0.000000]: [surf_maxmin/DEBUG] Setting var (310) value to 0.008080 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.008080, Var(310).penalty: 1.000000, Var(310).value: 0.008080 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.008080, Var(310).penalty: 1.000000, Var(310).value: 0.008080 > [0.000000]: [surf_maxmin/DEBUG] Setting var (338) value to 0.008080 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.008080, Var(338).penalty: 1.000000, Var(338).value: 0.008080 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.008080, Var(338).penalty: 1.000000, Var(338).value: 0.008080 > [0.000000]: [surf_maxmin/DEBUG] Setting var (373) value to 0.008080 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.008080, Var(373).penalty: 1.000000, Var(373).value: 0.008080 -> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 98 || usage: 0.000000 remaining: 0.000000 bound: 0.104267 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.008080, Var(373).penalty: 1.000000, Var(373).value: 0.008080 +> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 98 || usage: 0.000000 remaining: 0.000000 bound: 0.104267 > [0.000000]: [surf_maxmin/DEBUG] var=305, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.017237, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=307, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.017237, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=325, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.017237, var.bound*var.penalty=-1.000000 @@ -1924,191 +1924,191 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=371, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.017237, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=379, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.017237, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (305) value to 0.017237 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(305).penalty: 1.000000, Var(305).value: 0.017237 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(305).penalty: 1.000000, Var(305).value: 0.017237 > [0.000000]: [surf_maxmin/DEBUG] Setting var (307) value to 0.017237 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(307).penalty: 1.000000, Var(307).value: 0.017237 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(307).penalty: 1.000000, Var(307).value: 0.017237 > [0.000000]: [surf_maxmin/DEBUG] Setting var (325) value to 0.017237 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(325).penalty: 1.000000, Var(325).value: 0.017237 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(325).penalty: 1.000000, Var(325).value: 0.017237 > [0.000000]: [surf_maxmin/DEBUG] Setting var (333) value to 0.017237 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(333).penalty: 1.000000, Var(333).value: 0.017237 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(333).penalty: 1.000000, Var(333).value: 0.017237 > [0.000000]: [surf_maxmin/DEBUG] Setting var (335) value to 0.017237 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(335).penalty: 1.000000, Var(335).value: 0.017237 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(335).penalty: 1.000000, Var(335).value: 0.017237 > [0.000000]: [surf_maxmin/DEBUG] Setting var (371) value to 0.017237 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(371).penalty: 1.000000, Var(371).value: 0.017237 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(371).penalty: 1.000000, Var(371).value: 0.017237 > [0.000000]: [surf_maxmin/DEBUG] Setting var (379) value to 0.017237 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(379).penalty: 1.000000, Var(379).value: 0.017237 -> [0.000000]: [surf_maxmin/DEBUG] index: 71 cnst_light_num: 97 || usage: 0.000000 remaining: 0.000000 bound: 0.216187 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.017237, Var(379).penalty: 1.000000, Var(379).value: 0.017237 +> [0.000000]: [surf_maxmin/DEBUG] index: 71 cnst_light_num: 97 || usage: 0.000000 remaining: 0.000000 bound: 0.216187 > [0.000000]: [surf_maxmin/DEBUG] var=321, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.022783, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=330, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.022783, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (321) value to 0.022783 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.022783, Var(321).penalty: 1.000000, Var(321).value: 0.022783 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.022783, Var(321).penalty: 1.000000, Var(321).value: 0.022783 > [0.000000]: [surf_maxmin/DEBUG] Setting var (330) value to 0.022783 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.022783, Var(330).penalty: 1.000000, Var(330).value: 0.022783 -> [0.000000]: [surf_maxmin/DEBUG] index: 82 cnst_light_num: 96 || usage: 0.000000 remaining: 0.000000 bound: 0.167177 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.022783, Var(330).penalty: 1.000000, Var(330).value: 0.022783 +> [0.000000]: [surf_maxmin/DEBUG] index: 82 cnst_light_num: 96 || usage: 0.000000 remaining: 0.000000 bound: 0.167177 > [0.000000]: [surf_maxmin/DEBUG] var=308, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.055454, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=346, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.055454, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (308) value to 0.055454 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.055454, Var(308).penalty: 1.000000, Var(308).value: 0.055454 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.055454, Var(308).penalty: 1.000000, Var(308).value: 0.055454 > [0.000000]: [surf_maxmin/DEBUG] Setting var (346) value to 0.055454 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.055454, Var(346).penalty: 1.000000, Var(346).value: 0.055454 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 95 || usage: 0.000000 remaining: 0.000000 bound: 0.338776 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.055454, Var(346).penalty: 1.000000, Var(346).value: 0.055454 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 95 || usage: 0.000000 remaining: 0.000000 bound: 0.338776 > [0.000000]: [surf_maxmin/DEBUG] var=311, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.082439, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=315, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.082439, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=324, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.082439, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=339, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.082439, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (311) value to 0.082439 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082439, Var(311).penalty: 1.000000, Var(311).value: 0.082439 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082439, Var(311).penalty: 1.000000, Var(311).value: 0.082439 > [0.000000]: [surf_maxmin/DEBUG] Setting var (315) value to 0.082439 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082439, Var(315).penalty: 1.000000, Var(315).value: 0.082439 -> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 94 || usage: 0.000000 remaining: 9.623793 bound: 9.834007 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082439, Var(315).penalty: 1.000000, Var(315).value: 0.082439 +> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 94 || usage: 0.000000 remaining: 9.623793 bound: 9.834007 > [0.000000]: [surf_maxmin/DEBUG] Setting var (324) value to 0.082439 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082439, Var(324).penalty: 1.000000, Var(324).value: 0.082439 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082439, Var(324).penalty: 1.000000, Var(324).value: 0.082439 > [0.000000]: [surf_maxmin/DEBUG] Setting var (339) value to 0.082439 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082439, Var(339).penalty: 1.000000, Var(339).value: 0.082439 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 93 || usage: 0.000000 remaining: 9.520988 bound: 9.796163 -> [0.000000]: [surf_maxmin/DEBUG] index: 75 cnst_light_num: 92 || usage: 0.000000 remaining: 1.356513 bound: 1.679722 -> [0.000000]: [surf_maxmin/DEBUG] index: 38 cnst_light_num: 91 || usage: 0.000000 remaining: 3.720103 bound: 4.124722 -> [0.000000]: [surf_maxmin/DEBUG] index: 57 cnst_light_num: 90 || usage: 0.000000 remaining: 6.432770 bound: 6.786854 -> [0.000000]: [surf_maxmin/DEBUG] index: 35 cnst_light_num: 89 || usage: 0.000000 remaining: 0.000000 bound: 0.650678 -> [0.000000]: [surf_maxmin/DEBUG] index: 77 cnst_light_num: 88 || usage: 0.000000 remaining: 8.412449 bound: 8.657749 -> [0.000000]: [surf_maxmin/DEBUG] index: 38 cnst_light_num: 87 || usage: 0.000000 remaining: 2.152999 bound: 2.361413 -> [0.000000]: [surf_maxmin/DEBUG] index: 27 cnst_light_num: 86 || usage: 0.000000 remaining: 1.128295 bound: 1.454623 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 85 || usage: 0.000000 remaining: 5.741683 bound: 6.148194 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082439, Var(339).penalty: 1.000000, Var(339).value: 0.082439 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 93 || usage: 0.000000 remaining: 9.520988 bound: 9.796163 +> [0.000000]: [surf_maxmin/DEBUG] index: 75 cnst_light_num: 92 || usage: 0.000000 remaining: 1.356513 bound: 1.679722 +> [0.000000]: [surf_maxmin/DEBUG] index: 38 cnst_light_num: 91 || usage: 0.000000 remaining: 3.720103 bound: 4.124722 +> [0.000000]: [surf_maxmin/DEBUG] index: 57 cnst_light_num: 90 || usage: 0.000000 remaining: 6.432770 bound: 6.786854 +> [0.000000]: [surf_maxmin/DEBUG] index: 35 cnst_light_num: 89 || usage: 0.000000 remaining: 0.000000 bound: 0.650678 +> [0.000000]: [surf_maxmin/DEBUG] index: 77 cnst_light_num: 88 || usage: 0.000000 remaining: 8.412449 bound: 8.657749 +> [0.000000]: [surf_maxmin/DEBUG] index: 38 cnst_light_num: 87 || usage: 0.000000 remaining: 2.152999 bound: 2.361413 +> [0.000000]: [surf_maxmin/DEBUG] index: 27 cnst_light_num: 86 || usage: 0.000000 remaining: 1.128295 bound: 1.454623 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 85 || usage: 0.000000 remaining: 5.741683 bound: 6.148194 > [0.000000]: [surf_maxmin/DEBUG] var=304, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.082780, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=309, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.082780, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=318, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.082780, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=340, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.082780, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (304) value to 0.082780 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082780, Var(304).penalty: 1.000000, Var(304).value: 0.082780 -> [0.000000]: [surf_maxmin/DEBUG] index: 62 cnst_light_num: 84 || usage: 0.000000 remaining: 4.395452 bound: 4.814599 -> [0.000000]: [surf_maxmin/DEBUG] index: 41 cnst_light_num: 83 || usage: 0.000000 remaining: 6.410573 bound: 6.896441 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 82 || usage: 0.000000 remaining: 0.136333 bound: 0.400911 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082780, Var(304).penalty: 1.000000, Var(304).value: 0.082780 +> [0.000000]: [surf_maxmin/DEBUG] index: 62 cnst_light_num: 84 || usage: 0.000000 remaining: 4.395452 bound: 4.814599 +> [0.000000]: [surf_maxmin/DEBUG] index: 41 cnst_light_num: 83 || usage: 0.000000 remaining: 6.410573 bound: 6.896441 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 82 || usage: 0.000000 remaining: 0.136333 bound: 0.400911 > [0.000000]: [surf_maxmin/DEBUG] Setting var (309) value to 0.082780 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082780, Var(309).penalty: 1.000000, Var(309).value: 0.082780 -> [0.000000]: [surf_maxmin/DEBUG] index: 72 cnst_light_num: 81 || usage: 0.000000 remaining: 6.936493 bound: 7.325935 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082780, Var(309).penalty: 1.000000, Var(309).value: 0.082780 +> [0.000000]: [surf_maxmin/DEBUG] index: 72 cnst_light_num: 81 || usage: 0.000000 remaining: 6.936493 bound: 7.325935 > [0.000000]: [surf_maxmin/DEBUG] Setting var (318) value to 0.082780 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082780, Var(318).penalty: 1.000000, Var(318).value: 0.082780 -> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 80 || usage: 0.000000 remaining: 8.723692 bound: 9.175118 -> [0.000000]: [surf_maxmin/DEBUG] index: 41 cnst_light_num: 79 || usage: 0.000000 remaining: 4.612134 bound: 4.877376 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082780, Var(318).penalty: 1.000000, Var(318).value: 0.082780 +> [0.000000]: [surf_maxmin/DEBUG] index: 51 cnst_light_num: 80 || usage: 0.000000 remaining: 8.723692 bound: 9.175118 +> [0.000000]: [surf_maxmin/DEBUG] index: 41 cnst_light_num: 79 || usage: 0.000000 remaining: 4.612134 bound: 4.877376 > [0.000000]: [surf_maxmin/DEBUG] Setting var (340) value to 0.082780 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082780, Var(340).penalty: 1.000000, Var(340).value: 0.082780 -> [0.000000]: [surf_maxmin/DEBUG] index: 56 cnst_light_num: 78 || usage: 0.000000 remaining: 2.651265 bound: 3.087946 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 77 || usage: 0.000000 remaining: 7.509593 bound: 7.863060 -> [0.000000]: [surf_maxmin/DEBUG] index: 63 cnst_light_num: 76 || usage: 0.000000 remaining: 3.962753 bound: 4.654897 -> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 75 || usage: 0.000000 remaining: 0.000000 bound: 0.846616 -> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 74 || usage: 0.000000 remaining: 1.909920 bound: 2.111806 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 73 || usage: 0.000000 remaining: 7.523697 bound: 8.301881 -> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 72 || usage: 0.000000 remaining: 6.272859 bound: 6.866671 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 71 || usage: 0.000000 remaining: 1.577312 bound: 1.890258 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.082780, Var(340).penalty: 1.000000, Var(340).value: 0.082780 +> [0.000000]: [surf_maxmin/DEBUG] index: 56 cnst_light_num: 78 || usage: 0.000000 remaining: 2.651265 bound: 3.087946 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 77 || usage: 0.000000 remaining: 7.509593 bound: 7.863060 +> [0.000000]: [surf_maxmin/DEBUG] index: 63 cnst_light_num: 76 || usage: 0.000000 remaining: 3.962753 bound: 4.654897 +> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 75 || usage: 0.000000 remaining: 0.000000 bound: 0.846616 +> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 74 || usage: 0.000000 remaining: 1.909920 bound: 2.111806 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 73 || usage: 0.000000 remaining: 7.523697 bound: 8.301881 +> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 72 || usage: 0.000000 remaining: 6.272859 bound: 6.866671 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 71 || usage: 0.000000 remaining: 1.577312 bound: 1.890258 > [0.000000]: [surf_maxmin/DEBUG] var=314, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.181646, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=323, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.181646, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (314) value to 0.181646 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.181646, Var(314).penalty: 1.000000, Var(314).value: 0.181646 -> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 70 || usage: 0.000000 remaining: 4.616647 bound: 5.146537 -> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 69 || usage: 0.000000 remaining: 9.217773 bound: 9.812099 -> [0.000000]: [surf_maxmin/DEBUG] index: 58 cnst_light_num: 68 || usage: 0.000000 remaining: 6.691715 bound: 6.981656 -> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 67 || usage: 0.000000 remaining: 8.775222 bound: 9.470740 -> [0.000000]: [surf_maxmin/DEBUG] index: 63 cnst_light_num: 66 || usage: 0.000000 remaining: 0.002624 bound: 0.588801 -> [0.000000]: [surf_maxmin/DEBUG] index: 62 cnst_light_num: 65 || usage: 0.000000 remaining: 9.108748 bound: 9.489773 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 64 || usage: 0.000000 remaining: 3.743166 bound: 4.413485 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.181646, Var(314).penalty: 1.000000, Var(314).value: 0.181646 +> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 70 || usage: 0.000000 remaining: 4.616647 bound: 5.146537 +> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 69 || usage: 0.000000 remaining: 9.217773 bound: 9.812099 +> [0.000000]: [surf_maxmin/DEBUG] index: 58 cnst_light_num: 68 || usage: 0.000000 remaining: 6.691715 bound: 6.981656 +> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 67 || usage: 0.000000 remaining: 8.775222 bound: 9.470740 +> [0.000000]: [surf_maxmin/DEBUG] index: 63 cnst_light_num: 66 || usage: 0.000000 remaining: 0.002624 bound: 0.588801 +> [0.000000]: [surf_maxmin/DEBUG] index: 62 cnst_light_num: 65 || usage: 0.000000 remaining: 9.108748 bound: 9.489773 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 64 || usage: 0.000000 remaining: 3.743166 bound: 4.413485 > [0.000000]: [surf_maxmin/DEBUG] Setting var (323) value to 0.181646 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.181646, Var(323).penalty: 1.000000, Var(323).value: 0.181646 -> [0.000000]: [surf_maxmin/DEBUG] index: 56 cnst_light_num: 63 || usage: 0.000000 remaining: 8.235721 bound: 8.955012 -> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 62 || usage: 0.000000 remaining: 5.669575 bound: 6.189299 -> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 61 || usage: 0.000000 remaining: 1.315157 bound: 1.914464 -> [0.000000]: [surf_maxmin/DEBUG] index: 55 cnst_light_num: 60 || usage: 0.000000 remaining: 4.249010 bound: 5.279088 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 59 || usage: 0.000000 remaining: 2.003879 bound: 2.361517 -> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 58 || usage: 0.000000 remaining: 6.876551 bound: 7.944233 -> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 57 || usage: 0.000000 remaining: 2.567343 bound: 3.502852 -> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 56 || usage: 0.000000 remaining: 0.000000 bound: 0.831691 -> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 55 || usage: 0.000000 remaining: 7.939866 bound: 8.435281 -> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 54 || usage: 0.000000 remaining: 1.105945 bound: 1.582234 -> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 53 || usage: 0.000000 remaining: 1.436632 bound: 2.454537 -> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 52 || usage: 0.000000 remaining: 5.134786 bound: 5.972666 -> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 51 || usage: 0.000000 remaining: 2.474832 bound: 3.070127 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.181646, Var(323).penalty: 1.000000, Var(323).value: 0.181646 +> [0.000000]: [surf_maxmin/DEBUG] index: 56 cnst_light_num: 63 || usage: 0.000000 remaining: 8.235721 bound: 8.955012 +> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 62 || usage: 0.000000 remaining: 5.669575 bound: 6.189299 +> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 61 || usage: 0.000000 remaining: 1.315157 bound: 1.914464 +> [0.000000]: [surf_maxmin/DEBUG] index: 55 cnst_light_num: 60 || usage: 0.000000 remaining: 4.249010 bound: 5.279088 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 59 || usage: 0.000000 remaining: 2.003879 bound: 2.361517 +> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 58 || usage: 0.000000 remaining: 6.876551 bound: 7.944233 +> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 57 || usage: 0.000000 remaining: 2.567343 bound: 3.502852 +> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 56 || usage: 0.000000 remaining: 0.000000 bound: 0.831691 +> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 55 || usage: 0.000000 remaining: 7.939866 bound: 8.435281 +> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 54 || usage: 0.000000 remaining: 1.105945 bound: 1.582234 +> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 53 || usage: 0.000000 remaining: 1.436632 bound: 2.454537 +> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 52 || usage: 0.000000 remaining: 5.134786 bound: 5.972666 +> [0.000000]: [surf_maxmin/DEBUG] index: 47 cnst_light_num: 51 || usage: 0.000000 remaining: 2.474832 bound: 3.070127 > [0.000000]: [surf_maxmin/DEBUG] var=317, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.192480, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (317) value to 0.192480 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.192480, Var(317).penalty: 1.000000, Var(317).value: 0.192480 -> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 50 || usage: 0.000000 remaining: 8.590187 bound: 9.762745 -> [0.000000]: [surf_maxmin/DEBUG] index: 43 cnst_light_num: 49 || usage: 0.000000 remaining: 7.850020 bound: 9.024219 -> [0.000000]: [surf_maxmin/DEBUG] index: 40 cnst_light_num: 48 || usage: 0.000000 remaining: 8.803990 bound: 9.267207 -> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 47 || usage: 0.000000 remaining: 2.894269 bound: 3.711062 -> [0.000000]: [surf_maxmin/DEBUG] index: 27 cnst_light_num: 46 || usage: 0.000000 remaining: 1.488431 bound: 2.160895 -> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 45 || usage: 0.000000 remaining: 5.237831 bound: 6.035635 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 44 || usage: 0.000000 remaining: 0.000000 bound: 0.657095 -> [0.000000]: [surf_maxmin/DEBUG] index: 27 cnst_light_num: 43 || usage: 0.000000 remaining: 1.499276 bound: 2.410386 -> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 42 || usage: 0.000000 remaining: 2.697860 bound: 3.764195 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 41 || usage: 0.000000 remaining: 4.546883 bound: 5.206744 -> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 40 || usage: 0.000000 remaining: 5.086432 bound: 6.090356 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.192480, Var(317).penalty: 1.000000, Var(317).value: 0.192480 +> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 50 || usage: 0.000000 remaining: 8.590187 bound: 9.762745 +> [0.000000]: [surf_maxmin/DEBUG] index: 43 cnst_light_num: 49 || usage: 0.000000 remaining: 7.850020 bound: 9.024219 +> [0.000000]: [surf_maxmin/DEBUG] index: 40 cnst_light_num: 48 || usage: 0.000000 remaining: 8.803990 bound: 9.267207 +> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 47 || usage: 0.000000 remaining: 2.894269 bound: 3.711062 +> [0.000000]: [surf_maxmin/DEBUG] index: 27 cnst_light_num: 46 || usage: 0.000000 remaining: 1.488431 bound: 2.160895 +> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 45 || usage: 0.000000 remaining: 5.237831 bound: 6.035635 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 44 || usage: 0.000000 remaining: 0.000000 bound: 0.657095 +> [0.000000]: [surf_maxmin/DEBUG] index: 27 cnst_light_num: 43 || usage: 0.000000 remaining: 1.499276 bound: 2.410386 +> [0.000000]: [surf_maxmin/DEBUG] index: 33 cnst_light_num: 42 || usage: 0.000000 remaining: 2.697860 bound: 3.764195 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 41 || usage: 0.000000 remaining: 4.546883 bound: 5.206744 +> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 40 || usage: 0.000000 remaining: 5.086432 bound: 6.090356 > [0.000000]: [surf_maxmin/DEBUG] var=322, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.199927, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (322) value to 0.199927 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.199927, Var(322).penalty: 1.000000, Var(322).value: 0.199927 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 39 || usage: 0.000000 remaining: 2.815418 bound: 3.969000 -> [0.000000]: [surf_maxmin/DEBUG] index: 35 cnst_light_num: 38 || usage: 0.000000 remaining: 8.434436 bound: 9.496689 -> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 37 || usage: 0.000000 remaining: 8.775050 bound: 9.425859 -> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 36 || usage: 0.000000 remaining: 3.641974 bound: 4.190340 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 35 || usage: 0.000000 remaining: 2.870313 bound: 3.917662 -> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 34 || usage: 0.000000 remaining: 2.369036 bound: 3.206156 -> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 33 || usage: 0.000000 remaining: 5.722769 bound: 6.249309 -> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 32 || usage: 0.000000 remaining: 2.712534 bound: 4.048252 -> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 31 || usage: 0.000000 remaining: 0.883260 bound: 1.628717 -> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 30 || usage: 0.000000 remaining: 5.804409 bound: 6.235688 -> [0.000000]: [surf_maxmin/DEBUG] index: 26 cnst_light_num: 29 || usage: 0.000000 remaining: 4.884825 bound: 5.918736 -> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 28 || usage: 0.000000 remaining: 2.658479 bound: 3.516737 -> [0.000000]: [surf_maxmin/DEBUG] index: 19 cnst_light_num: 27 || usage: 0.000000 remaining: 5.057421 bound: 6.439143 -> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 26 || usage: 0.000000 remaining: 3.010640 bound: 3.636503 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 25 || usage: 0.000000 remaining: 0.723013 bound: 1.789739 -> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 24 || usage: 0.000000 remaining: 6.083058 bound: 6.989810 -> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 23 || usage: 0.000000 remaining: 0.000000 bound: 1.289353 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 22 || usage: 0.000000 remaining: 4.209866 bound: 4.881711 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.199927, Var(322).penalty: 1.000000, Var(322).value: 0.199927 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 39 || usage: 0.000000 remaining: 2.815418 bound: 3.969000 +> [0.000000]: [surf_maxmin/DEBUG] index: 35 cnst_light_num: 38 || usage: 0.000000 remaining: 8.434436 bound: 9.496689 +> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 37 || usage: 0.000000 remaining: 8.775050 bound: 9.425859 +> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 36 || usage: 0.000000 remaining: 3.641974 bound: 4.190340 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 35 || usage: 0.000000 remaining: 2.870313 bound: 3.917662 +> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 34 || usage: 0.000000 remaining: 2.369036 bound: 3.206156 +> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 33 || usage: 0.000000 remaining: 5.722769 bound: 6.249309 +> [0.000000]: [surf_maxmin/DEBUG] index: 21 cnst_light_num: 32 || usage: 0.000000 remaining: 2.712534 bound: 4.048252 +> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 31 || usage: 0.000000 remaining: 0.883260 bound: 1.628717 +> [0.000000]: [surf_maxmin/DEBUG] index: 18 cnst_light_num: 30 || usage: 0.000000 remaining: 5.804409 bound: 6.235688 +> [0.000000]: [surf_maxmin/DEBUG] index: 26 cnst_light_num: 29 || usage: 0.000000 remaining: 4.884825 bound: 5.918736 +> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 28 || usage: 0.000000 remaining: 2.658479 bound: 3.516737 +> [0.000000]: [surf_maxmin/DEBUG] index: 19 cnst_light_num: 27 || usage: 0.000000 remaining: 5.057421 bound: 6.439143 +> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 26 || usage: 0.000000 remaining: 3.010640 bound: 3.636503 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 25 || usage: 0.000000 remaining: 0.723013 bound: 1.789739 +> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 24 || usage: 0.000000 remaining: 6.083058 bound: 6.989810 +> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 23 || usage: 0.000000 remaining: 0.000000 bound: 1.289353 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 22 || usage: 0.000000 remaining: 4.209866 bound: 4.881711 > [0.000000]: [surf_maxmin/DEBUG] var=341, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.377043, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (341) value to 0.377043 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.377043, Var(341).penalty: 1.000000, Var(341).value: 0.377043 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 21 || usage: 0.000000 remaining: 8.731885 bound: 9.732780 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 20 || usage: 0.000000 remaining: 8.492159 bound: 9.726844 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 19 || usage: 0.000000 remaining: 3.664788 bound: 5.723565 -> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 18 || usage: 0.000000 remaining: 2.715342 bound: 4.361466 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 17 || usage: 0.000000 remaining: 6.213695 bound: 8.352567 -> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 16 || usage: 0.000000 remaining: 8.192748 bound: 9.371345 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 15 || usage: 0.000000 remaining: 7.420504 bound: 8.454437 -> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 14 || usage: 0.000000 remaining: 2.464665 bound: 4.463492 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 13 || usage: 0.000000 remaining: 4.245291 bound: 5.835435 -> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 12 || usage: 0.000000 remaining: 7.782035 bound: 9.006215 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 11 || usage: 0.000000 remaining: 3.670116 bound: 4.977941 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 10 || usage: 0.000000 remaining: 0.000000 bound: 1.737798 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 9 || usage: 0.000000 remaining: 5.642411 bound: 6.665584 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 8 || usage: 0.000000 remaining: 0.823446 bound: 1.081934 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 7 || usage: 0.000000 remaining: 5.236312 bound: 6.984202 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 6 || usage: 0.000000 remaining: 6.601025 bound: 8.070165 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 5 || usage: 0.000000 remaining: 0.637052 bound: 2.230325 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 4 || usage: 0.000000 remaining: 3.289864 bound: 4.347915 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 3 || usage: 0.000000 remaining: 5.344958 bound: 6.376102 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 0.200961 bound: 1.824454 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 1.997659 bound: 2.664738 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.377043, Var(341).penalty: 1.000000, Var(341).value: 0.377043 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 21 || usage: 0.000000 remaining: 8.731885 bound: 9.732780 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 20 || usage: 0.000000 remaining: 8.492159 bound: 9.726844 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 19 || usage: 0.000000 remaining: 3.664788 bound: 5.723565 +> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 18 || usage: 0.000000 remaining: 2.715342 bound: 4.361466 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 17 || usage: 0.000000 remaining: 6.213695 bound: 8.352567 +> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 16 || usage: 0.000000 remaining: 8.192748 bound: 9.371345 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 15 || usage: 0.000000 remaining: 7.420504 bound: 8.454437 +> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 14 || usage: 0.000000 remaining: 2.464665 bound: 4.463492 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 13 || usage: 0.000000 remaining: 4.245291 bound: 5.835435 +> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 12 || usage: 0.000000 remaining: 7.782035 bound: 9.006215 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 11 || usage: 0.000000 remaining: 3.670116 bound: 4.977941 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 10 || usage: 0.000000 remaining: 0.000000 bound: 1.737798 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 9 || usage: 0.000000 remaining: 5.642411 bound: 6.665584 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 8 || usage: 0.000000 remaining: 0.823446 bound: 1.081934 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 7 || usage: 0.000000 remaining: 5.236312 bound: 6.984202 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 6 || usage: 0.000000 remaining: 6.601025 bound: 8.070165 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 5 || usage: 0.000000 remaining: 0.637052 bound: 2.230325 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 4 || usage: 0.000000 remaining: 3.289864 bound: 4.347915 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 3 || usage: 0.000000 remaining: 5.344958 bound: 6.376102 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 0.200961 bound: 1.824454 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 1.997659 bound: 2.664738 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '396'(1.000000) '379'(1.000000) '373'(1.000000) '371'(1.000000) '368'(1.000000) '355'(1.000000) '346'(1.000000) '341'(1.000000) '340'(1.000000) '339'(1.000000) '338'(1.000000) '335'(1.000000) '333'(1.000000) '330'(1.000000) '329'(1.000000) '327'(1.000000) '326'(1.000000) '325'(1.000000) '324'(1.000000) '323'(1.000000) '322'(1.000000) '321'(1.000000) '320'(1.000000) '319'(1.000000) '318'(1.000000) '317'(1.000000) '316'(1.000000) '315'(1.000000) '314'(1.000000) '313'(1.000000) '312'(1.000000) '311'(1.000000) '310'(1.000000) '309'(1.000000) '308'(1.000000) '307'(1.000000) '306'(1.000000) '305'(1.000000) '304'(1.000000) '303'(1.000000) '302'(1.000000) '301'(1.000000) '328'(0.000000) '331'(0.000000) '332'(0.000000) '334'(0.000000) '336'(0.000000) '337'(0.000000) '342'(0.000000) '343'(0.000000) '344'(0.000000) '345'(0.000000) '347'(0.000000) '348'(0.000000) '349'(0.000000) '350'(0.000000) '351'(0.000000) '352'(0.000000) '353'(0.000000) '354'(0.000000) '356'(0.000000) '357'(0.000000) '358'(0.000000) '359'(0.000000) '360'(0.000000) '361'(0.000000) '362'(0.000000) '363'(0.000000) '364'(0.000000) '365'(0.000000) '366'(0.000000) '367'(0.000000) '369'(0.000000) '370'(0.000000) '372'(0.000000) '374'(0.000000) '375'(0.000000) '376'(0.000000) '377'(0.000000) '378'(0.000000) '380'(0.000000) '381'(0.000000) '382'(0.000000) '383'(0.000000) '384'(0.000000) '385'(0.000000) '386'(0.000000) '387'(0.000000) '388'(0.000000) '389'(0.000000) '390'(0.000000) '391'(0.000000) '392'(0.000000) '393'(0.000000) '394'(0.000000) '395'(0.000000) '397'(0.000000) '398'(0.000000) '399'(0.000000) '400'(0.000000) ) > [0.000000]: [surf_maxmin/DEBUG] Constraints > [0.000000]: [surf_maxmin/DEBUG] (0.711620.'340'(0.082780) + 1.698087.'338'(0.008080) + 1.683660.'325'(0.017237) + 2.667037.'324'(0.082439) + 1.798105.'320'(0.004853) + 0.931724.'305'(0.017237) + 0.886673.'301'(0.008080) + 1.365698.'332'(0.000000) + 1.355919.'344'(0.000000) + 1.722164.'347'(0.000000) + 1.183967.'367'(0.000000) + 1.262590.'376'(0.000000) + 0.902728.'378'(0.000000) + 0.751774.'380'(0.000000) + 1.014224.'381'(0.000000) + 1.498186.'389'(0.000000) + 0.946280.'391'(0.000000) + 0) <= 7.863060 ('317') @@ -2429,43 +2429,43 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=452, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=494, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (403) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(403).penalty: 1.000000, Var(403).value: 0.000969 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(403).penalty: 1.000000, Var(403).value: 0.000969 > [0.000000]: [surf_maxmin/DEBUG] Setting var (407) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(407).penalty: 1.000000, Var(407).value: 0.000969 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(407).penalty: 1.000000, Var(407).value: 0.000969 > [0.000000]: [surf_maxmin/DEBUG] Setting var (408) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(408).penalty: 1.000000, Var(408).value: 0.000969 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(408).penalty: 1.000000, Var(408).value: 0.000969 > [0.000000]: [surf_maxmin/DEBUG] Setting var (409) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(409).penalty: 1.000000, Var(409).value: 0.000969 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(409).penalty: 1.000000, Var(409).value: 0.000969 > [0.000000]: [surf_maxmin/DEBUG] Setting var (414) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(414).penalty: 1.000000, Var(414).value: 0.000969 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(414).penalty: 1.000000, Var(414).value: 0.000969 > [0.000000]: [surf_maxmin/DEBUG] Setting var (422) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(422).penalty: 1.000000, Var(422).value: 0.000969 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(422).penalty: 1.000000, Var(422).value: 0.000969 > [0.000000]: [surf_maxmin/DEBUG] Setting var (431) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(431).penalty: 1.000000, Var(431).value: 0.000969 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(431).penalty: 1.000000, Var(431).value: 0.000969 > [0.000000]: [surf_maxmin/DEBUG] Setting var (432) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(432).penalty: 1.000000, Var(432).value: 0.000969 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(432).penalty: 1.000000, Var(432).value: 0.000969 > [0.000000]: [surf_maxmin/DEBUG] Setting var (447) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(447).penalty: 1.000000, Var(447).value: 0.000969 -> [0.000000]: [surf_maxmin/DEBUG] index: 50 cnst_light_num: 100 || usage: 0.000000 remaining: 2.655368 bound: 2.658191 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(447).penalty: 1.000000, Var(447).value: 0.000969 +> [0.000000]: [surf_maxmin/DEBUG] index: 50 cnst_light_num: 100 || usage: 0.000000 remaining: 2.655368 bound: 2.658191 > [0.000000]: [surf_maxmin/DEBUG] Setting var (448) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(448).penalty: 1.000000, Var(448).value: 0.000969 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(448).penalty: 1.000000, Var(448).value: 0.000969 > [0.000000]: [surf_maxmin/DEBUG] Setting var (452) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(452).penalty: 1.000000, Var(452).value: 0.000969 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(452).penalty: 1.000000, Var(452).value: 0.000969 > [0.000000]: [surf_maxmin/DEBUG] Setting var (494) value to 0.000969 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(494).penalty: 1.000000, Var(494).value: 0.000969 -> [0.000000]: [surf_maxmin/DEBUG] index: 53 cnst_light_num: 99 || usage: 0.000000 remaining: 0.000000 bound: 0.016422 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000969, Var(494).penalty: 1.000000, Var(494).value: 0.000969 +> [0.000000]: [surf_maxmin/DEBUG] index: 53 cnst_light_num: 99 || usage: 0.000000 remaining: 0.000000 bound: 0.016422 > [0.000000]: [surf_maxmin/DEBUG] var=402, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=411, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=417, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000 @@ -2476,33 +2476,33 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=469, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=473, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (402) value to 0.010573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(402).penalty: 1.000000, Var(402).value: 0.010573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(402).penalty: 1.000000, Var(402).value: 0.010573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (411) value to 0.010573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(411).penalty: 1.000000, Var(411).value: 0.010573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(411).penalty: 1.000000, Var(411).value: 0.010573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (417) value to 0.010573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(417).penalty: 1.000000, Var(417).value: 0.010573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(417).penalty: 1.000000, Var(417).value: 0.010573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (419) value to 0.010573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(419).penalty: 1.000000, Var(419).value: 0.010573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(419).penalty: 1.000000, Var(419).value: 0.010573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (424) value to 0.010573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(424).penalty: 1.000000, Var(424).value: 0.010573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(424).penalty: 1.000000, Var(424).value: 0.010573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (433) value to 0.010573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(433).penalty: 1.000000, Var(433).value: 0.010573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(433).penalty: 1.000000, Var(433).value: 0.010573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (440) value to 0.010573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(440).penalty: 1.000000, Var(440).value: 0.010573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(440).penalty: 1.000000, Var(440).value: 0.010573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (469) value to 0.010573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(469).penalty: 1.000000, Var(469).value: 0.010573 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(469).penalty: 1.000000, Var(469).value: 0.010573 > [0.000000]: [surf_maxmin/DEBUG] Setting var (473) value to 0.010573 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(473).penalty: 1.000000, Var(473).value: 0.010573 -> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 98 || usage: 0.000000 remaining: 0.000000 bound: 0.123694 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010573, Var(473).penalty: 1.000000, Var(473).value: 0.010573 +> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 98 || usage: 0.000000 remaining: 0.000000 bound: 0.123694 > [0.000000]: [surf_maxmin/DEBUG] var=406, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=410, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=413, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000 @@ -2511,187 +2511,187 @@ $ ${bindir:=.}/maxmin_bench medium 5 test > [0.000000]: [surf_maxmin/DEBUG] var=428, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=435, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (406) value to 0.019153 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(406).penalty: 1.000000, Var(406).value: 0.019153 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(406).penalty: 1.000000, Var(406).value: 0.019153 > [0.000000]: [surf_maxmin/DEBUG] Setting var (410) value to 0.019153 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(410).penalty: 1.000000, Var(410).value: 0.019153 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(410).penalty: 1.000000, Var(410).value: 0.019153 > [0.000000]: [surf_maxmin/DEBUG] Setting var (413) value to 0.019153 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(413).penalty: 1.000000, Var(413).value: 0.019153 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(413).penalty: 1.000000, Var(413).value: 0.019153 > [0.000000]: [surf_maxmin/DEBUG] Setting var (418) value to 0.019153 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(418).penalty: 1.000000, Var(418).value: 0.019153 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(418).penalty: 1.000000, Var(418).value: 0.019153 > [0.000000]: [surf_maxmin/DEBUG] Setting var (427) value to 0.019153 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(427).penalty: 1.000000, Var(427).value: 0.019153 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(427).penalty: 1.000000, Var(427).value: 0.019153 > [0.000000]: [surf_maxmin/DEBUG] Setting var (428) value to 0.019153 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(428).penalty: 1.000000, Var(428).value: 0.019153 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(428).penalty: 1.000000, Var(428).value: 0.019153 > [0.000000]: [surf_maxmin/DEBUG] Setting var (435) value to 0.019153 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(435).penalty: 1.000000, Var(435).value: 0.019153 -> [0.000000]: [surf_maxmin/DEBUG] index: 38 cnst_light_num: 97 || usage: 0.000000 remaining: 0.000000 bound: 0.355090 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.019153, Var(435).penalty: 1.000000, Var(435).value: 0.019153 +> [0.000000]: [surf_maxmin/DEBUG] index: 38 cnst_light_num: 97 || usage: 0.000000 remaining: 0.000000 bound: 0.355090 > [0.000000]: [surf_maxmin/DEBUG] var=404, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027066, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=415, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027066, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=421, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027066, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=429, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027066, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=457, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027066, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (404) value to 0.027066 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027066, Var(404).penalty: 1.000000, Var(404).value: 0.027066 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027066, Var(404).penalty: 1.000000, Var(404).value: 0.027066 > [0.000000]: [surf_maxmin/DEBUG] Setting var (415) value to 0.027066 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027066, Var(415).penalty: 1.000000, Var(415).value: 0.027066 -> [0.000000]: [surf_maxmin/DEBUG] index: 90 cnst_light_num: 96 || usage: 0.000000 remaining: 9.850116 bound: 9.944312 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027066, Var(415).penalty: 1.000000, Var(415).value: 0.027066 +> [0.000000]: [surf_maxmin/DEBUG] index: 90 cnst_light_num: 96 || usage: 0.000000 remaining: 9.850116 bound: 9.944312 > [0.000000]: [surf_maxmin/DEBUG] Setting var (421) value to 0.027066 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027066, Var(421).penalty: 1.000000, Var(421).value: 0.027066 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027066, Var(421).penalty: 1.000000, Var(421).value: 0.027066 > [0.000000]: [surf_maxmin/DEBUG] Setting var (429) value to 0.027066 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027066, Var(429).penalty: 1.000000, Var(429).value: 0.027066 -> [0.000000]: [surf_maxmin/DEBUG] index: 77 cnst_light_num: 95 || usage: 0.000000 remaining: 5.092002 bound: 5.235122 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027066, Var(429).penalty: 1.000000, Var(429).value: 0.027066 +> [0.000000]: [surf_maxmin/DEBUG] index: 77 cnst_light_num: 95 || usage: 0.000000 remaining: 5.092002 bound: 5.235122 > [0.000000]: [surf_maxmin/DEBUG] Setting var (457) value to 0.027066 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027066, Var(457).penalty: 1.000000, Var(457).value: 0.027066 -> [0.000000]: [surf_maxmin/DEBUG] index: 65 cnst_light_num: 94 || usage: 0.000000 remaining: 0.000000 bound: 0.291116 -> [0.000000]: [surf_maxmin/DEBUG] index: 58 cnst_light_num: 93 || usage: 0.000000 remaining: 7.939141 bound: 8.077774 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.027066, Var(457).penalty: 1.000000, Var(457).value: 0.027066 +> [0.000000]: [surf_maxmin/DEBUG] index: 65 cnst_light_num: 94 || usage: 0.000000 remaining: 0.000000 bound: 0.291116 +> [0.000000]: [surf_maxmin/DEBUG] index: 58 cnst_light_num: 93 || usage: 0.000000 remaining: 7.939141 bound: 8.077774 > [0.000000]: [surf_maxmin/DEBUG] var=401, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.048560, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=436, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.048560, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=488, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.048560, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=491, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.048560, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (401) value to 0.048560 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.048560, Var(401).penalty: 1.000000, Var(401).value: 0.048560 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.048560, Var(401).penalty: 1.000000, Var(401).value: 0.048560 > [0.000000]: [surf_maxmin/DEBUG] Setting var (436) value to 0.048560 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.048560, Var(436).penalty: 1.000000, Var(436).value: 0.048560 -> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 92 || usage: 0.000000 remaining: 7.481715 bound: 7.699327 -> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 91 || usage: 0.000000 remaining: 1.931852 bound: 2.214828 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.048560, Var(436).penalty: 1.000000, Var(436).value: 0.048560 +> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 92 || usage: 0.000000 remaining: 7.481715 bound: 7.699327 +> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 91 || usage: 0.000000 remaining: 1.931852 bound: 2.214828 > [0.000000]: [surf_maxmin/DEBUG] Setting var (488) value to 0.048560 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.048560, Var(488).penalty: 1.000000, Var(488).value: 0.048560 -> [0.000000]: [surf_maxmin/DEBUG] index: 78 cnst_light_num: 90 || usage: 0.000000 remaining: 3.318481 bound: 3.541380 -> [0.000000]: [surf_maxmin/DEBUG] index: 64 cnst_light_num: 89 || usage: 0.000000 remaining: 9.438127 bound: 9.602267 -> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 88 || usage: 0.000000 remaining: 2.187058 bound: 2.442909 -> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 87 || usage: 0.000000 remaining: 5.903466 bound: 6.117439 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.048560, Var(488).penalty: 1.000000, Var(488).value: 0.048560 +> [0.000000]: [surf_maxmin/DEBUG] index: 78 cnst_light_num: 90 || usage: 0.000000 remaining: 3.318481 bound: 3.541380 +> [0.000000]: [surf_maxmin/DEBUG] index: 64 cnst_light_num: 89 || usage: 0.000000 remaining: 9.438127 bound: 9.602267 +> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 88 || usage: 0.000000 remaining: 2.187058 bound: 2.442909 +> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 87 || usage: 0.000000 remaining: 5.903466 bound: 6.117439 > [0.000000]: [surf_maxmin/DEBUG] Setting var (491) value to 0.048560 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.048560, Var(491).penalty: 1.000000, Var(491).value: 0.048560 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 86 || usage: 0.000000 remaining: 0.000000 bound: 0.511428 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 85 || usage: 0.000000 remaining: 7.982726 bound: 8.334927 -> [0.000000]: [surf_maxmin/DEBUG] index: 26 cnst_light_num: 84 || usage: 0.000000 remaining: 8.276421 bound: 8.499800 -> [0.000000]: [surf_maxmin/DEBUG] index: 59 cnst_light_num: 83 || usage: 0.000000 remaining: 3.159247 bound: 3.596849 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.048560, Var(491).penalty: 1.000000, Var(491).value: 0.048560 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 86 || usage: 0.000000 remaining: 0.000000 bound: 0.511428 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 85 || usage: 0.000000 remaining: 7.982726 bound: 8.334927 +> [0.000000]: [surf_maxmin/DEBUG] index: 26 cnst_light_num: 84 || usage: 0.000000 remaining: 8.276421 bound: 8.499800 +> [0.000000]: [surf_maxmin/DEBUG] index: 59 cnst_light_num: 83 || usage: 0.000000 remaining: 3.159247 bound: 3.596849 > [0.000000]: [surf_maxmin/DEBUG] var=416, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.100222, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=423, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.100222, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=425, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.100222, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (416) value to 0.100222 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.100222, Var(416).penalty: 1.000000, Var(416).value: 0.100222 -> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 82 || usage: 0.000000 remaining: 9.310091 bound: 9.580135 -> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 81 || usage: 0.000000 remaining: 6.524891 bound: 6.998436 -> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 80 || usage: 0.000000 remaining: 0.047285 bound: 0.600962 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.100222, Var(416).penalty: 1.000000, Var(416).value: 0.100222 +> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 82 || usage: 0.000000 remaining: 9.310091 bound: 9.580135 +> [0.000000]: [surf_maxmin/DEBUG] index: 20 cnst_light_num: 81 || usage: 0.000000 remaining: 6.524891 bound: 6.998436 +> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 80 || usage: 0.000000 remaining: 0.047285 bound: 0.600962 > [0.000000]: [surf_maxmin/DEBUG] Setting var (423) value to 0.100222 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.100222, Var(423).penalty: 1.000000, Var(423).value: 0.100222 -> [0.000000]: [surf_maxmin/DEBUG] index: 46 cnst_light_num: 79 || usage: 0.000000 remaining: 9.146212 bound: 9.649153 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 78 || usage: 0.000000 remaining: 8.617051 bound: 8.924110 -> [0.000000]: [surf_maxmin/DEBUG] index: 74 cnst_light_num: 77 || usage: 0.000000 remaining: 6.598915 bound: 7.029421 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 76 || usage: 0.000000 remaining: 8.498979 bound: 8.985712 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.100222, Var(423).penalty: 1.000000, Var(423).value: 0.100222 +> [0.000000]: [surf_maxmin/DEBUG] index: 46 cnst_light_num: 79 || usage: 0.000000 remaining: 9.146212 bound: 9.649153 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 78 || usage: 0.000000 remaining: 8.617051 bound: 8.924110 +> [0.000000]: [surf_maxmin/DEBUG] index: 74 cnst_light_num: 77 || usage: 0.000000 remaining: 6.598915 bound: 7.029421 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 76 || usage: 0.000000 remaining: 8.498979 bound: 8.985712 > [0.000000]: [surf_maxmin/DEBUG] Setting var (425) value to 0.100222 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.100222, Var(425).penalty: 1.000000, Var(425).value: 0.100222 -> [0.000000]: [surf_maxmin/DEBUG] index: 57 cnst_light_num: 75 || usage: 0.000000 remaining: 8.806888 bound: 9.214706 -> [0.000000]: [surf_maxmin/DEBUG] index: 31 cnst_light_num: 74 || usage: 0.000000 remaining: 3.628631 bound: 3.839026 -> [0.000000]: [surf_maxmin/DEBUG] index: 64 cnst_light_num: 73 || usage: 0.000000 remaining: 1.262301 bound: 1.884146 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 72 || usage: 0.000000 remaining: 0.000000 bound: 0.551801 -> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 71 || usage: 0.000000 remaining: 8.135362 bound: 8.450552 -> [0.000000]: [surf_maxmin/DEBUG] index: 55 cnst_light_num: 70 || usage: 0.000000 remaining: 2.350944 bound: 2.968005 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 69 || usage: 0.000000 remaining: 9.429033 bound: 9.814687 -> [0.000000]: [surf_maxmin/DEBUG] index: 50 cnst_light_num: 68 || usage: 0.000000 remaining: 6.012773 bound: 6.494589 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.100222, Var(425).penalty: 1.000000, Var(425).value: 0.100222 +> [0.000000]: [surf_maxmin/DEBUG] index: 57 cnst_light_num: 75 || usage: 0.000000 remaining: 8.806888 bound: 9.214706 +> [0.000000]: [surf_maxmin/DEBUG] index: 31 cnst_light_num: 74 || usage: 0.000000 remaining: 3.628631 bound: 3.839026 +> [0.000000]: [surf_maxmin/DEBUG] index: 64 cnst_light_num: 73 || usage: 0.000000 remaining: 1.262301 bound: 1.884146 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 72 || usage: 0.000000 remaining: 0.000000 bound: 0.551801 +> [0.000000]: [surf_maxmin/DEBUG] index: 36 cnst_light_num: 71 || usage: 0.000000 remaining: 8.135362 bound: 8.450552 +> [0.000000]: [surf_maxmin/DEBUG] index: 55 cnst_light_num: 70 || usage: 0.000000 remaining: 2.350944 bound: 2.968005 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 69 || usage: 0.000000 remaining: 9.429033 bound: 9.814687 +> [0.000000]: [surf_maxmin/DEBUG] index: 50 cnst_light_num: 68 || usage: 0.000000 remaining: 6.012773 bound: 6.494589 > [0.000000]: [surf_maxmin/DEBUG] var=412, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.210294, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=420, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.210294, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (412) value to 0.210294 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.210294, Var(412).penalty: 1.000000, Var(412).value: 0.210294 -> [0.000000]: [surf_maxmin/DEBUG] index: 63 cnst_light_num: 67 || usage: 0.000000 remaining: 8.841572 bound: 9.266826 -> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 66 || usage: 0.000000 remaining: 0.775966 bound: 1.426165 -> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 65 || usage: 0.000000 remaining: 6.713608 bound: 7.534345 -> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 64 || usage: 0.000000 remaining: 9.073568 bound: 9.611031 -> [0.000000]: [surf_maxmin/DEBUG] index: 28 cnst_light_num: 63 || usage: 0.000000 remaining: 4.107811 bound: 4.849311 -> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 62 || usage: 0.000000 remaining: 0.258908 bound: 0.850705 -> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 61 || usage: 0.000000 remaining: 0.452526 bound: 1.008273 -> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 60 || usage: 0.000000 remaining: 5.773539 bound: 6.842328 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 59 || usage: 0.000000 remaining: 7.696635 bound: 8.137325 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 58 || usage: 0.000000 remaining: 8.674705 bound: 9.227496 -> [0.000000]: [surf_maxmin/DEBUG] index: 54 cnst_light_num: 57 || usage: 0.000000 remaining: 5.082447 bound: 6.087026 -> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 56 || usage: 0.000000 remaining: 5.028741 bound: 5.754137 -> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 55 || usage: 0.000000 remaining: 2.884584 bound: 3.520949 -> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 54 || usage: 0.000000 remaining: 0.487693 bound: 1.116924 -> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 53 || usage: 0.000000 remaining: 5.522783 bound: 6.283088 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.210294, Var(412).penalty: 1.000000, Var(412).value: 0.210294 +> [0.000000]: [surf_maxmin/DEBUG] index: 63 cnst_light_num: 67 || usage: 0.000000 remaining: 8.841572 bound: 9.266826 +> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 66 || usage: 0.000000 remaining: 0.775966 bound: 1.426165 +> [0.000000]: [surf_maxmin/DEBUG] index: 29 cnst_light_num: 65 || usage: 0.000000 remaining: 6.713608 bound: 7.534345 +> [0.000000]: [surf_maxmin/DEBUG] index: 49 cnst_light_num: 64 || usage: 0.000000 remaining: 9.073568 bound: 9.611031 +> [0.000000]: [surf_maxmin/DEBUG] index: 28 cnst_light_num: 63 || usage: 0.000000 remaining: 4.107811 bound: 4.849311 +> [0.000000]: [surf_maxmin/DEBUG] index: 60 cnst_light_num: 62 || usage: 0.000000 remaining: 0.258908 bound: 0.850705 +> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 61 || usage: 0.000000 remaining: 0.452526 bound: 1.008273 +> [0.000000]: [surf_maxmin/DEBUG] index: 24 cnst_light_num: 60 || usage: 0.000000 remaining: 5.773539 bound: 6.842328 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 59 || usage: 0.000000 remaining: 7.696635 bound: 8.137325 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 58 || usage: 0.000000 remaining: 8.674705 bound: 9.227496 +> [0.000000]: [surf_maxmin/DEBUG] index: 54 cnst_light_num: 57 || usage: 0.000000 remaining: 5.082447 bound: 6.087026 +> [0.000000]: [surf_maxmin/DEBUG] index: 42 cnst_light_num: 56 || usage: 0.000000 remaining: 5.028741 bound: 5.754137 +> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 55 || usage: 0.000000 remaining: 2.884584 bound: 3.520949 +> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 54 || usage: 0.000000 remaining: 0.487693 bound: 1.116924 +> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 53 || usage: 0.000000 remaining: 5.522783 bound: 6.283088 > [0.000000]: [surf_maxmin/DEBUG] Setting var (420) value to 0.210294 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.210294, Var(420).penalty: 1.000000, Var(420).value: 0.210294 -> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 52 || usage: 0.000000 remaining: 4.062818 bound: 4.921360 -> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 51 || usage: 0.000000 remaining: 7.035226 bound: 8.004764 -> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 50 || usage: 0.000000 remaining: 0.000000 bound: 1.175078 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 49 || usage: 0.000000 remaining: 7.719856 bound: 8.302155 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 48 || usage: 0.000000 remaining: 0.127162 bound: 0.539621 -> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 47 || usage: 0.000000 remaining: 3.783421 bound: 4.774017 -> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 46 || usage: 0.000000 remaining: 2.207584 bound: 2.846859 -> [0.000000]: [surf_maxmin/DEBUG] index: 44 cnst_light_num: 45 || usage: 0.000000 remaining: 0.809172 bound: 1.280514 -> [0.000000]: [surf_maxmin/DEBUG] index: 41 cnst_light_num: 44 || usage: 0.000000 remaining: 6.986383 bound: 7.643726 -> [0.000000]: [surf_maxmin/DEBUG] index: 35 cnst_light_num: 43 || usage: 0.000000 remaining: 5.281663 bound: 5.834997 -> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 42 || usage: 0.000000 remaining: 3.513029 bound: 4.113836 -> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 41 || usage: 0.000000 remaining: 5.672220 bound: 6.287879 -> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 40 || usage: 0.000000 remaining: 9.478500 bound: 9.876963 -> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 39 || usage: 0.000000 remaining: 6.563377 bound: 7.598870 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 38 || usage: 0.000000 remaining: 5.902852 bound: 7.015528 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.210294, Var(420).penalty: 1.000000, Var(420).value: 0.210294 +> [0.000000]: [surf_maxmin/DEBUG] index: 23 cnst_light_num: 52 || usage: 0.000000 remaining: 4.062818 bound: 4.921360 +> [0.000000]: [surf_maxmin/DEBUG] index: 39 cnst_light_num: 51 || usage: 0.000000 remaining: 7.035226 bound: 8.004764 +> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 50 || usage: 0.000000 remaining: 0.000000 bound: 1.175078 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 49 || usage: 0.000000 remaining: 7.719856 bound: 8.302155 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 48 || usage: 0.000000 remaining: 0.127162 bound: 0.539621 +> [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 47 || usage: 0.000000 remaining: 3.783421 bound: 4.774017 +> [0.000000]: [surf_maxmin/DEBUG] index: 32 cnst_light_num: 46 || usage: 0.000000 remaining: 2.207584 bound: 2.846859 +> [0.000000]: [surf_maxmin/DEBUG] index: 44 cnst_light_num: 45 || usage: 0.000000 remaining: 0.809172 bound: 1.280514 +> [0.000000]: [surf_maxmin/DEBUG] index: 41 cnst_light_num: 44 || usage: 0.000000 remaining: 6.986383 bound: 7.643726 +> [0.000000]: [surf_maxmin/DEBUG] index: 35 cnst_light_num: 43 || usage: 0.000000 remaining: 5.281663 bound: 5.834997 +> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 42 || usage: 0.000000 remaining: 3.513029 bound: 4.113836 +> [0.000000]: [surf_maxmin/DEBUG] index: 30 cnst_light_num: 41 || usage: 0.000000 remaining: 5.672220 bound: 6.287879 +> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 40 || usage: 0.000000 remaining: 9.478500 bound: 9.876963 +> [0.000000]: [surf_maxmin/DEBUG] index: 12 cnst_light_num: 39 || usage: 0.000000 remaining: 6.563377 bound: 7.598870 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 38 || usage: 0.000000 remaining: 5.902852 bound: 7.015528 > [0.000000]: [surf_maxmin/DEBUG] var=405, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.351899, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] var=426, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.351899, var.bound*var.penalty=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (405) value to 0.351899 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.351899, Var(405).penalty: 1.000000, Var(405).value: 0.351899 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 37 || usage: 0.000000 remaining: 8.934753 bound: 9.560486 -> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 36 || usage: 0.000000 remaining: 6.756487 bound: 7.950875 -> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 35 || usage: 0.000000 remaining: 6.370281 bound: 7.421301 -> [0.000000]: [surf_maxmin/DEBUG] index: 28 cnst_light_num: 34 || usage: 0.000000 remaining: 7.370813 bound: 8.082817 -> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 33 || usage: 0.000000 remaining: 0.910847 bound: 2.067192 -> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 32 || usage: 0.000000 remaining: 5.343523 bound: 5.967310 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 31 || usage: 0.000000 remaining: 1.526208 bound: 2.172829 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 30 || usage: 0.000000 remaining: 8.497479 bound: 9.126268 -> [0.000000]: [surf_maxmin/DEBUG] index: 15 cnst_light_num: 29 || usage: 0.000000 remaining: 9.498359 bound: 9.794450 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 28 || usage: 0.000000 remaining: 4.600633 bound: 4.860990 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 27 || usage: 0.000000 remaining: 9.141769 bound: 9.835966 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 26 || usage: 0.000000 remaining: 5.337399 bound: 6.608444 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 25 || usage: 0.000000 remaining: 8.043779 bound: 9.273021 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.351899, Var(405).penalty: 1.000000, Var(405).value: 0.351899 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 37 || usage: 0.000000 remaining: 8.934753 bound: 9.560486 +> [0.000000]: [surf_maxmin/DEBUG] index: 16 cnst_light_num: 36 || usage: 0.000000 remaining: 6.756487 bound: 7.950875 +> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 35 || usage: 0.000000 remaining: 6.370281 bound: 7.421301 +> [0.000000]: [surf_maxmin/DEBUG] index: 28 cnst_light_num: 34 || usage: 0.000000 remaining: 7.370813 bound: 8.082817 +> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 33 || usage: 0.000000 remaining: 0.910847 bound: 2.067192 +> [0.000000]: [surf_maxmin/DEBUG] index: 25 cnst_light_num: 32 || usage: 0.000000 remaining: 5.343523 bound: 5.967310 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 31 || usage: 0.000000 remaining: 1.526208 bound: 2.172829 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 30 || usage: 0.000000 remaining: 8.497479 bound: 9.126268 +> [0.000000]: [surf_maxmin/DEBUG] index: 15 cnst_light_num: 29 || usage: 0.000000 remaining: 9.498359 bound: 9.794450 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 28 || usage: 0.000000 remaining: 4.600633 bound: 4.860990 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 27 || usage: 0.000000 remaining: 9.141769 bound: 9.835966 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 26 || usage: 0.000000 remaining: 5.337399 bound: 6.608444 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 25 || usage: 0.000000 remaining: 8.043779 bound: 9.273021 > [0.000000]: [surf_maxmin/DEBUG] Setting var (426) value to 0.351899 -> -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.351899, Var(426).penalty: 1.000000, Var(426).value: 0.351899 -> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 24 || usage: 0.000000 remaining: 0.590134 bound: 2.259884 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 23 || usage: 0.000000 remaining: 2.298659 bound: 3.989448 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 22 || usage: 0.000000 remaining: 3.440454 bound: 4.743166 -> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 21 || usage: 0.000000 remaining: 1.997040 bound: 3.109799 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 20 || usage: 0.000000 remaining: 1.483009 bound: 3.737145 -> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 19 || usage: 0.000000 remaining: 5.068248 bound: 5.660820 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 18 || usage: 0.000000 remaining: 5.927146 bound: 7.559265 -> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 17 || usage: 0.000000 remaining: 5.148415 bound: 6.449255 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 16 || usage: 0.000000 remaining: 7.067873 bound: 8.161677 -> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 15 || usage: 0.000000 remaining: 1.484311 bound: 2.590976 -> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 14 || usage: 0.000000 remaining: 1.095943 bound: 2.149792 -> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 13 || usage: 0.000000 remaining: 0.000000 bound: 1.702501 -> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 12 || usage: 0.000000 remaining: 3.796915 bound: 4.413092 -> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 11 || usage: 0.000000 remaining: 2.697022 bound: 3.715126 -> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 10 || usage: 0.000000 remaining: 0.303147 bound: 1.190954 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 9 || usage: 0.000000 remaining: 7.863023 bound: 9.856244 -> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 8 || usage: 0.000000 remaining: 1.164826 bound: 2.535882 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 7 || usage: 0.000000 remaining: 5.564513 bound: 6.670591 -> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 6 || usage: 0.000000 remaining: 4.320863 bound: 5.631875 -> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 5 || usage: 0.000000 remaining: 8.219705 bound: 9.325947 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 0.445510 bound: 2.740865 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 5.495991 bound: 6.161248 -> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 1.706514 bound: 2.642384 -> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 3.895884 bound: 4.461701 +> +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.351899, Var(426).penalty: 1.000000, Var(426).value: 0.351899 +> [0.000000]: [surf_maxmin/DEBUG] index: 22 cnst_light_num: 24 || usage: 0.000000 remaining: 0.590134 bound: 2.259884 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 23 || usage: 0.000000 remaining: 2.298659 bound: 3.989448 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 22 || usage: 0.000000 remaining: 3.440454 bound: 4.743166 +> [0.000000]: [surf_maxmin/DEBUG] index: 17 cnst_light_num: 21 || usage: 0.000000 remaining: 1.997040 bound: 3.109799 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 20 || usage: 0.000000 remaining: 1.483009 bound: 3.737145 +> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 19 || usage: 0.000000 remaining: 5.068248 bound: 5.660820 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 18 || usage: 0.000000 remaining: 5.927146 bound: 7.559265 +> [0.000000]: [surf_maxmin/DEBUG] index: 13 cnst_light_num: 17 || usage: 0.000000 remaining: 5.148415 bound: 6.449255 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 16 || usage: 0.000000 remaining: 7.067873 bound: 8.161677 +> [0.000000]: [surf_maxmin/DEBUG] index: 14 cnst_light_num: 15 || usage: 0.000000 remaining: 1.484311 bound: 2.590976 +> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 14 || usage: 0.000000 remaining: 1.095943 bound: 2.149792 +> [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 13 || usage: 0.000000 remaining: 0.000000 bound: 1.702501 +> [0.000000]: [surf_maxmin/DEBUG] index: 10 cnst_light_num: 12 || usage: 0.000000 remaining: 3.796915 bound: 4.413092 +> [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 11 || usage: 0.000000 remaining: 2.697022 bound: 3.715126 +> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 10 || usage: 0.000000 remaining: 0.303147 bound: 1.190954 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 9 || usage: 0.000000 remaining: 7.863023 bound: 9.856244 +> [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 8 || usage: 0.000000 remaining: 1.164826 bound: 2.535882 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 7 || usage: 0.000000 remaining: 5.564513 bound: 6.670591 +> [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 6 || usage: 0.000000 remaining: 4.320863 bound: 5.631875 +> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 5 || usage: 0.000000 remaining: 8.219705 bound: 9.325947 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 0.445510 bound: 2.740865 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 5.495991 bound: 6.161248 +> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 1.706514 bound: 2.642384 +> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 3.895884 bound: 4.461701 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '494'(1.000000) '491'(1.000000) '488'(1.000000) '473'(1.000000) '469'(1.000000) '457'(1.000000) '452'(1.000000) '448'(1.000000) '447'(1.000000) '440'(1.000000) '436'(1.000000) '435'(1.000000) '433'(1.000000) '432'(1.000000) '431'(1.000000) '429'(1.000000) '428'(1.000000) '427'(1.000000) '426'(1.000000) '425'(1.000000) '424'(1.000000) '423'(1.000000) '422'(1.000000) '421'(1.000000) '420'(1.000000) '419'(1.000000) '418'(1.000000) '417'(1.000000) '416'(1.000000) '415'(1.000000) '414'(1.000000) '413'(1.000000) '412'(1.000000) '411'(1.000000) '410'(1.000000) '409'(1.000000) '408'(1.000000) '407'(1.000000) '406'(1.000000) '405'(1.000000) '404'(1.000000) '403'(1.000000) '402'(1.000000) '401'(1.000000) '430'(0.000000) '434'(0.000000) '437'(0.000000) '438'(0.000000) '439'(0.000000) '441'(0.000000) '442'(0.000000) '443'(0.000000) '444'(0.000000) '445'(0.000000) '446'(0.000000) '449'(0.000000) '450'(0.000000) '451'(0.000000) '453'(0.000000) '454'(0.000000) '455'(0.000000) '456'(0.000000) '458'(0.000000) '459'(0.000000) '460'(0.000000) '461'(0.000000) '462'(0.000000) '463'(0.000000) '464'(0.000000) '465'(0.000000) '466'(0.000000) '467'(0.000000) '468'(0.000000) '470'(0.000000) '471'(0.000000) '472'(0.000000) '474'(0.000000) '475'(0.000000) '476'(0.000000) '477'(0.000000) '478'(0.000000) '479'(0.000000) '480'(0.000000) '481'(0.000000) '482'(0.000000) '483'(0.000000) '484'(0.000000) '485'(0.000000) '486'(0.000000) '487'(0.000000) '489'(0.000000) '490'(0.000000) '492'(0.000000) '493'(0.000000) '495'(0.000000) '496'(0.000000) '497'(0.000000) '498'(0.000000) '499'(0.000000) '500'(0.000000) ) > [0.000000]: [surf_maxmin/DEBUG] Constraints > [0.000000]: [surf_maxmin/DEBUG] (0.683137.'473'(0.010573) + 1.293768.'457'(0.027066) + 0.903381.'448'(0.000969) + 1.321795.'433'(0.010573) + 1.842166.'426'(0.351899) + 1.653244.'410'(0.019153) + 1.196545.'405'(0.351899) + 0.798338.'405'(0.351899) + 1.728191.'404'(0.027066) + 1.887942.'402'(0.010573) + 2.602397.'401'(0.048560) + 2.168629.'437'(0.000000) + 0.748367.'438'(0.000000) + 2.685733.'441'(0.000000) + 0.001957.'441'(0.000000) + 1.142141.'449'(0.000000) + 1.750674.'451'(0.000000) + 0.513877.'455'(0.000000) + 1.006834.'455'(0.000000) + 2.680028.'459'(0.000000) + 2.440788.'465'(0.000000) + 2.325439.'466'(0.000000) + 0.939354.'472'(0.000000) + 1.458417.'481'(0.000000) + 1.464041.'489'(0.000000) + 0.760008.'492'(0.000000) + 1.888907.'493'(0.000000) + 1.920406.'500'(0.000000) + 0) <= 7.559265 ('474')