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-4508093-1751499394.opb'
0.00/0.06 c read 1.11MB (42.77ms)
0.00/0.06 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.00/0.06 c output proof to 'PROOFDIR/proof-4508093-1751499394'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.08/0.12 c [group: #orbits ~= 2664] (62.46ms)
0.08/0.12 c
0.08/0.12 c detect special group actions
0.08/0.12 c probe for Johnson action (limit=64)
0.08/0.14 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.17 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.20 c found row 11x666, generating row predicate
0.08/0.20 c (76.68ms)
0.08/0.20 c
0.08/0.20 c detect symmetries on remainder
0.08/0.20 c [graph: #vertices 80207 #edges 285984]
0.08/0.20 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.18/0.30 c [group: #symmetries 1.24*10^7 #generators 13] (108.79ms)
0.18/0.30 c
0.18/0.30 c optimize generators (opt_passes=64, conjugate_limit=256)
0.18/0.31 c ran it=0, +gens=2
0.55/0.67 c con best_support=1332, best_gens=13, +gens=224
0.55/0.67 c (369.74ms)
0.55/0.67 c
0.55/0.67 c finalize break order and special generators
0.55/0.68 c
0.55/0.68 c add generic predicates (break_depth=20)
0.55/0.68 c added predicates for 239 generators (5.14ms)
1.14/1.28 c
1.14/1.28 c generation finished
1.14/1.28 c [sbp: #constraints 33822 #add_vars 11191]
1.14/1.28 c
1.14/1.28 c write result to 'HOME/instance-4508093-1751499394.opb.pre'
1.14/1.29 c wrote 2.40MB (10.16ms)
1.14/1.29 c ------------------------------------------------------------------
1.14/1.29 c 599.71ms 46.87% other
1.14/1.29 c 369.74ms 28.90% optimize_gens
1.14/1.29 c 108.79ms 8.50% detect_generic
1.14/1.29 c 76.68ms 5.99% detect_special
1.14/1.29 c 62.46ms 4.88% approx_orbits
1.14/1.29 c 42.76ms 3.34% parse
1.14/1.29 c 10.16ms 0.79% output
1.14/1.29 c 5.14ms 0.40% break_generic
1.14/1.29 c 4.06ms 0.32% finalize_order
1.14/1.29 c ───────────────────────────────────────────────
1.14/1.29 c 1279.50ms 100% total
1.14/1.29 c ------------------------------------------------------------------
1.27/1.44 c RoundingSat 2
1.27/1.44 c branch pb25
1.27/1.44 c commit 63f22ad
2.11/2.32 c #variables 20515 #constraints 62482
2.11/2.32 c objective is ce32
2.52/2.74 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
2.52/2.74 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
2.52/2.74 c bounds 155 >= 0 @ 1.10995
8.48/8.79 c #Conflicts: 1000 | #Constraints: 63482
8.48/8.79 c #Conflicts: 2000 | #Constraints: 64482
8.48/8.79 c INPROCESSING
8.48/8.79 c bounds 155 >= 10 @ 7.03191
8.48/8.79 c bounds 155 >= 20 @ 7.03449
8.67/8.93 c #Conflicts: 3000 | #Constraints: 64518
8.67/8.93 c bounds 155 >= 30 @ 7.17235
39.59/39.97 c #Conflicts: 4000 | #Constraints: 65527
39.59/39.97 c INPROCESSING
39.59/39.97 c GARBAGE COLLECT
39.59/39.97 c #Conflicts: 5000 | #Constraints: 64940
39.59/39.97 c #Conflicts: 6000 | #Constraints: 65940
39.59/39.97 c INPROCESSING
39.59/39.97 c #Conflicts: 7000 | #Constraints: 64963
39.59/39.97 c #Conflicts: 8000 | #Constraints: 65963
39.59/39.97 c #Conflicts: 9000 | #Constraints: 66963
39.59/39.97 c INPROCESSING
39.59/39.97 c GARBAGE COLLECT
39.59/39.97 c rational objective 30
40.18/40.50 c #Conflicts: 10000 | #Constraints: 65686
40.18/40.50 c #Conflicts: 11000 | #Constraints: 66686
40.18/40.50 c bounds 147 >= 30 @ 38.4252
40.18/40.52 c bounds 145 >= 30 @ 38.4355
40.69/41.08 c #Conflicts: 12000 | #Constraints: 67688
40.69/41.08 c INPROCESSING
40.69/41.08 c GARBAGE COLLECT
40.69/41.08 c #Conflicts: 13000 | #Constraints: 66136
40.69/41.08 c #Conflicts: 14000 | #Constraints: 67136
40.69/41.08 c #Conflicts: 15000 | #Constraints: 68136
40.69/41.08 c INPROCESSING
40.69/41.08 c GARBAGE COLLECT
40.69/41.08 c #Conflicts: 16000 | #Constraints: 66356
40.69/41.08 c bounds 145 >= 35 @ 38.9688
82.85/83.36 c #Conflicts: 17000 | #Constraints: 67359
82.85/83.36 c #Conflicts: 18000 | #Constraints: 68359
82.85/83.36 c INPROCESSING
82.85/83.36 c GARBAGE COLLECT
82.85/83.36 c #Conflicts: 19000 | #Constraints: 66377
82.85/83.36 c #Conflicts: 20000 | #Constraints: 67377
82.85/83.36 c #Conflicts: 21000 | #Constraints: 68377
82.85/83.36 c INPROCESSING
82.85/83.36 c GARBAGE COLLECT
82.85/83.36 c #Conflicts: 22000 | #Constraints: 66183
82.85/83.36 c #Conflicts: 23000 | #Constraints: 67183
82.85/83.36 c #Conflicts: 24000 | #Constraints: 68183
82.85/83.36 c #Conflicts: 25000 | #Constraints: 69183
82.85/83.36 c INPROCESSING
82.85/83.36 c #Conflicts: 26000 | #Constraints: 66784
82.85/83.36 c #Conflicts: 27000 | #Constraints: 67784
82.85/83.36 c #Conflicts: 28000 | #Constraints: 68784
82.85/83.36 c #Conflicts: 29000 | #Constraints: 69784
82.85/83.36 c INPROCESSING
82.85/83.36 c GARBAGE COLLECT
82.85/83.36 c rational objective 35
137.18/137.84 c #Conflicts: 30000 | #Constraints: 67184
137.18/137.84 c #Conflicts: 31000 | #Constraints: 68184
137.18/137.84 c #Conflicts: 32000 | #Constraints: 69184
137.18/137.84 c #Conflicts: 33000 | #Constraints: 70184
137.18/137.84 c INPROCESSING
137.18/137.84 c GARBAGE COLLECT
137.18/137.84 c #Conflicts: 34000 | #Constraints: 67388
137.18/137.84 c #Conflicts: 35000 | #Constraints: 68388
137.18/137.84 c #Conflicts: 36000 | #Constraints: 69388
137.18/137.84 c #Conflicts: 37000 | #Constraints: 70388
137.18/137.84 c INPROCESSING
137.18/137.84 c GARBAGE COLLECT
137.18/137.84 c #Conflicts: 38000 | #Constraints: 67391
137.18/137.84 c #Conflicts: 39000 | #Constraints: 68391
137.18/137.84 c #Conflicts: 40000 | #Constraints: 69391
137.18/137.84 c #Conflicts: 41000 | #Constraints: 70391
137.18/137.84 c INPROCESSING
137.18/137.84 c GARBAGE COLLECT
137.18/137.84 c rational objective 35
180.65/181.48 c #Conflicts: 42000 | #Constraints: 67230
180.65/181.48 c #Conflicts: 43000 | #Constraints: 68230
180.65/181.48 c #Conflicts: 44000 | #Constraints: 69230
180.65/181.48 c #Conflicts: 45000 | #Constraints: 70230
180.65/181.48 c #Conflicts: 46000 | #Constraints: 71230
180.65/181.48 c INPROCESSING
180.65/181.48 c GARBAGE COLLECT
180.65/181.48 c #Conflicts: 47000 | #Constraints: 67813
180.65/181.48 c #Conflicts: 48000 | #Constraints: 68813
180.65/181.48 c #Conflicts: 49000 | #Constraints: 69813
180.65/181.48 c #Conflicts: 50000 | #Constraints: 70813
180.65/181.48 c #Conflicts: 51000 | #Constraints: 71813
180.65/181.48 c INPROCESSING
180.65/181.48 c GARBAGE COLLECT
180.65/181.48 c #Conflicts: 52000 | #Constraints: 68195
180.65/181.48 c #Conflicts: 53000 | #Constraints: 69195
180.65/181.48 c #Conflicts: 54000 | #Constraints: 70195
180.65/181.48 c #Conflicts: 55000 | #Constraints: 71195
180.65/181.48 c #Conflicts: 56000 | #Constraints: 72195
180.65/181.48 c INPROCESSING
180.65/181.48 c GARBAGE COLLECT
180.65/181.48 c #Conflicts: 57000 | #Constraints: 68403
180.65/181.48 c #Conflicts: 58000 | #Constraints: 69403
180.65/181.48 c #Conflicts: 59000 | #Constraints: 70403
180.65/181.48 c #Conflicts: 60000 | #Constraints: 71403
180.65/181.48 c #Conflicts: 61000 | #Constraints: 72403
180.65/181.48 c INPROCESSING
180.65/181.48 c GARBAGE COLLECT
180.65/181.48 c #Conflicts: 62000 | #Constraints: 68396
180.65/181.48 c #Conflicts: 63000 | #Constraints: 69396
180.65/181.48 c #Conflicts: 64000 | #Constraints: 70397
180.65/181.48 c #Conflicts: 65000 | #Constraints: 71397
180.65/181.48 c #Conflicts: 66000 | #Constraints: 72397
180.65/181.48 c INPROCESSING
180.65/181.48 c GARBAGE COLLECT
180.65/181.48 c #Conflicts: 67000 | #Constraints: 68196
180.65/181.48 c #Conflicts: 68000 | #Constraints: 69196
180.65/181.48 c #Conflicts: 69000 | #Constraints: 70196
180.65/181.48 c #Conflicts: 70000 | #Constraints: 71196
180.65/181.48 c #Conflicts: 71000 | #Constraints: 72196
180.65/181.48 c #Conflicts: 72000 | #Constraints: 73196
180.65/181.48 c INPROCESSING
180.65/181.48 c GARBAGE COLLECT
180.65/181.48 c rational objective 35
207.24/208.21 c #Conflicts: 73000 | #Constraints: 68806
207.24/208.21 c #Conflicts: 74000 | #Constraints: 69806
207.24/208.21 c #Conflicts: 75000 | #Constraints: 70806
207.24/208.21 c #Conflicts: 76000 | #Constraints: 71806
207.24/208.21 c #Conflicts: 77000 | #Constraints: 72806
207.24/208.21 c #Conflicts: 78000 | #Constraints: 73806
207.24/208.21 c INPROCESSING
207.24/208.21 c GARBAGE COLLECT
207.24/208.21 c rational objective 35
208.53/209.53 c #Conflicts: 79000 | #Constraints: 69274
208.53/209.53 c #Conflicts: 80000 | #Constraints: 70274
208.53/209.53 c #Conflicts: 81000 | #Constraints: 71274
208.53/209.53 c #Conflicts: 82000 | #Constraints: 72274
208.53/209.53 c #Conflicts: 83000 | #Constraints: 73274
208.53/209.53 c bounds 145 >= 40 @ 205.84
293.89/295.12 c #Conflicts: 84000 | #Constraints: 74283
293.89/295.12 c INPROCESSING
293.89/295.12 c GARBAGE COLLECT
293.89/295.12 c #Conflicts: 85000 | #Constraints: 69437
293.89/295.12 c #Conflicts: 86000 | #Constraints: 70437
293.89/295.12 c #Conflicts: 87000 | #Constraints: 71437
293.89/295.12 c #Conflicts: 88000 | #Constraints: 72437
293.89/295.12 c #Conflicts: 89000 | #Constraints: 73437
293.89/295.12 c #Conflicts: 90000 | #Constraints: 74437
293.89/295.12 c INPROCESSING
293.89/295.12 c GARBAGE COLLECT
293.89/295.12 c #Conflicts: 91000 | #Constraints: 69416
293.89/295.12 c #Conflicts: 92000 | #Constraints: 70416
293.89/295.12 c #Conflicts: 93000 | #Constraints: 71416
293.89/295.12 c #Conflicts: 94000 | #Constraints: 72416
293.89/295.12 c #Conflicts: 95000 | #Constraints: 73416
293.89/295.12 c #Conflicts: 96000 | #Constraints: 74416
293.89/295.12 c INPROCESSING
293.89/295.12 c GARBAGE COLLECT
293.89/295.12 c #Conflicts: 97000 | #Constraints: 69211
293.89/295.12 c #Conflicts: 98000 | #Constraints: 70211
293.89/295.12 c #Conflicts: 99000 | #Constraints: 71211
293.89/295.12 c #Conflicts: 100000 | #Constraints: 72211
293.89/295.12 c #Conflicts: 101000 | #Constraints: 73211
293.89/295.12 c #Conflicts: 102000 | #Constraints: 74211
293.89/295.12 c #Conflicts: 103000 | #Constraints: 75211
293.89/295.12 c INPROCESSING
293.89/295.12 c GARBAGE COLLECT
293.89/295.12 c #Conflicts: 104000 | #Constraints: 69802
293.89/295.12 c #Conflicts: 105000 | #Constraints: 70802
293.89/295.12 c #Conflicts: 106000 | #Constraints: 71802
293.89/295.12 c #Conflicts: 107000 | #Constraints: 72802
293.89/295.12 c #Conflicts: 108000 | #Constraints: 73802
293.89/295.12 c #Conflicts: 109000 | #Constraints: 74802
293.89/295.12 c bounds 145 >= 45 @ 290.821
317.91/319.29 c #Conflicts: 110000 | #Constraints: 75808
317.91/319.29 c INPROCESSING
317.91/319.29 c GARBAGE COLLECT
317.91/319.29 c #Conflicts: 111000 | #Constraints: 70198
317.91/319.29 c #Conflicts: 112000 | #Constraints: 71198
317.91/319.29 c #Conflicts: 113000 | #Constraints: 72198
317.91/319.29 c #Conflicts: 114000 | #Constraints: 73198
317.91/319.29 c #Conflicts: 115000 | #Constraints: 74198
317.91/319.29 c #Conflicts: 116000 | #Constraints: 75198
317.91/319.29 c #Conflicts: 117000 | #Constraints: 76198
317.91/319.29 c INPROCESSING
317.91/319.29 c GARBAGE COLLECT
317.91/319.29 c #Conflicts: 118000 | #Constraints: 70393
317.91/319.29 c #Conflicts: 119000 | #Constraints: 71393
317.91/319.29 c #Conflicts: 120000 | #Constraints: 72393
317.91/319.29 c #Conflicts: 121000 | #Constraints: 73393
317.91/319.29 c #Conflicts: 122000 | #Constraints: 74393
317.91/319.29 c #Conflicts: 123000 | #Constraints: 75393
317.91/319.29 c #Conflicts: 124000 | #Constraints: 76393
317.91/319.29 c INPROCESSING
317.91/319.29 c GARBAGE COLLECT
317.91/319.29 c rational objective 45
378.31/379.81 c #Conflicts: 125000 | #Constraints: 70404
378.31/379.81 c #Conflicts: 126000 | #Constraints: 71404
378.31/379.81 c #Conflicts: 127000 | #Constraints: 72404
378.31/379.81 c #Conflicts: 128000 | #Constraints: 73404
378.31/379.81 c #Conflicts: 129000 | #Constraints: 74404
378.31/379.81 c #Conflicts: 130000 | #Constraints: 75404
378.31/379.81 c #Conflicts: 131000 | #Constraints: 76404
378.31/379.81 c INPROCESSING
378.31/379.81 c GARBAGE COLLECT
378.31/379.81 c rational objective 45
414.99/416.61 c #Conflicts: 132000 | #Constraints: 70251
414.99/416.61 c #Conflicts: 133000 | #Constraints: 71251
414.99/416.61 c #Conflicts: 134000 | #Constraints: 72251
414.99/416.61 c #Conflicts: 135000 | #Constraints: 73251
414.99/416.61 c #Conflicts: 136000 | #Constraints: 74251
414.99/416.61 c #Conflicts: 137000 | #Constraints: 75251
414.99/416.61 c #Conflicts: 138000 | #Constraints: 76251
414.99/416.61 c #Conflicts: 139000 | #Constraints: 77251
414.99/416.61 c INPROCESSING
414.99/416.61 c GARBAGE COLLECT
414.99/416.61 c #Conflicts: 140000 | #Constraints: 70826
414.99/416.61 c #Conflicts: 141000 | #Constraints: 71826
414.99/416.61 c #Conflicts: 142000 | #Constraints: 72826
414.99/416.61 c #Conflicts: 143000 | #Constraints: 73826
414.99/416.61 c #Conflicts: 144000 | #Constraints: 74826
414.99/416.61 c #Conflicts: 145000 | #Constraints: 75826
414.99/416.61 c #Conflicts: 146000 | #Constraints: 76826
414.99/416.61 c #Conflicts: 147000 | #Constraints: 77826
414.99/416.61 c INPROCESSING
414.99/416.61 c GARBAGE COLLECT
414.99/416.61 c #Conflicts: 148000 | #Constraints: 71215
414.99/416.61 c #Conflicts: 149000 | #Constraints: 72215
414.99/416.61 c #Conflicts: 150000 | #Constraints: 73215
414.99/416.61 c #Conflicts: 151000 | #Constraints: 74215
414.99/416.61 c #Conflicts: 152000 | #Constraints: 75215
414.99/416.61 c #Conflicts: 153000 | #Constraints: 76215
414.99/416.61 c #Conflicts: 154000 | #Constraints: 77215
414.99/416.61 c #Conflicts: 155000 | #Constraints: 78215
414.99/416.61 c INPROCESSING
414.99/416.61 c GARBAGE COLLECT
414.99/416.61 c rational objective 45
463.37/465.17 c #Conflicts: 156000 | #Constraints: 71414
463.37/465.17 c #Conflicts: 157000 | #Constraints: 72414
463.37/465.17 c #Conflicts: 158000 | #Constraints: 73414
463.37/465.17 c #Conflicts: 159000 | #Constraints: 74414
463.37/465.17 c #Conflicts: 160000 | #Constraints: 75414
463.37/465.17 c #Conflicts: 161000 | #Constraints: 76414
463.37/465.17 c #Conflicts: 162000 | #Constraints: 77414
463.37/465.17 c #Conflicts: 163000 | #Constraints: 78414
463.37/465.17 c INPROCESSING
463.37/465.17 c GARBAGE COLLECT
463.37/465.17 c rational objective 45
514.60/516.50 c #Conflicts: 164000 | #Constraints: 71402
514.60/516.50 c #Conflicts: 165000 | #Constraints: 72402
514.60/516.50 c #Conflicts: 166000 | #Constraints: 73402
514.60/516.50 c #Conflicts: 167000 | #Constraints: 74402
514.60/516.50 c #Conflicts: 168000 | #Constraints: 75402
514.60/516.50 c #Conflicts: 169000 | #Constraints: 76402
514.60/516.50 c #Conflicts: 170000 | #Constraints: 77402
514.60/516.50 c #Conflicts: 171000 | #Constraints: 78402
514.60/516.50 c INPROCESSING
514.60/516.50 c GARBAGE COLLECT
514.60/516.50 c #Conflicts: 172000 | #Constraints: 71201
514.60/516.50 c #Conflicts: 173000 | #Constraints: 72201
514.60/516.50 c #Conflicts: 174000 | #Constraints: 73201
514.60/516.50 c #Conflicts: 175000 | #Constraints: 74201
514.60/516.50 c #Conflicts: 176000 | #Constraints: 75201
514.60/516.50 c #Conflicts: 177000 | #Constraints: 76201
514.60/516.50 c #Conflicts: 178000 | #Constraints: 77201
514.60/516.50 c #Conflicts: 179000 | #Constraints: 78201
514.60/516.50 c #Conflicts: 180000 | #Constraints: 79201
514.60/516.50 c INPROCESSING
514.60/516.50 c GARBAGE COLLECT
514.60/516.50 c #Conflicts: 181000 | #Constraints: 71798
514.60/516.50 c #Conflicts: 182000 | #Constraints: 72798
514.60/516.50 c #Conflicts: 183000 | #Constraints: 73798
514.60/516.50 c #Conflicts: 184000 | #Constraints: 74798
514.60/516.50 c #Conflicts: 185000 | #Constraints: 75798
514.60/516.50 c #Conflicts: 186000 | #Constraints: 76798
514.60/516.50 c #Conflicts: 187000 | #Constraints: 77798
514.60/516.50 c #Conflicts: 188000 | #Constraints: 78798
514.60/516.50 c #Conflicts: 189000 | #Constraints: 79798
514.60/516.50 c INPROCESSING
514.60/516.50 c GARBAGE COLLECT
514.60/516.50 c rational objective 45
533.45/535.41 c #Conflicts: 190000 | #Constraints: 72203
533.45/535.41 c #Conflicts: 191000 | #Constraints: 73203
533.45/535.41 c #Conflicts: 192000 | #Constraints: 74203
533.45/535.41 c #Conflicts: 193000 | #Constraints: 75203
533.45/535.41 c #Conflicts: 194000 | #Constraints: 76203
533.45/535.41 c #Conflicts: 195000 | #Constraints: 77203
533.45/535.41 c #Conflicts: 196000 | #Constraints: 78203
533.45/535.41 c #Conflicts: 197000 | #Constraints: 79203
533.45/535.41 c #Conflicts: 198000 | #Constraints: 80203
533.45/535.41 c INPROCESSING
533.45/535.41 c GARBAGE COLLECT
533.45/535.41 c rational objective 45
589.00/591.14 c #Conflicts: 199000 | #Constraints: 72410
589.00/591.14 c #Conflicts: 200000 | #Constraints: 73410
589.00/591.14 c #Conflicts: 201000 | #Constraints: 74410
589.00/591.14 c #Conflicts: 202000 | #Constraints: 75410
589.00/591.14 c #Conflicts: 203000 | #Constraints: 76410
589.00/591.14 c #Conflicts: 204000 | #Constraints: 77410
589.00/591.14 c #Conflicts: 205000 | #Constraints: 78410
589.00/591.14 c #Conflicts: 206000 | #Constraints: 79410
589.00/591.14 c #Conflicts: 207000 | #Constraints: 80410
589.00/591.14 c INPROCESSING
589.00/591.14 c GARBAGE COLLECT
589.00/591.14 c rational objective 45
635.87/638.14 c #Conflicts: 208000 | #Constraints: 72448
635.87/638.14 c #Conflicts: 209000 | #Constraints: 73448
635.87/638.14 c #Conflicts: 210000 | #Constraints: 74448
635.87/638.14 c #Conflicts: 211000 | #Constraints: 75448
635.87/638.14 c #Conflicts: 212000 | #Constraints: 76448
635.87/638.14 c #Conflicts: 213000 | #Constraints: 77448
635.87/638.14 c #Conflicts: 214000 | #Constraints: 78448
635.87/638.14 c #Conflicts: 215000 | #Constraints: 79448
635.87/638.14 c #Conflicts: 216000 | #Constraints: 80448
635.87/638.14 c INPROCESSING
635.87/638.14 c GARBAGE COLLECT
635.87/638.14 c rational objective 45
695.08/697.55 c #Conflicts: 217000 | #Constraints: 72228
695.08/697.55 c #Conflicts: 218000 | #Constraints: 73228
695.08/697.55 c #Conflicts: 219000 | #Constraints: 74228
695.08/697.55 c #Conflicts: 220000 | #Constraints: 75228
695.08/697.55 c #Conflicts: 221000 | #Constraints: 76228
695.08/697.55 c #Conflicts: 222000 | #Constraints: 77228
695.08/697.55 c #Conflicts: 223000 | #Constraints: 78228
695.08/697.55 c #Conflicts: 224000 | #Constraints: 79228
695.08/697.55 c #Conflicts: 225000 | #Constraints: 80228
695.08/697.55 c #Conflicts: 226000 | #Constraints: 81228
695.08/697.55 c INPROCESSING
695.08/697.55 c GARBAGE COLLECT
695.08/697.55 c #Conflicts: 227000 | #Constraints: 72813
695.08/697.55 c #Conflicts: 228000 | #Constraints: 73813
695.08/697.55 c #Conflicts: 229000 | #Constraints: 74813
695.08/697.55 c #Conflicts: 230000 | #Constraints: 75813
695.08/697.55 c #Conflicts: 231000 | #Constraints: 76813
695.08/697.55 c #Conflicts: 232000 | #Constraints: 77813
695.08/697.55 c #Conflicts: 233000 | #Constraints: 78813
695.08/697.55 c #Conflicts: 234000 | #Constraints: 79813
695.08/697.55 c #Conflicts: 235000 | #Constraints: 80813
695.08/697.55 c #Conflicts: 236000 | #Constraints: 81813
695.08/697.55 c INPROCESSING
695.08/697.55 c GARBAGE COLLECT
695.08/697.55 c rational objective 45
762.29/764.91 c #Conflicts: 237000 | #Constraints: 73231
762.29/764.91 c #Conflicts: 238000 | #Constraints: 74231
762.29/764.91 c #Conflicts: 239000 | #Constraints: 75231
762.29/764.91 c #Conflicts: 240000 | #Constraints: 76231
762.29/764.91 c #Conflicts: 241000 | #Constraints: 77231
762.29/764.91 c #Conflicts: 242000 | #Constraints: 78231
762.29/764.91 c #Conflicts: 243000 | #Constraints: 79231
762.29/764.91 c #Conflicts: 244000 | #Constraints: 80231
762.29/764.91 c #Conflicts: 245000 | #Constraints: 81231
762.29/764.91 c #Conflicts: 246000 | #Constraints: 82231
762.29/764.91 c INPROCESSING
762.29/764.91 c GARBAGE COLLECT
762.29/764.91 c #Conflicts: 247000 | #Constraints: 73419
762.29/764.91 c #Conflicts: 248000 | #Constraints: 74419
762.29/764.91 c #Conflicts: 249000 | #Constraints: 75419
762.29/764.91 c #Conflicts: 250000 | #Constraints: 76419
762.29/764.91 c #Conflicts: 251000 | #Constraints: 77419
762.29/764.91 c #Conflicts: 252000 | #Constraints: 78419
762.29/764.91 c #Conflicts: 253000 | #Constraints: 79419
762.29/764.91 c #Conflicts: 254000 | #Constraints: 80419
762.29/764.91 c #Conflicts: 255000 | #Constraints: 81419
762.29/764.91 c #Conflicts: 256000 | #Constraints: 82419
762.29/764.91 c INPROCESSING
762.29/764.91 c GARBAGE COLLECT
762.29/764.91 c #Conflicts: 257000 | #Constraints: 73416
762.29/764.91 c #Conflicts: 258000 | #Constraints: 74416
762.29/764.91 c #Conflicts: 259000 | #Constraints: 75416
762.29/764.91 c #Conflicts: 260000 | #Constraints: 76416
762.29/764.91 c #Conflicts: 261000 | #Constraints: 77416
762.29/764.91 c #Conflicts: 262000 | #Constraints: 78416
762.29/764.91 c #Conflicts: 263000 | #Constraints: 79416
762.29/764.91 c #Conflicts: 264000 | #Constraints: 80416
762.29/764.91 c #Conflicts: 265000 | #Constraints: 81416
762.29/764.91 c #Conflicts: 266000 | #Constraints: 82416
762.29/764.91 c INPROCESSING
762.29/764.91 c GARBAGE COLLECT
762.29/764.91 c rational objective 45
803.07/805.89 c #Conflicts: 267000 | #Constraints: 73210
803.07/805.89 c #Conflicts: 268000 | #Constraints: 74210
803.07/805.89 c #Conflicts: 269000 | #Constraints: 75210
803.07/805.89 c #Conflicts: 270000 | #Constraints: 76210
803.07/805.89 c #Conflicts: 271000 | #Constraints: 77210
803.07/805.89 c #Conflicts: 272000 | #Constraints: 78210
803.07/805.89 c #Conflicts: 273000 | #Constraints: 79210
803.07/805.89 c #Conflicts: 274000 | #Constraints: 80211
803.07/805.89 c #Conflicts: 275000 | #Constraints: 81211
803.07/805.89 c #Conflicts: 276000 | #Constraints: 82211
803.07/805.89 c #Conflicts: 277000 | #Constraints: 83211
803.07/805.89 c INPROCESSING
803.07/805.89 c GARBAGE COLLECT
803.07/805.89 c rational objective 45
854.91/857.83 c #Conflicts: 278000 | #Constraints: 73873
854.91/857.83 c #Conflicts: 279000 | #Constraints: 74873
854.91/857.83 c #Conflicts: 280000 | #Constraints: 75873
854.91/857.83 c #Conflicts: 281000 | #Constraints: 76873
854.91/857.83 c #Conflicts: 282000 | #Constraints: 77873
854.91/857.83 c #Conflicts: 283000 | #Constraints: 78873
854.91/857.83 c #Conflicts: 284000 | #Constraints: 79873
854.91/857.83 c #Conflicts: 285000 | #Constraints: 80873
854.91/857.83 c #Conflicts: 286000 | #Constraints: 81873
854.91/857.83 c #Conflicts: 287000 | #Constraints: 82873
854.91/857.83 c #Conflicts: 288000 | #Constraints: 83873
854.91/857.83 c INPROCESSING
854.91/857.83 c GARBAGE COLLECT
854.91/857.83 c rational objective 45
891.02/894.04 c #Conflicts: 289000 | #Constraints: 74285
891.02/894.04 c #Conflicts: 290000 | #Constraints: 75285
891.02/894.04 c #Conflicts: 291000 | #Constraints: 76285
891.02/894.04 c #Conflicts: 292000 | #Constraints: 77285
891.02/894.04 c #Conflicts: 293000 | #Constraints: 78285
891.02/894.04 c #Conflicts: 294000 | #Constraints: 79285
891.02/894.04 c #Conflicts: 295000 | #Constraints: 80285
891.02/894.04 c #Conflicts: 296000 | #Constraints: 81285
891.02/894.04 c #Conflicts: 297000 | #Constraints: 82285
891.02/894.04 c #Conflicts: 298000 | #Constraints: 83285
891.02/894.04 c #Conflicts: 299000 | #Constraints: 84285
891.02/894.04 c INPROCESSING
891.02/894.04 c GARBAGE COLLECT
891.02/894.04 c #Conflicts: 300000 | #Constraints: 74447
891.02/894.04 c #Conflicts: 301000 | #Constraints: 75447
891.02/894.04 c #Conflicts: 302000 | #Constraints: 76447
891.02/894.04 c #Conflicts: 303000 | #Constraints: 77447
891.02/894.04 c #Conflicts: 304000 | #Constraints: 78447
891.02/894.04 c #Conflicts: 305000 | #Constraints: 79447
891.02/894.04 c #Conflicts: 306000 | #Constraints: 80447
891.02/894.04 c #Conflicts: 307000 | #Constraints: 81447
891.02/894.04 c #Conflicts: 308000 | #Constraints: 82447
891.02/894.04 c #Conflicts: 309000 | #Constraints: 83447
891.02/894.04 c #Conflicts: 310000 | #Constraints: 84447
891.02/894.04 c INPROCESSING
891.02/894.04 c GARBAGE COLLECT
891.02/894.04 c rational objective 45
936.36/939.53 c #Conflicts: 311000 | #Constraints: 74426
936.36/939.53 c #Conflicts: 312000 | #Constraints: 75426
936.36/939.53 c #Conflicts: 313000 | #Constraints: 76426
936.36/939.53 c #Conflicts: 314000 | #Constraints: 77426
936.36/939.53 c #Conflicts: 315000 | #Constraints: 78426
936.36/939.53 c #Conflicts: 316000 | #Constraints: 79426
936.36/939.53 c #Conflicts: 317000 | #Constraints: 80426
936.36/939.53 c #Conflicts: 318000 | #Constraints: 81426
936.36/939.53 c #Conflicts: 319000 | #Constraints: 82426
936.36/939.53 c #Conflicts: 320000 | #Constraints: 83426
936.36/939.53 c #Conflicts: 321000 | #Constraints: 84426
936.36/939.53 c INPROCESSING
936.36/939.53 c GARBAGE COLLECT
936.36/939.53 c rational objective 45
936.97/940.11 c #Conflicts: 322000 | #Constraints: 74255
936.97/940.11 c bounds 145 >= 50 @ 931.166
969.97/973.26 c #Conflicts: 323000 | #Constraints: 75267
969.97/973.26 c #Conflicts: 324000 | #Constraints: 76267
969.97/973.26 c #Conflicts: 325000 | #Constraints: 77267
969.97/973.26 c #Conflicts: 326000 | #Constraints: 78267
969.97/973.26 c #Conflicts: 327000 | #Constraints: 79267
969.97/973.26 c #Conflicts: 328000 | #Constraints: 80267
969.97/973.26 c #Conflicts: 329000 | #Constraints: 81267
969.97/973.26 c #Conflicts: 330000 | #Constraints: 82267
969.97/973.26 c #Conflicts: 331000 | #Constraints: 83267
969.97/973.26 c #Conflicts: 332000 | #Constraints: 84267
969.97/973.26 c #Conflicts: 333000 | #Constraints: 85267
969.97/973.26 c INPROCESSING
969.97/973.26 c GARBAGE COLLECT
969.97/973.26 c #Conflicts: 334000 | #Constraints: 74430
969.97/973.26 c #Conflicts: 335000 | #Constraints: 75430
969.97/973.26 c #Conflicts: 336000 | #Constraints: 76430
969.97/973.26 c #Conflicts: 337000 | #Constraints: 77430
969.97/973.26 c #Conflicts: 338000 | #Constraints: 78430
969.97/973.26 c #Conflicts: 339000 | #Constraints: 79430
969.97/973.26 c #Conflicts: 340000 | #Constraints: 80430
969.97/973.26 c #Conflicts: 341000 | #Constraints: 81430
969.97/973.26 c #Conflicts: 342000 | #Constraints: 82430
969.97/973.26 c #Conflicts: 343000 | #Constraints: 83430
969.97/973.26 c #Conflicts: 344000 | #Constraints: 84430
969.97/973.26 c #Conflicts: 345000 | #Constraints: 85430
969.97/973.26 c INPROCESSING
969.97/973.26 c GARBAGE COLLECT
969.97/973.26 c rational objective 50
996.10/999.42 c #Conflicts: 346000 | #Constraints: 75040
996.10/999.42 c #Conflicts: 347000 | #Constraints: 76040
996.10/999.42 c #Conflicts: 348000 | #Constraints: 77040
996.10/999.42 c #Conflicts: 349000 | #Constraints: 78040
996.10/999.42 c #Conflicts: 350000 | #Constraints: 79040
996.10/999.42 c #Conflicts: 351000 | #Constraints: 80040
996.10/999.42 c #Conflicts: 352000 | #Constraints: 81040
996.10/999.42 c #Conflicts: 353000 | #Constraints: 82040
996.10/999.42 c #Conflicts: 354000 | #Constraints: 83040
996.10/999.42 c #Conflicts: 355000 | #Constraints: 84040
996.10/999.42 c #Conflicts: 356000 | #Constraints: 85040
996.10/999.42 c #Conflicts: 357000 | #Constraints: 86040
996.10/999.42 c INPROCESSING
996.10/999.42 c GARBAGE COLLECT
996.10/999.42 c rational objective 50
1036.58/1040.02 c #Conflicts: 358000 | #Constraints: 75358
1036.58/1040.02 c #Conflicts: 359000 | #Constraints: 76358
1036.58/1040.02 c #Conflicts: 360000 | #Constraints: 77358
1036.58/1040.02 c #Conflicts: 361000 | #Constraints: 78358
1036.58/1040.02 c #Conflicts: 362000 | #Constraints: 79358
1036.58/1040.02 c #Conflicts: 363000 | #Constraints: 80358
1036.58/1040.02 c #Conflicts: 364000 | #Constraints: 81358
1036.58/1040.02 c #Conflicts: 365000 | #Constraints: 82358
1036.58/1040.02 c #Conflicts: 366000 | #Constraints: 83358
1036.58/1040.02 c #Conflicts: 367000 | #Constraints: 84358
1036.58/1040.02 c #Conflicts: 368000 | #Constraints: 85358
1036.58/1040.02 c #Conflicts: 369000 | #Constraints: 86358
1036.58/1040.02 c INPROCESSING
1036.58/1040.02 c GARBAGE COLLECT
1036.58/1040.02 c rational objective 50
1080.13/1083.75 c #Conflicts: 370000 | #Constraints: 75400
1080.13/1083.75 c #Conflicts: 371000 | #Constraints: 76400
1080.13/1083.75 c #Conflicts: 372000 | #Constraints: 77400
1080.13/1083.75 c #Conflicts: 373000 | #Constraints: 78400
1080.13/1083.75 c #Conflicts: 374000 | #Constraints: 79400
1080.13/1083.75 c #Conflicts: 375000 | #Constraints: 80400
1080.13/1083.75 c #Conflicts: 376000 | #Constraints: 81400
1080.13/1083.75 c #Conflicts: 377000 | #Constraints: 82400
1080.13/1083.75 c #Conflicts: 378000 | #Constraints: 83400
1080.13/1083.75 c #Conflicts: 379000 | #Constraints: 84400
1080.13/1083.75 c #Conflicts: 380000 | #Constraints: 85400
1080.13/1083.75 c #Conflicts: 381000 | #Constraints: 86400
1080.13/1083.75 c INPROCESSING
1080.13/1083.75 c GARBAGE COLLECT
1080.13/1083.75 c rational objective 50
1118.71/1122.46 c #Conflicts: 382000 | #Constraints: 75210
1118.71/1122.46 c #Conflicts: 383000 | #Constraints: 76210
1118.71/1122.46 c #Conflicts: 384000 | #Constraints: 77210
1118.71/1122.46 c #Conflicts: 385000 | #Constraints: 78210
1118.71/1122.46 c #Conflicts: 386000 | #Constraints: 79210
1118.71/1122.46 c #Conflicts: 387000 | #Constraints: 80210
1118.71/1122.46 c #Conflicts: 388000 | #Constraints: 81210
1118.71/1122.46 c #Conflicts: 389000 | #Constraints: 82210
1118.71/1122.46 c #Conflicts: 390000 | #Constraints: 83210
1118.71/1122.46 c #Conflicts: 391000 | #Constraints: 84210
1118.71/1122.46 c #Conflicts: 392000 | #Constraints: 85210
1118.71/1122.46 c #Conflicts: 393000 | #Constraints: 86210
1118.71/1122.46 c #Conflicts: 394000 | #Constraints: 87210
1118.71/1122.46 c INPROCESSING
1118.71/1122.46 c GARBAGE COLLECT
1118.71/1122.46 c rational objective 50
1162.87/1166.73 c #Conflicts: 395000 | #Constraints: 75822
1162.87/1166.73 c #Conflicts: 396000 | #Constraints: 76822
1162.87/1166.73 c #Conflicts: 397000 | #Constraints: 77822
1162.87/1166.73 c #Conflicts: 398000 | #Constraints: 78822
1162.87/1166.73 c #Conflicts: 399000 | #Constraints: 79822
1162.87/1166.73 c #Conflicts: 400000 | #Constraints: 80822
1162.87/1166.73 c #Conflicts: 401000 | #Constraints: 81822
1162.87/1166.73 c #Conflicts: 402000 | #Constraints: 82822
1162.87/1166.73 c #Conflicts: 403000 | #Constraints: 83822
1162.87/1166.73 c #Conflicts: 404000 | #Constraints: 84822
1162.87/1166.73 c #Conflicts: 405000 | #Constraints: 85822
1162.87/1166.73 c #Conflicts: 406000 | #Constraints: 86822
1162.87/1166.73 c #Conflicts: 407000 | #Constraints: 87822
1162.87/1166.73 c INPROCESSING
1162.87/1166.73 c GARBAGE COLLECT
1162.87/1166.73 c rational objective 50
1166.04/1169.91 c #Conflicts: 408000 | #Constraints: 76216
1166.04/1169.91 c #Conflicts: 409000 | #Constraints: 77216
1166.04/1169.91 c #Conflicts: 410000 | #Constraints: 78216
1166.04/1169.91 c #Conflicts: 411000 | #Constraints: 79216
1166.04/1169.91 c #Conflicts: 412000 | #Constraints: 80216
1166.04/1169.91 c #Conflicts: 413000 | #Constraints: 81216
1166.04/1169.91 c #Conflicts: 414000 | #Constraints: 82216
1166.04/1169.91 c #Conflicts: 415000 | #Constraints: 83216
1166.04/1169.91 c #Conflicts: 416000 | #Constraints: 84216
1166.04/1169.91 c #Conflicts: 417000 | #Constraints: 85216
1166.04/1169.91 c bounds 145 >= 55 @ 1159.11
1193.77/1197.78 c #Conflicts: 418000 | #Constraints: 86228
1193.77/1197.78 c #Conflicts: 419000 | #Constraints: 87228
1193.77/1197.78 c #Conflicts: 420000 | #Constraints: 88228
1193.77/1197.78 c INPROCESSING
1193.77/1197.78 c GARBAGE COLLECT
1193.77/1197.78 c #Conflicts: 421000 | #Constraints: 76424
1193.77/1197.78 c #Conflicts: 422000 | #Constraints: 77424
1193.77/1197.78 c #Conflicts: 423000 | #Constraints: 78424
1193.77/1197.78 c #Conflicts: 424000 | #Constraints: 79424
1193.77/1197.78 c #Conflicts: 425000 | #Constraints: 80424
1193.77/1197.78 c #Conflicts: 426000 | #Constraints: 81424
1193.77/1197.78 c #Conflicts: 427000 | #Constraints: 82424
1193.77/1197.78 c #Conflicts: 428000 | #Constraints: 83424
1193.77/1197.78 c #Conflicts: 429000 | #Constraints: 84424
1193.77/1197.78 c #Conflicts: 430000 | #Constraints: 85424
1193.77/1197.78 c #Conflicts: 431000 | #Constraints: 86424
1193.77/1197.78 c #Conflicts: 432000 | #Constraints: 87424
1193.77/1197.78 c #Conflicts: 433000 | #Constraints: 88424
1193.77/1197.78 c INPROCESSING
1193.77/1197.78 c GARBAGE COLLECT
1193.77/1197.78 c rational objective 55
1238.84/1242.91 c #Conflicts: 434000 | #Constraints: 76450
1238.84/1242.91 c #Conflicts: 435000 | #Constraints: 77450
1238.84/1242.91 c #Conflicts: 436000 | #Constraints: 78450
1238.84/1242.91 c #Conflicts: 437000 | #Constraints: 79450
1238.84/1242.91 c #Conflicts: 438000 | #Constraints: 80450
1238.84/1242.91 c #Conflicts: 439000 | #Constraints: 81450
1238.84/1242.91 c #Conflicts: 440000 | #Constraints: 82450
1238.84/1242.91 c #Conflicts: 441000 | #Constraints: 83450
1238.84/1242.91 c #Conflicts: 442000 | #Constraints: 84450
1238.84/1242.91 c #Conflicts: 443000 | #Constraints: 85450
1238.84/1242.91 c #Conflicts: 444000 | #Constraints: 86450
1238.84/1242.91 c #Conflicts: 445000 | #Constraints: 87450
1238.84/1242.91 c #Conflicts: 446000 | #Constraints: 88450
1238.84/1242.91 c INPROCESSING
1238.84/1242.91 c GARBAGE COLLECT
1238.84/1242.91 c rational objective 55
1281.42/1285.61 c #Conflicts: 447000 | #Constraints: 76246
1281.42/1285.61 c #Conflicts: 448000 | #Constraints: 77246
1281.42/1285.61 c #Conflicts: 449000 | #Constraints: 78246
1281.42/1285.61 c #Conflicts: 450000 | #Constraints: 79246
1281.42/1285.61 c #Conflicts: 451000 | #Constraints: 80246
1281.42/1285.61 c #Conflicts: 452000 | #Constraints: 81246
1281.42/1285.61 c #Conflicts: 453000 | #Constraints: 82246
1281.42/1285.61 c #Conflicts: 454000 | #Constraints: 83246
1281.42/1285.61 c #Conflicts: 455000 | #Constraints: 84246
1281.42/1285.61 c #Conflicts: 456000 | #Constraints: 85246
1281.42/1285.61 c #Conflicts: 457000 | #Constraints: 86246
1281.42/1285.61 c #Conflicts: 458000 | #Constraints: 87246
1281.42/1285.61 c #Conflicts: 459000 | #Constraints: 88246
1281.42/1285.61 c #Conflicts: 460000 | #Constraints: 89246
1281.42/1285.61 c INPROCESSING
1281.42/1285.61 c GARBAGE COLLECT
1281.42/1285.61 c rational objective 55
1321.29/1325.61 c #Conflicts: 461000 | #Constraints: 76842
1321.29/1325.61 c #Conflicts: 462000 | #Constraints: 77842
1321.29/1325.61 c #Conflicts: 463000 | #Constraints: 78842
1321.29/1325.61 c #Conflicts: 464000 | #Constraints: 79842
1321.29/1325.61 c #Conflicts: 465000 | #Constraints: 80842
1321.29/1325.61 c #Conflicts: 466000 | #Constraints: 81842
1321.29/1325.61 c #Conflicts: 467000 | #Constraints: 82842
1321.29/1325.61 c #Conflicts: 468000 | #Constraints: 83842
1321.29/1325.61 c #Conflicts: 469000 | #Constraints: 84842
1321.29/1325.61 c #Conflicts: 470000 | #Constraints: 85842
1321.29/1325.61 c #Conflicts: 471000 | #Constraints: 86842
1321.29/1325.61 c #Conflicts: 472000 | #Constraints: 87842
1321.29/1325.61 c #Conflicts: 473000 | #Constraints: 88842
1321.29/1325.61 c #Conflicts: 474000 | #Constraints: 89842
1321.29/1325.61 c INPROCESSING
1321.29/1325.61 c GARBAGE COLLECT
1321.29/1325.61 c rational objective 55
1367.95/1372.45 c #Conflicts: 475000 | #Constraints: 77236
1367.95/1372.45 c #Conflicts: 476000 | #Constraints: 78236
1367.95/1372.45 c #Conflicts: 477000 | #Constraints: 79236
1367.95/1372.45 c #Conflicts: 478000 | #Constraints: 80236
1367.95/1372.45 c #Conflicts: 479000 | #Constraints: 81236
1367.95/1372.45 c #Conflicts: 480000 | #Constraints: 82236
1367.95/1372.45 c #Conflicts: 481000 | #Constraints: 83236
1367.95/1372.45 c #Conflicts: 482000 | #Constraints: 84236
1367.95/1372.45 c #Conflicts: 483000 | #Constraints: 85236
1367.95/1372.45 c #Conflicts: 484000 | #Constraints: 86236
1367.95/1372.45 c #Conflicts: 485000 | #Constraints: 87236
1367.95/1372.45 c #Conflicts: 486000 | #Constraints: 88236
1367.95/1372.45 c #Conflicts: 487000 | #Constraints: 89236
1367.95/1372.45 c #Conflicts: 488000 | #Constraints: 90236
1367.95/1372.45 c INPROCESSING
1367.95/1372.45 c GARBAGE COLLECT
1367.95/1372.45 c rational objective 55
1410.13/1414.71 c #Conflicts: 489000 | #Constraints: 77475
1410.13/1414.71 c #Conflicts: 490000 | #Constraints: 78475
1410.13/1414.71 c #Conflicts: 491000 | #Constraints: 79475
1410.13/1414.71 c #Conflicts: 492000 | #Constraints: 80475
1410.13/1414.71 c #Conflicts: 493000 | #Constraints: 81475
1410.13/1414.71 c #Conflicts: 494000 | #Constraints: 82475
1410.13/1414.71 c #Conflicts: 495000 | #Constraints: 83475
1410.13/1414.71 c #Conflicts: 496000 | #Constraints: 84475
1410.13/1414.71 c #Conflicts: 497000 | #Constraints: 85475
1410.13/1414.71 c #Conflicts: 498000 | #Constraints: 86475
1410.13/1414.71 c #Conflicts: 499000 | #Constraints: 87475
1410.13/1414.71 c #Conflicts: 500000 | #Constraints: 88475
1410.13/1414.71 c #Conflicts: 501000 | #Constraints: 89475
1410.13/1414.71 c #Conflicts: 502000 | #Constraints: 90475
1410.13/1414.71 c INPROCESSING
1410.13/1414.71 c GARBAGE COLLECT
1410.13/1414.71 c #Conflicts: 503000 | #Constraints: 77452
1410.13/1414.71 c #Conflicts: 504000 | #Constraints: 78452
1410.13/1414.71 c #Conflicts: 505000 | #Constraints: 79452
1410.13/1414.71 c #Conflicts: 506000 | #Constraints: 80452
1410.13/1414.71 c #Conflicts: 507000 | #Constraints: 81452
1410.13/1414.71 c #Conflicts: 508000 | #Constraints: 82452
1410.13/1414.71 c #Conflicts: 509000 | #Constraints: 83452
1410.13/1414.71 c #Conflicts: 510000 | #Constraints: 84452
1410.13/1414.71 c #Conflicts: 511000 | #Constraints: 85452
1410.13/1414.71 c #Conflicts: 512000 | #Constraints: 86452
1410.13/1414.71 c #Conflicts: 513000 | #Constraints: 87452
1410.13/1414.71 c #Conflicts: 514000 | #Constraints: 88452
1410.13/1414.71 c #Conflicts: 515000 | #Constraints: 89452
1410.13/1414.71 c #Conflicts: 516000 | #Constraints: 90452
1410.13/1414.71 c INPROCESSING
1410.13/1414.71 c GARBAGE COLLECT
1410.13/1414.71 c rational objective 55
1454.20/1458.98 c #Conflicts: 517000 | #Constraints: 77244
1454.20/1458.98 c #Conflicts: 518000 | #Constraints: 78244
1454.20/1458.98 c #Conflicts: 519000 | #Constraints: 79244
1454.20/1458.98 c #Conflicts: 520000 | #Constraints: 80244
1454.20/1458.98 c #Conflicts: 521000 | #Constraints: 81244
1454.20/1458.98 c #Conflicts: 522000 | #Constraints: 82244
1454.20/1458.98 c #Conflicts: 523000 | #Constraints: 83244
1454.20/1458.98 c #Conflicts: 524000 | #Constraints: 84244
1454.20/1458.98 c #Conflicts: 525000 | #Constraints: 85244
1454.20/1458.98 c #Conflicts: 526000 | #Constraints: 86244
1454.20/1458.98 c #Conflicts: 527000 | #Constraints: 87244
1454.20/1458.98 c #Conflicts: 528000 | #Constraints: 88244
1454.20/1458.98 c #Conflicts: 529000 | #Constraints: 89244
1454.20/1458.98 c #Conflicts: 530000 | #Constraints: 90244
1454.20/1458.98 c #Conflicts: 531000 | #Constraints: 91244
1454.20/1458.98 c INPROCESSING
1454.20/1458.98 c GARBAGE COLLECT
1454.20/1458.98 c rational objective 55
1505.65/1510.56 c #Conflicts: 532000 | #Constraints: 77866
1505.65/1510.56 c #Conflicts: 533000 | #Constraints: 78866
1505.65/1510.56 c #Conflicts: 534000 | #Constraints: 79866
1505.65/1510.56 c #Conflicts: 535000 | #Constraints: 80866
1505.65/1510.56 c #Conflicts: 536000 | #Constraints: 81866
1505.65/1510.56 c #Conflicts: 537000 | #Constraints: 82866
1505.65/1510.56 c #Conflicts: 538000 | #Constraints: 83866
1505.65/1510.56 c #Conflicts: 539000 | #Constraints: 84866
1505.65/1510.56 c #Conflicts: 540000 | #Constraints: 85866
1505.65/1510.56 c #Conflicts: 541000 | #Constraints: 86866
1505.65/1510.56 c #Conflicts: 542000 | #Constraints: 87866
1505.65/1510.56 c #Conflicts: 543000 | #Constraints: 88866
1505.65/1510.56 c #Conflicts: 544000 | #Constraints: 89866
1505.65/1510.56 c #Conflicts: 545000 | #Constraints: 90866
1505.65/1510.56 c #Conflicts: 546000 | #Constraints: 91866
1505.65/1510.56 c INPROCESSING
1505.65/1510.56 c GARBAGE COLLECT
1505.65/1510.56 c rational objective 55
1534.47/1539.46 c #Conflicts: 547000 | #Constraints: 78299
1534.47/1539.46 c #Conflicts: 548000 | #Constraints: 79299
1534.47/1539.46 c #Conflicts: 549000 | #Constraints: 80299
1534.47/1539.46 c #Conflicts: 550000 | #Constraints: 81299
1534.47/1539.46 c #Conflicts: 551000 | #Constraints: 82299
1534.47/1539.46 c #Conflicts: 552000 | #Constraints: 83299
1534.47/1539.46 c #Conflicts: 553000 | #Constraints: 84299
1534.47/1539.46 c #Conflicts: 554000 | #Constraints: 85299
1534.47/1539.46 c #Conflicts: 555000 | #Constraints: 86299
1534.47/1539.46 c #Conflicts: 556000 | #Constraints: 87299
1534.47/1539.46 c #Conflicts: 557000 | #Constraints: 88299
1534.47/1539.46 c #Conflicts: 558000 | #Constraints: 89299
1534.47/1539.46 c #Conflicts: 559000 | #Constraints: 90299
1534.47/1539.46 c #Conflicts: 560000 | #Constraints: 91299
1534.47/1539.46 c #Conflicts: 561000 | #Constraints: 92299
1534.47/1539.46 c INPROCESSING
1534.47/1539.46 c GARBAGE COLLECT
1534.47/1539.46 c rational objective 55
1573.26/1578.31 c #Conflicts: 562000 | #Constraints: 78464
1573.26/1578.31 c #Conflicts: 563000 | #Constraints: 79464
1573.26/1578.31 c #Conflicts: 564000 | #Constraints: 80464
1573.26/1578.31 c #Conflicts: 565000 | #Constraints: 81464
1573.26/1578.31 c #Conflicts: 566000 | #Constraints: 82464
1573.26/1578.31 c #Conflicts: 567000 | #Constraints: 83464
1573.26/1578.31 c #Conflicts: 568000 | #Constraints: 84464
1573.26/1578.31 c #Conflicts: 569000 | #Constraints: 85464
1573.26/1578.31 c #Conflicts: 570000 | #Constraints: 86464
1573.26/1578.31 c #Conflicts: 571000 | #Constraints: 87464
1573.26/1578.31 c #Conflicts: 572000 | #Constraints: 88464
1573.26/1578.31 c #Conflicts: 573000 | #Constraints: 89464
1573.26/1578.31 c #Conflicts: 574000 | #Constraints: 90464
1573.26/1578.31 c #Conflicts: 575000 | #Constraints: 91464
1573.26/1578.31 c #Conflicts: 576000 | #Constraints: 92464
1573.26/1578.31 c INPROCESSING
1573.26/1578.31 c GARBAGE COLLECT
1573.26/1578.31 c rational objective 55
1628.40/1633.62 c #Conflicts: 577000 | #Constraints: 78454
1628.40/1633.62 c #Conflicts: 578000 | #Constraints: 79454
1628.40/1633.62 c #Conflicts: 579000 | #Constraints: 80454
1628.40/1633.62 c #Conflicts: 580000 | #Constraints: 81454
1628.40/1633.62 c #Conflicts: 581000 | #Constraints: 82454
1628.40/1633.62 c #Conflicts: 582000 | #Constraints: 83454
1628.40/1633.62 c #Conflicts: 583000 | #Constraints: 84454
1628.40/1633.62 c #Conflicts: 584000 | #Constraints: 85454
1628.40/1633.62 c #Conflicts: 585000 | #Constraints: 86454
1628.40/1633.62 c #Conflicts: 586000 | #Constraints: 87454
1628.40/1633.62 c #Conflicts: 587000 | #Constraints: 88454
1628.40/1633.62 c #Conflicts: 588000 | #Constraints: 89454
1628.40/1633.62 c #Conflicts: 589000 | #Constraints: 90454
1628.40/1633.62 c #Conflicts: 590000 | #Constraints: 91454
1628.40/1633.62 c #Conflicts: 591000 | #Constraints: 92454
1628.40/1633.62 c INPROCESSING
1628.40/1633.62 c GARBAGE COLLECT
1628.40/1633.62 c rational objective 55
1669.29/1674.69 c #Conflicts: 592000 | #Constraints: 78239
1669.29/1674.69 c #Conflicts: 593000 | #Constraints: 79239
1669.29/1674.69 c #Conflicts: 594000 | #Constraints: 80239
1669.29/1674.69 c #Conflicts: 595000 | #Constraints: 81239
1669.29/1674.69 c #Conflicts: 596000 | #Constraints: 82239
1669.29/1674.69 c #Conflicts: 597000 | #Constraints: 83239
1669.29/1674.69 c #Conflicts: 598000 | #Constraints: 84239
1669.29/1674.69 c #Conflicts: 599000 | #Constraints: 85239
1669.29/1674.69 c #Conflicts: 600000 | #Constraints: 86239
1669.29/1674.69 c #Conflicts: 601000 | #Constraints: 87239
1669.29/1674.69 c #Conflicts: 602000 | #Constraints: 88239
1669.29/1674.69 c #Conflicts: 603000 | #Constraints: 89239
1669.29/1674.69 c #Conflicts: 604000 | #Constraints: 90239
1669.29/1674.69 c #Conflicts: 605000 | #Constraints: 91239
1669.29/1674.69 c #Conflicts: 606000 | #Constraints: 92239
1669.29/1674.69 c #Conflicts: 607000 | #Constraints: 93239
1669.29/1674.69 c INPROCESSING
1669.29/1674.69 c GARBAGE COLLECT
1669.29/1674.69 c rational objective 55
1724.84/1730.35 c #Conflicts: 608000 | #Constraints: 78840
1724.84/1730.35 c #Conflicts: 609000 | #Constraints: 79840
1724.84/1730.35 c #Conflicts: 610000 | #Constraints: 80840
1724.84/1730.35 c #Conflicts: 611000 | #Constraints: 81840
1724.84/1730.35 c #Conflicts: 612000 | #Constraints: 82840
1724.84/1730.35 c #Conflicts: 613000 | #Constraints: 83840
1724.84/1730.35 c #Conflicts: 614000 | #Constraints: 84840
1724.84/1730.35 c #Conflicts: 615000 | #Constraints: 85840
1724.84/1730.35 c #Conflicts: 616000 | #Constraints: 86840
1724.84/1730.35 c #Conflicts: 617000 | #Constraints: 87840
1724.84/1730.35 c #Conflicts: 618000 | #Constraints: 88840
1724.84/1730.35 c #Conflicts: 619000 | #Constraints: 89840
1724.84/1730.35 c #Conflicts: 620000 | #Constraints: 90840
1724.84/1730.35 c #Conflicts: 621000 | #Constraints: 91840
1724.84/1730.35 c #Conflicts: 622000 | #Constraints: 92840
1724.84/1730.35 c #Conflicts: 623000 | #Constraints: 93840
1724.84/1730.35 c INPROCESSING
1724.84/1730.35 c GARBAGE COLLECT
1724.84/1730.35 c rational objective 55
1770.42/1776.08 c #Conflicts: 624000 | #Constraints: 79271
1770.42/1776.08 c #Conflicts: 625000 | #Constraints: 80271
1770.42/1776.08 c #Conflicts: 626000 | #Constraints: 81271
1770.42/1776.08 c #Conflicts: 627000 | #Constraints: 82271
1770.42/1776.08 c #Conflicts: 628000 | #Constraints: 83271
1770.42/1776.08 c #Conflicts: 629000 | #Constraints: 84271
1770.42/1776.08 c #Conflicts: 630000 | #Constraints: 85271
1770.42/1776.08 c #Conflicts: 631000 | #Constraints: 86271
1770.42/1776.08 c #Conflicts: 632000 | #Constraints: 87271
1770.42/1776.08 c #Conflicts: 633000 | #Constraints: 88271
1770.42/1776.08 c #Conflicts: 634000 | #Constraints: 89271
1770.42/1776.08 c #Conflicts: 635000 | #Constraints: 90271
1770.42/1776.08 c #Conflicts: 636000 | #Constraints: 91271
1770.42/1776.08 c #Conflicts: 637000 | #Constraints: 92271
1770.42/1776.08 c #Conflicts: 638000 | #Constraints: 93271
1770.42/1776.08 c #Conflicts: 639000 | #Constraints: 94271
1770.42/1776.08 c INPROCESSING
1770.42/1776.08 c GARBAGE COLLECT
1770.42/1776.08 c rational objective 55
1824.75/1830.51 c #Conflicts: 640000 | #Constraints: 79460
1824.75/1830.51 c #Conflicts: 641000 | #Constraints: 80460
1824.75/1830.51 c #Conflicts: 642000 | #Constraints: 81460
1824.75/1830.51 c #Conflicts: 643000 | #Constraints: 82460
1824.75/1830.51 c #Conflicts: 644000 | #Constraints: 83460
1824.75/1830.51 c #Conflicts: 645000 | #Constraints: 84460
1824.75/1830.51 c #Conflicts: 646000 | #Constraints: 85460
1824.75/1830.51 c #Conflicts: 647000 | #Constraints: 86460
1824.75/1830.51 c #Conflicts: 648000 | #Constraints: 87460
1824.75/1830.51 c #Conflicts: 649000 | #Constraints: 88460
1824.75/1830.51 c #Conflicts: 650000 | #Constraints: 89460
1824.75/1830.51 c #Conflicts: 651000 | #Constraints: 90460
1824.75/1830.51 c #Conflicts: 652000 | #Constraints: 91460
1824.75/1830.51 c #Conflicts: 653000 | #Constraints: 92460
1824.75/1830.51 c #Conflicts: 654000 | #Constraints: 93460
1824.75/1830.51 c #Conflicts: 655000 | #Constraints: 94460
1824.75/1830.51 c INPROCESSING
1824.75/1830.51 c GARBAGE COLLECT
1824.75/1830.51 c rational objective 55
1867.61/1873.54 c #Conflicts: 656000 | #Constraints: 79480
1867.61/1873.54 c #Conflicts: 657000 | #Constraints: 80480
1867.61/1873.54 c #Conflicts: 658000 | #Constraints: 81480
1867.61/1873.54 c #Conflicts: 659000 | #Constraints: 82480
1867.61/1873.54 c #Conflicts: 660000 | #Constraints: 83480
1867.61/1873.54 c #Conflicts: 661000 | #Constraints: 84480
1867.61/1873.54 c #Conflicts: 662000 | #Constraints: 85480
1867.61/1873.54 c #Conflicts: 663000 | #Constraints: 86480
1867.61/1873.54 c #Conflicts: 664000 | #Constraints: 87480
1867.61/1873.54 c #Conflicts: 665000 | #Constraints: 88480
1867.61/1873.54 c #Conflicts: 666000 | #Constraints: 89480
1867.61/1873.54 c #Conflicts: 667000 | #Constraints: 90480
1867.61/1873.54 c #Conflicts: 668000 | #Constraints: 91480
1867.61/1873.54 c #Conflicts: 669000 | #Constraints: 92480
1867.61/1873.54 c #Conflicts: 670000 | #Constraints: 93480
1867.61/1873.54 c #Conflicts: 671000 | #Constraints: 94480
1867.61/1873.54 c INPROCESSING
1867.61/1873.54 c GARBAGE COLLECT
1867.61/1873.54 c #Conflicts: 672000 | #Constraints: 79251
1867.61/1873.54 c #Conflicts: 673000 | #Constraints: 80251
1867.61/1873.54 c #Conflicts: 674000 | #Constraints: 81251
1867.61/1873.54 c #Conflicts: 675000 | #Constraints: 82251
1867.61/1873.54 c #Conflicts: 676000 | #Constraints: 83251
1867.61/1873.54 c #Conflicts: 677000 | #Constraints: 84251
1867.61/1873.54 c #Conflicts: 678000 | #Constraints: 85251
1867.61/1873.54 c #Conflicts: 679000 | #Constraints: 86251
1867.61/1873.54 c #Conflicts: 680000 | #Constraints: 87251
1867.61/1873.54 c #Conflicts: 681000 | #Constraints: 88251
1867.61/1873.54 c #Conflicts: 682000 | #Constraints: 89251
1867.61/1873.54 c #Conflicts: 683000 | #Constraints: 90251
1867.61/1873.54 c #Conflicts: 684000 | #Constraints: 91251
1867.61/1873.54 c #Conflicts: 685000 | #Constraints: 92251
1867.61/1873.54 c #Conflicts: 686000 | #Constraints: 93251
1867.61/1873.54 c #Conflicts: 687000 | #Constraints: 94251
1867.61/1873.54 c #Conflicts: 688000 | #Constraints: 95251
1867.61/1873.54 c INPROCESSING
1867.61/1873.54 c GARBAGE COLLECT
1867.61/1873.54 c rational objective 55
1921.93/1928.03 c #Conflicts: 689000 | #Constraints: 79841
1921.93/1928.03 c #Conflicts: 690000 | #Constraints: 80841
1921.93/1928.03 c #Conflicts: 691000 | #Constraints: 81841
1921.93/1928.03 c #Conflicts: 692000 | #Constraints: 82841
1921.93/1928.03 c #Conflicts: 693000 | #Constraints: 83841
1921.93/1928.03 c #Conflicts: 694000 | #Constraints: 84841
1921.93/1928.03 c #Conflicts: 695000 | #Constraints: 85841
1921.93/1928.03 c #Conflicts: 696000 | #Constraints: 86841
1921.93/1928.03 c #Conflicts: 697000 | #Constraints: 87841
1921.93/1928.03 c #Conflicts: 698000 | #Constraints: 88841
1921.93/1928.03 c #Conflicts: 699000 | #Constraints: 89841
1921.93/1928.03 c #Conflicts: 700000 | #Constraints: 90841
1921.93/1928.03 c #Conflicts: 701000 | #Constraints: 91841
1921.93/1928.03 c #Conflicts: 702000 | #Constraints: 92841
1921.93/1928.03 c #Conflicts: 703000 | #Constraints: 93841
1921.93/1928.03 c #Conflicts: 704000 | #Constraints: 94841
1921.93/1928.03 c #Conflicts: 705000 | #Constraints: 95841
1921.93/1928.03 c INPROCESSING
1921.93/1928.03 c GARBAGE COLLECT
1921.93/1928.03 c rational objective 55
1970.15/1976.43 c #Conflicts: 706000 | #Constraints: 80238
1970.15/1976.43 c #Conflicts: 707000 | #Constraints: 81238
1970.15/1976.43 c #Conflicts: 708000 | #Constraints: 82238
1970.15/1976.43 c #Conflicts: 709000 | #Constraints: 83238
1970.15/1976.43 c #Conflicts: 710000 | #Constraints: 84238
1970.15/1976.43 c #Conflicts: 711000 | #Constraints: 85238
1970.15/1976.43 c #Conflicts: 712000 | #Constraints: 86238
1970.15/1976.43 c #Conflicts: 713000 | #Constraints: 87238
1970.15/1976.43 c #Conflicts: 714000 | #Constraints: 88238
1970.15/1976.43 c #Conflicts: 715000 | #Constraints: 89238
1970.15/1976.43 c #Conflicts: 716000 | #Constraints: 90238
1970.15/1976.43 c #Conflicts: 717000 | #Constraints: 91238
1970.15/1976.43 c #Conflicts: 718000 | #Constraints: 92238
1970.15/1976.43 c #Conflicts: 719000 | #Constraints: 93238
1970.15/1976.43 c #Conflicts: 720000 | #Constraints: 94238
1970.15/1976.43 c #Conflicts: 721000 | #Constraints: 95238
1970.15/1976.43 c #Conflicts: 722000 | #Constraints: 96238
1970.15/1976.43 c INPROCESSING
1970.15/1976.43 c GARBAGE COLLECT
1970.15/1976.43 c rational objective 55
2021.98/2028.44 c #Conflicts: 723000 | #Constraints: 80469
2021.98/2028.44 c #Conflicts: 724000 | #Constraints: 81469
2021.98/2028.44 c #Conflicts: 725000 | #Constraints: 82469
2021.98/2028.44 c #Conflicts: 726000 | #Constraints: 83469
2021.98/2028.44 c #Conflicts: 727000 | #Constraints: 84469
2021.98/2028.44 c #Conflicts: 728000 | #Constraints: 85469
2021.98/2028.44 c #Conflicts: 729000 | #Constraints: 86469
2021.98/2028.44 c #Conflicts: 730000 | #Constraints: 87469
2021.98/2028.44 c #Conflicts: 731000 | #Constraints: 88469
2021.98/2028.44 c #Conflicts: 732000 | #Constraints: 89469
2021.98/2028.44 c #Conflicts: 733000 | #Constraints: 90469
2021.98/2028.44 c #Conflicts: 734000 | #Constraints: 91469
2021.98/2028.44 c #Conflicts: 735000 | #Constraints: 92469
2021.98/2028.44 c #Conflicts: 736000 | #Constraints: 93469
2021.98/2028.44 c #Conflicts: 737000 | #Constraints: 94469
2021.98/2028.44 c #Conflicts: 738000 | #Constraints: 95469
2021.98/2028.44 c #Conflicts: 739000 | #Constraints: 96469
2021.98/2028.44 c INPROCESSING
2021.98/2028.44 c GARBAGE COLLECT
2021.98/2028.44 c rational objective 55
2070.12/2076.80 c #Conflicts: 740000 | #Constraints: 80492
2070.12/2076.80 c #Conflicts: 741000 | #Constraints: 81492
2070.12/2076.80 c #Conflicts: 742000 | #Constraints: 82492
2070.12/2076.80 c #Conflicts: 743000 | #Constraints: 83492
2070.12/2076.80 c #Conflicts: 744000 | #Constraints: 84492
2070.12/2076.80 c #Conflicts: 745000 | #Constraints: 85492
2070.12/2076.80 c #Conflicts: 746000 | #Constraints: 86492
2070.12/2076.80 c #Conflicts: 747000 | #Constraints: 87492
2070.12/2076.80 c #Conflicts: 748000 | #Constraints: 88492
2070.12/2076.80 c #Conflicts: 749000 | #Constraints: 89492
2070.12/2076.80 c #Conflicts: 750000 | #Constraints: 90492
2070.12/2076.80 c #Conflicts: 751000 | #Constraints: 91492
2070.12/2076.80 c #Conflicts: 752000 | #Constraints: 92492
2070.12/2076.80 c #Conflicts: 753000 | #Constraints: 93492
2070.12/2076.80 c #Conflicts: 754000 | #Constraints: 94492
2070.12/2076.80 c #Conflicts: 755000 | #Constraints: 95492
2070.12/2076.80 c #Conflicts: 756000 | #Constraints: 96492
2070.12/2076.80 c INPROCESSING
2070.12/2076.80 c GARBAGE COLLECT
2070.12/2076.80 c rational objective 55
2126.35/2133.19 c #Conflicts: 757000 | #Constraints: 80270
2126.35/2133.19 c #Conflicts: 758000 | #Constraints: 81270
2126.35/2133.19 c #Conflicts: 759000 | #Constraints: 82270
2126.35/2133.19 c #Conflicts: 760000 | #Constraints: 83270
2126.35/2133.19 c #Conflicts: 761000 | #Constraints: 84270
2126.35/2133.19 c #Conflicts: 762000 | #Constraints: 85270
2126.35/2133.19 c #Conflicts: 763000 | #Constraints: 86270
2126.35/2133.19 c #Conflicts: 764000 | #Constraints: 87270
2126.35/2133.19 c #Conflicts: 765000 | #Constraints: 88270
2126.35/2133.19 c #Conflicts: 766000 | #Constraints: 89270
2126.35/2133.19 c #Conflicts: 767000 | #Constraints: 90270
2126.35/2133.19 c #Conflicts: 768000 | #Constraints: 91270
2126.35/2133.19 c #Conflicts: 769000 | #Constraints: 92270
2126.35/2133.19 c #Conflicts: 770000 | #Constraints: 93270
2126.35/2133.19 c #Conflicts: 771000 | #Constraints: 94270
2126.35/2133.19 c #Conflicts: 772000 | #Constraints: 95270
2126.35/2133.19 c #Conflicts: 773000 | #Constraints: 96270
2126.35/2133.19 c #Conflicts: 774000 | #Constraints: 97270
2126.35/2133.19 c INPROCESSING
2126.35/2133.19 c GARBAGE COLLECT
2126.35/2133.19 c rational objective 55
2186.63/2193.67 c #Conflicts: 775000 | #Constraints: 80872
2186.63/2193.67 c #Conflicts: 776000 | #Constraints: 81872
2186.63/2193.67 c #Conflicts: 777000 | #Constraints: 82872
2186.63/2193.67 c #Conflicts: 778000 | #Constraints: 83872
2186.63/2193.67 c #Conflicts: 779000 | #Constraints: 84872
2186.63/2193.67 c #Conflicts: 780000 | #Constraints: 85872
2186.63/2193.67 c #Conflicts: 781000 | #Constraints: 86872
2186.63/2193.67 c #Conflicts: 782000 | #Constraints: 87872
2186.63/2193.67 c #Conflicts: 783000 | #Constraints: 88872
2186.63/2193.67 c #Conflicts: 784000 | #Constraints: 89872
2186.63/2193.67 c #Conflicts: 785000 | #Constraints: 90872
2186.63/2193.67 c #Conflicts: 786000 | #Constraints: 91872
2186.63/2193.67 c #Conflicts: 787000 | #Constraints: 92872
2186.63/2193.67 c #Conflicts: 788000 | #Constraints: 93872
2186.63/2193.67 c #Conflicts: 789000 | #Constraints: 94872
2186.63/2193.67 c #Conflicts: 790000 | #Constraints: 95872
2186.63/2193.67 c #Conflicts: 791000 | #Constraints: 96872
2186.63/2193.67 c #Conflicts: 792000 | #Constraints: 97872
2186.63/2193.67 c INPROCESSING
2186.63/2193.67 c GARBAGE COLLECT
2186.63/2193.67 c rational objective 55
2219.21/2226.34 c #Conflicts: 793000 | #Constraints: 81289
2219.21/2226.34 c #Conflicts: 794000 | #Constraints: 82289
2219.21/2226.34 c #Conflicts: 795000 | #Constraints: 83289
2219.21/2226.34 c #Conflicts: 796000 | #Constraints: 84289
2219.21/2226.34 c #Conflicts: 797000 | #Constraints: 85289
2219.21/2226.34 c #Conflicts: 798000 | #Constraints: 86289
2219.21/2226.34 c #Conflicts: 799000 | #Constraints: 87289
2219.21/2226.34 c #Conflicts: 800000 | #Constraints: 88289
2219.21/2226.34 c #Conflicts: 801000 | #Constraints: 89289
2219.21/2226.34 c #Conflicts: 802000 | #Constraints: 90289
2219.21/2226.34 c #Conflicts: 803000 | #Constraints: 91289
2219.21/2226.34 c #Conflicts: 804000 | #Constraints: 92289
2219.21/2226.34 c #Conflicts: 805000 | #Constraints: 93289
2219.21/2226.34 c #Conflicts: 806000 | #Constraints: 94289
2219.21/2226.34 c #Conflicts: 807000 | #Constraints: 95289
2219.21/2226.34 c #Conflicts: 808000 | #Constraints: 96289
2219.21/2226.34 c #Conflicts: 809000 | #Constraints: 97289
2219.21/2226.34 c #Conflicts: 810000 | #Constraints: 98289
2219.21/2226.34 c INPROCESSING
2219.21/2226.34 c GARBAGE COLLECT
2219.21/2226.34 c rational objective 55
2282.09/2289.48 c #Conflicts: 811000 | #Constraints: 81462
2282.09/2289.48 c #Conflicts: 812000 | #Constraints: 82462
2282.09/2289.48 c #Conflicts: 813000 | #Constraints: 83462
2282.09/2289.48 c #Conflicts: 814000 | #Constraints: 84462
2282.09/2289.48 c #Conflicts: 815000 | #Constraints: 85462
2282.09/2289.48 c #Conflicts: 816000 | #Constraints: 86462
2282.09/2289.48 c #Conflicts: 817000 | #Constraints: 87462
2282.09/2289.48 c #Conflicts: 818000 | #Constraints: 88462
2282.09/2289.48 c #Conflicts: 819000 | #Constraints: 89462
2282.09/2289.48 c #Conflicts: 820000 | #Constraints: 90462
2282.09/2289.48 c #Conflicts: 821000 | #Constraints: 91462
2282.09/2289.48 c #Conflicts: 822000 | #Constraints: 92462
2282.09/2289.48 c #Conflicts: 823000 | #Constraints: 93462
2282.09/2289.48 c #Conflicts: 824000 | #Constraints: 94462
2282.09/2289.48 c #Conflicts: 825000 | #Constraints: 95462
2282.09/2289.48 c #Conflicts: 826000 | #Constraints: 96462
2282.09/2289.48 c #Conflicts: 827000 | #Constraints: 97462
2282.09/2289.48 c #Conflicts: 828000 | #Constraints: 98462
2282.09/2289.48 c INPROCESSING
2282.09/2289.48 c GARBAGE COLLECT
2282.09/2289.48 c rational objective 55
2336.79/2344.35 c #Conflicts: 829000 | #Constraints: 81449
2336.79/2344.35 c #Conflicts: 830000 | #Constraints: 82449
2336.79/2344.35 c #Conflicts: 831000 | #Constraints: 83449
2336.79/2344.35 c #Conflicts: 832000 | #Constraints: 84449
2336.79/2344.35 c #Conflicts: 833000 | #Constraints: 85449
2336.79/2344.35 c #Conflicts: 834000 | #Constraints: 86449
2336.79/2344.35 c #Conflicts: 835000 | #Constraints: 87449
2336.79/2344.35 c #Conflicts: 836000 | #Constraints: 88449
2336.79/2344.35 c #Conflicts: 837000 | #Constraints: 89449
2336.79/2344.35 c #Conflicts: 838000 | #Constraints: 90449
2336.79/2344.35 c #Conflicts: 839000 | #Constraints: 91449
2336.79/2344.35 c #Conflicts: 840000 | #Constraints: 92449
2336.79/2344.35 c #Conflicts: 841000 | #Constraints: 93449
2336.79/2344.35 c #Conflicts: 842000 | #Constraints: 94449
2336.79/2344.35 c #Conflicts: 843000 | #Constraints: 95449
2336.79/2344.35 c #Conflicts: 844000 | #Constraints: 96449
2336.79/2344.35 c #Conflicts: 845000 | #Constraints: 97449
2336.79/2344.35 c #Conflicts: 846000 | #Constraints: 98449
2336.79/2344.35 c INPROCESSING
2336.79/2344.35 c GARBAGE COLLECT
2336.79/2344.35 c rational objective 55
2403.39/2411.12 c #Conflicts: 847000 | #Constraints: 81247
2403.39/2411.12 c #Conflicts: 848000 | #Constraints: 82247
2403.39/2411.12 c #Conflicts: 849000 | #Constraints: 83247
2403.39/2411.12 c #Conflicts: 850000 | #Constraints: 84247
2403.39/2411.12 c #Conflicts: 851000 | #Constraints: 85247
2403.39/2411.12 c #Conflicts: 852000 | #Constraints: 86247
2403.39/2411.12 c #Conflicts: 853000 | #Constraints: 87247
2403.39/2411.12 c #Conflicts: 854000 | #Constraints: 88247
2403.39/2411.12 c #Conflicts: 855000 | #Constraints: 89247
2403.39/2411.12 c #Conflicts: 856000 | #Constraints: 90247
2403.39/2411.12 c #Conflicts: 857000 | #Constraints: 91247
2403.39/2411.12 c #Conflicts: 858000 | #Constraints: 92247
2403.39/2411.12 c #Conflicts: 859000 | #Constraints: 93247
2403.39/2411.12 c #Conflicts: 860000 | #Constraints: 94247
2403.39/2411.12 c #Conflicts: 861000 | #Constraints: 95247
2403.39/2411.12 c #Conflicts: 862000 | #Constraints: 96247
2403.39/2411.12 c #Conflicts: 863000 | #Constraints: 97247
2403.39/2411.12 c #Conflicts: 864000 | #Constraints: 98247
2403.39/2411.12 c #Conflicts: 865000 | #Constraints: 99247
2403.39/2411.12 c INPROCESSING
2403.39/2411.12 c GARBAGE COLLECT
2403.39/2411.12 c rational objective 55
2507.48/2515.59 c #Conflicts: 866000 | #Constraints: 81856
2507.48/2515.59 c #Conflicts: 867000 | #Constraints: 82856
2507.48/2515.59 c #Conflicts: 868000 | #Constraints: 83856
2507.48/2515.59 c #Conflicts: 869000 | #Constraints: 84856
2507.48/2515.59 c #Conflicts: 870000 | #Constraints: 85856
2507.48/2515.59 c #Conflicts: 871000 | #Constraints: 86856
2507.48/2515.59 c #Conflicts: 872000 | #Constraints: 87856
2507.48/2515.59 c #Conflicts: 873000 | #Constraints: 88856
2507.48/2515.59 c #Conflicts: 874000 | #Constraints: 89856
2507.48/2515.59 c #Conflicts: 875000 | #Constraints: 90856
2507.48/2515.59 c #Conflicts: 876000 | #Constraints: 91856
2507.48/2515.59 c #Conflicts: 877000 | #Constraints: 92856
2507.48/2515.59 c #Conflicts: 878000 | #Constraints: 93856
2507.48/2515.59 c #Conflicts: 879000 | #Constraints: 94856
2507.48/2515.59 c #Conflicts: 880000 | #Constraints: 95856
2507.48/2515.59 c #Conflicts: 881000 | #Constraints: 96856
2507.48/2515.59 c #Conflicts: 882000 | #Constraints: 97856
2507.48/2515.59 c #Conflicts: 883000 | #Constraints: 98856
2507.48/2515.59 c #Conflicts: 884000 | #Constraints: 99856
2507.48/2515.59 c INPROCESSING
2507.48/2515.59 c GARBAGE COLLECT
2507.48/2515.59 c rational objective 55
2635.31/2643.74 c #Conflicts: 885000 | #Constraints: 82255
2635.31/2643.74 c #Conflicts: 886000 | #Constraints: 83255
2635.31/2643.74 c #Conflicts: 887000 | #Constraints: 84255
2635.31/2643.74 c #Conflicts: 888000 | #Constraints: 85255
2635.31/2643.74 c #Conflicts: 889000 | #Constraints: 86255
2635.31/2643.74 c #Conflicts: 890000 | #Constraints: 87255
2635.31/2643.74 c #Conflicts: 891000 | #Constraints: 88255
2635.31/2643.74 c #Conflicts: 892000 | #Constraints: 89255
2635.31/2643.74 c #Conflicts: 893000 | #Constraints: 90255
2635.31/2643.74 c #Conflicts: 894000 | #Constraints: 91255
2635.31/2643.74 c #Conflicts: 895000 | #Constraints: 92255
2635.31/2643.74 c #Conflicts: 896000 | #Constraints: 93255
2635.31/2643.74 c #Conflicts: 897000 | #Constraints: 94255
2635.31/2643.74 c #Conflicts: 898000 | #Constraints: 95255
2635.31/2643.74 c #Conflicts: 899000 | #Constraints: 96255
2635.31/2643.74 c #Conflicts: 900000 | #Constraints: 97255
2635.31/2643.74 c #Conflicts: 901000 | #Constraints: 98255
2635.31/2643.74 c #Conflicts: 902000 | #Constraints: 99255
2635.31/2643.74 c #Conflicts: 903000 | #Constraints: 100255
2635.31/2643.74 c INPROCESSING
2635.31/2643.74 c GARBAGE COLLECT
2635.31/2643.74 c rational objective 55
2841.65/2850.67 c #Conflicts: 904000 | #Constraints: 82453
2841.65/2850.67 c #Conflicts: 905000 | #Constraints: 83453
2841.65/2850.67 c #Conflicts: 906000 | #Constraints: 84453
2841.65/2850.67 c #Conflicts: 907000 | #Constraints: 85453
2841.65/2850.67 c #Conflicts: 908000 | #Constraints: 86453
2841.65/2850.67 c #Conflicts: 909000 | #Constraints: 87453
2841.65/2850.67 c #Conflicts: 910000 | #Constraints: 88453
2841.65/2850.67 c #Conflicts: 911000 | #Constraints: 89453
2841.65/2850.67 c #Conflicts: 912000 | #Constraints: 90453
2841.65/2850.67 c #Conflicts: 913000 | #Constraints: 91453
2841.65/2850.67 c #Conflicts: 914000 | #Constraints: 92453
2841.65/2850.67 c #Conflicts: 915000 | #Constraints: 93453
2841.65/2850.67 c #Conflicts: 916000 | #Constraints: 94453
2841.65/2850.67 c #Conflicts: 917000 | #Constraints: 95453
2841.65/2850.67 c #Conflicts: 918000 | #Constraints: 96453
2841.65/2850.67 c #Conflicts: 919000 | #Constraints: 97453
2841.65/2850.67 c #Conflicts: 920000 | #Constraints: 98453
2841.65/2850.67 c #Conflicts: 921000 | #Constraints: 99453
2841.65/2850.67 c #Conflicts: 922000 | #Constraints: 100453
2841.65/2850.67 c INPROCESSING
2841.65/2850.67 c GARBAGE COLLECT
2841.65/2850.67 c #Conflicts: 923000 | #Constraints: 82443
2841.65/2850.67 c #Conflicts: 924000 | #Constraints: 83443
2841.65/2850.67 c #Conflicts: 925000 | #Constraints: 84443
2841.65/2850.67 c #Conflicts: 926000 | #Constraints: 85443
2841.65/2850.67 c #Conflicts: 927000 | #Constraints: 86443
2841.65/2850.67 c #Conflicts: 928000 | #Constraints: 87443
2841.65/2850.67 c #Conflicts: 929000 | #Constraints: 88443
2841.65/2850.67 c #Conflicts: 930000 | #Constraints: 89443
2841.65/2850.67 c #Conflicts: 931000 | #Constraints: 90443
2841.65/2850.67 c #Conflicts: 932000 | #Constraints: 91443
2841.65/2850.67 c #Conflicts: 933000 | #Constraints: 92443
2841.65/2850.67 c #Conflicts: 934000 | #Constraints: 93443
2841.65/2850.67 c #Conflicts: 935000 | #Constraints: 94443
2841.65/2850.67 c #Conflicts: 936000 | #Constraints: 95443
2841.65/2850.67 c #Conflicts: 937000 | #Constraints: 96443
2841.65/2850.67 c #Conflicts: 938000 | #Constraints: 97443
2841.65/2850.67 c #Conflicts: 939000 | #Constraints: 98443
2841.65/2850.67 c #Conflicts: 940000 | #Constraints: 99443
2841.65/2850.67 c #Conflicts: 941000 | #Constraints: 100443
2841.65/2850.67 c INPROCESSING
2841.65/2850.67 c GARBAGE COLLECT
2841.65/2850.67 c #Conflicts: 942000 | #Constraints: 82241
2841.65/2850.67 c #Conflicts: 943000 | #Constraints: 83241
2841.65/2850.67 c #Conflicts: 944000 | #Constraints: 84241
2841.65/2850.67 c #Conflicts: 945000 | #Constraints: 85241
2841.65/2850.67 c #Conflicts: 946000 | #Constraints: 86241
2841.65/2850.67 c #Conflicts: 947000 | #Constraints: 87241
2841.65/2850.67 c #Conflicts: 948000 | #Constraints: 88241
2841.65/2850.67 c #Conflicts: 949000 | #Constraints: 89241
2841.65/2850.67 c #Conflicts: 950000 | #Constraints: 90241
2841.65/2850.67 c #Conflicts: 951000 | #Constraints: 91241
2841.65/2850.67 c #Conflicts: 952000 | #Constraints: 92241
2841.65/2850.67 c #Conflicts: 953000 | #Constraints: 93241
2841.65/2850.67 c #Conflicts: 954000 | #Constraints: 94241
2841.65/2850.67 c #Conflicts: 955000 | #Constraints: 95241
2841.65/2850.67 c #Conflicts: 956000 | #Constraints: 96241
2841.65/2850.67 c #Conflicts: 957000 | #Constraints: 97241
2841.65/2850.67 c #Conflicts: 958000 | #Constraints: 98241
2841.65/2850.67 c #Conflicts: 959000 | #Constraints: 99241
2841.65/2850.67 c #Conflicts: 960000 | #Constraints: 100241
2841.65/2850.67 c #Conflicts: 961000 | #Constraints: 101241
2841.65/2850.67 c INPROCESSING
2841.65/2850.67 c GARBAGE COLLECT
2841.65/2850.67 c #Conflicts: 962000 | #Constraints: 82839
2841.65/2850.67 c #Conflicts: 963000 | #Constraints: 83839
2841.65/2850.67 c #Conflicts: 964000 | #Constraints: 84839
2841.65/2850.67 c #Conflicts: 965000 | #Constraints: 85839
2841.65/2850.67 c #Conflicts: 966000 | #Constraints: 86839
2841.65/2850.67 c #Conflicts: 967000 | #Constraints: 87839
2841.65/2850.67 c #Conflicts: 968000 | #Constraints: 88839
2841.65/2850.67 c #Conflicts: 969000 | #Constraints: 89839
2841.65/2850.67 c #Conflicts: 970000 | #Constraints: 90839
2841.65/2850.67 c #Conflicts: 971000 | #Constraints: 91839
2841.65/2850.67 c #Conflicts: 972000 | #Constraints: 92839
2841.65/2850.67 c #Conflicts: 973000 | #Constraints: 93839
2841.65/2850.67 c #Conflicts: 974000 | #Constraints: 94839
2841.65/2850.67 c #Conflicts: 975000 | #Constraints: 95839
2841.65/2850.67 c #Conflicts: 976000 | #Constraints: 96839
2841.65/2850.67 c #Conflicts: 977000 | #Constraints: 97839
2841.65/2850.67 c #Conflicts: 978000 | #Constraints: 98839
2841.65/2850.67 c #Conflicts: 979000 | #Constraints: 99839
2841.65/2850.67 c #Conflicts: 980000 | #Constraints: 100839
2850.42/2859.49 c #Conflicts: 981000 | #Constraints: 101839
2850.42/2859.49 c INPROCESSING
2850.42/2859.49 c GARBAGE COLLECT
2850.42/2859.49 c rational objective 55
3093.50/3103.22 c #Conflicts: 982000 | #Constraints: 83243
3093.50/3103.22 c #Conflicts: 983000 | #Constraints: 84243
3093.50/3103.22 c #Conflicts: 984000 | #Constraints: 85243
3093.50/3103.22 c #Conflicts: 985000 | #Constraints: 86243
3093.50/3103.22 c #Conflicts: 986000 | #Constraints: 87243
3093.50/3103.22 c #Conflicts: 987000 | #Constraints: 88243
3093.50/3103.22 c #Conflicts: 988000 | #Constraints: 89243
3093.50/3103.22 c #Conflicts: 989000 | #Constraints: 90243
3093.50/3103.22 c #Conflicts: 990000 | #Constraints: 91243
3093.50/3103.22 c #Conflicts: 991000 | #Constraints: 92243
3093.50/3103.22 c #Conflicts: 992000 | #Constraints: 93243
3093.50/3103.22 c #Conflicts: 993000 | #Constraints: 94243
3093.50/3103.22 c #Conflicts: 994000 | #Constraints: 95243
3093.50/3103.22 c #Conflicts: 995000 | #Constraints: 96243
3093.50/3103.22 c #Conflicts: 996000 | #Constraints: 97243
3093.50/3103.22 c #Conflicts: 997000 | #Constraints: 98243
3093.50/3103.22 c #Conflicts: 998000 | #Constraints: 99243
3093.50/3103.22 c #Conflicts: 999000 | #Constraints: 100243
3093.50/3103.22 c #Conflicts: 1000000 | #Constraints: 101243
3093.50/3103.22 c #Conflicts: 1001000 | #Constraints: 102243
3093.50/3103.22 c INPROCESSING
3093.50/3103.22 c GARBAGE COLLECT
3093.50/3103.22 c #Conflicts: 1002000 | #Constraints: 83436
3093.50/3103.22 c #Conflicts: 1003000 | #Constraints: 84436
3093.50/3103.22 c #Conflicts: 1004000 | #Constraints: 85436
3093.50/3103.22 c #Conflicts: 1005000 | #Constraints: 86436
3093.50/3103.22 c #Conflicts: 1006000 | #Constraints: 87436
3093.50/3103.22 c #Conflicts: 1007000 | #Constraints: 88436
3093.50/3103.22 c #Conflicts: 1008000 | #Constraints: 89436
3093.50/3103.22 c #Conflicts: 1009000 | #Constraints: 90436
3093.50/3103.22 c #Conflicts: 1010000 | #Constraints: 91436
3093.50/3103.22 c #Conflicts: 1011000 | #Constraints: 92436
3093.50/3103.22 c #Conflicts: 1012000 | #Constraints: 93436
3093.50/3103.22 c #Conflicts: 1013000 | #Constraints: 94436
3093.50/3103.22 c #Conflicts: 1014000 | #Constraints: 95436
3093.50/3103.22 c #Conflicts: 1015000 | #Constraints: 96436
3093.50/3103.22 c #Conflicts: 1016000 | #Constraints: 97436
3093.50/3103.22 c #Conflicts: 1017000 | #Constraints: 98436
3093.50/3103.22 c #Conflicts: 1018000 | #Constraints: 99436
3093.50/3103.22 c #Conflicts: 1019000 | #Constraints: 100436
3093.50/3103.22 c #Conflicts: 1020000 | #Constraints: 101436
3093.50/3103.22 c #Conflicts: 1021000 | #Constraints: 102436
3093.50/3103.22 c INPROCESSING
3093.50/3103.22 c GARBAGE COLLECT
3093.50/3103.22 c #Conflicts: 1022000 | #Constraints: 83444
3093.50/3103.22 c #Conflicts: 1023000 | #Constraints: 84444
3093.50/3103.22 c #Conflicts: 1024000 | #Constraints: 85444
3093.50/3103.22 c #Conflicts: 1025000 | #Constraints: 86444
3093.50/3103.22 c #Conflicts: 1026000 | #Constraints: 87444
3093.50/3103.22 c #Conflicts: 1027000 | #Constraints: 88444
3093.50/3103.22 c #Conflicts: 1028000 | #Constraints: 89444
3093.50/3103.22 c #Conflicts: 1029000 | #Constraints: 90444
3093.50/3103.22 c #Conflicts: 1030000 | #Constraints: 91444
3093.50/3103.22 c #Conflicts: 1031000 | #Constraints: 92444
3093.50/3103.22 c #Conflicts: 1032000 | #Constraints: 93444
3093.50/3103.22 c #Conflicts: 1033000 | #Constraints: 94444
3093.50/3103.22 c #Conflicts: 1034000 | #Constraints: 95444
3093.50/3103.22 c #Conflicts: 1035000 | #Constraints: 96444
3093.50/3103.22 c #Conflicts: 1036000 | #Constraints: 97444
3093.50/3103.22 c #Conflicts: 1037000 | #Constraints: 98444
3093.50/3103.22 c #Conflicts: 1038000 | #Constraints: 99444
3093.50/3103.22 c #Conflicts: 1039000 | #Constraints: 100444
3093.50/3103.22 c #Conflicts: 1040000 | #Constraints: 101444
3093.50/3103.22 c #Conflicts: 1041000 | #Constraints: 102444
3093.50/3103.22 c INPROCESSING
3093.50/3103.22 c GARBAGE COLLECT
3093.50/3103.22 c #Conflicts: 1042000 | #Constraints: 83239
3093.50/3103.22 c #Conflicts: 1043000 | #Constraints: 84239
3093.50/3103.22 c #Conflicts: 1044000 | #Constraints: 85239
3093.50/3103.22 c #Conflicts: 1045000 | #Constraints: 86239
3093.50/3103.22 c #Conflicts: 1046000 | #Constraints: 87239
3093.50/3103.22 c #Conflicts: 1047000 | #Constraints: 88239
3093.50/3103.22 c #Conflicts: 1048000 | #Constraints: 89239
3093.50/3103.22 c #Conflicts: 1049000 | #Constraints: 90239
3093.50/3103.22 c #Conflicts: 1050000 | #Constraints: 91239
3093.50/3103.22 c #Conflicts: 1051000 | #Constraints: 92239
3093.50/3103.22 c #Conflicts: 1052000 | #Constraints: 93239
3093.50/3103.22 c #Conflicts: 1053000 | #Constraints: 94239
3093.50/3103.22 c #Conflicts: 1054000 | #Constraints: 95239
3093.50/3103.22 c #Conflicts: 1055000 | #Constraints: 96239
3093.50/3103.22 c #Conflicts: 1056000 | #Constraints: 97239
3093.50/3103.22 c #Conflicts: 1057000 | #Constraints: 98239
3093.50/3103.22 c #Conflicts: 1058000 | #Constraints: 99239
3106.95/3116.73 c #Conflicts: 1059000 | #Constraints: 100239
3106.95/3116.73 c #Conflicts: 1060000 | #Constraints: 101239
3106.95/3116.73 c #Conflicts: 1061000 | #Constraints: 102239
3106.95/3116.73 c #Conflicts: 1062000 | #Constraints: 103239
3106.95/3116.73 c INPROCESSING
3106.95/3116.73 c GARBAGE COLLECT
3106.95/3116.73 c rational objective 55
3157.22/3167.14 c #Conflicts: 1063000 | #Constraints: 83843
3157.22/3167.14 c #Conflicts: 1064000 | #Constraints: 84843
3157.22/3167.14 c #Conflicts: 1065000 | #Constraints: 85843
3157.22/3167.14 c #Conflicts: 1066000 | #Constraints: 86843
3157.22/3167.14 c #Conflicts: 1067000 | #Constraints: 87843
3157.22/3167.14 c #Conflicts: 1068000 | #Constraints: 88843
3157.22/3167.14 c #Conflicts: 1069000 | #Constraints: 89843
3157.22/3167.14 c #Conflicts: 1070000 | #Constraints: 90843
3157.22/3167.14 c #Conflicts: 1071000 | #Constraints: 91843
3157.22/3167.14 c #Conflicts: 1072000 | #Constraints: 92843
3157.22/3167.14 c #Conflicts: 1073000 | #Constraints: 93843
3157.22/3167.14 c #Conflicts: 1074000 | #Constraints: 94843
3157.22/3167.14 c #Conflicts: 1075000 | #Constraints: 95843
3157.22/3167.14 c #Conflicts: 1076000 | #Constraints: 96843
3157.22/3167.14 c #Conflicts: 1077000 | #Constraints: 97843
3157.22/3167.14 c #Conflicts: 1078000 | #Constraints: 98843
3157.22/3167.14 c #Conflicts: 1079000 | #Constraints: 99843
3157.22/3167.14 c #Conflicts: 1080000 | #Constraints: 100843
3157.22/3167.14 c #Conflicts: 1081000 | #Constraints: 101843
3157.22/3167.14 c #Conflicts: 1082000 | #Constraints: 102843
3157.22/3167.14 c #Conflicts: 1083000 | #Constraints: 103843
3157.22/3167.14 c INPROCESSING
3157.22/3167.14 c GARBAGE COLLECT
3157.22/3167.14 c rational objective 55
3384.96/3395.56 c #Conflicts: 1084000 | #Constraints: 84248
3384.96/3395.56 c #Conflicts: 1085000 | #Constraints: 85248
3384.96/3395.56 c #Conflicts: 1086000 | #Constraints: 86248
3384.96/3395.56 c #Conflicts: 1087000 | #Constraints: 87248
3384.96/3395.56 c #Conflicts: 1088000 | #Constraints: 88248
3384.96/3395.56 c #Conflicts: 1089000 | #Constraints: 89248
3384.96/3395.56 c #Conflicts: 1090000 | #Constraints: 90248
3384.96/3395.56 c #Conflicts: 1091000 | #Constraints: 91248
3384.96/3395.56 c #Conflicts: 1092000 | #Constraints: 92248
3384.96/3395.56 c #Conflicts: 1093000 | #Constraints: 93248
3384.96/3395.56 c #Conflicts: 1094000 | #Constraints: 94248
3384.96/3395.56 c #Conflicts: 1095000 | #Constraints: 95248
3384.96/3395.56 c #Conflicts: 1096000 | #Constraints: 96248
3384.96/3395.56 c #Conflicts: 1097000 | #Constraints: 97248
3384.96/3395.56 c #Conflicts: 1098000 | #Constraints: 98248
3384.96/3395.56 c #Conflicts: 1099000 | #Constraints: 99248
3384.96/3395.56 c #Conflicts: 1100000 | #Constraints: 100248
3384.96/3395.56 c #Conflicts: 1101000 | #Constraints: 101248
3384.96/3395.56 c #Conflicts: 1102000 | #Constraints: 102248
3384.96/3395.56 c #Conflicts: 1103000 | #Constraints: 103248
3384.96/3395.56 c #Conflicts: 1104000 | #Constraints: 104248
3384.96/3395.56 c INPROCESSING
3384.96/3395.56 c GARBAGE COLLECT
3384.96/3395.56 c #Conflicts: 1105000 | #Constraints: 84443
3384.96/3395.56 c #Conflicts: 1106000 | #Constraints: 85443
3384.96/3395.56 c #Conflicts: 1107000 | #Constraints: 86443
3384.96/3395.56 c #Conflicts: 1108000 | #Constraints: 87443
3384.96/3395.56 c #Conflicts: 1109000 | #Constraints: 88443
3384.96/3395.56 c #Conflicts: 1110000 | #Constraints: 89443
3384.96/3395.56 c #Conflicts: 1111000 | #Constraints: 90443
3384.96/3395.56 c #Conflicts: 1112000 | #Constraints: 91443
3384.96/3395.56 c #Conflicts: 1113000 | #Constraints: 92443
3384.96/3395.56 c #Conflicts: 1114000 | #Constraints: 93443
3384.96/3395.56 c #Conflicts: 1115000 | #Constraints: 94443
3384.96/3395.56 c #Conflicts: 1116000 | #Constraints: 95443
3384.96/3395.56 c #Conflicts: 1117000 | #Constraints: 96443
3384.96/3395.56 c #Conflicts: 1118000 | #Constraints: 97443
3384.96/3395.56 c #Conflicts: 1119000 | #Constraints: 98443
3384.96/3395.56 c #Conflicts: 1120000 | #Constraints: 99443
3384.96/3395.56 c #Conflicts: 1121000 | #Constraints: 100443
3384.96/3395.56 c #Conflicts: 1122000 | #Constraints: 101443
3384.96/3395.56 c #Conflicts: 1123000 | #Constraints: 102443
3384.96/3395.56 c #Conflicts: 1124000 | #Constraints: 103443
3384.96/3395.56 c #Conflicts: 1125000 | #Constraints: 104443
3384.96/3395.56 c INPROCESSING
3384.96/3395.56 c GARBAGE COLLECT
3384.96/3395.56 c rational objective 55
3522.44/3533.46 c #Conflicts: 1126000 | #Constraints: 84457
3522.44/3533.46 c #Conflicts: 1127000 | #Constraints: 85457
3522.44/3533.46 c #Conflicts: 1128000 | #Constraints: 86457
3522.44/3533.46 c #Conflicts: 1129000 | #Constraints: 87457
3522.44/3533.46 c #Conflicts: 1130000 | #Constraints: 88457
3522.44/3533.46 c #Conflicts: 1131000 | #Constraints: 89457
3522.44/3533.46 c #Conflicts: 1132000 | #Constraints: 90457
3522.44/3533.46 c #Conflicts: 1133000 | #Constraints: 91457
3522.44/3533.46 c #Conflicts: 1134000 | #Constraints: 92457
3522.44/3533.46 c #Conflicts: 1135000 | #Constraints: 93457
3522.44/3533.46 c #Conflicts: 1136000 | #Constraints: 94457
3522.44/3533.46 c #Conflicts: 1137000 | #Constraints: 95457
3522.44/3533.46 c #Conflicts: 1138000 | #Constraints: 96457
3522.44/3533.46 c #Conflicts: 1139000 | #Constraints: 97457
3522.44/3533.46 c #Conflicts: 1140000 | #Constraints: 98457
3522.44/3533.46 c #Conflicts: 1141000 | #Constraints: 99457
3522.44/3533.46 c #Conflicts: 1142000 | #Constraints: 100457
3522.44/3533.46 c #Conflicts: 1143000 | #Constraints: 101457
3522.44/3533.46 c #Conflicts: 1144000 | #Constraints: 102457
3522.44/3533.46 c #Conflicts: 1145000 | #Constraints: 103457
3522.44/3533.46 c #Conflicts: 1146000 | #Constraints: 104457
3522.44/3533.46 c INPROCESSING
3522.44/3533.46 c GARBAGE COLLECT
3522.44/3533.46 c rational objective 55
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (61534 MiB free)
memory of node 1: 64507 MiB (62921 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508093-1751499394/watcher-4508093-1751499394 -o /tmp/evaluation-result-4508093-1751499394/solver-4508093-1751499394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751492040-70862 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4508093-1751499394.opb PROOFDIR/proof-4508093-1751499394
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71966, runsolver pid=71963
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 4.07 4.09 4.11 5/258 71968
/proc/meminfo: memFree=127422568/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71968] ppid=71966 vsize=35908 memory=23556 CPUtime=0.08 cores=5,7
/proc/71968/stat : 71968 (pbsuma) R 71966 71966 70849 0 -1 4194304 5050 0 0 0 7 1 0 0 20 0 1 0 65618304 36769792 5889 18446744073709551615 4210688 4653049 140733947745488 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 31461376 140733947754723 140733947755058 140733947755058 140733947760623 0
/proc/71968/statm: 8977 5889 1024 108 0 6385 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 40100 KiB
Current children cumulated memory: 26628 KiB
[startup+0.214961 s]*
/proc/loadavg: 4.07 4.09 4.11 5/258 71968
/proc/meminfo: memFree=127404676/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71968] ppid=71966 vsize=41660 memory=28196 CPUtime=0.18 cores=5,7
/proc/71968/stat : 71968 (pbsuma) R 71966 71966 70849 0 -1 4194304 7355 0 0 0 16 2 0 0 20 0 1 0 65618304 42659840 7049 18446744073709551615 4210688 4653049 140733947745488 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 31461376 140733947754723 140733947755058 140733947755058 140733947760623 0
/proc/71968/statm: 10415 7049 1024 108 0 7823 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45852 KiB
Current children cumulated memory: 31268 KiB
[startup+0.314717 s]*
/proc/loadavg: 4.07 4.09 4.11 5/258 71968
/proc/meminfo: memFree=127390564/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71968] ppid=71966 vsize=40052 memory=28552 CPUtime=0.27 cores=5,7
/proc/71968/stat : 71968 (pbsuma) R 71966 71966 70849 0 -1 4194304 9929 0 0 0 25 2 0 0 20 0 1 0 65618304 41013248 7138 18446744073709551615 4210688 4653049 140733947745488 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31461376 140733947754723 140733947755058 140733947755058 140733947760623 0
/proc/71968/statm: 10013 7138 1024 108 0 7421 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 44244 KiB
Current children cumulated memory: 31624 KiB
[startup+0.700341 s]
/proc/loadavg: 4.07 4.09 4.11 5/258 71968
/proc/meminfo: memFree=127390564/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71968] ppid=71966 vsize=40052 memory=28552 CPUtime=0.64 cores=5,7
/proc/71968/stat : 71968 (pbsuma) R 71966 71966 70849 0 -1 4194304 9931 0 0 0 62 2 0 0 20 0 1 0 65618304 41013248 7138 18446744073709551615 4210688 4653049 140733947745488 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 31461376 140733947754723 140733947755058 140733947755058 140733947760623 0
/proc/71968/statm: 10013 7138 1024 108 0 7421 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 44244 KiB
Current children cumulated memory: 31624 KiB
[startup+1.50047 s]
/proc/loadavg: 4.07 4.09 4.11 5/258 71968
/proc/meminfo: memFree=127286236/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3.10634 s]
/proc/loadavg: 4.07 4.09 4.11 5/258 71970
/proc/meminfo: memFree=127032408/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=158216 memory=113352 CPUtime=1.63 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 18211 0 0 0 145 18 0 0 20 0 1 0 65618447 162013184 28338 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 39554 28338 2336 1147 0 26981 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 162408 KiB
Current children cumulated memory: 116424 KiB
[startup+6.3004 s]
/proc/loadavg: 4.07 4.09 4.11 5/258 71970
/proc/meminfo: memFree=127029024/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=161912 memory=117192 CPUtime=4.81 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 19147 0 0 0 457 24 0 0 20 0 1 0 65618447 165797888 29298 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 40478 29298 2400 1147 0 27905 0
Current children cumulated CPU time: 6.09 s
Current children cumulated vsize: 166104 KiB
Current children cumulated memory: 120264 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.10 4.11 5/258 71970
/proc/meminfo: memFree=127005844/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=170980 memory=124100 CPUtime=11.18 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 21428 0 0 0 1086 32 0 0 20 0 1 0 65618447 175083520 31025 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 42745 31025 2400 1147 0 30172 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 175172 KiB
Current children cumulated memory: 127172 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.10 4.11 5/258 71971
/proc/meminfo: memFree=126988792/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=177320 memory=129348 CPUtime=23.95 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 22738 0 0 0 2355 40 0 0 20 0 1 0 65618447 181575680 32337 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 44330 32337 2400 1147 0 31757 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 181512 KiB
Current children cumulated memory: 132420 KiB
[startup+51.1133 s]
/proc/loadavg: 4.07 4.09 4.10 5/258 71971
/proc/meminfo: memFree=126908388/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=189536 memory=139684 CPUtime=49.48 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 24768 0 0 0 4889 59 0 0 20 0 1 0 65618447 194084864 34921 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 47384 34921 2432 1147 0 34811 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 193728 KiB
Current children cumulated memory: 142756 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/259 71976
/proc/meminfo: memFree=126846316/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=192128 memory=142756 CPUtime=100.52 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 25564 0 0 0 9966 86 0 0 20 0 1 0 65618447 196739072 35689 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 48032 35689 2432 1147 0 35459 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 196320 KiB
Current children cumulated memory: 145828 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.10 5/259 72025
/proc/meminfo: memFree=127421588/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=198492 memory=148900 CPUtime=160.34 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 27090 0 0 0 15928 106 0 0 20 0 1 0 65618447 203255808 37225 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 49623 37225 2432 1147 0 37050 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 202684 KiB
Current children cumulated memory: 151972 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.10 5/257 72027
/proc/meminfo: memFree=127362892/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=198492 memory=149412 CPUtime=220.02 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 27241 0 0 0 21849 153 0 0 20 0 1 0 65618447 203255808 37353 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 49623 37353 2432 1147 0 37050 0
Current children cumulated CPU time: 221.3 s
Current children cumulated vsize: 202684 KiB
################
# More data... #
################
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=247900 memory=199784 CPUtime=3210.98 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 36195 0 0 0 319665 1433 0 0 20 0 1 0 65618447 253849600 49946 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 61975 49946 2432 1147 0 49402 0
Current children cumulated CPU time: 3212.26 s
Current children cumulated vsize: 252092 KiB
Current children cumulated memory: 202856 KiB
[startup+3282.3 s]
/proc/loadavg: 4.51 4.27 4.16 5/257 72245
/proc/meminfo: memFree=125924640/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=247900 memory=199784 CPUtime=3270.8 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 36195 0 0 0 325630 1450 0 0 20 0 1 0 65618447 253849600 49946 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 61975 49946 2432 1147 0 49402 0
Current children cumulated CPU time: 3272.08 s
Current children cumulated vsize: 252092 KiB
Current children cumulated memory: 202856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.24 4.15 5/257 72247
/proc/meminfo: memFree=125917612/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=247900 memory=199784 CPUtime=3330.63 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 36195 0 0 0 331593 1470 0 0 20 0 1 0 65618447 253849600 49946 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 61975 49946 2432 1147 0 49402 0
Current children cumulated CPU time: 3331.91 s
Current children cumulated vsize: 252092 KiB
Current children cumulated memory: 202856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/257 72249
/proc/meminfo: memFree=125844072/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=247900 memory=199784 CPUtime=3390.43 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 36195 0 0 0 337540 1503 0 0 20 0 1 0 65618447 253849600 49946 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 61975 49946 2432 1147 0 49402 0
Current children cumulated CPU time: 3391.71 s
Current children cumulated vsize: 252092 KiB
Current children cumulated memory: 202856 KiB
[startup+3462.3 s]
/proc/loadavg: 4.79 4.38 4.21 5/257 72250
/proc/meminfo: memFree=125813652/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=248884 memory=200808 CPUtime=3450.26 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 36441 0 0 0 343508 1518 0 0 20 0 1 0 65618447 254857216 50202 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 62221 50202 2432 1147 0 49648 0
Current children cumulated CPU time: 3451.54 s
Current children cumulated vsize: 253076 KiB
Current children cumulated memory: 203880 KiB
[startup+3522.3 s]
/proc/loadavg: 4.45 4.36 4.21 5/257 72252
/proc/meminfo: memFree=125775648/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=248884 memory=200808 CPUtime=3510.09 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 36441 0 0 0 349481 1528 0 0 20 0 1 0 65618447 254857216 50202 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 62221 50202 2432 1147 0 49648 0
Current children cumulated CPU time: 3511.37 s
Current children cumulated vsize: 253076 KiB
Current children cumulated memory: 203880 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.31 4.20 5/257 72254
/proc/meminfo: memFree=125731968/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=248884 memory=200808 CPUtime=3569.93 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 36441 0 0 0 355431 1562 0 0 20 0 1 0 65618447 254857216 50202 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 62221 50202 2432 1147 0 49648 0
Current children cumulated CPU time: 3571.21 s
Current children cumulated vsize: 253076 KiB
Current children cumulated memory: 203880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.12 4.28 4.19 5/256 72255
/proc/meminfo: memFree=125701016/131382112 swapFree=33009904/33010684
[pid=71966] ppid=71963 vsize=4192 memory=3072 CPUtime=1.28 cores=5,7
/proc/71966/stat : 71966 (run-opt-ls-log.) S 71963 71966 70849 0 -1 4194304 242 10620 0 0 0 0 110 18 20 0 1 0 65618304 4292608 768 18446744073709551615 94221385281536 94221386176069 140720636784064 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94221386415120 94221386462864 94221394366464 140720636791067 140720636791265 140720636791265 140720636796867 0
/proc/71966/statm: 1048 768 704 219 0 110 0
[pid=71970] ppid=71966 vsize=248884 memory=200808 CPUtime=3598.74 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71966 71966 70849 0 -1 4194304 36441 0 0 0 358307 1567 0 0 20 0 1 0 65618447 254857216 50202 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 62221 50202 2432 1147 0 49648 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 253076 KiB
Current children cumulated memory: 203880 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.21 s]
# the end of solver process 71966 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.11016 s, system=0.187773 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3613.2 s]
# the end of solver process 71970 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3586.17 s, system=15.8702 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+3612 s]*
/proc/loadavg: 4.12 4.28 4.19 5/255 72255
/proc/meminfo: memFree=125701016/131382112 swapFree=33009904/33010684
[pid=71970] ppid=71963 vsize=248884 memory=200808 CPUtime=3599.55 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71963 71966 70849 0 -1 4194304 36441 0 0 0 358388 1567 0 0 20 0 1 0 65618447 254857216 50202 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 62221 50202 2432 1147 0 49648 0
Current cumulated CPU time of completed processes: 1.29793 s
Current children cumulated CPU time: 3599.55 s
Current children cumulated vsize: 248884 KiB
Current children cumulated memory: 200808 KiB
[startup+3612.8 s]
/proc/loadavg: 4.12 4.28 4.19 5/255 72255
/proc/meminfo: memFree=125701016/131382112 swapFree=33009904/33010684
[pid=71970] ppid=71963 vsize=248884 memory=200808 CPUtime=3600.34 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71963 71966 70849 0 -1 4194304 36441 0 0 0 358466 1568 0 0 20 0 1 0 65618447 254857216 50202 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 62221 50202 2432 1147 0 49648 0
Current cumulated CPU time of completed processes: 1.29793 s
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 248884 KiB
Current children cumulated memory: 200808 KiB
[startup+3613.2 s]
/proc/loadavg: 4.12 4.28 4.19 4/251 72263
/proc/meminfo: memFree=125896616/131382112 swapFree=33009904/33010684
[pid=71970] ppid=71963 vsize=248884 memory=200808 CPUtime=3600.74 cores=5,7
/proc/71970/stat : 71970 (roundingsat) R 71963 71966 70849 0 -1 4194304 36441 0 0 0 358506 1568 0 0 20 0 1 0 65618447 254857216 50202 18446744073709551615 4227072 8923433 140724870724176 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19423232 140724870727926 140724870728232 140724870728232 140724870733802 0
/proc/71970/statm: 62221 50202 2432 1147 0 49648 0
Current cumulated CPU time of completed processes: 1.29793 s
Current children cumulated CPU time: 3600.74 s
Current children cumulated vsize: 248884 KiB
Current children cumulated memory: 200808 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3613.2
CPU time (s): 3602.04
CPU user time (s): 3586.17
CPU system time (s): 15.8702
CPU usage (%): 99.6912
Max. virtual memory (cumulated for all children) (KiB): 253076
Max. memory (cumulated for all children) (KiB): 203880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.17
system time used= 15.8702
maximum resident set size= 200808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47303
page faults= 0
swaps= 0
block input operations= 0
block output operations= 977096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4088
involuntary context switches= 2433
# summary of solver processes directly reported to runsolver:
# pid: 71966,71970
# total CPU time (s): 3602.04
# total CPU user time (s): 3586.17
# total CPU system time (s): 15.8702
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3323 second user time and 36.7463 second system time
The end
Begin job on nodeC001 at 2025-07-03 01:36:34
IDJOB=4508093
IDBENCH=158394
IDSOLVER=3356
FILE ID=nodeC001/4508093-1751499394
RUNJOBID= nodeC001-1751492040-70862
SLURM_JOB_ID= 9598558
Free space on /tmp= 432476 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jun5.5.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508093-1751499394/watcher-4508093-1751499394 -o /tmp/evaluation-result-4508093-1751499394/solver-4508093-1751499394 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751492040-70862 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4508093-1751499394.opb PROOFDIR/proof-4508093-1751499394
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5d17a5a2908f0ead03acb71ed633b69a
RANDOM SEED=20539390
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.343
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.509
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.350
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.131
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.777
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.717
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.160
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.123
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 127445616 kB
MemAvailable: 129399676 kB
Buffers: 1668 kB
Cached: 2749216 kB
SwapCached: 32 kB
Active: 893440 kB
Inactive: 2439900 kB
Active(anon): 577832 kB
Inactive(anon): 22528 kB
Active(file): 315608 kB
Inactive(file): 2417372 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18780 kB
Writeback: 4 kB
AnonPages: 581268 kB
Mapped: 113372 kB
Shmem: 17900 kB
KReclaimable: 121028 kB
Slab: 205848 kB
SReclaimable: 121028 kB
SUnreclaim: 84820 kB
KernelStack: 4160 kB
PageTables: 4252 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 969764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149464 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 395264 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432464 MiB
End job on nodeC001 at 2025-07-03 02:36:48