#! ./tesh
! expect return 0
-# ! output display
$ ./maxmin_bench small 1 test
+> [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
+> [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '9' usage: 5.788711 remaining: 5.594406
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '7' usage: 3.869131 remaining: 3.026973
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '6' usage: 6.266733 remaining: 7.282717
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '4' usage: 6.338661 remaining: 4.915085
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '3' usage: 7.870130 remaining: 7.082917
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '8' usage: 6.692308 remaining: 7.082917
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '5' usage: 2.174326 remaining: 9.860140
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '10' usage: 2.369131 remaining: 2.777223
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '1' usage: 2.106893 remaining: 6.573427
+> [0.000000]: [surf_maxmin/DEBUG] Constraint '2' usage: 4.585415 remaining: 5.434565
+> [0.000000]: [surf_maxmin/DEBUG] var=1, var->bound=-1.000000, var->weight=1.000000, min_usage=0.775414, var->bound*var->weight=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=2, var->bound=-1.000000, var->weight=1.000000, min_usage=0.775414, var->bound*var->weight=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=6, var->bound=-1.000000, var->weight=1.000000, min_usage=0.775414, var->bound*var->weight=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=7, var->bound=-1.000000, var->weight=1.000000, min_usage=0.775414, var->bound*var->weight=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] var=10, var->bound=-1.000000, var->weight=1.000000, min_usage=0.775414, var->bound*var->weight=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (1) value to 0.775414
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.775414, Var(1)->weight: 1.000000, Var(1)->value: 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (2) value to 0.775414
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.775414, Var(2)->weight: 1.000000, Var(2)->value: 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (6) value to 0.775414
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.775414, Var(6)->weight: 1.000000, Var(6)->value: 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (7) value to 0.775414
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.775414, Var(7)->weight: 1.000000, Var(7)->value: 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (10) value to 0.775414
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.775414, Var(10)->weight: 1.000000, Var(10)->value: 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] index: 3 cnst_light_num: 10 || usage: 0.000000 remaining: 0.000000 bound: 4.915085
+> [0.000000]: [surf_maxmin/DEBUG] var=9, var->bound=-1.000000, var->weight=1.000000, min_usage=0.793049, var->bound*var->weight=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (9) value to 0.793049
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.793049, Var(9)->weight: 1.000000, Var(9)->value: 0.793049
+> [0.000000]: [surf_maxmin/DEBUG] index: 8 cnst_light_num: 9 || usage: 0.000000 remaining: 4.902558 bound: 6.573427
+> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 8 || usage: 0.000000 remaining: 0.000000 bound: 3.026973
+> [0.000000]: [surf_maxmin/DEBUG] var=3, var->bound=-1.000000, var->weight=1.000000, min_usage=1.227434, var->bound*var->weight=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (3) value to 1.227434
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.227434, Var(3)->weight: 1.000000, Var(3)->value: 1.227434
+> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 7 || usage: 0.000000 remaining: 0.000000 bound: 2.777223
+> [0.000000]: [surf_maxmin/DEBUG] index: 2 cnst_light_num: 6 || usage: 0.000000 remaining: 1.823128 bound: 7.282717
+> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 5 || usage: 0.000000 remaining: 0.167625 bound: 5.594406
+> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 4 || usage: 0.000000 remaining: 0.146489 bound: 7.082917
+> [0.000000]: [surf_maxmin/DEBUG] var=5, var->bound=-1.000000, var->weight=1.000000, min_usage=1.436754, var->bound*var->weight=-1.000000
+> [0.000000]: [surf_maxmin/DEBUG] Setting var (5) value to 1.436754
+>
+> [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.436754, Var(5)->weight: 1.000000, Var(5)->value: 1.436754
+> [0.000000]: [surf_maxmin/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 7.692503 bound: 9.860140
+> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 2 || usage: 0.000000 remaining: 0.000000 bound: 5.434565
+> [0.000000]: [surf_maxmin/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 0.581582 bound: 7.082917
+> [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '10'(1.000000) '9'(1.000000) '7'(1.000000) '6'(1.000000) '5'(1.000000) '3'(1.000000) '2'(1.000000) '1'(1.000000) '4'(0.000000) '8'(0.000000) )
+> [0.000000]: [surf_maxmin/DEBUG] Constraints
+> [0.000000]: [surf_maxmin/DEBUG] (2.545954.'6'(0.775414) + 2.075425.'3'(1.227434) + 1.167333.'1'(0.775414) + 0.803197.'4'(0.000000) + 1.230270.'8'(0.000000) + 0) <= 5.594406 ('9')
+> [0.000000]: [surf_maxmin/DEBUG] (1.519481.'9'(0.793049) + 0.659341.'7'(0.775414) + 1.690310.'1'(0.775414) + 1.315684.'4'(0.000000) + 0) <= 3.026973 ('7')
+> [0.000000]: [surf_maxmin/DEBUG] (2.351149.'9'(0.793049) + 1.236264.'3'(1.227434) + 2.679321.'1'(0.775414) + 1.450549.'8'(0.000000) + 0) <= 7.282717 ('6')
+> [0.000000]: [surf_maxmin/DEBUG] (1.014486.'10'(0.775414) + 2.067932.'7'(0.775414) + 1.795205.'6'(0.775414) + 0.230769.'2'(0.775414) + 1.230270.'1'(0.775414) + 1.619880.'8'(0.000000) + 0) <= 4.915085 ('4')
+> [0.000000]: [surf_maxmin/DEBUG] (2.495005.'10'(0.775414) + 0.834665.'7'(0.775414) + 2.268731.'7'(0.775414) + 1.844655.'3'(1.227434) + 0.427073.'2'(0.775414) + 0) <= 7.082917 ('3')
+> [0.000000]: [surf_maxmin/DEBUG] (2.355644.'9'(0.793049) + 1.921079.'5'(1.436754) + 2.415584.'2'(0.775414) + 0) <= 7.082917 ('8')
+> [0.000000]: [surf_maxmin/DEBUG] (0.966533.'6'(0.775414) + 0.728272.'5'(1.436754) + 0.479520.'2'(0.775414) + 1.174825.'4'(0.000000) + 0) <= 9.860140 ('5')
+> [0.000000]: [surf_maxmin/DEBUG] (0.289211.'10'(0.775414) + 2.079920.'3'(1.227434) + 0.669830.'8'(0.000000) + 0) <= 2.777223 ('10')
+> [0.000000]: [surf_maxmin/DEBUG] (2.106893.'9'(0.793049) + 1.693307.'4'(0.000000) + 0) <= 6.573427 ('1')
+> [0.000000]: [surf_maxmin/DEBUG] (0.942557.'10'(0.775414) + 0.801698.'6'(0.775414) + 0.756743.'5'(1.436754) + 2.084416.'5'(1.436754) + 0) <= 5.434565 ('2')
+> [0.000000]: [surf_maxmin/DEBUG] Variables
+> [0.000000]: [surf_maxmin/DEBUG] '10'(1.000000) : 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] '9'(1.000000) : 0.793049
+> [0.000000]: [surf_maxmin/DEBUG] '7'(1.000000) : 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] '6'(1.000000) : 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] '5'(1.000000) : 1.436754
+> [0.000000]: [surf_maxmin/DEBUG] '3'(1.000000) : 1.227434
+> [0.000000]: [surf_maxmin/DEBUG] '2'(1.000000) : 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] '1'(1.000000) : 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] '4'(0.000000) : 0.000000
+> [0.000000]: [surf_maxmin/DEBUG] '8'(0.000000) : 0.000000
+> [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '10'(1.000000) '9'(1.000000) '7'(1.000000) '6'(1.000000) '5'(1.000000) '3'(1.000000) '2'(1.000000) '1'(1.000000) '4'(0.000000) '8'(0.000000) )
+> [0.000000]: [surf_maxmin/DEBUG] Constraints
+> [0.000000]: [surf_maxmin/DEBUG] (2.545954.'6'(0.775414) + 2.075425.'3'(1.227434) + 1.167333.'1'(0.775414) + 0.803197.'4'(0.000000) + 1.230270.'8'(0.000000) + 0) <= 5.594406 ('9')
+> [0.000000]: [surf_maxmin/DEBUG] (1.519481.'9'(0.793049) + 0.659341.'7'(0.775414) + 1.690310.'1'(0.775414) + 1.315684.'4'(0.000000) + 0) <= 3.026973 ('7')
+> [0.000000]: [surf_maxmin/DEBUG] (2.351149.'9'(0.793049) + 1.236264.'3'(1.227434) + 2.679321.'1'(0.775414) + 1.450549.'8'(0.000000) + 0) <= 7.282717 ('6')
+> [0.000000]: [surf_maxmin/DEBUG] (1.014486.'10'(0.775414) + 2.067932.'7'(0.775414) + 1.795205.'6'(0.775414) + 0.230769.'2'(0.775414) + 1.230270.'1'(0.775414) + 1.619880.'8'(0.000000) + 0) <= 4.915085 ('4')
+> [0.000000]: [surf_maxmin/DEBUG] (2.495005.'10'(0.775414) + 0.834665.'7'(0.775414) + 2.268731.'7'(0.775414) + 1.844655.'3'(1.227434) + 0.427073.'2'(0.775414) + 0) <= 7.082917 ('3')
+> [0.000000]: [surf_maxmin/DEBUG] (2.355644.'9'(0.793049) + 1.921079.'5'(1.436754) + 2.415584.'2'(0.775414) + 0) <= 7.082917 ('8')
+> [0.000000]: [surf_maxmin/DEBUG] (0.966533.'6'(0.775414) + 0.728272.'5'(1.436754) + 0.479520.'2'(0.775414) + 1.174825.'4'(0.000000) + 0) <= 9.860140 ('5')
+> [0.000000]: [surf_maxmin/DEBUG] (0.289211.'10'(0.775414) + 2.079920.'3'(1.227434) + 0.669830.'8'(0.000000) + 0) <= 2.777223 ('10')
+> [0.000000]: [surf_maxmin/DEBUG] (2.106893.'9'(0.793049) + 1.693307.'4'(0.000000) + 0) <= 6.573427 ('1')
+> [0.000000]: [surf_maxmin/DEBUG] (0.942557.'10'(0.775414) + 0.801698.'6'(0.775414) + 0.756743.'5'(1.436754) + 2.084416.'5'(1.436754) + 0) <= 5.434565 ('2')
+> [0.000000]: [surf_maxmin/DEBUG] Variables
+> [0.000000]: [surf_maxmin/DEBUG] '10'(1.000000) : 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] '9'(1.000000) : 0.793049
+> [0.000000]: [surf_maxmin/DEBUG] '7'(1.000000) : 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] '6'(1.000000) : 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] '5'(1.000000) : 1.436754
+> [0.000000]: [surf_maxmin/DEBUG] '3'(1.000000) : 1.227434
+> [0.000000]: [surf_maxmin/DEBUG] '2'(1.000000) : 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] '1'(1.000000) : 0.775414
+> [0.000000]: [surf_maxmin/DEBUG] '4'(0.000000) : 0.000000
+> [0.000000]: [surf_maxmin/DEBUG] '8'(0.000000) : 0.000000
+> Starting 0: (73,249,807)
+> Starting to solve(238,770,813)
+> Max concurrency:
+> (0):1/3 (1):1/4 (2):3/3 (3):4/-1 (4):0/3 (5):3/4 (6):2/-1 (7):3/-1 (8):3/3 (9):1/3
+>
+> Total maximum concurrency is 4
+> 1x One shot execution time for a total of 10 constraints, 10 variables with 4 active constraint each, concurrency in [2,6] and max concurrency share 2
+
