teshsuite/surf/maxmin_bench/maxmin_bench_small.tesh

   1 #! ./tesh
   2
   3 ! timeout 10
   4 ! expect return 0
   5 ! output sort
   6 $ ./maxmin_bench small  10 test
   7 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
   8 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
   9 > [0.000000]: [surf_maxmin/DEBUG] Constraint '9' usage: 4.703796 remaining: 7.082917
  10 > [0.000000]: [surf_maxmin/DEBUG] Constraint '6' usage: 5.688312 remaining: 9.860140
  11 > [0.000000]: [surf_maxmin/DEBUG] Constraint '7' usage: 5.541459 remaining: 7.282717
  12 > [0.000000]: [surf_maxmin/DEBUG] Constraint '10' usage: 4.696304 remaining: 5.594406
  13 > [0.000000]: [surf_maxmin/DEBUG] Constraint '5' usage: 3.197802 remaining: 4.915085
  14 > [0.000000]: [surf_maxmin/DEBUG] Constraint '1' usage: 2.429071 remaining: 2.487512
  15 > [0.000000]: [surf_maxmin/DEBUG] Constraint '2' usage: 4.501499 remaining: 6.573427
  16 > [0.000000]: [surf_maxmin/DEBUG] Constraint '4' usage: 1.014486 remaining: 7.082917
  17 > [0.000000]: [surf_maxmin/DEBUG] Constraint '8' usage: 2.985015 remaining: 3.026973
  18 > [0.000000]: [surf_maxmin/DEBUG] Constraint '3' usage: 2.495005 remaining: 5.434565
  19 > [0.000000]: [surf_maxmin/DEBUG] var=9, var->bound=-1.000000, var->weight=1.000000, min_usage=1.014056, var->bound*var->weight=-1.000000
  20 > [0.000000]: [surf_maxmin/DEBUG] Setting var (9) value to 1.014056
  21 >
  22 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.014056, Var(9)->weight: 1.000000, Var(9)->value: 1.014056
  23 > [0.000000]: [surf_maxmin/DEBUG] index: 8       cnst_light_num: 10      || usage: 0.000000 remaining: 0.000000 bound: 3.026973
  24 > [0.000000]: [surf_maxmin/DEBUG] var=2, var->bound=-1.000000, var->weight=1.000000, min_usage=1.024059, var->bound*var->weight=-1.000000
  25 > [0.000000]: [surf_maxmin/DEBUG] var=10, var->bound=-1.000000, var->weight=1.000000, min_usage=1.024059, var->bound*var->weight=-1.000000
  26 > [0.000000]: [surf_maxmin/DEBUG] Setting var (2) value to 1.024059
  27 >
  28 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.024059, Var(2)->weight: 1.000000, Var(2)->value: 1.024059
  29 > [0.000000]: [surf_maxmin/DEBUG] Setting var (10) value to 1.024059
  30 >
  31 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.024059, Var(10)->weight: 1.000000, Var(10)->value: 1.024059
  32 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 2.487512
  33 > [0.000000]: [surf_maxmin/DEBUG] index: 7       cnst_light_num: 8       || usage: 0.000000 remaining: 6.044024 bound: 7.082917
  34 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 7       || usage: 0.000000 remaining: 2.879533 bound: 5.434565
  35 > [0.000000]: [surf_maxmin/DEBUG] var=1, var->bound=-1.000000, var->weight=1.000000, min_usage=1.338213, var->bound*var->weight=-1.000000
  36 > [0.000000]: [surf_maxmin/DEBUG] var=4, var->bound=-1.000000, var->weight=1.000000, min_usage=1.338213, var->bound*var->weight=-1.000000
  37 > [0.000000]: [surf_maxmin/DEBUG] Setting var (1) value to 1.338213
  38 >
  39 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.338213, Var(1)->weight: 1.000000, Var(1)->value: 1.338213
  40 > [0.000000]: [surf_maxmin/DEBUG] Setting var (4) value to 1.338213
  41 >
  42 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.338213, Var(4)->weight: 1.000000, Var(4)->value: 1.338213
  43 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 6       || usage: 0.000000 remaining: 0.000000 bound: 5.594406
  44 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 5       || usage: 0.000000 remaining: 1.623266 bound: 6.573427
  45 > [0.000000]: [surf_maxmin/DEBUG] var=3, var->bound=-1.000000, var->weight=1.000000, min_usage=1.625653, var->bound*var->weight=-1.000000
  46 > [0.000000]: [surf_maxmin/DEBUG] Setting var (3) value to 1.625653
  47 >
  48 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.625653, Var(3)->weight: 1.000000, Var(3)->value: 1.625653
  49 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 4       || usage: 0.000000 remaining: 1.548031 bound: 9.860140
  50 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 3       || usage: 0.000000 remaining: 0.581095 bound: 7.282717
  51 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 2       || usage: 0.000000 remaining: 0.000000 bound: 7.082917
  52 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 0.593717 bound: 4.915085
  53 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '10'(1.000000) '9'(1.000000) '4'(1.000000) '3'(1.000000) '2'(1.000000) '1'(1.000000) '5'(0.000000) '6'(0.000000) '7'(0.000000) '8'(0.000000) )
  54 > [0.000000]: [surf_maxmin/DEBUG] Constraints
  55 > [0.000000]: [surf_maxmin/DEBUG]       (1.314186.'4'(1.338213) + 2.742258.'3'(1.625653) + 0.647353.'1'(1.338213) + 1.975025.'5'(0.000000) + 0.741758.'6'(0.000000) + 0) <= 7.082917 ('9')
  56 > [0.000000]: [surf_maxmin/DEBUG]       (1.639361.'4'(1.338213) + 2.435065.'3'(1.625653) + 1.613886.'1'(1.338213) + 0.157343.'5'(0.000000) + 1.305195.'6'(0.000000) + 0) <= 9.860140 ('6')
  57 > [0.000000]: [surf_maxmin/DEBUG]       (2.072428.'9'(1.014056) + 0.858641.'3'(1.625653) + 0.920080.'2'(1.024059) + 1.690310.'1'(1.338213) + 1.462537.'7'(0.000000) + 0) <= 7.282717 ('7')
  58 > [0.000000]: [surf_maxmin/DEBUG]       (2.129371.'9'(1.014056) + 0.971029.'4'(1.338213) + 1.595904.'1'(1.338213) + 1.958541.'8'(0.000000) + 0) <= 5.594406 ('10')
  59 > [0.000000]: [surf_maxmin/DEBUG]       (1.739760.'3'(1.625653) + 1.458042.'2'(1.024059) + 1.122378.'5'(0.000000) + 1.224276.'7'(0.000000) + 0) <= 4.915085 ('5')
  60 > [0.000000]: [surf_maxmin/DEBUG]       (1.603397.'10'(1.024059) + 0.825674.'2'(1.024059) + 3.191808.'8'(0.000000) + 1.276723.'8'(0.000000) + 0) <= 2.487512 ('1')
  61 > [0.000000]: [surf_maxmin/DEBUG]       (0.942557.'10'(1.024059) + 1.083417.'4'(1.338213) + 2.475524.'2'(1.024059) + 0.941059.'5'(0.000000) + 1.035465.'6'(0.000000) + 1.897103.'7'(0.000000) + 0.597902.'7'(0.000000) + 0.008991.'8'(0.000000) + 0) <= 6.573427 ('2')
  62 > [0.000000]: [surf_maxmin/DEBUG]       (1.014486.'10'(1.024059) + 0.872128.'6'(0.000000) + 0) <= 7.082917 ('4')
  63 > [0.000000]: [surf_maxmin/DEBUG]       (0.959041.'9'(1.014056) + 2.025974.'9'(1.014056) + 0) <= 3.026973 ('8')
  64 > [0.000000]: [surf_maxmin/DEBUG]       (2.495005.'10'(1.024059) + 0) <= 5.434565 ('3')
  65 > [0.000000]: [surf_maxmin/DEBUG] Variables
  66 > [0.000000]: [surf_maxmin/DEBUG] '10'(1.000000) : 1.024059
  67 > [0.000000]: [surf_maxmin/DEBUG] '9'(1.000000) : 1.014056
  68 > [0.000000]: [surf_maxmin/DEBUG] '4'(1.000000) : 1.338213
  69 > [0.000000]: [surf_maxmin/DEBUG] '3'(1.000000) : 1.625653
  70 > [0.000000]: [surf_maxmin/DEBUG] '2'(1.000000) : 1.024059
  71 > [0.000000]: [surf_maxmin/DEBUG] '1'(1.000000) : 1.338213
  72 > [0.000000]: [surf_maxmin/DEBUG] '5'(0.000000) : 0.000000
  73 > [0.000000]: [surf_maxmin/DEBUG] '6'(0.000000) : 0.000000
  74 > [0.000000]: [surf_maxmin/DEBUG] '7'(0.000000) : 0.000000
  75 > [0.000000]: [surf_maxmin/DEBUG] '8'(0.000000) : 0.000000
  76 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '10'(1.000000) '9'(1.000000) '4'(1.000000) '3'(1.000000) '2'(1.000000) '1'(1.000000) '5'(0.000000) '6'(0.000000) '7'(0.000000) '8'(0.000000) )
  77 > [0.000000]: [surf_maxmin/DEBUG] Constraints
  78 > [0.000000]: [surf_maxmin/DEBUG]       (1.314186.'4'(1.338213) + 2.742258.'3'(1.625653) + 0.647353.'1'(1.338213) + 1.975025.'5'(0.000000) + 0.741758.'6'(0.000000) + 0) <= 7.082917 ('9')
  79 > [0.000000]: [surf_maxmin/DEBUG]       (1.639361.'4'(1.338213) + 2.435065.'3'(1.625653) + 1.613886.'1'(1.338213) + 0.157343.'5'(0.000000) + 1.305195.'6'(0.000000) + 0) <= 9.860140 ('6')
  80 > [0.000000]: [surf_maxmin/DEBUG]       (2.072428.'9'(1.014056) + 0.858641.'3'(1.625653) + 0.920080.'2'(1.024059) + 1.690310.'1'(1.338213) + 1.462537.'7'(0.000000) + 0) <= 7.282717 ('7')
  81 > [0.000000]: [surf_maxmin/DEBUG]       (2.129371.'9'(1.014056) + 0.971029.'4'(1.338213) + 1.595904.'1'(1.338213) + 1.958541.'8'(0.000000) + 0) <= 5.594406 ('10')
  82 > [0.000000]: [surf_maxmin/DEBUG]       (1.739760.'3'(1.625653) + 1.458042.'2'(1.024059) + 1.122378.'5'(0.000000) + 1.224276.'7'(0.000000) + 0) <= 4.915085 ('5')
  83 > [0.000000]: [surf_maxmin/DEBUG]       (1.603397.'10'(1.024059) + 0.825674.'2'(1.024059) + 3.191808.'8'(0.000000) + 1.276723.'8'(0.000000) + 0) <= 2.487512 ('1')
  84 > [0.000000]: [surf_maxmin/DEBUG]       (0.942557.'10'(1.024059) + 1.083417.'4'(1.338213) + 2.475524.'2'(1.024059) + 0.941059.'5'(0.000000) + 1.035465.'6'(0.000000) + 1.897103.'7'(0.000000) + 0.597902.'7'(0.000000) + 0.008991.'8'(0.000000) + 0) <= 6.573427 ('2')
  85 > [0.000000]: [surf_maxmin/DEBUG]       (1.014486.'10'(1.024059) + 0.872128.'6'(0.000000) + 0) <= 7.082917 ('4')
  86 > [0.000000]: [surf_maxmin/DEBUG]       (0.959041.'9'(1.014056) + 2.025974.'9'(1.014056) + 0) <= 3.026973 ('8')
  87 > [0.000000]: [surf_maxmin/DEBUG]       (2.495005.'10'(1.024059) + 0) <= 5.434565 ('3')
  88 > [0.000000]: [surf_maxmin/DEBUG] Variables
  89 > [0.000000]: [surf_maxmin/DEBUG] '10'(1.000000) : 1.024059
  90 > [0.000000]: [surf_maxmin/DEBUG] '9'(1.000000) : 1.014056
  91 > [0.000000]: [surf_maxmin/DEBUG] '4'(1.000000) : 1.338213
  92 > [0.000000]: [surf_maxmin/DEBUG] '3'(1.000000) : 1.625653
  93 > [0.000000]: [surf_maxmin/DEBUG] '2'(1.000000) : 1.024059
  94 > [0.000000]: [surf_maxmin/DEBUG] '1'(1.000000) : 1.338213
  95 > [0.000000]: [surf_maxmin/DEBUG] '5'(0.000000) : 0.000000
  96 > [0.000000]: [surf_maxmin/DEBUG] '6'(0.000000) : 0.000000
  97 > [0.000000]: [surf_maxmin/DEBUG] '7'(0.000000) : 0.000000
  98 > [0.000000]: [surf_maxmin/DEBUG] '8'(0.000000) : 0.000000
  99 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
 100 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 101 > [0.000000]: [surf_maxmin/DEBUG] Constraint '16' usage: 2.596903 remaining: 9.730270
 102 > [0.000000]: [surf_maxmin/DEBUG] Constraint '20' usage: 6.927572 remaining: 1.978022
 103 > [0.000000]: [surf_maxmin/DEBUG] Constraint '17' usage: 5.505495 remaining: 4.575425
 104 > [0.000000]: [surf_maxmin/DEBUG] Constraint '12' usage: 2.631369 remaining: 2.127872
 105 > [0.000000]: [surf_maxmin/DEBUG] Constraint '19' usage: 4.567433 remaining: 6.663337
 106 > [0.000000]: [surf_maxmin/DEBUG] Constraint '18' usage: 5.965534 remaining: 6.053946
 107 > [0.000000]: [surf_maxmin/DEBUG] Constraint '15' usage: 4.024975 remaining: 3.366633
 108 > [0.000000]: [surf_maxmin/DEBUG] Constraint '11' usage: 4.858142 remaining: 4.975025
 109 > [0.000000]: [surf_maxmin/DEBUG] Constraint '13' usage: 5.908591 remaining: 1.088911
 110 > [0.000000]: [surf_maxmin/DEBUG] Constraint '14' usage: 1.957043 remaining: 7.702298
 111 > [0.000000]: [surf_maxmin/DEBUG] var=14, var->bound=-1.000000, var->weight=1.000000, min_usage=0.184293, var->bound*var->weight=-1.000000
 112 > [0.000000]: [surf_maxmin/DEBUG] var=15, var->bound=-1.000000, var->weight=1.000000, min_usage=0.184293, var->bound*var->weight=-1.000000
 113 > [0.000000]: [surf_maxmin/DEBUG] var=17, var->bound=-1.000000, var->weight=1.000000, min_usage=0.184293, var->bound*var->weight=-1.000000
 114 > [0.000000]: [surf_maxmin/DEBUG] Setting var (14) value to 0.184293
 115 >
 116 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(14)->weight: 1.000000, Var(14)->value: 0.184293
 117 > [0.000000]: [surf_maxmin/DEBUG] index: 9       cnst_light_num: 10      || usage: 0.000000 remaining: 7.341629 bound: 7.702298
 118 > [0.000000]: [surf_maxmin/DEBUG] Setting var (15) value to 0.184293
 119 >
 120 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(15)->weight: 1.000000, Var(15)->value: 0.184293
 121 > [0.000000]: [surf_maxmin/DEBUG] Setting var (17) value to 0.184293
 122 >
 123 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.184293, Var(17)->weight: 1.000000, Var(17)->value: 0.184293
 124 > [0.000000]: [surf_maxmin/DEBUG] index: 8       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 1.088911
 125 > [0.000000]: [surf_maxmin/DEBUG] var=11, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000
 126 > [0.000000]: [surf_maxmin/DEBUG] var=12, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000
 127 > [0.000000]: [surf_maxmin/DEBUG] var=13, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000
 128 > [0.000000]: [surf_maxmin/DEBUG] var=19, var->bound=-1.000000, var->weight=1.000000, min_usage=0.316463, var->bound*var->weight=-1.000000
 129 > [0.000000]: [surf_maxmin/DEBUG] Setting var (11) value to 0.316463
 130 >
 131 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(11)->weight: 1.000000, Var(11)->value: 0.316463
 132 > [0.000000]: [surf_maxmin/DEBUG] Setting var (12) value to 0.316463
 133 >
 134 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(12)->weight: 1.000000, Var(12)->value: 0.316463
 135 > [0.000000]: [surf_maxmin/DEBUG] Setting var (13) value to 0.316463
 136 >
 137 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(13)->weight: 1.000000, Var(13)->value: 0.316463
 138 > [0.000000]: [surf_maxmin/DEBUG] index: 4       cnst_light_num: 8       || usage: 0.000000 remaining: 5.345264 bound: 6.663337
 139 > [0.000000]: [surf_maxmin/DEBUG] index: 6       cnst_light_num: 7       || usage: 0.000000 remaining: 2.183786 bound: 3.366633
 140 > [0.000000]: [surf_maxmin/DEBUG] Setting var (19) value to 0.316463
 141 >
 142 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.316463, Var(19)->weight: 1.000000, Var(19)->value: 0.316463
 143 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 6       || usage: 0.000000 remaining: 4.337989 bound: 6.053946
 144 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 5       || usage: 0.000000 remaining: 0.000000 bound: 1.978022
 145 > [0.000000]: [surf_maxmin/DEBUG] var=18, var->bound=-1.000000, var->weight=1.000000, min_usage=1.961597, var->bound*var->weight=-1.000000
 146 > [0.000000]: [surf_maxmin/DEBUG] Setting var (18) value to 1.961597
 147 >
 148 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.961597, Var(18)->weight: 1.000000, Var(18)->value: 1.961597
 149 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 4       || usage: 0.000000 remaining: 0.987622 bound: 4.975025
 150 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 3       || usage: 0.000000 remaining: 0.000000 bound: 2.127872
 151 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 2       || usage: 0.000000 remaining: 0.826438 bound: 4.575425
 152 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 6.827787 bound: 9.730270
 153 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '19'(1.000000) '18'(1.000000) '17'(1.000000) '15'(1.000000) '14'(1.000000) '13'(1.000000) '12'(1.000000) '11'(1.000000) '16'(0.000000) '20'(0.000000) )
 154 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 155 > [0.000000]: [surf_maxmin/DEBUG]       (1.288711.'19'(0.316463) + 1.264735.'18'(1.961597) + 0.043457.'11'(0.316463) + 1.523976.'20'(0.000000) + 0) <= 9.730270 ('16')
 156 > [0.000000]: [surf_maxmin/DEBUG]       (1.107393.'19'(0.316463) + 1.621379.'17'(0.184293) + 1.846154.'13'(0.316463) + 1.488012.'12'(0.316463) + 0.864635.'11'(0.316463) + 2.066434.'16'(0.000000) + 0) <= 1.978022 ('20')
 157 > [0.000000]: [surf_maxmin/DEBUG]       (2.557942.'19'(0.316463) + 1.219780.'18'(1.961597) + 1.727772.'11'(0.316463) + 0) <= 4.575425 ('17')
 158 > [0.000000]: [surf_maxmin/DEBUG]       (0.885614.'18'(1.961597) + 0.305694.'17'(0.184293) + 0.918581.'14'(0.184293) + 0.521479.'11'(0.316463) + 0) <= 2.127872 ('12')
 159 > [0.000000]: [surf_maxmin/DEBUG]       (0.963536.'15'(0.184293) + 2.220779.'13'(0.316463) + 1.383117.'12'(0.316463) + 2.316683.'16'(0.000000) + 0.906593.'20'(0.000000) + 0) <= 6.663337 ('19')
 160 > [0.000000]: [surf_maxmin/DEBUG]       (1.021978.'19'(0.316463) + 1.300699.'17'(0.184293) + 2.652348.'13'(0.316463) + 0.990509.'12'(0.316463) + 1.393606.'16'(0.000000) + 0) <= 6.053946 ('18')
 161 > [0.000000]: [surf_maxmin/DEBUG]       (0.687812.'15'(0.184293) + 1.502997.'13'(0.316463) + 1.834166.'12'(0.316463) + 1.158342.'20'(0.000000) + 0) <= 3.366633 ('15')
 162 > [0.000000]: [surf_maxmin/DEBUG]       (1.739760.'18'(1.961597) + 1.459540.'15'(0.184293) + 1.658841.'14'(0.184293) + 1.189810.'16'(0.000000) + 0) <= 4.975025 ('11')
 163 > [0.000000]: [surf_maxmin/DEBUG]       (2.013986.'17'(0.184293) + 1.985514.'15'(0.184293) + 1.909091.'14'(0.184293) + 0.956044.'20'(0.000000) + 0) <= 1.088911 ('13')
 164 > [0.000000]: [surf_maxmin/DEBUG]       (1.957043.'14'(0.184293) + 0) <= 7.702298 ('14')
 165 > [0.000000]: [surf_maxmin/DEBUG] Variables
 166 > [0.000000]: [surf_maxmin/DEBUG] '19'(1.000000) : 0.316463
 167 > [0.000000]: [surf_maxmin/DEBUG] '18'(1.000000) : 1.961597
 168 > [0.000000]: [surf_maxmin/DEBUG] '17'(1.000000) : 0.184293
 169 > [0.000000]: [surf_maxmin/DEBUG] '15'(1.000000) : 0.184293
 170 > [0.000000]: [surf_maxmin/DEBUG] '14'(1.000000) : 0.184293
 171 > [0.000000]: [surf_maxmin/DEBUG] '13'(1.000000) : 0.316463
 172 > [0.000000]: [surf_maxmin/DEBUG] '12'(1.000000) : 0.316463
 173 > [0.000000]: [surf_maxmin/DEBUG] '11'(1.000000) : 0.316463
 174 > [0.000000]: [surf_maxmin/DEBUG] '16'(0.000000) : 0.000000
 175 > [0.000000]: [surf_maxmin/DEBUG] '20'(0.000000) : 0.000000
 176 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '19'(1.000000) '18'(1.000000) '17'(1.000000) '15'(1.000000) '14'(1.000000) '13'(1.000000) '12'(1.000000) '11'(1.000000) '16'(0.000000) '20'(0.000000) )
 177 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 178 > [0.000000]: [surf_maxmin/DEBUG]       (1.288711.'19'(0.316463) + 1.264735.'18'(1.961597) + 0.043457.'11'(0.316463) + 1.523976.'20'(0.000000) + 0) <= 9.730270 ('16')
 179 > [0.000000]: [surf_maxmin/DEBUG]       (1.107393.'19'(0.316463) + 1.621379.'17'(0.184293) + 1.846154.'13'(0.316463) + 1.488012.'12'(0.316463) + 0.864635.'11'(0.316463) + 2.066434.'16'(0.000000) + 0) <= 1.978022 ('20')
 180 > [0.000000]: [surf_maxmin/DEBUG]       (2.557942.'19'(0.316463) + 1.219780.'18'(1.961597) + 1.727772.'11'(0.316463) + 0) <= 4.575425 ('17')
 181 > [0.000000]: [surf_maxmin/DEBUG]       (0.885614.'18'(1.961597) + 0.305694.'17'(0.184293) + 0.918581.'14'(0.184293) + 0.521479.'11'(0.316463) + 0) <= 2.127872 ('12')
 182 > [0.000000]: [surf_maxmin/DEBUG]       (0.963536.'15'(0.184293) + 2.220779.'13'(0.316463) + 1.383117.'12'(0.316463) + 2.316683.'16'(0.000000) + 0.906593.'20'(0.000000) + 0) <= 6.663337 ('19')
 183 > [0.000000]: [surf_maxmin/DEBUG]       (1.021978.'19'(0.316463) + 1.300699.'17'(0.184293) + 2.652348.'13'(0.316463) + 0.990509.'12'(0.316463) + 1.393606.'16'(0.000000) + 0) <= 6.053946 ('18')
 184 > [0.000000]: [surf_maxmin/DEBUG]       (0.687812.'15'(0.184293) + 1.502997.'13'(0.316463) + 1.834166.'12'(0.316463) + 1.158342.'20'(0.000000) + 0) <= 3.366633 ('15')
 185 > [0.000000]: [surf_maxmin/DEBUG]       (1.739760.'18'(1.961597) + 1.459540.'15'(0.184293) + 1.658841.'14'(0.184293) + 1.189810.'16'(0.000000) + 0) <= 4.975025 ('11')
 186 > [0.000000]: [surf_maxmin/DEBUG]       (2.013986.'17'(0.184293) + 1.985514.'15'(0.184293) + 1.909091.'14'(0.184293) + 0.956044.'20'(0.000000) + 0) <= 1.088911 ('13')
 187 > [0.000000]: [surf_maxmin/DEBUG]       (1.957043.'14'(0.184293) + 0) <= 7.702298 ('14')
 188 > [0.000000]: [surf_maxmin/DEBUG] Variables
 189 > [0.000000]: [surf_maxmin/DEBUG] '19'(1.000000) : 0.316463
 190 > [0.000000]: [surf_maxmin/DEBUG] '18'(1.000000) : 1.961597
 191 > [0.000000]: [surf_maxmin/DEBUG] '17'(1.000000) : 0.184293
 192 > [0.000000]: [surf_maxmin/DEBUG] '15'(1.000000) : 0.184293
 193 > [0.000000]: [surf_maxmin/DEBUG] '14'(1.000000) : 0.184293
 194 > [0.000000]: [surf_maxmin/DEBUG] '13'(1.000000) : 0.316463
 195 > [0.000000]: [surf_maxmin/DEBUG] '12'(1.000000) : 0.316463
 196 > [0.000000]: [surf_maxmin/DEBUG] '11'(1.000000) : 0.316463
 197 > [0.000000]: [surf_maxmin/DEBUG] '16'(0.000000) : 0.000000
 198 > [0.000000]: [surf_maxmin/DEBUG] '20'(0.000000) : 0.000000
 199 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
 200 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 201 > [0.000000]: [surf_maxmin/DEBUG] Constraint '28' usage: 2.611888 remaining: 2.127872
 202 > [0.000000]: [surf_maxmin/DEBUG] Constraint '26' usage: 3.101898 remaining: 6.863137
 203 > [0.000000]: [surf_maxmin/DEBUG] Constraint '29' usage: 4.377123 remaining: 3.856144
 204 > [0.000000]: [surf_maxmin/DEBUG] Constraint '25' usage: 4.861139 remaining: 1.258741
 205 > [0.000000]: [surf_maxmin/DEBUG] Constraint '23' usage: 8.006494 remaining: 3.396603
 206 > [0.000000]: [surf_maxmin/DEBUG] Constraint '24' usage: 4.473027 remaining: 6.723277
 207 > [0.000000]: [surf_maxmin/DEBUG] Constraint '22' usage: 2.761738 remaining: 1.428571
 208 > [0.000000]: [surf_maxmin/DEBUG] Constraint '30' usage: 3.939560 remaining: 2.967033
 209 > [0.000000]: [surf_maxmin/DEBUG] Constraint '27' usage: 3.490010 remaining: 8.721279
 210 > [0.000000]: [surf_maxmin/DEBUG] Constraint '21' usage: 3.869131 remaining: 7.462537
 211 > [0.000000]: [surf_maxmin/DEBUG] var=21, var->bound=-1.000000, var->weight=1.000000, min_usage=0.258940, var->bound*var->weight=-1.000000
 212 > [0.000000]: [surf_maxmin/DEBUG] var=23, var->bound=-1.000000, var->weight=1.000000, min_usage=0.258940, var->bound*var->weight=-1.000000
 213 > [0.000000]: [surf_maxmin/DEBUG] var=28, var->bound=-1.000000, var->weight=1.000000, min_usage=0.258940, var->bound*var->weight=-1.000000
 214 > [0.000000]: [surf_maxmin/DEBUG] Setting var (21) value to 0.258940
 215 >
 216 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.258940, Var(21)->weight: 1.000000, Var(21)->value: 0.258940
 217 > [0.000000]: [surf_maxmin/DEBUG] Setting var (23) value to 0.258940
 218 >
 219 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.258940, Var(23)->weight: 1.000000, Var(23)->value: 0.258940
 220 > [0.000000]: [surf_maxmin/DEBUG] index: 6       cnst_light_num: 10      || usage: 0.000000 remaining: 0.713448 bound: 1.428571
 221 > [0.000000]: [surf_maxmin/DEBUG] Setting var (28) value to 0.258940
 222 >
 223 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.258940, Var(28)->weight: 1.000000, Var(28)->value: 0.258940
 224 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 9       || usage: 0.000000 remaining: 1.451551 bound: 2.127872
 225 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 8       || usage: 0.000000 remaining: 0.000000 bound: 1.258741
 226 > [0.000000]: [surf_maxmin/DEBUG] var=22, var->bound=-1.000000, var->weight=1.000000, min_usage=0.493696, var->bound*var->weight=-1.000000
 227 > [0.000000]: [surf_maxmin/DEBUG] var=24, var->bound=-1.000000, var->weight=1.000000, min_usage=0.493696, var->bound*var->weight=-1.000000
 228 > [0.000000]: [surf_maxmin/DEBUG] var=25, var->bound=-1.000000, var->weight=1.000000, min_usage=0.493696, var->bound*var->weight=-1.000000
 229 > [0.000000]: [surf_maxmin/DEBUG] Setting var (22) value to 0.493696
 230 >
 231 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.493696, Var(22)->weight: 1.000000, Var(22)->value: 0.493696
 232 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 7       || usage: 0.000000 remaining: 5.661363 bound: 6.863137
 233 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 6       || usage: 0.000000 remaining: 1.851017 bound: 3.856144
 234 > [0.000000]: [surf_maxmin/DEBUG] Setting var (24) value to 0.493696
 235 >
 236 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.493696, Var(24)->weight: 1.000000, Var(24)->value: 0.493696
 237 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 5       || usage: 0.000000 remaining: 7.221658 bound: 8.721279
 238 > [0.000000]: [surf_maxmin/DEBUG] Setting var (25) value to 0.493696
 239 >
 240 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.493696, Var(25)->weight: 1.000000, Var(25)->value: 0.493696
 241 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 4       || usage: 0.000000 remaining: 0.000000 bound: 3.396603
 242 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 3       || usage: 0.000000 remaining: 1.022089 bound: 2.967033
 243 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 2       || usage: 0.000000 remaining: 6.051192 bound: 7.462537
 244 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 4.540291 bound: 6.723277
 245 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '28'(1.000000) '25'(1.000000) '24'(1.000000) '23'(1.000000) '22'(1.000000) '21'(1.000000) '26'(0.000000) '27'(0.000000) '29'(0.000000) '30'(0.000000) )
 246 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 247 > [0.000000]: [surf_maxmin/DEBUG]       (0.842158.'28'(0.258940) + 1.769730.'21'(0.258940) + 0) <= 2.127872 ('28')
 248 > [0.000000]: [surf_maxmin/DEBUG]       (1.697802.'22'(0.493696) + 1.404096.'21'(0.258940) + 0.933566.'27'(0.000000) + 2.462038.'29'(0.000000) + 0) <= 6.863137 ('26')
 249 > [0.000000]: [surf_maxmin/DEBUG]       (0.185814.'22'(0.493696) + 3.527473.'22'(0.493696) + 0.663836.'21'(0.258940) + 0.860140.'29'(0.000000) + 1.050450.'30'(0.000000) + 0) <= 3.856144 ('29')
 250 > [0.000000]: [surf_maxmin/DEBUG]       (0.761239.'28'(0.258940) + 1.526973.'23'(0.258940) + 2.572927.'21'(0.258940) + 2.180320.'26'(0.000000) + 0.639860.'26'(0.000000) + 0) <= 1.258741 ('25')
 251 > [0.000000]: [surf_maxmin/DEBUG]       (1.642358.'25'(0.493696) + 2.472527.'24'(0.493696) + 2.369131.'23'(0.258940) + 1.522478.'22'(0.493696) + 0.798701.'27'(0.000000) + 0.542458.'30'(0.000000) + 0) <= 3.396603 ('23')
 252 > [0.000000]: [surf_maxmin/DEBUG]       (2.797702.'25'(0.493696) + 1.567433.'24'(0.493696) + 0.107892.'23'(0.258940) + 1.282717.'26'(0.000000) + 1.227273.'27'(0.000000) + 0.184316.'29'(0.000000) + 2.492008.'30'(0.000000) + 0) <= 6.723277 ('24')
 253 > [0.000000]: [surf_maxmin/DEBUG]       (2.761738.'23'(0.258940) + 1.105894.'29'(0.000000) + 0) <= 1.428571 ('22')
 254 > [0.000000]: [surf_maxmin/DEBUG]       (1.407093.'25'(0.493696) + 2.532468.'24'(0.493696) + 0) <= 2.967033 ('30')
 255 > [0.000000]: [surf_maxmin/DEBUG]       (0.951548.'28'(0.258940) + 2.538462.'24'(0.493696) + 1.522478.'27'(0.000000) + 0) <= 8.721279 ('27')
 256 > [0.000000]: [surf_maxmin/DEBUG]       (2.124875.'28'(0.258940) + 1.744256.'25'(0.493696) + 1.643856.'26'(0.000000) + 0.959041.'30'(0.000000) + 0) <= 7.462537 ('21')
 257 > [0.000000]: [surf_maxmin/DEBUG] Variables
 258 > [0.000000]: [surf_maxmin/DEBUG] '28'(1.000000) : 0.258940
 259 > [0.000000]: [surf_maxmin/DEBUG] '25'(1.000000) : 0.493696
 260 > [0.000000]: [surf_maxmin/DEBUG] '24'(1.000000) : 0.493696
 261 > [0.000000]: [surf_maxmin/DEBUG] '23'(1.000000) : 0.258940
 262 > [0.000000]: [surf_maxmin/DEBUG] '22'(1.000000) : 0.493696
 263 > [0.000000]: [surf_maxmin/DEBUG] '21'(1.000000) : 0.258940
 264 > [0.000000]: [surf_maxmin/DEBUG] '26'(0.000000) : 0.000000
 265 > [0.000000]: [surf_maxmin/DEBUG] '27'(0.000000) : 0.000000
 266 > [0.000000]: [surf_maxmin/DEBUG] '29'(0.000000) : 0.000000
 267 > [0.000000]: [surf_maxmin/DEBUG] '30'(0.000000) : 0.000000
 268 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '28'(1.000000) '25'(1.000000) '24'(1.000000) '23'(1.000000) '22'(1.000000) '21'(1.000000) '26'(0.000000) '27'(0.000000) '29'(0.000000) '30'(0.000000) )
 269 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 270 > [0.000000]: [surf_maxmin/DEBUG]       (0.842158.'28'(0.258940) + 1.769730.'21'(0.258940) + 0) <= 2.127872 ('28')
 271 > [0.000000]: [surf_maxmin/DEBUG]       (1.697802.'22'(0.493696) + 1.404096.'21'(0.258940) + 0.933566.'27'(0.000000) + 2.462038.'29'(0.000000) + 0) <= 6.863137 ('26')
 272 > [0.000000]: [surf_maxmin/DEBUG]       (0.185814.'22'(0.493696) + 3.527473.'22'(0.493696) + 0.663836.'21'(0.258940) + 0.860140.'29'(0.000000) + 1.050450.'30'(0.000000) + 0) <= 3.856144 ('29')
 273 > [0.000000]: [surf_maxmin/DEBUG]       (0.761239.'28'(0.258940) + 1.526973.'23'(0.258940) + 2.572927.'21'(0.258940) + 2.180320.'26'(0.000000) + 0.639860.'26'(0.000000) + 0) <= 1.258741 ('25')
 274 > [0.000000]: [surf_maxmin/DEBUG]       (1.642358.'25'(0.493696) + 2.472527.'24'(0.493696) + 2.369131.'23'(0.258940) + 1.522478.'22'(0.493696) + 0.798701.'27'(0.000000) + 0.542458.'30'(0.000000) + 0) <= 3.396603 ('23')
 275 > [0.000000]: [surf_maxmin/DEBUG]       (2.797702.'25'(0.493696) + 1.567433.'24'(0.493696) + 0.107892.'23'(0.258940) + 1.282717.'26'(0.000000) + 1.227273.'27'(0.000000) + 0.184316.'29'(0.000000) + 2.492008.'30'(0.000000) + 0) <= 6.723277 ('24')
 276 > [0.000000]: [surf_maxmin/DEBUG]       (2.761738.'23'(0.258940) + 1.105894.'29'(0.000000) + 0) <= 1.428571 ('22')
 277 > [0.000000]: [surf_maxmin/DEBUG]       (1.407093.'25'(0.493696) + 2.532468.'24'(0.493696) + 0) <= 2.967033 ('30')
 278 > [0.000000]: [surf_maxmin/DEBUG]       (0.951548.'28'(0.258940) + 2.538462.'24'(0.493696) + 1.522478.'27'(0.000000) + 0) <= 8.721279 ('27')
 279 > [0.000000]: [surf_maxmin/DEBUG]       (2.124875.'28'(0.258940) + 1.744256.'25'(0.493696) + 1.643856.'26'(0.000000) + 0.959041.'30'(0.000000) + 0) <= 7.462537 ('21')
 280 > [0.000000]: [surf_maxmin/DEBUG] Variables
 281 > [0.000000]: [surf_maxmin/DEBUG] '28'(1.000000) : 0.258940
 282 > [0.000000]: [surf_maxmin/DEBUG] '25'(1.000000) : 0.493696
 283 > [0.000000]: [surf_maxmin/DEBUG] '24'(1.000000) : 0.493696
 284 > [0.000000]: [surf_maxmin/DEBUG] '23'(1.000000) : 0.258940
 285 > [0.000000]: [surf_maxmin/DEBUG] '22'(1.000000) : 0.493696
 286 > [0.000000]: [surf_maxmin/DEBUG] '21'(1.000000) : 0.258940
 287 > [0.000000]: [surf_maxmin/DEBUG] '26'(0.000000) : 0.000000
 288 > [0.000000]: [surf_maxmin/DEBUG] '27'(0.000000) : 0.000000
 289 > [0.000000]: [surf_maxmin/DEBUG] '29'(0.000000) : 0.000000
 290 > [0.000000]: [surf_maxmin/DEBUG] '30'(0.000000) : 0.000000
 291 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
 292 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 293 > [0.000000]: [surf_maxmin/DEBUG] Constraint '31' usage: 1.213786 remaining: 9.950050
 294 > [0.000000]: [surf_maxmin/DEBUG] Constraint '35' usage: 6.809191 remaining: 3.656344
 295 > [0.000000]: [surf_maxmin/DEBUG] Constraint '39' usage: 2.653846 remaining: 5.414585
 296 > [0.000000]: [surf_maxmin/DEBUG] Constraint '34' usage: 11.232767 remaining: 8.941059
 297 > [0.000000]: [surf_maxmin/DEBUG] Constraint '33' usage: 3.109391 remaining: 1.758242
 298 > [0.000000]: [surf_maxmin/DEBUG] Constraint '40' usage: 7.257243 remaining: 4.375624
 299 > [0.000000]: [surf_maxmin/DEBUG] Constraint '32' usage: 5.985015 remaining: 4.255744
 300 > [0.000000]: [surf_maxmin/DEBUG] Constraint '38' usage: 3.966533 remaining: 4.475524
 301 > [0.000000]: [surf_maxmin/DEBUG] Constraint '36' usage: 4.104396 remaining: 1.678322
 302 > [0.000000]: [surf_maxmin/DEBUG] Constraint '37' usage: 0.000000 remaining: 0.139860
 303 > [0.000000]: [surf_maxmin/DEBUG] var=36, var->bound=-1.000000, var->weight=1.000000, min_usage=0.408908, var->bound*var->weight=-1.000000
 304 > [0.000000]: [surf_maxmin/DEBUG] var=38, var->bound=-1.000000, var->weight=1.000000, min_usage=0.408908, var->bound*var->weight=-1.000000
 305 > [0.000000]: [surf_maxmin/DEBUG] var=39, var->bound=-1.000000, var->weight=1.000000, min_usage=0.408908, var->bound*var->weight=-1.000000
 306 > [0.000000]: [surf_maxmin/DEBUG] Setting var (36) value to 0.408908
 307 >
 308 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.408908, Var(36)->weight: 1.000000, Var(36)->value: 0.408908
 309 > [0.000000]: [surf_maxmin/DEBUG] Setting var (38) value to 0.408908
 310 >
 311 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.408908, Var(38)->weight: 1.000000, Var(38)->value: 0.408908
 312 > [0.000000]: [surf_maxmin/DEBUG] Setting var (39) value to 0.408908
 313 >
 314 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.408908, Var(39)->weight: 1.000000, Var(39)->value: 0.408908
 315 > [0.000000]: [surf_maxmin/DEBUG] index: 8       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 1.678322
 316 > [0.000000]: [surf_maxmin/DEBUG] var=32, var->bound=-1.000000, var->weight=1.000000, min_usage=0.565462, var->bound*var->weight=-1.000000
 317 > [0.000000]: [surf_maxmin/DEBUG] var=33, var->bound=-1.000000, var->weight=1.000000, min_usage=0.565462, var->bound*var->weight=-1.000000
 318 > [0.000000]: [surf_maxmin/DEBUG] Setting var (32) value to 0.565462
 319 >
 320 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.565462, Var(32)->weight: 1.000000, Var(32)->value: 0.565462
 321 > [0.000000]: [surf_maxmin/DEBUG] Setting var (33) value to 0.565462
 322 >
 323 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.565462, Var(33)->weight: 1.000000, Var(33)->value: 0.565462
 324 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 8       || usage: 0.000000 remaining: 0.541481 bound: 4.375624
 325 > [0.000000]: [surf_maxmin/DEBUG] index: 4       cnst_light_num: 7       || usage: 0.000000 remaining: 0.000000 bound: 1.758242
 326 > [0.000000]: [surf_maxmin/DEBUG] var=31, var->bound=-1.000000, var->weight=1.000000, min_usage=0.757364, var->bound*var->weight=-1.000000
 327 > [0.000000]: [surf_maxmin/DEBUG] var=40, var->bound=-1.000000, var->weight=1.000000, min_usage=0.757364, var->bound*var->weight=-1.000000
 328 > [0.000000]: [surf_maxmin/DEBUG] Setting var (31) value to 0.757364
 329 >
 330 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.757364, Var(31)->weight: 1.000000, Var(31)->value: 0.757364
 331 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 6       || usage: 0.000000 remaining: 9.030772 bound: 9.950050
 332 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 5       || usage: 0.000000 remaining: 3.662606 bound: 5.414585
 333 > [0.000000]: [surf_maxmin/DEBUG] Setting var (40) value to 0.757364
 334 >
 335 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.757364, Var(40)->weight: 1.000000, Var(40)->value: 0.757364
 336 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 4       || usage: 0.000000 remaining: 0.000000 bound: 3.656344
 337 > [0.000000]: [surf_maxmin/DEBUG] var=35, var->bound=-1.000000, var->weight=1.000000, min_usage=1.232357, var->bound*var->weight=-1.000000
 338 > [0.000000]: [surf_maxmin/DEBUG] Setting var (35) value to 1.232357
 339 >
 340 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.232357, Var(35)->weight: 1.000000, Var(35)->value: 1.232357
 341 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 3       || usage: 0.000000 remaining: 0.095809 bound: 4.255744
 342 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 2       || usage: 0.000000 remaining: 0.000000 bound: 8.941059
 343 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 0.886438 bound: 4.475524
 344 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '40'(1.000000) '39'(1.000000) '38'(1.000000) '36'(1.000000) '35'(1.000000) '33'(1.000000) '32'(1.000000) '31'(1.000000) '34'(0.000000) '37'(0.000000) )
 345 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 346 > [0.000000]: [surf_maxmin/DEBUG]       (1.213786.'31'(0.757364) + 0) <= 9.950050 ('31')
 347 > [0.000000]: [surf_maxmin/DEBUG]       (0.983017.'40'(0.757364) + 1.603397.'39'(0.408908) + 1.153846.'38'(0.408908) + 1.549451.'36'(0.408908) + 1.519481.'31'(0.757364) + 0) <= 3.656344 ('35')
 348 > [0.000000]: [surf_maxmin/DEBUG]       (0.740260.'38'(0.408908) + 1.913586.'31'(0.757364) + 2.193806.'37'(0.000000) + 0) <= 5.414585 ('39')
 349 > [0.000000]: [surf_maxmin/DEBUG]       (1.026474.'40'(0.757364) + 0.986014.'39'(0.408908) + 1.434066.'39'(0.408908) + 1.293207.'35'(1.232357) + 2.213287.'35'(1.232357) + 2.024476.'33'(0.565462) + 2.255245.'31'(0.757364) + 0) <= 8.941059 ('34')
 350 > [0.000000]: [surf_maxmin/DEBUG]       (1.537463.'33'(0.565462) + 1.571928.'32'(0.565462) + 1.504496.'34'(0.000000) + 0.851149.'37'(0.000000) + 0) <= 1.758242 ('33')
 351 > [0.000000]: [surf_maxmin/DEBUG]       (1.721778.'36'(0.408908) + 2.535465.'33'(0.565462) + 1.246753.'32'(0.565462) + 1.753247.'32'(0.565462) + 1.345654.'34'(0.000000) + 0) <= 4.375624 ('40')
 352 > [0.000000]: [surf_maxmin/DEBUG]       (1.129870.'40'(0.757364) + 0.337163.'38'(0.408908) + 0.917083.'35'(1.232357) + 2.336164.'33'(0.565462) + 1.264735.'32'(0.565462) + 2.480020.'34'(0.000000) + 1.137363.'34'(0.000000) + 0) <= 4.255744 ('32')
 353 > [0.000000]: [surf_maxmin/DEBUG]       (1.332168.'40'(0.757364) + 0.809191.'36'(0.408908) + 1.825175.'35'(1.232357) + 0) <= 4.475524 ('38')
 354 > [0.000000]: [surf_maxmin/DEBUG]       (1.607892.'39'(0.408908) + 1.140360.'38'(0.408908) + 1.356144.'36'(0.408908) + 1.837163.'37'(0.000000) + 0) <= 1.678322 ('36')
 355 > [0.000000]: [surf_maxmin/DEBUG]       (2.165335.'37'(0.000000) + 0) <= 0.139860 ('37')
 356 > [0.000000]: [surf_maxmin/DEBUG] Variables
 357 > [0.000000]: [surf_maxmin/DEBUG] '40'(1.000000) : 0.757364
 358 > [0.000000]: [surf_maxmin/DEBUG] '39'(1.000000) : 0.408908
 359 > [0.000000]: [surf_maxmin/DEBUG] '38'(1.000000) : 0.408908
 360 > [0.000000]: [surf_maxmin/DEBUG] '36'(1.000000) : 0.408908
 361 > [0.000000]: [surf_maxmin/DEBUG] '35'(1.000000) : 1.232357
 362 > [0.000000]: [surf_maxmin/DEBUG] '33'(1.000000) : 0.565462
 363 > [0.000000]: [surf_maxmin/DEBUG] '32'(1.000000) : 0.565462
 364 > [0.000000]: [surf_maxmin/DEBUG] '31'(1.000000) : 0.757364
 365 > [0.000000]: [surf_maxmin/DEBUG] '34'(0.000000) : 0.000000
 366 > [0.000000]: [surf_maxmin/DEBUG] '37'(0.000000) : 0.000000
 367 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '40'(1.000000) '39'(1.000000) '38'(1.000000) '36'(1.000000) '35'(1.000000) '33'(1.000000) '32'(1.000000) '31'(1.000000) '34'(0.000000) '37'(0.000000) )
 368 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 369 > [0.000000]: [surf_maxmin/DEBUG]       (1.213786.'31'(0.757364) + 0) <= 9.950050 ('31')
 370 > [0.000000]: [surf_maxmin/DEBUG]       (0.983017.'40'(0.757364) + 1.603397.'39'(0.408908) + 1.153846.'38'(0.408908) + 1.549451.'36'(0.408908) + 1.519481.'31'(0.757364) + 0) <= 3.656344 ('35')
 371 > [0.000000]: [surf_maxmin/DEBUG]       (0.740260.'38'(0.408908) + 1.913586.'31'(0.757364) + 2.193806.'37'(0.000000) + 0) <= 5.414585 ('39')
 372 > [0.000000]: [surf_maxmin/DEBUG]       (1.026474.'40'(0.757364) + 0.986014.'39'(0.408908) + 1.434066.'39'(0.408908) + 1.293207.'35'(1.232357) + 2.213287.'35'(1.232357) + 2.024476.'33'(0.565462) + 2.255245.'31'(0.757364) + 0) <= 8.941059 ('34')
 373 > [0.000000]: [surf_maxmin/DEBUG]       (1.537463.'33'(0.565462) + 1.571928.'32'(0.565462) + 1.504496.'34'(0.000000) + 0.851149.'37'(0.000000) + 0) <= 1.758242 ('33')
 374 > [0.000000]: [surf_maxmin/DEBUG]       (1.721778.'36'(0.408908) + 2.535465.'33'(0.565462) + 1.246753.'32'(0.565462) + 1.753247.'32'(0.565462) + 1.345654.'34'(0.000000) + 0) <= 4.375624 ('40')
 375 > [0.000000]: [surf_maxmin/DEBUG]       (1.129870.'40'(0.757364) + 0.337163.'38'(0.408908) + 0.917083.'35'(1.232357) + 2.336164.'33'(0.565462) + 1.264735.'32'(0.565462) + 2.480020.'34'(0.000000) + 1.137363.'34'(0.000000) + 0) <= 4.255744 ('32')
 376 > [0.000000]: [surf_maxmin/DEBUG]       (1.332168.'40'(0.757364) + 0.809191.'36'(0.408908) + 1.825175.'35'(1.232357) + 0) <= 4.475524 ('38')
 377 > [0.000000]: [surf_maxmin/DEBUG]       (1.607892.'39'(0.408908) + 1.140360.'38'(0.408908) + 1.356144.'36'(0.408908) + 1.837163.'37'(0.000000) + 0) <= 1.678322 ('36')
 378 > [0.000000]: [surf_maxmin/DEBUG]       (2.165335.'37'(0.000000) + 0) <= 0.139860 ('37')
 379 > [0.000000]: [surf_maxmin/DEBUG] Variables
 380 > [0.000000]: [surf_maxmin/DEBUG] '40'(1.000000) : 0.757364
 381 > [0.000000]: [surf_maxmin/DEBUG] '39'(1.000000) : 0.408908
 382 > [0.000000]: [surf_maxmin/DEBUG] '38'(1.000000) : 0.408908
 383 > [0.000000]: [surf_maxmin/DEBUG] '36'(1.000000) : 0.408908
 384 > [0.000000]: [surf_maxmin/DEBUG] '35'(1.000000) : 1.232357
 385 > [0.000000]: [surf_maxmin/DEBUG] '33'(1.000000) : 0.565462
 386 > [0.000000]: [surf_maxmin/DEBUG] '32'(1.000000) : 0.565462
 387 > [0.000000]: [surf_maxmin/DEBUG] '31'(1.000000) : 0.757364
 388 > [0.000000]: [surf_maxmin/DEBUG] '34'(0.000000) : 0.000000
 389 > [0.000000]: [surf_maxmin/DEBUG] '37'(0.000000) : 0.000000
 390 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
 391 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 392 > [0.000000]: [surf_maxmin/DEBUG] Constraint '42' usage: 10.002498 remaining: 3.556444
 393 > [0.000000]: [surf_maxmin/DEBUG] Constraint '49' usage: 2.623876 remaining: 2.117882
 394 > [0.000000]: [surf_maxmin/DEBUG] Constraint '48' usage: 4.849151 remaining: 2.507493
 395 > [0.000000]: [surf_maxmin/DEBUG] Constraint '44' usage: 0.831668 remaining: 5.524476
 396 > [0.000000]: [surf_maxmin/DEBUG] Constraint '45' usage: 3.843656 remaining: 2.097902
 397 > [0.000000]: [surf_maxmin/DEBUG] Constraint '47' usage: 3.278721 remaining: 0.599401
 398 > [0.000000]: [surf_maxmin/DEBUG] Constraint '41' usage: 0.804695 remaining: 2.447552
 399 > [0.000000]: [surf_maxmin/DEBUG] Constraint '50' usage: 5.187812 remaining: 4.485514
 400 > [0.000000]: [surf_maxmin/DEBUG] Constraint '46' usage: 3.005994 remaining: 6.933067
 401 > [0.000000]: [surf_maxmin/DEBUG] Constraint '43' usage: 1.075924 remaining: 4.485514
 402 > [0.000000]: [surf_maxmin/DEBUG] var=42, var->bound=-1.000000, var->weight=1.000000, min_usage=0.182815, var->bound*var->weight=-1.000000
 403 > [0.000000]: [surf_maxmin/DEBUG] var=46, var->bound=-1.000000, var->weight=1.000000, min_usage=0.182815, var->bound*var->weight=-1.000000
 404 > [0.000000]: [surf_maxmin/DEBUG] var=50, var->bound=-1.000000, var->weight=1.000000, min_usage=0.182815, var->bound*var->weight=-1.000000
 405 > [0.000000]: [surf_maxmin/DEBUG] Setting var (42) value to 0.182815
 406 >
 407 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.182815, Var(42)->weight: 1.000000, Var(42)->value: 0.182815
 408 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 10      || usage: 0.000000 remaining: 5.372434 bound: 5.524476
 409 > [0.000000]: [surf_maxmin/DEBUG] Setting var (46) value to 0.182815
 410 >
 411 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.182815, Var(46)->weight: 1.000000, Var(46)->value: 0.182815
 412 > [0.000000]: [surf_maxmin/DEBUG] Setting var (50) value to 0.182815
 413 >
 414 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.182815, Var(50)->weight: 1.000000, Var(50)->value: 0.182815
 415 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 0.599401
 416 > [0.000000]: [surf_maxmin/DEBUG] var=41, var->bound=-1.000000, var->weight=1.000000, min_usage=0.380694, var->bound*var->weight=-1.000000
 417 > [0.000000]: [surf_maxmin/DEBUG] var=44, var->bound=-1.000000, var->weight=1.000000, min_usage=0.380694, var->bound*var->weight=-1.000000
 418 > [0.000000]: [surf_maxmin/DEBUG] var=47, var->bound=-1.000000, var->weight=1.000000, min_usage=0.380694, var->bound*var->weight=-1.000000
 419 > [0.000000]: [surf_maxmin/DEBUG] Setting var (41) value to 0.380694
 420 >
 421 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.380694, Var(41)->weight: 1.000000, Var(41)->value: 0.380694
 422 > [0.000000]: [surf_maxmin/DEBUG] Setting var (44) value to 0.380694
 423 >
 424 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.380694, Var(44)->weight: 1.000000, Var(44)->value: 0.380694
 425 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 8       || usage: 0.000000 remaining: 0.977541 bound: 2.507493
 426 > [0.000000]: [surf_maxmin/DEBUG] Setting var (47) value to 0.380694
 427 >
 428 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.380694, Var(47)->weight: 1.000000, Var(47)->value: 0.380694
 429 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 7       || usage: 0.000000 remaining: 4.075916 bound: 4.485514
 430 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 6       || usage: 0.000000 remaining: 1.304610 bound: 2.117882
 431 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 5       || usage: 0.000000 remaining: 0.000000 bound: 3.556444
 432 > [0.000000]: [surf_maxmin/DEBUG] var=43, var->bound=-1.000000, var->weight=1.000000, min_usage=1.071335, var->bound*var->weight=-1.000000
 433 > [0.000000]: [surf_maxmin/DEBUG] Setting var (43) value to 1.071335
 434 >
 435 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.071335, Var(43)->weight: 1.000000, Var(43)->value: 1.071335
 436 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 4       || usage: 0.000000 remaining: 1.585454 bound: 2.447552
 437 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 3       || usage: 0.000000 remaining: 0.000000 bound: 2.097902
 438 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 2       || usage: 0.000000 remaining: 2.853240 bound: 4.485514
 439 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 5.086515 bound: 6.933067
 440 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '50'(1.000000) '47'(1.000000) '46'(1.000000) '44'(1.000000) '43'(1.000000) '42'(1.000000) '41'(1.000000) '45'(0.000000) '48'(0.000000) '49'(0.000000) )
 441 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 442 > [0.000000]: [surf_maxmin/DEBUG]       (2.571429.'47'(0.380694) + 1.270729.'46'(0.182815) + 2.084416.'44'(0.380694) + 0.776224.'41'(0.380694) + 3.299700.'41'(0.380694) + 0.271229.'48'(0.000000) + 1.144855.'49'(0.000000) + 0) <= 3.556444 ('42')
 443 > [0.000000]: [surf_maxmin/DEBUG]       (0.938062.'50'(0.182815) + 0.539461.'47'(0.380694) + 1.146354.'41'(0.380694) + 1.946553.'48'(0.000000) + 0.614386.'48'(0.000000) + 0) <= 2.117882 ('49')
 444 > [0.000000]: [surf_maxmin/DEBUG]       (2.108392.'44'(0.380694) + 1.597403.'42'(0.182815) + 1.143357.'41'(0.380694) + 0) <= 2.507493 ('48')
 445 > [0.000000]: [surf_maxmin/DEBUG]       (0.831668.'42'(0.182815) + 0) <= 5.524476 ('44')
 446 > [0.000000]: [surf_maxmin/DEBUG]       (1.062438.'44'(0.380694) + 1.333666.'43'(1.071335) + 1.447552.'42'(0.182815) + 0.428571.'45'(0.000000) + 0.299700.'49'(0.000000) + 0) <= 2.097902 ('45')
 447 > [0.000000]: [surf_maxmin/DEBUG]       (0.927572.'50'(0.182815) + 1.188312.'46'(0.182815) + 1.162837.'42'(0.182815) + 1.790709.'45'(0.000000) + 0) <= 0.599401 ('47')
 448 > [0.000000]: [surf_maxmin/DEBUG]       (0.804695.'43'(1.071335) + 0.993506.'45'(0.000000) + 0.427073.'48'(0.000000) + 2.357143.'49'(0.000000) + 0) <= 2.447552 ('41')
 449 > [0.000000]: [surf_maxmin/DEBUG]       (0.353646.'50'(0.182815) + 2.229770.'50'(0.182815) + 1.585415.'47'(0.380694) + 0.602398.'46'(0.182815) + 0.416583.'43'(1.071335) + 1.489510.'45'(0.000000) + 0) <= 4.485514 ('50')
 450 > [0.000000]: [surf_maxmin/DEBUG]       (0.954545.'46'(0.182815) + 0.761239.'44'(0.380694) + 1.290210.'43'(1.071335) + 1.020480.'49'(0.000000) + 0) <= 6.933067 ('46')
 451 > [0.000000]: [surf_maxmin/DEBUG]       (1.075924.'47'(0.380694) + 0) <= 4.485514 ('43')
 452 > [0.000000]: [surf_maxmin/DEBUG] Variables
 453 > [0.000000]: [surf_maxmin/DEBUG] '50'(1.000000) : 0.182815
 454 > [0.000000]: [surf_maxmin/DEBUG] '47'(1.000000) : 0.380694
 455 > [0.000000]: [surf_maxmin/DEBUG] '46'(1.000000) : 0.182815
 456 > [0.000000]: [surf_maxmin/DEBUG] '44'(1.000000) : 0.380694
 457 > [0.000000]: [surf_maxmin/DEBUG] '43'(1.000000) : 1.071335
 458 > [0.000000]: [surf_maxmin/DEBUG] '42'(1.000000) : 0.182815
 459 > [0.000000]: [surf_maxmin/DEBUG] '41'(1.000000) : 0.380694
 460 > [0.000000]: [surf_maxmin/DEBUG] '45'(0.000000) : 0.000000
 461 > [0.000000]: [surf_maxmin/DEBUG] '48'(0.000000) : 0.000000
 462 > [0.000000]: [surf_maxmin/DEBUG] '49'(0.000000) : 0.000000
 463 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '50'(1.000000) '47'(1.000000) '46'(1.000000) '44'(1.000000) '43'(1.000000) '42'(1.000000) '41'(1.000000) '45'(0.000000) '48'(0.000000) '49'(0.000000) )
 464 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 465 > [0.000000]: [surf_maxmin/DEBUG]       (2.571429.'47'(0.380694) + 1.270729.'46'(0.182815) + 2.084416.'44'(0.380694) + 0.776224.'41'(0.380694) + 3.299700.'41'(0.380694) + 0.271229.'48'(0.000000) + 1.144855.'49'(0.000000) + 0) <= 3.556444 ('42')
 466 > [0.000000]: [surf_maxmin/DEBUG]       (0.938062.'50'(0.182815) + 0.539461.'47'(0.380694) + 1.146354.'41'(0.380694) + 1.946553.'48'(0.000000) + 0.614386.'48'(0.000000) + 0) <= 2.117882 ('49')
 467 > [0.000000]: [surf_maxmin/DEBUG]       (2.108392.'44'(0.380694) + 1.597403.'42'(0.182815) + 1.143357.'41'(0.380694) + 0) <= 2.507493 ('48')
 468 > [0.000000]: [surf_maxmin/DEBUG]       (0.831668.'42'(0.182815) + 0) <= 5.524476 ('44')
 469 > [0.000000]: [surf_maxmin/DEBUG]       (1.062438.'44'(0.380694) + 1.333666.'43'(1.071335) + 1.447552.'42'(0.182815) + 0.428571.'45'(0.000000) + 0.299700.'49'(0.000000) + 0) <= 2.097902 ('45')
 470 > [0.000000]: [surf_maxmin/DEBUG]       (0.927572.'50'(0.182815) + 1.188312.'46'(0.182815) + 1.162837.'42'(0.182815) + 1.790709.'45'(0.000000) + 0) <= 0.599401 ('47')
 471 > [0.000000]: [surf_maxmin/DEBUG]       (0.804695.'43'(1.071335) + 0.993506.'45'(0.000000) + 0.427073.'48'(0.000000) + 2.357143.'49'(0.000000) + 0) <= 2.447552 ('41')
 472 > [0.000000]: [surf_maxmin/DEBUG]       (0.353646.'50'(0.182815) + 2.229770.'50'(0.182815) + 1.585415.'47'(0.380694) + 0.602398.'46'(0.182815) + 0.416583.'43'(1.071335) + 1.489510.'45'(0.000000) + 0) <= 4.485514 ('50')
 473 > [0.000000]: [surf_maxmin/DEBUG]       (0.954545.'46'(0.182815) + 0.761239.'44'(0.380694) + 1.290210.'43'(1.071335) + 1.020480.'49'(0.000000) + 0) <= 6.933067 ('46')
 474 > [0.000000]: [surf_maxmin/DEBUG]       (1.075924.'47'(0.380694) + 0) <= 4.485514 ('43')
 475 > [0.000000]: [surf_maxmin/DEBUG] Variables
 476 > [0.000000]: [surf_maxmin/DEBUG] '50'(1.000000) : 0.182815
 477 > [0.000000]: [surf_maxmin/DEBUG] '47'(1.000000) : 0.380694
 478 > [0.000000]: [surf_maxmin/DEBUG] '46'(1.000000) : 0.182815
 479 > [0.000000]: [surf_maxmin/DEBUG] '44'(1.000000) : 0.380694
 480 > [0.000000]: [surf_maxmin/DEBUG] '43'(1.000000) : 1.071335
 481 > [0.000000]: [surf_maxmin/DEBUG] '42'(1.000000) : 0.182815
 482 > [0.000000]: [surf_maxmin/DEBUG] '41'(1.000000) : 0.380694
 483 > [0.000000]: [surf_maxmin/DEBUG] '45'(0.000000) : 0.000000
 484 > [0.000000]: [surf_maxmin/DEBUG] '48'(0.000000) : 0.000000
 485 > [0.000000]: [surf_maxmin/DEBUG] '49'(0.000000) : 0.000000
 486 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
 487 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 488 > [0.000000]: [surf_maxmin/DEBUG] Constraint '54' usage: 5.379620 remaining: 3.456543
 489 > [0.000000]: [surf_maxmin/DEBUG] Constraint '53' usage: 4.633367 remaining: 6.793207
 490 > [0.000000]: [surf_maxmin/DEBUG] Constraint '57' usage: 6.217283 remaining: 7.452547
 491 > [0.000000]: [surf_maxmin/DEBUG] Constraint '58' usage: 5.442557 remaining: 4.255744
 492 > [0.000000]: [surf_maxmin/DEBUG] Constraint '55' usage: 3.918581 remaining: 3.636364
 493 > [0.000000]: [surf_maxmin/DEBUG] Constraint '59' usage: 6.424076 remaining: 1.248751
 494 > [0.000000]: [surf_maxmin/DEBUG] Constraint '60' usage: 3.827173 remaining: 7.262737
 495 > [0.000000]: [surf_maxmin/DEBUG] Constraint '52' usage: 5.824675 remaining: 6.383616
 496 > [0.000000]: [surf_maxmin/DEBUG] Constraint '56' usage: 2.324176 remaining: 0.769231
 497 > [0.000000]: [surf_maxmin/DEBUG] Constraint '51' usage: 1.348651 remaining: 4.935065
 498 > [0.000000]: [surf_maxmin/DEBUG] var=52, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194386, var->bound*var->weight=-1.000000
 499 > [0.000000]: [surf_maxmin/DEBUG] var=53, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194386, var->bound*var->weight=-1.000000
 500 > [0.000000]: [surf_maxmin/DEBUG] var=56, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194386, var->bound*var->weight=-1.000000
 501 > [0.000000]: [surf_maxmin/DEBUG] var=57, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194386, var->bound*var->weight=-1.000000
 502 > [0.000000]: [surf_maxmin/DEBUG] var=59, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194386, var->bound*var->weight=-1.000000
 503 > [0.000000]: [surf_maxmin/DEBUG] Setting var (52) value to 0.194386
 504 >
 505 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(52)->weight: 1.000000, Var(52)->value: 0.194386
 506 > [0.000000]: [surf_maxmin/DEBUG] Setting var (53) value to 0.194386
 507 >
 508 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(53)->weight: 1.000000, Var(53)->value: 0.194386
 509 > [0.000000]: [surf_maxmin/DEBUG] Setting var (56) value to 0.194386
 510 >
 511 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(56)->weight: 1.000000, Var(56)->value: 0.194386
 512 > [0.000000]: [surf_maxmin/DEBUG] index: 9       cnst_light_num: 10      || usage: 0.000000 remaining: 4.672906 bound: 4.935065
 513 > [0.000000]: [surf_maxmin/DEBUG] Setting var (57) value to 0.194386
 514 >
 515 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(57)->weight: 1.000000, Var(57)->value: 0.194386
 516 > [0.000000]: [surf_maxmin/DEBUG] Setting var (59) value to 0.194386
 517 >
 518 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194386, Var(59)->weight: 1.000000, Var(59)->value: 0.194386
 519 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 1.248751
 520 > [0.000000]: [surf_maxmin/DEBUG] var=54, var->bound=-1.000000, var->weight=1.000000, min_usage=0.330969, var->bound*var->weight=-1.000000
 521 > [0.000000]: [surf_maxmin/DEBUG] Setting var (54) value to 0.330969
 522 >
 523 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.330969, Var(54)->weight: 1.000000, Var(54)->value: 0.330969
 524 > [0.000000]: [surf_maxmin/DEBUG] index: 7       cnst_light_num: 8       || usage: 0.000000 remaining: 5.027881 bound: 6.383616
 525 > [0.000000]: [surf_maxmin/DEBUG] index: 6       cnst_light_num: 7       || usage: 0.000000 remaining: 6.410722 bound: 7.262737
 526 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 6       || usage: 0.000000 remaining: 0.000000 bound: 0.769231
 527 > [0.000000]: [surf_maxmin/DEBUG] var=51, var->bound=-1.000000, var->weight=1.000000, min_usage=1.219766, var->bound*var->weight=-1.000000
 528 > [0.000000]: [surf_maxmin/DEBUG] var=58, var->bound=-1.000000, var->weight=1.000000, min_usage=1.219766, var->bound*var->weight=-1.000000
 529 > [0.000000]: [surf_maxmin/DEBUG] Setting var (51) value to 1.219766
 530 >
 531 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.219766, Var(51)->weight: 1.000000, Var(51)->value: 1.219766
 532 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 5       || usage: 0.000000 remaining: 1.051250 bound: 4.255744
 533 > [0.000000]: [surf_maxmin/DEBUG] Setting var (58) value to 1.219766
 534 >
 535 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.219766, Var(58)->weight: 1.000000, Var(58)->value: 1.219766
 536 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 4       || usage: 0.000000 remaining: 2.727287 bound: 6.793207
 537 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 3       || usage: 0.000000 remaining: 0.000000 bound: 3.456543
 538 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 2       || usage: 0.000000 remaining: 1.596251 bound: 3.636364
 539 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 3.017275 bound: 7.452547
 540 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '59'(1.000000) '58'(1.000000) '57'(1.000000) '56'(1.000000) '54'(1.000000) '53'(1.000000) '52'(1.000000) '51'(1.000000) '55'(0.000000) '60'(0.000000) )
 541 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 542 > [0.000000]: [surf_maxmin/DEBUG]       (0.812188.'58'(1.219766) + 1.428072.'56'(0.194386) + 1.600400.'53'(0.194386) + 1.538961.'51'(1.219766) + 0) <= 3.456543 ('54')
 543 > [0.000000]: [surf_maxmin/DEBUG]       (1.462537.'58'(1.219766) + 1.546454.'57'(0.194386) + 1.624376.'51'(1.219766) + 1.315684.'55'(0.000000) + 0.594905.'60'(0.000000) + 0) <= 6.793207 ('53')
 544 > [0.000000]: [surf_maxmin/DEBUG]       (1.720280.'58'(1.219766) + 1.975025.'57'(0.194386) + 1.095405.'52'(0.194386) + 1.426573.'51'(1.219766) + 0) <= 7.452547 ('57')
 545 > [0.000000]: [surf_maxmin/DEBUG]       (1.335165.'59'(0.194386) + 2.013986.'57'(0.194386) + 2.093407.'51'(1.219766) + 1.660340.'60'(0.000000) + 0) <= 4.255744 ('58')
 546 > [0.000000]: [surf_maxmin/DEBUG]       (1.203297.'59'(0.194386) + 1.246753.'58'(1.219766) + 0.227772.'53'(0.194386) + 1.240759.'52'(0.194386) + 1.549451.'55'(0.000000) + 0) <= 3.636364 ('55')
 547 > [0.000000]: [surf_maxmin/DEBUG]       (0.743257.'59'(0.194386) + 2.105395.'57'(0.194386) + 1.020480.'56'(0.194386) + 0.993506.'53'(0.194386) + 1.561439.'52'(0.194386) + 0) <= 1.248751 ('59')
 548 > [0.000000]: [surf_maxmin/DEBUG]       (0.951548.'56'(0.194386) + 0.791209.'54'(0.330969) + 2.084416.'52'(0.194386) + 0) <= 7.262737 ('60')
 549 > [0.000000]: [surf_maxmin/DEBUG]       (2.022977.'59'(0.194386) + 1.636364.'54'(0.330969) + 2.165335.'53'(0.194386) + 1.248252.'60'(0.000000) + 0) <= 6.383616 ('52')
 550 > [0.000000]: [surf_maxmin/DEBUG]       (1.159840.'54'(0.330969) + 1.164336.'54'(0.330969) + 0.002997.'55'(0.000000) + 2.099401.'60'(0.000000) + 0) <= 0.769231 ('56')
 551 > [0.000000]: [surf_maxmin/DEBUG]       (1.348651.'56'(0.194386) + 1.628871.'55'(0.000000) + 0) <= 4.935065 ('51')
 552 > [0.000000]: [surf_maxmin/DEBUG] Variables
 553 > [0.000000]: [surf_maxmin/DEBUG] '59'(1.000000) : 0.194386
 554 > [0.000000]: [surf_maxmin/DEBUG] '58'(1.000000) : 1.219766
 555 > [0.000000]: [surf_maxmin/DEBUG] '57'(1.000000) : 0.194386
 556 > [0.000000]: [surf_maxmin/DEBUG] '56'(1.000000) : 0.194386
 557 > [0.000000]: [surf_maxmin/DEBUG] '54'(1.000000) : 0.330969
 558 > [0.000000]: [surf_maxmin/DEBUG] '53'(1.000000) : 0.194386
 559 > [0.000000]: [surf_maxmin/DEBUG] '52'(1.000000) : 0.194386
 560 > [0.000000]: [surf_maxmin/DEBUG] '51'(1.000000) : 1.219766
 561 > [0.000000]: [surf_maxmin/DEBUG] '55'(0.000000) : 0.000000
 562 > [0.000000]: [surf_maxmin/DEBUG] '60'(0.000000) : 0.000000
 563 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '59'(1.000000) '58'(1.000000) '57'(1.000000) '56'(1.000000) '54'(1.000000) '53'(1.000000) '52'(1.000000) '51'(1.000000) '55'(0.000000) '60'(0.000000) )
 564 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 565 > [0.000000]: [surf_maxmin/DEBUG]       (0.812188.'58'(1.219766) + 1.428072.'56'(0.194386) + 1.600400.'53'(0.194386) + 1.538961.'51'(1.219766) + 0) <= 3.456543 ('54')
 566 > [0.000000]: [surf_maxmin/DEBUG]       (1.462537.'58'(1.219766) + 1.546454.'57'(0.194386) + 1.624376.'51'(1.219766) + 1.315684.'55'(0.000000) + 0.594905.'60'(0.000000) + 0) <= 6.793207 ('53')
 567 > [0.000000]: [surf_maxmin/DEBUG]       (1.720280.'58'(1.219766) + 1.975025.'57'(0.194386) + 1.095405.'52'(0.194386) + 1.426573.'51'(1.219766) + 0) <= 7.452547 ('57')
 568 > [0.000000]: [surf_maxmin/DEBUG]       (1.335165.'59'(0.194386) + 2.013986.'57'(0.194386) + 2.093407.'51'(1.219766) + 1.660340.'60'(0.000000) + 0) <= 4.255744 ('58')
 569 > [0.000000]: [surf_maxmin/DEBUG]       (1.203297.'59'(0.194386) + 1.246753.'58'(1.219766) + 0.227772.'53'(0.194386) + 1.240759.'52'(0.194386) + 1.549451.'55'(0.000000) + 0) <= 3.636364 ('55')
 570 > [0.000000]: [surf_maxmin/DEBUG]       (0.743257.'59'(0.194386) + 2.105395.'57'(0.194386) + 1.020480.'56'(0.194386) + 0.993506.'53'(0.194386) + 1.561439.'52'(0.194386) + 0) <= 1.248751 ('59')
 571 > [0.000000]: [surf_maxmin/DEBUG]       (0.951548.'56'(0.194386) + 0.791209.'54'(0.330969) + 2.084416.'52'(0.194386) + 0) <= 7.262737 ('60')
 572 > [0.000000]: [surf_maxmin/DEBUG]       (2.022977.'59'(0.194386) + 1.636364.'54'(0.330969) + 2.165335.'53'(0.194386) + 1.248252.'60'(0.000000) + 0) <= 6.383616 ('52')
 573 > [0.000000]: [surf_maxmin/DEBUG]       (1.159840.'54'(0.330969) + 1.164336.'54'(0.330969) + 0.002997.'55'(0.000000) + 2.099401.'60'(0.000000) + 0) <= 0.769231 ('56')
 574 > [0.000000]: [surf_maxmin/DEBUG]       (1.348651.'56'(0.194386) + 1.628871.'55'(0.000000) + 0) <= 4.935065 ('51')
 575 > [0.000000]: [surf_maxmin/DEBUG] Variables
 576 > [0.000000]: [surf_maxmin/DEBUG] '59'(1.000000) : 0.194386
 577 > [0.000000]: [surf_maxmin/DEBUG] '58'(1.000000) : 1.219766
 578 > [0.000000]: [surf_maxmin/DEBUG] '57'(1.000000) : 0.194386
 579 > [0.000000]: [surf_maxmin/DEBUG] '56'(1.000000) : 0.194386
 580 > [0.000000]: [surf_maxmin/DEBUG] '54'(1.000000) : 0.330969
 581 > [0.000000]: [surf_maxmin/DEBUG] '53'(1.000000) : 0.194386
 582 > [0.000000]: [surf_maxmin/DEBUG] '52'(1.000000) : 0.194386
 583 > [0.000000]: [surf_maxmin/DEBUG] '51'(1.000000) : 1.219766
 584 > [0.000000]: [surf_maxmin/DEBUG] '55'(0.000000) : 0.000000
 585 > [0.000000]: [surf_maxmin/DEBUG] '60'(0.000000) : 0.000000
 586 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
 587 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 588 > [0.000000]: [surf_maxmin/DEBUG] Constraint '66' usage: 8.571429 remaining: 7.002997
 589 > [0.000000]: [surf_maxmin/DEBUG] Constraint '65' usage: 4.924076 remaining: 2.937063
 590 > [0.000000]: [surf_maxmin/DEBUG] Constraint '69' usage: 3.437562 remaining: 6.843157
 591 > [0.000000]: [surf_maxmin/DEBUG] Constraint '62' usage: 7.347153 remaining: 5.684316
 592 > [0.000000]: [surf_maxmin/DEBUG] Constraint '68' usage: 5.917582 remaining: 5.944056
 593 > [0.000000]: [surf_maxmin/DEBUG] Constraint '64' usage: 2.562438 remaining: 7.852148
 594 > [0.000000]: [surf_maxmin/DEBUG] Constraint '61' usage: 1.570430 remaining: 7.422577
 595 > [0.000000]: [surf_maxmin/DEBUG] Constraint '63' usage: 3.103397 remaining: 5.574426
 596 > [0.000000]: [surf_maxmin/DEBUG] Constraint '70' usage: 1.173327 remaining: 3.576424
 597 > [0.000000]: [surf_maxmin/DEBUG] Constraint '67' usage: 0.000000 remaining: 5.854146
 598 > [0.000000]: [surf_maxmin/DEBUG] var=61, var->bound=-1.000000, var->weight=1.000000, min_usage=0.596470, var->bound*var->weight=-1.000000
 599 > [0.000000]: [surf_maxmin/DEBUG] var=64, var->bound=-1.000000, var->weight=1.000000, min_usage=0.596470, var->bound*var->weight=-1.000000
 600 > [0.000000]: [surf_maxmin/DEBUG] Setting var (61) value to 0.596470
 601 >
 602 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.596470, Var(61)->weight: 1.000000, Var(61)->value: 0.596470
 603 > [0.000000]: [surf_maxmin/DEBUG] Setting var (64) value to 0.596470
 604 >
 605 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.596470, Var(64)->weight: 1.000000, Var(64)->value: 0.596470
 606 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 2.937063
 607 > [0.000000]: [surf_maxmin/DEBUG] var=62, var->bound=-1.000000, var->weight=1.000000, min_usage=0.840184, var->bound*var->weight=-1.000000
 608 > [0.000000]: [surf_maxmin/DEBUG] var=66, var->bound=-1.000000, var->weight=1.000000, min_usage=0.840184, var->bound*var->weight=-1.000000
 609 > [0.000000]: [surf_maxmin/DEBUG] var=67, var->bound=-1.000000, var->weight=1.000000, min_usage=0.840184, var->bound*var->weight=-1.000000
 610 > [0.000000]: [surf_maxmin/DEBUG] Setting var (62) value to 0.840184
 611 >
 612 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.840184, Var(62)->weight: 1.000000, Var(62)->value: 0.840184
 613 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 8       || usage: 0.000000 remaining: 5.699228 bound: 7.852148
 614 > [0.000000]: [surf_maxmin/DEBUG] Setting var (66) value to 0.840184
 615 >
 616 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.840184, Var(66)->weight: 1.000000, Var(66)->value: 0.840184
 617 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 7       || usage: 0.000000 remaining: 2.590613 bound: 3.576424
 618 > [0.000000]: [surf_maxmin/DEBUG] Setting var (67) value to 0.840184
 619 >
 620 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.840184, Var(67)->weight: 1.000000, Var(67)->value: 0.840184
 621 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 6       || usage: 0.000000 remaining: 3.285095 bound: 5.574426
 622 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 5       || usage: 0.000000 remaining: 0.000000 bound: 5.684316
 623 > [0.000000]: [surf_maxmin/DEBUG] var=63, var->bound=-1.000000, var->weight=1.000000, min_usage=1.205488, var->bound*var->weight=-1.000000
 624 > [0.000000]: [surf_maxmin/DEBUG] Setting var (63) value to 1.205488
 625 >
 626 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.205488, Var(63)->weight: 1.000000, Var(63)->value: 1.205488
 627 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 4       || usage: 0.000000 remaining: 3.912988 bound: 6.843157
 628 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 3       || usage: 0.000000 remaining: 0.000000 bound: 5.944056
 629 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 2       || usage: 0.000000 remaining: 5.529444 bound: 7.422577
 630 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 0.612830 bound: 7.002997
 631 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '67'(1.000000) '66'(1.000000) '64'(1.000000) '63'(1.000000) '62'(1.000000) '61'(1.000000) '65'(0.000000) '68'(0.000000) '69'(0.000000) '70'(0.000000) )
 632 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 633 > [0.000000]: [surf_maxmin/DEBUG]       (2.553447.'67'(0.840184) + 2.235764.'64'(0.596470) + 1.075924.'63'(1.205488) + 2.706294.'61'(0.596470) + 0) <= 7.002997 ('66')
 634 > [0.000000]: [surf_maxmin/DEBUG]       (1.377123.'64'(0.596470) + 2.944555.'64'(0.596470) + 0.602398.'61'(0.596470) + 1.300699.'65'(0.000000) + 2.515984.'68'(0.000000) + 0) <= 2.937063 ('65')
 635 > [0.000000]: [surf_maxmin/DEBUG]       (0.738761.'67'(0.840184) + 0.690809.'66'(0.840184) + 0.738761.'63'(1.205488) + 0.334166.'62'(0.840184) + 0.935065.'61'(0.596470) + 1.874625.'69'(0.000000) + 0) <= 6.843157 ('69')
 636 > [0.000000]: [surf_maxmin/DEBUG]       (2.288212.'67'(0.840184) + 1.150849.'66'(0.840184) + 1.903097.'62'(0.840184) + 2.004995.'61'(0.596470) + 0.812188.'68'(0.000000) + 0) <= 5.684316 ('62')
 637 > [0.000000]: [surf_maxmin/DEBUG]       (1.354645.'66'(0.840184) + 2.661339.'63'(1.205488) + 1.901598.'62'(0.840184) + 0.185814.'65'(0.000000) + 0.320679.'70'(0.000000) + 0) <= 5.944056 ('68')
 638 > [0.000000]: [surf_maxmin/DEBUG]       (2.562438.'62'(0.840184) + 0.791209.'68'(0.000000) + 0) <= 7.852148 ('64')
 639 > [0.000000]: [surf_maxmin/DEBUG]       (1.570430.'63'(1.205488) + 0) <= 7.422577 ('61')
 640 > [0.000000]: [surf_maxmin/DEBUG]       (1.798202.'67'(0.840184) + 1.305195.'64'(0.596470) + 2.865135.'65'(0.000000) + 0.349151.'65'(0.000000) + 1.861139.'69'(0.000000) + 0.719281.'69'(0.000000) + 0) <= 5.574426 ('63')
 641 > [0.000000]: [surf_maxmin/DEBUG]       (1.173327.'66'(0.840184) + 0.686314.'68'(0.000000) + 1.131369.'70'(0.000000) + 0) <= 3.576424 ('70')
 642 > [0.000000]: [surf_maxmin/DEBUG]       (1.444555.'69'(0.000000) + 2.076923.'70'(0.000000) + 1.162837.'70'(0.000000) + 0) <= 5.854146 ('67')
 643 > [0.000000]: [surf_maxmin/DEBUG] Variables
 644 > [0.000000]: [surf_maxmin/DEBUG] '67'(1.000000) : 0.840184
 645 > [0.000000]: [surf_maxmin/DEBUG] '66'(1.000000) : 0.840184
 646 > [0.000000]: [surf_maxmin/DEBUG] '64'(1.000000) : 0.596470
 647 > [0.000000]: [surf_maxmin/DEBUG] '63'(1.000000) : 1.205488
 648 > [0.000000]: [surf_maxmin/DEBUG] '62'(1.000000) : 0.840184
 649 > [0.000000]: [surf_maxmin/DEBUG] '61'(1.000000) : 0.596470
 650 > [0.000000]: [surf_maxmin/DEBUG] '65'(0.000000) : 0.000000
 651 > [0.000000]: [surf_maxmin/DEBUG] '68'(0.000000) : 0.000000
 652 > [0.000000]: [surf_maxmin/DEBUG] '69'(0.000000) : 0.000000
 653 > [0.000000]: [surf_maxmin/DEBUG] '70'(0.000000) : 0.000000
 654 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '67'(1.000000) '66'(1.000000) '64'(1.000000) '63'(1.000000) '62'(1.000000) '61'(1.000000) '65'(0.000000) '68'(0.000000) '69'(0.000000) '70'(0.000000) )
 655 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 656 > [0.000000]: [surf_maxmin/DEBUG]       (2.553447.'67'(0.840184) + 2.235764.'64'(0.596470) + 1.075924.'63'(1.205488) + 2.706294.'61'(0.596470) + 0) <= 7.002997 ('66')
 657 > [0.000000]: [surf_maxmin/DEBUG]       (1.377123.'64'(0.596470) + 2.944555.'64'(0.596470) + 0.602398.'61'(0.596470) + 1.300699.'65'(0.000000) + 2.515984.'68'(0.000000) + 0) <= 2.937063 ('65')
 658 > [0.000000]: [surf_maxmin/DEBUG]       (0.738761.'67'(0.840184) + 0.690809.'66'(0.840184) + 0.738761.'63'(1.205488) + 0.334166.'62'(0.840184) + 0.935065.'61'(0.596470) + 1.874625.'69'(0.000000) + 0) <= 6.843157 ('69')
 659 > [0.000000]: [surf_maxmin/DEBUG]       (2.288212.'67'(0.840184) + 1.150849.'66'(0.840184) + 1.903097.'62'(0.840184) + 2.004995.'61'(0.596470) + 0.812188.'68'(0.000000) + 0) <= 5.684316 ('62')
 660 > [0.000000]: [surf_maxmin/DEBUG]       (1.354645.'66'(0.840184) + 2.661339.'63'(1.205488) + 1.901598.'62'(0.840184) + 0.185814.'65'(0.000000) + 0.320679.'70'(0.000000) + 0) <= 5.944056 ('68')
 661 > [0.000000]: [surf_maxmin/DEBUG]       (2.562438.'62'(0.840184) + 0.791209.'68'(0.000000) + 0) <= 7.852148 ('64')
 662 > [0.000000]: [surf_maxmin/DEBUG]       (1.570430.'63'(1.205488) + 0) <= 7.422577 ('61')
 663 > [0.000000]: [surf_maxmin/DEBUG]       (1.798202.'67'(0.840184) + 1.305195.'64'(0.596470) + 2.865135.'65'(0.000000) + 0.349151.'65'(0.000000) + 1.861139.'69'(0.000000) + 0.719281.'69'(0.000000) + 0) <= 5.574426 ('63')
 664 > [0.000000]: [surf_maxmin/DEBUG]       (1.173327.'66'(0.840184) + 0.686314.'68'(0.000000) + 1.131369.'70'(0.000000) + 0) <= 3.576424 ('70')
 665 > [0.000000]: [surf_maxmin/DEBUG]       (1.444555.'69'(0.000000) + 2.076923.'70'(0.000000) + 1.162837.'70'(0.000000) + 0) <= 5.854146 ('67')
 666 > [0.000000]: [surf_maxmin/DEBUG] Variables
 667 > [0.000000]: [surf_maxmin/DEBUG] '67'(1.000000) : 0.840184
 668 > [0.000000]: [surf_maxmin/DEBUG] '66'(1.000000) : 0.840184
 669 > [0.000000]: [surf_maxmin/DEBUG] '64'(1.000000) : 0.596470
 670 > [0.000000]: [surf_maxmin/DEBUG] '63'(1.000000) : 1.205488
 671 > [0.000000]: [surf_maxmin/DEBUG] '62'(1.000000) : 0.840184
 672 > [0.000000]: [surf_maxmin/DEBUG] '61'(1.000000) : 0.596470
 673 > [0.000000]: [surf_maxmin/DEBUG] '65'(0.000000) : 0.000000
 674 > [0.000000]: [surf_maxmin/DEBUG] '68'(0.000000) : 0.000000
 675 > [0.000000]: [surf_maxmin/DEBUG] '69'(0.000000) : 0.000000
 676 > [0.000000]: [surf_maxmin/DEBUG] '70'(0.000000) : 0.000000
 677 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
 678 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 679 > [0.000000]: [surf_maxmin/DEBUG] Constraint '73' usage: 5.087413 remaining: 7.882118
 680 > [0.000000]: [surf_maxmin/DEBUG] Constraint '72' usage: 4.393606 remaining: 8.511489
 681 > [0.000000]: [surf_maxmin/DEBUG] Constraint '76' usage: 4.218282 remaining: 4.355644
 682 > [0.000000]: [surf_maxmin/DEBUG] Constraint '71' usage: 4.032468 remaining: 3.446553
 683 > [0.000000]: [surf_maxmin/DEBUG] Constraint '77' usage: 6.539461 remaining: 7.782218
 684 > [0.000000]: [surf_maxmin/DEBUG] Constraint '79' usage: 7.630370 remaining: 7.262737
 685 > [0.000000]: [surf_maxmin/DEBUG] Constraint '78' usage: 3.404595 remaining: 1.168831
 686 > [0.000000]: [surf_maxmin/DEBUG] Constraint '80' usage: 3.623377 remaining: 7.912088
 687 > [0.000000]: [surf_maxmin/DEBUG] Constraint '75' usage: 4.765235 remaining: 0.539461
 688 > [0.000000]: [surf_maxmin/DEBUG] Constraint '74' usage: 1.476024 remaining: 1.428571
 689 > [0.000000]: [surf_maxmin/DEBUG] var=74, var->bound=-1.000000, var->weight=1.000000, min_usage=0.113208, var->bound*var->weight=-1.000000
 690 > [0.000000]: [surf_maxmin/DEBUG] var=75, var->bound=-1.000000, var->weight=1.000000, min_usage=0.113208, var->bound*var->weight=-1.000000
 691 > [0.000000]: [surf_maxmin/DEBUG] var=76, var->bound=-1.000000, var->weight=1.000000, min_usage=0.113208, var->bound*var->weight=-1.000000
 692 > [0.000000]: [surf_maxmin/DEBUG] var=77, var->bound=-1.000000, var->weight=1.000000, min_usage=0.113208, var->bound*var->weight=-1.000000
 693 > [0.000000]: [surf_maxmin/DEBUG] Setting var (74) value to 0.113208
 694 >
 695 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(74)->weight: 1.000000, Var(74)->value: 0.113208
 696 > [0.000000]: [surf_maxmin/DEBUG] Setting var (75) value to 0.113208
 697 >
 698 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(75)->weight: 1.000000, Var(75)->value: 0.113208
 699 > [0.000000]: [surf_maxmin/DEBUG] index: 6       cnst_light_num: 10      || usage: 0.000000 remaining: 0.783405 bound: 1.168831
 700 > [0.000000]: [surf_maxmin/DEBUG] Setting var (76) value to 0.113208
 701 >
 702 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(76)->weight: 1.000000, Var(76)->value: 0.113208
 703 > [0.000000]: [surf_maxmin/DEBUG] Setting var (77) value to 0.113208
 704 >
 705 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.113208, Var(77)->weight: 1.000000, Var(77)->value: 0.113208
 706 > [0.000000]: [surf_maxmin/DEBUG] index: 6       cnst_light_num: 9       || usage: 0.000000 remaining: 1.261474 bound: 1.428571
 707 > [0.000000]: [surf_maxmin/DEBUG] index: 6       cnst_light_num: 8       || usage: 0.000000 remaining: 0.000000 bound: 0.539461
 708 > [0.000000]: [surf_maxmin/DEBUG] var=71, var->bound=-1.000000, var->weight=1.000000, min_usage=0.854701, var->bound*var->weight=-1.000000
 709 > [0.000000]: [surf_maxmin/DEBUG] var=73, var->bound=-1.000000, var->weight=1.000000, min_usage=0.854701, var->bound*var->weight=-1.000000
 710 > [0.000000]: [surf_maxmin/DEBUG] Setting var (71) value to 0.854701
 711 >
 712 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.854701, Var(71)->weight: 1.000000, Var(71)->value: 0.854701
 713 > [0.000000]: [surf_maxmin/DEBUG] Setting var (73) value to 0.854701
 714 >
 715 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.854701, Var(73)->weight: 1.000000, Var(73)->value: 0.854701
 716 > [0.000000]: [surf_maxmin/DEBUG] index: 3       cnst_light_num: 7       || usage: 0.000000 remaining: 0.000000 bound: 3.446553
 717 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 6       || usage: 0.000000 remaining: 2.798086 bound: 4.355644
 718 > [0.000000]: [surf_maxmin/DEBUG] var=72, var->bound=-1.000000, var->weight=1.000000, min_usage=1.655984, var->bound*var->weight=-1.000000
 719 > [0.000000]: [surf_maxmin/DEBUG] var=80, var->bound=-1.000000, var->weight=1.000000, min_usage=1.655984, var->bound*var->weight=-1.000000
 720 > [0.000000]: [surf_maxmin/DEBUG] Setting var (72) value to 1.655984
 721 >
 722 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.655984, Var(72)->weight: 1.000000, Var(72)->value: 1.655984
 723 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 5       || usage: 0.000000 remaining: 3.146068 bound: 7.882118
 724 > [0.000000]: [surf_maxmin/DEBUG] Setting var (80) value to 1.655984
 725 >
 726 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.655984, Var(80)->weight: 1.000000, Var(80)->value: 1.655984
 727 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 4       || usage: 0.000000 remaining: 3.590351 bound: 7.262737
 728 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 3       || usage: 0.000000 remaining: 5.451282 bound: 7.912088
 729 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 2       || usage: 0.000000 remaining: 0.000000 bound: 7.782218
 730 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 2.454483 bound: 8.511489
 731 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '80'(1.000000) '77'(1.000000) '76'(1.000000) '75'(1.000000) '74'(1.000000) '73'(1.000000) '72'(1.000000) '71'(1.000000) '78'(0.000000) '79'(0.000000) )
 732 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 733 > [0.000000]: [surf_maxmin/DEBUG]       (2.313686.'73'(0.854701) + 0.484016.'72'(1.655984) + 2.289710.'71'(0.854701) + 0) <= 7.882118 ('73')
 734 > [0.000000]: [surf_maxmin/DEBUG]       (0.665335.'80'(1.655984) + 0.424076.'72'(1.655984) + 1.783217.'72'(1.655984) + 1.520979.'71'(0.854701) + 0.762737.'78'(0.000000) + 0) <= 8.511489 ('72')
 735 > [0.000000]: [surf_maxmin/DEBUG]       (1.408591.'76'(0.113208) + 1.353147.'74'(0.113208) + 0.837662.'73'(0.854701) + 0.618881.'71'(0.854701) + 0) <= 4.355644 ('76')
 736 > [0.000000]: [surf_maxmin/DEBUG]       (1.401099.'73'(0.854701) + 2.631369.'71'(0.854701) + 1.162837.'78'(0.000000) + 0) <= 3.446553 ('71')
 737 > [0.000000]: [surf_maxmin/DEBUG]       (2.243257.'80'(1.655984) + 0.362637.'77'(0.113208) + 1.612388.'75'(0.113208) + 2.321179.'72'(1.655984) + 1.168831.'79'(0.000000) + 0) <= 7.782218 ('77')
 738 > [0.000000]: [surf_maxmin/DEBUG]       (0.551449.'80'(1.655984) + 1.489510.'77'(0.113208) + 0.630869.'76'(0.113208) + 2.318182.'75'(0.113208) + 2.640360.'73'(0.854701) + 0) <= 7.262737 ('79')
 739 > [0.000000]: [surf_maxmin/DEBUG]       (0.867632.'75'(0.113208) + 2.536963.'74'(0.113208) + 0) <= 1.168831 ('78')
 740 > [0.000000]: [surf_maxmin/DEBUG]       (1.329171.'80'(1.655984) + 1.086414.'76'(0.113208) + 1.207792.'74'(0.113208) + 0) <= 7.912088 ('80')
 741 > [0.000000]: [surf_maxmin/DEBUG]       (1.579421.'77'(0.113208) + 1.362138.'76'(0.113208) + 1.609391.'75'(0.113208) + 0.214286.'74'(0.113208) + 1.036963.'78'(0.000000) + 1.843157.'79'(0.000000) + 0) <= 0.539461 ('75')
 742 > [0.000000]: [surf_maxmin/DEBUG]       (1.476024.'77'(0.113208) + 1.489510.'78'(0.000000) + 0.974026.'79'(0.000000) + 1.212288.'79'(0.000000) + 0) <= 1.428571 ('74')
 743 > [0.000000]: [surf_maxmin/DEBUG] Variables
 744 > [0.000000]: [surf_maxmin/DEBUG] '80'(1.000000) : 1.655984
 745 > [0.000000]: [surf_maxmin/DEBUG] '77'(1.000000) : 0.113208
 746 > [0.000000]: [surf_maxmin/DEBUG] '76'(1.000000) : 0.113208
 747 > [0.000000]: [surf_maxmin/DEBUG] '75'(1.000000) : 0.113208
 748 > [0.000000]: [surf_maxmin/DEBUG] '74'(1.000000) : 0.113208
 749 > [0.000000]: [surf_maxmin/DEBUG] '73'(1.000000) : 0.854701
 750 > [0.000000]: [surf_maxmin/DEBUG] '72'(1.000000) : 1.655984
 751 > [0.000000]: [surf_maxmin/DEBUG] '71'(1.000000) : 0.854701
 752 > [0.000000]: [surf_maxmin/DEBUG] '78'(0.000000) : 0.000000
 753 > [0.000000]: [surf_maxmin/DEBUG] '79'(0.000000) : 0.000000
 754 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '80'(1.000000) '77'(1.000000) '76'(1.000000) '75'(1.000000) '74'(1.000000) '73'(1.000000) '72'(1.000000) '71'(1.000000) '78'(0.000000) '79'(0.000000) )
 755 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 756 > [0.000000]: [surf_maxmin/DEBUG]       (2.313686.'73'(0.854701) + 0.484016.'72'(1.655984) + 2.289710.'71'(0.854701) + 0) <= 7.882118 ('73')
 757 > [0.000000]: [surf_maxmin/DEBUG]       (0.665335.'80'(1.655984) + 0.424076.'72'(1.655984) + 1.783217.'72'(1.655984) + 1.520979.'71'(0.854701) + 0.762737.'78'(0.000000) + 0) <= 8.511489 ('72')
 758 > [0.000000]: [surf_maxmin/DEBUG]       (1.408591.'76'(0.113208) + 1.353147.'74'(0.113208) + 0.837662.'73'(0.854701) + 0.618881.'71'(0.854701) + 0) <= 4.355644 ('76')
 759 > [0.000000]: [surf_maxmin/DEBUG]       (1.401099.'73'(0.854701) + 2.631369.'71'(0.854701) + 1.162837.'78'(0.000000) + 0) <= 3.446553 ('71')
 760 > [0.000000]: [surf_maxmin/DEBUG]       (2.243257.'80'(1.655984) + 0.362637.'77'(0.113208) + 1.612388.'75'(0.113208) + 2.321179.'72'(1.655984) + 1.168831.'79'(0.000000) + 0) <= 7.782218 ('77')
 761 > [0.000000]: [surf_maxmin/DEBUG]       (0.551449.'80'(1.655984) + 1.489510.'77'(0.113208) + 0.630869.'76'(0.113208) + 2.318182.'75'(0.113208) + 2.640360.'73'(0.854701) + 0) <= 7.262737 ('79')
 762 > [0.000000]: [surf_maxmin/DEBUG]       (0.867632.'75'(0.113208) + 2.536963.'74'(0.113208) + 0) <= 1.168831 ('78')
 763 > [0.000000]: [surf_maxmin/DEBUG]       (1.329171.'80'(1.655984) + 1.086414.'76'(0.113208) + 1.207792.'74'(0.113208) + 0) <= 7.912088 ('80')
 764 > [0.000000]: [surf_maxmin/DEBUG]       (1.579421.'77'(0.113208) + 1.362138.'76'(0.113208) + 1.609391.'75'(0.113208) + 0.214286.'74'(0.113208) + 1.036963.'78'(0.000000) + 1.843157.'79'(0.000000) + 0) <= 0.539461 ('75')
 765 > [0.000000]: [surf_maxmin/DEBUG]       (1.476024.'77'(0.113208) + 1.489510.'78'(0.000000) + 0.974026.'79'(0.000000) + 1.212288.'79'(0.000000) + 0) <= 1.428571 ('74')
 766 > [0.000000]: [surf_maxmin/DEBUG] Variables
 767 > [0.000000]: [surf_maxmin/DEBUG] '80'(1.000000) : 1.655984
 768 > [0.000000]: [surf_maxmin/DEBUG] '77'(1.000000) : 0.113208
 769 > [0.000000]: [surf_maxmin/DEBUG] '76'(1.000000) : 0.113208
 770 > [0.000000]: [surf_maxmin/DEBUG] '75'(1.000000) : 0.113208
 771 > [0.000000]: [surf_maxmin/DEBUG] '74'(1.000000) : 0.113208
 772 > [0.000000]: [surf_maxmin/DEBUG] '73'(1.000000) : 0.854701
 773 > [0.000000]: [surf_maxmin/DEBUG] '72'(1.000000) : 1.655984
 774 > [0.000000]: [surf_maxmin/DEBUG] '71'(1.000000) : 0.854701
 775 > [0.000000]: [surf_maxmin/DEBUG] '78'(0.000000) : 0.000000
 776 > [0.000000]: [surf_maxmin/DEBUG] '79'(0.000000) : 0.000000
 777 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
 778 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 779 > [0.000000]: [surf_maxmin/DEBUG] Constraint '86' usage: 5.734765 remaining: 0.609391
 780 > [0.000000]: [surf_maxmin/DEBUG] Constraint '85' usage: 7.075924 remaining: 3.776224
 781 > [0.000000]: [surf_maxmin/DEBUG] Constraint '89' usage: 2.815684 remaining: 8.081918
 782 > [0.000000]: [surf_maxmin/DEBUG] Constraint '88' usage: 6.223277 remaining: 1.458541
 783 > [0.000000]: [surf_maxmin/DEBUG] Constraint '81' usage: 3.684815 remaining: 5.934066
 784 > [0.000000]: [surf_maxmin/DEBUG] Constraint '84' usage: 5.168332 remaining: 0.189810
 785 > [0.000000]: [surf_maxmin/DEBUG] Constraint '90' usage: 1.853646 remaining: 4.025974
 786 > [0.000000]: [surf_maxmin/DEBUG] Constraint '82' usage: 3.173826 remaining: 7.812188
 787 > [0.000000]: [surf_maxmin/DEBUG] Constraint '87' usage: 2.877123 remaining: 5.074925
 788 > [0.000000]: [surf_maxmin/DEBUG] Constraint '83' usage: 1.522478 remaining: 0.199800
 789 > [0.000000]: [surf_maxmin/DEBUG] var=83, var->bound=-1.000000, var->weight=1.000000, min_usage=0.036726, var->bound*var->weight=-1.000000
 790 > [0.000000]: [surf_maxmin/DEBUG] var=85, var->bound=-1.000000, var->weight=1.000000, min_usage=0.036726, var->bound*var->weight=-1.000000
 791 > [0.000000]: [surf_maxmin/DEBUG] var=89, var->bound=-1.000000, var->weight=1.000000, min_usage=0.036726, var->bound*var->weight=-1.000000
 792 > [0.000000]: [surf_maxmin/DEBUG] Setting var (83) value to 0.036726
 793 >
 794 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(83)->weight: 1.000000, Var(83)->value: 0.036726
 795 > [0.000000]: [surf_maxmin/DEBUG] Setting var (85) value to 0.036726
 796 >
 797 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(85)->weight: 1.000000, Var(85)->value: 0.036726
 798 > [0.000000]: [surf_maxmin/DEBUG] Setting var (89) value to 0.036726
 799 >
 800 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.036726, Var(89)->weight: 1.000000, Var(89)->value: 0.036726
 801 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 10      || usage: 0.000000 remaining: 0.000000 bound: 0.189810
 802 > [0.000000]: [surf_maxmin/DEBUG] index: 5       cnst_light_num: 9       || usage: 0.000000 remaining: 0.143886 bound: 0.199800
 803 > [0.000000]: [surf_maxmin/DEBUG] var=81, var->bound=-1.000000, var->weight=1.000000, min_usage=0.133180, var->bound*var->weight=-1.000000
 804 > [0.000000]: [surf_maxmin/DEBUG] var=82, var->bound=-1.000000, var->weight=1.000000, min_usage=0.133180, var->bound*var->weight=-1.000000
 805 > [0.000000]: [surf_maxmin/DEBUG] var=84, var->bound=-1.000000, var->weight=1.000000, min_usage=0.133180, var->bound*var->weight=-1.000000
 806 > [0.000000]: [surf_maxmin/DEBUG] Setting var (81) value to 0.133180
 807 >
 808 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(81)->weight: 1.000000, Var(81)->value: 0.133180
 809 > [0.000000]: [surf_maxmin/DEBUG] Setting var (82) value to 0.133180
 810 >
 811 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(82)->weight: 1.000000, Var(82)->value: 0.133180
 812 > [0.000000]: [surf_maxmin/DEBUG] Setting var (84) value to 0.133180
 813 >
 814 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.133180, Var(84)->weight: 1.000000, Var(84)->value: 0.133180
 815 > [0.000000]: [surf_maxmin/DEBUG] index: 7       cnst_light_num: 8       || usage: 0.000000 remaining: 7.532445 bound: 7.812188
 816 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 7       || usage: 0.000000 remaining: 7.706925 bound: 8.081918
 817 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 6       || usage: 0.000000 remaining: 0.000000 bound: 0.609391
 818 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 5       || usage: 0.000000 remaining: 4.876179 bound: 5.074925
 819 > [0.000000]: [surf_maxmin/DEBUG] var=88, var->bound=-1.000000, var->weight=1.000000, min_usage=0.552648, var->bound*var->weight=-1.000000
 820 > [0.000000]: [surf_maxmin/DEBUG] Setting var (88) value to 0.552648
 821 >
 822 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.552648, Var(88)->weight: 1.000000, Var(88)->value: 0.552648
 823 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 4       || usage: 0.000000 remaining: 2.232278 bound: 3.776224
 824 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 3       || usage: 0.000000 remaining: 5.081262 bound: 5.934066
 825 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 2       || usage: 0.000000 remaining: 3.095879 bound: 4.025974
 826 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 0.000000 bound: 1.458541
 827 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '89'(1.000000) '88'(1.000000) '85'(1.000000) '84'(1.000000) '83'(1.000000) '82'(1.000000) '81'(1.000000) '86'(0.000000) '87'(0.000000) '90'(0.000000) )
 828 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 829 > [0.000000]: [surf_maxmin/DEBUG]       (1.600400.'85'(0.036726) + 1.288711.'84'(0.133180) + 1.771229.'82'(0.133180) + 1.074426.'81'(0.133180) + 0.878122.'86'(0.000000) + 1.260240.'87'(0.000000) + 0) <= 0.609391 ('86')
 830 > [0.000000]: [surf_maxmin/DEBUG]       (1.967532.'88'(0.552648) + 2.319680.'83'(0.036726) + 0.597902.'82'(0.133180) + 0.052448.'81'(0.133180) + 2.138362.'81'(0.133180) + 0) <= 3.776224 ('85')
 831 > [0.000000]: [surf_maxmin/DEBUG]       (1.621379.'84'(0.133180) + 1.194306.'81'(0.133180) + 0.600899.'87'(0.000000) + 0) <= 8.081918 ('89')
 832 > [0.000000]: [surf_maxmin/DEBUG]       (0.938062.'89'(0.036726) + 2.073926.'88'(0.552648) + 1.552448.'85'(0.036726) + 1.658841.'82'(0.133180) + 0.714785.'87'(0.000000) + 0) <= 1.458541 ('88')
 833 > [0.000000]: [surf_maxmin/DEBUG]       (1.314186.'88'(0.552648) + 1.961538.'83'(0.036726) + 0.409091.'82'(0.133180) + 1.278222.'86'(0.000000) + 0) <= 5.934066 ('81')
 834 > [0.000000]: [surf_maxmin/DEBUG]       (1.907592.'89'(0.036726) + 2.123377.'85'(0.036726) + 1.137363.'83'(0.036726) + 0.212787.'90'(0.000000) + 0) <= 0.189810 ('84')
 835 > [0.000000]: [surf_maxmin/DEBUG]       (1.670829.'88'(0.552648) + 0.182817.'83'(0.036726) + 0.954545.'86'(0.000000) + 2.270230.'90'(0.000000) + 0) <= 4.025974 ('90')
 836 > [0.000000]: [surf_maxmin/DEBUG]       (1.482018.'89'(0.036726) + 1.691808.'84'(0.133180) + 0.773227.'86'(0.000000) + 2.360140.'87'(0.000000) + 0) <= 7.812188 ('82')
 837 > [0.000000]: [surf_maxmin/DEBUG]       (1.912088.'85'(0.036726) + 0.965035.'84'(0.133180) + 4.087912.'90'(0.000000) + 0.058442.'90'(0.000000) + 0) <= 5.074925 ('87')
 838 > [0.000000]: [surf_maxmin/DEBUG]       (1.522478.'89'(0.036726) + 0) <= 0.199800 ('83')
 839 > [0.000000]: [surf_maxmin/DEBUG] Variables
 840 > [0.000000]: [surf_maxmin/DEBUG] '89'(1.000000) : 0.036726
 841 > [0.000000]: [surf_maxmin/DEBUG] '88'(1.000000) : 0.552648
 842 > [0.000000]: [surf_maxmin/DEBUG] '85'(1.000000) : 0.036726
 843 > [0.000000]: [surf_maxmin/DEBUG] '84'(1.000000) : 0.133180
 844 > [0.000000]: [surf_maxmin/DEBUG] '83'(1.000000) : 0.036726
 845 > [0.000000]: [surf_maxmin/DEBUG] '82'(1.000000) : 0.133180
 846 > [0.000000]: [surf_maxmin/DEBUG] '81'(1.000000) : 0.133180
 847 > [0.000000]: [surf_maxmin/DEBUG] '86'(0.000000) : 0.000000
 848 > [0.000000]: [surf_maxmin/DEBUG] '87'(0.000000) : 0.000000
 849 > [0.000000]: [surf_maxmin/DEBUG] '90'(0.000000) : 0.000000
 850 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '89'(1.000000) '88'(1.000000) '85'(1.000000) '84'(1.000000) '83'(1.000000) '82'(1.000000) '81'(1.000000) '86'(0.000000) '87'(0.000000) '90'(0.000000) )
 851 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 852 > [0.000000]: [surf_maxmin/DEBUG]       (1.600400.'85'(0.036726) + 1.288711.'84'(0.133180) + 1.771229.'82'(0.133180) + 1.074426.'81'(0.133180) + 0.878122.'86'(0.000000) + 1.260240.'87'(0.000000) + 0) <= 0.609391 ('86')
 853 > [0.000000]: [surf_maxmin/DEBUG]       (1.967532.'88'(0.552648) + 2.319680.'83'(0.036726) + 0.597902.'82'(0.133180) + 0.052448.'81'(0.133180) + 2.138362.'81'(0.133180) + 0) <= 3.776224 ('85')
 854 > [0.000000]: [surf_maxmin/DEBUG]       (1.621379.'84'(0.133180) + 1.194306.'81'(0.133180) + 0.600899.'87'(0.000000) + 0) <= 8.081918 ('89')
 855 > [0.000000]: [surf_maxmin/DEBUG]       (0.938062.'89'(0.036726) + 2.073926.'88'(0.552648) + 1.552448.'85'(0.036726) + 1.658841.'82'(0.133180) + 0.714785.'87'(0.000000) + 0) <= 1.458541 ('88')
 856 > [0.000000]: [surf_maxmin/DEBUG]       (1.314186.'88'(0.552648) + 1.961538.'83'(0.036726) + 0.409091.'82'(0.133180) + 1.278222.'86'(0.000000) + 0) <= 5.934066 ('81')
 857 > [0.000000]: [surf_maxmin/DEBUG]       (1.907592.'89'(0.036726) + 2.123377.'85'(0.036726) + 1.137363.'83'(0.036726) + 0.212787.'90'(0.000000) + 0) <= 0.189810 ('84')
 858 > [0.000000]: [surf_maxmin/DEBUG]       (1.670829.'88'(0.552648) + 0.182817.'83'(0.036726) + 0.954545.'86'(0.000000) + 2.270230.'90'(0.000000) + 0) <= 4.025974 ('90')
 859 > [0.000000]: [surf_maxmin/DEBUG]       (1.482018.'89'(0.036726) + 1.691808.'84'(0.133180) + 0.773227.'86'(0.000000) + 2.360140.'87'(0.000000) + 0) <= 7.812188 ('82')
 860 > [0.000000]: [surf_maxmin/DEBUG]       (1.912088.'85'(0.036726) + 0.965035.'84'(0.133180) + 4.087912.'90'(0.000000) + 0.058442.'90'(0.000000) + 0) <= 5.074925 ('87')
 861 > [0.000000]: [surf_maxmin/DEBUG]       (1.522478.'89'(0.036726) + 0) <= 0.199800 ('83')
 862 > [0.000000]: [surf_maxmin/DEBUG] Variables
 863 > [0.000000]: [surf_maxmin/DEBUG] '89'(1.000000) : 0.036726
 864 > [0.000000]: [surf_maxmin/DEBUG] '88'(1.000000) : 0.552648
 865 > [0.000000]: [surf_maxmin/DEBUG] '85'(1.000000) : 0.036726
 866 > [0.000000]: [surf_maxmin/DEBUG] '84'(1.000000) : 0.133180
 867 > [0.000000]: [surf_maxmin/DEBUG] '83'(1.000000) : 0.036726
 868 > [0.000000]: [surf_maxmin/DEBUG] '82'(1.000000) : 0.133180
 869 > [0.000000]: [surf_maxmin/DEBUG] '81'(1.000000) : 0.133180
 870 > [0.000000]: [surf_maxmin/DEBUG] '86'(0.000000) : 0.000000
 871 > [0.000000]: [surf_maxmin/DEBUG] '87'(0.000000) : 0.000000
 872 > [0.000000]: [surf_maxmin/DEBUG] '90'(0.000000) : 0.000000
 873 > [0.000000]: [surf_maxmin/DEBUG] Setting selective_update_active flag to 1
 874 > [0.000000]: [surf_maxmin/DEBUG] Active constraints : 10
 875 > [0.000000]: [surf_maxmin/DEBUG] Constraint '99' usage: 6.451049 remaining: 0.949051
 876 > [0.000000]: [surf_maxmin/DEBUG] Constraint '94' usage: 4.122378 remaining: 4.585415
 877 > [0.000000]: [surf_maxmin/DEBUG] Constraint '100' usage: 4.119381 remaining: 5.714286
 878 > [0.000000]: [surf_maxmin/DEBUG] Constraint '95' usage: 6.350649 remaining: 4.195804
 879 > [0.000000]: [surf_maxmin/DEBUG] Constraint '97' usage: 2.192308 remaining: 1.198801
 880 > [0.000000]: [surf_maxmin/DEBUG] Constraint '98' usage: 1.356144 remaining: 8.541459
 881 > [0.000000]: [surf_maxmin/DEBUG] Constraint '92' usage: 3.732767 remaining: 0.649351
 882 > [0.000000]: [surf_maxmin/DEBUG] Constraint '91' usage: 1.179321 remaining: 8.421578
 883 > [0.000000]: [surf_maxmin/DEBUG] Constraint '96' usage: 2.234266 remaining: 3.876124
 884 > [0.000000]: [surf_maxmin/DEBUG] Constraint '93' usage: 4.747253 remaining: 8.971029
 885 > [0.000000]: [surf_maxmin/DEBUG] var=91, var->bound=-1.000000, var->weight=1.000000, min_usage=0.147116, var->bound*var->weight=-1.000000
 886 > [0.000000]: [surf_maxmin/DEBUG] var=94, var->bound=-1.000000, var->weight=1.000000, min_usage=0.147116, var->bound*var->weight=-1.000000
 887 > [0.000000]: [surf_maxmin/DEBUG] var=97, var->bound=-1.000000, var->weight=1.000000, min_usage=0.147116, var->bound*var->weight=-1.000000
 888 > [0.000000]: [surf_maxmin/DEBUG] Setting var (91) value to 0.147116
 889 >
 890 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.147116, Var(91)->weight: 1.000000, Var(91)->value: 0.147116
 891 > [0.000000]: [surf_maxmin/DEBUG] Setting var (94) value to 0.147116
 892 >
 893 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.147116, Var(94)->weight: 1.000000, Var(94)->value: 0.147116
 894 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 10      || usage: 0.000000 remaining: 3.978948 bound: 4.585415
 895 > [0.000000]: [surf_maxmin/DEBUG] Setting var (97) value to 0.147116
 896 >
 897 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.147116, Var(97)->weight: 1.000000, Var(97)->value: 0.147116
 898 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 9       || usage: 0.000000 remaining: 0.000000 bound: 0.949051
 899 > [0.000000]: [surf_maxmin/DEBUG] var=93, var->bound=-1.000000, var->weight=1.000000, min_usage=0.194272, var->bound*var->weight=-1.000000
 900 > [0.000000]: [surf_maxmin/DEBUG] Setting var (93) value to 0.194272
 901 >
 902 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.194272, Var(93)->weight: 1.000000, Var(93)->value: 0.194272
 903 > [0.000000]: [surf_maxmin/DEBUG] index: 6       cnst_light_num: 8       || usage: 0.000000 remaining: 0.000000 bound: 0.649351
 904 > [0.000000]: [surf_maxmin/DEBUG] index: 6       cnst_light_num: 7       || usage: 0.000000 remaining: 8.192469 bound: 8.421578
 905 > [0.000000]: [surf_maxmin/DEBUG] var=92, var->bound=-1.000000, var->weight=1.000000, min_usage=0.546822, var->bound*var->weight=-1.000000
 906 > [0.000000]: [surf_maxmin/DEBUG] Setting var (92) value to 0.546822
 907 >
 908 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 0.546822, Var(92)->weight: 1.000000, Var(92)->value: 0.546822
 909 > [0.000000]: [surf_maxmin/DEBUG] index: 4       cnst_light_num: 6       || usage: 0.000000 remaining: 0.000000 bound: 1.198801
 910 > [0.000000]: [surf_maxmin/DEBUG] index: 4       cnst_light_num: 5       || usage: 0.000000 remaining: 7.799890 bound: 8.541459
 911 > [0.000000]: [surf_maxmin/DEBUG] var=95, var->bound=-1.000000, var->weight=1.000000, min_usage=1.734854, var->bound*var->weight=-1.000000
 912 > [0.000000]: [surf_maxmin/DEBUG] Setting var (95) value to 1.734854
 913 >
 914 > [0.000000]: [surf_maxmin/DEBUG] Min usage: 1.734854, Var(95)->weight: 1.000000, Var(95)->value: 1.734854
 915 > [0.000000]: [surf_maxmin/DEBUG] index: 2       cnst_light_num: 4       || usage: 0.000000 remaining: 3.148664 bound: 5.714286
 916 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 3       || usage: 0.000000 remaining: 0.000000 bound: 3.876124
 917 > [0.000000]: [surf_maxmin/DEBUG] index: 1       cnst_light_num: 2       || usage: 0.000000 remaining: 6.621449 bound: 8.971029
 918 > [0.000000]: [surf_maxmin/DEBUG] index: 0       cnst_light_num: 1       || usage: 0.000000 remaining: 0.691691 bound: 4.195804
 919 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '97'(1.000000) '95'(1.000000) '94'(1.000000) '93'(1.000000) '92'(1.000000) '91'(1.000000) '96'(0.000000) '98'(0.000000) '99'(0.000000) '100'(0.000000) )
 920 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 921 > [0.000000]: [surf_maxmin/DEBUG]       (2.201299.'97'(0.147116) + 0.543956.'94'(0.147116) + 0.600899.'91'(0.147116) + 3.104895.'91'(0.147116) + 1.733766.'96'(0.000000) + 0) <= 0.949051 ('99')
 922 > [0.000000]: [surf_maxmin/DEBUG]       (1.321678.'94'(0.147116) + 2.800699.'91'(0.147116) + 2.343656.'96'(0.000000) + 1.960040.'99'(0.000000) + 1.711289.'100'(0.000000) + 0) <= 4.585415 ('94')
 923 > [0.000000]: [surf_maxmin/DEBUG]       (0.882617.'95'(1.734854) + 0.873626.'94'(0.147116) + 1.396603.'92'(0.546822) + 0.966533.'91'(0.147116) + 0) <= 5.714286 ('100')
 924 > [0.000000]: [surf_maxmin/DEBUG]       (1.147852.'95'(1.734854) + 2.036464.'94'(0.147116) + 0.382118.'93'(0.194272) + 1.087912.'93'(0.194272) + 1.696304.'92'(0.546822) + 1.083417.'96'(0.000000) + 1.383117.'98'(0.000000) + 0.996503.'99'(0.000000) + 0) <= 4.195804 ('95')
 925 > [0.000000]: [surf_maxmin/DEBUG]       (2.192308.'92'(0.546822) + 0) <= 1.198801 ('97')
 926 > [0.000000]: [surf_maxmin/DEBUG]       (1.356144.'92'(0.546822) + 1.077423.'96'(0.000000) + 1.757742.'98'(0.000000) + 0.403097.'98'(0.000000) + 0) <= 8.541459 ('98')
 927 > [0.000000]: [surf_maxmin/DEBUG]       (1.607892.'97'(0.147116) + 2.124875.'93'(0.194272) + 0.008991.'98'(0.000000) + 1.888112.'99'(0.000000) + 1.177822.'100'(0.000000) + 0) <= 0.649351 ('92')
 928 > [0.000000]: [surf_maxmin/DEBUG]       (1.179321.'93'(0.194272) + 0.905095.'99'(0.000000) + 2.109890.'100'(0.000000) + 0) <= 8.421578 ('91')
 929 > [0.000000]: [surf_maxmin/DEBUG]       (2.234266.'95'(1.734854) + 0) <= 3.876124 ('96')
 930 > [0.000000]: [surf_maxmin/DEBUG]       (1.408591.'97'(0.147116) + 2.298701.'97'(0.147116) + 1.039960.'95'(1.734854) + 0.251748.'100'(0.000000) + 0) <= 8.971029 ('93')
 931 > [0.000000]: [surf_maxmin/DEBUG] Variables
 932 > [0.000000]: [surf_maxmin/DEBUG] '97'(1.000000) : 0.147116
 933 > [0.000000]: [surf_maxmin/DEBUG] '95'(1.000000) : 1.734854
 934 > [0.000000]: [surf_maxmin/DEBUG] '94'(1.000000) : 0.147116
 935 > [0.000000]: [surf_maxmin/DEBUG] '93'(1.000000) : 0.194272
 936 > [0.000000]: [surf_maxmin/DEBUG] '92'(1.000000) : 0.546822
 937 > [0.000000]: [surf_maxmin/DEBUG] '91'(1.000000) : 0.147116
 938 > [0.000000]: [surf_maxmin/DEBUG] '96'(0.000000) : 0.000000
 939 > [0.000000]: [surf_maxmin/DEBUG] '98'(0.000000) : 0.000000
 940 > [0.000000]: [surf_maxmin/DEBUG] '99'(0.000000) : 0.000000
 941 > [0.000000]: [surf_maxmin/DEBUG] '100'(0.000000) : 0.000000
 942 > [0.000000]: [surf_maxmin/DEBUG] MAX-MIN ( '97'(1.000000) '95'(1.000000) '94'(1.000000) '93'(1.000000) '92'(1.000000) '91'(1.000000) '96'(0.000000) '98'(0.000000) '99'(0.000000) '100'(0.000000) )
 943 > [0.000000]: [surf_maxmin/DEBUG] Constraints
 944 > [0.000000]: [surf_maxmin/DEBUG]       (2.201299.'97'(0.147116) + 0.543956.'94'(0.147116) + 0.600899.'91'(0.147116) + 3.104895.'91'(0.147116) + 1.733766.'96'(0.000000) + 0) <= 0.949051 ('99')
 945 > [0.000000]: [surf_maxmin/DEBUG]       (1.321678.'94'(0.147116) + 2.800699.'91'(0.147116) + 2.343656.'96'(0.000000) + 1.960040.'99'(0.000000) + 1.711289.'100'(0.000000) + 0) <= 4.585415 ('94')
 946 > [0.000000]: [surf_maxmin/DEBUG]       (0.882617.'95'(1.734854) + 0.873626.'94'(0.147116) + 1.396603.'92'(0.546822) + 0.966533.'91'(0.147116) + 0) <= 5.714286 ('100')
 947 > [0.000000]: [surf_maxmin/DEBUG]       (1.147852.'95'(1.734854) + 2.036464.'94'(0.147116) + 0.382118.'93'(0.194272) + 1.087912.'93'(0.194272) + 1.696304.'92'(0.546822) + 1.083417.'96'(0.000000) + 1.383117.'98'(0.000000) + 0.996503.'99'(0.000000) + 0) <= 4.195804 ('95')
 948 > [0.000000]: [surf_maxmin/DEBUG]       (2.192308.'92'(0.546822) + 0) <= 1.198801 ('97')
 949 > [0.000000]: [surf_maxmin/DEBUG]       (1.356144.'92'(0.546822) + 1.077423.'96'(0.000000) + 1.757742.'98'(0.000000) + 0.403097.'98'(0.000000) + 0) <= 8.541459 ('98')
 950 > [0.000000]: [surf_maxmin/DEBUG]       (1.607892.'97'(0.147116) + 2.124875.'93'(0.194272) + 0.008991.'98'(0.000000) + 1.888112.'99'(0.000000) + 1.177822.'100'(0.000000) + 0) <= 0.649351 ('92')
 951 > [0.000000]: [surf_maxmin/DEBUG]       (1.179321.'93'(0.194272) + 0.905095.'99'(0.000000) + 2.109890.'100'(0.000000) + 0) <= 8.421578 ('91')
 952 > [0.000000]: [surf_maxmin/DEBUG]       (2.234266.'95'(1.734854) + 0) <= 3.876124 ('96')
 953 > [0.000000]: [surf_maxmin/DEBUG]       (1.408591.'97'(0.147116) + 2.298701.'97'(0.147116) + 1.039960.'95'(1.734854) + 0.251748.'100'(0.000000) + 0) <= 8.971029 ('93')
 954 > [0.000000]: [surf_maxmin/DEBUG] Variables
 955 > [0.000000]: [surf_maxmin/DEBUG] '97'(1.000000) : 0.147116
 956 > [0.000000]: [surf_maxmin/DEBUG] '95'(1.000000) : 1.734854
 957 > [0.000000]: [surf_maxmin/DEBUG] '94'(1.000000) : 0.147116
 958 > [0.000000]: [surf_maxmin/DEBUG] '93'(1.000000) : 0.194272
 959 > [0.000000]: [surf_maxmin/DEBUG] '92'(1.000000) : 0.546822
 960 > [0.000000]: [surf_maxmin/DEBUG] '91'(1.000000) : 0.147116
 961 > [0.000000]: [surf_maxmin/DEBUG] '96'(0.000000) : 0.000000
 962 > [0.000000]: [surf_maxmin/DEBUG] '98'(0.000000) : 0.000000
 963 > [0.000000]: [surf_maxmin/DEBUG] '99'(0.000000) : 0.000000
 964 > [0.000000]: [surf_maxmin/DEBUG] '100'(0.000000) : 0.000000
 965 > Starting 0: (807)
 966 > Starting to solve(813)
 967 > Max concurrency:
 968 > (0):1/-1 (1):2/3 (2):1/4 (3):1/3 (4):2/-1 (5):3/3 (6):2/4 (7):1/-1 (8):2/-1 (9):2/3
 969 >
 970 > Total maximum concurrency is 3
 971 > Starting 1: (614)
 972 > Starting to solve(68)
 973 > Max concurrency:
 974 > (0):3/3 (1):0/3 (2):3/-1 (3):1/4 (4):2/-1 (5):2/3 (6):3/3 (7):3/4 (8):2/3 (9):4/4
 975 >
 976 > Total maximum concurrency is 4
 977 > Starting 2: (421)
 978 > Starting to solve(310)
 979 > Max concurrency:
 980 > (0):2/3 (1):1/4 (2):4/4 (3):2/3 (4):3/4 (5):2/-1 (6):1/3 (7):1/3 (8):1/-1 (9):2/-1
 981 >
 982 > Total maximum concurrency is 4
 983 > Starting 3: (228)
 984 > Starting to solve(952)
 985 > Max concurrency:
 986 > (0):1/4 (1):3/-1 (2):2/3 (3):6/-1 (4):4/-1 (5):3/4 (6):1/4 (7):2/3 (8):2/3 (9):4/4
 987 >
 988 > Total maximum concurrency is 6
 989 > Starting 4: (35)
 990 > Starting to solve(203)
 991 > Max concurrency:
 992 > (0):1/4 (1):4/4 (2):1/4 (3):0/4 (4):3/3 (5):2/4 (6):2/4 (7):3/-1 (8):2/3 (9):2/4
 993 >
 994 > Total maximum concurrency is 4
 995 > Starting 5: (842)
 996 > Starting to solve(329)
 997 > Max concurrency:
 998 > (0):1/4 (1):3/3 (2):3/3 (3):3/-1 (4):3/4 (5):2/3 (6):4/4 (7):3/4 (8):3/4 (9):1/3
 999 >
