teshsuite/surf/maxmin_bench/maxmin_bench_small.tesh

   1 #! ./tesh
   2
   3 ! expect return 0
   4 $ ./maxmin_bench small 1 test
   5 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
   6 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
   7 > [0.000000]: [surf_maxmin/DEBUG] Constraint '9' usage: 5.788711 remaining: 5.594406
   8 > [0.000000]: [surf_maxmin/DEBUG] Constraint '7' usage: 3.869131 remaining: 3.026973
   9 > [0.000000]: [surf_maxmin/DEBUG] Constraint '6' usage: 6.266733 remaining: 7.282717
  10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '4' usage: 6.338661 remaining: 4.915085
  11 > [0.000000]: [surf_maxmin/DEBUG] Constraint '3' usage: 7.870130 remaining: 7.082917
  12 > [0.000000]: [surf_maxmin/DEBUG] Constraint '8' usage: 6.692308 remaining: 7.082917
  13 > [0.000000]: [surf_maxmin/DEBUG] Constraint '5' usage: 2.174326 remaining: 9.860140
  14 > [0.000000]: [surf_maxmin/DEBUG] Constraint '10' usage: 2.369131 remaining: 2.777223
  15 > [0.000000]: [surf_maxmin/DEBUG] Constraint '1' usage: 2.106893 remaining: 6.573427
  16 > [0.000000]: [surf_maxmin/DEBUG] Constraint '2' usage: 4.585415 remaining: 5.434565
  17 > [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
  18 > [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
  19 > [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
  20 > [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
  21 > [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
  22 > [0.000000]: [surf_maxmin/DEBUG] Setting var (1) value to 0.775414
  23 >
  24 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.775414, Var(1)->weight: 1.000000, Var(1)->value: 0.775414
  25 > [0.000000]: [surf_maxmin/DEBUG] Setting var (2) value to 0.775414
  26 >
  27 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.775414, Var(2)->weight: 1.000000, Var(2)->value: 0.775414
  28 > [0.000000]: [surf_maxmin/DEBUG] Setting var (6) value to 0.775414
  29 >
  30 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.775414, Var(6)->weight: 1.000000, Var(6)->value: 0.775414
  31 > [0.000000]: [surf_maxmin/DEBUG] Setting var (7) value to 0.775414
  32 >
  33 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.775414, Var(7)->weight: 1.000000, Var(7)->value: 0.775414
  34 > [0.000000]: [surf_maxmin/DEBUG] Setting var (10) value to 0.775414
  35 >
  36 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.775414, Var(10)->weight: 1.000000, Var(10)->value: 0.775414
  37 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 10      || usage: 0.000000 remaining: 0.000000 bound: 4.915085
  38 > [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
  39 > [0.000000]: [surf_maxmin/DEBUG] Setting var (9) value to 0.793049
  40 >
  41 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.793049, Var(9)->weight: 1.000000, Var(9)->value: 0.793049
  42 > [0.000000]: [surf_maxmin/DEBUG] index: 8       cnst_light_num: 9       || usage: 0.000000 remaining: 4.902558 bound: 6.573427
  43 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 8       || usage: 0.000000 remaining: 0.000000 bound: 3.026973
  44 > [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
  45 > [0.000000]: [surf_maxmin/DEBUG] Setting var (3) value to 1.227434
  46 >
  47 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.227434, Var(3)->weight: 1.000000, Var(3)->value: 1.227434
  48 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 7       || usage: 0.000000 remaining: 0.000000 bound: 2.777223
  49 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 6       || usage: 0.000000 remaining: 1.823128 bound: 7.282717
  50 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 5       || usage: 0.000000 remaining: 0.167625 bound: 5.594406
  51 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 4       || usage: 0.000000 remaining: 0.146489 bound: 7.082917
  52 > [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
  53 > [0.000000]: [surf_maxmin/DEBUG] Setting var (5) value to 1.436754
  54 >
  55 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.436754, Var(5)->weight: 1.000000, Var(5)->value: 1.436754
  56 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 3       || usage: 0.000000 remaining: 7.692503 bound: 9.860140
  57 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 2       || usage: 0.000000 remaining: 0.000000 bound: 5.434565
  58 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 0.581582 bound: 7.082917
  59 > [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) )
  60 > [0.000000]: [surf_maxmin/DEBUG] Constraints
  61 > [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')
  62 > [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')
  63 > [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')
  64 > [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')
  65 > [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')
  66 > [0.000000]: [surf_maxmin/DEBUG]       (2.355644.'9'(0.793049) + 1.921079.'5'(1.436754) + 2.415584.'2'(0.775414) + 0) <= 7.082917 ('8')
  67 > [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')
  68 > [0.000000]: [surf_maxmin/DEBUG]       (0.289211.'10'(0.775414) + 2.079920.'3'(1.227434) + 0.669830.'8'(0.000000) + 0) <= 2.777223 ('10')
  69 > [0.000000]: [surf_maxmin/DEBUG]       (2.106893.'9'(0.793049) + 1.693307.'4'(0.000000) + 0) <= 6.573427 ('1')
  70 > [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')
  71 > [0.000000]: [surf_maxmin/DEBUG] Variables
  72 > [0.000000]: [surf_maxmin/DEBUG] '10'(1.000000) : 0.775414
  73 > [0.000000]: [surf_maxmin/DEBUG] '9'(1.000000) : 0.793049
  74 > [0.000000]: [surf_maxmin/DEBUG] '7'(1.000000) : 0.775414
  75 > [0.000000]: [surf_maxmin/DEBUG] '6'(1.000000) : 0.775414
  76 > [0.000000]: [surf_maxmin/DEBUG] '5'(1.000000) : 1.436754
  77 > [0.000000]: [surf_maxmin/DEBUG] '3'(1.000000) : 1.227434
  78 > [0.000000]: [surf_maxmin/DEBUG] '2'(1.000000) : 0.775414
  79 > [0.000000]: [surf_maxmin/DEBUG] '1'(1.000000) : 0.775414
  80 > [0.000000]: [surf_maxmin/DEBUG] '4'(0.000000) : 0.000000
  81 > [0.000000]: [surf_maxmin/DEBUG] '8'(0.000000) : 0.000000
  82 > [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) )
  83 > [0.000000]: [surf_maxmin/DEBUG] Constraints
  84 > [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')
  85 > [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')
  86 > [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')
  87 > [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')
  88 > [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')
  89 > [0.000000]: [surf_maxmin/DEBUG]       (2.355644.'9'(0.793049) + 1.921079.'5'(1.436754) + 2.415584.'2'(0.775414) + 0) <= 7.082917 ('8')
  90 > [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')
  91 > [0.000000]: [surf_maxmin/DEBUG]       (0.289211.'10'(0.775414) + 2.079920.'3'(1.227434) + 0.669830.'8'(0.000000) + 0) <= 2.777223 ('10')
  92 > [0.000000]: [surf_maxmin/DEBUG]       (2.106893.'9'(0.793049) + 1.693307.'4'(0.000000) + 0) <= 6.573427 ('1')
  93 > [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')
  94 > [0.000000]: [surf_maxmin/DEBUG] Variables
  95 > [0.000000]: [surf_maxmin/DEBUG] '10'(1.000000) : 0.775414
  96 > [0.000000]: [surf_maxmin/DEBUG] '9'(1.000000) : 0.793049
  97 > [0.000000]: [surf_maxmin/DEBUG] '7'(1.000000) : 0.775414
  98 > [0.000000]: [surf_maxmin/DEBUG] '6'(1.000000) : 0.775414
  99 > [0.000000]: [surf_maxmin/DEBUG] '5'(1.000000) : 1.436754
 100 > [0.000000]: [surf_maxmin/DEBUG] '3'(1.000000) : 1.227434
 101 > [0.000000]: [surf_maxmin/DEBUG] '2'(1.000000) : 0.775414
 102 > [0.000000]: [surf_maxmin/DEBUG] '1'(1.000000) : 0.775414
 103 > [0.000000]: [surf_maxmin/DEBUG] '4'(0.000000) : 0.000000
 104 > [0.000000]: [surf_maxmin/DEBUG] '8'(0.000000) : 0.000000
 105 > Starting 0: (73,249,807)
 106 > Starting to solve(238,770,813)
 107 > Max concurrency:
 108 > (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
 109 >
 110 > Total maximum concurrency is 4
 111 > 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
 112