0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4507955-1751495905.opb'
0.00/0.06 c read 1.11MB (40.42ms)
0.00/0.06 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.00/0.06 c output proof to 'PROOFDIR/proof-4507955-1751495905'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.00/0.11 c [group: #orbits ~= 2664] (46.98ms)
0.00/0.11 c
0.00/0.11 c detect special group actions
0.00/0.11 c probe for Johnson action (limit=64)
0.08/0.13 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.16 c probe for row symmetry (limit=64, splits=16.78M)
0.08/0.18 c found row 11x666, generating row predicate
0.08/0.18 c (74.86ms)
0.08/0.18 c
0.08/0.18 c detect symmetries on remainder
0.08/0.18 c [graph: #vertices 80207 #edges 285984]
0.08/0.18 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.19/0.27 c [group: #symmetries 1.24*10^7 #generators 13] (90.81ms)
0.19/0.27 c
0.19/0.27 c optimize generators (opt_passes=64, conjugate_limit=256)
0.19/0.27 c ran it=0, +gens=2
0.49/0.60 c con best_support=1332, best_gens=13, +gens=224
0.49/0.60 c (325.20ms)
0.49/0.60 c
0.49/0.60 c finalize break order and special generators
0.49/0.60 c
0.49/0.60 c add generic predicates (break_depth=20)
0.49/0.61 c added predicates for 239 generators (4.11ms)
1.08/1.17 c
1.08/1.17 c generation finished
1.08/1.17 c [sbp: #constraints 33822 #add_vars 11191]
1.08/1.17 c
1.08/1.17 c write result to 'HOME/instance-4507955-1751495905.opb.pre'
1.08/1.18 c wrote 2.40MB (8.68ms)
1.08/1.18 c ------------------------------------------------------------------
1.08/1.18 c 564.69ms 48.72% other
1.08/1.18 c 325.20ms 28.06% optimize_gens
1.08/1.18 c 90.81ms 7.83% detect_generic
1.08/1.18 c 74.86ms 6.46% detect_special
1.08/1.18 c 46.98ms 4.05% approx_orbits
1.08/1.18 c 40.42ms 3.49% parse
1.08/1.18 c 8.68ms 0.75% output
1.08/1.18 c 4.11ms 0.35% break_generic
1.08/1.18 c 3.26ms 0.28% finalize_order
1.08/1.18 c ───────────────────────────────────────────────
1.08/1.18 c 1159.02ms 100% total
1.08/1.18 c ------------------------------------------------------------------
1.18/1.34 c RoundingSat 2
1.18/1.34 c branch pb25
1.18/1.34 c commit 63f22ad
2.24/2.41 c #variables 20515 #constraints 62482
2.24/2.41 c objective is ce32
2.53/2.74 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
2.53/2.74 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
2.53/2.74 c bounds - >= 0 @ 1.20211
8.93/9.14 c #Conflicts: 1000 | #Constraints: 63481
8.93/9.14 c #Conflicts: 2000 | #Constraints: 64481
8.93/9.14 c INPROCESSING
8.93/9.14 c bounds - >= 10 @ 7.47
8.93/9.16 c bounds - >= 20 @ 7.47981
9.11/9.31 c #Conflicts: 3000 | #Constraints: 64532
9.11/9.31 c bounds - >= 30 @ 7.62888
24.56/24.86 c #Conflicts: 4000 | #Constraints: 65541
24.56/24.86 c INPROCESSING
24.56/24.86 c GARBAGE COLLECT
24.56/24.86 c #Conflicts: 5000 | #Constraints: 64954
24.56/24.86 c #Conflicts: 6000 | #Constraints: 65954
24.56/24.86 c INPROCESSING
24.56/24.86 c #Conflicts: 7000 | #Constraints: 64957
24.56/24.86 c #Conflicts: 8000 | #Constraints: 65957
24.56/24.86 c #Conflicts: 9000 | #Constraints: 66957
24.56/24.86 c INPROCESSING
24.56/24.86 c GARBAGE COLLECT
24.56/24.86 c bounds - >= 40 @ 22.9846
24.56/24.87 c bounds - >= 50 @ 22.9969
24.66/24.97 c #Conflicts: 10000 | #Constraints: 65696
24.66/24.97 c bounds - >= 60 @ 23.0909
77.22/77.64 c #Conflicts: 11000 | #Constraints: 66708
77.22/77.64 c #Conflicts: 12000 | #Constraints: 67708
77.22/77.64 c INPROCESSING
77.22/77.64 c #Conflicts: 13000 | #Constraints: 65808
77.22/77.64 c #Conflicts: 14000 | #Constraints: 66808
77.22/77.64 c #Conflicts: 15000 | #Constraints: 67808
77.22/77.64 c INPROCESSING
77.22/77.64 c GARBAGE COLLECT
77.22/77.64 c #Conflicts: 16000 | #Constraints: 66202
77.22/77.64 c #Conflicts: 17000 | #Constraints: 67202
77.22/77.64 c #Conflicts: 18000 | #Constraints: 68202
77.22/77.64 c INPROCESSING
77.22/77.64 c #Conflicts: 19000 | #Constraints: 66301
77.22/77.64 c #Conflicts: 20000 | #Constraints: 67301
77.22/77.64 c #Conflicts: 21000 | #Constraints: 68301
77.22/77.64 c INPROCESSING
77.22/77.64 c GARBAGE COLLECT
77.22/77.64 c #Conflicts: 22000 | #Constraints: 66148
77.22/77.64 c #Conflicts: 23000 | #Constraints: 67148
77.22/77.64 c #Conflicts: 24000 | #Constraints: 68148
77.22/77.64 c #Conflicts: 25000 | #Constraints: 69148
77.22/77.64 c INPROCESSING
77.22/77.64 c rational objective 60
83.80/84.29 c #Conflicts: 26000 | #Constraints: 66823
83.80/84.29 c #Conflicts: 27000 | #Constraints: 67823
83.80/84.29 c #Conflicts: 28000 | #Constraints: 68823
83.80/84.29 c #Conflicts: 29000 | #Constraints: 69823
83.80/84.29 c INPROCESSING
83.80/84.29 c GARBAGE COLLECT
83.80/84.29 c #Conflicts: 30000 | #Constraints: 67208
83.80/84.29 c #Conflicts: 31000 | #Constraints: 68208
83.80/84.29 c #Conflicts: 32000 | #Constraints: 69208
83.80/84.29 c #Conflicts: 33000 | #Constraints: 70208
83.80/84.29 c INPROCESSING
83.80/84.29 c GARBAGE COLLECT
83.80/84.29 c #Conflicts: 34000 | #Constraints: 67402
83.80/84.29 c #Conflicts: 35000 | #Constraints: 68402
83.80/84.29 c #Conflicts: 36000 | #Constraints: 69402
83.80/84.29 c #Conflicts: 37000 | #Constraints: 70402
83.80/84.29 c INPROCESSING
83.80/84.29 c rational objective 60
149.80/150.43 c #Conflicts: 38000 | #Constraints: 67486
149.80/150.43 c #Conflicts: 39000 | #Constraints: 68486
149.80/150.43 c #Conflicts: 40000 | #Constraints: 69486
149.80/150.43 c #Conflicts: 41000 | #Constraints: 70486
149.80/150.43 c INPROCESSING
149.80/150.43 c GARBAGE COLLECT
149.80/150.43 c rational objective 60
193.40/194.17 c #Conflicts: 42000 | #Constraints: 67317
193.40/194.17 c #Conflicts: 43000 | #Constraints: 68317
193.40/194.17 c #Conflicts: 44000 | #Constraints: 69317
193.40/194.17 c #Conflicts: 45000 | #Constraints: 70317
193.40/194.17 c #Conflicts: 46000 | #Constraints: 71317
193.40/194.17 c INPROCESSING
193.40/194.17 c GARBAGE COLLECT
193.40/194.17 c #Conflicts: 47000 | #Constraints: 67861
193.40/194.17 c #Conflicts: 48000 | #Constraints: 68861
193.40/194.17 c #Conflicts: 49000 | #Constraints: 69861
193.40/194.17 c #Conflicts: 50000 | #Constraints: 70861
193.40/194.17 c #Conflicts: 51000 | #Constraints: 71861
193.40/194.17 c INPROCESSING
193.40/194.17 c GARBAGE COLLECT
193.40/194.17 c #Conflicts: 52000 | #Constraints: 68234
193.40/194.17 c #Conflicts: 53000 | #Constraints: 69234
193.40/194.17 c #Conflicts: 54000 | #Constraints: 70234
193.40/194.17 c #Conflicts: 55000 | #Constraints: 71234
193.40/194.17 c #Conflicts: 56000 | #Constraints: 72234
193.40/194.17 c INPROCESSING
193.40/194.17 c GARBAGE COLLECT
193.40/194.17 c #Conflicts: 57000 | #Constraints: 68411
193.40/194.17 c #Conflicts: 58000 | #Constraints: 69411
193.40/194.17 c #Conflicts: 59000 | #Constraints: 70411
193.40/194.17 c #Conflicts: 60000 | #Constraints: 71411
193.40/194.17 c #Conflicts: 61000 | #Constraints: 72411
193.40/194.17 c INPROCESSING
193.40/194.17 c GARBAGE COLLECT
193.40/194.17 c #Conflicts: 62000 | #Constraints: 68405
193.40/194.17 c bounds - >= 70 @ 191.1
227.20/228.07 c #Conflicts: 63000 | #Constraints: 69417
227.20/228.07 c #Conflicts: 64000 | #Constraints: 70417
227.20/228.07 c #Conflicts: 65000 | #Constraints: 71417
227.20/228.07 c #Conflicts: 66000 | #Constraints: 72417
227.20/228.07 c INPROCESSING
227.20/228.07 c GARBAGE COLLECT
227.20/228.07 c #Conflicts: 67000 | #Constraints: 68215
227.20/228.07 c #Conflicts: 68000 | #Constraints: 69215
227.20/228.07 c #Conflicts: 69000 | #Constraints: 70215
227.20/228.07 c #Conflicts: 70000 | #Constraints: 71215
227.20/228.07 c #Conflicts: 71000 | #Constraints: 72215
227.20/228.07 c #Conflicts: 72000 | #Constraints: 73215
227.20/228.07 c INPROCESSING
227.20/228.07 c GARBAGE COLLECT
227.20/228.07 c #Conflicts: 73000 | #Constraints: 68814
227.20/228.07 c #Conflicts: 74000 | #Constraints: 69814
227.20/228.07 c #Conflicts: 75000 | #Constraints: 70814
227.20/228.07 c #Conflicts: 76000 | #Constraints: 71814
227.20/228.07 c #Conflicts: 77000 | #Constraints: 72814
227.20/228.07 c #Conflicts: 78000 | #Constraints: 73814
227.20/228.07 c INPROCESSING
227.20/228.07 c GARBAGE COLLECT
227.20/228.07 c rational objective 70
273.56/274.50 c #Conflicts: 79000 | #Constraints: 69211
273.56/274.50 c #Conflicts: 80000 | #Constraints: 70211
273.56/274.50 c #Conflicts: 81000 | #Constraints: 71211
273.56/274.50 c #Conflicts: 82000 | #Constraints: 72212
273.56/274.50 c #Conflicts: 83000 | #Constraints: 73212
273.56/274.50 c #Conflicts: 84000 | #Constraints: 74212
273.56/274.50 c INPROCESSING
273.56/274.50 c GARBAGE COLLECT
273.56/274.50 c #Conflicts: 85000 | #Constraints: 69411
273.56/274.50 c #Conflicts: 86000 | #Constraints: 70411
273.56/274.50 c #Conflicts: 87000 | #Constraints: 71411
273.56/274.50 c #Conflicts: 88000 | #Constraints: 72411
273.56/274.50 c #Conflicts: 89000 | #Constraints: 73411
273.56/274.50 c #Conflicts: 90000 | #Constraints: 74411
273.56/274.50 c INPROCESSING
273.56/274.50 c GARBAGE COLLECT
273.56/274.50 c #Conflicts: 91000 | #Constraints: 69412
273.56/274.50 c #Conflicts: 92000 | #Constraints: 70412
273.56/274.50 c #Conflicts: 93000 | #Constraints: 71412
273.56/274.50 c #Conflicts: 94000 | #Constraints: 72412
273.56/274.50 c #Conflicts: 95000 | #Constraints: 73412
273.56/274.50 c #Conflicts: 96000 | #Constraints: 74412
273.56/274.50 c INPROCESSING
273.56/274.50 c GARBAGE COLLECT
273.56/274.50 c #Conflicts: 97000 | #Constraints: 69210
273.56/274.50 c #Conflicts: 98000 | #Constraints: 70210
273.56/274.50 c #Conflicts: 99000 | #Constraints: 71210
273.56/274.50 c #Conflicts: 100000 | #Constraints: 72210
273.56/274.50 c #Conflicts: 101000 | #Constraints: 73210
273.56/274.50 c #Conflicts: 102000 | #Constraints: 74210
273.56/274.50 c #Conflicts: 103000 | #Constraints: 75210
273.56/274.50 c INPROCESSING
273.56/274.50 c GARBAGE COLLECT
273.56/274.50 c #Conflicts: 104000 | #Constraints: 69816
273.56/274.50 c #Conflicts: 105000 | #Constraints: 70816
273.56/274.50 c #Conflicts: 106000 | #Constraints: 71816
273.56/274.50 c #Conflicts: 107000 | #Constraints: 72816
273.56/274.50 c #Conflicts: 108000 | #Constraints: 73816
273.56/274.50 c #Conflicts: 109000 | #Constraints: 74816
273.56/274.50 c #Conflicts: 110000 | #Constraints: 75816
273.56/274.50 c INPROCESSING
273.56/274.50 c GARBAGE COLLECT
273.56/274.50 c rational objective 70
316.14/317.24 c #Conflicts: 111000 | #Constraints: 70219
316.14/317.24 c #Conflicts: 112000 | #Constraints: 71219
316.14/317.24 c #Conflicts: 113000 | #Constraints: 72219
316.14/317.24 c #Conflicts: 114000 | #Constraints: 73219
316.14/317.24 c #Conflicts: 115000 | #Constraints: 74219
316.14/317.24 c #Conflicts: 116000 | #Constraints: 75219
316.14/317.24 c #Conflicts: 117000 | #Constraints: 76219
316.14/317.24 c INPROCESSING
316.14/317.24 c GARBAGE COLLECT
316.14/317.24 c rational objective 70
376.25/377.51 c #Conflicts: 118000 | #Constraints: 70424
376.25/377.51 c #Conflicts: 119000 | #Constraints: 71424
376.25/377.51 c #Conflicts: 120000 | #Constraints: 72424
376.25/377.51 c #Conflicts: 121000 | #Constraints: 73424
376.25/377.51 c #Conflicts: 122000 | #Constraints: 74424
376.25/377.51 c #Conflicts: 123000 | #Constraints: 75424
376.25/377.51 c #Conflicts: 124000 | #Constraints: 76424
376.25/377.51 c INPROCESSING
376.25/377.51 c GARBAGE COLLECT
376.25/377.51 c #Conflicts: 125000 | #Constraints: 70426
376.25/377.51 c #Conflicts: 126000 | #Constraints: 71426
376.25/377.51 c #Conflicts: 127000 | #Constraints: 72426
376.25/377.51 c #Conflicts: 128000 | #Constraints: 73426
376.25/377.51 c #Conflicts: 129000 | #Constraints: 74426
376.25/377.51 c #Conflicts: 130000 | #Constraints: 75426
376.25/377.51 c #Conflicts: 131000 | #Constraints: 76426
376.25/377.51 c INPROCESSING
376.25/377.51 c GARBAGE COLLECT
376.25/377.51 c rational objective 70
418.74/420.18 c #Conflicts: 132000 | #Constraints: 70288
418.74/420.18 c #Conflicts: 133000 | #Constraints: 71288
418.74/420.18 c #Conflicts: 134000 | #Constraints: 72288
418.74/420.18 c #Conflicts: 135000 | #Constraints: 73288
418.74/420.18 c #Conflicts: 136000 | #Constraints: 74288
418.74/420.18 c #Conflicts: 137000 | #Constraints: 75288
418.74/420.18 c #Conflicts: 138000 | #Constraints: 76288
418.74/420.18 c #Conflicts: 139000 | #Constraints: 77288
418.74/420.18 c INPROCESSING
418.74/420.18 c GARBAGE COLLECT
418.74/420.18 c #Conflicts: 140000 | #Constraints: 70854
418.74/420.18 c #Conflicts: 141000 | #Constraints: 71854
418.74/420.18 c #Conflicts: 142000 | #Constraints: 72854
418.74/420.18 c #Conflicts: 143000 | #Constraints: 73855
418.74/420.18 c #Conflicts: 144000 | #Constraints: 74855
418.74/420.18 c #Conflicts: 145000 | #Constraints: 75855
418.74/420.18 c #Conflicts: 146000 | #Constraints: 76855
418.74/420.18 c #Conflicts: 147000 | #Constraints: 77855
418.74/420.18 c INPROCESSING
418.74/420.18 c GARBAGE COLLECT
418.74/420.18 c #Conflicts: 148000 | #Constraints: 71244
418.74/420.18 c #Conflicts: 149000 | #Constraints: 72244
418.74/420.18 c #Conflicts: 150000 | #Constraints: 73244
418.74/420.18 c #Conflicts: 151000 | #Constraints: 74244
418.74/420.18 c #Conflicts: 152000 | #Constraints: 75244
418.74/420.18 c #Conflicts: 153000 | #Constraints: 76244
418.74/420.18 c #Conflicts: 154000 | #Constraints: 77244
418.74/420.18 c #Conflicts: 155000 | #Constraints: 78244
418.74/420.18 c INPROCESSING
418.74/420.18 c GARBAGE COLLECT
418.74/420.18 c #Conflicts: 156000 | #Constraints: 71426
418.74/420.18 c #Conflicts: 157000 | #Constraints: 72426
418.74/420.18 c #Conflicts: 158000 | #Constraints: 73426
418.74/420.18 c #Conflicts: 159000 | #Constraints: 74426
418.74/420.18 c #Conflicts: 160000 | #Constraints: 75426
418.74/420.18 c #Conflicts: 161000 | #Constraints: 76426
418.74/420.18 c #Conflicts: 162000 | #Constraints: 77426
418.74/420.18 c #Conflicts: 163000 | #Constraints: 78426
418.74/420.18 c INPROCESSING
418.74/420.18 c GARBAGE COLLECT
418.74/420.18 c rational objective 70
469.88/471.43 c #Conflicts: 164000 | #Constraints: 71432
469.88/471.43 c #Conflicts: 165000 | #Constraints: 72432
469.88/471.43 c #Conflicts: 166000 | #Constraints: 73432
469.88/471.43 c #Conflicts: 167000 | #Constraints: 74432
469.88/471.43 c #Conflicts: 168000 | #Constraints: 75432
469.88/471.43 c #Conflicts: 169000 | #Constraints: 76432
469.88/471.43 c #Conflicts: 170000 | #Constraints: 77432
469.88/471.43 c #Conflicts: 171000 | #Constraints: 78432
469.88/471.43 c INPROCESSING
469.88/471.43 c GARBAGE COLLECT
469.88/471.43 c #Conflicts: 172000 | #Constraints: 71226
469.88/471.43 c #Conflicts: 173000 | #Constraints: 72226
469.88/471.43 c #Conflicts: 174000 | #Constraints: 73226
469.88/471.43 c #Conflicts: 175000 | #Constraints: 74226
469.88/471.43 c #Conflicts: 176000 | #Constraints: 75226
469.88/471.43 c #Conflicts: 177000 | #Constraints: 76226
469.88/471.43 c #Conflicts: 178000 | #Constraints: 77226
469.88/471.43 c #Conflicts: 179000 | #Constraints: 78226
469.88/471.43 c #Conflicts: 180000 | #Constraints: 79226
469.88/471.43 c INPROCESSING
469.88/471.43 c GARBAGE COLLECT
469.88/471.43 c rational objective 70
525.63/527.39 c #Conflicts: 181000 | #Constraints: 71830
525.63/527.39 c #Conflicts: 182000 | #Constraints: 72830
525.63/527.39 c #Conflicts: 183000 | #Constraints: 73830
525.63/527.39 c #Conflicts: 184000 | #Constraints: 74830
525.63/527.39 c #Conflicts: 185000 | #Constraints: 75830
525.63/527.39 c #Conflicts: 186000 | #Constraints: 76830
525.63/527.39 c #Conflicts: 187000 | #Constraints: 77830
525.63/527.39 c #Conflicts: 188000 | #Constraints: 78830
525.63/527.39 c #Conflicts: 189000 | #Constraints: 79830
525.63/527.39 c INPROCESSING
525.63/527.39 c GARBAGE COLLECT
525.63/527.39 c rational objective 70
565.91/567.74 c #Conflicts: 190000 | #Constraints: 72277
565.91/567.74 c #Conflicts: 191000 | #Constraints: 73277
565.91/567.74 c #Conflicts: 192000 | #Constraints: 74277
565.91/567.74 c #Conflicts: 193000 | #Constraints: 75277
565.91/567.74 c #Conflicts: 194000 | #Constraints: 76277
565.91/567.74 c #Conflicts: 195000 | #Constraints: 77277
565.91/567.74 c #Conflicts: 196000 | #Constraints: 78277
565.91/567.74 c #Conflicts: 197000 | #Constraints: 79277
565.91/567.74 c #Conflicts: 198000 | #Constraints: 80277
565.91/567.74 c INPROCESSING
565.91/567.74 c GARBAGE COLLECT
565.91/567.74 c #Conflicts: 199000 | #Constraints: 72448
565.91/567.74 c #Conflicts: 200000 | #Constraints: 73448
565.91/567.74 c #Conflicts: 201000 | #Constraints: 74448
565.91/567.74 c #Conflicts: 202000 | #Constraints: 75448
565.91/567.74 c #Conflicts: 203000 | #Constraints: 76448
565.91/567.74 c #Conflicts: 204000 | #Constraints: 77448
565.91/567.74 c #Conflicts: 205000 | #Constraints: 78448
565.91/567.74 c #Conflicts: 206000 | #Constraints: 79448
565.91/567.74 c #Conflicts: 207000 | #Constraints: 80448
565.91/567.74 c INPROCESSING
565.91/567.74 c GARBAGE COLLECT
565.91/567.74 c bounds - >= 80 @ 561.752
650.48/652.55 c #Conflicts: 208000 | #Constraints: 72448
650.48/652.55 c #Conflicts: 209000 | #Constraints: 73448
650.48/652.55 c #Conflicts: 210000 | #Constraints: 74448
650.48/652.55 c #Conflicts: 211000 | #Constraints: 75448
650.48/652.55 c #Conflicts: 212000 | #Constraints: 76448
650.48/652.55 c #Conflicts: 213000 | #Constraints: 77448
650.48/652.55 c #Conflicts: 214000 | #Constraints: 78448
650.48/652.55 c #Conflicts: 215000 | #Constraints: 79448
650.48/652.55 c #Conflicts: 216000 | #Constraints: 80448
650.48/652.55 c INPROCESSING
650.48/652.55 c GARBAGE COLLECT
650.48/652.55 c rational objective 80
709.01/711.21 c #Conflicts: 217000 | #Constraints: 72240
709.01/711.21 c #Conflicts: 218000 | #Constraints: 73240
709.01/711.21 c #Conflicts: 219000 | #Constraints: 74240
709.01/711.21 c #Conflicts: 220000 | #Constraints: 75240
709.01/711.21 c #Conflicts: 221000 | #Constraints: 76240
709.01/711.21 c #Conflicts: 222000 | #Constraints: 77240
709.01/711.21 c #Conflicts: 223000 | #Constraints: 78240
709.01/711.21 c #Conflicts: 224000 | #Constraints: 79240
709.01/711.21 c #Conflicts: 225000 | #Constraints: 80240
709.01/711.21 c #Conflicts: 226000 | #Constraints: 81240
709.01/711.21 c INPROCESSING
709.01/711.21 c GARBAGE COLLECT
709.01/711.21 c #Conflicts: 227000 | #Constraints: 72829
709.01/711.21 c #Conflicts: 228000 | #Constraints: 73829
709.01/711.21 c #Conflicts: 229000 | #Constraints: 74830
709.01/711.21 c #Conflicts: 230000 | #Constraints: 75830
709.01/711.21 c #Conflicts: 231000 | #Constraints: 76830
709.01/711.21 c #Conflicts: 232000 | #Constraints: 77830
709.01/711.21 c #Conflicts: 233000 | #Constraints: 78830
709.01/711.21 c #Conflicts: 234000 | #Constraints: 79830
709.01/711.21 c #Conflicts: 235000 | #Constraints: 80830
709.01/711.21 c #Conflicts: 236000 | #Constraints: 81830
709.01/711.21 c INPROCESSING
709.01/711.21 c GARBAGE COLLECT
709.01/711.21 c #Conflicts: 237000 | #Constraints: 72956
709.01/711.21 c #Conflicts: 238000 | #Constraints: 73956
709.01/711.21 c #Conflicts: 239000 | #Constraints: 74956
709.01/711.21 c #Conflicts: 240000 | #Constraints: 75956
709.01/711.21 c #Conflicts: 241000 | #Constraints: 76956
709.01/711.21 c #Conflicts: 242000 | #Constraints: 77956
709.01/711.21 c #Conflicts: 243000 | #Constraints: 78956
709.01/711.21 c #Conflicts: 244000 | #Constraints: 79956
709.01/711.21 c #Conflicts: 245000 | #Constraints: 80956
709.01/711.21 c #Conflicts: 246000 | #Constraints: 81956
709.01/711.21 c INPROCESSING
709.01/711.21 c GARBAGE COLLECT
709.01/711.21 c #Conflicts: 247000 | #Constraints: 73302
709.01/711.21 c #Conflicts: 248000 | #Constraints: 74302
709.01/711.21 c #Conflicts: 249000 | #Constraints: 75302
709.01/711.21 c #Conflicts: 250000 | #Constraints: 76302
709.01/711.21 c #Conflicts: 251000 | #Constraints: 77302
709.01/711.21 c #Conflicts: 252000 | #Constraints: 78302
709.01/711.21 c #Conflicts: 253000 | #Constraints: 79302
709.01/711.21 c #Conflicts: 254000 | #Constraints: 80302
709.01/711.21 c #Conflicts: 255000 | #Constraints: 81302
709.01/711.21 c #Conflicts: 256000 | #Constraints: 82302
709.01/711.21 c INPROCESSING
709.01/711.21 c GARBAGE COLLECT
709.01/711.21 c #Conflicts: 257000 | #Constraints: 73362
709.01/711.21 c #Conflicts: 258000 | #Constraints: 74362
709.01/711.21 c #Conflicts: 259000 | #Constraints: 75362
709.01/711.21 c #Conflicts: 260000 | #Constraints: 76362
709.01/711.21 c #Conflicts: 261000 | #Constraints: 77362
709.01/711.21 c #Conflicts: 262000 | #Constraints: 78362
709.01/711.21 c #Conflicts: 263000 | #Constraints: 79362
709.01/711.21 c #Conflicts: 264000 | #Constraints: 80362
709.01/711.21 c #Conflicts: 265000 | #Constraints: 81362
709.01/711.21 c #Conflicts: 266000 | #Constraints: 82362
709.01/711.21 c INPROCESSING
709.01/711.21 c GARBAGE COLLECT
709.01/711.21 c rational objective 80
875.15/877.85 c #Conflicts: 267000 | #Constraints: 73199
875.15/877.85 c #Conflicts: 268000 | #Constraints: 74199
875.15/877.85 c #Conflicts: 269000 | #Constraints: 75199
875.15/877.85 c #Conflicts: 270000 | #Constraints: 76199
875.15/877.85 c #Conflicts: 271000 | #Constraints: 77199
875.15/877.85 c #Conflicts: 272000 | #Constraints: 78199
875.15/877.85 c #Conflicts: 273000 | #Constraints: 79199
875.15/877.85 c #Conflicts: 274000 | #Constraints: 80199
875.15/877.85 c #Conflicts: 275000 | #Constraints: 81199
875.15/877.85 c #Conflicts: 276000 | #Constraints: 82199
875.15/877.85 c #Conflicts: 277000 | #Constraints: 83199
875.15/877.85 c INPROCESSING
875.15/877.85 c GARBAGE COLLECT
875.15/877.85 c rational objective 80
930.32/933.15 c #Conflicts: 278000 | #Constraints: 73815
930.32/933.15 c #Conflicts: 279000 | #Constraints: 74815
930.32/933.15 c #Conflicts: 280000 | #Constraints: 75815
930.32/933.15 c #Conflicts: 281000 | #Constraints: 76815
930.32/933.15 c #Conflicts: 282000 | #Constraints: 77815
930.32/933.15 c #Conflicts: 283000 | #Constraints: 78815
930.32/933.15 c #Conflicts: 284000 | #Constraints: 79815
930.32/933.15 c #Conflicts: 285000 | #Constraints: 80815
930.32/933.15 c #Conflicts: 286000 | #Constraints: 81815
930.32/933.15 c #Conflicts: 287000 | #Constraints: 82815
930.32/933.15 c #Conflicts: 288000 | #Constraints: 83815
930.32/933.15 c INPROCESSING
930.32/933.15 c GARBAGE COLLECT
930.32/933.15 c rational objective 80
981.77/984.77 c #Conflicts: 289000 | #Constraints: 74242
981.77/984.77 c #Conflicts: 290000 | #Constraints: 75242
981.77/984.77 c #Conflicts: 291000 | #Constraints: 76242
981.77/984.77 c #Conflicts: 292000 | #Constraints: 77242
981.77/984.77 c #Conflicts: 293000 | #Constraints: 78242
981.77/984.77 c #Conflicts: 294000 | #Constraints: 79242
981.77/984.77 c #Conflicts: 295000 | #Constraints: 80242
981.77/984.77 c #Conflicts: 296000 | #Constraints: 81242
981.77/984.77 c #Conflicts: 297000 | #Constraints: 82242
981.77/984.77 c #Conflicts: 298000 | #Constraints: 83242
981.77/984.77 c #Conflicts: 299000 | #Constraints: 84242
981.77/984.77 c INPROCESSING
981.77/984.77 c GARBAGE COLLECT
981.77/984.77 c #Conflicts: 300000 | #Constraints: 74445
981.77/984.77 c #Conflicts: 301000 | #Constraints: 75445
981.77/984.77 c #Conflicts: 302000 | #Constraints: 76445
981.77/984.77 c #Conflicts: 303000 | #Constraints: 77445
981.77/984.77 c #Conflicts: 304000 | #Constraints: 78445
981.77/984.77 c #Conflicts: 305000 | #Constraints: 79445
981.77/984.77 c #Conflicts: 306000 | #Constraints: 80445
981.77/984.77 c #Conflicts: 307000 | #Constraints: 81445
981.77/984.77 c #Conflicts: 308000 | #Constraints: 82445
981.77/984.77 c #Conflicts: 309000 | #Constraints: 83445
981.77/984.77 c #Conflicts: 310000 | #Constraints: 84445
981.77/984.77 c INPROCESSING
981.77/984.77 c GARBAGE COLLECT
981.77/984.77 c rational objective 80
1065.53/1068.76 c #Conflicts: 311000 | #Constraints: 74457
1065.53/1068.76 c #Conflicts: 312000 | #Constraints: 75457
1065.53/1068.76 c #Conflicts: 313000 | #Constraints: 76457
1065.53/1068.76 c #Conflicts: 314000 | #Constraints: 77457
1065.53/1068.76 c #Conflicts: 315000 | #Constraints: 78457
1065.53/1068.76 c #Conflicts: 316000 | #Constraints: 79457
1065.53/1068.76 c #Conflicts: 317000 | #Constraints: 80457
1065.53/1068.76 c #Conflicts: 318000 | #Constraints: 81457
1065.53/1068.76 c #Conflicts: 319000 | #Constraints: 82457
1065.53/1068.76 c #Conflicts: 320000 | #Constraints: 83457
1065.53/1068.76 c #Conflicts: 321000 | #Constraints: 84457
1065.53/1068.76 c INPROCESSING
1065.53/1068.76 c GARBAGE COLLECT
1065.53/1068.76 c #Conflicts: 322000 | #Constraints: 74240
1065.53/1068.76 c #Conflicts: 323000 | #Constraints: 75240
1065.53/1068.76 c #Conflicts: 324000 | #Constraints: 76240
1065.53/1068.76 c #Conflicts: 325000 | #Constraints: 77240
1065.53/1068.76 c #Conflicts: 326000 | #Constraints: 78240
1065.53/1068.76 c #Conflicts: 327000 | #Constraints: 79240
1065.53/1068.76 c #Conflicts: 328000 | #Constraints: 80240
1065.53/1068.76 c #Conflicts: 329000 | #Constraints: 81240
1065.53/1068.76 c #Conflicts: 330000 | #Constraints: 82240
1065.53/1068.76 c #Conflicts: 331000 | #Constraints: 83240
1065.53/1068.76 c #Conflicts: 332000 | #Constraints: 84240
1065.53/1068.76 c #Conflicts: 333000 | #Constraints: 85240
1065.53/1068.76 c INPROCESSING
1065.53/1068.76 c GARBAGE COLLECT
1065.53/1068.76 c #Conflicts: 334000 | #Constraints: 74838
1065.53/1068.76 c #Conflicts: 335000 | #Constraints: 75838
1065.53/1068.76 c #Conflicts: 336000 | #Constraints: 76838
1065.53/1068.76 c #Conflicts: 337000 | #Constraints: 77838
1065.53/1068.76 c #Conflicts: 338000 | #Constraints: 78838
1065.53/1068.76 c #Conflicts: 339000 | #Constraints: 79838
1065.53/1068.76 c #Conflicts: 340000 | #Constraints: 80838
1065.53/1068.76 c #Conflicts: 341000 | #Constraints: 81838
1065.53/1068.76 c #Conflicts: 342000 | #Constraints: 82838
1065.53/1068.76 c #Conflicts: 343000 | #Constraints: 83838
1065.53/1068.76 c #Conflicts: 344000 | #Constraints: 84838
1065.53/1068.76 c #Conflicts: 345000 | #Constraints: 85838
1065.53/1068.76 c INPROCESSING
1065.53/1068.76 c GARBAGE COLLECT
1065.53/1068.76 c rational objective 80
1113.49/1116.84 c #Conflicts: 346000 | #Constraints: 75243
1113.49/1116.84 c #Conflicts: 347000 | #Constraints: 76243
1113.49/1116.84 c #Conflicts: 348000 | #Constraints: 77243
1113.49/1116.84 c #Conflicts: 349000 | #Constraints: 78243
1113.49/1116.84 c #Conflicts: 350000 | #Constraints: 79243
1113.49/1116.84 c #Conflicts: 351000 | #Constraints: 80243
1113.49/1116.84 c #Conflicts: 352000 | #Constraints: 81243
1113.49/1116.84 c #Conflicts: 353000 | #Constraints: 82243
1113.49/1116.84 c #Conflicts: 354000 | #Constraints: 83243
1113.49/1116.84 c #Conflicts: 355000 | #Constraints: 84243
1113.49/1116.84 c #Conflicts: 356000 | #Constraints: 85243
1113.49/1116.84 c #Conflicts: 357000 | #Constraints: 86243
1113.49/1116.84 c INPROCESSING
1113.49/1116.84 c GARBAGE COLLECT
1113.49/1116.84 c rational objective 80
1204.14/1207.73 c #Conflicts: 358000 | #Constraints: 75463
1204.14/1207.73 c #Conflicts: 359000 | #Constraints: 76463
1204.14/1207.73 c #Conflicts: 360000 | #Constraints: 77463
1204.14/1207.73 c #Conflicts: 361000 | #Constraints: 78463
1204.14/1207.73 c #Conflicts: 362000 | #Constraints: 79463
1204.14/1207.73 c #Conflicts: 363000 | #Constraints: 80463
1204.14/1207.73 c #Conflicts: 364000 | #Constraints: 81463
1204.14/1207.73 c #Conflicts: 365000 | #Constraints: 82463
1204.14/1207.73 c #Conflicts: 366000 | #Constraints: 83463
1204.14/1207.73 c #Conflicts: 367000 | #Constraints: 84463
1204.14/1207.73 c #Conflicts: 368000 | #Constraints: 85463
1204.14/1207.73 c #Conflicts: 369000 | #Constraints: 86463
1204.14/1207.73 c INPROCESSING
1204.14/1207.73 c GARBAGE COLLECT
1204.14/1207.73 c #Conflicts: 370000 | #Constraints: 75445
1204.14/1207.73 c #Conflicts: 371000 | #Constraints: 76445
1204.14/1207.73 c #Conflicts: 372000 | #Constraints: 77445
1204.14/1207.73 c #Conflicts: 373000 | #Constraints: 78445
1204.14/1207.73 c #Conflicts: 374000 | #Constraints: 79445
1204.14/1207.73 c #Conflicts: 375000 | #Constraints: 80445
1204.14/1207.73 c #Conflicts: 376000 | #Constraints: 81445
1204.14/1207.73 c #Conflicts: 377000 | #Constraints: 82445
1204.14/1207.73 c #Conflicts: 378000 | #Constraints: 83445
1204.14/1207.73 c #Conflicts: 379000 | #Constraints: 84445
1204.14/1207.73 c #Conflicts: 380000 | #Constraints: 85445
1204.14/1207.73 c #Conflicts: 381000 | #Constraints: 86445
1204.14/1207.73 c INPROCESSING
1204.14/1207.73 c GARBAGE COLLECT
1204.14/1207.73 c rational objective 80
1262.19/1265.92 c #Conflicts: 382000 | #Constraints: 75238
1262.19/1265.92 c #Conflicts: 383000 | #Constraints: 76238
1262.19/1265.92 c #Conflicts: 384000 | #Constraints: 77238
1262.19/1265.92 c #Conflicts: 385000 | #Constraints: 78238
1262.19/1265.92 c #Conflicts: 386000 | #Constraints: 79238
1262.19/1265.92 c #Conflicts: 387000 | #Constraints: 80238
1262.19/1265.92 c #Conflicts: 388000 | #Constraints: 81238
1262.19/1265.92 c #Conflicts: 389000 | #Constraints: 82238
1262.19/1265.92 c #Conflicts: 390000 | #Constraints: 83238
1262.19/1265.92 c #Conflicts: 391000 | #Constraints: 84238
1262.19/1265.92 c #Conflicts: 392000 | #Constraints: 85238
1262.19/1265.92 c #Conflicts: 393000 | #Constraints: 86238
1262.19/1265.92 c #Conflicts: 394000 | #Constraints: 87238
1262.19/1265.92 c INPROCESSING
1262.19/1265.92 c GARBAGE COLLECT
1262.19/1265.92 c rational objective 80
1308.84/1312.79 c #Conflicts: 395000 | #Constraints: 75862
1308.84/1312.79 c #Conflicts: 396000 | #Constraints: 76862
1308.84/1312.79 c #Conflicts: 397000 | #Constraints: 77862
1308.84/1312.79 c #Conflicts: 398000 | #Constraints: 78862
1308.84/1312.79 c #Conflicts: 399000 | #Constraints: 79862
1308.84/1312.79 c #Conflicts: 400000 | #Constraints: 80862
1308.84/1312.79 c #Conflicts: 401000 | #Constraints: 81862
1308.84/1312.79 c #Conflicts: 402000 | #Constraints: 82862
1308.84/1312.79 c #Conflicts: 403000 | #Constraints: 83862
1308.84/1312.79 c #Conflicts: 404000 | #Constraints: 84862
1308.84/1312.79 c #Conflicts: 405000 | #Constraints: 85862
1308.84/1312.79 c #Conflicts: 406000 | #Constraints: 86862
1308.84/1312.79 c #Conflicts: 407000 | #Constraints: 87862
1308.84/1312.79 c INPROCESSING
1308.84/1312.79 c GARBAGE COLLECT
1308.84/1312.79 c #Conflicts: 408000 | #Constraints: 76245
1308.84/1312.79 c #Conflicts: 409000 | #Constraints: 77245
1308.84/1312.79 c #Conflicts: 410000 | #Constraints: 78245
1308.84/1312.79 c #Conflicts: 411000 | #Constraints: 79245
1308.84/1312.79 c #Conflicts: 412000 | #Constraints: 80245
1308.84/1312.79 c #Conflicts: 413000 | #Constraints: 81245
1308.84/1312.79 c #Conflicts: 414000 | #Constraints: 82245
1308.84/1312.79 c #Conflicts: 415000 | #Constraints: 83245
1308.84/1312.79 c #Conflicts: 416000 | #Constraints: 84245
1308.84/1312.79 c #Conflicts: 417000 | #Constraints: 85245
1308.84/1312.79 c #Conflicts: 418000 | #Constraints: 86245
1308.84/1312.79 c #Conflicts: 419000 | #Constraints: 87245
1308.84/1312.79 c #Conflicts: 420000 | #Constraints: 88245
1308.84/1312.79 c INPROCESSING
1308.84/1312.79 c GARBAGE COLLECT
1308.84/1312.79 c rational objective 80
1363.09/1367.12 c #Conflicts: 421000 | #Constraints: 76453
1363.09/1367.12 c #Conflicts: 422000 | #Constraints: 77453
1363.09/1367.12 c #Conflicts: 423000 | #Constraints: 78453
1363.09/1367.12 c #Conflicts: 424000 | #Constraints: 79453
1363.09/1367.12 c #Conflicts: 425000 | #Constraints: 80453
1363.09/1367.12 c #Conflicts: 426000 | #Constraints: 81453
1363.09/1367.12 c #Conflicts: 427000 | #Constraints: 82453
1363.09/1367.12 c #Conflicts: 428000 | #Constraints: 83453
1363.09/1367.12 c #Conflicts: 429000 | #Constraints: 84453
1363.09/1367.12 c #Conflicts: 430000 | #Constraints: 85453
1363.09/1367.12 c #Conflicts: 431000 | #Constraints: 86453
1363.09/1367.12 c #Conflicts: 432000 | #Constraints: 87453
1363.09/1367.12 c #Conflicts: 433000 | #Constraints: 88453
1363.09/1367.12 c INPROCESSING
1363.09/1367.12 c GARBAGE COLLECT
1363.09/1367.12 c rational objective 80
1450.30/1454.65 c #Conflicts: 434000 | #Constraints: 76453
1450.30/1454.65 c #Conflicts: 435000 | #Constraints: 77453
1450.30/1454.65 c #Conflicts: 436000 | #Constraints: 78453
1450.30/1454.65 c #Conflicts: 437000 | #Constraints: 79453
1450.30/1454.65 c #Conflicts: 438000 | #Constraints: 80453
1450.30/1454.65 c #Conflicts: 439000 | #Constraints: 81453
1450.30/1454.65 c #Conflicts: 440000 | #Constraints: 82453
1450.30/1454.65 c #Conflicts: 441000 | #Constraints: 83453
1450.30/1454.65 c #Conflicts: 442000 | #Constraints: 84453
1450.30/1454.65 c #Conflicts: 443000 | #Constraints: 85453
1450.30/1454.65 c #Conflicts: 444000 | #Constraints: 86453
1450.30/1454.65 c #Conflicts: 445000 | #Constraints: 87453
1450.30/1454.65 c #Conflicts: 446000 | #Constraints: 88453
1450.30/1454.65 c INPROCESSING
1450.30/1454.65 c GARBAGE COLLECT
1450.30/1454.65 c #Conflicts: 447000 | #Constraints: 76237
1450.30/1454.65 c #Conflicts: 448000 | #Constraints: 77237
1450.30/1454.65 c #Conflicts: 449000 | #Constraints: 78237
1450.30/1454.65 c #Conflicts: 450000 | #Constraints: 79237
1450.30/1454.65 c #Conflicts: 451000 | #Constraints: 80237
1450.30/1454.65 c #Conflicts: 452000 | #Constraints: 81237
1450.30/1454.65 c #Conflicts: 453000 | #Constraints: 82237
1450.30/1454.65 c #Conflicts: 454000 | #Constraints: 83237
1450.30/1454.65 c #Conflicts: 455000 | #Constraints: 84237
1450.30/1454.65 c #Conflicts: 456000 | #Constraints: 85237
1450.30/1454.65 c #Conflicts: 457000 | #Constraints: 86237
1450.30/1454.65 c #Conflicts: 458000 | #Constraints: 87237
1450.30/1454.65 c #Conflicts: 459000 | #Constraints: 88237
1450.30/1454.65 c #Conflicts: 460000 | #Constraints: 89237
1450.30/1454.65 c INPROCESSING
1450.30/1454.65 c GARBAGE COLLECT
1450.30/1454.65 c rational objective 80
1501.84/1506.39 c #Conflicts: 461000 | #Constraints: 76839
1501.84/1506.39 c #Conflicts: 462000 | #Constraints: 77839
1501.84/1506.39 c #Conflicts: 463000 | #Constraints: 78839
1501.84/1506.39 c #Conflicts: 464000 | #Constraints: 79839
1501.84/1506.39 c #Conflicts: 465000 | #Constraints: 80839
1501.84/1506.39 c #Conflicts: 466000 | #Constraints: 81839
1501.84/1506.39 c #Conflicts: 467000 | #Constraints: 82839
1501.84/1506.39 c #Conflicts: 468000 | #Constraints: 83839
1501.84/1506.39 c #Conflicts: 469000 | #Constraints: 84839
1501.84/1506.39 c #Conflicts: 470000 | #Constraints: 85839
1501.84/1506.39 c #Conflicts: 471000 | #Constraints: 86839
1501.84/1506.39 c #Conflicts: 472000 | #Constraints: 87839
1501.84/1506.39 c #Conflicts: 473000 | #Constraints: 88839
1501.84/1506.39 c #Conflicts: 474000 | #Constraints: 89839
1501.84/1506.39 c INPROCESSING
1501.84/1506.39 c GARBAGE COLLECT
1501.84/1506.39 c rational objective 80
1544.90/1549.56 c #Conflicts: 475000 | #Constraints: 77259
1544.90/1549.56 c #Conflicts: 476000 | #Constraints: 78259
1544.90/1549.56 c #Conflicts: 477000 | #Constraints: 79259
1544.90/1549.56 c #Conflicts: 478000 | #Constraints: 80259
1544.90/1549.56 c #Conflicts: 479000 | #Constraints: 81259
1544.90/1549.56 c #Conflicts: 480000 | #Constraints: 82259
1544.90/1549.56 c #Conflicts: 481000 | #Constraints: 83259
1544.90/1549.56 c #Conflicts: 482000 | #Constraints: 84259
1544.90/1549.56 c #Conflicts: 483000 | #Constraints: 85259
1544.90/1549.56 c #Conflicts: 484000 | #Constraints: 86259
1544.90/1549.56 c #Conflicts: 485000 | #Constraints: 87259
1544.90/1549.56 c #Conflicts: 486000 | #Constraints: 88259
1544.90/1549.56 c #Conflicts: 487000 | #Constraints: 89259
1544.90/1549.56 c #Conflicts: 488000 | #Constraints: 90259
1544.90/1549.56 c INPROCESSING
1544.90/1549.56 c GARBAGE COLLECT
1544.90/1549.56 c rational objective 80
1611.20/1616.04 c #Conflicts: 489000 | #Constraints: 77460
1611.20/1616.04 c #Conflicts: 490000 | #Constraints: 78460
1611.20/1616.04 c #Conflicts: 491000 | #Constraints: 79460
1611.20/1616.04 c #Conflicts: 492000 | #Constraints: 80460
1611.20/1616.04 c #Conflicts: 493000 | #Constraints: 81460
1611.20/1616.04 c #Conflicts: 494000 | #Constraints: 82460
1611.20/1616.04 c #Conflicts: 495000 | #Constraints: 83460
1611.20/1616.04 c #Conflicts: 496000 | #Constraints: 84460
1611.20/1616.04 c #Conflicts: 497000 | #Constraints: 85460
1611.20/1616.04 c #Conflicts: 498000 | #Constraints: 86460
1611.20/1616.04 c #Conflicts: 499000 | #Constraints: 87460
1611.20/1616.04 c #Conflicts: 500000 | #Constraints: 88460
1611.20/1616.04 c #Conflicts: 501000 | #Constraints: 89460
1611.20/1616.04 c #Conflicts: 502000 | #Constraints: 90460
1611.20/1616.04 c INPROCESSING
1611.20/1616.04 c GARBAGE COLLECT
1611.20/1616.04 c rational objective 80
1670.19/1675.28 c #Conflicts: 503000 | #Constraints: 77468
1670.19/1675.28 c #Conflicts: 504000 | #Constraints: 78468
1670.19/1675.28 c #Conflicts: 505000 | #Constraints: 79468
1670.19/1675.28 c #Conflicts: 506000 | #Constraints: 80468
1670.19/1675.28 c #Conflicts: 507000 | #Constraints: 81468
1670.19/1675.28 c #Conflicts: 508000 | #Constraints: 82468
1670.19/1675.28 c #Conflicts: 509000 | #Constraints: 83468
1670.19/1675.28 c #Conflicts: 510000 | #Constraints: 84468
1670.19/1675.28 c #Conflicts: 511000 | #Constraints: 85468
1670.19/1675.28 c #Conflicts: 512000 | #Constraints: 86468
1670.19/1675.28 c #Conflicts: 513000 | #Constraints: 87468
1670.19/1675.28 c #Conflicts: 514000 | #Constraints: 88468
1670.19/1675.28 c #Conflicts: 515000 | #Constraints: 89468
1670.19/1675.28 c #Conflicts: 516000 | #Constraints: 90468
1670.19/1675.28 c INPROCESSING
1670.19/1675.28 c GARBAGE COLLECT
1670.19/1675.28 c rational objective 80
1724.52/1729.77 c #Conflicts: 517000 | #Constraints: 77289
1724.52/1729.77 c #Conflicts: 518000 | #Constraints: 78289
1724.52/1729.77 c #Conflicts: 519000 | #Constraints: 79289
1724.52/1729.77 c #Conflicts: 520000 | #Constraints: 80289
1724.52/1729.77 c #Conflicts: 521000 | #Constraints: 81289
1724.52/1729.77 c #Conflicts: 522000 | #Constraints: 82289
1724.52/1729.77 c #Conflicts: 523000 | #Constraints: 83289
1724.52/1729.77 c #Conflicts: 524000 | #Constraints: 84289
1724.52/1729.77 c #Conflicts: 525000 | #Constraints: 85289
1724.52/1729.77 c #Conflicts: 526000 | #Constraints: 86289
1724.52/1729.77 c #Conflicts: 527000 | #Constraints: 87289
1724.52/1729.77 c #Conflicts: 528000 | #Constraints: 88289
1724.52/1729.77 c #Conflicts: 529000 | #Constraints: 89289
1724.52/1729.77 c #Conflicts: 530000 | #Constraints: 90289
1724.52/1729.77 c #Conflicts: 531000 | #Constraints: 91289
1724.52/1729.77 c INPROCESSING
1724.52/1729.77 c GARBAGE COLLECT
1724.52/1729.77 c #Conflicts: 532000 | #Constraints: 77863
1724.52/1729.77 c #Conflicts: 533000 | #Constraints: 78863
1724.52/1729.77 c #Conflicts: 534000 | #Constraints: 79863
1724.52/1729.77 c #Conflicts: 535000 | #Constraints: 80863
1724.52/1729.77 c #Conflicts: 536000 | #Constraints: 81863
1724.52/1729.77 c #Conflicts: 537000 | #Constraints: 82863
1724.52/1729.77 c #Conflicts: 538000 | #Constraints: 83863
1724.52/1729.77 c #Conflicts: 539000 | #Constraints: 84863
1724.52/1729.77 c #Conflicts: 540000 | #Constraints: 85863
1724.52/1729.77 c #Conflicts: 541000 | #Constraints: 86863
1724.52/1729.77 c #Conflicts: 542000 | #Constraints: 87863
1724.52/1729.77 c #Conflicts: 543000 | #Constraints: 88863
1724.52/1729.77 c #Conflicts: 544000 | #Constraints: 89863
1724.52/1729.77 c #Conflicts: 545000 | #Constraints: 90863
1724.52/1729.77 c #Conflicts: 546000 | #Constraints: 91863
1724.52/1729.77 c INPROCESSING
1724.52/1729.77 c GARBAGE COLLECT
1724.52/1729.77 c rational objective 80
1793.61/1799.03 c #Conflicts: 547000 | #Constraints: 78259
1793.61/1799.03 c #Conflicts: 548000 | #Constraints: 79259
1793.61/1799.03 c #Conflicts: 549000 | #Constraints: 80259
1793.61/1799.03 c #Conflicts: 550000 | #Constraints: 81259
1793.61/1799.03 c #Conflicts: 551000 | #Constraints: 82259
1793.61/1799.03 c #Conflicts: 552000 | #Constraints: 83259
1793.61/1799.03 c #Conflicts: 553000 | #Constraints: 84259
1793.61/1799.03 c #Conflicts: 554000 | #Constraints: 85259
1793.61/1799.03 c #Conflicts: 555000 | #Constraints: 86259
1793.61/1799.03 c #Conflicts: 556000 | #Constraints: 87259
1793.61/1799.03 c #Conflicts: 557000 | #Constraints: 88259
1793.61/1799.03 c #Conflicts: 558000 | #Constraints: 89259
1793.61/1799.03 c #Conflicts: 559000 | #Constraints: 90259
1793.61/1799.03 c #Conflicts: 560000 | #Constraints: 91259
1793.61/1799.03 c #Conflicts: 561000 | #Constraints: 92260
1793.61/1799.03 c INPROCESSING
1793.61/1799.03 c GARBAGE COLLECT
1793.61/1799.03 c rational objective 80
1853.52/1859.18 c #Conflicts: 562000 | #Constraints: 78455
1853.52/1859.18 c #Conflicts: 563000 | #Constraints: 79455
1853.52/1859.18 c #Conflicts: 564000 | #Constraints: 80455
1853.52/1859.18 c #Conflicts: 565000 | #Constraints: 81455
1853.52/1859.18 c #Conflicts: 566000 | #Constraints: 82455
1853.52/1859.18 c #Conflicts: 567000 | #Constraints: 83455
1853.52/1859.18 c #Conflicts: 568000 | #Constraints: 84455
1853.52/1859.18 c #Conflicts: 569000 | #Constraints: 85455
1853.52/1859.18 c #Conflicts: 570000 | #Constraints: 86455
1853.52/1859.18 c #Conflicts: 571000 | #Constraints: 87455
1853.52/1859.18 c #Conflicts: 572000 | #Constraints: 88455
1853.52/1859.18 c #Conflicts: 573000 | #Constraints: 89455
1853.52/1859.18 c #Conflicts: 574000 | #Constraints: 90455
1853.52/1859.18 c #Conflicts: 575000 | #Constraints: 91455
1853.52/1859.18 c #Conflicts: 576000 | #Constraints: 92455
1853.52/1859.18 c INPROCESSING
1853.52/1859.18 c GARBAGE COLLECT
1853.52/1859.18 c #Conflicts: 577000 | #Constraints: 78455
1853.52/1859.18 c #Conflicts: 578000 | #Constraints: 79455
1853.52/1859.18 c #Conflicts: 579000 | #Constraints: 80455
1853.52/1859.18 c #Conflicts: 580000 | #Constraints: 81455
1853.52/1859.18 c #Conflicts: 581000 | #Constraints: 82455
1853.52/1859.18 c #Conflicts: 582000 | #Constraints: 83455
1853.52/1859.18 c #Conflicts: 583000 | #Constraints: 84455
1853.52/1859.18 c #Conflicts: 584000 | #Constraints: 85455
1853.52/1859.18 c #Conflicts: 585000 | #Constraints: 86455
1853.52/1859.18 c #Conflicts: 586000 | #Constraints: 87455
1853.52/1859.18 c #Conflicts: 587000 | #Constraints: 88455
1853.52/1859.18 c #Conflicts: 588000 | #Constraints: 89455
1853.52/1859.18 c #Conflicts: 589000 | #Constraints: 90455
1853.52/1859.18 c #Conflicts: 590000 | #Constraints: 91455
1853.52/1859.18 c #Conflicts: 591000 | #Constraints: 92455
1853.52/1859.18 c INPROCESSING
1853.52/1859.18 c GARBAGE COLLECT
1853.52/1859.18 c rational objective 80
1951.90/1957.83 c #Conflicts: 592000 | #Constraints: 78253
1951.90/1957.83 c #Conflicts: 593000 | #Constraints: 79253
1951.90/1957.83 c #Conflicts: 594000 | #Constraints: 80253
1951.90/1957.83 c #Conflicts: 595000 | #Constraints: 81253
1951.90/1957.83 c #Conflicts: 596000 | #Constraints: 82253
1951.90/1957.83 c #Conflicts: 597000 | #Constraints: 83253
1951.90/1957.83 c #Conflicts: 598000 | #Constraints: 84253
1951.90/1957.83 c #Conflicts: 599000 | #Constraints: 85253
1951.90/1957.83 c #Conflicts: 600000 | #Constraints: 86253
1951.90/1957.83 c #Conflicts: 601000 | #Constraints: 87253
1951.90/1957.83 c #Conflicts: 602000 | #Constraints: 88253
1951.90/1957.83 c #Conflicts: 603000 | #Constraints: 89253
1951.90/1957.83 c #Conflicts: 604000 | #Constraints: 90253
1951.90/1957.83 c #Conflicts: 605000 | #Constraints: 91253
1951.90/1957.83 c #Conflicts: 606000 | #Constraints: 92253
1951.90/1957.83 c #Conflicts: 607000 | #Constraints: 93253
1951.90/1957.83 c INPROCESSING
1951.90/1957.83 c GARBAGE COLLECT
1951.90/1957.83 c rational objective 80
1998.44/2004.58 c #Conflicts: 608000 | #Constraints: 78854
1998.44/2004.58 c #Conflicts: 609000 | #Constraints: 79854
1998.44/2004.58 c #Conflicts: 610000 | #Constraints: 80854
1998.44/2004.58 c #Conflicts: 611000 | #Constraints: 81854
1998.44/2004.58 c #Conflicts: 612000 | #Constraints: 82854
1998.44/2004.58 c #Conflicts: 613000 | #Constraints: 83854
1998.44/2004.58 c #Conflicts: 614000 | #Constraints: 84854
1998.44/2004.58 c #Conflicts: 615000 | #Constraints: 85854
1998.44/2004.58 c #Conflicts: 616000 | #Constraints: 86854
1998.44/2004.58 c #Conflicts: 617000 | #Constraints: 87854
1998.44/2004.58 c #Conflicts: 618000 | #Constraints: 88854
1998.44/2004.58 c #Conflicts: 619000 | #Constraints: 89854
1998.44/2004.58 c #Conflicts: 620000 | #Constraints: 90854
1998.44/2004.58 c #Conflicts: 621000 | #Constraints: 91854
1998.44/2004.58 c #Conflicts: 622000 | #Constraints: 92854
1998.44/2004.58 c #Conflicts: 623000 | #Constraints: 93854
1998.44/2004.58 c INPROCESSING
1998.44/2004.58 c GARBAGE COLLECT
1998.44/2004.58 c rational objective 80
2045.50/2051.78 c #Conflicts: 624000 | #Constraints: 79244
2045.50/2051.78 c #Conflicts: 625000 | #Constraints: 80244
2045.50/2051.78 c #Conflicts: 626000 | #Constraints: 81244
2045.50/2051.78 c #Conflicts: 627000 | #Constraints: 82244
2045.50/2051.78 c #Conflicts: 628000 | #Constraints: 83244
2045.50/2051.78 c #Conflicts: 629000 | #Constraints: 84244
2045.50/2051.78 c #Conflicts: 630000 | #Constraints: 85244
2045.50/2051.78 c #Conflicts: 631000 | #Constraints: 86244
2045.50/2051.78 c #Conflicts: 632000 | #Constraints: 87244
2045.50/2051.78 c #Conflicts: 633000 | #Constraints: 88244
2045.50/2051.78 c #Conflicts: 634000 | #Constraints: 89244
2045.50/2051.78 c #Conflicts: 635000 | #Constraints: 90244
2045.50/2051.78 c #Conflicts: 636000 | #Constraints: 91244
2045.50/2051.78 c #Conflicts: 637000 | #Constraints: 92244
2045.50/2051.78 c #Conflicts: 638000 | #Constraints: 93244
2045.50/2051.78 c #Conflicts: 639000 | #Constraints: 94244
2045.50/2051.78 c INPROCESSING
2045.50/2051.78 c GARBAGE COLLECT
2045.50/2051.78 c rational objective 80
2128.44/2134.94 c #Conflicts: 640000 | #Constraints: 79439
2128.44/2134.94 c #Conflicts: 641000 | #Constraints: 80439
2128.44/2134.94 c #Conflicts: 642000 | #Constraints: 81439
2128.44/2134.94 c #Conflicts: 643000 | #Constraints: 82439
2128.44/2134.94 c #Conflicts: 644000 | #Constraints: 83439
2128.44/2134.94 c #Conflicts: 645000 | #Constraints: 84439
2128.44/2134.94 c #Conflicts: 646000 | #Constraints: 85439
2128.44/2134.94 c #Conflicts: 647000 | #Constraints: 86439
2128.44/2134.94 c #Conflicts: 648000 | #Constraints: 87439
2128.44/2134.94 c #Conflicts: 649000 | #Constraints: 88439
2128.44/2134.94 c #Conflicts: 650000 | #Constraints: 89439
2128.44/2134.94 c #Conflicts: 651000 | #Constraints: 90439
2128.44/2134.94 c #Conflicts: 652000 | #Constraints: 91439
2128.44/2134.94 c #Conflicts: 653000 | #Constraints: 92439
2128.44/2134.94 c #Conflicts: 654000 | #Constraints: 93439
2128.44/2134.94 c #Conflicts: 655000 | #Constraints: 94439
2128.44/2134.94 c INPROCESSING
2128.44/2134.94 c GARBAGE COLLECT
2128.44/2134.94 c rational objective 80
2177.66/2184.39 c #Conflicts: 656000 | #Constraints: 79448
2177.66/2184.39 c #Conflicts: 657000 | #Constraints: 80448
2177.66/2184.39 c #Conflicts: 658000 | #Constraints: 81448
2177.66/2184.39 c #Conflicts: 659000 | #Constraints: 82448
2177.66/2184.39 c #Conflicts: 660000 | #Constraints: 83448
2177.66/2184.39 c #Conflicts: 661000 | #Constraints: 84448
2177.66/2184.39 c #Conflicts: 662000 | #Constraints: 85448
2177.66/2184.39 c #Conflicts: 663000 | #Constraints: 86448
2177.66/2184.39 c #Conflicts: 664000 | #Constraints: 87448
2177.66/2184.39 c #Conflicts: 665000 | #Constraints: 88448
2177.66/2184.39 c #Conflicts: 666000 | #Constraints: 89448
2177.66/2184.39 c #Conflicts: 667000 | #Constraints: 90448
2177.66/2184.39 c #Conflicts: 668000 | #Constraints: 91448
2177.66/2184.39 c #Conflicts: 669000 | #Constraints: 92448
2177.66/2184.39 c #Conflicts: 670000 | #Constraints: 93448
2177.66/2184.39 c #Conflicts: 671000 | #Constraints: 94448
2177.66/2184.39 c INPROCESSING
2177.66/2184.39 c GARBAGE COLLECT
2177.66/2184.39 c rational objective 80
2234.20/2241.05 c #Conflicts: 672000 | #Constraints: 79285
2234.20/2241.05 c #Conflicts: 673000 | #Constraints: 80285
2234.20/2241.05 c #Conflicts: 674000 | #Constraints: 81285
2234.20/2241.05 c #Conflicts: 675000 | #Constraints: 82285
2234.20/2241.05 c #Conflicts: 676000 | #Constraints: 83285
2234.20/2241.05 c #Conflicts: 677000 | #Constraints: 84285
2234.20/2241.05 c #Conflicts: 678000 | #Constraints: 85285
2234.20/2241.05 c #Conflicts: 679000 | #Constraints: 86285
2234.20/2241.05 c #Conflicts: 680000 | #Constraints: 87285
2234.20/2241.05 c #Conflicts: 681000 | #Constraints: 88285
2234.20/2241.05 c #Conflicts: 682000 | #Constraints: 89285
2234.20/2241.05 c #Conflicts: 683000 | #Constraints: 90285
2234.20/2241.05 c #Conflicts: 684000 | #Constraints: 91285
2234.20/2241.05 c #Conflicts: 685000 | #Constraints: 92285
2234.20/2241.05 c #Conflicts: 686000 | #Constraints: 93285
2234.20/2241.05 c #Conflicts: 687000 | #Constraints: 94285
2234.20/2241.05 c #Conflicts: 688000 | #Constraints: 95285
2234.20/2241.05 c INPROCESSING
2234.20/2241.05 c GARBAGE COLLECT
2234.20/2241.05 c rational objective 80
2298.80/2305.80 c #Conflicts: 689000 | #Constraints: 79864
2298.80/2305.80 c #Conflicts: 690000 | #Constraints: 80864
2298.80/2305.80 c #Conflicts: 691000 | #Constraints: 81864
2298.80/2305.80 c #Conflicts: 692000 | #Constraints: 82864
2298.80/2305.80 c #Conflicts: 693000 | #Constraints: 83864
2298.80/2305.80 c #Conflicts: 694000 | #Constraints: 84864
2298.80/2305.80 c #Conflicts: 695000 | #Constraints: 85865
2298.80/2305.80 c #Conflicts: 696000 | #Constraints: 86865
2298.80/2305.80 c #Conflicts: 697000 | #Constraints: 87865
2298.80/2305.80 c #Conflicts: 698000 | #Constraints: 88865
2298.80/2305.80 c #Conflicts: 699000 | #Constraints: 89865
2298.80/2305.80 c #Conflicts: 700000 | #Constraints: 90865
2298.80/2305.80 c #Conflicts: 701000 | #Constraints: 91865
2298.80/2305.80 c #Conflicts: 702000 | #Constraints: 92865
2298.80/2305.80 c #Conflicts: 703000 | #Constraints: 93865
2298.80/2305.80 c #Conflicts: 704000 | #Constraints: 94865
2298.80/2305.80 c #Conflicts: 705000 | #Constraints: 95865
2298.80/2305.80 c INPROCESSING
2298.80/2305.80 c GARBAGE COLLECT
2298.80/2305.80 c #Conflicts: 706000 | #Constraints: 80265
2298.80/2305.80 c #Conflicts: 707000 | #Constraints: 81265
2298.80/2305.80 c #Conflicts: 708000 | #Constraints: 82265
2298.80/2305.80 c #Conflicts: 709000 | #Constraints: 83265
2298.80/2305.80 c #Conflicts: 710000 | #Constraints: 84265
2298.80/2305.80 c #Conflicts: 711000 | #Constraints: 85265
2298.80/2305.80 c #Conflicts: 712000 | #Constraints: 86265
2298.80/2305.80 c #Conflicts: 713000 | #Constraints: 87265
2298.80/2305.80 c #Conflicts: 714000 | #Constraints: 88265
2298.80/2305.80 c #Conflicts: 715000 | #Constraints: 89265
2298.80/2305.80 c #Conflicts: 716000 | #Constraints: 90265
2298.80/2305.80 c #Conflicts: 717000 | #Constraints: 91265
2298.80/2305.80 c #Conflicts: 718000 | #Constraints: 92265
2298.80/2305.80 c #Conflicts: 719000 | #Constraints: 93265
2298.80/2305.80 c #Conflicts: 720000 | #Constraints: 94265
2298.80/2305.80 c #Conflicts: 721000 | #Constraints: 95265
2298.80/2305.80 c #Conflicts: 722000 | #Constraints: 96265
2298.80/2305.80 c INPROCESSING
2298.80/2305.80 c GARBAGE COLLECT
2298.80/2305.80 c rational objective 80
2388.06/2395.36 c #Conflicts: 723000 | #Constraints: 80495
2388.06/2395.36 c #Conflicts: 724000 | #Constraints: 81495
2388.06/2395.36 c #Conflicts: 725000 | #Constraints: 82495
2388.06/2395.36 c #Conflicts: 726000 | #Constraints: 83495
2388.06/2395.36 c #Conflicts: 727000 | #Constraints: 84495
2388.06/2395.36 c #Conflicts: 728000 | #Constraints: 85495
2388.06/2395.36 c #Conflicts: 729000 | #Constraints: 86495
2388.06/2395.36 c #Conflicts: 730000 | #Constraints: 87495
2388.06/2395.36 c #Conflicts: 731000 | #Constraints: 88495
2388.06/2395.36 c #Conflicts: 732000 | #Constraints: 89495
2388.06/2395.36 c #Conflicts: 733000 | #Constraints: 90495
2388.06/2395.36 c #Conflicts: 734000 | #Constraints: 91495
2388.06/2395.36 c #Conflicts: 735000 | #Constraints: 92495
2388.06/2395.36 c #Conflicts: 736000 | #Constraints: 93495
2388.06/2395.36 c #Conflicts: 737000 | #Constraints: 94495
2388.06/2395.36 c #Conflicts: 738000 | #Constraints: 95495
2388.06/2395.36 c #Conflicts: 739000 | #Constraints: 96495
2388.06/2395.36 c INPROCESSING
2388.06/2395.36 c GARBAGE COLLECT
2388.06/2395.36 c rational objective 80
2446.37/2453.80 c #Conflicts: 740000 | #Constraints: 80469
2446.37/2453.80 c #Conflicts: 741000 | #Constraints: 81469
2446.37/2453.80 c #Conflicts: 742000 | #Constraints: 82469
2446.37/2453.80 c #Conflicts: 743000 | #Constraints: 83469
2446.37/2453.80 c #Conflicts: 744000 | #Constraints: 84469
2446.37/2453.80 c #Conflicts: 745000 | #Constraints: 85469
2446.37/2453.80 c #Conflicts: 746000 | #Constraints: 86469
2446.37/2453.80 c #Conflicts: 747000 | #Constraints: 87469
2446.37/2453.80 c #Conflicts: 748000 | #Constraints: 88469
2446.37/2453.80 c #Conflicts: 749000 | #Constraints: 89469
2446.37/2453.80 c #Conflicts: 750000 | #Constraints: 90469
2446.37/2453.80 c #Conflicts: 751000 | #Constraints: 91469
2446.37/2453.80 c #Conflicts: 752000 | #Constraints: 92469
2446.37/2453.80 c #Conflicts: 753000 | #Constraints: 93469
2446.37/2453.80 c #Conflicts: 754000 | #Constraints: 94469
2446.37/2453.80 c #Conflicts: 755000 | #Constraints: 95469
2446.37/2453.80 c #Conflicts: 756000 | #Constraints: 96469
2446.37/2453.80 c INPROCESSING
2446.37/2453.80 c GARBAGE COLLECT
2446.37/2453.80 c rational objective 80
2512.29/2519.99 c #Conflicts: 757000 | #Constraints: 80298
2512.29/2519.99 c #Conflicts: 758000 | #Constraints: 81298
2512.29/2519.99 c #Conflicts: 759000 | #Constraints: 82298
2512.29/2519.99 c #Conflicts: 760000 | #Constraints: 83298
2512.29/2519.99 c #Conflicts: 761000 | #Constraints: 84298
2512.29/2519.99 c #Conflicts: 762000 | #Constraints: 85298
2512.29/2519.99 c #Conflicts: 763000 | #Constraints: 86298
2512.29/2519.99 c #Conflicts: 764000 | #Constraints: 87298
2512.29/2519.99 c #Conflicts: 765000 | #Constraints: 88298
2512.29/2519.99 c #Conflicts: 766000 | #Constraints: 89298
2512.29/2519.99 c #Conflicts: 767000 | #Constraints: 90298
2512.29/2519.99 c #Conflicts: 768000 | #Constraints: 91298
2512.29/2519.99 c #Conflicts: 769000 | #Constraints: 92298
2512.29/2519.99 c #Conflicts: 770000 | #Constraints: 93298
2512.29/2519.99 c #Conflicts: 771000 | #Constraints: 94298
2512.29/2519.99 c #Conflicts: 772000 | #Constraints: 95298
2512.29/2519.99 c #Conflicts: 773000 | #Constraints: 96298
2512.29/2519.99 c #Conflicts: 774000 | #Constraints: 97298
2512.29/2519.99 c INPROCESSING
2512.29/2519.99 c GARBAGE COLLECT
2512.29/2519.99 c rational objective 80
2562.62/2570.49 c #Conflicts: 775000 | #Constraints: 80907
2562.62/2570.49 c #Conflicts: 776000 | #Constraints: 81907
2562.62/2570.49 c #Conflicts: 777000 | #Constraints: 82907
2562.62/2570.49 c #Conflicts: 778000 | #Constraints: 83907
2562.62/2570.49 c #Conflicts: 779000 | #Constraints: 84907
2562.62/2570.49 c #Conflicts: 780000 | #Constraints: 85907
2562.62/2570.49 c #Conflicts: 781000 | #Constraints: 86907
2562.62/2570.49 c #Conflicts: 782000 | #Constraints: 87907
2562.62/2570.49 c #Conflicts: 783000 | #Constraints: 88907
2562.62/2570.49 c #Conflicts: 784000 | #Constraints: 89907
2562.62/2570.49 c #Conflicts: 785000 | #Constraints: 90907
2562.62/2570.49 c #Conflicts: 786000 | #Constraints: 91907
2562.62/2570.49 c #Conflicts: 787000 | #Constraints: 92907
2562.62/2570.49 c #Conflicts: 788000 | #Constraints: 93907
2562.62/2570.49 c #Conflicts: 789000 | #Constraints: 94907
2562.62/2570.49 c #Conflicts: 790000 | #Constraints: 95907
2562.62/2570.49 c #Conflicts: 791000 | #Constraints: 96907
2562.62/2570.49 c #Conflicts: 792000 | #Constraints: 97907
2562.62/2570.49 c INPROCESSING
2562.62/2570.49 c GARBAGE COLLECT
2562.62/2570.49 c rational objective 80
2649.35/2657.42 c #Conflicts: 793000 | #Constraints: 81321
2649.35/2657.42 c #Conflicts: 794000 | #Constraints: 82321
2649.35/2657.42 c #Conflicts: 795000 | #Constraints: 83321
2649.35/2657.42 c #Conflicts: 796000 | #Constraints: 84321
2649.35/2657.42 c #Conflicts: 797000 | #Constraints: 85321
2649.35/2657.42 c #Conflicts: 798000 | #Constraints: 86321
2649.35/2657.42 c #Conflicts: 799000 | #Constraints: 87321
2649.35/2657.42 c #Conflicts: 800000 | #Constraints: 88321
2649.35/2657.42 c #Conflicts: 801000 | #Constraints: 89321
2649.35/2657.42 c #Conflicts: 802000 | #Constraints: 90322
2649.35/2657.42 c #Conflicts: 803000 | #Constraints: 91322
2649.35/2657.42 c #Conflicts: 804000 | #Constraints: 92322
2649.35/2657.42 c #Conflicts: 805000 | #Constraints: 93322
2649.35/2657.42 c #Conflicts: 806000 | #Constraints: 94322
2649.35/2657.42 c #Conflicts: 807000 | #Constraints: 95322
2649.35/2657.42 c #Conflicts: 808000 | #Constraints: 96322
2649.35/2657.42 c #Conflicts: 809000 | #Constraints: 97322
2649.35/2657.42 c #Conflicts: 810000 | #Constraints: 98322
2649.35/2657.42 c INPROCESSING
2649.35/2657.42 c GARBAGE COLLECT
2649.35/2657.42 c rational objective 80
2705.58/2713.83 c #Conflicts: 811000 | #Constraints: 81491
2705.58/2713.83 c #Conflicts: 812000 | #Constraints: 82491
2705.58/2713.83 c #Conflicts: 813000 | #Constraints: 83491
2705.58/2713.83 c #Conflicts: 814000 | #Constraints: 84491
2705.58/2713.83 c #Conflicts: 815000 | #Constraints: 85491
2705.58/2713.83 c #Conflicts: 816000 | #Constraints: 86491
2705.58/2713.83 c #Conflicts: 817000 | #Constraints: 87491
2705.58/2713.83 c #Conflicts: 818000 | #Constraints: 88491
2705.58/2713.83 c #Conflicts: 819000 | #Constraints: 89491
2705.58/2713.83 c #Conflicts: 820000 | #Constraints: 90491
2705.58/2713.83 c #Conflicts: 821000 | #Constraints: 91491
2705.58/2713.83 c #Conflicts: 822000 | #Constraints: 92491
2705.58/2713.83 c #Conflicts: 823000 | #Constraints: 93491
2705.58/2713.83 c #Conflicts: 824000 | #Constraints: 94491
2705.58/2713.83 c #Conflicts: 825000 | #Constraints: 95491
2705.58/2713.83 c #Conflicts: 826000 | #Constraints: 96491
2705.58/2713.83 c #Conflicts: 827000 | #Constraints: 97491
2705.58/2713.83 c #Conflicts: 828000 | #Constraints: 98491
2705.58/2713.83 c INPROCESSING
2705.58/2713.83 c GARBAGE COLLECT
2705.58/2713.83 c rational objective 80
2756.31/2764.76 c #Conflicts: 829000 | #Constraints: 81485
2756.31/2764.76 c #Conflicts: 830000 | #Constraints: 82485
2756.31/2764.76 c #Conflicts: 831000 | #Constraints: 83485
2756.31/2764.76 c #Conflicts: 832000 | #Constraints: 84485
2756.31/2764.76 c #Conflicts: 833000 | #Constraints: 85485
2756.31/2764.76 c #Conflicts: 834000 | #Constraints: 86485
2756.31/2764.76 c #Conflicts: 835000 | #Constraints: 87485
2756.31/2764.76 c #Conflicts: 836000 | #Constraints: 88485
2756.31/2764.76 c #Conflicts: 837000 | #Constraints: 89485
2756.31/2764.76 c #Conflicts: 838000 | #Constraints: 90485
2756.31/2764.76 c #Conflicts: 839000 | #Constraints: 91485
2756.31/2764.76 c #Conflicts: 840000 | #Constraints: 92485
2756.31/2764.76 c #Conflicts: 841000 | #Constraints: 93485
2756.31/2764.76 c #Conflicts: 842000 | #Constraints: 94485
2756.31/2764.76 c #Conflicts: 843000 | #Constraints: 95485
2756.31/2764.76 c #Conflicts: 844000 | #Constraints: 96485
2756.31/2764.76 c #Conflicts: 845000 | #Constraints: 97485
2756.31/2764.76 c #Conflicts: 846000 | #Constraints: 98485
2756.31/2764.76 c INPROCESSING
2756.31/2764.76 c GARBAGE COLLECT
2756.31/2764.76 c rational objective 80
2810.62/2819.20 c #Conflicts: 847000 | #Constraints: 81279
2810.62/2819.20 c #Conflicts: 848000 | #Constraints: 82279
2810.62/2819.20 c #Conflicts: 849000 | #Constraints: 83279
2810.62/2819.20 c #Conflicts: 850000 | #Constraints: 84279
2810.62/2819.20 c #Conflicts: 851000 | #Constraints: 85279
2810.62/2819.20 c #Conflicts: 852000 | #Constraints: 86279
2810.62/2819.20 c #Conflicts: 853000 | #Constraints: 87279
2810.62/2819.20 c #Conflicts: 854000 | #Constraints: 88279
2810.62/2819.20 c #Conflicts: 855000 | #Constraints: 89279
2810.62/2819.20 c #Conflicts: 856000 | #Constraints: 90279
2810.62/2819.20 c #Conflicts: 857000 | #Constraints: 91279
2810.62/2819.20 c #Conflicts: 858000 | #Constraints: 92279
2810.62/2819.20 c #Conflicts: 859000 | #Constraints: 93279
2810.62/2819.20 c #Conflicts: 860000 | #Constraints: 94279
2810.62/2819.20 c #Conflicts: 861000 | #Constraints: 95279
2810.62/2819.20 c #Conflicts: 862000 | #Constraints: 96279
2810.62/2819.20 c #Conflicts: 863000 | #Constraints: 97279
2810.62/2819.20 c #Conflicts: 864000 | #Constraints: 98279
2810.62/2819.20 c #Conflicts: 865000 | #Constraints: 99279
2810.62/2819.20 c INPROCESSING
2810.62/2819.20 c GARBAGE COLLECT
2810.62/2819.20 c rational objective 80
2915.11/2924.03 c #Conflicts: 866000 | #Constraints: 81859
2915.11/2924.03 c #Conflicts: 867000 | #Constraints: 82859
2915.11/2924.03 c #Conflicts: 868000 | #Constraints: 83859
2915.11/2924.03 c #Conflicts: 869000 | #Constraints: 84859
2915.11/2924.03 c #Conflicts: 870000 | #Constraints: 85859
2915.11/2924.03 c #Conflicts: 871000 | #Constraints: 86859
2915.11/2924.03 c #Conflicts: 872000 | #Constraints: 87859
2915.11/2924.03 c #Conflicts: 873000 | #Constraints: 88859
2915.11/2924.03 c #Conflicts: 874000 | #Constraints: 89859
2915.11/2924.03 c #Conflicts: 875000 | #Constraints: 90859
2915.11/2924.03 c #Conflicts: 876000 | #Constraints: 91859
2915.11/2924.03 c #Conflicts: 877000 | #Constraints: 92859
2915.11/2924.03 c #Conflicts: 878000 | #Constraints: 93859
2915.11/2924.03 c #Conflicts: 879000 | #Constraints: 94859
2915.11/2924.03 c #Conflicts: 880000 | #Constraints: 95859
2915.11/2924.03 c #Conflicts: 881000 | #Constraints: 96859
2915.11/2924.03 c #Conflicts: 882000 | #Constraints: 97859
2915.11/2924.03 c #Conflicts: 883000 | #Constraints: 98859
2915.11/2924.03 c #Conflicts: 884000 | #Constraints: 99859
2915.11/2924.03 c INPROCESSING
2915.11/2924.03 c GARBAGE COLLECT
2915.11/2924.03 c rational objective 80
2963.44/2972.56 c #Conflicts: 885000 | #Constraints: 82256
2963.44/2972.56 c #Conflicts: 886000 | #Constraints: 83256
2963.44/2972.56 c #Conflicts: 887000 | #Constraints: 84256
2963.44/2972.56 c #Conflicts: 888000 | #Constraints: 85256
2963.44/2972.56 c #Conflicts: 889000 | #Constraints: 86256
2963.44/2972.56 c #Conflicts: 890000 | #Constraints: 87256
2963.44/2972.56 c #Conflicts: 891000 | #Constraints: 88256
2963.44/2972.56 c #Conflicts: 892000 | #Constraints: 89256
2963.44/2972.56 c #Conflicts: 893000 | #Constraints: 90256
2963.44/2972.56 c #Conflicts: 894000 | #Constraints: 91256
2963.44/2972.56 c #Conflicts: 895000 | #Constraints: 92256
2963.44/2972.56 c #Conflicts: 896000 | #Constraints: 93256
2963.44/2972.56 c #Conflicts: 897000 | #Constraints: 94256
2963.44/2972.56 c #Conflicts: 898000 | #Constraints: 95256
2963.44/2972.56 c #Conflicts: 899000 | #Constraints: 96256
2963.44/2972.56 c #Conflicts: 900000 | #Constraints: 97256
2963.44/2972.56 c #Conflicts: 901000 | #Constraints: 98256
2963.44/2972.56 c #Conflicts: 902000 | #Constraints: 99256
2963.44/2972.56 c #Conflicts: 903000 | #Constraints: 100256
2963.44/2972.56 c INPROCESSING
2963.44/2972.56 c GARBAGE COLLECT
2963.44/2972.56 c rational objective 80
3017.28/3026.57 c #Conflicts: 904000 | #Constraints: 82449
3017.28/3026.57 c #Conflicts: 905000 | #Constraints: 83449
3017.28/3026.57 c #Conflicts: 906000 | #Constraints: 84449
3017.28/3026.57 c #Conflicts: 907000 | #Constraints: 85449
3017.28/3026.57 c #Conflicts: 908000 | #Constraints: 86449
3017.28/3026.57 c #Conflicts: 909000 | #Constraints: 87449
3017.28/3026.57 c #Conflicts: 910000 | #Constraints: 88449
3017.28/3026.57 c #Conflicts: 911000 | #Constraints: 89449
3017.28/3026.57 c #Conflicts: 912000 | #Constraints: 90449
3017.28/3026.57 c #Conflicts: 913000 | #Constraints: 91449
3017.28/3026.57 c #Conflicts: 914000 | #Constraints: 92449
3017.28/3026.57 c #Conflicts: 915000 | #Constraints: 93449
3017.28/3026.57 c #Conflicts: 916000 | #Constraints: 94449
3017.28/3026.57 c #Conflicts: 917000 | #Constraints: 95449
3017.28/3026.57 c #Conflicts: 918000 | #Constraints: 96449
3017.28/3026.57 c #Conflicts: 919000 | #Constraints: 97449
3017.28/3026.57 c #Conflicts: 920000 | #Constraints: 98449
3017.28/3026.57 c #Conflicts: 921000 | #Constraints: 99449
3017.28/3026.57 c #Conflicts: 922000 | #Constraints: 100449
3017.28/3026.57 c INPROCESSING
3017.28/3026.57 c GARBAGE COLLECT
3017.28/3026.57 c rational objective 80
3070.40/3079.84 c #Conflicts: 923000 | #Constraints: 82451
3070.40/3079.84 c #Conflicts: 924000 | #Constraints: 83451
3070.40/3079.84 c #Conflicts: 925000 | #Constraints: 84451
3070.40/3079.84 c #Conflicts: 926000 | #Constraints: 85451
3070.40/3079.84 c #Conflicts: 927000 | #Constraints: 86451
3070.40/3079.84 c #Conflicts: 928000 | #Constraints: 87451
3070.40/3079.84 c #Conflicts: 929000 | #Constraints: 88451
3070.40/3079.84 c #Conflicts: 930000 | #Constraints: 89451
3070.40/3079.84 c #Conflicts: 931000 | #Constraints: 90451
3070.40/3079.84 c #Conflicts: 932000 | #Constraints: 91451
3070.40/3079.84 c #Conflicts: 933000 | #Constraints: 92451
3070.40/3079.84 c #Conflicts: 934000 | #Constraints: 93451
3070.40/3079.84 c #Conflicts: 935000 | #Constraints: 94451
3070.40/3079.84 c #Conflicts: 936000 | #Constraints: 95451
3070.40/3079.84 c #Conflicts: 937000 | #Constraints: 96451
3070.40/3079.84 c #Conflicts: 938000 | #Constraints: 97451
3070.40/3079.84 c #Conflicts: 939000 | #Constraints: 98451
3070.40/3079.84 c #Conflicts: 940000 | #Constraints: 99451
3070.40/3079.84 c #Conflicts: 941000 | #Constraints: 100451
3070.40/3079.84 c INPROCESSING
3070.40/3079.84 c GARBAGE COLLECT
3070.40/3079.84 c rational objective 80
3102.80/3112.35 c #Conflicts: 942000 | #Constraints: 82262
3102.80/3112.35 c #Conflicts: 943000 | #Constraints: 83262
3102.80/3112.35 c #Conflicts: 944000 | #Constraints: 84263
3102.80/3112.35 c #Conflicts: 945000 | #Constraints: 85263
3102.80/3112.35 c #Conflicts: 946000 | #Constraints: 86263
3102.80/3112.35 c #Conflicts: 947000 | #Constraints: 87263
3102.80/3112.35 c #Conflicts: 948000 | #Constraints: 88263
3102.80/3112.35 c #Conflicts: 949000 | #Constraints: 89263
3102.80/3112.35 c #Conflicts: 950000 | #Constraints: 90263
3102.80/3112.35 WSVECS04 Frhs2[7587]: 6 -10 0 shouldn't be
3134.21/3143.89 c #Conflicts: 951000 | #Constraints: 91263
3134.21/3143.89 c #Conflicts: 952000 | #Constraints: 92263
3134.21/3143.89 c #Conflicts: 953000 | #Constraints: 93263
3134.21/3143.89 c #Conflicts: 954000 | #Constraints: 94263
3134.21/3143.89 c #Conflicts: 955000 | #Constraints: 95263
3134.21/3143.89 c #Conflicts: 956000 | #Constraints: 96263
3134.21/3143.89 c #Conflicts: 957000 | #Constraints: 97263
3134.21/3143.89 c #Conflicts: 958000 | #Constraints: 98263
3134.21/3143.89 c #Conflicts: 959000 | #Constraints: 99263
3134.21/3143.89 c #Conflicts: 960000 | #Constraints: 100263
3134.21/3143.89 c #Conflicts: 961000 | #Constraints: 101263
3134.21/3143.89 c INPROCESSING
3134.21/3143.89 c GARBAGE COLLECT
3134.21/3143.89 c rational objective 80
3199.84/3209.66 c #Conflicts: 962000 | #Constraints: 82892
3199.84/3209.66 c #Conflicts: 963000 | #Constraints: 83892
3199.84/3209.66 c #Conflicts: 964000 | #Constraints: 84892
3199.84/3209.66 c #Conflicts: 965000 | #Constraints: 85892
3199.84/3209.66 c #Conflicts: 966000 | #Constraints: 86892
3199.84/3209.66 c #Conflicts: 967000 | #Constraints: 87892
3199.84/3209.66 c #Conflicts: 968000 | #Constraints: 88892
3199.84/3209.66 c #Conflicts: 969000 | #Constraints: 89892
3199.84/3209.66 c #Conflicts: 970000 | #Constraints: 90892
3199.84/3209.66 c #Conflicts: 971000 | #Constraints: 91892
3199.84/3209.66 c #Conflicts: 972000 | #Constraints: 92892
3199.84/3209.66 c #Conflicts: 973000 | #Constraints: 93892
3199.84/3209.66 c #Conflicts: 974000 | #Constraints: 94892
3199.84/3209.66 c #Conflicts: 975000 | #Constraints: 95892
3199.84/3209.66 c #Conflicts: 976000 | #Constraints: 96892
3199.84/3209.66 c #Conflicts: 977000 | #Constraints: 97892
3199.84/3209.66 c #Conflicts: 978000 | #Constraints: 98892
3199.84/3209.66 c #Conflicts: 979000 | #Constraints: 99892
3199.84/3209.66 c #Conflicts: 980000 | #Constraints: 100892
3199.84/3209.66 c #Conflicts: 981000 | #Constraints: 101892
3199.84/3209.66 c INPROCESSING
3199.84/3209.66 c GARBAGE COLLECT
3199.84/3209.66 c rational objective 80
3264.77/3274.72 c #Conflicts: 982000 | #Constraints: 83310
3264.77/3274.72 c #Conflicts: 983000 | #Constraints: 84310
3264.77/3274.72 c #Conflicts: 984000 | #Constraints: 85310
3264.77/3274.72 c #Conflicts: 985000 | #Constraints: 86310
3264.77/3274.72 c #Conflicts: 986000 | #Constraints: 87310
3264.77/3274.72 c #Conflicts: 987000 | #Constraints: 88310
3264.77/3274.72 c #Conflicts: 988000 | #Constraints: 89310
3264.77/3274.72 c #Conflicts: 989000 | #Constraints: 90310
3264.77/3274.72 c #Conflicts: 990000 | #Constraints: 91310
3264.77/3274.72 c #Conflicts: 991000 | #Constraints: 92310
3264.77/3274.72 c #Conflicts: 992000 | #Constraints: 93310
3264.77/3274.72 c #Conflicts: 993000 | #Constraints: 94310
3264.77/3274.72 c #Conflicts: 994000 | #Constraints: 95310
3264.77/3274.72 c #Conflicts: 995000 | #Constraints: 96310
3264.77/3274.72 c #Conflicts: 996000 | #Constraints: 97310
3264.77/3274.72 c #Conflicts: 997000 | #Constraints: 98310
3264.77/3274.72 c #Conflicts: 998000 | #Constraints: 99310
3264.77/3274.72 c #Conflicts: 999000 | #Constraints: 100310
3264.77/3274.72 c #Conflicts: 1000000 | #Constraints: 101310
3264.77/3274.72 c #Conflicts: 1001000 | #Constraints: 102310
3264.77/3274.72 c INPROCESSING
3264.77/3274.72 c GARBAGE COLLECT
3264.77/3274.72 c rational objective 80
3336.48/3350.14 c #Conflicts: 1002000 | #Constraints: 83530
3336.48/3350.14 c #Conflicts: 1003000 | #Constraints: 84530
3336.48/3350.14 c #Conflicts: 1004000 | #Constraints: 85530
3336.48/3350.14 c #Conflicts: 1005000 | #Constraints: 86530
3336.48/3350.14 c #Conflicts: 1006000 | #Constraints: 87530
3336.48/3350.14 c #Conflicts: 1007000 | #Constraints: 88530
3336.48/3350.14 c #Conflicts: 1008000 | #Constraints: 89530
3336.48/3350.14 c #Conflicts: 1009000 | #Constraints: 90530
3336.48/3350.14 c #Conflicts: 1010000 | #Constraints: 91530
3336.48/3350.14 c #Conflicts: 1011000 | #Constraints: 92530
3336.48/3350.14 c #Conflicts: 1012000 | #Constraints: 93530
3336.48/3350.14 c #Conflicts: 1013000 | #Constraints: 94530
3336.48/3350.14 c #Conflicts: 1014000 | #Constraints: 95530
3336.48/3350.14 c #Conflicts: 1015000 | #Constraints: 96530
3336.48/3350.14 c #Conflicts: 1016000 | #Constraints: 97531
3336.48/3350.14 c #Conflicts: 1017000 | #Constraints: 98531
3336.48/3350.14 c #Conflicts: 1018000 | #Constraints: 99531
3336.48/3350.14 c #Conflicts: 1019000 | #Constraints: 100531
3336.48/3350.14 c #Conflicts: 1020000 | #Constraints: 101531
3336.48/3350.14 c #Conflicts: 1021000 | #Constraints: 102531
3336.48/3350.14 c INPROCESSING
3336.48/3350.14 c GARBAGE COLLECT
3336.48/3350.14 c rational objective 80
3404.07/3417.93 c #Conflicts: 1022000 | #Constraints: 83530
3404.07/3417.93 c #Conflicts: 1023000 | #Constraints: 84530
3404.07/3417.93 c #Conflicts: 1024000 | #Constraints: 85530
3404.07/3417.93 c #Conflicts: 1025000 | #Constraints: 86530
3404.07/3417.93 c #Conflicts: 1026000 | #Constraints: 87530
3404.07/3417.93 c #Conflicts: 1027000 | #Constraints: 88530
3404.07/3417.93 c #Conflicts: 1028000 | #Constraints: 89530
3404.07/3417.93 c #Conflicts: 1029000 | #Constraints: 90530
3404.07/3417.93 c #Conflicts: 1030000 | #Constraints: 91530
3404.07/3417.93 c #Conflicts: 1031000 | #Constraints: 92530
3404.07/3417.93 c #Conflicts: 1032000 | #Constraints: 93530
3404.07/3417.93 c #Conflicts: 1033000 | #Constraints: 94530
3404.07/3417.93 c #Conflicts: 1034000 | #Constraints: 95530
3404.07/3417.93 c #Conflicts: 1035000 | #Constraints: 96530
3404.07/3417.93 c #Conflicts: 1036000 | #Constraints: 97530
3404.07/3417.93 c #Conflicts: 1037000 | #Constraints: 98530
3404.07/3417.93 c #Conflicts: 1038000 | #Constraints: 99530
3404.07/3417.93 c #Conflicts: 1039000 | #Constraints: 100530
3404.07/3417.93 c #Conflicts: 1040000 | #Constraints: 101530
3404.07/3417.93 c #Conflicts: 1041000 | #Constraints: 102530
3404.07/3417.93 c INPROCESSING
3404.07/3417.93 c GARBAGE COLLECT
3404.07/3417.93 c rational objective 80
3520.32/3534.51 c #Conflicts: 1042000 | #Constraints: 83323
3520.32/3534.51 c #Conflicts: 1043000 | #Constraints: 84323
3520.32/3534.51 c #Conflicts: 1044000 | #Constraints: 85324
3520.32/3534.51 c #Conflicts: 1045000 | #Constraints: 86324
3520.32/3534.51 c #Conflicts: 1046000 | #Constraints: 87324
3520.32/3534.51 c #Conflicts: 1047000 | #Constraints: 88324
3520.32/3534.51 c #Conflicts: 1048000 | #Constraints: 89324
3520.32/3534.51 c #Conflicts: 1049000 | #Constraints: 90324
3520.32/3534.51 c #Conflicts: 1050000 | #Constraints: 91324
3520.32/3534.51 c #Conflicts: 1051000 | #Constraints: 92324
3520.32/3534.51 c #Conflicts: 1052000 | #Constraints: 93324
3520.32/3534.51 c #Conflicts: 1053000 | #Constraints: 94324
3520.32/3534.51 c #Conflicts: 1054000 | #Constraints: 95324
3520.32/3534.51 c #Conflicts: 1055000 | #Constraints: 96324
3520.32/3534.51 c #Conflicts: 1056000 | #Constraints: 97324
3520.32/3534.51 c #Conflicts: 1057000 | #Constraints: 98324
3520.32/3534.51 c #Conflicts: 1058000 | #Constraints: 99324
3520.32/3534.51 c #Conflicts: 1059000 | #Constraints: 100324
3520.32/3534.51 c #Conflicts: 1060000 | #Constraints: 101324
3520.32/3534.51 c #Conflicts: 1061000 | #Constraints: 102324
3520.32/3534.51 c #Conflicts: 1062000 | #Constraints: 103324
3520.32/3534.51 c INPROCESSING
3520.32/3534.51 c GARBAGE COLLECT
3520.32/3534.51 c rational objective 80
3570.16/3584.53 c #Conflicts: 1063000 | #Constraints: 83925
3570.16/3584.53 c #Conflicts: 1064000 | #Constraints: 84925
3570.16/3584.53 c #Conflicts: 1065000 | #Constraints: 85925
3570.16/3584.53 c #Conflicts: 1066000 | #Constraints: 86925
3570.16/3584.53 c #Conflicts: 1067000 | #Constraints: 87925
3570.16/3584.53 c #Conflicts: 1068000 | #Constraints: 88925
3570.16/3584.53 c #Conflicts: 1069000 | #Constraints: 89925
3570.16/3584.53 c #Conflicts: 1070000 | #Constraints: 90925
3570.16/3584.53 c #Conflicts: 1071000 | #Constraints: 91925
3570.16/3584.53 c #Conflicts: 1072000 | #Constraints: 92925
3570.16/3584.53 c #Conflicts: 1073000 | #Constraints: 93925
3570.16/3584.53 c #Conflicts: 1074000 | #Constraints: 94925
3570.16/3584.53 c #Conflicts: 1075000 | #Constraints: 95925
3570.16/3584.53 c #Conflicts: 1076000 | #Constraints: 96925
3570.16/3584.53 c #Conflicts: 1077000 | #Constraints: 97925
3570.16/3584.53 c #Conflicts: 1078000 | #Constraints: 98925
3570.16/3584.53 c #Conflicts: 1079000 | #Constraints: 99925
3570.16/3584.53 c #Conflicts: 1080000 | #Constraints: 100925
3570.16/3584.53 c #Conflicts: 1081000 | #Constraints: 101925
3570.16/3584.53 c #Conflicts: 1082000 | #Constraints: 102925
3570.16/3584.53 c #Conflicts: 1083000 | #Constraints: 103925
3570.16/3584.53 c INPROCESSING
3570.16/3584.53 c GARBAGE COLLECT
3570.16/3584.53 c rational objective 80
3600.08/3614.50 c #Conflicts: 1084000 | #Constraints: 84289
3600.08/3614.50 c #Conflicts: 1085000 | #Constraints: 85289
3600.08/3614.50 c #Conflicts: 1086000 | #Constraints: 86289
3600.08/3614.50 c #Conflicts: 1087000 | #Constraints: 87289
3600.08/3614.50 c #Conflicts: 1088000 | #Constraints: 88289
3600.08/3614.50 c #Conflicts: 1089000 | #Constraints: 89290
3600.08/3614.50 c #Conflicts: 1090000 | #Constraints: 90290
3600.08/3614.50 c #Conflicts: 1091000 | #Constraints: 91290
3600.08/3614.50 c #Conflicts: 1092000 | #Constraints: 92290
3600.08/3614.50 c #Conflicts: 1093000 | #Constraints: 93290
3600.08/3614.50 c #Conflicts: 1094000 | #Constraints: 94290
3600.08/3614.50 c #Conflicts: 1095000 | #Constraints: 95290
3600.08/3614.50 c #Conflicts: 1096000 | #Constraints: 96290
3600.08/3614.50 c #Conflicts: 1097000 | #Constraints: 97291
3600.08/3614.50 c #Conflicts: 1098000 | #Constraints: 98291
3600.08/3614.50 c #Conflicts: 1099000 | #Constraints: 99291
3600.08/3614.50 c #Conflicts: 1100000 | #Constraints: 100291
3600.08/3614.50 c #Conflicts: 1101000 | #Constraints: 101291
3600.08/3614.50 c #Conflicts: 1102000 | #Constraints: 102291
3600.08/3614.50 c Disabling crashed LP
3600.08/3614.50 c cpu time 3584.75 s
3600.08/3614.50 c deterministic time 25673150405 2.57e+10
3600.08/3614.50 c optimization time 29.6997 s
3600.08/3614.50 c total solve time 3554.18 s
3600.08/3614.50 c core-guided solve time 1204.92 s
3600.08/3614.50 c propagation time 1867.56 s
3600.08/3614.50 c conflict analysis time 64.3372 s
3600.08/3614.50 c propagations 205367356
3600.08/3614.50 c resolve steps 13098150
3600.08/3614.50 c decisions 1731708
3600.08/3614.50 c conflicts 1102615
3600.08/3614.50 c restarts 2046
3600.08/3614.50 c inprocessing phases 95
3600.08/3614.50 c garbage collections 89 ,( 93.68 )
3600.08/3614.50 c input clauses 61338 ,( 98.05 )
3600.08/3614.50 c input cardinalities 323 ,( 0.52 )
3600.08/3614.50 c input general constraints 896 ,( 1.43 )
3600.08/3614.50 c input average constraint length 3.23
3600.08/3614.50 c input average constraint degree 1.26
3600.08/3614.50 c learned clauses 799088 ,( 72.41 )
3600.08/3614.50 c learned cardinalities 81067 ,( 7.35 )
3600.08/3614.50 c learned general constraints 223353 ,( 20.24 )
3600.08/3614.50 c learned average constraint length 176.94
3600.08/3614.50 c learned average constraint degree 5558464.21
3600.08/3614.50 c watched CF 32, 64, 128, Arb: 211638 , 0 , 0 , 0
3600.08/3614.50 c counting CF 32, 64, 128, Arb: 12612 , 0 , 0 , 0
3600.08/3614.50 c watched constraints 211638 ,( 94.38 )
3600.08/3614.50 c counting constraints 12611 ,( 5.62 )
3600.08/3614.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 441752761 , 570406987 , 537261242 ,( 407478852 , 129782390 )
3600.08/3614.50 c gcd simplifications 27234
3600.08/3614.50 c detected cardinalities 4358
3600.08/3614.50 c weakened non-implied lits 15093933
3600.08/3614.50 c weakened non-implying lits 11674
3600.08/3614.50 c original variables 20515
3600.08/3614.50 c clausal propagations 192657353
3600.08/3614.50 c cardinality propagations 4618960
3600.08/3614.50 c watched propagations 4776534
3600.08/3614.50 c counting propagations 1573506
3600.08/3614.50 c watch lookups 5246564062
3600.08/3614.50 c watch backjump lookups 0
3600.08/3614.50 c watch checks 16983382429
3600.08/3614.50 c propagation checks 2528235979
3600.08/3614.50 c constraint additions 497507608
3600.08/3614.50 c trail pops 208200986
3600.08/3614.50 c formula constraints 62482
3600.08/3614.50 c learned constraints 1102602
3600.08/3614.50 c bound constraints 8
3600.08/3614.50 c core-guided constraints 67
3600.08/3614.50 c encountered formula constraints 9518319
3600.08/3614.50 c encountered learned constraints 4433524
3600.08/3614.50 c encountered bound constraints 0
3600.08/3614.50 c encountered core-guided constraints 155556
3600.08/3614.50 c LP total time 3310.59 s
3600.08/3614.50 c LP solve time 3291.19 s
3600.08/3614.50 c LP constraints added 69426
3600.08/3614.50 c LP constraints removed 6796
3600.08/3614.50 c LP pivots internal 1102612
3600.08/3614.50 c LP pivots root 1057664
3600.08/3614.50 c LP calls 103
3600.08/3614.50 c LP optimalities 82
3600.08/3614.50 c LP no pivot count 0
3600.08/3614.50 c LP infeasibilities 14
3600.08/3614.50 c LP valid Farkas constraints 13
3600.08/3614.50 c LP learned Farkas constraints 13
3600.08/3614.50 c LP basis resets 1
3600.08/3614.50 c LP cycling count 0
3600.08/3614.50 c LP singular count 0
3600.08/3614.50 c LP no primal count 0
3600.08/3614.50 c LP no farkas count 1
3600.08/3614.50 c LP other issue count 0
3600.08/3614.50 c LP Gomory cuts 880
3600.08/3614.50 c LP learned cuts 6064
3600.08/3614.50 c LP deleted cuts 6796
3600.08/3614.50 c LP encountered Gomory constraints 83473
3600.08/3614.50 c LP encountered Farkas constraints 8918
3600.08/3614.50 c LP encountered learned Farkas constraints 962
3600.08/3614.50 c CG auxiliary variables introduced 25
3600.08/3614.50 c CG solutions found 0
3600.08/3614.50 c CG cores constructed 8
3600.08/3614.50 c CG core cardinality constraints returned 0
3600.08/3614.50 c CG unit cores 0
3600.08/3614.50 c CG single cores 8
3600.08/3614.50 c CG blocks removed during cardinality reduction 0
3600.08/3614.50 c CG first core best 0
3600.08/3614.50 c CG decision core best 0
3600.08/3614.50 c CG core reduction tie 0
3600.08/3614.50 c CG core degree average 1.00
3600.08/3614.50 c CG core slack average 3.88
3600.08/3614.50 c CG core upper bound improvements 0
3600.08/3614.50 c STR number of successful calls 0
3600.08/3614.50 c STR number of unsuccessful calls 0
3600.08/3614.50 c STR number of inconclusive calls 0
3600.08/3614.50 c STR number of successful attempts 0
3600.08/3614.50 c STR number of unsuccessful attempts 0
3600.08/3614.50 c STR number of inconclusive attempts 0
3600.08/3614.50 c STR average degree increase per successful call inf
3600.08/3614.50 c STR average degree increase per successful attempt inf
3600.08/3614.50 c STR total number of conflicts for successful attempts 0
3600.08/3614.50 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3614.50 c STR total number of conflicts for inconclusive attempts 0
3600.08/3614.50 c STR average number of conflicts per successful attempt inf
3600.08/3614.50 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3614.50 c STR average number of conflicts per inconclusive attempt inf
3600.08/3614.50 c AVG.sumWPerc 21.97
3600.08/3614.50 c bigint constraints 0
3600.08/3614.50 s UNKNOWN
3600.08/3614.50 c Program interrupted by user.
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 (61664 MiB free)
memory of node 1: 64507 MiB (63420 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507955-1751495905/watcher-4507955-1751495905 -o /tmp/evaluation-result-4507955-1751495905/solver-4507955-1751495905 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751492040-70861 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4507955-1751495905.opb PROOFDIR/proof-4507955-1751495905
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=71631, runsolver pid=71628
[startup+0.100073 s]*
/proc/loadavg: 4.09 4.14 4.10 5/259 71633
/proc/meminfo: memFree=128064628/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71633] ppid=71631 vsize=36460 memory=23568 CPUtime=0.08 cores=1,3
/proc/71633/stat : 71633 (pbsuma) R 71631 71631 70849 0 -1 4194304 6177 0 0 0 6 2 0 0 20 0 1 0 65269401 37335040 5892 18446744073709551615 4210688 4653049 140734760779008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 10645504 140734760782051 140734760782386 140734760782386 140734760787951 0
/proc/71633/statm: 9115 5892 1024 108 0 6523 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 40652 KiB
Current children cumulated memory: 26640 KiB
[startup+0.214117 s]*
/proc/loadavg: 4.09 4.14 4.10 5/259 71633
/proc/meminfo: memFree=128064628/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71633] ppid=71631 vsize=53736 memory=36368 CPUtime=0.19 cores=1,3
/proc/71633/stat : 71633 (pbsuma) R 71631 71631 70849 0 -1 4194304 9435 0 0 0 16 3 0 0 20 0 1 0 65269401 55025664 9092 18446744073709551615 4210688 4653049 140734760779008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 10645504 140734760782051 140734760782386 140734760782386 140734760787951 0
/proc/71633/statm: 13434 9092 1024 108 0 10842 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57928 KiB
Current children cumulated memory: 39440 KiB
[startup+0.314045 s]*
/proc/loadavg: 4.09 4.14 4.10 5/259 71633
/proc/meminfo: memFree=128064628/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71633] ppid=71631 vsize=40044 memory=28532 CPUtime=0.29 cores=1,3
/proc/71633/stat : 71633 (pbsuma) R 71631 71631 70849 0 -1 4194304 9929 0 0 0 26 3 0 0 20 0 1 0 65269401 41005056 7133 18446744073709551615 4210688 4653049 140734760779008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 10645504 140734760782051 140734760782386 140734760782386 140734760787951 0
/proc/71633/statm: 10011 7133 1024 108 0 7419 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44236 KiB
Current children cumulated memory: 31604 KiB
[startup+0.700362 s]
/proc/loadavg: 4.09 4.14 4.10 5/259 71633
/proc/meminfo: memFree=128064628/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71633] ppid=71631 vsize=40044 memory=28532 CPUtime=0.67 cores=1,3
/proc/71633/stat : 71633 (pbsuma) R 71631 71631 70849 0 -1 4194304 9946 0 0 0 63 4 0 0 20 0 1 0 65269401 41005056 7133 18446744073709551615 4210688 4653049 140734760779008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 10645504 140734760782051 140734760782386 140734760782386 140734760787951 0
/proc/71633/statm: 10011 7133 1024 108 0 7419 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 44236 KiB
Current children cumulated memory: 31604 KiB
[startup+1.50031 s]
/proc/loadavg: 4.09 4.14 4.10 5/259 71633
/proc/meminfo: memFree=128016496/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3.11352 s]
/proc/loadavg: 4.08 4.14 4.10 5/259 71634
/proc/meminfo: memFree=127870180/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=157888 memory=115696 CPUtime=1.75 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 17780 0 0 0 155 20 0 0 20 0 1 0 65269531 161677312 28924 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 39472 28924 2304 1147 0 26899 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 162080 KiB
Current children cumulated memory: 118768 KiB
[startup+6.3004 s]
/proc/loadavg: 4.08 4.14 4.10 5/259 71634
/proc/meminfo: memFree=127860832/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=163932 memory=120304 CPUtime=4.93 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 18940 0 0 0 465 28 0 0 20 0 1 0 65269531 167866368 30076 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 40983 30076 2336 1147 0 28410 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 168124 KiB
Current children cumulated memory: 123376 KiB
[startup+12.7004 s]
/proc/loadavg: 4.15 4.15 4.11 5/259 71635
/proc/meminfo: memFree=127851964/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=175508 memory=127932 CPUtime=11.31 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 21350 0 0 0 1092 39 0 0 20 0 1 0 65269531 179720192 31983 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 43877 31983 2368 1147 0 31304 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 179700 KiB
Current children cumulated memory: 131004 KiB
[startup+25.5005 s]
/proc/loadavg: 4.12 4.14 4.10 5/259 71635
/proc/meminfo: memFree=127829884/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=178780 memory=130492 CPUtime=24.08 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 21995 0 0 0 2361 47 0 0 20 0 1 0 65269531 183070720 32623 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 44695 32623 2368 1147 0 32122 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 182972 KiB
Current children cumulated memory: 133564 KiB
[startup+51.1136 s]
/proc/loadavg: 4.08 4.13 4.10 5/259 71635
/proc/meminfo: memFree=127836896/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=180064 memory=131004 CPUtime=49.61 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 22115 0 0 0 4906 55 0 0 20 0 1 0 65269531 184385536 32751 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 45016 32751 2368 1147 0 32443 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 184256 KiB
Current children cumulated memory: 134076 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/259 71642
/proc/meminfo: memFree=127772520/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=197144 memory=146620 CPUtime=100.65 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 25527 0 0 0 9985 80 0 0 20 0 1 0 65269531 201875456 36655 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 49286 36655 2368 1147 0 36713 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 201336 KiB
Current children cumulated memory: 149692 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/258 71644
/proc/meminfo: memFree=127650584/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=212464 memory=161944 CPUtime=160.48 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 27826 0 0 0 15945 103 0 0 20 0 1 0 65269531 217563136 40486 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 53116 40486 2368 1147 0 40543 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 216656 KiB
Current children cumulated memory: 165016 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/258 71646
/proc/meminfo: memFree=127616736/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=212464 memory=161944 CPUtime=220.31 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 27840 0 0 0 21901 130 0 0 20 0 1 0 65269531 217563136 40486 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 53116 40486 2368 1147 0 40543 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 216656 KiB
Current children cumulated memory: 165016 KiB
################
# More data... #
################
/proc/71634/statm: 74534 62064 2368 1147 0 61961 0
Current children cumulated CPU time: 3092.84 s
Current children cumulated vsize: 302328 KiB
Current children cumulated memory: 251328 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.13 4/257 71863
/proc/meminfo: memFree=125610296/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=298136 memory=248896 CPUtime=3151.48 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 34245 0 0 0 313893 1255 0 0 20 0 1 0 65269531 305291264 62224 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 74534 62224 2368 1147 0 61961 0
Current children cumulated CPU time: 3152.67 s
Current children cumulated vsize: 302328 KiB
Current children cumulated memory: 251968 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.13 5/257 71865
/proc/meminfo: memFree=125514616/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=348224 memory=297256 CPUtime=3211.32 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 35089 0 0 0 319850 1282 0 0 20 0 1 0 65269531 356581376 74314 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 87056 74314 2368 1147 0 74483 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 352416 KiB
Current children cumulated memory: 300328 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/256 71867
/proc/meminfo: memFree=125469624/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=352880 memory=305192 CPUtime=3271.15 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 36074 0 0 0 325815 1300 0 0 20 0 1 0 65269531 361349120 76298 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 88220 76298 2368 1147 0 75647 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 357072 KiB
Current children cumulated memory: 308264 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/258 71871
/proc/meminfo: memFree=125411924/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=436760 memory=315740 CPUtime=3327.5 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 37198 0 0 0 331435 1315 0 0 20 0 1 0 65269531 447242240 78935 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 109190 78935 2368 1147 0 96617 0
Current children cumulated CPU time: 3328.69 s
Current children cumulated vsize: 440952 KiB
Current children cumulated memory: 318812 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.11 5/258 71874
/proc/meminfo: memFree=125323252/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=441292 memory=337020 CPUtime=3387.33 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 38414 0 0 0 337394 1339 0 0 20 0 1 0 65269531 451883008 84255 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 110323 84255 2368 1147 0 97750 0
Current children cumulated CPU time: 3388.52 s
Current children cumulated vsize: 445484 KiB
Current children cumulated memory: 340092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/258 71876
/proc/meminfo: memFree=125256680/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=441292 memory=337148 CPUtime=3447.16 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 38461 0 0 0 343362 1354 0 0 20 0 1 0 65269531 451883008 84287 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 110323 84287 2368 1147 0 97750 0
Current children cumulated CPU time: 3448.35 s
Current children cumulated vsize: 445484 KiB
Current children cumulated memory: 340220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/258 71971
/proc/meminfo: memFree=126972028/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=441292 memory=337276 CPUtime=3506.98 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 38469 0 0 0 349327 1371 0 0 20 0 1 0 65269531 451883008 84319 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 110323 84319 2368 1147 0 97750 0
Current children cumulated CPU time: 3508.17 s
Current children cumulated vsize: 445484 KiB
Current children cumulated memory: 340348 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/259 71976
/proc/meminfo: memFree=126853944/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=444484 memory=340348 CPUtime=3566.78 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 39118 0 0 0 355283 1395 0 0 20 0 1 0 65269531 455151616 85087 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 111121 85087 2368 1147 0 98548 0
Current children cumulated CPU time: 3567.97 s
Current children cumulated vsize: 448676 KiB
Current children cumulated memory: 343420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.5 s]
/proc/loadavg: 4.04 4.08 4.10 5/259 71977
/proc/meminfo: memFree=126838348/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=444936 memory=340860 CPUtime=3598.89 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 39260 0 0 0 358475 1414 0 0 20 0 1 0 65269531 455614464 85215 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 111234 85215 2368 1147 0 98661 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 449128 KiB
Current children cumulated memory: 343932 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3614.51 s]
# the end of solver process 71631 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.03215 s, system=0.166355 s
Sleeping 2 seconds
[startup+3614.53 s]
# the end of solver process 71634 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.81 s, system=14.311 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+3614.5 s]
/proc/loadavg: 4.04 4.08 4.10 5/259 71977
/proc/meminfo: memFree=126838348/131382112 swapFree=33009904/33010684
[pid=71631] ppid=71628 vsize=4192 memory=3072 CPUtime=1.19 cores=1,3
/proc/71631/stat : 71631 (run-opt-ls-log.) S 71628 71631 70849 0 -1 4194304 243 10620 0 0 0 0 103 16 20 0 1 0 65269399 4292608 768 18446744073709551615 94760445292544 94760446187077 140725822946960 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94760446426128 94760446473872 94760479019008 140725822953755 140725822953953 140725822953953 140725822959555 0
/proc/71631/statm: 1048 768 704 219 0 110 0
[pid=71634] ppid=71631 vsize=444936 memory=340860 CPUtime=3598.89 cores=1,3
/proc/71634/stat : 71634 (roundingsat) R 71631 71631 70849 0 -1 4194304 39260 0 0 0 358475 1414 0 0 20 0 1 0 65269531 455614464 85215 18446744073709551615 4227072 8923433 140735218611424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 27815936 140735218620662 140735218620968 140735218620968 140735218626538 0
/proc/71634/statm: 111234 85215 2368 1147 0 98661 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 449128 KiB
Current children cumulated memory: 343932 KiB
Child status: 2
Real time (s): 3614.53
CPU time (s): 3600.12
CPU user time (s): 3585.81
CPU system time (s): 14.311
CPU usage (%): 99.6014
Max. virtual memory (cumulated for all children) (KiB): 449128
Max. memory (cumulated for all children) (KiB): 343932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.81
system time used= 14.311
maximum resident set size= 341372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50146
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1058368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4569
involuntary context switches= 3019
# summary of solver processes directly reported to runsolver:
# pid: 71631,71634
# total CPU time (s): 3600.12
# total CPU user time (s): 3585.81
# total CPU system time (s): 14.311
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0997 second user time and 38.4501 second system time
The end
Begin job on nodeC001 at 2025-07-03 00:38:25
IDJOB=4507955
IDBENCH=158390
IDSOLVER=3356
FILE ID=nodeC001/4507955-1751495905
RUNJOBID= nodeC001-1751492040-70861
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-sep4.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-4507955-1751495905/watcher-4507955-1751495905 -o /tmp/evaluation-result-4507955-1751495905/solver-4507955-1751495905 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751492040-70861 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4507955-1751495905.opb PROOFDIR/proof-4507955-1751495905
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=503680270
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 : 3691.182
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 : 3492.693
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.339
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.171
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 : 3691.257
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 : 3664.637
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.212
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 : 3700.000
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: 128087360 kB
MemAvailable: 129489624 kB
Buffers: 1668 kB
Cached: 2197520 kB
SwapCached: 32 kB
Active: 834812 kB
Inactive: 1888156 kB
Active(anon): 519204 kB
Inactive(anon): 22532 kB
Active(file): 315608 kB
Inactive(file): 1865624 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19636 kB
Writeback: 0 kB
AnonPages: 526972 kB
Mapped: 117552 kB
Shmem: 17900 kB
KReclaimable: 120936 kB
Slab: 205824 kB
SReclaimable: 120936 kB
SUnreclaim: 84888 kB
KernelStack: 4192 kB
PageTables: 4340 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 901584 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149544 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 167936 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= 432468 MiB
End job on nodeC001 at 2025-07-03 01:38:40