X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ac8718463392d74ca8918e7ec1ce4ff33c649663..17832e54878101e1817752c3d175cd9a31c9485b:/teshsuite/surf/maxmin_bench/maxmin_bench_small.tesh diff --git a/teshsuite/surf/maxmin_bench/maxmin_bench_small.tesh b/teshsuite/surf/maxmin_bench/maxmin_bench_small.tesh index 2ecb950712..9ec6403582 100644 --- a/teshsuite/surf/maxmin_bench/maxmin_bench_small.tesh +++ b/teshsuite/surf/maxmin_bench/maxmin_bench_small.tesh @@ -1,10 +1,10 @@ -#! ./tesh +#!/usr/bin/env tesh ! timeout 10 ! expect return 0 ! output sort -$ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test -> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1 +$ ${bindir:=.}/maxmin_bench small 10 test +> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '9' usage: 4.703796 remaining: 7.082917 concurrency: 2<=2<=-1 > [0.000000]: [surf_maxmin/DEBUG] Constraint '6' usage: 5.688312 remaining: 9.860140 concurrency: 3<=3<=3 @@ -16,36 +16,36 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] Constraint '4' usage: 1.014486 remaining: 7.082917 concurrency: 1<=1<=3 > [0.000000]: [surf_maxmin/DEBUG] Constraint '8' usage: 2.985015 remaining: 3.026973 concurrency: 1<=1<=-1 > [0.000000]: [surf_maxmin/DEBUG] Constraint '3' usage: 2.495005 remaining: 5.434565 concurrency: 1<=1<=4 -> [0.000000]: [surf_maxmin/DEBUG] var=9, var->bound=-1.000000, var->weight=1.000000, min_usage=1.014056, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=9, var.bound=-1.000000, var.weight=1.000000, min_usage=1.014056, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (9) value to 1.014056 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.014056, Var(9)->weight: 1.000000, Var(9)->value: 1.014056 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.014056, Var(9).weight: 1.000000, Var(9).value: 1.014056 > [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 10 || usage: 0.000000 remaining: 0.000000 bound: 3.026973 -> [0.000000]: [surf_maxmin/DEBUG] var=2, var->bound=-1.000000, var->weight=1.000000, min_usage=1.024059, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=10, var->bound=-1.000000, var->weight=1.000000, min_usage=1.024059, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=2, var.bound=-1.000000, var.weight=1.000000, min_usage=1.024059, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=10, var.bound=-1.000000, var.weight=1.000000, min_usage=1.024059, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (2) value to 1.024059 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.024059, Var(2)->weight: 1.000000, Var(2)->value: 1.024059 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.024059, Var(2).weight: 1.000000, Var(2).value: 1.024059 > [0.000000]: [surf_maxmin/DEBUG] Setting var (10) value to 1.024059 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.024059, Var(10)->weight: 1.000000, Var(10)->value: 1.024059 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.024059, Var(10).weight: 1.000000, Var(10).value: 1.024059 > [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 9 || usage: 0.000000 remaining: 0.000000 bound: 2.487512 > [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 8 || usage: 0.000000 remaining: 6.044024 bound: 7.082917 > [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 7 || usage: 0.000000 remaining: 2.879533 bound: 5.434565 -> [0.000000]: [surf_maxmin/DEBUG] var=1, var->bound=-1.000000, var->weight=1.000000, min_usage=1.338213, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=4, var->bound=-1.000000, var->weight=1.000000, min_usage=1.338213, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=1, var.bound=-1.000000, var.weight=1.000000, min_usage=1.338213, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=4, var.bound=-1.000000, var.weight=1.000000, min_usage=1.338213, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (1) value to 1.338213 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.338213, Var(1)->weight: 1.000000, Var(1)->value: 1.338213 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.338213, Var(1).weight: 1.000000, Var(1).value: 1.338213 > [0.000000]: [surf_maxmin/DEBUG] Setting var (4) value to 1.338213 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.338213, Var(4)->weight: 1.000000, Var(4)->value: 1.338213 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.338213, Var(4).weight: 1.000000, Var(4).value: 1.338213 > [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 6 || usage: 0.000000 remaining: 0.000000 bound: 5.594406 > [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 5 || usage: 0.000000 remaining: 1.623266 bound: 6.573427 -> [0.000000]: [surf_maxmin/DEBUG] var=3, var->bound=-1.000000, var->weight=1.000000, min_usage=1.625653, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=3, var.bound=-1.000000, var.weight=1.000000, min_usage=1.625653, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (3) value to 1.625653 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.625653, Var(3)->weight: 1.000000, Var(3)->value: 1.625653 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.625653, Var(3).weight: 1.000000, Var(3).value: 1.625653 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 1.548031 bound: 9.860140 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 3 || usage: 0.000000 remaining: 0.581095 bound: 7.282717 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 2 || usage: 0.000000 remaining: 0.000000 bound: 7.082917 @@ -73,7 +73,7 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] '6'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '7'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '8'(0.000000) : 0.000000 -> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1 +> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '16' usage: 2.596903 remaining: 9.730270 concurrency: 2<=2<=3 > [0.000000]: [surf_maxmin/DEBUG] Constraint '20' usage: 6.927572 remaining: 1.978022 concurrency: 4<=4<=4 @@ -85,44 +85,44 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] Constraint '11' usage: 4.858142 remaining: 4.975025 concurrency: 3<=3<=3 > [0.000000]: [surf_maxmin/DEBUG] Constraint '13' usage: 5.908591 remaining: 1.088911 concurrency: 3<=3<=-1 > [0.000000]: [surf_maxmin/DEBUG] Constraint '14' usage: 1.957043 remaining: 7.702298 concurrency: 1<=1<=4 -> [0.000000]: [surf_maxmin/DEBUG] var=14, var->bound=-1.000000, var->weight=1.000000, min_usage=0.184293, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=15, var->bound=-1.000000, var->weight=1.000000, min_usage=0.184293, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=17, var->bound=-1.000000, var->weight=1.000000, min_usage=0.184293, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=14, var.bound=-1.000000, var.weight=1.000000, min_usage=0.184293, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=15, var.bound=-1.000000, var.weight=1.000000, min_usage=0.184293, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=17, var.bound=-1.000000, var.weight=1.000000, min_usage=0.184293, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (14) value to 0.184293 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(14)->weight: 1.000000, Var(14)->value: 0.184293 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(14).weight: 1.000000, Var(14).value: 0.184293 > [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 10 || usage: 0.000000 remaining: 7.341629 bound: 7.702298 > [0.000000]: [surf_maxmin/DEBUG] Setting var (15) value to 0.184293 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(15)->weight: 1.000000, Var(15)->value: 0.184293 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(15).weight: 1.000000, Var(15).value: 0.184293 > [0.000000]: [surf_maxmin/DEBUG] Setting var (17) value to 0.184293 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(17)->weight: 1.000000, Var(17)->value: 0.184293 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(17).weight: 1.000000, Var(17).value: 0.184293 > [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 9 || usage: 0.000000 remaining: 0.000000 bound: 1.088911 -> [0.000000]: [surf_maxmin/DEBUG] var=11, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=12, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=13, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=19, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=11, var.bound=-1.000000, var.weight=1.000000, min_usage=0.316463, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=12, var.bound=-1.000000, var.weight=1.000000, min_usage=0.316463, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=13, var.bound=-1.000000, var.weight=1.000000, min_usage=0.316463, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=19, var.bound=-1.000000, var.weight=1.000000, min_usage=0.316463, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (11) value to 0.316463 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(11)->weight: 1.000000, Var(11)->value: 0.316463 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(11).weight: 1.000000, Var(11).value: 0.316463 > [0.000000]: [surf_maxmin/DEBUG] Setting var (12) value to 0.316463 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(12)->weight: 1.000000, Var(12)->value: 0.316463 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(12).weight: 1.000000, Var(12).value: 0.316463 > [0.000000]: [surf_maxmin/DEBUG] Setting var (13) value to 0.316463 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(13)->weight: 1.000000, Var(13)->value: 0.316463 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(13).weight: 1.000000, Var(13).value: 0.316463 > [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 8 || usage: 0.000000 remaining: 5.345264 bound: 6.663337 > [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 7 || usage: 0.000000 remaining: 2.183786 bound: 3.366633 > [0.000000]: [surf_maxmin/DEBUG] Setting var (19) value to 0.316463 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(19)->weight: 1.000000, Var(19)->value: 0.316463 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(19).weight: 1.000000, Var(19).value: 0.316463 > [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 6 || usage: 0.000000 remaining: 4.337989 bound: 6.053946 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 5 || usage: 0.000000 remaining: 0.000000 bound: 1.978022 -> [0.000000]: [surf_maxmin/DEBUG] var=18, var->bound=-1.000000, var->weight=1.000000, min_usage=1.961597, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=18, var.bound=-1.000000, var.weight=1.000000, min_usage=1.961597, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (18) value to 1.961597 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.961597, Var(18)->weight: 1.000000, Var(18)->value: 1.961597 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.961597, Var(18).weight: 1.000000, Var(18).value: 1.961597 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 0.987622 bound: 4.975025 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 0.000000 bound: 2.127872 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 0.826438 bound: 4.575425 @@ -150,7 +150,7 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] '11'(1.000000) : 0.316463 > [0.000000]: [surf_maxmin/DEBUG] '16'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '20'(0.000000) : 0.000000 -> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1 +> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '28' usage: 2.611888 remaining: 2.127872 concurrency: 1<=1<=3 > [0.000000]: [surf_maxmin/DEBUG] Constraint '26' usage: 3.101898 remaining: 6.863137 concurrency: 2<=2<=-1 @@ -162,36 +162,36 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] Constraint '30' usage: 3.939560 remaining: 2.967033 concurrency: 2<=2<=-1 > [0.000000]: [surf_maxmin/DEBUG] Constraint '27' usage: 3.490010 remaining: 8.721279 concurrency: 1<=1<=3 > [0.000000]: [surf_maxmin/DEBUG] Constraint '21' usage: 3.869131 remaining: 7.462537 concurrency: 2<=2<=3 -> [0.000000]: [surf_maxmin/DEBUG] var=21, var->bound=-1.000000, var->weight=1.000000, min_usage=0.258940, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=23, var->bound=-1.000000, var->weight=1.000000, min_usage=0.258940, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=28, var->bound=-1.000000, var->weight=1.000000, min_usage=0.258940, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=21, var.bound=-1.000000, var.weight=1.000000, min_usage=0.258940, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=23, var.bound=-1.000000, var.weight=1.000000, min_usage=0.258940, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=28, var.bound=-1.000000, var.weight=1.000000, min_usage=0.258940, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (21) value to 0.258940 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.258940, Var(21)->weight: 1.000000, Var(21)->value: 0.258940 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.258940, Var(21).weight: 1.000000, Var(21).value: 0.258940 > [0.000000]: [surf_maxmin/DEBUG] Setting var (23) value to 0.258940 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.258940, Var(23)->weight: 1.000000, Var(23)->value: 0.258940 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.258940, Var(23).weight: 1.000000, Var(23).value: 0.258940 > [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 10 || usage: 0.000000 remaining: 0.713448 bound: 1.428571 > [0.000000]: [surf_maxmin/DEBUG] Setting var (28) value to 0.258940 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.258940, Var(28)->weight: 1.000000, Var(28)->value: 0.258940 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.258940, Var(28).weight: 1.000000, Var(28).value: 0.258940 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 9 || usage: 0.000000 remaining: 1.451551 bound: 2.127872 > [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 8 || usage: 0.000000 remaining: 0.000000 bound: 1.258741 -> [0.000000]: [surf_maxmin/DEBUG] var=22, var->bound=-1.000000, var->weight=1.000000, min_usage=0.493696, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=24, var->bound=-1.000000, var->weight=1.000000, min_usage=0.493696, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=25, var->bound=-1.000000, var->weight=1.000000, min_usage=0.493696, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=22, var.bound=-1.000000, var.weight=1.000000, min_usage=0.493696, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=24, var.bound=-1.000000, var.weight=1.000000, min_usage=0.493696, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=25, var.bound=-1.000000, var.weight=1.000000, min_usage=0.493696, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (22) value to 0.493696 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.493696, Var(22)->weight: 1.000000, Var(22)->value: 0.493696 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.493696, Var(22).weight: 1.000000, Var(22).value: 0.493696 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 7 || usage: 0.000000 remaining: 5.661363 bound: 6.863137 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 6 || usage: 0.000000 remaining: 1.851017 bound: 3.856144 > [0.000000]: [surf_maxmin/DEBUG] Setting var (24) value to 0.493696 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.493696, Var(24)->weight: 1.000000, Var(24)->value: 0.493696 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.493696, Var(24).weight: 1.000000, Var(24).value: 0.493696 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 5 || usage: 0.000000 remaining: 7.221658 bound: 8.721279 > [0.000000]: [surf_maxmin/DEBUG] Setting var (25) value to 0.493696 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.493696, Var(25)->weight: 1.000000, Var(25)->value: 0.493696 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.493696, Var(25).weight: 1.000000, Var(25).value: 0.493696 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 4 || usage: 0.000000 remaining: 0.000000 bound: 3.396603 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 3 || usage: 0.000000 remaining: 1.022089 bound: 2.967033 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 6.051192 bound: 7.462537 @@ -219,7 +219,7 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] '27'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '29'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '30'(0.000000) : 0.000000 -> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1 +> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '31' usage: 1.213786 remaining: 9.950050 concurrency: 1<=1<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '35' usage: 6.809191 remaining: 3.656344 concurrency: 4<=4<=-1 @@ -231,44 +231,44 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] Constraint '38' usage: 3.966533 remaining: 4.475524 concurrency: 2<=2<=3 > [0.000000]: [surf_maxmin/DEBUG] Constraint '36' usage: 4.104396 remaining: 1.678322 concurrency: 3<=3<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '37' usage: 0.000000 remaining: 0.139860 concurrency: 0<=1<=4 -> [0.000000]: [surf_maxmin/DEBUG] var=36, var->bound=-1.000000, var->weight=1.000000, min_usage=0.408908, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=38, var->bound=-1.000000, var->weight=1.000000, min_usage=0.408908, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=39, var->bound=-1.000000, var->weight=1.000000, min_usage=0.408908, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=36, var.bound=-1.000000, var.weight=1.000000, min_usage=0.408908, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=38, var.bound=-1.000000, var.weight=1.000000, min_usage=0.408908, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=39, var.bound=-1.000000, var.weight=1.000000, min_usage=0.408908, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (36) value to 0.408908 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.408908, Var(36)->weight: 1.000000, Var(36)->value: 0.408908 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.408908, Var(36).weight: 1.000000, Var(36).value: 0.408908 > [0.000000]: [surf_maxmin/DEBUG] Setting var (38) value to 0.408908 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.408908, Var(38)->weight: 1.000000, Var(38)->value: 0.408908 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.408908, Var(38).weight: 1.000000, Var(38).value: 0.408908 > [0.000000]: [surf_maxmin/DEBUG] Setting var (39) value to 0.408908 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.408908, Var(39)->weight: 1.000000, Var(39)->value: 0.408908 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.408908, Var(39).weight: 1.000000, Var(39).value: 0.408908 > [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 9 || usage: 0.000000 remaining: 0.000000 bound: 1.678322 -> [0.000000]: [surf_maxmin/DEBUG] var=32, var->bound=-1.000000, var->weight=1.000000, min_usage=0.565462, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=33, var->bound=-1.000000, var->weight=1.000000, min_usage=0.565462, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=32, var.bound=-1.000000, var.weight=1.000000, min_usage=0.565462, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=33, var.bound=-1.000000, var.weight=1.000000, min_usage=0.565462, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (32) value to 0.565462 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.565462, Var(32)->weight: 1.000000, Var(32)->value: 0.565462 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.565462, Var(32).weight: 1.000000, Var(32).value: 0.565462 > [0.000000]: [surf_maxmin/DEBUG] Setting var (33) value to 0.565462 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.565462, Var(33)->weight: 1.000000, Var(33)->value: 0.565462 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.565462, Var(33).weight: 1.000000, Var(33).value: 0.565462 > [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 8 || usage: 0.000000 remaining: 0.541481 bound: 4.375624 > [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 7 || usage: 0.000000 remaining: 0.000000 bound: 1.758242 -> [0.000000]: [surf_maxmin/DEBUG] var=31, var->bound=-1.000000, var->weight=1.000000, min_usage=0.757364, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=40, var->bound=-1.000000, var->weight=1.000000, min_usage=0.757364, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=31, var.bound=-1.000000, var.weight=1.000000, min_usage=0.757364, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=40, var.bound=-1.000000, var.weight=1.000000, min_usage=0.757364, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (31) value to 0.757364 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.757364, Var(31)->weight: 1.000000, Var(31)->value: 0.757364 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.757364, Var(31).weight: 1.000000, Var(31).value: 0.757364 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 6 || usage: 0.000000 remaining: 9.030772 bound: 9.950050 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 5 || usage: 0.000000 remaining: 3.662606 bound: 5.414585 > [0.000000]: [surf_maxmin/DEBUG] Setting var (40) value to 0.757364 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.757364, Var(40)->weight: 1.000000, Var(40)->value: 0.757364 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.757364, Var(40).weight: 1.000000, Var(40).value: 0.757364 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 0.000000 bound: 3.656344 -> [0.000000]: [surf_maxmin/DEBUG] var=35, var->bound=-1.000000, var->weight=1.000000, min_usage=1.232357, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=35, var.bound=-1.000000, var.weight=1.000000, min_usage=1.232357, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (35) value to 1.232357 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.232357, Var(35)->weight: 1.000000, Var(35)->value: 1.232357 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.232357, Var(35).weight: 1.000000, Var(35).value: 1.232357 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 3 || usage: 0.000000 remaining: 0.095809 bound: 4.255744 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 0.000000 bound: 8.941059 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 0.886438 bound: 4.475524 @@ -295,7 +295,7 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] '31'(1.000000) : 0.757364 > [0.000000]: [surf_maxmin/DEBUG] '34'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '37'(0.000000) : 0.000000 -> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1 +> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '42' usage: 10.002498 remaining: 3.556444 concurrency: 4<=4<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '49' usage: 2.623876 remaining: 2.117882 concurrency: 1<=2<=3 @@ -307,40 +307,40 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] Constraint '50' usage: 5.187812 remaining: 4.485514 concurrency: 2<=2<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '46' usage: 3.005994 remaining: 6.933067 concurrency: 1<=2<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '43' usage: 1.075924 remaining: 4.485514 concurrency: 1<=1<=4 -> [0.000000]: [surf_maxmin/DEBUG] var=42, var->bound=-1.000000, var->weight=1.000000, min_usage=0.182815, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=46, var->bound=-1.000000, var->weight=1.000000, min_usage=0.182815, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=50, var->bound=-1.000000, var->weight=1.000000, min_usage=0.182815, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=42, var.bound=-1.000000, var.weight=1.000000, min_usage=0.182815, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=46, var.bound=-1.000000, var.weight=1.000000, min_usage=0.182815, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=50, var.bound=-1.000000, var.weight=1.000000, min_usage=0.182815, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (42) value to 0.182815 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.182815, Var(42)->weight: 1.000000, Var(42)->value: 0.182815 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.182815, Var(42).weight: 1.000000, Var(42).value: 0.182815 > [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 10 || usage: 0.000000 remaining: 5.372434 bound: 5.524476 > [0.000000]: [surf_maxmin/DEBUG] Setting var (46) value to 0.182815 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.182815, Var(46)->weight: 1.000000, Var(46)->value: 0.182815 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.182815, Var(46).weight: 1.000000, Var(46).value: 0.182815 > [0.000000]: [surf_maxmin/DEBUG] Setting var (50) value to 0.182815 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.182815, Var(50)->weight: 1.000000, Var(50)->value: 0.182815 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.182815, Var(50).weight: 1.000000, Var(50).value: 0.182815 > [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 9 || usage: 0.000000 remaining: 0.000000 bound: 0.599401 -> [0.000000]: [surf_maxmin/DEBUG] var=41, var->bound=-1.000000, var->weight=1.000000, min_usage=0.380694, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=44, var->bound=-1.000000, var->weight=1.000000, min_usage=0.380694, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=47, var->bound=-1.000000, var->weight=1.000000, min_usage=0.380694, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=41, var.bound=-1.000000, var.weight=1.000000, min_usage=0.380694, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=44, var.bound=-1.000000, var.weight=1.000000, min_usage=0.380694, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=47, var.bound=-1.000000, var.weight=1.000000, min_usage=0.380694, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (41) value to 0.380694 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.380694, Var(41)->weight: 1.000000, Var(41)->value: 0.380694 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.380694, Var(41).weight: 1.000000, Var(41).value: 0.380694 > [0.000000]: [surf_maxmin/DEBUG] Setting var (44) value to 0.380694 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.380694, Var(44)->weight: 1.000000, Var(44)->value: 0.380694 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.380694, Var(44).weight: 1.000000, Var(44).value: 0.380694 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 8 || usage: 0.000000 remaining: 0.977541 bound: 2.507493 > [0.000000]: [surf_maxmin/DEBUG] Setting var (47) value to 0.380694 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.380694, Var(47)->weight: 1.000000, Var(47)->value: 0.380694 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.380694, Var(47).weight: 1.000000, Var(47).value: 0.380694 > [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 7 || usage: 0.000000 remaining: 4.075916 bound: 4.485514 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 6 || usage: 0.000000 remaining: 1.304610 bound: 2.117882 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 5 || usage: 0.000000 remaining: 0.000000 bound: 3.556444 -> [0.000000]: [surf_maxmin/DEBUG] var=43, var->bound=-1.000000, var->weight=1.000000, min_usage=1.071335, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=43, var.bound=-1.000000, var.weight=1.000000, min_usage=1.071335, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (43) value to 1.071335 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.071335, Var(43)->weight: 1.000000, Var(43)->value: 1.071335 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.071335, Var(43).weight: 1.000000, Var(43).value: 1.071335 > [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 4 || usage: 0.000000 remaining: 1.585454 bound: 2.447552 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 3 || usage: 0.000000 remaining: 0.000000 bound: 2.097902 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 2 || usage: 0.000000 remaining: 2.853240 bound: 4.485514 @@ -368,7 +368,7 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] '45'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '48'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '49'(0.000000) : 0.000000 -> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1 +> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '54' usage: 5.379620 remaining: 3.456543 concurrency: 3<=3<=-1 > [0.000000]: [surf_maxmin/DEBUG] Constraint '53' usage: 4.633367 remaining: 6.793207 concurrency: 3<=3<=3 @@ -380,44 +380,44 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] Constraint '52' usage: 5.824675 remaining: 6.383616 concurrency: 3<=3<=3 > [0.000000]: [surf_maxmin/DEBUG] Constraint '56' usage: 2.324176 remaining: 0.769231 concurrency: 2<=2<=3 > [0.000000]: [surf_maxmin/DEBUG] Constraint '51' usage: 1.348651 remaining: 4.935065 concurrency: 1<=1<=4 -> [0.000000]: [surf_maxmin/DEBUG] var=52, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194386, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=53, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194386, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=56, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194386, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=57, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194386, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=59, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194386, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=52, var.bound=-1.000000, var.weight=1.000000, min_usage=0.194386, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=53, var.bound=-1.000000, var.weight=1.000000, min_usage=0.194386, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=56, var.bound=-1.000000, var.weight=1.000000, min_usage=0.194386, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=57, var.bound=-1.000000, var.weight=1.000000, min_usage=0.194386, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=59, var.bound=-1.000000, var.weight=1.000000, min_usage=0.194386, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (52) value to 0.194386 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(52)->weight: 1.000000, Var(52)->value: 0.194386 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(52).weight: 1.000000, Var(52).value: 0.194386 > [0.000000]: [surf_maxmin/DEBUG] Setting var (53) value to 0.194386 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(53)->weight: 1.000000, Var(53)->value: 0.194386 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(53).weight: 1.000000, Var(53).value: 0.194386 > [0.000000]: [surf_maxmin/DEBUG] Setting var (56) value to 0.194386 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(56)->weight: 1.000000, Var(56)->value: 0.194386 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(56).weight: 1.000000, Var(56).value: 0.194386 > [0.000000]: [surf_maxmin/DEBUG] index: 9 cnst_light_num: 10 || usage: 0.000000 remaining: 4.672906 bound: 4.935065 > [0.000000]: [surf_maxmin/DEBUG] Setting var (57) value to 0.194386 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(57)->weight: 1.000000, Var(57)->value: 0.194386 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(57).weight: 1.000000, Var(57).value: 0.194386 > [0.000000]: [surf_maxmin/DEBUG] Setting var (59) value to 0.194386 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(59)->weight: 1.000000, Var(59)->value: 0.194386 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(59).weight: 1.000000, Var(59).value: 0.194386 > [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 9 || usage: 0.000000 remaining: 0.000000 bound: 1.248751 -> [0.000000]: [surf_maxmin/DEBUG] var=54, var->bound=-1.000000, var->weight=1.000000, min_usage=0.330969, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=54, var.bound=-1.000000, var.weight=1.000000, min_usage=0.330969, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (54) value to 0.330969 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.330969, Var(54)->weight: 1.000000, Var(54)->value: 0.330969 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.330969, Var(54).weight: 1.000000, Var(54).value: 0.330969 > [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 8 || usage: 0.000000 remaining: 5.027881 bound: 6.383616 > [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 7 || usage: 0.000000 remaining: 6.410722 bound: 7.262737 > [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 6 || usage: 0.000000 remaining: 0.000000 bound: 0.769231 -> [0.000000]: [surf_maxmin/DEBUG] var=51, var->bound=-1.000000, var->weight=1.000000, min_usage=1.219766, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=58, var->bound=-1.000000, var->weight=1.000000, min_usage=1.219766, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=51, var.bound=-1.000000, var.weight=1.000000, min_usage=1.219766, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=58, var.bound=-1.000000, var.weight=1.000000, min_usage=1.219766, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (51) value to 1.219766 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.219766, Var(51)->weight: 1.000000, Var(51)->value: 1.219766 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.219766, Var(51).weight: 1.000000, Var(51).value: 1.219766 > [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 5 || usage: 0.000000 remaining: 1.051250 bound: 4.255744 > [0.000000]: [surf_maxmin/DEBUG] Setting var (58) value to 1.219766 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.219766, Var(58)->weight: 1.000000, Var(58)->value: 1.219766 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.219766, Var(58).weight: 1.000000, Var(58).value: 1.219766 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 2.727287 bound: 6.793207 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 3 || usage: 0.000000 remaining: 0.000000 bound: 3.456543 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 1.596251 bound: 3.636364 @@ -445,7 +445,7 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] '51'(1.000000) : 1.219766 > [0.000000]: [surf_maxmin/DEBUG] '55'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '60'(0.000000) : 0.000000 -> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1 +> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '66' usage: 8.571429 remaining: 7.002997 concurrency: 4<=4<=-1 > [0.000000]: [surf_maxmin/DEBUG] Constraint '65' usage: 4.924076 remaining: 2.937063 concurrency: 2<=3<=4 @@ -457,35 +457,35 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] Constraint '63' usage: 3.103397 remaining: 5.574426 concurrency: 2<=2<=3 > [0.000000]: [surf_maxmin/DEBUG] Constraint '70' usage: 1.173327 remaining: 3.576424 concurrency: 1<=2<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '67' usage: 0.000000 remaining: 5.854146 concurrency: 0<=0<=4 -> [0.000000]: [surf_maxmin/DEBUG] var=61, var->bound=-1.000000, var->weight=1.000000, min_usage=0.596470, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=64, var->bound=-1.000000, var->weight=1.000000, min_usage=0.596470, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=61, var.bound=-1.000000, var.weight=1.000000, min_usage=0.596470, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=64, var.bound=-1.000000, var.weight=1.000000, min_usage=0.596470, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (61) value to 0.596470 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.596470, Var(61)->weight: 1.000000, Var(61)->value: 0.596470 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.596470, Var(61).weight: 1.000000, Var(61).value: 0.596470 > [0.000000]: [surf_maxmin/DEBUG] Setting var (64) value to 0.596470 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.596470, Var(64)->weight: 1.000000, Var(64)->value: 0.596470 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.596470, Var(64).weight: 1.000000, Var(64).value: 0.596470 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 9 || usage: 0.000000 remaining: 0.000000 bound: 2.937063 -> [0.000000]: [surf_maxmin/DEBUG] var=62, var->bound=-1.000000, var->weight=1.000000, min_usage=0.840184, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=66, var->bound=-1.000000, var->weight=1.000000, min_usage=0.840184, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=67, var->bound=-1.000000, var->weight=1.000000, min_usage=0.840184, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=62, var.bound=-1.000000, var.weight=1.000000, min_usage=0.840184, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=66, var.bound=-1.000000, var.weight=1.000000, min_usage=0.840184, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=67, var.bound=-1.000000, var.weight=1.000000, min_usage=0.840184, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (62) value to 0.840184 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.840184, Var(62)->weight: 1.000000, Var(62)->value: 0.840184 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.840184, Var(62).weight: 1.000000, Var(62).value: 0.840184 > [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 8 || usage: 0.000000 remaining: 5.699228 bound: 7.852148 > [0.000000]: [surf_maxmin/DEBUG] Setting var (66) value to 0.840184 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.840184, Var(66)->weight: 1.000000, Var(66)->value: 0.840184 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.840184, Var(66).weight: 1.000000, Var(66).value: 0.840184 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 7 || usage: 0.000000 remaining: 2.590613 bound: 3.576424 > [0.000000]: [surf_maxmin/DEBUG] Setting var (67) value to 0.840184 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.840184, Var(67)->weight: 1.000000, Var(67)->value: 0.840184 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.840184, Var(67).weight: 1.000000, Var(67).value: 0.840184 > [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 6 || usage: 0.000000 remaining: 3.285095 bound: 5.574426 > [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 5 || usage: 0.000000 remaining: 0.000000 bound: 5.684316 -> [0.000000]: [surf_maxmin/DEBUG] var=63, var->bound=-1.000000, var->weight=1.000000, min_usage=1.205488, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=63, var.bound=-1.000000, var.weight=1.000000, min_usage=1.205488, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (63) value to 1.205488 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.205488, Var(63)->weight: 1.000000, Var(63)->value: 1.205488 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.205488, Var(63).weight: 1.000000, Var(63).value: 1.205488 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 4 || usage: 0.000000 remaining: 3.912988 bound: 6.843157 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 3 || usage: 0.000000 remaining: 0.000000 bound: 5.944056 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 5.529444 bound: 7.422577 @@ -513,7 +513,7 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] '68'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '69'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '70'(0.000000) : 0.000000 -> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1 +> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '73' usage: 5.087413 remaining: 7.882118 concurrency: 2<=2<=-1 > [0.000000]: [surf_maxmin/DEBUG] Constraint '72' usage: 4.393606 remaining: 8.511489 concurrency: 2<=2<=3 @@ -525,44 +525,44 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] Constraint '80' usage: 3.623377 remaining: 7.912088 concurrency: 3<=3<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '75' usage: 4.765235 remaining: 0.539461 concurrency: 3<=3<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '74' usage: 1.476024 remaining: 1.428571 concurrency: 1<=1<=4 -> [0.000000]: [surf_maxmin/DEBUG] var=74, var->bound=-1.000000, var->weight=1.000000, min_usage=0.113208, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=75, var->bound=-1.000000, var->weight=1.000000, min_usage=0.113208, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=76, var->bound=-1.000000, var->weight=1.000000, min_usage=0.113208, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=77, var->bound=-1.000000, var->weight=1.000000, min_usage=0.113208, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=74, var.bound=-1.000000, var.weight=1.000000, min_usage=0.113208, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=75, var.bound=-1.000000, var.weight=1.000000, min_usage=0.113208, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=76, var.bound=-1.000000, var.weight=1.000000, min_usage=0.113208, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=77, var.bound=-1.000000, var.weight=1.000000, min_usage=0.113208, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (74) value to 0.113208 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(74)->weight: 1.000000, Var(74)->value: 0.113208 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(74).weight: 1.000000, Var(74).value: 0.113208 > [0.000000]: [surf_maxmin/DEBUG] Setting var (75) value to 0.113208 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(75)->weight: 1.000000, Var(75)->value: 0.113208 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(75).weight: 1.000000, Var(75).value: 0.113208 > [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 10 || usage: 0.000000 remaining: 0.783405 bound: 1.168831 > [0.000000]: [surf_maxmin/DEBUG] Setting var (76) value to 0.113208 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(76)->weight: 1.000000, Var(76)->value: 0.113208 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(76).weight: 1.000000, Var(76).value: 0.113208 > [0.000000]: [surf_maxmin/DEBUG] Setting var (77) value to 0.113208 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(77)->weight: 1.000000, Var(77)->value: 0.113208 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(77).weight: 1.000000, Var(77).value: 0.113208 > [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 9 || usage: 0.000000 remaining: 1.261474 bound: 1.428571 > [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 8 || usage: 0.000000 remaining: 0.000000 bound: 0.539461 -> [0.000000]: [surf_maxmin/DEBUG] var=71, var->bound=-1.000000, var->weight=1.000000, min_usage=0.854701, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=73, var->bound=-1.000000, var->weight=1.000000, min_usage=0.854701, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=71, var.bound=-1.000000, var.weight=1.000000, min_usage=0.854701, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=73, var.bound=-1.000000, var.weight=1.000000, min_usage=0.854701, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (71) value to 0.854701 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.854701, Var(71)->weight: 1.000000, Var(71)->value: 0.854701 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.854701, Var(71).weight: 1.000000, Var(71).value: 0.854701 > [0.000000]: [surf_maxmin/DEBUG] Setting var (73) value to 0.854701 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.854701, Var(73)->weight: 1.000000, Var(73)->value: 0.854701 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.854701, Var(73).weight: 1.000000, Var(73).value: 0.854701 > [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 7 || usage: 0.000000 remaining: 0.000000 bound: 3.446553 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 6 || usage: 0.000000 remaining: 2.798086 bound: 4.355644 -> [0.000000]: [surf_maxmin/DEBUG] var=72, var->bound=-1.000000, var->weight=1.000000, min_usage=1.655984, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=80, var->bound=-1.000000, var->weight=1.000000, min_usage=1.655984, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=72, var.bound=-1.000000, var.weight=1.000000, min_usage=1.655984, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=80, var.bound=-1.000000, var.weight=1.000000, min_usage=1.655984, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (72) value to 1.655984 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.655984, Var(72)->weight: 1.000000, Var(72)->value: 1.655984 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.655984, Var(72).weight: 1.000000, Var(72).value: 1.655984 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 5 || usage: 0.000000 remaining: 3.146068 bound: 7.882118 > [0.000000]: [surf_maxmin/DEBUG] Setting var (80) value to 1.655984 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.655984, Var(80)->weight: 1.000000, Var(80)->value: 1.655984 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.655984, Var(80).weight: 1.000000, Var(80).value: 1.655984 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 4 || usage: 0.000000 remaining: 3.590351 bound: 7.262737 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 3 || usage: 0.000000 remaining: 5.451282 bound: 7.912088 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 2 || usage: 0.000000 remaining: 0.000000 bound: 7.782218 @@ -590,7 +590,7 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] '71'(1.000000) : 0.854701 > [0.000000]: [surf_maxmin/DEBUG] '78'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '79'(0.000000) : 0.000000 -> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1 +> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '86' usage: 5.734765 remaining: 0.609391 concurrency: 4<=4<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '85' usage: 7.075924 remaining: 3.776224 concurrency: 3<=3<=4 @@ -602,40 +602,40 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] Constraint '82' usage: 3.173826 remaining: 7.812188 concurrency: 2<=2<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '87' usage: 2.877123 remaining: 5.074925 concurrency: 1<=2<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '83' usage: 1.522478 remaining: 0.199800 concurrency: 1<=1<=3 -> [0.000000]: [surf_maxmin/DEBUG] var=83, var->bound=-1.000000, var->weight=1.000000, min_usage=0.036726, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=85, var->bound=-1.000000, var->weight=1.000000, min_usage=0.036726, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=89, var->bound=-1.000000, var->weight=1.000000, min_usage=0.036726, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=83, var.bound=-1.000000, var.weight=1.000000, min_usage=0.036726, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=85, var.bound=-1.000000, var.weight=1.000000, min_usage=0.036726, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=89, var.bound=-1.000000, var.weight=1.000000, min_usage=0.036726, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (83) value to 0.036726 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(83)->weight: 1.000000, Var(83)->value: 0.036726 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(83).weight: 1.000000, Var(83).value: 0.036726 > [0.000000]: [surf_maxmin/DEBUG] Setting var (85) value to 0.036726 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(85)->weight: 1.000000, Var(85)->value: 0.036726 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(85).weight: 1.000000, Var(85).value: 0.036726 > [0.000000]: [surf_maxmin/DEBUG] Setting var (89) value to 0.036726 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(89)->weight: 1.000000, Var(89)->value: 0.036726 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(89).weight: 1.000000, Var(89).value: 0.036726 > [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 10 || usage: 0.000000 remaining: 0.000000 bound: 0.189810 > [0.000000]: [surf_maxmin/DEBUG] index: 5 cnst_light_num: 9 || usage: 0.000000 remaining: 0.143886 bound: 0.199800 -> [0.000000]: [surf_maxmin/DEBUG] var=81, var->bound=-1.000000, var->weight=1.000000, min_usage=0.133180, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=82, var->bound=-1.000000, var->weight=1.000000, min_usage=0.133180, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=84, var->bound=-1.000000, var->weight=1.000000, min_usage=0.133180, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=81, var.bound=-1.000000, var.weight=1.000000, min_usage=0.133180, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=82, var.bound=-1.000000, var.weight=1.000000, min_usage=0.133180, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=84, var.bound=-1.000000, var.weight=1.000000, min_usage=0.133180, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (81) value to 0.133180 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(81)->weight: 1.000000, Var(81)->value: 0.133180 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(81).weight: 1.000000, Var(81).value: 0.133180 > [0.000000]: [surf_maxmin/DEBUG] Setting var (82) value to 0.133180 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(82)->weight: 1.000000, Var(82)->value: 0.133180 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(82).weight: 1.000000, Var(82).value: 0.133180 > [0.000000]: [surf_maxmin/DEBUG] Setting var (84) value to 0.133180 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(84)->weight: 1.000000, Var(84)->value: 0.133180 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(84).weight: 1.000000, Var(84).value: 0.133180 > [0.000000]: [surf_maxmin/DEBUG] index: 7 cnst_light_num: 8 || usage: 0.000000 remaining: 7.532445 bound: 7.812188 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 7 || usage: 0.000000 remaining: 7.706925 bound: 8.081918 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 6 || usage: 0.000000 remaining: 0.000000 bound: 0.609391 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 5 || usage: 0.000000 remaining: 4.876179 bound: 5.074925 -> [0.000000]: [surf_maxmin/DEBUG] var=88, var->bound=-1.000000, var->weight=1.000000, min_usage=0.552648, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=88, var.bound=-1.000000, var.weight=1.000000, min_usage=0.552648, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (88) value to 0.552648 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.552648, Var(88)->weight: 1.000000, Var(88)->value: 0.552648 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.552648, Var(88).weight: 1.000000, Var(88).value: 0.552648 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 2.232278 bound: 3.776224 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 3 || usage: 0.000000 remaining: 5.081262 bound: 5.934066 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 2 || usage: 0.000000 remaining: 3.095879 bound: 4.025974 @@ -663,7 +663,7 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] '86'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '87'(0.000000) : 0.000000 > [0.000000]: [surf_maxmin/DEBUG] '90'(0.000000) : 0.000000 -> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1 +> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '99' usage: 6.451049 remaining: 0.949051 concurrency: 2<=2<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '94' usage: 4.122378 remaining: 4.585415 concurrency: 2<=3<=4 @@ -675,36 +675,36 @@ $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench small 10 test > [0.000000]: [surf_maxmin/DEBUG] Constraint '91' usage: 1.179321 remaining: 8.421578 concurrency: 1<=1<=4 > [0.000000]: [surf_maxmin/DEBUG] Constraint '96' usage: 2.234266 remaining: 3.876124 concurrency: 1<=1<=3 > [0.000000]: [surf_maxmin/DEBUG] Constraint '93' usage: 4.747253 remaining: 8.971029 concurrency: 3<=3<=3 -> [0.000000]: [surf_maxmin/DEBUG] var=91, var->bound=-1.000000, var->weight=1.000000, min_usage=0.147116, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=94, var->bound=-1.000000, var->weight=1.000000, min_usage=0.147116, var->bound*var->weight=-1.000000 -> [0.000000]: [surf_maxmin/DEBUG] var=97, var->bound=-1.000000, var->weight=1.000000, min_usage=0.147116, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=91, var.bound=-1.000000, var.weight=1.000000, min_usage=0.147116, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=94, var.bound=-1.000000, var.weight=1.000000, min_usage=0.147116, var.bound*var.weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=97, var.bound=-1.000000, var.weight=1.000000, min_usage=0.147116, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (91) value to 0.147116 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.147116, Var(91)->weight: 1.000000, Var(91)->value: 0.147116 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.147116, Var(91).weight: 1.000000, Var(91).value: 0.147116 > [0.000000]: [surf_maxmin/DEBUG] Setting var (94) value to 0.147116 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.147116, Var(94)->weight: 1.000000, Var(94)->value: 0.147116 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.147116, Var(94).weight: 1.000000, Var(94).value: 0.147116 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 10 || usage: 0.000000 remaining: 3.978948 bound: 4.585415 > [0.000000]: [surf_maxmin/DEBUG] Setting var (97) value to 0.147116 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.147116, Var(97)->weight: 1.000000, Var(97)->value: 0.147116 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.147116, Var(97).weight: 1.000000, Var(97).value: 0.147116 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 9 || usage: 0.000000 remaining: 0.000000 bound: 0.949051 -> [0.000000]: [surf_maxmin/DEBUG] var=93, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194272, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=93, var.bound=-1.000000, var.weight=1.000000, min_usage=0.194272, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (93) value to 0.194272 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194272, Var(93)->weight: 1.000000, Var(93)->value: 0.194272 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194272, Var(93).weight: 1.000000, Var(93).value: 0.194272 > [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 8 || usage: 0.000000 remaining: 0.000000 bound: 0.649351 > [0.000000]: [surf_maxmin/DEBUG] index: 6 cnst_light_num: 7 || usage: 0.000000 remaining: 8.192469 bound: 8.421578 -> [0.000000]: [surf_maxmin/DEBUG] var=92, var->bound=-1.000000, var->weight=1.000000, min_usage=0.546822, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=92, var.bound=-1.000000, var.weight=1.000000, min_usage=0.546822, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (92) value to 0.546822 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.546822, Var(92)->weight: 1.000000, Var(92)->value: 0.546822 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.546822, Var(92).weight: 1.000000, Var(92).value: 0.546822 > [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 6 || usage: 0.000000 remaining: 0.000000 bound: 1.198801 > [0.000000]: [surf_maxmin/DEBUG] index: 4 cnst_light_num: 5 || usage: 0.000000 remaining: 7.799890 bound: 8.541459 -> [0.000000]: [surf_maxmin/DEBUG] var=95, var->bound=-1.000000, var->weight=1.000000, min_usage=1.734854, var->bound*var->weight=-1.000000 +> [0.000000]: [surf_maxmin/DEBUG] var=95, var.bound=-1.000000, var.weight=1.000000, min_usage=1.734854, var.bound*var.weight=-1.000000 > [0.000000]: [surf_maxmin/DEBUG] Setting var (95) value to 1.734854 > -> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.734854, Var(95)->weight: 1.000000, Var(95)->value: 1.734854 +> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.734854, Var(95).weight: 1.000000, Var(95).value: 1.734854 > [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 4 || usage: 0.000000 remaining: 3.148664 bound: 5.714286 > [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 3 || usage: 0.000000 remaining: 0.000000 bound: 3.876124 > [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 6.621449 bound: 8.971029