0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507956-1751490028.opb'
0.00/0.03 c read 1.11MB (17.51ms)
0.00/0.03 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 2664] (19.01ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08 c found row 11x666, generating row predicate
0.00/0.08 c (33.76ms)
0.00/0.08 c
0.00/0.08 c detect symmetries on remainder
0.00/0.08 c [graph: #vertices 80207 #edges 285984]
0.00/0.08 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.12 c [group: #symmetries 1.24*10^7 #generators 13] (36.63ms)
0.08/0.12 c
0.08/0.12 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.12 c ran it=0, +gens=2
0.19/0.24 c con best_support=1332, best_gens=13, +gens=224
0.19/0.24 c (122.35ms)
0.19/0.24 c
0.19/0.24 c finalize break order and special generators
0.19/0.24 c
0.19/0.24 c add generic predicates (break_depth=20)
0.19/0.25 c added predicates for 239 generators (6.67ms)
0.19/0.25 c
0.19/0.25 c generation finished
0.19/0.25 c [sbp: #constraints 33822 #add_vars 11191]
0.19/0.25 c
0.19/0.25 c write result to 'HOME/instance-4507956-1751490028.opb.pre'
0.19/0.25 c wrote 2.40MB (5.32ms)
0.19/0.26 c ------------------------------------------------------------------
0.19/0.26 c 122.35ms 50.18% optimize_gens
0.19/0.26 c 36.63ms 15.03% detect_generic
0.19/0.26 c 33.76ms 13.85% detect_special
0.19/0.26 c 19.01ms 7.80% approx_orbits
0.19/0.26 c 17.51ms 7.18% parse
0.19/0.26 c 6.67ms 2.74% break_generic
0.19/0.26 c 5.32ms 2.18% output
0.19/0.26 c 1.36ms 0.56% finalize_order
0.19/0.26 c 1.20ms 0.49% other
0.19/0.26 c ───────────────────────────────────────────────
0.19/0.26 c 243.82ms 100% total
0.19/0.26 c ------------------------------------------------------------------
0.19/0.27 c RoundingSat 2
0.19/0.27 c branch pb25
0.19/0.27 c commit 63f22ad
0.47/0.54 c #variables 20515 #constraints 62482
0.47/0.54 c objective is ce32
0.47/0.54 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
0.47/0.54 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.47/0.54 c bounds - >= 0 @ 0.197516
3.45/3.54 c #Conflicts: 1000 | #Constraints: 63481
3.45/3.54 c #Conflicts: 2000 | #Constraints: 64481
3.45/3.54 c INPROCESSING
3.45/3.54 c bounds - >= 10 @ 3.13075
3.45/3.55 c bounds - >= 20 @ 3.13233
3.45/3.55 c bounds - >= 30 @ 3.13854
3.45/3.56 c bounds - >= 40 @ 3.14673
3.45/3.57 c bounds - >= 50 @ 3.15984
3.55/3.63 c #Conflicts: 3000 | #Constraints: 64543
3.55/3.63 c bounds - >= 60 @ 3.21172
29.18/29.36 c #Conflicts: 4000 | #Constraints: 65552
29.18/29.36 c INPROCESSING
29.18/29.36 c GARBAGE COLLECT
29.18/29.36 c #Conflicts: 5000 | #Constraints: 64919
29.18/29.36 c #Conflicts: 6000 | #Constraints: 65920
29.18/29.36 c INPROCESSING
29.18/29.36 c #Conflicts: 7000 | #Constraints: 64978
29.18/29.36 c #Conflicts: 8000 | #Constraints: 65978
29.18/29.36 c #Conflicts: 9000 | #Constraints: 66978
29.18/29.36 c INPROCESSING
29.18/29.36 c GARBAGE COLLECT
29.18/29.36 c #Conflicts: 10000 | #Constraints: 65683
29.18/29.36 c #Conflicts: 11000 | #Constraints: 66683
29.18/29.36 c #Conflicts: 12000 | #Constraints: 67683
29.18/29.36 c INPROCESSING
29.18/29.36 c #Conflicts: 13000 | #Constraints: 66156
29.18/29.36 c #Conflicts: 14000 | #Constraints: 67156
29.18/29.36 c #Conflicts: 15000 | #Constraints: 68156
29.18/29.36 c INPROCESSING
29.18/29.36 c GARBAGE COLLECT
29.18/29.36 c rational objective 60
41.24/41.43 c #Conflicts: 16000 | #Constraints: 66401
41.24/41.43 c #Conflicts: 17000 | #Constraints: 67401
41.24/41.43 c #Conflicts: 18000 | #Constraints: 68401
41.24/41.43 c INPROCESSING
41.24/41.43 c rational objective 60
140.97/141.41 c #Conflicts: 19000 | #Constraints: 66478
140.97/141.41 c #Conflicts: 20000 | #Constraints: 67478
140.97/141.41 c #Conflicts: 21000 | #Constraints: 68478
140.97/141.41 c INPROCESSING
140.97/141.41 c GARBAGE COLLECT
140.97/141.41 c #Conflicts: 22000 | #Constraints: 66237
140.97/141.41 c #Conflicts: 23000 | #Constraints: 67237
140.97/141.41 c #Conflicts: 24000 | #Constraints: 68237
140.97/141.41 c #Conflicts: 25000 | #Constraints: 69237
140.97/141.41 c INPROCESSING
140.97/141.41 c GARBAGE COLLECT
140.97/141.41 c rational objective 60
219.36/220.05 c #Conflicts: 26000 | #Constraints: 66858
219.36/220.05 c #Conflicts: 27000 | #Constraints: 67858
219.36/220.05 c #Conflicts: 28000 | #Constraints: 68858
219.36/220.05 c #Conflicts: 29000 | #Constraints: 69858
219.36/220.05 c INPROCESSING
219.36/220.05 c #Conflicts: 30000 | #Constraints: 67235
219.36/220.05 c #Conflicts: 31000 | #Constraints: 68235
219.36/220.05 c #Conflicts: 32000 | #Constraints: 69235
219.36/220.05 c #Conflicts: 33000 | #Constraints: 70235
219.36/220.05 c INPROCESSING
219.36/220.05 c GARBAGE COLLECT
219.36/220.05 c #Conflicts: 34000 | #Constraints: 67421
219.36/220.05 c #Conflicts: 35000 | #Constraints: 68421
219.36/220.05 c #Conflicts: 36000 | #Constraints: 69421
219.36/220.05 c #Conflicts: 37000 | #Constraints: 70421
219.36/220.05 c INPROCESSING
219.36/220.05 c GARBAGE COLLECT
219.36/220.05 c #Conflicts: 38000 | #Constraints: 67421
219.36/220.05 c #Conflicts: 39000 | #Constraints: 68421
219.36/220.05 c #Conflicts: 40000 | #Constraints: 69421
219.36/220.05 c #Conflicts: 41000 | #Constraints: 70421
219.36/220.05 c INPROCESSING
219.36/220.05 c GARBAGE COLLECT
219.36/220.05 c #Conflicts: 42000 | #Constraints: 67213
219.36/220.05 c #Conflicts: 43000 | #Constraints: 68213
219.36/220.05 c #Conflicts: 44000 | #Constraints: 69213
219.36/220.05 c #Conflicts: 45000 | #Constraints: 70213
219.36/220.05 c #Conflicts: 46000 | #Constraints: 71213
219.36/220.05 c INPROCESSING
219.36/220.05 c GARBAGE COLLECT
219.36/220.05 c #Conflicts: 47000 | #Constraints: 67810
219.36/220.05 c #Conflicts: 48000 | #Constraints: 68810
219.36/220.05 c #Conflicts: 49000 | #Constraints: 69810
219.36/220.05 c #Conflicts: 50000 | #Constraints: 70810
219.36/220.05 c #Conflicts: 51000 | #Constraints: 71810
219.36/220.05 c INPROCESSING
219.36/220.05 c GARBAGE COLLECT
219.36/220.05 c #Conflicts: 52000 | #Constraints: 68213
219.36/220.05 c #Conflicts: 53000 | #Constraints: 69213
219.36/220.05 c #Conflicts: 54000 | #Constraints: 70213
219.36/220.05 c #Conflicts: 55000 | #Constraints: 71213
219.36/220.05 c #Conflicts: 56000 | #Constraints: 72213
219.36/220.05 c INPROCESSING
219.36/220.05 c GARBAGE COLLECT
219.36/220.05 c rational objective 60
220.16/220.88 c #Conflicts: 57000 | #Constraints: 68411
220.16/220.88 c #Conflicts: 58000 | #Constraints: 69411
220.16/220.88 c #Conflicts: 59000 | #Constraints: 70411
220.16/220.88 c #Conflicts: 60000 | #Constraints: 71411
220.16/220.88 c #Conflicts: 61000 | #Constraints: 72411
220.16/220.88 c INPROCESSING
220.16/220.88 c GARBAGE COLLECT
220.16/220.88 c bounds - >= 70 @ 218.879
280.69/281.50 c #Conflicts: 62000 | #Constraints: 68419
280.69/281.50 c #Conflicts: 63000 | #Constraints: 69419
280.69/281.50 c #Conflicts: 64000 | #Constraints: 70419
280.69/281.50 c #Conflicts: 65000 | #Constraints: 71419
280.69/281.50 c #Conflicts: 66000 | #Constraints: 72419
280.69/281.50 c INPROCESSING
280.69/281.50 c GARBAGE COLLECT
280.69/281.50 c #Conflicts: 67000 | #Constraints: 68125
280.69/281.50 c #Conflicts: 68000 | #Constraints: 69125
280.69/281.50 c #Conflicts: 69000 | #Constraints: 70125
280.69/281.50 c #Conflicts: 70000 | #Constraints: 71125
280.69/281.50 c #Conflicts: 71000 | #Constraints: 72125
280.69/281.50 c #Conflicts: 72000 | #Constraints: 73125
280.69/281.50 c INPROCESSING
280.69/281.50 c GARBAGE COLLECT
280.69/281.50 c rational objective 70
349.41/350.49 c #Conflicts: 73000 | #Constraints: 68769
349.41/350.49 c #Conflicts: 74000 | #Constraints: 69769
349.41/350.49 c #Conflicts: 75000 | #Constraints: 70769
349.41/350.49 c #Conflicts: 76000 | #Constraints: 71769
349.41/350.49 c #Conflicts: 77000 | #Constraints: 72769
349.41/350.49 c #Conflicts: 78000 | #Constraints: 73769
349.41/350.49 c INPROCESSING
349.41/350.49 c GARBAGE COLLECT
349.41/350.49 c #Conflicts: 79000 | #Constraints: 69190
349.41/350.49 c #Conflicts: 80000 | #Constraints: 70190
349.41/350.49 c #Conflicts: 81000 | #Constraints: 71190
349.41/350.49 c #Conflicts: 82000 | #Constraints: 72190
349.41/350.49 c #Conflicts: 83000 | #Constraints: 73190
349.41/350.49 c #Conflicts: 84000 | #Constraints: 74190
349.41/350.49 c INPROCESSING
349.41/350.49 c GARBAGE COLLECT
349.41/350.49 c #Conflicts: 85000 | #Constraints: 69412
349.41/350.49 c #Conflicts: 86000 | #Constraints: 70412
349.41/350.49 c #Conflicts: 87000 | #Constraints: 71412
349.41/350.49 c #Conflicts: 88000 | #Constraints: 72412
349.41/350.49 c #Conflicts: 89000 | #Constraints: 73412
349.41/350.49 c #Conflicts: 90000 | #Constraints: 74412
349.41/350.49 c INPROCESSING
349.41/350.49 c GARBAGE COLLECT
349.41/350.49 c #Conflicts: 91000 | #Constraints: 69415
349.41/350.49 c #Conflicts: 92000 | #Constraints: 70415
349.41/350.49 c #Conflicts: 93000 | #Constraints: 71415
349.41/350.49 c #Conflicts: 94000 | #Constraints: 72415
349.41/350.49 c #Conflicts: 95000 | #Constraints: 73415
349.41/350.49 c #Conflicts: 96000 | #Constraints: 74415
349.41/350.49 c INPROCESSING
349.41/350.49 c GARBAGE COLLECT
349.41/350.49 c rational objective 70
405.56/406.78 c #Conflicts: 97000 | #Constraints: 69234
405.56/406.78 c #Conflicts: 98000 | #Constraints: 70234
405.56/406.78 c #Conflicts: 99000 | #Constraints: 71234
405.56/406.78 c #Conflicts: 100000 | #Constraints: 72234
405.56/406.78 c #Conflicts: 101000 | #Constraints: 73234
405.56/406.78 c #Conflicts: 102000 | #Constraints: 74234
405.56/406.78 c #Conflicts: 103000 | #Constraints: 75234
405.56/406.78 c INPROCESSING
405.56/406.78 c GARBAGE COLLECT
405.56/406.78 c #Conflicts: 104000 | #Constraints: 69825
405.56/406.78 c #Conflicts: 105000 | #Constraints: 70825
405.56/406.78 c #Conflicts: 106000 | #Constraints: 71825
405.56/406.78 c #Conflicts: 107000 | #Constraints: 72825
405.56/406.78 c #Conflicts: 108000 | #Constraints: 73825
405.56/406.78 c #Conflicts: 109000 | #Constraints: 74825
405.56/406.78 c #Conflicts: 110000 | #Constraints: 75825
405.56/406.78 c INPROCESSING
405.56/406.78 c GARBAGE COLLECT
405.56/406.78 c rational objective 70
448.06/449.40 c #Conflicts: 111000 | #Constraints: 70252
448.06/449.40 c #Conflicts: 112000 | #Constraints: 71252
448.06/449.40 c #Conflicts: 113000 | #Constraints: 72252
448.06/449.40 c #Conflicts: 114000 | #Constraints: 73252
448.06/449.40 c #Conflicts: 115000 | #Constraints: 74252
448.06/449.40 c #Conflicts: 116000 | #Constraints: 75252
448.06/449.40 c #Conflicts: 117000 | #Constraints: 76252
448.06/449.40 c INPROCESSING
448.06/449.40 c GARBAGE COLLECT
448.06/449.40 c #Conflicts: 118000 | #Constraints: 70440
448.06/449.40 c #Conflicts: 119000 | #Constraints: 71440
448.06/449.40 c #Conflicts: 120000 | #Constraints: 72440
448.06/449.40 c #Conflicts: 121000 | #Constraints: 73440
448.06/449.40 c #Conflicts: 122000 | #Constraints: 74440
448.06/449.40 c #Conflicts: 123000 | #Constraints: 75440
448.06/449.40 c #Conflicts: 124000 | #Constraints: 76440
448.06/449.40 c INPROCESSING
448.06/449.40 c GARBAGE COLLECT
448.06/449.40 c #Conflicts: 125000 | #Constraints: 70436
448.06/449.40 c #Conflicts: 126000 | #Constraints: 71436
448.06/449.40 c #Conflicts: 127000 | #Constraints: 72436
448.06/449.40 c #Conflicts: 128000 | #Constraints: 73436
448.06/449.40 c #Conflicts: 129000 | #Constraints: 74436
448.06/449.40 c #Conflicts: 130000 | #Constraints: 75436
448.06/449.40 c #Conflicts: 131000 | #Constraints: 76436
448.06/449.40 c INPROCESSING
448.06/449.40 c GARBAGE COLLECT
448.06/449.40 c #Conflicts: 132000 | #Constraints: 70226
448.06/449.40 c #Conflicts: 133000 | #Constraints: 71226
448.06/449.40 c #Conflicts: 134000 | #Constraints: 72226
448.06/449.40 c #Conflicts: 135000 | #Constraints: 73226
448.06/449.40 c #Conflicts: 136000 | #Constraints: 74226
448.06/449.40 c #Conflicts: 137000 | #Constraints: 75226
448.06/449.40 c #Conflicts: 138000 | #Constraints: 76226
448.06/449.40 c #Conflicts: 139000 | #Constraints: 77226
448.06/449.40 c INPROCESSING
448.06/449.40 c GARBAGE COLLECT
448.06/449.40 c rational objective 70
500.13/501.57 c #Conflicts: 140000 | #Constraints: 70831
500.13/501.57 c #Conflicts: 141000 | #Constraints: 71831
500.13/501.57 c #Conflicts: 142000 | #Constraints: 72831
500.13/501.57 c #Conflicts: 143000 | #Constraints: 73831
500.13/501.57 c #Conflicts: 144000 | #Constraints: 74831
500.13/501.57 c #Conflicts: 145000 | #Constraints: 75831
500.13/501.57 c #Conflicts: 146000 | #Constraints: 76831
500.13/501.57 c #Conflicts: 147000 | #Constraints: 77831
500.13/501.57 c INPROCESSING
500.13/501.57 c GARBAGE COLLECT
500.13/501.57 c rational objective 70
551.80/553.34 c #Conflicts: 148000 | #Constraints: 71245
551.80/553.34 c #Conflicts: 149000 | #Constraints: 72245
551.80/553.34 c #Conflicts: 150000 | #Constraints: 73245
551.80/553.34 c #Conflicts: 151000 | #Constraints: 74245
551.80/553.34 c #Conflicts: 152000 | #Constraints: 75245
551.80/553.34 c #Conflicts: 153000 | #Constraints: 76245
551.80/553.34 c #Conflicts: 154000 | #Constraints: 77245
551.80/553.34 c #Conflicts: 155000 | #Constraints: 78245
551.80/553.34 c INPROCESSING
551.80/553.34 c GARBAGE COLLECT
551.80/553.34 c #Conflicts: 156000 | #Constraints: 71431
551.80/553.34 c #Conflicts: 157000 | #Constraints: 72431
551.80/553.34 c #Conflicts: 158000 | #Constraints: 73431
551.80/553.34 c #Conflicts: 159000 | #Constraints: 74431
551.80/553.34 c #Conflicts: 160000 | #Constraints: 75431
551.80/553.34 c #Conflicts: 161000 | #Constraints: 76431
551.80/553.34 c #Conflicts: 162000 | #Constraints: 77431
551.80/553.34 c #Conflicts: 163000 | #Constraints: 78431
551.80/553.34 c INPROCESSING
551.80/553.34 c GARBAGE COLLECT
551.80/553.34 c #Conflicts: 164000 | #Constraints: 71420
551.80/553.34 c #Conflicts: 165000 | #Constraints: 72420
551.80/553.34 c #Conflicts: 166000 | #Constraints: 73420
551.80/553.34 c #Conflicts: 167000 | #Constraints: 74420
551.80/553.34 c #Conflicts: 168000 | #Constraints: 75420
551.80/553.34 c #Conflicts: 169000 | #Constraints: 76420
551.80/553.34 c #Conflicts: 170000 | #Constraints: 77420
551.80/553.34 c #Conflicts: 171000 | #Constraints: 78420
551.80/553.34 c INPROCESSING
551.80/553.34 c GARBAGE COLLECT
551.80/553.34 c #Conflicts: 172000 | #Constraints: 71223
551.80/553.34 c #Conflicts: 173000 | #Constraints: 72223
551.80/553.34 c #Conflicts: 174000 | #Constraints: 73223
551.80/553.34 c #Conflicts: 175000 | #Constraints: 74223
551.80/553.34 c #Conflicts: 176000 | #Constraints: 75223
551.80/553.34 c #Conflicts: 177000 | #Constraints: 76223
551.80/553.34 c #Conflicts: 178000 | #Constraints: 77223
551.80/553.34 c #Conflicts: 179000 | #Constraints: 78223
551.80/553.34 c #Conflicts: 180000 | #Constraints: 79223
551.80/553.34 c INPROCESSING
551.80/553.34 c GARBAGE COLLECT
551.80/553.34 c rational objective 70
608.55/610.25 c #Conflicts: 181000 | #Constraints: 71865
608.55/610.25 c #Conflicts: 182000 | #Constraints: 72865
608.55/610.25 c #Conflicts: 183000 | #Constraints: 73865
608.55/610.25 c #Conflicts: 184000 | #Constraints: 74865
608.55/610.25 c #Conflicts: 185000 | #Constraints: 75865
608.55/610.25 c #Conflicts: 186000 | #Constraints: 76865
608.55/610.25 c #Conflicts: 187000 | #Constraints: 77865
608.55/610.25 c #Conflicts: 188000 | #Constraints: 78865
608.55/610.25 c #Conflicts: 189000 | #Constraints: 79865
608.55/610.25 c INPROCESSING
608.55/610.25 c GARBAGE COLLECT
608.55/610.25 c rational objective 70
673.87/675.75 c #Conflicts: 190000 | #Constraints: 72247
673.87/675.75 c #Conflicts: 191000 | #Constraints: 73247
673.87/675.75 c #Conflicts: 192000 | #Constraints: 74247
673.87/675.75 c #Conflicts: 193000 | #Constraints: 75247
673.87/675.75 c #Conflicts: 194000 | #Constraints: 76247
673.87/675.75 c #Conflicts: 195000 | #Constraints: 77247
673.87/675.75 c #Conflicts: 196000 | #Constraints: 78247
673.87/675.75 c #Conflicts: 197000 | #Constraints: 79247
673.87/675.75 c #Conflicts: 198000 | #Constraints: 80247
673.87/675.75 c INPROCESSING
673.87/675.75 c GARBAGE COLLECT
673.87/675.75 c #Conflicts: 199000 | #Constraints: 72434
673.87/675.75 c #Conflicts: 200000 | #Constraints: 73434
673.87/675.75 c #Conflicts: 201000 | #Constraints: 74434
673.87/675.75 c #Conflicts: 202000 | #Constraints: 75434
673.87/675.75 c #Conflicts: 203000 | #Constraints: 76434
673.87/675.75 c #Conflicts: 204000 | #Constraints: 77434
673.87/675.75 c #Conflicts: 205000 | #Constraints: 78434
673.87/675.75 c #Conflicts: 206000 | #Constraints: 79434
673.87/675.75 c #Conflicts: 207000 | #Constraints: 80434
673.87/675.75 c INPROCESSING
673.87/675.75 c GARBAGE COLLECT
673.87/675.75 c rational objective 70
728.22/730.25 c #Conflicts: 208000 | #Constraints: 72472
728.22/730.25 c #Conflicts: 209000 | #Constraints: 73472
728.22/730.25 c #Conflicts: 210000 | #Constraints: 74472
728.22/730.25 c #Conflicts: 211000 | #Constraints: 75472
728.22/730.25 c #Conflicts: 212000 | #Constraints: 76472
728.22/730.25 c #Conflicts: 213000 | #Constraints: 77472
728.22/730.25 c #Conflicts: 214000 | #Constraints: 78472
728.22/730.25 c #Conflicts: 215000 | #Constraints: 79472
728.22/730.25 c #Conflicts: 216000 | #Constraints: 80472
728.22/730.25 c INPROCESSING
728.22/730.25 c GARBAGE COLLECT
728.22/730.25 c #Conflicts: 217000 | #Constraints: 72250
728.22/730.25 c #Conflicts: 218000 | #Constraints: 73250
728.22/730.25 c #Conflicts: 219000 | #Constraints: 74250
728.22/730.25 c #Conflicts: 220000 | #Constraints: 75250
728.22/730.25 c #Conflicts: 221000 | #Constraints: 76250
728.22/730.25 c #Conflicts: 222000 | #Constraints: 77250
728.22/730.25 c #Conflicts: 223000 | #Constraints: 78250
728.22/730.25 c #Conflicts: 224000 | #Constraints: 79250
728.22/730.25 c #Conflicts: 225000 | #Constraints: 80250
728.22/730.25 c #Conflicts: 226000 | #Constraints: 81250
728.22/730.25 c INPROCESSING
728.22/730.25 c GARBAGE COLLECT
728.22/730.25 c #Conflicts: 227000 | #Constraints: 72834
728.22/730.25 c #Conflicts: 228000 | #Constraints: 73834
728.22/730.25 c #Conflicts: 229000 | #Constraints: 74834
728.22/730.25 c #Conflicts: 230000 | #Constraints: 75834
728.22/730.25 c #Conflicts: 231000 | #Constraints: 76834
728.22/730.25 c #Conflicts: 232000 | #Constraints: 77834
728.22/730.25 c #Conflicts: 233000 | #Constraints: 78834
728.22/730.25 c #Conflicts: 234000 | #Constraints: 79834
728.22/730.25 c #Conflicts: 235000 | #Constraints: 80834
728.22/730.25 c #Conflicts: 236000 | #Constraints: 81834
728.22/730.25 c INPROCESSING
728.22/730.25 c GARBAGE COLLECT
728.22/730.25 c rational objective 70
783.89/786.10 c #Conflicts: 237000 | #Constraints: 73251
783.89/786.10 c #Conflicts: 238000 | #Constraints: 74251
783.89/786.10 c #Conflicts: 239000 | #Constraints: 75251
783.89/786.10 c #Conflicts: 240000 | #Constraints: 76251
783.89/786.10 c #Conflicts: 241000 | #Constraints: 77251
783.89/786.10 c #Conflicts: 242000 | #Constraints: 78251
783.89/786.10 c #Conflicts: 243000 | #Constraints: 79251
783.89/786.10 c #Conflicts: 244000 | #Constraints: 80251
783.89/786.10 c #Conflicts: 245000 | #Constraints: 81251
783.89/786.10 c #Conflicts: 246000 | #Constraints: 82251
783.89/786.10 c INPROCESSING
783.89/786.10 c GARBAGE COLLECT
783.89/786.10 c rational objective 70
844.01/846.36 c #Conflicts: 247000 | #Constraints: 73436
844.01/846.36 c #Conflicts: 248000 | #Constraints: 74436
844.01/846.36 c #Conflicts: 249000 | #Constraints: 75436
844.01/846.36 c #Conflicts: 250000 | #Constraints: 76436
844.01/846.36 c #Conflicts: 251000 | #Constraints: 77436
844.01/846.36 c #Conflicts: 252000 | #Constraints: 78436
844.01/846.36 c #Conflicts: 253000 | #Constraints: 79436
844.01/846.36 c #Conflicts: 254000 | #Constraints: 80436
844.01/846.36 c #Conflicts: 255000 | #Constraints: 81436
844.01/846.36 c #Conflicts: 256000 | #Constraints: 82436
844.01/846.36 c INPROCESSING
844.01/846.36 c GARBAGE COLLECT
844.01/846.36 c rational objective 70
846.41/848.78 c #Conflicts: 257000 | #Constraints: 73430
846.41/848.78 c #Conflicts: 258000 | #Constraints: 74430
846.41/848.78 c #Conflicts: 259000 | #Constraints: 75430
846.41/848.78 c #Conflicts: 260000 | #Constraints: 76430
846.41/848.78 c #Conflicts: 261000 | #Constraints: 77430
846.41/848.78 c #Conflicts: 262000 | #Constraints: 78430
846.41/848.78 c #Conflicts: 263000 | #Constraints: 79430
846.41/848.78 c #Conflicts: 264000 | #Constraints: 80430
846.41/848.78 c #Conflicts: 265000 | #Constraints: 81430
846.41/848.78 c #Conflicts: 266000 | #Constraints: 82430
846.41/848.78 c INPROCESSING
846.41/848.78 c GARBAGE COLLECT
846.41/848.78 c #Conflicts: 267000 | #Constraints: 73226
846.41/848.78 c #Conflicts: 268000 | #Constraints: 74226
846.41/848.78 c #Conflicts: 269000 | #Constraints: 75226
846.41/848.78 c bounds - >= 80 @ 842.349
888.39/890.86 c #Conflicts: 270000 | #Constraints: 76238
888.39/890.86 c #Conflicts: 271000 | #Constraints: 77239
888.39/890.86 c #Conflicts: 272000 | #Constraints: 78239
888.39/890.86 c #Conflicts: 273000 | #Constraints: 79239
888.39/890.86 c #Conflicts: 274000 | #Constraints: 80239
888.39/890.86 c #Conflicts: 275000 | #Constraints: 81239
888.39/890.86 c #Conflicts: 276000 | #Constraints: 82239
888.39/890.86 c #Conflicts: 277000 | #Constraints: 83239
888.39/890.86 c INPROCESSING
888.39/890.86 c GARBAGE COLLECT
888.39/890.86 c #Conflicts: 278000 | #Constraints: 73845
888.39/890.86 c #Conflicts: 279000 | #Constraints: 74845
888.39/890.86 c #Conflicts: 280000 | #Constraints: 75845
888.39/890.86 c #Conflicts: 281000 | #Constraints: 76845
888.39/890.86 c #Conflicts: 282000 | #Constraints: 77845
888.39/890.86 c #Conflicts: 283000 | #Constraints: 78845
888.39/890.86 c #Conflicts: 284000 | #Constraints: 79845
888.39/890.86 c #Conflicts: 285000 | #Constraints: 80845
888.39/890.86 c #Conflicts: 286000 | #Constraints: 81845
888.39/890.86 c #Conflicts: 287000 | #Constraints: 82845
888.39/890.86 c #Conflicts: 288000 | #Constraints: 83845
888.39/890.86 c INPROCESSING
888.39/890.86 c GARBAGE COLLECT
888.39/890.86 c rational objective 80
929.00/931.58 c #Conflicts: 289000 | #Constraints: 74251
929.00/931.58 c #Conflicts: 290000 | #Constraints: 75251
929.00/931.58 c #Conflicts: 291000 | #Constraints: 76251
929.00/931.58 c #Conflicts: 292000 | #Constraints: 77251
929.00/931.58 c #Conflicts: 293000 | #Constraints: 78251
929.00/931.58 c #Conflicts: 294000 | #Constraints: 79251
929.00/931.58 c #Conflicts: 295000 | #Constraints: 80251
929.00/931.58 c #Conflicts: 296000 | #Constraints: 81251
929.00/931.58 c #Conflicts: 297000 | #Constraints: 82251
929.00/931.58 c #Conflicts: 298000 | #Constraints: 83251
929.00/931.58 c #Conflicts: 299000 | #Constraints: 84251
929.00/931.58 c INPROCESSING
929.00/931.58 c GARBAGE COLLECT
929.00/931.58 c rational objective 80
980.87/983.59 c #Conflicts: 300000 | #Constraints: 74456
980.87/983.59 c #Conflicts: 301000 | #Constraints: 75456
980.87/983.59 c #Conflicts: 302000 | #Constraints: 76456
980.87/983.59 c #Conflicts: 303000 | #Constraints: 77456
980.87/983.59 c #Conflicts: 304000 | #Constraints: 78456
980.87/983.59 c #Conflicts: 305000 | #Constraints: 79456
980.87/983.59 c #Conflicts: 306000 | #Constraints: 80456
980.87/983.59 c #Conflicts: 307000 | #Constraints: 81456
980.87/983.59 c #Conflicts: 308000 | #Constraints: 82456
980.87/983.59 c #Conflicts: 309000 | #Constraints: 83456
980.87/983.59 c #Conflicts: 310000 | #Constraints: 84456
980.87/983.59 c INPROCESSING
980.87/983.59 c GARBAGE COLLECT
980.87/983.59 c rational objective 80
1102.08/1105.05 c #Conflicts: 311000 | #Constraints: 74524
1102.08/1105.05 c #Conflicts: 312000 | #Constraints: 75524
1102.08/1105.05 c #Conflicts: 313000 | #Constraints: 76524
1102.08/1105.05 c #Conflicts: 314000 | #Constraints: 77524
1102.08/1105.05 c #Conflicts: 315000 | #Constraints: 78524
1102.08/1105.05 c #Conflicts: 316000 | #Constraints: 79524
1102.08/1105.05 c #Conflicts: 317000 | #Constraints: 80524
1102.08/1105.05 c #Conflicts: 318000 | #Constraints: 81524
1102.08/1105.05 c #Conflicts: 319000 | #Constraints: 82524
1102.08/1105.05 c #Conflicts: 320000 | #Constraints: 83524
1102.08/1105.05 c #Conflicts: 321000 | #Constraints: 84524
1102.08/1105.05 c INPROCESSING
1102.08/1105.05 c GARBAGE COLLECT
1102.08/1105.05 c #Conflicts: 322000 | #Constraints: 74272
1102.08/1105.05 c #Conflicts: 323000 | #Constraints: 75272
1102.08/1105.05 c #Conflicts: 324000 | #Constraints: 76272
1102.08/1105.05 c #Conflicts: 325000 | #Constraints: 77272
1102.08/1105.05 c #Conflicts: 326000 | #Constraints: 78272
1102.08/1105.05 c #Conflicts: 327000 | #Constraints: 79272
1102.08/1105.05 c #Conflicts: 328000 | #Constraints: 80272
1102.08/1105.05 c #Conflicts: 329000 | #Constraints: 81272
1102.08/1105.05 c #Conflicts: 330000 | #Constraints: 82272
1102.08/1105.05 c #Conflicts: 331000 | #Constraints: 83272
1102.08/1105.05 c #Conflicts: 332000 | #Constraints: 84272
1102.08/1105.05 c #Conflicts: 333000 | #Constraints: 85272
1102.08/1105.05 c INPROCESSING
1102.08/1105.05 c GARBAGE COLLECT
1102.08/1105.05 c #Conflicts: 334000 | #Constraints: 74850
1102.08/1105.05 c #Conflicts: 335000 | #Constraints: 75850
1102.08/1105.05 c #Conflicts: 336000 | #Constraints: 76850
1102.08/1105.05 c #Conflicts: 337000 | #Constraints: 77850
1102.08/1105.05 c #Conflicts: 338000 | #Constraints: 78850
1102.08/1105.05 c #Conflicts: 339000 | #Constraints: 79850
1102.08/1105.05 c #Conflicts: 340000 | #Constraints: 80850
1102.08/1105.05 c #Conflicts: 341000 | #Constraints: 81850
1102.08/1105.05 c #Conflicts: 342000 | #Constraints: 82850
1102.08/1105.05 c #Conflicts: 343000 | #Constraints: 83850
1102.08/1105.05 c #Conflicts: 344000 | #Constraints: 84850
1102.08/1105.05 c #Conflicts: 345000 | #Constraints: 85850
1102.08/1105.05 c INPROCESSING
1102.08/1105.05 c GARBAGE COLLECT
1102.08/1105.05 c rational objective 80
1446.84/1450.67 c #Conflicts: 346000 | #Constraints: 75252
1446.84/1450.67 c #Conflicts: 347000 | #Constraints: 76252
1446.84/1450.67 c #Conflicts: 348000 | #Constraints: 77252
1446.84/1450.67 c #Conflicts: 349000 | #Constraints: 78252
1446.84/1450.67 c #Conflicts: 350000 | #Constraints: 79252
1446.84/1450.67 c #Conflicts: 351000 | #Constraints: 80252
1446.84/1450.67 c #Conflicts: 352000 | #Constraints: 81252
1446.84/1450.67 c #Conflicts: 353000 | #Constraints: 82252
1446.84/1450.67 c #Conflicts: 354000 | #Constraints: 83252
1446.84/1450.67 c #Conflicts: 355000 | #Constraints: 84252
1446.84/1450.67 c #Conflicts: 356000 | #Constraints: 85252
1446.84/1450.67 c #Conflicts: 357000 | #Constraints: 86252
1446.84/1450.67 c INPROCESSING
1446.84/1450.67 c GARBAGE COLLECT
1446.84/1450.67 c #Conflicts: 358000 | #Constraints: 75441
1446.84/1450.67 c #Conflicts: 359000 | #Constraints: 76441
1446.84/1450.67 c #Conflicts: 360000 | #Constraints: 77441
1446.84/1450.67 c #Conflicts: 361000 | #Constraints: 78441
1446.84/1450.67 c #Conflicts: 362000 | #Constraints: 79441
1446.84/1450.67 c #Conflicts: 363000 | #Constraints: 80441
1446.84/1450.67 c #Conflicts: 364000 | #Constraints: 81441
1446.84/1450.67 c #Conflicts: 365000 | #Constraints: 82441
1446.84/1450.67 c #Conflicts: 366000 | #Constraints: 83441
1446.84/1450.67 c #Conflicts: 367000 | #Constraints: 84441
1446.84/1450.67 c #Conflicts: 368000 | #Constraints: 85441
1446.84/1450.67 c #Conflicts: 369000 | #Constraints: 86441
1446.84/1450.67 c INPROCESSING
1446.84/1450.67 c GARBAGE COLLECT
1446.84/1450.67 c #Conflicts: 370000 | #Constraints: 75433
1446.84/1450.67 c #Conflicts: 371000 | #Constraints: 76433
1446.84/1450.67 c #Conflicts: 372000 | #Constraints: 77433
1446.84/1450.67 c #Conflicts: 373000 | #Constraints: 78433
1446.84/1450.67 c #Conflicts: 374000 | #Constraints: 79433
1446.84/1450.67 c #Conflicts: 375000 | #Constraints: 80433
1446.84/1450.67 c #Conflicts: 376000 | #Constraints: 81433
1446.84/1450.67 c #Conflicts: 377000 | #Constraints: 82433
1446.84/1450.67 c #Conflicts: 378000 | #Constraints: 83433
1446.84/1450.67 c #Conflicts: 379000 | #Constraints: 84433
1446.84/1450.67 c #Conflicts: 380000 | #Constraints: 85433
1446.84/1450.67 c #Conflicts: 381000 | #Constraints: 86433
1446.84/1450.67 c INPROCESSING
1446.84/1450.67 c GARBAGE COLLECT
1446.84/1450.67 c #Conflicts: 382000 | #Constraints: 75236
1446.84/1450.67 c #Conflicts: 383000 | #Constraints: 76236
1446.84/1450.67 c #Conflicts: 384000 | #Constraints: 77236
1446.84/1450.67 c #Conflicts: 385000 | #Constraints: 78236
1446.84/1450.67 c #Conflicts: 386000 | #Constraints: 79236
1446.84/1450.67 c #Conflicts: 387000 | #Constraints: 80236
1446.84/1450.67 c #Conflicts: 388000 | #Constraints: 81236
1446.84/1450.67 c #Conflicts: 389000 | #Constraints: 82236
1446.84/1450.67 c #Conflicts: 390000 | #Constraints: 83236
1446.84/1450.67 c #Conflicts: 391000 | #Constraints: 84236
1446.84/1450.67 c #Conflicts: 392000 | #Constraints: 85236
1446.84/1450.67 c #Conflicts: 393000 | #Constraints: 86236
1446.84/1450.67 c #Conflicts: 394000 | #Constraints: 87236
1446.84/1450.67 c INPROCESSING
1446.84/1450.67 c GARBAGE COLLECT
1446.84/1450.67 c #Conflicts: 395000 | #Constraints: 75835
1446.84/1450.67 c #Conflicts: 396000 | #Constraints: 76835
1446.84/1450.67 c #Conflicts: 397000 | #Constraints: 77835
1446.84/1450.67 c #Conflicts: 398000 | #Constraints: 78835
1446.84/1450.67 c #Conflicts: 399000 | #Constraints: 79835
1446.84/1450.67 c #Conflicts: 400000 | #Constraints: 80835
1446.84/1450.67 c #Conflicts: 401000 | #Constraints: 81835
1446.84/1450.67 c #Conflicts: 402000 | #Constraints: 82835
1446.84/1450.67 c #Conflicts: 403000 | #Constraints: 83835
1446.84/1450.67 c #Conflicts: 404000 | #Constraints: 84835
1446.84/1450.67 c #Conflicts: 405000 | #Constraints: 85835
1446.84/1450.67 c #Conflicts: 406000 | #Constraints: 86835
1446.84/1450.67 c #Conflicts: 407000 | #Constraints: 87835
1446.84/1450.67 c INPROCESSING
1446.84/1450.67 c GARBAGE COLLECT
1446.84/1450.67 c #Conflicts: 408000 | #Constraints: 76239
1446.84/1450.67 c #Conflicts: 409000 | #Constraints: 77239
1446.84/1450.67 c #Conflicts: 410000 | #Constraints: 78239
1446.84/1450.67 c #Conflicts: 411000 | #Constraints: 79239
1446.84/1450.67 c #Conflicts: 412000 | #Constraints: 80239
1446.84/1450.67 c #Conflicts: 413000 | #Constraints: 81239
1446.84/1450.67 c #Conflicts: 414000 | #Constraints: 82239
1446.84/1450.67 c #Conflicts: 415000 | #Constraints: 83239
1446.84/1450.67 c #Conflicts: 416000 | #Constraints: 84239
1446.84/1450.67 c #Conflicts: 417000 | #Constraints: 85239
1446.84/1450.67 c #Conflicts: 418000 | #Constraints: 86239
1446.84/1450.67 c #Conflicts: 419000 | #Constraints: 87239
1446.84/1450.67 c #Conflicts: 420000 | #Constraints: 88239
1446.84/1450.67 c INPROCESSING
1446.84/1450.67 c GARBAGE COLLECT
1451.12/1454.92 c rational objective 80
1550.48/1554.59 c #Conflicts: 421000 | #Constraints: 76440
1550.48/1554.59 c #Conflicts: 422000 | #Constraints: 77440
1550.48/1554.59 c #Conflicts: 423000 | #Constraints: 78440
1550.48/1554.59 c #Conflicts: 424000 | #Constraints: 79440
1550.48/1554.59 c #Conflicts: 425000 | #Constraints: 80440
1550.48/1554.59 c #Conflicts: 426000 | #Constraints: 81440
1550.48/1554.59 c #Conflicts: 427000 | #Constraints: 82440
1550.48/1554.59 c #Conflicts: 428000 | #Constraints: 83440
1550.48/1554.59 c #Conflicts: 429000 | #Constraints: 84440
1550.48/1554.59 c #Conflicts: 430000 | #Constraints: 85440
1550.48/1554.59 c #Conflicts: 431000 | #Constraints: 86440
1550.48/1554.59 c #Conflicts: 432000 | #Constraints: 87440
1550.48/1554.59 c #Conflicts: 433000 | #Constraints: 88440
1550.48/1554.59 c INPROCESSING
1550.48/1554.59 c GARBAGE COLLECT
1550.48/1554.59 c rational objective 80
1852.34/1857.18 c #Conflicts: 434000 | #Constraints: 76442
1852.34/1857.18 c #Conflicts: 435000 | #Constraints: 77442
1852.34/1857.18 c #Conflicts: 436000 | #Constraints: 78442
1852.34/1857.18 c #Conflicts: 437000 | #Constraints: 79442
1852.34/1857.18 c #Conflicts: 438000 | #Constraints: 80442
1852.34/1857.18 c #Conflicts: 439000 | #Constraints: 81442
1852.34/1857.18 c #Conflicts: 440000 | #Constraints: 82442
1852.34/1857.18 c #Conflicts: 441000 | #Constraints: 83442
1852.34/1857.18 c #Conflicts: 442000 | #Constraints: 84442
1852.34/1857.18 c #Conflicts: 443000 | #Constraints: 85442
1852.34/1857.18 c #Conflicts: 444000 | #Constraints: 86442
1852.34/1857.18 c #Conflicts: 445000 | #Constraints: 87442
1852.34/1857.18 c #Conflicts: 446000 | #Constraints: 88442
1852.34/1857.18 c INPROCESSING
1852.34/1857.18 c GARBAGE COLLECT
1852.34/1857.18 c #Conflicts: 447000 | #Constraints: 76246
1852.34/1857.18 c #Conflicts: 448000 | #Constraints: 77246
1852.34/1857.18 c #Conflicts: 449000 | #Constraints: 78246
1852.34/1857.18 c #Conflicts: 450000 | #Constraints: 79246
1852.34/1857.18 c #Conflicts: 451000 | #Constraints: 80246
1852.34/1857.18 c #Conflicts: 452000 | #Constraints: 81246
1852.34/1857.18 c #Conflicts: 453000 | #Constraints: 82246
1852.34/1857.18 c #Conflicts: 454000 | #Constraints: 83246
1852.34/1857.18 c #Conflicts: 455000 | #Constraints: 84246
1852.34/1857.18 c #Conflicts: 456000 | #Constraints: 85246
1852.34/1857.18 c #Conflicts: 457000 | #Constraints: 86246
1852.34/1857.18 c #Conflicts: 458000 | #Constraints: 87246
1852.34/1857.18 c #Conflicts: 459000 | #Constraints: 88246
1852.34/1857.18 c #Conflicts: 460000 | #Constraints: 89246
1852.34/1857.18 c INPROCESSING
1852.34/1857.18 c GARBAGE COLLECT
1852.34/1857.18 c #Conflicts: 461000 | #Constraints: 76841
1852.34/1857.18 c #Conflicts: 462000 | #Constraints: 77841
1852.34/1857.18 c #Conflicts: 463000 | #Constraints: 78841
1852.34/1857.18 c #Conflicts: 464000 | #Constraints: 79841
1852.34/1857.18 c #Conflicts: 465000 | #Constraints: 80841
1852.34/1857.18 c #Conflicts: 466000 | #Constraints: 81841
1852.34/1857.18 c #Conflicts: 467000 | #Constraints: 82841
1852.34/1857.18 c #Conflicts: 468000 | #Constraints: 83841
1852.34/1857.18 c #Conflicts: 469000 | #Constraints: 84841
1852.34/1857.18 c #Conflicts: 470000 | #Constraints: 85841
1852.34/1857.18 c #Conflicts: 471000 | #Constraints: 86841
1852.34/1857.18 c #Conflicts: 472000 | #Constraints: 87841
1852.34/1857.18 c #Conflicts: 473000 | #Constraints: 88841
1852.34/1857.18 c #Conflicts: 474000 | #Constraints: 89841
1852.34/1857.18 c INPROCESSING
1852.34/1857.18 c GARBAGE COLLECT
1852.34/1857.18 c #Conflicts: 475000 | #Constraints: 77232
1852.34/1857.18 c #Conflicts: 476000 | #Constraints: 78232
1852.34/1857.18 c #Conflicts: 477000 | #Constraints: 79232
1852.34/1857.18 c #Conflicts: 478000 | #Constraints: 80232
1852.34/1857.18 c #Conflicts: 479000 | #Constraints: 81232
1852.34/1857.18 c #Conflicts: 480000 | #Constraints: 82232
1852.34/1857.18 c #Conflicts: 481000 | #Constraints: 83232
1852.34/1857.18 c #Conflicts: 482000 | #Constraints: 84232
1852.34/1857.18 c #Conflicts: 483000 | #Constraints: 85232
1852.34/1857.18 c #Conflicts: 484000 | #Constraints: 86232
1852.34/1857.18 c #Conflicts: 485000 | #Constraints: 87232
1852.34/1857.18 c #Conflicts: 486000 | #Constraints: 88232
1852.34/1857.18 c #Conflicts: 487000 | #Constraints: 89232
1852.34/1857.18 c #Conflicts: 488000 | #Constraints: 90232
1852.34/1857.18 c INPROCESSING
1852.34/1857.18 c GARBAGE COLLECT
1852.34/1857.18 c #Conflicts: 489000 | #Constraints: 77438
1852.34/1857.18 c #Conflicts: 490000 | #Constraints: 78438
1852.34/1857.18 c #Conflicts: 491000 | #Constraints: 79438
1852.34/1857.18 c #Conflicts: 492000 | #Constraints: 80438
1852.34/1857.18 c #Conflicts: 493000 | #Constraints: 81438
1852.34/1857.18 c #Conflicts: 494000 | #Constraints: 82438
1852.34/1857.18 c #Conflicts: 495000 | #Constraints: 83438
1852.34/1857.18 c #Conflicts: 496000 | #Constraints: 84438
1852.34/1857.18 c #Conflicts: 497000 | #Constraints: 85438
1852.34/1857.18 c #Conflicts: 498000 | #Constraints: 86438
1852.34/1857.18 c #Conflicts: 499000 | #Constraints: 87438
1852.34/1857.18 c #Conflicts: 500000 | #Constraints: 88438
1852.34/1857.18 c #Conflicts: 501000 | #Constraints: 89438
1852.34/1857.18 c #Conflicts: 502000 | #Constraints: 90438
1852.34/1857.18 c INPROCESSING
1852.34/1857.18 c GARBAGE COLLECT
1852.34/1857.18 c #Conflicts: 503000 | #Constraints: 77439
1852.34/1857.18 c #Conflicts: 504000 | #Constraints: 78439
1852.34/1857.18 c #Conflicts: 505000 | #Constraints: 79439
1852.34/1857.18 c #Conflicts: 506000 | #Constraints: 80439
1852.34/1857.18 c #Conflicts: 507000 | #Constraints: 81439
1852.34/1857.18 c #Conflicts: 508000 | #Constraints: 82439
1852.34/1857.18 c #Conflicts: 509000 | #Constraints: 83439
1977.03/1982.12 c #Conflicts: 510000 | #Constraints: 84439
1977.03/1982.12 c #Conflicts: 511000 | #Constraints: 85439
1977.03/1982.12 c #Conflicts: 512000 | #Constraints: 86439
1977.03/1982.12 c #Conflicts: 513000 | #Constraints: 87439
1977.03/1982.12 c #Conflicts: 514000 | #Constraints: 88439
1977.03/1982.12 c #Conflicts: 515000 | #Constraints: 89439
1977.03/1982.12 c #Conflicts: 516000 | #Constraints: 90439
1977.03/1982.12 c INPROCESSING
1977.03/1982.12 c GARBAGE COLLECT
1977.03/1982.12 c #Conflicts: 517000 | #Constraints: 77229
1977.03/1982.12 c #Conflicts: 518000 | #Constraints: 78229
1977.03/1982.12 c #Conflicts: 519000 | #Constraints: 79229
1977.03/1982.12 c #Conflicts: 520000 | #Constraints: 80229
1977.03/1982.12 c #Conflicts: 521000 | #Constraints: 81229
1977.03/1982.12 c #Conflicts: 522000 | #Constraints: 82229
1977.03/1982.12 c #Conflicts: 523000 | #Constraints: 83229
1977.03/1982.12 c #Conflicts: 524000 | #Constraints: 84229
1977.03/1982.12 c #Conflicts: 525000 | #Constraints: 85229
1977.03/1982.12 c #Conflicts: 526000 | #Constraints: 86229
1977.03/1982.12 c #Conflicts: 527000 | #Constraints: 87229
1977.03/1982.12 c #Conflicts: 528000 | #Constraints: 88229
1977.03/1982.12 c #Conflicts: 529000 | #Constraints: 89229
1977.03/1982.12 c #Conflicts: 530000 | #Constraints: 90229
1977.03/1982.12 c #Conflicts: 531000 | #Constraints: 91229
1977.03/1982.12 c INPROCESSING
1977.03/1982.12 c GARBAGE COLLECT
1977.03/1982.12 c #Conflicts: 532000 | #Constraints: 77830
1977.03/1982.12 c #Conflicts: 533000 | #Constraints: 78830
1977.03/1982.12 c #Conflicts: 534000 | #Constraints: 79830
1977.03/1982.12 c #Conflicts: 535000 | #Constraints: 80830
1977.03/1982.12 c #Conflicts: 536000 | #Constraints: 81830
1977.03/1982.12 c #Conflicts: 537000 | #Constraints: 82830
1977.03/1982.12 c #Conflicts: 538000 | #Constraints: 83830
1977.03/1982.12 c #Conflicts: 539000 | #Constraints: 84830
1977.03/1982.12 c #Conflicts: 540000 | #Constraints: 85830
1977.03/1982.12 c #Conflicts: 541000 | #Constraints: 86830
1977.03/1982.12 c #Conflicts: 542000 | #Constraints: 87830
1977.03/1982.12 c #Conflicts: 543000 | #Constraints: 88830
1977.03/1982.12 c #Conflicts: 544000 | #Constraints: 89830
1977.03/1982.12 c #Conflicts: 545000 | #Constraints: 90830
1977.03/1982.12 c #Conflicts: 546000 | #Constraints: 91830
1977.03/1982.12 c INPROCESSING
1977.03/1982.12 c GARBAGE COLLECT
1977.03/1982.12 c #Conflicts: 547000 | #Constraints: 78230
1977.03/1982.12 c #Conflicts: 548000 | #Constraints: 79230
1977.03/1982.12 c #Conflicts: 549000 | #Constraints: 80230
1977.03/1982.12 c #Conflicts: 550000 | #Constraints: 81230
1977.03/1982.12 c #Conflicts: 551000 | #Constraints: 82230
1977.03/1982.12 c #Conflicts: 552000 | #Constraints: 83230
1977.03/1982.12 c #Conflicts: 553000 | #Constraints: 84230
1977.03/1982.12 c #Conflicts: 554000 | #Constraints: 85230
1977.03/1982.12 c #Conflicts: 555000 | #Constraints: 86230
1977.03/1982.12 c #Conflicts: 556000 | #Constraints: 87230
1977.03/1982.12 c #Conflicts: 557000 | #Constraints: 88230
1977.03/1982.12 c #Conflicts: 558000 | #Constraints: 89230
1977.03/1982.12 c #Conflicts: 559000 | #Constraints: 90230
1977.03/1982.12 c #Conflicts: 560000 | #Constraints: 91230
1977.03/1982.12 c #Conflicts: 561000 | #Constraints: 92230
1977.03/1982.12 c INPROCESSING
1977.03/1982.12 c GARBAGE COLLECT
1977.03/1982.12 c #Conflicts: 562000 | #Constraints: 78422
1977.03/1982.12 c #Conflicts: 563000 | #Constraints: 79422
1977.03/1982.12 c #Conflicts: 564000 | #Constraints: 80422
1977.03/1982.12 c #Conflicts: 565000 | #Constraints: 81422
1977.03/1982.12 c #Conflicts: 566000 | #Constraints: 82422
1977.03/1982.12 c #Conflicts: 567000 | #Constraints: 83422
1977.03/1982.12 c #Conflicts: 568000 | #Constraints: 84422
1977.03/1982.12 c #Conflicts: 569000 | #Constraints: 85422
1977.03/1982.12 c #Conflicts: 570000 | #Constraints: 86422
1977.03/1982.12 c #Conflicts: 571000 | #Constraints: 87422
1977.03/1982.12 c #Conflicts: 572000 | #Constraints: 88422
1977.03/1982.12 c #Conflicts: 573000 | #Constraints: 89422
1977.03/1982.12 c #Conflicts: 574000 | #Constraints: 90422
1977.03/1982.12 c #Conflicts: 575000 | #Constraints: 91422
1977.03/1982.12 c #Conflicts: 576000 | #Constraints: 92422
1977.03/1982.12 c INPROCESSING
1977.03/1982.12 c GARBAGE COLLECT
1977.03/1982.12 c #Conflicts: 577000 | #Constraints: 78444
1977.03/1982.12 c #Conflicts: 578000 | #Constraints: 79444
1977.03/1982.12 c #Conflicts: 579000 | #Constraints: 80444
1977.03/1982.12 c #Conflicts: 580000 | #Constraints: 81444
1977.03/1982.12 c #Conflicts: 581000 | #Constraints: 82444
1977.03/1982.12 c #Conflicts: 582000 | #Constraints: 83444
1977.03/1982.12 c #Conflicts: 583000 | #Constraints: 84444
1977.03/1982.12 c #Conflicts: 584000 | #Constraints: 85444
1977.03/1982.12 c #Conflicts: 585000 | #Constraints: 86444
2229.31/2235.00 c #Conflicts: 586000 | #Constraints: 87444
2229.31/2235.00 c #Conflicts: 587000 | #Constraints: 88444
2229.31/2235.00 c #Conflicts: 588000 | #Constraints: 89444
2229.31/2235.00 c #Conflicts: 589000 | #Constraints: 90444
2229.31/2235.00 c #Conflicts: 590000 | #Constraints: 91444
2229.31/2235.00 c #Conflicts: 591000 | #Constraints: 92444
2229.31/2235.00 c INPROCESSING
2229.31/2235.00 c GARBAGE COLLECT
2229.31/2235.00 c #Conflicts: 592000 | #Constraints: 78235
2229.31/2235.00 c #Conflicts: 593000 | #Constraints: 79235
2229.31/2235.00 c #Conflicts: 594000 | #Constraints: 80235
2229.31/2235.00 c #Conflicts: 595000 | #Constraints: 81235
2229.31/2235.00 c #Conflicts: 596000 | #Constraints: 82235
2229.31/2235.00 c #Conflicts: 597000 | #Constraints: 83235
2229.31/2235.00 c #Conflicts: 598000 | #Constraints: 84235
2229.31/2235.00 c #Conflicts: 599000 | #Constraints: 85235
2229.31/2235.00 c #Conflicts: 600000 | #Constraints: 86235
2229.31/2235.00 c #Conflicts: 601000 | #Constraints: 87235
2229.31/2235.00 c #Conflicts: 602000 | #Constraints: 88235
2229.31/2235.00 c #Conflicts: 603000 | #Constraints: 89235
2229.31/2235.00 c #Conflicts: 604000 | #Constraints: 90235
2229.31/2235.00 c #Conflicts: 605000 | #Constraints: 91235
2229.31/2235.00 c #Conflicts: 606000 | #Constraints: 92235
2229.31/2235.00 c #Conflicts: 607000 | #Constraints: 93235
2229.31/2235.00 c INPROCESSING
2229.31/2235.00 c GARBAGE COLLECT
2229.31/2235.00 c #Conflicts: 608000 | #Constraints: 78841
2229.31/2235.00 c #Conflicts: 609000 | #Constraints: 79841
2229.31/2235.00 c #Conflicts: 610000 | #Constraints: 80841
2229.31/2235.00 c #Conflicts: 611000 | #Constraints: 81841
2229.31/2235.00 c #Conflicts: 612000 | #Constraints: 82841
2229.31/2235.00 c #Conflicts: 613000 | #Constraints: 83841
2229.31/2235.00 c #Conflicts: 614000 | #Constraints: 84841
2229.31/2235.00 c #Conflicts: 615000 | #Constraints: 85841
2229.31/2235.00 c #Conflicts: 616000 | #Constraints: 86841
2229.31/2235.00 c #Conflicts: 617000 | #Constraints: 87841
2229.31/2235.00 c #Conflicts: 618000 | #Constraints: 88841
2229.31/2235.00 c #Conflicts: 619000 | #Constraints: 89841
2229.31/2235.00 c #Conflicts: 620000 | #Constraints: 90841
2229.31/2235.00 c #Conflicts: 621000 | #Constraints: 91841
2229.31/2235.00 c #Conflicts: 622000 | #Constraints: 92841
2229.31/2235.00 c #Conflicts: 623000 | #Constraints: 93841
2229.31/2235.00 c INPROCESSING
2229.31/2235.00 c GARBAGE COLLECT
2229.31/2235.00 c #Conflicts: 624000 | #Constraints: 79227
2229.31/2235.00 c #Conflicts: 625000 | #Constraints: 80227
2229.31/2235.00 c #Conflicts: 626000 | #Constraints: 81227
2229.31/2235.00 c #Conflicts: 627000 | #Constraints: 82227
2229.31/2235.00 c #Conflicts: 628000 | #Constraints: 83227
2229.31/2235.00 c #Conflicts: 629000 | #Constraints: 84227
2229.31/2235.00 c #Conflicts: 630000 | #Constraints: 85227
2229.31/2235.00 c #Conflicts: 631000 | #Constraints: 86227
2229.31/2235.00 c #Conflicts: 632000 | #Constraints: 87227
2229.31/2235.00 c #Conflicts: 633000 | #Constraints: 88227
2229.31/2235.00 c #Conflicts: 634000 | #Constraints: 89227
2229.31/2235.00 c #Conflicts: 635000 | #Constraints: 90227
2229.31/2235.00 c #Conflicts: 636000 | #Constraints: 91227
2229.31/2235.00 c #Conflicts: 637000 | #Constraints: 92227
2229.31/2235.00 c #Conflicts: 638000 | #Constraints: 93227
2229.31/2235.00 c #Conflicts: 639000 | #Constraints: 94227
2229.31/2235.00 c INPROCESSING
2229.31/2235.00 c GARBAGE COLLECT
2229.31/2235.00 c #Conflicts: 640000 | #Constraints: 79430
2229.31/2235.00 c #Conflicts: 641000 | #Constraints: 80430
2229.31/2235.00 c #Conflicts: 642000 | #Constraints: 81430
2229.31/2235.00 c #Conflicts: 643000 | #Constraints: 82430
2229.31/2235.00 c #Conflicts: 644000 | #Constraints: 83430
2229.31/2235.00 c #Conflicts: 645000 | #Constraints: 84430
2229.31/2235.00 c #Conflicts: 646000 | #Constraints: 85430
2229.31/2235.00 c #Conflicts: 647000 | #Constraints: 86430
2229.31/2235.00 c #Conflicts: 648000 | #Constraints: 87430
2229.31/2235.00 c #Conflicts: 649000 | #Constraints: 88430
2229.31/2235.00 c #Conflicts: 650000 | #Constraints: 89430
2229.31/2235.00 c #Conflicts: 651000 | #Constraints: 90430
2229.31/2235.00 c #Conflicts: 652000 | #Constraints: 91430
2229.31/2235.00 c #Conflicts: 653000 | #Constraints: 92430
2229.31/2235.00 c #Conflicts: 654000 | #Constraints: 93430
2229.31/2235.00 c #Conflicts: 655000 | #Constraints: 94430
2229.31/2235.00 c INPROCESSING
2229.31/2235.00 c GARBAGE COLLECT
2229.31/2235.00 c rational objective 80
2330.85/2336.82 c #Conflicts: 656000 | #Constraints: 79451
2330.85/2336.82 c #Conflicts: 657000 | #Constraints: 80451
2330.85/2336.82 c #Conflicts: 658000 | #Constraints: 81451
2330.85/2336.82 c #Conflicts: 659000 | #Constraints: 82451
2330.85/2336.82 c #Conflicts: 660000 | #Constraints: 83451
2330.85/2336.82 c #Conflicts: 661000 | #Constraints: 84451
2330.85/2336.82 c #Conflicts: 662000 | #Constraints: 85451
2330.85/2336.82 c #Conflicts: 663000 | #Constraints: 86451
2330.85/2336.82 c #Conflicts: 664000 | #Constraints: 87451
2330.85/2336.82 c #Conflicts: 665000 | #Constraints: 88451
2330.85/2336.82 c #Conflicts: 666000 | #Constraints: 89451
2330.85/2336.82 c #Conflicts: 667000 | #Constraints: 90451
2330.85/2336.82 c #Conflicts: 668000 | #Constraints: 91451
2330.85/2336.82 c #Conflicts: 669000 | #Constraints: 92451
2330.85/2336.82 c #Conflicts: 670000 | #Constraints: 93451
2330.85/2336.82 c #Conflicts: 671000 | #Constraints: 94451
2330.85/2336.82 c INPROCESSING
2330.85/2336.82 c GARBAGE COLLECT
2330.85/2336.82 c rational objective 80
2530.97/2537.48 c #Conflicts: 672000 | #Constraints: 79245
2530.97/2537.48 c #Conflicts: 673000 | #Constraints: 80245
2530.97/2537.48 c #Conflicts: 674000 | #Constraints: 81245
2530.97/2537.48 c #Conflicts: 675000 | #Constraints: 82245
2530.97/2537.48 c #Conflicts: 676000 | #Constraints: 83245
2530.97/2537.48 c #Conflicts: 677000 | #Constraints: 84245
2530.97/2537.48 c #Conflicts: 678000 | #Constraints: 85245
2530.97/2537.48 c #Conflicts: 679000 | #Constraints: 86245
2530.97/2537.48 c #Conflicts: 680000 | #Constraints: 87245
2530.97/2537.48 c #Conflicts: 681000 | #Constraints: 88245
2530.97/2537.48 c #Conflicts: 682000 | #Constraints: 89245
2530.97/2537.48 c #Conflicts: 683000 | #Constraints: 90245
2530.97/2537.48 c #Conflicts: 684000 | #Constraints: 91245
2530.97/2537.48 c #Conflicts: 685000 | #Constraints: 92245
2530.97/2537.48 c #Conflicts: 686000 | #Constraints: 93245
2530.97/2537.48 c #Conflicts: 687000 | #Constraints: 94245
2530.97/2537.48 c #Conflicts: 688000 | #Constraints: 95245
2530.97/2537.48 c INPROCESSING
2530.97/2537.48 c GARBAGE COLLECT
2530.97/2537.48 c #Conflicts: 689000 | #Constraints: 79838
2530.97/2537.48 c #Conflicts: 690000 | #Constraints: 80838
2530.97/2537.48 c #Conflicts: 691000 | #Constraints: 81838
2530.97/2537.48 c #Conflicts: 692000 | #Constraints: 82838
2530.97/2537.48 c #Conflicts: 693000 | #Constraints: 83838
2530.97/2537.48 c #Conflicts: 694000 | #Constraints: 84838
2530.97/2537.48 c #Conflicts: 695000 | #Constraints: 85838
2530.97/2537.48 c #Conflicts: 696000 | #Constraints: 86838
2530.97/2537.48 c #Conflicts: 697000 | #Constraints: 87838
2530.97/2537.48 c #Conflicts: 698000 | #Constraints: 88838
2530.97/2537.48 c #Conflicts: 699000 | #Constraints: 89838
2530.97/2537.48 c #Conflicts: 700000 | #Constraints: 90838
2530.97/2537.48 c #Conflicts: 701000 | #Constraints: 91838
2530.97/2537.48 c #Conflicts: 702000 | #Constraints: 92838
2530.97/2537.48 c #Conflicts: 703000 | #Constraints: 93838
2530.97/2537.48 c #Conflicts: 704000 | #Constraints: 94838
2530.97/2537.48 c #Conflicts: 705000 | #Constraints: 95838
2530.97/2537.48 c INPROCESSING
2530.97/2537.48 c GARBAGE COLLECT
2530.97/2537.48 c #Conflicts: 706000 | #Constraints: 80244
2530.97/2537.48 c #Conflicts: 707000 | #Constraints: 81244
2530.97/2537.48 c #Conflicts: 708000 | #Constraints: 82244
2530.97/2537.48 c #Conflicts: 709000 | #Constraints: 83244
2530.97/2537.48 c #Conflicts: 710000 | #Constraints: 84244
2530.97/2537.48 c #Conflicts: 711000 | #Constraints: 85244
2530.97/2537.48 c #Conflicts: 712000 | #Constraints: 86244
2530.97/2537.48 c #Conflicts: 713000 | #Constraints: 87244
2530.97/2537.48 c #Conflicts: 714000 | #Constraints: 88244
2530.97/2537.48 c #Conflicts: 715000 | #Constraints: 89244
2530.97/2537.48 c #Conflicts: 716000 | #Constraints: 90244
2530.97/2537.48 c #Conflicts: 717000 | #Constraints: 91244
2530.97/2537.48 c #Conflicts: 718000 | #Constraints: 92244
2530.97/2537.48 c #Conflicts: 719000 | #Constraints: 93244
2530.97/2537.48 c #Conflicts: 720000 | #Constraints: 94244
2530.97/2537.48 c #Conflicts: 721000 | #Constraints: 95244
2530.97/2537.48 c #Conflicts: 722000 | #Constraints: 96244
2530.97/2537.48 c INPROCESSING
2530.97/2537.48 c GARBAGE COLLECT
2530.97/2537.48 c rational objective 80
2629.23/2635.99 c #Conflicts: 723000 | #Constraints: 80440
2629.23/2635.99 c #Conflicts: 724000 | #Constraints: 81440
2629.23/2635.99 c #Conflicts: 725000 | #Constraints: 82440
2629.23/2635.99 c #Conflicts: 726000 | #Constraints: 83440
2629.23/2635.99 c #Conflicts: 727000 | #Constraints: 84440
2629.23/2635.99 c #Conflicts: 728000 | #Constraints: 85440
2629.23/2635.99 c #Conflicts: 729000 | #Constraints: 86440
2629.23/2635.99 c #Conflicts: 730000 | #Constraints: 87440
2629.23/2635.99 c #Conflicts: 731000 | #Constraints: 88440
2629.23/2635.99 c #Conflicts: 732000 | #Constraints: 89440
2629.23/2635.99 c #Conflicts: 733000 | #Constraints: 90440
2629.23/2635.99 c #Conflicts: 734000 | #Constraints: 91440
2629.23/2635.99 c #Conflicts: 735000 | #Constraints: 92440
2629.23/2635.99 c #Conflicts: 736000 | #Constraints: 93440
2629.23/2635.99 c #Conflicts: 737000 | #Constraints: 94440
2629.23/2635.99 c #Conflicts: 738000 | #Constraints: 95440
2629.23/2635.99 c #Conflicts: 739000 | #Constraints: 96440
2629.23/2635.99 c INPROCESSING
2629.23/2635.99 c GARBAGE COLLECT
2629.23/2635.99 c rational objective 80
2776.76/2783.83 c #Conflicts: 740000 | #Constraints: 80468
2776.76/2783.83 c #Conflicts: 741000 | #Constraints: 81468
2776.76/2783.83 c #Conflicts: 742000 | #Constraints: 82468
2776.76/2783.83 c #Conflicts: 743000 | #Constraints: 83468
2776.76/2783.83 c #Conflicts: 744000 | #Constraints: 84468
2776.76/2783.83 c #Conflicts: 745000 | #Constraints: 85468
2776.76/2783.83 c #Conflicts: 746000 | #Constraints: 86468
2776.76/2783.83 c #Conflicts: 747000 | #Constraints: 87468
2776.76/2783.83 c #Conflicts: 748000 | #Constraints: 88468
2776.76/2783.83 c #Conflicts: 749000 | #Constraints: 89468
2776.76/2783.83 c #Conflicts: 750000 | #Constraints: 90468
2776.76/2783.83 c #Conflicts: 751000 | #Constraints: 91468
2776.76/2783.83 c #Conflicts: 752000 | #Constraints: 92468
2776.76/2783.83 c #Conflicts: 753000 | #Constraints: 93468
2776.76/2783.83 c #Conflicts: 754000 | #Constraints: 94468
2776.76/2783.83 c #Conflicts: 755000 | #Constraints: 95468
2776.76/2783.83 c #Conflicts: 756000 | #Constraints: 96468
2776.76/2783.83 c INPROCESSING
2776.76/2783.83 c GARBAGE COLLECT
2776.76/2783.83 c #Conflicts: 757000 | #Constraints: 80260
2776.76/2783.83 c #Conflicts: 758000 | #Constraints: 81260
2776.76/2783.83 c #Conflicts: 759000 | #Constraints: 82260
2776.76/2783.83 c #Conflicts: 760000 | #Constraints: 83260
2776.76/2783.83 c #Conflicts: 761000 | #Constraints: 84260
2776.76/2783.83 c #Conflicts: 762000 | #Constraints: 85260
2776.76/2783.83 c #Conflicts: 763000 | #Constraints: 86260
2776.76/2783.83 c #Conflicts: 764000 | #Constraints: 87260
2776.76/2783.83 c #Conflicts: 765000 | #Constraints: 88260
2776.76/2783.83 c #Conflicts: 766000 | #Constraints: 89260
2776.76/2783.83 c #Conflicts: 767000 | #Constraints: 90260
2776.76/2783.83 c #Conflicts: 768000 | #Constraints: 91260
2776.76/2783.83 c #Conflicts: 769000 | #Constraints: 92260
2776.76/2783.83 c #Conflicts: 770000 | #Constraints: 93260
2776.76/2783.83 c #Conflicts: 771000 | #Constraints: 94260
2776.76/2783.83 c #Conflicts: 772000 | #Constraints: 95260
2776.76/2783.83 c #Conflicts: 773000 | #Constraints: 96260
2776.76/2783.83 c #Conflicts: 774000 | #Constraints: 97260
2776.76/2783.83 c INPROCESSING
2776.76/2783.83 c GARBAGE COLLECT
2776.76/2783.83 c #Conflicts: 775000 | #Constraints: 80850
2776.76/2783.83 c #Conflicts: 776000 | #Constraints: 81850
2776.76/2783.83 c #Conflicts: 777000 | #Constraints: 82850
2776.76/2783.83 c #Conflicts: 778000 | #Constraints: 83850
2776.76/2783.83 c #Conflicts: 779000 | #Constraints: 84850
2776.76/2783.83 c #Conflicts: 780000 | #Constraints: 85850
2776.76/2783.83 c #Conflicts: 781000 | #Constraints: 86850
2776.76/2783.83 c #Conflicts: 782000 | #Constraints: 87850
2776.76/2783.83 c #Conflicts: 783000 | #Constraints: 88850
2776.76/2783.83 c #Conflicts: 784000 | #Constraints: 89850
2776.76/2783.83 c #Conflicts: 785000 | #Constraints: 90850
2776.76/2783.83 c #Conflicts: 786000 | #Constraints: 91850
2776.76/2783.83 c #Conflicts: 787000 | #Constraints: 92850
2776.76/2783.83 c #Conflicts: 788000 | #Constraints: 93850
2776.76/2783.83 c #Conflicts: 789000 | #Constraints: 94850
2776.76/2783.83 c #Conflicts: 790000 | #Constraints: 95850
2776.76/2783.83 c #Conflicts: 791000 | #Constraints: 96850
2776.76/2783.83 c #Conflicts: 792000 | #Constraints: 97850
2776.76/2783.83 c INPROCESSING
2776.76/2783.83 c GARBAGE COLLECT
2776.76/2783.83 c rational objective 80
2892.22/2899.64 c #Conflicts: 793000 | #Constraints: 81250
2892.22/2899.64 c #Conflicts: 794000 | #Constraints: 82250
2892.22/2899.64 c #Conflicts: 795000 | #Constraints: 83250
2892.22/2899.64 c #Conflicts: 796000 | #Constraints: 84250
2892.22/2899.64 c #Conflicts: 797000 | #Constraints: 85250
2892.22/2899.64 c #Conflicts: 798000 | #Constraints: 86250
2892.22/2899.64 c #Conflicts: 799000 | #Constraints: 87250
2892.22/2899.64 c #Conflicts: 800000 | #Constraints: 88250
2892.22/2899.64 c #Conflicts: 801000 | #Constraints: 89250
2892.22/2899.64 c #Conflicts: 802000 | #Constraints: 90250
2892.22/2899.64 c #Conflicts: 803000 | #Constraints: 91250
2892.22/2899.64 c #Conflicts: 804000 | #Constraints: 92250
2892.22/2899.64 c #Conflicts: 805000 | #Constraints: 93250
2892.22/2899.64 c #Conflicts: 806000 | #Constraints: 94250
2892.22/2899.64 c #Conflicts: 807000 | #Constraints: 95250
2892.22/2899.64 c #Conflicts: 808000 | #Constraints: 96250
2892.22/2899.64 c #Conflicts: 809000 | #Constraints: 97250
2892.22/2899.64 c #Conflicts: 810000 | #Constraints: 98250
2892.22/2899.64 c INPROCESSING
2892.22/2899.64 c GARBAGE COLLECT
2892.22/2899.64 c rational objective 80
2958.83/2966.45 c #Conflicts: 811000 | #Constraints: 81491
2958.83/2966.45 c #Conflicts: 812000 | #Constraints: 82491
2958.83/2966.45 c #Conflicts: 813000 | #Constraints: 83491
2958.83/2966.45 c #Conflicts: 814000 | #Constraints: 84491
2958.83/2966.45 c #Conflicts: 815000 | #Constraints: 85491
2958.83/2966.45 c #Conflicts: 816000 | #Constraints: 86491
2958.83/2966.45 c #Conflicts: 817000 | #Constraints: 87491
2958.83/2966.45 c #Conflicts: 818000 | #Constraints: 88491
2958.83/2966.45 c #Conflicts: 819000 | #Constraints: 89491
2958.83/2966.45 c #Conflicts: 820000 | #Constraints: 90491
2958.83/2966.45 c #Conflicts: 821000 | #Constraints: 91491
2958.83/2966.45 c #Conflicts: 822000 | #Constraints: 92491
2958.83/2966.45 c #Conflicts: 823000 | #Constraints: 93491
2958.83/2966.45 c #Conflicts: 824000 | #Constraints: 94491
2958.83/2966.45 c #Conflicts: 825000 | #Constraints: 95491
2958.83/2966.45 c #Conflicts: 826000 | #Constraints: 96491
2958.83/2966.45 c #Conflicts: 827000 | #Constraints: 97491
2958.83/2966.45 c #Conflicts: 828000 | #Constraints: 98491
2958.83/2966.45 c INPROCESSING
2958.83/2966.45 c GARBAGE COLLECT
2958.83/2966.45 c #Conflicts: 829000 | #Constraints: 81459
2958.83/2966.45 c #Conflicts: 830000 | #Constraints: 82459
2958.83/2966.45 c #Conflicts: 831000 | #Constraints: 83459
2958.83/2966.45 c #Conflicts: 832000 | #Constraints: 84459
2958.83/2966.45 c #Conflicts: 833000 | #Constraints: 85459
2958.83/2966.45 c #Conflicts: 834000 | #Constraints: 86459
2958.83/2966.45 c #Conflicts: 835000 | #Constraints: 87459
2958.83/2966.45 c #Conflicts: 836000 | #Constraints: 88459
2958.83/2966.45 c #Conflicts: 837000 | #Constraints: 89459
2958.83/2966.45 c #Conflicts: 838000 | #Constraints: 90459
2958.83/2966.45 c #Conflicts: 839000 | #Constraints: 91459
2958.83/2966.45 c #Conflicts: 840000 | #Constraints: 92459
2958.83/2966.45 c #Conflicts: 841000 | #Constraints: 93459
2958.83/2966.45 c #Conflicts: 842000 | #Constraints: 94459
2958.83/2966.45 c #Conflicts: 843000 | #Constraints: 95459
2958.83/2966.45 c #Conflicts: 844000 | #Constraints: 96459
2958.83/2966.45 c #Conflicts: 845000 | #Constraints: 97459
2958.83/2966.45 c #Conflicts: 846000 | #Constraints: 98459
2958.83/2966.45 c INPROCESSING
2958.83/2966.45 c GARBAGE COLLECT
2958.83/2966.45 c #Conflicts: 847000 | #Constraints: 81246
2958.83/2966.45 c #Conflicts: 848000 | #Constraints: 82246
2958.83/2966.45 c #Conflicts: 849000 | #Constraints: 83246
2958.83/2966.45 c #Conflicts: 850000 | #Constraints: 84246
2958.83/2966.45 c #Conflicts: 851000 | #Constraints: 85246
2958.83/2966.45 c #Conflicts: 852000 | #Constraints: 86246
2958.83/2966.45 c #Conflicts: 853000 | #Constraints: 87246
2958.83/2966.45 c #Conflicts: 854000 | #Constraints: 88246
2958.83/2966.45 c #Conflicts: 855000 | #Constraints: 89246
2958.83/2966.45 c #Conflicts: 856000 | #Constraints: 90246
2958.83/2966.45 c #Conflicts: 857000 | #Constraints: 91246
2958.83/2966.45 c #Conflicts: 858000 | #Constraints: 92246
2958.83/2966.45 c #Conflicts: 859000 | #Constraints: 93246
2958.83/2966.45 c #Conflicts: 860000 | #Constraints: 94246
2958.83/2966.45 c #Conflicts: 861000 | #Constraints: 95246
2958.83/2966.45 c #Conflicts: 862000 | #Constraints: 96246
2958.83/2966.45 c #Conflicts: 863000 | #Constraints: 97246
2958.83/2966.45 c #Conflicts: 864000 | #Constraints: 98246
2958.83/2966.45 c #Conflicts: 865000 | #Constraints: 99246
2958.83/2966.45 c INPROCESSING
2958.83/2966.45 c GARBAGE COLLECT
2958.83/2966.45 c rational objective 80
3009.09/3016.83 c #Conflicts: 866000 | #Constraints: 81855
3009.09/3016.83 c #Conflicts: 867000 | #Constraints: 82855
3009.09/3016.83 c #Conflicts: 868000 | #Constraints: 83855
3009.09/3016.83 c #Conflicts: 869000 | #Constraints: 84855
3009.09/3016.83 c #Conflicts: 870000 | #Constraints: 85855
3009.09/3016.83 c #Conflicts: 871000 | #Constraints: 86855
3009.09/3016.83 c #Conflicts: 872000 | #Constraints: 87855
3009.09/3016.83 c #Conflicts: 873000 | #Constraints: 88855
3009.09/3016.83 c #Conflicts: 874000 | #Constraints: 89855
3009.09/3016.83 c #Conflicts: 875000 | #Constraints: 90855
3009.09/3016.83 c #Conflicts: 876000 | #Constraints: 91855
3009.09/3016.83 c #Conflicts: 877000 | #Constraints: 92855
3009.09/3016.83 c #Conflicts: 878000 | #Constraints: 93855
3009.09/3016.83 c #Conflicts: 879000 | #Constraints: 94855
3009.09/3016.83 c #Conflicts: 880000 | #Constraints: 95855
3009.09/3016.83 c #Conflicts: 881000 | #Constraints: 96855
3009.09/3016.83 c #Conflicts: 882000 | #Constraints: 97855
3009.09/3016.83 c #Conflicts: 883000 | #Constraints: 98855
3009.09/3016.83 c #Conflicts: 884000 | #Constraints: 99855
3009.09/3016.83 c INPROCESSING
3009.09/3016.83 c GARBAGE COLLECT
3009.09/3016.83 c #Conflicts: 885000 | #Constraints: 82241
3009.09/3016.83 c #Conflicts: 886000 | #Constraints: 83241
3009.09/3016.83 c #Conflicts: 887000 | #Constraints: 84241
3009.09/3016.83 c #Conflicts: 888000 | #Constraints: 85241
3009.09/3016.83 c #Conflicts: 889000 | #Constraints: 86241
3009.09/3016.83 c #Conflicts: 890000 | #Constraints: 87241
3009.09/3016.83 c #Conflicts: 891000 | #Constraints: 88241
3009.09/3016.83 c #Conflicts: 892000 | #Constraints: 89241
3009.09/3016.83 c #Conflicts: 893000 | #Constraints: 90241
3009.09/3016.83 c #Conflicts: 894000 | #Constraints: 91241
3009.09/3016.83 c #Conflicts: 895000 | #Constraints: 92241
3009.09/3016.83 c #Conflicts: 896000 | #Constraints: 93241
3009.09/3016.83 c #Conflicts: 897000 | #Constraints: 94241
3009.09/3016.83 c #Conflicts: 898000 | #Constraints: 95241
3009.09/3016.83 c #Conflicts: 899000 | #Constraints: 96241
3009.09/3016.83 c #Conflicts: 900000 | #Constraints: 97241
3009.09/3016.83 c #Conflicts: 901000 | #Constraints: 98241
3009.09/3016.83 c #Conflicts: 902000 | #Constraints: 99241
3009.09/3016.83 c #Conflicts: 903000 | #Constraints: 100241
3009.09/3016.83 c INPROCESSING
3009.09/3016.83 c GARBAGE COLLECT
3009.09/3016.83 c rational objective 80
3116.00/3124.08 c #Conflicts: 904000 | #Constraints: 82454
3116.00/3124.08 c #Conflicts: 905000 | #Constraints: 83454
3116.00/3124.08 c #Conflicts: 906000 | #Constraints: 84454
3116.00/3124.08 c #Conflicts: 907000 | #Constraints: 85454
3116.00/3124.08 c #Conflicts: 908000 | #Constraints: 86454
3116.00/3124.08 c #Conflicts: 909000 | #Constraints: 87454
3116.00/3124.08 c #Conflicts: 910000 | #Constraints: 88454
3116.00/3124.08 c #Conflicts: 911000 | #Constraints: 89454
3116.00/3124.08 c #Conflicts: 912000 | #Constraints: 90454
3116.00/3124.08 c #Conflicts: 913000 | #Constraints: 91454
3116.00/3124.08 c #Conflicts: 914000 | #Constraints: 92454
3116.00/3124.08 c #Conflicts: 915000 | #Constraints: 93454
3116.00/3124.08 c #Conflicts: 916000 | #Constraints: 94454
3116.00/3124.08 c #Conflicts: 917000 | #Constraints: 95454
3116.00/3124.08 c #Conflicts: 918000 | #Constraints: 96454
3116.00/3124.08 c #Conflicts: 919000 | #Constraints: 97454
3116.00/3124.08 c #Conflicts: 920000 | #Constraints: 98454
3116.00/3124.08 c #Conflicts: 921000 | #Constraints: 99454
3116.00/3124.08 c #Conflicts: 922000 | #Constraints: 100454
3116.00/3124.08 c INPROCESSING
3116.00/3124.08 c GARBAGE COLLECT
3116.00/3124.08 c rational objective 80
3160.88/3169.03 c #Conflicts: 923000 | #Constraints: 82449
3160.88/3169.03 c #Conflicts: 924000 | #Constraints: 83449
3160.88/3169.03 c #Conflicts: 925000 | #Constraints: 84449
3160.88/3169.03 c #Conflicts: 926000 | #Constraints: 85449
3160.88/3169.03 c #Conflicts: 927000 | #Constraints: 86449
3160.88/3169.03 c #Conflicts: 928000 | #Constraints: 87449
3160.88/3169.03 c #Conflicts: 929000 | #Constraints: 88449
3160.88/3169.03 c #Conflicts: 930000 | #Constraints: 89449
3160.88/3169.03 c #Conflicts: 931000 | #Constraints: 90449
3160.88/3169.03 c #Conflicts: 932000 | #Constraints: 91449
3160.88/3169.03 c #Conflicts: 933000 | #Constraints: 92449
3160.88/3169.03 c #Conflicts: 934000 | #Constraints: 93449
3160.88/3169.03 c #Conflicts: 935000 | #Constraints: 94449
3160.88/3169.03 c #Conflicts: 936000 | #Constraints: 95449
3160.88/3169.03 c #Conflicts: 937000 | #Constraints: 96449
3160.88/3169.03 c #Conflicts: 938000 | #Constraints: 97449
3160.88/3169.03 c #Conflicts: 939000 | #Constraints: 98449
3160.88/3169.03 c #Conflicts: 940000 | #Constraints: 99449
3160.88/3169.03 c #Conflicts: 941000 | #Constraints: 100449
3160.88/3169.03 c INPROCESSING
3160.88/3169.03 c GARBAGE COLLECT
3160.88/3169.03 c rational objective 80
3198.36/3206.62 c #Conflicts: 942000 | #Constraints: 82247
3198.36/3206.62 c #Conflicts: 943000 | #Constraints: 83247
3198.36/3206.62 c #Conflicts: 944000 | #Constraints: 84247
3198.36/3206.62 c #Conflicts: 945000 | #Constraints: 85247
3198.36/3206.62 c #Conflicts: 946000 | #Constraints: 86247
3198.36/3206.62 c #Conflicts: 947000 | #Constraints: 87247
3198.36/3206.62 c #Conflicts: 948000 | #Constraints: 88247
3198.36/3206.62 c #Conflicts: 949000 | #Constraints: 89247
3198.36/3206.62 c #Conflicts: 950000 | #Constraints: 90247
3198.36/3206.62 c #Conflicts: 951000 | #Constraints: 91247
3198.36/3206.62 c #Conflicts: 952000 | #Constraints: 92247
3198.36/3206.62 c #Conflicts: 953000 | #Constraints: 93247
3198.36/3206.62 c #Conflicts: 954000 | #Constraints: 94248
3198.36/3206.62 c #Conflicts: 955000 | #Constraints: 95248
3198.36/3206.62 c #Conflicts: 956000 | #Constraints: 96248
3198.36/3206.62 c #Conflicts: 957000 | #Constraints: 97248
3198.36/3206.62 c #Conflicts: 958000 | #Constraints: 98248
3198.36/3206.62 c #Conflicts: 959000 | #Constraints: 99248
3198.36/3206.62 c #Conflicts: 960000 | #Constraints: 100249
3198.36/3206.62 c #Conflicts: 961000 | #Constraints: 101249
3198.36/3206.62 c INPROCESSING
3198.36/3206.62 c GARBAGE COLLECT
3198.36/3206.62 WSVECS04 Frhs2[7588]: 6 -5.00001 0 shouldn't be
3222.90/3231.24 c rational objective 80
3266.08/3274.58 c #Conflicts: 962000 | #Constraints: 82874
3266.08/3274.58 c #Conflicts: 963000 | #Constraints: 83874
3266.08/3274.58 c #Conflicts: 964000 | #Constraints: 84874
3266.08/3274.58 c #Conflicts: 965000 | #Constraints: 85874
3266.08/3274.58 c #Conflicts: 966000 | #Constraints: 86874
3266.08/3274.58 c #Conflicts: 967000 | #Constraints: 87874
3266.08/3274.58 c #Conflicts: 968000 | #Constraints: 88874
3266.08/3274.58 c #Conflicts: 969000 | #Constraints: 89874
3266.08/3274.58 c #Conflicts: 970000 | #Constraints: 90874
3266.08/3274.58 c #Conflicts: 971000 | #Constraints: 91874
3266.08/3274.58 c #Conflicts: 972000 | #Constraints: 92874
3266.08/3274.58 c #Conflicts: 973000 | #Constraints: 93874
3266.08/3274.58 c #Conflicts: 974000 | #Constraints: 94874
3266.08/3274.58 c #Conflicts: 975000 | #Constraints: 95874
3266.08/3274.58 c #Conflicts: 976000 | #Constraints: 96874
3266.08/3274.58 c #Conflicts: 977000 | #Constraints: 97874
3266.08/3274.58 c #Conflicts: 978000 | #Constraints: 98874
3266.08/3274.58 c #Conflicts: 979000 | #Constraints: 99874
3266.08/3274.58 c #Conflicts: 980000 | #Constraints: 100874
3266.08/3274.58 c #Conflicts: 981000 | #Constraints: 101874
3266.08/3274.58 c INPROCESSING
3266.08/3274.58 c GARBAGE COLLECT
3266.08/3274.58 c rational objective 80
3303.58/3312.17 c #Conflicts: 982000 | #Constraints: 83277
3303.58/3312.17 c #Conflicts: 983000 | #Constraints: 84277
3303.58/3312.17 c #Conflicts: 984000 | #Constraints: 85277
3303.58/3312.17 c #Conflicts: 985000 | #Constraints: 86277
3303.58/3312.17 c #Conflicts: 986000 | #Constraints: 87277
3303.58/3312.17 c #Conflicts: 987000 | #Constraints: 88277
3303.58/3312.17 c #Conflicts: 988000 | #Constraints: 89277
3303.58/3312.17 c #Conflicts: 989000 | #Constraints: 90277
3303.58/3312.17 c #Conflicts: 990000 | #Constraints: 91277
3303.58/3312.17 c #Conflicts: 991000 | #Constraints: 92277
3303.58/3312.17 c #Conflicts: 992000 | #Constraints: 93277
3303.58/3312.17 c #Conflicts: 993000 | #Constraints: 94277
3303.58/3312.17 c #Conflicts: 994000 | #Constraints: 95277
3303.58/3312.17 c #Conflicts: 995000 | #Constraints: 96277
3303.58/3312.17 c #Conflicts: 996000 | #Constraints: 97277
3303.58/3312.17 c #Conflicts: 997000 | #Constraints: 98277
3303.58/3312.17 c #Conflicts: 998000 | #Constraints: 99277
3303.58/3312.17 c #Conflicts: 999000 | #Constraints: 100277
3303.58/3312.17 c #Conflicts: 1000000 | #Constraints: 101277
3303.58/3312.17 c #Conflicts: 1001000 | #Constraints: 102277
3303.58/3312.17 c INPROCESSING
3303.58/3312.17 c GARBAGE COLLECT
3303.58/3312.17 c rational objective 80
3395.62/3404.49 c #Conflicts: 1002000 | #Constraints: 83478
3395.62/3404.49 c #Conflicts: 1003000 | #Constraints: 84478
3395.62/3404.49 c #Conflicts: 1004000 | #Constraints: 85478
3395.62/3404.49 c #Conflicts: 1005000 | #Constraints: 86478
3395.62/3404.49 c #Conflicts: 1006000 | #Constraints: 87478
3395.62/3404.49 c #Conflicts: 1007000 | #Constraints: 88478
3395.62/3404.49 c #Conflicts: 1008000 | #Constraints: 89478
3395.62/3404.49 c #Conflicts: 1009000 | #Constraints: 90478
3395.62/3404.49 c #Conflicts: 1010000 | #Constraints: 91478
3395.62/3404.49 c #Conflicts: 1011000 | #Constraints: 92478
3395.62/3404.49 c #Conflicts: 1012000 | #Constraints: 93478
3395.62/3404.49 c #Conflicts: 1013000 | #Constraints: 94478
3395.62/3404.49 c #Conflicts: 1014000 | #Constraints: 95478
3395.62/3404.49 c #Conflicts: 1015000 | #Constraints: 96478
3395.62/3404.49 c #Conflicts: 1016000 | #Constraints: 97478
3395.62/3404.49 c #Conflicts: 1017000 | #Constraints: 98478
3395.62/3404.49 c #Conflicts: 1018000 | #Constraints: 99478
3395.62/3404.49 c #Conflicts: 1019000 | #Constraints: 100478
3395.62/3404.49 c #Conflicts: 1020000 | #Constraints: 101478
3395.62/3404.49 c #Conflicts: 1021000 | #Constraints: 102478
3395.62/3404.49 c INPROCESSING
3395.62/3404.49 c GARBAGE COLLECT
3395.62/3404.49 c rational objective 80
3446.87/3455.88 c #Conflicts: 1022000 | #Constraints: 83477
3446.87/3455.88 c #Conflicts: 1023000 | #Constraints: 84477
3446.87/3455.88 c #Conflicts: 1024000 | #Constraints: 85477
3446.87/3455.88 c #Conflicts: 1025000 | #Constraints: 86477
3446.87/3455.88 c #Conflicts: 1026000 | #Constraints: 87477
3446.87/3455.88 c #Conflicts: 1027000 | #Constraints: 88477
3446.87/3455.88 c #Conflicts: 1028000 | #Constraints: 89477
3446.87/3455.88 c #Conflicts: 1029000 | #Constraints: 90477
3446.87/3455.88 c #Conflicts: 1030000 | #Constraints: 91477
3446.87/3455.88 c #Conflicts: 1031000 | #Constraints: 92477
3446.87/3455.88 c #Conflicts: 1032000 | #Constraints: 93477
3446.87/3455.88 c #Conflicts: 1033000 | #Constraints: 94477
3446.87/3455.88 c #Conflicts: 1034000 | #Constraints: 95477
3446.87/3455.88 c #Conflicts: 1035000 | #Constraints: 96477
3446.87/3455.88 c #Conflicts: 1036000 | #Constraints: 97477
3446.87/3455.88 c #Conflicts: 1037000 | #Constraints: 98477
3446.87/3455.88 c #Conflicts: 1038000 | #Constraints: 99477
3446.87/3455.88 c #Conflicts: 1039000 | #Constraints: 100477
3446.87/3455.88 c #Conflicts: 1040000 | #Constraints: 101477
3446.87/3455.88 c #Conflicts: 1041000 | #Constraints: 102477
3446.87/3455.88 c INPROCESSING
3446.87/3455.88 c GARBAGE COLLECT
3446.87/3455.88 c rational objective 80
3499.23/3508.34 c #Conflicts: 1042000 | #Constraints: 83321
3499.23/3508.34 c #Conflicts: 1043000 | #Constraints: 84321
3499.23/3508.34 c #Conflicts: 1044000 | #Constraints: 85321
3499.23/3508.34 c #Conflicts: 1045000 | #Constraints: 86321
3499.23/3508.34 c #Conflicts: 1046000 | #Constraints: 87321
3499.23/3508.34 c #Conflicts: 1047000 | #Constraints: 88321
3499.23/3508.34 c #Conflicts: 1048000 | #Constraints: 89321
3499.23/3508.34 c #Conflicts: 1049000 | #Constraints: 90321
3499.23/3508.34 c #Conflicts: 1050000 | #Constraints: 91321
3499.23/3508.34 c #Conflicts: 1051000 | #Constraints: 92321
3499.23/3508.34 c #Conflicts: 1052000 | #Constraints: 93321
3499.23/3508.34 c #Conflicts: 1053000 | #Constraints: 94321
3499.23/3508.34 c #Conflicts: 1054000 | #Constraints: 95321
3499.23/3508.34 c #Conflicts: 1055000 | #Constraints: 96321
3499.23/3508.34 c #Conflicts: 1056000 | #Constraints: 97321
3499.23/3508.34 c #Conflicts: 1057000 | #Constraints: 98321
3499.23/3508.34 c #Conflicts: 1058000 | #Constraints: 99321
3499.23/3508.34 c #Conflicts: 1059000 | #Constraints: 100321
3499.23/3508.34 c #Conflicts: 1060000 | #Constraints: 101321
3499.23/3508.34 c #Conflicts: 1061000 | #Constraints: 102321
3499.23/3508.34 c #Conflicts: 1062000 | #Constraints: 103321
3499.23/3508.34 c INPROCESSING
3499.23/3508.34 c GARBAGE COLLECT
3499.23/3508.34 c rational objective 80
3505.31/3514.46 c #Conflicts: 1063000 | #Constraints: 83886
3505.31/3514.46 c #Conflicts: 1064000 | #Constraints: 84886
3505.31/3514.46 c #Conflicts: 1065000 | #Constraints: 85886
3505.31/3514.46 c #Conflicts: 1066000 | #Constraints: 86886
3505.31/3514.46 c #Conflicts: 1067000 | #Constraints: 87886
3505.31/3514.46 c #Conflicts: 1068000 | #Constraints: 88886
3505.31/3514.46 c #Conflicts: 1069000 | #Constraints: 89886
3505.31/3514.46 c #Conflicts: 1070000 | #Constraints: 90886
3505.31/3514.46 c #Conflicts: 1071000 | #Constraints: 91886
3505.31/3514.46 c #Conflicts: 1072000 | #Constraints: 92886
3505.31/3514.46 c #Conflicts: 1073000 | #Constraints: 93886
3505.31/3514.46 c #Conflicts: 1074000 | #Constraints: 94886
3505.31/3514.46 c #Conflicts: 1075000 | #Constraints: 95886
3505.31/3514.46 c #Conflicts: 1076000 | #Constraints: 96886
3505.31/3514.46 c #Conflicts: 1077000 | #Constraints: 97886
3505.31/3514.46 c #Conflicts: 1078000 | #Constraints: 98886
3505.31/3514.46 c #Conflicts: 1079000 | #Constraints: 99886
3505.31/3514.46 c #Conflicts: 1080000 | #Constraints: 100886
3505.31/3514.46 c #Conflicts: 1081000 | #Constraints: 101886
3505.31/3514.46 c bounds - >= 90 @ 3491.34
3570.53/3579.88 c #Conflicts: 1082000 | #Constraints: 102898
3570.53/3579.88 c #Conflicts: 1083000 | #Constraints: 103898
3570.53/3579.88 c INPROCESSING
3570.53/3579.88 c GARBAGE COLLECT
3570.53/3579.88 c rational objective 90
3600.04/3609.40 c #Conflicts: 1084000 | #Constraints: 84281
3600.04/3609.40 c #Conflicts: 1085000 | #Constraints: 85281
3600.04/3609.40 c #Conflicts: 1086000 | #Constraints: 86281
3600.04/3609.40 c #Conflicts: 1087000 | #Constraints: 87281
3600.04/3609.40 c #Conflicts: 1088000 | #Constraints: 88281
3600.04/3609.40 c #Conflicts: 1089000 | #Constraints: 89281
3600.04/3609.40 c #Conflicts: 1090000 | #Constraints: 90281
3600.04/3609.40 c #Conflicts: 1091000 | #Constraints: 91281
3600.04/3609.40 c #Conflicts: 1092000 | #Constraints: 92281
3600.04/3609.40 c #Conflicts: 1093000 | #Constraints: 93281
3600.04/3609.40 c #Conflicts: 1094000 | #Constraints: 94281
3600.04/3609.40 c #Conflicts: 1095000 | #Constraints: 95281
3600.04/3609.40 c #Conflicts: 1096000 | #Constraints: 96281
3600.04/3609.40 c #Conflicts: 1097000 | #Constraints: 97281
3600.04/3609.40 c #Conflicts: 1098000 | #Constraints: 98281
3600.04/3609.40 c #Conflicts: 1099000 | #Constraints: 99281
3600.04/3609.40 c #Conflicts: 1100000 | #Constraints: 100281
3600.04/3609.40 c #Conflicts: 1101000 | #Constraints: 101281
3600.04/3609.40 c #Conflicts: 1102000 | #Constraints: 102281
3600.04/3609.40 c #Conflicts: 1103000 | #Constraints: 103281
3600.04/3609.40 c #Conflicts: 1104000 | #Constraints: 104281
3600.04/3609.40 c INPROCESSING
3600.04/3609.40 c GARBAGE COLLECT
3600.04/3609.40 c Disabling crashed LP
3600.04/3609.40 c cpu time 3585.67 s
3600.04/3609.40 c deterministic time 15172714577 1.52e+10
3600.04/3609.40 c optimization time 0.002221 s
3600.04/3609.40 c total solve time 3585.47 s
3600.04/3609.40 c core-guided solve time 829.167 s
3600.04/3609.40 c propagation time 1866.33 s
3600.04/3609.40 c conflict analysis time 38.3822 s
3600.04/3609.40 c propagations 188168813
3600.04/3609.40 c resolve steps 12786035
3600.04/3609.40 c decisions 1529601
3600.04/3609.40 c conflicts 1104001
3600.04/3609.40 c restarts 2046
3600.04/3609.40 c inprocessing phases 96
3600.04/3609.40 c garbage collections 91 ,( 94.79 )
3600.04/3609.40 c input clauses 61340 ,( 98.04 )
3600.04/3609.40 c input cardinalities 327 ,( 0.52 )
3600.04/3609.40 c input general constraints 899 ,( 1.44 )
3600.04/3609.40 c input average constraint length 3.23
3600.04/3609.40 c input average constraint degree 1.26
3600.04/3609.40 c learned clauses 795402 ,( 72.00 )
3600.04/3609.40 c learned cardinalities 92004 ,( 8.33 )
3600.04/3609.40 c learned general constraints 217286 ,( 19.67 )
3600.04/3609.40 c learned average constraint length 53.55
3600.04/3609.40 c learned average constraint degree 97089.56
3600.04/3609.40 c watched CF 32, 64, 128, Arb: 205292 , 0 , 0 , 0
3600.04/3609.40 c counting CF 32, 64, 128, Arb: 12894 , 0 , 0 , 0
3600.04/3609.40 c watched constraints 205292 ,( 94.09 )
3600.04/3609.40 c counting constraints 12893 ,( 5.91 )
3600.04/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 434375337 , 635906442 , 535377650 ,( 417546400 , 117831250 )
3600.04/3609.40 c gcd simplifications 18681
3600.04/3609.40 c detected cardinalities 4861
3600.04/3609.40 c weakened non-implied lits 11503390
3600.04/3609.40 c weakened non-implying lits 3193
3600.04/3609.40 c original variables 20515
3600.04/3609.40 c clausal propagations 177960735
3600.04/3609.40 c cardinality propagations 5092180
3600.04/3609.40 c watched propagations 1934881
3600.04/3609.40 c counting propagations 1615568
3600.04/3609.40 c watch lookups 5276528020
3600.04/3609.40 c watch backjump lookups 0
3600.04/3609.40 c watch checks 8051905888
3600.04/3609.40 c propagation checks 1277394536
3600.04/3609.40 c constraint additions 184243067
3600.04/3609.40 c trail pops 190802405
3600.04/3609.40 c formula constraints 62482
3600.04/3609.40 c learned constraints 1103996
3600.04/3609.40 c bound constraints 9
3600.04/3609.40 c core-guided constraints 75
3600.04/3609.40 c encountered formula constraints 9072839
3600.04/3609.40 c encountered learned constraints 4632720
3600.04/3609.40 c encountered bound constraints 0
3600.04/3609.40 c encountered core-guided constraints 136969
3600.04/3609.40 c LP total time 3371.29 s
3600.04/3609.40 c LP solve time 3357.9 s
3600.04/3609.40 c LP constraints added 66025
3600.04/3609.40 c LP constraints removed 3388
3600.04/3609.40 c LP pivots internal 1118380
3600.04/3609.40 c LP pivots root 1023866
3600.04/3609.40 c LP calls 77
3600.04/3609.40 c LP optimalities 59
3600.04/3609.40 c LP no pivot count 0
3600.04/3609.40 c LP infeasibilities 6
3600.04/3609.40 c LP valid Farkas constraints 5
3600.04/3609.40 c LP learned Farkas constraints 5
3600.04/3609.40 c LP basis resets 6
3600.04/3609.40 c LP cycling count 0
3600.04/3609.40 c LP singular count 0
3600.04/3609.40 c LP no primal count 0
3600.04/3609.40 c LP no farkas count 1
3600.04/3609.40 c LP other issue count 5
3600.04/3609.40 c LP Gomory cuts 686
3600.04/3609.40 c LP learned cuts 2857
3600.04/3609.40 c LP deleted cuts 3388
3600.04/3609.40 c LP encountered Gomory constraints 46973
3600.04/3609.40 c LP encountered Farkas constraints 457
3600.04/3609.40 c LP encountered learned Farkas constraints 73
3600.04/3609.40 c CG auxiliary variables introduced 28
3600.04/3609.40 c CG solutions found 0
3600.04/3609.40 c CG cores constructed 9
3600.04/3609.40 c CG core cardinality constraints returned 0
3600.04/3609.40 c CG unit cores 0
3600.04/3609.40 c CG single cores 9
3600.04/3609.40 c CG blocks removed during cardinality reduction 0
3600.04/3609.40 c CG first core best 0
3600.04/3609.40 c CG decision core best 0
3600.04/3609.40 c CG core reduction tie 0
3600.04/3609.40 c CG core degree average 1.00
3600.04/3609.40 c CG core slack average 3.67
3600.04/3609.40 c CG core upper bound improvements 0
3600.04/3609.40 c STR number of successful calls 0
3600.04/3609.40 c STR number of unsuccessful calls 0
3600.04/3609.40 c STR number of inconclusive calls 0
3600.04/3609.40 c STR number of successful attempts 0
3600.04/3609.40 c STR number of unsuccessful attempts 0
3600.04/3609.40 c STR number of inconclusive attempts 0
3600.04/3609.40 c STR average degree increase per successful call inf
3600.04/3609.40 c STR average degree increase per successful attempt inf
3600.04/3609.40 c STR total number of conflicts for successful attempts 0
3600.04/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.40 c STR average number of conflicts per successful attempt inf
3600.04/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.40 c AVG.sumWPerc 25.02
3600.04/3609.40 c bigint constraints 0
3600.04/3609.40 s UNKNOWN
3600.04/3609.40 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: 63665 MiB (53784 MiB free)
memory of node 1: 64507 MiB (42228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507956-1751490028/watcher-4507956-1751490028 -o /tmp/evaluation-result-4507956-1751490028/solver-4507956-1751490028 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751485437-69733 --watchdog 3760 run-opt-break.sh HOME/instance-4507956-1751490028.opb
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 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=70358, runsolver pid=70355
[startup+0.100069 s]*
/proc/loadavg: 4.15 4.16 4.11 5/267 70360
/proc/meminfo: memFree=98294320/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70360] ppid=70358 vsize=55264 memory=37920 CPUtime=0.08 cores=1,3
/proc/70360/stat : 70360 (pbsuma) R 70358 70358 69721 0 -1 4194304 10433 0 0 0 7 1 0 0 20 0 1 0 64681611 56590336 9480 18446744073709551615 4210688 4653049 140726346163040 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36921344 140726346164579 140726346164786 140726346164786 140726346170351 0
/proc/70360/statm: 13816 9480 1024 108 0 11224 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 59456 KiB
Current children cumulated memory: 40864 KiB
[startup+0.205727 s]*
/proc/loadavg: 4.15 4.16 4.11 5/267 70360
/proc/meminfo: memFree=98290288/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70360] ppid=70358 vsize=41404 memory=29936 CPUtime=0.19 cores=1,3
/proc/70360/stat : 70360 (pbsuma) R 70358 70358 69721 0 -1 4194304 10782 0 0 0 17 2 0 0 20 0 1 0 64681611 42397696 7484 18446744073709551615 4210688 4653049 140726346163040 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 36921344 140726346164579 140726346164786 140726346164786 140726346170351 0
/proc/70360/statm: 10351 7484 1024 108 0 7759 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 45596 KiB
Current children cumulated memory: 32880 KiB
[startup+0.305573 s]*
/proc/loadavg: 4.15 4.16 4.11 5/267 70361
/proc/meminfo: memFree=98290320/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=60256 memory=15348 CPUtime=0.03 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 1631 0 0 0 2 1 0 0 20 0 1 0 64681636 61702144 3837 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 15064 3837 1888 1147 0 2491 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 64448 KiB
Current children cumulated memory: 18292 KiB
[startup+0.700222 s]
/proc/loadavg: 4.15 4.16 4.11 5/267 70361
/proc/meminfo: memFree=98261648/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=135512 memory=93776 CPUtime=0.42 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 13031 0 0 0 34 8 0 0 20 0 1 0 64681636 138764288 23444 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 33878 23444 2272 1147 0 21305 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 139704 KiB
Current children cumulated memory: 96720 KiB
[startup+1.50022 s]
/proc/loadavg: 4.15 4.16 4.11 5/267 70361
/proc/meminfo: memFree=98242308/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=138668 memory=95440 CPUtime=1.21 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 13359 0 0 0 110 11 0 0 20 0 1 0 64681636 141996032 23860 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 34667 23860 2368 1147 0 22094 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 142860 KiB
Current children cumulated memory: 98384 KiB
[startup+3.10561 s]
/proc/loadavg: 4.15 4.16 4.11 5/267 70361
/proc/meminfo: memFree=98238528/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=141536 memory=99024 CPUtime=2.82 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 14250 0 0 0 269 13 0 0 20 0 1 0 64681636 144932864 24756 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 35384 24756 2368 1147 0 22811 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 145728 KiB
Current children cumulated memory: 101968 KiB
[startup+6.30021 s]
/proc/loadavg: 4.13 4.16 4.11 5/267 70361
/proc/meminfo: memFree=98231156/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=149176 memory=105312 CPUtime=6 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 15841 0 0 0 579 21 0 0 20 0 1 0 64681636 152756224 26328 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 37294 26328 2400 1147 0 24721 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 153368 KiB
Current children cumulated memory: 108256 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.15 4.11 5/267 70361
/proc/meminfo: memFree=98227628/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=151100 memory=106848 CPUtime=12.38 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 16237 0 0 0 1213 25 0 0 20 0 1 0 64681636 154726400 26712 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 37775 26712 2400 1147 0 25202 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 155292 KiB
Current children cumulated memory: 109792 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.16 4.11 5/267 70361
/proc/meminfo: memFree=98221452/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=155552 memory=109920 CPUtime=25.15 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 16994 0 0 0 2480 35 0 0 20 0 1 0 64681636 159285248 27480 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 38888 27480 2400 1147 0 26315 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 159744 KiB
Current children cumulated memory: 112864 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.15 4.11 5/267 70373
/proc/meminfo: memFree=97915896/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=184352 memory=134024 CPUtime=50.68 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 20971 0 0 0 5019 49 0 0 20 0 1 0 64681636 188776448 33506 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 46088 33506 2400 1147 0 33515 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 188544 KiB
Current children cumulated memory: 136968 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/267 70374
/proc/meminfo: memFree=97880916/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=191460 memory=141756 CPUtime=101.74 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 22388 0 0 0 10108 66 0 0 20 0 1 0 64681636 196055040 35439 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 47865 35439 2400 1147 0 35292 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 195652 KiB
Current children cumulated memory: 144700 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/267 70376
/proc/meminfo: memFree=97830516/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=191460 memory=142268 CPUtime=161.58 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 22521 0 0 0 16065 93 0 0 20 0 1 0 64681636 196055040 35567 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 47865 35567 2400 1147 0 35292 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 195652 KiB
Current children cumulated memory: 145212 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 70379
/proc/meminfo: memFree=96921612/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=191460 memory=142268 CPUtime=221.42 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 22532 0 0 0 22027 115 0 0 20 0 1 0 64681636 196055040 35567 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 47865 35567 2400 1147 0 35292 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/70361/statm: 54455 43382 2400 1147 0 41882 0
Current children cumulated CPU time: 3034.52 s
Current children cumulated vsize: 222012 KiB
Current children cumulated memory: 176472 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 70671
/proc/meminfo: memFree=105925544/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=217820 memory=173528 CPUtime=3094.11 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 26367 0 0 0 308206 1205 0 0 20 0 1 0 64681636 223047680 43382 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 54455 43382 2400 1147 0 41882 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 222012 KiB
Current children cumulated memory: 176472 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/268 70673
/proc/meminfo: memFree=105929764/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=217820 memory=173528 CPUtime=3153.95 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 26367 0 0 0 314165 1230 0 0 20 0 1 0 64681636 223047680 43382 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 54455 43382 2400 1147 0 41882 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 222012 KiB
Current children cumulated memory: 176472 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 70675
/proc/meminfo: memFree=105883168/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=279284 memory=210252 CPUtime=3213.78 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 27871 0 0 0 320126 1252 0 0 20 0 1 0 64681636 285986816 52563 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 69821 52563 2400 1147 0 57248 0
Current children cumulated CPU time: 3214.02 s
Current children cumulated vsize: 283476 KiB
Current children cumulated memory: 213196 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 70677
/proc/meminfo: memFree=105880720/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=279284 memory=210252 CPUtime=3273.61 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 27871 0 0 0 326077 1284 0 0 20 0 1 0 64681636 285986816 52563 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 69821 52563 2400 1147 0 57248 0
Current children cumulated CPU time: 3273.85 s
Current children cumulated vsize: 283476 KiB
Current children cumulated memory: 213196 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 70679
/proc/meminfo: memFree=105881364/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=279284 memory=210252 CPUtime=3333.46 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 27871 0 0 0 332034 1312 0 0 20 0 1 0 64681636 285986816 52563 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 69821 52563 2400 1147 0 57248 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 283476 KiB
Current children cumulated memory: 213196 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 70681
/proc/meminfo: memFree=105860336/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=279284 memory=210252 CPUtime=3393.28 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 27919 0 0 0 338000 1328 0 0 20 0 1 0 64681636 285986816 52563 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 69821 52563 2400 1147 0 57248 0
Current children cumulated CPU time: 3393.52 s
Current children cumulated vsize: 283476 KiB
Current children cumulated memory: 213196 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 70683
/proc/meminfo: memFree=105869284/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=279284 memory=210252 CPUtime=3453.11 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 27920 0 0 0 343957 1354 0 0 20 0 1 0 64681636 285986816 52563 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 69821 52563 2400 1147 0 57248 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 283476 KiB
Current children cumulated memory: 213196 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.16 4.11 5/267 70690
/proc/meminfo: memFree=105864580/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=279284 memory=210252 CPUtime=3512.95 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 27920 0 0 0 349911 1384 0 0 20 0 1 0 64681636 285986816 52563 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 69821 52563 2400 1147 0 57248 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 283476 KiB
Current children cumulated memory: 213196 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.14 4.11 5/267 70694
/proc/meminfo: memFree=105866120/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=279284 memory=210252 CPUtime=3572.79 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 27920 0 0 0 355875 1404 0 0 20 0 1 0 64681636 285986816 52563 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 69821 52563 2400 1147 0 57248 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 283476 KiB
Current children cumulated memory: 213196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.18 4.15 4.11 5/267 70695
/proc/meminfo: memFree=105866512/131249988 swapFree=33010160/33010684
[pid=70358] ppid=70355 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/70358/stat : 70358 (run-opt-break.s) S 70355 70358 69721 0 -1 4194304 237 10985 0 0 0 0 22 2 20 0 1 0 64681610 4292608 736 18446744073709551615 94816870293504 94816871188037 140726694541440 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94816871427088 94816871474832 94816884396032 140726694549857 140726694549986 140726694549986 140726694555588 0
/proc/70358/statm: 1048 736 672 219 0 110 0
[pid=70361] ppid=70358 vsize=279284 memory=210252 CPUtime=3599.8 cores=1,3
/proc/70361/stat : 70361 (roundingsat) R 70358 70358 69721 0 -1 4194304 27920 0 0 0 358566 1414 0 0 20 0 1 0 64681636 285986816 52563 18446744073709551615 4227072 8923433 140724551193936 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26042368 140724551203172 140724551203368 140724551203368 140724551208938 0
/proc/70361/statm: 69821 52563 2400 1147 0 57248 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 283476 KiB
Current children cumulated memory: 213196 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.41 s]
# the end of solver process 70358 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.22767 s, system=0.024503 s
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 70361 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.9 s, system=14.172 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
Child status: 2
Real time (s): 3609.41
CPU time (s): 3600.08
CPU user time (s): 3585.9
CPU system time (s): 14.172
CPU usage (%): 99.7414
Max. virtual memory (cumulated for all children) (KiB): 283476
Max. memory (cumulated for all children) (KiB): 213196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.9
system time used= 14.172
maximum resident set size= 210636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 228
involuntary context switches= 1300
# summary of solver processes directly reported to runsolver:
# pid: 70358,70361
# total CPU time (s): 3600.08
# total CPU user time (s): 3585.9
# total CPU system time (s): 14.172
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9805 second user time and 16.8431 second system time
The end
Begin job on nodeC034 at 2025-07-02 23:00:28
IDJOB=4507956
IDBENCH=158390
IDSOLVER=3359
FILE ID=nodeC034/4507956-1751490028
RUNJOBID= nodeC034-1751485437-69733
SLURM_JOB_ID= 9598535
Free space on /tmp= 430948 MiB
SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507956-1751490028/watcher-4507956-1751490028 -o /tmp/evaluation-result-4507956-1751490028/solver-4507956-1751490028 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751485437-69733 --watchdog 3760 run-opt-break.sh HOME/instance-4507956-1751490028.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=1328828841
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.754
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.049
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3640.913
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.737
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.757
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.699
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3578.878
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.636
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 98317424 kB
MemAvailable: 121667212 kB
Buffers: 2128 kB
Cached: 24089132 kB
SwapCached: 36 kB
Active: 8509712 kB
Inactive: 23614524 kB
Active(anon): 8046836 kB
Inactive(anon): 4208 kB
Active(file): 462876 kB
Inactive(file): 23610316 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8224 kB
Writeback: 0 kB
AnonPages: 8035504 kB
Mapped: 117492 kB
Shmem: 18068 kB
KReclaimable: 231268 kB
Slab: 323816 kB
SReclaimable: 231268 kB
SUnreclaim: 92548 kB
KernelStack: 4336 kB
PageTables: 19088 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 9394296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3158016 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431108 MiB
End job on nodeC034 at 2025-07-03 00:00:37