teshsuite/surf/maxmin_bench/maxmin_bench_small.tesh

   1 #!/usr/bin/env tesh
   2
   3 ! timeout 10
   4 ! expect return 0
   5 ! output sort
   6 $ ${bindir:=.}/maxmin_bench small  10 test
   7 > Starting 0: (845)
   8 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0
   9 > Starting to solve(729)
  10 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
  11 > [0.000000]: [surf_maxmin/DEBUG] Constraint '5' usage: 2.376644 remaining: 3.965807 concurrency: 1<=1<=-1
  12 > [0.000000]: [surf_maxmin/DEBUG] Constraint '8' usage: 4.287274 remaining: 8.463109 concurrency: 2<=2<=4
  13 > [0.000000]: [surf_maxmin/DEBUG] Constraint '4' usage: 4.744865 remaining: 2.360890 concurrency: 3<=4<=-1
  14 > [0.000000]: [surf_maxmin/DEBUG] Constraint '3' usage: 3.249585 remaining: 3.023326 concurrency: 1<=1<=4
  15 > [0.000000]: [surf_maxmin/DEBUG] Constraint '6' usage: 4.666459 remaining: 3.879107 concurrency: 3<=3<=3
  16 > [0.000000]: [surf_maxmin/DEBUG] Constraint '2' usage: 7.030584 remaining: 0.001144 concurrency: 3<=3<=-1
  17 > [0.000000]: [surf_maxmin/DEBUG] Constraint '9' usage: 5.171734 remaining: 6.852195 concurrency: 3<=3<=4
  18 > [0.000000]: [surf_maxmin/DEBUG] Constraint '10' usage: 4.610601 remaining: 4.434529 concurrency: 2<=2<=3
  19 > [0.000000]: [surf_maxmin/DEBUG] Constraint '1' usage: 3.612665 remaining: 9.971848 concurrency: 2<=2<=3
  20 > [0.000000]: [surf_maxmin/DEBUG] Constraint '7' usage: 2.607649 remaining: 3.967675 concurrency: 1<=1<=3
  21 > [0.000000]: [surf_maxmin/DEBUG] var=2, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000163, var.bound*var.penalty=-1.000000
  22 > [0.000000]: [surf_maxmin/DEBUG] var=3, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000163, var.bound*var.penalty=-1.000000
  23 > [0.000000]: [surf_maxmin/DEBUG] var=4, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000163, var.bound*var.penalty=-1.000000
  24 > [0.000000]: [surf_maxmin/DEBUG] var=8, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000163, var.bound*var.penalty=-1.000000
  25 > [0.000000]: [surf_maxmin/DEBUG] Setting var (2) value to 0.000163
  26 >
  27 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000163, Var(2).penalty: 1.000000, Var(2).value: 0.000163
  28 > [0.000000]: [surf_maxmin/DEBUG] Setting var (3) value to 0.000163
  29 >
  30 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000163, Var(3).penalty: 1.000000, Var(3).value: 0.000163
  31 > [0.000000]: [surf_maxmin/DEBUG] Setting var (4) value to 0.000163
  32 >
  33 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000163, Var(4).penalty: 1.000000, Var(4).value: 0.000163
  34 > [0.000000]: [surf_maxmin/DEBUG] index: 4       cnst_light_num: 10      || usage: 0.000000 remaining: 3.878348 bound: 3.879107
  35 > [0.000000]: [surf_maxmin/DEBUG] Setting var (8) value to 0.000163
  36 >
  37 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.000163, Var(8).penalty: 1.000000, Var(8).value: 0.000163
  38 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 0.001144
  39 > [0.000000]: [surf_maxmin/DEBUG] var=1, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.854362, var.bound*var.penalty=-1.000000
  40 > [0.000000]: [surf_maxmin/DEBUG] var=6, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.854362, var.bound*var.penalty=-1.000000
  41 > [0.000000]: [surf_maxmin/DEBUG] Setting var (1) value to 0.854362
  42 >
  43 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.854362, Var(1).penalty: 1.000000, Var(1).value: 0.854362
  44 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 8       || usage: 0.000000 remaining: 1.935293 bound: 3.965807
  45 > [0.000000]: [surf_maxmin/DEBUG] Setting var (6) value to 0.854362
  46 >
  47 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.854362, Var(6).penalty: 1.000000, Var(6).value: 0.854362
  48 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 7       || usage: 0.000000 remaining: 6.321717 bound: 8.463109
  49 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 6       || usage: 0.000000 remaining: 0.000000 bound: 2.360890
  50 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 5       || usage: 0.000000 remaining: 8.958390 bound: 9.971848
  51 > [0.000000]: [surf_maxmin/DEBUG] var=9, var.bound=-1.000000, var.penalty=1.000000, min_usage=1.134766, var.bound*var.penalty=-1.000000
  52 > [0.000000]: [surf_maxmin/DEBUG] Setting var (9) value to 1.134766
  53 >
  54 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.134766, Var(9).penalty: 1.000000, Var(9).value: 1.134766
  55 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 4       || usage: 0.000000 remaining: 1.480555 bound: 3.967675
  56 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 3       || usage: 0.000000 remaining: 1.975904 bound: 4.434529
  57 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 2       || usage: 0.000000 remaining: 0.000000 bound: 3.023326
  58 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 5.531932 bound: 6.852195
  59 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '9'(1.000000) '8'(1.000000) '6'(1.000000) '4'(1.000000) '3'(1.000000) '2'(1.000000) '1'(1.000000) '5'(0.000000) '7'(0.000000) '10'(0.000000) )
  60 > [0.000000]: [surf_maxmin/DEBUG] Constraints
  61 > [0.000000]: [surf_maxmin/DEBUG]       (2.376644.'1'(0.854362) + 0) <= 3.965807 ('5')
  62 > [0.000000]: [surf_maxmin/DEBUG]       (1.781190.'8'(0.000163) + 0.982242.'6'(0.854362) + 1.523842.'1'(0.854362) + 1.795476.'5'(0.000000) + 0) <= 8.463109 ('8')
  63 > [0.000000]: [surf_maxmin/DEBUG]       (0.885831.'8'(0.000163) + 1.143688.'6'(0.854362) + 1.096074.'3'(0.000163) + 1.619272.'1'(0.854362) + 1.710044.'7'(0.000000) + 0) <= 2.360890 ('4')
  64 > [0.000000]: [surf_maxmin/DEBUG]       (0.880885.'9'(1.134766) + 2.368701.'1'(0.854362) + 2.360266.'10'(0.000000) + 0) <= 3.023326 ('3')
  65 > [0.000000]: [surf_maxmin/DEBUG]       (1.176473.'4'(0.000163) + 1.038484.'2'(0.000163) + 2.451501.'2'(0.000163) + 1.183919.'5'(0.000000) + 1.391263.'10'(0.000000) + 0) <= 3.879107 ('6')
  66 > [0.000000]: [surf_maxmin/DEBUG]       (0.871863.'8'(0.000163) + 2.113202.'4'(0.000163) + 1.406079.'3'(0.000163) + 2.639440.'2'(0.000163) + 0.264885.'5'(0.000000) + 1.378162.'10'(0.000000) + 0) <= 0.001144 ('2')
  67 > [0.000000]: [surf_maxmin/DEBUG]       (1.162892.'9'(1.134766) + 0.982283.'8'(0.000163) + 0.686454.'4'(0.000163) + 1.037119.'3'(0.000163) + 1.302987.'2'(0.000163) + 0) <= 6.852195 ('9')
  68 > [0.000000]: [surf_maxmin/DEBUG]       (2.166285.'9'(1.134766) + 2.444315.'3'(0.000163) + 1.654896.'7'(0.000000) + 0) <= 4.434529 ('10')
  69 > [0.000000]: [surf_maxmin/DEBUG]       (1.185755.'6'(0.854362) + 2.426910.'4'(0.000163) + 2.066751.'5'(0.000000) + 1.849810.'7'(0.000000) + 0.153502.'7'(0.000000) + 0) <= 9.971848 ('1')
  70 > [0.000000]: [surf_maxmin/DEBUG]       (0.924535.'9'(1.134766) + 1.683115.'6'(0.854362) + 2.045752.'10'(0.000000) + 0) <= 3.967675 ('7')
  71 > [0.000000]: [surf_maxmin/DEBUG] Variables
  72 > [0.000000]: [surf_maxmin/DEBUG] '9'(1.000000) : 1.134766
  73 > [0.000000]: [surf_maxmin/DEBUG] '8'(1.000000) : 0.000163
  74 > [0.000000]: [surf_maxmin/DEBUG] '6'(1.000000) : 0.854362
  75 > [0.000000]: [surf_maxmin/DEBUG] '4'(1.000000) : 0.000163
  76 > [0.000000]: [surf_maxmin/DEBUG] '3'(1.000000) : 0.000163
  77 > [0.000000]: [surf_maxmin/DEBUG] '2'(1.000000) : 0.000163
  78 > [0.000000]: [surf_maxmin/DEBUG] '1'(1.000000) : 0.854362
  79 > [0.000000]: [surf_maxmin/DEBUG] '5'(0.000000) : 0.000000
  80 > [0.000000]: [surf_maxmin/DEBUG] '7'(0.000000) : 0.000000
  81 > [0.000000]: [surf_maxmin/DEBUG] '10'(0.000000) : 0.000000
  82 > Starting 1: (848)
  83 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0
  84 > Starting to solve(28)
  85 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
  86 > [0.000000]: [surf_maxmin/DEBUG] Constraint '16' usage: 4.049244 remaining: 1.199505 concurrency: 2<=2<=4
  87 > [0.000000]: [surf_maxmin/DEBUG] Constraint '12' usage: 8.681117 remaining: 9.315409 concurrency: 4<=4<=4
  88 > [0.000000]: [surf_maxmin/DEBUG] Constraint '20' usage: 0.384945 remaining: 5.867970 concurrency: 0<=0<=-1
  89 > [0.000000]: [surf_maxmin/DEBUG] Constraint '11' usage: 4.958247 remaining: 1.850821 concurrency: 3<=3<=-1
  90 > [0.000000]: [surf_maxmin/DEBUG] Constraint '18' usage: 6.197159 remaining: 8.182267 concurrency: 3<=3<=4
  91 > [0.000000]: [surf_maxmin/DEBUG] Constraint '19' usage: 6.324096 remaining: 1.345799 concurrency: 3<=3<=3
  92 > [0.000000]: [surf_maxmin/DEBUG] Constraint '13' usage: 5.807235 remaining: 4.353224 concurrency: 3<=3<=3
  93 > [0.000000]: [surf_maxmin/DEBUG] Constraint '15' usage: 3.331655 remaining: 2.046486 concurrency: 1<=1<=4
  94 > [0.000000]: [surf_maxmin/DEBUG] Constraint '17' usage: 0.000000 remaining: 2.668273 concurrency: 0<=0<=3
  95 > [0.000000]: [surf_maxmin/DEBUG] Constraint '14' usage: 1.677831 remaining: 3.205364 concurrency: 1<=1<=4
  96 > [0.000000]: [surf_maxmin/DEBUG] var=12, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.212805, var.bound*var.penalty=-1.000000
  97 > [0.000000]: [surf_maxmin/DEBUG] var=14, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.212805, var.bound*var.penalty=-1.000000
  98 > [0.000000]: [surf_maxmin/DEBUG] var=15, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.212805, var.bound*var.penalty=-1.000000
  99 > [0.000000]: [surf_maxmin/DEBUG] Setting var (12) value to 0.212805
 100 >
 101 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.212805, Var(12).penalty: 1.000000, Var(12).value: 0.212805
 102 > [0.000000]: [surf_maxmin/DEBUG] Setting var (14) value to 0.212805
 103 >
 104 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.212805, Var(14).penalty: 1.000000, Var(14).value: 0.212805
 105 > [0.000000]: [surf_maxmin/DEBUG] Setting var (15) value to 0.212805
 106 >
 107 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.212805, Var(15).penalty: 1.000000, Var(15).value: 0.212805
 108 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 1.345799
 109 > [0.000000]: [surf_maxmin/DEBUG] var=11, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.307087, var.bound*var.penalty=-1.000000
 110 > [0.000000]: [surf_maxmin/DEBUG] var=13, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.307087, var.bound*var.penalty=-1.000000
 111 > [0.000000]: [surf_maxmin/DEBUG] Setting var (11) value to 0.307087
 112 >
 113 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.307087, Var(11).penalty: 1.000000, Var(11).value: 0.307087
 114 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 8       || usage: 0.000000 remaining: 5.749758 bound: 5.867970
 115 > [0.000000]: [surf_maxmin/DEBUG] Setting var (13) value to 0.307087
 116 >
 117 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.307087, Var(13).penalty: 1.000000, Var(13).value: 0.307087
 118 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 7       || usage: 0.000000 remaining: 0.000000 bound: 1.199505
 119 > [0.000000]: [surf_maxmin/DEBUG] var=16, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.459141, var.bound*var.penalty=-1.000000
 120 > [0.000000]: [surf_maxmin/DEBUG] var=18, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.459141, var.bound*var.penalty=-1.000000
 121 > [0.000000]: [surf_maxmin/DEBUG] Setting var (16) value to 0.459141
 122 >
 123 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.459141, Var(16).penalty: 1.000000, Var(16).value: 0.459141
 124 > [0.000000]: [surf_maxmin/DEBUG] index: 4       cnst_light_num: 6       || usage: 0.000000 remaining: 6.098007 bound: 8.182267
 125 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 5       || usage: 0.000000 remaining: 2.521143 bound: 4.353224
 126 > [0.000000]: [surf_maxmin/DEBUG] Setting var (18) value to 0.459141
 127 >
 128 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.459141, Var(18).penalty: 1.000000, Var(18).value: 0.459141
 129 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 4       || usage: 0.000000 remaining: 1.097225 bound: 2.046486
 130 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 3       || usage: 0.000000 remaining: 0.000000 bound: 1.850821
 131 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 2       || usage: 0.000000 remaining: 2.435004 bound: 3.205364
 132 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 6.269740 bound: 9.315409
 133 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '18'(1.000000) '16'(1.000000) '15'(1.000000) '14'(1.000000) '13'(1.000000) '12'(1.000000) '11'(1.000000) '17'(0.000000) '19'(0.000000) '20'(0.000000) )
 134 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 135 > [0.000000]: [surf_maxmin/DEBUG]       (0.466295.'14'(0.212805) + 1.914239.'13'(0.307087) + 1.668710.'11'(0.307087) + 2.210389.'17'(0.000000) + 2.494941.'19'(0.000000) + 0) <= 1.199505 ('16')
 136 > [0.000000]: [surf_maxmin/DEBUG]       (2.873673.'18'(0.459141) + 0.940910.'16'(0.459141) + 1.660185.'15'(0.212805) + 1.390702.'13'(0.307087) + 0.463331.'12'(0.212805) + 1.352317.'11'(0.307087) + 0.647307.'17'(0.000000) + 1.417068.'20'(0.000000) + 0) <= 9.315409 ('12')
 137 > [0.000000]: [surf_maxmin/DEBUG]       (0.384945.'11'(0.307087) + 0) <= 5.867970 ('20')
 138 > [0.000000]: [surf_maxmin/DEBUG]       (1.425134.'18'(0.459141) + 1.344350.'16'(0.459141) + 0.985367.'15'(0.212805) + 1.203397.'11'(0.307087) + 1.171235.'19'(0.000000) + 1.515507.'20'(0.000000) + 0) <= 1.850821 ('11')
 139 > [0.000000]: [surf_maxmin/DEBUG]       (2.627914.'16'(0.459141) + 1.499884.'14'(0.212805) + 1.252888.'13'(0.307087) + 0.816473.'12'(0.212805) + 0) <= 8.182267 ('18')
 140 > [0.000000]: [surf_maxmin/DEBUG]       (1.855082.'15'(0.212805) + 2.725248.'14'(0.212805) + 1.743766.'12'(0.212805) + 0.756001.'19'(0.000000) + 0) <= 1.345799 ('19')
 141 > [0.000000]: [surf_maxmin/DEBUG]       (1.783841.'16'(0.459141) + 1.866603.'15'(0.212805) + 1.663620.'13'(0.307087) + 0.493171.'12'(0.212805) + 0.019526.'20'(0.000000) + 0) <= 4.353224 ('13')
 142 > [0.000000]: [surf_maxmin/DEBUG]       (0.975371.'18'(0.459141) + 2.356284.'14'(0.212805) + 1.955789.'17'(0.000000) + 0) <= 2.046486 ('15')
 143 > [0.000000]: [surf_maxmin/DEBUG]       (2.823234.'17'(0.000000) + 0.583315.'20'(0.000000) + 0) <= 2.668273 ('17')
 144 > [0.000000]: [surf_maxmin/DEBUG]       (1.677831.'18'(0.459141) + 1.315763.'19'(0.000000) + 0) <= 3.205364 ('14')
 145 > [0.000000]: [surf_maxmin/DEBUG] Variables
 146 > [0.000000]: [surf_maxmin/DEBUG] '18'(1.000000) : 0.459141
 147 > [0.000000]: [surf_maxmin/DEBUG] '16'(1.000000) : 0.459141
 148 > [0.000000]: [surf_maxmin/DEBUG] '15'(1.000000) : 0.212805
 149 > [0.000000]: [surf_maxmin/DEBUG] '14'(1.000000) : 0.212805
 150 > [0.000000]: [surf_maxmin/DEBUG] '13'(1.000000) : 0.307087
 151 > [0.000000]: [surf_maxmin/DEBUG] '12'(1.000000) : 0.212805
 152 > [0.000000]: [surf_maxmin/DEBUG] '11'(1.000000) : 0.307087
 153 > [0.000000]: [surf_maxmin/DEBUG] '17'(0.000000) : 0.000000
 154 > [0.000000]: [surf_maxmin/DEBUG] '19'(0.000000) : 0.000000
 155 > [0.000000]: [surf_maxmin/DEBUG] '20'(0.000000) : 0.000000
 156 > Starting 2: (986)
 157 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0
 158 > Starting to solve(831)
 159 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 160 > [0.000000]: [surf_maxmin/DEBUG] Constraint '21' usage: 8.690964 remaining: 0.707249 concurrency: 4<=4<=4
 161 > [0.000000]: [surf_maxmin/DEBUG] Constraint '25' usage: 4.708991 remaining: 1.255853 concurrency: 3<=3<=-1
 162 > [0.000000]: [surf_maxmin/DEBUG] Constraint '23' usage: 5.339459 remaining: 5.108276 concurrency: 2<=2<=4
 163 > [0.000000]: [surf_maxmin/DEBUG] Constraint '22' usage: 5.763865 remaining: 2.909047 concurrency: 2<=3<=-1
 164 > [0.000000]: [surf_maxmin/DEBUG] Constraint '26' usage: 2.252880 remaining: 2.072429 concurrency: 1<=1<=4
 165 > [0.000000]: [surf_maxmin/DEBUG] Constraint '27' usage: 4.562941 remaining: 0.935515 concurrency: 3<=3<=3
 166 > [0.000000]: [surf_maxmin/DEBUG] Constraint '30' usage: 6.066528 remaining: 2.155770 concurrency: 2<=2<=3
 167 > [0.000000]: [surf_maxmin/DEBUG] Constraint '28' usage: 4.294805 remaining: 0.298762 concurrency: 2<=2<=-1
 168 > [0.000000]: [surf_maxmin/DEBUG] Constraint '29' usage: 3.352170 remaining: 4.568332 concurrency: 2<=2<=3
 169 > [0.000000]: [surf_maxmin/DEBUG] Constraint '24' usage: 0.978153 remaining: 4.370619 concurrency: 0<=0<=4
 170 > [0.000000]: [surf_maxmin/DEBUG] var=23, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.069564, var.bound*var.penalty=-1.000000
 171 > [0.000000]: [surf_maxmin/DEBUG] var=30, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.069564, var.bound*var.penalty=-1.000000
 172 > [0.000000]: [surf_maxmin/DEBUG] Setting var (23) value to 0.069564
 173 >
 174 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.069564, Var(23).penalty: 1.000000, Var(23).value: 0.069564
 175 > [0.000000]: [surf_maxmin/DEBUG] Setting var (30) value to 0.069564
 176 >
 177 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.069564, Var(30).penalty: 1.000000, Var(30).value: 0.069564
 178 > [0.000000]: [surf_maxmin/DEBUG] index: 7       cnst_light_num: 10      || usage: 0.000000 remaining: 0.000000 bound: 0.298762
 179 > [0.000000]: [surf_maxmin/DEBUG] var=21, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.084555, var.bound*var.penalty=-1.000000
 180 > [0.000000]: [surf_maxmin/DEBUG] var=24, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.084555, var.bound*var.penalty=-1.000000
 181 > [0.000000]: [surf_maxmin/DEBUG] var=25, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.084555, var.bound*var.penalty=-1.000000
 182 > [0.000000]: [surf_maxmin/DEBUG] var=27, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.084555, var.bound*var.penalty=-1.000000
 183 > [0.000000]: [surf_maxmin/DEBUG] Setting var (21) value to 0.084555
 184 >
 185 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.084555, Var(21).penalty: 1.000000, Var(21).value: 0.084555
 186 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 9       || usage: 0.000000 remaining: 0.898490 bound: 1.255853
 187 > [0.000000]: [surf_maxmin/DEBUG] Setting var (24) value to 0.084555
 188 >
 189 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.084555, Var(24).penalty: 1.000000, Var(24).value: 0.084555
 190 > [0.000000]: [surf_maxmin/DEBUG] Setting var (25) value to 0.084555
 191 >
 192 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.084555, Var(25).penalty: 1.000000, Var(25).value: 0.084555
 193 > [0.000000]: [surf_maxmin/DEBUG] Setting var (27) value to 0.084555
 194 >
 195 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.084555, Var(27).penalty: 1.000000, Var(27).value: 0.084555
 196 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 8       || usage: 0.000000 remaining: 0.000000 bound: 0.707249
 197 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 7       || usage: 0.000000 remaining: 4.284889 bound: 4.568332
 198 > [0.000000]: [surf_maxmin/DEBUG] var=22, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.290535, var.bound*var.penalty=-1.000000
 199 > [0.000000]: [surf_maxmin/DEBUG] var=26, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.290535, var.bound*var.penalty=-1.000000
 200 > [0.000000]: [surf_maxmin/DEBUG] Setting var (22) value to 0.290535
 201 >
 202 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.290535, Var(22).penalty: 1.000000, Var(22).value: 0.290535
 203 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 6       || usage: 0.000000 remaining: 1.965196 bound: 2.909047
 204 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 5       || usage: 0.000000 remaining: 1.494649 bound: 2.155770
 205 > [0.000000]: [surf_maxmin/DEBUG] Setting var (26) value to 0.290535
 206 >
 207 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.290535, Var(26).penalty: 1.000000, Var(26).value: 0.290535
 208 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 4       || usage: 0.000000 remaining: 4.086431 bound: 4.370619
 209 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 3       || usage: 0.000000 remaining: 1.574207 bound: 2.072429
 210 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 2       || usage: 0.000000 remaining: 4.600031 bound: 5.108276
 211 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 0.000000 bound: 0.935515
 212 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '30'(1.000000) '27'(1.000000) '26'(1.000000) '25'(1.000000) '24'(1.000000) '23'(1.000000) '22'(1.000000) '21'(1.000000) '28'(0.000000) '29'(0.000000) )
 213 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 214 > [0.000000]: [surf_maxmin/DEBUG]       (1.086775.'27'(0.084555) + 0.879379.'25'(0.084555) + 2.049329.'25'(0.084555) + 0.577023.'24'(0.084555) + 1.842210.'23'(0.069564) + 2.256246.'21'(0.084555) + 0.488711.'28'(0.000000) + 0.723669.'29'(0.000000) + 0) <= 0.707249 ('21')
 215 > [0.000000]: [surf_maxmin/DEBUG]       (1.038976.'30'(0.069564) + 1.682994.'30'(0.069564) + 1.987021.'21'(0.084555) + 2.089678.'29'(0.000000) + 0) <= 1.255853 ('25')
 216 > [0.000000]: [surf_maxmin/DEBUG]       (0.397723.'26'(0.290535) + 2.271247.'25'(0.084555) + 1.678069.'23'(0.069564) + 0.992420.'21'(0.084555) + 0.825119.'29'(0.000000) + 0) <= 5.108276 ('23')
 217 > [0.000000]: [surf_maxmin/DEBUG]       (2.482209.'23'(0.069564) + 2.396828.'22'(0.290535) + 0.884829.'21'(0.084555) + 1.319952.'28'(0.000000) + 0) <= 2.909047 ('22')
 218 > [0.000000]: [surf_maxmin/DEBUG]       (0.420916.'26'(0.290535) + 0.758904.'24'(0.084555) + 1.073061.'22'(0.290535) + 0) <= 2.072429 ('26')
 219 > [0.000000]: [surf_maxmin/DEBUG]       (1.894261.'27'(0.084555) + 1.169795.'26'(0.290535) + 1.498885.'22'(0.290535) + 0) <= 0.935515 ('27')
 220 > [0.000000]: [surf_maxmin/DEBUG]       (2.246314.'27'(0.084555) + 0.473651.'24'(0.084555) + 2.627249.'24'(0.084555) + 0.719315.'22'(0.290535) + 0) <= 2.155770 ('30')
 221 > [0.000000]: [surf_maxmin/DEBUG]       (0.227791.'30'(0.069564) + 2.199900.'30'(0.069564) + 1.867113.'23'(0.069564) + 0.817409.'28'(0.000000) + 0) <= 0.298762 ('28')
 222 > [0.000000]: [surf_maxmin/DEBUG]       (1.826081.'27'(0.084555) + 1.526090.'25'(0.084555) + 0.881617.'28'(0.000000) + 1.124948.'29'(0.000000) + 0) <= 4.568332 ('29')
 223 > [0.000000]: [surf_maxmin/DEBUG]       (0.978153.'26'(0.290535) + 0) <= 4.370619 ('24')
 224 > [0.000000]: [surf_maxmin/DEBUG] Variables
 225 > [0.000000]: [surf_maxmin/DEBUG] '30'(1.000000) : 0.069564
 226 > [0.000000]: [surf_maxmin/DEBUG] '27'(1.000000) : 0.084555
 227 > [0.000000]: [surf_maxmin/DEBUG] '26'(1.000000) : 0.290535
 228 > [0.000000]: [surf_maxmin/DEBUG] '25'(1.000000) : 0.084555
 229 > [0.000000]: [surf_maxmin/DEBUG] '24'(1.000000) : 0.084555
 230 > [0.000000]: [surf_maxmin/DEBUG] '23'(1.000000) : 0.069564
 231 > [0.000000]: [surf_maxmin/DEBUG] '22'(1.000000) : 0.290535
 232 > [0.000000]: [surf_maxmin/DEBUG] '21'(1.000000) : 0.084555
 233 > [0.000000]: [surf_maxmin/DEBUG] '28'(0.000000) : 0.000000
 234 > [0.000000]: [surf_maxmin/DEBUG] '29'(0.000000) : 0.000000
 235 > Starting 3: (530)
 236 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0
 237 > Starting to solve(591)
 238 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 239 > [0.000000]: [surf_maxmin/DEBUG] Constraint '40' usage: 3.186779 remaining: 9.834007 concurrency: 2<=2<=4
 240 > [0.000000]: [surf_maxmin/DEBUG] Constraint '38' usage: 4.727149 remaining: 0.051591 concurrency: 3<=3<=-1
 241 > [0.000000]: [surf_maxmin/DEBUG] Constraint '37' usage: 6.513351 remaining: 4.347915 concurrency: 3<=3<=3
 242 > [0.000000]: [surf_maxmin/DEBUG] Constraint '35' usage: 4.981305 remaining: 9.762745 concurrency: 2<=2<=3
 243 > [0.000000]: [surf_maxmin/DEBUG] Constraint '31' usage: 2.087675 remaining: 9.006215 concurrency: 1<=1<=4
 244 > [0.000000]: [surf_maxmin/DEBUG] Constraint '33' usage: 7.070785 remaining: 6.090356 concurrency: 3<=3<=4
 245 > [0.000000]: [surf_maxmin/DEBUG] Constraint '36' usage: 3.169386 remaining: 6.984202 concurrency: 2<=2<=4
 246 > [0.000000]: [surf_maxmin/DEBUG] Constraint '32' usage: 2.508806 remaining: 9.726844 concurrency: 2<=2<=4
 247 > [0.000000]: [surf_maxmin/DEBUG] Constraint '34' usage: 1.414360 remaining: 2.160895 concurrency: 1<=1<=-1
 248 > [0.000000]: [surf_maxmin/DEBUG] Constraint '39' usage: 1.672413 remaining: 5.723565 concurrency: 1<=1<=3
 249 > [0.000000]: [surf_maxmin/DEBUG] var=31, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010914, var.bound*var.penalty=-1.000000
 250 > [0.000000]: [surf_maxmin/DEBUG] var=32, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010914, var.bound*var.penalty=-1.000000
 251 > [0.000000]: [surf_maxmin/DEBUG] var=34, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010914, var.bound*var.penalty=-1.000000
 252 > [0.000000]: [surf_maxmin/DEBUG] var=36, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010914, var.bound*var.penalty=-1.000000
 253 > [0.000000]: [surf_maxmin/DEBUG] Setting var (31) value to 0.010914
 254 >
 255 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010914, Var(31).penalty: 1.000000, Var(31).value: 0.010914
 256 > [0.000000]: [surf_maxmin/DEBUG] Setting var (32) value to 0.010914
 257 >
 258 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010914, Var(32).penalty: 1.000000, Var(32).value: 0.010914
 259 > [0.000000]: [surf_maxmin/DEBUG] Setting var (34) value to 0.010914
 260 >
 261 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010914, Var(34).penalty: 1.000000, Var(34).value: 0.010914
 262 > [0.000000]: [surf_maxmin/DEBUG] index: 4       cnst_light_num: 10      || usage: 0.000000 remaining: 8.983430 bound: 9.006215
 263 > [0.000000]: [surf_maxmin/DEBUG] Setting var (36) value to 0.010914
 264 >
 265 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.010914, Var(36).penalty: 1.000000, Var(36).value: 0.010914
 266 > [0.000000]: [surf_maxmin/DEBUG] index: 8       cnst_light_num: 9       || usage: 0.000000 remaining: 2.145459 bound: 2.160895
 267 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 8       || usage: 0.000000 remaining: 0.000000 bound: 0.051591
 268 > [0.000000]: [surf_maxmin/DEBUG] var=33, var.bound=-1.000000, var.penalty=1.000000, min_usage=1.199995, var.bound*var.penalty=-1.000000
 269 > [0.000000]: [surf_maxmin/DEBUG] var=37, var.bound=-1.000000, var.penalty=1.000000, min_usage=1.199995, var.bound*var.penalty=-1.000000
 270 > [0.000000]: [surf_maxmin/DEBUG] Setting var (33) value to 1.199995
 271 >
 272 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.199995, Var(33).penalty: 1.000000, Var(33).value: 1.199995
 273 > [0.000000]: [surf_maxmin/DEBUG] Setting var (37) value to 1.199995
 274 >
 275 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.199995, Var(37).penalty: 1.000000, Var(37).value: 1.199995
 276 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 7       || usage: 0.000000 remaining: 0.192028 bound: 6.090356
 277 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 6       || usage: 0.000000 remaining: 0.000000 bound: 4.347915
 278 > [0.000000]: [surf_maxmin/DEBUG] index: 4       cnst_light_num: 5       || usage: 0.000000 remaining: 3.716677 bound: 5.723565
 279 > [0.000000]: [surf_maxmin/DEBUG] var=35, var.bound=-1.000000, var.penalty=1.000000, min_usage=4.005178, var.bound*var.penalty=-1.000000
 280 > [0.000000]: [surf_maxmin/DEBUG] Setting var (35) value to 4.005178
 281 >
 282 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 4.005178, Var(35).penalty: 1.000000, Var(35).value: 4.005178
 283 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 4       || usage: 0.000000 remaining: 3.517521 bound: 9.762745
 284 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 3       || usage: 0.000000 remaining: 0.000000 bound: 6.984202
 285 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 2       || usage: 0.000000 remaining: 4.581572 bound: 9.726844
 286 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 3.075176 bound: 9.834007
 287 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '37'(1.000000) '36'(1.000000) '35'(1.000000) '34'(1.000000) '33'(1.000000) '32'(1.000000) '31'(1.000000) '38'(0.000000) '39'(0.000000) '40'(0.000000) )
 288 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 289 > [0.000000]: [surf_maxmin/DEBUG]       (0.387228.'37'(1.199995) + 1.568150.'35'(4.005178) + 1.231401.'31'(0.010914) + 1.422837.'38'(0.000000) + 1.701792.'40'(0.000000) + 0) <= 9.834007 ('40')
 290 > [0.000000]: [surf_maxmin/DEBUG]       (1.216357.'36'(0.010914) + 1.185662.'36'(0.010914) + 1.134575.'34'(0.010914) + 0.210987.'32'(0.010914) + 0.979568.'31'(0.010914) + 0.438088.'40'(0.000000) + 0) <= 0.051591 ('38')
 291 > [0.000000]: [surf_maxmin/DEBUG]       (1.718792.'37'(1.199995) + 1.877958.'33'(1.199995) + 0.515750.'32'(0.010914) + 2.400851.'31'(0.010914) + 2.457026.'38'(0.000000) + 1.268165.'38'(0.000000) + 0.895900.'39'(0.000000) + 0) <= 4.347915 ('37')
 292 > [0.000000]: [surf_maxmin/DEBUG]       (1.485656.'35'(4.005178) + 0.215927.'33'(1.199995) + 2.596965.'32'(0.010914) + 0.682757.'31'(0.010914) + 0.922672.'39'(0.000000) + 1.415926.'40'(0.000000) + 0) <= 9.762745 ('35')
 293 > [0.000000]: [surf_maxmin/DEBUG]       (1.158403.'34'(0.010914) + 0.929272.'32'(0.010914) + 0) <= 9.006215 ('31')
 294 > [0.000000]: [surf_maxmin/DEBUG]       (2.798186.'37'(1.199995) + 1.211476.'36'(0.010914) + 0.963801.'34'(0.010914) + 2.097323.'33'(1.199995) + 1.942004.'38'(0.000000) + 2.347376.'40'(0.000000) + 0) <= 6.090356 ('33')
 295 > [0.000000]: [surf_maxmin/DEBUG]       (1.133956.'35'(4.005178) + 2.035429.'33'(1.199995) + 0) <= 6.984202 ('36')
 296 > [0.000000]: [surf_maxmin/DEBUG]       (1.281310.'35'(4.005178) + 1.227496.'34'(0.010914) + 0) <= 9.726844 ('32')
 297 > [0.000000]: [surf_maxmin/DEBUG]       (1.414360.'36'(0.010914) + 0.510978.'39'(0.000000) + 0) <= 2.160895 ('34')
 298 > [0.000000]: [surf_maxmin/DEBUG]       (1.672413.'37'(1.199995) + 1.668122.'39'(0.000000) + 0) <= 5.723565 ('39')
 299 > [0.000000]: [surf_maxmin/DEBUG] Variables
 300 > [0.000000]: [surf_maxmin/DEBUG] '37'(1.000000) : 1.199995
 301 > [0.000000]: [surf_maxmin/DEBUG] '36'(1.000000) : 0.010914
 302 > [0.000000]: [surf_maxmin/DEBUG] '35'(1.000000) : 4.005178
 303 > [0.000000]: [surf_maxmin/DEBUG] '34'(1.000000) : 0.010914
 304 > [0.000000]: [surf_maxmin/DEBUG] '33'(1.000000) : 1.199995
 305 > [0.000000]: [surf_maxmin/DEBUG] '32'(1.000000) : 0.010914
 306 > [0.000000]: [surf_maxmin/DEBUG] '31'(1.000000) : 0.010914
 307 > [0.000000]: [surf_maxmin/DEBUG] '38'(0.000000) : 0.000000
 308 > [0.000000]: [surf_maxmin/DEBUG] '39'(0.000000) : 0.000000
 309 > [0.000000]: [surf_maxmin/DEBUG] '40'(0.000000) : 0.000000
 310 > Starting 4: (411)
 311 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0
 312 > Starting to solve(649)
 313 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 314 > [0.000000]: [surf_maxmin/DEBUG] Constraint '45' usage: 0.799996 remaining: 3.541380 concurrency: 0<=0<=3
 315 > [0.000000]: [surf_maxmin/DEBUG] Constraint '41' usage: 5.752746 remaining: 0.551801 concurrency: 3<=3<=4
 316 > [0.000000]: [surf_maxmin/DEBUG] Constraint '46' usage: 5.476668 remaining: 2.968005 concurrency: 3<=3<=4
 317 > [0.000000]: [surf_maxmin/DEBUG] Constraint '44' usage: 0.420600 remaining: 6.117439 concurrency: 0<=0<=4
 318 > [0.000000]: [surf_maxmin/DEBUG] Constraint '43' usage: 1.620214 remaining: 9.794450 concurrency: 1<=1<=3
 319 > [0.000000]: [surf_maxmin/DEBUG] Constraint '47' usage: 1.466486 remaining: 8.082817 concurrency: 1<=2<=-1
 320 > [0.000000]: [surf_maxmin/DEBUG] Constraint '50' usage: 10.056288 remaining: 7.643726 concurrency: 3<=3<=3
 321 > [0.000000]: [surf_maxmin/DEBUG] Constraint '48' usage: 1.837183 remaining: 6.494589 concurrency: 1<=1<=4
 322 > [0.000000]: [surf_maxmin/DEBUG] Constraint '42' usage: 4.537079 remaining: 2.067192 concurrency: 3<=3<=3
 323 > [0.000000]: [surf_maxmin/DEBUG] Constraint '49' usage: 0.000000 remaining: 4.413092 concurrency: 0<=1<=4
 324 > [0.000000]: [surf_maxmin/DEBUG] var=41, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.095920, var.bound*var.penalty=-1.000000
 325 > [0.000000]: [surf_maxmin/DEBUG] var=43, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.095920, var.bound*var.penalty=-1.000000
 326 > [0.000000]: [surf_maxmin/DEBUG] var=48, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.095920, var.bound*var.penalty=-1.000000
 327 > [0.000000]: [surf_maxmin/DEBUG] Setting var (41) value to 0.095920
 328 >
 329 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.095920, Var(41).penalty: 1.000000, Var(41).value: 0.095920
 330 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 9       || usage: 0.000000 remaining: 3.464645 bound: 3.541380
 331 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 8       || usage: 0.000000 remaining: 6.077095 bound: 6.117439
 332 > [0.000000]: [surf_maxmin/DEBUG] Setting var (43) value to 0.095920
 333 >
 334 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.095920, Var(43).penalty: 1.000000, Var(43).value: 0.095920
 335 > [0.000000]: [surf_maxmin/DEBUG] Setting var (48) value to 0.095920
 336 >
 337 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.095920, Var(48).penalty: 1.000000, Var(48).value: 0.095920
 338 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 7       || usage: 0.000000 remaining: 0.000000 bound: 0.551801
 339 > [0.000000]: [surf_maxmin/DEBUG] var=44, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.912955, var.bound*var.penalty=-1.000000
 340 > [0.000000]: [surf_maxmin/DEBUG] Setting var (44) value to 0.912955
 341 >
 342 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.912955, Var(44).penalty: 1.000000, Var(44).value: 0.912955
 343 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 6       || usage: 0.000000 remaining: 0.000000 bound: 2.067192
 344 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 5       || usage: 0.000000 remaining: 0.558345 bound: 2.968005
 345 > [0.000000]: [surf_maxmin/DEBUG] var=42, var.bound=-1.000000, var.penalty=1.000000, min_usage=1.466672, var.bound*var.penalty=-1.000000
 346 > [0.000000]: [surf_maxmin/DEBUG] Setting var (42) value to 1.466672
 347 >
 348 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.466672, Var(42).penalty: 1.000000, Var(42).value: 1.466672
 349 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 4       || usage: 0.000000 remaining: 7.418128 bound: 9.794450
 350 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 3       || usage: 0.000000 remaining: 5.931963 bound: 8.082817
 351 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 2       || usage: 0.000000 remaining: 0.000000 bound: 7.643726
 352 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 5.744782 bound: 6.494589
 353 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '48'(1.000000) '44'(1.000000) '43'(1.000000) '42'(1.000000) '41'(1.000000) '45'(0.000000) '46'(0.000000) '47'(0.000000) '49'(0.000000) '50'(0.000000) )
 354 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 355 > [0.000000]: [surf_maxmin/DEBUG]       (0.799996.'41'(0.095920) + 1.573815.'45'(0.000000) + 0) <= 3.541380 ('45')
 356 > [0.000000]: [surf_maxmin/DEBUG]       (1.177881.'48'(0.095920) + 2.314828.'43'(0.095920) + 2.260036.'41'(0.095920) + 1.732889.'45'(0.000000) + 1.670857.'47'(0.000000) + 1.006444.'49'(0.000000) + 0) <= 0.551801 ('41')
 357 > [0.000000]: [surf_maxmin/DEBUG]       (1.532257.'48'(0.095920) + 2.306313.'44'(0.912955) + 1.638098.'41'(0.095920) + 1.518946.'47'(0.000000) + 0) <= 2.968005 ('46')
 358 > [0.000000]: [surf_maxmin/DEBUG]       (0.420600.'41'(0.095920) + 0) <= 6.117439 ('44')
 359 > [0.000000]: [surf_maxmin/DEBUG]       (1.620214.'42'(1.466672) + 0) <= 9.794450 ('43')
 360 > [0.000000]: [surf_maxmin/DEBUG]       (1.466486.'42'(1.466672) + 0.602858.'46'(0.000000) + 0.711475.'46'(0.000000) + 1.360665.'47'(0.000000) + 1.542968.'50'(0.000000) + 0) <= 8.082817 ('47')
 361 > [0.000000]: [surf_maxmin/DEBUG]       (2.473412.'48'(0.095920) + 0.388646.'44'(0.912955) + 3.947741.'44'(0.912955) + 0.958587.'43'(0.095920) + 2.287901.'42'(1.466672) + 0.003321.'45'(0.000000) + 0.965523.'49'(0.000000) + 0.339878.'50'(0.000000) + 0) <= 7.643726 ('50')
 362 > [0.000000]: [surf_maxmin/DEBUG]       (1.418738.'43'(0.095920) + 0.418445.'42'(1.466672) + 0.695178.'45'(0.000000) + 1.393992.'49'(0.000000) + 2.482409.'50'(0.000000) + 0) <= 6.494589 ('48')
 363 > [0.000000]: [surf_maxmin/DEBUG]       (1.516683.'48'(0.095920) + 1.997460.'44'(0.912955) + 1.022936.'43'(0.095920) + 0.759682.'46'(0.000000) + 0.129789.'46'(0.000000) + 1.414580.'47'(0.000000) + 0) <= 2.067192 ('42')
 364 > [0.000000]: [surf_maxmin/DEBUG]       (1.536723.'49'(0.000000) + 2.744981.'50'(0.000000) + 0) <= 4.413092 ('49')
 365 > [0.000000]: [surf_maxmin/DEBUG] Variables
 366 > [0.000000]: [surf_maxmin/DEBUG] '48'(1.000000) : 0.095920
 367 > [0.000000]: [surf_maxmin/DEBUG] '44'(1.000000) : 0.912955
 368 > [0.000000]: [surf_maxmin/DEBUG] '43'(1.000000) : 0.095920
 369 > [0.000000]: [surf_maxmin/DEBUG] '42'(1.000000) : 1.466672
 370 > [0.000000]: [surf_maxmin/DEBUG] '41'(1.000000) : 0.095920
 371 > [0.000000]: [surf_maxmin/DEBUG] '45'(0.000000) : 0.000000
 372 > [0.000000]: [surf_maxmin/DEBUG] '46'(0.000000) : 0.000000
 373 > [0.000000]: [surf_maxmin/DEBUG] '47'(0.000000) : 0.000000
 374 > [0.000000]: [surf_maxmin/DEBUG] '49'(0.000000) : 0.000000
 375 > [0.000000]: [surf_maxmin/DEBUG] '50'(0.000000) : 0.000000
 376 > Starting 5: (130)
 377 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0
 378 > Starting to solve(901)
 379 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 380 > [0.000000]: [surf_maxmin/DEBUG] Constraint '53' usage: 6.754969 remaining: 0.416966 concurrency: 3<=3<=3
 381 > [0.000000]: [surf_maxmin/DEBUG] Constraint '52' usage: 6.539701 remaining: 8.212291 concurrency: 3<=4<=-1
 382 > [0.000000]: [surf_maxmin/DEBUG] Constraint '54' usage: 4.205093 remaining: 9.850288 concurrency: 3<=4<=4
 383 > [0.000000]: [surf_maxmin/DEBUG] Constraint '51' usage: 6.169162 remaining: 9.474761 concurrency: 3<=3<=3
 384 > [0.000000]: [surf_maxmin/DEBUG] Constraint '57' usage: 4.830475 remaining: 6.225194 concurrency: 3<=3<=3
 385 > [0.000000]: [surf_maxmin/DEBUG] Constraint '55' usage: 3.907363 remaining: 5.298174 concurrency: 2<=2<=4
 386 > [0.000000]: [surf_maxmin/DEBUG] Constraint '56' usage: 3.773201 remaining: 5.303965 concurrency: 2<=2<=4
 387 > [0.000000]: [surf_maxmin/DEBUG] Constraint '60' usage: 2.790951 remaining: 1.556151 concurrency: 1<=2<=4
 388 > [0.000000]: [surf_maxmin/DEBUG] Constraint '58' usage: 0.000000 remaining: 7.550130 concurrency: 0<=0<=3
 389 > [0.000000]: [surf_maxmin/DEBUG] Constraint '59' usage: 0.983317 remaining: 5.180364 concurrency: 0<=1<=4
 390 > [0.000000]: [surf_maxmin/DEBUG] var=51, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.061727, var.bound*var.penalty=-1.000000
 391 > [0.000000]: [surf_maxmin/DEBUG] var=52, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.061727, var.bound*var.penalty=-1.000000
 392 > [0.000000]: [surf_maxmin/DEBUG] var=58, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.061727, var.bound*var.penalty=-1.000000
 393 > [0.000000]: [surf_maxmin/DEBUG] Setting var (51) value to 0.061727
 394 >
 395 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.061727, Var(51).penalty: 1.000000, Var(51).value: 0.061727
 396 > [0.000000]: [surf_maxmin/DEBUG] Setting var (52) value to 0.061727
 397 >
 398 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.061727, Var(52).penalty: 1.000000, Var(52).value: 0.061727
 399 > [0.000000]: [surf_maxmin/DEBUG] Setting var (58) value to 0.061727
 400 >
 401 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.061727, Var(58).penalty: 1.000000, Var(58).value: 0.061727
 402 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 0.416966
 403 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 8       || usage: 0.000000 remaining: 5.119667 bound: 5.180364
 404 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 7       || usage: 0.000000 remaining: 7.808613 bound: 8.212291
 405 > [0.000000]: [surf_maxmin/DEBUG] var=54, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.557570, var.bound*var.penalty=-1.000000
 406 > [0.000000]: [surf_maxmin/DEBUG] var=55, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.557570, var.bound*var.penalty=-1.000000
 407 > [0.000000]: [surf_maxmin/DEBUG] Setting var (54) value to 0.557570
 408 >
 409 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.557570, Var(54).penalty: 1.000000, Var(54).value: 0.557570
 410 > [0.000000]: [surf_maxmin/DEBUG] Setting var (55) value to 0.557570
 411 >
 412 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.557570, Var(55).penalty: 1.000000, Var(55).value: 0.557570
 413 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 6       || usage: 0.000000 remaining: 0.000000 bound: 1.556151
 414 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 5       || usage: 0.000000 remaining: 8.881565 bound: 9.850288
 415 > [0.000000]: [surf_maxmin/DEBUG] var=53, var.bound=-1.000000, var.penalty=1.000000, min_usage=2.031309, var.bound*var.penalty=-1.000000
 416 > [0.000000]: [surf_maxmin/DEBUG] Setting var (53) value to 2.031309
 417 >
 418 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 2.031309, Var(53).penalty: 1.000000, Var(53).value: 2.031309
 419 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 4       || usage: 0.000000 remaining: 3.587933 bound: 9.474761
 420 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 3       || usage: 0.000000 remaining: 2.552231 bound: 6.225194
 421 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 2       || usage: 0.000000 remaining: 0.000000 bound: 5.298174
 422 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 0.022547 bound: 5.303965
 423 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '58'(1.000000) '55'(1.000000) '54'(1.000000) '53'(1.000000) '52'(1.000000) '51'(1.000000) '56'(0.000000) '57'(0.000000) '59'(0.000000) '60'(0.000000) )
 424 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 425 > [0.000000]: [surf_maxmin/DEBUG]       (1.551765.'58'(0.061727) + 0.931720.'52'(0.061727) + 1.017756.'51'(0.061727) + 3.253728.'51'(0.061727) + 1.422923.'56'(0.000000) + 0.593585.'57'(0.000000) + 0) <= 0.416966 ('53')
 426 > [0.000000]: [surf_maxmin/DEBUG]       (2.587460.'58'(0.061727) + 2.029325.'52'(0.061727) + 1.922916.'51'(0.061727) + 2.106457.'57'(0.000000) + 1.104637.'60'(0.000000) + 0) <= 8.212291 ('52')
 427 > [0.000000]: [surf_maxmin/DEBUG]       (1.430199.'55'(0.557570) + 1.475171.'52'(0.061727) + 1.299723.'51'(0.061727) + 0.934360.'56'(0.000000) + 1.750104.'59'(0.000000) + 1.029406.'60'(0.000000) + 0) <= 9.850288 ('54')
 428 > [0.000000]: [surf_maxmin/DEBUG]       (1.118063.'54'(0.557570) + 2.970325.'54'(0.557570) + 1.766276.'53'(2.031309) + 0.314498.'52'(0.061727) + 1.946019.'56'(0.000000) + 0.425789.'56'(0.000000) + 0.062063.'60'(0.000000) + 0) <= 9.474761 ('51')
 429 > [0.000000]: [surf_maxmin/DEBUG]       (1.596755.'58'(0.061727) + 2.031760.'55'(0.557570) + 1.201960.'53'(2.031309) + 0.001279.'59'(0.000000) + 0) <= 6.225194 ('57')
 430 > [0.000000]: [surf_maxmin/DEBUG]       (1.790607.'54'(0.557570) + 2.116755.'53'(2.031309) + 0) <= 5.298174 ('55')
 431 > [0.000000]: [surf_maxmin/DEBUG]       (1.617056.'55'(0.557570) + 2.156145.'53'(2.031309) + 0) <= 5.303965 ('56')
 432 > [0.000000]: [surf_maxmin/DEBUG]       (1.951588.'55'(0.557570) + 0.839363.'54'(0.557570) + 1.849659.'59'(0.000000) + 0) <= 1.556151 ('60')
 433 > [0.000000]: [surf_maxmin/DEBUG]       (3.215581.'57'(0.000000) + 0.693541.'57'(0.000000) + 0) <= 7.550130 ('58')
 434 > [0.000000]: [surf_maxmin/DEBUG]       (0.983317.'58'(0.061727) + 0.900259.'59'(0.000000) + 1.103442.'60'(0.000000) + 0) <= 5.180364 ('59')
 435 > [0.000000]: [surf_maxmin/DEBUG] Variables
 436 > [0.000000]: [surf_maxmin/DEBUG] '58'(1.000000) : 0.061727
 437 > [0.000000]: [surf_maxmin/DEBUG] '55'(1.000000) : 0.557570
 438 > [0.000000]: [surf_maxmin/DEBUG] '54'(1.000000) : 0.557570
 439 > [0.000000]: [surf_maxmin/DEBUG] '53'(1.000000) : 2.031309
 440 > [0.000000]: [surf_maxmin/DEBUG] '52'(1.000000) : 0.061727
 441 > [0.000000]: [surf_maxmin/DEBUG] '51'(1.000000) : 0.061727
 442 > [0.000000]: [surf_maxmin/DEBUG] '56'(0.000000) : 0.000000
 443 > [0.000000]: [surf_maxmin/DEBUG] '57'(0.000000) : 0.000000
 444 > [0.000000]: [surf_maxmin/DEBUG] '59'(0.000000) : 0.000000
 445 > [0.000000]: [surf_maxmin/DEBUG] '60'(0.000000) : 0.000000
 446 > Starting 6: (615)
 447 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0
 448 > Starting to solve(609)
 449 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 450 > [0.000000]: [surf_maxmin/DEBUG] Constraint '61' usage: 2.299142 remaining: 2.273391 concurrency: 1<=1<=3
 451 > [0.000000]: [surf_maxmin/DEBUG] Constraint '66' usage: 5.011946 remaining: 4.193722 concurrency: 2<=2<=3
 452 > [0.000000]: [surf_maxmin/DEBUG] Constraint '68' usage: 2.976955 remaining: 8.688015 concurrency: 2<=3<=4
 453 > [0.000000]: [surf_maxmin/DEBUG] Constraint '70' usage: 4.268924 remaining: 6.743304 concurrency: 3<=3<=3
 454 > [0.000000]: [surf_maxmin/DEBUG] Constraint '63' usage: 3.069264 remaining: 4.555849 concurrency: 2<=2<=4
 455 > [0.000000]: [surf_maxmin/DEBUG] Constraint '69' usage: 4.270254 remaining: 3.809411 concurrency: 2<=2<=4
 456 > [0.000000]: [surf_maxmin/DEBUG] Constraint '64' usage: 4.457141 remaining: 5.384959 concurrency: 3<=3<=3
 457 > [0.000000]: [surf_maxmin/DEBUG] Constraint '62' usage: 1.822730 remaining: 4.384092 concurrency: 1<=2<=4
 458 > [0.000000]: [surf_maxmin/DEBUG] Constraint '67' usage: 0.000000 remaining: 4.998825 concurrency: 0<=1<=3
 459 > [0.000000]: [surf_maxmin/DEBUG] Constraint '65' usage: 2.538214 remaining: 0.867434 concurrency: 1<=2<=-1
 460 > [0.000000]: [surf_maxmin/DEBUG] var=67, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.341750, var.bound*var.penalty=-1.000000
 461 > [0.000000]: [surf_maxmin/DEBUG] Setting var (67) value to 0.341750
 462 >
 463 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.341750, Var(67).penalty: 1.000000, Var(67).value: 0.341750
 464 > [0.000000]: [surf_maxmin/DEBUG] index: 8       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 0.867434
 465 > [0.000000]: [surf_maxmin/DEBUG] var=61, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.836745, var.bound*var.penalty=-1.000000
 466 > [0.000000]: [surf_maxmin/DEBUG] var=63, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.836745, var.bound*var.penalty=-1.000000
 467 > [0.000000]: [surf_maxmin/DEBUG] var=64, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.836745, var.bound*var.penalty=-1.000000
 468 > [0.000000]: [surf_maxmin/DEBUG] Setting var (61) value to 0.836745
 469 >
 470 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.836745, Var(61).penalty: 1.000000, Var(61).value: 0.836745
 471 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 8       || usage: 0.000000 remaining: 7.094717 bound: 8.688015
 472 > [0.000000]: [surf_maxmin/DEBUG] Setting var (63) value to 0.836745
 473 >
 474 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.836745, Var(63).penalty: 1.000000, Var(63).value: 0.836745
 475 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 7       || usage: 0.000000 remaining: 0.349595 bound: 2.273391
 476 > [0.000000]: [surf_maxmin/DEBUG] Setting var (64) value to 0.836745
 477 >
 478 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.836745, Var(64).penalty: 1.000000, Var(64).value: 0.836745
 479 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 6       || usage: 0.000000 remaining: 2.858932 bound: 4.384092
 480 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 5       || usage: 0.000000 remaining: 0.000000 bound: 4.193722
 481 > [0.000000]: [surf_maxmin/DEBUG] var=62, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.922047, var.bound*var.penalty=-1.000000
 482 > [0.000000]: [surf_maxmin/DEBUG] Setting var (62) value to 0.922047
 483 >
 484 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.922047, Var(62).penalty: 1.000000, Var(62).value: 0.922047
 485 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 4       || usage: 0.000000 remaining: 1.895206 bound: 4.555849
 486 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 3       || usage: 0.000000 remaining: 0.000000 bound: 3.809411
 487 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 2       || usage: 0.000000 remaining: 3.543398 bound: 6.743304
 488 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 2.366758 bound: 5.384959
 489 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '67'(1.000000) '64'(1.000000) '63'(1.000000) '62'(1.000000) '61'(1.000000) '65'(0.000000) '66'(0.000000) '68'(0.000000) '69'(0.000000) '70'(0.000000) )
 490 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 491 > [0.000000]: [surf_maxmin/DEBUG]       (1.460104.'63'(0.836745) + 0.839037.'61'(0.836745) + 0) <= 2.273391 ('61')
 492 > [0.000000]: [surf_maxmin/DEBUG]       (0.214074.'64'(0.836745) + 1.154431.'64'(0.836745) + 0.852340.'63'(0.836745) + 2.791101.'61'(0.836745) + 0.424080.'65'(0.000000) + 0.388704.'66'(0.000000) + 1.493331.'69'(0.000000) + 0.059469.'69'(0.000000) + 0) <= 4.193722 ('66')
 493 > [0.000000]: [surf_maxmin/DEBUG]       (1.813462.'67'(0.341750) + 1.163493.'61'(0.836745) + 1.389494.'66'(0.000000) + 1.228992.'70'(0.000000) + 0) <= 8.688015 ('68')
 494 > [0.000000]: [surf_maxmin/DEBUG]       (1.003031.'67'(0.341750) + 1.458358.'62'(0.922047) + 1.807535.'61'(0.836745) + 2.698266.'65'(0.000000) + 1.078986.'65'(0.000000) + 0.973678.'68'(0.000000) + 0.248252.'70'(0.000000) + 0) <= 6.743304 ('70')
 495 > [0.000000]: [surf_maxmin/DEBUG]       (1.985450.'63'(0.836745) + 1.083814.'62'(0.922047) + 0) <= 4.555849 ('63')
 496 > [0.000000]: [surf_maxmin/DEBUG]       (1.500117.'64'(0.836745) + 2.770137.'62'(0.922047) + 2.838970.'65'(0.000000) + 1.188801.'68'(0.000000) + 0) <= 3.809411 ('69')
 497 > [0.000000]: [surf_maxmin/DEBUG]       (1.723344.'67'(0.341750) + 1.071970.'63'(0.836745) + 1.661828.'62'(0.922047) + 0) <= 5.384959 ('64')
 498 > [0.000000]: [surf_maxmin/DEBUG]       (1.822730.'64'(0.836745) + 1.626636.'66'(0.000000) + 1.510680.'68'(0.000000) + 2.261451.'69'(0.000000) + 1.239524.'70'(0.000000) + 0) <= 4.384092 ('62')
 499 > [0.000000]: [surf_maxmin/DEBUG]       (1.886454.'66'(0.000000) + 1.927080.'70'(0.000000) + 0) <= 4.998825 ('67')
 500 > [0.000000]: [surf_maxmin/DEBUG]       (2.538214.'67'(0.341750) + 1.662899.'68'(0.000000) + 2.254780.'69'(0.000000) + 0) <= 0.867434 ('65')
 501 > [0.000000]: [surf_maxmin/DEBUG] Variables
 502 > [0.000000]: [surf_maxmin/DEBUG] '67'(1.000000) : 0.341750
 503 > [0.000000]: [surf_maxmin/DEBUG] '64'(1.000000) : 0.836745
 504 > [0.000000]: [surf_maxmin/DEBUG] '63'(1.000000) : 0.836745
 505 > [0.000000]: [surf_maxmin/DEBUG] '62'(1.000000) : 0.922047
 506 > [0.000000]: [surf_maxmin/DEBUG] '61'(1.000000) : 0.836745
 507 > [0.000000]: [surf_maxmin/DEBUG] '65'(0.000000) : 0.000000
 508 > [0.000000]: [surf_maxmin/DEBUG] '66'(0.000000) : 0.000000
 509 > [0.000000]: [surf_maxmin/DEBUG] '68'(0.000000) : 0.000000
 510 > [0.000000]: [surf_maxmin/DEBUG] '69'(0.000000) : 0.000000
 511 > [0.000000]: [surf_maxmin/DEBUG] '70'(0.000000) : 0.000000
 512 > Starting 7: (723)
 513 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0
 514 > Starting to solve(306)
 515 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 516 > [0.000000]: [surf_maxmin/DEBUG] Constraint '78' usage: 3.198380 remaining: 5.433860 concurrency: 2<=2<=3
 517 > [0.000000]: [surf_maxmin/DEBUG] Constraint '76' usage: 6.233480 remaining: 5.226747 concurrency: 3<=3<=3
 518 > [0.000000]: [surf_maxmin/DEBUG] Constraint '80' usage: 2.488814 remaining: 6.196821 concurrency: 1<=1<=-1
 519 > [0.000000]: [surf_maxmin/DEBUG] Constraint '71' usage: 3.565174 remaining: 0.111144 concurrency: 2<=2<=4
 520 > [0.000000]: [surf_maxmin/DEBUG] Constraint '72' usage: 2.521887 remaining: 8.691945 concurrency: 1<=2<=3
 521 > [0.000000]: [surf_maxmin/DEBUG] Constraint '79' usage: 2.413421 remaining: 4.026774 concurrency: 2<=2<=3
 522 > [0.000000]: [surf_maxmin/DEBUG] Constraint '74' usage: 6.129271 remaining: 0.113988 concurrency: 3<=3<=4
 523 > [0.000000]: [surf_maxmin/DEBUG] Constraint '73' usage: 4.947543 remaining: 8.164613 concurrency: 3<=4<=4
 524 > [0.000000]: [surf_maxmin/DEBUG] Constraint '75' usage: 4.819708 remaining: 7.660629 concurrency: 3<=3<=4
 525 > [0.000000]: [surf_maxmin/DEBUG] Constraint '77' usage: 1.230945 remaining: 9.264384 concurrency: 1<=1<=4
 526 > [0.000000]: [surf_maxmin/DEBUG] var=72, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.018597, var.bound*var.penalty=-1.000000
 527 > [0.000000]: [surf_maxmin/DEBUG] var=73, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.018597, var.bound*var.penalty=-1.000000
 528 > [0.000000]: [surf_maxmin/DEBUG] var=77, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.018597, var.bound*var.penalty=-1.000000
 529 > [0.000000]: [surf_maxmin/DEBUG] Setting var (72) value to 0.018597
 530 >
 531 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.018597, Var(72).penalty: 1.000000, Var(72).value: 0.018597
 532 > [0.000000]: [surf_maxmin/DEBUG] Setting var (73) value to 0.018597
 533 >
 534 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.018597, Var(73).penalty: 1.000000, Var(73).value: 0.018597
 535 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 10      || usage: 0.000000 remaining: 3.981891 bound: 4.026774
 536 > [0.000000]: [surf_maxmin/DEBUG] Setting var (77) value to 0.018597
 537 >
 538 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.018597, Var(77).penalty: 1.000000, Var(77).value: 0.018597
 539 > [0.000000]: [surf_maxmin/DEBUG] index: 6       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 0.113988
 540 > [0.000000]: [surf_maxmin/DEBUG] var=71, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.031175, var.bound*var.penalty=-1.000000
 541 > [0.000000]: [surf_maxmin/DEBUG] var=76, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.031175, var.bound*var.penalty=-1.000000
 542 > [0.000000]: [surf_maxmin/DEBUG] Setting var (71) value to 0.031175
 543 >
 544 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.031175, Var(71).penalty: 1.000000, Var(71).value: 0.031175
 545 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 8       || usage: 0.000000 remaining: 6.141366 bound: 6.196821
 546 > [0.000000]: [surf_maxmin/DEBUG] Setting var (76) value to 0.031175
 547 >
 548 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.031175, Var(76).penalty: 1.000000, Var(76).value: 0.031175
 549 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 7       || usage: 0.000000 remaining: 9.226009 bound: 9.264384
 550 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 6       || usage: 0.000000 remaining: 0.000000 bound: 0.111144
 551 > [0.000000]: [surf_maxmin/DEBUG] index: 4       cnst_light_num: 5       || usage: 0.000000 remaining: 8.625075 bound: 8.691945
 552 > [0.000000]: [surf_maxmin/DEBUG] var=75, var.bound=-1.000000, var.penalty=1.000000, min_usage=2.643929, var.bound*var.penalty=-1.000000
 553 > [0.000000]: [surf_maxmin/DEBUG] Setting var (75) value to 2.643929
 554 >
 555 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 2.643929, Var(75).penalty: 1.000000, Var(75).value: 2.643929
 556 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 4       || usage: 0.000000 remaining: 4.713707 bound: 7.660629
 557 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 3       || usage: 0.000000 remaining: 0.000000 bound: 5.433860
 558 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 2       || usage: 0.000000 remaining: 0.303323 bound: 5.226747
 559 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 4.744122 bound: 8.164613
 560 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '77'(1.000000) '76'(1.000000) '75'(1.000000) '73'(1.000000) '72'(1.000000) '71'(1.000000) '74'(0.000000) '78'(0.000000) '79'(0.000000) '80'(0.000000) )
 561 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 562 > [0.000000]: [surf_maxmin/DEBUG]       (2.041582.'75'(2.643929) + 1.156799.'71'(0.031175) + 0.819429.'74'(0.000000) + 0) <= 5.433860 ('78')
 563 > [0.000000]: [surf_maxmin/DEBUG]       (1.822511.'75'(2.643929) + 1.831327.'73'(0.018597) + 0.766757.'72'(0.018597) + 1.812885.'71'(0.031175) + 0.020109.'78'(0.000000) + 1.410049.'79'(0.000000) + 0.743360.'79'(0.000000) + 1.394747.'80'(0.000000) + 0) <= 5.226747 ('76')
 564 > [0.000000]: [surf_maxmin/DEBUG]       (1.759771.'77'(0.018597) + 0.729042.'71'(0.031175) + 1.822089.'78'(0.000000) + 0) <= 6.196821 ('80')
 565 > [0.000000]: [surf_maxmin/DEBUG]       (1.652654.'76'(0.031175) + 1.912520.'71'(0.031175) + 0) <= 0.111144 ('71')
 566 > [0.000000]: [surf_maxmin/DEBUG]       (1.587764.'76'(0.031175) + 0.934123.'72'(0.018597) + 1.878623.'74'(0.000000) + 1.704288.'78'(0.000000) + 2.233739.'80'(0.000000) + 0) <= 8.691945 ('72')
 567 > [0.000000]: [surf_maxmin/DEBUG]       (1.026485.'73'(0.018597) + 1.386937.'72'(0.018597) + 1.201584.'74'(0.000000) + 2.199875.'79'(0.000000) + 0) <= 4.026774 ('79')
 568 > [0.000000]: [surf_maxmin/DEBUG]       (2.354927.'77'(0.018597) + 1.659686.'73'(0.018597) + 2.114659.'72'(0.018597) + 1.579691.'79'(0.000000) + 0) <= 0.113988 ('74')
 569 > [0.000000]: [surf_maxmin/DEBUG]       (1.677954.'77'(0.018597) + 1.267832.'75'(2.643929) + 2.001758.'73'(0.018597) + 1.676275.'74'(0.000000) + 1.438621.'80'(0.000000) + 0) <= 8.164613 ('73')
 570 > [0.000000]: [surf_maxmin/DEBUG]       (1.668512.'77'(0.018597) + 2.072773.'76'(0.031175) + 1.078423.'75'(2.643929) + 0) <= 7.660629 ('75')
 571 > [0.000000]: [surf_maxmin/DEBUG]       (1.230945.'76'(0.031175) + 0.691097.'78'(0.000000) + 0.926100.'80'(0.000000) + 0) <= 9.264384 ('77')
 572 > [0.000000]: [surf_maxmin/DEBUG] Variables
 573 > [0.000000]: [surf_maxmin/DEBUG] '77'(1.000000) : 0.018597
 574 > [0.000000]: [surf_maxmin/DEBUG] '76'(1.000000) : 0.031175
 575 > [0.000000]: [surf_maxmin/DEBUG] '75'(1.000000) : 2.643929
 576 > [0.000000]: [surf_maxmin/DEBUG] '73'(1.000000) : 0.018597
 577 > [0.000000]: [surf_maxmin/DEBUG] '72'(1.000000) : 0.018597
 578 > [0.000000]: [surf_maxmin/DEBUG] '71'(1.000000) : 0.031175
 579 > [0.000000]: [surf_maxmin/DEBUG] '74'(0.000000) : 0.000000
 580 > [0.000000]: [surf_maxmin/DEBUG] '78'(0.000000) : 0.000000
 581 > [0.000000]: [surf_maxmin/DEBUG] '79'(0.000000) : 0.000000
 582 > [0.000000]: [surf_maxmin/DEBUG] '80'(0.000000) : 0.000000
 583 > Starting 8: (670)
 584 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0
 585 > Starting to solve(148)
 586 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 587 > [0.000000]: [surf_maxmin/DEBUG] Constraint '85' usage: 7.178533 remaining: 4.185082 concurrency: 4<=5<=-1
 588 > [0.000000]: [surf_maxmin/DEBUG] Constraint '81' usage: 8.476100 remaining: 3.644610 concurrency: 4<=4<=4
 589 > [0.000000]: [surf_maxmin/DEBUG] Constraint '87' usage: 5.905621 remaining: 0.840597 concurrency: 4<=4<=4
 590 > [0.000000]: [surf_maxmin/DEBUG] Constraint '83' usage: 3.131650 remaining: 1.338295 concurrency: 2<=2<=4
 591 > [0.000000]: [surf_maxmin/DEBUG] Constraint '86' usage: 4.117081 remaining: 2.481012 concurrency: 2<=2<=-1
 592 > [0.000000]: [surf_maxmin/DEBUG] Constraint '88' usage: 8.831579 remaining: 4.946545 concurrency: 3<=3<=-1
 593 > [0.000000]: [surf_maxmin/DEBUG] Constraint '82' usage: 4.447821 remaining: 4.957733 concurrency: 2<=2<=-1
 594 > [0.000000]: [surf_maxmin/DEBUG] Constraint '89' usage: 2.610616 remaining: 3.157089 concurrency: 2<=2<=3
 595 > [0.000000]: [surf_maxmin/DEBUG] Constraint '90' usage: 2.381237 remaining: 9.509640 concurrency: 1<=1<=3
 596 > [0.000000]: [surf_maxmin/DEBUG] Constraint '84' usage: 3.078695 remaining: 0.133220 concurrency: 2<=2<=3
 597 > [0.000000]: [surf_maxmin/DEBUG] var=85, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.043272, var.bound*var.penalty=-1.000000
 598 > [0.000000]: [surf_maxmin/DEBUG] var=87, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.043272, var.bound*var.penalty=-1.000000
 599 > [0.000000]: [surf_maxmin/DEBUG] Setting var (85) value to 0.043272
 600 >
 601 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.043272, Var(85).penalty: 1.000000, Var(85).value: 0.043272
 602 > [0.000000]: [surf_maxmin/DEBUG] Setting var (87) value to 0.043272
 603 >
 604 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.043272, Var(87).penalty: 1.000000, Var(87).value: 0.043272
 605 > [0.000000]: [surf_maxmin/DEBUG] index: 9       cnst_light_num: 10      || usage: 0.000000 remaining: 0.000000 bound: 0.133220
 606 > [0.000000]: [surf_maxmin/DEBUG] var=81, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.142338, var.bound*var.penalty=-1.000000
 607 > [0.000000]: [surf_maxmin/DEBUG] var=83, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.142338, var.bound*var.penalty=-1.000000
 608 > [0.000000]: [surf_maxmin/DEBUG] var=84, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.142338, var.bound*var.penalty=-1.000000
 609 > [0.000000]: [surf_maxmin/DEBUG] var=88, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.142338, var.bound*var.penalty=-1.000000
 610 > [0.000000]: [surf_maxmin/DEBUG] Setting var (81) value to 0.142338
 611 >
 612 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142338, Var(81).penalty: 1.000000, Var(81).value: 0.142338
 613 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 9       || usage: 0.000000 remaining: 1.051802 bound: 1.338295
 614 > [0.000000]: [surf_maxmin/DEBUG] Setting var (83) value to 0.142338
 615 >
 616 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142338, Var(83).penalty: 1.000000, Var(83).value: 0.142338
 617 > [0.000000]: [surf_maxmin/DEBUG] Setting var (84) value to 0.142338
 618 >
 619 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142338, Var(84).penalty: 1.000000, Var(84).value: 0.142338
 620 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 8       || usage: 0.000000 remaining: 3.310191 bound: 4.185082
 621 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 7       || usage: 0.000000 remaining: 9.343978 bound: 9.509640
 622 > [0.000000]: [surf_maxmin/DEBUG] Setting var (88) value to 0.142338
 623 >
 624 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.142338, Var(88).penalty: 1.000000, Var(88).value: 0.142338
 625 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 6       || usage: 0.000000 remaining: 0.000000 bound: 0.840597
 626 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 5       || usage: 0.000000 remaining: 2.636440 bound: 3.644610
 627 > [0.000000]: [surf_maxmin/DEBUG] var=82, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.594365, var.bound*var.penalty=-1.000000
 628 > [0.000000]: [surf_maxmin/DEBUG] var=90, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.594365, var.bound*var.penalty=-1.000000
 629 > [0.000000]: [surf_maxmin/DEBUG] Setting var (82) value to 0.594365
 630 >
 631 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.594365, Var(82).penalty: 1.000000, Var(82).value: 0.594365
 632 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 4       || usage: 0.000000 remaining: 0.941735 bound: 2.481012
 633 > [0.000000]: [surf_maxmin/DEBUG] Setting var (90) value to 0.594365
 634 >
 635 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.594365, Var(90).penalty: 1.000000, Var(90).value: 0.594365
 636 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 3       || usage: 0.000000 remaining: 3.215631 bound: 4.957733
 637 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 2       || usage: 0.000000 remaining: 2.151237 bound: 3.157089
 638 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 0.000000 bound: 4.946545
 639 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '90'(1.000000) '88'(1.000000) '87'(1.000000) '85'(1.000000) '84'(1.000000) '83'(1.000000) '82'(1.000000) '81'(1.000000) '86'(0.000000) '89'(0.000000) )
 640 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 641 > [0.000000]: [surf_maxmin/DEBUG]       (1.482735.'87'(0.043272) + 2.501577.'84'(0.142338) + 1.282758.'83'(0.142338) + 1.911462.'81'(0.142338) + 1.942518.'86'(0.000000) + 0.419592.'86'(0.000000) + 1.720571.'89'(0.000000) + 0) <= 4.185082 ('85')
 642 > [0.000000]: [surf_maxmin/DEBUG]       (2.079257.'88'(0.142338) + 2.001718.'85'(0.043272) + 2.844104.'83'(0.142338) + 1.551021.'81'(0.142338) + 1.225846.'86'(0.000000) + 0.957081.'86'(0.000000) + 0.479633.'89'(0.000000) + 0) <= 3.644610 ('81')
 643 > [0.000000]: [surf_maxmin/DEBUG]       (1.577974.'88'(0.142338) + 1.155912.'84'(0.142338) + 1.288511.'83'(0.142338) + 1.883225.'81'(0.142338) + 0) <= 0.840597 ('87')
 644 > [0.000000]: [surf_maxmin/DEBUG]       (1.607607.'85'(0.043272) + 1.524042.'81'(0.142338) + 1.148263.'89'(0.000000) + 0) <= 1.338295 ('83')
 645 > [0.000000]: [surf_maxmin/DEBUG]       (0.400642.'87'(0.043272) + 1.519780.'83'(0.142338) + 2.196658.'82'(0.594365) + 0) <= 2.481012 ('86')
 646 > [0.000000]: [surf_maxmin/DEBUG]       (0.645070.'90'(0.594365) + 2.501628.'90'(0.594365) + 0.669514.'88'(0.142338) + 1.205610.'82'(0.594365) + 3.809758.'82'(0.594365) + 0) <= 4.946545 ('88')
 647 > [0.000000]: [surf_maxmin/DEBUG]       (2.319476.'90'(0.594365) + 0.452335.'88'(0.142338) + 1.264869.'87'(0.043272) + 0.411141.'82'(0.594365) + 0) <= 4.957733 ('82')
 648 > [0.000000]: [surf_maxmin/DEBUG]       (1.403149.'90'(0.594365) + 1.207467.'84'(0.142338) + 0) <= 3.157089 ('89')
 649 > [0.000000]: [surf_maxmin/DEBUG]       (1.749117.'85'(0.043272) + 0.632120.'84'(0.142338) + 0.992685.'89'(0.000000) + 0) <= 9.509640 ('90')
 650 > [0.000000]: [surf_maxmin/DEBUG]       (1.458012.'87'(0.043272) + 1.620683.'85'(0.043272) + 0) <= 0.133220 ('84')
 651 > [0.000000]: [surf_maxmin/DEBUG] Variables
 652 > [0.000000]: [surf_maxmin/DEBUG] '90'(1.000000) : 0.594365
 653 > [0.000000]: [surf_maxmin/DEBUG] '88'(1.000000) : 0.142338
 654 > [0.000000]: [surf_maxmin/DEBUG] '87'(1.000000) : 0.043272
 655 > [0.000000]: [surf_maxmin/DEBUG] '85'(1.000000) : 0.043272
 656 > [0.000000]: [surf_maxmin/DEBUG] '84'(1.000000) : 0.142338
 657 > [0.000000]: [surf_maxmin/DEBUG] '83'(1.000000) : 0.142338
 658 > [0.000000]: [surf_maxmin/DEBUG] '82'(1.000000) : 0.594365
 659 > [0.000000]: [surf_maxmin/DEBUG] '81'(1.000000) : 0.142338
 660 > [0.000000]: [surf_maxmin/DEBUG] '86'(0.000000) : 0.000000
 661 > [0.000000]: [surf_maxmin/DEBUG] '89'(0.000000) : 0.000000
 662 > Starting 9: (937)
 663 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 0
 664 > Starting to solve(77)
 665 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 9
 666 > [0.000000]: [surf_maxmin/DEBUG] Constraint '95' usage: 4.419336 remaining: 1.980629 concurrency: 3<=3<=3
 667 > [0.000000]: [surf_maxmin/DEBUG] Constraint '100' usage: 5.499631 remaining: 3.360716 concurrency: 2<=2<=3
 668 > [0.000000]: [surf_maxmin/DEBUG] Constraint '96' usage: 2.312398 remaining: 2.655661 concurrency: 1<=1<=-1
 669 > [0.000000]: [surf_maxmin/DEBUG] Constraint '97' usage: 3.720743 remaining: 2.636028 concurrency: 2<=2<=-1
 670 > [0.000000]: [surf_maxmin/DEBUG] Constraint '99' usage: 4.936228 remaining: 9.533933 concurrency: 2<=3<=4
 671 > [0.000000]: [surf_maxmin/DEBUG] Constraint '92' usage: 2.624988 remaining: 4.945899 concurrency: 2<=2<=4
 672 > [0.000000]: [surf_maxmin/DEBUG] Constraint '98' usage: 2.356019 remaining: 1.503779 concurrency: 1<=1<=4
 673 > [0.000000]: [surf_maxmin/DEBUG] Constraint '93' usage: 1.752531 remaining: 7.488039 concurrency: 1<=1<=4
 674 > [0.000000]: [surf_maxmin/DEBUG] Constraint '94' usage: 4.092524 remaining: 5.833217 concurrency: 2<=3<=4
 675 > [0.000000]: [surf_maxmin/DEBUG] var=91, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.448173, var.bound*var.penalty=-1.000000
 676 > [0.000000]: [surf_maxmin/DEBUG] var=93, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.448173, var.bound*var.penalty=-1.000000
 677 > [0.000000]: [surf_maxmin/DEBUG] Setting var (91) value to 0.448173
 678 >
 679 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.448173, Var(91).penalty: 1.000000, Var(91).value: 0.448173
 680 > [0.000000]: [surf_maxmin/DEBUG] Setting var (93) value to 0.448173
 681 >
 682 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.448173, Var(93).penalty: 1.000000, Var(93).value: 0.448173
 683 > [0.000000]: [surf_maxmin/DEBUG] index: 6       cnst_light_num: 9       || usage: 0.000000 remaining: 0.447874 bound: 1.503779
 684 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 8       || usage: 0.000000 remaining: 0.000000 bound: 1.980629
 685 > [0.000000]: [surf_maxmin/DEBUG] var=92, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.708468, var.bound*var.penalty=-1.000000
 686 > [0.000000]: [surf_maxmin/DEBUG] var=95, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.708468, var.bound*var.penalty=-1.000000
 687 > [0.000000]: [surf_maxmin/DEBUG] Setting var (92) value to 0.708468
 688 >
 689 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.708468, Var(92).penalty: 1.000000, Var(92).value: 0.708468
 690 > [0.000000]: [surf_maxmin/DEBUG] Setting var (95) value to 0.708468
 691 >
 692 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.708468, Var(95).penalty: 1.000000, Var(95).value: 0.708468
 693 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 7       || usage: 0.000000 remaining: 0.000000 bound: 2.636028
 694 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 6       || usage: 0.000000 remaining: 6.246426 bound: 7.488039
 695 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 5       || usage: 0.000000 remaining: 0.297082 bound: 3.360716
 696 > [0.000000]: [surf_maxmin/DEBUG] var=96, var.bound=-1.000000, var.penalty=1.000000, min_usage=1.883920, var.bound*var.penalty=-1.000000
 697 > [0.000000]: [surf_maxmin/DEBUG] Setting var (96) value to 1.883920
 698 >
 699 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.883920, Var(96).penalty: 1.000000, Var(96).value: 1.883920
 700 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 4       || usage: 0.000000 remaining: 0.330591 bound: 2.655661
 701 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 3       || usage: 0.000000 remaining: 0.000000 bound: 5.833217
 702 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 2       || usage: 0.000000 remaining: 1.522899 bound: 4.945899
 703 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 3.856333 bound: 9.533933
 704 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '96'(1.000000) '95'(1.000000) '93'(1.000000) '92'(1.000000) '91'(1.000000) '94'(0.000000) '97'(0.000000) '98'(0.000000) '99'(0.000000) '100'(0.000000) )
 705 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 706 > [0.000000]: [surf_maxmin/DEBUG]       (1.700386.'93'(0.448173) + 1.316422.'91'(0.448173) + 1.402528.'91'(0.448173) + 1.279564.'94'(0.000000) + 0.377061.'97'(0.000000) + 0.519521.'99'(0.000000) + 1.523019.'100'(0.000000) + 0.201844.'100'(0.000000) + 0) <= 1.980629 ('95')
 707 > [0.000000]: [surf_maxmin/DEBUG]       (0.948629.'95'(0.708468) + 1.352015.'92'(0.708468) + 0.197187.'91'(0.448173) + 3.001799.'91'(0.448173) + 2.326532.'94'(0.000000) + 0.823225.'98'(0.000000) + 2.139422.'100'(0.000000) + 0) <= 3.360716 ('100')
 708 > [0.000000]: [surf_maxmin/DEBUG]       (0.584294.'96'(1.883920) + 1.728104.'92'(0.708468) + 1.949994.'97'(0.000000) + 0.413608.'99'(0.000000) + 0) <= 2.655661 ('96')
 709 > [0.000000]: [surf_maxmin/DEBUG]       (2.435596.'95'(0.708468) + 1.285148.'92'(0.708468) + 1.360617.'97'(0.000000) + 1.470623.'98'(0.000000) + 0.989947.'98'(0.000000) + 0) <= 2.636028 ('97')
 710 > [0.000000]: [surf_maxmin/DEBUG]       (2.070922.'96'(1.883920) + 0.975162.'93'(0.448173) + 1.890144.'92'(0.708468) + 1.599412.'94'(0.000000) + 0.809700.'99'(0.000000) + 1.930577.'100'(0.000000) + 0) <= 9.533933 ('99')
 711 > [0.000000]: [surf_maxmin/DEBUG]       (1.564726.'96'(1.883920) + 1.060262.'93'(0.448173) + 0) <= 4.945899 ('92')
 712 > [0.000000]: [surf_maxmin/DEBUG]       (2.356019.'93'(0.448173) + 0) <= 1.503779 ('98')
 713 > [0.000000]: [surf_maxmin/DEBUG]       (1.752531.'95'(0.708468) + 0.787750.'94'(0.000000) + 0) <= 7.488039 ('93')
 714 > [0.000000]: [surf_maxmin/DEBUG]       (2.495885.'96'(1.883920) + 1.596639.'95'(0.708468) + 1.565153.'97'(0.000000) + 0.810748.'98'(0.000000) + 0.948808.'99'(0.000000) + 0) <= 5.833217 ('94')
 715 > [0.000000]: [surf_maxmin/DEBUG] Variables
 716 > [0.000000]: [surf_maxmin/DEBUG] '96'(1.000000) : 1.883920
 717 > [0.000000]: [surf_maxmin/DEBUG] '95'(1.000000) : 0.708468
 718 > [0.000000]: [surf_maxmin/DEBUG] '93'(1.000000) : 0.448173
 719 > [0.000000]: [surf_maxmin/DEBUG] '92'(1.000000) : 0.708468
 720 > [0.000000]: [surf_maxmin/DEBUG] '91'(1.000000) : 0.448173
 721 > [0.000000]: [surf_maxmin/DEBUG] '94'(0.000000) : 0.000000
 722 > [0.000000]: [surf_maxmin/DEBUG] '97'(0.000000) : 0.000000
 723 > [0.000000]: [surf_maxmin/DEBUG] '98'(0.000000) : 0.000000
 724 > [0.000000]: [surf_maxmin/DEBUG] '99'(0.000000) : 0.000000
 725 > [0.000000]: [surf_maxmin/DEBUG] '100'(0.000000) : 0.000000
 726 > 10x 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