1000 > Total maximum concurrency is 4
1001 > Starting 6: (649)
1002 > Starting to solve(908)
1003 > Max concurrency:
1004 > (0):1/4 (1):4/4 (2):2/3 (3):1/3 (4):3/4 (5):4/-1 (6):0/4 (7):3/3 (8):0/4 (9):2/4
1005 >
1006 > Total maximum concurrency is 4
1007 > Starting 7: (456)
1008 > Starting to solve(563)
1009 > Max concurrency:
1010 > (0):2/3 (1):2/3 (2):2/-1 (3):1/4 (4):3/4 (5):2/4 (6):3/3 (7):1/-1 (8):3/4 (9):3/4
1011 >
1012 > Total maximum concurrency is 3
1013 > Starting 8: (263)
1014 > Starting to solve(118)
1015 > Max concurrency:
1016 > (0):2/3 (1):2/4 (2):1/3 (3):3/4 (4):3/4 (5):4/4 (6):2/4 (7):3/4 (8):2/3 (9):2/-1
1017 >
1018 > Total maximum concurrency is 4
1019 > Starting 9: (70)
1020 > Starting to solve(117)
1021 > Max concurrency:
1022 > (0):1/4 (1):2/3 (2):3/3 (3):3/4 (4):4/4 (5):1/3 (6):1/4 (7):1/3 (8):2/4 (9):1/3
1023 >
1024 > Total maximum concurrency is 4
1025 > 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
1026