0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507819-1751494054.opb'
0.00/0.02 c read 1.14MB (15.50ms)
0.00/0.02 c [cnf: #variables 9632 #clauses 29621 #duplicates 0 #arr 104186]
0.00/0.02 c output proof to 'PROOFDIR/proof-4507819-1751494054'
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 2752] (17.86ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07 c found row 11x688, generating row predicate
0.00/0.07 c (29.97ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 82875 #edges 295616]
0.00/0.07 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.11 c [group: #symmetries 1.24*10^7 #generators 13] (34.99ms)
0.09/0.11 c
0.09/0.11 c optimize generators (opt_passes=64, conjugate_limit=256)
0.09/0.11 c ran it=0, +gens=2
0.19/0.23 c con best_support=1376, best_gens=13, +gens=224
0.19/0.23 c (127.56ms)
0.19/0.23 c
0.19/0.23 c finalize break order and special generators
0.19/0.23 c
0.19/0.23 c add generic predicates (break_depth=20)
0.19/0.24 c added predicates for 239 generators (1.78ms)
0.49/0.54 c
0.49/0.54 c generation finished
0.49/0.54 c [sbp: #constraints 34482 #add_vars 11411]
0.49/0.54 c
0.49/0.54 c write result to 'HOME/instance-4507819-1751494054.opb.pre'
0.49/0.54 c wrote 2.47MB (5.37ms)
0.49/0.54 c ------------------------------------------------------------------
0.49/0.54 c 303.47ms 56.42% other
0.49/0.54 c 127.56ms 23.71% optimize_gens
0.49/0.54 c 34.99ms 6.50% detect_generic
0.49/0.54 c 29.97ms 5.57% detect_special
0.49/0.54 c 17.86ms 3.32% approx_orbits
0.49/0.54 c 15.50ms 2.88% parse
0.49/0.54 c 5.37ms 1.00% output
0.49/0.54 c 1.78ms 0.33% break_generic
0.49/0.54 c 1.40ms 0.26% finalize_order
0.49/0.54 c ───────────────────────────────────────────────
0.49/0.54 c 537.89ms 100% total
0.49/0.54 c ------------------------------------------------------------------
0.55/0.69 c RoundingSat 2
0.55/0.69 c branch pb25
0.55/0.69 c commit 63f22ad
0.86/1.05 c #variables 21043 #constraints 64102
0.86/1.05 c objective is ce32
0.86/1.05 c initial watched CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
0.86/1.05 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.86/1.05 c bounds - >= 0 @ 0.286662
7.74/7.93 c #Conflicts: 1000 | #Constraints: 65101
7.74/7.93 c #Conflicts: 2000 | #Constraints: 66101
7.74/7.93 c INPROCESSING
7.74/7.93 c #Conflicts: 3000 | #Constraints: 66127
7.74/7.93 c #Conflicts: 4000 | #Constraints: 67127
7.74/7.93 c INPROCESSING
7.74/7.93 c GARBAGE COLLECT
7.74/7.93 c #Conflicts: 5000 | #Constraints: 66534
7.74/7.93 c #Conflicts: 6000 | #Constraints: 67534
7.74/7.93 c INPROCESSING
7.74/7.93 c bounds - >= 10 @ 7.03614
28.39/28.62 c #Conflicts: 7000 | #Constraints: 66546
28.39/28.62 c #Conflicts: 8000 | #Constraints: 67546
28.39/28.62 c #Conflicts: 9000 | #Constraints: 68546
28.39/28.62 c INPROCESSING
28.39/28.62 c GARBAGE COLLECT
28.39/28.62 c #Conflicts: 10000 | #Constraints: 67249
28.39/28.62 c #Conflicts: 11000 | #Constraints: 68249
28.39/28.62 c #Conflicts: 12000 | #Constraints: 69249
28.39/28.62 c INPROCESSING
28.39/28.62 c bounds 211 >= 10 @ 27.4581
28.39/28.64 c bounds 206 >= 10 @ 27.4696
28.39/28.65 c bounds 196 >= 10 @ 27.4756
28.39/28.66 c bounds 194 >= 10 @ 27.4806
28.49/28.70 c bounds 192 >= 10 @ 27.501
28.49/28.73 c bounds 189 >= 10 @ 27.5212
28.49/28.74 c bounds 184 >= 10 @ 27.5301
28.49/28.75 c bounds 182 >= 10 @ 27.5381
28.49/28.76 c bounds 180 >= 10 @ 27.5435
28.59/28.81 c #Conflicts: 13000 | #Constraints: 67722
28.59/28.81 c bounds 170 >= 10 @ 27.581
28.59/28.82 c bounds 168 >= 10 @ 27.5894
28.69/28.97 c #Conflicts: 14000 | #Constraints: 68724
28.69/28.97 c #Conflicts: 15000 | #Constraints: 69724
28.69/28.97 c INPROCESSING
28.69/28.97 c GARBAGE COLLECT
28.69/28.97 c bounds 168 >= 15 @ 27.7234
28.69/28.99 c bounds 168 >= 20 @ 27.7397
28.69/28.99 c bounds 168 >= 25 @ 27.7447
28.69/29.00 c bounds 168 >= 30 @ 27.7502
28.79/29.00 c bounds 168 >= 35 @ 27.7567
30.69/30.93 c #Conflicts: 16000 | #Constraints: 68011
30.69/30.93 c #Conflicts: 17000 | #Constraints: 69011
30.69/30.93 c #Conflicts: 18000 | #Constraints: 70011
30.69/30.93 c INPROCESSING
30.69/30.93 c #Conflicts: 19000 | #Constraints: 67680
30.69/30.93 c bounds 165 >= 35 @ 29.6421
30.69/30.94 c bounds 163 >= 35 @ 29.6485
30.89/31.10 c #Conflicts: 20000 | #Constraints: 68682
30.89/31.10 c #Conflicts: 21000 | #Constraints: 69682
30.89/31.10 c INPROCESSING
30.89/31.10 c GARBAGE COLLECT
30.89/31.10 c bounds 163 >= 37 @ 29.7907
30.89/31.10 c bounds 163 >= 39 @ 29.7916
30.89/31.10 c bounds 163 >= 41 @ 29.7933
58.72/59.05 c #Conflicts: 22000 | #Constraints: 67709
58.72/59.05 c #Conflicts: 23000 | #Constraints: 68709
58.72/59.05 c #Conflicts: 24000 | #Constraints: 69709
58.72/59.05 c #Conflicts: 25000 | #Constraints: 70709
58.72/59.05 c INPROCESSING
58.72/59.05 c GARBAGE COLLECT
58.72/59.05 c rational objective 41
65.62/69.26 c #Conflicts: 26000 | #Constraints: 68391
65.62/69.26 c #Conflicts: 27000 | #Constraints: 69391
65.62/69.26 c #Conflicts: 28000 | #Constraints: 70391
65.62/69.26 c #Conflicts: 29000 | #Constraints: 71391
65.62/69.26 c INPROCESSING
65.62/69.26 c GARBAGE COLLECT
65.62/69.26 c #Conflicts: 30000 | #Constraints: 68842
65.62/69.26 c #Conflicts: 31000 | #Constraints: 69842
65.62/69.26 c #Conflicts: 32000 | #Constraints: 70842
65.62/69.26 c bounds 158 >= 41 @ 64.3326
65.73/69.36 c #Conflicts: 33000 | #Constraints: 71843
65.73/69.36 c INPROCESSING
65.73/69.36 c GARBAGE COLLECT
65.73/69.36 c bounds 156 >= 41 @ 64.4245
75.40/79.04 c bounds 156 >= 43 @ 74.0366
77.89/81.50 c #Conflicts: 34000 | #Constraints: 69079
77.89/81.50 c #Conflicts: 35000 | #Constraints: 70079
77.89/81.50 c #Conflicts: 36000 | #Constraints: 71079
77.89/81.50 c #Conflicts: 37000 | #Constraints: 72079
77.89/81.50 c INPROCESSING
77.89/81.50 c GARBAGE COLLECT
77.89/81.50 c #Conflicts: 38000 | #Constraints: 69086
77.89/81.50 c #Conflicts: 39000 | #Constraints: 70086
77.89/81.50 c #Conflicts: 40000 | #Constraints: 71086
77.89/81.50 c #Conflicts: 41000 | #Constraints: 72086
77.89/81.50 c INPROCESSING
77.89/81.50 c GARBAGE COLLECT
77.89/81.50 c #Conflicts: 42000 | #Constraints: 68877
77.89/81.50 c #Conflicts: 43000 | #Constraints: 69877
77.89/81.50 c #Conflicts: 44000 | #Constraints: 70877
77.89/81.50 c #Conflicts: 45000 | #Constraints: 71877
77.89/81.50 c #Conflicts: 46000 | #Constraints: 72877
77.89/81.50 c INPROCESSING
77.89/81.50 c GARBAGE COLLECT
77.89/81.50 c #Conflicts: 47000 | #Constraints: 69510
77.89/81.50 c #Conflicts: 48000 | #Constraints: 70511
77.89/81.50 c #Conflicts: 49000 | #Constraints: 71512
77.89/81.50 c #Conflicts: 50000 | #Constraints: 72512
77.89/81.50 c #Conflicts: 51000 | #Constraints: 73512
77.89/81.50 c INPROCESSING
77.89/81.50 c GARBAGE COLLECT
77.89/81.50 c bounds 153 >= 43 @ 76.356
77.89/81.51 c bounds 151 >= 43 @ 76.3632
88.66/92.33 c #Conflicts: 52000 | #Constraints: 69952
88.66/92.33 c #Conflicts: 53000 | #Constraints: 70952
88.66/92.33 c #Conflicts: 54000 | #Constraints: 71952
88.66/92.33 c #Conflicts: 55000 | #Constraints: 72952
88.66/92.33 c #Conflicts: 56000 | #Constraints: 73952
88.66/92.33 c INPROCESSING
88.66/92.33 c GARBAGE COLLECT
88.66/92.33 c rational objective 43
116.29/120.05 c #Conflicts: 57000 | #Constraints: 70219
116.29/120.05 c #Conflicts: 58000 | #Constraints: 71219
116.29/120.05 c #Conflicts: 59000 | #Constraints: 72220
116.29/120.05 c #Conflicts: 60000 | #Constraints: 73220
116.29/120.05 c #Conflicts: 61000 | #Constraints: 74220
116.29/120.05 c INPROCESSING
116.29/120.05 c GARBAGE COLLECT
116.29/120.05 c #Conflicts: 62000 | #Constraints: 70212
116.29/120.05 c #Conflicts: 63000 | #Constraints: 71213
116.29/120.05 c #Conflicts: 64000 | #Constraints: 72213
116.29/120.05 c #Conflicts: 65000 | #Constraints: 73213
116.29/120.05 c #Conflicts: 66000 | #Constraints: 74213
116.29/120.05 c INPROCESSING
116.29/120.05 c GARBAGE COLLECT
116.29/120.05 c rational objective 43
156.68/160.51 c #Conflicts: 67000 | #Constraints: 69978
156.68/160.51 c #Conflicts: 68000 | #Constraints: 70978
156.68/160.51 c #Conflicts: 69000 | #Constraints: 71978
156.68/160.51 c #Conflicts: 70000 | #Constraints: 72978
156.68/160.51 c #Conflicts: 71000 | #Constraints: 73978
156.68/160.51 c #Conflicts: 72000 | #Constraints: 74978
156.68/160.51 c INPROCESSING
156.68/160.51 c GARBAGE COLLECT
156.68/160.51 c #Conflicts: 73000 | #Constraints: 70566
156.68/160.51 c #Conflicts: 74000 | #Constraints: 71566
156.68/160.51 c #Conflicts: 75000 | #Constraints: 72566
156.68/160.51 c #Conflicts: 76000 | #Constraints: 73566
156.68/160.51 c #Conflicts: 77000 | #Constraints: 74566
156.68/160.51 c #Conflicts: 78000 | #Constraints: 75566
156.68/160.51 c INPROCESSING
156.68/160.51 c GARBAGE COLLECT
156.68/160.51 c rational objective 43
214.42/218.42 c #Conflicts: 79000 | #Constraints: 70986
214.42/218.42 c #Conflicts: 80000 | #Constraints: 71986
214.42/218.42 c #Conflicts: 81000 | #Constraints: 72986
214.42/218.42 c #Conflicts: 82000 | #Constraints: 73986
214.42/218.42 c #Conflicts: 83000 | #Constraints: 74986
214.42/218.42 c #Conflicts: 84000 | #Constraints: 75986
214.42/218.42 c INPROCESSING
214.42/218.42 c GARBAGE COLLECT
214.42/218.42 c #Conflicts: 85000 | #Constraints: 71167
214.42/218.42 c #Conflicts: 86000 | #Constraints: 72167
214.42/218.42 c #Conflicts: 87000 | #Constraints: 73167
214.42/218.42 c #Conflicts: 88000 | #Constraints: 74167
214.42/218.42 c #Conflicts: 89000 | #Constraints: 75167
214.42/218.42 c #Conflicts: 90000 | #Constraints: 76167
214.42/218.42 c INPROCESSING
214.42/218.42 c GARBAGE COLLECT
214.42/218.42 c rational objective 43
228.68/232.70 c #Conflicts: 91000 | #Constraints: 71159
228.68/232.70 c #Conflicts: 92000 | #Constraints: 72159
228.68/232.70 c #Conflicts: 93000 | #Constraints: 73159
228.68/232.70 c #Conflicts: 94000 | #Constraints: 74159
228.68/232.70 c #Conflicts: 95000 | #Constraints: 75159
228.68/232.70 c #Conflicts: 96000 | #Constraints: 76159
228.68/232.70 c INPROCESSING
228.68/232.70 c GARBAGE COLLECT
228.68/232.70 c #Conflicts: 97000 | #Constraints: 70945
228.68/232.70 c #Conflicts: 98000 | #Constraints: 71945
228.68/232.70 c #Conflicts: 99000 | #Constraints: 72945
228.68/232.70 c #Conflicts: 100000 | #Constraints: 73945
228.68/232.70 c #Conflicts: 101000 | #Constraints: 74945
228.68/232.70 c #Conflicts: 102000 | #Constraints: 75945
228.68/232.70 c #Conflicts: 103000 | #Constraints: 76945
228.68/232.70 c INPROCESSING
228.68/232.70 c GARBAGE COLLECT
228.68/232.70 c #Conflicts: 104000 | #Constraints: 71549
228.68/232.70 c #Conflicts: 105000 | #Constraints: 72550
228.68/232.70 c #Conflicts: 106000 | #Constraints: 73550
228.68/232.70 c #Conflicts: 107000 | #Constraints: 74550
228.68/232.70 c #Conflicts: 108000 | #Constraints: 75550
228.68/232.70 c #Conflicts: 109000 | #Constraints: 76550
228.68/232.70 c #Conflicts: 110000 | #Constraints: 77550
228.68/232.70 c INPROCESSING
228.68/232.70 c GARBAGE COLLECT
228.68/232.70 c #Conflicts: 111000 | #Constraints: 71963
228.68/232.70 c #Conflicts: 112000 | #Constraints: 72963
228.68/232.70 c #Conflicts: 113000 | #Constraints: 73963
228.68/232.70 c #Conflicts: 114000 | #Constraints: 74963
228.68/232.70 c #Conflicts: 115000 | #Constraints: 75963
228.68/232.70 c #Conflicts: 116000 | #Constraints: 76963
228.68/232.70 c #Conflicts: 117000 | #Constraints: 77963
228.68/232.70 c INPROCESSING
228.68/232.70 c GARBAGE COLLECT
228.68/232.70 c rational objective 43
254.02/258.11 c #Conflicts: 118000 | #Constraints: 72233
254.02/258.11 c #Conflicts: 119000 | #Constraints: 73234
254.02/258.11 c #Conflicts: 120000 | #Constraints: 74234
254.02/258.11 c #Conflicts: 121000 | #Constraints: 75234
254.02/258.11 c #Conflicts: 122000 | #Constraints: 76234
254.02/258.11 c #Conflicts: 123000 | #Constraints: 77234
254.02/258.11 c #Conflicts: 124000 | #Constraints: 78234
254.02/258.11 c INPROCESSING
254.02/258.11 c GARBAGE COLLECT
254.02/258.11 c #Conflicts: 125000 | #Constraints: 72208
254.02/258.11 c #Conflicts: 126000 | #Constraints: 73208
254.02/258.11 c #Conflicts: 127000 | #Constraints: 74208
254.02/258.11 c #Conflicts: 128000 | #Constraints: 75208
254.02/258.11 c #Conflicts: 129000 | #Constraints: 76208
254.02/258.11 c #Conflicts: 130000 | #Constraints: 77208
254.02/258.11 c #Conflicts: 131000 | #Constraints: 78208
254.02/258.11 c INPROCESSING
254.02/258.11 c GARBAGE COLLECT
254.02/258.11 c rational objective 43
308.37/312.68 c #Conflicts: 132000 | #Constraints: 71979
308.37/312.68 c #Conflicts: 133000 | #Constraints: 72979
308.37/312.68 c #Conflicts: 134000 | #Constraints: 73979
308.37/312.68 c #Conflicts: 135000 | #Constraints: 74979
308.37/312.68 c #Conflicts: 136000 | #Constraints: 75979
308.37/312.68 c #Conflicts: 137000 | #Constraints: 76979
308.37/312.68 c #Conflicts: 138000 | #Constraints: 77979
308.37/312.68 c #Conflicts: 139000 | #Constraints: 78979
308.37/312.68 c INPROCESSING
308.37/312.68 c GARBAGE COLLECT
308.37/312.68 c rational objective 43
388.95/393.48 c #Conflicts: 140000 | #Constraints: 72633
388.95/393.48 c #Conflicts: 141000 | #Constraints: 73633
388.95/393.48 c #Conflicts: 142000 | #Constraints: 74633
388.95/393.48 c #Conflicts: 143000 | #Constraints: 75633
388.95/393.48 c #Conflicts: 144000 | #Constraints: 76633
388.95/393.48 c #Conflicts: 145000 | #Constraints: 77633
388.95/393.48 c #Conflicts: 146000 | #Constraints: 78633
388.95/393.48 c #Conflicts: 147000 | #Constraints: 79633
388.95/393.48 c INPROCESSING
388.95/393.48 c GARBAGE COLLECT
388.95/393.48 c #Conflicts: 148000 | #Constraints: 73027
388.95/393.48 c #Conflicts: 149000 | #Constraints: 74027
388.95/393.48 c #Conflicts: 150000 | #Constraints: 75027
388.95/393.48 c #Conflicts: 151000 | #Constraints: 76027
388.95/393.48 c #Conflicts: 152000 | #Constraints: 77027
388.95/393.48 c #Conflicts: 153000 | #Constraints: 78027
388.95/393.48 c #Conflicts: 154000 | #Constraints: 79027
388.95/393.48 c #Conflicts: 155000 | #Constraints: 80027
388.95/393.48 c INPROCESSING
388.95/393.48 c GARBAGE COLLECT
388.95/393.48 c #Conflicts: 156000 | #Constraints: 73241
388.95/393.48 c #Conflicts: 157000 | #Constraints: 74242
388.95/393.48 c #Conflicts: 158000 | #Constraints: 75242
388.95/393.48 c #Conflicts: 159000 | #Constraints: 76242
388.95/393.48 c #Conflicts: 160000 | #Constraints: 77242
388.95/393.48 c #Conflicts: 161000 | #Constraints: 78242
388.95/393.48 c #Conflicts: 162000 | #Constraints: 79242
388.95/393.48 c #Conflicts: 163000 | #Constraints: 80242
388.95/393.48 c INPROCESSING
388.95/393.48 c GARBAGE COLLECT
388.95/393.48 c rational objective 43
416.88/421.41 c #Conflicts: 164000 | #Constraints: 73226
416.88/421.41 c #Conflicts: 165000 | #Constraints: 74226
416.88/421.41 c #Conflicts: 166000 | #Constraints: 75226
416.88/421.41 c #Conflicts: 167000 | #Constraints: 76226
416.88/421.41 c #Conflicts: 168000 | #Constraints: 77226
416.88/421.41 c #Conflicts: 169000 | #Constraints: 78226
416.88/421.41 c #Conflicts: 170000 | #Constraints: 79226
416.88/421.41 c #Conflicts: 171000 | #Constraints: 80226
416.88/421.41 c INPROCESSING
416.88/421.41 c GARBAGE COLLECT
416.88/421.41 c #Conflicts: 172000 | #Constraints: 73024
416.88/421.41 c #Conflicts: 173000 | #Constraints: 74024
416.88/421.41 c #Conflicts: 174000 | #Constraints: 75024
416.88/421.41 c #Conflicts: 175000 | #Constraints: 76024
416.88/421.41 c #Conflicts: 176000 | #Constraints: 77024
416.88/421.41 c #Conflicts: 177000 | #Constraints: 78024
416.88/421.41 c #Conflicts: 178000 | #Constraints: 79024
416.88/421.41 c #Conflicts: 179000 | #Constraints: 80024
416.88/421.41 c #Conflicts: 180000 | #Constraints: 81024
416.88/421.41 c INPROCESSING
416.88/421.41 c GARBAGE COLLECT
416.88/421.41 c #Conflicts: 181000 | #Constraints: 73642
416.88/421.41 c #Conflicts: 182000 | #Constraints: 74642
416.88/421.41 c #Conflicts: 183000 | #Constraints: 75642
416.88/421.41 c #Conflicts: 184000 | #Constraints: 76642
416.88/421.41 c #Conflicts: 185000 | #Constraints: 77642
416.88/421.41 c #Conflicts: 186000 | #Constraints: 78642
416.88/421.41 c #Conflicts: 187000 | #Constraints: 79642
416.88/421.41 c #Conflicts: 188000 | #Constraints: 80642
416.88/421.41 c #Conflicts: 189000 | #Constraints: 81643
416.88/421.41 c INPROCESSING
416.88/421.41 c GARBAGE COLLECT
416.88/421.41 c rational objective 43
427.85/432.49 c #Conflicts: 190000 | #Constraints: 74058
427.85/432.49 c #Conflicts: 191000 | #Constraints: 75058
427.85/432.49 c #Conflicts: 192000 | #Constraints: 76058
427.85/432.49 c #Conflicts: 193000 | #Constraints: 77058
427.85/432.49 c #Conflicts: 194000 | #Constraints: 78058
427.85/432.49 c #Conflicts: 195000 | #Constraints: 79058
427.85/432.49 c #Conflicts: 196000 | #Constraints: 80058
427.85/432.49 c #Conflicts: 197000 | #Constraints: 81058
427.85/432.49 c #Conflicts: 198000 | #Constraints: 82058
427.85/432.49 c INPROCESSING
427.85/432.49 c GARBAGE COLLECT
427.85/432.49 c rational objective 43
491.28/496.05 c #Conflicts: 199000 | #Constraints: 74307
491.28/496.05 c #Conflicts: 200000 | #Constraints: 75307
491.28/496.05 c #Conflicts: 201000 | #Constraints: 76307
491.28/496.05 c #Conflicts: 202000 | #Constraints: 77307
491.28/496.05 c #Conflicts: 203000 | #Constraints: 78307
491.28/496.05 c #Conflicts: 204000 | #Constraints: 79307
491.28/496.05 c #Conflicts: 205000 | #Constraints: 80307
491.28/496.05 c #Conflicts: 206000 | #Constraints: 81307
491.28/496.05 c #Conflicts: 207000 | #Constraints: 82307
491.28/496.05 c INPROCESSING
491.28/496.05 c GARBAGE COLLECT
491.28/496.05 c rational objective 43
519.71/524.58 c #Conflicts: 208000 | #Constraints: 74233
519.71/524.58 c #Conflicts: 209000 | #Constraints: 75233
519.71/524.58 c #Conflicts: 210000 | #Constraints: 76233
519.71/524.58 c #Conflicts: 211000 | #Constraints: 77233
519.71/524.58 c #Conflicts: 212000 | #Constraints: 78233
519.71/524.58 c #Conflicts: 213000 | #Constraints: 79233
519.71/524.58 c #Conflicts: 214000 | #Constraints: 80233
519.71/524.58 c #Conflicts: 215000 | #Constraints: 81233
519.71/524.58 c #Conflicts: 216000 | #Constraints: 82233
519.71/524.58 c INPROCESSING
519.71/524.58 c GARBAGE COLLECT
519.71/524.58 c #Conflicts: 217000 | #Constraints: 74024
519.71/524.58 c #Conflicts: 218000 | #Constraints: 75024
519.71/524.58 c #Conflicts: 219000 | #Constraints: 76024
519.71/524.58 c #Conflicts: 220000 | #Constraints: 77024
519.71/524.58 c #Conflicts: 221000 | #Constraints: 78025
519.71/524.58 c #Conflicts: 222000 | #Constraints: 79025
519.71/524.58 c #Conflicts: 223000 | #Constraints: 80025
519.71/524.58 c #Conflicts: 224000 | #Constraints: 81025
519.71/524.58 c #Conflicts: 225000 | #Constraints: 82025
519.71/524.58 c #Conflicts: 226000 | #Constraints: 83025
519.71/524.58 c INPROCESSING
519.71/524.58 c GARBAGE COLLECT
519.71/524.58 c #Conflicts: 227000 | #Constraints: 74604
519.71/524.58 c #Conflicts: 228000 | #Constraints: 75604
519.71/524.58 c #Conflicts: 229000 | #Constraints: 76604
519.71/524.58 c #Conflicts: 230000 | #Constraints: 77605
519.71/524.58 c #Conflicts: 231000 | #Constraints: 78605
519.71/524.58 c #Conflicts: 232000 | #Constraints: 79605
519.71/524.58 c #Conflicts: 233000 | #Constraints: 80605
519.71/524.58 c #Conflicts: 234000 | #Constraints: 81605
519.71/524.58 c #Conflicts: 235000 | #Constraints: 82605
519.71/524.58 c #Conflicts: 236000 | #Constraints: 83605
519.71/524.58 c INPROCESSING
519.71/524.58 c GARBAGE COLLECT
519.71/524.58 c rational objective 43
531.57/536.42 c #Conflicts: 237000 | #Constraints: 75043
531.57/536.42 c #Conflicts: 238000 | #Constraints: 76043
531.57/536.42 c #Conflicts: 239000 | #Constraints: 77043
531.57/536.42 c #Conflicts: 240000 | #Constraints: 78043
531.57/536.42 c #Conflicts: 241000 | #Constraints: 79043
531.57/536.42 c #Conflicts: 242000 | #Constraints: 80043
531.57/536.42 c #Conflicts: 243000 | #Constraints: 81043
531.57/536.42 c #Conflicts: 244000 | #Constraints: 82043
531.57/536.42 c #Conflicts: 245000 | #Constraints: 83043
531.57/536.42 c #Conflicts: 246000 | #Constraints: 84043
531.57/536.42 c INPROCESSING
531.57/536.42 c GARBAGE COLLECT
531.57/536.42 c rational objective 43
546.14/551.06 c #Conflicts: 247000 | #Constraints: 75315
546.14/551.06 c #Conflicts: 248000 | #Constraints: 76315
546.14/551.06 c #Conflicts: 249000 | #Constraints: 77315
546.14/551.06 c #Conflicts: 250000 | #Constraints: 78315
546.14/551.06 c #Conflicts: 251000 | #Constraints: 79315
546.14/551.06 c #Conflicts: 252000 | #Constraints: 80315
546.14/551.06 c #Conflicts: 253000 | #Constraints: 81315
546.14/551.06 c #Conflicts: 254000 | #Constraints: 82315
546.14/551.06 c #Conflicts: 255000 | #Constraints: 83315
546.14/551.06 c #Conflicts: 256000 | #Constraints: 84315
546.14/551.06 c INPROCESSING
546.14/551.06 c GARBAGE COLLECT
546.14/551.06 c rational objective 43
563.69/568.63 c #Conflicts: 257000 | #Constraints: 75306
563.69/568.63 c #Conflicts: 258000 | #Constraints: 76306
563.69/568.63 c #Conflicts: 259000 | #Constraints: 77306
563.69/568.63 c #Conflicts: 260000 | #Constraints: 78306
563.69/568.63 c #Conflicts: 261000 | #Constraints: 79306
563.69/568.63 c #Conflicts: 262000 | #Constraints: 80306
563.69/568.63 c #Conflicts: 263000 | #Constraints: 81306
563.69/568.63 c #Conflicts: 264000 | #Constraints: 82306
563.69/568.63 c #Conflicts: 265000 | #Constraints: 83306
563.69/568.63 c #Conflicts: 266000 | #Constraints: 84306
563.69/568.63 c INPROCESSING
563.69/568.63 c GARBAGE COLLECT
563.69/568.63 c rational objective 43
631.21/636.32 c #Conflicts: 267000 | #Constraints: 75108
631.21/636.32 c #Conflicts: 268000 | #Constraints: 76109
631.21/636.32 c #Conflicts: 269000 | #Constraints: 77109
631.21/636.32 c #Conflicts: 270000 | #Constraints: 78109
631.21/636.32 c #Conflicts: 271000 | #Constraints: 79109
631.21/636.32 c #Conflicts: 272000 | #Constraints: 80109
631.21/636.32 c #Conflicts: 273000 | #Constraints: 81109
631.21/636.32 c #Conflicts: 274000 | #Constraints: 82109
631.21/636.32 c #Conflicts: 275000 | #Constraints: 83110
631.21/636.32 c #Conflicts: 276000 | #Constraints: 84110
631.21/636.32 c #Conflicts: 277000 | #Constraints: 85110
631.21/636.32 c INPROCESSING
631.21/636.32 c GARBAGE COLLECT
631.21/636.32 c rational objective 43
665.72/670.90 c #Conflicts: 278000 | #Constraints: 75681
665.72/670.90 c #Conflicts: 279000 | #Constraints: 76681
665.72/670.90 c #Conflicts: 280000 | #Constraints: 77681
665.72/670.90 c #Conflicts: 281000 | #Constraints: 78681
665.72/670.90 c #Conflicts: 282000 | #Constraints: 79681
665.72/670.90 c #Conflicts: 283000 | #Constraints: 80681
665.72/670.90 c #Conflicts: 284000 | #Constraints: 81681
665.72/670.90 c #Conflicts: 285000 | #Constraints: 82681
665.72/670.90 c #Conflicts: 286000 | #Constraints: 83681
665.72/670.90 c #Conflicts: 287000 | #Constraints: 84681
665.72/670.90 c #Conflicts: 288000 | #Constraints: 85681
665.72/670.90 c INPROCESSING
665.72/670.90 c GARBAGE COLLECT
665.72/670.90 c #Conflicts: 289000 | #Constraints: 76106
665.72/670.90 c #Conflicts: 290000 | #Constraints: 77106
665.72/670.90 c #Conflicts: 291000 | #Constraints: 78106
665.72/670.90 c #Conflicts: 292000 | #Constraints: 79106
665.72/670.90 c #Conflicts: 293000 | #Constraints: 80106
665.72/670.90 c #Conflicts: 294000 | #Constraints: 81107
665.72/670.90 c #Conflicts: 295000 | #Constraints: 82107
665.72/670.90 c #Conflicts: 296000 | #Constraints: 83107
665.72/670.90 c #Conflicts: 297000 | #Constraints: 84107
665.72/670.90 c #Conflicts: 298000 | #Constraints: 85107
665.72/670.90 c #Conflicts: 299000 | #Constraints: 86107
665.72/670.90 c INPROCESSING
665.72/670.90 c GARBAGE COLLECT
665.72/670.90 c #Conflicts: 300000 | #Constraints: 76316
665.72/670.90 c #Conflicts: 301000 | #Constraints: 77316
665.72/670.90 c #Conflicts: 302000 | #Constraints: 78316
665.72/670.90 c #Conflicts: 303000 | #Constraints: 79316
665.72/670.90 c #Conflicts: 304000 | #Constraints: 80316
665.72/670.90 c #Conflicts: 305000 | #Constraints: 81316
665.72/670.90 c #Conflicts: 306000 | #Constraints: 82316
665.72/670.90 c #Conflicts: 307000 | #Constraints: 83316
665.72/670.90 c #Conflicts: 308000 | #Constraints: 84316
665.72/670.90 c #Conflicts: 309000 | #Constraints: 85316
665.72/670.90 c #Conflicts: 310000 | #Constraints: 86317
665.72/670.90 c INPROCESSING
665.72/670.90 c GARBAGE COLLECT
665.72/670.90 c rational objective 43
678.59/683.82 c #Conflicts: 311000 | #Constraints: 76376
678.59/683.82 c #Conflicts: 312000 | #Constraints: 77376
678.59/683.82 c #Conflicts: 313000 | #Constraints: 78376
678.59/683.82 c #Conflicts: 314000 | #Constraints: 79376
678.59/683.82 c #Conflicts: 315000 | #Constraints: 80376
678.59/683.82 c #Conflicts: 316000 | #Constraints: 81376
678.59/683.82 c #Conflicts: 317000 | #Constraints: 82376
678.59/683.82 c #Conflicts: 318000 | #Constraints: 83376
678.59/683.82 c #Conflicts: 319000 | #Constraints: 84376
678.59/683.82 c #Conflicts: 320000 | #Constraints: 85376
678.59/683.82 c #Conflicts: 321000 | #Constraints: 86376
678.59/683.82 c INPROCESSING
678.59/683.82 c GARBAGE COLLECT
678.59/683.82 c rational objective 43
707.31/712.60 c #Conflicts: 322000 | #Constraints: 76206
707.31/712.60 c #Conflicts: 323000 | #Constraints: 77206
707.31/712.60 c #Conflicts: 324000 | #Constraints: 78206
707.31/712.60 c #Conflicts: 325000 | #Constraints: 79206
707.31/712.60 c #Conflicts: 326000 | #Constraints: 80206
707.31/712.60 c #Conflicts: 327000 | #Constraints: 81206
707.31/712.60 c #Conflicts: 328000 | #Constraints: 82206
707.31/712.60 c #Conflicts: 329000 | #Constraints: 83206
707.31/712.60 c #Conflicts: 330000 | #Constraints: 84206
707.31/712.60 c #Conflicts: 331000 | #Constraints: 85206
707.31/712.60 c #Conflicts: 332000 | #Constraints: 86206
707.31/712.60 c #Conflicts: 333000 | #Constraints: 87206
707.31/712.60 c INPROCESSING
707.31/712.60 c GARBAGE COLLECT
707.31/712.60 c rational objective 43
722.17/727.50 c #Conflicts: 334000 | #Constraints: 76767
722.17/727.50 c #Conflicts: 335000 | #Constraints: 77767
722.17/727.50 c #Conflicts: 336000 | #Constraints: 78767
722.17/727.50 c #Conflicts: 337000 | #Constraints: 79767
722.17/727.50 c #Conflicts: 338000 | #Constraints: 80767
722.17/727.50 c #Conflicts: 339000 | #Constraints: 81767
722.17/727.50 c #Conflicts: 340000 | #Constraints: 82767
722.17/727.50 c #Conflicts: 341000 | #Constraints: 83767
722.17/727.50 c #Conflicts: 342000 | #Constraints: 84767
722.17/727.50 c #Conflicts: 343000 | #Constraints: 85767
722.17/727.50 c #Conflicts: 344000 | #Constraints: 86767
722.17/727.50 c #Conflicts: 345000 | #Constraints: 87767
722.17/727.50 c INPROCESSING
722.17/727.50 c GARBAGE COLLECT
722.17/727.50 c rational objective 43
741.43/746.84 c #Conflicts: 346000 | #Constraints: 77225
741.43/746.84 c #Conflicts: 347000 | #Constraints: 78225
741.43/746.84 c #Conflicts: 348000 | #Constraints: 79225
741.43/746.84 c #Conflicts: 349000 | #Constraints: 80225
741.43/746.84 c #Conflicts: 350000 | #Constraints: 81225
741.43/746.84 c #Conflicts: 351000 | #Constraints: 82225
741.43/746.84 c #Conflicts: 352000 | #Constraints: 83225
741.43/746.84 c #Conflicts: 353000 | #Constraints: 84225
741.43/746.84 c #Conflicts: 354000 | #Constraints: 85225
741.43/746.84 c #Conflicts: 355000 | #Constraints: 86225
741.43/746.84 c #Conflicts: 356000 | #Constraints: 87225
741.43/746.84 c #Conflicts: 357000 | #Constraints: 88225
741.43/746.84 c INPROCESSING
741.43/746.84 c GARBAGE COLLECT
741.43/746.84 c rational objective 43
769.85/775.31 c #Conflicts: 358000 | #Constraints: 77417
769.85/775.31 c #Conflicts: 359000 | #Constraints: 78418
769.85/775.31 c #Conflicts: 360000 | #Constraints: 79418
769.85/775.31 c #Conflicts: 361000 | #Constraints: 80418
769.85/775.31 c #Conflicts: 362000 | #Constraints: 81418
769.85/775.31 c #Conflicts: 363000 | #Constraints: 82418
769.85/775.31 c #Conflicts: 364000 | #Constraints: 83418
769.85/775.31 c #Conflicts: 365000 | #Constraints: 84418
769.85/775.31 c #Conflicts: 366000 | #Constraints: 85418
769.85/775.31 c #Conflicts: 367000 | #Constraints: 86418
769.85/775.31 c #Conflicts: 368000 | #Constraints: 87418
769.85/775.31 c #Conflicts: 369000 | #Constraints: 88418
769.85/775.31 c INPROCESSING
769.85/775.31 c GARBAGE COLLECT
769.85/775.31 c rational objective 43
830.89/836.52 c #Conflicts: 370000 | #Constraints: 77361
830.89/836.52 c #Conflicts: 371000 | #Constraints: 78361
830.89/836.52 c #Conflicts: 372000 | #Constraints: 79361
830.89/836.52 c #Conflicts: 373000 | #Constraints: 80361
830.89/836.52 c #Conflicts: 374000 | #Constraints: 81361
830.89/836.52 c #Conflicts: 375000 | #Constraints: 82361
830.89/836.52 c #Conflicts: 376000 | #Constraints: 83361
830.89/836.52 c #Conflicts: 377000 | #Constraints: 84361
830.89/836.52 c #Conflicts: 378000 | #Constraints: 85361
830.89/836.52 c #Conflicts: 379000 | #Constraints: 86361
830.89/836.52 c #Conflicts: 380000 | #Constraints: 87361
830.89/836.52 c #Conflicts: 381000 | #Constraints: 88361
830.89/836.52 c INPROCESSING
830.89/836.52 c GARBAGE COLLECT
830.89/836.52 c rational objective 43
861.32/867.01 c #Conflicts: 382000 | #Constraints: 77194
861.32/867.01 c #Conflicts: 383000 | #Constraints: 78194
861.32/867.01 c #Conflicts: 384000 | #Constraints: 79195
861.32/867.01 c #Conflicts: 385000 | #Constraints: 80195
861.32/867.01 c #Conflicts: 386000 | #Constraints: 81195
861.32/867.01 c #Conflicts: 387000 | #Constraints: 82195
861.32/867.01 c #Conflicts: 388000 | #Constraints: 83195
861.32/867.01 c #Conflicts: 389000 | #Constraints: 84195
861.32/867.01 c #Conflicts: 390000 | #Constraints: 85195
861.32/867.01 c #Conflicts: 391000 | #Constraints: 86195
861.32/867.01 c #Conflicts: 392000 | #Constraints: 87195
861.32/867.01 c #Conflicts: 393000 | #Constraints: 88195
861.32/867.01 c #Conflicts: 394000 | #Constraints: 89195
861.32/867.01 c INPROCESSING
861.32/867.01 c GARBAGE COLLECT
861.32/867.01 c #Conflicts: 395000 | #Constraints: 77788
861.32/867.01 c #Conflicts: 396000 | #Constraints: 78788
861.32/867.01 c #Conflicts: 397000 | #Constraints: 79788
861.32/867.01 c #Conflicts: 398000 | #Constraints: 80788
861.32/867.01 c #Conflicts: 399000 | #Constraints: 81788
861.32/867.01 c #Conflicts: 400000 | #Constraints: 82788
861.32/867.01 c #Conflicts: 401000 | #Constraints: 83788
861.32/867.01 c #Conflicts: 402000 | #Constraints: 84788
861.32/867.01 c #Conflicts: 403000 | #Constraints: 85789
861.32/867.01 c #Conflicts: 404000 | #Constraints: 86789
861.32/867.01 c #Conflicts: 405000 | #Constraints: 87789
861.32/867.01 c #Conflicts: 406000 | #Constraints: 88790
861.32/867.01 c #Conflicts: 407000 | #Constraints: 89790
861.32/867.01 c INPROCESSING
861.32/867.01 c GARBAGE COLLECT
861.32/867.01 c rational objective 43
885.95/891.76 c #Conflicts: 408000 | #Constraints: 78191
885.95/891.76 c #Conflicts: 409000 | #Constraints: 79191
885.95/891.76 c #Conflicts: 410000 | #Constraints: 80191
885.95/891.76 c #Conflicts: 411000 | #Constraints: 81191
885.95/891.76 c #Conflicts: 412000 | #Constraints: 82191
885.95/891.76 c #Conflicts: 413000 | #Constraints: 83191
885.95/891.76 c #Conflicts: 414000 | #Constraints: 84191
885.95/891.76 c #Conflicts: 415000 | #Constraints: 85191
885.95/891.76 c #Conflicts: 416000 | #Constraints: 86191
885.95/891.76 c #Conflicts: 417000 | #Constraints: 87191
885.95/891.76 c #Conflicts: 418000 | #Constraints: 88191
885.95/891.76 c #Conflicts: 419000 | #Constraints: 89191
885.95/891.76 c #Conflicts: 420000 | #Constraints: 90191
885.95/891.76 c INPROCESSING
885.95/891.76 c GARBAGE COLLECT
885.95/891.76 c rational objective 43
901.80/907.66 c #Conflicts: 421000 | #Constraints: 78413
901.80/907.66 c #Conflicts: 422000 | #Constraints: 79413
901.80/907.66 c #Conflicts: 423000 | #Constraints: 80413
901.80/907.66 c #Conflicts: 424000 | #Constraints: 81413
901.80/907.66 c #Conflicts: 425000 | #Constraints: 82413
901.80/907.66 c #Conflicts: 426000 | #Constraints: 83413
901.80/907.66 c #Conflicts: 427000 | #Constraints: 84413
901.80/907.66 c #Conflicts: 428000 | #Constraints: 85413
901.80/907.66 c #Conflicts: 429000 | #Constraints: 86413
901.80/907.66 c #Conflicts: 430000 | #Constraints: 87413
901.80/907.66 c #Conflicts: 431000 | #Constraints: 88413
901.80/907.66 c #Conflicts: 432000 | #Constraints: 89413
901.80/907.66 c #Conflicts: 433000 | #Constraints: 90413
901.80/907.66 c INPROCESSING
901.80/907.66 c GARBAGE COLLECT
901.80/907.66 c rational objective 43
924.35/930.20 c #Conflicts: 434000 | #Constraints: 78448
924.35/930.20 c #Conflicts: 435000 | #Constraints: 79448
924.35/930.20 c #Conflicts: 436000 | #Constraints: 80448
924.35/930.20 c #Conflicts: 437000 | #Constraints: 81448
924.35/930.20 c #Conflicts: 438000 | #Constraints: 82448
924.35/930.20 c #Conflicts: 439000 | #Constraints: 83448
924.35/930.20 c #Conflicts: 440000 | #Constraints: 84448
924.35/930.20 c #Conflicts: 441000 | #Constraints: 85448
924.35/930.20 c #Conflicts: 442000 | #Constraints: 86448
924.35/930.20 c #Conflicts: 443000 | #Constraints: 87448
924.35/930.20 c #Conflicts: 444000 | #Constraints: 88448
924.35/930.20 c #Conflicts: 445000 | #Constraints: 89448
924.35/930.20 c #Conflicts: 446000 | #Constraints: 90448
924.35/930.20 c INPROCESSING
924.35/930.20 c GARBAGE COLLECT
924.35/930.20 c rational objective 43
990.47/996.53 c #Conflicts: 447000 | #Constraints: 78205
990.47/996.53 c #Conflicts: 448000 | #Constraints: 79205
990.47/996.53 c #Conflicts: 449000 | #Constraints: 80206
990.47/996.53 c #Conflicts: 450000 | #Constraints: 81206
990.47/996.53 c #Conflicts: 451000 | #Constraints: 82206
990.47/996.53 c #Conflicts: 452000 | #Constraints: 83206
990.47/996.53 c #Conflicts: 453000 | #Constraints: 84206
990.47/996.53 c #Conflicts: 454000 | #Constraints: 85206
990.47/996.53 c #Conflicts: 455000 | #Constraints: 86206
990.47/996.53 c #Conflicts: 456000 | #Constraints: 87206
990.47/996.53 c #Conflicts: 457000 | #Constraints: 88206
990.47/996.53 c #Conflicts: 458000 | #Constraints: 89206
990.47/996.53 c #Conflicts: 459000 | #Constraints: 90206
990.47/996.53 c #Conflicts: 460000 | #Constraints: 91206
990.47/996.53 c INPROCESSING
990.47/996.53 c GARBAGE COLLECT
990.47/996.53 c rational objective 43
1003.64/1009.79 c #Conflicts: 461000 | #Constraints: 78763
1003.64/1009.79 c #Conflicts: 462000 | #Constraints: 79763
1003.64/1009.79 c #Conflicts: 463000 | #Constraints: 80763
1003.64/1009.79 c #Conflicts: 464000 | #Constraints: 81763
1003.64/1009.79 c #Conflicts: 465000 | #Constraints: 82763
1003.64/1009.79 c #Conflicts: 466000 | #Constraints: 83763
1003.64/1009.79 c #Conflicts: 467000 | #Constraints: 84763
1003.64/1009.79 c #Conflicts: 468000 | #Constraints: 85763
1003.64/1009.79 c #Conflicts: 469000 | #Constraints: 86763
1003.64/1009.79 c #Conflicts: 470000 | #Constraints: 87764
1003.64/1009.79 c #Conflicts: 471000 | #Constraints: 88764
1003.64/1009.79 c #Conflicts: 472000 | #Constraints: 89765
1003.64/1009.79 c #Conflicts: 473000 | #Constraints: 90765
1003.64/1009.79 c #Conflicts: 474000 | #Constraints: 91765
1003.64/1009.79 c INPROCESSING
1003.64/1009.79 c GARBAGE COLLECT
1003.64/1009.79 c rational objective 43
1019.20/1025.38 c #Conflicts: 475000 | #Constraints: 79182
1019.20/1025.38 c #Conflicts: 476000 | #Constraints: 80182
1019.20/1025.38 c #Conflicts: 477000 | #Constraints: 81182
1019.20/1025.38 c #Conflicts: 478000 | #Constraints: 82182
1019.20/1025.38 c #Conflicts: 479000 | #Constraints: 83182
1019.20/1025.38 c #Conflicts: 480000 | #Constraints: 84182
1019.20/1025.38 c #Conflicts: 481000 | #Constraints: 85182
1019.20/1025.38 c #Conflicts: 482000 | #Constraints: 86182
1019.20/1025.38 c #Conflicts: 483000 | #Constraints: 87182
1019.20/1025.38 c #Conflicts: 484000 | #Constraints: 88182
1019.20/1025.38 c #Conflicts: 485000 | #Constraints: 89182
1019.20/1025.38 c #Conflicts: 486000 | #Constraints: 90182
1019.20/1025.38 c #Conflicts: 487000 | #Constraints: 91182
1019.20/1025.38 c #Conflicts: 488000 | #Constraints: 92182
1019.20/1025.38 c INPROCESSING
1019.20/1025.38 c GARBAGE COLLECT
1019.20/1025.38 c rational objective 43
1054.50/1060.77 c #Conflicts: 489000 | #Constraints: 79403
1054.50/1060.77 c #Conflicts: 490000 | #Constraints: 80403
1054.50/1060.77 c #Conflicts: 491000 | #Constraints: 81403
1054.50/1060.77 c #Conflicts: 492000 | #Constraints: 82403
1054.50/1060.77 c #Conflicts: 493000 | #Constraints: 83403
1054.50/1060.77 c #Conflicts: 494000 | #Constraints: 84403
1054.50/1060.77 c #Conflicts: 495000 | #Constraints: 85403
1054.50/1060.77 c #Conflicts: 496000 | #Constraints: 86403
1054.50/1060.77 c #Conflicts: 497000 | #Constraints: 87403
1054.50/1060.77 c #Conflicts: 498000 | #Constraints: 88403
1054.50/1060.77 c #Conflicts: 499000 | #Constraints: 89403
1054.50/1060.77 c #Conflicts: 500000 | #Constraints: 90403
1054.50/1060.77 c #Conflicts: 501000 | #Constraints: 91403
1054.50/1060.77 c #Conflicts: 502000 | #Constraints: 92403
1054.50/1060.77 c INPROCESSING
1054.50/1060.77 c GARBAGE COLLECT
1054.50/1060.77 c rational objective 43
1071.56/1077.82 c #Conflicts: 503000 | #Constraints: 79438
1071.56/1077.82 c #Conflicts: 504000 | #Constraints: 80438
1071.56/1077.82 c #Conflicts: 505000 | #Constraints: 81438
1071.56/1077.82 c #Conflicts: 506000 | #Constraints: 82438
1071.56/1077.82 c #Conflicts: 507000 | #Constraints: 83438
1071.56/1077.82 c #Conflicts: 508000 | #Constraints: 84438
1071.56/1077.82 c #Conflicts: 509000 | #Constraints: 85438
1071.56/1077.82 c #Conflicts: 510000 | #Constraints: 86438
1071.56/1077.82 c #Conflicts: 511000 | #Constraints: 87439
1071.56/1077.82 c #Conflicts: 512000 | #Constraints: 88439
1071.56/1077.82 c #Conflicts: 513000 | #Constraints: 89439
1071.56/1077.82 c #Conflicts: 514000 | #Constraints: 90439
1071.56/1077.82 c #Conflicts: 515000 | #Constraints: 91439
1071.56/1077.82 c #Conflicts: 516000 | #Constraints: 92439
1071.56/1077.82 c INPROCESSING
1071.56/1077.82 c GARBAGE COLLECT
1071.56/1077.82 c rational objective 43
1090.41/1096.79 c #Conflicts: 517000 | #Constraints: 79230
1090.41/1096.79 c #Conflicts: 518000 | #Constraints: 80230
1090.41/1096.79 c #Conflicts: 519000 | #Constraints: 81230
1090.41/1096.79 c #Conflicts: 520000 | #Constraints: 82231
1090.41/1096.79 c #Conflicts: 521000 | #Constraints: 83231
1090.41/1096.79 c #Conflicts: 522000 | #Constraints: 84231
1090.41/1096.79 c #Conflicts: 523000 | #Constraints: 85231
1090.41/1096.79 c #Conflicts: 524000 | #Constraints: 86231
1090.41/1096.79 c #Conflicts: 525000 | #Constraints: 87231
1090.41/1096.79 c #Conflicts: 526000 | #Constraints: 88231
1090.41/1096.79 c #Conflicts: 527000 | #Constraints: 89231
1090.41/1096.79 c #Conflicts: 528000 | #Constraints: 90231
1090.41/1096.79 c #Conflicts: 529000 | #Constraints: 91231
1090.41/1096.79 c #Conflicts: 530000 | #Constraints: 92231
1090.41/1096.79 c #Conflicts: 531000 | #Constraints: 93231
1090.41/1096.79 c INPROCESSING
1090.41/1096.79 c GARBAGE COLLECT
1090.41/1096.79 c rational objective 43
1129.21/1135.66 c #Conflicts: 532000 | #Constraints: 79832
1129.21/1135.66 c #Conflicts: 533000 | #Constraints: 80832
1129.21/1135.66 c #Conflicts: 534000 | #Constraints: 81832
1129.21/1135.66 c #Conflicts: 535000 | #Constraints: 82832
1129.21/1135.66 c #Conflicts: 536000 | #Constraints: 83832
1129.21/1135.66 c #Conflicts: 537000 | #Constraints: 84832
1129.21/1135.66 c bounds 151 >= 44 @ 1120.9
1204.41/1211.03 c #Conflicts: 538000 | #Constraints: 85841
1204.41/1211.03 c #Conflicts: 539000 | #Constraints: 86841
1204.41/1211.03 c #Conflicts: 540000 | #Constraints: 87841
1204.41/1211.03 c #Conflicts: 541000 | #Constraints: 88841
1204.41/1211.03 c #Conflicts: 542000 | #Constraints: 89841
1204.41/1211.03 c #Conflicts: 543000 | #Constraints: 90841
1204.41/1211.03 c #Conflicts: 544000 | #Constraints: 91841
1204.41/1211.03 c #Conflicts: 545000 | #Constraints: 92841
1204.41/1211.03 c #Conflicts: 546000 | #Constraints: 93841
1204.41/1211.03 c INPROCESSING
1204.41/1211.03 c GARBAGE COLLECT
1204.41/1211.03 c #Conflicts: 547000 | #Constraints: 80231
1204.41/1211.03 c #Conflicts: 548000 | #Constraints: 81231
1204.41/1211.03 c #Conflicts: 549000 | #Constraints: 82231
1204.41/1211.03 c #Conflicts: 550000 | #Constraints: 83231
1204.41/1211.03 c #Conflicts: 551000 | #Constraints: 84231
1204.41/1211.03 c #Conflicts: 552000 | #Constraints: 85231
1204.41/1211.03 c #Conflicts: 553000 | #Constraints: 86231
1204.41/1211.03 c #Conflicts: 554000 | #Constraints: 87231
1204.41/1211.03 c #Conflicts: 555000 | #Constraints: 88231
1204.41/1211.03 c #Conflicts: 556000 | #Constraints: 89231
1204.41/1211.03 c #Conflicts: 557000 | #Constraints: 90231
1204.41/1211.03 c #Conflicts: 558000 | #Constraints: 91231
1204.41/1211.03 c #Conflicts: 559000 | #Constraints: 92231
1204.41/1211.03 c #Conflicts: 560000 | #Constraints: 93231
1204.41/1211.03 c #Conflicts: 561000 | #Constraints: 94231
1204.41/1211.03 c INPROCESSING
1204.41/1211.03 c GARBAGE COLLECT
1204.41/1211.03 c rational objective 44
1204.80/1211.45 c bounds 151 >= 46 @ 1196.15
1204.80/1211.48 c bounds 151 >= 47 @ 1196.19
1204.80/1211.48 c bounds 151 >= 48 @ 1196.19
1230.04/1236.74 c #Conflicts: 562000 | #Constraints: 80446
1230.04/1236.74 c #Conflicts: 563000 | #Constraints: 81446
1230.04/1236.74 c #Conflicts: 564000 | #Constraints: 82446
1230.04/1236.74 c #Conflicts: 565000 | #Constraints: 83446
1230.04/1236.74 c #Conflicts: 566000 | #Constraints: 84446
1230.04/1236.74 c #Conflicts: 567000 | #Constraints: 85446
1230.04/1236.74 c #Conflicts: 568000 | #Constraints: 86446
1230.04/1236.74 c #Conflicts: 569000 | #Constraints: 87446
1230.04/1236.74 c #Conflicts: 570000 | #Constraints: 88446
1230.04/1236.74 c #Conflicts: 571000 | #Constraints: 89446
1230.04/1236.74 c #Conflicts: 572000 | #Constraints: 90446
1230.04/1236.74 c #Conflicts: 573000 | #Constraints: 91446
1230.04/1236.74 c #Conflicts: 574000 | #Constraints: 92446
1230.04/1236.74 c #Conflicts: 575000 | #Constraints: 93446
1230.04/1236.74 c #Conflicts: 576000 | #Constraints: 94446
1230.04/1236.74 c INPROCESSING
1230.04/1236.74 c GARBAGE COLLECT
1230.04/1236.74 c rational objective 48
1253.87/1260.61 c #Conflicts: 577000 | #Constraints: 80415
1253.87/1260.61 c #Conflicts: 578000 | #Constraints: 81415
1253.87/1260.61 c #Conflicts: 579000 | #Constraints: 82415
1253.87/1260.61 c #Conflicts: 580000 | #Constraints: 83415
1253.87/1260.61 c #Conflicts: 581000 | #Constraints: 84415
1253.87/1260.61 c #Conflicts: 582000 | #Constraints: 85415
1253.87/1260.61 c #Conflicts: 583000 | #Constraints: 86415
1253.87/1260.61 c #Conflicts: 584000 | #Constraints: 87415
1253.87/1260.61 c #Conflicts: 585000 | #Constraints: 88415
1253.87/1260.61 c #Conflicts: 586000 | #Constraints: 89415
1253.87/1260.61 c #Conflicts: 587000 | #Constraints: 90415
1253.87/1260.61 c #Conflicts: 588000 | #Constraints: 91415
1253.87/1260.61 c #Conflicts: 589000 | #Constraints: 92415
1253.87/1260.61 c #Conflicts: 590000 | #Constraints: 93415
1253.87/1260.61 c #Conflicts: 591000 | #Constraints: 94415
1253.87/1260.61 c INPROCESSING
1253.87/1260.61 c GARBAGE COLLECT
1253.87/1260.61 c rational objective 48
1275.42/1282.20 c #Conflicts: 592000 | #Constraints: 80302
1275.42/1282.20 c #Conflicts: 593000 | #Constraints: 81302
1275.42/1282.20 c #Conflicts: 594000 | #Constraints: 82302
1275.42/1282.20 c #Conflicts: 595000 | #Constraints: 83302
1275.42/1282.20 c #Conflicts: 596000 | #Constraints: 84302
1275.42/1282.20 c #Conflicts: 597000 | #Constraints: 85302
1275.42/1282.20 c #Conflicts: 598000 | #Constraints: 86302
1275.42/1282.20 c #Conflicts: 599000 | #Constraints: 87302
1275.42/1282.20 c #Conflicts: 600000 | #Constraints: 88302
1275.42/1282.20 c #Conflicts: 601000 | #Constraints: 89302
1275.42/1282.20 c #Conflicts: 602000 | #Constraints: 90302
1275.42/1282.20 c #Conflicts: 603000 | #Constraints: 91302
1275.42/1282.20 c #Conflicts: 604000 | #Constraints: 92302
1275.42/1282.20 c #Conflicts: 605000 | #Constraints: 93302
1275.42/1282.20 c #Conflicts: 606000 | #Constraints: 94302
1275.42/1282.20 c #Conflicts: 607000 | #Constraints: 95302
1275.42/1282.20 c INPROCESSING
1275.42/1282.20 c GARBAGE COLLECT
1275.42/1282.20 c rational objective 48
1291.47/1298.36 c #Conflicts: 608000 | #Constraints: 80860
1291.47/1298.36 c #Conflicts: 609000 | #Constraints: 81860
1291.47/1298.36 c #Conflicts: 610000 | #Constraints: 82860
1291.47/1298.36 c #Conflicts: 611000 | #Constraints: 83860
1291.47/1298.36 c #Conflicts: 612000 | #Constraints: 84860
1291.47/1298.36 c #Conflicts: 613000 | #Constraints: 85860
1291.47/1298.36 c #Conflicts: 614000 | #Constraints: 86861
1291.47/1298.36 c #Conflicts: 615000 | #Constraints: 87861
1291.47/1298.36 c #Conflicts: 616000 | #Constraints: 88861
1291.47/1298.36 c #Conflicts: 617000 | #Constraints: 89861
1291.47/1298.36 c #Conflicts: 618000 | #Constraints: 90861
1291.47/1298.36 c #Conflicts: 619000 | #Constraints: 91861
1291.47/1298.36 c #Conflicts: 620000 | #Constraints: 92861
1291.47/1298.36 c #Conflicts: 621000 | #Constraints: 93861
1291.47/1298.36 c #Conflicts: 622000 | #Constraints: 94861
1291.47/1298.36 c #Conflicts: 623000 | #Constraints: 95861
1291.47/1298.36 c INPROCESSING
1291.47/1298.36 c GARBAGE COLLECT
1291.47/1298.36 c rational objective 48
1307.63/1314.55 c #Conflicts: 624000 | #Constraints: 81304
1307.63/1314.55 c #Conflicts: 625000 | #Constraints: 82304
1307.63/1314.55 c #Conflicts: 626000 | #Constraints: 83304
1307.63/1314.55 c #Conflicts: 627000 | #Constraints: 84304
1307.63/1314.55 c #Conflicts: 628000 | #Constraints: 85304
1307.63/1314.55 c #Conflicts: 629000 | #Constraints: 86304
1307.63/1314.55 c #Conflicts: 630000 | #Constraints: 87304
1307.63/1314.55 c #Conflicts: 631000 | #Constraints: 88304
1307.63/1314.55 c #Conflicts: 632000 | #Constraints: 89304
1307.63/1314.55 c #Conflicts: 633000 | #Constraints: 90304
1307.63/1314.55 c #Conflicts: 634000 | #Constraints: 91304
1307.63/1314.55 c #Conflicts: 635000 | #Constraints: 92304
1307.63/1314.55 c #Conflicts: 636000 | #Constraints: 93304
1307.63/1314.55 c #Conflicts: 637000 | #Constraints: 94304
1307.63/1314.55 c #Conflicts: 638000 | #Constraints: 95304
1307.63/1314.55 c #Conflicts: 639000 | #Constraints: 96304
1307.63/1314.55 c INPROCESSING
1307.63/1314.55 c GARBAGE COLLECT
1307.63/1314.55 c rational objective 48
1333.27/1340.27 c #Conflicts: 640000 | #Constraints: 81528
1333.27/1340.27 c #Conflicts: 641000 | #Constraints: 82528
1333.27/1340.27 c #Conflicts: 642000 | #Constraints: 83528
1333.27/1340.27 c #Conflicts: 643000 | #Constraints: 84528
1333.27/1340.27 c #Conflicts: 644000 | #Constraints: 85528
1333.27/1340.27 c #Conflicts: 645000 | #Constraints: 86528
1333.27/1340.27 c #Conflicts: 646000 | #Constraints: 87528
1333.27/1340.27 c #Conflicts: 647000 | #Constraints: 88528
1333.27/1340.27 c #Conflicts: 648000 | #Constraints: 89528
1333.27/1340.27 c #Conflicts: 649000 | #Constraints: 90528
1333.27/1340.27 c #Conflicts: 650000 | #Constraints: 91528
1333.27/1340.27 c #Conflicts: 651000 | #Constraints: 92528
1333.27/1340.27 c #Conflicts: 652000 | #Constraints: 93528
1333.27/1340.27 c #Conflicts: 653000 | #Constraints: 94528
1333.27/1340.27 c #Conflicts: 654000 | #Constraints: 95528
1333.27/1340.27 c #Conflicts: 655000 | #Constraints: 96528
1333.27/1340.27 c INPROCESSING
1333.27/1340.27 c GARBAGE COLLECT
1333.27/1340.27 c rational objective 48
1353.81/1360.81 c #Conflicts: 656000 | #Constraints: 81463
1353.81/1360.81 c #Conflicts: 657000 | #Constraints: 82463
1353.81/1360.81 c #Conflicts: 658000 | #Constraints: 83463
1353.81/1360.81 c #Conflicts: 659000 | #Constraints: 84463
1353.81/1360.81 c #Conflicts: 660000 | #Constraints: 85463
1353.81/1360.81 c #Conflicts: 661000 | #Constraints: 86463
1353.81/1360.81 c #Conflicts: 662000 | #Constraints: 87463
1353.81/1360.81 c #Conflicts: 663000 | #Constraints: 88463
1353.81/1360.81 c #Conflicts: 664000 | #Constraints: 89463
1353.81/1360.81 c #Conflicts: 665000 | #Constraints: 90463
1353.81/1360.81 c #Conflicts: 666000 | #Constraints: 91463
1353.81/1360.81 c #Conflicts: 667000 | #Constraints: 92463
1353.81/1360.81 c #Conflicts: 668000 | #Constraints: 93463
1353.81/1360.81 c #Conflicts: 669000 | #Constraints: 94463
1353.81/1360.81 c #Conflicts: 670000 | #Constraints: 95463
1353.81/1360.81 c #Conflicts: 671000 | #Constraints: 96463
1353.81/1360.81 c INPROCESSING
1353.81/1360.81 c GARBAGE COLLECT
1353.81/1360.81 c rational objective 48
1372.86/1379.97 c #Conflicts: 672000 | #Constraints: 81289
1372.86/1379.97 c #Conflicts: 673000 | #Constraints: 82289
1372.86/1379.97 c #Conflicts: 674000 | #Constraints: 83290
1372.86/1379.97 c #Conflicts: 675000 | #Constraints: 84290
1372.86/1379.97 c #Conflicts: 676000 | #Constraints: 85290
1372.86/1379.97 c #Conflicts: 677000 | #Constraints: 86291
1372.86/1379.97 c #Conflicts: 678000 | #Constraints: 87291
1372.86/1379.97 c #Conflicts: 679000 | #Constraints: 88291
1372.86/1379.97 c #Conflicts: 680000 | #Constraints: 89291
1372.86/1379.97 c #Conflicts: 681000 | #Constraints: 90291
1372.86/1379.97 c #Conflicts: 682000 | #Constraints: 91291
1372.86/1379.97 c #Conflicts: 683000 | #Constraints: 92291
1372.86/1379.97 c #Conflicts: 684000 | #Constraints: 93291
1372.86/1379.97 c #Conflicts: 685000 | #Constraints: 94291
1372.86/1379.97 c #Conflicts: 686000 | #Constraints: 95292
1372.86/1379.97 c #Conflicts: 687000 | #Constraints: 96292
1372.86/1379.97 c #Conflicts: 688000 | #Constraints: 97292
1372.86/1379.97 c INPROCESSING
1372.86/1379.97 c GARBAGE COLLECT
1372.86/1379.97 c rational objective 48
1397.10/1404.23 c #Conflicts: 689000 | #Constraints: 81916
1397.10/1404.23 c #Conflicts: 690000 | #Constraints: 82916
1397.10/1404.23 c #Conflicts: 691000 | #Constraints: 83916
1397.10/1404.23 c #Conflicts: 692000 | #Constraints: 84916
1397.10/1404.23 c #Conflicts: 693000 | #Constraints: 85916
1397.10/1404.23 c #Conflicts: 694000 | #Constraints: 86916
1397.10/1404.23 c #Conflicts: 695000 | #Constraints: 87916
1397.10/1404.23 c #Conflicts: 696000 | #Constraints: 88916
1397.10/1404.23 c #Conflicts: 697000 | #Constraints: 89916
1397.10/1404.23 c #Conflicts: 698000 | #Constraints: 90916
1397.10/1404.23 c #Conflicts: 699000 | #Constraints: 91916
1397.10/1404.23 c #Conflicts: 700000 | #Constraints: 92916
1397.10/1404.23 c #Conflicts: 701000 | #Constraints: 93916
1397.10/1404.23 c #Conflicts: 702000 | #Constraints: 94916
1397.10/1404.23 c #Conflicts: 703000 | #Constraints: 95916
1397.10/1404.23 c #Conflicts: 704000 | #Constraints: 96916
1397.10/1404.23 c #Conflicts: 705000 | #Constraints: 97916
1397.10/1404.23 c INPROCESSING
1397.10/1404.23 c GARBAGE COLLECT
1397.10/1404.23 c rational objective 48
1419.74/1426.95 c #Conflicts: 706000 | #Constraints: 82344
1419.74/1426.95 c #Conflicts: 707000 | #Constraints: 83344
1419.74/1426.95 c #Conflicts: 708000 | #Constraints: 84344
1419.74/1426.95 c #Conflicts: 709000 | #Constraints: 85344
1419.74/1426.95 c #Conflicts: 710000 | #Constraints: 86344
1419.74/1426.95 c #Conflicts: 711000 | #Constraints: 87344
1419.74/1426.95 c #Conflicts: 712000 | #Constraints: 88344
1419.74/1426.95 c #Conflicts: 713000 | #Constraints: 89344
1419.74/1426.95 c #Conflicts: 714000 | #Constraints: 90344
1419.74/1426.95 c #Conflicts: 715000 | #Constraints: 91344
1419.74/1426.95 c #Conflicts: 716000 | #Constraints: 92344
1419.74/1426.95 c #Conflicts: 717000 | #Constraints: 93344
1419.74/1426.95 c #Conflicts: 718000 | #Constraints: 94344
1419.74/1426.95 c #Conflicts: 719000 | #Constraints: 95344
1419.74/1426.95 c #Conflicts: 720000 | #Constraints: 96344
1419.74/1426.95 c #Conflicts: 721000 | #Constraints: 97344
1419.74/1426.95 c #Conflicts: 722000 | #Constraints: 98344
1419.74/1426.95 c INPROCESSING
1419.74/1426.95 c GARBAGE COLLECT
1419.74/1426.95 c rational objective 48
1439.89/1447.18 c #Conflicts: 723000 | #Constraints: 82501
1439.89/1447.18 c bounds 151 >= 49 @ 1429.2
1439.99/1447.22 c bounds 151 >= 50 @ 1429.23
1439.99/1447.23 c bounds 151 >= 51 @ 1429.24
1439.99/1447.24 c bounds 151 >= 52 @ 1429.25
1439.99/1447.25 c bounds 151 >= 53 @ 1429.27
1443.47/1450.70 c #Conflicts: 724000 | #Constraints: 83567
1443.47/1450.70 c #Conflicts: 725000 | #Constraints: 84567
1443.47/1450.70 c #Conflicts: 726000 | #Constraints: 85567
1443.47/1450.70 c #Conflicts: 727000 | #Constraints: 86567
1443.47/1450.70 c #Conflicts: 728000 | #Constraints: 87567
1443.47/1450.70 c #Conflicts: 729000 | #Constraints: 88567
1443.47/1450.70 c #Conflicts: 730000 | #Constraints: 89567
1443.47/1450.70 c bounds 151 >= 54 @ 1432.66
1498.83/1506.23 c #Conflicts: 731000 | #Constraints: 90585
1498.83/1506.23 c #Conflicts: 732000 | #Constraints: 91585
1498.83/1506.23 c #Conflicts: 733000 | #Constraints: 92585
1498.83/1506.23 c #Conflicts: 734000 | #Constraints: 93585
1498.83/1506.23 c #Conflicts: 735000 | #Constraints: 94585
1498.83/1506.23 c #Conflicts: 736000 | #Constraints: 95585
1498.83/1506.23 c #Conflicts: 737000 | #Constraints: 96585
1498.83/1506.23 c #Conflicts: 738000 | #Constraints: 97585
1498.83/1506.23 c #Conflicts: 739000 | #Constraints: 98585
1498.83/1506.23 c INPROCESSING
1498.83/1506.23 c GARBAGE COLLECT
1498.83/1506.23 c rational objective 54
1515.68/1523.17 c #Conflicts: 740000 | #Constraints: 82547
1515.68/1523.17 c #Conflicts: 741000 | #Constraints: 83547
1515.68/1523.17 c #Conflicts: 742000 | #Constraints: 84547
1515.68/1523.17 c #Conflicts: 743000 | #Constraints: 85547
1515.68/1523.17 c #Conflicts: 744000 | #Constraints: 86547
1515.68/1523.17 c #Conflicts: 745000 | #Constraints: 87547
1515.68/1523.17 c #Conflicts: 746000 | #Constraints: 88547
1515.68/1523.17 c #Conflicts: 747000 | #Constraints: 89547
1515.68/1523.17 c #Conflicts: 748000 | #Constraints: 90547
1515.68/1523.17 c #Conflicts: 749000 | #Constraints: 91547
1515.68/1523.17 c #Conflicts: 750000 | #Constraints: 92547
1515.68/1523.17 c #Conflicts: 751000 | #Constraints: 93547
1515.68/1523.17 c #Conflicts: 752000 | #Constraints: 94547
1515.68/1523.17 c #Conflicts: 753000 | #Constraints: 95547
1515.68/1523.17 c #Conflicts: 754000 | #Constraints: 96547
1515.68/1523.17 c #Conflicts: 755000 | #Constraints: 97547
1515.68/1523.17 c #Conflicts: 756000 | #Constraints: 98547
1515.68/1523.17 c INPROCESSING
1515.68/1523.17 c GARBAGE COLLECT
1515.68/1523.17 c rational objective 54
1539.53/1547.01 c #Conflicts: 757000 | #Constraints: 82336
1539.53/1547.01 c #Conflicts: 758000 | #Constraints: 83336
1539.53/1547.01 c #Conflicts: 759000 | #Constraints: 84336
1539.53/1547.01 c #Conflicts: 760000 | #Constraints: 85336
1539.53/1547.01 c #Conflicts: 761000 | #Constraints: 86336
1539.53/1547.01 c #Conflicts: 762000 | #Constraints: 87336
1539.53/1547.01 c #Conflicts: 763000 | #Constraints: 88336
1539.53/1547.01 c #Conflicts: 764000 | #Constraints: 89336
1539.53/1547.01 c #Conflicts: 765000 | #Constraints: 90336
1539.53/1547.01 c #Conflicts: 766000 | #Constraints: 91336
1539.53/1547.01 c #Conflicts: 767000 | #Constraints: 92336
1539.53/1547.01 c #Conflicts: 768000 | #Constraints: 93336
1539.53/1547.01 c #Conflicts: 769000 | #Constraints: 94336
1539.53/1547.01 c #Conflicts: 770000 | #Constraints: 95336
1539.53/1547.01 c #Conflicts: 771000 | #Constraints: 96336
1539.53/1547.01 c #Conflicts: 772000 | #Constraints: 97336
1539.53/1547.01 c #Conflicts: 773000 | #Constraints: 98336
1539.53/1547.01 c #Conflicts: 774000 | #Constraints: 99336
1539.53/1547.01 c INPROCESSING
1539.53/1547.01 c GARBAGE COLLECT
1539.53/1547.01 c rational objective 54
1554.29/1561.89 c #Conflicts: 775000 | #Constraints: 82934
1554.29/1561.89 c #Conflicts: 776000 | #Constraints: 83934
1554.29/1561.89 c #Conflicts: 777000 | #Constraints: 84934
1554.29/1561.89 c #Conflicts: 778000 | #Constraints: 85934
1554.29/1561.89 c #Conflicts: 779000 | #Constraints: 86934
1554.29/1561.89 c #Conflicts: 780000 | #Constraints: 87934
1554.29/1561.89 c #Conflicts: 781000 | #Constraints: 88934
1554.29/1561.89 c #Conflicts: 782000 | #Constraints: 89934
1554.29/1561.89 c #Conflicts: 783000 | #Constraints: 90934
1554.29/1561.89 c #Conflicts: 784000 | #Constraints: 91934
1554.29/1561.89 c #Conflicts: 785000 | #Constraints: 92934
1554.29/1561.89 c #Conflicts: 786000 | #Constraints: 93934
1554.29/1561.89 c #Conflicts: 787000 | #Constraints: 94934
1554.29/1561.89 c #Conflicts: 788000 | #Constraints: 95934
1554.29/1561.89 c #Conflicts: 789000 | #Constraints: 96935
1554.29/1561.89 c #Conflicts: 790000 | #Constraints: 97935
1554.29/1561.89 c #Conflicts: 791000 | #Constraints: 98935
1554.29/1561.89 c #Conflicts: 792000 | #Constraints: 99935
1554.29/1561.89 c INPROCESSING
1554.29/1561.89 c GARBAGE COLLECT
1554.29/1561.89 c rational objective 54
1554.68/1562.27 c bounds 151 >= 55 @ 1543.09
1584.60/1592.29 c #Conflicts: 793000 | #Constraints: 83358
1584.60/1592.29 c #Conflicts: 794000 | #Constraints: 84358
1584.60/1592.29 c #Conflicts: 795000 | #Constraints: 85358
1584.60/1592.29 c #Conflicts: 796000 | #Constraints: 86358
1584.60/1592.29 c #Conflicts: 797000 | #Constraints: 87358
1584.60/1592.29 c #Conflicts: 798000 | #Constraints: 88358
1584.60/1592.29 c #Conflicts: 799000 | #Constraints: 89358
1584.60/1592.29 c #Conflicts: 800000 | #Constraints: 90358
1584.60/1592.29 c #Conflicts: 801000 | #Constraints: 91358
1584.60/1592.29 c #Conflicts: 802000 | #Constraints: 92358
1584.60/1592.29 c #Conflicts: 803000 | #Constraints: 93358
1584.60/1592.29 c #Conflicts: 804000 | #Constraints: 94358
1584.60/1592.29 c #Conflicts: 805000 | #Constraints: 95358
1584.60/1592.29 c #Conflicts: 806000 | #Constraints: 96358
1584.60/1592.29 c #Conflicts: 807000 | #Constraints: 97358
1584.60/1592.29 c #Conflicts: 808000 | #Constraints: 98358
1584.60/1592.29 c #Conflicts: 809000 | #Constraints: 99358
1584.60/1592.29 c #Conflicts: 810000 | #Constraints: 100358
1584.60/1592.29 c INPROCESSING
1584.60/1592.29 c GARBAGE COLLECT
1584.60/1592.29 c rational objective 55
1604.44/1612.10 c #Conflicts: 811000 | #Constraints: 83528
1604.44/1612.10 c #Conflicts: 812000 | #Constraints: 84528
1604.44/1612.10 c #Conflicts: 813000 | #Constraints: 85528
1604.44/1612.10 c #Conflicts: 814000 | #Constraints: 86528
1604.44/1612.10 c #Conflicts: 815000 | #Constraints: 87528
1604.44/1612.10 c #Conflicts: 816000 | #Constraints: 88528
1604.44/1612.10 c #Conflicts: 817000 | #Constraints: 89528
1604.44/1612.10 c #Conflicts: 818000 | #Constraints: 90528
1604.44/1612.10 c #Conflicts: 819000 | #Constraints: 91528
1604.44/1612.10 c #Conflicts: 820000 | #Constraints: 92528
1604.44/1612.10 c #Conflicts: 821000 | #Constraints: 93528
1604.44/1612.10 c #Conflicts: 822000 | #Constraints: 94528
1604.44/1612.10 c #Conflicts: 823000 | #Constraints: 95528
1604.44/1612.10 c #Conflicts: 824000 | #Constraints: 96528
1604.44/1612.10 c #Conflicts: 825000 | #Constraints: 97529
1604.44/1612.10 c #Conflicts: 826000 | #Constraints: 98529
1604.44/1612.10 c #Conflicts: 827000 | #Constraints: 99529
1604.44/1612.10 c #Conflicts: 828000 | #Constraints: 100529
1604.44/1612.10 c INPROCESSING
1604.44/1612.10 c GARBAGE COLLECT
1604.44/1612.10 c rational objective 55
1619.10/1626.80 c #Conflicts: 829000 | #Constraints: 83584
1619.10/1626.80 c #Conflicts: 830000 | #Constraints: 84585
1619.10/1626.80 c #Conflicts: 831000 | #Constraints: 85585
1619.10/1626.80 c #Conflicts: 832000 | #Constraints: 86585
1619.10/1626.80 c #Conflicts: 833000 | #Constraints: 87585
1619.10/1626.80 c #Conflicts: 834000 | #Constraints: 88585
1619.10/1626.80 c #Conflicts: 835000 | #Constraints: 89585
1619.10/1626.80 c #Conflicts: 836000 | #Constraints: 90585
1619.10/1626.80 c #Conflicts: 837000 | #Constraints: 91585
1619.10/1626.80 c #Conflicts: 838000 | #Constraints: 92585
1619.10/1626.80 c #Conflicts: 839000 | #Constraints: 93585
1619.10/1626.80 c #Conflicts: 840000 | #Constraints: 94585
1619.10/1626.80 c #Conflicts: 841000 | #Constraints: 95586
1619.10/1626.80 c #Conflicts: 842000 | #Constraints: 96586
1619.10/1626.80 c #Conflicts: 843000 | #Constraints: 97586
1619.10/1626.80 c #Conflicts: 844000 | #Constraints: 98587
1619.10/1626.80 c #Conflicts: 845000 | #Constraints: 99587
1619.10/1626.80 c #Conflicts: 846000 | #Constraints: 100587
1619.10/1626.80 c INPROCESSING
1619.10/1626.80 c GARBAGE COLLECT
1619.10/1626.80 c rational objective 55
1637.93/1645.78 c #Conflicts: 847000 | #Constraints: 83409
1637.93/1645.78 c #Conflicts: 848000 | #Constraints: 84409
1637.93/1645.78 c #Conflicts: 849000 | #Constraints: 85409
1637.93/1645.78 c #Conflicts: 850000 | #Constraints: 86409
1637.93/1645.78 c #Conflicts: 851000 | #Constraints: 87409
1637.93/1645.78 c #Conflicts: 852000 | #Constraints: 88409
1637.93/1645.78 c #Conflicts: 853000 | #Constraints: 89409
1637.93/1645.78 c #Conflicts: 854000 | #Constraints: 90409
1637.93/1645.78 c #Conflicts: 855000 | #Constraints: 91409
1637.93/1645.78 c #Conflicts: 856000 | #Constraints: 92410
1637.93/1645.78 c #Conflicts: 857000 | #Constraints: 93410
1637.93/1645.78 c #Conflicts: 858000 | #Constraints: 94410
1637.93/1645.78 c #Conflicts: 859000 | #Constraints: 95410
1637.93/1645.78 c #Conflicts: 860000 | #Constraints: 96410
1637.93/1645.78 c #Conflicts: 861000 | #Constraints: 97410
1637.93/1645.78 c #Conflicts: 862000 | #Constraints: 98410
1637.93/1645.78 c #Conflicts: 863000 | #Constraints: 99410
1637.93/1645.78 c #Conflicts: 864000 | #Constraints: 100411
1637.93/1645.78 c #Conflicts: 865000 | #Constraints: 101411
1637.93/1645.78 c INPROCESSING
1637.93/1645.78 c GARBAGE COLLECT
1637.93/1645.78 c rational objective 55
1660.86/1668.73 c #Conflicts: 866000 | #Constraints: 84036
1660.86/1668.73 c #Conflicts: 867000 | #Constraints: 85036
1660.86/1668.73 c #Conflicts: 868000 | #Constraints: 86036
1660.86/1668.73 c #Conflicts: 869000 | #Constraints: 87036
1660.86/1668.73 c #Conflicts: 870000 | #Constraints: 88036
1660.86/1668.73 c #Conflicts: 871000 | #Constraints: 89036
1660.86/1668.73 c #Conflicts: 872000 | #Constraints: 90036
1660.86/1668.73 c #Conflicts: 873000 | #Constraints: 91036
1660.86/1668.73 c #Conflicts: 874000 | #Constraints: 92036
1660.86/1668.73 c #Conflicts: 875000 | #Constraints: 93036
1660.86/1668.73 c #Conflicts: 876000 | #Constraints: 94036
1660.86/1668.73 c #Conflicts: 877000 | #Constraints: 95036
1660.86/1668.73 c #Conflicts: 878000 | #Constraints: 96036
1660.86/1668.73 c #Conflicts: 879000 | #Constraints: 97036
1660.86/1668.73 c #Conflicts: 880000 | #Constraints: 98036
1660.86/1668.73 c #Conflicts: 881000 | #Constraints: 99036
1660.86/1668.73 c #Conflicts: 882000 | #Constraints: 100036
1660.86/1668.73 c #Conflicts: 883000 | #Constraints: 101036
1660.86/1668.73 c #Conflicts: 884000 | #Constraints: 102036
1660.86/1668.73 c INPROCESSING
1660.86/1668.73 c GARBAGE COLLECT
1660.86/1668.73 c rational objective 55
1705.31/1713.39 c #Conflicts: 885000 | #Constraints: 84402
1705.31/1713.39 c #Conflicts: 886000 | #Constraints: 85402
1705.31/1713.39 c #Conflicts: 887000 | #Constraints: 86402
1705.31/1713.39 c #Conflicts: 888000 | #Constraints: 87402
1705.31/1713.39 c #Conflicts: 889000 | #Constraints: 88402
1705.31/1713.39 c #Conflicts: 890000 | #Constraints: 89402
1705.31/1713.39 c #Conflicts: 891000 | #Constraints: 90402
1705.31/1713.39 c #Conflicts: 892000 | #Constraints: 91402
1705.31/1713.39 c #Conflicts: 893000 | #Constraints: 92402
1705.31/1713.39 c #Conflicts: 894000 | #Constraints: 93402
1705.31/1713.39 c #Conflicts: 895000 | #Constraints: 94402
1705.31/1713.39 c #Conflicts: 896000 | #Constraints: 95402
1705.31/1713.39 c #Conflicts: 897000 | #Constraints: 96402
1705.31/1713.39 c #Conflicts: 898000 | #Constraints: 97402
1705.31/1713.39 c #Conflicts: 899000 | #Constraints: 98402
1705.31/1713.39 c #Conflicts: 900000 | #Constraints: 99402
1705.31/1713.39 c #Conflicts: 901000 | #Constraints: 100402
1705.31/1713.39 c #Conflicts: 902000 | #Constraints: 101402
1705.31/1713.39 c #Conflicts: 903000 | #Constraints: 102402
1705.31/1713.39 c INPROCESSING
1705.31/1713.39 c GARBAGE COLLECT
1705.31/1713.39 c rational objective 55
1720.86/1728.90 c #Conflicts: 904000 | #Constraints: 84550
1720.86/1728.90 c #Conflicts: 905000 | #Constraints: 85550
1720.86/1728.90 c #Conflicts: 906000 | #Constraints: 86550
1720.86/1728.90 c #Conflicts: 907000 | #Constraints: 87550
1720.86/1728.90 c #Conflicts: 908000 | #Constraints: 88550
1720.86/1728.90 c #Conflicts: 909000 | #Constraints: 89550
1720.86/1728.90 c #Conflicts: 910000 | #Constraints: 90550
1720.86/1728.90 c #Conflicts: 911000 | #Constraints: 91550
1720.86/1728.90 c #Conflicts: 912000 | #Constraints: 92550
1720.86/1728.90 c #Conflicts: 913000 | #Constraints: 93550
1720.86/1728.90 c #Conflicts: 914000 | #Constraints: 94550
1720.86/1728.90 c #Conflicts: 915000 | #Constraints: 95550
1720.86/1728.90 c #Conflicts: 916000 | #Constraints: 96550
1720.86/1728.90 c #Conflicts: 917000 | #Constraints: 97550
1720.86/1728.90 c #Conflicts: 918000 | #Constraints: 98551
1720.86/1728.90 c #Conflicts: 919000 | #Constraints: 99551
1720.86/1728.90 c #Conflicts: 920000 | #Constraints: 100551
1720.86/1728.90 c #Conflicts: 921000 | #Constraints: 101551
1720.86/1728.90 c #Conflicts: 922000 | #Constraints: 102551
1720.86/1728.90 c INPROCESSING
1720.86/1728.90 c GARBAGE COLLECT
1720.86/1728.90 c rational objective 55
1742.50/1750.61 c #Conflicts: 923000 | #Constraints: 84590
1742.50/1750.61 c #Conflicts: 924000 | #Constraints: 85590
1742.50/1750.61 c #Conflicts: 925000 | #Constraints: 86590
1742.50/1750.61 c #Conflicts: 926000 | #Constraints: 87590
1742.50/1750.61 c #Conflicts: 927000 | #Constraints: 88590
1742.50/1750.61 c #Conflicts: 928000 | #Constraints: 89590
1742.50/1750.61 c #Conflicts: 929000 | #Constraints: 90590
1742.50/1750.61 c #Conflicts: 930000 | #Constraints: 91590
1742.50/1750.61 c #Conflicts: 931000 | #Constraints: 92590
1742.50/1750.61 c #Conflicts: 932000 | #Constraints: 93590
1742.50/1750.61 c #Conflicts: 933000 | #Constraints: 94590
1742.50/1750.61 c #Conflicts: 934000 | #Constraints: 95590
1742.50/1750.61 c #Conflicts: 935000 | #Constraints: 96590
1742.50/1750.61 c #Conflicts: 936000 | #Constraints: 97590
1742.50/1750.61 c #Conflicts: 937000 | #Constraints: 98590
1742.50/1750.61 c #Conflicts: 938000 | #Constraints: 99590
1742.50/1750.61 c #Conflicts: 939000 | #Constraints: 100590
1742.50/1750.61 c #Conflicts: 940000 | #Constraints: 101590
1742.50/1750.61 c #Conflicts: 941000 | #Constraints: 102590
1742.50/1750.61 c INPROCESSING
1742.50/1750.61 c GARBAGE COLLECT
1742.50/1750.61 c rational objective 55
1755.36/1763.54 c #Conflicts: 942000 | #Constraints: 84400
1755.36/1763.54 c #Conflicts: 943000 | #Constraints: 85400
1755.36/1763.54 c #Conflicts: 944000 | #Constraints: 86400
1755.36/1763.54 c #Conflicts: 945000 | #Constraints: 87400
1755.36/1763.54 c #Conflicts: 946000 | #Constraints: 88400
1755.36/1763.54 c #Conflicts: 947000 | #Constraints: 89400
1755.36/1763.54 c #Conflicts: 948000 | #Constraints: 90400
1755.36/1763.54 c #Conflicts: 949000 | #Constraints: 91400
1755.36/1763.54 c #Conflicts: 950000 | #Constraints: 92400
1755.36/1763.54 c #Conflicts: 951000 | #Constraints: 93400
1755.36/1763.54 c #Conflicts: 952000 | #Constraints: 94400
1755.36/1763.54 c #Conflicts: 953000 | #Constraints: 95400
1755.36/1763.54 c #Conflicts: 954000 | #Constraints: 96401
1755.36/1763.54 c #Conflicts: 955000 | #Constraints: 97402
1755.36/1763.54 c #Conflicts: 956000 | #Constraints: 98402
1755.36/1763.54 c #Conflicts: 957000 | #Constraints: 99402
1755.36/1763.54 c bounds 143 >= 55 @ 1741.88
1803.61/1811.97 c #Conflicts: 958000 | #Constraints: 100403
1803.61/1811.97 c #Conflicts: 959000 | #Constraints: 101404
1803.61/1811.97 c #Conflicts: 960000 | #Constraints: 102404
1803.61/1811.97 c #Conflicts: 961000 | #Constraints: 103404
1803.61/1811.97 c INPROCESSING
1803.61/1811.97 c GARBAGE COLLECT
1803.61/1811.97 c rational objective 55
1838.50/1846.98 c #Conflicts: 962000 | #Constraints: 84943
1838.50/1846.98 c #Conflicts: 963000 | #Constraints: 85943
1838.50/1846.98 c #Conflicts: 964000 | #Constraints: 86943
1838.50/1846.98 c #Conflicts: 965000 | #Constraints: 87943
1838.50/1846.98 c #Conflicts: 966000 | #Constraints: 88943
1838.50/1846.98 c #Conflicts: 967000 | #Constraints: 89943
1838.50/1846.98 c #Conflicts: 968000 | #Constraints: 90943
1838.50/1846.98 c #Conflicts: 969000 | #Constraints: 91943
1838.50/1846.98 c #Conflicts: 970000 | #Constraints: 92943
1838.50/1846.98 c #Conflicts: 971000 | #Constraints: 93943
1838.50/1846.98 c #Conflicts: 972000 | #Constraints: 94943
1838.50/1846.98 c #Conflicts: 973000 | #Constraints: 95943
1838.50/1846.98 c #Conflicts: 974000 | #Constraints: 96943
1838.50/1846.98 c #Conflicts: 975000 | #Constraints: 97943
1838.50/1846.98 c #Conflicts: 976000 | #Constraints: 98943
1838.50/1846.98 c #Conflicts: 977000 | #Constraints: 99943
1838.50/1846.98 c #Conflicts: 978000 | #Constraints: 100943
1838.50/1846.98 c #Conflicts: 979000 | #Constraints: 101943
1838.50/1846.98 c #Conflicts: 980000 | #Constraints: 102943
1838.50/1846.98 c #Conflicts: 981000 | #Constraints: 103943
1838.50/1846.98 c INPROCESSING
1838.50/1846.98 c GARBAGE COLLECT
1838.50/1846.98 c rational objective 55
1838.89/1847.37 c bounds 141 >= 55 @ 1825.08
1855.55/1864.02 c #Conflicts: 982000 | #Constraints: 85298
1855.55/1864.02 c #Conflicts: 983000 | #Constraints: 86298
1855.55/1864.02 c #Conflicts: 984000 | #Constraints: 87298
1855.55/1864.02 c #Conflicts: 985000 | #Constraints: 88298
1855.55/1864.02 c #Conflicts: 986000 | #Constraints: 89298
1855.55/1864.02 c #Conflicts: 987000 | #Constraints: 90298
1855.55/1864.02 c #Conflicts: 988000 | #Constraints: 91298
1855.55/1864.02 c #Conflicts: 989000 | #Constraints: 92298
1855.55/1864.02 c #Conflicts: 990000 | #Constraints: 93298
1855.55/1864.02 c #Conflicts: 991000 | #Constraints: 94298
1855.55/1864.02 c #Conflicts: 992000 | #Constraints: 95298
1855.55/1864.02 c #Conflicts: 993000 | #Constraints: 96298
1855.55/1864.02 c #Conflicts: 994000 | #Constraints: 97298
1855.55/1864.02 c #Conflicts: 995000 | #Constraints: 98298
1855.55/1864.02 c #Conflicts: 996000 | #Constraints: 99298
1855.55/1864.02 c #Conflicts: 997000 | #Constraints: 100298
1855.55/1864.02 c #Conflicts: 998000 | #Constraints: 101298
1855.55/1864.02 c #Conflicts: 999000 | #Constraints: 102298
1855.55/1864.02 c #Conflicts: 1000000 | #Constraints: 103298
1855.55/1864.02 c #Conflicts: 1001000 | #Constraints: 104298
1855.55/1864.02 c INPROCESSING
1855.55/1864.02 c GARBAGE COLLECT
1855.55/1864.02 c rational objective 55
1889.17/1897.74 c #Conflicts: 1002000 | #Constraints: 85533
1889.17/1897.74 c #Conflicts: 1003000 | #Constraints: 86533
1889.17/1897.74 c #Conflicts: 1004000 | #Constraints: 87533
1889.17/1897.74 c #Conflicts: 1005000 | #Constraints: 88533
1889.17/1897.74 c #Conflicts: 1006000 | #Constraints: 89533
1889.17/1897.74 c #Conflicts: 1007000 | #Constraints: 90533
1889.17/1897.74 c #Conflicts: 1008000 | #Constraints: 91533
1889.17/1897.74 c #Conflicts: 1009000 | #Constraints: 92533
1889.17/1897.74 c #Conflicts: 1010000 | #Constraints: 93533
1889.17/1897.74 c #Conflicts: 1011000 | #Constraints: 94533
1889.17/1897.74 c #Conflicts: 1012000 | #Constraints: 95533
1889.17/1897.74 c #Conflicts: 1013000 | #Constraints: 96533
1889.17/1897.74 c #Conflicts: 1014000 | #Constraints: 97533
1889.17/1897.74 c #Conflicts: 1015000 | #Constraints: 98533
1889.17/1897.74 c #Conflicts: 1016000 | #Constraints: 99533
1889.17/1897.74 c #Conflicts: 1017000 | #Constraints: 100533
1889.17/1897.74 c #Conflicts: 1018000 | #Constraints: 101533
1889.17/1897.74 c #Conflicts: 1019000 | #Constraints: 102533
1889.17/1897.74 c #Conflicts: 1020000 | #Constraints: 103533
1889.17/1897.74 c #Conflicts: 1021000 | #Constraints: 104533
1889.17/1897.74 c INPROCESSING
1889.17/1897.74 c GARBAGE COLLECT
1889.17/1897.74 c rational objective 55
1911.71/1920.35 c #Conflicts: 1022000 | #Constraints: 85543
1911.71/1920.35 c #Conflicts: 1023000 | #Constraints: 86543
1911.71/1920.35 c #Conflicts: 1024000 | #Constraints: 87543
1911.71/1920.35 c #Conflicts: 1025000 | #Constraints: 88543
1911.71/1920.35 c #Conflicts: 1026000 | #Constraints: 89543
1911.71/1920.35 c #Conflicts: 1027000 | #Constraints: 90543
1911.71/1920.35 c #Conflicts: 1028000 | #Constraints: 91543
1911.71/1920.35 c #Conflicts: 1029000 | #Constraints: 92543
1911.71/1920.35 c #Conflicts: 1030000 | #Constraints: 93543
1911.71/1920.35 c #Conflicts: 1031000 | #Constraints: 94543
1911.71/1920.35 c #Conflicts: 1032000 | #Constraints: 95543
1911.71/1920.35 c #Conflicts: 1033000 | #Constraints: 96543
1911.71/1920.35 c #Conflicts: 1034000 | #Constraints: 97543
1911.71/1920.35 c #Conflicts: 1035000 | #Constraints: 98543
1911.71/1920.35 c #Conflicts: 1036000 | #Constraints: 99543
1911.71/1920.35 c #Conflicts: 1037000 | #Constraints: 100543
1911.71/1920.35 c #Conflicts: 1038000 | #Constraints: 101543
1911.71/1920.35 c #Conflicts: 1039000 | #Constraints: 102543
1911.71/1920.35 c #Conflicts: 1040000 | #Constraints: 103543
1911.71/1920.35 c #Conflicts: 1041000 | #Constraints: 104543
1911.71/1920.35 c INPROCESSING
1911.71/1920.35 c GARBAGE COLLECT
1911.71/1920.35 c rational objective 55
1936.14/1944.88 c #Conflicts: 1042000 | #Constraints: 85305
1936.14/1944.88 c #Conflicts: 1043000 | #Constraints: 86305
1936.14/1944.88 c #Conflicts: 1044000 | #Constraints: 87305
1936.14/1944.88 c #Conflicts: 1045000 | #Constraints: 88305
1936.14/1944.88 c #Conflicts: 1046000 | #Constraints: 89305
1936.14/1944.88 c #Conflicts: 1047000 | #Constraints: 90305
1936.14/1944.88 c #Conflicts: 1048000 | #Constraints: 91305
1936.14/1944.88 c #Conflicts: 1049000 | #Constraints: 92305
1936.14/1944.88 c #Conflicts: 1050000 | #Constraints: 93305
1936.14/1944.88 c #Conflicts: 1051000 | #Constraints: 94305
1936.14/1944.88 c #Conflicts: 1052000 | #Constraints: 95305
1936.14/1944.88 c #Conflicts: 1053000 | #Constraints: 96305
1936.14/1944.88 c #Conflicts: 1054000 | #Constraints: 97305
1936.14/1944.88 c #Conflicts: 1055000 | #Constraints: 98305
1936.14/1944.88 c #Conflicts: 1056000 | #Constraints: 99305
1936.14/1944.88 c #Conflicts: 1057000 | #Constraints: 100306
1936.14/1944.88 c #Conflicts: 1058000 | #Constraints: 101306
1936.14/1944.88 c #Conflicts: 1059000 | #Constraints: 102307
1936.14/1944.88 c #Conflicts: 1060000 | #Constraints: 103307
1936.14/1944.88 c #Conflicts: 1061000 | #Constraints: 104308
1936.14/1944.88 c #Conflicts: 1062000 | #Constraints: 105308
1936.14/1944.88 c INPROCESSING
1936.14/1944.88 c GARBAGE COLLECT
1936.14/1944.88 c rational objective 55
1971.14/1979.95 c #Conflicts: 1063000 | #Constraints: 85906
1971.14/1979.95 c #Conflicts: 1064000 | #Constraints: 86906
1971.14/1979.95 c #Conflicts: 1065000 | #Constraints: 87906
1971.14/1979.95 c #Conflicts: 1066000 | #Constraints: 88906
1971.14/1979.95 c #Conflicts: 1067000 | #Constraints: 89906
1971.14/1979.95 c #Conflicts: 1068000 | #Constraints: 90906
1971.14/1979.95 c #Conflicts: 1069000 | #Constraints: 91906
1971.14/1979.95 c #Conflicts: 1070000 | #Constraints: 92906
1971.14/1979.95 c #Conflicts: 1071000 | #Constraints: 93906
1971.14/1979.95 c #Conflicts: 1072000 | #Constraints: 94906
1971.14/1979.95 c #Conflicts: 1073000 | #Constraints: 95906
1971.14/1979.95 c #Conflicts: 1074000 | #Constraints: 96906
1971.14/1979.95 c #Conflicts: 1075000 | #Constraints: 97906
1971.14/1979.95 c #Conflicts: 1076000 | #Constraints: 98906
1971.14/1979.95 c #Conflicts: 1077000 | #Constraints: 99906
1971.14/1979.95 c #Conflicts: 1078000 | #Constraints: 100906
1971.14/1979.95 c #Conflicts: 1079000 | #Constraints: 101906
1971.14/1979.95 c #Conflicts: 1080000 | #Constraints: 102906
1971.14/1979.95 c #Conflicts: 1081000 | #Constraints: 103906
1971.14/1979.95 c #Conflicts: 1082000 | #Constraints: 104906
1971.14/1979.95 c #Conflicts: 1083000 | #Constraints: 105906
1971.14/1979.95 c INPROCESSING
1971.14/1979.95 c GARBAGE COLLECT
1971.14/1979.95 c rational objective 55
1983.90/1992.79 c #Conflicts: 1084000 | #Constraints: 86263
1983.90/1992.79 c #Conflicts: 1085000 | #Constraints: 87263
1983.90/1992.79 c #Conflicts: 1086000 | #Constraints: 88263
1983.90/1992.79 c #Conflicts: 1087000 | #Constraints: 89263
1983.90/1992.79 c #Conflicts: 1088000 | #Constraints: 90263
1983.90/1992.79 c #Conflicts: 1089000 | #Constraints: 91263
1983.90/1992.79 c #Conflicts: 1090000 | #Constraints: 92263
1983.90/1992.79 c #Conflicts: 1091000 | #Constraints: 93263
1983.90/1992.79 c #Conflicts: 1092000 | #Constraints: 94263
1983.90/1992.79 c #Conflicts: 1093000 | #Constraints: 95263
1983.90/1992.79 c #Conflicts: 1094000 | #Constraints: 96263
1983.90/1992.79 c #Conflicts: 1095000 | #Constraints: 97263
1983.90/1992.79 c #Conflicts: 1096000 | #Constraints: 98263
1983.90/1992.79 c #Conflicts: 1097000 | #Constraints: 99264
1983.90/1992.79 c #Conflicts: 1098000 | #Constraints: 100264
1983.90/1992.79 c #Conflicts: 1099000 | #Constraints: 101265
1983.90/1992.79 c #Conflicts: 1100000 | #Constraints: 102266
1983.90/1992.79 c #Conflicts: 1101000 | #Constraints: 103266
1983.90/1992.79 c #Conflicts: 1102000 | #Constraints: 104266
1983.90/1992.79 c #Conflicts: 1103000 | #Constraints: 105266
1983.90/1992.79 c #Conflicts: 1104000 | #Constraints: 106266
1983.90/1992.79 c INPROCESSING
1983.90/1992.79 c GARBAGE COLLECT
1983.90/1992.79 c rational objective 55
2009.82/2018.70 c #Conflicts: 1105000 | #Constraints: 86587
2009.82/2018.70 c #Conflicts: 1106000 | #Constraints: 87587
2009.82/2018.70 c #Conflicts: 1107000 | #Constraints: 88587
2009.82/2018.70 c #Conflicts: 1108000 | #Constraints: 89587
2009.82/2018.70 c #Conflicts: 1109000 | #Constraints: 90587
2009.82/2018.70 c #Conflicts: 1110000 | #Constraints: 91587
2009.82/2018.70 c #Conflicts: 1111000 | #Constraints: 92587
2009.82/2018.70 c #Conflicts: 1112000 | #Constraints: 93587
2009.82/2018.70 c #Conflicts: 1113000 | #Constraints: 94587
2009.82/2018.70 c #Conflicts: 1114000 | #Constraints: 95587
2009.82/2018.70 c #Conflicts: 1115000 | #Constraints: 96587
2009.82/2018.70 c #Conflicts: 1116000 | #Constraints: 97587
2009.82/2018.70 c #Conflicts: 1117000 | #Constraints: 98587
2009.82/2018.70 c #Conflicts: 1118000 | #Constraints: 99587
2009.82/2018.70 c #Conflicts: 1119000 | #Constraints: 100587
2009.82/2018.70 c #Conflicts: 1120000 | #Constraints: 101588
2009.82/2018.70 c #Conflicts: 1121000 | #Constraints: 102589
2009.82/2018.70 c #Conflicts: 1122000 | #Constraints: 103589
2009.82/2018.70 c #Conflicts: 1123000 | #Constraints: 104590
2009.82/2018.70 c #Conflicts: 1124000 | #Constraints: 105590
2009.82/2018.70 c #Conflicts: 1125000 | #Constraints: 106590
2009.82/2018.70 c INPROCESSING
2009.82/2018.70 c GARBAGE COLLECT
2009.82/2018.70 c rational objective 55
2036.94/2045.96 c #Conflicts: 1126000 | #Constraints: 86597
2036.94/2045.96 c #Conflicts: 1127000 | #Constraints: 87597
2036.94/2045.96 c #Conflicts: 1128000 | #Constraints: 88597
2036.94/2045.96 c #Conflicts: 1129000 | #Constraints: 89597
2036.94/2045.96 c #Conflicts: 1130000 | #Constraints: 90597
2036.94/2045.96 c #Conflicts: 1131000 | #Constraints: 91597
2036.94/2045.96 c #Conflicts: 1132000 | #Constraints: 92597
2036.94/2045.96 c #Conflicts: 1133000 | #Constraints: 93597
2036.94/2045.96 c #Conflicts: 1134000 | #Constraints: 94597
2036.94/2045.96 c #Conflicts: 1135000 | #Constraints: 95597
2036.94/2045.96 c #Conflicts: 1136000 | #Constraints: 96597
2036.94/2045.96 c #Conflicts: 1137000 | #Constraints: 97597
2036.94/2045.96 c #Conflicts: 1138000 | #Constraints: 98597
2036.94/2045.96 c #Conflicts: 1139000 | #Constraints: 99597
2036.94/2045.96 c #Conflicts: 1140000 | #Constraints: 100597
2036.94/2045.96 c #Conflicts: 1141000 | #Constraints: 101597
2036.94/2045.96 c #Conflicts: 1142000 | #Constraints: 102598
2036.94/2045.96 c #Conflicts: 1143000 | #Constraints: 103598
2036.94/2045.96 c #Conflicts: 1144000 | #Constraints: 104598
2036.94/2045.96 c #Conflicts: 1145000 | #Constraints: 105598
2036.94/2045.96 c #Conflicts: 1146000 | #Constraints: 106598
2036.94/2045.96 c INPROCESSING
2036.94/2045.96 c GARBAGE COLLECT
2036.94/2045.96 c rational objective 55
2055.19/2064.27 c #Conflicts: 1147000 | #Constraints: 86400
2055.19/2064.27 c #Conflicts: 1148000 | #Constraints: 87400
2055.19/2064.27 c #Conflicts: 1149000 | #Constraints: 88400
2055.19/2064.27 c #Conflicts: 1150000 | #Constraints: 89401
2055.19/2064.27 c #Conflicts: 1151000 | #Constraints: 90401
2055.19/2064.27 c #Conflicts: 1152000 | #Constraints: 91401
2055.19/2064.27 c #Conflicts: 1153000 | #Constraints: 92401
2055.19/2064.27 c #Conflicts: 1154000 | #Constraints: 93401
2055.19/2064.27 c #Conflicts: 1155000 | #Constraints: 94401
2055.19/2064.27 c #Conflicts: 1156000 | #Constraints: 95401
2055.19/2064.27 c #Conflicts: 1157000 | #Constraints: 96401
2055.19/2064.27 c #Conflicts: 1158000 | #Constraints: 97401
2055.19/2064.27 c #Conflicts: 1159000 | #Constraints: 98401
2055.19/2064.27 c #Conflicts: 1160000 | #Constraints: 99401
2055.19/2064.27 c #Conflicts: 1161000 | #Constraints: 100401
2055.19/2064.27 c #Conflicts: 1162000 | #Constraints: 101401
2055.19/2064.27 c #Conflicts: 1163000 | #Constraints: 102401
2055.19/2064.27 c #Conflicts: 1164000 | #Constraints: 103401
2055.19/2064.27 c #Conflicts: 1165000 | #Constraints: 104401
2055.19/2064.27 c #Conflicts: 1166000 | #Constraints: 105401
2055.19/2064.27 c #Conflicts: 1167000 | #Constraints: 106402
2055.19/2064.27 c #Conflicts: 1168000 | #Constraints: 107402
2055.19/2064.27 c INPROCESSING
2055.19/2064.27 c GARBAGE COLLECT
2055.19/2064.27 c rational objective 55
2077.14/2086.21 c #Conflicts: 1169000 | #Constraints: 87035
2077.14/2086.21 c #Conflicts: 1170000 | #Constraints: 88035
2077.14/2086.21 c #Conflicts: 1171000 | #Constraints: 89036
2077.14/2086.21 c #Conflicts: 1172000 | #Constraints: 90036
2077.14/2086.21 c #Conflicts: 1173000 | #Constraints: 91036
2077.14/2086.21 c #Conflicts: 1174000 | #Constraints: 92036
2077.14/2086.21 c #Conflicts: 1175000 | #Constraints: 93036
2077.14/2086.21 c #Conflicts: 1176000 | #Constraints: 94036
2077.14/2086.21 c #Conflicts: 1177000 | #Constraints: 95037
2077.14/2086.21 c #Conflicts: 1178000 | #Constraints: 96037
2077.14/2086.21 c #Conflicts: 1179000 | #Constraints: 97037
2077.14/2086.21 c #Conflicts: 1180000 | #Constraints: 98037
2077.14/2086.21 c #Conflicts: 1181000 | #Constraints: 99037
2077.14/2086.21 c #Conflicts: 1182000 | #Constraints: 100037
2077.14/2086.21 c #Conflicts: 1183000 | #Constraints: 101037
2077.14/2086.21 c #Conflicts: 1184000 | #Constraints: 102037
2077.14/2086.21 c #Conflicts: 1185000 | #Constraints: 103037
2077.14/2086.21 c #Conflicts: 1186000 | #Constraints: 104037
2077.14/2086.21 c #Conflicts: 1187000 | #Constraints: 105037
2077.14/2086.21 c #Conflicts: 1188000 | #Constraints: 106037
2077.14/2086.21 c #Conflicts: 1189000 | #Constraints: 107037
2077.14/2086.21 c #Conflicts: 1190000 | #Constraints: 108038
2077.14/2086.21 c INPROCESSING
2077.14/2086.21 c GARBAGE COLLECT
2077.14/2086.21 c rational objective 55
2109.15/2118.35 c #Conflicts: 1191000 | #Constraints: 87444
2109.15/2118.35 c #Conflicts: 1192000 | #Constraints: 88445
2109.15/2118.35 c #Conflicts: 1193000 | #Constraints: 89445
2109.15/2118.35 c #Conflicts: 1194000 | #Constraints: 90445
2109.15/2118.35 c #Conflicts: 1195000 | #Constraints: 91445
2109.15/2118.35 c #Conflicts: 1196000 | #Constraints: 92445
2109.15/2118.35 c #Conflicts: 1197000 | #Constraints: 93445
2109.15/2118.35 c #Conflicts: 1198000 | #Constraints: 94445
2109.15/2118.35 c #Conflicts: 1199000 | #Constraints: 95445
2109.15/2118.35 c #Conflicts: 1200000 | #Constraints: 96445
2109.15/2118.35 c #Conflicts: 1201000 | #Constraints: 97445
2109.15/2118.35 c #Conflicts: 1202000 | #Constraints: 98445
2109.15/2118.35 c #Conflicts: 1203000 | #Constraints: 99445
2109.15/2118.35 c #Conflicts: 1204000 | #Constraints: 100445
2109.15/2118.35 c #Conflicts: 1205000 | #Constraints: 101445
2109.15/2118.35 c #Conflicts: 1206000 | #Constraints: 102445
2109.15/2118.35 c #Conflicts: 1207000 | #Constraints: 103445
2109.15/2118.35 c #Conflicts: 1208000 | #Constraints: 104445
2109.15/2118.35 c #Conflicts: 1209000 | #Constraints: 105445
2109.15/2118.35 c #Conflicts: 1210000 | #Constraints: 106445
2109.15/2118.35 c #Conflicts: 1211000 | #Constraints: 107445
2109.15/2118.35 c #Conflicts: 1212000 | #Constraints: 108445
2109.15/2118.35 c INPROCESSING
2109.15/2118.35 c GARBAGE COLLECT
2109.15/2118.35 c rational objective 55
2132.00/2141.23 c #Conflicts: 1213000 | #Constraints: 87594
2132.00/2141.23 c #Conflicts: 1214000 | #Constraints: 88594
2132.00/2141.23 c #Conflicts: 1215000 | #Constraints: 89594
2132.00/2141.23 c #Conflicts: 1216000 | #Constraints: 90594
2132.00/2141.23 c #Conflicts: 1217000 | #Constraints: 91594
2132.00/2141.23 c #Conflicts: 1218000 | #Constraints: 92594
2132.00/2141.23 c #Conflicts: 1219000 | #Constraints: 93594
2132.00/2141.23 c #Conflicts: 1220000 | #Constraints: 94594
2132.00/2141.23 c #Conflicts: 1221000 | #Constraints: 95594
2132.00/2141.23 c #Conflicts: 1222000 | #Constraints: 96594
2132.00/2141.23 c #Conflicts: 1223000 | #Constraints: 97594
2132.00/2141.23 c #Conflicts: 1224000 | #Constraints: 98594
2132.00/2141.23 c #Conflicts: 1225000 | #Constraints: 99594
2132.00/2141.23 c #Conflicts: 1226000 | #Constraints: 100594
2132.00/2141.23 c #Conflicts: 1227000 | #Constraints: 101594
2132.00/2141.23 c #Conflicts: 1228000 | #Constraints: 102595
2132.00/2141.23 c #Conflicts: 1229000 | #Constraints: 103597
2132.00/2141.23 c #Conflicts: 1230000 | #Constraints: 104597
2132.00/2141.23 c #Conflicts: 1231000 | #Constraints: 105597
2132.00/2141.23 c #Conflicts: 1232000 | #Constraints: 106598
2132.00/2141.23 c #Conflicts: 1233000 | #Constraints: 107598
2132.00/2141.23 c #Conflicts: 1234000 | #Constraints: 108598
2132.00/2141.23 c INPROCESSING
2132.00/2141.23 c GARBAGE COLLECT
2132.00/2141.23 c rational objective 55
2161.71/2171.01 c #Conflicts: 1235000 | #Constraints: 87607
2161.71/2171.01 c #Conflicts: 1236000 | #Constraints: 88607
2161.71/2171.01 c #Conflicts: 1237000 | #Constraints: 89607
2161.71/2171.01 c #Conflicts: 1238000 | #Constraints: 90607
2161.71/2171.01 c #Conflicts: 1239000 | #Constraints: 91607
2161.71/2171.01 c #Conflicts: 1240000 | #Constraints: 92607
2161.71/2171.01 c #Conflicts: 1241000 | #Constraints: 93607
2161.71/2171.01 c #Conflicts: 1242000 | #Constraints: 94607
2161.71/2171.01 c #Conflicts: 1243000 | #Constraints: 95607
2161.71/2171.01 c #Conflicts: 1244000 | #Constraints: 96607
2161.71/2171.01 c #Conflicts: 1245000 | #Constraints: 97607
2161.71/2171.01 c #Conflicts: 1246000 | #Constraints: 98607
2161.71/2171.01 c #Conflicts: 1247000 | #Constraints: 99607
2161.71/2171.01 c #Conflicts: 1248000 | #Constraints: 100607
2161.71/2171.01 c #Conflicts: 1249000 | #Constraints: 101607
2161.71/2171.01 c #Conflicts: 1250000 | #Constraints: 102607
2161.71/2171.01 c #Conflicts: 1251000 | #Constraints: 103607
2161.71/2171.01 c #Conflicts: 1252000 | #Constraints: 104607
2161.71/2171.01 c #Conflicts: 1253000 | #Constraints: 105607
2161.71/2171.01 c #Conflicts: 1254000 | #Constraints: 106607
2161.71/2171.01 c #Conflicts: 1255000 | #Constraints: 107607
2161.71/2171.01 c #Conflicts: 1256000 | #Constraints: 108607
2161.71/2171.01 c INPROCESSING
2161.71/2171.01 c GARBAGE COLLECT
2161.71/2171.01 c rational objective 55
2185.44/2194.87 c #Conflicts: 1257000 | #Constraints: 87405
2185.44/2194.87 c #Conflicts: 1258000 | #Constraints: 88405
2185.44/2194.87 c #Conflicts: 1259000 | #Constraints: 89406
2185.44/2194.87 c #Conflicts: 1260000 | #Constraints: 90406
2185.44/2194.87 c #Conflicts: 1261000 | #Constraints: 91406
2185.44/2194.87 c #Conflicts: 1262000 | #Constraints: 92406
2185.44/2194.87 c #Conflicts: 1263000 | #Constraints: 93406
2185.44/2194.87 c #Conflicts: 1264000 | #Constraints: 94406
2185.44/2194.87 c #Conflicts: 1265000 | #Constraints: 95406
2185.44/2194.87 c #Conflicts: 1266000 | #Constraints: 96406
2185.44/2194.87 c #Conflicts: 1267000 | #Constraints: 97406
2185.44/2194.87 c #Conflicts: 1268000 | #Constraints: 98406
2185.44/2194.87 c #Conflicts: 1269000 | #Constraints: 99406
2185.44/2194.87 c #Conflicts: 1270000 | #Constraints: 100406
2185.44/2194.87 c #Conflicts: 1271000 | #Constraints: 101407
2185.44/2194.87 c #Conflicts: 1272000 | #Constraints: 102407
2185.44/2194.87 c #Conflicts: 1273000 | #Constraints: 103407
2185.44/2194.87 c #Conflicts: 1274000 | #Constraints: 104407
2185.44/2194.87 c #Conflicts: 1275000 | #Constraints: 105407
2185.44/2194.87 c #Conflicts: 1276000 | #Constraints: 106408
2185.44/2194.87 c #Conflicts: 1277000 | #Constraints: 107409
2185.44/2194.87 c #Conflicts: 1278000 | #Constraints: 108409
2185.44/2194.87 c #Conflicts: 1279000 | #Constraints: 109409
2185.44/2194.87 c INPROCESSING
2185.44/2194.87 c GARBAGE COLLECT
2185.44/2194.87 c rational objective 55
2209.78/2219.25 c #Conflicts: 1280000 | #Constraints: 88017
2209.78/2219.25 c #Conflicts: 1281000 | #Constraints: 89017
2209.78/2219.25 c #Conflicts: 1282000 | #Constraints: 90017
2209.78/2219.25 c #Conflicts: 1283000 | #Constraints: 91017
2209.78/2219.25 c #Conflicts: 1284000 | #Constraints: 92017
2209.78/2219.25 c #Conflicts: 1285000 | #Constraints: 93017
2209.78/2219.25 c #Conflicts: 1286000 | #Constraints: 94017
2209.78/2219.25 c #Conflicts: 1287000 | #Constraints: 95017
2209.78/2219.25 c #Conflicts: 1288000 | #Constraints: 96017
2209.78/2219.25 c #Conflicts: 1289000 | #Constraints: 97017
2209.78/2219.25 c #Conflicts: 1290000 | #Constraints: 98017
2209.78/2219.25 c #Conflicts: 1291000 | #Constraints: 99017
2209.78/2219.25 c #Conflicts: 1292000 | #Constraints: 100017
2209.78/2219.25 c #Conflicts: 1293000 | #Constraints: 101017
2209.78/2219.25 c #Conflicts: 1294000 | #Constraints: 102017
2209.78/2219.25 c #Conflicts: 1295000 | #Constraints: 103017
2209.78/2219.25 c #Conflicts: 1296000 | #Constraints: 104017
2209.78/2219.25 c #Conflicts: 1297000 | #Constraints: 105017
2209.78/2219.25 c #Conflicts: 1298000 | #Constraints: 106017
2209.78/2219.25 c #Conflicts: 1299000 | #Constraints: 107017
2209.78/2219.25 c #Conflicts: 1300000 | #Constraints: 108017
2209.78/2219.25 c #Conflicts: 1301000 | #Constraints: 109017
2209.78/2219.25 c #Conflicts: 1302000 | #Constraints: 110017
2209.78/2219.25 c INPROCESSING
2209.78/2219.25 c GARBAGE COLLECT
2209.78/2219.25 c rational objective 55
2238.21/2247.79 c #Conflicts: 1303000 | #Constraints: 88428
2238.21/2247.79 c #Conflicts: 1304000 | #Constraints: 89428
2238.21/2247.79 c #Conflicts: 1305000 | #Constraints: 90428
2238.21/2247.79 c #Conflicts: 1306000 | #Constraints: 91428
2238.21/2247.79 c #Conflicts: 1307000 | #Constraints: 92428
2238.21/2247.79 c #Conflicts: 1308000 | #Constraints: 93428
2238.21/2247.79 c #Conflicts: 1309000 | #Constraints: 94428
2238.21/2247.79 c #Conflicts: 1310000 | #Constraints: 95428
2238.21/2247.79 c #Conflicts: 1311000 | #Constraints: 96428
2238.21/2247.79 c #Conflicts: 1312000 | #Constraints: 97428
2238.21/2247.79 c #Conflicts: 1313000 | #Constraints: 98428
2238.21/2247.79 c #Conflicts: 1314000 | #Constraints: 99428
2238.21/2247.79 c #Conflicts: 1315000 | #Constraints: 100428
2238.21/2247.79 c #Conflicts: 1316000 | #Constraints: 101428
2238.21/2247.79 c #Conflicts: 1317000 | #Constraints: 102428
2238.21/2247.79 c #Conflicts: 1318000 | #Constraints: 103428
2238.21/2247.79 c #Conflicts: 1319000 | #Constraints: 104428
2238.21/2247.79 c #Conflicts: 1320000 | #Constraints: 105428
2238.21/2247.79 c #Conflicts: 1321000 | #Constraints: 106428
2238.21/2247.79 c #Conflicts: 1322000 | #Constraints: 107428
2238.21/2247.79 c #Conflicts: 1323000 | #Constraints: 108428
2238.21/2247.79 c #Conflicts: 1324000 | #Constraints: 109428
2238.21/2247.79 c #Conflicts: 1325000 | #Constraints: 110428
2238.21/2247.79 c INPROCESSING
2238.21/2247.79 c GARBAGE COLLECT
2238.21/2247.79 c rational objective 55
2282.60/2292.22 c #Conflicts: 1326000 | #Constraints: 88648
2282.60/2292.22 c #Conflicts: 1327000 | #Constraints: 89648
2282.60/2292.22 c #Conflicts: 1328000 | #Constraints: 90648
2282.60/2292.22 c #Conflicts: 1329000 | #Constraints: 91648
2282.60/2292.22 c #Conflicts: 1330000 | #Constraints: 92648
2282.60/2292.22 c #Conflicts: 1331000 | #Constraints: 93648
2282.60/2292.22 c #Conflicts: 1332000 | #Constraints: 94648
2282.60/2292.22 c #Conflicts: 1333000 | #Constraints: 95648
2282.60/2292.22 c #Conflicts: 1334000 | #Constraints: 96648
2282.60/2292.22 c #Conflicts: 1335000 | #Constraints: 97648
2282.60/2292.22 c #Conflicts: 1336000 | #Constraints: 98648
2282.60/2292.22 c #Conflicts: 1337000 | #Constraints: 99648
2282.60/2292.22 c #Conflicts: 1338000 | #Constraints: 100648
2282.60/2292.22 c #Conflicts: 1339000 | #Constraints: 101648
2282.60/2292.22 c #Conflicts: 1340000 | #Constraints: 102648
2282.60/2292.22 c #Conflicts: 1341000 | #Constraints: 103648
2282.60/2292.22 c #Conflicts: 1342000 | #Constraints: 104648
2282.60/2292.22 c #Conflicts: 1343000 | #Constraints: 105648
2282.60/2292.22 c #Conflicts: 1344000 | #Constraints: 106648
2282.60/2292.22 c #Conflicts: 1345000 | #Constraints: 107649
2282.60/2292.22 c #Conflicts: 1346000 | #Constraints: 108649
2282.60/2292.22 c #Conflicts: 1347000 | #Constraints: 109649
2282.60/2292.22 c #Conflicts: 1348000 | #Constraints: 110653
2282.60/2292.22 c INPROCESSING
2282.60/2292.22 c GARBAGE COLLECT
2282.60/2292.22 c rational objective 55
2307.43/2317.19 c #Conflicts: 1349000 | #Constraints: 88625
2307.43/2317.19 c #Conflicts: 1350000 | #Constraints: 89625
2307.43/2317.19 c #Conflicts: 1351000 | #Constraints: 90625
2307.43/2317.19 c #Conflicts: 1352000 | #Constraints: 91625
2307.43/2317.19 c #Conflicts: 1353000 | #Constraints: 92625
2307.43/2317.19 c #Conflicts: 1354000 | #Constraints: 93625
2307.43/2317.19 c #Conflicts: 1355000 | #Constraints: 94625
2307.43/2317.19 c #Conflicts: 1356000 | #Constraints: 95626
2307.43/2317.19 c #Conflicts: 1357000 | #Constraints: 96627
2307.43/2317.19 c #Conflicts: 1358000 | #Constraints: 97627
2307.43/2317.19 c #Conflicts: 1359000 | #Constraints: 98628
2307.43/2317.19 c #Conflicts: 1360000 | #Constraints: 99628
2307.43/2317.19 c #Conflicts: 1361000 | #Constraints: 100628
2307.43/2317.19 c #Conflicts: 1362000 | #Constraints: 101628
2307.43/2317.19 c #Conflicts: 1363000 | #Constraints: 102628
2307.43/2317.19 c #Conflicts: 1364000 | #Constraints: 103628
2307.43/2317.19 c #Conflicts: 1365000 | #Constraints: 104628
2307.43/2317.19 c #Conflicts: 1366000 | #Constraints: 105628
2307.43/2317.19 c #Conflicts: 1367000 | #Constraints: 106628
2307.43/2317.19 c #Conflicts: 1368000 | #Constraints: 107628
2307.43/2317.19 c #Conflicts: 1369000 | #Constraints: 108628
2307.43/2317.19 c #Conflicts: 1370000 | #Constraints: 109628
2307.43/2317.19 c #Conflicts: 1371000 | #Constraints: 110628
2307.43/2317.19 c INPROCESSING
2307.43/2317.19 c GARBAGE COLLECT
2307.43/2317.19 c rational objective 55
2342.23/2352.01 c #Conflicts: 1372000 | #Constraints: 88469
2342.23/2352.01 c #Conflicts: 1373000 | #Constraints: 89469
2342.23/2352.01 c #Conflicts: 1374000 | #Constraints: 90469
2342.23/2352.01 c #Conflicts: 1375000 | #Constraints: 91469
2342.23/2352.01 c #Conflicts: 1376000 | #Constraints: 92469
2342.23/2352.01 c #Conflicts: 1377000 | #Constraints: 93469
2342.23/2352.01 c #Conflicts: 1378000 | #Constraints: 94469
2342.23/2352.01 c #Conflicts: 1379000 | #Constraints: 95469
2342.23/2352.01 c #Conflicts: 1380000 | #Constraints: 96469
2342.23/2352.01 c #Conflicts: 1381000 | #Constraints: 97469
2342.23/2352.01 c #Conflicts: 1382000 | #Constraints: 98469
2342.23/2352.01 c #Conflicts: 1383000 | #Constraints: 99469
2342.23/2352.01 c #Conflicts: 1384000 | #Constraints: 100469
2342.23/2352.01 c #Conflicts: 1385000 | #Constraints: 101469
2342.23/2352.01 c #Conflicts: 1386000 | #Constraints: 102469
2342.23/2352.01 c #Conflicts: 1387000 | #Constraints: 103469
2342.23/2352.01 c #Conflicts: 1388000 | #Constraints: 104469
2342.23/2352.01 c #Conflicts: 1389000 | #Constraints: 105469
2342.23/2352.01 c #Conflicts: 1390000 | #Constraints: 106469
2342.23/2352.01 c #Conflicts: 1391000 | #Constraints: 107469
2342.23/2352.01 c #Conflicts: 1392000 | #Constraints: 108469
2342.23/2352.01 c #Conflicts: 1393000 | #Constraints: 109469
2342.23/2352.01 c #Conflicts: 1394000 | #Constraints: 110469
2342.23/2352.01 c #Conflicts: 1395000 | #Constraints: 111469
2342.23/2352.01 c INPROCESSING
2342.23/2352.01 c GARBAGE COLLECT
2342.23/2352.01 c rational objective 55
2366.07/2375.98 c #Conflicts: 1396000 | #Constraints: 89033
2366.07/2375.98 c #Conflicts: 1397000 | #Constraints: 90033
2366.07/2375.98 c #Conflicts: 1398000 | #Constraints: 91033
2366.07/2375.98 c #Conflicts: 1399000 | #Constraints: 92033
2366.07/2375.98 c #Conflicts: 1400000 | #Constraints: 93033
2366.07/2375.98 c #Conflicts: 1401000 | #Constraints: 94033
2366.07/2375.98 c #Conflicts: 1402000 | #Constraints: 95033
2366.07/2375.98 c #Conflicts: 1403000 | #Constraints: 96033
2366.07/2375.98 c #Conflicts: 1404000 | #Constraints: 97033
2366.07/2375.98 c #Conflicts: 1405000 | #Constraints: 98033
2366.07/2375.98 c #Conflicts: 1406000 | #Constraints: 99033
2366.07/2375.98 c #Conflicts: 1407000 | #Constraints: 100033
2366.07/2375.98 c #Conflicts: 1408000 | #Constraints: 101033
2366.07/2375.98 c #Conflicts: 1409000 | #Constraints: 102033
2366.07/2375.98 c #Conflicts: 1410000 | #Constraints: 103033
2366.07/2375.98 c #Conflicts: 1411000 | #Constraints: 104033
2366.07/2375.98 c #Conflicts: 1412000 | #Constraints: 105033
2366.07/2375.98 c #Conflicts: 1413000 | #Constraints: 106033
2366.07/2375.98 c #Conflicts: 1414000 | #Constraints: 107033
2366.07/2375.98 c #Conflicts: 1415000 | #Constraints: 108033
2366.07/2375.98 c #Conflicts: 1416000 | #Constraints: 109033
2366.07/2375.98 c #Conflicts: 1417000 | #Constraints: 110033
2366.07/2375.98 c #Conflicts: 1418000 | #Constraints: 111034
2366.07/2375.98 c #Conflicts: 1419000 | #Constraints: 112034
2366.07/2375.98 c INPROCESSING
2366.07/2375.98 c GARBAGE COLLECT
2366.07/2375.98 c rational objective 55
2392.88/2402.89 c #Conflicts: 1420000 | #Constraints: 89450
2392.88/2402.89 c #Conflicts: 1421000 | #Constraints: 90450
2392.88/2402.89 c #Conflicts: 1422000 | #Constraints: 91450
2392.88/2402.89 c #Conflicts: 1423000 | #Constraints: 92450
2392.88/2402.89 c #Conflicts: 1424000 | #Constraints: 93450
2392.88/2402.89 c #Conflicts: 1425000 | #Constraints: 94450
2392.88/2402.89 c #Conflicts: 1426000 | #Constraints: 95450
2392.88/2402.89 c #Conflicts: 1427000 | #Constraints: 96450
2392.88/2402.89 c #Conflicts: 1428000 | #Constraints: 97450
2392.88/2402.89 c #Conflicts: 1429000 | #Constraints: 98450
2392.88/2402.89 c #Conflicts: 1430000 | #Constraints: 99450
2392.88/2402.89 c #Conflicts: 1431000 | #Constraints: 100450
2392.88/2402.89 c #Conflicts: 1432000 | #Constraints: 101450
2392.88/2402.89 c #Conflicts: 1433000 | #Constraints: 102450
2392.88/2402.89 c #Conflicts: 1434000 | #Constraints: 103450
2392.88/2402.89 c #Conflicts: 1435000 | #Constraints: 104450
2392.88/2402.89 c #Conflicts: 1436000 | #Constraints: 105450
2392.88/2402.89 c #Conflicts: 1437000 | #Constraints: 106450
2392.88/2402.89 c #Conflicts: 1438000 | #Constraints: 107450
2392.88/2402.89 c #Conflicts: 1439000 | #Constraints: 108450
2392.88/2402.89 c #Conflicts: 1440000 | #Constraints: 109450
2392.88/2402.89 c #Conflicts: 1441000 | #Constraints: 110450
2392.88/2402.89 c #Conflicts: 1442000 | #Constraints: 111450
2392.88/2402.89 c #Conflicts: 1443000 | #Constraints: 112450
2392.88/2402.89 c INPROCESSING
2392.88/2402.89 c GARBAGE COLLECT
2392.88/2402.89 c rational objective 55
2418.02/2428.06 c #Conflicts: 1444000 | #Constraints: 89662
2418.02/2428.06 c #Conflicts: 1445000 | #Constraints: 90662
2418.02/2428.06 c #Conflicts: 1446000 | #Constraints: 91662
2418.02/2428.06 c #Conflicts: 1447000 | #Constraints: 92662
2418.02/2428.06 c #Conflicts: 1448000 | #Constraints: 93662
2418.02/2428.06 c #Conflicts: 1449000 | #Constraints: 94663
2418.02/2428.06 c #Conflicts: 1450000 | #Constraints: 95663
2418.02/2428.06 c #Conflicts: 1451000 | #Constraints: 96663
2418.02/2428.06 c #Conflicts: 1452000 | #Constraints: 97663
2418.02/2428.06 c #Conflicts: 1453000 | #Constraints: 98663
2418.02/2428.06 c #Conflicts: 1454000 | #Constraints: 99663
2418.02/2428.06 c #Conflicts: 1455000 | #Constraints: 100663
2418.02/2428.06 c #Conflicts: 1456000 | #Constraints: 101663
2418.02/2428.06 c #Conflicts: 1457000 | #Constraints: 102663
2418.02/2428.06 c #Conflicts: 1458000 | #Constraints: 103663
2418.02/2428.06 c #Conflicts: 1459000 | #Constraints: 104664
2418.02/2428.06 c #Conflicts: 1460000 | #Constraints: 105664
2418.02/2428.06 c #Conflicts: 1461000 | #Constraints: 106664
2418.02/2428.06 c #Conflicts: 1462000 | #Constraints: 107664
2418.02/2428.06 c #Conflicts: 1463000 | #Constraints: 108664
2418.02/2428.06 c #Conflicts: 1464000 | #Constraints: 109664
2418.02/2428.06 c #Conflicts: 1465000 | #Constraints: 110664
2418.02/2428.06 c #Conflicts: 1466000 | #Constraints: 111664
2418.02/2428.06 c #Conflicts: 1467000 | #Constraints: 112665
2418.02/2428.06 c INPROCESSING
2418.02/2428.06 c GARBAGE COLLECT
2418.02/2428.06 c rational objective 55
2450.63/2460.75 c #Conflicts: 1468000 | #Constraints: 89666
2450.63/2460.75 c #Conflicts: 1469000 | #Constraints: 90666
2450.63/2460.75 c #Conflicts: 1470000 | #Constraints: 91666
2450.63/2460.75 c #Conflicts: 1471000 | #Constraints: 92666
2450.63/2460.75 c #Conflicts: 1472000 | #Constraints: 93666
2450.63/2460.75 c #Conflicts: 1473000 | #Constraints: 94666
2450.63/2460.75 c #Conflicts: 1474000 | #Constraints: 95666
2450.63/2460.75 c #Conflicts: 1475000 | #Constraints: 96666
2450.63/2460.75 c #Conflicts: 1476000 | #Constraints: 97666
2450.63/2460.75 c #Conflicts: 1477000 | #Constraints: 98666
2450.63/2460.75 c #Conflicts: 1478000 | #Constraints: 99666
2450.63/2460.75 c #Conflicts: 1479000 | #Constraints: 100666
2450.63/2460.75 c #Conflicts: 1480000 | #Constraints: 101666
2450.63/2460.75 c #Conflicts: 1481000 | #Constraints: 102666
2450.63/2460.75 c #Conflicts: 1482000 | #Constraints: 103666
2450.63/2460.75 c #Conflicts: 1483000 | #Constraints: 104666
2450.63/2460.75 c #Conflicts: 1484000 | #Constraints: 105666
2450.63/2460.75 c #Conflicts: 1485000 | #Constraints: 106666
2450.63/2460.75 c #Conflicts: 1486000 | #Constraints: 107666
2450.63/2460.75 c #Conflicts: 1487000 | #Constraints: 108666
2450.63/2460.75 c #Conflicts: 1488000 | #Constraints: 109666
2450.63/2460.75 c #Conflicts: 1489000 | #Constraints: 110666
2450.63/2460.75 c #Conflicts: 1490000 | #Constraints: 111666
2450.63/2460.75 c #Conflicts: 1491000 | #Constraints: 112666
2450.63/2460.75 c INPROCESSING
2450.63/2460.75 c GARBAGE COLLECT
2450.63/2460.75 c rational objective 55
2467.99/2478.11 c #Conflicts: 1492000 | #Constraints: 89487
2467.99/2478.11 c #Conflicts: 1493000 | #Constraints: 90487
2467.99/2478.11 c #Conflicts: 1494000 | #Constraints: 91487
2467.99/2478.11 c #Conflicts: 1495000 | #Constraints: 92487
2467.99/2478.11 c #Conflicts: 1496000 | #Constraints: 93487
2467.99/2478.11 c #Conflicts: 1497000 | #Constraints: 94487
2467.99/2478.11 c #Conflicts: 1498000 | #Constraints: 95487
2467.99/2478.11 c #Conflicts: 1499000 | #Constraints: 96487
2467.99/2478.11 c #Conflicts: 1500000 | #Constraints: 97487
2467.99/2478.11 c #Conflicts: 1501000 | #Constraints: 98487
2467.99/2478.11 c #Conflicts: 1502000 | #Constraints: 99487
2467.99/2478.11 c #Conflicts: 1503000 | #Constraints: 100487
2467.99/2478.11 c #Conflicts: 1504000 | #Constraints: 101487
2467.99/2478.11 c #Conflicts: 1505000 | #Constraints: 102487
2467.99/2478.11 c #Conflicts: 1506000 | #Constraints: 103487
2467.99/2478.11 c #Conflicts: 1507000 | #Constraints: 104487
2467.99/2478.11 c #Conflicts: 1508000 | #Constraints: 105487
2467.99/2478.11 c #Conflicts: 1509000 | #Constraints: 106487
2467.99/2478.11 c #Conflicts: 1510000 | #Constraints: 107487
2467.99/2478.11 c #Conflicts: 1511000 | #Constraints: 108487
2467.99/2478.11 c #Conflicts: 1512000 | #Constraints: 109487
2467.99/2478.11 c #Conflicts: 1513000 | #Constraints: 110487
2467.99/2478.11 c #Conflicts: 1514000 | #Constraints: 111487
2467.99/2478.11 c #Conflicts: 1515000 | #Constraints: 112487
2467.99/2478.11 c #Conflicts: 1516000 | #Constraints: 113487
2467.99/2478.11 c INPROCESSING
2467.99/2478.11 c GARBAGE COLLECT
2467.99/2478.11 c rational objective 55
2506.39/2516.64 c #Conflicts: 1517000 | #Constraints: 90079
2506.39/2516.64 c #Conflicts: 1518000 | #Constraints: 91079
2506.39/2516.64 c #Conflicts: 1519000 | #Constraints: 92079
2506.39/2516.64 c #Conflicts: 1520000 | #Constraints: 93079
2506.39/2516.64 c #Conflicts: 1521000 | #Constraints: 94079
2506.39/2516.64 c #Conflicts: 1522000 | #Constraints: 95079
2506.39/2516.64 c #Conflicts: 1523000 | #Constraints: 96079
2506.39/2516.64 c #Conflicts: 1524000 | #Constraints: 97079
2506.39/2516.64 c #Conflicts: 1525000 | #Constraints: 98079
2506.39/2516.64 c #Conflicts: 1526000 | #Constraints: 99079
2506.39/2516.64 c #Conflicts: 1527000 | #Constraints: 100079
2506.39/2516.64 c #Conflicts: 1528000 | #Constraints: 101079
2506.39/2516.64 c #Conflicts: 1529000 | #Constraints: 102079
2506.39/2516.64 c #Conflicts: 1530000 | #Constraints: 103079
2506.39/2516.64 c #Conflicts: 1531000 | #Constraints: 104079
2506.39/2516.64 c #Conflicts: 1532000 | #Constraints: 105079
2506.39/2516.64 c #Conflicts: 1533000 | #Constraints: 106079
2506.39/2516.64 c #Conflicts: 1534000 | #Constraints: 107079
2506.39/2516.64 c #Conflicts: 1535000 | #Constraints: 108080
2506.39/2516.64 c #Conflicts: 1536000 | #Constraints: 109080
2506.39/2516.64 c #Conflicts: 1537000 | #Constraints: 110080
2506.39/2516.64 c #Conflicts: 1538000 | #Constraints: 111080
2506.39/2516.64 c #Conflicts: 1539000 | #Constraints: 112080
2506.39/2516.64 c #Conflicts: 1540000 | #Constraints: 113080
2506.39/2516.64 c #Conflicts: 1541000 | #Constraints: 114080
2506.39/2516.64 c INPROCESSING
2506.39/2516.64 c GARBAGE COLLECT
2506.39/2516.64 c rational objective 55
2528.40/2538.78 c #Conflicts: 1542000 | #Constraints: 90445
2528.40/2538.78 c #Conflicts: 1543000 | #Constraints: 91445
2528.40/2538.78 c #Conflicts: 1544000 | #Constraints: 92445
2528.40/2538.78 c #Conflicts: 1545000 | #Constraints: 93445
2528.40/2538.78 c #Conflicts: 1546000 | #Constraints: 94445
2528.40/2538.78 c #Conflicts: 1547000 | #Constraints: 95445
2528.40/2538.78 c #Conflicts: 1548000 | #Constraints: 96445
2528.40/2538.78 c #Conflicts: 1549000 | #Constraints: 97445
2528.40/2538.78 c #Conflicts: 1550000 | #Constraints: 98445
2528.40/2538.78 c #Conflicts: 1551000 | #Constraints: 99445
2528.40/2538.78 c #Conflicts: 1552000 | #Constraints: 100445
2528.40/2538.78 c #Conflicts: 1553000 | #Constraints: 101445
2528.40/2538.78 c #Conflicts: 1554000 | #Constraints: 102445
2528.40/2538.78 c #Conflicts: 1555000 | #Constraints: 103446
2528.40/2538.78 c #Conflicts: 1556000 | #Constraints: 104446
2528.40/2538.78 c #Conflicts: 1557000 | #Constraints: 105446
2528.40/2538.78 c #Conflicts: 1558000 | #Constraints: 106448
2528.40/2538.78 c #Conflicts: 1559000 | #Constraints: 107448
2528.40/2538.78 c #Conflicts: 1560000 | #Constraints: 108449
2528.40/2538.78 c #Conflicts: 1561000 | #Constraints: 109452
2528.40/2538.78 c #Conflicts: 1562000 | #Constraints: 110453
2528.40/2538.78 c #Conflicts: 1563000 | #Constraints: 111453
2528.40/2538.78 c #Conflicts: 1564000 | #Constraints: 112454
2528.40/2538.78 c #Conflicts: 1565000 | #Constraints: 113454
2528.40/2538.78 c #Conflicts: 1566000 | #Constraints: 114454
2528.40/2538.78 c INPROCESSING
2528.40/2538.78 c GARBAGE COLLECT
2528.40/2538.78 c rational objective 55
2553.75/2564.14 c #Conflicts: 1567000 | #Constraints: 90637
2553.75/2564.14 c #Conflicts: 1568000 | #Constraints: 91637
2553.75/2564.14 c #Conflicts: 1569000 | #Constraints: 92637
2553.75/2564.14 c #Conflicts: 1570000 | #Constraints: 93637
2553.75/2564.14 c #Conflicts: 1571000 | #Constraints: 94637
2553.75/2564.14 c #Conflicts: 1572000 | #Constraints: 95637
2553.75/2564.14 c #Conflicts: 1573000 | #Constraints: 96637
2553.75/2564.14 c #Conflicts: 1574000 | #Constraints: 97637
2553.75/2564.14 c #Conflicts: 1575000 | #Constraints: 98637
2553.75/2564.14 c #Conflicts: 1576000 | #Constraints: 99637
2553.75/2564.14 c #Conflicts: 1577000 | #Constraints: 100637
2553.75/2564.14 c #Conflicts: 1578000 | #Constraints: 101637
2553.75/2564.14 c #Conflicts: 1579000 | #Constraints: 102637
2553.75/2564.14 c #Conflicts: 1580000 | #Constraints: 103637
2553.75/2564.14 c #Conflicts: 1581000 | #Constraints: 104637
2553.75/2564.14 c #Conflicts: 1582000 | #Constraints: 105637
2553.75/2564.14 c #Conflicts: 1583000 | #Constraints: 106637
2553.75/2564.14 c #Conflicts: 1584000 | #Constraints: 107637
2553.75/2564.14 c #Conflicts: 1585000 | #Constraints: 108637
2553.75/2564.14 c #Conflicts: 1586000 | #Constraints: 109637
2553.75/2564.14 c #Conflicts: 1587000 | #Constraints: 110637
2553.75/2564.14 c #Conflicts: 1588000 | #Constraints: 111637
2553.75/2564.14 c #Conflicts: 1589000 | #Constraints: 112637
2553.75/2564.14 c #Conflicts: 1590000 | #Constraints: 113637
2553.75/2564.14 c #Conflicts: 1591000 | #Constraints: 114637
2553.75/2564.14 c INPROCESSING
2553.75/2564.14 c GARBAGE COLLECT
2553.75/2564.14 c rational objective 55
2601.90/2612.45 c #Conflicts: 1592000 | #Constraints: 90673
2601.90/2612.45 c #Conflicts: 1593000 | #Constraints: 91673
2601.90/2612.45 c #Conflicts: 1594000 | #Constraints: 92673
2601.90/2612.45 c #Conflicts: 1595000 | #Constraints: 93673
2601.90/2612.45 c #Conflicts: 1596000 | #Constraints: 94673
2601.90/2612.45 c #Conflicts: 1597000 | #Constraints: 95673
2601.90/2612.45 c #Conflicts: 1598000 | #Constraints: 96673
2601.90/2612.45 c #Conflicts: 1599000 | #Constraints: 97673
2601.90/2612.45 c #Conflicts: 1600000 | #Constraints: 98673
2601.90/2612.45 c #Conflicts: 1601000 | #Constraints: 99673
2601.90/2612.45 c #Conflicts: 1602000 | #Constraints: 100673
2601.90/2612.45 c #Conflicts: 1603000 | #Constraints: 101673
2601.90/2612.45 c #Conflicts: 1604000 | #Constraints: 102673
2601.90/2612.45 c #Conflicts: 1605000 | #Constraints: 103673
2601.90/2612.45 c #Conflicts: 1606000 | #Constraints: 104673
2601.90/2612.45 c #Conflicts: 1607000 | #Constraints: 105673
2601.90/2612.45 c #Conflicts: 1608000 | #Constraints: 106673
2601.90/2612.45 c #Conflicts: 1609000 | #Constraints: 107673
2601.90/2612.45 c #Conflicts: 1610000 | #Constraints: 108673
2601.90/2612.45 c #Conflicts: 1611000 | #Constraints: 109673
2601.90/2612.45 c #Conflicts: 1612000 | #Constraints: 110673
2601.90/2612.45 c #Conflicts: 1613000 | #Constraints: 111673
2601.90/2612.45 c #Conflicts: 1614000 | #Constraints: 112673
2601.90/2612.45 c #Conflicts: 1615000 | #Constraints: 113673
2601.90/2612.45 c #Conflicts: 1616000 | #Constraints: 114673
2601.90/2612.45 c INPROCESSING
2601.90/2612.45 c GARBAGE COLLECT
2601.90/2612.45 c rational objective 55
2626.63/2637.26 c #Conflicts: 1617000 | #Constraints: 90486
2626.63/2637.26 c #Conflicts: 1618000 | #Constraints: 91486
2626.63/2637.26 c #Conflicts: 1619000 | #Constraints: 92486
2626.63/2637.26 c #Conflicts: 1620000 | #Constraints: 93486
2626.63/2637.26 c #Conflicts: 1621000 | #Constraints: 94486
2626.63/2637.26 c #Conflicts: 1622000 | #Constraints: 95487
2626.63/2637.26 c #Conflicts: 1623000 | #Constraints: 96487
2626.63/2637.26 c #Conflicts: 1624000 | #Constraints: 97487
2626.63/2637.26 c #Conflicts: 1625000 | #Constraints: 98487
2626.63/2637.26 c #Conflicts: 1626000 | #Constraints: 99487
2626.63/2637.26 c #Conflicts: 1627000 | #Constraints: 100487
2626.63/2637.26 c #Conflicts: 1628000 | #Constraints: 101487
2626.63/2637.26 c #Conflicts: 1629000 | #Constraints: 102487
2626.63/2637.26 c #Conflicts: 1630000 | #Constraints: 103487
2626.63/2637.26 c #Conflicts: 1631000 | #Constraints: 104487
2626.63/2637.26 c #Conflicts: 1632000 | #Constraints: 105487
2626.63/2637.26 c #Conflicts: 1633000 | #Constraints: 106487
2626.63/2637.26 c #Conflicts: 1634000 | #Constraints: 107487
2626.63/2637.26 c #Conflicts: 1635000 | #Constraints: 108487
2626.63/2637.26 c #Conflicts: 1636000 | #Constraints: 109487
2626.63/2637.26 c #Conflicts: 1637000 | #Constraints: 110487
2626.63/2637.26 c #Conflicts: 1638000 | #Constraints: 111487
2626.63/2637.26 c #Conflicts: 1639000 | #Constraints: 112487
2626.63/2637.26 c #Conflicts: 1640000 | #Constraints: 113487
2626.63/2637.26 c #Conflicts: 1641000 | #Constraints: 114488
2626.63/2637.26 c #Conflicts: 1642000 | #Constraints: 115488
2626.63/2637.26 c INPROCESSING
2626.63/2637.26 c GARBAGE COLLECT
2626.63/2637.26 c rational objective 55
2659.53/2670.20 c #Conflicts: 1643000 | #Constraints: 91082
2659.53/2670.20 c #Conflicts: 1644000 | #Constraints: 92083
2659.53/2670.20 c #Conflicts: 1645000 | #Constraints: 93083
2659.53/2670.20 c #Conflicts: 1646000 | #Constraints: 94083
2659.53/2670.20 c #Conflicts: 1647000 | #Constraints: 95083
2659.53/2670.20 c #Conflicts: 1648000 | #Constraints: 96083
2659.53/2670.20 c #Conflicts: 1649000 | #Constraints: 97083
2659.53/2670.20 c #Conflicts: 1650000 | #Constraints: 98083
2659.53/2670.20 c #Conflicts: 1651000 | #Constraints: 99083
2659.53/2670.20 c #Conflicts: 1652000 | #Constraints: 100083
2659.53/2670.20 c #Conflicts: 1653000 | #Constraints: 101083
2659.53/2670.20 c #Conflicts: 1654000 | #Constraints: 102083
2659.53/2670.20 c #Conflicts: 1655000 | #Constraints: 103083
2659.53/2670.20 c #Conflicts: 1656000 | #Constraints: 104083
2659.53/2670.20 c #Conflicts: 1657000 | #Constraints: 105083
2659.53/2670.20 c #Conflicts: 1658000 | #Constraints: 106083
2659.53/2670.20 c #Conflicts: 1659000 | #Constraints: 107083
2659.53/2670.20 c #Conflicts: 1660000 | #Constraints: 108083
2659.53/2670.20 c #Conflicts: 1661000 | #Constraints: 109083
2659.53/2670.20 c #Conflicts: 1662000 | #Constraints: 110083
2659.53/2670.20 c #Conflicts: 1663000 | #Constraints: 111083
2659.53/2670.20 c #Conflicts: 1664000 | #Constraints: 112083
2659.53/2670.20 c #Conflicts: 1665000 | #Constraints: 113083
2659.53/2670.20 c #Conflicts: 1666000 | #Constraints: 114083
2659.53/2670.20 c #Conflicts: 1667000 | #Constraints: 115083
2659.53/2670.20 c #Conflicts: 1668000 | #Constraints: 116084
2659.53/2670.20 c INPROCESSING
2659.53/2670.20 c GARBAGE COLLECT
2659.53/2670.20 c rational objective 55
2685.17/2695.98 c #Conflicts: 1669000 | #Constraints: 91424
2685.17/2695.98 c #Conflicts: 1670000 | #Constraints: 92424
2685.17/2695.98 c #Conflicts: 1671000 | #Constraints: 93425
2685.17/2695.98 c #Conflicts: 1672000 | #Constraints: 94425
2685.17/2695.98 c #Conflicts: 1673000 | #Constraints: 95425
2685.17/2695.98 c #Conflicts: 1674000 | #Constraints: 96425
2685.17/2695.98 c #Conflicts: 1675000 | #Constraints: 97425
2685.17/2695.98 c #Conflicts: 1676000 | #Constraints: 98425
2685.17/2695.98 c #Conflicts: 1677000 | #Constraints: 99425
2685.17/2695.98 c #Conflicts: 1678000 | #Constraints: 100425
2685.17/2695.98 c #Conflicts: 1679000 | #Constraints: 101425
2685.17/2695.98 c #Conflicts: 1680000 | #Constraints: 102425
2685.17/2695.98 c #Conflicts: 1681000 | #Constraints: 103425
2685.17/2695.98 c #Conflicts: 1682000 | #Constraints: 104425
2685.17/2695.98 c #Conflicts: 1683000 | #Constraints: 105425
2685.17/2695.98 c #Conflicts: 1684000 | #Constraints: 106425
2685.17/2695.98 c #Conflicts: 1685000 | #Constraints: 107425
2685.17/2695.98 c #Conflicts: 1686000 | #Constraints: 108425
2685.17/2695.98 c #Conflicts: 1687000 | #Constraints: 109425
2685.17/2695.98 c #Conflicts: 1688000 | #Constraints: 110425
2685.17/2695.98 c #Conflicts: 1689000 | #Constraints: 111425
2685.17/2695.98 c #Conflicts: 1690000 | #Constraints: 112425
2685.17/2695.98 c #Conflicts: 1691000 | #Constraints: 113425
2685.17/2695.98 c #Conflicts: 1692000 | #Constraints: 114425
2685.17/2695.98 c #Conflicts: 1693000 | #Constraints: 115425
2685.17/2695.98 c #Conflicts: 1694000 | #Constraints: 116425
2685.17/2695.98 c INPROCESSING
2685.17/2695.98 c GARBAGE COLLECT
2685.17/2695.98 c rational objective 55
2718.07/2728.96 c #Conflicts: 1695000 | #Constraints: 91659
2718.07/2728.96 c #Conflicts: 1696000 | #Constraints: 92659
2718.07/2728.96 c #Conflicts: 1697000 | #Constraints: 93659
2718.07/2728.96 c #Conflicts: 1698000 | #Constraints: 94659
2718.07/2728.96 c #Conflicts: 1699000 | #Constraints: 95659
2718.07/2728.96 c #Conflicts: 1700000 | #Constraints: 96659
2718.07/2728.96 c #Conflicts: 1701000 | #Constraints: 97659
2718.07/2728.96 c #Conflicts: 1702000 | #Constraints: 98659
2718.07/2728.96 c #Conflicts: 1703000 | #Constraints: 99659
2718.07/2728.96 c #Conflicts: 1704000 | #Constraints: 100659
2718.07/2728.96 c #Conflicts: 1705000 | #Constraints: 101659
2718.07/2728.96 c #Conflicts: 1706000 | #Constraints: 102659
2718.07/2728.96 c #Conflicts: 1707000 | #Constraints: 103659
2718.07/2728.96 c #Conflicts: 1708000 | #Constraints: 104659
2718.07/2728.96 c #Conflicts: 1709000 | #Constraints: 105659
2718.07/2728.96 c #Conflicts: 1710000 | #Constraints: 106659
2718.07/2728.96 c #Conflicts: 1711000 | #Constraints: 107659
2718.07/2728.96 c #Conflicts: 1712000 | #Constraints: 108659
2718.07/2728.96 c #Conflicts: 1713000 | #Constraints: 109659
2718.07/2728.96 c #Conflicts: 1714000 | #Constraints: 110659
2718.07/2728.96 c #Conflicts: 1715000 | #Constraints: 111659
2718.07/2728.96 c #Conflicts: 1716000 | #Constraints: 112659
2718.07/2728.96 c #Conflicts: 1717000 | #Constraints: 113659
2718.07/2728.96 c #Conflicts: 1718000 | #Constraints: 114659
2718.07/2728.96 c #Conflicts: 1719000 | #Constraints: 115659
2718.07/2728.96 c #Conflicts: 1720000 | #Constraints: 116659
2718.07/2728.96 c INPROCESSING
2718.07/2728.96 c GARBAGE COLLECT
2718.07/2728.96 c rational objective 55
2746.39/2757.35 c #Conflicts: 1721000 | #Constraints: 91675
2746.39/2757.35 c #Conflicts: 1722000 | #Constraints: 92675
2746.39/2757.35 c #Conflicts: 1723000 | #Constraints: 93675
2746.39/2757.35 c #Conflicts: 1724000 | #Constraints: 94675
2746.39/2757.35 c #Conflicts: 1725000 | #Constraints: 95675
2746.39/2757.35 c #Conflicts: 1726000 | #Constraints: 96675
2746.39/2757.35 c #Conflicts: 1727000 | #Constraints: 97675
2746.39/2757.35 c #Conflicts: 1728000 | #Constraints: 98675
2746.39/2757.35 c #Conflicts: 1729000 | #Constraints: 99675
2746.39/2757.35 c #Conflicts: 1730000 | #Constraints: 100675
2746.39/2757.35 c #Conflicts: 1731000 | #Constraints: 101675
2746.39/2757.35 c #Conflicts: 1732000 | #Constraints: 102675
2746.39/2757.35 c #Conflicts: 1733000 | #Constraints: 103675
2746.39/2757.35 c #Conflicts: 1734000 | #Constraints: 104675
2746.39/2757.35 c #Conflicts: 1735000 | #Constraints: 105675
2746.39/2757.35 c #Conflicts: 1736000 | #Constraints: 106676
2746.39/2757.35 c #Conflicts: 1737000 | #Constraints: 107676
2746.39/2757.35 c #Conflicts: 1738000 | #Constraints: 108676
2746.39/2757.35 c #Conflicts: 1739000 | #Constraints: 109676
2746.39/2757.35 c #Conflicts: 1740000 | #Constraints: 110676
2746.39/2757.35 c #Conflicts: 1741000 | #Constraints: 111676
2746.39/2757.35 c #Conflicts: 1742000 | #Constraints: 112676
2746.39/2757.35 c #Conflicts: 1743000 | #Constraints: 113677
2746.39/2757.35 c #Conflicts: 1744000 | #Constraints: 114677
2746.39/2757.35 c #Conflicts: 1745000 | #Constraints: 115677
2746.39/2757.35 c #Conflicts: 1746000 | #Constraints: 116677
2746.39/2757.35 c INPROCESSING
2746.39/2757.35 c GARBAGE COLLECT
2746.39/2757.35 c rational objective 55
2776.31/2787.31 c #Conflicts: 1747000 | #Constraints: 91485
2776.31/2787.31 c #Conflicts: 1748000 | #Constraints: 92485
2776.31/2787.31 c #Conflicts: 1749000 | #Constraints: 93486
2776.31/2787.31 c #Conflicts: 1750000 | #Constraints: 94486
2776.31/2787.31 c #Conflicts: 1751000 | #Constraints: 95486
2776.31/2787.31 c #Conflicts: 1752000 | #Constraints: 96486
2776.31/2787.31 c #Conflicts: 1753000 | #Constraints: 97486
2776.31/2787.31 c #Conflicts: 1754000 | #Constraints: 98486
2776.31/2787.31 c #Conflicts: 1755000 | #Constraints: 99486
2776.31/2787.31 c #Conflicts: 1756000 | #Constraints: 100486
2776.31/2787.31 c #Conflicts: 1757000 | #Constraints: 101486
2776.31/2787.31 c #Conflicts: 1758000 | #Constraints: 102486
2776.31/2787.31 c #Conflicts: 1759000 | #Constraints: 103486
2776.31/2787.31 c #Conflicts: 1760000 | #Constraints: 104486
2776.31/2787.31 c #Conflicts: 1761000 | #Constraints: 105486
2776.31/2787.31 c #Conflicts: 1762000 | #Constraints: 106486
2776.31/2787.31 c #Conflicts: 1763000 | #Constraints: 107486
2776.31/2787.31 c #Conflicts: 1764000 | #Constraints: 108486
2776.31/2787.31 c #Conflicts: 1765000 | #Constraints: 109486
2776.31/2787.31 c #Conflicts: 1766000 | #Constraints: 110486
2776.31/2787.31 c #Conflicts: 1767000 | #Constraints: 111486
2776.31/2787.31 c #Conflicts: 1768000 | #Constraints: 112486
2776.31/2787.31 c #Conflicts: 1769000 | #Constraints: 113486
2776.31/2787.31 c #Conflicts: 1770000 | #Constraints: 114486
2776.31/2787.31 c #Conflicts: 1771000 | #Constraints: 115486
2776.31/2787.31 c #Conflicts: 1772000 | #Constraints: 116486
2776.31/2787.31 c #Conflicts: 1773000 | #Constraints: 117486
2776.31/2787.31 c INPROCESSING
2776.31/2787.31 c GARBAGE COLLECT
2776.31/2787.31 c rational objective 55
2805.03/2816.18 c #Conflicts: 1774000 | #Constraints: 92036
2805.03/2816.18 c #Conflicts: 1775000 | #Constraints: 93036
2805.03/2816.18 c #Conflicts: 1776000 | #Constraints: 94036
2805.03/2816.18 c #Conflicts: 1777000 | #Constraints: 95036
2805.03/2816.18 c #Conflicts: 1778000 | #Constraints: 96036
2805.03/2816.18 c #Conflicts: 1779000 | #Constraints: 97036
2805.03/2816.18 c #Conflicts: 1780000 | #Constraints: 98036
2805.03/2816.18 c #Conflicts: 1781000 | #Constraints: 99036
2805.03/2816.18 c #Conflicts: 1782000 | #Constraints: 100036
2805.03/2816.18 c #Conflicts: 1783000 | #Constraints: 101036
2805.03/2816.18 c #Conflicts: 1784000 | #Constraints: 102036
2805.03/2816.18 c #Conflicts: 1785000 | #Constraints: 103036
2805.03/2816.18 c #Conflicts: 1786000 | #Constraints: 104036
2805.03/2816.18 c #Conflicts: 1787000 | #Constraints: 105036
2805.03/2816.18 c #Conflicts: 1788000 | #Constraints: 106036
2805.03/2816.18 c #Conflicts: 1789000 | #Constraints: 107036
2805.03/2816.18 c #Conflicts: 1790000 | #Constraints: 108036
2805.03/2816.18 c #Conflicts: 1791000 | #Constraints: 109036
2805.03/2816.18 c #Conflicts: 1792000 | #Constraints: 110036
2805.03/2816.18 c #Conflicts: 1793000 | #Constraints: 111036
2805.03/2816.18 c #Conflicts: 1794000 | #Constraints: 112036
2805.03/2816.18 c #Conflicts: 1795000 | #Constraints: 113036
2805.03/2816.18 c #Conflicts: 1796000 | #Constraints: 114036
2805.03/2816.18 c #Conflicts: 1797000 | #Constraints: 115036
2805.03/2816.18 c #Conflicts: 1798000 | #Constraints: 116036
2805.03/2816.18 c #Conflicts: 1799000 | #Constraints: 117036
2805.03/2816.18 c #Conflicts: 1800000 | #Constraints: 118036
2805.03/2816.18 c INPROCESSING
2805.03/2816.18 c GARBAGE COLLECT
2805.03/2816.18 c rational objective 55
2828.77/2839.98 c #Conflicts: 1801000 | #Constraints: 92471
2828.77/2839.98 c #Conflicts: 1802000 | #Constraints: 93471
2828.77/2839.98 c #Conflicts: 1803000 | #Constraints: 94471
2828.77/2839.98 c #Conflicts: 1804000 | #Constraints: 95471
2828.77/2839.98 c #Conflicts: 1805000 | #Constraints: 96471
2828.77/2839.98 c #Conflicts: 1806000 | #Constraints: 97471
2828.77/2839.98 c #Conflicts: 1807000 | #Constraints: 98471
2828.77/2839.98 c #Conflicts: 1808000 | #Constraints: 99471
2828.77/2839.98 c #Conflicts: 1809000 | #Constraints: 100471
2828.77/2839.98 c #Conflicts: 1810000 | #Constraints: 101471
2828.77/2839.98 c #Conflicts: 1811000 | #Constraints: 102471
2828.77/2839.98 c #Conflicts: 1812000 | #Constraints: 103471
2828.77/2839.98 c #Conflicts: 1813000 | #Constraints: 104471
2828.77/2839.98 c #Conflicts: 1814000 | #Constraints: 105471
2828.77/2839.98 c #Conflicts: 1815000 | #Constraints: 106471
2828.77/2839.98 c #Conflicts: 1816000 | #Constraints: 107471
2828.77/2839.98 c #Conflicts: 1817000 | #Constraints: 108471
2828.77/2839.98 c #Conflicts: 1818000 | #Constraints: 109471
2828.77/2839.98 c #Conflicts: 1819000 | #Constraints: 110471
2828.77/2839.98 c #Conflicts: 1820000 | #Constraints: 111471
2828.77/2839.98 c #Conflicts: 1821000 | #Constraints: 112471
2828.77/2839.98 c #Conflicts: 1822000 | #Constraints: 113471
2828.77/2839.98 c #Conflicts: 1823000 | #Constraints: 114471
2828.77/2839.98 c #Conflicts: 1824000 | #Constraints: 115471
2828.77/2839.98 c #Conflicts: 1825000 | #Constraints: 116471
2828.77/2839.98 c #Conflicts: 1826000 | #Constraints: 117471
2828.77/2839.98 c #Conflicts: 1827000 | #Constraints: 118471
2828.77/2839.98 c INPROCESSING
2828.77/2839.98 c GARBAGE COLLECT
2828.77/2839.98 c rational objective 55
2865.05/2876.39 c #Conflicts: 1828000 | #Constraints: 92702
2865.05/2876.39 c #Conflicts: 1829000 | #Constraints: 93702
2865.05/2876.39 c #Conflicts: 1830000 | #Constraints: 94702
2865.05/2876.39 c #Conflicts: 1831000 | #Constraints: 95702
2865.05/2876.39 c #Conflicts: 1832000 | #Constraints: 96702
2865.05/2876.39 c #Conflicts: 1833000 | #Constraints: 97702
2865.05/2876.39 c #Conflicts: 1834000 | #Constraints: 98702
2865.05/2876.39 c #Conflicts: 1835000 | #Constraints: 99702
2865.05/2876.39 c #Conflicts: 1836000 | #Constraints: 100702
2865.05/2876.39 c #Conflicts: 1837000 | #Constraints: 101702
2865.05/2876.39 c #Conflicts: 1838000 | #Constraints: 102702
2865.05/2876.39 c #Conflicts: 1839000 | #Constraints: 103702
2865.05/2876.39 c #Conflicts: 1840000 | #Constraints: 104702
2865.05/2876.39 c #Conflicts: 1841000 | #Constraints: 105702
2865.05/2876.39 c #Conflicts: 1842000 | #Constraints: 106702
2865.05/2876.39 c #Conflicts: 1843000 | #Constraints: 107702
2865.05/2876.39 c #Conflicts: 1844000 | #Constraints: 108702
2865.05/2876.39 c #Conflicts: 1845000 | #Constraints: 109702
2865.05/2876.39 c #Conflicts: 1846000 | #Constraints: 110702
2865.05/2876.39 c #Conflicts: 1847000 | #Constraints: 111702
2865.05/2876.39 c #Conflicts: 1848000 | #Constraints: 112702
2865.05/2876.39 c #Conflicts: 1849000 | #Constraints: 113702
2865.05/2876.39 c #Conflicts: 1850000 | #Constraints: 114702
2865.05/2876.39 c #Conflicts: 1851000 | #Constraints: 115702
2865.05/2876.39 c #Conflicts: 1852000 | #Constraints: 116702
2865.05/2876.39 c #Conflicts: 1853000 | #Constraints: 117702
2865.05/2876.39 c #Conflicts: 1854000 | #Constraints: 118702
2865.05/2876.39 c INPROCESSING
2865.05/2876.39 c GARBAGE COLLECT
2865.05/2876.39 c rational objective 55
2893.66/2905.04 c #Conflicts: 1855000 | #Constraints: 92632
2893.66/2905.04 c #Conflicts: 1856000 | #Constraints: 93632
2893.66/2905.04 c #Conflicts: 1857000 | #Constraints: 94632
2893.66/2905.04 c #Conflicts: 1858000 | #Constraints: 95632
2893.66/2905.04 c #Conflicts: 1859000 | #Constraints: 96632
2893.66/2905.04 c #Conflicts: 1860000 | #Constraints: 97632
2893.66/2905.04 c #Conflicts: 1861000 | #Constraints: 98632
2893.66/2905.04 c #Conflicts: 1862000 | #Constraints: 99632
2893.66/2905.04 c #Conflicts: 1863000 | #Constraints: 100632
2893.66/2905.04 c #Conflicts: 1864000 | #Constraints: 101632
2893.66/2905.04 c #Conflicts: 1865000 | #Constraints: 102632
2893.66/2905.04 c #Conflicts: 1866000 | #Constraints: 103632
2893.66/2905.04 c #Conflicts: 1867000 | #Constraints: 104632
2893.66/2905.04 c #Conflicts: 1868000 | #Constraints: 105632
2893.66/2905.04 c #Conflicts: 1869000 | #Constraints: 106633
2893.66/2905.04 c #Conflicts: 1870000 | #Constraints: 107633
2893.66/2905.04 c #Conflicts: 1871000 | #Constraints: 108633
2893.66/2905.04 c #Conflicts: 1872000 | #Constraints: 109633
2893.66/2905.04 c #Conflicts: 1873000 | #Constraints: 110633
2893.66/2905.04 c #Conflicts: 1874000 | #Constraints: 111633
2893.66/2905.04 c #Conflicts: 1875000 | #Constraints: 112633
2893.66/2905.04 c #Conflicts: 1876000 | #Constraints: 113633
2893.66/2905.04 c #Conflicts: 1877000 | #Constraints: 114633
2893.66/2905.04 c #Conflicts: 1878000 | #Constraints: 115633
2893.66/2905.04 c #Conflicts: 1879000 | #Constraints: 116633
2893.66/2905.04 c #Conflicts: 1880000 | #Constraints: 117634
2893.66/2905.04 c #Conflicts: 1881000 | #Constraints: 118634
2893.66/2905.04 c INPROCESSING
2893.66/2905.04 c GARBAGE COLLECT
2893.66/2905.04 c rational objective 55
2921.18/2932.69 c #Conflicts: 1882000 | #Constraints: 92451
2921.18/2932.69 c #Conflicts: 1883000 | #Constraints: 93451
2921.18/2932.69 c #Conflicts: 1884000 | #Constraints: 94451
2921.18/2932.69 c #Conflicts: 1885000 | #Constraints: 95451
2921.18/2932.69 c #Conflicts: 1886000 | #Constraints: 96451
2921.18/2932.69 c #Conflicts: 1887000 | #Constraints: 97452
2921.18/2932.69 c #Conflicts: 1888000 | #Constraints: 98452
2921.18/2932.69 c #Conflicts: 1889000 | #Constraints: 99452
2921.18/2932.69 c #Conflicts: 1890000 | #Constraints: 100452
2921.18/2932.69 c #Conflicts: 1891000 | #Constraints: 101452
2921.18/2932.69 c #Conflicts: 1892000 | #Constraints: 102452
2921.18/2932.69 c #Conflicts: 1893000 | #Constraints: 103452
2921.18/2932.69 c #Conflicts: 1894000 | #Constraints: 104452
2921.18/2932.69 c #Conflicts: 1895000 | #Constraints: 105452
2921.18/2932.69 c #Conflicts: 1896000 | #Constraints: 106452
2921.18/2932.69 c #Conflicts: 1897000 | #Constraints: 107452
2921.18/2932.69 c #Conflicts: 1898000 | #Constraints: 108452
2921.18/2932.69 c #Conflicts: 1899000 | #Constraints: 109452
2921.18/2932.69 c #Conflicts: 1900000 | #Constraints: 110452
2921.18/2932.69 c #Conflicts: 1901000 | #Constraints: 111452
2921.18/2932.69 c #Conflicts: 1902000 | #Constraints: 112452
2921.18/2932.69 c #Conflicts: 1903000 | #Constraints: 113452
2921.18/2932.69 c #Conflicts: 1904000 | #Constraints: 114452
2921.18/2932.69 c #Conflicts: 1905000 | #Constraints: 115452
2921.18/2932.69 c #Conflicts: 1906000 | #Constraints: 116452
2921.18/2932.69 c #Conflicts: 1907000 | #Constraints: 117452
2921.18/2932.69 c #Conflicts: 1908000 | #Constraints: 118452
2921.18/2932.69 c #Conflicts: 1909000 | #Constraints: 119452
2921.18/2932.69 c INPROCESSING
2921.18/2932.69 c GARBAGE COLLECT
2921.18/2932.69 c rational objective 55
2942.02/2953.53 c #Conflicts: 1910000 | #Constraints: 93104
2942.02/2953.53 c #Conflicts: 1911000 | #Constraints: 94105
2942.02/2953.53 c #Conflicts: 1912000 | #Constraints: 95105
2942.02/2953.53 c #Conflicts: 1913000 | #Constraints: 96105
2942.02/2953.53 c #Conflicts: 1914000 | #Constraints: 97105
2942.02/2953.53 c #Conflicts: 1915000 | #Constraints: 98105
2942.02/2953.53 c #Conflicts: 1916000 | #Constraints: 99105
2942.02/2953.53 c #Conflicts: 1917000 | #Constraints: 100106
2942.02/2953.53 c #Conflicts: 1918000 | #Constraints: 101106
2942.02/2953.53 c #Conflicts: 1919000 | #Constraints: 102107
2942.02/2953.53 c #Conflicts: 1920000 | #Constraints: 103107
2942.02/2953.53 c #Conflicts: 1921000 | #Constraints: 104107
2942.02/2953.53 c #Conflicts: 1922000 | #Constraints: 105107
2942.02/2953.53 c #Conflicts: 1923000 | #Constraints: 106107
2942.02/2953.53 c #Conflicts: 1924000 | #Constraints: 107107
2942.02/2953.53 c #Conflicts: 1925000 | #Constraints: 108107
2942.02/2953.53 c #Conflicts: 1926000 | #Constraints: 109107
2942.02/2953.53 c #Conflicts: 1927000 | #Constraints: 110107
2942.02/2953.53 c #Conflicts: 1928000 | #Constraints: 111107
2942.02/2953.53 c #Conflicts: 1929000 | #Constraints: 112107
2942.02/2953.53 c #Conflicts: 1930000 | #Constraints: 113107
2942.02/2953.53 c #Conflicts: 1931000 | #Constraints: 114107
2942.02/2953.53 c #Conflicts: 1932000 | #Constraints: 115107
2942.02/2953.53 c #Conflicts: 1933000 | #Constraints: 116107
2942.02/2953.53 c #Conflicts: 1934000 | #Constraints: 117108
2942.02/2953.53 c #Conflicts: 1935000 | #Constraints: 118108
2942.02/2953.53 c #Conflicts: 1936000 | #Constraints: 119108
2942.02/2953.53 c #Conflicts: 1937000 | #Constraints: 120109
2942.02/2953.53 c INPROCESSING
2942.02/2953.53 c GARBAGE COLLECT
2942.02/2953.53 c rational objective 55
2970.64/2982.29 c #Conflicts: 1938000 | #Constraints: 93565
2970.64/2982.29 c #Conflicts: 1939000 | #Constraints: 94565
2970.64/2982.29 c #Conflicts: 1940000 | #Constraints: 95565
2970.64/2982.29 c #Conflicts: 1941000 | #Constraints: 96565
2970.64/2982.29 c #Conflicts: 1942000 | #Constraints: 97565
2970.64/2982.29 c #Conflicts: 1943000 | #Constraints: 98565
2970.64/2982.29 c #Conflicts: 1944000 | #Constraints: 99565
2970.64/2982.29 c #Conflicts: 1945000 | #Constraints: 100565
2970.64/2982.29 c #Conflicts: 1946000 | #Constraints: 101565
2970.64/2982.29 c #Conflicts: 1947000 | #Constraints: 102565
2970.64/2982.29 c #Conflicts: 1948000 | #Constraints: 103565
2970.64/2982.29 c #Conflicts: 1949000 | #Constraints: 104565
2970.64/2982.29 c #Conflicts: 1950000 | #Constraints: 105565
2970.64/2982.29 c #Conflicts: 1951000 | #Constraints: 106565
2970.64/2982.29 c #Conflicts: 1952000 | #Constraints: 107565
2970.64/2982.29 c #Conflicts: 1953000 | #Constraints: 108565
2970.64/2982.29 c #Conflicts: 1954000 | #Constraints: 109565
2970.64/2982.29 c #Conflicts: 1955000 | #Constraints: 110565
2970.64/2982.29 c #Conflicts: 1956000 | #Constraints: 111565
2970.64/2982.29 c #Conflicts: 1957000 | #Constraints: 112565
2970.64/2982.29 c #Conflicts: 1958000 | #Constraints: 113565
2970.64/2982.29 c #Conflicts: 1959000 | #Constraints: 114565
2970.64/2982.29 c #Conflicts: 1960000 | #Constraints: 115565
2970.64/2982.29 c #Conflicts: 1961000 | #Constraints: 116565
2970.64/2982.29 c #Conflicts: 1962000 | #Constraints: 117565
2970.64/2982.29 c #Conflicts: 1963000 | #Constraints: 118565
2970.64/2982.29 c #Conflicts: 1964000 | #Constraints: 119565
2970.64/2982.29 c #Conflicts: 1965000 | #Constraints: 120565
2970.64/2982.29 c INPROCESSING
2970.64/2982.29 c GARBAGE COLLECT
2970.64/2982.29 c rational objective 55
3008.36/3020.04 c #Conflicts: 1966000 | #Constraints: 93730
3008.36/3020.04 c #Conflicts: 1967000 | #Constraints: 94730
3008.36/3020.04 c #Conflicts: 1968000 | #Constraints: 95730
3008.36/3020.04 c #Conflicts: 1969000 | #Constraints: 96730
3008.36/3020.04 c #Conflicts: 1970000 | #Constraints: 97730
3008.36/3020.04 c #Conflicts: 1971000 | #Constraints: 98730
3008.36/3020.04 c #Conflicts: 1972000 | #Constraints: 99730
3008.36/3020.04 c #Conflicts: 1973000 | #Constraints: 100730
3008.36/3020.04 c #Conflicts: 1974000 | #Constraints: 101730
3008.36/3020.04 c #Conflicts: 1975000 | #Constraints: 102730
3008.36/3020.04 c #Conflicts: 1976000 | #Constraints: 103730
3008.36/3020.04 c #Conflicts: 1977000 | #Constraints: 104730
3008.36/3020.04 c #Conflicts: 1978000 | #Constraints: 105730
3008.36/3020.04 c #Conflicts: 1979000 | #Constraints: 106730
3008.36/3020.04 c #Conflicts: 1980000 | #Constraints: 107730
3008.36/3020.04 c #Conflicts: 1981000 | #Constraints: 108730
3008.36/3020.04 c #Conflicts: 1982000 | #Constraints: 109730
3008.36/3020.04 c #Conflicts: 1983000 | #Constraints: 110730
3008.36/3020.04 c #Conflicts: 1984000 | #Constraints: 111730
3008.36/3020.04 c #Conflicts: 1985000 | #Constraints: 112730
3008.36/3020.04 c #Conflicts: 1986000 | #Constraints: 113730
3008.36/3020.04 c #Conflicts: 1987000 | #Constraints: 114730
3008.36/3020.04 c #Conflicts: 1988000 | #Constraints: 115730
3008.36/3020.04 c #Conflicts: 1989000 | #Constraints: 116731
3008.36/3020.04 c #Conflicts: 1990000 | #Constraints: 117731
3008.36/3020.04 c #Conflicts: 1991000 | #Constraints: 118731
3008.36/3020.04 c #Conflicts: 1992000 | #Constraints: 119731
3008.36/3020.04 c #Conflicts: 1993000 | #Constraints: 120731
3008.36/3020.04 c INPROCESSING
3008.36/3020.04 c GARBAGE COLLECT
3008.36/3020.04 c rational objective 55
3037.48/3049.22 c #Conflicts: 1994000 | #Constraints: 93745
3037.48/3049.22 c #Conflicts: 1995000 | #Constraints: 94745
3037.48/3049.22 c #Conflicts: 1996000 | #Constraints: 95745
3037.48/3049.22 c #Conflicts: 1997000 | #Constraints: 96745
3037.48/3049.22 c #Conflicts: 1998000 | #Constraints: 97745
3037.48/3049.22 c #Conflicts: 1999000 | #Constraints: 98746
3037.48/3049.22 c #Conflicts: 2000000 | #Constraints: 99746
3037.48/3049.22 c #Conflicts: 2001000 | #Constraints: 100746
3037.48/3049.22 c #Conflicts: 2002000 | #Constraints: 101746
3037.48/3049.22 c #Conflicts: 2003000 | #Constraints: 102746
3037.48/3049.22 c #Conflicts: 2004000 | #Constraints: 103746
3037.48/3049.22 c #Conflicts: 2005000 | #Constraints: 104746
3037.48/3049.22 c #Conflicts: 2006000 | #Constraints: 105746
3037.48/3049.22 c #Conflicts: 2007000 | #Constraints: 106746
3037.48/3049.22 c #Conflicts: 2008000 | #Constraints: 107746
3037.48/3049.22 c #Conflicts: 2009000 | #Constraints: 108746
3037.48/3049.22 c #Conflicts: 2010000 | #Constraints: 109746
3037.48/3049.22 c #Conflicts: 2011000 | #Constraints: 110746
3037.48/3049.22 c #Conflicts: 2012000 | #Constraints: 111746
3037.48/3049.22 c #Conflicts: 2013000 | #Constraints: 112746
3037.48/3049.22 c #Conflicts: 2014000 | #Constraints: 113746
3037.48/3049.22 c #Conflicts: 2015000 | #Constraints: 114746
3037.48/3049.22 c #Conflicts: 2016000 | #Constraints: 115746
3037.48/3049.22 c #Conflicts: 2017000 | #Constraints: 116746
3037.48/3049.22 c #Conflicts: 2018000 | #Constraints: 117746
3037.48/3049.22 c #Conflicts: 2019000 | #Constraints: 118746
3037.48/3049.22 c #Conflicts: 2020000 | #Constraints: 119746
3037.48/3049.22 c #Conflicts: 2021000 | #Constraints: 120746
3037.48/3049.22 c INPROCESSING
3037.48/3049.22 c GARBAGE COLLECT
3037.48/3049.22 c rational objective 55
3076.58/3088.48 c #Conflicts: 2022000 | #Constraints: 93527
3076.58/3088.48 c #Conflicts: 2023000 | #Constraints: 94527
3076.58/3088.48 c #Conflicts: 2024000 | #Constraints: 95527
3076.58/3088.48 c #Conflicts: 2025000 | #Constraints: 96527
3076.58/3088.48 c #Conflicts: 2026000 | #Constraints: 97527
3076.58/3088.48 c #Conflicts: 2027000 | #Constraints: 98527
3076.58/3088.48 c #Conflicts: 2028000 | #Constraints: 99527
3076.58/3088.48 c #Conflicts: 2029000 | #Constraints: 100527
3076.58/3088.48 c #Conflicts: 2030000 | #Constraints: 101527
3076.58/3088.48 c #Conflicts: 2031000 | #Constraints: 102527
3076.58/3088.48 c #Conflicts: 2032000 | #Constraints: 103527
3076.58/3088.48 c #Conflicts: 2033000 | #Constraints: 104527
3076.58/3088.48 c #Conflicts: 2034000 | #Constraints: 105527
3076.58/3088.48 c #Conflicts: 2035000 | #Constraints: 106527
3076.58/3088.48 c #Conflicts: 2036000 | #Constraints: 107527
3076.58/3088.48 c #Conflicts: 2037000 | #Constraints: 108527
3076.58/3088.48 c #Conflicts: 2038000 | #Constraints: 109527
3076.58/3088.48 c #Conflicts: 2039000 | #Constraints: 110527
3076.58/3088.48 c #Conflicts: 2040000 | #Constraints: 111527
3076.58/3088.48 c #Conflicts: 2041000 | #Constraints: 112527
3076.58/3088.48 c #Conflicts: 2042000 | #Constraints: 113527
3076.58/3088.48 c #Conflicts: 2043000 | #Constraints: 114527
3076.58/3088.48 c #Conflicts: 2044000 | #Constraints: 115527
3076.58/3088.48 c #Conflicts: 2045000 | #Constraints: 116527
3076.58/3088.48 c #Conflicts: 2046000 | #Constraints: 117527
3076.58/3088.48 c #Conflicts: 2047000 | #Constraints: 118527
3076.58/3088.48 c #Conflicts: 2048000 | #Constraints: 119527
3076.58/3088.48 c #Conflicts: 2049000 | #Constraints: 120527
3076.58/3088.48 c #Conflicts: 2050000 | #Constraints: 121527
3076.58/3088.48 c INPROCESSING
3076.58/3088.48 c GARBAGE COLLECT
3076.58/3088.48 c rational objective 55
3106.19/3118.15 c #Conflicts: 2051000 | #Constraints: 94087
3106.19/3118.15 c #Conflicts: 2052000 | #Constraints: 95087
3106.19/3118.15 c #Conflicts: 2053000 | #Constraints: 96087
3106.19/3118.15 c #Conflicts: 2054000 | #Constraints: 97087
3106.19/3118.15 c #Conflicts: 2055000 | #Constraints: 98087
3106.19/3118.15 c #Conflicts: 2056000 | #Constraints: 99087
3106.19/3118.15 c #Conflicts: 2057000 | #Constraints: 100087
3106.19/3118.15 c #Conflicts: 2058000 | #Constraints: 101087
3106.19/3118.15 c #Conflicts: 2059000 | #Constraints: 102087
3106.19/3118.15 c #Conflicts: 2060000 | #Constraints: 103087
3106.19/3118.15 c #Conflicts: 2061000 | #Constraints: 104087
3106.19/3118.15 c #Conflicts: 2062000 | #Constraints: 105087
3106.19/3118.15 c #Conflicts: 2063000 | #Constraints: 106087
3106.19/3118.15 c #Conflicts: 2064000 | #Constraints: 107087
3106.19/3118.15 c #Conflicts: 2065000 | #Constraints: 108087
3106.19/3118.15 c #Conflicts: 2066000 | #Constraints: 109087
3106.19/3118.15 c #Conflicts: 2067000 | #Constraints: 110087
3106.19/3118.15 c #Conflicts: 2068000 | #Constraints: 111087
3106.19/3118.15 c #Conflicts: 2069000 | #Constraints: 112087
3106.19/3118.15 c #Conflicts: 2070000 | #Constraints: 113087
3106.19/3118.15 c #Conflicts: 2071000 | #Constraints: 114087
3106.19/3118.15 c #Conflicts: 2072000 | #Constraints: 115087
3106.19/3118.15 c #Conflicts: 2073000 | #Constraints: 116087
3106.19/3118.15 c #Conflicts: 2074000 | #Constraints: 117087
3106.19/3118.15 c #Conflicts: 2075000 | #Constraints: 118087
3106.19/3118.15 c #Conflicts: 2076000 | #Constraints: 119087
3106.19/3118.15 c #Conflicts: 2077000 | #Constraints: 120087
3106.19/3118.15 c #Conflicts: 2078000 | #Constraints: 121087
3106.19/3118.15 c #Conflicts: 2079000 | #Constraints: 122087
3106.19/3118.15 c INPROCESSING
3106.19/3118.15 c GARBAGE COLLECT
3106.19/3118.15 c rational objective 55
3285.22/3297.78 c #Conflicts: 2080000 | #Constraints: 94501
3285.22/3297.78 c #Conflicts: 2081000 | #Constraints: 95501
3285.22/3297.78 c #Conflicts: 2082000 | #Constraints: 96501
3285.22/3297.78 c #Conflicts: 2083000 | #Constraints: 97501
3285.22/3297.78 c #Conflicts: 2084000 | #Constraints: 98501
3285.22/3297.78 c #Conflicts: 2085000 | #Constraints: 99501
3285.22/3297.78 c #Conflicts: 2086000 | #Constraints: 100501
3285.22/3297.78 c #Conflicts: 2087000 | #Constraints: 101501
3285.22/3297.78 c #Conflicts: 2088000 | #Constraints: 102501
3285.22/3297.78 c #Conflicts: 2089000 | #Constraints: 103501
3285.22/3297.78 c #Conflicts: 2090000 | #Constraints: 104501
3285.22/3297.78 c #Conflicts: 2091000 | #Constraints: 105501
3285.22/3297.78 c #Conflicts: 2092000 | #Constraints: 106501
3285.22/3297.78 c #Conflicts: 2093000 | #Constraints: 107501
3285.22/3297.78 c #Conflicts: 2094000 | #Constraints: 108501
3285.22/3297.78 c #Conflicts: 2095000 | #Constraints: 109501
3285.22/3297.78 c #Conflicts: 2096000 | #Constraints: 110501
3285.22/3297.78 c #Conflicts: 2097000 | #Constraints: 111501
3285.22/3297.78 c #Conflicts: 2098000 | #Constraints: 112501
3285.22/3297.78 c #Conflicts: 2099000 | #Constraints: 113501
3285.22/3297.79 c #Conflicts: 2100000 | #Constraints: 114501
3285.22/3297.79 c #Conflicts: 2101000 | #Constraints: 115501
3285.22/3297.79 c #Conflicts: 2102000 | #Constraints: 116501
3285.22/3297.79 c #Conflicts: 2103000 | #Constraints: 117501
3285.22/3297.79 c #Conflicts: 2104000 | #Constraints: 118501
3285.22/3297.79 c #Conflicts: 2105000 | #Constraints: 119501
3285.22/3297.79 c #Conflicts: 2106000 | #Constraints: 120501
3285.22/3297.79 c #Conflicts: 2107000 | #Constraints: 121501
3285.22/3297.79 c #Conflicts: 2108000 | #Constraints: 122501
3285.22/3297.79 c INPROCESSING
3285.22/3297.79 c GARBAGE COLLECT
3285.22/3297.79 c #Conflicts: 2109000 | #Constraints: 94674
3285.22/3297.79 c #Conflicts: 2110000 | #Constraints: 95674
3285.22/3297.79 c #Conflicts: 2111000 | #Constraints: 96674
3285.22/3297.79 c #Conflicts: 2112000 | #Constraints: 97674
3285.22/3297.79 c #Conflicts: 2113000 | #Constraints: 98674
3285.22/3297.79 c #Conflicts: 2114000 | #Constraints: 99674
3285.22/3297.79 c #Conflicts: 2115000 | #Constraints: 100674
3285.22/3297.79 c #Conflicts: 2116000 | #Constraints: 101674
3285.22/3297.79 c #Conflicts: 2117000 | #Constraints: 102674
3285.22/3297.79 c #Conflicts: 2118000 | #Constraints: 103674
3285.22/3297.79 c #Conflicts: 2119000 | #Constraints: 104674
3285.22/3297.79 c #Conflicts: 2120000 | #Constraints: 105674
3285.22/3297.79 c #Conflicts: 2121000 | #Constraints: 106674
3285.22/3297.79 c #Conflicts: 2122000 | #Constraints: 107674
3285.22/3297.79 c #Conflicts: 2123000 | #Constraints: 108674
3285.22/3297.79 c #Conflicts: 2124000 | #Constraints: 109674
3285.22/3297.79 c #Conflicts: 2125000 | #Constraints: 110674
3285.22/3297.79 c #Conflicts: 2126000 | #Constraints: 111674
3285.22/3297.79 c #Conflicts: 2127000 | #Constraints: 112674
3285.22/3297.79 c #Conflicts: 2128000 | #Constraints: 113674
3285.22/3297.79 c #Conflicts: 2129000 | #Constraints: 114674
3285.22/3297.79 c #Conflicts: 2130000 | #Constraints: 115674
3285.22/3297.79 c #Conflicts: 2131000 | #Constraints: 116674
3285.22/3297.79 c #Conflicts: 2132000 | #Constraints: 117674
3285.22/3297.79 c #Conflicts: 2133000 | #Constraints: 118674
3285.22/3297.79 c #Conflicts: 2134000 | #Constraints: 119674
3285.22/3297.79 c #Conflicts: 2135000 | #Constraints: 120674
3285.22/3297.79 c #Conflicts: 2136000 | #Constraints: 121674
3285.22/3297.79 c #Conflicts: 2137000 | #Constraints: 122674
3285.22/3297.79 c INPROCESSING
3285.22/3297.79 c GARBAGE COLLECT
3285.22/3297.79 c rational objective 55
3457.88/3471.00 c #Conflicts: 2138000 | #Constraints: 94664
3457.88/3471.00 c #Conflicts: 2139000 | #Constraints: 95664
3457.88/3471.00 c #Conflicts: 2140000 | #Constraints: 96664
3457.88/3471.00 c #Conflicts: 2141000 | #Constraints: 97664
3457.88/3471.00 c #Conflicts: 2142000 | #Constraints: 98664
3457.88/3471.00 c #Conflicts: 2143000 | #Constraints: 99664
3457.88/3471.00 c #Conflicts: 2144000 | #Constraints: 100664
3457.88/3471.00 c #Conflicts: 2145000 | #Constraints: 101664
3457.88/3471.00 c #Conflicts: 2146000 | #Constraints: 102664
3457.88/3471.00 c #Conflicts: 2147000 | #Constraints: 103664
3457.88/3471.00 c #Conflicts: 2148000 | #Constraints: 104664
3457.88/3471.00 c #Conflicts: 2149000 | #Constraints: 105664
3457.88/3471.00 c #Conflicts: 2150000 | #Constraints: 106664
3457.88/3471.00 c #Conflicts: 2151000 | #Constraints: 107664
3457.88/3471.00 c #Conflicts: 2152000 | #Constraints: 108664
3457.88/3471.00 c #Conflicts: 2153000 | #Constraints: 109664
3457.88/3471.00 c #Conflicts: 2154000 | #Constraints: 110664
3457.88/3471.00 c #Conflicts: 2155000 | #Constraints: 111664
3457.88/3471.00 c #Conflicts: 2156000 | #Constraints: 112664
3457.88/3471.00 c #Conflicts: 2157000 | #Constraints: 113664
3457.88/3471.00 c #Conflicts: 2158000 | #Constraints: 114664
3457.88/3471.00 c #Conflicts: 2159000 | #Constraints: 115664
3457.88/3471.00 c #Conflicts: 2160000 | #Constraints: 116664
3457.88/3471.00 c #Conflicts: 2161000 | #Constraints: 117664
3457.88/3471.00 c #Conflicts: 2162000 | #Constraints: 118664
3457.88/3471.00 c #Conflicts: 2163000 | #Constraints: 119664
3457.88/3471.00 c #Conflicts: 2164000 | #Constraints: 120664
3457.88/3471.00 c #Conflicts: 2165000 | #Constraints: 121664
3457.88/3471.00 c #Conflicts: 2166000 | #Constraints: 122664
3457.88/3471.00 c INPROCESSING
3457.88/3471.00 c GARBAGE COLLECT
3457.88/3471.00 c rational objective 55
3588.67/3602.17 c #Conflicts: 2167000 | #Constraints: 94424
3588.67/3602.17 c #Conflicts: 2168000 | #Constraints: 95424
3588.67/3602.17 c #Conflicts: 2169000 | #Constraints: 96424
3588.67/3602.17 c #Conflicts: 2170000 | #Constraints: 97424
3588.67/3602.17 c #Conflicts: 2171000 | #Constraints: 98424
3588.67/3602.17 c #Conflicts: 2172000 | #Constraints: 99424
3588.67/3602.17 c #Conflicts: 2173000 | #Constraints: 100424
3588.67/3602.17 c #Conflicts: 2174000 | #Constraints: 101424
3588.67/3602.17 c #Conflicts: 2175000 | #Constraints: 102424
3588.67/3602.17 c #Conflicts: 2176000 | #Constraints: 103424
3588.67/3602.17 c #Conflicts: 2177000 | #Constraints: 104424
3588.67/3602.17 c #Conflicts: 2178000 | #Constraints: 105424
3588.67/3602.17 c #Conflicts: 2179000 | #Constraints: 106424
3588.67/3602.17 c #Conflicts: 2180000 | #Constraints: 107424
3588.67/3602.17 c #Conflicts: 2181000 | #Constraints: 108424
3588.67/3602.17 c #Conflicts: 2182000 | #Constraints: 109424
3588.67/3602.17 c #Conflicts: 2183000 | #Constraints: 110424
3588.67/3602.17 c #Conflicts: 2184000 | #Constraints: 111424
3588.67/3602.17 c #Conflicts: 2185000 | #Constraints: 112424
3588.67/3602.17 c #Conflicts: 2186000 | #Constraints: 113424
3588.67/3602.17 c #Conflicts: 2187000 | #Constraints: 114424
3588.67/3602.17 c #Conflicts: 2188000 | #Constraints: 115424
3588.67/3602.17 c #Conflicts: 2189000 | #Constraints: 116424
3588.67/3602.17 c #Conflicts: 2190000 | #Constraints: 117424
3588.67/3602.17 c #Conflicts: 2191000 | #Constraints: 118424
3588.67/3602.17 c #Conflicts: 2192000 | #Constraints: 119424
3588.67/3602.17 c #Conflicts: 2193000 | #Constraints: 120424
3588.67/3602.17 c #Conflicts: 2194000 | #Constraints: 121424
3588.67/3602.17 c #Conflicts: 2195000 | #Constraints: 122424
3588.67/3602.17 c #Conflicts: 2196000 | #Constraints: 123424
3588.67/3602.17 c INPROCESSING
3588.67/3602.17 c GARBAGE COLLECT
3588.67/3602.17 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: 63708 MiB (55608 MiB free)
memory of node 1: 64465 MiB (61016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507819-1751494054/watcher-4507819-1751494054 -o /tmp/evaluation-result-4507819-1751494054/solver-4507819-1751494054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751490240-67633 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4507819-1751494054.opb PROOFDIR/proof-4507819-1751494054
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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=68498, runsolver pid=68495
[startup+0.100059 s]*
/proc/loadavg: 4.56 4.21 4.09 5/268 68500
/proc/meminfo: memFree=119390724/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68500] ppid=68498 vsize=55008 memory=39048 CPUtime=0.09 cores=1,3
/proc/68500/stat : 68500 (pbsuma) R 68498 68498 67620 0 -1 4194304 10209 0 0 0 8 1 0 0 20 0 1 0 65084079 56328192 9762 18446744073709551615 4210688 4653049 140734739506992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 37974016 140734739511523 140734739511858 140734739511858 140734739517423 0
/proc/68500/statm: 13752 9762 1056 108 0 11160 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59200 KiB
Current children cumulated memory: 41992 KiB
[startup+0.205834 s]*
/proc/loadavg: 4.56 4.21 4.09 5/268 68500
/proc/meminfo: memFree=119378628/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68500] ppid=68498 vsize=40860 memory=29332 CPUtime=0.19 cores=1,3
/proc/68500/stat : 68500 (pbsuma) R 68498 68498 67620 0 -1 4194304 10209 0 0 0 18 1 0 0 20 0 1 0 65084079 41840640 7333 18446744073709551615 4210688 4653049 140734739506992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 37974016 140734739511523 140734739511858 140734739511858 140734739517423 0
/proc/68500/statm: 10215 7333 1056 108 0 7623 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45052 KiB
Current children cumulated memory: 32276 KiB
[startup+0.305415 s]*
/proc/loadavg: 4.56 4.21 4.09 5/268 68500
/proc/meminfo: memFree=119378628/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68500] ppid=68498 vsize=40860 memory=29716 CPUtime=0.29 cores=1,3
/proc/68500/stat : 68500 (pbsuma) R 68498 68498 67620 0 -1 4194304 10333 0 0 0 28 1 0 0 20 0 1 0 65084079 41840640 7429 18446744073709551615 4210688 4653049 140734739506992 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 37974016 140734739511523 140734739511858 140734739511858 140734739517423 0
/proc/68500/statm: 10215 7429 1056 108 0 7623 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45052 KiB
Current children cumulated memory: 32660 KiB
[startup+0.700193 s]
/proc/loadavg: 4.56 4.21 4.09 5/268 68500
/proc/meminfo: memFree=119282112/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+1.50016 s]
/proc/loadavg: 4.56 4.21 4.09 5/268 68501
/proc/meminfo: memFree=119257496/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=139984 memory=95936 CPUtime=0.8 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 14680 0 0 0 71 9 0 0 20 0 1 0 65084147 143343616 23984 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 34996 23984 2336 1147 0 22423 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 144176 KiB
Current children cumulated memory: 98880 KiB
[startup+3.1057 s]
/proc/loadavg: 4.56 4.21 4.09 6/269 68503
/proc/meminfo: memFree=119150440/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=145380 memory=101804 CPUtime=2.4 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 16233 0 0 0 227 13 0 0 20 0 1 0 65084147 148869120 25451 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 36345 25451 2400 1147 0 23772 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 149572 KiB
Current children cumulated memory: 104748 KiB
[startup+6.30017 s]
/proc/loadavg: 4.51 4.20 4.09 5/269 68503
/proc/meminfo: memFree=119006704/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=148752 memory=105644 CPUtime=5.59 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 17193 0 0 0 542 17 0 0 20 0 1 0 65084147 152322048 26411 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 37188 26411 2400 1147 0 24615 0
Current children cumulated CPU time: 6.15 s
Current children cumulated vsize: 152944 KiB
Current children cumulated memory: 108588 KiB
[startup+12.7002 s]
/proc/loadavg: 4.47 4.20 4.09 5/267 68517
/proc/meminfo: memFree=119254784/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=160440 memory=113932 CPUtime=11.97 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 18622 0 0 0 1173 24 0 0 20 0 1 0 65084147 164290560 28483 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 40110 28483 2432 1147 0 27537 0
Current children cumulated CPU time: 12.53 s
Current children cumulated vsize: 164632 KiB
Current children cumulated memory: 116876 KiB
[startup+25.5002 s]
/proc/loadavg: 4.36 4.19 4.09 3/264 68530
/proc/meminfo: memFree=118545680/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=165280 memory=119052 CPUtime=24.74 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 19900 0 0 0 2446 28 0 0 20 0 1 0 65084147 169246720 29763 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 41320 29763 2432 1147 0 28747 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 169472 KiB
Current children cumulated memory: 121996 KiB
[startup+51.1056 s]
/proc/loadavg: 4.38 4.21 4.10 5/274 68572
/proc/meminfo: memFree=118039940/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=166568 memory=120076 CPUtime=50.28 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 20183 0 0 0 4963 65 0 0 20 0 1 0 65084147 170565632 30019 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 41642 30019 2432 1147 0 29069 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 170760 KiB
Current children cumulated memory: 123020 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.19 4.09 5/275 68575
/proc/meminfo: memFree=117298652/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=182180 memory=134032 CPUtime=98.07 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 22637 0 0 0 9688 119 0 0 20 0 1 0 65084147 186552320 33508 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 45545 33508 2432 1147 0 32972 0
Current children cumulated CPU time: 98.63 s
Current children cumulated vsize: 186372 KiB
Current children cumulated memory: 136976 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/276 68582
/proc/meminfo: memFree=116485788/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=186016 memory=137744 CPUtime=157.92 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 23568 0 0 0 15631 161 0 0 20 0 1 0 65084147 190480384 34436 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 46504 34436 2432 1147 0 33931 0
Current children cumulated CPU time: 158.48 s
Current children cumulated vsize: 190208 KiB
Current children cumulated memory: 140688 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/276 68585
/proc/meminfo: memFree=115412000/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=186364 memory=138512 CPUtime=217.75 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 23757 0 0 0 21588 187 0 0 20 0 1 0 65084147 190836736 34628 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 46591 34628 2432 1147 0 34018 0
Current children cumulated CPU time: 218.31 s
Current children cumulated vsize: 190556 KiB
Current children cumulated memory: 141456 KiB
################
# More data... #
################
/proc/meminfo: memFree=96028880/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=386620 memory=322276 CPUtime=3269.31 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 55948 0 0 0 324410 2521 0 0 20 0 1 0 65084147 395898880 80569 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 96655 80569 2432 1147 0 84082 0
Current children cumulated CPU time: 3269.87 s
Current children cumulated vsize: 390812 KiB
Current children cumulated memory: 325220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/269 68789
/proc/meminfo: memFree=94133460/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=387276 memory=322404 CPUtime=3329.12 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 55981 0 0 0 330370 2542 0 0 20 0 1 0 65084147 396570624 80601 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 96819 80601 2432 1147 0 84246 0
Current children cumulated CPU time: 3329.68 s
Current children cumulated vsize: 391468 KiB
Current children cumulated memory: 325348 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/269 68791
/proc/meminfo: memFree=92278204/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=387276 memory=322404 CPUtime=3388.93 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 55981 0 0 0 336336 2557 0 0 20 0 1 0 65084147 396570624 80601 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 96819 80601 2432 1147 0 84246 0
Current children cumulated CPU time: 3389.49 s
Current children cumulated vsize: 391468 KiB
Current children cumulated memory: 325348 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/269 68793
/proc/meminfo: memFree=90350188/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=387276 memory=322404 CPUtime=3448.74 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 55981 0 0 0 342302 2572 0 0 20 0 1 0 65084147 396570624 80601 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 96819 80601 2432 1147 0 84246 0
Current children cumulated CPU time: 3449.3 s
Current children cumulated vsize: 391468 KiB
Current children cumulated memory: 325348 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/269 68795
/proc/meminfo: memFree=88340604/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=394272 memory=329444 CPUtime=3508.55 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 57543 0 0 0 348255 2600 0 0 20 0 1 0 65084147 403734528 82361 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 98568 82361 2432 1147 0 85995 0
Current children cumulated CPU time: 3509.11 s
Current children cumulated vsize: 398464 KiB
Current children cumulated memory: 332388 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 68799
/proc/meminfo: memFree=86572588/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=397848 memory=333468 CPUtime=3568.37 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 58039 0 0 0 354224 2613 0 0 20 0 1 0 65084147 407396352 83367 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 99462 83367 2432 1147 0 86889 0
Current children cumulated CPU time: 3568.93 s
Current children cumulated vsize: 402040 KiB
Current children cumulated memory: 336412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.5 s]
/proc/loadavg: 4.15 4.13 4.09 5/266 68800
/proc/meminfo: memFree=85595372/131250000 swapFree=33010684/33010684
[pid=68498] ppid=68495 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/68498/stat : 68498 (run-opt-break-l) S 68495 68498 67620 0 -1 4194304 240 10945 0 0 0 0 46 10 20 0 1 0 65084079 4292608 736 18446744073709551615 94716167368704 94716168263237 140722059706752 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94716168502288 94716168550032 94716194074624 140722059712789 140722059712990 140722059712990 140722059718592 0
/proc/68498/statm: 1048 736 672 219 0 110 0
[pid=68501] ppid=68498 vsize=397848 memory=333468 CPUtime=3599.47 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68498 68498 67620 0 -1 4194304 58043 0 0 0 357313 2634 0 0 20 0 1 0 65084147 407396352 83367 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 99462 83367 2432 1147 0 86889 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 402040 KiB
Current children cumulated memory: 336412 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3613.5 s]
# the end of solver process 68498 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.463976 s, system=0.10838 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3615.52 s]
# the end of solver process 68501 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3575.58 s, system=26.4656 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3614.4 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 68800
/proc/meminfo: memFree=85563116/131250000 swapFree=33010684/33010684
[pid=68501] ppid=68495 vsize=397848 memory=333468 CPUtime=3600.36 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68495 68498 67620 0 -1 4194304 58043 0 0 0 357402 2634 0 0 20 0 1 0 65084147 407396352 83367 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 99462 83367 2432 1147 0 86889 0
Current cumulated CPU time of completed processes: 0.572356 s
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 333468 KiB
[startup+3615.2 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 68800
/proc/meminfo: memFree=85538780/131250000 swapFree=33010684/33010684
[pid=68501] ppid=68495 vsize=397848 memory=333468 CPUtime=3601.16 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68495 68498 67620 0 -1 4194304 58043 0 0 0 357481 2635 0 0 20 0 1 0 65084147 407396352 83367 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 99462 83367 2432 1147 0 86889 0
Current cumulated CPU time of completed processes: 0.572356 s
Current children cumulated CPU time: 3601.16 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 333468 KiB
[startup+3615.4 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 68800
/proc/meminfo: memFree=85538780/131250000 swapFree=33010684/33010684
[pid=68501] ppid=68495 vsize=397848 memory=333468 CPUtime=3601.36 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68495 68498 67620 0 -1 4194304 58043 0 0 0 357501 2635 0 0 20 0 1 0 65084147 407396352 83367 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 99462 83367 2432 1147 0 86889 0
Current cumulated CPU time of completed processes: 0.572356 s
Current children cumulated CPU time: 3601.36 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 333468 KiB
[startup+3615.5 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 68800
/proc/meminfo: memFree=85538780/131250000 swapFree=33010684/33010684
[pid=68501] ppid=68495 vsize=397848 memory=333468 CPUtime=3601.46 cores=1,3
/proc/68501/stat : 68501 (roundingsat) R 68495 68498 67620 0 -1 4194304 58043 0 0 0 357511 2635 0 0 20 0 1 0 65084147 407396352 83367 18446744073709551615 4227072 8923433 140734278906768 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41529344 140734278908180 140734278908456 140734278908456 140734278914026 0
/proc/68501/statm: 99462 83367 2432 1147 0 86889 0
Current cumulated CPU time of completed processes: 0.572356 s
Current children cumulated CPU time: 3601.46 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 333468 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3615.52
CPU time (s): 3602.05
CPU user time (s): 3575.58
CPU system time (s): 26.4656
CPU usage (%): 99.6274
Max. virtual memory (cumulated for all children) (KiB): 402040
Max. memory (cumulated for all children) (KiB): 336412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.58
system time used= 26.4656
maximum resident set size= 333468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1546512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2858
involuntary context switches= 3762
# summary of solver processes directly reported to runsolver:
# pid: 68498,68501
# total CPU time (s): 3602.05
# total CPU user time (s): 3575.58
# total CPU system time (s): 26.4656
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47497 second user time and 16.3764 second system time
The end
Begin job on nodeC026 at 2025-07-03 00:07:34
IDJOB=4507819
IDBENCH=158385
IDSOLVER=3360
FILE ID=nodeC026/4507819-1751494054
RUNJOBID= nodeC026-1751490240-67633
SLURM_JOB_ID= 9598553
Free space on /tmp= 430152 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
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 --file-size-limit 102400 -w /tmp/evaluation-result-4507819-1751494054/watcher-4507819-1751494054 -o /tmp/evaluation-result-4507819-1751494054/solver-4507819-1751494054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751490240-67633 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4507819-1751494054.opb PROOFDIR/proof-4507819-1751494054
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 14fbf9ee541b990313b1cac62bdb8872
RANDOM SEED=1448303175
nodeC026 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 : 0xb00002a
cpu MHz : 3599.779
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.405
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3598.890
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.789
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.748
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.597
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3600.185
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
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 : 0xb00002a
cpu MHz : 3599.782
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 119431592 kB
MemAvailable: 128095996 kB
Buffers: 3280 kB
Cached: 9458488 kB
SwapCached: 0 kB
Active: 1949780 kB
Inactive: 9137120 kB
Active(anon): 1643272 kB
Inactive(anon): 0 kB
Active(file): 306508 kB
Inactive(file): 9137120 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1303844 kB
Writeback: 284 kB
AnonPages: 1628272 kB
Mapped: 112828 kB
Shmem: 18080 kB
KReclaimable: 120028 kB
Slab: 252136 kB
SReclaimable: 120028 kB
SUnreclaim: 132108 kB
KernelStack: 4352 kB
PageTables: 6436 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2220492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 462848 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 430324 MiB
End job on nodeC026 at 2025-07-03 01:07:50