0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4532638-1752684934.opb'
0.00/0.06 c read 1.14MB (45.06ms)
0.00/0.06 c [cnf: #variables 9632 #clauses 29621 #duplicates 0 #arr 104186]
0.00/0.06 c output proof to 'PROOFDIR/proof-4532638-1752684934'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.09/0.11 c [group: #orbits ~= 2752] (50.54ms)
0.09/0.11 c
0.09/0.11 c detect special group actions
0.09/0.11 c probe for Johnson action (limit=64)
0.09/0.14 c probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.17 c probe for row symmetry (limit=64, splits=16.78M)
0.09/0.20 c found row 11x688, generating row predicate
0.09/0.20 c (84.80ms)
0.09/0.20 c
0.09/0.20 c detect symmetries on remainder
0.09/0.20 c [graph: #vertices 82875 #edges 295616]
0.09/0.20 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.20/0.30 c [group: #symmetries 1.24*10^7 #generators 13] (100.63ms)
0.20/0.30 c
0.20/0.30 c optimize generators (opt_passes=64, conjugate_limit=256)
0.20/0.30 c ran it=0, +gens=2
0.49/0.60 c con best_support=1376, best_gens=13, +gens=224
0.49/0.60 c (303.10ms)
0.49/0.60 c
0.49/0.60 c finalize break order and special generators
0.49/0.60 c
0.49/0.60 c add generic predicates (break_depth=20)
0.49/0.61 c added predicates for 239 generators (3.53ms)
1.08/1.13 c
1.08/1.13 c generation finished
1.08/1.13 c [sbp: #constraints 34482 #add_vars 11411]
1.08/1.13 c
1.08/1.13 c write result to 'HOME/instance-4532638-1752684934.opb.pre'
1.08/1.14 c wrote 2.47MB (7.89ms)
1.08/1.14 c ------------------------------------------------------------------
1.08/1.14 c 528.59ms 46.91% other
1.08/1.14 c 303.10ms 26.90% optimize_gens
1.08/1.14 c 100.63ms 8.93% detect_generic
1.08/1.14 c 84.80ms 7.53% detect_special
1.08/1.14 c 50.54ms 4.48% approx_orbits
1.08/1.14 c 45.06ms 4.00% parse
1.08/1.14 c 7.89ms 0.70% output
1.08/1.14 c 3.53ms 0.31% break_generic
1.08/1.14 c 2.66ms 0.24% finalize_order
1.08/1.14 c ───────────────────────────────────────────────
1.08/1.14 c 1126.81ms 100% total
1.08/1.14 c ------------------------------------------------------------------
1.16/1.40 c RoundingSat 2
1.16/1.40 c branch pb25
1.16/1.40 c commit 0f876b3
1.16/1.98 c #variables 21043 #constraints 64102
1.16/1.98 c objective is ce32
1.16/1.98 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
1.16/1.98 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
1.16/1.98 c bounds - >= 0 @ 0.494683
8.93/9.26 c #Conflicts: 1000 | #Constraints: 65101
8.93/9.26 c #Conflicts: 2000 | #Constraints: 66101
8.93/9.26 c INPROCESSING
8.93/9.26 c #Conflicts: 3000 | #Constraints: 66127
8.93/9.26 c #Conflicts: 4000 | #Constraints: 67127
8.93/9.26 c INPROCESSING
8.93/9.26 c GARBAGE COLLECT
8.93/9.26 c #Conflicts: 5000 | #Constraints: 66534
8.93/9.26 c #Conflicts: 6000 | #Constraints: 67534
8.93/9.26 c INPROCESSING
8.93/9.26 c bounds - >= 10 @ 7.60174
32.94/33.36 c #Conflicts: 7000 | #Constraints: 66546
32.94/33.36 c #Conflicts: 8000 | #Constraints: 67546
32.94/33.36 c #Conflicts: 9000 | #Constraints: 68546
32.94/33.36 c INPROCESSING
32.94/33.36 c GARBAGE COLLECT
32.94/33.36 c #Conflicts: 10000 | #Constraints: 67249
32.94/33.36 c #Conflicts: 11000 | #Constraints: 68249
32.94/33.36 c #Conflicts: 12000 | #Constraints: 69249
32.94/33.36 c INPROCESSING
32.94/33.36 c bounds 211 >= 10 @ 31.42
32.94/33.38 c bounds 206 >= 10 @ 31.434
32.94/33.40 c bounds 196 >= 10 @ 31.4423
33.04/33.41 c bounds 194 >= 10 @ 31.4537
33.04/33.45 c bounds 192 >= 10 @ 31.484
33.04/33.48 c bounds 189 >= 10 @ 31.5063
33.04/33.50 c bounds 184 >= 10 @ 31.515
33.13/33.51 c bounds 182 >= 10 @ 31.5238
33.13/33.52 c bounds 180 >= 10 @ 31.5288
33.13/33.58 c #Conflicts: 13000 | #Constraints: 67722
33.13/33.58 c bounds 170 >= 10 @ 31.579
33.13/33.59 c bounds 168 >= 10 @ 31.5861
33.34/33.75 c #Conflicts: 14000 | #Constraints: 68724
33.34/33.75 c #Conflicts: 15000 | #Constraints: 69724
33.34/33.75 c INPROCESSING
33.34/33.75 c GARBAGE COLLECT
33.34/33.75 c bounds 168 >= 15 @ 31.7324
33.34/33.76 c bounds 168 >= 20 @ 31.7492
33.34/33.77 c bounds 168 >= 25 @ 31.7556
33.34/33.78 c bounds 168 >= 30 @ 31.7613
33.34/33.78 c bounds 168 >= 35 @ 31.768
35.33/35.76 c #Conflicts: 16000 | #Constraints: 68011
35.33/35.76 c #Conflicts: 17000 | #Constraints: 69011
35.33/35.76 c #Conflicts: 18000 | #Constraints: 70011
35.33/35.76 c INPROCESSING
35.33/35.76 c #Conflicts: 19000 | #Constraints: 67680
35.33/35.76 c bounds 165 >= 35 @ 33.7034
35.33/35.78 c bounds 163 >= 35 @ 33.7126
35.53/35.95 c #Conflicts: 20000 | #Constraints: 68682
35.53/35.95 c #Conflicts: 21000 | #Constraints: 69682
35.53/35.95 c INPROCESSING
35.53/35.95 c GARBAGE COLLECT
35.53/35.95 c bounds 163 >= 37 @ 33.858
35.53/35.95 c bounds 163 >= 39 @ 33.8591
35.53/35.95 c bounds 163 >= 41 @ 33.8608
64.84/65.33 c #Conflicts: 22000 | #Constraints: 67709
64.84/65.33 c #Conflicts: 23000 | #Constraints: 68709
64.84/65.33 c #Conflicts: 24000 | #Constraints: 69709
64.84/65.33 c #Conflicts: 25000 | #Constraints: 70709
64.84/65.33 c INPROCESSING
64.84/65.33 c GARBAGE COLLECT
64.84/65.33 c rational objective 41
71.83/72.36 c #Conflicts: 26000 | #Constraints: 68391
71.83/72.36 c #Conflicts: 27000 | #Constraints: 69391
71.83/72.36 c #Conflicts: 28000 | #Constraints: 70391
71.83/72.36 c #Conflicts: 29000 | #Constraints: 71391
71.83/72.36 c INPROCESSING
71.83/72.36 c GARBAGE COLLECT
71.83/72.36 c #Conflicts: 30000 | #Constraints: 68842
71.83/72.36 c #Conflicts: 31000 | #Constraints: 69842
71.83/72.36 c #Conflicts: 32000 | #Constraints: 70842
71.83/72.36 c bounds 158 >= 41 @ 69.919
71.92/72.47 c #Conflicts: 33000 | #Constraints: 71843
71.92/72.47 c INPROCESSING
71.92/72.47 c GARBAGE COLLECT
71.92/72.47 c bounds 156 >= 41 @ 70.0126
81.61/82.12 c bounds 156 >= 43 @ 79.5938
84.08/84.63 c #Conflicts: 34000 | #Constraints: 69079
84.08/84.63 c #Conflicts: 35000 | #Constraints: 70079
84.08/84.63 c #Conflicts: 36000 | #Constraints: 71079
84.08/84.63 c #Conflicts: 37000 | #Constraints: 72079
84.08/84.63 c INPROCESSING
84.08/84.63 c GARBAGE COLLECT
84.08/84.63 c #Conflicts: 38000 | #Constraints: 69086
84.08/84.63 c #Conflicts: 39000 | #Constraints: 70086
84.08/84.63 c #Conflicts: 40000 | #Constraints: 71086
84.08/84.63 c #Conflicts: 41000 | #Constraints: 72086
84.08/84.63 c INPROCESSING
84.08/84.63 c GARBAGE COLLECT
84.08/84.63 c #Conflicts: 42000 | #Constraints: 68877
84.08/84.63 c #Conflicts: 43000 | #Constraints: 69877
84.08/84.63 c #Conflicts: 44000 | #Constraints: 70877
84.08/84.63 c #Conflicts: 45000 | #Constraints: 71877
84.08/84.63 c #Conflicts: 46000 | #Constraints: 72877
84.08/84.63 c INPROCESSING
84.08/84.63 c GARBAGE COLLECT
84.08/84.63 c #Conflicts: 47000 | #Constraints: 69510
84.08/84.63 c #Conflicts: 48000 | #Constraints: 70511
84.08/84.63 c #Conflicts: 49000 | #Constraints: 71512
84.08/84.63 c #Conflicts: 50000 | #Constraints: 72512
84.08/84.63 c #Conflicts: 51000 | #Constraints: 73512
84.08/84.63 c INPROCESSING
84.08/84.63 c GARBAGE COLLECT
84.08/84.63 c bounds 153 >= 43 @ 81.961
84.08/84.65 c bounds 151 >= 43 @ 81.9688
95.15/95.73 c #Conflicts: 52000 | #Constraints: 69952
95.15/95.73 c #Conflicts: 53000 | #Constraints: 70952
95.15/95.73 c #Conflicts: 54000 | #Constraints: 71952
95.15/95.73 c #Conflicts: 55000 | #Constraints: 72952
95.15/95.73 c #Conflicts: 56000 | #Constraints: 73952
95.15/95.73 c INPROCESSING
95.15/95.73 c GARBAGE COLLECT
95.15/95.73 c rational objective 43
123.06/123.78 c #Conflicts: 57000 | #Constraints: 70219
123.06/123.78 c #Conflicts: 58000 | #Constraints: 71219
123.06/123.78 c #Conflicts: 59000 | #Constraints: 72220
123.06/123.78 c #Conflicts: 60000 | #Constraints: 73220
123.06/123.78 c #Conflicts: 61000 | #Constraints: 74220
123.06/123.78 c INPROCESSING
123.06/123.78 c GARBAGE COLLECT
123.06/123.78 c #Conflicts: 62000 | #Constraints: 70212
123.06/123.78 c #Conflicts: 63000 | #Constraints: 71213
123.06/123.78 c #Conflicts: 64000 | #Constraints: 72213
123.06/123.78 c #Conflicts: 65000 | #Constraints: 73213
123.06/123.78 c #Conflicts: 66000 | #Constraints: 74213
123.06/123.78 c INPROCESSING
123.06/123.78 c GARBAGE COLLECT
123.06/123.78 c rational objective 43
162.43/163.22 c #Conflicts: 67000 | #Constraints: 69978
162.43/163.22 c #Conflicts: 68000 | #Constraints: 70978
162.43/163.22 c #Conflicts: 69000 | #Constraints: 71978
162.43/163.22 c #Conflicts: 70000 | #Constraints: 72978
162.43/163.22 c #Conflicts: 71000 | #Constraints: 73978
162.43/163.22 c #Conflicts: 72000 | #Constraints: 74978
162.43/163.22 c INPROCESSING
162.43/163.22 c GARBAGE COLLECT
162.43/163.22 c #Conflicts: 73000 | #Constraints: 70566
162.43/163.22 c #Conflicts: 74000 | #Constraints: 71566
162.43/163.22 c #Conflicts: 75000 | #Constraints: 72566
162.43/163.22 c #Conflicts: 76000 | #Constraints: 73566
162.43/163.22 c #Conflicts: 77000 | #Constraints: 74566
162.43/163.22 c #Conflicts: 78000 | #Constraints: 75566
162.43/163.22 c INPROCESSING
162.43/163.22 c GARBAGE COLLECT
162.43/163.22 c rational objective 43
219.78/220.78 c #Conflicts: 79000 | #Constraints: 70986
219.78/220.78 c #Conflicts: 80000 | #Constraints: 71986
219.78/220.78 c #Conflicts: 81000 | #Constraints: 72986
219.78/220.78 c #Conflicts: 82000 | #Constraints: 73986
219.78/220.78 c #Conflicts: 83000 | #Constraints: 74986
219.78/220.78 c #Conflicts: 84000 | #Constraints: 75986
219.78/220.78 c INPROCESSING
219.78/220.78 c GARBAGE COLLECT
219.78/220.78 c #Conflicts: 85000 | #Constraints: 71167
219.78/220.78 c #Conflicts: 86000 | #Constraints: 72167
219.78/220.78 c #Conflicts: 87000 | #Constraints: 73167
219.78/220.78 c #Conflicts: 88000 | #Constraints: 74167
219.78/220.78 c #Conflicts: 89000 | #Constraints: 75167
219.78/220.78 c #Conflicts: 90000 | #Constraints: 76167
219.78/220.78 c INPROCESSING
219.78/220.78 c GARBAGE COLLECT
219.78/220.78 c rational objective 43
233.33/234.38 c #Conflicts: 91000 | #Constraints: 71159
233.33/234.38 c #Conflicts: 92000 | #Constraints: 72159
233.33/234.38 c #Conflicts: 93000 | #Constraints: 73159
233.33/234.38 c #Conflicts: 94000 | #Constraints: 74159
233.33/234.38 c #Conflicts: 95000 | #Constraints: 75159
233.33/234.38 c #Conflicts: 96000 | #Constraints: 76159
233.33/234.38 c INPROCESSING
233.33/234.38 c GARBAGE COLLECT
233.33/234.38 c #Conflicts: 97000 | #Constraints: 70945
233.33/234.38 c #Conflicts: 98000 | #Constraints: 71945
233.33/234.38 c #Conflicts: 99000 | #Constraints: 72945
233.33/234.38 c #Conflicts: 100000 | #Constraints: 73945
233.33/234.38 c #Conflicts: 101000 | #Constraints: 74945
233.33/234.38 c #Conflicts: 102000 | #Constraints: 75945
233.33/234.38 c #Conflicts: 103000 | #Constraints: 76945
233.33/234.38 c INPROCESSING
233.33/234.38 c GARBAGE COLLECT
233.33/234.38 c #Conflicts: 104000 | #Constraints: 71549
233.33/234.38 c #Conflicts: 105000 | #Constraints: 72550
233.33/234.38 c #Conflicts: 106000 | #Constraints: 73550
233.33/234.38 c #Conflicts: 107000 | #Constraints: 74550
233.33/234.38 c #Conflicts: 108000 | #Constraints: 75550
233.33/234.38 c #Conflicts: 109000 | #Constraints: 76550
233.33/234.38 c #Conflicts: 110000 | #Constraints: 77550
233.33/234.38 c INPROCESSING
233.33/234.38 c GARBAGE COLLECT
233.33/234.38 c #Conflicts: 111000 | #Constraints: 71963
233.33/234.38 c #Conflicts: 112000 | #Constraints: 72963
233.33/234.38 c #Conflicts: 113000 | #Constraints: 73963
233.33/234.38 c #Conflicts: 114000 | #Constraints: 74963
233.33/234.38 c #Conflicts: 115000 | #Constraints: 75963
233.33/234.38 c #Conflicts: 116000 | #Constraints: 76963
233.33/234.38 c #Conflicts: 117000 | #Constraints: 77963
233.33/234.38 c INPROCESSING
233.33/234.38 c GARBAGE COLLECT
233.33/234.38 c rational objective 43
259.66/260.79 c #Conflicts: 118000 | #Constraints: 72233
259.66/260.79 c #Conflicts: 119000 | #Constraints: 73234
259.66/260.79 c #Conflicts: 120000 | #Constraints: 74234
259.66/260.79 c #Conflicts: 121000 | #Constraints: 75234
259.66/260.79 c #Conflicts: 122000 | #Constraints: 76234
259.66/260.79 c #Conflicts: 123000 | #Constraints: 77234
259.66/260.79 c #Conflicts: 124000 | #Constraints: 78234
259.66/260.79 c INPROCESSING
259.66/260.79 c GARBAGE COLLECT
259.66/260.79 c #Conflicts: 125000 | #Constraints: 72208
259.66/260.79 c #Conflicts: 126000 | #Constraints: 73208
259.66/260.79 c #Conflicts: 127000 | #Constraints: 74208
259.66/260.79 c #Conflicts: 128000 | #Constraints: 75208
259.66/260.79 c #Conflicts: 129000 | #Constraints: 76208
259.66/260.79 c #Conflicts: 130000 | #Constraints: 77208
259.66/260.79 c #Conflicts: 131000 | #Constraints: 78208
259.66/260.79 c INPROCESSING
259.66/260.79 c GARBAGE COLLECT
259.66/260.79 c rational objective 43
310.13/311.35 c #Conflicts: 132000 | #Constraints: 71979
310.13/311.35 c #Conflicts: 133000 | #Constraints: 72979
310.13/311.35 c #Conflicts: 134000 | #Constraints: 73979
310.13/311.35 c #Conflicts: 135000 | #Constraints: 74979
310.13/311.35 c #Conflicts: 136000 | #Constraints: 75979
310.13/311.35 c #Conflicts: 137000 | #Constraints: 76979
310.13/311.35 c #Conflicts: 138000 | #Constraints: 77979
310.13/311.35 c #Conflicts: 139000 | #Constraints: 78979
310.13/311.35 c INPROCESSING
310.13/311.35 c GARBAGE COLLECT
310.13/311.35 c rational objective 43
391.79/393.21 c #Conflicts: 140000 | #Constraints: 72633
391.79/393.21 c #Conflicts: 141000 | #Constraints: 73633
391.79/393.21 c #Conflicts: 142000 | #Constraints: 74633
391.79/393.21 c #Conflicts: 143000 | #Constraints: 75633
391.79/393.21 c #Conflicts: 144000 | #Constraints: 76633
391.79/393.21 c #Conflicts: 145000 | #Constraints: 77633
391.79/393.21 c #Conflicts: 146000 | #Constraints: 78633
391.79/393.21 c #Conflicts: 147000 | #Constraints: 79633
391.79/393.21 c INPROCESSING
391.79/393.21 c GARBAGE COLLECT
391.79/393.21 c #Conflicts: 148000 | #Constraints: 73027
391.79/393.21 c #Conflicts: 149000 | #Constraints: 74027
391.79/393.21 c #Conflicts: 150000 | #Constraints: 75027
391.79/393.21 c #Conflicts: 151000 | #Constraints: 76027
391.79/393.21 c #Conflicts: 152000 | #Constraints: 77027
391.79/393.21 c #Conflicts: 153000 | #Constraints: 78027
391.79/393.21 c #Conflicts: 154000 | #Constraints: 79027
391.79/393.21 c #Conflicts: 155000 | #Constraints: 80027
391.79/393.21 c INPROCESSING
391.79/393.21 c GARBAGE COLLECT
391.79/393.21 c #Conflicts: 156000 | #Constraints: 73241
391.79/393.21 c #Conflicts: 157000 | #Constraints: 74242
391.79/393.21 c #Conflicts: 158000 | #Constraints: 75242
391.79/393.21 c #Conflicts: 159000 | #Constraints: 76242
391.79/393.21 c #Conflicts: 160000 | #Constraints: 77242
391.79/393.21 c #Conflicts: 161000 | #Constraints: 78242
391.79/393.21 c #Conflicts: 162000 | #Constraints: 79242
391.79/393.21 c #Conflicts: 163000 | #Constraints: 80242
391.79/393.21 c INPROCESSING
391.79/393.21 c GARBAGE COLLECT
391.79/393.21 c rational objective 43
419.11/420.62 c #Conflicts: 164000 | #Constraints: 73226
419.11/420.62 c #Conflicts: 165000 | #Constraints: 74226
419.11/420.62 c #Conflicts: 166000 | #Constraints: 75226
419.11/420.62 c #Conflicts: 167000 | #Constraints: 76226
419.11/420.62 c #Conflicts: 168000 | #Constraints: 77226
419.11/420.62 c #Conflicts: 169000 | #Constraints: 78226
419.11/420.62 c #Conflicts: 170000 | #Constraints: 79226
419.11/420.62 c #Conflicts: 171000 | #Constraints: 80226
419.11/420.62 c INPROCESSING
419.11/420.62 c GARBAGE COLLECT
419.11/420.62 c #Conflicts: 172000 | #Constraints: 73024
419.11/420.62 c #Conflicts: 173000 | #Constraints: 74024
419.11/420.62 c #Conflicts: 174000 | #Constraints: 75024
419.11/420.62 c #Conflicts: 175000 | #Constraints: 76024
419.11/420.62 c #Conflicts: 176000 | #Constraints: 77024
419.11/420.62 c #Conflicts: 177000 | #Constraints: 78024
419.11/420.62 c #Conflicts: 178000 | #Constraints: 79024
419.11/420.62 c #Conflicts: 179000 | #Constraints: 80024
419.11/420.62 c #Conflicts: 180000 | #Constraints: 81024
419.11/420.62 c INPROCESSING
419.11/420.62 c GARBAGE COLLECT
419.11/420.62 c #Conflicts: 181000 | #Constraints: 73642
419.11/420.62 c #Conflicts: 182000 | #Constraints: 74642
419.11/420.62 c #Conflicts: 183000 | #Constraints: 75642
419.11/420.62 c #Conflicts: 184000 | #Constraints: 76642
419.11/420.62 c #Conflicts: 185000 | #Constraints: 77642
419.11/420.62 c #Conflicts: 186000 | #Constraints: 78642
419.11/420.62 c #Conflicts: 187000 | #Constraints: 79642
419.11/420.62 c #Conflicts: 188000 | #Constraints: 80642
419.11/420.62 c #Conflicts: 189000 | #Constraints: 81643
419.11/420.62 c INPROCESSING
419.11/420.62 c GARBAGE COLLECT
419.11/420.62 c rational objective 43
429.79/431.31 c #Conflicts: 190000 | #Constraints: 74058
429.79/431.31 c #Conflicts: 191000 | #Constraints: 75058
429.79/431.31 c #Conflicts: 192000 | #Constraints: 76058
429.79/431.31 c #Conflicts: 193000 | #Constraints: 77058
429.79/431.31 c #Conflicts: 194000 | #Constraints: 78058
429.79/431.31 c #Conflicts: 195000 | #Constraints: 79058
429.79/431.31 c #Conflicts: 196000 | #Constraints: 80058
429.79/431.31 c #Conflicts: 197000 | #Constraints: 81058
429.79/431.31 c #Conflicts: 198000 | #Constraints: 82058
429.79/431.31 c INPROCESSING
429.79/431.31 c GARBAGE COLLECT
429.79/431.31 c rational objective 43
492.81/494.54 c #Conflicts: 199000 | #Constraints: 74307
492.81/494.54 c #Conflicts: 200000 | #Constraints: 75307
492.81/494.54 c #Conflicts: 201000 | #Constraints: 76307
492.81/494.54 c #Conflicts: 202000 | #Constraints: 77307
492.81/494.54 c #Conflicts: 203000 | #Constraints: 78307
492.81/494.54 c #Conflicts: 204000 | #Constraints: 79307
492.81/494.54 c #Conflicts: 205000 | #Constraints: 80307
492.81/494.54 c #Conflicts: 206000 | #Constraints: 81307
492.81/494.54 c #Conflicts: 207000 | #Constraints: 82307
492.81/494.54 c INPROCESSING
492.81/494.54 c GARBAGE COLLECT
492.81/494.54 c rational objective 43
520.03/521.85 c #Conflicts: 208000 | #Constraints: 74233
520.03/521.85 c #Conflicts: 209000 | #Constraints: 75233
520.03/521.85 c #Conflicts: 210000 | #Constraints: 76233
520.03/521.85 c #Conflicts: 211000 | #Constraints: 77233
520.03/521.85 c #Conflicts: 212000 | #Constraints: 78233
520.03/521.85 c #Conflicts: 213000 | #Constraints: 79233
520.03/521.85 c #Conflicts: 214000 | #Constraints: 80233
520.03/521.85 c #Conflicts: 215000 | #Constraints: 81233
520.03/521.85 c #Conflicts: 216000 | #Constraints: 82233
520.03/521.85 c INPROCESSING
520.03/521.85 c GARBAGE COLLECT
520.03/521.85 c #Conflicts: 217000 | #Constraints: 74024
520.03/521.85 c #Conflicts: 218000 | #Constraints: 75024
520.03/521.85 c #Conflicts: 219000 | #Constraints: 76024
520.03/521.85 c #Conflicts: 220000 | #Constraints: 77024
520.03/521.85 c #Conflicts: 221000 | #Constraints: 78025
520.03/521.85 c #Conflicts: 222000 | #Constraints: 79025
520.03/521.85 c #Conflicts: 223000 | #Constraints: 80025
520.03/521.85 c #Conflicts: 224000 | #Constraints: 81025
520.03/521.85 c #Conflicts: 225000 | #Constraints: 82025
520.03/521.85 c #Conflicts: 226000 | #Constraints: 83025
520.03/521.85 c INPROCESSING
520.03/521.85 c GARBAGE COLLECT
520.03/521.85 c #Conflicts: 227000 | #Constraints: 74604
520.03/521.85 c #Conflicts: 228000 | #Constraints: 75604
520.03/521.85 c #Conflicts: 229000 | #Constraints: 76604
520.03/521.85 c #Conflicts: 230000 | #Constraints: 77605
520.03/521.85 c #Conflicts: 231000 | #Constraints: 78605
520.03/521.85 c #Conflicts: 232000 | #Constraints: 79605
520.03/521.85 c #Conflicts: 233000 | #Constraints: 80605
520.03/521.85 c #Conflicts: 234000 | #Constraints: 81605
520.03/521.85 c #Conflicts: 235000 | #Constraints: 82605
520.03/521.85 c #Conflicts: 236000 | #Constraints: 83605
520.03/521.85 c INPROCESSING
520.03/521.85 c GARBAGE COLLECT
520.03/521.85 c rational objective 43
531.70/533.56 c #Conflicts: 237000 | #Constraints: 75043
531.70/533.56 c #Conflicts: 238000 | #Constraints: 76043
531.70/533.56 c #Conflicts: 239000 | #Constraints: 77043
531.70/533.56 c #Conflicts: 240000 | #Constraints: 78043
531.70/533.56 c #Conflicts: 241000 | #Constraints: 79043
531.70/533.56 c #Conflicts: 242000 | #Constraints: 80043
531.70/533.56 c #Conflicts: 243000 | #Constraints: 81043
531.70/533.56 c #Conflicts: 244000 | #Constraints: 82043
531.70/533.56 c #Conflicts: 245000 | #Constraints: 83043
531.70/533.56 c #Conflicts: 246000 | #Constraints: 84043
531.70/533.56 c INPROCESSING
531.70/533.56 c GARBAGE COLLECT
531.70/533.56 c rational objective 43
546.06/547.97 c #Conflicts: 247000 | #Constraints: 75315
546.06/547.97 c #Conflicts: 248000 | #Constraints: 76315
546.06/547.97 c #Conflicts: 249000 | #Constraints: 77315
546.06/547.97 c #Conflicts: 250000 | #Constraints: 78315
546.06/547.97 c #Conflicts: 251000 | #Constraints: 79315
546.06/547.97 c #Conflicts: 252000 | #Constraints: 80315
546.06/547.97 c #Conflicts: 253000 | #Constraints: 81315
546.06/547.97 c #Conflicts: 254000 | #Constraints: 82315
546.06/547.97 c #Conflicts: 255000 | #Constraints: 83315
546.06/547.97 c #Conflicts: 256000 | #Constraints: 84315
546.06/547.97 c INPROCESSING
546.06/547.97 c GARBAGE COLLECT
546.06/547.97 c rational objective 43
563.12/565.07 c #Conflicts: 257000 | #Constraints: 75306
563.12/565.07 c #Conflicts: 258000 | #Constraints: 76306
563.12/565.07 c #Conflicts: 259000 | #Constraints: 77306
563.12/565.07 c #Conflicts: 260000 | #Constraints: 78306
563.12/565.07 c #Conflicts: 261000 | #Constraints: 79306
563.12/565.07 c #Conflicts: 262000 | #Constraints: 80306
563.12/565.07 c #Conflicts: 263000 | #Constraints: 81306
563.12/565.07 c #Conflicts: 264000 | #Constraints: 82306
563.12/565.07 c #Conflicts: 265000 | #Constraints: 83306
563.12/565.07 c #Conflicts: 266000 | #Constraints: 84306
563.12/565.07 c INPROCESSING
563.12/565.07 c GARBAGE COLLECT
563.12/565.07 c rational objective 43
626.43/628.57 c #Conflicts: 267000 | #Constraints: 75108
626.43/628.57 c #Conflicts: 268000 | #Constraints: 76109
626.43/628.57 c #Conflicts: 269000 | #Constraints: 77109
626.43/628.57 c #Conflicts: 270000 | #Constraints: 78109
626.43/628.57 c #Conflicts: 271000 | #Constraints: 79109
626.43/628.57 c #Conflicts: 272000 | #Constraints: 80109
626.43/628.57 c #Conflicts: 273000 | #Constraints: 81109
626.43/628.57 c #Conflicts: 274000 | #Constraints: 82109
626.43/628.57 c #Conflicts: 275000 | #Constraints: 83110
626.43/628.57 c #Conflicts: 276000 | #Constraints: 84110
626.43/628.57 c #Conflicts: 277000 | #Constraints: 85110
626.43/628.57 c INPROCESSING
626.43/628.57 c GARBAGE COLLECT
626.43/628.57 c rational objective 43
660.43/662.64 c #Conflicts: 278000 | #Constraints: 75681
660.43/662.64 c #Conflicts: 279000 | #Constraints: 76681
660.43/662.64 c #Conflicts: 280000 | #Constraints: 77681
660.43/662.64 c #Conflicts: 281000 | #Constraints: 78681
660.43/662.64 c #Conflicts: 282000 | #Constraints: 79681
660.43/662.64 c #Conflicts: 283000 | #Constraints: 80681
660.43/662.64 c #Conflicts: 284000 | #Constraints: 81681
660.43/662.64 c #Conflicts: 285000 | #Constraints: 82681
660.43/662.64 c #Conflicts: 286000 | #Constraints: 83681
660.43/662.64 c #Conflicts: 287000 | #Constraints: 84681
660.43/662.64 c #Conflicts: 288000 | #Constraints: 85681
660.43/662.64 c INPROCESSING
660.43/662.64 c GARBAGE COLLECT
660.43/662.64 c #Conflicts: 289000 | #Constraints: 76106
660.43/662.64 c #Conflicts: 290000 | #Constraints: 77106
660.43/662.64 c #Conflicts: 291000 | #Constraints: 78106
660.43/662.64 c #Conflicts: 292000 | #Constraints: 79106
660.43/662.64 c #Conflicts: 293000 | #Constraints: 80106
660.43/662.64 c #Conflicts: 294000 | #Constraints: 81107
660.43/662.64 c #Conflicts: 295000 | #Constraints: 82107
660.43/662.64 c #Conflicts: 296000 | #Constraints: 83107
660.43/662.64 c #Conflicts: 297000 | #Constraints: 84107
660.43/662.64 c #Conflicts: 298000 | #Constraints: 85107
660.43/662.64 c #Conflicts: 299000 | #Constraints: 86107
660.43/662.64 c INPROCESSING
660.43/662.64 c GARBAGE COLLECT
660.43/662.64 c #Conflicts: 300000 | #Constraints: 76316
660.43/662.64 c #Conflicts: 301000 | #Constraints: 77316
660.43/662.64 c #Conflicts: 302000 | #Constraints: 78316
660.43/662.64 c #Conflicts: 303000 | #Constraints: 79316
660.43/662.64 c #Conflicts: 304000 | #Constraints: 80316
660.43/662.64 c #Conflicts: 305000 | #Constraints: 81316
660.43/662.64 c #Conflicts: 306000 | #Constraints: 82316
660.43/662.64 c #Conflicts: 307000 | #Constraints: 83316
660.43/662.64 c #Conflicts: 308000 | #Constraints: 84316
660.43/662.64 c #Conflicts: 309000 | #Constraints: 85316
660.43/662.64 c #Conflicts: 310000 | #Constraints: 86317
660.43/662.64 c INPROCESSING
660.43/662.64 c GARBAGE COLLECT
660.43/662.64 c rational objective 43
672.91/675.17 c #Conflicts: 311000 | #Constraints: 76376
672.91/675.17 c #Conflicts: 312000 | #Constraints: 77376
672.91/675.17 c #Conflicts: 313000 | #Constraints: 78376
672.91/675.17 c #Conflicts: 314000 | #Constraints: 79376
672.91/675.17 c #Conflicts: 315000 | #Constraints: 80376
672.91/675.17 c #Conflicts: 316000 | #Constraints: 81376
672.91/675.17 c #Conflicts: 317000 | #Constraints: 82376
672.91/675.17 c #Conflicts: 318000 | #Constraints: 83376
672.91/675.17 c #Conflicts: 319000 | #Constraints: 84376
672.91/675.17 c #Conflicts: 320000 | #Constraints: 85376
672.91/675.17 c #Conflicts: 321000 | #Constraints: 86376
672.91/675.17 c INPROCESSING
672.91/675.17 c GARBAGE COLLECT
672.91/675.17 c rational objective 43
700.92/703.24 c #Conflicts: 322000 | #Constraints: 76206
700.92/703.24 c #Conflicts: 323000 | #Constraints: 77206
700.92/703.24 c #Conflicts: 324000 | #Constraints: 78206
700.92/703.24 c #Conflicts: 325000 | #Constraints: 79206
700.92/703.24 c #Conflicts: 326000 | #Constraints: 80206
700.92/703.24 c #Conflicts: 327000 | #Constraints: 81206
700.92/703.24 c #Conflicts: 328000 | #Constraints: 82206
700.92/703.24 c #Conflicts: 329000 | #Constraints: 83206
700.92/703.24 c #Conflicts: 330000 | #Constraints: 84206
700.92/703.24 c #Conflicts: 331000 | #Constraints: 85206
700.92/703.24 c #Conflicts: 332000 | #Constraints: 86206
700.92/703.24 c #Conflicts: 333000 | #Constraints: 87206
700.92/703.24 c INPROCESSING
700.92/703.24 c GARBAGE COLLECT
700.92/703.24 c rational objective 43
715.08/717.47 c #Conflicts: 334000 | #Constraints: 76767
715.08/717.47 c #Conflicts: 335000 | #Constraints: 77767
715.08/717.47 c #Conflicts: 336000 | #Constraints: 78767
715.08/717.47 c #Conflicts: 337000 | #Constraints: 79767
715.08/717.47 c #Conflicts: 338000 | #Constraints: 80767
715.08/717.47 c #Conflicts: 339000 | #Constraints: 81767
715.08/717.47 c #Conflicts: 340000 | #Constraints: 82767
715.08/717.47 c #Conflicts: 341000 | #Constraints: 83767
715.08/717.47 c #Conflicts: 342000 | #Constraints: 84767
715.08/717.47 c #Conflicts: 343000 | #Constraints: 85767
715.08/717.47 c #Conflicts: 344000 | #Constraints: 86767
715.08/717.47 c #Conflicts: 345000 | #Constraints: 87767
715.08/717.47 c INPROCESSING
715.08/717.47 c GARBAGE COLLECT
715.08/717.47 c rational objective 43
733.83/736.28 c #Conflicts: 346000 | #Constraints: 77225
733.83/736.28 c #Conflicts: 347000 | #Constraints: 78225
733.83/736.28 c #Conflicts: 348000 | #Constraints: 79225
733.83/736.28 c #Conflicts: 349000 | #Constraints: 80225
733.83/736.28 c #Conflicts: 350000 | #Constraints: 81225
733.83/736.28 c #Conflicts: 351000 | #Constraints: 82225
733.83/736.28 c #Conflicts: 352000 | #Constraints: 83225
733.83/736.28 c #Conflicts: 353000 | #Constraints: 84225
733.83/736.28 c #Conflicts: 354000 | #Constraints: 85225
733.83/736.28 c #Conflicts: 355000 | #Constraints: 86225
733.83/736.28 c #Conflicts: 356000 | #Constraints: 87225
733.83/736.28 c #Conflicts: 357000 | #Constraints: 88225
733.83/736.28 c INPROCESSING
733.83/736.28 c GARBAGE COLLECT
733.83/736.28 c rational objective 43
762.66/765.12 c #Conflicts: 358000 | #Constraints: 77417
762.66/765.12 c #Conflicts: 359000 | #Constraints: 78418
762.66/765.12 c #Conflicts: 360000 | #Constraints: 79418
762.66/765.12 c #Conflicts: 361000 | #Constraints: 80418
762.66/765.12 c #Conflicts: 362000 | #Constraints: 81418
762.66/765.12 c #Conflicts: 363000 | #Constraints: 82418
762.66/765.12 c #Conflicts: 364000 | #Constraints: 83418
762.66/765.12 c #Conflicts: 365000 | #Constraints: 84418
762.66/765.12 c #Conflicts: 366000 | #Constraints: 85418
762.66/765.12 c #Conflicts: 367000 | #Constraints: 86418
762.66/765.12 c #Conflicts: 368000 | #Constraints: 87418
762.66/765.12 c #Conflicts: 369000 | #Constraints: 88418
762.66/765.12 c INPROCESSING
762.66/765.12 c GARBAGE COLLECT
762.66/765.12 c rational objective 43
822.50/825.17 c #Conflicts: 370000 | #Constraints: 77361
822.50/825.17 c #Conflicts: 371000 | #Constraints: 78361
822.50/825.17 c #Conflicts: 372000 | #Constraints: 79361
822.50/825.17 c #Conflicts: 373000 | #Constraints: 80361
822.50/825.17 c #Conflicts: 374000 | #Constraints: 81361
822.50/825.17 c #Conflicts: 375000 | #Constraints: 82361
822.50/825.17 c #Conflicts: 376000 | #Constraints: 83361
822.50/825.17 c #Conflicts: 377000 | #Constraints: 84361
822.50/825.17 c #Conflicts: 378000 | #Constraints: 85361
822.50/825.17 c #Conflicts: 379000 | #Constraints: 86361
822.50/825.17 c #Conflicts: 380000 | #Constraints: 87361
822.50/825.17 c #Conflicts: 381000 | #Constraints: 88361
822.50/825.17 c INPROCESSING
822.50/825.17 c GARBAGE COLLECT
822.50/825.17 c rational objective 43
852.19/854.93 c #Conflicts: 382000 | #Constraints: 77194
852.19/854.93 c #Conflicts: 383000 | #Constraints: 78194
852.19/854.93 c #Conflicts: 384000 | #Constraints: 79195
852.19/854.93 c #Conflicts: 385000 | #Constraints: 80195
852.19/854.93 c #Conflicts: 386000 | #Constraints: 81195
852.19/854.93 c #Conflicts: 387000 | #Constraints: 82195
852.19/854.93 c #Conflicts: 388000 | #Constraints: 83195
852.19/854.93 c #Conflicts: 389000 | #Constraints: 84195
852.19/854.93 c #Conflicts: 390000 | #Constraints: 85195
852.19/854.93 c #Conflicts: 391000 | #Constraints: 86195
852.19/854.93 c #Conflicts: 392000 | #Constraints: 87195
852.19/854.93 c #Conflicts: 393000 | #Constraints: 88195
852.19/854.93 c #Conflicts: 394000 | #Constraints: 89195
852.19/854.93 c INPROCESSING
852.19/854.93 c GARBAGE COLLECT
852.19/854.93 c #Conflicts: 395000 | #Constraints: 77788
852.19/854.93 c #Conflicts: 396000 | #Constraints: 78788
852.19/854.93 c #Conflicts: 397000 | #Constraints: 79788
852.19/854.93 c #Conflicts: 398000 | #Constraints: 80788
852.19/854.93 c #Conflicts: 399000 | #Constraints: 81788
852.19/854.93 c #Conflicts: 400000 | #Constraints: 82788
852.19/854.93 c #Conflicts: 401000 | #Constraints: 83788
852.19/854.93 c #Conflicts: 402000 | #Constraints: 84788
852.19/854.93 c #Conflicts: 403000 | #Constraints: 85789
852.19/854.93 c #Conflicts: 404000 | #Constraints: 86789
852.19/854.93 c #Conflicts: 405000 | #Constraints: 87789
852.19/854.93 c #Conflicts: 406000 | #Constraints: 88790
852.19/854.93 c #Conflicts: 407000 | #Constraints: 89790
852.19/854.93 c INPROCESSING
852.19/854.93 c GARBAGE COLLECT
852.19/854.93 c rational objective 43
875.99/879.55 c #Conflicts: 408000 | #Constraints: 78191
875.99/879.55 c #Conflicts: 409000 | #Constraints: 79191
875.99/879.55 c #Conflicts: 410000 | #Constraints: 80191
875.99/879.55 c #Conflicts: 411000 | #Constraints: 81191
875.99/879.55 c #Conflicts: 412000 | #Constraints: 82191
875.99/879.55 c #Conflicts: 413000 | #Constraints: 83191
875.99/879.55 c #Conflicts: 414000 | #Constraints: 84191
875.99/879.55 c #Conflicts: 415000 | #Constraints: 85191
875.99/879.55 c #Conflicts: 416000 | #Constraints: 86191
875.99/879.55 c #Conflicts: 417000 | #Constraints: 87191
875.99/879.55 c #Conflicts: 418000 | #Constraints: 88191
875.99/879.55 c #Conflicts: 419000 | #Constraints: 89191
875.99/879.55 c #Conflicts: 420000 | #Constraints: 90191
875.99/879.55 c INPROCESSING
875.99/879.55 c GARBAGE COLLECT
875.99/879.55 c rational objective 43
891.65/895.22 c #Conflicts: 421000 | #Constraints: 78413
891.65/895.22 c #Conflicts: 422000 | #Constraints: 79413
891.65/895.22 c #Conflicts: 423000 | #Constraints: 80413
891.65/895.22 c #Conflicts: 424000 | #Constraints: 81413
891.65/895.22 c #Conflicts: 425000 | #Constraints: 82413
891.65/895.22 c #Conflicts: 426000 | #Constraints: 83413
891.65/895.22 c #Conflicts: 427000 | #Constraints: 84413
891.65/895.22 c #Conflicts: 428000 | #Constraints: 85413
891.65/895.22 c #Conflicts: 429000 | #Constraints: 86413
891.65/895.22 c #Conflicts: 430000 | #Constraints: 87413
891.65/895.22 c #Conflicts: 431000 | #Constraints: 88413
891.65/895.22 c #Conflicts: 432000 | #Constraints: 89413
891.65/895.22 c #Conflicts: 433000 | #Constraints: 90413
891.65/895.22 c INPROCESSING
891.65/895.22 c GARBAGE COLLECT
891.65/895.22 c rational objective 43
913.20/916.83 c #Conflicts: 434000 | #Constraints: 78448
913.20/916.83 c #Conflicts: 435000 | #Constraints: 79448
913.20/916.83 c #Conflicts: 436000 | #Constraints: 80448
913.20/916.83 c #Conflicts: 437000 | #Constraints: 81448
913.20/916.83 c #Conflicts: 438000 | #Constraints: 82448
913.20/916.83 c #Conflicts: 439000 | #Constraints: 83448
913.20/916.83 c #Conflicts: 440000 | #Constraints: 84448
913.20/916.83 c #Conflicts: 441000 | #Constraints: 85448
913.20/916.83 c #Conflicts: 442000 | #Constraints: 86448
913.20/916.83 c #Conflicts: 443000 | #Constraints: 87448
913.20/916.83 c #Conflicts: 444000 | #Constraints: 88448
913.20/916.83 c #Conflicts: 445000 | #Constraints: 89448
913.20/916.83 c #Conflicts: 446000 | #Constraints: 90448
913.20/916.83 c INPROCESSING
913.20/916.83 c GARBAGE COLLECT
913.20/916.83 c rational objective 43
980.08/983.97 c #Conflicts: 447000 | #Constraints: 78205
980.08/983.97 c #Conflicts: 448000 | #Constraints: 79205
980.08/983.97 c #Conflicts: 449000 | #Constraints: 80206
980.08/983.97 c #Conflicts: 450000 | #Constraints: 81206
980.08/983.97 c #Conflicts: 451000 | #Constraints: 82206
980.08/983.97 c #Conflicts: 452000 | #Constraints: 83206
980.08/983.97 c #Conflicts: 453000 | #Constraints: 84206
980.08/983.97 c #Conflicts: 454000 | #Constraints: 85206
980.08/983.97 c #Conflicts: 455000 | #Constraints: 86206
980.08/983.97 c #Conflicts: 456000 | #Constraints: 87206
980.08/983.97 c #Conflicts: 457000 | #Constraints: 88206
980.08/983.97 c #Conflicts: 458000 | #Constraints: 89206
980.08/983.97 c #Conflicts: 459000 | #Constraints: 90206
980.08/983.97 c #Conflicts: 460000 | #Constraints: 91206
980.08/983.97 c INPROCESSING
980.08/983.97 c GARBAGE COLLECT
980.08/983.97 c rational objective 43
992.84/996.76 c #Conflicts: 461000 | #Constraints: 78763
992.84/996.76 c #Conflicts: 462000 | #Constraints: 79763
992.84/996.76 c #Conflicts: 463000 | #Constraints: 80763
992.84/996.76 c #Conflicts: 464000 | #Constraints: 81763
992.84/996.76 c #Conflicts: 465000 | #Constraints: 82763
992.84/996.76 c #Conflicts: 466000 | #Constraints: 83763
992.84/996.76 c #Conflicts: 467000 | #Constraints: 84763
992.84/996.76 c #Conflicts: 468000 | #Constraints: 85763
992.84/996.76 c #Conflicts: 469000 | #Constraints: 86763
992.84/996.76 c #Conflicts: 470000 | #Constraints: 87764
992.84/996.76 c #Conflicts: 471000 | #Constraints: 88764
992.84/996.76 c #Conflicts: 472000 | #Constraints: 89765
992.84/996.76 c #Conflicts: 473000 | #Constraints: 90765
992.84/996.76 c #Conflicts: 474000 | #Constraints: 91765
992.84/996.76 c INPROCESSING
992.84/996.76 c GARBAGE COLLECT
992.84/996.76 c rational objective 43
1008.29/1012.27 c #Conflicts: 475000 | #Constraints: 79182
1008.29/1012.27 c #Conflicts: 476000 | #Constraints: 80182
1008.29/1012.27 c #Conflicts: 477000 | #Constraints: 81182
1008.29/1012.27 c #Conflicts: 478000 | #Constraints: 82182
1008.29/1012.27 c #Conflicts: 479000 | #Constraints: 83182
1008.29/1012.27 c #Conflicts: 480000 | #Constraints: 84182
1008.29/1012.27 c #Conflicts: 481000 | #Constraints: 85182
1008.29/1012.27 c #Conflicts: 482000 | #Constraints: 86182
1008.29/1012.27 c #Conflicts: 483000 | #Constraints: 87182
1008.29/1012.27 c #Conflicts: 484000 | #Constraints: 88182
1008.29/1012.27 c #Conflicts: 485000 | #Constraints: 89182
1008.29/1012.27 c #Conflicts: 486000 | #Constraints: 90182
1008.29/1012.27 c #Conflicts: 487000 | #Constraints: 91182
1008.29/1012.27 c #Conflicts: 488000 | #Constraints: 92182
1008.29/1012.27 c INPROCESSING
1008.29/1012.27 c GARBAGE COLLECT
1008.29/1012.27 c rational objective 43
1038.79/1042.82 c #Conflicts: 489000 | #Constraints: 79403
1038.79/1042.82 c #Conflicts: 490000 | #Constraints: 80403
1038.79/1042.82 c #Conflicts: 491000 | #Constraints: 81403
1038.79/1042.82 c #Conflicts: 492000 | #Constraints: 82403
1038.79/1042.82 c #Conflicts: 493000 | #Constraints: 83403
1038.79/1042.82 c #Conflicts: 494000 | #Constraints: 84403
1038.79/1042.82 c #Conflicts: 495000 | #Constraints: 85403
1038.79/1042.82 c #Conflicts: 496000 | #Constraints: 86403
1038.79/1042.82 c #Conflicts: 497000 | #Constraints: 87403
1038.79/1042.82 c #Conflicts: 498000 | #Constraints: 88403
1038.79/1042.82 c #Conflicts: 499000 | #Constraints: 89403
1038.79/1042.82 c #Conflicts: 500000 | #Constraints: 90403
1038.79/1042.82 c #Conflicts: 501000 | #Constraints: 91403
1038.79/1042.82 c #Conflicts: 502000 | #Constraints: 92403
1038.79/1042.82 c INPROCESSING
1038.79/1042.82 c GARBAGE COLLECT
1038.79/1042.82 c rational objective 43
1055.13/1059.24 c #Conflicts: 503000 | #Constraints: 79438
1055.13/1059.24 c #Conflicts: 504000 | #Constraints: 80438
1055.13/1059.24 c #Conflicts: 505000 | #Constraints: 81438
1055.13/1059.24 c #Conflicts: 506000 | #Constraints: 82438
1055.13/1059.24 c #Conflicts: 507000 | #Constraints: 83438
1055.13/1059.24 c #Conflicts: 508000 | #Constraints: 84438
1055.13/1059.24 c #Conflicts: 509000 | #Constraints: 85438
1055.13/1059.24 c #Conflicts: 510000 | #Constraints: 86438
1055.13/1059.24 c #Conflicts: 511000 | #Constraints: 87439
1055.13/1059.24 c #Conflicts: 512000 | #Constraints: 88439
1055.13/1059.24 c #Conflicts: 513000 | #Constraints: 89439
1055.13/1059.24 c #Conflicts: 514000 | #Constraints: 90439
1055.13/1059.24 c #Conflicts: 515000 | #Constraints: 91439
1055.13/1059.24 c #Conflicts: 516000 | #Constraints: 92439
1055.13/1059.24 c INPROCESSING
1055.13/1059.24 c GARBAGE COLLECT
1055.13/1059.24 c rational objective 43
1073.37/1077.54 c #Conflicts: 517000 | #Constraints: 79230
1073.37/1077.54 c #Conflicts: 518000 | #Constraints: 80230
1073.37/1077.54 c #Conflicts: 519000 | #Constraints: 81230
1073.37/1077.54 c #Conflicts: 520000 | #Constraints: 82231
1073.37/1077.54 c #Conflicts: 521000 | #Constraints: 83231
1073.37/1077.54 c #Conflicts: 522000 | #Constraints: 84231
1073.37/1077.54 c #Conflicts: 523000 | #Constraints: 85231
1073.37/1077.54 c #Conflicts: 524000 | #Constraints: 86231
1073.37/1077.54 c #Conflicts: 525000 | #Constraints: 87231
1073.37/1077.54 c #Conflicts: 526000 | #Constraints: 88231
1073.37/1077.54 c #Conflicts: 527000 | #Constraints: 89231
1073.37/1077.54 c #Conflicts: 528000 | #Constraints: 90231
1073.37/1077.54 c #Conflicts: 529000 | #Constraints: 91231
1073.37/1077.54 c #Conflicts: 530000 | #Constraints: 92231
1073.37/1077.54 c #Conflicts: 531000 | #Constraints: 93231
1073.37/1077.54 c INPROCESSING
1073.37/1077.54 c GARBAGE COLLECT
1073.37/1077.54 c rational objective 43
1112.35/1116.68 c #Conflicts: 532000 | #Constraints: 79832
1112.35/1116.68 c #Conflicts: 533000 | #Constraints: 80832
1112.35/1116.68 c #Conflicts: 534000 | #Constraints: 81832
1112.35/1116.68 c #Conflicts: 535000 | #Constraints: 82832
1112.35/1116.68 c #Conflicts: 536000 | #Constraints: 83832
1112.35/1116.68 c #Conflicts: 537000 | #Constraints: 84832
1112.35/1116.68 c bounds 151 >= 44 @ 1103.5
1183.55/1188.06 c #Conflicts: 538000 | #Constraints: 85841
1183.55/1188.06 c #Conflicts: 539000 | #Constraints: 86841
1183.55/1188.06 c #Conflicts: 540000 | #Constraints: 87841
1183.55/1188.06 c #Conflicts: 541000 | #Constraints: 88841
1183.55/1188.06 c #Conflicts: 542000 | #Constraints: 89841
1183.55/1188.06 c #Conflicts: 543000 | #Constraints: 90841
1183.55/1188.06 c #Conflicts: 544000 | #Constraints: 91841
1183.55/1188.06 c #Conflicts: 545000 | #Constraints: 92841
1183.55/1188.06 c #Conflicts: 546000 | #Constraints: 93841
1183.55/1188.06 c INPROCESSING
1183.55/1188.06 c GARBAGE COLLECT
1183.55/1188.06 c #Conflicts: 547000 | #Constraints: 80231
1183.55/1188.06 c #Conflicts: 548000 | #Constraints: 81231
1183.55/1188.06 c #Conflicts: 549000 | #Constraints: 82231
1183.55/1188.06 c #Conflicts: 550000 | #Constraints: 83231
1183.55/1188.06 c #Conflicts: 551000 | #Constraints: 84231
1183.55/1188.06 c #Conflicts: 552000 | #Constraints: 85231
1183.55/1188.06 c #Conflicts: 553000 | #Constraints: 86231
1183.55/1188.06 c #Conflicts: 554000 | #Constraints: 87231
1183.55/1188.06 c #Conflicts: 555000 | #Constraints: 88231
1183.55/1188.06 c #Conflicts: 556000 | #Constraints: 89231
1183.55/1188.06 c #Conflicts: 557000 | #Constraints: 90231
1183.55/1188.06 c #Conflicts: 558000 | #Constraints: 91231
1183.55/1188.06 c #Conflicts: 559000 | #Constraints: 92231
1183.55/1188.06 c #Conflicts: 560000 | #Constraints: 93231
1183.55/1188.06 c #Conflicts: 561000 | #Constraints: 94231
1183.55/1188.06 c INPROCESSING
1183.55/1188.06 c GARBAGE COLLECT
1183.55/1188.06 c rational objective 44
1183.94/1188.46 c bounds 151 >= 46 @ 1174.74
1183.94/1188.49 c bounds 151 >= 47 @ 1174.77
1183.94/1188.50 c bounds 151 >= 48 @ 1174.77
1208.56/1213.14 c #Conflicts: 562000 | #Constraints: 80446
1208.56/1213.14 c #Conflicts: 563000 | #Constraints: 81446
1208.56/1213.14 c #Conflicts: 564000 | #Constraints: 82446
1208.56/1213.14 c #Conflicts: 565000 | #Constraints: 83446
1208.56/1213.14 c #Conflicts: 566000 | #Constraints: 84446
1208.56/1213.14 c #Conflicts: 567000 | #Constraints: 85446
1208.56/1213.14 c #Conflicts: 568000 | #Constraints: 86446
1208.56/1213.14 c #Conflicts: 569000 | #Constraints: 87446
1208.56/1213.14 c #Conflicts: 570000 | #Constraints: 88446
1208.56/1213.14 c #Conflicts: 571000 | #Constraints: 89446
1208.56/1213.14 c #Conflicts: 572000 | #Constraints: 90446
1208.56/1213.14 c #Conflicts: 573000 | #Constraints: 91446
1208.56/1213.14 c #Conflicts: 574000 | #Constraints: 92446
1208.56/1213.14 c #Conflicts: 575000 | #Constraints: 93446
1208.56/1213.14 c #Conflicts: 576000 | #Constraints: 94446
1208.56/1213.14 c INPROCESSING
1208.56/1213.14 c GARBAGE COLLECT
1208.56/1213.14 c rational objective 48
1232.09/1236.79 c #Conflicts: 577000 | #Constraints: 80415
1232.09/1236.79 c #Conflicts: 578000 | #Constraints: 81415
1232.09/1236.79 c #Conflicts: 579000 | #Constraints: 82415
1232.09/1236.79 c #Conflicts: 580000 | #Constraints: 83415
1232.09/1236.79 c #Conflicts: 581000 | #Constraints: 84415
1232.09/1236.79 c #Conflicts: 582000 | #Constraints: 85415
1232.09/1236.79 c #Conflicts: 583000 | #Constraints: 86415
1232.09/1236.79 c #Conflicts: 584000 | #Constraints: 87415
1232.09/1236.79 c #Conflicts: 585000 | #Constraints: 88415
1232.09/1236.79 c #Conflicts: 586000 | #Constraints: 89415
1232.09/1236.79 c #Conflicts: 587000 | #Constraints: 90415
1232.09/1236.79 c #Conflicts: 588000 | #Constraints: 91415
1232.09/1236.79 c #Conflicts: 589000 | #Constraints: 92415
1232.09/1236.79 c #Conflicts: 590000 | #Constraints: 93415
1232.09/1236.79 c #Conflicts: 591000 | #Constraints: 94415
1232.09/1236.79 c INPROCESSING
1232.09/1236.79 c GARBAGE COLLECT
1232.09/1236.79 c rational objective 48
1252.36/1257.04 c #Conflicts: 592000 | #Constraints: 80302
1252.36/1257.04 c #Conflicts: 593000 | #Constraints: 81302
1252.36/1257.04 c #Conflicts: 594000 | #Constraints: 82302
1252.36/1257.04 c #Conflicts: 595000 | #Constraints: 83302
1252.36/1257.04 c #Conflicts: 596000 | #Constraints: 84302
1252.36/1257.04 c #Conflicts: 597000 | #Constraints: 85302
1252.36/1257.04 c #Conflicts: 598000 | #Constraints: 86302
1252.36/1257.04 c #Conflicts: 599000 | #Constraints: 87302
1252.36/1257.04 c #Conflicts: 600000 | #Constraints: 88302
1252.36/1257.04 c #Conflicts: 601000 | #Constraints: 89302
1252.36/1257.04 c #Conflicts: 602000 | #Constraints: 90302
1252.36/1257.04 c #Conflicts: 603000 | #Constraints: 91302
1252.36/1257.04 c #Conflicts: 604000 | #Constraints: 92302
1252.36/1257.04 c #Conflicts: 605000 | #Constraints: 93302
1252.36/1257.04 c #Conflicts: 606000 | #Constraints: 94302
1252.36/1257.04 c #Conflicts: 607000 | #Constraints: 95302
1252.36/1257.04 c INPROCESSING
1252.36/1257.04 c GARBAGE COLLECT
1252.36/1257.04 c rational objective 48
1269.16/1279.64 c #Conflicts: 608000 | #Constraints: 80860
1269.16/1279.64 c #Conflicts: 609000 | #Constraints: 81860
1269.16/1279.64 c #Conflicts: 610000 | #Constraints: 82860
1269.16/1279.64 c #Conflicts: 611000 | #Constraints: 83860
1269.16/1279.64 c #Conflicts: 612000 | #Constraints: 84860
1269.16/1279.64 c #Conflicts: 613000 | #Constraints: 85860
1269.16/1279.64 c #Conflicts: 614000 | #Constraints: 86861
1269.16/1279.64 c #Conflicts: 615000 | #Constraints: 87861
1269.16/1279.64 c #Conflicts: 616000 | #Constraints: 88861
1269.16/1279.64 c #Conflicts: 617000 | #Constraints: 89861
1269.16/1279.64 c #Conflicts: 618000 | #Constraints: 90861
1269.16/1279.64 c #Conflicts: 619000 | #Constraints: 91861
1269.16/1279.64 c #Conflicts: 620000 | #Constraints: 92861
1269.16/1279.64 c #Conflicts: 621000 | #Constraints: 93861
1269.16/1279.64 c #Conflicts: 622000 | #Constraints: 94861
1269.16/1279.64 c #Conflicts: 623000 | #Constraints: 95861
1269.16/1279.64 c INPROCESSING
1269.16/1279.64 c GARBAGE COLLECT
1269.16/1279.64 c rational objective 48
1285.12/1295.64 c #Conflicts: 624000 | #Constraints: 81304
1285.12/1295.64 c #Conflicts: 625000 | #Constraints: 82304
1285.12/1295.64 c #Conflicts: 626000 | #Constraints: 83304
1285.12/1295.64 c #Conflicts: 627000 | #Constraints: 84304
1285.12/1295.64 c #Conflicts: 628000 | #Constraints: 85304
1285.12/1295.64 c #Conflicts: 629000 | #Constraints: 86304
1285.12/1295.64 c #Conflicts: 630000 | #Constraints: 87304
1285.12/1295.64 c #Conflicts: 631000 | #Constraints: 88304
1285.12/1295.64 c #Conflicts: 632000 | #Constraints: 89304
1285.12/1295.64 c #Conflicts: 633000 | #Constraints: 90304
1285.12/1295.64 c #Conflicts: 634000 | #Constraints: 91304
1285.12/1295.64 c #Conflicts: 635000 | #Constraints: 92304
1285.12/1295.64 c #Conflicts: 636000 | #Constraints: 93304
1285.12/1295.64 c #Conflicts: 637000 | #Constraints: 94304
1285.12/1295.64 c #Conflicts: 638000 | #Constraints: 95304
1285.12/1295.64 c #Conflicts: 639000 | #Constraints: 96304
1285.12/1295.64 c INPROCESSING
1285.12/1295.64 c GARBAGE COLLECT
1285.12/1295.64 c rational objective 48
1310.34/1320.97 c #Conflicts: 640000 | #Constraints: 81528
1310.34/1320.97 c #Conflicts: 641000 | #Constraints: 82528
1310.34/1320.97 c #Conflicts: 642000 | #Constraints: 83528
1310.34/1320.97 c #Conflicts: 643000 | #Constraints: 84528
1310.34/1320.97 c #Conflicts: 644000 | #Constraints: 85528
1310.34/1320.97 c #Conflicts: 645000 | #Constraints: 86528
1310.34/1320.97 c #Conflicts: 646000 | #Constraints: 87528
1310.34/1320.97 c #Conflicts: 647000 | #Constraints: 88528
1310.34/1320.97 c #Conflicts: 648000 | #Constraints: 89528
1310.34/1320.97 c #Conflicts: 649000 | #Constraints: 90528
1310.34/1320.97 c #Conflicts: 650000 | #Constraints: 91528
1310.34/1320.97 c #Conflicts: 651000 | #Constraints: 92528
1310.34/1320.97 c #Conflicts: 652000 | #Constraints: 93528
1310.34/1320.97 c #Conflicts: 653000 | #Constraints: 94528
1310.34/1320.97 c #Conflicts: 654000 | #Constraints: 95528
1310.34/1320.97 c #Conflicts: 655000 | #Constraints: 96528
1310.34/1320.97 c INPROCESSING
1310.34/1320.97 c GARBAGE COLLECT
1310.34/1320.97 c rational objective 48
1330.59/1341.25 c #Conflicts: 656000 | #Constraints: 81463
1330.59/1341.25 c #Conflicts: 657000 | #Constraints: 82463
1330.59/1341.25 c #Conflicts: 658000 | #Constraints: 83463
1330.59/1341.25 c #Conflicts: 659000 | #Constraints: 84463
1330.59/1341.25 c #Conflicts: 660000 | #Constraints: 85463
1330.59/1341.25 c #Conflicts: 661000 | #Constraints: 86463
1330.59/1341.25 c #Conflicts: 662000 | #Constraints: 87463
1330.59/1341.25 c #Conflicts: 663000 | #Constraints: 88463
1330.59/1341.25 c #Conflicts: 664000 | #Constraints: 89463
1330.59/1341.25 c #Conflicts: 665000 | #Constraints: 90463
1330.59/1341.25 c #Conflicts: 666000 | #Constraints: 91463
1330.59/1341.25 c #Conflicts: 667000 | #Constraints: 92463
1330.59/1341.25 c #Conflicts: 668000 | #Constraints: 93463
1330.59/1341.25 c #Conflicts: 669000 | #Constraints: 94463
1330.59/1341.25 c #Conflicts: 670000 | #Constraints: 95463
1330.59/1341.25 c #Conflicts: 671000 | #Constraints: 96463
1330.59/1341.25 c INPROCESSING
1330.59/1341.25 c GARBAGE COLLECT
1330.59/1341.25 c rational objective 48
1349.23/1359.99 c #Conflicts: 672000 | #Constraints: 81289
1349.23/1359.99 c #Conflicts: 673000 | #Constraints: 82289
1349.23/1359.99 c #Conflicts: 674000 | #Constraints: 83290
1349.23/1359.99 c #Conflicts: 675000 | #Constraints: 84290
1349.23/1359.99 c #Conflicts: 676000 | #Constraints: 85290
1349.23/1359.99 c #Conflicts: 677000 | #Constraints: 86291
1349.23/1359.99 c #Conflicts: 678000 | #Constraints: 87291
1349.23/1359.99 c #Conflicts: 679000 | #Constraints: 88291
1349.23/1359.99 c #Conflicts: 680000 | #Constraints: 89291
1349.23/1359.99 c #Conflicts: 681000 | #Constraints: 90291
1349.23/1359.99 c #Conflicts: 682000 | #Constraints: 91291
1349.23/1359.99 c #Conflicts: 683000 | #Constraints: 92291
1349.23/1359.99 c #Conflicts: 684000 | #Constraints: 93291
1349.23/1359.99 c #Conflicts: 685000 | #Constraints: 94291
1349.23/1359.99 c #Conflicts: 686000 | #Constraints: 95292
1349.23/1359.99 c #Conflicts: 687000 | #Constraints: 96292
1349.23/1359.99 c #Conflicts: 688000 | #Constraints: 97292
1349.23/1359.99 c INPROCESSING
1349.23/1359.99 c GARBAGE COLLECT
1349.23/1359.99 c rational objective 48
1373.47/1384.23 c #Conflicts: 689000 | #Constraints: 81916
1373.47/1384.23 c #Conflicts: 690000 | #Constraints: 82916
1373.47/1384.23 c #Conflicts: 691000 | #Constraints: 83916
1373.47/1384.23 c #Conflicts: 692000 | #Constraints: 84916
1373.47/1384.23 c #Conflicts: 693000 | #Constraints: 85916
1373.47/1384.23 c #Conflicts: 694000 | #Constraints: 86916
1373.47/1384.23 c #Conflicts: 695000 | #Constraints: 87916
1373.47/1384.23 c #Conflicts: 696000 | #Constraints: 88916
1373.47/1384.23 c #Conflicts: 697000 | #Constraints: 89916
1373.47/1384.23 c #Conflicts: 698000 | #Constraints: 90916
1373.47/1384.23 c #Conflicts: 699000 | #Constraints: 91916
1373.47/1384.23 c #Conflicts: 700000 | #Constraints: 92916
1373.47/1384.23 c #Conflicts: 701000 | #Constraints: 93916
1373.47/1384.23 c #Conflicts: 702000 | #Constraints: 94916
1373.47/1384.23 c #Conflicts: 703000 | #Constraints: 95916
1373.47/1384.23 c #Conflicts: 704000 | #Constraints: 96916
1373.47/1384.23 c #Conflicts: 705000 | #Constraints: 97916
1373.47/1384.23 c INPROCESSING
1373.47/1384.23 c GARBAGE COLLECT
1373.47/1384.23 c rational objective 48
1394.51/1405.37 c #Conflicts: 706000 | #Constraints: 82344
1394.51/1405.37 c #Conflicts: 707000 | #Constraints: 83344
1394.51/1405.37 c #Conflicts: 708000 | #Constraints: 84344
1394.51/1405.37 c #Conflicts: 709000 | #Constraints: 85344
1394.51/1405.37 c #Conflicts: 710000 | #Constraints: 86344
1394.51/1405.37 c #Conflicts: 711000 | #Constraints: 87344
1394.51/1405.37 c #Conflicts: 712000 | #Constraints: 88344
1394.51/1405.37 c #Conflicts: 713000 | #Constraints: 89344
1394.51/1405.37 c #Conflicts: 714000 | #Constraints: 90344
1394.51/1405.37 c #Conflicts: 715000 | #Constraints: 91344
1394.51/1405.37 c #Conflicts: 716000 | #Constraints: 92344
1394.51/1405.37 c #Conflicts: 717000 | #Constraints: 93344
1394.51/1405.37 c #Conflicts: 718000 | #Constraints: 94344
1394.51/1405.37 c #Conflicts: 719000 | #Constraints: 95344
1394.51/1405.37 c #Conflicts: 720000 | #Constraints: 96344
1394.51/1405.37 c #Conflicts: 721000 | #Constraints: 97344
1394.51/1405.37 c #Conflicts: 722000 | #Constraints: 98344
1394.51/1405.37 c INPROCESSING
1394.51/1405.37 c GARBAGE COLLECT
1394.51/1405.37 c rational objective 48
1416.45/1427.30 c #Conflicts: 723000 | #Constraints: 82501
1416.45/1427.30 c bounds 151 >= 49 @ 1405.2
1416.45/1427.34 c bounds 151 >= 50 @ 1405.23
1416.45/1427.35 c bounds 151 >= 51 @ 1405.24
1416.45/1427.36 c bounds 151 >= 52 @ 1405.25
1416.45/1427.37 c bounds 151 >= 53 @ 1405.26
1419.83/1430.76 c #Conflicts: 724000 | #Constraints: 83567
1419.83/1430.76 c #Conflicts: 725000 | #Constraints: 84567
1419.83/1430.76 c #Conflicts: 726000 | #Constraints: 85567
1419.83/1430.76 c #Conflicts: 727000 | #Constraints: 86567
1419.83/1430.76 c #Conflicts: 728000 | #Constraints: 87567
1419.83/1430.76 c #Conflicts: 729000 | #Constraints: 88567
1419.83/1430.76 c #Conflicts: 730000 | #Constraints: 89567
1419.83/1430.76 c bounds 151 >= 54 @ 1408.6
1472.49/1483.51 c #Conflicts: 731000 | #Constraints: 90585
1472.49/1483.51 c #Conflicts: 732000 | #Constraints: 91585
1472.49/1483.51 c #Conflicts: 733000 | #Constraints: 92585
1472.49/1483.51 c #Conflicts: 734000 | #Constraints: 93585
1472.49/1483.51 c #Conflicts: 735000 | #Constraints: 94585
1472.49/1483.51 c #Conflicts: 736000 | #Constraints: 95585
1472.49/1483.51 c #Conflicts: 737000 | #Constraints: 96585
1472.49/1483.51 c #Conflicts: 738000 | #Constraints: 97585
1472.49/1483.51 c #Conflicts: 739000 | #Constraints: 98585
1472.49/1483.51 c INPROCESSING
1472.49/1483.51 c GARBAGE COLLECT
1472.49/1483.51 c rational objective 54
1488.64/1499.74 c #Conflicts: 740000 | #Constraints: 82547
1488.64/1499.74 c #Conflicts: 741000 | #Constraints: 83547
1488.64/1499.74 c #Conflicts: 742000 | #Constraints: 84547
1488.64/1499.74 c #Conflicts: 743000 | #Constraints: 85547
1488.64/1499.74 c #Conflicts: 744000 | #Constraints: 86547
1488.64/1499.74 c #Conflicts: 745000 | #Constraints: 87547
1488.64/1499.74 c #Conflicts: 746000 | #Constraints: 88547
1488.64/1499.74 c #Conflicts: 747000 | #Constraints: 89547
1488.64/1499.74 c #Conflicts: 748000 | #Constraints: 90547
1488.64/1499.74 c #Conflicts: 749000 | #Constraints: 91547
1488.64/1499.74 c #Conflicts: 750000 | #Constraints: 92547
1488.64/1499.74 c #Conflicts: 751000 | #Constraints: 93547
1488.64/1499.74 c #Conflicts: 752000 | #Constraints: 94547
1488.64/1499.74 c #Conflicts: 753000 | #Constraints: 95547
1488.64/1499.74 c #Conflicts: 754000 | #Constraints: 96547
1488.64/1499.74 c #Conflicts: 755000 | #Constraints: 97547
1488.64/1499.74 c #Conflicts: 756000 | #Constraints: 98547
1488.64/1499.74 c INPROCESSING
1488.64/1499.74 c GARBAGE COLLECT
1488.64/1499.74 c rational objective 54
1512.07/1523.20 c #Conflicts: 757000 | #Constraints: 82336
1512.07/1523.20 c #Conflicts: 758000 | #Constraints: 83336
1512.07/1523.20 c #Conflicts: 759000 | #Constraints: 84336
1512.07/1523.20 c #Conflicts: 760000 | #Constraints: 85336
1512.07/1523.20 c #Conflicts: 761000 | #Constraints: 86336
1512.07/1523.20 c #Conflicts: 762000 | #Constraints: 87336
1512.07/1523.20 c #Conflicts: 763000 | #Constraints: 88336
1512.07/1523.20 c #Conflicts: 764000 | #Constraints: 89336
1512.07/1523.20 c #Conflicts: 765000 | #Constraints: 90336
1512.07/1523.20 c #Conflicts: 766000 | #Constraints: 91336
1512.07/1523.20 c #Conflicts: 767000 | #Constraints: 92336
1512.07/1523.20 c #Conflicts: 768000 | #Constraints: 93336
1512.07/1523.20 c #Conflicts: 769000 | #Constraints: 94336
1512.07/1523.20 c #Conflicts: 770000 | #Constraints: 95336
1512.07/1523.20 c #Conflicts: 771000 | #Constraints: 96336
1512.07/1523.20 c #Conflicts: 772000 | #Constraints: 97336
1512.07/1523.20 c #Conflicts: 773000 | #Constraints: 98336
1512.07/1523.20 c #Conflicts: 774000 | #Constraints: 99336
1512.07/1523.20 c INPROCESSING
1512.07/1523.20 c GARBAGE COLLECT
1512.07/1523.20 c rational objective 54
1526.85/1538.04 c #Conflicts: 775000 | #Constraints: 82934
1526.85/1538.04 c #Conflicts: 776000 | #Constraints: 83934
1526.85/1538.04 c #Conflicts: 777000 | #Constraints: 84934
1526.85/1538.04 c #Conflicts: 778000 | #Constraints: 85934
1526.85/1538.04 c #Conflicts: 779000 | #Constraints: 86934
1526.85/1538.04 c #Conflicts: 780000 | #Constraints: 87934
1526.85/1538.04 c #Conflicts: 781000 | #Constraints: 88934
1526.85/1538.04 c #Conflicts: 782000 | #Constraints: 89934
1526.85/1538.04 c #Conflicts: 783000 | #Constraints: 90934
1526.85/1538.04 c #Conflicts: 784000 | #Constraints: 91934
1526.85/1538.04 c #Conflicts: 785000 | #Constraints: 92934
1526.85/1538.04 c #Conflicts: 786000 | #Constraints: 93934
1526.85/1538.04 c #Conflicts: 787000 | #Constraints: 94934
1526.85/1538.04 c #Conflicts: 788000 | #Constraints: 95934
1526.85/1538.04 c #Conflicts: 789000 | #Constraints: 96935
1526.85/1538.04 c #Conflicts: 790000 | #Constraints: 97935
1526.85/1538.04 c #Conflicts: 791000 | #Constraints: 98935
1526.85/1538.04 c #Conflicts: 792000 | #Constraints: 99935
1526.85/1538.04 c INPROCESSING
1526.85/1538.04 c GARBAGE COLLECT
1526.85/1538.04 c rational objective 54
1527.24/1538.44 c bounds 151 >= 55 @ 1515.23
1555.05/1566.36 c #Conflicts: 793000 | #Constraints: 83358
1555.05/1566.36 c #Conflicts: 794000 | #Constraints: 84358
1555.05/1566.36 c #Conflicts: 795000 | #Constraints: 85358
1555.05/1566.36 c #Conflicts: 796000 | #Constraints: 86358
1555.05/1566.36 c #Conflicts: 797000 | #Constraints: 87358
1555.05/1566.36 c #Conflicts: 798000 | #Constraints: 88358
1555.05/1566.36 c #Conflicts: 799000 | #Constraints: 89358
1555.05/1566.36 c #Conflicts: 800000 | #Constraints: 90358
1555.05/1566.36 c #Conflicts: 801000 | #Constraints: 91358
1555.05/1566.36 c #Conflicts: 802000 | #Constraints: 92358
1555.05/1566.36 c #Conflicts: 803000 | #Constraints: 93358
1555.05/1566.36 c #Conflicts: 804000 | #Constraints: 94358
1555.05/1566.36 c #Conflicts: 805000 | #Constraints: 95358
1555.05/1566.36 c #Conflicts: 806000 | #Constraints: 96358
1555.05/1566.36 c #Conflicts: 807000 | #Constraints: 97358
1555.05/1566.36 c #Conflicts: 808000 | #Constraints: 98358
1555.05/1566.36 c #Conflicts: 809000 | #Constraints: 99358
1555.05/1566.36 c #Conflicts: 810000 | #Constraints: 100358
1555.05/1566.36 c INPROCESSING
1555.05/1566.36 c GARBAGE COLLECT
1555.05/1566.36 c rational objective 55
1574.49/1585.84 c #Conflicts: 811000 | #Constraints: 83528
1574.49/1585.84 c #Conflicts: 812000 | #Constraints: 84528
1574.49/1585.84 c #Conflicts: 813000 | #Constraints: 85528
1574.49/1585.84 c #Conflicts: 814000 | #Constraints: 86528
1574.49/1585.84 c #Conflicts: 815000 | #Constraints: 87528
1574.49/1585.84 c #Conflicts: 816000 | #Constraints: 88528
1574.49/1585.84 c #Conflicts: 817000 | #Constraints: 89528
1574.49/1585.84 c #Conflicts: 818000 | #Constraints: 90528
1574.49/1585.84 c #Conflicts: 819000 | #Constraints: 91528
1574.49/1585.84 c #Conflicts: 820000 | #Constraints: 92528
1574.49/1585.84 c #Conflicts: 821000 | #Constraints: 93528
1574.49/1585.84 c #Conflicts: 822000 | #Constraints: 94528
1574.49/1585.84 c #Conflicts: 823000 | #Constraints: 95528
1574.49/1585.84 c #Conflicts: 824000 | #Constraints: 96528
1574.49/1585.84 c #Conflicts: 825000 | #Constraints: 97529
1574.49/1585.84 c #Conflicts: 826000 | #Constraints: 98529
1574.49/1585.84 c #Conflicts: 827000 | #Constraints: 99529
1574.49/1585.84 c #Conflicts: 828000 | #Constraints: 100529
1574.49/1585.84 c INPROCESSING
1574.49/1585.84 c GARBAGE COLLECT
1574.49/1585.84 c rational objective 55
1588.77/1600.14 c #Conflicts: 829000 | #Constraints: 83584
1588.77/1600.14 c #Conflicts: 830000 | #Constraints: 84585
1588.77/1600.14 c #Conflicts: 831000 | #Constraints: 85585
1588.77/1600.14 c #Conflicts: 832000 | #Constraints: 86585
1588.77/1600.14 c #Conflicts: 833000 | #Constraints: 87585
1588.77/1600.14 c #Conflicts: 834000 | #Constraints: 88585
1588.77/1600.14 c #Conflicts: 835000 | #Constraints: 89585
1588.77/1600.14 c #Conflicts: 836000 | #Constraints: 90585
1588.77/1600.14 c #Conflicts: 837000 | #Constraints: 91585
1588.77/1600.14 c #Conflicts: 838000 | #Constraints: 92585
1588.77/1600.14 c #Conflicts: 839000 | #Constraints: 93585
1588.77/1600.14 c #Conflicts: 840000 | #Constraints: 94585
1588.77/1600.14 c #Conflicts: 841000 | #Constraints: 95586
1588.77/1600.14 c #Conflicts: 842000 | #Constraints: 96586
1588.77/1600.14 c #Conflicts: 843000 | #Constraints: 97586
1588.77/1600.14 c #Conflicts: 844000 | #Constraints: 98587
1588.77/1600.14 c #Conflicts: 845000 | #Constraints: 99587
1588.77/1600.14 c #Conflicts: 846000 | #Constraints: 100587
1588.77/1600.14 c INPROCESSING
1588.77/1600.14 c GARBAGE COLLECT
1588.77/1600.14 c rational objective 55
1607.21/1618.69 c #Conflicts: 847000 | #Constraints: 83409
1607.21/1618.69 c #Conflicts: 848000 | #Constraints: 84409
1607.21/1618.69 c #Conflicts: 849000 | #Constraints: 85409
1607.21/1618.69 c #Conflicts: 850000 | #Constraints: 86409
1607.21/1618.69 c #Conflicts: 851000 | #Constraints: 87409
1607.21/1618.69 c #Conflicts: 852000 | #Constraints: 88409
1607.21/1618.69 c #Conflicts: 853000 | #Constraints: 89409
1607.21/1618.69 c #Conflicts: 854000 | #Constraints: 90409
1607.21/1618.69 c #Conflicts: 855000 | #Constraints: 91409
1607.21/1618.69 c #Conflicts: 856000 | #Constraints: 92410
1607.21/1618.69 c #Conflicts: 857000 | #Constraints: 93410
1607.21/1618.69 c #Conflicts: 858000 | #Constraints: 94410
1607.21/1618.69 c #Conflicts: 859000 | #Constraints: 95410
1607.21/1618.69 c #Conflicts: 860000 | #Constraints: 96410
1607.21/1618.69 c #Conflicts: 861000 | #Constraints: 97410
1607.21/1618.69 c #Conflicts: 862000 | #Constraints: 98410
1607.21/1618.69 c #Conflicts: 863000 | #Constraints: 99410
1607.21/1618.69 c #Conflicts: 864000 | #Constraints: 100411
1607.21/1618.69 c #Conflicts: 865000 | #Constraints: 101411
1607.21/1618.69 c INPROCESSING
1607.21/1618.69 c GARBAGE COLLECT
1607.21/1618.69 c rational objective 55
1629.45/1640.94 c #Conflicts: 866000 | #Constraints: 84036
1629.45/1640.94 c #Conflicts: 867000 | #Constraints: 85036
1629.45/1640.94 c #Conflicts: 868000 | #Constraints: 86036
1629.45/1640.94 c #Conflicts: 869000 | #Constraints: 87036
1629.45/1640.94 c #Conflicts: 870000 | #Constraints: 88036
1629.45/1640.94 c #Conflicts: 871000 | #Constraints: 89036
1629.45/1640.94 c #Conflicts: 872000 | #Constraints: 90036
1629.45/1640.94 c #Conflicts: 873000 | #Constraints: 91036
1629.45/1640.94 c #Conflicts: 874000 | #Constraints: 92036
1629.45/1640.94 c #Conflicts: 875000 | #Constraints: 93036
1629.45/1640.94 c #Conflicts: 876000 | #Constraints: 94036
1629.45/1640.94 c #Conflicts: 877000 | #Constraints: 95036
1629.45/1640.94 c #Conflicts: 878000 | #Constraints: 96036
1629.45/1640.94 c #Conflicts: 879000 | #Constraints: 97036
1629.45/1640.94 c #Conflicts: 880000 | #Constraints: 98036
1629.45/1640.94 c #Conflicts: 881000 | #Constraints: 99036
1629.45/1640.94 c #Conflicts: 882000 | #Constraints: 100036
1629.45/1640.94 c #Conflicts: 883000 | #Constraints: 101036
1629.45/1640.94 c #Conflicts: 884000 | #Constraints: 102036
1629.45/1640.94 c INPROCESSING
1629.45/1640.94 c GARBAGE COLLECT
1629.45/1640.94 c rational objective 55
1669.23/1680.84 c #Conflicts: 885000 | #Constraints: 84402
1669.23/1680.84 c #Conflicts: 886000 | #Constraints: 85402
1669.23/1680.84 c #Conflicts: 887000 | #Constraints: 86402
1669.23/1680.84 c #Conflicts: 888000 | #Constraints: 87402
1669.23/1680.84 c #Conflicts: 889000 | #Constraints: 88402
1669.23/1680.84 c #Conflicts: 890000 | #Constraints: 89402
1669.23/1680.84 c #Conflicts: 891000 | #Constraints: 90402
1669.23/1680.84 c #Conflicts: 892000 | #Constraints: 91402
1669.23/1680.84 c #Conflicts: 893000 | #Constraints: 92402
1669.23/1680.84 c #Conflicts: 894000 | #Constraints: 93402
1669.23/1680.84 c #Conflicts: 895000 | #Constraints: 94402
1669.23/1680.84 c #Conflicts: 896000 | #Constraints: 95402
1669.23/1680.84 c #Conflicts: 897000 | #Constraints: 96402
1669.23/1680.84 c #Conflicts: 898000 | #Constraints: 97402
1669.23/1680.84 c #Conflicts: 899000 | #Constraints: 98402
1669.23/1680.84 c #Conflicts: 900000 | #Constraints: 99402
1669.23/1680.84 c #Conflicts: 901000 | #Constraints: 100402
1669.23/1680.84 c #Conflicts: 902000 | #Constraints: 101402
1669.23/1680.84 c #Conflicts: 903000 | #Constraints: 102402
1669.23/1680.84 c INPROCESSING
1669.23/1680.84 c GARBAGE COLLECT
1669.23/1680.84 c rational objective 55
1684.19/1695.86 c #Conflicts: 904000 | #Constraints: 84550
1684.19/1695.86 c #Conflicts: 905000 | #Constraints: 85550
1684.19/1695.86 c #Conflicts: 906000 | #Constraints: 86550
1684.19/1695.86 c #Conflicts: 907000 | #Constraints: 87550
1684.19/1695.86 c #Conflicts: 908000 | #Constraints: 88550
1684.19/1695.86 c #Conflicts: 909000 | #Constraints: 89550
1684.19/1695.86 c #Conflicts: 910000 | #Constraints: 90550
1684.19/1695.86 c #Conflicts: 911000 | #Constraints: 91550
1684.19/1695.86 c #Conflicts: 912000 | #Constraints: 92550
1684.19/1695.86 c #Conflicts: 913000 | #Constraints: 93550
1684.19/1695.86 c #Conflicts: 914000 | #Constraints: 94550
1684.19/1695.86 c #Conflicts: 915000 | #Constraints: 95550
1684.19/1695.86 c #Conflicts: 916000 | #Constraints: 96550
1684.19/1695.86 c #Conflicts: 917000 | #Constraints: 97550
1684.19/1695.86 c #Conflicts: 918000 | #Constraints: 98551
1684.19/1695.86 c #Conflicts: 919000 | #Constraints: 99551
1684.19/1695.86 c #Conflicts: 920000 | #Constraints: 100551
1684.19/1695.86 c #Conflicts: 921000 | #Constraints: 101551
1684.19/1695.86 c #Conflicts: 922000 | #Constraints: 102551
1684.19/1695.86 c INPROCESSING
1684.19/1695.86 c GARBAGE COLLECT
1684.19/1695.86 c rational objective 55
1705.35/1717.03 c #Conflicts: 923000 | #Constraints: 84590
1705.35/1717.03 c #Conflicts: 924000 | #Constraints: 85590
1705.35/1717.03 c #Conflicts: 925000 | #Constraints: 86590
1705.35/1717.03 c #Conflicts: 926000 | #Constraints: 87590
1705.35/1717.03 c #Conflicts: 927000 | #Constraints: 88590
1705.35/1717.03 c #Conflicts: 928000 | #Constraints: 89590
1705.35/1717.03 c #Conflicts: 929000 | #Constraints: 90590
1705.35/1717.03 c #Conflicts: 930000 | #Constraints: 91590
1705.35/1717.03 c #Conflicts: 931000 | #Constraints: 92590
1705.35/1717.03 c #Conflicts: 932000 | #Constraints: 93590
1705.35/1717.03 c #Conflicts: 933000 | #Constraints: 94590
1705.35/1717.03 c #Conflicts: 934000 | #Constraints: 95590
1705.35/1717.03 c #Conflicts: 935000 | #Constraints: 96590
1705.35/1717.03 c #Conflicts: 936000 | #Constraints: 97590
1705.35/1717.03 c #Conflicts: 937000 | #Constraints: 98590
1705.35/1717.03 c #Conflicts: 938000 | #Constraints: 99590
1705.35/1717.03 c #Conflicts: 939000 | #Constraints: 100590
1705.35/1717.03 c #Conflicts: 940000 | #Constraints: 101590
1705.35/1717.03 c #Conflicts: 941000 | #Constraints: 102590
1705.35/1717.03 c INPROCESSING
1705.35/1717.03 c GARBAGE COLLECT
1705.35/1717.03 c rational objective 55
1717.80/1729.55 c #Conflicts: 942000 | #Constraints: 84400
1717.80/1729.55 c #Conflicts: 943000 | #Constraints: 85400
1717.80/1729.55 c #Conflicts: 944000 | #Constraints: 86400
1717.80/1729.55 c #Conflicts: 945000 | #Constraints: 87400
1717.80/1729.55 c #Conflicts: 946000 | #Constraints: 88400
1717.80/1729.55 c #Conflicts: 947000 | #Constraints: 89400
1717.80/1729.55 c #Conflicts: 948000 | #Constraints: 90400
1717.80/1729.55 c #Conflicts: 949000 | #Constraints: 91400
1717.80/1729.55 c #Conflicts: 950000 | #Constraints: 92400
1717.80/1729.55 c #Conflicts: 951000 | #Constraints: 93400
1717.80/1729.55 c #Conflicts: 952000 | #Constraints: 94400
1717.80/1729.55 c #Conflicts: 953000 | #Constraints: 95400
1717.80/1729.55 c #Conflicts: 954000 | #Constraints: 96401
1717.80/1729.55 c #Conflicts: 955000 | #Constraints: 97402
1717.80/1729.55 c #Conflicts: 956000 | #Constraints: 98402
1717.80/1729.55 c #Conflicts: 957000 | #Constraints: 99402
1717.80/1729.55 c bounds 143 >= 55 @ 1703.99
1765.36/1777.20 c #Conflicts: 958000 | #Constraints: 100403
1765.36/1777.20 c #Conflicts: 959000 | #Constraints: 101404
1765.36/1777.20 c #Conflicts: 960000 | #Constraints: 102404
1765.36/1777.20 c #Conflicts: 961000 | #Constraints: 103404
1765.36/1777.20 c INPROCESSING
1765.36/1777.20 c GARBAGE COLLECT
1765.36/1777.20 c rational objective 55
1797.27/1809.29 c #Conflicts: 962000 | #Constraints: 84943
1797.27/1809.29 c #Conflicts: 963000 | #Constraints: 85943
1797.27/1809.29 c #Conflicts: 964000 | #Constraints: 86943
1797.27/1809.29 c #Conflicts: 965000 | #Constraints: 87943
1797.27/1809.29 c #Conflicts: 966000 | #Constraints: 88943
1797.27/1809.29 c #Conflicts: 967000 | #Constraints: 89943
1797.27/1809.29 c #Conflicts: 968000 | #Constraints: 90943
1797.27/1809.29 c #Conflicts: 969000 | #Constraints: 91943
1797.27/1809.29 c #Conflicts: 970000 | #Constraints: 92943
1797.27/1809.29 c #Conflicts: 971000 | #Constraints: 93943
1797.27/1809.29 c #Conflicts: 972000 | #Constraints: 94943
1797.27/1809.29 c #Conflicts: 973000 | #Constraints: 95943
1797.27/1809.29 c #Conflicts: 974000 | #Constraints: 96943
1797.27/1809.29 c #Conflicts: 975000 | #Constraints: 97943
1797.27/1809.29 c #Conflicts: 976000 | #Constraints: 98943
1797.27/1809.29 c #Conflicts: 977000 | #Constraints: 99943
1797.27/1809.29 c #Conflicts: 978000 | #Constraints: 100943
1797.27/1809.29 c #Conflicts: 979000 | #Constraints: 101943
1797.27/1809.29 c #Conflicts: 980000 | #Constraints: 102943
1797.27/1809.29 c #Conflicts: 981000 | #Constraints: 103943
1797.27/1809.29 c INPROCESSING
1797.27/1809.29 c GARBAGE COLLECT
1797.27/1809.29 c rational objective 55
1797.67/1809.68 c bounds 141 >= 55 @ 1783.58
1813.92/1825.91 c #Conflicts: 982000 | #Constraints: 85298
1813.92/1825.91 c #Conflicts: 983000 | #Constraints: 86298
1813.92/1825.91 c #Conflicts: 984000 | #Constraints: 87298
1813.92/1825.91 c #Conflicts: 985000 | #Constraints: 88298
1813.92/1825.91 c #Conflicts: 986000 | #Constraints: 89298
1813.92/1825.91 c #Conflicts: 987000 | #Constraints: 90298
1813.92/1825.91 c #Conflicts: 988000 | #Constraints: 91298
1813.92/1825.91 c #Conflicts: 989000 | #Constraints: 92298
1813.92/1825.91 c #Conflicts: 990000 | #Constraints: 93298
1813.92/1825.91 c #Conflicts: 991000 | #Constraints: 94298
1813.92/1825.91 c #Conflicts: 992000 | #Constraints: 95298
1813.92/1825.91 c #Conflicts: 993000 | #Constraints: 96298
1813.92/1825.91 c #Conflicts: 994000 | #Constraints: 97298
1813.92/1825.91 c #Conflicts: 995000 | #Constraints: 98298
1813.92/1825.91 c #Conflicts: 996000 | #Constraints: 99298
1813.92/1825.91 c #Conflicts: 997000 | #Constraints: 100298
1813.92/1825.91 c #Conflicts: 998000 | #Constraints: 101298
1813.92/1825.91 c #Conflicts: 999000 | #Constraints: 102298
1813.92/1825.91 c #Conflicts: 1000000 | #Constraints: 103298
1813.92/1825.91 c #Conflicts: 1001000 | #Constraints: 104298
1813.92/1825.91 c INPROCESSING
1813.92/1825.91 c GARBAGE COLLECT
1813.92/1825.91 c rational objective 55
1844.24/1856.30 c #Conflicts: 1002000 | #Constraints: 85533
1844.24/1856.30 c #Conflicts: 1003000 | #Constraints: 86533
1844.24/1856.30 c #Conflicts: 1004000 | #Constraints: 87533
1844.24/1856.30 c #Conflicts: 1005000 | #Constraints: 88533
1844.24/1856.30 c #Conflicts: 1006000 | #Constraints: 89533
1844.24/1856.30 c #Conflicts: 1007000 | #Constraints: 90533
1844.24/1856.30 c #Conflicts: 1008000 | #Constraints: 91533
1844.24/1856.30 c #Conflicts: 1009000 | #Constraints: 92533
1844.24/1856.30 c #Conflicts: 1010000 | #Constraints: 93533
1844.24/1856.30 c #Conflicts: 1011000 | #Constraints: 94533
1844.24/1856.30 c #Conflicts: 1012000 | #Constraints: 95533
1844.24/1856.30 c #Conflicts: 1013000 | #Constraints: 96533
1844.24/1856.30 c #Conflicts: 1014000 | #Constraints: 97533
1844.24/1856.30 c #Conflicts: 1015000 | #Constraints: 98533
1844.24/1856.30 c #Conflicts: 1016000 | #Constraints: 99533
1844.24/1856.30 c #Conflicts: 1017000 | #Constraints: 100533
1844.24/1856.30 c #Conflicts: 1018000 | #Constraints: 101533
1844.24/1856.30 c #Conflicts: 1019000 | #Constraints: 102533
1844.24/1856.30 c #Conflicts: 1020000 | #Constraints: 103533
1844.24/1856.30 c #Conflicts: 1021000 | #Constraints: 104533
1844.24/1856.30 c INPROCESSING
1844.24/1856.30 c GARBAGE COLLECT
1844.24/1856.30 c rational objective 55
1866.08/1878.20 c #Conflicts: 1022000 | #Constraints: 85543
1866.08/1878.20 c #Conflicts: 1023000 | #Constraints: 86543
1866.08/1878.20 c #Conflicts: 1024000 | #Constraints: 87543
1866.08/1878.20 c #Conflicts: 1025000 | #Constraints: 88543
1866.08/1878.20 c #Conflicts: 1026000 | #Constraints: 89543
1866.08/1878.20 c #Conflicts: 1027000 | #Constraints: 90543
1866.08/1878.20 c #Conflicts: 1028000 | #Constraints: 91543
1866.08/1878.20 c #Conflicts: 1029000 | #Constraints: 92543
1866.08/1878.20 c #Conflicts: 1030000 | #Constraints: 93543
1866.08/1878.20 c #Conflicts: 1031000 | #Constraints: 94543
1866.08/1878.20 c #Conflicts: 1032000 | #Constraints: 95543
1866.08/1878.20 c #Conflicts: 1033000 | #Constraints: 96543
1866.08/1878.20 c #Conflicts: 1034000 | #Constraints: 97543
1866.08/1878.20 c #Conflicts: 1035000 | #Constraints: 98543
1866.08/1878.20 c #Conflicts: 1036000 | #Constraints: 99543
1866.08/1878.20 c #Conflicts: 1037000 | #Constraints: 100543
1866.08/1878.20 c #Conflicts: 1038000 | #Constraints: 101543
1866.08/1878.20 c #Conflicts: 1039000 | #Constraints: 102543
1866.08/1878.20 c #Conflicts: 1040000 | #Constraints: 103543
1866.08/1878.20 c #Conflicts: 1041000 | #Constraints: 104543
1866.08/1878.20 c INPROCESSING
1866.08/1878.20 c GARBAGE COLLECT
1866.08/1878.20 c rational objective 55
1889.93/1902.14 c #Conflicts: 1042000 | #Constraints: 85305
1889.93/1902.14 c #Conflicts: 1043000 | #Constraints: 86305
1889.93/1902.14 c #Conflicts: 1044000 | #Constraints: 87305
1889.93/1902.14 c #Conflicts: 1045000 | #Constraints: 88305
1889.93/1902.14 c #Conflicts: 1046000 | #Constraints: 89305
1889.93/1902.14 c #Conflicts: 1047000 | #Constraints: 90305
1889.93/1902.14 c #Conflicts: 1048000 | #Constraints: 91305
1889.93/1902.14 c #Conflicts: 1049000 | #Constraints: 92305
1889.93/1902.14 c #Conflicts: 1050000 | #Constraints: 93305
1889.93/1902.14 c #Conflicts: 1051000 | #Constraints: 94305
1889.93/1902.14 c #Conflicts: 1052000 | #Constraints: 95305
1889.93/1902.14 c #Conflicts: 1053000 | #Constraints: 96305
1889.93/1902.14 c #Conflicts: 1054000 | #Constraints: 97305
1889.93/1902.14 c #Conflicts: 1055000 | #Constraints: 98305
1889.93/1902.14 c #Conflicts: 1056000 | #Constraints: 99305
1889.93/1902.14 c #Conflicts: 1057000 | #Constraints: 100306
1889.93/1902.14 c #Conflicts: 1058000 | #Constraints: 101306
1889.93/1902.14 c #Conflicts: 1059000 | #Constraints: 102307
1889.93/1902.14 c #Conflicts: 1060000 | #Constraints: 103307
1889.93/1902.14 c #Conflicts: 1061000 | #Constraints: 104308
1889.93/1902.14 c #Conflicts: 1062000 | #Constraints: 105308
1889.93/1902.14 c INPROCESSING
1889.93/1902.14 c GARBAGE COLLECT
1889.93/1902.14 c rational objective 55
1924.83/1937.15 c #Conflicts: 1063000 | #Constraints: 85906
1924.83/1937.15 c #Conflicts: 1064000 | #Constraints: 86906
1924.83/1937.15 c #Conflicts: 1065000 | #Constraints: 87906
1924.83/1937.15 c #Conflicts: 1066000 | #Constraints: 88906
1924.83/1937.15 c #Conflicts: 1067000 | #Constraints: 89906
1924.83/1937.15 c #Conflicts: 1068000 | #Constraints: 90906
1924.83/1937.15 c #Conflicts: 1069000 | #Constraints: 91906
1924.83/1937.15 c #Conflicts: 1070000 | #Constraints: 92906
1924.83/1937.15 c #Conflicts: 1071000 | #Constraints: 93906
1924.83/1937.15 c #Conflicts: 1072000 | #Constraints: 94906
1924.83/1937.15 c #Conflicts: 1073000 | #Constraints: 95906
1924.83/1937.15 c #Conflicts: 1074000 | #Constraints: 96906
1924.83/1937.15 c #Conflicts: 1075000 | #Constraints: 97906
1924.83/1937.15 c #Conflicts: 1076000 | #Constraints: 98906
1924.83/1937.15 c #Conflicts: 1077000 | #Constraints: 99906
1924.83/1937.15 c #Conflicts: 1078000 | #Constraints: 100906
1924.83/1937.15 c #Conflicts: 1079000 | #Constraints: 101906
1924.83/1937.15 c #Conflicts: 1080000 | #Constraints: 102906
1924.83/1937.15 c #Conflicts: 1081000 | #Constraints: 103906
1924.83/1937.15 c #Conflicts: 1082000 | #Constraints: 104906
1924.83/1937.15 c #Conflicts: 1083000 | #Constraints: 105906
1924.83/1937.15 c INPROCESSING
1924.83/1937.15 c GARBAGE COLLECT
1924.83/1937.15 c rational objective 55
1937.18/1949.55 c #Conflicts: 1084000 | #Constraints: 86263
1937.18/1949.55 c #Conflicts: 1085000 | #Constraints: 87263
1937.18/1949.55 c #Conflicts: 1086000 | #Constraints: 88263
1937.18/1949.55 c #Conflicts: 1087000 | #Constraints: 89263
1937.18/1949.55 c #Conflicts: 1088000 | #Constraints: 90263
1937.18/1949.55 c #Conflicts: 1089000 | #Constraints: 91263
1937.18/1949.55 c #Conflicts: 1090000 | #Constraints: 92263
1937.18/1949.55 c #Conflicts: 1091000 | #Constraints: 93263
1937.18/1949.55 c #Conflicts: 1092000 | #Constraints: 94263
1937.18/1949.55 c #Conflicts: 1093000 | #Constraints: 95263
1937.18/1949.55 c #Conflicts: 1094000 | #Constraints: 96263
1937.18/1949.55 c #Conflicts: 1095000 | #Constraints: 97263
1937.18/1949.55 c #Conflicts: 1096000 | #Constraints: 98263
1937.18/1949.55 c #Conflicts: 1097000 | #Constraints: 99264
1937.18/1949.55 c #Conflicts: 1098000 | #Constraints: 100264
1937.18/1949.55 c #Conflicts: 1099000 | #Constraints: 101265
1937.18/1949.55 c #Conflicts: 1100000 | #Constraints: 102266
1937.18/1949.55 c #Conflicts: 1101000 | #Constraints: 103266
1937.18/1949.55 c #Conflicts: 1102000 | #Constraints: 104266
1937.18/1949.55 c #Conflicts: 1103000 | #Constraints: 105266
1937.18/1949.55 c #Conflicts: 1104000 | #Constraints: 106266
1937.18/1949.55 c INPROCESSING
1937.18/1949.55 c GARBAGE COLLECT
1937.18/1949.55 c rational objective 55
1962.39/1974.87 c #Conflicts: 1105000 | #Constraints: 86587
1962.39/1974.87 c #Conflicts: 1106000 | #Constraints: 87587
1962.39/1974.87 c #Conflicts: 1107000 | #Constraints: 88587
1962.39/1974.87 c #Conflicts: 1108000 | #Constraints: 89587
1962.39/1974.87 c #Conflicts: 1109000 | #Constraints: 90587
1962.39/1974.87 c #Conflicts: 1110000 | #Constraints: 91587
1962.39/1974.87 c #Conflicts: 1111000 | #Constraints: 92587
1962.39/1974.87 c #Conflicts: 1112000 | #Constraints: 93587
1962.39/1974.87 c #Conflicts: 1113000 | #Constraints: 94587
1962.39/1974.87 c #Conflicts: 1114000 | #Constraints: 95587
1962.39/1974.87 c #Conflicts: 1115000 | #Constraints: 96587
1962.39/1974.87 c #Conflicts: 1116000 | #Constraints: 97587
1962.39/1974.87 c #Conflicts: 1117000 | #Constraints: 98587
1962.39/1974.87 c #Conflicts: 1118000 | #Constraints: 99587
1962.39/1974.87 c #Conflicts: 1119000 | #Constraints: 100587
1962.39/1974.87 c #Conflicts: 1120000 | #Constraints: 101588
1962.39/1974.87 c #Conflicts: 1121000 | #Constraints: 102589
1962.39/1974.87 c #Conflicts: 1122000 | #Constraints: 103589
1962.39/1974.87 c #Conflicts: 1123000 | #Constraints: 104590
1962.39/1974.87 c #Conflicts: 1124000 | #Constraints: 105590
1962.39/1974.87 c #Conflicts: 1125000 | #Constraints: 106590
1962.39/1974.87 c INPROCESSING
1962.39/1974.87 c GARBAGE COLLECT
1962.39/1974.87 c rational objective 55
1988.31/2000.82 c #Conflicts: 1126000 | #Constraints: 86597
1988.31/2000.82 c #Conflicts: 1127000 | #Constraints: 87597
1988.31/2000.82 c #Conflicts: 1128000 | #Constraints: 88597
1988.31/2000.82 c #Conflicts: 1129000 | #Constraints: 89597
1988.31/2000.82 c #Conflicts: 1130000 | #Constraints: 90597
1988.31/2000.82 c #Conflicts: 1131000 | #Constraints: 91597
1988.31/2000.82 c #Conflicts: 1132000 | #Constraints: 92597
1988.31/2000.82 c #Conflicts: 1133000 | #Constraints: 93597
1988.31/2000.82 c #Conflicts: 1134000 | #Constraints: 94597
1988.31/2000.82 c #Conflicts: 1135000 | #Constraints: 95597
1988.31/2000.82 c #Conflicts: 1136000 | #Constraints: 96597
1988.31/2000.82 c #Conflicts: 1137000 | #Constraints: 97597
1988.31/2000.82 c #Conflicts: 1138000 | #Constraints: 98597
1988.31/2000.82 c #Conflicts: 1139000 | #Constraints: 99597
1988.31/2000.82 c #Conflicts: 1140000 | #Constraints: 100597
1988.31/2000.82 c #Conflicts: 1141000 | #Constraints: 101597
1988.31/2000.82 c #Conflicts: 1142000 | #Constraints: 102598
1988.31/2000.82 c #Conflicts: 1143000 | #Constraints: 103598
1988.31/2000.82 c #Conflicts: 1144000 | #Constraints: 104598
1988.31/2000.82 c #Conflicts: 1145000 | #Constraints: 105598
1988.31/2000.82 c #Conflicts: 1146000 | #Constraints: 106598
1988.31/2000.82 c INPROCESSING
1988.31/2000.82 c GARBAGE COLLECT
1988.31/2000.82 c rational objective 55
2006.96/2020.11 c #Conflicts: 1147000 | #Constraints: 86400
2006.96/2020.11 c #Conflicts: 1148000 | #Constraints: 87400
2006.96/2020.11 c #Conflicts: 1149000 | #Constraints: 88400
2006.96/2020.11 c #Conflicts: 1150000 | #Constraints: 89401
2006.96/2020.11 c #Conflicts: 1151000 | #Constraints: 90401
2006.96/2020.11 c #Conflicts: 1152000 | #Constraints: 91401
2006.96/2020.11 c #Conflicts: 1153000 | #Constraints: 92401
2006.96/2020.11 c #Conflicts: 1154000 | #Constraints: 93401
2006.96/2020.11 c #Conflicts: 1155000 | #Constraints: 94401
2006.96/2020.11 c #Conflicts: 1156000 | #Constraints: 95401
2006.96/2020.11 c #Conflicts: 1157000 | #Constraints: 96401
2006.96/2020.11 c #Conflicts: 1158000 | #Constraints: 97401
2006.96/2020.11 c #Conflicts: 1159000 | #Constraints: 98401
2006.96/2020.11 c #Conflicts: 1160000 | #Constraints: 99401
2006.96/2020.11 c #Conflicts: 1161000 | #Constraints: 100401
2006.96/2020.11 c #Conflicts: 1162000 | #Constraints: 101401
2006.96/2020.11 c #Conflicts: 1163000 | #Constraints: 102401
2006.96/2020.11 c #Conflicts: 1164000 | #Constraints: 103401
2006.96/2020.11 c #Conflicts: 1165000 | #Constraints: 104401
2006.96/2020.11 c #Conflicts: 1166000 | #Constraints: 105401
2006.96/2020.11 c #Conflicts: 1167000 | #Constraints: 106402
2006.96/2020.11 c #Conflicts: 1168000 | #Constraints: 107402
2006.96/2020.11 c INPROCESSING
2006.96/2020.11 c GARBAGE COLLECT
2006.96/2020.11 c rational objective 55
2028.19/2041.30 c #Conflicts: 1169000 | #Constraints: 87035
2028.19/2041.30 c #Conflicts: 1170000 | #Constraints: 88035
2028.19/2041.30 c #Conflicts: 1171000 | #Constraints: 89036
2028.19/2041.30 c #Conflicts: 1172000 | #Constraints: 90036
2028.19/2041.30 c #Conflicts: 1173000 | #Constraints: 91036
2028.19/2041.30 c #Conflicts: 1174000 | #Constraints: 92036
2028.19/2041.30 c #Conflicts: 1175000 | #Constraints: 93036
2028.19/2041.30 c #Conflicts: 1176000 | #Constraints: 94036
2028.19/2041.30 c #Conflicts: 1177000 | #Constraints: 95037
2028.19/2041.30 c #Conflicts: 1178000 | #Constraints: 96037
2028.19/2041.30 c #Conflicts: 1179000 | #Constraints: 97037
2028.19/2041.30 c #Conflicts: 1180000 | #Constraints: 98037
2028.19/2041.30 c #Conflicts: 1181000 | #Constraints: 99037
2028.19/2041.30 c #Conflicts: 1182000 | #Constraints: 100037
2028.19/2041.30 c #Conflicts: 1183000 | #Constraints: 101037
2028.19/2041.30 c #Conflicts: 1184000 | #Constraints: 102037
2028.19/2041.30 c #Conflicts: 1185000 | #Constraints: 103037
2028.19/2041.30 c #Conflicts: 1186000 | #Constraints: 104037
2028.19/2041.30 c #Conflicts: 1187000 | #Constraints: 105037
2028.19/2041.30 c #Conflicts: 1188000 | #Constraints: 106037
2028.19/2041.30 c #Conflicts: 1189000 | #Constraints: 107037
2028.19/2041.30 c #Conflicts: 1190000 | #Constraints: 108038
2028.19/2041.30 c INPROCESSING
2028.19/2041.30 c GARBAGE COLLECT
2028.19/2041.30 c rational objective 55
2059.70/2072.95 c #Conflicts: 1191000 | #Constraints: 87444
2059.70/2072.95 c #Conflicts: 1192000 | #Constraints: 88445
2059.70/2072.95 c #Conflicts: 1193000 | #Constraints: 89445
2059.70/2072.95 c #Conflicts: 1194000 | #Constraints: 90445
2059.70/2072.95 c #Conflicts: 1195000 | #Constraints: 91445
2059.70/2072.95 c #Conflicts: 1196000 | #Constraints: 92445
2059.70/2072.95 c #Conflicts: 1197000 | #Constraints: 93445
2059.70/2072.95 c #Conflicts: 1198000 | #Constraints: 94445
2059.70/2072.95 c #Conflicts: 1199000 | #Constraints: 95445
2059.70/2072.95 c #Conflicts: 1200000 | #Constraints: 96445
2059.70/2072.95 c #Conflicts: 1201000 | #Constraints: 97445
2059.70/2072.95 c #Conflicts: 1202000 | #Constraints: 98445
2059.70/2072.95 c #Conflicts: 1203000 | #Constraints: 99445
2059.70/2072.95 c #Conflicts: 1204000 | #Constraints: 100445
2059.70/2072.95 c #Conflicts: 1205000 | #Constraints: 101445
2059.70/2072.95 c #Conflicts: 1206000 | #Constraints: 102445
2059.70/2072.95 c #Conflicts: 1207000 | #Constraints: 103445
2059.70/2072.95 c #Conflicts: 1208000 | #Constraints: 104445
2059.70/2072.95 c #Conflicts: 1209000 | #Constraints: 105445
2059.70/2072.95 c #Conflicts: 1210000 | #Constraints: 106445
2059.70/2072.95 c #Conflicts: 1211000 | #Constraints: 107445
2059.70/2072.95 c #Conflicts: 1212000 | #Constraints: 108445
2059.70/2072.95 c INPROCESSING
2059.70/2072.95 c GARBAGE COLLECT
2059.70/2072.95 c rational objective 55
2081.54/2094.87 c #Conflicts: 1213000 | #Constraints: 87594
2081.54/2094.87 c #Conflicts: 1214000 | #Constraints: 88594
2081.54/2094.87 c #Conflicts: 1215000 | #Constraints: 89594
2081.54/2094.87 c #Conflicts: 1216000 | #Constraints: 90594
2081.54/2094.87 c #Conflicts: 1217000 | #Constraints: 91594
2081.54/2094.87 c #Conflicts: 1218000 | #Constraints: 92594
2081.54/2094.87 c #Conflicts: 1219000 | #Constraints: 93594
2081.54/2094.87 c #Conflicts: 1220000 | #Constraints: 94594
2081.54/2094.87 c #Conflicts: 1221000 | #Constraints: 95594
2081.54/2094.87 c #Conflicts: 1222000 | #Constraints: 96594
2081.54/2094.87 c #Conflicts: 1223000 | #Constraints: 97594
2081.54/2094.87 c #Conflicts: 1224000 | #Constraints: 98594
2081.54/2094.87 c #Conflicts: 1225000 | #Constraints: 99594
2081.54/2094.87 c #Conflicts: 1226000 | #Constraints: 100594
2081.54/2094.87 c #Conflicts: 1227000 | #Constraints: 101594
2081.54/2094.87 c #Conflicts: 1228000 | #Constraints: 102595
2081.54/2094.87 c #Conflicts: 1229000 | #Constraints: 103597
2081.54/2094.87 c #Conflicts: 1230000 | #Constraints: 104597
2081.54/2094.87 c #Conflicts: 1231000 | #Constraints: 105597
2081.54/2094.87 c #Conflicts: 1232000 | #Constraints: 106598
2081.54/2094.87 c #Conflicts: 1233000 | #Constraints: 107598
2081.54/2094.87 c #Conflicts: 1234000 | #Constraints: 108598
2081.54/2094.87 c INPROCESSING
2081.54/2094.87 c GARBAGE COLLECT
2081.54/2094.87 c rational objective 55
2109.68/2123.02 c #Conflicts: 1235000 | #Constraints: 87607
2109.68/2123.02 c #Conflicts: 1236000 | #Constraints: 88607
2109.68/2123.02 c #Conflicts: 1237000 | #Constraints: 89607
2109.68/2123.02 c #Conflicts: 1238000 | #Constraints: 90607
2109.68/2123.02 c #Conflicts: 1239000 | #Constraints: 91607
2109.68/2123.02 c #Conflicts: 1240000 | #Constraints: 92607
2109.68/2123.02 c #Conflicts: 1241000 | #Constraints: 93607
2109.68/2123.02 c #Conflicts: 1242000 | #Constraints: 94607
2109.68/2123.02 c #Conflicts: 1243000 | #Constraints: 95607
2109.68/2123.02 c #Conflicts: 1244000 | #Constraints: 96607
2109.68/2123.02 c #Conflicts: 1245000 | #Constraints: 97607
2109.68/2123.02 c #Conflicts: 1246000 | #Constraints: 98607
2109.68/2123.02 c #Conflicts: 1247000 | #Constraints: 99607
2109.68/2123.02 c #Conflicts: 1248000 | #Constraints: 100607
2109.68/2123.02 c #Conflicts: 1249000 | #Constraints: 101607
2109.68/2123.02 c #Conflicts: 1250000 | #Constraints: 102607
2109.68/2123.02 c #Conflicts: 1251000 | #Constraints: 103607
2109.68/2123.02 c #Conflicts: 1252000 | #Constraints: 104607
2109.68/2123.02 c #Conflicts: 1253000 | #Constraints: 105607
2109.68/2123.02 c #Conflicts: 1254000 | #Constraints: 106607
2109.68/2123.02 c #Conflicts: 1255000 | #Constraints: 107607
2109.68/2123.02 c #Conflicts: 1256000 | #Constraints: 108607
2109.68/2123.02 c INPROCESSING
2109.68/2123.02 c GARBAGE COLLECT
2109.68/2123.02 c rational objective 55
2133.52/2148.28 c #Conflicts: 1257000 | #Constraints: 87405
2133.52/2148.28 c #Conflicts: 1258000 | #Constraints: 88405
2133.52/2148.28 c #Conflicts: 1259000 | #Constraints: 89406
2133.52/2148.28 c #Conflicts: 1260000 | #Constraints: 90406
2133.52/2148.28 c #Conflicts: 1261000 | #Constraints: 91406
2133.52/2148.28 c #Conflicts: 1262000 | #Constraints: 92406
2133.52/2148.28 c #Conflicts: 1263000 | #Constraints: 93406
2133.52/2148.28 c #Conflicts: 1264000 | #Constraints: 94406
2133.52/2148.28 c #Conflicts: 1265000 | #Constraints: 95406
2133.52/2148.28 c #Conflicts: 1266000 | #Constraints: 96406
2133.52/2148.28 c #Conflicts: 1267000 | #Constraints: 97406
2133.52/2148.28 c #Conflicts: 1268000 | #Constraints: 98406
2133.52/2148.28 c #Conflicts: 1269000 | #Constraints: 99406
2133.52/2148.28 c #Conflicts: 1270000 | #Constraints: 100406
2133.52/2148.28 c #Conflicts: 1271000 | #Constraints: 101407
2133.52/2148.28 c #Conflicts: 1272000 | #Constraints: 102407
2133.52/2148.28 c #Conflicts: 1273000 | #Constraints: 103407
2133.52/2148.28 c #Conflicts: 1274000 | #Constraints: 104407
2133.52/2148.28 c #Conflicts: 1275000 | #Constraints: 105407
2133.52/2148.28 c #Conflicts: 1276000 | #Constraints: 106408
2133.52/2148.28 c #Conflicts: 1277000 | #Constraints: 107409
2133.52/2148.28 c #Conflicts: 1278000 | #Constraints: 108409
2133.52/2148.28 c #Conflicts: 1279000 | #Constraints: 109409
2133.52/2148.28 c INPROCESSING
2133.52/2148.28 c GARBAGE COLLECT
2133.52/2148.28 c rational objective 55
2157.56/2172.30 c #Conflicts: 1280000 | #Constraints: 88017
2157.56/2172.30 c #Conflicts: 1281000 | #Constraints: 89017
2157.56/2172.30 c #Conflicts: 1282000 | #Constraints: 90017
2157.56/2172.30 c #Conflicts: 1283000 | #Constraints: 91017
2157.56/2172.30 c #Conflicts: 1284000 | #Constraints: 92017
2157.56/2172.30 c #Conflicts: 1285000 | #Constraints: 93017
2157.56/2172.30 c #Conflicts: 1286000 | #Constraints: 94017
2157.56/2172.30 c #Conflicts: 1287000 | #Constraints: 95017
2157.56/2172.30 c #Conflicts: 1288000 | #Constraints: 96017
2157.56/2172.30 c #Conflicts: 1289000 | #Constraints: 97017
2157.56/2172.30 c #Conflicts: 1290000 | #Constraints: 98017
2157.56/2172.30 c #Conflicts: 1291000 | #Constraints: 99017
2157.56/2172.30 c #Conflicts: 1292000 | #Constraints: 100017
2157.56/2172.30 c #Conflicts: 1293000 | #Constraints: 101017
2157.56/2172.30 c #Conflicts: 1294000 | #Constraints: 102017
2157.56/2172.30 c #Conflicts: 1295000 | #Constraints: 103017
2157.56/2172.30 c #Conflicts: 1296000 | #Constraints: 104017
2157.56/2172.30 c #Conflicts: 1297000 | #Constraints: 105017
2157.56/2172.30 c #Conflicts: 1298000 | #Constraints: 106017
2157.56/2172.30 c #Conflicts: 1299000 | #Constraints: 107017
2157.56/2172.30 c #Conflicts: 1300000 | #Constraints: 108017
2157.56/2172.30 c #Conflicts: 1301000 | #Constraints: 109017
2157.56/2172.30 c #Conflicts: 1302000 | #Constraints: 110017
2157.56/2172.30 c INPROCESSING
2157.56/2172.30 c GARBAGE COLLECT
2157.56/2172.30 c rational objective 55
2186.29/2201.11 c #Conflicts: 1303000 | #Constraints: 88428
2186.29/2201.11 c #Conflicts: 1304000 | #Constraints: 89428
2186.29/2201.11 c #Conflicts: 1305000 | #Constraints: 90428
2186.29/2201.11 c #Conflicts: 1306000 | #Constraints: 91428
2186.29/2201.11 c #Conflicts: 1307000 | #Constraints: 92428
2186.29/2201.11 c #Conflicts: 1308000 | #Constraints: 93428
2186.29/2201.11 c #Conflicts: 1309000 | #Constraints: 94428
2186.29/2201.11 c #Conflicts: 1310000 | #Constraints: 95428
2186.29/2201.11 c #Conflicts: 1311000 | #Constraints: 96428
2186.29/2201.11 c #Conflicts: 1312000 | #Constraints: 97428
2186.29/2201.11 c #Conflicts: 1313000 | #Constraints: 98428
2186.29/2201.11 c #Conflicts: 1314000 | #Constraints: 99428
2186.29/2201.11 c #Conflicts: 1315000 | #Constraints: 100428
2186.29/2201.11 c #Conflicts: 1316000 | #Constraints: 101428
2186.29/2201.11 c #Conflicts: 1317000 | #Constraints: 102428
2186.29/2201.11 c #Conflicts: 1318000 | #Constraints: 103428
2186.29/2201.11 c #Conflicts: 1319000 | #Constraints: 104428
2186.29/2201.11 c #Conflicts: 1320000 | #Constraints: 105428
2186.29/2201.11 c #Conflicts: 1321000 | #Constraints: 106428
2186.29/2201.11 c #Conflicts: 1322000 | #Constraints: 107428
2186.29/2201.11 c #Conflicts: 1323000 | #Constraints: 108428
2186.29/2201.11 c #Conflicts: 1324000 | #Constraints: 109428
2186.29/2201.11 c #Conflicts: 1325000 | #Constraints: 110428
2186.29/2201.11 c INPROCESSING
2186.29/2201.11 c GARBAGE COLLECT
2186.29/2201.11 c rational objective 55
2225.56/2240.56 c #Conflicts: 1326000 | #Constraints: 88648
2225.56/2240.56 c #Conflicts: 1327000 | #Constraints: 89648
2225.56/2240.56 c #Conflicts: 1328000 | #Constraints: 90648
2225.56/2240.56 c #Conflicts: 1329000 | #Constraints: 91648
2225.56/2240.56 c #Conflicts: 1330000 | #Constraints: 92648
2225.56/2240.56 c #Conflicts: 1331000 | #Constraints: 93648
2225.56/2240.56 c #Conflicts: 1332000 | #Constraints: 94648
2225.56/2240.56 c #Conflicts: 1333000 | #Constraints: 95648
2225.56/2240.56 c #Conflicts: 1334000 | #Constraints: 96648
2225.56/2240.56 c #Conflicts: 1335000 | #Constraints: 97648
2225.56/2240.56 c #Conflicts: 1336000 | #Constraints: 98648
2225.56/2240.56 c #Conflicts: 1337000 | #Constraints: 99648
2225.56/2240.56 c #Conflicts: 1338000 | #Constraints: 100648
2225.56/2240.56 c #Conflicts: 1339000 | #Constraints: 101648
2225.56/2240.56 c #Conflicts: 1340000 | #Constraints: 102648
2225.56/2240.56 c #Conflicts: 1341000 | #Constraints: 103648
2225.56/2240.56 c #Conflicts: 1342000 | #Constraints: 104648
2225.56/2240.56 c #Conflicts: 1343000 | #Constraints: 105648
2225.56/2240.56 c #Conflicts: 1344000 | #Constraints: 106648
2225.56/2240.56 c #Conflicts: 1345000 | #Constraints: 107649
2225.56/2240.56 c #Conflicts: 1346000 | #Constraints: 108649
2225.56/2240.56 c #Conflicts: 1347000 | #Constraints: 109649
2225.56/2240.56 c #Conflicts: 1348000 | #Constraints: 110653
2225.56/2240.56 c INPROCESSING
2225.56/2240.56 c GARBAGE COLLECT
2225.56/2240.56 c rational objective 55
2249.88/2264.95 c #Conflicts: 1349000 | #Constraints: 88625
2249.88/2264.95 c #Conflicts: 1350000 | #Constraints: 89625
2249.88/2264.95 c #Conflicts: 1351000 | #Constraints: 90625
2249.88/2264.95 c #Conflicts: 1352000 | #Constraints: 91625
2249.88/2264.95 c #Conflicts: 1353000 | #Constraints: 92625
2249.88/2264.95 c #Conflicts: 1354000 | #Constraints: 93625
2249.88/2264.95 c #Conflicts: 1355000 | #Constraints: 94625
2249.88/2264.95 c #Conflicts: 1356000 | #Constraints: 95626
2249.88/2264.95 c #Conflicts: 1357000 | #Constraints: 96627
2249.88/2264.95 c #Conflicts: 1358000 | #Constraints: 97627
2249.88/2264.95 c #Conflicts: 1359000 | #Constraints: 98628
2249.88/2264.95 c #Conflicts: 1360000 | #Constraints: 99628
2249.88/2264.95 c #Conflicts: 1361000 | #Constraints: 100628
2249.88/2264.95 c #Conflicts: 1362000 | #Constraints: 101628
2249.88/2264.95 c #Conflicts: 1363000 | #Constraints: 102628
2249.88/2264.95 c #Conflicts: 1364000 | #Constraints: 103628
2249.88/2264.95 c #Conflicts: 1365000 | #Constraints: 104628
2249.88/2264.95 c #Conflicts: 1366000 | #Constraints: 105628
2249.88/2264.95 c #Conflicts: 1367000 | #Constraints: 106628
2249.88/2264.95 c #Conflicts: 1368000 | #Constraints: 107628
2249.88/2264.95 c #Conflicts: 1369000 | #Constraints: 108628
2249.88/2264.95 c #Conflicts: 1370000 | #Constraints: 109628
2249.88/2264.95 c #Conflicts: 1371000 | #Constraints: 110628
2249.88/2264.95 c INPROCESSING
2249.88/2264.95 c GARBAGE COLLECT
2249.88/2264.95 c rational objective 55
2281.19/2296.35 c #Conflicts: 1372000 | #Constraints: 88469
2281.19/2296.35 c #Conflicts: 1373000 | #Constraints: 89469
2281.19/2296.35 c #Conflicts: 1374000 | #Constraints: 90469
2281.19/2296.35 c #Conflicts: 1375000 | #Constraints: 91469
2281.19/2296.35 c #Conflicts: 1376000 | #Constraints: 92469
2281.19/2296.35 c #Conflicts: 1377000 | #Constraints: 93469
2281.19/2296.35 c #Conflicts: 1378000 | #Constraints: 94469
2281.19/2296.35 c #Conflicts: 1379000 | #Constraints: 95469
2281.19/2296.35 c #Conflicts: 1380000 | #Constraints: 96469
2281.19/2296.35 c #Conflicts: 1381000 | #Constraints: 97469
2281.19/2296.35 c #Conflicts: 1382000 | #Constraints: 98469
2281.19/2296.35 c #Conflicts: 1383000 | #Constraints: 99469
2281.19/2296.35 c #Conflicts: 1384000 | #Constraints: 100469
2281.19/2296.35 c #Conflicts: 1385000 | #Constraints: 101469
2281.19/2296.35 c #Conflicts: 1386000 | #Constraints: 102469
2281.19/2296.35 c #Conflicts: 1387000 | #Constraints: 103469
2281.19/2296.35 c #Conflicts: 1388000 | #Constraints: 104469
2281.19/2296.35 c #Conflicts: 1389000 | #Constraints: 105469
2281.19/2296.35 c #Conflicts: 1390000 | #Constraints: 106469
2281.19/2296.35 c #Conflicts: 1391000 | #Constraints: 107469
2281.19/2296.35 c #Conflicts: 1392000 | #Constraints: 108469
2281.19/2296.35 c #Conflicts: 1393000 | #Constraints: 109469
2281.19/2296.35 c #Conflicts: 1394000 | #Constraints: 110469
2281.19/2296.35 c #Conflicts: 1395000 | #Constraints: 111469
2281.19/2296.35 c INPROCESSING
2281.19/2296.35 c GARBAGE COLLECT
2281.19/2296.35 c rational objective 55
2304.84/2320.02 c #Conflicts: 1396000 | #Constraints: 89033
2304.84/2320.02 c #Conflicts: 1397000 | #Constraints: 90033
2304.84/2320.02 c #Conflicts: 1398000 | #Constraints: 91033
2304.84/2320.02 c #Conflicts: 1399000 | #Constraints: 92033
2304.84/2320.02 c #Conflicts: 1400000 | #Constraints: 93033
2304.84/2320.02 c #Conflicts: 1401000 | #Constraints: 94033
2304.84/2320.02 c #Conflicts: 1402000 | #Constraints: 95033
2304.84/2320.02 c #Conflicts: 1403000 | #Constraints: 96033
2304.84/2320.02 c #Conflicts: 1404000 | #Constraints: 97033
2304.84/2320.02 c #Conflicts: 1405000 | #Constraints: 98033
2304.84/2320.02 c #Conflicts: 1406000 | #Constraints: 99033
2304.84/2320.02 c #Conflicts: 1407000 | #Constraints: 100033
2304.84/2320.02 c #Conflicts: 1408000 | #Constraints: 101033
2304.84/2320.02 c #Conflicts: 1409000 | #Constraints: 102033
2304.84/2320.02 c #Conflicts: 1410000 | #Constraints: 103033
2304.84/2320.02 c #Conflicts: 1411000 | #Constraints: 104033
2304.84/2320.02 c #Conflicts: 1412000 | #Constraints: 105033
2304.84/2320.02 c #Conflicts: 1413000 | #Constraints: 106033
2304.84/2320.02 c #Conflicts: 1414000 | #Constraints: 107033
2304.84/2320.02 c #Conflicts: 1415000 | #Constraints: 108033
2304.84/2320.02 c #Conflicts: 1416000 | #Constraints: 109033
2304.84/2320.02 c #Conflicts: 1417000 | #Constraints: 110033
2304.84/2320.02 c #Conflicts: 1418000 | #Constraints: 111034
2304.84/2320.02 c #Conflicts: 1419000 | #Constraints: 112034
2304.84/2320.02 c INPROCESSING
2304.84/2320.02 c GARBAGE COLLECT
2304.84/2320.02 c rational objective 55
2331.65/2346.98 c #Conflicts: 1420000 | #Constraints: 89450
2331.65/2346.98 c #Conflicts: 1421000 | #Constraints: 90450
2331.65/2346.98 c #Conflicts: 1422000 | #Constraints: 91450
2331.65/2346.98 c #Conflicts: 1423000 | #Constraints: 92450
2331.65/2346.98 c #Conflicts: 1424000 | #Constraints: 93450
2331.65/2346.98 c #Conflicts: 1425000 | #Constraints: 94450
2331.65/2346.98 c #Conflicts: 1426000 | #Constraints: 95450
2331.65/2346.98 c #Conflicts: 1427000 | #Constraints: 96450
2331.65/2346.98 c #Conflicts: 1428000 | #Constraints: 97450
2331.65/2346.98 c #Conflicts: 1429000 | #Constraints: 98450
2331.65/2346.98 c #Conflicts: 1430000 | #Constraints: 99450
2331.65/2346.98 c #Conflicts: 1431000 | #Constraints: 100450
2331.65/2346.98 c #Conflicts: 1432000 | #Constraints: 101450
2331.65/2346.98 c #Conflicts: 1433000 | #Constraints: 102450
2331.65/2346.98 c #Conflicts: 1434000 | #Constraints: 103450
2331.65/2346.98 c #Conflicts: 1435000 | #Constraints: 104450
2331.65/2346.98 c #Conflicts: 1436000 | #Constraints: 105450
2331.65/2346.98 c #Conflicts: 1437000 | #Constraints: 106450
2331.65/2346.98 c #Conflicts: 1438000 | #Constraints: 107450
2331.65/2346.98 c #Conflicts: 1439000 | #Constraints: 108450
2331.65/2346.98 c #Conflicts: 1440000 | #Constraints: 109450
2331.65/2346.98 c #Conflicts: 1441000 | #Constraints: 110450
2331.65/2346.98 c #Conflicts: 1442000 | #Constraints: 111450
2331.65/2346.98 c #Conflicts: 1443000 | #Constraints: 112450
2331.65/2346.98 c INPROCESSING
2331.65/2346.98 c GARBAGE COLLECT
2331.65/2346.98 c rational objective 55
2357.45/2376.38 c #Conflicts: 1444000 | #Constraints: 89662
2357.45/2376.38 c #Conflicts: 1445000 | #Constraints: 90662
2357.45/2376.38 c #Conflicts: 1446000 | #Constraints: 91662
2357.45/2376.38 c #Conflicts: 1447000 | #Constraints: 92662
2357.45/2376.38 c #Conflicts: 1448000 | #Constraints: 93662
2357.45/2376.38 c #Conflicts: 1449000 | #Constraints: 94663
2357.45/2376.38 c #Conflicts: 1450000 | #Constraints: 95663
2357.45/2376.38 c #Conflicts: 1451000 | #Constraints: 96663
2357.45/2376.38 c #Conflicts: 1452000 | #Constraints: 97663
2357.45/2376.38 c #Conflicts: 1453000 | #Constraints: 98663
2357.45/2376.38 c #Conflicts: 1454000 | #Constraints: 99663
2357.45/2376.38 c #Conflicts: 1455000 | #Constraints: 100663
2357.45/2376.38 c #Conflicts: 1456000 | #Constraints: 101663
2357.45/2376.38 c #Conflicts: 1457000 | #Constraints: 102663
2357.45/2376.38 c #Conflicts: 1458000 | #Constraints: 103663
2357.45/2376.38 c #Conflicts: 1459000 | #Constraints: 104664
2357.45/2376.38 c #Conflicts: 1460000 | #Constraints: 105664
2357.45/2376.38 c #Conflicts: 1461000 | #Constraints: 106664
2357.45/2376.38 c #Conflicts: 1462000 | #Constraints: 107664
2357.45/2376.38 c #Conflicts: 1463000 | #Constraints: 108664
2357.45/2376.38 c #Conflicts: 1464000 | #Constraints: 109664
2357.45/2376.38 c #Conflicts: 1465000 | #Constraints: 110664
2357.45/2376.38 c #Conflicts: 1466000 | #Constraints: 111664
2357.45/2376.38 c #Conflicts: 1467000 | #Constraints: 112665
2357.45/2376.38 c INPROCESSING
2357.45/2376.38 c GARBAGE COLLECT
2357.45/2376.38 c rational objective 55
2389.08/2408.03 c #Conflicts: 1468000 | #Constraints: 89666
2389.08/2408.03 c #Conflicts: 1469000 | #Constraints: 90666
2389.08/2408.03 c #Conflicts: 1470000 | #Constraints: 91666
2389.08/2408.03 c #Conflicts: 1471000 | #Constraints: 92666
2389.08/2408.03 c #Conflicts: 1472000 | #Constraints: 93666
2389.08/2408.03 c #Conflicts: 1473000 | #Constraints: 94666
2389.08/2408.03 c #Conflicts: 1474000 | #Constraints: 95666
2389.08/2408.03 c #Conflicts: 1475000 | #Constraints: 96666
2389.08/2408.03 c #Conflicts: 1476000 | #Constraints: 97666
2389.08/2408.03 c #Conflicts: 1477000 | #Constraints: 98666
2389.08/2408.03 c #Conflicts: 1478000 | #Constraints: 99666
2389.08/2408.03 c #Conflicts: 1479000 | #Constraints: 100666
2389.08/2408.03 c #Conflicts: 1480000 | #Constraints: 101666
2389.08/2408.03 c #Conflicts: 1481000 | #Constraints: 102666
2389.08/2408.03 c #Conflicts: 1482000 | #Constraints: 103666
2389.08/2408.03 c #Conflicts: 1483000 | #Constraints: 104666
2389.08/2408.03 c #Conflicts: 1484000 | #Constraints: 105666
2389.08/2408.03 c #Conflicts: 1485000 | #Constraints: 106666
2389.08/2408.03 c #Conflicts: 1486000 | #Constraints: 107666
2389.08/2408.03 c #Conflicts: 1487000 | #Constraints: 108666
2389.08/2408.03 c #Conflicts: 1488000 | #Constraints: 109666
2389.08/2408.03 c #Conflicts: 1489000 | #Constraints: 110666
2389.08/2408.03 c #Conflicts: 1490000 | #Constraints: 111666
2389.08/2408.03 c #Conflicts: 1491000 | #Constraints: 112666
2389.08/2408.03 c INPROCESSING
2389.08/2408.03 c GARBAGE COLLECT
2389.08/2408.03 c rational objective 55
2406.13/2425.16 c #Conflicts: 1492000 | #Constraints: 89487
2406.13/2425.16 c #Conflicts: 1493000 | #Constraints: 90487
2406.13/2425.16 c #Conflicts: 1494000 | #Constraints: 91487
2406.13/2425.16 c #Conflicts: 1495000 | #Constraints: 92487
2406.13/2425.16 c #Conflicts: 1496000 | #Constraints: 93487
2406.13/2425.16 c #Conflicts: 1497000 | #Constraints: 94487
2406.13/2425.16 c #Conflicts: 1498000 | #Constraints: 95487
2406.13/2425.16 c #Conflicts: 1499000 | #Constraints: 96487
2406.13/2425.16 c #Conflicts: 1500000 | #Constraints: 97487
2406.13/2425.16 c #Conflicts: 1501000 | #Constraints: 98487
2406.13/2425.16 c #Conflicts: 1502000 | #Constraints: 99487
2406.13/2425.16 c #Conflicts: 1503000 | #Constraints: 100487
2406.13/2425.16 c #Conflicts: 1504000 | #Constraints: 101487
2406.13/2425.16 c #Conflicts: 1505000 | #Constraints: 102487
2406.13/2425.16 c #Conflicts: 1506000 | #Constraints: 103487
2406.13/2425.16 c #Conflicts: 1507000 | #Constraints: 104487
2406.13/2425.16 c #Conflicts: 1508000 | #Constraints: 105487
2406.13/2425.16 c #Conflicts: 1509000 | #Constraints: 106487
2406.13/2425.16 c #Conflicts: 1510000 | #Constraints: 107487
2406.13/2425.16 c #Conflicts: 1511000 | #Constraints: 108487
2406.13/2425.16 c #Conflicts: 1512000 | #Constraints: 109487
2406.13/2425.16 c #Conflicts: 1513000 | #Constraints: 110487
2406.13/2425.16 c #Conflicts: 1514000 | #Constraints: 111487
2406.13/2425.16 c #Conflicts: 1515000 | #Constraints: 112487
2406.13/2425.16 c #Conflicts: 1516000 | #Constraints: 113487
2406.13/2425.16 c INPROCESSING
2406.13/2425.16 c GARBAGE COLLECT
2406.13/2425.16 c rational objective 55
2446.07/2468.14 c #Conflicts: 1517000 | #Constraints: 90079
2446.07/2468.14 c #Conflicts: 1518000 | #Constraints: 91079
2446.07/2468.14 c #Conflicts: 1519000 | #Constraints: 92079
2446.07/2468.14 c #Conflicts: 1520000 | #Constraints: 93079
2446.07/2468.14 c #Conflicts: 1521000 | #Constraints: 94079
2446.07/2468.14 c #Conflicts: 1522000 | #Constraints: 95079
2446.07/2468.14 c #Conflicts: 1523000 | #Constraints: 96079
2446.07/2468.14 c #Conflicts: 1524000 | #Constraints: 97079
2446.07/2468.14 c #Conflicts: 1525000 | #Constraints: 98079
2446.07/2468.14 c #Conflicts: 1526000 | #Constraints: 99079
2446.07/2468.14 c #Conflicts: 1527000 | #Constraints: 100079
2446.07/2468.14 c #Conflicts: 1528000 | #Constraints: 101079
2446.07/2468.14 c #Conflicts: 1529000 | #Constraints: 102079
2446.07/2468.14 c #Conflicts: 1530000 | #Constraints: 103079
2446.07/2468.14 c #Conflicts: 1531000 | #Constraints: 104079
2446.07/2468.14 c #Conflicts: 1532000 | #Constraints: 105079
2446.07/2468.14 c #Conflicts: 1533000 | #Constraints: 106079
2446.07/2468.14 c #Conflicts: 1534000 | #Constraints: 107079
2446.07/2468.14 c #Conflicts: 1535000 | #Constraints: 108080
2446.07/2468.14 c #Conflicts: 1536000 | #Constraints: 109080
2446.07/2468.14 c #Conflicts: 1537000 | #Constraints: 110080
2446.07/2468.14 c #Conflicts: 1538000 | #Constraints: 111080
2446.07/2468.14 c #Conflicts: 1539000 | #Constraints: 112080
2446.07/2468.14 c #Conflicts: 1540000 | #Constraints: 113080
2446.07/2468.14 c #Conflicts: 1541000 | #Constraints: 114080
2446.07/2468.14 c INPROCESSING
2446.07/2468.14 c GARBAGE COLLECT
2446.07/2468.14 c rational objective 55
2467.21/2489.35 c #Conflicts: 1542000 | #Constraints: 90445
2467.21/2489.35 c #Conflicts: 1543000 | #Constraints: 91445
2467.21/2489.35 c #Conflicts: 1544000 | #Constraints: 92445
2467.21/2489.35 c #Conflicts: 1545000 | #Constraints: 93445
2467.21/2489.35 c #Conflicts: 1546000 | #Constraints: 94445
2467.21/2489.35 c #Conflicts: 1547000 | #Constraints: 95445
2467.21/2489.35 c #Conflicts: 1548000 | #Constraints: 96445
2467.21/2489.35 c #Conflicts: 1549000 | #Constraints: 97445
2467.21/2489.35 c #Conflicts: 1550000 | #Constraints: 98445
2467.21/2489.35 c #Conflicts: 1551000 | #Constraints: 99445
2467.21/2489.35 c #Conflicts: 1552000 | #Constraints: 100445
2467.21/2489.35 c #Conflicts: 1553000 | #Constraints: 101445
2467.21/2489.35 c #Conflicts: 1554000 | #Constraints: 102445
2467.21/2489.35 c #Conflicts: 1555000 | #Constraints: 103446
2467.21/2489.35 c #Conflicts: 1556000 | #Constraints: 104446
2467.21/2489.35 c #Conflicts: 1557000 | #Constraints: 105446
2467.21/2489.35 c #Conflicts: 1558000 | #Constraints: 106448
2467.21/2489.35 c #Conflicts: 1559000 | #Constraints: 107448
2467.21/2489.35 c #Conflicts: 1560000 | #Constraints: 108449
2467.21/2489.35 c #Conflicts: 1561000 | #Constraints: 109452
2467.21/2489.35 c #Conflicts: 1562000 | #Constraints: 110453
2467.21/2489.35 c #Conflicts: 1563000 | #Constraints: 111453
2467.21/2489.35 c #Conflicts: 1564000 | #Constraints: 112454
2467.21/2489.35 c #Conflicts: 1565000 | #Constraints: 113454
2467.21/2489.35 c #Conflicts: 1566000 | #Constraints: 114454
2467.21/2489.35 c INPROCESSING
2467.21/2489.35 c GARBAGE COLLECT
2467.21/2489.35 c rational objective 55
2491.44/2513.68 c #Conflicts: 1567000 | #Constraints: 90637
2491.44/2513.68 c #Conflicts: 1568000 | #Constraints: 91637
2491.44/2513.68 c #Conflicts: 1569000 | #Constraints: 92637
2491.44/2513.68 c #Conflicts: 1570000 | #Constraints: 93637
2491.44/2513.68 c #Conflicts: 1571000 | #Constraints: 94637
2491.44/2513.68 c #Conflicts: 1572000 | #Constraints: 95637
2491.44/2513.68 c #Conflicts: 1573000 | #Constraints: 96637
2491.44/2513.68 c #Conflicts: 1574000 | #Constraints: 97637
2491.44/2513.68 c #Conflicts: 1575000 | #Constraints: 98637
2491.44/2513.68 c #Conflicts: 1576000 | #Constraints: 99637
2491.44/2513.68 c #Conflicts: 1577000 | #Constraints: 100637
2491.44/2513.68 c #Conflicts: 1578000 | #Constraints: 101637
2491.44/2513.68 c #Conflicts: 1579000 | #Constraints: 102637
2491.44/2513.68 c #Conflicts: 1580000 | #Constraints: 103637
2491.44/2513.68 c #Conflicts: 1581000 | #Constraints: 104637
2491.44/2513.68 c #Conflicts: 1582000 | #Constraints: 105637
2491.44/2513.68 c #Conflicts: 1583000 | #Constraints: 106637
2491.44/2513.68 c #Conflicts: 1584000 | #Constraints: 107637
2491.44/2513.68 c #Conflicts: 1585000 | #Constraints: 108637
2491.44/2513.68 c #Conflicts: 1586000 | #Constraints: 109637
2491.44/2513.68 c #Conflicts: 1587000 | #Constraints: 110637
2491.44/2513.68 c #Conflicts: 1588000 | #Constraints: 111637
2491.44/2513.68 c #Conflicts: 1589000 | #Constraints: 112637
2491.44/2513.68 c #Conflicts: 1590000 | #Constraints: 113637
2491.44/2513.68 c #Conflicts: 1591000 | #Constraints: 114637
2491.44/2513.68 c INPROCESSING
2491.44/2513.68 c GARBAGE COLLECT
2491.44/2513.68 c rational objective 55
2534.23/2556.55 c #Conflicts: 1592000 | #Constraints: 90673
2534.23/2556.55 c #Conflicts: 1593000 | #Constraints: 91673
2534.23/2556.55 c #Conflicts: 1594000 | #Constraints: 92673
2534.23/2556.55 c #Conflicts: 1595000 | #Constraints: 93673
2534.23/2556.55 c #Conflicts: 1596000 | #Constraints: 94673
2534.23/2556.55 c #Conflicts: 1597000 | #Constraints: 95673
2534.23/2556.55 c #Conflicts: 1598000 | #Constraints: 96673
2534.23/2556.55 c #Conflicts: 1599000 | #Constraints: 97673
2534.23/2556.55 c #Conflicts: 1600000 | #Constraints: 98673
2534.23/2556.55 c #Conflicts: 1601000 | #Constraints: 99673
2534.23/2556.55 c #Conflicts: 1602000 | #Constraints: 100673
2534.23/2556.55 c #Conflicts: 1603000 | #Constraints: 101673
2534.23/2556.55 c #Conflicts: 1604000 | #Constraints: 102673
2534.23/2556.55 c #Conflicts: 1605000 | #Constraints: 103673
2534.23/2556.55 c #Conflicts: 1606000 | #Constraints: 104673
2534.23/2556.55 c #Conflicts: 1607000 | #Constraints: 105673
2534.23/2556.55 c #Conflicts: 1608000 | #Constraints: 106673
2534.23/2556.55 c #Conflicts: 1609000 | #Constraints: 107673
2534.23/2556.55 c #Conflicts: 1610000 | #Constraints: 108673
2534.23/2556.55 c #Conflicts: 1611000 | #Constraints: 109673
2534.23/2556.55 c #Conflicts: 1612000 | #Constraints: 110673
2534.23/2556.55 c #Conflicts: 1613000 | #Constraints: 111673
2534.23/2556.55 c #Conflicts: 1614000 | #Constraints: 112673
2534.23/2556.55 c #Conflicts: 1615000 | #Constraints: 113673
2534.23/2556.55 c #Conflicts: 1616000 | #Constraints: 114673
2534.23/2556.55 c INPROCESSING
2534.23/2556.55 c GARBAGE COLLECT
2534.23/2556.55 c rational objective 55
2557.57/2579.96 c #Conflicts: 1617000 | #Constraints: 90486
2557.57/2579.96 c #Conflicts: 1618000 | #Constraints: 91486
2557.57/2579.96 c #Conflicts: 1619000 | #Constraints: 92486
2557.57/2579.96 c #Conflicts: 1620000 | #Constraints: 93486
2557.57/2579.96 c #Conflicts: 1621000 | #Constraints: 94486
2557.57/2579.96 c #Conflicts: 1622000 | #Constraints: 95487
2557.57/2579.96 c #Conflicts: 1623000 | #Constraints: 96487
2557.57/2579.96 c #Conflicts: 1624000 | #Constraints: 97487
2557.57/2579.96 c #Conflicts: 1625000 | #Constraints: 98487
2557.57/2579.96 c #Conflicts: 1626000 | #Constraints: 99487
2557.57/2579.96 c #Conflicts: 1627000 | #Constraints: 100487
2557.57/2579.96 c #Conflicts: 1628000 | #Constraints: 101487
2557.57/2579.96 c #Conflicts: 1629000 | #Constraints: 102487
2557.57/2579.96 c #Conflicts: 1630000 | #Constraints: 103487
2557.57/2579.96 c #Conflicts: 1631000 | #Constraints: 104487
2557.57/2579.96 c #Conflicts: 1632000 | #Constraints: 105487
2557.57/2579.96 c #Conflicts: 1633000 | #Constraints: 106487
2557.57/2579.96 c #Conflicts: 1634000 | #Constraints: 107487
2557.57/2579.96 c #Conflicts: 1635000 | #Constraints: 108487
2557.57/2579.96 c #Conflicts: 1636000 | #Constraints: 109487
2557.57/2579.96 c #Conflicts: 1637000 | #Constraints: 110487
2557.57/2579.96 c #Conflicts: 1638000 | #Constraints: 111487
2557.57/2579.96 c #Conflicts: 1639000 | #Constraints: 112487
2557.57/2579.96 c #Conflicts: 1640000 | #Constraints: 113487
2557.57/2579.96 c #Conflicts: 1641000 | #Constraints: 114488
2557.57/2579.96 c #Conflicts: 1642000 | #Constraints: 115488
2557.57/2579.96 c INPROCESSING
2557.57/2579.96 c GARBAGE COLLECT
2557.57/2579.96 c rational objective 55
2587.51/2609.96 c #Conflicts: 1643000 | #Constraints: 91082
2587.51/2609.96 c #Conflicts: 1644000 | #Constraints: 92083
2587.51/2609.96 c #Conflicts: 1645000 | #Constraints: 93083
2587.51/2609.96 c #Conflicts: 1646000 | #Constraints: 94083
2587.51/2609.96 c #Conflicts: 1647000 | #Constraints: 95083
2587.51/2609.96 c #Conflicts: 1648000 | #Constraints: 96083
2587.51/2609.96 c #Conflicts: 1649000 | #Constraints: 97083
2587.51/2609.96 c #Conflicts: 1650000 | #Constraints: 98083
2587.51/2609.96 c #Conflicts: 1651000 | #Constraints: 99083
2587.51/2609.96 c #Conflicts: 1652000 | #Constraints: 100083
2587.51/2609.96 c #Conflicts: 1653000 | #Constraints: 101083
2587.51/2609.96 c #Conflicts: 1654000 | #Constraints: 102083
2587.51/2609.96 c #Conflicts: 1655000 | #Constraints: 103083
2587.51/2609.96 c #Conflicts: 1656000 | #Constraints: 104083
2587.51/2609.96 c #Conflicts: 1657000 | #Constraints: 105083
2587.51/2609.96 c #Conflicts: 1658000 | #Constraints: 106083
2587.51/2609.96 c #Conflicts: 1659000 | #Constraints: 107083
2587.51/2609.96 c #Conflicts: 1660000 | #Constraints: 108083
2587.51/2609.96 c #Conflicts: 1661000 | #Constraints: 109083
2587.51/2609.96 c #Conflicts: 1662000 | #Constraints: 110083
2587.51/2609.96 c #Conflicts: 1663000 | #Constraints: 111083
2587.51/2609.96 c #Conflicts: 1664000 | #Constraints: 112083
2587.51/2609.96 c #Conflicts: 1665000 | #Constraints: 113083
2587.51/2609.96 c #Conflicts: 1666000 | #Constraints: 114083
2587.51/2609.96 c #Conflicts: 1667000 | #Constraints: 115083
2587.51/2609.96 c #Conflicts: 1668000 | #Constraints: 116084
2587.51/2609.96 c INPROCESSING
2587.51/2609.96 c GARBAGE COLLECT
2587.51/2609.96 c rational objective 55
2613.08/2636.77 c #Conflicts: 1669000 | #Constraints: 91424
2613.08/2636.77 c #Conflicts: 1670000 | #Constraints: 92424
2613.08/2636.77 c #Conflicts: 1671000 | #Constraints: 93425
2613.08/2636.77 c #Conflicts: 1672000 | #Constraints: 94425
2613.08/2636.77 c #Conflicts: 1673000 | #Constraints: 95425
2613.08/2636.77 c #Conflicts: 1674000 | #Constraints: 96425
2613.08/2636.77 c #Conflicts: 1675000 | #Constraints: 97425
2613.08/2636.77 c #Conflicts: 1676000 | #Constraints: 98425
2613.08/2636.77 c #Conflicts: 1677000 | #Constraints: 99425
2613.08/2636.77 c #Conflicts: 1678000 | #Constraints: 100425
2613.08/2636.77 c #Conflicts: 1679000 | #Constraints: 101425
2613.08/2636.77 c #Conflicts: 1680000 | #Constraints: 102425
2613.08/2636.77 c #Conflicts: 1681000 | #Constraints: 103425
2613.08/2636.77 c #Conflicts: 1682000 | #Constraints: 104425
2613.08/2636.77 c #Conflicts: 1683000 | #Constraints: 105425
2613.08/2636.77 c #Conflicts: 1684000 | #Constraints: 106425
2613.08/2636.77 c #Conflicts: 1685000 | #Constraints: 107425
2613.08/2636.77 c #Conflicts: 1686000 | #Constraints: 108425
2613.08/2636.77 c #Conflicts: 1687000 | #Constraints: 109425
2613.08/2636.77 c #Conflicts: 1688000 | #Constraints: 110425
2613.08/2636.77 c #Conflicts: 1689000 | #Constraints: 111425
2613.08/2636.77 c #Conflicts: 1690000 | #Constraints: 112425
2613.08/2636.77 c #Conflicts: 1691000 | #Constraints: 113425
2613.08/2636.77 c #Conflicts: 1692000 | #Constraints: 114425
2613.08/2636.77 c #Conflicts: 1693000 | #Constraints: 115425
2613.08/2636.77 c #Conflicts: 1694000 | #Constraints: 116425
2613.08/2636.77 c INPROCESSING
2613.08/2636.77 c GARBAGE COLLECT
2613.08/2636.77 c rational objective 55
2643.91/2667.64 c #Conflicts: 1695000 | #Constraints: 91659
2643.91/2667.64 c #Conflicts: 1696000 | #Constraints: 92659
2643.91/2667.64 c #Conflicts: 1697000 | #Constraints: 93659
2643.91/2667.64 c #Conflicts: 1698000 | #Constraints: 94659
2643.91/2667.64 c #Conflicts: 1699000 | #Constraints: 95659
2643.91/2667.64 c #Conflicts: 1700000 | #Constraints: 96659
2643.91/2667.64 c #Conflicts: 1701000 | #Constraints: 97659
2643.91/2667.64 c #Conflicts: 1702000 | #Constraints: 98659
2643.91/2667.64 c #Conflicts: 1703000 | #Constraints: 99659
2643.91/2667.64 c #Conflicts: 1704000 | #Constraints: 100659
2643.91/2667.64 c #Conflicts: 1705000 | #Constraints: 101659
2643.91/2667.64 c #Conflicts: 1706000 | #Constraints: 102659
2643.91/2667.64 c #Conflicts: 1707000 | #Constraints: 103659
2643.91/2667.64 c #Conflicts: 1708000 | #Constraints: 104659
2643.91/2667.64 c #Conflicts: 1709000 | #Constraints: 105659
2643.91/2667.64 c #Conflicts: 1710000 | #Constraints: 106659
2643.91/2667.64 c #Conflicts: 1711000 | #Constraints: 107659
2643.91/2667.64 c #Conflicts: 1712000 | #Constraints: 108659
2643.91/2667.64 c #Conflicts: 1713000 | #Constraints: 109659
2643.91/2667.64 c #Conflicts: 1714000 | #Constraints: 110659
2643.91/2667.64 c #Conflicts: 1715000 | #Constraints: 111659
2643.91/2667.64 c #Conflicts: 1716000 | #Constraints: 112659
2643.91/2667.64 c #Conflicts: 1717000 | #Constraints: 113659
2643.91/2667.64 c #Conflicts: 1718000 | #Constraints: 114659
2643.91/2667.64 c #Conflicts: 1719000 | #Constraints: 115659
2643.91/2667.64 c #Conflicts: 1720000 | #Constraints: 116659
2643.91/2667.64 c INPROCESSING
2643.91/2667.64 c GARBAGE COLLECT
2643.91/2667.64 c rational objective 55
2670.14/2693.96 c #Conflicts: 1721000 | #Constraints: 91675
2670.14/2693.96 c #Conflicts: 1722000 | #Constraints: 92675
2670.14/2693.96 c #Conflicts: 1723000 | #Constraints: 93675
2670.14/2693.96 c #Conflicts: 1724000 | #Constraints: 94675
2670.14/2693.96 c #Conflicts: 1725000 | #Constraints: 95675
2670.14/2693.96 c #Conflicts: 1726000 | #Constraints: 96675
2670.14/2693.96 c #Conflicts: 1727000 | #Constraints: 97675
2670.14/2693.96 c #Conflicts: 1728000 | #Constraints: 98675
2670.14/2693.96 c #Conflicts: 1729000 | #Constraints: 99675
2670.14/2693.96 c #Conflicts: 1730000 | #Constraints: 100675
2670.14/2693.96 c #Conflicts: 1731000 | #Constraints: 101675
2670.14/2693.96 c #Conflicts: 1732000 | #Constraints: 102675
2670.14/2693.96 c #Conflicts: 1733000 | #Constraints: 103675
2670.14/2693.96 c #Conflicts: 1734000 | #Constraints: 104675
2670.14/2693.96 c #Conflicts: 1735000 | #Constraints: 105675
2670.14/2693.96 c #Conflicts: 1736000 | #Constraints: 106676
2670.14/2693.96 c #Conflicts: 1737000 | #Constraints: 107676
2670.14/2693.96 c #Conflicts: 1738000 | #Constraints: 108676
2670.14/2693.96 c #Conflicts: 1739000 | #Constraints: 109676
2670.14/2693.96 c #Conflicts: 1740000 | #Constraints: 110676
2670.14/2693.96 c #Conflicts: 1741000 | #Constraints: 111676
2670.14/2693.96 c #Conflicts: 1742000 | #Constraints: 112676
2670.14/2693.96 c #Conflicts: 1743000 | #Constraints: 113677
2670.14/2693.96 c #Conflicts: 1744000 | #Constraints: 114677
2670.14/2693.96 c #Conflicts: 1745000 | #Constraints: 115677
2670.14/2693.96 c #Conflicts: 1746000 | #Constraints: 116677
2670.14/2693.96 c INPROCESSING
2670.14/2693.96 c GARBAGE COLLECT
2670.14/2693.96 c rational objective 55
2696.58/2720.40 c #Conflicts: 1747000 | #Constraints: 91485
2696.58/2720.40 c #Conflicts: 1748000 | #Constraints: 92485
2696.58/2720.40 c #Conflicts: 1749000 | #Constraints: 93486
2696.58/2720.40 c #Conflicts: 1750000 | #Constraints: 94486
2696.58/2720.40 c #Conflicts: 1751000 | #Constraints: 95486
2696.58/2720.40 c #Conflicts: 1752000 | #Constraints: 96486
2696.58/2720.40 c #Conflicts: 1753000 | #Constraints: 97486
2696.58/2720.40 c #Conflicts: 1754000 | #Constraints: 98486
2696.58/2720.40 c #Conflicts: 1755000 | #Constraints: 99486
2696.58/2720.40 c #Conflicts: 1756000 | #Constraints: 100486
2696.58/2720.40 c #Conflicts: 1757000 | #Constraints: 101486
2696.58/2720.40 c #Conflicts: 1758000 | #Constraints: 102486
2696.58/2720.40 c #Conflicts: 1759000 | #Constraints: 103486
2696.58/2720.40 c #Conflicts: 1760000 | #Constraints: 104486
2696.58/2720.40 c #Conflicts: 1761000 | #Constraints: 105486
2696.58/2720.40 c #Conflicts: 1762000 | #Constraints: 106486
2696.58/2720.40 c #Conflicts: 1763000 | #Constraints: 107486
2696.58/2720.40 c #Conflicts: 1764000 | #Constraints: 108486
2696.58/2720.40 c #Conflicts: 1765000 | #Constraints: 109486
2696.58/2720.40 c #Conflicts: 1766000 | #Constraints: 110486
2696.58/2720.40 c #Conflicts: 1767000 | #Constraints: 111486
2696.58/2720.40 c #Conflicts: 1768000 | #Constraints: 112486
2696.58/2720.40 c #Conflicts: 1769000 | #Constraints: 113486
2696.58/2720.40 c #Conflicts: 1770000 | #Constraints: 114486
2696.58/2720.40 c #Conflicts: 1771000 | #Constraints: 115486
2696.58/2720.40 c #Conflicts: 1772000 | #Constraints: 116486
2696.58/2720.40 c #Conflicts: 1773000 | #Constraints: 117486
2696.58/2720.40 c INPROCESSING
2696.58/2720.40 c GARBAGE COLLECT
2696.58/2720.40 c rational objective 55
2723.61/2747.59 c #Conflicts: 1774000 | #Constraints: 92036
2723.61/2747.59 c #Conflicts: 1775000 | #Constraints: 93036
2723.61/2747.59 c #Conflicts: 1776000 | #Constraints: 94036
2723.61/2747.59 c #Conflicts: 1777000 | #Constraints: 95036
2723.61/2747.59 c #Conflicts: 1778000 | #Constraints: 96036
2723.61/2747.59 c #Conflicts: 1779000 | #Constraints: 97036
2723.61/2747.59 c #Conflicts: 1780000 | #Constraints: 98036
2723.61/2747.59 c #Conflicts: 1781000 | #Constraints: 99036
2723.61/2747.59 c #Conflicts: 1782000 | #Constraints: 100036
2723.61/2747.59 c #Conflicts: 1783000 | #Constraints: 101036
2723.61/2747.59 c #Conflicts: 1784000 | #Constraints: 102036
2723.61/2747.59 c #Conflicts: 1785000 | #Constraints: 103036
2723.61/2747.59 c #Conflicts: 1786000 | #Constraints: 104036
2723.61/2747.59 c #Conflicts: 1787000 | #Constraints: 105036
2723.61/2747.59 c #Conflicts: 1788000 | #Constraints: 106036
2723.61/2747.59 c #Conflicts: 1789000 | #Constraints: 107036
2723.61/2747.59 c #Conflicts: 1790000 | #Constraints: 108036
2723.61/2747.59 c #Conflicts: 1791000 | #Constraints: 109036
2723.61/2747.59 c #Conflicts: 1792000 | #Constraints: 110036
2723.61/2747.59 c #Conflicts: 1793000 | #Constraints: 111036
2723.61/2747.59 c #Conflicts: 1794000 | #Constraints: 112036
2723.61/2747.59 c #Conflicts: 1795000 | #Constraints: 113036
2723.61/2747.59 c #Conflicts: 1796000 | #Constraints: 114036
2723.61/2747.59 c #Conflicts: 1797000 | #Constraints: 115036
2723.61/2747.59 c #Conflicts: 1798000 | #Constraints: 116036
2723.61/2747.59 c #Conflicts: 1799000 | #Constraints: 117036
2723.61/2747.59 c #Conflicts: 1800000 | #Constraints: 118036
2723.61/2747.59 c INPROCESSING
2723.61/2747.59 c GARBAGE COLLECT
2723.61/2747.59 c rational objective 55
2746.35/2770.38 c #Conflicts: 1801000 | #Constraints: 92471
2746.35/2770.38 c #Conflicts: 1802000 | #Constraints: 93471
2746.35/2770.38 c #Conflicts: 1803000 | #Constraints: 94471
2746.35/2770.38 c #Conflicts: 1804000 | #Constraints: 95471
2746.35/2770.38 c #Conflicts: 1805000 | #Constraints: 96471
2746.35/2770.38 c #Conflicts: 1806000 | #Constraints: 97471
2746.35/2770.38 c #Conflicts: 1807000 | #Constraints: 98471
2746.35/2770.38 c #Conflicts: 1808000 | #Constraints: 99471
2746.35/2770.38 c #Conflicts: 1809000 | #Constraints: 100471
2746.35/2770.38 c #Conflicts: 1810000 | #Constraints: 101471
2746.35/2770.38 c #Conflicts: 1811000 | #Constraints: 102471
2746.35/2770.38 c #Conflicts: 1812000 | #Constraints: 103471
2746.35/2770.38 c #Conflicts: 1813000 | #Constraints: 104471
2746.35/2770.38 c #Conflicts: 1814000 | #Constraints: 105471
2746.35/2770.38 c #Conflicts: 1815000 | #Constraints: 106471
2746.35/2770.38 c #Conflicts: 1816000 | #Constraints: 107471
2746.35/2770.38 c #Conflicts: 1817000 | #Constraints: 108471
2746.35/2770.38 c #Conflicts: 1818000 | #Constraints: 109471
2746.35/2770.38 c #Conflicts: 1819000 | #Constraints: 110471
2746.35/2770.38 c #Conflicts: 1820000 | #Constraints: 111471
2746.35/2770.38 c #Conflicts: 1821000 | #Constraints: 112471
2746.35/2770.38 c #Conflicts: 1822000 | #Constraints: 113471
2746.35/2770.38 c #Conflicts: 1823000 | #Constraints: 114471
2746.35/2770.38 c #Conflicts: 1824000 | #Constraints: 115471
2746.35/2770.38 c #Conflicts: 1825000 | #Constraints: 116471
2746.35/2770.38 c #Conflicts: 1826000 | #Constraints: 117471
2746.35/2770.38 c #Conflicts: 1827000 | #Constraints: 118471
2746.35/2770.38 c INPROCESSING
2746.35/2770.38 c GARBAGE COLLECT
2746.35/2770.38 c rational objective 55
2779.27/2803.33 c #Conflicts: 1828000 | #Constraints: 92702
2779.27/2803.33 c #Conflicts: 1829000 | #Constraints: 93702
2779.27/2803.33 c #Conflicts: 1830000 | #Constraints: 94702
2779.27/2803.33 c #Conflicts: 1831000 | #Constraints: 95702
2779.27/2803.33 c #Conflicts: 1832000 | #Constraints: 96702
2779.27/2803.33 c #Conflicts: 1833000 | #Constraints: 97702
2779.27/2803.33 c #Conflicts: 1834000 | #Constraints: 98702
2779.27/2803.33 c #Conflicts: 1835000 | #Constraints: 99702
2779.27/2803.33 c #Conflicts: 1836000 | #Constraints: 100702
2779.27/2803.33 c #Conflicts: 1837000 | #Constraints: 101702
2779.27/2803.33 c #Conflicts: 1838000 | #Constraints: 102702
2779.27/2803.33 c #Conflicts: 1839000 | #Constraints: 103702
2779.27/2803.33 c #Conflicts: 1840000 | #Constraints: 104702
2779.27/2803.33 c #Conflicts: 1841000 | #Constraints: 105702
2779.27/2803.33 c #Conflicts: 1842000 | #Constraints: 106702
2779.27/2803.33 c #Conflicts: 1843000 | #Constraints: 107702
2779.27/2803.33 c #Conflicts: 1844000 | #Constraints: 108702
2779.27/2803.33 c #Conflicts: 1845000 | #Constraints: 109702
2779.27/2803.33 c #Conflicts: 1846000 | #Constraints: 110702
2779.27/2803.33 c #Conflicts: 1847000 | #Constraints: 111702
2779.27/2803.33 c #Conflicts: 1848000 | #Constraints: 112702
2779.27/2803.33 c #Conflicts: 1849000 | #Constraints: 113702
2779.27/2803.33 c #Conflicts: 1850000 | #Constraints: 114702
2779.27/2803.33 c #Conflicts: 1851000 | #Constraints: 115702
2779.27/2803.33 c #Conflicts: 1852000 | #Constraints: 116702
2779.27/2803.33 c #Conflicts: 1853000 | #Constraints: 117702
2779.27/2803.33 c #Conflicts: 1854000 | #Constraints: 118702
2779.27/2803.33 c INPROCESSING
2779.27/2803.33 c GARBAGE COLLECT
2779.27/2803.33 c rational objective 55
2806.02/2830.19 c #Conflicts: 1855000 | #Constraints: 92632
2806.02/2830.19 c #Conflicts: 1856000 | #Constraints: 93632
2806.02/2830.19 c #Conflicts: 1857000 | #Constraints: 94632
2806.02/2830.19 c #Conflicts: 1858000 | #Constraints: 95632
2806.02/2830.19 c #Conflicts: 1859000 | #Constraints: 96632
2806.02/2830.19 c #Conflicts: 1860000 | #Constraints: 97632
2806.02/2830.19 c #Conflicts: 1861000 | #Constraints: 98632
2806.02/2830.19 c #Conflicts: 1862000 | #Constraints: 99632
2806.02/2830.19 c #Conflicts: 1863000 | #Constraints: 100632
2806.02/2830.19 c #Conflicts: 1864000 | #Constraints: 101632
2806.02/2830.19 c #Conflicts: 1865000 | #Constraints: 102632
2806.02/2830.19 c #Conflicts: 1866000 | #Constraints: 103632
2806.02/2830.19 c #Conflicts: 1867000 | #Constraints: 104632
2806.02/2830.19 c #Conflicts: 1868000 | #Constraints: 105632
2806.02/2830.19 c #Conflicts: 1869000 | #Constraints: 106633
2806.02/2830.19 c #Conflicts: 1870000 | #Constraints: 107633
2806.02/2830.19 c #Conflicts: 1871000 | #Constraints: 108633
2806.02/2830.19 c #Conflicts: 1872000 | #Constraints: 109633
2806.02/2830.19 c #Conflicts: 1873000 | #Constraints: 110633
2806.02/2830.19 c #Conflicts: 1874000 | #Constraints: 111633
2806.02/2830.19 c #Conflicts: 1875000 | #Constraints: 112633
2806.02/2830.19 c #Conflicts: 1876000 | #Constraints: 113633
2806.02/2830.19 c #Conflicts: 1877000 | #Constraints: 114633
2806.02/2830.19 c #Conflicts: 1878000 | #Constraints: 115633
2806.02/2830.19 c #Conflicts: 1879000 | #Constraints: 116633
2806.02/2830.19 c #Conflicts: 1880000 | #Constraints: 117634
2806.02/2830.19 c #Conflicts: 1881000 | #Constraints: 118634
2806.02/2830.19 c INPROCESSING
2806.02/2830.19 c GARBAGE COLLECT
2806.02/2830.19 c rational objective 55
2832.34/2856.54 c #Conflicts: 1882000 | #Constraints: 92451
2832.34/2856.54 c #Conflicts: 1883000 | #Constraints: 93451
2832.34/2856.54 c #Conflicts: 1884000 | #Constraints: 94451
2832.34/2856.54 c #Conflicts: 1885000 | #Constraints: 95451
2832.34/2856.54 c #Conflicts: 1886000 | #Constraints: 96451
2832.34/2856.54 c #Conflicts: 1887000 | #Constraints: 97452
2832.34/2856.54 c #Conflicts: 1888000 | #Constraints: 98452
2832.34/2856.54 c #Conflicts: 1889000 | #Constraints: 99452
2832.34/2856.54 c #Conflicts: 1890000 | #Constraints: 100452
2832.34/2856.54 c #Conflicts: 1891000 | #Constraints: 101452
2832.34/2856.54 c #Conflicts: 1892000 | #Constraints: 102452
2832.34/2856.54 c #Conflicts: 1893000 | #Constraints: 103452
2832.34/2856.54 c #Conflicts: 1894000 | #Constraints: 104452
2832.34/2856.54 c #Conflicts: 1895000 | #Constraints: 105452
2832.34/2856.54 c #Conflicts: 1896000 | #Constraints: 106452
2832.34/2856.54 c #Conflicts: 1897000 | #Constraints: 107452
2832.34/2856.54 c #Conflicts: 1898000 | #Constraints: 108452
2832.34/2856.54 c #Conflicts: 1899000 | #Constraints: 109452
2832.34/2856.54 c #Conflicts: 1900000 | #Constraints: 110452
2832.34/2856.54 c #Conflicts: 1901000 | #Constraints: 111452
2832.34/2856.54 c #Conflicts: 1902000 | #Constraints: 112452
2832.34/2856.54 c #Conflicts: 1903000 | #Constraints: 113452
2832.34/2856.54 c #Conflicts: 1904000 | #Constraints: 114452
2832.34/2856.54 c #Conflicts: 1905000 | #Constraints: 115452
2832.34/2856.54 c #Conflicts: 1906000 | #Constraints: 116452
2832.34/2856.54 c #Conflicts: 1907000 | #Constraints: 117452
2832.34/2856.54 c #Conflicts: 1908000 | #Constraints: 118452
2832.34/2856.54 c #Conflicts: 1909000 | #Constraints: 119452
2832.34/2856.54 c INPROCESSING
2832.34/2856.54 c GARBAGE COLLECT
2832.34/2856.54 c rational objective 55
2852.20/2876.49 c #Conflicts: 1910000 | #Constraints: 93104
2852.20/2876.49 c #Conflicts: 1911000 | #Constraints: 94105
2852.20/2876.49 c #Conflicts: 1912000 | #Constraints: 95105
2852.20/2876.49 c #Conflicts: 1913000 | #Constraints: 96105
2852.20/2876.49 c #Conflicts: 1914000 | #Constraints: 97105
2852.20/2876.49 c #Conflicts: 1915000 | #Constraints: 98105
2852.20/2876.49 c #Conflicts: 1916000 | #Constraints: 99105
2852.20/2876.49 c #Conflicts: 1917000 | #Constraints: 100106
2852.20/2876.49 c #Conflicts: 1918000 | #Constraints: 101106
2852.20/2876.49 c #Conflicts: 1919000 | #Constraints: 102107
2852.20/2876.49 c #Conflicts: 1920000 | #Constraints: 103107
2852.20/2876.49 c #Conflicts: 1921000 | #Constraints: 104107
2852.20/2876.49 c #Conflicts: 1922000 | #Constraints: 105107
2852.20/2876.49 c #Conflicts: 1923000 | #Constraints: 106107
2852.20/2876.49 c #Conflicts: 1924000 | #Constraints: 107107
2852.20/2876.49 c #Conflicts: 1925000 | #Constraints: 108107
2852.20/2876.49 c #Conflicts: 1926000 | #Constraints: 109107
2852.20/2876.49 c #Conflicts: 1927000 | #Constraints: 110107
2852.20/2876.49 c #Conflicts: 1928000 | #Constraints: 111107
2852.20/2876.49 c #Conflicts: 1929000 | #Constraints: 112107
2852.20/2876.49 c #Conflicts: 1930000 | #Constraints: 113107
2852.20/2876.49 c #Conflicts: 1931000 | #Constraints: 114107
2852.20/2876.49 c #Conflicts: 1932000 | #Constraints: 115107
2852.20/2876.49 c #Conflicts: 1933000 | #Constraints: 116107
2852.20/2876.49 c #Conflicts: 1934000 | #Constraints: 117108
2852.20/2876.49 c #Conflicts: 1935000 | #Constraints: 118108
2852.20/2876.49 c #Conflicts: 1936000 | #Constraints: 119108
2852.20/2876.49 c #Conflicts: 1937000 | #Constraints: 120109
2852.20/2876.49 c INPROCESSING
2852.20/2876.49 c GARBAGE COLLECT
2852.20/2876.49 c rational objective 55
2879.63/2904.00 c #Conflicts: 1938000 | #Constraints: 93565
2879.63/2904.00 c #Conflicts: 1939000 | #Constraints: 94565
2879.63/2904.00 c #Conflicts: 1940000 | #Constraints: 95565
2879.63/2904.00 c #Conflicts: 1941000 | #Constraints: 96565
2879.63/2904.00 c #Conflicts: 1942000 | #Constraints: 97565
2879.63/2904.00 c #Conflicts: 1943000 | #Constraints: 98565
2879.63/2904.00 c #Conflicts: 1944000 | #Constraints: 99565
2879.63/2904.00 c #Conflicts: 1945000 | #Constraints: 100565
2879.63/2904.00 c #Conflicts: 1946000 | #Constraints: 101565
2879.63/2904.00 c #Conflicts: 1947000 | #Constraints: 102565
2879.63/2904.00 c #Conflicts: 1948000 | #Constraints: 103565
2879.63/2904.00 c #Conflicts: 1949000 | #Constraints: 104565
2879.63/2904.00 c #Conflicts: 1950000 | #Constraints: 105565
2879.63/2904.00 c #Conflicts: 1951000 | #Constraints: 106565
2879.63/2904.00 c #Conflicts: 1952000 | #Constraints: 107565
2879.63/2904.00 c #Conflicts: 1953000 | #Constraints: 108565
2879.63/2904.00 c #Conflicts: 1954000 | #Constraints: 109565
2879.63/2904.00 c #Conflicts: 1955000 | #Constraints: 110565
2879.63/2904.00 c #Conflicts: 1956000 | #Constraints: 111565
2879.63/2904.00 c #Conflicts: 1957000 | #Constraints: 112565
2879.63/2904.00 c #Conflicts: 1958000 | #Constraints: 113565
2879.63/2904.00 c #Conflicts: 1959000 | #Constraints: 114565
2879.63/2904.00 c #Conflicts: 1960000 | #Constraints: 115565
2879.63/2904.00 c #Conflicts: 1961000 | #Constraints: 116565
2879.63/2904.00 c #Conflicts: 1962000 | #Constraints: 117565
2879.63/2904.00 c #Conflicts: 1963000 | #Constraints: 118565
2879.63/2904.00 c #Conflicts: 1964000 | #Constraints: 119565
2879.63/2904.00 c #Conflicts: 1965000 | #Constraints: 120565
2879.63/2904.00 c INPROCESSING
2879.63/2904.00 c GARBAGE COLLECT
2879.63/2904.00 c rational objective 55
2913.25/2937.60 c #Conflicts: 1966000 | #Constraints: 93730
2913.25/2937.60 c #Conflicts: 1967000 | #Constraints: 94730
2913.25/2937.60 c #Conflicts: 1968000 | #Constraints: 95730
2913.25/2937.60 c #Conflicts: 1969000 | #Constraints: 96730
2913.25/2937.60 c #Conflicts: 1970000 | #Constraints: 97730
2913.25/2937.60 c #Conflicts: 1971000 | #Constraints: 98730
2913.25/2937.60 c #Conflicts: 1972000 | #Constraints: 99730
2913.25/2937.60 c #Conflicts: 1973000 | #Constraints: 100730
2913.25/2937.60 c #Conflicts: 1974000 | #Constraints: 101730
2913.25/2937.60 c #Conflicts: 1975000 | #Constraints: 102730
2913.25/2937.60 c #Conflicts: 1976000 | #Constraints: 103730
2913.25/2937.60 c #Conflicts: 1977000 | #Constraints: 104730
2913.25/2937.60 c #Conflicts: 1978000 | #Constraints: 105730
2913.25/2937.60 c #Conflicts: 1979000 | #Constraints: 106730
2913.25/2937.60 c #Conflicts: 1980000 | #Constraints: 107730
2913.25/2937.60 c #Conflicts: 1981000 | #Constraints: 108730
2913.25/2937.60 c #Conflicts: 1982000 | #Constraints: 109730
2913.25/2937.60 c #Conflicts: 1983000 | #Constraints: 110730
2913.25/2937.60 c #Conflicts: 1984000 | #Constraints: 111730
2913.25/2937.60 c #Conflicts: 1985000 | #Constraints: 112730
2913.25/2937.60 c #Conflicts: 1986000 | #Constraints: 113730
2913.25/2937.60 c #Conflicts: 1987000 | #Constraints: 114730
2913.25/2937.60 c #Conflicts: 1988000 | #Constraints: 115730
2913.25/2937.60 c #Conflicts: 1989000 | #Constraints: 116731
2913.25/2937.60 c #Conflicts: 1990000 | #Constraints: 117731
2913.25/2937.60 c #Conflicts: 1991000 | #Constraints: 118731
2913.25/2937.60 c #Conflicts: 1992000 | #Constraints: 119731
2913.25/2937.60 c #Conflicts: 1993000 | #Constraints: 120731
2913.25/2937.60 c INPROCESSING
2913.25/2937.60 c GARBAGE COLLECT
2913.25/2937.60 c rational objective 55
2940.47/2964.98 c #Conflicts: 1994000 | #Constraints: 93745
2940.47/2964.98 c #Conflicts: 1995000 | #Constraints: 94745
2940.47/2964.98 c #Conflicts: 1996000 | #Constraints: 95745
2940.47/2964.98 c #Conflicts: 1997000 | #Constraints: 96745
2940.47/2964.98 c #Conflicts: 1998000 | #Constraints: 97745
2940.47/2964.98 c #Conflicts: 1999000 | #Constraints: 98746
2940.47/2964.98 c #Conflicts: 2000000 | #Constraints: 99746
2940.47/2964.98 c #Conflicts: 2001000 | #Constraints: 100746
2940.47/2964.98 c #Conflicts: 2002000 | #Constraints: 101746
2940.47/2964.98 c #Conflicts: 2003000 | #Constraints: 102746
2940.47/2964.98 c #Conflicts: 2004000 | #Constraints: 103746
2940.47/2964.98 c #Conflicts: 2005000 | #Constraints: 104746
2940.47/2964.98 c #Conflicts: 2006000 | #Constraints: 105746
2940.47/2964.98 c #Conflicts: 2007000 | #Constraints: 106746
2940.47/2964.98 c #Conflicts: 2008000 | #Constraints: 107746
2940.47/2964.98 c #Conflicts: 2009000 | #Constraints: 108746
2940.47/2964.98 c #Conflicts: 2010000 | #Constraints: 109746
2940.47/2964.98 c #Conflicts: 2011000 | #Constraints: 110746
2940.47/2964.98 c #Conflicts: 2012000 | #Constraints: 111746
2940.47/2964.98 c #Conflicts: 2013000 | #Constraints: 112746
2940.47/2964.98 c #Conflicts: 2014000 | #Constraints: 113746
2940.47/2964.98 c #Conflicts: 2015000 | #Constraints: 114746
2940.47/2964.98 c #Conflicts: 2016000 | #Constraints: 115746
2940.47/2964.98 c #Conflicts: 2017000 | #Constraints: 116746
2940.47/2964.98 c #Conflicts: 2018000 | #Constraints: 117746
2940.47/2964.98 c #Conflicts: 2019000 | #Constraints: 118746
2940.47/2964.98 c #Conflicts: 2020000 | #Constraints: 119746
2940.47/2964.98 c #Conflicts: 2021000 | #Constraints: 120746
2940.47/2964.98 c INPROCESSING
2940.47/2964.98 c GARBAGE COLLECT
2940.47/2964.98 c rational objective 55
2976.29/3000.81 c #Conflicts: 2022000 | #Constraints: 93527
2976.29/3000.81 c #Conflicts: 2023000 | #Constraints: 94527
2976.29/3000.81 c #Conflicts: 2024000 | #Constraints: 95527
2976.29/3000.81 c #Conflicts: 2025000 | #Constraints: 96527
2976.29/3000.81 c #Conflicts: 2026000 | #Constraints: 97527
2976.29/3000.81 c #Conflicts: 2027000 | #Constraints: 98527
2976.29/3000.81 c #Conflicts: 2028000 | #Constraints: 99527
2976.29/3000.81 c #Conflicts: 2029000 | #Constraints: 100527
2976.29/3000.81 c #Conflicts: 2030000 | #Constraints: 101527
2976.29/3000.81 c #Conflicts: 2031000 | #Constraints: 102527
2976.29/3000.81 c #Conflicts: 2032000 | #Constraints: 103527
2976.29/3000.81 c #Conflicts: 2033000 | #Constraints: 104527
2976.29/3000.81 c #Conflicts: 2034000 | #Constraints: 105527
2976.29/3000.81 c #Conflicts: 2035000 | #Constraints: 106527
2976.29/3000.81 c #Conflicts: 2036000 | #Constraints: 107527
2976.29/3000.81 c #Conflicts: 2037000 | #Constraints: 108527
2976.29/3000.81 c #Conflicts: 2038000 | #Constraints: 109527
2976.29/3000.81 c #Conflicts: 2039000 | #Constraints: 110527
2976.29/3000.81 c #Conflicts: 2040000 | #Constraints: 111527
2976.29/3000.81 c #Conflicts: 2041000 | #Constraints: 112527
2976.29/3000.81 c #Conflicts: 2042000 | #Constraints: 113527
2976.29/3000.81 c #Conflicts: 2043000 | #Constraints: 114527
2976.29/3000.81 c #Conflicts: 2044000 | #Constraints: 115527
2976.29/3000.81 c #Conflicts: 2045000 | #Constraints: 116527
2976.29/3000.81 c #Conflicts: 2046000 | #Constraints: 117527
2976.29/3000.81 c #Conflicts: 2047000 | #Constraints: 118527
2976.29/3000.81 c #Conflicts: 2048000 | #Constraints: 119527
2976.29/3000.81 c #Conflicts: 2049000 | #Constraints: 120527
2976.29/3000.81 c #Conflicts: 2050000 | #Constraints: 121527
2976.29/3000.81 c INPROCESSING
2976.29/3000.81 c GARBAGE COLLECT
2976.29/3000.81 c rational objective 55
3004.63/3029.28 c #Conflicts: 2051000 | #Constraints: 94087
3004.63/3029.28 c #Conflicts: 2052000 | #Constraints: 95087
3004.63/3029.28 c #Conflicts: 2053000 | #Constraints: 96087
3004.63/3029.28 c #Conflicts: 2054000 | #Constraints: 97087
3004.63/3029.28 c #Conflicts: 2055000 | #Constraints: 98087
3004.63/3029.28 c #Conflicts: 2056000 | #Constraints: 99087
3004.63/3029.28 c #Conflicts: 2057000 | #Constraints: 100087
3004.63/3029.28 c #Conflicts: 2058000 | #Constraints: 101087
3004.63/3029.28 c #Conflicts: 2059000 | #Constraints: 102087
3004.63/3029.28 c #Conflicts: 2060000 | #Constraints: 103087
3004.63/3029.28 c #Conflicts: 2061000 | #Constraints: 104087
3004.63/3029.28 c #Conflicts: 2062000 | #Constraints: 105087
3004.63/3029.28 c #Conflicts: 2063000 | #Constraints: 106087
3004.63/3029.28 c #Conflicts: 2064000 | #Constraints: 107087
3004.63/3029.28 c #Conflicts: 2065000 | #Constraints: 108087
3004.63/3029.28 c #Conflicts: 2066000 | #Constraints: 109087
3004.63/3029.28 c #Conflicts: 2067000 | #Constraints: 110087
3004.63/3029.28 c #Conflicts: 2068000 | #Constraints: 111087
3004.63/3029.28 c #Conflicts: 2069000 | #Constraints: 112087
3004.63/3029.28 c #Conflicts: 2070000 | #Constraints: 113087
3004.63/3029.28 c #Conflicts: 2071000 | #Constraints: 114087
3004.63/3029.28 c #Conflicts: 2072000 | #Constraints: 115087
3004.63/3029.28 c #Conflicts: 2073000 | #Constraints: 116087
3004.63/3029.28 c #Conflicts: 2074000 | #Constraints: 117087
3004.63/3029.28 c #Conflicts: 2075000 | #Constraints: 118087
3004.63/3029.28 c #Conflicts: 2076000 | #Constraints: 119087
3004.63/3029.28 c #Conflicts: 2077000 | #Constraints: 120087
3004.63/3029.28 c #Conflicts: 2078000 | #Constraints: 121087
3004.63/3029.28 c #Conflicts: 2079000 | #Constraints: 122087
3004.63/3029.28 c INPROCESSING
3004.63/3029.28 c GARBAGE COLLECT
3004.63/3029.28 c rational objective 55
3155.44/3180.45 c #Conflicts: 2080000 | #Constraints: 94501
3155.44/3180.45 c #Conflicts: 2081000 | #Constraints: 95501
3155.44/3180.45 c #Conflicts: 2082000 | #Constraints: 96501
3155.44/3180.45 c #Conflicts: 2083000 | #Constraints: 97501
3155.44/3180.45 c #Conflicts: 2084000 | #Constraints: 98501
3155.44/3180.45 c #Conflicts: 2085000 | #Constraints: 99501
3155.44/3180.45 c #Conflicts: 2086000 | #Constraints: 100501
3155.44/3180.45 c #Conflicts: 2087000 | #Constraints: 101501
3155.44/3180.45 c #Conflicts: 2088000 | #Constraints: 102501
3155.44/3180.45 c #Conflicts: 2089000 | #Constraints: 103501
3155.44/3180.45 c #Conflicts: 2090000 | #Constraints: 104501
3155.44/3180.45 c #Conflicts: 2091000 | #Constraints: 105501
3155.44/3180.45 c #Conflicts: 2092000 | #Constraints: 106501
3155.44/3180.45 c #Conflicts: 2093000 | #Constraints: 107501
3155.44/3180.45 c #Conflicts: 2094000 | #Constraints: 108501
3155.44/3180.45 c #Conflicts: 2095000 | #Constraints: 109501
3155.44/3180.45 c #Conflicts: 2096000 | #Constraints: 110501
3155.44/3180.45 c #Conflicts: 2097000 | #Constraints: 111501
3155.44/3180.45 c #Conflicts: 2098000 | #Constraints: 112501
3155.44/3180.45 c #Conflicts: 2099000 | #Constraints: 113501
3155.44/3180.45 c #Conflicts: 2100000 | #Constraints: 114501
3155.44/3180.45 c #Conflicts: 2101000 | #Constraints: 115501
3155.44/3180.45 c #Conflicts: 2102000 | #Constraints: 116501
3155.44/3180.45 c #Conflicts: 2103000 | #Constraints: 117501
3155.44/3180.45 c #Conflicts: 2104000 | #Constraints: 118501
3155.44/3180.45 c #Conflicts: 2105000 | #Constraints: 119501
3155.44/3180.45 c #Conflicts: 2106000 | #Constraints: 120501
3155.44/3180.45 c #Conflicts: 2107000 | #Constraints: 121501
3155.44/3180.45 c #Conflicts: 2108000 | #Constraints: 122501
3155.44/3180.45 c INPROCESSING
3155.44/3180.45 c GARBAGE COLLECT
3155.44/3180.45 c #Conflicts: 2109000 | #Constraints: 94674
3155.44/3180.45 c #Conflicts: 2110000 | #Constraints: 95674
3155.44/3180.45 c #Conflicts: 2111000 | #Constraints: 96674
3155.44/3180.45 c #Conflicts: 2112000 | #Constraints: 97674
3155.44/3180.45 c #Conflicts: 2113000 | #Constraints: 98674
3155.44/3180.45 c #Conflicts: 2114000 | #Constraints: 99674
3155.44/3180.45 c #Conflicts: 2115000 | #Constraints: 100674
3155.44/3180.45 c #Conflicts: 2116000 | #Constraints: 101674
3155.44/3180.45 c #Conflicts: 2117000 | #Constraints: 102674
3155.44/3180.45 c #Conflicts: 2118000 | #Constraints: 103674
3155.44/3180.45 c #Conflicts: 2119000 | #Constraints: 104674
3155.44/3180.45 c #Conflicts: 2120000 | #Constraints: 105674
3155.44/3180.45 c #Conflicts: 2121000 | #Constraints: 106674
3155.44/3180.45 c #Conflicts: 2122000 | #Constraints: 107674
3155.44/3180.45 c #Conflicts: 2123000 | #Constraints: 108674
3155.44/3180.45 c #Conflicts: 2124000 | #Constraints: 109674
3155.44/3180.45 c #Conflicts: 2125000 | #Constraints: 110674
3155.44/3180.45 c #Conflicts: 2126000 | #Constraints: 111674
3155.44/3180.45 c #Conflicts: 2127000 | #Constraints: 112674
3155.44/3180.45 c #Conflicts: 2128000 | #Constraints: 113674
3155.44/3180.45 c #Conflicts: 2129000 | #Constraints: 114674
3155.44/3180.45 c #Conflicts: 2130000 | #Constraints: 115674
3155.44/3180.45 c #Conflicts: 2131000 | #Constraints: 116674
3155.44/3180.45 c #Conflicts: 2132000 | #Constraints: 117674
3155.44/3180.45 c #Conflicts: 2133000 | #Constraints: 118674
3155.44/3180.45 c #Conflicts: 2134000 | #Constraints: 119674
3155.44/3180.45 c #Conflicts: 2135000 | #Constraints: 120674
3155.44/3180.45 c #Conflicts: 2136000 | #Constraints: 121674
3155.44/3180.45 c #Conflicts: 2137000 | #Constraints: 122674
3155.44/3180.45 c INPROCESSING
3155.44/3180.45 c GARBAGE COLLECT
3155.44/3180.45 c rational objective 55
3296.70/3322.11 c #Conflicts: 2138000 | #Constraints: 94664
3296.70/3322.11 c #Conflicts: 2139000 | #Constraints: 95664
3296.70/3322.11 c #Conflicts: 2140000 | #Constraints: 96664
3296.70/3322.11 c #Conflicts: 2141000 | #Constraints: 97664
3296.70/3322.11 c #Conflicts: 2142000 | #Constraints: 98664
3296.70/3322.11 c #Conflicts: 2143000 | #Constraints: 99664
3296.70/3322.11 c #Conflicts: 2144000 | #Constraints: 100664
3296.70/3322.11 c #Conflicts: 2145000 | #Constraints: 101664
3296.70/3322.11 c #Conflicts: 2146000 | #Constraints: 102664
3296.70/3322.11 c #Conflicts: 2147000 | #Constraints: 103664
3296.70/3322.11 c #Conflicts: 2148000 | #Constraints: 104664
3296.70/3322.11 c #Conflicts: 2149000 | #Constraints: 105664
3296.70/3322.11 c #Conflicts: 2150000 | #Constraints: 106664
3296.70/3322.11 c #Conflicts: 2151000 | #Constraints: 107664
3296.70/3322.11 c #Conflicts: 2152000 | #Constraints: 108664
3296.70/3322.11 c #Conflicts: 2153000 | #Constraints: 109664
3296.70/3322.11 c #Conflicts: 2154000 | #Constraints: 110664
3296.70/3322.11 c #Conflicts: 2155000 | #Constraints: 111664
3296.70/3322.11 c #Conflicts: 2156000 | #Constraints: 112664
3296.70/3322.11 c #Conflicts: 2157000 | #Constraints: 113664
3296.70/3322.11 c #Conflicts: 2158000 | #Constraints: 114664
3296.70/3322.11 c #Conflicts: 2159000 | #Constraints: 115664
3296.70/3322.11 c #Conflicts: 2160000 | #Constraints: 116664
3296.70/3322.11 c #Conflicts: 2161000 | #Constraints: 117664
3296.70/3322.11 c #Conflicts: 2162000 | #Constraints: 118664
3296.70/3322.11 c #Conflicts: 2163000 | #Constraints: 119664
3296.70/3322.11 c #Conflicts: 2164000 | #Constraints: 120664
3296.70/3322.11 c #Conflicts: 2165000 | #Constraints: 121664
3296.70/3322.11 c #Conflicts: 2166000 | #Constraints: 122664
3296.70/3322.11 c INPROCESSING
3296.70/3322.11 c GARBAGE COLLECT
3296.70/3322.11 c rational objective 55
3401.52/3427.12 c #Conflicts: 2167000 | #Constraints: 94424
3401.52/3427.12 c #Conflicts: 2168000 | #Constraints: 95424
3401.52/3427.12 c #Conflicts: 2169000 | #Constraints: 96424
3401.52/3427.12 c #Conflicts: 2170000 | #Constraints: 97424
3401.52/3427.12 c #Conflicts: 2171000 | #Constraints: 98424
3401.52/3427.12 c #Conflicts: 2172000 | #Constraints: 99424
3401.52/3427.12 c #Conflicts: 2173000 | #Constraints: 100424
3401.52/3427.12 c #Conflicts: 2174000 | #Constraints: 101424
3401.52/3427.12 c #Conflicts: 2175000 | #Constraints: 102424
3401.52/3427.12 c #Conflicts: 2176000 | #Constraints: 103424
3401.52/3427.12 c #Conflicts: 2177000 | #Constraints: 104424
3401.52/3427.12 c #Conflicts: 2178000 | #Constraints: 105424
3401.52/3427.12 c #Conflicts: 2179000 | #Constraints: 106424
3401.52/3427.12 c #Conflicts: 2180000 | #Constraints: 107424
3401.52/3427.12 c #Conflicts: 2181000 | #Constraints: 108424
3401.52/3427.12 c #Conflicts: 2182000 | #Constraints: 109424
3401.52/3427.12 c #Conflicts: 2183000 | #Constraints: 110424
3401.52/3427.12 c #Conflicts: 2184000 | #Constraints: 111424
3401.52/3427.12 c #Conflicts: 2185000 | #Constraints: 112424
3401.52/3427.12 c #Conflicts: 2186000 | #Constraints: 113424
3401.52/3427.12 c #Conflicts: 2187000 | #Constraints: 114424
3401.52/3427.12 c #Conflicts: 2188000 | #Constraints: 115424
3401.52/3427.12 c #Conflicts: 2189000 | #Constraints: 116424
3401.52/3427.12 c #Conflicts: 2190000 | #Constraints: 117424
3401.52/3427.12 c #Conflicts: 2191000 | #Constraints: 118424
3401.52/3427.12 c #Conflicts: 2192000 | #Constraints: 119424
3401.52/3427.12 c #Conflicts: 2193000 | #Constraints: 120424
3401.52/3427.12 c #Conflicts: 2194000 | #Constraints: 121424
3401.52/3427.12 c #Conflicts: 2195000 | #Constraints: 122424
3401.52/3427.12 c #Conflicts: 2196000 | #Constraints: 123424
3401.52/3427.12 c INPROCESSING
3401.52/3427.12 c GARBAGE COLLECT
3401.52/3427.12 c rational objective 55
3430.24/3455.96 c #Conflicts: 2197000 | #Constraints: 95062
3430.24/3455.96 c #Conflicts: 2198000 | #Constraints: 96062
3430.24/3455.96 c #Conflicts: 2199000 | #Constraints: 97062
3430.24/3455.96 c #Conflicts: 2200000 | #Constraints: 98062
3430.24/3455.96 c #Conflicts: 2201000 | #Constraints: 99062
3430.24/3455.96 c #Conflicts: 2202000 | #Constraints: 100062
3430.24/3455.96 c #Conflicts: 2203000 | #Constraints: 101062
3430.24/3455.96 c #Conflicts: 2204000 | #Constraints: 102062
3430.24/3455.96 c #Conflicts: 2205000 | #Constraints: 103062
3430.24/3455.96 c #Conflicts: 2206000 | #Constraints: 104062
3430.24/3455.96 c #Conflicts: 2207000 | #Constraints: 105062
3430.24/3455.96 c #Conflicts: 2208000 | #Constraints: 106062
3430.24/3455.96 c #Conflicts: 2209000 | #Constraints: 107062
3430.24/3455.96 c #Conflicts: 2210000 | #Constraints: 108062
3430.24/3455.96 c #Conflicts: 2211000 | #Constraints: 109062
3430.24/3455.96 c #Conflicts: 2212000 | #Constraints: 110062
3430.24/3455.96 c #Conflicts: 2213000 | #Constraints: 111062
3430.24/3455.96 c #Conflicts: 2214000 | #Constraints: 112062
3430.24/3455.96 c #Conflicts: 2215000 | #Constraints: 113062
3430.24/3455.96 c #Conflicts: 2216000 | #Constraints: 114062
3430.24/3455.96 c #Conflicts: 2217000 | #Constraints: 115062
3430.24/3455.96 c #Conflicts: 2218000 | #Constraints: 116062
3430.24/3455.96 c #Conflicts: 2219000 | #Constraints: 117062
3430.24/3455.96 c #Conflicts: 2220000 | #Constraints: 118062
3430.24/3455.96 c #Conflicts: 2221000 | #Constraints: 119062
3430.24/3455.96 c #Conflicts: 2222000 | #Constraints: 120062
3430.24/3455.96 c #Conflicts: 2223000 | #Constraints: 121062
3430.24/3455.96 c #Conflicts: 2224000 | #Constraints: 122062
3430.24/3455.96 c #Conflicts: 2225000 | #Constraints: 123062
3430.24/3455.96 c #Conflicts: 2226000 | #Constraints: 124062
3430.24/3455.96 c INPROCESSING
3430.24/3455.96 c GARBAGE COLLECT
3430.24/3455.96 c rational objective 55
3479.12/3504.92 c #Conflicts: 2227000 | #Constraints: 95448
3479.12/3504.92 c #Conflicts: 2228000 | #Constraints: 96448
3479.12/3504.92 c #Conflicts: 2229000 | #Constraints: 97448
3479.12/3504.92 c #Conflicts: 2230000 | #Constraints: 98448
3479.12/3504.92 c #Conflicts: 2231000 | #Constraints: 99448
3479.12/3504.92 c #Conflicts: 2232000 | #Constraints: 100448
3479.12/3504.92 c #Conflicts: 2233000 | #Constraints: 101448
3479.12/3504.92 c #Conflicts: 2234000 | #Constraints: 102448
3479.12/3504.92 c #Conflicts: 2235000 | #Constraints: 103448
3479.12/3504.92 c #Conflicts: 2236000 | #Constraints: 104448
3479.12/3504.92 c #Conflicts: 2237000 | #Constraints: 105448
3479.12/3504.92 c #Conflicts: 2238000 | #Constraints: 106448
3479.12/3504.92 c #Conflicts: 2239000 | #Constraints: 107448
3479.12/3504.92 c #Conflicts: 2240000 | #Constraints: 108448
3479.12/3504.92 c #Conflicts: 2241000 | #Constraints: 109448
3479.12/3504.92 c #Conflicts: 2242000 | #Constraints: 110448
3479.12/3504.92 c #Conflicts: 2243000 | #Constraints: 111448
3479.12/3504.92 c #Conflicts: 2244000 | #Constraints: 112448
3479.12/3504.92 c #Conflicts: 2245000 | #Constraints: 113448
3479.12/3504.92 c #Conflicts: 2246000 | #Constraints: 114448
3479.12/3504.92 c #Conflicts: 2247000 | #Constraints: 115448
3479.12/3504.92 c #Conflicts: 2248000 | #Constraints: 116448
3479.12/3504.92 c #Conflicts: 2249000 | #Constraints: 117448
3479.12/3504.92 c #Conflicts: 2250000 | #Constraints: 118448
3479.12/3504.92 c #Conflicts: 2251000 | #Constraints: 119448
3479.12/3504.92 c #Conflicts: 2252000 | #Constraints: 120448
3479.12/3504.92 c #Conflicts: 2253000 | #Constraints: 121448
3479.12/3504.92 c #Conflicts: 2254000 | #Constraints: 122448
3479.12/3504.92 c #Conflicts: 2255000 | #Constraints: 123448
3479.12/3504.92 c #Conflicts: 2256000 | #Constraints: 124448
3479.12/3504.92 c INPROCESSING
3479.12/3504.92 c GARBAGE COLLECT
3479.12/3504.92 c rational objective 55
3493.39/3519.28 c #Conflicts: 2257000 | #Constraints: 95599
3493.39/3519.28 c #Conflicts: 2258000 | #Constraints: 96599
3493.39/3519.28 c #Conflicts: 2259000 | #Constraints: 97599
3493.39/3519.28 c #Conflicts: 2260000 | #Constraints: 98599
3493.39/3519.28 c #Conflicts: 2261000 | #Constraints: 99599
3493.39/3519.28 c #Conflicts: 2262000 | #Constraints: 100599
3493.39/3519.28 c #Conflicts: 2263000 | #Constraints: 101599
3493.39/3519.28 c #Conflicts: 2264000 | #Constraints: 102599
3493.39/3519.28 c #Conflicts: 2265000 | #Constraints: 103599
3493.39/3519.28 c #Conflicts: 2266000 | #Constraints: 104599
3493.39/3519.28 c #Conflicts: 2267000 | #Constraints: 105599
3493.39/3519.28 c #Conflicts: 2268000 | #Constraints: 106599
3493.39/3519.28 c #Conflicts: 2269000 | #Constraints: 107599
3493.39/3519.28 c #Conflicts: 2270000 | #Constraints: 108599
3493.39/3519.28 c #Conflicts: 2271000 | #Constraints: 109599
3493.39/3519.28 c #Conflicts: 2272000 | #Constraints: 110599
3493.39/3519.28 c #Conflicts: 2273000 | #Constraints: 111599
3493.39/3519.28 c #Conflicts: 2274000 | #Constraints: 112599
3493.39/3519.28 c #Conflicts: 2275000 | #Constraints: 113599
3493.39/3519.28 c #Conflicts: 2276000 | #Constraints: 114599
3493.39/3519.28 c #Conflicts: 2277000 | #Constraints: 115599
3493.39/3519.28 c #Conflicts: 2278000 | #Constraints: 116599
3493.39/3519.28 c #Conflicts: 2279000 | #Constraints: 117599
3493.39/3519.28 c #Conflicts: 2280000 | #Constraints: 118599
3493.39/3519.28 c #Conflicts: 2281000 | #Constraints: 119599
3493.39/3519.28 c #Conflicts: 2282000 | #Constraints: 120599
3493.39/3519.28 c #Conflicts: 2283000 | #Constraints: 121599
3493.39/3519.28 c #Conflicts: 2284000 | #Constraints: 122599
3493.39/3519.28 c #Conflicts: 2285000 | #Constraints: 123599
3493.39/3519.28 c #Conflicts: 2286000 | #Constraints: 124599
3493.39/3519.28 c INPROCESSING
3493.39/3519.28 c GARBAGE COLLECT
3493.39/3519.28 c rational objective 55
3543.46/3569.43 c #Conflicts: 2287000 | #Constraints: 95654
3543.46/3569.43 c #Conflicts: 2288000 | #Constraints: 96654
3543.46/3569.43 c #Conflicts: 2289000 | #Constraints: 97654
3543.46/3569.43 c #Conflicts: 2290000 | #Constraints: 98655
3543.46/3569.43 c #Conflicts: 2291000 | #Constraints: 99655
3543.46/3569.43 c #Conflicts: 2292000 | #Constraints: 100655
3543.46/3569.43 c #Conflicts: 2293000 | #Constraints: 101655
3543.46/3569.43 c #Conflicts: 2294000 | #Constraints: 102655
3543.46/3569.43 c #Conflicts: 2295000 | #Constraints: 103655
3543.46/3569.43 c #Conflicts: 2296000 | #Constraints: 104655
3543.46/3569.43 c #Conflicts: 2297000 | #Constraints: 105655
3543.46/3569.43 c #Conflicts: 2298000 | #Constraints: 106655
3543.46/3569.43 c #Conflicts: 2299000 | #Constraints: 107655
3543.46/3569.43 c #Conflicts: 2300000 | #Constraints: 108655
3543.46/3569.43 c #Conflicts: 2301000 | #Constraints: 109655
3543.46/3569.43 c #Conflicts: 2302000 | #Constraints: 110655
3543.46/3569.43 c #Conflicts: 2303000 | #Constraints: 111655
3543.46/3569.43 c #Conflicts: 2304000 | #Constraints: 112655
3543.46/3569.43 c #Conflicts: 2305000 | #Constraints: 113655
3543.46/3569.43 c #Conflicts: 2306000 | #Constraints: 114655
3543.46/3569.43 c #Conflicts: 2307000 | #Constraints: 115655
3543.46/3569.43 c #Conflicts: 2308000 | #Constraints: 116655
3543.46/3569.43 c #Conflicts: 2309000 | #Constraints: 117655
3543.46/3569.43 c #Conflicts: 2310000 | #Constraints: 118655
3543.46/3569.43 c #Conflicts: 2311000 | #Constraints: 119670
3543.46/3569.43 c #Conflicts: 2312000 | #Constraints: 121008
3543.46/3569.43 c #Conflicts: 2313000 | #Constraints: 122525
3543.46/3569.43 c #Conflicts: 2314000 | #Constraints: 124030
3543.46/3569.43 c #Conflicts: 2315000 | #Constraints: 125561
3543.46/3569.43 c #Conflicts: 2316000 | #Constraints: 127083
3543.46/3569.43 c INPROCESSING
3543.46/3569.43 c GARBAGE COLLECT
3543.46/3569.43 c rational objective 55
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (50916 MiB free)
memory of node 1: 64507 MiB (48500 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532638-1752684934/watcher-4532638-1752684934 -o /tmp/evaluation-result-4532638-1752684934/solver-4532638-1752684934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752684934-138726 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532638-1752684934.opb PROOFDIR/proof-4532638-1752684934
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=138764, runsolver pid=138757
[startup+0.100108 s]*
/proc/loadavg: 2.24 2.12 2.06 6/250 138767
/proc/meminfo: memFree=101746388/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138767] ppid=138764 vsize=37428 memory=24676 CPUtime=0.09 cores=0,2
/proc/138767/stat : 138767 (pbsuma) R 138764 138764 138383 0 -1 4194304 6204 0 0 0 6 3 0 0 20 0 1 0 184172352 38326272 6169 18446744073709551615 4210688 4653049 140730935831968 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22646784 140730935838945 140730935839280 140730935839280 140730935844847 0
/proc/138767/statm: 9357 6169 992 108 0 6765 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41620 KiB
Current children cumulated memory: 27620 KiB
[startup+0.213757 s]*
/proc/loadavg: 2.24 2.12 2.06 6/248 138767
/proc/meminfo: memFree=101730260/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138767] ppid=138764 vsize=44464 memory=29040 CPUtime=0.2 cores=0,2
/proc/138767/stat : 138767 (pbsuma) R 138764 138764 138383 0 -1 4194304 8127 0 0 0 17 3 0 0 20 0 1 0 184172352 45531136 7260 18446744073709551615 4210688 4653049 140730935831968 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22646784 140730935838945 140730935839280 140730935839280 140730935844847 0
/proc/138767/statm: 11116 7260 1024 108 0 8524 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48656 KiB
Current children cumulated memory: 31984 KiB
[startup+0.313576 s]*
/proc/loadavg: 2.24 2.12 2.06 6/248 138768
/proc/meminfo: memFree=101699144/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138767] ppid=138764 vsize=40860 memory=29208 CPUtime=0.3 cores=0,2
/proc/138767/stat : 138767 (pbsuma) R 138764 138764 138383 0 -1 4194304 10719 0 0 0 26 4 0 0 20 0 1 0 184172352 41840640 7302 18446744073709551615 4210688 4653049 140730935831968 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22646784 140730935838945 140730935839280 140730935839280 140730935844847 0
/proc/138767/statm: 10215 7302 1024 108 0 7623 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45052 KiB
Current children cumulated memory: 32152 KiB
[startup+0.700314 s]
/proc/loadavg: 2.24 2.12 2.06 6/254 138778
/proc/meminfo: memFree=101570284/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138767] ppid=138764 vsize=40860 memory=29336 CPUtime=0.67 cores=0,2
/proc/138767/stat : 138767 (pbsuma) R 138764 138764 138383 0 -1 4194304 10779 0 0 0 62 5 0 0 20 0 1 0 184172352 41840640 7334 18446744073709551615 4210688 4653049 140730935831968 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 22646784 140730935838945 140730935839280 140730935839280 140730935844847 0
/proc/138767/statm: 10215 7334 1024 108 0 7623 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 45052 KiB
Current children cumulated memory: 32280 KiB
[startup+1.50026 s]
/proc/loadavg: 2.24 2.12 2.06 6/252 138778
/proc/meminfo: memFree=101368956/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3.11347 s]
/proc/loadavg: 2.24 2.12 2.06 6/259 138792
/proc/meminfo: memFree=100112264/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=145248 memory=100396 CPUtime=1.7 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 14881 0 0 0 157 13 0 0 20 0 1 0 184172490 148733952 25099 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 36312 25099 2368 1147 0 23738 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 149440 KiB
Current children cumulated memory: 103340 KiB
[startup+6.30032 s]
/proc/loadavg: 2.38 2.15 2.07 6/259 138793
/proc/meminfo: memFree=99852768/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=148100 memory=104364 CPUtime=4.87 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 15896 0 0 0 470 17 0 0 20 0 1 0 184172490 151654400 26091 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 37025 26091 2368 1147 0 24451 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 152292 KiB
Current children cumulated memory: 107308 KiB
[startup+12.7003 s]
/proc/loadavg: 2.51 2.19 2.08 6/259 138794
/proc/meminfo: memFree=100271276/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=159788 memory=113268 CPUtime=11.26 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 18010 0 0 0 1100 26 0 0 20 0 1 0 184172490 163622912 28317 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 39947 28317 2400 1147 0 27373 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 163980 KiB
Current children cumulated memory: 116212 KiB
[startup+25.5004 s]
/proc/loadavg: 2.84 2.27 2.11 6/257 138808
/proc/meminfo: memFree=100230476/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=165284 memory=118900 CPUtime=24.02 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 19394 0 0 0 2371 31 0 0 20 0 1 0 184172490 169250816 29725 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 41321 29725 2400 1147 0 28747 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 169476 KiB
Current children cumulated memory: 121844 KiB
[startup+51.1133 s]
/proc/loadavg: 3.31 2.43 2.17 6/260 138892
/proc/meminfo: memFree=100770444/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=166572 memory=119668 CPUtime=49.54 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 19598 0 0 0 4890 64 0 0 20 0 1 0 184172490 170569728 29917 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 41643 29917 2400 1147 0 29069 0
Current children cumulated CPU time: 50.7 s
Current children cumulated vsize: 170764 KiB
Current children cumulated memory: 122612 KiB
[startup+102.3 s]
/proc/loadavg: 3.77 2.69 2.27 6/260 138893
/proc/meminfo: memFree=100682348/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=181528 memory=131860 CPUtime=100.57 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 22121 0 0 0 9936 121 0 0 20 0 1 0 184172490 185884672 32965 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 45382 32965 2400 1147 0 32808 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 185720 KiB
Current children cumulated memory: 134804 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.95 2.39 6/259 138895
/proc/meminfo: memFree=100601668/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=186020 memory=143764 CPUtime=160.37 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 23155 0 0 0 15882 155 0 0 20 0 1 0 184172490 190484480 35941 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 46505 35941 2400 1147 0 33931 0
Current children cumulated CPU time: 161.53 s
Current children cumulated vsize: 190212 KiB
Current children cumulated memory: 146708 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.16 2.50 6/259 138897
/proc/meminfo: memFree=100593080/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=186368 memory=143764 CPUtime=220.2 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 23159 0 0 0 21843 177 0 0 20 0 1 0 184172490 190840832 35941 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 46592 35941 2400 1147 0 34018 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 190560 KiB
Current children cumulated memory: 146708 KiB
################
# More data... #
################
/proc/meminfo: memFree=98692476/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=387280 memory=322452 CPUtime=3255.93 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 54859 0 0 0 323098 2495 0 0 20 0 1 0 184172490 396574720 80613 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 96820 80613 2400 1147 0 84246 0
Current children cumulated CPU time: 3257.09 s
Current children cumulated vsize: 391472 KiB
Current children cumulated memory: 325396 KiB
[startup+3342.3 s]
/proc/loadavg: 3.08 3.16 3.50 4/247 139090
/proc/meminfo: memFree=98633300/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=393412 memory=328212 CPUtime=3315.76 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 55774 0 0 0 329046 2530 0 0 20 0 1 0 184172490 402853888 82053 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 98353 82053 2400 1147 0 85779 0
Current children cumulated CPU time: 3316.92 s
Current children cumulated vsize: 397604 KiB
Current children cumulated memory: 331156 KiB
[startup+3402.3 s]
/proc/loadavg: 3.07 3.14 3.47 4/247 139092
/proc/meminfo: memFree=98614144/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=397852 memory=333588 CPUtime=3375.61 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 56612 0 0 0 335015 2546 0 0 20 0 1 0 184172490 407400448 83397 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 99463 83397 2400 1147 0 86889 0
Current children cumulated CPU time: 3376.77 s
Current children cumulated vsize: 402044 KiB
Current children cumulated memory: 336532 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.15 3.45 4/247 139094
/proc/meminfo: memFree=98580900/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=397852 memory=333588 CPUtime=3435.46 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 56619 0 0 0 340955 2591 0 0 20 0 1 0 184172490 407400448 83397 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 99463 83397 2400 1147 0 86889 0
Current children cumulated CPU time: 3436.62 s
Current children cumulated vsize: 402044 KiB
Current children cumulated memory: 336532 KiB
[startup+3522.3 s]
/proc/loadavg: 3.04 3.12 3.42 4/248 139103
/proc/meminfo: memFree=98524588/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=397852 memory=333588 CPUtime=3495.32 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 56624 0 0 0 346898 2634 0 0 20 0 1 0 184172490 407400448 83397 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 99463 83397 2400 1147 0 86889 0
Current children cumulated CPU time: 3496.48 s
Current children cumulated vsize: 402044 KiB
Current children cumulated memory: 336532 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.12 3.40 4/248 139105
/proc/meminfo: memFree=98487992/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=403392 memory=339092 CPUtime=3555.17 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 57490 0 0 0 352849 2668 0 0 20 0 1 0 184172490 413073408 84773 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 100848 84773 2400 1147 0 88274 0
Current children cumulated CPU time: 3556.33 s
Current children cumulated vsize: 407584 KiB
Current children cumulated memory: 342036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3626.11 s]
/proc/loadavg: 3.13 3.12 3.38 4/248 139107
/proc/meminfo: memFree=98457292/131382112 swapFree=33009904/33010684
[pid=138764] ppid=138757 vsize=4192 memory=2944 CPUtime=1.16 cores=0,2
/proc/138764/stat : 138764 (run-opt-break-l) S 138757 138764 138383 0 -1 4194304 241 11454 0 0 0 0 97 19 20 0 1 0 184172351 4292608 736 18446744073709551615 93998617702400 93998618596933 140730144255760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93998618835984 93998618883728 93998644752384 140730144262419 140730144262620 140730144262620 140730144268224 0
/proc/138764/statm: 1048 736 672 219 0 110 0
[pid=138791] ppid=138764 vsize=408884 memory=344596 CPUtime=3598.87 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138764 138764 138383 0 -1 4194304 57841 0 0 0 357204 2683 0 0 20 0 1 0 184172490 418697216 86149 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 102221 86149 2400 1147 0 89647 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 413076 KiB
Current children cumulated memory: 347540 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3626.12 s]
# the end of solver process 138764 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.973208 s, system=0.198222 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3628.12 s]
# the end of solver process 138791 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3575.01 s, system=27.0422 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3627.2 s]
/proc/loadavg: 3.13 3.12 3.38 4/247 139107
/proc/meminfo: memFree=98457300/131382112 swapFree=33009904/33010684
[pid=138791] ppid=138757 vsize=408884 memory=344596 CPUtime=3599.97 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138757 138764 138383 0 -1 4194304 57841 0 0 0 357313 2684 0 0 20 0 1 0 184172490 418697216 86149 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 102221 86149 2400 1147 0 89647 0
Current cumulated CPU time of completed processes: 1.17143 s
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 408884 KiB
Current children cumulated memory: 344596 KiB
[startup+3627.6 s]
/proc/loadavg: 3.13 3.12 3.38 4/247 139107
/proc/meminfo: memFree=98457300/131382112 swapFree=33009904/33010684
[pid=138791] ppid=138757 vsize=408884 memory=344596 CPUtime=3600.37 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138757 138764 138383 0 -1 4194304 57841 0 0 0 357353 2684 0 0 20 0 1 0 184172490 418697216 86149 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 102221 86149 2400 1147 0 89647 0
Current cumulated CPU time of completed processes: 1.17143 s
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 408884 KiB
Current children cumulated memory: 344596 KiB
[startup+3628 s]*
/proc/loadavg: 3.13 3.12 3.38 4/247 139107
/proc/meminfo: memFree=98457300/131382112 swapFree=33009904/33010684
[pid=138791] ppid=138757 vsize=408884 memory=344596 CPUtime=3600.77 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138757 138764 138383 0 -1 4194304 57841 0 0 0 357393 2684 0 0 20 0 1 0 184172490 418697216 86149 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 102221 86149 2400 1147 0 89647 0
Current cumulated CPU time of completed processes: 1.17143 s
Current children cumulated CPU time: 3600.77 s
Current children cumulated vsize: 408884 KiB
Current children cumulated memory: 344596 KiB
[startup+3628.11 s]
/proc/loadavg: 3.13 3.12 3.38 4/247 139107
/proc/meminfo: memFree=98457300/131382112 swapFree=33009904/33010684
[pid=138791] ppid=138757 vsize=408884 memory=344596 CPUtime=3600.88 cores=0,2
/proc/138791/stat : 138791 (roundingsat) R 138757 138764 138383 0 -1 4194304 57841 0 0 0 357404 2684 0 0 20 0 1 0 184172490 418697216 86149 18446744073709551615 4227072 8923577 140724223136064 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 26664960 140724223138066 140724223138342 140724223138342 140724223143914 0
/proc/138791/statm: 102221 86149 2400 1147 0 89647 0
Current cumulated CPU time of completed processes: 1.17143 s
Current children cumulated CPU time: 3600.88 s
Current children cumulated vsize: 408884 KiB
Current children cumulated memory: 344596 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3628.12
CPU time (s): 3602.06
CPU user time (s): 3575.01
CPU system time (s): 27.0422
CPU usage (%): 99.2817
Max. virtual memory (cumulated for all children) (KiB): 413076
Max. memory (cumulated for all children) (KiB): 347540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.01
system time used= 27.0422
maximum resident set size= 344596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69536
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1610856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4668
involuntary context switches= 8208
# summary of solver processes directly reported to runsolver:
# pid: 138764,138791
# total CPU time (s): 3602.06
# total CPU user time (s): 3575.01
# total CPU system time (s): 27.0422
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7247 second user time and 35.9569 second system time
The end
Begin job on nodeC001 at 2025-07-16 18:55:35
IDJOB=4532638
IDBENCH=158385
IDSOLVER=3393
FILE ID=nodeC001/4532638-1752684934
RUNJOBID= nodeC001-1752684934-138726
SLURM_JOB_ID= 9686896
Free space on /tmp= 432220 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug5.5.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532638-1752684934/watcher-4532638-1752684934 -o /tmp/evaluation-result-4532638-1752684934/solver-4532638-1752684934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1752684934-138726 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532638-1752684934.opb PROOFDIR/proof-4532638-1752684934
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 14fbf9ee541b990313b1cac62bdb8872
RANDOM SEED=193331390
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.163
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.913
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.399
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.157
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.207
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.292
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.554
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.115
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 101824304 kB
MemAvailable: 129937144 kB
Buffers: 1668 kB
Cached: 28887104 kB
SwapCached: 128 kB
Active: 514856 kB
Inactive: 28458044 kB
Active(anon): 82288 kB
Inactive(anon): 27808 kB
Active(file): 432568 kB
Inactive(file): 28430236 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28912 kB
Writeback: 4 kB
AnonPages: 87100 kB
Mapped: 107276 kB
Shmem: 25968 kB
KReclaimable: 178940 kB
Slab: 270276 kB
SReclaimable: 178940 kB
SUnreclaim: 91336 kB
KernelStack: 3888 kB
PageTables: 2792 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 367728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432196 MiB
End job on nodeC001 at 2025-07-16 19:56:03