-> [0.000000]: [ker_lmm/DEBUG] Constraint '488' usage: 20.472420 remaining: 7.015528 concurrency: 11<=12<=16
-> [0.000000]: [ker_lmm/DEBUG] Constraint '486' usage: 14.533560 remaining: 7.699327 concurrency: 7<=8<=10
-> [0.000000]: [ker_lmm/DEBUG] Constraint '415' usage: 2.914484 remaining: 2.658191 concurrency: 2<=3<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '500' usage: 18.376920 remaining: 1.702501 concurrency: 9<=9<=9
-> [0.000000]: [ker_lmm/DEBUG] Constraint '491' usage: 17.776353 remaining: 6.449255 concurrency: 10<=10<=10
-> [0.000000]: [ker_lmm/DEBUG] Constraint '427' usage: 16.950583 remaining: 0.016422 concurrency: 8<=8<=16
-> [0.000000]: [ker_lmm/DEBUG] Constraint '437' usage: 21.812672 remaining: 6.087026 concurrency: 11<=12<=16
-> [0.000000]: [ker_lmm/DEBUG] Constraint '406' usage: 15.162755 remaining: 2.968005 concurrency: 8<=9<=40
-> [0.000000]: [ker_lmm/DEBUG] Constraint '414' usage: 17.773475 remaining: 4.921360 concurrency: 8<=9<=40
-> [0.000000]: [ker_lmm/DEBUG] Constraint '479' usage: 13.243669 remaining: 9.214706 concurrency: 6<=6<=16
-> [0.000000]: [ker_lmm/DEBUG] Constraint '499' usage: 11.346698 remaining: 8.077774 concurrency: 6<=7<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '468' usage: 17.523688 remaining: 3.596849 concurrency: 10<=10<=40
-> [0.000000]: [ker_lmm/DEBUG] Constraint '498' usage: 22.151025 remaining: 0.850705 concurrency: 12<=12<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '456' usage: 8.454914 remaining: 3.520949 concurrency: 4<=5<=9
-> [0.000000]: [ker_lmm/DEBUG] Constraint '407' usage: 7.153618 remaining: 8.082817 concurrency: 4<=5<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '446' usage: 8.803095 remaining: 9.266826 concurrency: 6<=6<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '421' usage: 15.003586 remaining: 9.602267 concurrency: 8<=9<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '439' usage: 18.043328 remaining: 0.291116 concurrency: 9<=10<=24
-> [0.000000]: [ker_lmm/DEBUG] Constraint '455' usage: 19.292004 remaining: 7.950875 concurrency: 11<=11<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '440' usage: 27.155795 remaining: 3.109799 concurrency: 11<=11<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '435' usage: 22.655252 remaining: 3.989448 concurrency: 9<=10<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '426' usage: 20.754258 remaining: 5.631875 concurrency: 10<=10<=24
-> [0.000000]: [ker_lmm/DEBUG] Constraint '447' usage: 12.226948 remaining: 9.126268 concurrency: 7<=8<=16
-> [0.000000]: [ker_lmm/DEBUG] Constraint '472' usage: 17.506150 remaining: 4.860990 concurrency: 10<=10<=12
-> [0.000000]: [ker_lmm/DEBUG] Constraint '487' usage: 13.896719 remaining: 9.835966 concurrency: 7<=7<=12
-> [0.000000]: [ker_lmm/DEBUG] Constraint '417' usage: 16.445502 remaining: 2.535882 concurrency: 9<=9<=24
-> [0.000000]: [ker_lmm/DEBUG] Constraint '477' usage: 12.857285 remaining: 7.029421 concurrency: 7<=8<=9
-> [0.000000]: [ker_lmm/DEBUG] Constraint '412' usage: 22.535293 remaining: 1.190954 concurrency: 13<=14<=16
-> [0.000000]: [ker_lmm/DEBUG] Constraint '480' usage: 14.668542 remaining: 8.302155 concurrency: 8<=8<=9
-> [0.000000]: [ker_lmm/DEBUG] Constraint '495' usage: 15.377112 remaining: 5.235122 concurrency: 5<=5<=24
-> [0.000000]: [ker_lmm/DEBUG] Constraint '405' usage: 14.694017 remaining: 3.541380 concurrency: 9<=9<=9
-> [0.000000]: [ker_lmm/DEBUG] Constraint '493' usage: 16.158120 remaining: 6.283088 concurrency: 7<=8<=24
-> [0.000000]: [ker_lmm/DEBUG] Constraint '431' usage: 13.036521 remaining: 6.670591 concurrency: 6<=7<=10
-> [0.000000]: [ker_lmm/DEBUG] Constraint '497' usage: 17.300693 remaining: 7.534345 concurrency: 9<=9<=12
-> [0.000000]: [ker_lmm/DEBUG] Constraint '441' usage: 19.956350 remaining: 4.743166 concurrency: 10<=10<=10
-> [0.000000]: [ker_lmm/DEBUG] Constraint '459' usage: 22.994399 remaining: 9.325947 concurrency: 14<=15<=24
-> [0.000000]: [ker_lmm/DEBUG] Constraint '401' usage: 9.576477 remaining: 0.551801 concurrency: 5<=6<=16
-> [0.000000]: [ker_lmm/DEBUG] Constraint '434' usage: 14.102811 remaining: 9.814687 concurrency: 7<=8<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '471' usage: 12.012357 remaining: 8.004764 concurrency: 6<=7<=9
-> [0.000000]: [ker_lmm/DEBUG] Constraint '476' usage: 10.480181 remaining: 9.876963 concurrency: 7<=8<=12
-> [0.000000]: [ker_lmm/DEBUG] Constraint '422' usage: 18.896493 remaining: 1.884146 concurrency: 10<=11<=16
-> [0.000000]: [ker_lmm/DEBUG] Constraint '425' usage: 17.128018 remaining: 6.161248 concurrency: 9<=9<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '461' usage: 8.968907 remaining: 9.944312 concurrency: 6<=7<=9
-> [0.000000]: [ker_lmm/DEBUG] Constraint '464' usage: 10.042622 remaining: 9.611031 concurrency: 6<=7<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '416' usage: 13.311701 remaining: 2.846859 concurrency: 7<=7<=-1
-> [0.000000]: [ker_lmm/DEBUG] Constraint '449' usage: 14.236103 remaining: 6.842328 concurrency: 7<=8<=9
-> [0.000000]: [ker_lmm/DEBUG] Constraint '436' usage: 14.732697 remaining: 8.137325 concurrency: 7<=8<=40
-> [0.000000]: [ker_lmm/DEBUG] Constraint '433' usage: 7.395334 remaining: 5.754137 concurrency: 4<=5<=10
-> [0.000000]: [ker_lmm/DEBUG] Constraint '470' usage: 16.158806 remaining: 4.461701 concurrency: 8<=8<=40
-> [0.000000]: [ker_lmm/DEBUG] Constraint '420' usage: 15.118958 remaining: 9.580135 concurrency: 8<=9<=40
-> [0.000000]: [ker_lmm/DEBUG] Constraint '413' usage: 5.091653 remaining: 6.287879 concurrency: 2<=4<=40
-> [0.000000]: [ker_lmm/DEBUG] Constraint '408' usage: 16.095336 remaining: 6.494589 concurrency: 8<=8<=16
-> [0.000000]: [ker_lmm/DEBUG] var=403, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=407, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=408, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=409, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=414, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=422, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=431, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=432, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=447, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=448, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=452, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=494, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.000969, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] Setting var (403) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(403).penalty: 1.000000, Var(403).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] Setting var (407) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(407).penalty: 1.000000, Var(407).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] Setting var (408) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(408).penalty: 1.000000, Var(408).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] Setting var (409) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(409).penalty: 1.000000, Var(409).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] Setting var (414) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(414).penalty: 1.000000, Var(414).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] Setting var (422) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(422).penalty: 1.000000, Var(422).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] Setting var (431) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(431).penalty: 1.000000, Var(431).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] Setting var (432) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(432).penalty: 1.000000, Var(432).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] Setting var (447) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(447).penalty: 1.000000, Var(447).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] index: 50 cnst_light_num: 100 || usage: 0.000000 remaining: 2.655368 bound: 2.658191
-> [0.000000]: [ker_lmm/DEBUG] Setting var (448) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(448).penalty: 1.000000, Var(448).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] Setting var (452) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(452).penalty: 1.000000, Var(452).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] Setting var (494) value to 0.000969
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.000969, Var(494).penalty: 1.000000, Var(494).value: 0.000969
-> [0.000000]: [ker_lmm/DEBUG] index: 53 cnst_light_num: 99 || usage: 0.000000 remaining: 0.000000 bound: 0.016422
-> [0.000000]: [ker_lmm/DEBUG] var=402, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=411, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=417, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=419, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=424, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=433, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=440, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=469, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=473, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.010573, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] Setting var (402) value to 0.010573
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.010573, Var(402).penalty: 1.000000, Var(402).value: 0.010573
-> [0.000000]: [ker_lmm/DEBUG] Setting var (411) value to 0.010573
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.010573, Var(411).penalty: 1.000000, Var(411).value: 0.010573
-> [0.000000]: [ker_lmm/DEBUG] Setting var (417) value to 0.010573
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.010573, Var(417).penalty: 1.000000, Var(417).value: 0.010573
-> [0.000000]: [ker_lmm/DEBUG] Setting var (419) value to 0.010573
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.010573, Var(419).penalty: 1.000000, Var(419).value: 0.010573
-> [0.000000]: [ker_lmm/DEBUG] Setting var (424) value to 0.010573
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.010573, Var(424).penalty: 1.000000, Var(424).value: 0.010573
-> [0.000000]: [ker_lmm/DEBUG] Setting var (433) value to 0.010573
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.010573, Var(433).penalty: 1.000000, Var(433).value: 0.010573
-> [0.000000]: [ker_lmm/DEBUG] Setting var (440) value to 0.010573
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.010573, Var(440).penalty: 1.000000, Var(440).value: 0.010573
-> [0.000000]: [ker_lmm/DEBUG] Setting var (469) value to 0.010573
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.010573, Var(469).penalty: 1.000000, Var(469).value: 0.010573
-> [0.000000]: [ker_lmm/DEBUG] Setting var (473) value to 0.010573
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.010573, Var(473).penalty: 1.000000, Var(473).value: 0.010573
-> [0.000000]: [ker_lmm/DEBUG] index: 29 cnst_light_num: 98 || usage: 0.000000 remaining: 0.000000 bound: 0.123694
-> [0.000000]: [ker_lmm/DEBUG] var=406, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=410, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=413, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=418, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=427, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=428, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=435, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.019153, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] Setting var (406) value to 0.019153
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.019153, Var(406).penalty: 1.000000, Var(406).value: 0.019153
-> [0.000000]: [ker_lmm/DEBUG] Setting var (410) value to 0.019153
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.019153, Var(410).penalty: 1.000000, Var(410).value: 0.019153
-> [0.000000]: [ker_lmm/DEBUG] Setting var (413) value to 0.019153
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.019153, Var(413).penalty: 1.000000, Var(413).value: 0.019153
-> [0.000000]: [ker_lmm/DEBUG] Setting var (418) value to 0.019153
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.019153, Var(418).penalty: 1.000000, Var(418).value: 0.019153
-> [0.000000]: [ker_lmm/DEBUG] Setting var (427) value to 0.019153
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.019153, Var(427).penalty: 1.000000, Var(427).value: 0.019153
-> [0.000000]: [ker_lmm/DEBUG] Setting var (428) value to 0.019153
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.019153, Var(428).penalty: 1.000000, Var(428).value: 0.019153
-> [0.000000]: [ker_lmm/DEBUG] Setting var (435) value to 0.019153
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.019153, Var(435).penalty: 1.000000, Var(435).value: 0.019153
-> [0.000000]: [ker_lmm/DEBUG] index: 38 cnst_light_num: 97 || usage: 0.000000 remaining: 0.000000 bound: 0.355090
-> [0.000000]: [ker_lmm/DEBUG] var=404, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027066, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=415, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027066, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=421, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027066, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=429, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027066, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=457, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.027066, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] Setting var (404) value to 0.027066
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.027066, Var(404).penalty: 1.000000, Var(404).value: 0.027066
-> [0.000000]: [ker_lmm/DEBUG] Setting var (415) value to 0.027066
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.027066, Var(415).penalty: 1.000000, Var(415).value: 0.027066
-> [0.000000]: [ker_lmm/DEBUG] index: 90 cnst_light_num: 96 || usage: 0.000000 remaining: 9.850116 bound: 9.944312
-> [0.000000]: [ker_lmm/DEBUG] Setting var (421) value to 0.027066
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.027066, Var(421).penalty: 1.000000, Var(421).value: 0.027066
-> [0.000000]: [ker_lmm/DEBUG] Setting var (429) value to 0.027066
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.027066, Var(429).penalty: 1.000000, Var(429).value: 0.027066
-> [0.000000]: [ker_lmm/DEBUG] index: 77 cnst_light_num: 95 || usage: 0.000000 remaining: 5.092002 bound: 5.235122
-> [0.000000]: [ker_lmm/DEBUG] Setting var (457) value to 0.027066
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.027066, Var(457).penalty: 1.000000, Var(457).value: 0.027066
-> [0.000000]: [ker_lmm/DEBUG] index: 65 cnst_light_num: 94 || usage: 0.000000 remaining: 0.000000 bound: 0.291116
-> [0.000000]: [ker_lmm/DEBUG] index: 58 cnst_light_num: 93 || usage: 0.000000 remaining: 7.939141 bound: 8.077774
-> [0.000000]: [ker_lmm/DEBUG] var=401, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.048560, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=436, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.048560, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=488, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.048560, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=491, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.048560, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] Setting var (401) value to 0.048560
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.048560, Var(401).penalty: 1.000000, Var(401).value: 0.048560
-> [0.000000]: [ker_lmm/DEBUG] Setting var (436) value to 0.048560
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.048560, Var(436).penalty: 1.000000, Var(436).value: 0.048560
-> [0.000000]: [ker_lmm/DEBUG] index: 49 cnst_light_num: 92 || usage: 0.000000 remaining: 7.481715 bound: 7.699327
-> [0.000000]: [ker_lmm/DEBUG] index: 42 cnst_light_num: 91 || usage: 0.000000 remaining: 1.931852 bound: 2.214828
-> [0.000000]: [ker_lmm/DEBUG] Setting var (488) value to 0.048560
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.048560, Var(488).penalty: 1.000000, Var(488).value: 0.048560
-> [0.000000]: [ker_lmm/DEBUG] index: 78 cnst_light_num: 90 || usage: 0.000000 remaining: 3.318481 bound: 3.541380
-> [0.000000]: [ker_lmm/DEBUG] index: 64 cnst_light_num: 89 || usage: 0.000000 remaining: 9.438127 bound: 9.602267
-> [0.000000]: [ker_lmm/DEBUG] index: 17 cnst_light_num: 88 || usage: 0.000000 remaining: 2.187058 bound: 2.442909
-> [0.000000]: [ker_lmm/DEBUG] index: 39 cnst_light_num: 87 || usage: 0.000000 remaining: 5.903466 bound: 6.117439
-> [0.000000]: [ker_lmm/DEBUG] Setting var (491) value to 0.048560
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.048560, Var(491).penalty: 1.000000, Var(491).value: 0.048560
-> [0.000000]: [ker_lmm/DEBUG] index: 6 cnst_light_num: 86 || usage: 0.000000 remaining: 0.000000 bound: 0.511428
-> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 85 || usage: 0.000000 remaining: 7.982726 bound: 8.334927
-> [0.000000]: [ker_lmm/DEBUG] index: 26 cnst_light_num: 84 || usage: 0.000000 remaining: 8.276421 bound: 8.499800
-> [0.000000]: [ker_lmm/DEBUG] index: 59 cnst_light_num: 83 || usage: 0.000000 remaining: 3.159247 bound: 3.596849
-> [0.000000]: [ker_lmm/DEBUG] var=416, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.100222, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=423, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.100222, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=425, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.100222, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] Setting var (416) value to 0.100222
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.100222, Var(416).penalty: 1.000000, Var(416).value: 0.100222
-> [0.000000]: [ker_lmm/DEBUG] index: 29 cnst_light_num: 82 || usage: 0.000000 remaining: 9.310091 bound: 9.580135
-> [0.000000]: [ker_lmm/DEBUG] index: 20 cnst_light_num: 81 || usage: 0.000000 remaining: 6.524891 bound: 6.998436
-> [0.000000]: [ker_lmm/DEBUG] index: 13 cnst_light_num: 80 || usage: 0.000000 remaining: 0.047285 bound: 0.600962
-> [0.000000]: [ker_lmm/DEBUG] Setting var (423) value to 0.100222
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.100222, Var(423).penalty: 1.000000, Var(423).value: 0.100222
-> [0.000000]: [ker_lmm/DEBUG] index: 46 cnst_light_num: 79 || usage: 0.000000 remaining: 9.146212 bound: 9.649153
-> [0.000000]: [ker_lmm/DEBUG] index: 32 cnst_light_num: 78 || usage: 0.000000 remaining: 8.617051 bound: 8.924110
-> [0.000000]: [ker_lmm/DEBUG] index: 74 cnst_light_num: 77 || usage: 0.000000 remaining: 6.598915 bound: 7.029421
-> [0.000000]: [ker_lmm/DEBUG] index: 3 cnst_light_num: 76 || usage: 0.000000 remaining: 8.498979 bound: 8.985712
-> [0.000000]: [ker_lmm/DEBUG] Setting var (425) value to 0.100222
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.100222, Var(425).penalty: 1.000000, Var(425).value: 0.100222
-> [0.000000]: [ker_lmm/DEBUG] index: 57 cnst_light_num: 75 || usage: 0.000000 remaining: 8.806888 bound: 9.214706
-> [0.000000]: [ker_lmm/DEBUG] index: 31 cnst_light_num: 74 || usage: 0.000000 remaining: 3.628631 bound: 3.839026
-> [0.000000]: [ker_lmm/DEBUG] index: 64 cnst_light_num: 73 || usage: 0.000000 remaining: 1.262301 bound: 1.884146
-> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 72 || usage: 0.000000 remaining: 0.000000 bound: 0.551801
-> [0.000000]: [ker_lmm/DEBUG] index: 36 cnst_light_num: 71 || usage: 0.000000 remaining: 8.135362 bound: 8.450552
-> [0.000000]: [ker_lmm/DEBUG] index: 55 cnst_light_num: 70 || usage: 0.000000 remaining: 2.350944 bound: 2.968005
-> [0.000000]: [ker_lmm/DEBUG] index: 6 cnst_light_num: 69 || usage: 0.000000 remaining: 9.429033 bound: 9.814687
-> [0.000000]: [ker_lmm/DEBUG] index: 50 cnst_light_num: 68 || usage: 0.000000 remaining: 6.012773 bound: 6.494589
-> [0.000000]: [ker_lmm/DEBUG] var=412, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.210294, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=420, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.210294, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] Setting var (412) value to 0.210294
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.210294, Var(412).penalty: 1.000000, Var(412).value: 0.210294
-> [0.000000]: [ker_lmm/DEBUG] index: 63 cnst_light_num: 67 || usage: 0.000000 remaining: 8.841572 bound: 9.266826
-> [0.000000]: [ker_lmm/DEBUG] index: 24 cnst_light_num: 66 || usage: 0.000000 remaining: 0.775966 bound: 1.426165
-> [0.000000]: [ker_lmm/DEBUG] index: 29 cnst_light_num: 65 || usage: 0.000000 remaining: 6.713608 bound: 7.534345
-> [0.000000]: [ker_lmm/DEBUG] index: 49 cnst_light_num: 64 || usage: 0.000000 remaining: 9.073568 bound: 9.611031
-> [0.000000]: [ker_lmm/DEBUG] index: 28 cnst_light_num: 63 || usage: 0.000000 remaining: 4.107811 bound: 4.849311
-> [0.000000]: [ker_lmm/DEBUG] index: 60 cnst_light_num: 62 || usage: 0.000000 remaining: 0.258908 bound: 0.850705
-> [0.000000]: [ker_lmm/DEBUG] index: 23 cnst_light_num: 61 || usage: 0.000000 remaining: 0.452526 bound: 1.008273
-> [0.000000]: [ker_lmm/DEBUG] index: 24 cnst_light_num: 60 || usage: 0.000000 remaining: 5.773539 bound: 6.842328
-> [0.000000]: [ker_lmm/DEBUG] index: 32 cnst_light_num: 59 || usage: 0.000000 remaining: 7.696635 bound: 8.137325
-> [0.000000]: [ker_lmm/DEBUG] index: 7 cnst_light_num: 58 || usage: 0.000000 remaining: 8.674705 bound: 9.227496
-> [0.000000]: [ker_lmm/DEBUG] index: 54 cnst_light_num: 57 || usage: 0.000000 remaining: 5.082447 bound: 6.087026
-> [0.000000]: [ker_lmm/DEBUG] index: 42 cnst_light_num: 56 || usage: 0.000000 remaining: 5.028741 bound: 5.754137
-> [0.000000]: [ker_lmm/DEBUG] index: 23 cnst_light_num: 55 || usage: 0.000000 remaining: 2.884584 bound: 3.520949
-> [0.000000]: [ker_lmm/DEBUG] index: 30 cnst_light_num: 54 || usage: 0.000000 remaining: 0.487693 bound: 1.116924
-> [0.000000]: [ker_lmm/DEBUG] index: 13 cnst_light_num: 53 || usage: 0.000000 remaining: 5.522783 bound: 6.283088
-> [0.000000]: [ker_lmm/DEBUG] Setting var (420) value to 0.210294
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.210294, Var(420).penalty: 1.000000, Var(420).value: 0.210294
-> [0.000000]: [ker_lmm/DEBUG] index: 23 cnst_light_num: 52 || usage: 0.000000 remaining: 4.062818 bound: 4.921360
-> [0.000000]: [ker_lmm/DEBUG] index: 39 cnst_light_num: 51 || usage: 0.000000 remaining: 7.035226 bound: 8.004764
-> [0.000000]: [ker_lmm/DEBUG] index: 16 cnst_light_num: 50 || usage: 0.000000 remaining: 0.000000 bound: 1.175078
-> [0.000000]: [ker_lmm/DEBUG] index: 7 cnst_light_num: 49 || usage: 0.000000 remaining: 7.719856 bound: 8.302155
-> [0.000000]: [ker_lmm/DEBUG] index: 25 cnst_light_num: 48 || usage: 0.000000 remaining: 0.127162 bound: 0.539621
-> [0.000000]: [ker_lmm/DEBUG] index: 9 cnst_light_num: 47 || usage: 0.000000 remaining: 3.783421 bound: 4.774017
-> [0.000000]: [ker_lmm/DEBUG] index: 32 cnst_light_num: 46 || usage: 0.000000 remaining: 2.207584 bound: 2.846859
-> [0.000000]: [ker_lmm/DEBUG] index: 44 cnst_light_num: 45 || usage: 0.000000 remaining: 0.809172 bound: 1.280514
-> [0.000000]: [ker_lmm/DEBUG] index: 41 cnst_light_num: 44 || usage: 0.000000 remaining: 6.986383 bound: 7.643726
-> [0.000000]: [ker_lmm/DEBUG] index: 35 cnst_light_num: 43 || usage: 0.000000 remaining: 5.281663 bound: 5.834997
-> [0.000000]: [ker_lmm/DEBUG] index: 10 cnst_light_num: 42 || usage: 0.000000 remaining: 3.513029 bound: 4.113836
-> [0.000000]: [ker_lmm/DEBUG] index: 30 cnst_light_num: 41 || usage: 0.000000 remaining: 5.672220 bound: 6.287879
-> [0.000000]: [ker_lmm/DEBUG] index: 17 cnst_light_num: 40 || usage: 0.000000 remaining: 9.478500 bound: 9.876963
-> [0.000000]: [ker_lmm/DEBUG] index: 12 cnst_light_num: 39 || usage: 0.000000 remaining: 6.563377 bound: 7.598870
-> [0.000000]: [ker_lmm/DEBUG] index: 7 cnst_light_num: 38 || usage: 0.000000 remaining: 5.902852 bound: 7.015528
-> [0.000000]: [ker_lmm/DEBUG] var=405, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.351899, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] var=426, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.351899, var.bound*var.penalty=-1.000000
-> [0.000000]: [ker_lmm/DEBUG] Setting var (405) value to 0.351899
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.351899, Var(405).penalty: 1.000000, Var(405).value: 0.351899
-> [0.000000]: [ker_lmm/DEBUG] index: 2 cnst_light_num: 37 || usage: 0.000000 remaining: 8.934753 bound: 9.560486
-> [0.000000]: [ker_lmm/DEBUG] index: 16 cnst_light_num: 36 || usage: 0.000000 remaining: 6.756487 bound: 7.950875
-> [0.000000]: [ker_lmm/DEBUG] index: 8 cnst_light_num: 35 || usage: 0.000000 remaining: 6.370281 bound: 7.421301
-> [0.000000]: [ker_lmm/DEBUG] index: 28 cnst_light_num: 34 || usage: 0.000000 remaining: 7.370813 bound: 8.082817
-> [0.000000]: [ker_lmm/DEBUG] index: 22 cnst_light_num: 33 || usage: 0.000000 remaining: 0.910847 bound: 2.067192
-> [0.000000]: [ker_lmm/DEBUG] index: 25 cnst_light_num: 32 || usage: 0.000000 remaining: 5.343523 bound: 5.967310
-> [0.000000]: [ker_lmm/DEBUG] index: 4 cnst_light_num: 31 || usage: 0.000000 remaining: 1.526208 bound: 2.172829
-> [0.000000]: [ker_lmm/DEBUG] index: 2 cnst_light_num: 30 || usage: 0.000000 remaining: 8.497479 bound: 9.126268
-> [0.000000]: [ker_lmm/DEBUG] index: 15 cnst_light_num: 29 || usage: 0.000000 remaining: 9.498359 bound: 9.794450
-> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 28 || usage: 0.000000 remaining: 4.600633 bound: 4.860990
-> [0.000000]: [ker_lmm/DEBUG] index: 2 cnst_light_num: 27 || usage: 0.000000 remaining: 9.141769 bound: 9.835966
-> [0.000000]: [ker_lmm/DEBUG] index: 5 cnst_light_num: 26 || usage: 0.000000 remaining: 5.337399 bound: 6.608444
-> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 25 || usage: 0.000000 remaining: 8.043779 bound: 9.273021
-> [0.000000]: [ker_lmm/DEBUG] Setting var (426) value to 0.351899
->
-> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.351899, Var(426).penalty: 1.000000, Var(426).value: 0.351899
-> [0.000000]: [ker_lmm/DEBUG] index: 22 cnst_light_num: 24 || usage: 0.000000 remaining: 0.590134 bound: 2.259884
-> [0.000000]: [ker_lmm/DEBUG] index: 6 cnst_light_num: 23 || usage: 0.000000 remaining: 2.298659 bound: 3.989448
-> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 22 || usage: 0.000000 remaining: 3.440454 bound: 4.743166
-> [0.000000]: [ker_lmm/DEBUG] index: 17 cnst_light_num: 21 || usage: 0.000000 remaining: 1.997040 bound: 3.109799
-> [0.000000]: [ker_lmm/DEBUG] index: 4 cnst_light_num: 20 || usage: 0.000000 remaining: 1.483009 bound: 3.737145
-> [0.000000]: [ker_lmm/DEBUG] index: 10 cnst_light_num: 19 || usage: 0.000000 remaining: 5.068248 bound: 5.660820
-> [0.000000]: [ker_lmm/DEBUG] index: 0 cnst_light_num: 18 || usage: 0.000000 remaining: 5.927146 bound: 7.559265
-> [0.000000]: [ker_lmm/DEBUG] index: 13 cnst_light_num: 17 || usage: 0.000000 remaining: 5.148415 bound: 6.449255
-> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 16 || usage: 0.000000 remaining: 7.067873 bound: 8.161677
-> [0.000000]: [ker_lmm/DEBUG] index: 14 cnst_light_num: 15 || usage: 0.000000 remaining: 1.484311 bound: 2.590976
-> [0.000000]: [ker_lmm/DEBUG] index: 8 cnst_light_num: 14 || usage: 0.000000 remaining: 1.095943 bound: 2.149792
-> [0.000000]: [ker_lmm/DEBUG] index: 6 cnst_light_num: 13 || usage: 0.000000 remaining: 0.000000 bound: 1.702501
-> [0.000000]: [ker_lmm/DEBUG] index: 10 cnst_light_num: 12 || usage: 0.000000 remaining: 3.796915 bound: 4.413092
-> [0.000000]: [ker_lmm/DEBUG] index: 7 cnst_light_num: 11 || usage: 0.000000 remaining: 2.697022 bound: 3.715126
-> [0.000000]: [ker_lmm/DEBUG] index: 3 cnst_light_num: 10 || usage: 0.000000 remaining: 0.303147 bound: 1.190954
-> [0.000000]: [ker_lmm/DEBUG] index: 4 cnst_light_num: 9 || usage: 0.000000 remaining: 7.863023 bound: 9.856244
-> [0.000000]: [ker_lmm/DEBUG] index: 5 cnst_light_num: 8 || usage: 0.000000 remaining: 1.164826 bound: 2.535882
-> [0.000000]: [ker_lmm/DEBUG] index: 0 cnst_light_num: 7 || usage: 0.000000 remaining: 5.564513 bound: 6.670591
-> [0.000000]: [ker_lmm/DEBUG] index: 4 cnst_light_num: 6 || usage: 0.000000 remaining: 4.320863 bound: 5.631875
-> [0.000000]: [ker_lmm/DEBUG] index: 2 cnst_light_num: 5 || usage: 0.000000 remaining: 8.219705 bound: 9.325947
-> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 4 || usage: 0.000000 remaining: 0.445510 bound: 2.740865
-> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 3 || usage: 0.000000 remaining: 5.495991 bound: 6.161248
-> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 1.706514 bound: 2.642384
-> [0.000000]: [ker_lmm/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 3.895884 bound: 4.461701
-> [0.000000]: [ker_lmm/DEBUG] MAX-MIN ( '494'(1.000000) '491'(1.000000) '488'(1.000000) '473'(1.000000) '469'(1.000000) '457'(1.000000) '452'(1.000000) '448'(1.000000) '447'(1.000000) '440'(1.000000) '436'(1.000000) '435'(1.000000) '433'(1.000000) '432'(1.000000) '431'(1.000000) '429'(1.000000) '428'(1.000000) '427'(1.000000) '426'(1.000000) '425'(1.000000) '424'(1.000000) '423'(1.000000) '422'(1.000000) '421'(1.000000) '420'(1.000000) '419'(1.000000) '418'(1.000000) '417'(1.000000) '416'(1.000000) '415'(1.000000) '414'(1.000000) '413'(1.000000) '412'(1.000000) '411'(1.000000) '410'(1.000000) '409'(1.000000) '408'(1.000000) '407'(1.000000) '406'(1.000000) '405'(1.000000) '404'(1.000000) '403'(1.000000) '402'(1.000000) '401'(1.000000) '430'(0.000000) '434'(0.000000) '437'(0.000000) '438'(0.000000) '439'(0.000000) '441'(0.000000) '442'(0.000000) '443'(0.000000) '444'(0.000000) '445'(0.000000) '446'(0.000000) '449'(0.000000) '450'(0.000000) '451'(0.000000) '453'(0.000000) '454'(0.000000) '455'(0.000000) '456'(0.000000) '458'(0.000000) '459'(0.000000) '460'(0.000000) '461'(0.000000) '462'(0.000000) '463'(0.000000) '464'(0.000000) '465'(0.000000) '466'(0.000000) '467'(0.000000) '468'(0.000000) '470'(0.000000) '471'(0.000000) '472'(0.000000) '474'(0.000000) '475'(0.000000) '476'(0.000000) '477'(0.000000) '478'(0.000000) '479'(0.000000) '480'(0.000000) '481'(0.000000) '482'(0.000000) '483'(0.000000) '484'(0.000000) '485'(0.000000) '486'(0.000000) '487'(0.000000) '489'(0.000000) '490'(0.000000) '492'(0.000000) '493'(0.000000) '495'(0.000000) '496'(0.000000) '497'(0.000000) '498'(0.000000) '499'(0.000000) '500'(0.000000) )
+> [0.000000]: [ker_lmm/DEBUG] Constraint '488' usage: 21.841891 remaining: 7.015528 concurrency: 12<=13<=16
+> [0.000000]: [ker_lmm/DEBUG] Constraint '486' usage: 15.500845 remaining: 7.699327 concurrency: 7<=8<=10
+> [0.000000]: [ker_lmm/DEBUG] Constraint '415' usage: 2.000654 remaining: 2.658191 concurrency: 1<=2<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '500' usage: 21.986470 remaining: 1.702501 concurrency: 9<=10<=9
+> [0.000000]: [ker_lmm/DEBUG] Constraint '491' usage: 18.482378 remaining: 6.449255 concurrency: 10<=11<=10
+> [0.000000]: [ker_lmm/DEBUG] Constraint '427' usage: 14.850423 remaining: 0.016422 concurrency: 7<=8<=16
+> [0.000000]: [ker_lmm/DEBUG] Constraint '437' usage: 20.465625 remaining: 6.087026 concurrency: 10<=10<=16
+> [0.000000]: [ker_lmm/DEBUG] Constraint '406' usage: 14.814154 remaining: 2.968005 concurrency: 7<=8<=40
+> [0.000000]: [ker_lmm/DEBUG] Constraint '414' usage: 21.302030 remaining: 4.921360 concurrency: 10<=10<=40
+> [0.000000]: [ker_lmm/DEBUG] Constraint '479' usage: 10.977986 remaining: 9.214706 concurrency: 4<=5<=16
+> [0.000000]: [ker_lmm/DEBUG] Constraint '499' usage: 17.600552 remaining: 8.077774 concurrency: 8<=9<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '468' usage: 21.293320 remaining: 3.596849 concurrency: 11<=11<=40
+> [0.000000]: [ker_lmm/DEBUG] Constraint '498' usage: 21.688875 remaining: 0.850705 concurrency: 10<=11<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '456' usage: 10.624414 remaining: 3.520949 concurrency: 5<=6<=9
+> [0.000000]: [ker_lmm/DEBUG] Constraint '407' usage: 7.304545 remaining: 8.082817 concurrency: 4<=5<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '446' usage: 14.487075 remaining: 9.266826 concurrency: 9<=9<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '421' usage: 16.078888 remaining: 9.602267 concurrency: 8<=9<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '439' usage: 17.902094 remaining: 0.291116 concurrency: 9<=10<=24
+> [0.000000]: [ker_lmm/DEBUG] Constraint '455' usage: 16.726478 remaining: 7.950875 concurrency: 10<=11<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '440' usage: 21.354901 remaining: 3.109799 concurrency: 8<=9<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '435' usage: 20.393510 remaining: 3.989448 concurrency: 8<=9<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '426' usage: 21.682112 remaining: 5.631875 concurrency: 11<=12<=24
+> [0.000000]: [ker_lmm/DEBUG] Constraint '447' usage: 13.308249 remaining: 9.126268 concurrency: 8<=9<=16
+> [0.000000]: [ker_lmm/DEBUG] Constraint '472' usage: 19.859500 remaining: 4.860990 concurrency: 12<=13<=12
+> [0.000000]: [ker_lmm/DEBUG] Constraint '487' usage: 14.510303 remaining: 9.835966 concurrency: 7<=8<=12
+> [0.000000]: [ker_lmm/DEBUG] Constraint '417' usage: 17.204984 remaining: 2.535882 concurrency: 9<=10<=24
+> [0.000000]: [ker_lmm/DEBUG] Constraint '477' usage: 16.709068 remaining: 7.029421 concurrency: 9<=10<=9
+> [0.000000]: [ker_lmm/DEBUG] Constraint '412' usage: 18.972633 remaining: 1.190954 concurrency: 11<=12<=16
+> [0.000000]: [ker_lmm/DEBUG] Constraint '480' usage: 11.948632 remaining: 8.302155 concurrency: 7<=8<=9
+> [0.000000]: [ker_lmm/DEBUG] Constraint '495' usage: 16.177789 remaining: 5.235122 concurrency: 5<=5<=24
+> [0.000000]: [ker_lmm/DEBUG] Constraint '405' usage: 11.898761 remaining: 3.541380 concurrency: 7<=7<=9
+> [0.000000]: [ker_lmm/DEBUG] Constraint '493' usage: 14.038206 remaining: 6.283088 concurrency: 6<=7<=24
+> [0.000000]: [ker_lmm/DEBUG] Constraint '431' usage: 15.125500 remaining: 6.670591 concurrency: 7<=8<=10
+> [0.000000]: [ker_lmm/DEBUG] Constraint '497' usage: 19.167906 remaining: 7.534345 concurrency: 10<=11<=12
+> [0.000000]: [ker_lmm/DEBUG] Constraint '441' usage: 21.351527 remaining: 4.743166 concurrency: 10<=10<=10
+> [0.000000]: [ker_lmm/DEBUG] Constraint '459' usage: 22.436888 remaining: 9.325947 concurrency: 14<=15<=24
+> [0.000000]: [ker_lmm/DEBUG] Constraint '401' usage: 12.309494 remaining: 0.551801 concurrency: 6<=6<=16
+> [0.000000]: [ker_lmm/DEBUG] Constraint '434' usage: 14.287391 remaining: 9.814687 concurrency: 7<=8<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '471' usage: 18.304294 remaining: 8.004764 concurrency: 9<=10<=9
+> [0.000000]: [ker_lmm/DEBUG] Constraint '476' usage: 15.215035 remaining: 9.876963 concurrency: 8<=9<=12
+> [0.000000]: [ker_lmm/DEBUG] Constraint '422' usage: 19.779042 remaining: 1.884146 concurrency: 10<=11<=16
+> [0.000000]: [ker_lmm/DEBUG] Constraint '425' usage: 21.099064 remaining: 6.161248 concurrency: 11<=11<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '461' usage: 9.982922 remaining: 9.944312 concurrency: 6<=7<=9
+> [0.000000]: [ker_lmm/DEBUG] Constraint '464' usage: 12.566361 remaining: 9.611031 concurrency: 8<=8<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '416' usage: 14.510277 remaining: 2.846859 concurrency: 8<=8<=-1
+> [0.000000]: [ker_lmm/DEBUG] Constraint '449' usage: 15.349038 remaining: 6.842328 concurrency: 7<=8<=9
+> [0.000000]: [ker_lmm/DEBUG] Constraint '436' usage: 17.687691 remaining: 8.137325 concurrency: 10<=11<=40
+> [0.000000]: [ker_lmm/DEBUG] Constraint '433' usage: 9.390951 remaining: 5.754137 concurrency: 4<=5<=10
+> [0.000000]: [ker_lmm/DEBUG] Constraint '470' usage: 15.066186 remaining: 4.461701 concurrency: 7<=8<=40
+> [0.000000]: [ker_lmm/DEBUG] Constraint '420' usage: 15.819520 remaining: 9.580135 concurrency: 9<=10<=40
+> [0.000000]: [ker_lmm/DEBUG] Constraint '413' usage: 10.962890 remaining: 6.287879 concurrency: 4<=5<=40
+> [0.000000]: [ker_lmm/DEBUG] Constraint '408' usage: 17.912738 remaining: 6.494589 concurrency: 9<=9<=16
+> [0.000000]: [ker_lmm/DEBUG] var=403, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.001106, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=407, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.001106, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=408, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.001106, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=409, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.001106, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=414, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.001106, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=422, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.001106, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=431, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.001106, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=432, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.001106, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=448, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.001106, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=452, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.001106, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=460, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.001106, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] Setting var (403) value to 0.001106
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.001106, Var(403).penalty: 1.000000, Var(403).value: 0.001106
+> [0.000000]: [ker_lmm/DEBUG] Setting var (407) value to 0.001106
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.001106, Var(407).penalty: 1.000000, Var(407).value: 0.001106
+> [0.000000]: [ker_lmm/DEBUG] Setting var (408) value to 0.001106
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.001106, Var(408).penalty: 1.000000, Var(408).value: 0.001106
+> [0.000000]: [ker_lmm/DEBUG] Setting var (409) value to 0.001106
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.001106, Var(409).penalty: 1.000000, Var(409).value: 0.001106
+> [0.000000]: [ker_lmm/DEBUG] Setting var (414) value to 0.001106
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.001106, Var(414).penalty: 1.000000, Var(414).value: 0.001106
+> [0.000000]: [ker_lmm/DEBUG] Setting var (422) value to 0.001106
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.001106, Var(422).penalty: 1.000000, Var(422).value: 0.001106
+> [0.000000]: [ker_lmm/DEBUG] Setting var (431) value to 0.001106
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.001106, Var(431).penalty: 1.000000, Var(431).value: 0.001106
+> [0.000000]: [ker_lmm/DEBUG] Setting var (432) value to 0.001106
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.001106, Var(432).penalty: 1.000000, Var(432).value: 0.001106
+> [0.000000]: [ker_lmm/DEBUG] Setting var (448) value to 0.001106
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.001106, Var(448).penalty: 1.000000, Var(448).value: 0.001106
+> [0.000000]: [ker_lmm/DEBUG] Setting var (452) value to 0.001106
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.001106, Var(452).penalty: 1.000000, Var(452).value: 0.001106
+> [0.000000]: [ker_lmm/DEBUG] Setting var (460) value to 0.001106
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.001106, Var(460).penalty: 1.000000, Var(460).value: 0.001106
+> [0.000000]: [ker_lmm/DEBUG] index: 53 cnst_light_num: 100 || usage: 0.000000 remaining: 0.000000 bound: 0.016422
+> [0.000000]: [ker_lmm/DEBUG] var=402, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.009234, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=411, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.009234, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=417, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.009234, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=419, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.009234, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=424, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.009234, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=433, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.009234, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=440, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.009234, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=459, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.009234, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=469, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.009234, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] Setting var (402) value to 0.009234
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.009234, Var(402).penalty: 1.000000, Var(402).value: 0.009234
+> [0.000000]: [ker_lmm/DEBUG] Setting var (411) value to 0.009234
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.009234, Var(411).penalty: 1.000000, Var(411).value: 0.009234
+> [0.000000]: [ker_lmm/DEBUG] Setting var (417) value to 0.009234
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.009234, Var(417).penalty: 1.000000, Var(417).value: 0.009234
+> [0.000000]: [ker_lmm/DEBUG] Setting var (419) value to 0.009234
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.009234, Var(419).penalty: 1.000000, Var(419).value: 0.009234
+> [0.000000]: [ker_lmm/DEBUG] Setting var (424) value to 0.009234
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.009234, Var(424).penalty: 1.000000, Var(424).value: 0.009234
+> [0.000000]: [ker_lmm/DEBUG] Setting var (433) value to 0.009234
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.009234, Var(433).penalty: 1.000000, Var(433).value: 0.009234
+> [0.000000]: [ker_lmm/DEBUG] Setting var (440) value to 0.009234
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.009234, Var(440).penalty: 1.000000, Var(440).value: 0.009234
+> [0.000000]: [ker_lmm/DEBUG] Setting var (459) value to 0.009234
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.009234, Var(459).penalty: 1.000000, Var(459).value: 0.009234
+> [0.000000]: [ker_lmm/DEBUG] Setting var (469) value to 0.009234
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.009234, Var(469).penalty: 1.000000, Var(469).value: 0.009234
+> [0.000000]: [ker_lmm/DEBUG] index: 29 cnst_light_num: 99 || usage: 0.000000 remaining: 0.000000 bound: 0.123694
+> [0.000000]: [ker_lmm/DEBUG] var=406, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.015563, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=410, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.015563, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=413, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.015563, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=418, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.015563, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=427, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.015563, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=428, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.015563, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=435, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.015563, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=438, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.015563, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=486, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.015563, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] Setting var (406) value to 0.015563
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.015563, Var(406).penalty: 1.000000, Var(406).value: 0.015563
+> [0.000000]: [ker_lmm/DEBUG] Setting var (410) value to 0.015563
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.015563, Var(410).penalty: 1.000000, Var(410).value: 0.015563
+> [0.000000]: [ker_lmm/DEBUG] Setting var (413) value to 0.015563
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.015563, Var(413).penalty: 1.000000, Var(413).value: 0.015563
+> [0.000000]: [ker_lmm/DEBUG] Setting var (418) value to 0.015563
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.015563, Var(418).penalty: 1.000000, Var(418).value: 0.015563
+> [0.000000]: [ker_lmm/DEBUG] Setting var (427) value to 0.015563
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.015563, Var(427).penalty: 1.000000, Var(427).value: 0.015563
+> [0.000000]: [ker_lmm/DEBUG] Setting var (428) value to 0.015563
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.015563, Var(428).penalty: 1.000000, Var(428).value: 0.015563
+> [0.000000]: [ker_lmm/DEBUG] Setting var (435) value to 0.015563
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.015563, Var(435).penalty: 1.000000, Var(435).value: 0.015563
+> [0.000000]: [ker_lmm/DEBUG] Setting var (438) value to 0.015563
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.015563, Var(438).penalty: 1.000000, Var(438).value: 0.015563
+> [0.000000]: [ker_lmm/DEBUG] Setting var (486) value to 0.015563
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.015563, Var(486).penalty: 1.000000, Var(486).value: 0.015563
+> [0.000000]: [ker_lmm/DEBUG] index: 38 cnst_light_num: 98 || usage: 0.000000 remaining: 0.000000 bound: 0.355090
+> [0.000000]: [ker_lmm/DEBUG] var=404, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.029414, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=415, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.029414, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=421, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.029414, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=429, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.029414, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=430, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.029414, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] Setting var (404) value to 0.029414
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.029414, Var(404).penalty: 1.000000, Var(404).value: 0.029414
+> [0.000000]: [ker_lmm/DEBUG] Setting var (415) value to 0.029414
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.029414, Var(415).penalty: 1.000000, Var(415).value: 0.029414
+> [0.000000]: [ker_lmm/DEBUG] Setting var (421) value to 0.029414
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.029414, Var(421).penalty: 1.000000, Var(421).value: 0.029414
+> [0.000000]: [ker_lmm/DEBUG] Setting var (429) value to 0.029414
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.029414, Var(429).penalty: 1.000000, Var(429).value: 0.029414
+> [0.000000]: [ker_lmm/DEBUG] Setting var (430) value to 0.029414
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.029414, Var(430).penalty: 1.000000, Var(430).value: 0.029414
+> [0.000000]: [ker_lmm/DEBUG] index: 65 cnst_light_num: 97 || usage: 0.000000 remaining: 0.000000 bound: 0.291116
+> [0.000000]: [ker_lmm/DEBUG] var=401, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.040503, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=436, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.040503, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=446, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.040503, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=468, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.040503, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=488, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.040503, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] Setting var (401) value to 0.040503
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.040503, Var(401).penalty: 1.000000, Var(401).value: 0.040503
+> [0.000000]: [ker_lmm/DEBUG] Setting var (436) value to 0.040503
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.040503, Var(436).penalty: 1.000000, Var(436).value: 0.040503
+> [0.000000]: [ker_lmm/DEBUG] Setting var (446) value to 0.040503
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.040503, Var(446).penalty: 1.000000, Var(446).value: 0.040503
+> [0.000000]: [ker_lmm/DEBUG] index: 90 cnst_light_num: 96 || usage: 0.000000 remaining: 9.794336 bound: 9.944312
+> [0.000000]: [ker_lmm/DEBUG] Setting var (468) value to 0.040503
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.040503, Var(468).penalty: 1.000000, Var(468).value: 0.040503
+> [0.000000]: [ker_lmm/DEBUG] Setting var (488) value to 0.040503
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.040503, Var(488).penalty: 1.000000, Var(488).value: 0.040503
+> [0.000000]: [ker_lmm/DEBUG] index: 6 cnst_light_num: 95 || usage: 0.000000 remaining: 0.000000 bound: 0.511428
+> [0.000000]: [ker_lmm/DEBUG] index: 78 cnst_light_num: 94 || usage: 0.000000 remaining: 3.349019 bound: 3.541380
+> [0.000000]: [ker_lmm/DEBUG] index: 64 cnst_light_num: 93 || usage: 0.000000 remaining: 9.361323 bound: 9.602267
+> [0.000000]: [ker_lmm/DEBUG] index: 17 cnst_light_num: 92 || usage: 0.000000 remaining: 2.129570 bound: 2.442909
+> [0.000000]: [ker_lmm/DEBUG] var=416, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.079674, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=423, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.079674, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=425, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.079674, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] Setting var (416) value to 0.079674
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.079674, Var(416).penalty: 1.000000, Var(416).value: 0.079674
+> [0.000000]: [ker_lmm/DEBUG] index: 20 cnst_light_num: 91 || usage: 0.000000 remaining: 6.537072 bound: 6.998436
+> [0.000000]: [ker_lmm/DEBUG] Setting var (423) value to 0.079674
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.079674, Var(423).penalty: 1.000000, Var(423).value: 0.079674
+> [0.000000]: [ker_lmm/DEBUG] index: 32 cnst_light_num: 90 || usage: 0.000000 remaining: 8.644924 bound: 8.924110
+> [0.000000]: [ker_lmm/DEBUG] index: 74 cnst_light_num: 89 || usage: 0.000000 remaining: 6.609426 bound: 7.029421
+> [0.000000]: [ker_lmm/DEBUG] index: 3 cnst_light_num: 88 || usage: 0.000000 remaining: 8.555043 bound: 8.985712
+> [0.000000]: [ker_lmm/DEBUG] Setting var (425) value to 0.079674
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.079674, Var(425).penalty: 1.000000, Var(425).value: 0.079674
+> [0.000000]: [ker_lmm/DEBUG] index: 57 cnst_light_num: 87 || usage: 0.000000 remaining: 8.944147 bound: 9.214706
+> [0.000000]: [ker_lmm/DEBUG] index: 74 cnst_light_num: 86 || usage: 0.000000 remaining: 1.318001 bound: 1.884146
+> [0.000000]: [ker_lmm/DEBUG] index: 84 cnst_light_num: 85 || usage: 0.000000 remaining: 0.000000 bound: 0.551801
+> [0.000000]: [ker_lmm/DEBUG] index: 36 cnst_light_num: 84 || usage: 0.000000 remaining: 8.174683 bound: 8.450552
+> [0.000000]: [ker_lmm/DEBUG] var=465, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.086720, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] Setting var (465) value to 0.086720
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.086720, Var(465).penalty: 1.000000, Var(465).value: 0.086720
+> [0.000000]: [ker_lmm/DEBUG] index: 49 cnst_light_num: 83 || usage: 0.000000 remaining: 7.436215 bound: 7.699327
+> [0.000000]: [ker_lmm/DEBUG] index: 58 cnst_light_num: 82 || usage: 0.000000 remaining: 7.805393 bound: 8.077774
+> [0.000000]: [ker_lmm/DEBUG] index: 13 cnst_light_num: 81 || usage: 0.000000 remaining: 0.000000 bound: 0.600962
+> [0.000000]: [ker_lmm/DEBUG] index: 59 cnst_light_num: 80 || usage: 0.000000 remaining: 2.959339 bound: 3.596849
+> [0.000000]: [ker_lmm/DEBUG] index: 55 cnst_light_num: 79 || usage: 0.000000 remaining: 2.390464 bound: 2.968005
+> [0.000000]: [ker_lmm/DEBUG] index: 42 cnst_light_num: 78 || usage: 0.000000 remaining: 1.936357 bound: 2.214828
+> [0.000000]: [ker_lmm/DEBUG] index: 74 cnst_light_num: 77 || usage: 0.000000 remaining: 9.327006 bound: 9.814687
+> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 76 || usage: 0.000000 remaining: 8.015519 bound: 8.334927
+> [0.000000]: [ker_lmm/DEBUG] index: 38 cnst_light_num: 75 || usage: 0.000000 remaining: 9.208658 bound: 9.580135
+> [0.000000]: [ker_lmm/DEBUG] index: 42 cnst_light_num: 74 || usage: 0.000000 remaining: 4.910341 bound: 5.235122
+> [0.000000]: [ker_lmm/DEBUG] var=412, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.138797, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=420, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.138797, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] Setting var (412) value to 0.138797
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.138797, Var(412).penalty: 1.000000, Var(412).value: 0.138797
+> [0.000000]: [ker_lmm/DEBUG] index: 63 cnst_light_num: 73 || usage: 0.000000 remaining: 8.863457 bound: 9.266826
+> [0.000000]: [ker_lmm/DEBUG] index: 58 cnst_light_num: 72 || usage: 0.000000 remaining: 6.812715 bound: 7.534345
+> [0.000000]: [ker_lmm/DEBUG] index: 17 cnst_light_num: 71 || usage: 0.000000 remaining: 9.137520 bound: 9.611031
+> [0.000000]: [ker_lmm/DEBUG] index: 28 cnst_light_num: 70 || usage: 0.000000 remaining: 4.375574 bound: 4.849311
+> [0.000000]: [ker_lmm/DEBUG] index: 60 cnst_light_num: 69 || usage: 0.000000 remaining: 0.359985 bound: 0.850705
+> [0.000000]: [ker_lmm/DEBUG] index: 23 cnst_light_num: 68 || usage: 0.000000 remaining: 0.614946 bound: 1.008273
+> [0.000000]: [ker_lmm/DEBUG] index: 55 cnst_light_num: 67 || usage: 0.000000 remaining: 6.023598 bound: 6.842328
+> [0.000000]: [ker_lmm/DEBUG] index: 20 cnst_light_num: 66 || usage: 0.000000 remaining: 5.221898 bound: 5.754137
+> [0.000000]: [ker_lmm/DEBUG] index: 61 cnst_light_num: 65 || usage: 0.000000 remaining: 3.005455 bound: 3.520949
+> [0.000000]: [ker_lmm/DEBUG] index: 30 cnst_light_num: 64 || usage: 0.000000 remaining: 0.617524 bound: 1.116924
+> [0.000000]: [ker_lmm/DEBUG] index: 59 cnst_light_num: 63 || usage: 0.000000 remaining: 5.778537 bound: 6.283088
+> [0.000000]: [ker_lmm/DEBUG] Setting var (420) value to 0.138797
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.138797, Var(420).penalty: 1.000000, Var(420).value: 0.138797
+> [0.000000]: [ker_lmm/DEBUG] index: 56 cnst_light_num: 62 || usage: 0.000000 remaining: 4.049039 bound: 4.921360
+> [0.000000]: [ker_lmm/DEBUG] index: 57 cnst_light_num: 61 || usage: 0.000000 remaining: 7.170538 bound: 8.004764
+> [0.000000]: [ker_lmm/DEBUG] index: 16 cnst_light_num: 60 || usage: 0.000000 remaining: 0.000000 bound: 1.175078
+> [0.000000]: [ker_lmm/DEBUG] index: 38 cnst_light_num: 59 || usage: 0.000000 remaining: 7.832413 bound: 8.302155
+> [0.000000]: [ker_lmm/DEBUG] index: 25 cnst_light_num: 58 || usage: 0.000000 remaining: 0.169468 bound: 0.539621
+> [0.000000]: [ker_lmm/DEBUG] index: 9 cnst_light_num: 57 || usage: 0.000000 remaining: 4.066483 bound: 4.774017
+> [0.000000]: [ker_lmm/DEBUG] index: 9 cnst_light_num: 56 || usage: 0.000000 remaining: 2.365451 bound: 2.846859
+> [0.000000]: [ker_lmm/DEBUG] index: 44 cnst_light_num: 55 || usage: 0.000000 remaining: 0.745626 bound: 1.280514
+> [0.000000]: [ker_lmm/DEBUG] index: 41 cnst_light_num: 54 || usage: 0.000000 remaining: 6.980219 bound: 7.643726
+> [0.000000]: [ker_lmm/DEBUG] index: 35 cnst_light_num: 53 || usage: 0.000000 remaining: 5.254796 bound: 5.834997
+> [0.000000]: [ker_lmm/DEBUG] index: 10 cnst_light_num: 52 || usage: 0.000000 remaining: 3.682411 bound: 4.113836
+> [0.000000]: [ker_lmm/DEBUG] index: 3 cnst_light_num: 51 || usage: 0.000000 remaining: 9.513004 bound: 9.876963
+> [0.000000]: [ker_lmm/DEBUG] index: 12 cnst_light_num: 50 || usage: 0.000000 remaining: 6.797159 bound: 7.598870
+> [0.000000]: [ker_lmm/DEBUG] var=405, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.356546, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] var=426, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.356546, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] Setting var (405) value to 0.356546
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.356546, Var(405).penalty: 1.000000, Var(405).value: 0.356546
+> [0.000000]: [ker_lmm/DEBUG] index: 2 cnst_light_num: 49 || usage: 0.000000 remaining: 9.020665 bound: 9.560486
+> [0.000000]: [ker_lmm/DEBUG] index: 8 cnst_light_num: 48 || usage: 0.000000 remaining: 6.284119 bound: 7.421301
+> [0.000000]: [ker_lmm/DEBUG] index: 22 cnst_light_num: 47 || usage: 0.000000 remaining: 0.995855 bound: 2.067192
+> [0.000000]: [ker_lmm/DEBUG] index: 8 cnst_light_num: 46 || usage: 0.000000 remaining: 5.350789 bound: 5.967310
+> [0.000000]: [ker_lmm/DEBUG] index: 4 cnst_light_num: 45 || usage: 0.000000 remaining: 1.454443 bound: 2.172829
+> [0.000000]: [ker_lmm/DEBUG] index: 17 cnst_light_num: 44 || usage: 0.000000 remaining: 8.418426 bound: 9.126268
+> [0.000000]: [ker_lmm/DEBUG] index: 30 cnst_light_num: 43 || usage: 0.000000 remaining: 9.199053 bound: 9.835966
+> [0.000000]: [ker_lmm/DEBUG] index: 5 cnst_light_num: 42 || usage: 0.000000 remaining: 5.438028 bound: 6.608444
+> [0.000000]: [ker_lmm/DEBUG] index: 27 cnst_light_num: 41 || usage: 0.000000 remaining: 8.105129 bound: 9.273021
+> [0.000000]: [ker_lmm/DEBUG] Setting var (426) value to 0.356546
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.356546, Var(426).penalty: 1.000000, Var(426).value: 0.356546
+> [0.000000]: [ker_lmm/DEBUG] index: 25 cnst_light_num: 40 || usage: 0.000000 remaining: 2.339422 bound: 3.989448
+> [0.000000]: [ker_lmm/DEBUG] index: 23 cnst_light_num: 39 || usage: 0.000000 remaining: 2.077389 bound: 3.109799
+> [0.000000]: [ker_lmm/DEBUG] index: 17 cnst_light_num: 38 || usage: 0.000000 remaining: 5.003174 bound: 5.660820
+> [0.000000]: [ker_lmm/DEBUG] index: 35 cnst_light_num: 37 || usage: 0.000000 remaining: 5.246087 bound: 6.449255
+> [0.000000]: [ker_lmm/DEBUG] index: 21 cnst_light_num: 36 || usage: 0.000000 remaining: 7.220796 bound: 8.161677
+> [0.000000]: [ker_lmm/DEBUG] index: 14 cnst_light_num: 35 || usage: 0.000000 remaining: 1.534715 bound: 2.590976
+> [0.000000]: [ker_lmm/DEBUG] index: 14 cnst_light_num: 34 || usage: 0.000000 remaining: 0.953386 bound: 2.149792
+> [0.000000]: [ker_lmm/DEBUG] index: 10 cnst_light_num: 33 || usage: 0.000000 remaining: 0.000000 bound: 1.702501
+> [0.000000]: [ker_lmm/DEBUG] index: 18 cnst_light_num: 32 || usage: 0.000000 remaining: 3.666079 bound: 4.413092
+> [0.000000]: [ker_lmm/DEBUG] index: 17 cnst_light_num: 31 || usage: 0.000000 remaining: 2.762910 bound: 3.715126
+> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 30 || usage: 0.000000 remaining: 0.423882 bound: 1.190954
+> [0.000000]: [ker_lmm/DEBUG] index: 13 cnst_light_num: 29 || usage: 0.000000 remaining: 5.626548 bound: 6.670591
+> [0.000000]: [ker_lmm/DEBUG] index: 13 cnst_light_num: 28 || usage: 0.000000 remaining: 4.289502 bound: 5.631875
+> [0.000000]: [ker_lmm/DEBUG] index: 21 cnst_light_num: 27 || usage: 0.000000 remaining: 8.327839 bound: 9.325947
+> [0.000000]: [ker_lmm/DEBUG] index: 14 cnst_light_num: 26 || usage: 0.000000 remaining: 0.377515 bound: 2.740865
+> [0.000000]: [ker_lmm/DEBUG] index: 10 cnst_light_num: 25 || usage: 0.000000 remaining: 5.471609 bound: 6.161248
+> [0.000000]: [ker_lmm/DEBUG] index: 11 cnst_light_num: 24 || usage: 0.000000 remaining: 1.576818 bound: 2.642384
+> [0.000000]: [ker_lmm/DEBUG] index: 20 cnst_light_num: 23 || usage: 0.000000 remaining: 3.884495 bound: 4.461701
+> [0.000000]: [ker_lmm/DEBUG] var=441, var.bound=-1.000000, var.penalty=1.000000, min_usage=0.366848, var.bound*var.penalty=-1.000000
+> [0.000000]: [ker_lmm/DEBUG] Setting var (441) value to 0.366848
+>
+> [0.000000]: [ker_lmm/DEBUG] Min usage: 0.366848, Var(441).penalty: 1.000000, Var(441).value: 0.366848
+> [0.000000]: [ker_lmm/DEBUG] index: 10 cnst_light_num: 22 || usage: 0.000000 remaining: 0.331134 bound: 1.426165
+> [0.000000]: [ker_lmm/DEBUG] index: 14 cnst_light_num: 21 || usage: 0.000000 remaining: 5.411042 bound: 6.117439
+> [0.000000]: [ker_lmm/DEBUG] index: 0 cnst_light_num: 20 || usage: 0.000000 remaining: 4.744544 bound: 7.559265
+> [0.000000]: [ker_lmm/DEBUG] index: 13 cnst_light_num: 19 || usage: 0.000000 remaining: 1.218086 bound: 3.737145
+> [0.000000]: [ker_lmm/DEBUG] index: 13 cnst_light_num: 18 || usage: 0.000000 remaining: 3.137336 bound: 3.839026
+> [0.000000]: [ker_lmm/DEBUG] index: 0 cnst_light_num: 17 || usage: 0.000000 remaining: 7.282082 bound: 9.856244
+> [0.000000]: [ker_lmm/DEBUG] index: 5 cnst_light_num: 16 || usage: 0.000000 remaining: 5.698052 bound: 6.494589
+> [0.000000]: [ker_lmm/DEBUG] index: 4 cnst_light_num: 15 || usage: 0.000000 remaining: 4.711892 bound: 6.087026
+> [0.000000]: [ker_lmm/DEBUG] index: 9 cnst_light_num: 14 || usage: 0.000000 remaining: 6.370706 bound: 7.950875
+> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 13 || usage: 0.000000 remaining: 4.332889 bound: 6.287879
+> [0.000000]: [ker_lmm/DEBUG] index: 4 cnst_light_num: 12 || usage: 0.000000 remaining: 8.924545 bound: 9.649153
+> [0.000000]: [ker_lmm/DEBUG] index: 4 cnst_light_num: 11 || usage: 0.000000 remaining: 4.164901 bound: 4.860990
+> [0.000000]: [ker_lmm/DEBUG] index: 0 cnst_light_num: 10 || usage: 0.000000 remaining: 7.221768 bound: 8.082817
+> [0.000000]: [ker_lmm/DEBUG] index: 3 cnst_light_num: 9 || usage: 0.000000 remaining: 2.299531 bound: 2.658191
+> [0.000000]: [ker_lmm/DEBUG] index: 0 cnst_light_num: 8 || usage: 0.000000 remaining: 1.012813 bound: 2.535882
+> [0.000000]: [ker_lmm/DEBUG] index: 5 cnst_light_num: 7 || usage: 0.000000 remaining: 8.994743 bound: 9.794450
+> [0.000000]: [ker_lmm/DEBUG] index: 4 cnst_light_num: 6 || usage: 0.000000 remaining: 7.649050 bound: 8.499800
+> [0.000000]: [ker_lmm/DEBUG] index: 2 cnst_light_num: 5 || usage: 0.000000 remaining: 5.706311 bound: 7.015528
+> [0.000000]: [ker_lmm/DEBUG] index: 3 cnst_light_num: 4 || usage: 0.000000 remaining: 0.000000 bound: 2.259884
+> [0.000000]: [ker_lmm/DEBUG] index: 0 cnst_light_num: 3 || usage: 0.000000 remaining: 8.099427 bound: 9.227496
+> [0.000000]: [ker_lmm/DEBUG] index: 1 cnst_light_num: 2 || usage: 0.000000 remaining: 3.257173 bound: 4.743166
+> [0.000000]: [ker_lmm/DEBUG] index: 0 cnst_light_num: 1 || usage: 0.000000 remaining: 6.797000 bound: 8.137325
+> [0.000000]: [ker_lmm/DEBUG] MAX-MIN ( '488'(1.000000) '486'(1.000000) '469'(1.000000) '468'(1.000000) '465'(1.000000) '460'(1.000000) '459'(1.000000) '452'(1.000000) '448'(1.000000) '446'(1.000000) '441'(1.000000) '440'(1.000000) '438'(1.000000) '436'(1.000000) '435'(1.000000) '433'(1.000000) '432'(1.000000) '431'(1.000000) '430'(1.000000) '429'(1.000000) '428'(1.000000) '427'(1.000000) '426'(1.000000) '425'(1.000000) '424'(1.000000) '423'(1.000000) '422'(1.000000) '421'(1.000000) '420'(1.000000) '419'(1.000000) '418'(1.000000) '417'(1.000000) '416'(1.000000) '415'(1.000000) '414'(1.000000) '413'(1.000000) '412'(1.000000) '411'(1.000000) '410'(1.000000) '409'(1.000000) '408'(1.000000) '407'(1.000000) '406'(1.000000) '405'(1.000000) '404'(1.000000) '403'(1.000000) '402'(1.000000) '401'(1.000000) '434'(0.000000) '437'(0.000000) '439'(0.000000) '442'(0.000000) '443'(0.000000) '444'(0.000000) '445'(0.000000) '447'(0.000000) '449'(0.000000) '450'(0.000000) '451'(0.000000) '453'(0.000000) '454'(0.000000) '455'(0.000000) '456'(0.000000) '457'(0.000000) '458'(0.000000) '461'(0.000000) '462'(0.000000) '463'(0.000000) '464'(0.000000) '466'(0.000000) '467'(0.000000) '470'(0.000000) '471'(0.000000) '472'(0.000000) '473'(0.000000) '474'(0.000000) '475'(0.000000) '476'(0.000000) '477'(0.000000) '478'(0.000000) '479'(0.000000) '480'(0.000000) '481'(0.000000) '482'(0.000000) '483'(0.000000) '484'(0.000000) '485'(0.000000) '487'(0.000000) '489'(0.000000) '490'(0.000000) '491'(0.000000) '492'(0.000000) '493'(0.000000) '494'(0.000000) '495'(0.000000) '496'(0.000000) '497'(0.000000) '498'(0.000000) '499'(0.000000) '500'(0.000000) )