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-4508094-1751492665.opb'
0.00/0.02 c read 1.11MB (14.80ms)
0.00/0.02 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 2664] (17.82ms)
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 11x666, generating row predicate
0.00/0.07 c (31.66ms)
0.00/0.07 c
0.00/0.07 c detect symmetries on remainder
0.00/0.07 c [graph: #vertices 80207 #edges 285984]
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.81ms)
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=1332, best_gens=13, +gens=224
0.19/0.23 c (125.33ms)
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 (6.66ms)
0.19/0.24 c
0.19/0.24 c generation finished
0.19/0.24 c [sbp: #constraints 33822 #add_vars 11191]
0.19/0.24 c
0.19/0.24 c write result to 'HOME/instance-4508094-1751492665.opb.pre'
0.19/0.25 c wrote 2.40MB (5.25ms)
0.19/0.25 c ------------------------------------------------------------------
0.19/0.25 c 125.33ms 52.48% optimize_gens
0.19/0.25 c 34.81ms 14.57% detect_generic
0.19/0.25 c 31.66ms 13.25% detect_special
0.19/0.25 c 17.82ms 7.46% approx_orbits
0.19/0.25 c 14.80ms 6.20% parse
0.19/0.25 c 6.66ms 2.79% break_generic
0.19/0.25 c 5.25ms 2.20% output
0.19/0.25 c 1.35ms 0.57% finalize_order
0.19/0.25 c 1.15ms 0.48% other
0.19/0.25 c ───────────────────────────────────────────────
0.19/0.25 c 238.84ms 100% total
0.19/0.25 c ------------------------------------------------------------------
0.19/0.26 c RoundingSat 2
0.19/0.26 c branch pb25
0.19/0.26 c commit 63f22ad
0.47/0.51 c #variables 20515 #constraints 62482
0.47/0.51 c objective is ce32
0.47/0.51 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
0.47/0.51 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.47/0.51 c bounds - >= 0 @ 0.190215
7.84/7.95 c #Conflicts: 1000 | #Constraints: 63481
7.84/7.95 c #Conflicts: 2000 | #Constraints: 64481
7.84/7.95 c INPROCESSING
7.84/7.95 c #Conflicts: 3000 | #Constraints: 64509
7.84/7.95 c #Conflicts: 4000 | #Constraints: 65509
7.84/7.95 c INPROCESSING
7.84/7.95 c #Conflicts: 5000 | #Constraints: 64910
7.84/7.95 c #Conflicts: 6000 | #Constraints: 65910
7.84/7.95 c bounds 211 >= 0 @ 7.35491
7.84/7.95 c bounds 211 >= 5 @ 7.35684
7.84/7.96 c bounds 211 >= 10 @ 7.36748
7.94/8.08 c INPROCESSING
7.94/8.08 c GARBAGE COLLECT
7.94/8.08 c #Conflicts: 7000 | #Constraints: 64933
7.94/8.08 c bounds 211 >= 15 @ 7.47567
7.94/8.10 c bounds 201 >= 15 @ 7.4916
8.04/8.11 c bounds 199 >= 15 @ 7.49615
8.04/8.13 c bounds 189 >= 15 @ 7.51246
8.04/8.14 c bounds 187 >= 15 @ 7.51961
8.14/8.24 c #Conflicts: 8000 | #Constraints: 65943
8.14/8.24 c bounds 182 >= 15 @ 7.57932
8.14/8.25 c bounds 180 >= 15 @ 7.58439
8.24/8.32 c bounds 177 >= 15 @ 7.63573
8.24/8.35 c #Conflicts: 9000 | #Constraints: 66946
8.24/8.35 c bounds 177 >= 20 @ 7.66274
8.24/8.36 c bounds 177 >= 25 @ 7.67009
8.24/8.37 c bounds 175 >= 25 @ 7.67775
22.81/22.93 c INPROCESSING
22.81/22.93 c #Conflicts: 10000 | #Constraints: 65705
22.81/22.93 c #Conflicts: 11000 | #Constraints: 66705
22.81/22.93 c bounds 167 >= 25 @ 22.0992
68.79/69.00 c #Conflicts: 12000 | #Constraints: 67706
68.79/69.00 c INPROCESSING
68.79/69.00 c GARBAGE COLLECT
68.79/69.00 c bounds 167 >= 30 @ 67.92
68.79/69.02 c bounds 165 >= 30 @ 67.929
69.48/69.77 c #Conflicts: 13000 | #Constraints: 66180
69.48/69.77 c #Conflicts: 14000 | #Constraints: 67180
69.48/69.77 c #Conflicts: 15000 | #Constraints: 68180
69.48/69.77 c INPROCESSING
69.48/69.77 c #Conflicts: 16000 | #Constraints: 66416
69.48/69.77 c #Conflicts: 17000 | #Constraints: 67416
69.48/69.77 c #Conflicts: 18000 | #Constraints: 68416
69.48/69.77 c INPROCESSING
69.48/69.77 c GARBAGE COLLECT
69.48/69.77 c #Conflicts: 19000 | #Constraints: 66422
69.48/69.77 c #Conflicts: 20000 | #Constraints: 67422
69.48/69.77 c bounds 157 >= 30 @ 68.62
69.48/69.78 c bounds 155 >= 30 @ 68.6285
69.59/69.84 c bounds 147 >= 30 @ 68.6754
69.59/69.85 c bounds 145 >= 30 @ 68.6819
130.83/131.29 c #Conflicts: 21000 | #Constraints: 68426
130.83/131.29 c INPROCESSING
130.83/131.29 c GARBAGE COLLECT
130.83/131.29 c #Conflicts: 22000 | #Constraints: 66232
130.83/131.29 c #Conflicts: 23000 | #Constraints: 67232
130.83/131.29 c #Conflicts: 24000 | #Constraints: 68232
130.83/131.29 c #Conflicts: 25000 | #Constraints: 69232
130.83/131.29 c INPROCESSING
130.83/131.29 c GARBAGE COLLECT
130.83/131.29 c bounds 145 >= 32 @ 129.787
130.83/131.29 c bounds 145 >= 34 @ 129.787
130.93/131.32 c bounds 145 >= 36 @ 129.811
131.23/131.64 c #Conflicts: 26000 | #Constraints: 66858
131.23/131.64 c #Conflicts: 27000 | #Constraints: 67858
131.23/131.64 c #Conflicts: 28000 | #Constraints: 68858
131.23/131.64 c bounds 145 >= 39 @ 130.126
131.53/131.97 c #Conflicts: 29000 | #Constraints: 69867
131.53/131.97 c INPROCESSING
131.53/131.97 c GARBAGE COLLECT
131.53/131.97 c #Conflicts: 30000 | #Constraints: 67154
131.53/131.97 c #Conflicts: 31000 | #Constraints: 68154
131.53/131.97 c #Conflicts: 32000 | #Constraints: 69154
131.53/131.97 c #Conflicts: 33000 | #Constraints: 70154
131.53/131.97 c INPROCESSING
131.53/131.97 c bounds 145 >= 41 @ 130.44
131.93/132.38 c #Conflicts: 34000 | #Constraints: 67420
131.93/132.38 c #Conflicts: 35000 | #Constraints: 68420
131.93/132.38 c #Conflicts: 36000 | #Constraints: 69420
131.93/132.38 c bounds 145 >= 43 @ 130.844
182.50/183.07 c #Conflicts: 37000 | #Constraints: 70426
182.50/183.07 c INPROCESSING
182.50/183.07 c GARBAGE COLLECT
182.50/183.07 c #Conflicts: 38000 | #Constraints: 67451
182.50/183.07 c #Conflicts: 39000 | #Constraints: 68451
182.50/183.07 c #Conflicts: 40000 | #Constraints: 69451
182.50/183.07 c #Conflicts: 41000 | #Constraints: 70451
182.50/183.07 c INPROCESSING
182.50/183.07 c GARBAGE COLLECT
182.50/183.07 c #Conflicts: 42000 | #Constraints: 67266
182.50/183.07 c #Conflicts: 43000 | #Constraints: 68266
182.50/183.07 c #Conflicts: 44000 | #Constraints: 69266
182.50/183.07 c #Conflicts: 45000 | #Constraints: 70266
182.50/183.07 c #Conflicts: 46000 | #Constraints: 71266
182.50/183.07 c INPROCESSING
182.50/183.07 c GARBAGE COLLECT
182.50/183.07 c #Conflicts: 47000 | #Constraints: 67875
182.50/183.07 c #Conflicts: 48000 | #Constraints: 68875
182.50/183.07 c #Conflicts: 49000 | #Constraints: 69875
182.50/183.07 c #Conflicts: 50000 | #Constraints: 70875
182.50/183.07 c #Conflicts: 51000 | #Constraints: 71875
182.50/183.07 c INPROCESSING
182.50/183.07 c GARBAGE COLLECT
182.50/183.07 c #Conflicts: 52000 | #Constraints: 68277
182.50/183.07 c #Conflicts: 53000 | #Constraints: 69277
182.50/183.07 c #Conflicts: 54000 | #Constraints: 70277
182.50/183.07 c #Conflicts: 55000 | #Constraints: 71277
182.50/183.07 c #Conflicts: 56000 | #Constraints: 72277
182.50/183.07 c INPROCESSING
182.50/183.07 c GARBAGE COLLECT
182.50/183.07 c #Conflicts: 57000 | #Constraints: 68477
182.50/183.07 c #Conflicts: 58000 | #Constraints: 69477
182.50/183.07 c #Conflicts: 59000 | #Constraints: 70477
182.50/183.07 c #Conflicts: 60000 | #Constraints: 71477
182.50/183.07 c #Conflicts: 61000 | #Constraints: 72477
182.50/183.07 c INPROCESSING
182.50/183.07 c GARBAGE COLLECT
182.50/183.07 c rational objective 43
203.94/204.52 c #Conflicts: 62000 | #Constraints: 68487
203.94/204.52 c #Conflicts: 63000 | #Constraints: 69487
203.94/204.52 c #Conflicts: 64000 | #Constraints: 70487
203.94/204.52 c #Conflicts: 65000 | #Constraints: 71487
203.94/204.52 c #Conflicts: 66000 | #Constraints: 72487
203.94/204.52 c INPROCESSING
203.94/204.52 c GARBAGE COLLECT
203.94/204.52 c #Conflicts: 67000 | #Constraints: 68286
203.94/204.52 c #Conflicts: 68000 | #Constraints: 69286
203.94/204.52 c #Conflicts: 69000 | #Constraints: 70286
203.94/204.52 c #Conflicts: 70000 | #Constraints: 71286
203.94/204.52 c #Conflicts: 71000 | #Constraints: 72286
203.94/204.52 c #Conflicts: 72000 | #Constraints: 73286
203.94/204.52 c INPROCESSING
203.94/204.52 c GARBAGE COLLECT
203.94/204.52 c rational objective 43
222.80/223.49 c #Conflicts: 73000 | #Constraints: 68898
222.80/223.49 c #Conflicts: 74000 | #Constraints: 69898
222.80/223.49 c #Conflicts: 75000 | #Constraints: 70898
222.80/223.49 c #Conflicts: 76000 | #Constraints: 71898
222.80/223.49 c #Conflicts: 77000 | #Constraints: 72898
222.80/223.49 c #Conflicts: 78000 | #Constraints: 73898
222.80/223.49 c INPROCESSING
222.80/223.49 c GARBAGE COLLECT
222.80/223.49 c rational objective 43
281.74/282.58 c #Conflicts: 79000 | #Constraints: 69298
281.74/282.58 c #Conflicts: 80000 | #Constraints: 70298
281.74/282.58 c #Conflicts: 81000 | #Constraints: 71298
281.74/282.58 c #Conflicts: 82000 | #Constraints: 72298
281.74/282.58 c #Conflicts: 83000 | #Constraints: 73298
281.74/282.58 c #Conflicts: 84000 | #Constraints: 74298
281.74/282.58 c INPROCESSING
281.74/282.58 c GARBAGE COLLECT
281.74/282.58 c rational objective 43
303.69/304.52 c #Conflicts: 85000 | #Constraints: 69527
303.69/304.52 c #Conflicts: 86000 | #Constraints: 70527
303.69/304.52 c #Conflicts: 87000 | #Constraints: 71527
303.69/304.52 c #Conflicts: 88000 | #Constraints: 72527
303.69/304.52 c #Conflicts: 89000 | #Constraints: 73527
303.69/304.52 c #Conflicts: 90000 | #Constraints: 74527
303.69/304.52 c INPROCESSING
303.69/304.52 c GARBAGE COLLECT
303.69/304.52 c #Conflicts: 91000 | #Constraints: 69500
303.69/304.52 c #Conflicts: 92000 | #Constraints: 70500
303.69/304.52 c #Conflicts: 93000 | #Constraints: 71500
303.69/304.52 c #Conflicts: 94000 | #Constraints: 72500
303.69/304.52 c #Conflicts: 95000 | #Constraints: 73500
303.69/304.52 c #Conflicts: 96000 | #Constraints: 74500
303.69/304.52 c INPROCESSING
303.69/304.52 c GARBAGE COLLECT
303.69/304.52 c #Conflicts: 97000 | #Constraints: 69296
303.69/304.52 c #Conflicts: 98000 | #Constraints: 70296
303.69/304.52 c #Conflicts: 99000 | #Constraints: 71296
303.69/304.52 c #Conflicts: 100000 | #Constraints: 72296
303.69/304.52 c #Conflicts: 101000 | #Constraints: 73296
303.69/304.52 c #Conflicts: 102000 | #Constraints: 74296
303.69/304.52 c #Conflicts: 103000 | #Constraints: 75296
303.69/304.52 c INPROCESSING
303.69/304.52 c GARBAGE COLLECT
303.69/304.52 c rational objective 43
353.55/354.59 c #Conflicts: 104000 | #Constraints: 69906
353.55/354.59 c #Conflicts: 105000 | #Constraints: 70906
353.55/354.59 c #Conflicts: 106000 | #Constraints: 71906
353.55/354.59 c #Conflicts: 107000 | #Constraints: 72906
353.55/354.59 c #Conflicts: 108000 | #Constraints: 73906
353.55/354.59 c #Conflicts: 109000 | #Constraints: 74906
353.55/354.59 c #Conflicts: 110000 | #Constraints: 75906
353.55/354.59 c INPROCESSING
353.55/354.59 c GARBAGE COLLECT
353.55/354.59 c rational objective 43
374.30/375.39 c #Conflicts: 111000 | #Constraints: 70349
374.30/375.39 c #Conflicts: 112000 | #Constraints: 71349
374.30/375.39 c #Conflicts: 113000 | #Constraints: 72349
374.30/375.39 c #Conflicts: 114000 | #Constraints: 73349
374.30/375.39 c #Conflicts: 115000 | #Constraints: 74349
374.30/375.39 c #Conflicts: 116000 | #Constraints: 75349
374.30/375.39 c #Conflicts: 117000 | #Constraints: 76349
374.30/375.39 c INPROCESSING
374.30/375.39 c GARBAGE COLLECT
374.30/375.39 c #Conflicts: 118000 | #Constraints: 70518
374.30/375.39 c #Conflicts: 119000 | #Constraints: 71518
374.30/375.39 c #Conflicts: 120000 | #Constraints: 72518
374.30/375.39 c #Conflicts: 121000 | #Constraints: 73518
374.30/375.39 c #Conflicts: 122000 | #Constraints: 74518
374.30/375.39 c #Conflicts: 123000 | #Constraints: 75518
374.30/375.39 c #Conflicts: 124000 | #Constraints: 76518
374.30/375.39 c INPROCESSING
374.30/375.39 c GARBAGE COLLECT
374.30/375.39 c #Conflicts: 125000 | #Constraints: 70500
374.30/375.39 c #Conflicts: 126000 | #Constraints: 71500
374.30/375.39 c #Conflicts: 127000 | #Constraints: 72500
374.30/375.39 c #Conflicts: 128000 | #Constraints: 73500
374.30/375.39 c #Conflicts: 129000 | #Constraints: 74500
374.30/375.39 c #Conflicts: 130000 | #Constraints: 75500
374.30/375.39 c #Conflicts: 131000 | #Constraints: 76500
374.30/375.39 c INPROCESSING
374.30/375.39 c GARBAGE COLLECT
374.30/375.39 c rational objective 43
407.72/408.81 c #Conflicts: 132000 | #Constraints: 70298
407.72/408.81 c #Conflicts: 133000 | #Constraints: 71298
407.72/408.81 c #Conflicts: 134000 | #Constraints: 72299
407.72/408.81 c #Conflicts: 135000 | #Constraints: 73299
407.72/408.81 c #Conflicts: 136000 | #Constraints: 74299
407.72/408.81 c #Conflicts: 137000 | #Constraints: 75299
407.72/408.81 c #Conflicts: 138000 | #Constraints: 76299
407.72/408.81 c #Conflicts: 139000 | #Constraints: 77299
407.72/408.81 c INPROCESSING
407.72/408.81 c GARBAGE COLLECT
407.72/408.81 c rational objective 43
461.49/462.76 c #Conflicts: 140000 | #Constraints: 70894
461.49/462.76 c #Conflicts: 141000 | #Constraints: 71894
461.49/462.76 c #Conflicts: 142000 | #Constraints: 72894
461.49/462.76 c #Conflicts: 143000 | #Constraints: 73894
461.49/462.76 c #Conflicts: 144000 | #Constraints: 74894
461.49/462.76 c #Conflicts: 145000 | #Constraints: 75894
461.49/462.76 c #Conflicts: 146000 | #Constraints: 76894
461.49/462.76 c #Conflicts: 147000 | #Constraints: 77894
461.49/462.76 c INPROCESSING
461.49/462.76 c GARBAGE COLLECT
461.49/462.76 c rational objective 43
494.61/495.94 c #Conflicts: 148000 | #Constraints: 71362
494.61/495.94 c #Conflicts: 149000 | #Constraints: 72362
494.61/495.94 c #Conflicts: 150000 | #Constraints: 73362
494.61/495.94 c #Conflicts: 151000 | #Constraints: 74362
494.61/495.94 c #Conflicts: 152000 | #Constraints: 75362
494.61/495.94 c #Conflicts: 153000 | #Constraints: 76362
494.61/495.94 c #Conflicts: 154000 | #Constraints: 77362
494.61/495.94 c #Conflicts: 155000 | #Constraints: 78362
494.61/495.94 c INPROCESSING
494.61/495.94 c GARBAGE COLLECT
494.61/495.94 c #Conflicts: 156000 | #Constraints: 71524
494.61/495.94 c #Conflicts: 157000 | #Constraints: 72524
494.61/495.94 c #Conflicts: 158000 | #Constraints: 73524
494.61/495.94 c #Conflicts: 159000 | #Constraints: 74524
494.61/495.94 c #Conflicts: 160000 | #Constraints: 75524
494.61/495.94 c #Conflicts: 161000 | #Constraints: 76524
494.61/495.94 c #Conflicts: 162000 | #Constraints: 77524
494.61/495.94 c #Conflicts: 163000 | #Constraints: 78524
494.61/495.94 c INPROCESSING
494.61/495.94 c GARBAGE COLLECT
494.61/495.94 c #Conflicts: 164000 | #Constraints: 71508
494.61/495.94 c #Conflicts: 165000 | #Constraints: 72508
494.61/495.94 c #Conflicts: 166000 | #Constraints: 73508
494.61/495.94 c #Conflicts: 167000 | #Constraints: 74508
494.61/495.94 c #Conflicts: 168000 | #Constraints: 75508
494.61/495.94 c #Conflicts: 169000 | #Constraints: 76508
494.61/495.94 c #Conflicts: 170000 | #Constraints: 77508
494.61/495.94 c #Conflicts: 171000 | #Constraints: 78508
494.61/495.94 c INPROCESSING
494.61/495.94 c GARBAGE COLLECT
494.61/495.94 c #Conflicts: 172000 | #Constraints: 71297
494.61/495.94 c #Conflicts: 173000 | #Constraints: 72297
494.61/495.94 c #Conflicts: 174000 | #Constraints: 73297
494.61/495.94 c #Conflicts: 175000 | #Constraints: 74297
494.61/495.94 c #Conflicts: 176000 | #Constraints: 75297
494.61/495.94 c bounds 145 >= 45 @ 491.751
525.83/527.22 c #Conflicts: 177000 | #Constraints: 76306
525.83/527.22 c #Conflicts: 178000 | #Constraints: 77306
525.83/527.22 c #Conflicts: 179000 | #Constraints: 78306
525.83/527.22 c #Conflicts: 180000 | #Constraints: 79306
525.83/527.22 c INPROCESSING
525.83/527.22 c GARBAGE COLLECT
525.83/527.22 c rational objective 45
564.55/566.08 c #Conflicts: 181000 | #Constraints: 71902
564.55/566.08 c #Conflicts: 182000 | #Constraints: 72902
564.55/566.08 c #Conflicts: 183000 | #Constraints: 73902
564.55/566.08 c #Conflicts: 184000 | #Constraints: 74902
564.55/566.08 c #Conflicts: 185000 | #Constraints: 75902
564.55/566.08 c #Conflicts: 186000 | #Constraints: 76902
564.55/566.08 c #Conflicts: 187000 | #Constraints: 77902
564.55/566.08 c #Conflicts: 188000 | #Constraints: 78902
564.55/566.08 c #Conflicts: 189000 | #Constraints: 79902
564.55/566.08 c INPROCESSING
564.55/566.08 c GARBAGE COLLECT
564.55/566.08 c #Conflicts: 190000 | #Constraints: 72293
564.55/566.08 c #Conflicts: 191000 | #Constraints: 73293
564.55/566.08 c #Conflicts: 192000 | #Constraints: 74293
564.55/566.08 c #Conflicts: 193000 | #Constraints: 75293
564.55/566.08 c #Conflicts: 194000 | #Constraints: 76293
564.55/566.08 c #Conflicts: 195000 | #Constraints: 77293
564.55/566.08 c #Conflicts: 196000 | #Constraints: 78293
564.55/566.08 c #Conflicts: 197000 | #Constraints: 79293
564.55/566.08 c #Conflicts: 198000 | #Constraints: 80293
564.55/566.08 c INPROCESSING
564.55/566.08 c GARBAGE COLLECT
564.55/566.08 c #Conflicts: 199000 | #Constraints: 72490
564.55/566.08 c #Conflicts: 200000 | #Constraints: 73490
564.55/566.08 c #Conflicts: 201000 | #Constraints: 74490
564.55/566.08 c #Conflicts: 202000 | #Constraints: 75490
564.55/566.08 c #Conflicts: 203000 | #Constraints: 76490
564.55/566.08 c #Conflicts: 204000 | #Constraints: 77490
564.55/566.08 c #Conflicts: 205000 | #Constraints: 78490
564.55/566.08 c #Conflicts: 206000 | #Constraints: 79490
564.55/566.08 c #Conflicts: 207000 | #Constraints: 80490
564.55/566.08 c INPROCESSING
564.55/566.08 c GARBAGE COLLECT
564.55/566.08 c rational objective 45
605.75/607.39 c #Conflicts: 208000 | #Constraints: 72533
605.75/607.39 c #Conflicts: 209000 | #Constraints: 73533
605.75/607.39 c #Conflicts: 210000 | #Constraints: 74533
605.75/607.39 c #Conflicts: 211000 | #Constraints: 75533
605.75/607.39 c #Conflicts: 212000 | #Constraints: 76533
605.75/607.39 c #Conflicts: 213000 | #Constraints: 77533
605.75/607.39 c #Conflicts: 214000 | #Constraints: 78533
605.75/607.39 c #Conflicts: 215000 | #Constraints: 79533
605.75/607.39 c #Conflicts: 216000 | #Constraints: 80533
605.75/607.39 c INPROCESSING
605.75/607.39 c GARBAGE COLLECT
605.75/607.39 c rational objective 45
654.53/656.28 c #Conflicts: 217000 | #Constraints: 72395
654.53/656.28 c #Conflicts: 218000 | #Constraints: 73395
654.53/656.28 c #Conflicts: 219000 | #Constraints: 74395
654.53/656.28 c #Conflicts: 220000 | #Constraints: 75395
654.53/656.28 c #Conflicts: 221000 | #Constraints: 76395
654.53/656.28 c #Conflicts: 222000 | #Constraints: 77395
654.53/656.28 c #Conflicts: 223000 | #Constraints: 78395
654.53/656.28 c #Conflicts: 224000 | #Constraints: 79395
654.53/656.28 c #Conflicts: 225000 | #Constraints: 80395
654.53/656.28 c #Conflicts: 226000 | #Constraints: 81395
654.53/656.28 c INPROCESSING
654.53/656.28 c GARBAGE COLLECT
654.53/656.28 c rational objective 45
699.53/701.34 c #Conflicts: 227000 | #Constraints: 72991
699.53/701.34 c #Conflicts: 228000 | #Constraints: 73991
699.53/701.34 c #Conflicts: 229000 | #Constraints: 74991
699.53/701.34 c #Conflicts: 230000 | #Constraints: 75991
699.53/701.34 c #Conflicts: 231000 | #Constraints: 76991
699.53/701.34 c #Conflicts: 232000 | #Constraints: 77991
699.53/701.34 c #Conflicts: 233000 | #Constraints: 78991
699.53/701.34 c #Conflicts: 234000 | #Constraints: 79991
699.53/701.34 c #Conflicts: 235000 | #Constraints: 80991
699.53/701.34 c #Conflicts: 236000 | #Constraints: 81991
699.53/701.34 c INPROCESSING
699.53/701.34 c GARBAGE COLLECT
699.53/701.34 c #Conflicts: 237000 | #Constraints: 73344
699.53/701.34 c #Conflicts: 238000 | #Constraints: 74344
699.53/701.34 c #Conflicts: 239000 | #Constraints: 75344
699.53/701.34 c #Conflicts: 240000 | #Constraints: 76344
699.53/701.34 c #Conflicts: 241000 | #Constraints: 77344
699.53/701.34 c #Conflicts: 242000 | #Constraints: 78344
699.53/701.34 c #Conflicts: 243000 | #Constraints: 79344
699.53/701.34 c #Conflicts: 244000 | #Constraints: 80344
699.53/701.34 c #Conflicts: 245000 | #Constraints: 81344
699.53/701.34 c #Conflicts: 246000 | #Constraints: 82344
699.53/701.34 c INPROCESSING
699.53/701.34 c GARBAGE COLLECT
699.53/701.34 c #Conflicts: 247000 | #Constraints: 73520
699.53/701.34 c #Conflicts: 248000 | #Constraints: 74520
699.53/701.34 c #Conflicts: 249000 | #Constraints: 75520
699.53/701.34 c #Conflicts: 250000 | #Constraints: 76520
699.53/701.34 c #Conflicts: 251000 | #Constraints: 77520
699.53/701.34 c #Conflicts: 252000 | #Constraints: 78520
699.53/701.34 c #Conflicts: 253000 | #Constraints: 79520
699.53/701.34 c #Conflicts: 254000 | #Constraints: 80520
699.53/701.34 c #Conflicts: 255000 | #Constraints: 81520
699.53/701.34 c #Conflicts: 256000 | #Constraints: 82520
699.53/701.34 c INPROCESSING
699.53/701.34 c GARBAGE COLLECT
699.53/701.34 c rational objective 45
754.21/756.17 c #Conflicts: 257000 | #Constraints: 73506
754.21/756.17 c #Conflicts: 258000 | #Constraints: 74506
754.21/756.17 c #Conflicts: 259000 | #Constraints: 75506
754.21/756.17 c #Conflicts: 260000 | #Constraints: 76506
754.21/756.17 c #Conflicts: 261000 | #Constraints: 77506
754.21/756.17 c #Conflicts: 262000 | #Constraints: 78506
754.21/756.17 c #Conflicts: 263000 | #Constraints: 79506
754.21/756.17 c #Conflicts: 264000 | #Constraints: 80506
754.21/756.17 c #Conflicts: 265000 | #Constraints: 81506
754.21/756.17 c #Conflicts: 266000 | #Constraints: 82506
754.21/756.17 c INPROCESSING
754.21/756.17 c GARBAGE COLLECT
754.21/756.17 c rational objective 45
803.58/805.65 c #Conflicts: 267000 | #Constraints: 73338
803.58/805.65 c #Conflicts: 268000 | #Constraints: 74338
803.58/805.65 c #Conflicts: 269000 | #Constraints: 75338
803.58/805.65 c #Conflicts: 270000 | #Constraints: 76338
803.58/805.65 c #Conflicts: 271000 | #Constraints: 77338
803.58/805.65 c #Conflicts: 272000 | #Constraints: 78338
803.58/805.65 c #Conflicts: 273000 | #Constraints: 79338
803.58/805.65 c #Conflicts: 274000 | #Constraints: 80338
803.58/805.65 c #Conflicts: 275000 | #Constraints: 81338
803.58/805.65 c #Conflicts: 276000 | #Constraints: 82338
803.58/805.65 c #Conflicts: 277000 | #Constraints: 83338
803.58/805.65 c INPROCESSING
803.58/805.65 c GARBAGE COLLECT
803.58/805.65 c #Conflicts: 278000 | #Constraints: 73914
803.58/805.65 c #Conflicts: 279000 | #Constraints: 74914
803.58/805.65 c #Conflicts: 280000 | #Constraints: 75914
803.58/805.65 c #Conflicts: 281000 | #Constraints: 76914
803.58/805.65 c #Conflicts: 282000 | #Constraints: 77914
803.58/805.65 c #Conflicts: 283000 | #Constraints: 78914
803.58/805.65 c #Conflicts: 284000 | #Constraints: 79914
803.58/805.65 c #Conflicts: 285000 | #Constraints: 80914
803.58/805.65 c #Conflicts: 286000 | #Constraints: 81914
803.58/805.65 c #Conflicts: 287000 | #Constraints: 82914
803.58/805.65 c #Conflicts: 288000 | #Constraints: 83914
803.58/805.65 c INPROCESSING
803.58/805.65 c GARBAGE COLLECT
803.58/805.65 c #Conflicts: 289000 | #Constraints: 74314
803.58/805.65 c #Conflicts: 290000 | #Constraints: 75314
803.58/805.65 c #Conflicts: 291000 | #Constraints: 76314
803.58/805.65 c #Conflicts: 292000 | #Constraints: 77314
803.58/805.65 c #Conflicts: 293000 | #Constraints: 78314
803.58/805.65 c #Conflicts: 294000 | #Constraints: 79314
803.58/805.65 c #Conflicts: 295000 | #Constraints: 80314
803.58/805.65 c #Conflicts: 296000 | #Constraints: 81314
803.58/805.65 c #Conflicts: 297000 | #Constraints: 82314
803.58/805.65 c #Conflicts: 298000 | #Constraints: 83314
803.58/805.65 c #Conflicts: 299000 | #Constraints: 84314
803.58/805.65 c INPROCESSING
803.58/805.65 c GARBAGE COLLECT
803.58/805.65 c rational objective 45
851.27/853.49 c #Conflicts: 300000 | #Constraints: 74515
851.27/853.49 c #Conflicts: 301000 | #Constraints: 75515
851.27/853.49 c #Conflicts: 302000 | #Constraints: 76515
851.27/853.49 c #Conflicts: 303000 | #Constraints: 77515
851.27/853.49 c #Conflicts: 304000 | #Constraints: 78515
851.27/853.49 c #Conflicts: 305000 | #Constraints: 79515
851.27/853.49 c #Conflicts: 306000 | #Constraints: 80515
851.27/853.49 c #Conflicts: 307000 | #Constraints: 81515
851.27/853.49 c #Conflicts: 308000 | #Constraints: 82515
851.27/853.49 c #Conflicts: 309000 | #Constraints: 83515
851.27/853.49 c #Conflicts: 310000 | #Constraints: 84515
851.27/853.49 c INPROCESSING
851.27/853.49 c GARBAGE COLLECT
851.27/853.49 c rational objective 45
903.84/906.12 c #Conflicts: 311000 | #Constraints: 74505
903.84/906.12 c #Conflicts: 312000 | #Constraints: 75505
903.84/906.12 c #Conflicts: 313000 | #Constraints: 76505
903.84/906.12 c #Conflicts: 314000 | #Constraints: 77505
903.84/906.12 c #Conflicts: 315000 | #Constraints: 78505
903.84/906.12 c #Conflicts: 316000 | #Constraints: 79505
903.84/906.12 c #Conflicts: 317000 | #Constraints: 80505
903.84/906.12 c #Conflicts: 318000 | #Constraints: 81505
903.84/906.12 c #Conflicts: 319000 | #Constraints: 82505
903.84/906.12 c #Conflicts: 320000 | #Constraints: 83505
903.84/906.12 c #Conflicts: 321000 | #Constraints: 84505
903.84/906.12 c INPROCESSING
903.84/906.12 c GARBAGE COLLECT
903.84/906.12 c rational objective 45
907.54/909.83 c #Conflicts: 322000 | #Constraints: 74330
907.54/909.83 c #Conflicts: 323000 | #Constraints: 75330
907.54/909.83 c #Conflicts: 324000 | #Constraints: 76330
907.54/909.83 c #Conflicts: 325000 | #Constraints: 77330
907.54/909.83 c #Conflicts: 326000 | #Constraints: 78330
907.54/909.83 c #Conflicts: 327000 | #Constraints: 79330
907.54/909.83 c #Conflicts: 328000 | #Constraints: 80330
907.54/909.83 c #Conflicts: 329000 | #Constraints: 81330
907.54/909.83 c #Conflicts: 330000 | #Constraints: 82330
907.54/909.83 c #Conflicts: 331000 | #Constraints: 83330
907.54/909.83 c bounds 145 >= 47 @ 902.763
947.84/950.28 c #Conflicts: 332000 | #Constraints: 84348
947.84/950.28 c #Conflicts: 333000 | #Constraints: 85348
947.84/950.28 c INPROCESSING
947.84/950.28 c GARBAGE COLLECT
947.84/950.28 c #Conflicts: 334000 | #Constraints: 74927
947.84/950.28 c #Conflicts: 335000 | #Constraints: 75927
947.84/950.28 c #Conflicts: 336000 | #Constraints: 76927
947.84/950.28 c #Conflicts: 337000 | #Constraints: 77927
947.84/950.28 c #Conflicts: 338000 | #Constraints: 78927
947.84/950.28 c #Conflicts: 339000 | #Constraints: 79927
947.84/950.28 c #Conflicts: 340000 | #Constraints: 80927
947.84/950.28 c #Conflicts: 341000 | #Constraints: 81927
947.84/950.28 c #Conflicts: 342000 | #Constraints: 82927
947.84/950.28 c #Conflicts: 343000 | #Constraints: 83927
947.84/950.28 c #Conflicts: 344000 | #Constraints: 84927
947.84/950.28 c #Conflicts: 345000 | #Constraints: 85927
947.84/950.28 c INPROCESSING
947.84/950.28 c GARBAGE COLLECT
947.84/950.28 c rational objective 47
999.72/1002.23 c #Conflicts: 346000 | #Constraints: 75320
999.72/1002.23 c #Conflicts: 347000 | #Constraints: 76320
999.72/1002.23 c #Conflicts: 348000 | #Constraints: 77320
999.72/1002.23 c #Conflicts: 349000 | #Constraints: 78320
999.72/1002.23 c #Conflicts: 350000 | #Constraints: 79320
999.72/1002.23 c #Conflicts: 351000 | #Constraints: 80320
999.72/1002.23 c #Conflicts: 352000 | #Constraints: 81320
999.72/1002.23 c #Conflicts: 353000 | #Constraints: 82320
999.72/1002.23 c #Conflicts: 354000 | #Constraints: 83320
999.72/1002.23 c #Conflicts: 355000 | #Constraints: 84320
999.72/1002.23 c #Conflicts: 356000 | #Constraints: 85320
999.72/1002.23 c #Conflicts: 357000 | #Constraints: 86320
999.72/1002.23 c INPROCESSING
999.72/1002.23 c GARBAGE COLLECT
999.72/1002.23 c rational objective 47
1034.24/1036.83 c #Conflicts: 358000 | #Constraints: 75561
1034.24/1036.83 c #Conflicts: 359000 | #Constraints: 76561
1034.24/1036.83 c #Conflicts: 360000 | #Constraints: 77561
1034.24/1036.83 c #Conflicts: 361000 | #Constraints: 78561
1034.24/1036.83 c #Conflicts: 362000 | #Constraints: 79561
1034.24/1036.83 c #Conflicts: 363000 | #Constraints: 80561
1034.24/1036.83 c #Conflicts: 364000 | #Constraints: 81561
1034.24/1036.83 c #Conflicts: 365000 | #Constraints: 82561
1034.24/1036.83 c #Conflicts: 366000 | #Constraints: 83561
1034.24/1036.83 c #Conflicts: 367000 | #Constraints: 84561
1034.24/1036.83 c #Conflicts: 368000 | #Constraints: 85561
1034.24/1036.83 c #Conflicts: 369000 | #Constraints: 86561
1034.24/1036.83 c INPROCESSING
1034.24/1036.83 c GARBAGE COLLECT
1034.24/1036.83 c #Conflicts: 370000 | #Constraints: 75538
1034.24/1036.83 c #Conflicts: 371000 | #Constraints: 76538
1034.24/1036.83 c #Conflicts: 372000 | #Constraints: 77538
1034.24/1036.83 c #Conflicts: 373000 | #Constraints: 78538
1034.24/1036.83 c #Conflicts: 374000 | #Constraints: 79538
1034.24/1036.83 c #Conflicts: 375000 | #Constraints: 80538
1034.24/1036.83 c #Conflicts: 376000 | #Constraints: 81538
1034.24/1036.83 c #Conflicts: 377000 | #Constraints: 82538
1034.24/1036.83 c #Conflicts: 378000 | #Constraints: 83538
1034.24/1036.83 c #Conflicts: 379000 | #Constraints: 84538
1034.24/1036.83 c #Conflicts: 380000 | #Constraints: 85538
1034.24/1036.83 c #Conflicts: 381000 | #Constraints: 86538
1034.24/1036.83 c INPROCESSING
1034.24/1036.83 c GARBAGE COLLECT
1034.24/1036.83 c rational objective 47
1061.67/1064.30 c #Conflicts: 382000 | #Constraints: 75326
1061.67/1064.30 c #Conflicts: 383000 | #Constraints: 76326
1061.67/1064.30 c #Conflicts: 384000 | #Constraints: 77326
1061.67/1064.30 c #Conflicts: 385000 | #Constraints: 78326
1061.67/1064.30 c #Conflicts: 386000 | #Constraints: 79326
1061.67/1064.30 c #Conflicts: 387000 | #Constraints: 80326
1061.67/1064.30 c #Conflicts: 388000 | #Constraints: 81326
1061.67/1064.30 c #Conflicts: 389000 | #Constraints: 82326
1061.67/1064.30 c #Conflicts: 390000 | #Constraints: 83326
1061.67/1064.30 c #Conflicts: 391000 | #Constraints: 84326
1061.67/1064.30 c #Conflicts: 392000 | #Constraints: 85326
1061.67/1064.30 c #Conflicts: 393000 | #Constraints: 86326
1061.67/1064.30 c #Conflicts: 394000 | #Constraints: 87326
1061.67/1064.30 c INPROCESSING
1061.67/1064.30 c GARBAGE COLLECT
1061.67/1064.30 c rational objective 47
1110.95/1113.76 c #Conflicts: 395000 | #Constraints: 75922
1110.95/1113.76 c #Conflicts: 396000 | #Constraints: 76922
1110.95/1113.76 c #Conflicts: 397000 | #Constraints: 77922
1110.95/1113.76 c #Conflicts: 398000 | #Constraints: 78922
1110.95/1113.76 c #Conflicts: 399000 | #Constraints: 79922
1110.95/1113.76 c #Conflicts: 400000 | #Constraints: 80922
1110.95/1113.76 c #Conflicts: 401000 | #Constraints: 81922
1110.95/1113.76 c #Conflicts: 402000 | #Constraints: 82922
1110.95/1113.76 c #Conflicts: 403000 | #Constraints: 83922
1110.95/1113.76 c #Conflicts: 404000 | #Constraints: 84922
1110.95/1113.76 c #Conflicts: 405000 | #Constraints: 85922
1110.95/1113.76 c #Conflicts: 406000 | #Constraints: 86922
1110.95/1113.76 c #Conflicts: 407000 | #Constraints: 87922
1110.95/1113.76 c INPROCESSING
1110.95/1113.76 c GARBAGE COLLECT
1110.95/1113.76 c rational objective 47
1141.97/1144.82 c #Conflicts: 408000 | #Constraints: 76319
1141.97/1144.82 c #Conflicts: 409000 | #Constraints: 77319
1141.97/1144.82 c #Conflicts: 410000 | #Constraints: 78319
1141.97/1144.82 c #Conflicts: 411000 | #Constraints: 79319
1141.97/1144.82 c #Conflicts: 412000 | #Constraints: 80319
1141.97/1144.82 c #Conflicts: 413000 | #Constraints: 81319
1141.97/1144.82 c #Conflicts: 414000 | #Constraints: 82319
1141.97/1144.82 c #Conflicts: 415000 | #Constraints: 83319
1141.97/1144.82 c #Conflicts: 416000 | #Constraints: 84319
1141.97/1144.82 c #Conflicts: 417000 | #Constraints: 85319
1141.97/1144.82 c #Conflicts: 418000 | #Constraints: 86319
1141.97/1144.82 c #Conflicts: 419000 | #Constraints: 87319
1141.97/1144.82 c #Conflicts: 420000 | #Constraints: 88319
1141.97/1144.82 c INPROCESSING
1141.97/1144.82 c GARBAGE COLLECT
1141.97/1144.82 c #Conflicts: 421000 | #Constraints: 76510
1141.97/1144.82 c #Conflicts: 422000 | #Constraints: 77510
1141.97/1144.82 c #Conflicts: 423000 | #Constraints: 78510
1141.97/1144.82 c #Conflicts: 424000 | #Constraints: 79510
1141.97/1144.82 c #Conflicts: 425000 | #Constraints: 80510
1141.97/1144.82 c #Conflicts: 426000 | #Constraints: 81510
1141.97/1144.82 c #Conflicts: 427000 | #Constraints: 82510
1141.97/1144.82 c #Conflicts: 428000 | #Constraints: 83510
1141.97/1144.82 c #Conflicts: 429000 | #Constraints: 84510
1141.97/1144.82 c #Conflicts: 430000 | #Constraints: 85510
1141.97/1144.82 c #Conflicts: 431000 | #Constraints: 86510
1141.97/1144.82 c #Conflicts: 432000 | #Constraints: 87510
1141.97/1144.82 c #Conflicts: 433000 | #Constraints: 88510
1141.97/1144.82 c INPROCESSING
1141.97/1144.82 c GARBAGE COLLECT
1141.97/1144.82 c rational objective 47
1190.36/1193.30 c #Conflicts: 434000 | #Constraints: 76515
1190.36/1193.30 c #Conflicts: 435000 | #Constraints: 77515
1190.36/1193.30 c #Conflicts: 436000 | #Constraints: 78515
1190.36/1193.30 c #Conflicts: 437000 | #Constraints: 79515
1190.36/1193.30 c #Conflicts: 438000 | #Constraints: 80515
1190.36/1193.30 c #Conflicts: 439000 | #Constraints: 81515
1190.36/1193.30 c #Conflicts: 440000 | #Constraints: 82515
1190.36/1193.30 c #Conflicts: 441000 | #Constraints: 83515
1190.36/1193.30 c #Conflicts: 442000 | #Constraints: 84515
1190.36/1193.30 c #Conflicts: 443000 | #Constraints: 85515
1190.36/1193.30 c #Conflicts: 444000 | #Constraints: 86515
1190.36/1193.30 c #Conflicts: 445000 | #Constraints: 87515
1190.36/1193.30 c #Conflicts: 446000 | #Constraints: 88515
1190.36/1193.30 c INPROCESSING
1190.36/1193.30 c GARBAGE COLLECT
1190.36/1193.30 c rational objective 47
1242.63/1245.76 c #Conflicts: 447000 | #Constraints: 76322
1242.63/1245.76 c #Conflicts: 448000 | #Constraints: 77322
1242.63/1245.76 c #Conflicts: 449000 | #Constraints: 78322
1242.63/1245.76 c #Conflicts: 450000 | #Constraints: 79322
1242.63/1245.76 c #Conflicts: 451000 | #Constraints: 80322
1242.63/1245.76 c #Conflicts: 452000 | #Constraints: 81322
1242.63/1245.76 c #Conflicts: 453000 | #Constraints: 82322
1242.63/1245.76 c #Conflicts: 454000 | #Constraints: 83322
1242.63/1245.76 c #Conflicts: 455000 | #Constraints: 84322
1242.63/1245.76 c #Conflicts: 456000 | #Constraints: 85322
1242.63/1245.76 c #Conflicts: 457000 | #Constraints: 86322
1242.63/1245.76 c #Conflicts: 458000 | #Constraints: 87322
1242.63/1245.76 c #Conflicts: 459000 | #Constraints: 88322
1242.63/1245.76 c #Conflicts: 460000 | #Constraints: 89322
1242.63/1245.76 c INPROCESSING
1242.63/1245.76 c GARBAGE COLLECT
1242.63/1245.76 c rational objective 47
1270.56/1273.76 c #Conflicts: 461000 | #Constraints: 76937
1270.56/1273.76 c #Conflicts: 462000 | #Constraints: 77937
1270.56/1273.76 c #Conflicts: 463000 | #Constraints: 78937
1270.56/1273.76 c #Conflicts: 464000 | #Constraints: 79937
1270.56/1273.76 c #Conflicts: 465000 | #Constraints: 80937
1270.56/1273.76 c #Conflicts: 466000 | #Constraints: 81937
1270.56/1273.76 c #Conflicts: 467000 | #Constraints: 82937
1270.56/1273.76 c #Conflicts: 468000 | #Constraints: 83937
1270.56/1273.76 c #Conflicts: 469000 | #Constraints: 84937
1270.56/1273.76 c #Conflicts: 470000 | #Constraints: 85937
1270.56/1273.76 c #Conflicts: 471000 | #Constraints: 86937
1270.56/1273.76 c #Conflicts: 472000 | #Constraints: 87937
1270.56/1273.76 c #Conflicts: 473000 | #Constraints: 88937
1270.56/1273.76 c #Conflicts: 474000 | #Constraints: 89937
1270.56/1273.76 c INPROCESSING
1270.56/1273.76 c GARBAGE COLLECT
1270.56/1273.76 c rational objective 47
1314.46/1317.78 c #Conflicts: 475000 | #Constraints: 77341
1314.46/1317.78 c #Conflicts: 476000 | #Constraints: 78341
1314.46/1317.78 c #Conflicts: 477000 | #Constraints: 79341
1314.46/1317.78 c #Conflicts: 478000 | #Constraints: 80341
1314.46/1317.78 c #Conflicts: 479000 | #Constraints: 81341
1314.46/1317.78 c #Conflicts: 480000 | #Constraints: 82341
1314.46/1317.78 c #Conflicts: 481000 | #Constraints: 83341
1314.46/1317.78 c #Conflicts: 482000 | #Constraints: 84341
1314.46/1317.78 c #Conflicts: 483000 | #Constraints: 85341
1314.46/1317.78 c #Conflicts: 484000 | #Constraints: 86341
1314.46/1317.78 c #Conflicts: 485000 | #Constraints: 87341
1314.46/1317.78 c #Conflicts: 486000 | #Constraints: 88341
1314.46/1317.78 c #Conflicts: 487000 | #Constraints: 89341
1314.46/1317.78 c #Conflicts: 488000 | #Constraints: 90341
1314.46/1317.78 c INPROCESSING
1314.46/1317.78 c GARBAGE COLLECT
1314.46/1317.78 c rational objective 47
1375.81/1379.23 c #Conflicts: 489000 | #Constraints: 77567
1375.81/1379.23 c #Conflicts: 490000 | #Constraints: 78567
1375.81/1379.23 c #Conflicts: 491000 | #Constraints: 79567
1375.81/1379.23 c #Conflicts: 492000 | #Constraints: 80567
1375.81/1379.23 c #Conflicts: 493000 | #Constraints: 81567
1375.81/1379.23 c #Conflicts: 494000 | #Constraints: 82567
1375.81/1379.23 c #Conflicts: 495000 | #Constraints: 83567
1375.81/1379.23 c #Conflicts: 496000 | #Constraints: 84567
1375.81/1379.23 c #Conflicts: 497000 | #Constraints: 85567
1375.81/1379.23 c #Conflicts: 498000 | #Constraints: 86567
1375.81/1379.23 c #Conflicts: 499000 | #Constraints: 87567
1375.81/1379.23 c #Conflicts: 500000 | #Constraints: 88567
1375.81/1379.23 c #Conflicts: 501000 | #Constraints: 89567
1375.81/1379.23 c #Conflicts: 502000 | #Constraints: 90567
1375.81/1379.23 c INPROCESSING
1375.81/1379.23 c GARBAGE COLLECT
1375.81/1379.23 c rational objective 47
1406.74/1410.26 c #Conflicts: 503000 | #Constraints: 77593
1406.74/1410.26 c #Conflicts: 504000 | #Constraints: 78593
1406.74/1410.26 c #Conflicts: 505000 | #Constraints: 79593
1406.74/1410.26 c #Conflicts: 506000 | #Constraints: 80593
1406.74/1410.26 c #Conflicts: 507000 | #Constraints: 81593
1406.74/1410.26 c #Conflicts: 508000 | #Constraints: 82593
1406.74/1410.26 c #Conflicts: 509000 | #Constraints: 83593
1406.74/1410.26 c #Conflicts: 510000 | #Constraints: 84593
1406.74/1410.26 c #Conflicts: 511000 | #Constraints: 85593
1406.74/1410.26 c #Conflicts: 512000 | #Constraints: 86593
1406.74/1410.26 c #Conflicts: 513000 | #Constraints: 87593
1406.74/1410.26 c #Conflicts: 514000 | #Constraints: 88593
1406.74/1410.26 c #Conflicts: 515000 | #Constraints: 89593
1406.74/1410.26 c #Conflicts: 516000 | #Constraints: 90593
1406.74/1410.26 c INPROCESSING
1406.74/1410.26 c GARBAGE COLLECT
1406.74/1410.26 c rational objective 47
1440.46/1444.05 c #Conflicts: 517000 | #Constraints: 77351
1440.46/1444.05 c #Conflicts: 518000 | #Constraints: 78351
1440.46/1444.05 c #Conflicts: 519000 | #Constraints: 79351
1440.46/1444.05 c #Conflicts: 520000 | #Constraints: 80351
1440.46/1444.05 c #Conflicts: 521000 | #Constraints: 81351
1440.46/1444.05 c #Conflicts: 522000 | #Constraints: 82351
1440.46/1444.05 c #Conflicts: 523000 | #Constraints: 83351
1440.46/1444.05 c #Conflicts: 524000 | #Constraints: 84351
1440.46/1444.05 c #Conflicts: 525000 | #Constraints: 85351
1440.46/1444.05 c #Conflicts: 526000 | #Constraints: 86351
1440.46/1444.05 c #Conflicts: 527000 | #Constraints: 87351
1440.46/1444.05 c #Conflicts: 528000 | #Constraints: 88351
1440.46/1444.05 c #Conflicts: 529000 | #Constraints: 89351
1440.46/1444.05 c #Conflicts: 530000 | #Constraints: 90351
1440.46/1444.05 c #Conflicts: 531000 | #Constraints: 91351
1440.46/1444.05 c INPROCESSING
1440.46/1444.05 c GARBAGE COLLECT
1440.46/1444.05 c rational objective 47
1496.02/1499.71 c #Conflicts: 532000 | #Constraints: 77945
1496.02/1499.71 c #Conflicts: 533000 | #Constraints: 78945
1496.02/1499.71 c #Conflicts: 534000 | #Constraints: 79945
1496.02/1499.71 c #Conflicts: 535000 | #Constraints: 80945
1496.02/1499.71 c #Conflicts: 536000 | #Constraints: 81945
1496.02/1499.71 c #Conflicts: 537000 | #Constraints: 82945
1496.02/1499.71 c #Conflicts: 538000 | #Constraints: 83945
1496.02/1499.71 c #Conflicts: 539000 | #Constraints: 84945
1496.02/1499.71 c #Conflicts: 540000 | #Constraints: 85945
1496.02/1499.71 c #Conflicts: 541000 | #Constraints: 86945
1496.02/1499.71 c #Conflicts: 542000 | #Constraints: 87945
1496.02/1499.71 c #Conflicts: 543000 | #Constraints: 88945
1496.02/1499.71 c #Conflicts: 544000 | #Constraints: 89945
1496.02/1499.71 c #Conflicts: 545000 | #Constraints: 90945
1496.02/1499.71 c #Conflicts: 546000 | #Constraints: 91945
1496.02/1499.71 c INPROCESSING
1496.02/1499.71 c GARBAGE COLLECT
1496.02/1499.71 c rational objective 47
1496.43/1500.10 c bounds 145 >= 49 @ 1488.89
1536.93/1540.78 c #Conflicts: 547000 | #Constraints: 78378
1536.93/1540.78 c #Conflicts: 548000 | #Constraints: 79378
1536.93/1540.78 c #Conflicts: 549000 | #Constraints: 80378
1536.93/1540.78 c #Conflicts: 550000 | #Constraints: 81378
1536.93/1540.78 c #Conflicts: 551000 | #Constraints: 82378
1536.93/1540.78 c #Conflicts: 552000 | #Constraints: 83378
1536.93/1540.78 c #Conflicts: 553000 | #Constraints: 84378
1536.93/1540.78 c #Conflicts: 554000 | #Constraints: 85378
1536.93/1540.78 c #Conflicts: 555000 | #Constraints: 86378
1536.93/1540.78 c #Conflicts: 556000 | #Constraints: 87378
1536.93/1540.78 c #Conflicts: 557000 | #Constraints: 88378
1536.93/1540.78 c #Conflicts: 558000 | #Constraints: 89378
1536.93/1540.78 c #Conflicts: 559000 | #Constraints: 90378
1536.93/1540.78 c #Conflicts: 560000 | #Constraints: 91378
1536.93/1540.78 c #Conflicts: 561000 | #Constraints: 92378
1536.93/1540.78 c INPROCESSING
1536.93/1540.78 c GARBAGE COLLECT
1536.93/1540.78 c #Conflicts: 562000 | #Constraints: 78556
1536.93/1540.78 c #Conflicts: 563000 | #Constraints: 79556
1536.93/1540.78 c #Conflicts: 564000 | #Constraints: 80556
1536.93/1540.78 c #Conflicts: 565000 | #Constraints: 81556
1536.93/1540.78 c #Conflicts: 566000 | #Constraints: 82556
1536.93/1540.78 c #Conflicts: 567000 | #Constraints: 83556
1536.93/1540.78 c #Conflicts: 568000 | #Constraints: 84556
1536.93/1540.78 c #Conflicts: 569000 | #Constraints: 85556
1536.93/1540.78 c #Conflicts: 570000 | #Constraints: 86556
1536.93/1540.78 c #Conflicts: 571000 | #Constraints: 87556
1536.93/1540.78 c #Conflicts: 572000 | #Constraints: 88556
1536.93/1540.78 c #Conflicts: 573000 | #Constraints: 89556
1536.93/1540.78 c #Conflicts: 574000 | #Constraints: 90556
1536.93/1540.78 c #Conflicts: 575000 | #Constraints: 91556
1536.93/1540.78 c #Conflicts: 576000 | #Constraints: 92556
1536.93/1540.78 c INPROCESSING
1536.93/1540.78 c GARBAGE COLLECT
1536.93/1540.78 c rational objective 49
1587.41/1591.37 c #Conflicts: 577000 | #Constraints: 78568
1587.41/1591.37 c #Conflicts: 578000 | #Constraints: 79568
1587.41/1591.37 c #Conflicts: 579000 | #Constraints: 80568
1587.41/1591.37 c #Conflicts: 580000 | #Constraints: 81568
1587.41/1591.37 c #Conflicts: 581000 | #Constraints: 82568
1587.41/1591.37 c #Conflicts: 582000 | #Constraints: 83568
1587.41/1591.37 c #Conflicts: 583000 | #Constraints: 84568
1587.41/1591.37 c #Conflicts: 584000 | #Constraints: 85568
1587.41/1591.37 c #Conflicts: 585000 | #Constraints: 86568
1587.41/1591.37 c #Conflicts: 586000 | #Constraints: 87568
1587.41/1591.37 c #Conflicts: 587000 | #Constraints: 88568
1587.41/1591.37 c #Conflicts: 588000 | #Constraints: 89568
1587.41/1591.37 c #Conflicts: 589000 | #Constraints: 90568
1587.41/1591.37 c #Conflicts: 590000 | #Constraints: 91568
1587.41/1591.37 c #Conflicts: 591000 | #Constraints: 92568
1587.41/1591.37 c INPROCESSING
1587.41/1591.37 c GARBAGE COLLECT
1587.41/1591.37 c rational objective 49
1640.78/1644.81 c #Conflicts: 592000 | #Constraints: 78352
1640.78/1644.81 c #Conflicts: 593000 | #Constraints: 79352
1640.78/1644.81 c #Conflicts: 594000 | #Constraints: 80352
1640.78/1644.81 c #Conflicts: 595000 | #Constraints: 81352
1640.78/1644.81 c #Conflicts: 596000 | #Constraints: 82352
1640.78/1644.81 c #Conflicts: 597000 | #Constraints: 83352
1640.78/1644.81 c #Conflicts: 598000 | #Constraints: 84352
1640.78/1644.81 c #Conflicts: 599000 | #Constraints: 85352
1640.78/1644.81 c #Conflicts: 600000 | #Constraints: 86352
1640.78/1644.81 c #Conflicts: 601000 | #Constraints: 87352
1640.78/1644.81 c #Conflicts: 602000 | #Constraints: 88352
1640.78/1644.81 c #Conflicts: 603000 | #Constraints: 89352
1640.78/1644.81 c #Conflicts: 604000 | #Constraints: 90352
1640.78/1644.81 c #Conflicts: 605000 | #Constraints: 91352
1640.78/1644.81 c #Conflicts: 606000 | #Constraints: 92352
1640.78/1644.81 c #Conflicts: 607000 | #Constraints: 93352
1640.78/1644.81 c INPROCESSING
1640.78/1644.81 c GARBAGE COLLECT
1640.78/1644.81 c rational objective 49
1684.77/1688.95 c #Conflicts: 608000 | #Constraints: 78948
1684.77/1688.95 c #Conflicts: 609000 | #Constraints: 79948
1684.77/1688.95 c #Conflicts: 610000 | #Constraints: 80948
1684.77/1688.95 c #Conflicts: 611000 | #Constraints: 81948
1684.77/1688.95 c #Conflicts: 612000 | #Constraints: 82948
1684.77/1688.95 c #Conflicts: 613000 | #Constraints: 83948
1684.77/1688.95 c #Conflicts: 614000 | #Constraints: 84948
1684.77/1688.95 c #Conflicts: 615000 | #Constraints: 85948
1684.77/1688.95 c #Conflicts: 616000 | #Constraints: 86948
1684.77/1688.95 c #Conflicts: 617000 | #Constraints: 87948
1684.77/1688.95 c #Conflicts: 618000 | #Constraints: 88948
1684.77/1688.95 c #Conflicts: 619000 | #Constraints: 89948
1684.77/1688.95 c #Conflicts: 620000 | #Constraints: 90948
1684.77/1688.95 c #Conflicts: 621000 | #Constraints: 91948
1684.77/1688.95 c #Conflicts: 622000 | #Constraints: 92948
1684.77/1688.95 c #Conflicts: 623000 | #Constraints: 93948
1684.77/1688.95 c INPROCESSING
1684.77/1688.95 c GARBAGE COLLECT
1684.77/1688.95 c rational objective 49
1721.09/1725.31 c #Conflicts: 624000 | #Constraints: 79342
1721.09/1725.31 c #Conflicts: 625000 | #Constraints: 80342
1721.09/1725.31 c #Conflicts: 626000 | #Constraints: 81342
1721.09/1725.31 c #Conflicts: 627000 | #Constraints: 82342
1721.09/1725.31 c #Conflicts: 628000 | #Constraints: 83342
1721.09/1725.31 c #Conflicts: 629000 | #Constraints: 84342
1721.09/1725.31 c #Conflicts: 630000 | #Constraints: 85342
1721.09/1725.31 c #Conflicts: 631000 | #Constraints: 86342
1721.09/1725.31 c #Conflicts: 632000 | #Constraints: 87342
1721.09/1725.31 c #Conflicts: 633000 | #Constraints: 88342
1721.09/1725.31 c #Conflicts: 634000 | #Constraints: 89342
1721.09/1725.31 c #Conflicts: 635000 | #Constraints: 90342
1721.09/1725.31 c #Conflicts: 636000 | #Constraints: 91342
1721.09/1725.31 c #Conflicts: 637000 | #Constraints: 92342
1721.09/1725.31 c #Conflicts: 638000 | #Constraints: 93342
1721.09/1725.31 c #Conflicts: 639000 | #Constraints: 94342
1721.09/1725.31 c INPROCESSING
1721.09/1725.31 c GARBAGE COLLECT
1721.09/1725.31 c rational objective 49
1771.27/1775.69 c #Conflicts: 640000 | #Constraints: 79534
1771.27/1775.69 c #Conflicts: 641000 | #Constraints: 80534
1771.27/1775.69 c #Conflicts: 642000 | #Constraints: 81534
1771.27/1775.69 c #Conflicts: 643000 | #Constraints: 82534
1771.27/1775.69 c #Conflicts: 644000 | #Constraints: 83534
1771.27/1775.69 c #Conflicts: 645000 | #Constraints: 84534
1771.27/1775.69 c #Conflicts: 646000 | #Constraints: 85534
1771.27/1775.69 c #Conflicts: 647000 | #Constraints: 86534
1771.27/1775.69 c #Conflicts: 648000 | #Constraints: 87534
1771.27/1775.69 c #Conflicts: 649000 | #Constraints: 88534
1771.27/1775.69 c #Conflicts: 650000 | #Constraints: 89534
1771.27/1775.69 c #Conflicts: 651000 | #Constraints: 90534
1771.27/1775.69 c #Conflicts: 652000 | #Constraints: 91534
1771.27/1775.69 c #Conflicts: 653000 | #Constraints: 92534
1771.27/1775.69 c #Conflicts: 654000 | #Constraints: 93534
1771.27/1775.69 c #Conflicts: 655000 | #Constraints: 94534
1771.27/1775.69 c INPROCESSING
1771.27/1775.69 c GARBAGE COLLECT
1771.27/1775.69 c rational objective 49
1819.16/1823.60 c #Conflicts: 656000 | #Constraints: 79547
1819.16/1823.60 c #Conflicts: 657000 | #Constraints: 80547
1819.16/1823.60 c #Conflicts: 658000 | #Constraints: 81547
1819.16/1823.60 c #Conflicts: 659000 | #Constraints: 82547
1819.16/1823.60 c #Conflicts: 660000 | #Constraints: 83547
1819.16/1823.60 c #Conflicts: 661000 | #Constraints: 84547
1819.16/1823.60 c #Conflicts: 662000 | #Constraints: 85547
1819.16/1823.60 c #Conflicts: 663000 | #Constraints: 86547
1819.16/1823.60 c #Conflicts: 664000 | #Constraints: 87547
1819.16/1823.60 c #Conflicts: 665000 | #Constraints: 88547
1819.16/1823.60 c #Conflicts: 666000 | #Constraints: 89547
1819.16/1823.60 c #Conflicts: 667000 | #Constraints: 90547
1819.16/1823.60 c #Conflicts: 668000 | #Constraints: 91547
1819.16/1823.60 c #Conflicts: 669000 | #Constraints: 92547
1819.16/1823.60 c #Conflicts: 670000 | #Constraints: 93547
1819.16/1823.60 c #Conflicts: 671000 | #Constraints: 94547
1819.16/1823.60 c INPROCESSING
1819.16/1823.60 c GARBAGE COLLECT
1819.16/1823.60 c rational objective 49
1865.25/1869.84 c #Conflicts: 672000 | #Constraints: 79334
1865.25/1869.84 c #Conflicts: 673000 | #Constraints: 80334
1865.25/1869.84 c #Conflicts: 674000 | #Constraints: 81334
1865.25/1869.84 c #Conflicts: 675000 | #Constraints: 82334
1865.25/1869.84 c #Conflicts: 676000 | #Constraints: 83334
1865.25/1869.84 c #Conflicts: 677000 | #Constraints: 84334
1865.25/1869.84 c #Conflicts: 678000 | #Constraints: 85334
1865.25/1869.84 c #Conflicts: 679000 | #Constraints: 86334
1865.25/1869.84 c #Conflicts: 680000 | #Constraints: 87334
1865.25/1869.84 c #Conflicts: 681000 | #Constraints: 88334
1865.25/1869.84 c #Conflicts: 682000 | #Constraints: 89334
1865.25/1869.84 c #Conflicts: 683000 | #Constraints: 90334
1865.25/1869.84 c #Conflicts: 684000 | #Constraints: 91334
1865.25/1869.84 c #Conflicts: 685000 | #Constraints: 92334
1865.25/1869.84 c #Conflicts: 686000 | #Constraints: 93334
1865.25/1869.84 c #Conflicts: 687000 | #Constraints: 94334
1865.25/1869.84 c #Conflicts: 688000 | #Constraints: 95334
1865.25/1869.84 c INPROCESSING
1865.25/1869.84 c GARBAGE COLLECT
1865.25/1869.84 c rational objective 49
1913.04/1917.72 c #Conflicts: 689000 | #Constraints: 79927
1913.04/1917.72 c #Conflicts: 690000 | #Constraints: 80927
1913.04/1917.72 c #Conflicts: 691000 | #Constraints: 81927
1913.04/1917.72 c #Conflicts: 692000 | #Constraints: 82927
1913.04/1917.72 c #Conflicts: 693000 | #Constraints: 83927
1913.04/1917.72 c #Conflicts: 694000 | #Constraints: 84927
1913.04/1917.72 c #Conflicts: 695000 | #Constraints: 85927
1913.04/1917.72 c #Conflicts: 696000 | #Constraints: 86927
1913.04/1917.72 c #Conflicts: 697000 | #Constraints: 87927
1913.04/1917.72 c #Conflicts: 698000 | #Constraints: 88927
1913.04/1917.72 c #Conflicts: 699000 | #Constraints: 89927
1913.04/1917.72 c #Conflicts: 700000 | #Constraints: 90927
1913.04/1917.72 c #Conflicts: 701000 | #Constraints: 91927
1913.04/1917.72 c #Conflicts: 702000 | #Constraints: 92927
1913.04/1917.72 c #Conflicts: 703000 | #Constraints: 93927
1913.04/1917.72 c #Conflicts: 704000 | #Constraints: 94927
1913.04/1917.72 c #Conflicts: 705000 | #Constraints: 95927
1913.04/1917.72 c INPROCESSING
1913.04/1917.72 c GARBAGE COLLECT
1913.04/1917.72 c rational objective 49
1960.43/1965.24 c #Conflicts: 706000 | #Constraints: 80328
1960.43/1965.24 c #Conflicts: 707000 | #Constraints: 81328
1960.43/1965.24 c #Conflicts: 708000 | #Constraints: 82328
1960.43/1965.24 c #Conflicts: 709000 | #Constraints: 83328
1960.43/1965.24 c #Conflicts: 710000 | #Constraints: 84328
1960.43/1965.24 c #Conflicts: 711000 | #Constraints: 85328
1960.43/1965.24 c #Conflicts: 712000 | #Constraints: 86328
1960.43/1965.24 c #Conflicts: 713000 | #Constraints: 87328
1960.43/1965.24 c #Conflicts: 714000 | #Constraints: 88328
1960.43/1965.24 c #Conflicts: 715000 | #Constraints: 89328
1960.43/1965.24 c #Conflicts: 716000 | #Constraints: 90328
1960.43/1965.24 c #Conflicts: 717000 | #Constraints: 91328
1960.43/1965.24 c #Conflicts: 718000 | #Constraints: 92328
1960.43/1965.24 c #Conflicts: 719000 | #Constraints: 93328
1960.43/1965.24 c #Conflicts: 720000 | #Constraints: 94328
1960.43/1965.24 c #Conflicts: 721000 | #Constraints: 95328
1960.43/1965.24 c #Conflicts: 722000 | #Constraints: 96328
1960.43/1965.24 c INPROCESSING
1960.43/1965.24 c GARBAGE COLLECT
1960.43/1965.24 c rational objective 49
1986.07/1990.91 c #Conflicts: 723000 | #Constraints: 80575
1986.07/1990.91 c #Conflicts: 724000 | #Constraints: 81575
1986.07/1990.91 c #Conflicts: 725000 | #Constraints: 82575
1986.07/1990.91 c #Conflicts: 726000 | #Constraints: 83575
1986.07/1990.91 c #Conflicts: 727000 | #Constraints: 84575
1986.07/1990.91 c #Conflicts: 728000 | #Constraints: 85575
1986.07/1990.91 c #Conflicts: 729000 | #Constraints: 86575
1986.07/1990.91 c #Conflicts: 730000 | #Constraints: 87575
1986.07/1990.91 c #Conflicts: 731000 | #Constraints: 88575
1986.07/1990.91 c #Conflicts: 732000 | #Constraints: 89575
1986.07/1990.91 c #Conflicts: 733000 | #Constraints: 90575
1986.07/1990.91 c #Conflicts: 734000 | #Constraints: 91575
1986.07/1990.91 c #Conflicts: 735000 | #Constraints: 92575
1986.07/1990.91 c #Conflicts: 736000 | #Constraints: 93575
1986.07/1990.91 c #Conflicts: 737000 | #Constraints: 94575
1986.07/1990.91 c #Conflicts: 738000 | #Constraints: 95575
1986.07/1990.91 c #Conflicts: 739000 | #Constraints: 96575
1986.07/1990.91 c INPROCESSING
1986.07/1990.91 c GARBAGE COLLECT
1986.07/1990.91 c rational objective 49
2021.20/2026.18 c #Conflicts: 740000 | #Constraints: 80560
2021.20/2026.18 c #Conflicts: 741000 | #Constraints: 81560
2021.20/2026.18 c #Conflicts: 742000 | #Constraints: 82560
2021.20/2026.18 c #Conflicts: 743000 | #Constraints: 83560
2021.20/2026.18 c #Conflicts: 744000 | #Constraints: 84560
2021.20/2026.18 c #Conflicts: 745000 | #Constraints: 85560
2021.20/2026.18 c #Conflicts: 746000 | #Constraints: 86560
2021.20/2026.18 c #Conflicts: 747000 | #Constraints: 87560
2021.20/2026.18 c #Conflicts: 748000 | #Constraints: 88560
2021.20/2026.18 c #Conflicts: 749000 | #Constraints: 89560
2021.20/2026.18 c #Conflicts: 750000 | #Constraints: 90560
2021.20/2026.18 c #Conflicts: 751000 | #Constraints: 91560
2021.20/2026.18 c #Conflicts: 752000 | #Constraints: 92560
2021.20/2026.18 c #Conflicts: 753000 | #Constraints: 93560
2021.20/2026.18 c #Conflicts: 754000 | #Constraints: 94560
2021.20/2026.18 c #Conflicts: 755000 | #Constraints: 95560
2021.20/2026.18 c #Conflicts: 756000 | #Constraints: 96560
2021.20/2026.18 c INPROCESSING
2021.20/2026.18 c GARBAGE COLLECT
2021.20/2026.18 c rational objective 49
2052.91/2057.98 c #Conflicts: 757000 | #Constraints: 80346
2052.91/2057.98 c #Conflicts: 758000 | #Constraints: 81346
2052.91/2057.98 c #Conflicts: 759000 | #Constraints: 82346
2052.91/2057.98 c #Conflicts: 760000 | #Constraints: 83346
2052.91/2057.98 c #Conflicts: 761000 | #Constraints: 84346
2052.91/2057.98 c #Conflicts: 762000 | #Constraints: 85346
2052.91/2057.98 c #Conflicts: 763000 | #Constraints: 86346
2052.91/2057.98 c #Conflicts: 764000 | #Constraints: 87346
2052.91/2057.98 c #Conflicts: 765000 | #Constraints: 88346
2052.91/2057.98 c #Conflicts: 766000 | #Constraints: 89346
2052.91/2057.98 c #Conflicts: 767000 | #Constraints: 90346
2052.91/2057.98 c #Conflicts: 768000 | #Constraints: 91346
2052.91/2057.98 c #Conflicts: 769000 | #Constraints: 92346
2052.91/2057.98 c #Conflicts: 770000 | #Constraints: 93346
2052.91/2057.98 c #Conflicts: 771000 | #Constraints: 94346
2052.91/2057.98 c #Conflicts: 772000 | #Constraints: 95346
2052.91/2057.98 c #Conflicts: 773000 | #Constraints: 96346
2052.91/2057.98 c #Conflicts: 774000 | #Constraints: 97346
2052.91/2057.98 c INPROCESSING
2052.91/2057.98 c GARBAGE COLLECT
2052.91/2057.98 c rational objective 49
2103.90/2109.07 c #Conflicts: 775000 | #Constraints: 80941
2103.90/2109.07 c #Conflicts: 776000 | #Constraints: 81941
2103.90/2109.07 c #Conflicts: 777000 | #Constraints: 82941
2103.90/2109.07 c #Conflicts: 778000 | #Constraints: 83941
2103.90/2109.07 c #Conflicts: 779000 | #Constraints: 84941
2103.90/2109.07 c #Conflicts: 780000 | #Constraints: 85941
2103.90/2109.07 c #Conflicts: 781000 | #Constraints: 86941
2103.90/2109.07 c #Conflicts: 782000 | #Constraints: 87941
2103.90/2109.07 c #Conflicts: 783000 | #Constraints: 88941
2103.90/2109.07 c #Conflicts: 784000 | #Constraints: 89941
2103.90/2109.07 c #Conflicts: 785000 | #Constraints: 90941
2103.90/2109.07 c #Conflicts: 786000 | #Constraints: 91941
2103.90/2109.07 c #Conflicts: 787000 | #Constraints: 92941
2103.90/2109.07 c #Conflicts: 788000 | #Constraints: 93941
2103.90/2109.07 c #Conflicts: 789000 | #Constraints: 94941
2103.90/2109.07 c #Conflicts: 790000 | #Constraints: 95941
2103.90/2109.07 c #Conflicts: 791000 | #Constraints: 96941
2103.90/2109.07 c #Conflicts: 792000 | #Constraints: 97941
2103.90/2109.07 c INPROCESSING
2103.90/2109.07 c GARBAGE COLLECT
2103.90/2109.07 c rational objective 49
2148.17/2153.42 c #Conflicts: 793000 | #Constraints: 81362
2148.17/2153.42 c #Conflicts: 794000 | #Constraints: 82362
2148.17/2153.42 c #Conflicts: 795000 | #Constraints: 83362
2148.17/2153.42 c #Conflicts: 796000 | #Constraints: 84362
2148.17/2153.42 c #Conflicts: 797000 | #Constraints: 85362
2148.17/2153.42 c #Conflicts: 798000 | #Constraints: 86362
2148.17/2153.42 c #Conflicts: 799000 | #Constraints: 87362
2148.17/2153.42 c #Conflicts: 800000 | #Constraints: 88362
2148.17/2153.42 c #Conflicts: 801000 | #Constraints: 89362
2148.17/2153.42 c #Conflicts: 802000 | #Constraints: 90362
2148.17/2153.42 c #Conflicts: 803000 | #Constraints: 91362
2148.17/2153.42 c #Conflicts: 804000 | #Constraints: 92362
2148.17/2153.42 c #Conflicts: 805000 | #Constraints: 93362
2148.17/2153.42 c #Conflicts: 806000 | #Constraints: 94362
2148.17/2153.42 c #Conflicts: 807000 | #Constraints: 95362
2148.17/2153.42 c #Conflicts: 808000 | #Constraints: 96362
2148.17/2153.42 c #Conflicts: 809000 | #Constraints: 97362
2148.17/2153.42 c #Conflicts: 810000 | #Constraints: 98362
2148.17/2153.42 c INPROCESSING
2148.17/2153.42 c GARBAGE COLLECT
2148.17/2153.42 c rational objective 49
2175.20/2180.56 c #Conflicts: 811000 | #Constraints: 81546
2175.20/2180.56 c #Conflicts: 812000 | #Constraints: 82546
2175.20/2180.56 c #Conflicts: 813000 | #Constraints: 83546
2175.20/2180.56 c #Conflicts: 814000 | #Constraints: 84546
2175.20/2180.56 c #Conflicts: 815000 | #Constraints: 85546
2175.20/2180.56 c #Conflicts: 816000 | #Constraints: 86546
2175.20/2180.56 c #Conflicts: 817000 | #Constraints: 87546
2175.20/2180.56 c #Conflicts: 818000 | #Constraints: 88546
2175.20/2180.56 c #Conflicts: 819000 | #Constraints: 89546
2175.20/2180.56 c #Conflicts: 820000 | #Constraints: 90546
2175.20/2180.56 c #Conflicts: 821000 | #Constraints: 91546
2175.20/2180.56 c #Conflicts: 822000 | #Constraints: 92546
2175.20/2180.56 c #Conflicts: 823000 | #Constraints: 93546
2175.20/2180.56 c #Conflicts: 824000 | #Constraints: 94546
2175.20/2180.56 c #Conflicts: 825000 | #Constraints: 95546
2175.20/2180.56 c #Conflicts: 826000 | #Constraints: 96546
2175.20/2180.56 c #Conflicts: 827000 | #Constraints: 97546
2175.20/2180.56 c #Conflicts: 828000 | #Constraints: 98546
2175.20/2180.56 c INPROCESSING
2175.20/2180.56 c GARBAGE COLLECT
2175.20/2180.56 c rational objective 49
2221.77/2227.24 c #Conflicts: 829000 | #Constraints: 81542
2221.77/2227.24 c #Conflicts: 830000 | #Constraints: 82542
2221.77/2227.24 c #Conflicts: 831000 | #Constraints: 83542
2221.77/2227.24 c #Conflicts: 832000 | #Constraints: 84542
2221.77/2227.24 c #Conflicts: 833000 | #Constraints: 85542
2221.77/2227.24 c #Conflicts: 834000 | #Constraints: 86542
2221.77/2227.24 c #Conflicts: 835000 | #Constraints: 87542
2221.77/2227.24 c #Conflicts: 836000 | #Constraints: 88542
2221.77/2227.24 c #Conflicts: 837000 | #Constraints: 89542
2221.77/2227.24 c #Conflicts: 838000 | #Constraints: 90542
2221.77/2227.24 c #Conflicts: 839000 | #Constraints: 91542
2221.77/2227.24 c #Conflicts: 840000 | #Constraints: 92542
2221.77/2227.24 c #Conflicts: 841000 | #Constraints: 93542
2221.77/2227.24 c #Conflicts: 842000 | #Constraints: 94542
2221.77/2227.24 c #Conflicts: 843000 | #Constraints: 95542
2221.77/2227.24 c #Conflicts: 844000 | #Constraints: 96542
2221.77/2227.24 c #Conflicts: 845000 | #Constraints: 97542
2221.77/2227.24 c #Conflicts: 846000 | #Constraints: 98542
2221.77/2227.24 c INPROCESSING
2221.77/2227.24 c GARBAGE COLLECT
2221.77/2227.24 c rational objective 49
2277.11/2282.70 c #Conflicts: 847000 | #Constraints: 81353
2277.11/2282.70 c #Conflicts: 848000 | #Constraints: 82353
2277.11/2282.70 c #Conflicts: 849000 | #Constraints: 83353
2277.11/2282.70 c #Conflicts: 850000 | #Constraints: 84353
2277.11/2282.70 c #Conflicts: 851000 | #Constraints: 85353
2277.11/2282.70 c #Conflicts: 852000 | #Constraints: 86353
2277.11/2282.70 c #Conflicts: 853000 | #Constraints: 87353
2277.11/2282.70 c #Conflicts: 854000 | #Constraints: 88353
2277.11/2282.70 c #Conflicts: 855000 | #Constraints: 89353
2277.11/2282.70 c #Conflicts: 856000 | #Constraints: 90353
2277.11/2282.70 c #Conflicts: 857000 | #Constraints: 91353
2277.11/2282.70 c #Conflicts: 858000 | #Constraints: 92353
2277.11/2282.70 c #Conflicts: 859000 | #Constraints: 93353
2277.11/2282.70 c #Conflicts: 860000 | #Constraints: 94353
2277.11/2282.70 c #Conflicts: 861000 | #Constraints: 95353
2277.11/2282.70 c #Conflicts: 862000 | #Constraints: 96353
2277.11/2282.70 c #Conflicts: 863000 | #Constraints: 97353
2277.11/2282.70 c #Conflicts: 864000 | #Constraints: 98353
2277.11/2282.70 c #Conflicts: 865000 | #Constraints: 99353
2277.11/2282.70 c INPROCESSING
2277.11/2282.70 c GARBAGE COLLECT
2277.11/2282.70 c rational objective 49
2323.88/2329.63 c #Conflicts: 866000 | #Constraints: 81975
2323.88/2329.63 c #Conflicts: 867000 | #Constraints: 82975
2323.88/2329.63 c #Conflicts: 868000 | #Constraints: 83975
2323.88/2329.63 c #Conflicts: 869000 | #Constraints: 84975
2323.88/2329.63 c #Conflicts: 870000 | #Constraints: 85975
2323.88/2329.63 c #Conflicts: 871000 | #Constraints: 86975
2323.88/2329.63 c #Conflicts: 872000 | #Constraints: 87975
2323.88/2329.63 c #Conflicts: 873000 | #Constraints: 88975
2323.88/2329.63 c #Conflicts: 874000 | #Constraints: 89975
2323.88/2329.63 c #Conflicts: 875000 | #Constraints: 90975
2323.88/2329.63 c #Conflicts: 876000 | #Constraints: 91975
2323.88/2329.63 c #Conflicts: 877000 | #Constraints: 92975
2323.88/2329.63 c #Conflicts: 878000 | #Constraints: 93975
2323.88/2329.63 c #Conflicts: 879000 | #Constraints: 94975
2323.88/2329.63 c #Conflicts: 880000 | #Constraints: 95975
2323.88/2329.63 c #Conflicts: 881000 | #Constraints: 96975
2323.88/2329.63 c #Conflicts: 882000 | #Constraints: 97975
2323.88/2329.63 c #Conflicts: 883000 | #Constraints: 98975
2323.88/2329.63 c #Conflicts: 884000 | #Constraints: 99975
2323.88/2329.63 c INPROCESSING
2323.88/2329.63 c GARBAGE COLLECT
2323.88/2329.63 c rational objective 49
2372.94/2378.84 c #Conflicts: 885000 | #Constraints: 82357
2372.94/2378.84 c #Conflicts: 886000 | #Constraints: 83357
2372.94/2378.84 c #Conflicts: 887000 | #Constraints: 84357
2372.94/2378.84 c #Conflicts: 888000 | #Constraints: 85357
2372.94/2378.84 c #Conflicts: 889000 | #Constraints: 86357
2372.94/2378.84 c #Conflicts: 890000 | #Constraints: 87357
2372.94/2378.84 c #Conflicts: 891000 | #Constraints: 88357
2372.94/2378.84 c #Conflicts: 892000 | #Constraints: 89357
2372.94/2378.84 c #Conflicts: 893000 | #Constraints: 90357
2372.94/2378.84 c #Conflicts: 894000 | #Constraints: 91357
2372.94/2378.84 c #Conflicts: 895000 | #Constraints: 92357
2372.94/2378.84 c #Conflicts: 896000 | #Constraints: 93357
2372.94/2378.84 c #Conflicts: 897000 | #Constraints: 94357
2372.94/2378.84 c #Conflicts: 898000 | #Constraints: 95357
2372.94/2378.84 c #Conflicts: 899000 | #Constraints: 96357
2372.94/2378.84 c #Conflicts: 900000 | #Constraints: 97357
2372.94/2378.84 c #Conflicts: 901000 | #Constraints: 98357
2372.94/2378.84 c #Conflicts: 902000 | #Constraints: 99357
2372.94/2378.84 c #Conflicts: 903000 | #Constraints: 100357
2372.94/2378.84 c INPROCESSING
2372.94/2378.84 c GARBAGE COLLECT
2372.94/2378.84 c rational objective 49
2421.91/2427.99 c #Conflicts: 904000 | #Constraints: 82556
2421.91/2427.99 c #Conflicts: 905000 | #Constraints: 83556
2421.91/2427.99 c #Conflicts: 906000 | #Constraints: 84556
2421.91/2427.99 c #Conflicts: 907000 | #Constraints: 85556
2421.91/2427.99 c #Conflicts: 908000 | #Constraints: 86556
2421.91/2427.99 c #Conflicts: 909000 | #Constraints: 87556
2421.91/2427.99 c #Conflicts: 910000 | #Constraints: 88556
2421.91/2427.99 c #Conflicts: 911000 | #Constraints: 89556
2421.91/2427.99 c #Conflicts: 912000 | #Constraints: 90556
2421.91/2427.99 c #Conflicts: 913000 | #Constraints: 91556
2421.91/2427.99 c #Conflicts: 914000 | #Constraints: 92556
2421.91/2427.99 c #Conflicts: 915000 | #Constraints: 93556
2421.91/2427.99 c #Conflicts: 916000 | #Constraints: 94556
2421.91/2427.99 c #Conflicts: 917000 | #Constraints: 95556
2421.91/2427.99 c #Conflicts: 918000 | #Constraints: 96556
2421.91/2427.99 c #Conflicts: 919000 | #Constraints: 97556
2421.91/2427.99 c #Conflicts: 920000 | #Constraints: 98556
2421.91/2427.99 c #Conflicts: 921000 | #Constraints: 99556
2421.91/2427.99 c #Conflicts: 922000 | #Constraints: 100556
2421.91/2427.99 c INPROCESSING
2421.91/2427.99 c GARBAGE COLLECT
2421.91/2427.99 c rational objective 49
2456.71/2462.86 c #Conflicts: 923000 | #Constraints: 82577
2456.71/2462.86 c #Conflicts: 924000 | #Constraints: 83577
2456.71/2462.86 c #Conflicts: 925000 | #Constraints: 84577
2456.71/2462.86 c #Conflicts: 926000 | #Constraints: 85577
2456.71/2462.86 c #Conflicts: 927000 | #Constraints: 86577
2456.71/2462.86 c #Conflicts: 928000 | #Constraints: 87577
2456.71/2462.86 c #Conflicts: 929000 | #Constraints: 88577
2456.71/2462.86 c #Conflicts: 930000 | #Constraints: 89577
2456.71/2462.86 c #Conflicts: 931000 | #Constraints: 90577
2456.71/2462.86 c #Conflicts: 932000 | #Constraints: 91577
2456.71/2462.86 c #Conflicts: 933000 | #Constraints: 92577
2456.71/2462.86 c #Conflicts: 934000 | #Constraints: 93577
2456.71/2462.86 c #Conflicts: 935000 | #Constraints: 94577
2456.71/2462.86 c #Conflicts: 936000 | #Constraints: 95577
2456.71/2462.86 c #Conflicts: 937000 | #Constraints: 96577
2456.71/2462.86 c #Conflicts: 938000 | #Constraints: 97577
2456.71/2462.86 c #Conflicts: 939000 | #Constraints: 98577
2456.71/2462.86 c #Conflicts: 940000 | #Constraints: 99577
2456.71/2462.86 c #Conflicts: 941000 | #Constraints: 100577
2456.71/2462.86 c INPROCESSING
2456.71/2462.86 c GARBAGE COLLECT
2456.71/2462.86 c rational objective 49
2458.41/2464.55 c #Conflicts: 942000 | #Constraints: 82359
2458.41/2464.55 c #Conflicts: 943000 | #Constraints: 83359
2458.41/2464.55 c #Conflicts: 944000 | #Constraints: 84359
2458.41/2464.55 c #Conflicts: 945000 | #Constraints: 85359
2458.41/2464.55 c bounds 145 >= 51 @ 2446.49
2516.23/2522.54 c #Conflicts: 946000 | #Constraints: 86377
2516.23/2522.54 c #Conflicts: 947000 | #Constraints: 87377
2516.23/2522.54 c #Conflicts: 948000 | #Constraints: 88377
2516.23/2522.54 c #Conflicts: 949000 | #Constraints: 89377
2516.23/2522.54 c #Conflicts: 950000 | #Constraints: 90377
2516.23/2522.54 c #Conflicts: 951000 | #Constraints: 91377
2516.23/2522.54 c #Conflicts: 952000 | #Constraints: 92377
2516.23/2522.54 c #Conflicts: 953000 | #Constraints: 93377
2516.23/2522.54 c #Conflicts: 954000 | #Constraints: 94377
2516.23/2522.54 c #Conflicts: 955000 | #Constraints: 95377
2516.23/2522.54 c #Conflicts: 956000 | #Constraints: 96377
2516.23/2522.54 c #Conflicts: 957000 | #Constraints: 97377
2516.23/2522.54 c #Conflicts: 958000 | #Constraints: 98377
2516.23/2522.54 c #Conflicts: 959000 | #Constraints: 99377
2516.23/2522.54 c #Conflicts: 960000 | #Constraints: 100377
2516.23/2522.54 c #Conflicts: 961000 | #Constraints: 101377
2516.23/2522.54 c INPROCESSING
2516.23/2522.54 c GARBAGE COLLECT
2516.23/2522.54 c rational objective 51
2573.47/2579.97 c #Conflicts: 962000 | #Constraints: 82997
2573.47/2579.97 c #Conflicts: 963000 | #Constraints: 83997
2573.47/2579.97 c #Conflicts: 964000 | #Constraints: 84997
2573.47/2579.97 c #Conflicts: 965000 | #Constraints: 85997
2573.47/2579.97 c #Conflicts: 966000 | #Constraints: 86997
2573.47/2579.97 c #Conflicts: 967000 | #Constraints: 87997
2573.47/2579.97 c #Conflicts: 968000 | #Constraints: 88997
2573.47/2579.97 c #Conflicts: 969000 | #Constraints: 89997
2573.47/2579.97 c #Conflicts: 970000 | #Constraints: 90997
2573.47/2579.97 c #Conflicts: 971000 | #Constraints: 91997
2573.47/2579.97 c #Conflicts: 972000 | #Constraints: 92997
2573.47/2579.97 c #Conflicts: 973000 | #Constraints: 93997
2573.47/2579.97 c #Conflicts: 974000 | #Constraints: 94997
2573.47/2579.97 c #Conflicts: 975000 | #Constraints: 95997
2573.47/2579.97 c #Conflicts: 976000 | #Constraints: 96997
2573.47/2579.97 c #Conflicts: 977000 | #Constraints: 97997
2573.47/2579.97 c #Conflicts: 978000 | #Constraints: 98997
2573.47/2579.97 c #Conflicts: 979000 | #Constraints: 99997
2573.47/2579.97 c #Conflicts: 980000 | #Constraints: 100997
2573.47/2579.97 c #Conflicts: 981000 | #Constraints: 101997
2573.47/2579.97 c INPROCESSING
2573.47/2579.97 c GARBAGE COLLECT
2573.47/2579.97 c rational objective 51
2618.55/2625.11 c #Conflicts: 982000 | #Constraints: 83366
2618.55/2625.11 c #Conflicts: 983000 | #Constraints: 84366
2618.55/2625.11 c #Conflicts: 984000 | #Constraints: 85366
2618.55/2625.11 c #Conflicts: 985000 | #Constraints: 86366
2618.55/2625.11 c #Conflicts: 986000 | #Constraints: 87366
2618.55/2625.11 c #Conflicts: 987000 | #Constraints: 88366
2618.55/2625.11 c #Conflicts: 988000 | #Constraints: 89366
2618.55/2625.11 c #Conflicts: 989000 | #Constraints: 90366
2618.55/2625.11 c #Conflicts: 990000 | #Constraints: 91366
2618.55/2625.11 c #Conflicts: 991000 | #Constraints: 92366
2618.55/2625.11 c #Conflicts: 992000 | #Constraints: 93366
2618.55/2625.11 c #Conflicts: 993000 | #Constraints: 94366
2618.55/2625.11 c #Conflicts: 994000 | #Constraints: 95366
2618.55/2625.11 c #Conflicts: 995000 | #Constraints: 96366
2618.55/2625.11 c #Conflicts: 996000 | #Constraints: 97366
2618.55/2625.11 c #Conflicts: 997000 | #Constraints: 98366
2618.55/2625.11 c #Conflicts: 998000 | #Constraints: 99366
2618.55/2625.11 c #Conflicts: 999000 | #Constraints: 100366
2618.55/2625.11 c #Conflicts: 1000000 | #Constraints: 101366
2618.55/2625.11 c #Conflicts: 1001000 | #Constraints: 102366
2618.55/2625.11 c INPROCESSING
2618.55/2625.11 c GARBAGE COLLECT
2618.55/2625.11 c rational objective 51
2668.40/2675.10 c #Conflicts: 1002000 | #Constraints: 83557
2668.40/2675.10 c #Conflicts: 1003000 | #Constraints: 84557
2668.40/2675.10 c #Conflicts: 1004000 | #Constraints: 85557
2668.40/2675.10 c #Conflicts: 1005000 | #Constraints: 86557
2668.40/2675.10 c #Conflicts: 1006000 | #Constraints: 87557
2668.40/2675.10 c #Conflicts: 1007000 | #Constraints: 88557
2668.40/2675.10 c #Conflicts: 1008000 | #Constraints: 89557
2668.40/2675.10 c #Conflicts: 1009000 | #Constraints: 90557
2668.40/2675.10 c #Conflicts: 1010000 | #Constraints: 91557
2668.40/2675.10 c #Conflicts: 1011000 | #Constraints: 92557
2668.40/2675.10 c #Conflicts: 1012000 | #Constraints: 93557
2668.40/2675.10 c #Conflicts: 1013000 | #Constraints: 94557
2668.40/2675.10 c #Conflicts: 1014000 | #Constraints: 95557
2668.40/2675.10 c #Conflicts: 1015000 | #Constraints: 96557
2668.40/2675.10 c #Conflicts: 1016000 | #Constraints: 97557
2668.40/2675.10 c #Conflicts: 1017000 | #Constraints: 98557
2668.40/2675.10 c #Conflicts: 1018000 | #Constraints: 99557
2668.40/2675.10 c #Conflicts: 1019000 | #Constraints: 100557
2668.40/2675.10 c #Conflicts: 1020000 | #Constraints: 101557
2668.40/2675.10 c #Conflicts: 1021000 | #Constraints: 102557
2668.40/2675.10 c INPROCESSING
2668.40/2675.10 c GARBAGE COLLECT
2668.40/2675.10 c rational objective 51
2718.86/2725.79 c #Conflicts: 1022000 | #Constraints: 83554
2718.86/2725.79 c #Conflicts: 1023000 | #Constraints: 84554
2718.86/2725.79 c #Conflicts: 1024000 | #Constraints: 85554
2718.86/2725.79 c #Conflicts: 1025000 | #Constraints: 86554
2718.86/2725.79 c #Conflicts: 1026000 | #Constraints: 87554
2718.86/2725.79 c #Conflicts: 1027000 | #Constraints: 88554
2718.86/2725.79 c #Conflicts: 1028000 | #Constraints: 89554
2718.86/2725.79 c #Conflicts: 1029000 | #Constraints: 90554
2718.86/2725.79 c #Conflicts: 1030000 | #Constraints: 91554
2718.86/2725.79 c #Conflicts: 1031000 | #Constraints: 92554
2718.86/2725.79 c #Conflicts: 1032000 | #Constraints: 93554
2718.86/2725.79 c #Conflicts: 1033000 | #Constraints: 94554
2718.86/2725.79 c #Conflicts: 1034000 | #Constraints: 95554
2718.86/2725.79 c #Conflicts: 1035000 | #Constraints: 96554
2718.86/2725.79 c #Conflicts: 1036000 | #Constraints: 97554
2718.86/2725.79 c #Conflicts: 1037000 | #Constraints: 98554
2718.86/2725.79 c #Conflicts: 1038000 | #Constraints: 99554
2718.86/2725.79 c #Conflicts: 1039000 | #Constraints: 100554
2718.86/2725.79 c #Conflicts: 1040000 | #Constraints: 101554
2718.86/2725.79 c #Conflicts: 1041000 | #Constraints: 102554
2718.86/2725.79 c INPROCESSING
2718.86/2725.79 c GARBAGE COLLECT
2718.86/2725.79 c rational objective 51
2778.09/2785.15 c #Conflicts: 1042000 | #Constraints: 83350
2778.09/2785.15 c #Conflicts: 1043000 | #Constraints: 84350
2778.09/2785.15 c #Conflicts: 1044000 | #Constraints: 85350
2778.09/2785.15 c #Conflicts: 1045000 | #Constraints: 86350
2778.09/2785.15 c #Conflicts: 1046000 | #Constraints: 87350
2778.09/2785.15 c #Conflicts: 1047000 | #Constraints: 88350
2778.09/2785.15 c #Conflicts: 1048000 | #Constraints: 89350
2778.09/2785.15 c #Conflicts: 1049000 | #Constraints: 90350
2778.09/2785.15 c #Conflicts: 1050000 | #Constraints: 91350
2778.09/2785.15 c #Conflicts: 1051000 | #Constraints: 92350
2778.09/2785.15 c #Conflicts: 1052000 | #Constraints: 93350
2778.09/2785.15 c #Conflicts: 1053000 | #Constraints: 94350
2778.09/2785.15 c #Conflicts: 1054000 | #Constraints: 95350
2778.09/2785.15 c #Conflicts: 1055000 | #Constraints: 96350
2778.09/2785.15 c #Conflicts: 1056000 | #Constraints: 97350
2778.09/2785.15 c #Conflicts: 1057000 | #Constraints: 98350
2778.09/2785.15 c #Conflicts: 1058000 | #Constraints: 99350
2778.09/2785.15 c #Conflicts: 1059000 | #Constraints: 100350
2778.09/2785.15 c #Conflicts: 1060000 | #Constraints: 101350
2778.09/2785.15 c #Conflicts: 1061000 | #Constraints: 102350
2778.09/2785.16 c #Conflicts: 1062000 | #Constraints: 103350
2778.09/2785.16 c INPROCESSING
2778.09/2785.16 c GARBAGE COLLECT
2778.09/2785.16 c rational objective 51
2824.86/2832.10 c #Conflicts: 1063000 | #Constraints: 83943
2824.86/2832.10 c #Conflicts: 1064000 | #Constraints: 84943
2824.86/2832.10 c #Conflicts: 1065000 | #Constraints: 85943
2824.86/2832.10 c #Conflicts: 1066000 | #Constraints: 86943
2824.86/2832.10 c #Conflicts: 1067000 | #Constraints: 87943
2824.86/2832.10 c #Conflicts: 1068000 | #Constraints: 88943
2824.86/2832.10 c #Conflicts: 1069000 | #Constraints: 89943
2824.86/2832.10 c #Conflicts: 1070000 | #Constraints: 90943
2824.86/2832.10 c #Conflicts: 1071000 | #Constraints: 91943
2824.86/2832.10 c #Conflicts: 1072000 | #Constraints: 92943
2824.86/2832.10 c #Conflicts: 1073000 | #Constraints: 93943
2824.86/2832.10 c #Conflicts: 1074000 | #Constraints: 94943
2824.86/2832.10 c #Conflicts: 1075000 | #Constraints: 95943
2824.86/2832.10 c #Conflicts: 1076000 | #Constraints: 96943
2824.86/2832.10 c #Conflicts: 1077000 | #Constraints: 97943
2824.86/2832.10 c #Conflicts: 1078000 | #Constraints: 98943
2824.86/2832.10 c #Conflicts: 1079000 | #Constraints: 99943
2824.86/2832.10 c #Conflicts: 1080000 | #Constraints: 100943
2824.86/2832.10 c #Conflicts: 1081000 | #Constraints: 101943
2824.86/2832.10 c #Conflicts: 1082000 | #Constraints: 102943
2824.86/2832.10 c #Conflicts: 1083000 | #Constraints: 103943
2824.86/2832.10 c INPROCESSING
2824.86/2832.10 c GARBAGE COLLECT
2824.86/2832.10 c rational objective 51
2885.19/2892.51 c #Conflicts: 1084000 | #Constraints: 84345
2885.19/2892.51 c #Conflicts: 1085000 | #Constraints: 85345
2885.19/2892.51 c #Conflicts: 1086000 | #Constraints: 86345
2885.19/2892.51 c #Conflicts: 1087000 | #Constraints: 87345
2885.19/2892.51 c #Conflicts: 1088000 | #Constraints: 88345
2885.19/2892.51 c #Conflicts: 1089000 | #Constraints: 89345
2885.19/2892.51 c #Conflicts: 1090000 | #Constraints: 90345
2885.19/2892.51 c #Conflicts: 1091000 | #Constraints: 91345
2885.19/2892.51 c #Conflicts: 1092000 | #Constraints: 92345
2885.19/2892.51 c #Conflicts: 1093000 | #Constraints: 93345
2885.19/2892.51 c #Conflicts: 1094000 | #Constraints: 94345
2885.19/2892.51 c #Conflicts: 1095000 | #Constraints: 95345
2885.19/2892.51 c #Conflicts: 1096000 | #Constraints: 96345
2885.19/2892.51 c #Conflicts: 1097000 | #Constraints: 97345
2885.19/2892.51 c #Conflicts: 1098000 | #Constraints: 98345
2885.19/2892.51 c #Conflicts: 1099000 | #Constraints: 99345
2885.19/2892.51 c #Conflicts: 1100000 | #Constraints: 100345
2885.19/2892.51 c #Conflicts: 1101000 | #Constraints: 101345
2885.19/2892.51 c #Conflicts: 1102000 | #Constraints: 102345
2885.19/2892.51 c #Conflicts: 1103000 | #Constraints: 103345
2885.19/2892.51 c #Conflicts: 1104000 | #Constraints: 104345
2885.19/2892.51 c INPROCESSING
2885.19/2892.51 c GARBAGE COLLECT
2885.19/2892.51 c rational objective 51
2933.55/2941.09 c #Conflicts: 1105000 | #Constraints: 84544
2933.55/2941.09 c #Conflicts: 1106000 | #Constraints: 85544
2933.55/2941.09 c #Conflicts: 1107000 | #Constraints: 86544
2933.55/2941.09 c #Conflicts: 1108000 | #Constraints: 87544
2933.55/2941.09 c #Conflicts: 1109000 | #Constraints: 88544
2933.55/2941.09 c #Conflicts: 1110000 | #Constraints: 89544
2933.55/2941.09 c #Conflicts: 1111000 | #Constraints: 90544
2933.55/2941.09 c #Conflicts: 1112000 | #Constraints: 91544
2933.55/2941.09 c #Conflicts: 1113000 | #Constraints: 92544
2933.55/2941.09 c #Conflicts: 1114000 | #Constraints: 93544
2933.55/2941.09 c #Conflicts: 1115000 | #Constraints: 94544
2933.55/2941.09 c #Conflicts: 1116000 | #Constraints: 95544
2933.55/2941.09 c #Conflicts: 1117000 | #Constraints: 96544
2933.55/2941.09 c #Conflicts: 1118000 | #Constraints: 97544
2933.55/2941.09 c #Conflicts: 1119000 | #Constraints: 98544
2933.55/2941.09 c #Conflicts: 1120000 | #Constraints: 99544
2933.55/2941.09 c #Conflicts: 1121000 | #Constraints: 100544
2933.55/2941.09 c #Conflicts: 1122000 | #Constraints: 101544
2933.55/2941.09 c #Conflicts: 1123000 | #Constraints: 102544
2933.55/2941.09 c #Conflicts: 1124000 | #Constraints: 103544
2933.55/2941.09 c #Conflicts: 1125000 | #Constraints: 104544
2933.55/2941.09 c INPROCESSING
2933.55/2941.09 c GARBAGE COLLECT
2933.55/2941.09 c rational objective 51
2967.35/2974.90 c #Conflicts: 1126000 | #Constraints: 84563
2967.35/2974.90 c #Conflicts: 1127000 | #Constraints: 85563
2967.35/2974.90 c #Conflicts: 1128000 | #Constraints: 86563
2967.35/2974.90 c #Conflicts: 1129000 | #Constraints: 87563
2967.35/2974.90 c #Conflicts: 1130000 | #Constraints: 88563
2967.35/2974.90 c #Conflicts: 1131000 | #Constraints: 89563
2967.35/2974.90 c #Conflicts: 1132000 | #Constraints: 90563
2967.35/2974.90 c #Conflicts: 1133000 | #Constraints: 91563
2967.35/2974.90 c #Conflicts: 1134000 | #Constraints: 92563
2967.35/2974.90 c #Conflicts: 1135000 | #Constraints: 93563
2967.35/2974.90 c #Conflicts: 1136000 | #Constraints: 94563
2967.35/2974.90 c #Conflicts: 1137000 | #Constraints: 95563
2967.35/2974.90 c #Conflicts: 1138000 | #Constraints: 96563
2967.35/2974.90 c #Conflicts: 1139000 | #Constraints: 97563
2967.35/2974.90 c #Conflicts: 1140000 | #Constraints: 98563
2967.35/2974.90 c #Conflicts: 1141000 | #Constraints: 99563
2967.35/2974.90 c #Conflicts: 1142000 | #Constraints: 100563
2967.35/2974.90 c #Conflicts: 1143000 | #Constraints: 101563
2967.35/2974.90 c #Conflicts: 1144000 | #Constraints: 102563
2967.35/2974.90 c #Conflicts: 1145000 | #Constraints: 103563
2967.35/2974.90 c #Conflicts: 1146000 | #Constraints: 104563
2967.35/2974.90 c INPROCESSING
2967.35/2974.90 c GARBAGE COLLECT
2967.35/2974.90 c rational objective 51
3002.75/3010.49 c #Conflicts: 1147000 | #Constraints: 84360
3002.75/3010.49 c #Conflicts: 1148000 | #Constraints: 85360
3002.75/3010.49 c #Conflicts: 1149000 | #Constraints: 86360
3002.75/3010.49 c #Conflicts: 1150000 | #Constraints: 87360
3002.75/3010.49 c #Conflicts: 1151000 | #Constraints: 88360
3002.75/3010.49 c #Conflicts: 1152000 | #Constraints: 89360
3002.75/3010.49 c #Conflicts: 1153000 | #Constraints: 90360
3002.75/3010.49 c #Conflicts: 1154000 | #Constraints: 91360
3002.75/3010.49 c #Conflicts: 1155000 | #Constraints: 92360
3002.75/3010.49 c #Conflicts: 1156000 | #Constraints: 93360
3002.75/3010.49 c #Conflicts: 1157000 | #Constraints: 94360
3002.75/3010.49 c #Conflicts: 1158000 | #Constraints: 95360
3002.75/3010.49 c #Conflicts: 1159000 | #Constraints: 96360
3002.75/3010.49 c #Conflicts: 1160000 | #Constraints: 97360
3002.75/3010.49 c #Conflicts: 1161000 | #Constraints: 98360
3002.75/3010.49 c #Conflicts: 1162000 | #Constraints: 99360
3002.75/3010.49 c #Conflicts: 1163000 | #Constraints: 100360
3002.75/3010.49 c #Conflicts: 1164000 | #Constraints: 101360
3002.75/3010.49 c #Conflicts: 1165000 | #Constraints: 102360
3002.75/3010.49 c #Conflicts: 1166000 | #Constraints: 103360
3002.75/3010.49 c #Conflicts: 1167000 | #Constraints: 104360
3002.75/3010.49 c #Conflicts: 1168000 | #Constraints: 105360
3002.75/3010.49 c INPROCESSING
3002.75/3010.49 c GARBAGE COLLECT
3002.75/3010.49 c rational objective 51
3057.59/3065.42 c #Conflicts: 1169000 | #Constraints: 84964
3057.59/3065.42 c #Conflicts: 1170000 | #Constraints: 85964
3057.59/3065.42 c #Conflicts: 1171000 | #Constraints: 86964
3057.59/3065.42 c #Conflicts: 1172000 | #Constraints: 87964
3057.59/3065.42 c #Conflicts: 1173000 | #Constraints: 88964
3057.59/3065.42 c #Conflicts: 1174000 | #Constraints: 89964
3057.59/3065.42 c #Conflicts: 1175000 | #Constraints: 90964
3057.59/3065.42 c #Conflicts: 1176000 | #Constraints: 91964
3057.59/3065.42 c #Conflicts: 1177000 | #Constraints: 92964
3057.59/3065.42 c #Conflicts: 1178000 | #Constraints: 93964
3057.59/3065.42 c #Conflicts: 1179000 | #Constraints: 94964
3057.59/3065.42 c #Conflicts: 1180000 | #Constraints: 95964
3057.59/3065.42 c #Conflicts: 1181000 | #Constraints: 96964
3057.59/3065.42 c #Conflicts: 1182000 | #Constraints: 97964
3057.59/3065.42 c #Conflicts: 1183000 | #Constraints: 98964
3057.59/3065.42 c #Conflicts: 1184000 | #Constraints: 99964
3057.59/3065.42 c #Conflicts: 1185000 | #Constraints: 100964
3057.59/3065.42 c #Conflicts: 1186000 | #Constraints: 101964
3057.59/3065.42 c #Conflicts: 1187000 | #Constraints: 102964
3057.59/3065.42 c #Conflicts: 1188000 | #Constraints: 103964
3057.59/3065.42 c #Conflicts: 1189000 | #Constraints: 104964
3057.59/3065.42 c #Conflicts: 1190000 | #Constraints: 105964
3057.59/3065.42 c INPROCESSING
3057.59/3065.42 c GARBAGE COLLECT
3057.59/3065.42 c rational objective 51
3099.27/3107.22 c #Conflicts: 1191000 | #Constraints: 85353
3099.27/3107.22 c #Conflicts: 1192000 | #Constraints: 86353
3099.27/3107.22 c #Conflicts: 1193000 | #Constraints: 87353
3099.27/3107.22 c #Conflicts: 1194000 | #Constraints: 88353
3099.27/3107.22 c #Conflicts: 1195000 | #Constraints: 89353
3099.27/3107.22 c #Conflicts: 1196000 | #Constraints: 90353
3099.27/3107.22 c #Conflicts: 1197000 | #Constraints: 91353
3099.27/3107.22 c #Conflicts: 1198000 | #Constraints: 92353
3099.27/3107.22 c #Conflicts: 1199000 | #Constraints: 93353
3099.27/3107.22 c #Conflicts: 1200000 | #Constraints: 94353
3099.27/3107.22 c #Conflicts: 1201000 | #Constraints: 95353
3099.27/3107.22 c #Conflicts: 1202000 | #Constraints: 96353
3099.27/3107.22 c #Conflicts: 1203000 | #Constraints: 97353
3099.27/3107.22 c #Conflicts: 1204000 | #Constraints: 98353
3099.27/3107.22 c #Conflicts: 1205000 | #Constraints: 99353
3099.27/3107.22 c #Conflicts: 1206000 | #Constraints: 100353
3099.27/3107.22 c #Conflicts: 1207000 | #Constraints: 101353
3099.27/3107.22 c #Conflicts: 1208000 | #Constraints: 102353
3099.27/3107.22 c #Conflicts: 1209000 | #Constraints: 103353
3099.27/3107.22 c #Conflicts: 1210000 | #Constraints: 104353
3099.27/3107.22 c #Conflicts: 1211000 | #Constraints: 105353
3099.27/3107.22 c #Conflicts: 1212000 | #Constraints: 106353
3099.27/3107.22 c INPROCESSING
3099.27/3107.22 c GARBAGE COLLECT
3099.27/3107.22 c rational objective 51
3160.10/3168.23 c #Conflicts: 1213000 | #Constraints: 85551
3160.10/3168.23 c #Conflicts: 1214000 | #Constraints: 86551
3160.10/3168.23 c #Conflicts: 1215000 | #Constraints: 87551
3160.10/3168.23 c #Conflicts: 1216000 | #Constraints: 88551
3160.10/3168.23 c #Conflicts: 1217000 | #Constraints: 89551
3160.10/3168.23 c #Conflicts: 1218000 | #Constraints: 90551
3160.10/3168.23 c #Conflicts: 1219000 | #Constraints: 91551
3160.10/3168.23 c #Conflicts: 1220000 | #Constraints: 92551
3160.10/3168.23 c #Conflicts: 1221000 | #Constraints: 93551
3160.10/3168.23 c #Conflicts: 1222000 | #Constraints: 94551
3160.10/3168.23 c #Conflicts: 1223000 | #Constraints: 95551
3160.10/3168.23 c #Conflicts: 1224000 | #Constraints: 96551
3160.10/3168.23 c #Conflicts: 1225000 | #Constraints: 97551
3160.10/3168.23 c #Conflicts: 1226000 | #Constraints: 98551
3160.10/3168.23 c #Conflicts: 1227000 | #Constraints: 99551
3160.10/3168.23 c #Conflicts: 1228000 | #Constraints: 100551
3160.10/3168.23 c #Conflicts: 1229000 | #Constraints: 101551
3160.10/3168.23 c #Conflicts: 1230000 | #Constraints: 102551
3160.10/3168.23 c #Conflicts: 1231000 | #Constraints: 103551
3160.10/3168.23 c #Conflicts: 1232000 | #Constraints: 104551
3160.10/3168.23 c #Conflicts: 1233000 | #Constraints: 105551
3160.10/3168.23 c #Conflicts: 1234000 | #Constraints: 106551
3160.10/3168.23 c INPROCESSING
3160.10/3168.23 c GARBAGE COLLECT
3160.10/3168.23 c rational objective 51
3204.97/3213.25 c #Conflicts: 1235000 | #Constraints: 85554
3204.97/3213.25 c #Conflicts: 1236000 | #Constraints: 86554
3204.97/3213.25 c #Conflicts: 1237000 | #Constraints: 87554
3204.97/3213.25 c #Conflicts: 1238000 | #Constraints: 88554
3204.97/3213.25 c #Conflicts: 1239000 | #Constraints: 89554
3204.97/3213.25 c #Conflicts: 1240000 | #Constraints: 90554
3204.97/3213.25 c #Conflicts: 1241000 | #Constraints: 91554
3204.97/3213.25 c #Conflicts: 1242000 | #Constraints: 92554
3204.97/3213.25 c #Conflicts: 1243000 | #Constraints: 93554
3204.97/3213.25 c #Conflicts: 1244000 | #Constraints: 94554
3204.97/3213.25 c #Conflicts: 1245000 | #Constraints: 95554
3204.97/3213.25 c #Conflicts: 1246000 | #Constraints: 96554
3204.97/3213.25 c #Conflicts: 1247000 | #Constraints: 97554
3204.97/3213.25 c #Conflicts: 1248000 | #Constraints: 98554
3204.97/3213.25 c #Conflicts: 1249000 | #Constraints: 99554
3204.97/3213.25 c #Conflicts: 1250000 | #Constraints: 100554
3204.97/3213.25 c #Conflicts: 1251000 | #Constraints: 101554
3204.97/3213.25 c #Conflicts: 1252000 | #Constraints: 102554
3204.97/3213.25 c #Conflicts: 1253000 | #Constraints: 103554
3204.97/3213.25 c #Conflicts: 1254000 | #Constraints: 104554
3204.97/3213.25 c #Conflicts: 1255000 | #Constraints: 105554
3204.97/3213.25 c #Conflicts: 1256000 | #Constraints: 106554
3204.97/3213.25 c INPROCESSING
3204.97/3213.25 c GARBAGE COLLECT
3204.97/3213.25 c rational objective 51
3235.59/3243.97 c #Conflicts: 1257000 | #Constraints: 85351
3235.59/3243.97 c #Conflicts: 1258000 | #Constraints: 86351
3235.59/3243.97 c #Conflicts: 1259000 | #Constraints: 87351
3235.59/3243.97 c #Conflicts: 1260000 | #Constraints: 88351
3235.59/3243.97 c #Conflicts: 1261000 | #Constraints: 89351
3235.59/3243.97 c #Conflicts: 1262000 | #Constraints: 90351
3235.59/3243.97 c #Conflicts: 1263000 | #Constraints: 91351
3235.59/3243.97 c #Conflicts: 1264000 | #Constraints: 92351
3235.59/3243.97 c #Conflicts: 1265000 | #Constraints: 93351
3235.59/3243.97 c #Conflicts: 1266000 | #Constraints: 94351
3235.59/3243.97 c #Conflicts: 1267000 | #Constraints: 95351
3235.59/3243.97 c #Conflicts: 1268000 | #Constraints: 96351
3235.59/3243.97 c #Conflicts: 1269000 | #Constraints: 97351
3235.59/3243.97 c #Conflicts: 1270000 | #Constraints: 98351
3235.59/3243.97 c #Conflicts: 1271000 | #Constraints: 99351
3235.59/3243.97 c #Conflicts: 1272000 | #Constraints: 100351
3235.59/3243.97 c #Conflicts: 1273000 | #Constraints: 101351
3235.59/3243.97 c #Conflicts: 1274000 | #Constraints: 102351
3235.59/3243.97 c #Conflicts: 1275000 | #Constraints: 103351
3235.59/3243.97 c #Conflicts: 1276000 | #Constraints: 104351
3235.59/3243.97 c #Conflicts: 1277000 | #Constraints: 105351
3235.59/3243.97 c #Conflicts: 1278000 | #Constraints: 106351
3235.59/3243.97 c #Conflicts: 1279000 | #Constraints: 107351
3235.59/3243.97 c INPROCESSING
3235.59/3243.97 c GARBAGE COLLECT
3235.59/3243.97 c rational objective 51
3283.05/3291.52 c #Conflicts: 1280000 | #Constraints: 85960
3283.05/3291.52 c #Conflicts: 1281000 | #Constraints: 86960
3283.05/3291.52 c #Conflicts: 1282000 | #Constraints: 87960
3283.05/3291.52 c #Conflicts: 1283000 | #Constraints: 88960
3283.05/3291.52 c #Conflicts: 1284000 | #Constraints: 89960
3283.05/3291.52 c #Conflicts: 1285000 | #Constraints: 90960
3283.05/3291.52 c #Conflicts: 1286000 | #Constraints: 91960
3283.05/3291.52 c #Conflicts: 1287000 | #Constraints: 92960
3283.05/3291.52 c #Conflicts: 1288000 | #Constraints: 93960
3283.05/3291.52 c #Conflicts: 1289000 | #Constraints: 94960
3283.05/3291.52 c #Conflicts: 1290000 | #Constraints: 95960
3283.05/3291.52 c #Conflicts: 1291000 | #Constraints: 96960
3283.05/3291.52 c #Conflicts: 1292000 | #Constraints: 97960
3283.05/3291.52 c #Conflicts: 1293000 | #Constraints: 98960
3283.05/3291.52 c #Conflicts: 1294000 | #Constraints: 99960
3283.05/3291.52 c #Conflicts: 1295000 | #Constraints: 100960
3283.05/3291.52 c #Conflicts: 1296000 | #Constraints: 101960
3283.05/3291.52 c #Conflicts: 1297000 | #Constraints: 102960
3283.05/3291.52 c #Conflicts: 1298000 | #Constraints: 103960
3283.05/3291.52 c #Conflicts: 1299000 | #Constraints: 104960
3283.05/3291.52 c #Conflicts: 1300000 | #Constraints: 105960
3283.05/3291.52 c #Conflicts: 1301000 | #Constraints: 106960
3283.05/3291.52 c #Conflicts: 1302000 | #Constraints: 107960
3283.05/3291.52 c INPROCESSING
3283.05/3291.52 c GARBAGE COLLECT
3283.05/3291.52 c rational objective 51
3331.92/3340.56 c #Conflicts: 1303000 | #Constraints: 86358
3331.92/3340.56 c #Conflicts: 1304000 | #Constraints: 87358
3331.92/3340.56 c #Conflicts: 1305000 | #Constraints: 88358
3331.92/3340.56 c #Conflicts: 1306000 | #Constraints: 89358
3331.92/3340.56 c #Conflicts: 1307000 | #Constraints: 90358
3331.92/3340.56 c #Conflicts: 1308000 | #Constraints: 91358
3331.92/3340.56 c #Conflicts: 1309000 | #Constraints: 92358
3331.92/3340.56 c #Conflicts: 1310000 | #Constraints: 93358
3331.92/3340.56 c #Conflicts: 1311000 | #Constraints: 94358
3331.92/3340.56 c #Conflicts: 1312000 | #Constraints: 95358
3331.92/3340.56 c #Conflicts: 1313000 | #Constraints: 96358
3331.92/3340.56 c #Conflicts: 1314000 | #Constraints: 97358
3331.92/3340.56 c #Conflicts: 1315000 | #Constraints: 98358
3331.92/3340.56 c #Conflicts: 1316000 | #Constraints: 99358
3331.92/3340.56 c #Conflicts: 1317000 | #Constraints: 100358
3331.92/3340.56 c #Conflicts: 1318000 | #Constraints: 101358
3331.92/3340.56 c #Conflicts: 1319000 | #Constraints: 102358
3331.92/3340.56 c #Conflicts: 1320000 | #Constraints: 103358
3331.92/3340.56 c #Conflicts: 1321000 | #Constraints: 104358
3331.92/3340.56 c #Conflicts: 1322000 | #Constraints: 105358
3331.92/3340.56 c #Conflicts: 1323000 | #Constraints: 106358
3331.92/3340.56 c #Conflicts: 1324000 | #Constraints: 107358
3331.92/3340.56 c #Conflicts: 1325000 | #Constraints: 108358
3331.92/3340.56 c INPROCESSING
3331.92/3340.56 c GARBAGE COLLECT
3331.92/3340.56 c rational objective 51
3374.89/3383.60 c #Conflicts: 1326000 | #Constraints: 86555
3374.89/3383.60 c #Conflicts: 1327000 | #Constraints: 87555
3374.89/3383.60 c #Conflicts: 1328000 | #Constraints: 88555
3374.89/3383.60 c #Conflicts: 1329000 | #Constraints: 89555
3374.89/3383.60 c #Conflicts: 1330000 | #Constraints: 90555
3374.89/3383.60 c #Conflicts: 1331000 | #Constraints: 91555
3374.89/3383.60 c #Conflicts: 1332000 | #Constraints: 92555
3374.89/3383.60 c #Conflicts: 1333000 | #Constraints: 93555
3374.89/3383.60 c #Conflicts: 1334000 | #Constraints: 94555
3374.89/3383.60 c #Conflicts: 1335000 | #Constraints: 95555
3374.89/3383.60 c #Conflicts: 1336000 | #Constraints: 96555
3374.89/3383.60 c #Conflicts: 1337000 | #Constraints: 97555
3374.89/3383.60 c #Conflicts: 1338000 | #Constraints: 98555
3374.89/3383.60 c #Conflicts: 1339000 | #Constraints: 99555
3374.89/3383.60 c #Conflicts: 1340000 | #Constraints: 100555
3374.89/3383.60 c #Conflicts: 1341000 | #Constraints: 101555
3374.89/3383.60 c #Conflicts: 1342000 | #Constraints: 102555
3374.89/3383.60 c #Conflicts: 1343000 | #Constraints: 103555
3374.89/3383.60 c #Conflicts: 1344000 | #Constraints: 104555
3374.89/3383.60 c #Conflicts: 1345000 | #Constraints: 105555
3374.89/3383.60 c #Conflicts: 1346000 | #Constraints: 106555
3374.89/3383.60 c #Conflicts: 1347000 | #Constraints: 107555
3374.89/3383.60 c #Conflicts: 1348000 | #Constraints: 108555
3374.89/3383.60 c INPROCESSING
3374.89/3383.60 c GARBAGE COLLECT
3374.89/3383.60 c rational objective 51
3420.16/3429.10 c #Conflicts: 1349000 | #Constraints: 86553
3420.16/3429.10 c #Conflicts: 1350000 | #Constraints: 87553
3420.16/3429.10 c #Conflicts: 1351000 | #Constraints: 88553
3420.16/3429.10 c #Conflicts: 1352000 | #Constraints: 89553
3420.16/3429.10 c #Conflicts: 1353000 | #Constraints: 90553
3420.16/3429.10 c #Conflicts: 1354000 | #Constraints: 91553
3420.16/3429.10 c #Conflicts: 1355000 | #Constraints: 92553
3420.16/3429.10 c #Conflicts: 1356000 | #Constraints: 93553
3420.16/3429.10 c #Conflicts: 1357000 | #Constraints: 94553
3420.16/3429.10 c #Conflicts: 1358000 | #Constraints: 95553
3420.16/3429.10 c #Conflicts: 1359000 | #Constraints: 96553
3420.16/3429.10 c #Conflicts: 1360000 | #Constraints: 97553
3420.16/3429.10 c #Conflicts: 1361000 | #Constraints: 98553
3420.16/3429.10 c #Conflicts: 1362000 | #Constraints: 99553
3420.16/3429.10 c #Conflicts: 1363000 | #Constraints: 100553
3420.16/3429.10 c #Conflicts: 1364000 | #Constraints: 101553
3420.16/3429.10 c #Conflicts: 1365000 | #Constraints: 102553
3420.16/3429.10 c #Conflicts: 1366000 | #Constraints: 103553
3420.16/3429.10 c #Conflicts: 1367000 | #Constraints: 104553
3420.16/3429.10 c #Conflicts: 1368000 | #Constraints: 105553
3420.16/3429.10 c #Conflicts: 1369000 | #Constraints: 106553
3420.16/3429.10 c #Conflicts: 1370000 | #Constraints: 107553
3420.16/3429.10 c #Conflicts: 1371000 | #Constraints: 108553
3420.16/3429.10 c INPROCESSING
3420.16/3429.10 c GARBAGE COLLECT
3420.16/3429.10 c rational objective 51
3481.59/3490.67 c #Conflicts: 1372000 | #Constraints: 86376
3481.59/3490.67 c #Conflicts: 1373000 | #Constraints: 87376
3481.59/3490.67 c #Conflicts: 1374000 | #Constraints: 88376
3481.59/3490.67 c #Conflicts: 1375000 | #Constraints: 89376
3481.59/3490.67 c #Conflicts: 1376000 | #Constraints: 90376
3481.59/3490.67 c #Conflicts: 1377000 | #Constraints: 91376
3481.59/3490.67 c #Conflicts: 1378000 | #Constraints: 92376
3481.59/3490.67 c #Conflicts: 1379000 | #Constraints: 93376
3481.59/3490.67 c #Conflicts: 1380000 | #Constraints: 94376
3481.59/3490.67 c #Conflicts: 1381000 | #Constraints: 95376
3481.59/3490.67 c #Conflicts: 1382000 | #Constraints: 96376
3481.59/3490.67 c #Conflicts: 1383000 | #Constraints: 97376
3481.59/3490.67 c #Conflicts: 1384000 | #Constraints: 98376
3481.59/3490.67 c #Conflicts: 1385000 | #Constraints: 99376
3481.59/3490.67 c #Conflicts: 1386000 | #Constraints: 100376
3481.59/3490.67 c #Conflicts: 1387000 | #Constraints: 101376
3481.59/3490.67 c #Conflicts: 1388000 | #Constraints: 102376
3481.59/3490.67 c #Conflicts: 1389000 | #Constraints: 103376
3481.59/3490.67 c #Conflicts: 1390000 | #Constraints: 104376
3481.59/3490.67 c #Conflicts: 1391000 | #Constraints: 105376
3481.59/3490.67 c #Conflicts: 1392000 | #Constraints: 106376
3481.59/3490.67 c #Conflicts: 1393000 | #Constraints: 107376
3481.59/3490.67 c #Conflicts: 1394000 | #Constraints: 108376
3481.59/3490.67 c #Conflicts: 1395000 | #Constraints: 109376
3481.59/3490.67 c INPROCESSING
3481.59/3490.67 c GARBAGE COLLECT
3481.59/3490.67 c rational objective 51
3519.38/3528.52 c #Conflicts: 1396000 | #Constraints: 86993
3519.38/3528.52 c #Conflicts: 1397000 | #Constraints: 87993
3519.38/3528.52 c #Conflicts: 1398000 | #Constraints: 88993
3519.38/3528.52 c #Conflicts: 1399000 | #Constraints: 89993
3519.38/3528.52 c #Conflicts: 1400000 | #Constraints: 90993
3519.38/3528.52 c #Conflicts: 1401000 | #Constraints: 91993
3519.38/3528.52 c #Conflicts: 1402000 | #Constraints: 92993
3519.38/3528.52 c #Conflicts: 1403000 | #Constraints: 93993
3519.38/3528.52 c #Conflicts: 1404000 | #Constraints: 94993
3519.38/3528.52 c #Conflicts: 1405000 | #Constraints: 95993
3519.38/3528.52 c #Conflicts: 1406000 | #Constraints: 96993
3519.38/3528.52 c #Conflicts: 1407000 | #Constraints: 97993
3519.38/3528.52 c #Conflicts: 1408000 | #Constraints: 98993
3519.38/3528.52 c #Conflicts: 1409000 | #Constraints: 99993
3519.38/3528.52 c #Conflicts: 1410000 | #Constraints: 100993
3519.38/3528.52 c #Conflicts: 1411000 | #Constraints: 101993
3519.38/3528.52 c #Conflicts: 1412000 | #Constraints: 102993
3519.38/3528.52 c #Conflicts: 1413000 | #Constraints: 103993
3519.38/3528.52 c #Conflicts: 1414000 | #Constraints: 104993
3519.38/3528.52 c #Conflicts: 1415000 | #Constraints: 105993
3519.38/3528.52 c #Conflicts: 1416000 | #Constraints: 106993
3519.38/3528.52 c #Conflicts: 1417000 | #Constraints: 107993
3519.38/3528.52 c #Conflicts: 1418000 | #Constraints: 108993
3519.38/3528.52 c #Conflicts: 1419000 | #Constraints: 109993
3519.38/3528.52 c INPROCESSING
3519.38/3528.52 c GARBAGE COLLECT
3519.38/3528.52 c rational objective 51
3568.54/3577.83 c #Conflicts: 1420000 | #Constraints: 87381
3568.54/3577.83 c #Conflicts: 1421000 | #Constraints: 88381
3568.54/3577.83 c #Conflicts: 1422000 | #Constraints: 89381
3568.54/3577.83 c #Conflicts: 1423000 | #Constraints: 90381
3568.54/3577.83 c #Conflicts: 1424000 | #Constraints: 91381
3568.54/3577.83 c #Conflicts: 1425000 | #Constraints: 92381
3568.54/3577.83 c #Conflicts: 1426000 | #Constraints: 93381
3568.54/3577.83 c #Conflicts: 1427000 | #Constraints: 94381
3568.54/3577.83 c #Conflicts: 1428000 | #Constraints: 95381
3568.54/3577.83 c #Conflicts: 1429000 | #Constraints: 96381
3568.54/3577.83 c #Conflicts: 1430000 | #Constraints: 97381
3568.54/3577.83 c #Conflicts: 1431000 | #Constraints: 98381
3568.54/3577.83 c #Conflicts: 1432000 | #Constraints: 99381
3568.54/3577.83 c #Conflicts: 1433000 | #Constraints: 100381
3568.54/3577.83 c #Conflicts: 1434000 | #Constraints: 101381
3568.54/3577.83 c #Conflicts: 1435000 | #Constraints: 102381
3568.54/3577.83 c #Conflicts: 1436000 | #Constraints: 103381
3568.54/3577.83 c #Conflicts: 1437000 | #Constraints: 104381
3568.54/3577.83 c #Conflicts: 1438000 | #Constraints: 105381
3568.54/3577.83 c #Conflicts: 1439000 | #Constraints: 106381
3568.54/3577.83 c #Conflicts: 1440000 | #Constraints: 107381
3568.54/3577.83 c #Conflicts: 1441000 | #Constraints: 108381
3568.54/3577.83 c #Conflicts: 1442000 | #Constraints: 109381
3568.54/3577.83 c #Conflicts: 1443000 | #Constraints: 110381
3568.54/3577.83 c INPROCESSING
3568.54/3577.83 c GARBAGE COLLECT
3568.54/3577.83 c rational objective 51
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: 63665 MiB (58012 MiB free)
memory of node 1: 64507 MiB (45643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508094-1751492665/watcher-4508094-1751492665 -o /tmp/evaluation-result-4508094-1751492665/solver-4508094-1751492665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751485437-69734 --watchdog 3760 run-opt-break.sh HOME/instance-4508094-1751492665.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=70645, runsolver pid=70642
[startup+0.100061 s]*
/proc/loadavg: 4.08 4.10 4.09 5/266 70647
/proc/meminfo: memFree=106119056/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70647] ppid=70645 vsize=55268 memory=38952 CPUtime=0.09 cores=5,7
/proc/70647/stat : 70647 (pbsuma) R 70645 70645 69721 0 -1 4194304 10192 0 0 0 7 2 0 0 20 0 1 0 64945313 56594432 9738 18446744073709551615 4210688 4653049 140733534417648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 28229632 140733534423395 140733534423602 140733534423602 140733534429167 0
/proc/70647/statm: 13817 9738 1024 108 0 11225 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59460 KiB
Current children cumulated memory: 41896 KiB
[startup+0.205621 s]*
/proc/loadavg: 4.08 4.10 4.09 5/266 70647
/proc/meminfo: memFree=106119056/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70647] ppid=70645 vsize=41408 memory=29944 CPUtime=0.19 cores=5,7
/proc/70647/stat : 70647 (pbsuma) R 70645 70645 69721 0 -1 4194304 10277 0 0 0 17 2 0 0 20 0 1 0 64945313 42401792 7486 18446744073709551615 4210688 4653049 140733534417648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 28229632 140733534423395 140733534423602 140733534423602 140733534429167 0
/proc/70647/statm: 10352 7486 1024 108 0 7760 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45600 KiB
Current children cumulated memory: 32888 KiB
[startup+0.305265 s]*
/proc/loadavg: 4.08 4.10 4.09 5/266 70648
/proc/meminfo: memFree=106115552/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=60768 memory=15724 CPUtime=0.04 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 1734 0 0 0 3 1 0 0 20 0 1 0 64945338 62226432 3931 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 15192 3931 1920 1147 0 2619 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 64960 KiB
Current children cumulated memory: 18668 KiB
[startup+0.70021 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 70648
/proc/meminfo: memFree=106090976/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=135508 memory=91292 CPUtime=0.43 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 12894 0 0 0 36 7 0 0 20 0 1 0 64945338 138760192 22823 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 33877 22823 2304 1147 0 21304 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 139700 KiB
Current children cumulated memory: 94236 KiB
[startup+1.50021 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 70648
/proc/meminfo: memFree=106067256/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=138212 memory=93980 CPUtime=1.23 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 13482 0 0 0 113 10 0 0 20 0 1 0 64945338 141529088 23495 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 34553 23495 2400 1147 0 21980 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 142404 KiB
Current children cumulated memory: 96924 KiB
[startup+3.10533 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 70648
/proc/meminfo: memFree=106067524/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=140376 memory=96284 CPUtime=2.83 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 14046 0 0 0 272 11 0 0 20 0 1 0 64945338 143745024 24071 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 35094 24071 2400 1147 0 22521 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 144568 KiB
Current children cumulated memory: 99228 KiB
[startup+6.30017 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 70648
/proc/meminfo: memFree=106057916/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=144976 memory=98632 CPUtime=6.01 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 14784 0 0 0 574 27 0 0 20 0 1 0 64945338 148455424 24658 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 36244 24658 2400 1147 0 23671 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 149168 KiB
Current children cumulated memory: 101576 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 70648
/proc/meminfo: memFree=106039520/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=153428 memory=105880 CPUtime=12.4 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 16497 0 0 0 1196 44 0 0 20 0 1 0 64945338 157110272 26470 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 38357 26470 2400 1147 0 25784 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 157620 KiB
Current children cumulated memory: 108824 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 70648
/proc/meminfo: memFree=106039232/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=154068 memory=106776 CPUtime=25.17 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 16711 0 0 0 2462 55 0 0 20 0 1 0 64945338 157765632 26694 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 38517 26694 2400 1147 0 25944 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 158260 KiB
Current children cumulated memory: 109720 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 70650
/proc/meminfo: memFree=106006920/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=155044 memory=107544 CPUtime=50.71 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 16899 0 0 0 5011 60 0 0 20 0 1 0 64945338 158765056 26886 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 38761 26886 2400 1147 0 26188 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 159236 KiB
Current children cumulated memory: 110488 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/267 70651
/proc/meminfo: memFree=105988156/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=156824 memory=109208 CPUtime=101.78 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 17334 0 0 0 10093 85 0 0 20 0 1 0 64945338 160587776 27302 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 39206 27302 2400 1147 0 26633 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 161016 KiB
Current children cumulated memory: 112152 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/267 70653
/proc/meminfo: memFree=105955280/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=157468 memory=110360 CPUtime=161.62 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 17636 0 0 0 16057 105 0 0 20 0 1 0 64945338 161247232 27590 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 39367 27590 2400 1147 0 26794 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 161660 KiB
Current children cumulated memory: 113304 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 70655
/proc/meminfo: memFree=105940148/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=174924 memory=125808 CPUtime=221.47 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 20940 0 0 0 22001 146 0 0 20 0 1 0 64945338 179122176 31452 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 43731 31452 2432 1147 0 31158 0
################
# More data... #
################
/proc/meminfo: memFree=105762672/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=205856 memory=158320 CPUtime=3273.65 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 26445 0 0 0 325830 1535 0 0 20 0 1 0 64945338 210796544 39580 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 51464 39580 2432 1147 0 38891 0
Current children cumulated CPU time: 3273.88 s
Current children cumulated vsize: 210048 KiB
Current children cumulated memory: 161264 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/269 70883
/proc/meminfo: memFree=105765768/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=205856 memory=159088 CPUtime=3333.48 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 26445 0 0 0 331780 1568 0 0 20 0 1 0 64945338 210796544 39772 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 51464 39772 2432 1147 0 38891 0
Current children cumulated CPU time: 3333.71 s
Current children cumulated vsize: 210048 KiB
Current children cumulated memory: 162032 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/269 70888
/proc/meminfo: memFree=105728744/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=205856 memory=159088 CPUtime=3393.31 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 26445 0 0 0 337730 1601 0 0 20 0 1 0 64945338 210796544 39772 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 51464 39772 2432 1147 0 38891 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 210048 KiB
Current children cumulated memory: 162032 KiB
[startup+3462.3 s]
/proc/loadavg: 4.37 4.20 4.12 5/269 70890
/proc/meminfo: memFree=105730664/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=205856 memory=159088 CPUtime=3453.14 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 26445 0 0 0 343688 1626 0 0 20 0 1 0 64945338 210796544 39772 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 51464 39772 2432 1147 0 38891 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 210048 KiB
Current children cumulated memory: 162032 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/269 70892
/proc/meminfo: memFree=105728980/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=206400 memory=159088 CPUtime=3512.97 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 26451 0 0 0 349642 1655 0 0 20 0 1 0 64945338 211353600 39772 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 51600 39772 2432 1147 0 39027 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 210592 KiB
Current children cumulated memory: 162032 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/269 70894
/proc/meminfo: memFree=105735216/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=218312 memory=170196 CPUtime=3572.8 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 28717 0 0 0 355592 1688 0 0 20 0 1 0 64945338 223551488 42549 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 54578 42549 2432 1147 0 42005 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 222504 KiB
Current children cumulated memory: 173140 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.11 4.15 4.11 4/262 70902
/proc/meminfo: memFree=105881244/131249988 swapFree=33010160/33010684
[pid=70645] ppid=70642 vsize=4192 memory=2944 CPUtime=0.23 cores=5,7
/proc/70645/stat : 70645 (run-opt-break.s) S 70642 70645 69721 0 -1 4194304 238 10480 0 0 0 0 21 2 20 0 1 0 64945313 4292608 736 18446744073709551615 94247890432000 94247891326533 140737466129584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94247891565584 94247891613328 94247905103872 140737466132833 140737466132962 140737466132962 140737466138564 0
/proc/70645/statm: 1048 736 672 219 0 110 0
[pid=70648] ppid=70645 vsize=220556 memory=173780 CPUtime=3599.83 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70645 70645 69721 0 -1 4194304 29599 0 0 0 358284 1699 0 0 20 0 1 0 64945338 225849344 43445 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 55139 43445 2432 1147 0 42566 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 224748 KiB
Current children cumulated memory: 176724 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.4 s]
# the end of solver process 70645 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.21927 s, system=0.026681 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.4 s]
# the end of solver process 70648 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3585.05 s, system=17.0251 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.61 s]
/proc/loadavg: 4.11 4.15 4.11 4/259 70925
/proc/meminfo: memFree=105894432/131249988 swapFree=33010160/33010684
[pid=70648] ppid=70642 vsize=220556 memory=173780 CPUtime=3600.03 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70642 70645 69721 0 -1 4194304 29599 0 0 0 358304 1699 0 0 20 0 1 0 64945338 225849344 43445 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 55139 43445 2432 1147 0 42566 0
Current cumulated CPU time of completed processes: 0.245951 s
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 220556 KiB
Current children cumulated memory: 173780 KiB
[startup+3610.4 s]
/proc/loadavg: 4.11 4.15 4.11 4/259 70925
/proc/meminfo: memFree=105894224/131249988 swapFree=33010160/33010684
[pid=70648] ppid=70642 vsize=220556 memory=173780 CPUtime=3600.82 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70642 70645 69721 0 -1 4194304 29599 0 0 0 358383 1699 0 0 20 0 1 0 64945338 225849344 43445 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 55139 43445 2432 1147 0 42566 0
Current cumulated CPU time of completed processes: 0.245951 s
Current children cumulated CPU time: 3600.82 s
Current children cumulated vsize: 220556 KiB
Current children cumulated memory: 173780 KiB
[startup+3611.2 s]
/proc/loadavg: 4.11 4.15 4.11 3/255 70955
/proc/meminfo: memFree=106075036/131249988 swapFree=33010160/33010684
[pid=70648] ppid=70642 vsize=220556 memory=173780 CPUtime=3601.62 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70642 70645 69721 0 -1 4194304 29599 0 0 0 358463 1699 0 0 20 0 1 0 64945338 225849344 43445 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 55139 43445 2432 1147 0 42566 0
Current cumulated CPU time of completed processes: 0.245951 s
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 220556 KiB
Current children cumulated memory: 173780 KiB
[startup+3611.4 s]
/proc/loadavg: 4.11 4.15 4.11 3/255 70955
/proc/meminfo: memFree=106075036/131249988 swapFree=33010160/33010684
[pid=70648] ppid=70642 vsize=220556 memory=173780 CPUtime=3601.82 cores=5,7
/proc/70648/stat : 70648 (roundingsat) R 70642 70645 69721 0 -1 4194304 29599 0 0 0 358483 1699 0 0 20 0 1 0 64945338 225849344 43445 18446744073709551615 4227072 8923433 140737094481920 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32047104 140737094486372 140737094486568 140737094486568 140737094492138 0
/proc/70648/statm: 55139 43445 2432 1147 0 42566 0
Current cumulated CPU time of completed processes: 0.245951 s
Current children cumulated CPU time: 3601.82 s
Current children cumulated vsize: 220556 KiB
Current children cumulated memory: 173780 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.4
CPU time (s): 3602.08
CPU user time (s): 3585.05
CPU system time (s): 17.0251
CPU usage (%): 99.7418
Max. virtual memory (cumulated for all children) (KiB): 224748
Max. memory (cumulated for all children) (KiB): 176724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.05
system time used= 17.0251
maximum resident set size= 173780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 234
involuntary context switches= 2863
# summary of solver processes directly reported to runsolver:
# pid: 70645,70648
# total CPU time (s): 3602.08
# total CPU user time (s): 3585.05
# total CPU system time (s): 17.0251
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.66956 second user time and 15.9532 second system time
The end
Begin job on nodeC034 at 2025-07-02 23:44:25
IDJOB=4508094
IDBENCH=158394
IDSOLVER=3359
FILE ID=nodeC034/4508094-1751492665
RUNJOBID= nodeC034-1751485437-69734
SLURM_JOB_ID= 9598535
Free space on /tmp= 431116 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jun5.5.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508094-1751492665/watcher-4508094-1751492665 -o /tmp/evaluation-result-4508094-1751492665/solver-4508094-1751492665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751485437-69734 --watchdog 3760 run-opt-break.sh HOME/instance-4508094-1751492665.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5d17a5a2908f0ead03acb71ed633b69a
RANDOM SEED=757023223
nodeC034 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.759
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.53
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.760
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.53
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 : 3601.592
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.53
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 : 3600.553
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.53
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.759
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.53
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 : 3595.648
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.53
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.528
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.53
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.757
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 106143676 kB
MemAvailable: 129325336 kB
Buffers: 2128 kB
Cached: 23920964 kB
SwapCached: 36 kB
Active: 909960 kB
Inactive: 23446356 kB
Active(anon): 447084 kB
Inactive(anon): 4208 kB
Active(file): 462876 kB
Inactive(file): 23442148 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30028 kB
Writeback: 0 kB
AnonPages: 436304 kB
Mapped: 117388 kB
Shmem: 18068 kB
KReclaimable: 231352 kB
Slab: 323876 kB
SReclaimable: 231352 kB
SUnreclaim: 92524 kB
KernelStack: 4288 kB
PageTables: 4028 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 784908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 184320 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431128 MiB
End job on nodeC034 at 2025-07-03 00:44:36