0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4507954-1751508122.opb'
0.00/0.04 c read 1.11MB (15.83ms)
0.00/0.04 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 2664] (17.80ms)
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.09 c (32.19ms)
0.00/0.09 c
0.00/0.09 c detect symmetries on remainder
0.00/0.09 c [graph: #vertices 80207 #edges 285984]
0.00/0.09 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.07/0.12 c [group: #symmetries 1.24*10^7 #generators 13] (36.56ms)
0.07/0.12 c
0.07/0.12 c optimize generators (opt_passes=64, conjugate_limit=256)
0.07/0.12 c ran it=0, +gens=2
0.17/0.25 c con best_support=1332, best_gens=13, +gens=224
0.17/0.25 c (124.49ms)
0.17/0.25 c
0.17/0.25 c finalize break order and special generators
0.17/0.25 c
0.17/0.25 c add generic predicates (break_depth=20)
0.17/0.25 c added predicates for 239 generators (6.66ms)
0.17/0.25 c
0.17/0.25 c generation finished
0.17/0.25 c [sbp: #constraints 33822 #add_vars 11191]
0.17/0.25 c
0.17/0.25 c write result to 'HOME/instance-4507954-1751508122.opb.pre'
0.17/0.26 c wrote 2.40MB (5.28ms)
0.17/0.26 c ------------------------------------------------------------------
0.17/0.26 c 124.49ms 51.59% optimize_gens
0.17/0.26 c 36.56ms 15.15% detect_generic
0.17/0.26 c 32.19ms 13.34% detect_special
0.17/0.26 c 17.80ms 7.38% approx_orbits
0.17/0.26 c 15.82ms 6.56% parse
0.17/0.26 c 6.66ms 2.76% break_generic
0.17/0.26 c 5.28ms 2.19% output
0.17/0.26 c 1.36ms 0.56% finalize_order
0.17/0.26 c 1.12ms 0.46% other
0.17/0.26 c ───────────────────────────────────────────────
0.17/0.26 c 241.29ms 100% total
0.17/0.26 c ------------------------------------------------------------------
0.17/0.28 c RoundingSat 2
0.17/0.28 c branch pb25
0.17/0.28 c commit 63f22ad
0.46/0.54 c #variables 20515 #constraints 62482
0.46/0.54 c objective is ce32
0.65/0.71 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
0.65/0.71 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.65/0.71 c bounds - >= 0 @ 0.354958
3.55/3.64 c #Conflicts: 1000 | #Constraints: 63481
3.55/3.64 c #Conflicts: 2000 | #Constraints: 64481
3.55/3.64 c INPROCESSING
3.55/3.64 c bounds - >= 10 @ 3.19893
3.55/3.64 c bounds - >= 20 @ 3.20046
3.55/3.65 c bounds - >= 30 @ 3.20571
3.55/3.65 c bounds - >= 40 @ 3.21388
3.55/3.67 c bounds - >= 50 @ 3.22747
3.64/3.72 c #Conflicts: 3000 | #Constraints: 64543
3.64/3.72 c bounds - >= 60 @ 3.27655
29.47/29.62 c #Conflicts: 4000 | #Constraints: 65552
29.47/29.62 c INPROCESSING
29.47/29.62 c GARBAGE COLLECT
29.47/29.62 c #Conflicts: 5000 | #Constraints: 64919
29.47/29.62 c #Conflicts: 6000 | #Constraints: 65920
29.47/29.62 c INPROCESSING
29.47/29.62 c #Conflicts: 7000 | #Constraints: 64978
29.47/29.62 c #Conflicts: 8000 | #Constraints: 65978
29.47/29.62 c #Conflicts: 9000 | #Constraints: 66978
29.47/29.62 c INPROCESSING
29.47/29.62 c GARBAGE COLLECT
29.47/29.62 c #Conflicts: 10000 | #Constraints: 65683
29.47/29.62 c #Conflicts: 11000 | #Constraints: 66683
29.47/29.62 c #Conflicts: 12000 | #Constraints: 67683
29.47/29.62 c INPROCESSING
29.47/29.62 c #Conflicts: 13000 | #Constraints: 66156
29.47/29.62 c #Conflicts: 14000 | #Constraints: 67156
29.47/29.62 c #Conflicts: 15000 | #Constraints: 68156
29.47/29.62 c INPROCESSING
29.47/29.62 c GARBAGE COLLECT
29.47/29.62 c rational objective 60
41.24/41.46 c #Conflicts: 16000 | #Constraints: 66401
41.24/41.46 c #Conflicts: 17000 | #Constraints: 67401
41.24/41.46 c #Conflicts: 18000 | #Constraints: 68401
41.24/41.46 c INPROCESSING
41.24/41.46 c rational objective 60
142.36/142.83 c #Conflicts: 19000 | #Constraints: 66478
142.36/142.83 c #Conflicts: 20000 | #Constraints: 67478
142.36/142.83 c #Conflicts: 21000 | #Constraints: 68478
142.36/142.83 c INPROCESSING
142.36/142.83 c GARBAGE COLLECT
142.36/142.83 c #Conflicts: 22000 | #Constraints: 66237
142.36/142.83 c #Conflicts: 23000 | #Constraints: 67237
142.36/142.83 c #Conflicts: 24000 | #Constraints: 68237
142.36/142.83 c #Conflicts: 25000 | #Constraints: 69237
142.36/142.83 c INPROCESSING
142.36/142.83 c GARBAGE COLLECT
142.36/142.83 c rational objective 60
222.02/222.76 c #Conflicts: 26000 | #Constraints: 66858
222.02/222.76 c #Conflicts: 27000 | #Constraints: 67858
222.02/222.76 c #Conflicts: 28000 | #Constraints: 68858
222.02/222.76 c #Conflicts: 29000 | #Constraints: 69858
222.02/222.76 c INPROCESSING
222.02/222.76 c #Conflicts: 30000 | #Constraints: 67235
222.02/222.76 c #Conflicts: 31000 | #Constraints: 68235
222.02/222.76 c #Conflicts: 32000 | #Constraints: 69235
222.02/222.76 c #Conflicts: 33000 | #Constraints: 70235
222.02/222.76 c INPROCESSING
222.02/222.76 c GARBAGE COLLECT
222.02/222.76 c #Conflicts: 34000 | #Constraints: 67421
222.02/222.76 c #Conflicts: 35000 | #Constraints: 68421
222.02/222.76 c #Conflicts: 36000 | #Constraints: 69421
222.02/222.76 c #Conflicts: 37000 | #Constraints: 70421
222.02/222.76 c INPROCESSING
222.02/222.76 c GARBAGE COLLECT
222.02/222.76 c #Conflicts: 38000 | #Constraints: 67421
222.02/222.76 c #Conflicts: 39000 | #Constraints: 68421
222.02/222.76 c #Conflicts: 40000 | #Constraints: 69421
222.02/222.76 c #Conflicts: 41000 | #Constraints: 70421
222.02/222.76 c INPROCESSING
222.02/222.76 c GARBAGE COLLECT
222.02/222.76 c #Conflicts: 42000 | #Constraints: 67213
222.02/222.76 c #Conflicts: 43000 | #Constraints: 68213
222.02/222.76 c #Conflicts: 44000 | #Constraints: 69213
222.02/222.76 c #Conflicts: 45000 | #Constraints: 70213
222.02/222.76 c #Conflicts: 46000 | #Constraints: 71213
222.02/222.76 c INPROCESSING
222.02/222.76 c GARBAGE COLLECT
222.02/222.76 c #Conflicts: 47000 | #Constraints: 67810
222.02/222.76 c #Conflicts: 48000 | #Constraints: 68810
222.02/222.76 c #Conflicts: 49000 | #Constraints: 69810
222.02/222.76 c #Conflicts: 50000 | #Constraints: 70810
222.02/222.76 c #Conflicts: 51000 | #Constraints: 71810
222.02/222.76 c INPROCESSING
222.02/222.76 c GARBAGE COLLECT
222.02/222.76 c #Conflicts: 52000 | #Constraints: 68213
222.02/222.76 c #Conflicts: 53000 | #Constraints: 69213
222.02/222.76 c #Conflicts: 54000 | #Constraints: 70213
222.02/222.76 c #Conflicts: 55000 | #Constraints: 71213
222.02/222.76 c #Conflicts: 56000 | #Constraints: 72213
222.02/222.76 c INPROCESSING
222.02/222.76 c GARBAGE COLLECT
222.02/222.76 c rational objective 60
222.82/223.56 c #Conflicts: 57000 | #Constraints: 68411
222.82/223.56 c #Conflicts: 58000 | #Constraints: 69411
222.82/223.56 c #Conflicts: 59000 | #Constraints: 70411
222.82/223.56 c #Conflicts: 60000 | #Constraints: 71411
222.82/223.56 c #Conflicts: 61000 | #Constraints: 72411
222.82/223.56 c INPROCESSING
222.82/223.56 c GARBAGE COLLECT
222.82/223.56 c bounds - >= 70 @ 221.539
277.76/278.60 c #Conflicts: 62000 | #Constraints: 68419
277.76/278.60 c #Conflicts: 63000 | #Constraints: 69419
277.76/278.60 c #Conflicts: 64000 | #Constraints: 70419
277.76/278.60 c #Conflicts: 65000 | #Constraints: 71419
277.76/278.60 c #Conflicts: 66000 | #Constraints: 72419
277.76/278.60 c INPROCESSING
277.76/278.60 c GARBAGE COLLECT
277.76/278.60 c #Conflicts: 67000 | #Constraints: 68125
277.76/278.60 c #Conflicts: 68000 | #Constraints: 69125
277.76/278.60 c #Conflicts: 69000 | #Constraints: 70125
277.76/278.60 c #Conflicts: 70000 | #Constraints: 71125
277.76/278.60 c #Conflicts: 71000 | #Constraints: 72125
277.76/278.60 c #Conflicts: 72000 | #Constraints: 73125
277.76/278.60 c INPROCESSING
277.76/278.60 c GARBAGE COLLECT
277.76/278.60 c rational objective 70
345.95/347.05 c #Conflicts: 73000 | #Constraints: 68769
345.95/347.05 c #Conflicts: 74000 | #Constraints: 69769
345.95/347.05 c #Conflicts: 75000 | #Constraints: 70769
345.95/347.05 c #Conflicts: 76000 | #Constraints: 71769
345.95/347.05 c #Conflicts: 77000 | #Constraints: 72769
345.95/347.05 c #Conflicts: 78000 | #Constraints: 73769
345.95/347.05 c INPROCESSING
345.95/347.05 c GARBAGE COLLECT
345.95/347.05 c #Conflicts: 79000 | #Constraints: 69190
345.95/347.05 c #Conflicts: 80000 | #Constraints: 70190
345.95/347.05 c #Conflicts: 81000 | #Constraints: 71190
345.95/347.05 c #Conflicts: 82000 | #Constraints: 72190
345.95/347.05 c #Conflicts: 83000 | #Constraints: 73190
345.95/347.05 c #Conflicts: 84000 | #Constraints: 74190
345.95/347.05 c INPROCESSING
345.95/347.05 c GARBAGE COLLECT
345.95/347.05 c #Conflicts: 85000 | #Constraints: 69412
345.95/347.05 c #Conflicts: 86000 | #Constraints: 70412
345.95/347.05 c #Conflicts: 87000 | #Constraints: 71412
345.95/347.05 c #Conflicts: 88000 | #Constraints: 72412
345.95/347.05 c #Conflicts: 89000 | #Constraints: 73412
345.95/347.05 c #Conflicts: 90000 | #Constraints: 74412
345.95/347.05 c INPROCESSING
345.95/347.05 c GARBAGE COLLECT
345.95/347.05 c #Conflicts: 91000 | #Constraints: 69415
345.95/347.05 c #Conflicts: 92000 | #Constraints: 70415
345.95/347.05 c #Conflicts: 93000 | #Constraints: 71415
345.95/347.05 c #Conflicts: 94000 | #Constraints: 72415
345.95/347.05 c #Conflicts: 95000 | #Constraints: 73415
345.95/347.05 c #Conflicts: 96000 | #Constraints: 74415
345.95/347.05 c INPROCESSING
345.95/347.05 c GARBAGE COLLECT
345.95/347.05 c rational objective 70
397.31/398.57 c #Conflicts: 97000 | #Constraints: 69234
397.31/398.57 c #Conflicts: 98000 | #Constraints: 70234
397.31/398.57 c #Conflicts: 99000 | #Constraints: 71234
397.31/398.57 c #Conflicts: 100000 | #Constraints: 72234
397.31/398.57 c #Conflicts: 101000 | #Constraints: 73234
397.31/398.57 c #Conflicts: 102000 | #Constraints: 74234
397.31/398.57 c #Conflicts: 103000 | #Constraints: 75234
397.31/398.57 c INPROCESSING
397.31/398.57 c GARBAGE COLLECT
397.31/398.57 c #Conflicts: 104000 | #Constraints: 69825
397.31/398.57 c #Conflicts: 105000 | #Constraints: 70825
397.31/398.57 c #Conflicts: 106000 | #Constraints: 71825
397.31/398.57 c #Conflicts: 107000 | #Constraints: 72825
397.31/398.57 c #Conflicts: 108000 | #Constraints: 73825
397.31/398.57 c #Conflicts: 109000 | #Constraints: 74825
397.31/398.57 c #Conflicts: 110000 | #Constraints: 75825
397.31/398.57 c INPROCESSING
397.31/398.57 c GARBAGE COLLECT
397.31/398.57 c rational objective 70
439.21/440.56 c #Conflicts: 111000 | #Constraints: 70252
439.21/440.56 c #Conflicts: 112000 | #Constraints: 71252
439.21/440.56 c #Conflicts: 113000 | #Constraints: 72252
439.21/440.56 c #Conflicts: 114000 | #Constraints: 73252
439.21/440.56 c #Conflicts: 115000 | #Constraints: 74252
439.21/440.56 c #Conflicts: 116000 | #Constraints: 75252
439.21/440.56 c #Conflicts: 117000 | #Constraints: 76252
439.21/440.56 c INPROCESSING
439.21/440.56 c GARBAGE COLLECT
439.21/440.56 c #Conflicts: 118000 | #Constraints: 70440
439.21/440.56 c #Conflicts: 119000 | #Constraints: 71440
439.21/440.56 c #Conflicts: 120000 | #Constraints: 72440
439.21/440.56 c #Conflicts: 121000 | #Constraints: 73440
439.21/440.56 c #Conflicts: 122000 | #Constraints: 74440
439.21/440.56 c #Conflicts: 123000 | #Constraints: 75440
439.21/440.56 c #Conflicts: 124000 | #Constraints: 76440
439.21/440.56 c INPROCESSING
439.21/440.56 c GARBAGE COLLECT
439.21/440.56 c #Conflicts: 125000 | #Constraints: 70436
439.21/440.56 c #Conflicts: 126000 | #Constraints: 71436
439.21/440.56 c #Conflicts: 127000 | #Constraints: 72436
439.21/440.56 c #Conflicts: 128000 | #Constraints: 73436
439.21/440.56 c #Conflicts: 129000 | #Constraints: 74436
439.21/440.56 c #Conflicts: 130000 | #Constraints: 75436
439.21/440.56 c #Conflicts: 131000 | #Constraints: 76436
439.21/440.56 c INPROCESSING
439.21/440.56 c GARBAGE COLLECT
439.21/440.56 c #Conflicts: 132000 | #Constraints: 70226
439.21/440.56 c #Conflicts: 133000 | #Constraints: 71226
439.21/440.56 c #Conflicts: 134000 | #Constraints: 72226
439.21/440.56 c #Conflicts: 135000 | #Constraints: 73226
439.21/440.56 c #Conflicts: 136000 | #Constraints: 74226
439.21/440.56 c #Conflicts: 137000 | #Constraints: 75226
439.21/440.56 c #Conflicts: 138000 | #Constraints: 76226
439.21/440.56 c #Conflicts: 139000 | #Constraints: 77226
439.21/440.56 c INPROCESSING
439.21/440.56 c GARBAGE COLLECT
439.21/440.56 c rational objective 70
496.17/497.66 c #Conflicts: 140000 | #Constraints: 70831
496.17/497.66 c #Conflicts: 141000 | #Constraints: 71831
496.17/497.66 c #Conflicts: 142000 | #Constraints: 72831
496.17/497.66 c #Conflicts: 143000 | #Constraints: 73831
496.17/497.66 c #Conflicts: 144000 | #Constraints: 74831
496.17/497.66 c #Conflicts: 145000 | #Constraints: 75831
496.17/497.66 c #Conflicts: 146000 | #Constraints: 76831
496.17/497.66 c #Conflicts: 147000 | #Constraints: 77831
496.17/497.66 c INPROCESSING
496.17/497.66 c GARBAGE COLLECT
496.17/497.66 c rational objective 70
547.56/549.14 c #Conflicts: 148000 | #Constraints: 71245
547.56/549.14 c #Conflicts: 149000 | #Constraints: 72245
547.56/549.14 c #Conflicts: 150000 | #Constraints: 73245
547.56/549.14 c #Conflicts: 151000 | #Constraints: 74245
547.56/549.14 c #Conflicts: 152000 | #Constraints: 75245
547.56/549.14 c #Conflicts: 153000 | #Constraints: 76245
547.56/549.14 c #Conflicts: 154000 | #Constraints: 77245
547.56/549.14 c #Conflicts: 155000 | #Constraints: 78245
547.56/549.14 c INPROCESSING
547.56/549.14 c GARBAGE COLLECT
547.56/549.14 c #Conflicts: 156000 | #Constraints: 71431
547.56/549.14 c #Conflicts: 157000 | #Constraints: 72431
547.56/549.14 c #Conflicts: 158000 | #Constraints: 73431
547.56/549.14 c #Conflicts: 159000 | #Constraints: 74431
547.56/549.14 c #Conflicts: 160000 | #Constraints: 75431
547.56/549.14 c #Conflicts: 161000 | #Constraints: 76431
547.56/549.14 c #Conflicts: 162000 | #Constraints: 77431
547.56/549.14 c #Conflicts: 163000 | #Constraints: 78431
547.56/549.14 c INPROCESSING
547.56/549.14 c GARBAGE COLLECT
547.56/549.14 c #Conflicts: 164000 | #Constraints: 71420
547.56/549.14 c #Conflicts: 165000 | #Constraints: 72420
547.56/549.14 c #Conflicts: 166000 | #Constraints: 73420
547.56/549.14 c #Conflicts: 167000 | #Constraints: 74420
547.56/549.14 c #Conflicts: 168000 | #Constraints: 75420
547.56/549.14 c #Conflicts: 169000 | #Constraints: 76420
547.56/549.14 c #Conflicts: 170000 | #Constraints: 77420
547.56/549.14 c #Conflicts: 171000 | #Constraints: 78420
547.56/549.14 c INPROCESSING
547.56/549.14 c GARBAGE COLLECT
547.56/549.14 c #Conflicts: 172000 | #Constraints: 71223
547.56/549.14 c #Conflicts: 173000 | #Constraints: 72223
547.56/549.14 c #Conflicts: 174000 | #Constraints: 73223
547.56/549.14 c #Conflicts: 175000 | #Constraints: 74223
547.56/549.14 c #Conflicts: 176000 | #Constraints: 75223
547.56/549.14 c #Conflicts: 177000 | #Constraints: 76223
547.56/549.14 c #Conflicts: 178000 | #Constraints: 77223
547.56/549.14 c #Conflicts: 179000 | #Constraints: 78223
547.56/549.14 c #Conflicts: 180000 | #Constraints: 79223
547.56/549.14 c INPROCESSING
547.56/549.14 c GARBAGE COLLECT
547.56/549.14 c rational objective 70
600.23/602.00 c #Conflicts: 181000 | #Constraints: 71865
600.23/602.00 c #Conflicts: 182000 | #Constraints: 72865
600.23/602.00 c #Conflicts: 183000 | #Constraints: 73865
600.23/602.00 c #Conflicts: 184000 | #Constraints: 74865
600.23/602.00 c #Conflicts: 185000 | #Constraints: 75865
600.23/602.00 c #Conflicts: 186000 | #Constraints: 76865
600.23/602.00 c #Conflicts: 187000 | #Constraints: 77865
600.23/602.00 c #Conflicts: 188000 | #Constraints: 78865
600.23/602.00 c #Conflicts: 189000 | #Constraints: 79865
600.23/602.00 c INPROCESSING
600.23/602.00 c GARBAGE COLLECT
600.23/602.00 c rational objective 70
656.20/658.06 c #Conflicts: 190000 | #Constraints: 72247
656.20/658.06 c #Conflicts: 191000 | #Constraints: 73247
656.20/658.06 c #Conflicts: 192000 | #Constraints: 74247
656.20/658.06 c #Conflicts: 193000 | #Constraints: 75247
656.20/658.06 c #Conflicts: 194000 | #Constraints: 76247
656.20/658.06 c #Conflicts: 195000 | #Constraints: 77247
656.20/658.06 c #Conflicts: 196000 | #Constraints: 78247
656.20/658.06 c #Conflicts: 197000 | #Constraints: 79247
656.20/658.06 c #Conflicts: 198000 | #Constraints: 80247
656.20/658.06 c INPROCESSING
656.20/658.06 c GARBAGE COLLECT
656.20/658.06 c #Conflicts: 199000 | #Constraints: 72434
656.20/658.06 c #Conflicts: 200000 | #Constraints: 73434
656.20/658.06 c #Conflicts: 201000 | #Constraints: 74434
656.20/658.06 c #Conflicts: 202000 | #Constraints: 75434
656.20/658.06 c #Conflicts: 203000 | #Constraints: 76434
656.20/658.06 c #Conflicts: 204000 | #Constraints: 77434
656.20/658.06 c #Conflicts: 205000 | #Constraints: 78434
656.20/658.06 c #Conflicts: 206000 | #Constraints: 79434
656.20/658.06 c #Conflicts: 207000 | #Constraints: 80434
656.20/658.06 c INPROCESSING
656.20/658.06 c GARBAGE COLLECT
656.20/658.06 c rational objective 70
702.99/704.96 c #Conflicts: 208000 | #Constraints: 72472
702.99/704.96 c #Conflicts: 209000 | #Constraints: 73472
702.99/704.96 c #Conflicts: 210000 | #Constraints: 74472
702.99/704.96 c #Conflicts: 211000 | #Constraints: 75472
702.99/704.96 c #Conflicts: 212000 | #Constraints: 76472
702.99/704.96 c #Conflicts: 213000 | #Constraints: 77472
702.99/704.96 c #Conflicts: 214000 | #Constraints: 78472
702.99/704.96 c #Conflicts: 215000 | #Constraints: 79472
702.99/704.96 c #Conflicts: 216000 | #Constraints: 80472
702.99/704.96 c INPROCESSING
702.99/704.96 c GARBAGE COLLECT
702.99/704.96 c #Conflicts: 217000 | #Constraints: 72250
702.99/704.96 c #Conflicts: 218000 | #Constraints: 73250
702.99/704.96 c #Conflicts: 219000 | #Constraints: 74250
702.99/704.96 c #Conflicts: 220000 | #Constraints: 75250
702.99/704.96 c #Conflicts: 221000 | #Constraints: 76250
702.99/704.96 c #Conflicts: 222000 | #Constraints: 77250
702.99/704.96 c #Conflicts: 223000 | #Constraints: 78250
702.99/704.96 c #Conflicts: 224000 | #Constraints: 79250
702.99/704.96 c #Conflicts: 225000 | #Constraints: 80250
702.99/704.96 c #Conflicts: 226000 | #Constraints: 81250
702.99/704.96 c INPROCESSING
702.99/704.96 c GARBAGE COLLECT
702.99/704.96 c #Conflicts: 227000 | #Constraints: 72834
702.99/704.96 c #Conflicts: 228000 | #Constraints: 73834
702.99/704.96 c #Conflicts: 229000 | #Constraints: 74834
702.99/704.96 c #Conflicts: 230000 | #Constraints: 75834
702.99/704.96 c #Conflicts: 231000 | #Constraints: 76834
702.99/704.96 c #Conflicts: 232000 | #Constraints: 77834
702.99/704.96 c #Conflicts: 233000 | #Constraints: 78834
702.99/704.96 c #Conflicts: 234000 | #Constraints: 79834
702.99/704.96 c #Conflicts: 235000 | #Constraints: 80834
702.99/704.96 c #Conflicts: 236000 | #Constraints: 81834
702.99/704.96 c INPROCESSING
702.99/704.96 c GARBAGE COLLECT
702.99/704.96 c rational objective 70
750.48/752.50 c #Conflicts: 237000 | #Constraints: 73251
750.48/752.50 c #Conflicts: 238000 | #Constraints: 74251
750.48/752.50 c #Conflicts: 239000 | #Constraints: 75251
750.48/752.50 c #Conflicts: 240000 | #Constraints: 76251
750.48/752.50 c #Conflicts: 241000 | #Constraints: 77251
750.48/752.50 c #Conflicts: 242000 | #Constraints: 78251
750.48/752.50 c #Conflicts: 243000 | #Constraints: 79251
750.48/752.50 c #Conflicts: 244000 | #Constraints: 80251
750.48/752.50 c #Conflicts: 245000 | #Constraints: 81251
750.48/752.50 c #Conflicts: 246000 | #Constraints: 82251
750.48/752.50 c INPROCESSING
750.48/752.50 c GARBAGE COLLECT
750.48/752.50 c rational objective 70
803.46/805.61 c #Conflicts: 247000 | #Constraints: 73436
803.46/805.61 c #Conflicts: 248000 | #Constraints: 74436
803.46/805.61 c #Conflicts: 249000 | #Constraints: 75436
803.46/805.61 c #Conflicts: 250000 | #Constraints: 76436
803.46/805.61 c #Conflicts: 251000 | #Constraints: 77436
803.46/805.61 c #Conflicts: 252000 | #Constraints: 78436
803.46/805.61 c #Conflicts: 253000 | #Constraints: 79436
803.46/805.61 c #Conflicts: 254000 | #Constraints: 80436
803.46/805.61 c #Conflicts: 255000 | #Constraints: 81436
803.46/805.61 c #Conflicts: 256000 | #Constraints: 82436
803.46/805.61 c INPROCESSING
803.46/805.61 c GARBAGE COLLECT
803.46/805.61 c rational objective 70
805.65/807.88 c #Conflicts: 257000 | #Constraints: 73430
805.65/807.88 c #Conflicts: 258000 | #Constraints: 74430
805.65/807.88 c #Conflicts: 259000 | #Constraints: 75430
805.65/807.88 c #Conflicts: 260000 | #Constraints: 76430
805.65/807.88 c #Conflicts: 261000 | #Constraints: 77430
805.65/807.88 c #Conflicts: 262000 | #Constraints: 78430
805.65/807.88 c #Conflicts: 263000 | #Constraints: 79430
805.65/807.88 c #Conflicts: 264000 | #Constraints: 80430
805.65/807.88 c #Conflicts: 265000 | #Constraints: 81430
805.65/807.88 c #Conflicts: 266000 | #Constraints: 82430
805.65/807.88 c INPROCESSING
805.65/807.88 c GARBAGE COLLECT
805.65/807.88 c #Conflicts: 267000 | #Constraints: 73226
805.65/807.88 c #Conflicts: 268000 | #Constraints: 74226
805.65/807.88 c #Conflicts: 269000 | #Constraints: 75226
805.65/807.88 c bounds - >= 80 @ 801.924
842.97/845.26 c #Conflicts: 270000 | #Constraints: 76238
842.97/845.26 c #Conflicts: 271000 | #Constraints: 77239
842.97/845.26 c #Conflicts: 272000 | #Constraints: 78239
842.97/845.26 c #Conflicts: 273000 | #Constraints: 79239
842.97/845.26 c #Conflicts: 274000 | #Constraints: 80239
842.97/845.26 c #Conflicts: 275000 | #Constraints: 81239
842.97/845.26 c #Conflicts: 276000 | #Constraints: 82239
842.97/845.26 c #Conflicts: 277000 | #Constraints: 83239
842.97/845.26 c INPROCESSING
842.97/845.26 c GARBAGE COLLECT
842.97/845.26 c #Conflicts: 278000 | #Constraints: 73845
842.97/845.26 c #Conflicts: 279000 | #Constraints: 74845
842.97/845.26 c #Conflicts: 280000 | #Constraints: 75845
842.97/845.26 c #Conflicts: 281000 | #Constraints: 76845
842.97/845.26 c #Conflicts: 282000 | #Constraints: 77845
842.97/845.26 c #Conflicts: 283000 | #Constraints: 78845
842.97/845.26 c #Conflicts: 284000 | #Constraints: 79845
842.97/845.26 c #Conflicts: 285000 | #Constraints: 80845
842.97/845.26 c #Conflicts: 286000 | #Constraints: 81845
842.97/845.26 c #Conflicts: 287000 | #Constraints: 82845
842.97/845.26 c #Conflicts: 288000 | #Constraints: 83845
842.97/845.26 c INPROCESSING
842.97/845.26 c GARBAGE COLLECT
842.97/845.26 c rational objective 80
884.17/886.51 c #Conflicts: 289000 | #Constraints: 74251
884.17/886.51 c #Conflicts: 290000 | #Constraints: 75251
884.17/886.51 c #Conflicts: 291000 | #Constraints: 76251
884.17/886.51 c #Conflicts: 292000 | #Constraints: 77251
884.17/886.51 c #Conflicts: 293000 | #Constraints: 78251
884.17/886.51 c #Conflicts: 294000 | #Constraints: 79251
884.17/886.51 c #Conflicts: 295000 | #Constraints: 80251
884.17/886.51 c #Conflicts: 296000 | #Constraints: 81251
884.17/886.51 c #Conflicts: 297000 | #Constraints: 82251
884.17/886.51 c #Conflicts: 298000 | #Constraints: 83251
884.17/886.51 c #Conflicts: 299000 | #Constraints: 84251
884.17/886.51 c INPROCESSING
884.17/886.51 c GARBAGE COLLECT
884.17/886.51 c rational objective 80
940.93/943.41 c #Conflicts: 300000 | #Constraints: 74456
940.93/943.41 c #Conflicts: 301000 | #Constraints: 75456
940.93/943.41 c #Conflicts: 302000 | #Constraints: 76456
940.93/943.41 c #Conflicts: 303000 | #Constraints: 77456
940.93/943.41 c #Conflicts: 304000 | #Constraints: 78456
940.93/943.41 c #Conflicts: 305000 | #Constraints: 79456
940.93/943.41 c #Conflicts: 306000 | #Constraints: 80456
940.93/943.41 c #Conflicts: 307000 | #Constraints: 81456
940.93/943.41 c #Conflicts: 308000 | #Constraints: 82456
940.93/943.41 c #Conflicts: 309000 | #Constraints: 83456
940.93/943.41 c #Conflicts: 310000 | #Constraints: 84456
940.93/943.41 c INPROCESSING
940.93/943.41 c GARBAGE COLLECT
940.93/943.41 c rational objective 80
1066.25/1069.09 c #Conflicts: 311000 | #Constraints: 74524
1066.25/1069.09 c #Conflicts: 312000 | #Constraints: 75524
1066.25/1069.09 c #Conflicts: 313000 | #Constraints: 76524
1066.25/1069.09 c #Conflicts: 314000 | #Constraints: 77524
1066.25/1069.09 c #Conflicts: 315000 | #Constraints: 78524
1066.25/1069.09 c #Conflicts: 316000 | #Constraints: 79524
1066.25/1069.09 c #Conflicts: 317000 | #Constraints: 80524
1066.25/1069.09 c #Conflicts: 318000 | #Constraints: 81524
1066.25/1069.09 c #Conflicts: 319000 | #Constraints: 82524
1066.25/1069.09 c #Conflicts: 320000 | #Constraints: 83524
1066.25/1069.09 c #Conflicts: 321000 | #Constraints: 84524
1066.25/1069.09 c INPROCESSING
1066.25/1069.09 c GARBAGE COLLECT
1066.25/1069.09 c #Conflicts: 322000 | #Constraints: 74272
1066.25/1069.09 c #Conflicts: 323000 | #Constraints: 75272
1066.25/1069.09 c #Conflicts: 324000 | #Constraints: 76272
1066.25/1069.09 c #Conflicts: 325000 | #Constraints: 77272
1066.25/1069.09 c #Conflicts: 326000 | #Constraints: 78272
1066.25/1069.09 c #Conflicts: 327000 | #Constraints: 79272
1066.25/1069.09 c #Conflicts: 328000 | #Constraints: 80272
1066.25/1069.09 c #Conflicts: 329000 | #Constraints: 81272
1066.25/1069.09 c #Conflicts: 330000 | #Constraints: 82272
1066.25/1069.09 c #Conflicts: 331000 | #Constraints: 83272
1066.25/1069.09 c #Conflicts: 332000 | #Constraints: 84272
1066.25/1069.09 c #Conflicts: 333000 | #Constraints: 85272
1066.25/1069.09 c INPROCESSING
1066.25/1069.09 c GARBAGE COLLECT
1066.25/1069.09 c #Conflicts: 334000 | #Constraints: 74850
1066.25/1069.09 c #Conflicts: 335000 | #Constraints: 75850
1066.25/1069.09 c #Conflicts: 336000 | #Constraints: 76850
1066.25/1069.09 c #Conflicts: 337000 | #Constraints: 77850
1066.25/1069.09 c #Conflicts: 338000 | #Constraints: 78850
1066.25/1069.09 c #Conflicts: 339000 | #Constraints: 79850
1066.25/1069.09 c #Conflicts: 340000 | #Constraints: 80850
1066.25/1069.09 c #Conflicts: 341000 | #Constraints: 81850
1066.25/1069.09 c #Conflicts: 342000 | #Constraints: 82850
1066.25/1069.09 c #Conflicts: 343000 | #Constraints: 83850
1066.25/1069.09 c #Conflicts: 344000 | #Constraints: 84850
1066.25/1069.09 c #Conflicts: 345000 | #Constraints: 85850
1066.25/1069.09 c INPROCESSING
1066.25/1069.09 c GARBAGE COLLECT
1066.25/1069.09 c rational objective 80
1424.80/1428.47 c #Conflicts: 346000 | #Constraints: 75252
1424.80/1428.47 c #Conflicts: 347000 | #Constraints: 76252
1424.80/1428.47 c #Conflicts: 348000 | #Constraints: 77252
1424.80/1428.47 c #Conflicts: 349000 | #Constraints: 78252
1424.80/1428.47 c #Conflicts: 350000 | #Constraints: 79252
1424.80/1428.47 c #Conflicts: 351000 | #Constraints: 80252
1424.80/1428.47 c #Conflicts: 352000 | #Constraints: 81252
1424.80/1428.47 c #Conflicts: 353000 | #Constraints: 82252
1424.80/1428.47 c #Conflicts: 354000 | #Constraints: 83252
1424.80/1428.47 c #Conflicts: 355000 | #Constraints: 84252
1424.80/1428.47 c #Conflicts: 356000 | #Constraints: 85252
1424.80/1428.47 c #Conflicts: 357000 | #Constraints: 86252
1424.80/1428.47 c INPROCESSING
1424.80/1428.47 c GARBAGE COLLECT
1424.80/1428.47 c #Conflicts: 358000 | #Constraints: 75441
1424.80/1428.47 c #Conflicts: 359000 | #Constraints: 76441
1424.80/1428.47 c #Conflicts: 360000 | #Constraints: 77441
1424.80/1428.47 c #Conflicts: 361000 | #Constraints: 78441
1424.80/1428.47 c #Conflicts: 362000 | #Constraints: 79441
1424.80/1428.47 c #Conflicts: 363000 | #Constraints: 80441
1424.80/1428.47 c #Conflicts: 364000 | #Constraints: 81441
1424.80/1428.47 c #Conflicts: 365000 | #Constraints: 82441
1424.80/1428.47 c #Conflicts: 366000 | #Constraints: 83441
1424.80/1428.47 c #Conflicts: 367000 | #Constraints: 84441
1424.80/1428.47 c #Conflicts: 368000 | #Constraints: 85441
1424.80/1428.47 c #Conflicts: 369000 | #Constraints: 86441
1424.80/1428.47 c INPROCESSING
1424.80/1428.47 c GARBAGE COLLECT
1424.80/1428.47 c #Conflicts: 370000 | #Constraints: 75433
1424.80/1428.47 c #Conflicts: 371000 | #Constraints: 76433
1424.80/1428.47 c #Conflicts: 372000 | #Constraints: 77433
1424.80/1428.47 c #Conflicts: 373000 | #Constraints: 78433
1424.80/1428.47 c #Conflicts: 374000 | #Constraints: 79433
1424.80/1428.47 c #Conflicts: 375000 | #Constraints: 80433
1424.80/1428.47 c #Conflicts: 376000 | #Constraints: 81433
1424.80/1428.47 c #Conflicts: 377000 | #Constraints: 82433
1424.80/1428.47 c #Conflicts: 378000 | #Constraints: 83433
1424.80/1428.47 c #Conflicts: 379000 | #Constraints: 84433
1424.80/1428.47 c #Conflicts: 380000 | #Constraints: 85433
1424.80/1428.47 c #Conflicts: 381000 | #Constraints: 86433
1424.80/1428.47 c INPROCESSING
1424.80/1428.47 c GARBAGE COLLECT
1424.80/1428.47 c #Conflicts: 382000 | #Constraints: 75236
1424.80/1428.47 c #Conflicts: 383000 | #Constraints: 76236
1424.80/1428.47 c #Conflicts: 384000 | #Constraints: 77236
1424.80/1428.47 c #Conflicts: 385000 | #Constraints: 78236
1424.80/1428.47 c #Conflicts: 386000 | #Constraints: 79236
1424.80/1428.47 c #Conflicts: 387000 | #Constraints: 80236
1424.80/1428.47 c #Conflicts: 388000 | #Constraints: 81236
1424.80/1428.47 c #Conflicts: 389000 | #Constraints: 82236
1424.80/1428.47 c #Conflicts: 390000 | #Constraints: 83236
1424.80/1428.47 c #Conflicts: 391000 | #Constraints: 84236
1424.80/1428.47 c #Conflicts: 392000 | #Constraints: 85236
1424.80/1428.47 c #Conflicts: 393000 | #Constraints: 86236
1424.80/1428.47 c #Conflicts: 394000 | #Constraints: 87236
1424.80/1428.47 c INPROCESSING
1424.80/1428.47 c GARBAGE COLLECT
1424.80/1428.47 c #Conflicts: 395000 | #Constraints: 75835
1424.80/1428.47 c #Conflicts: 396000 | #Constraints: 76835
1424.80/1428.47 c #Conflicts: 397000 | #Constraints: 77835
1424.80/1428.47 c #Conflicts: 398000 | #Constraints: 78835
1424.80/1428.47 c #Conflicts: 399000 | #Constraints: 79835
1424.80/1428.47 c #Conflicts: 400000 | #Constraints: 80835
1424.80/1428.47 c #Conflicts: 401000 | #Constraints: 81835
1424.80/1428.47 c #Conflicts: 402000 | #Constraints: 82835
1424.80/1428.47 c #Conflicts: 403000 | #Constraints: 83835
1424.80/1428.47 c #Conflicts: 404000 | #Constraints: 84835
1424.80/1428.47 c #Conflicts: 405000 | #Constraints: 85835
1424.80/1428.47 c #Conflicts: 406000 | #Constraints: 86835
1424.80/1428.47 c #Conflicts: 407000 | #Constraints: 87835
1424.80/1428.47 c INPROCESSING
1424.80/1428.47 c GARBAGE COLLECT
1424.80/1428.47 c #Conflicts: 408000 | #Constraints: 76239
1424.80/1428.47 c #Conflicts: 409000 | #Constraints: 77239
1424.80/1428.47 c #Conflicts: 410000 | #Constraints: 78239
1424.80/1428.47 c #Conflicts: 411000 | #Constraints: 79239
1424.80/1428.47 c #Conflicts: 412000 | #Constraints: 80239
1424.80/1428.47 c #Conflicts: 413000 | #Constraints: 81239
1424.80/1428.47 c #Conflicts: 414000 | #Constraints: 82239
1424.80/1428.47 c #Conflicts: 415000 | #Constraints: 83239
1424.80/1428.47 c #Conflicts: 416000 | #Constraints: 84239
1424.80/1428.47 c #Conflicts: 417000 | #Constraints: 85239
1424.80/1428.47 c #Conflicts: 418000 | #Constraints: 86239
1424.80/1428.47 c #Conflicts: 419000 | #Constraints: 87239
1424.80/1428.47 c #Conflicts: 420000 | #Constraints: 88239
1424.80/1428.47 c INPROCESSING
1424.80/1428.47 c GARBAGE COLLECT
1429.09/1432.70 c rational objective 80
1536.13/1540.01 c #Conflicts: 421000 | #Constraints: 76440
1536.13/1540.01 c #Conflicts: 422000 | #Constraints: 77440
1536.13/1540.01 c #Conflicts: 423000 | #Constraints: 78440
1536.13/1540.01 c #Conflicts: 424000 | #Constraints: 79440
1536.13/1540.01 c #Conflicts: 425000 | #Constraints: 80440
1536.13/1540.01 c #Conflicts: 426000 | #Constraints: 81440
1536.13/1540.01 c #Conflicts: 427000 | #Constraints: 82440
1536.13/1540.01 c #Conflicts: 428000 | #Constraints: 83440
1536.13/1540.01 c #Conflicts: 429000 | #Constraints: 84440
1536.13/1540.01 c #Conflicts: 430000 | #Constraints: 85440
1536.13/1540.01 c #Conflicts: 431000 | #Constraints: 86440
1536.13/1540.01 c #Conflicts: 432000 | #Constraints: 87440
1536.13/1540.01 c #Conflicts: 433000 | #Constraints: 88440
1536.13/1540.01 c INPROCESSING
1536.13/1540.01 c GARBAGE COLLECT
1536.13/1540.01 c rational objective 80
1840.42/1845.10 c #Conflicts: 434000 | #Constraints: 76442
1840.42/1845.10 c #Conflicts: 435000 | #Constraints: 77442
1840.42/1845.10 c #Conflicts: 436000 | #Constraints: 78442
1840.42/1845.10 c #Conflicts: 437000 | #Constraints: 79442
1840.42/1845.10 c #Conflicts: 438000 | #Constraints: 80442
1840.42/1845.10 c #Conflicts: 439000 | #Constraints: 81442
1840.42/1845.10 c #Conflicts: 440000 | #Constraints: 82442
1840.42/1845.10 c #Conflicts: 441000 | #Constraints: 83442
1840.42/1845.10 c #Conflicts: 442000 | #Constraints: 84442
1840.42/1845.10 c #Conflicts: 443000 | #Constraints: 85442
1840.42/1845.10 c #Conflicts: 444000 | #Constraints: 86442
1840.42/1845.10 c #Conflicts: 445000 | #Constraints: 87442
1840.42/1845.10 c #Conflicts: 446000 | #Constraints: 88442
1840.42/1845.10 c INPROCESSING
1840.42/1845.10 c GARBAGE COLLECT
1840.42/1845.10 c #Conflicts: 447000 | #Constraints: 76246
1840.42/1845.10 c #Conflicts: 448000 | #Constraints: 77246
1840.42/1845.10 c #Conflicts: 449000 | #Constraints: 78246
1840.42/1845.10 c #Conflicts: 450000 | #Constraints: 79246
1840.42/1845.10 c #Conflicts: 451000 | #Constraints: 80246
1840.42/1845.10 c #Conflicts: 452000 | #Constraints: 81246
1840.42/1845.10 c #Conflicts: 453000 | #Constraints: 82246
1840.42/1845.10 c #Conflicts: 454000 | #Constraints: 83246
1840.42/1845.10 c #Conflicts: 455000 | #Constraints: 84246
1840.42/1845.10 c #Conflicts: 456000 | #Constraints: 85246
1840.42/1845.10 c #Conflicts: 457000 | #Constraints: 86246
1840.42/1845.10 c #Conflicts: 458000 | #Constraints: 87246
1840.42/1845.10 c #Conflicts: 459000 | #Constraints: 88246
1840.42/1845.10 c #Conflicts: 460000 | #Constraints: 89246
1840.42/1845.10 c INPROCESSING
1840.42/1845.10 c GARBAGE COLLECT
1840.42/1845.10 c #Conflicts: 461000 | #Constraints: 76841
1840.42/1845.10 c #Conflicts: 462000 | #Constraints: 77841
1840.42/1845.10 c #Conflicts: 463000 | #Constraints: 78841
1840.42/1845.10 c #Conflicts: 464000 | #Constraints: 79841
1840.42/1845.10 c #Conflicts: 465000 | #Constraints: 80841
1840.42/1845.10 c #Conflicts: 466000 | #Constraints: 81841
1840.42/1845.10 c #Conflicts: 467000 | #Constraints: 82841
1840.42/1845.10 c #Conflicts: 468000 | #Constraints: 83841
1840.42/1845.10 c #Conflicts: 469000 | #Constraints: 84841
1840.42/1845.10 c #Conflicts: 470000 | #Constraints: 85841
1840.42/1845.10 c #Conflicts: 471000 | #Constraints: 86841
1840.42/1845.10 c #Conflicts: 472000 | #Constraints: 87841
1840.42/1845.10 c #Conflicts: 473000 | #Constraints: 88841
1840.42/1845.10 c #Conflicts: 474000 | #Constraints: 89841
1840.42/1845.10 c INPROCESSING
1840.42/1845.10 c GARBAGE COLLECT
1840.42/1845.10 c #Conflicts: 475000 | #Constraints: 77232
1840.42/1845.10 c #Conflicts: 476000 | #Constraints: 78232
1840.42/1845.10 c #Conflicts: 477000 | #Constraints: 79232
1840.42/1845.10 c #Conflicts: 478000 | #Constraints: 80232
1840.42/1845.10 c #Conflicts: 479000 | #Constraints: 81232
1840.42/1845.10 c #Conflicts: 480000 | #Constraints: 82232
1840.42/1845.10 c #Conflicts: 481000 | #Constraints: 83232
1840.42/1845.10 c #Conflicts: 482000 | #Constraints: 84232
1840.42/1845.10 c #Conflicts: 483000 | #Constraints: 85232
1840.42/1845.10 c #Conflicts: 484000 | #Constraints: 86232
1840.42/1845.10 c #Conflicts: 485000 | #Constraints: 87232
1840.42/1845.10 c #Conflicts: 486000 | #Constraints: 88232
1840.42/1845.10 c #Conflicts: 487000 | #Constraints: 89232
1840.42/1845.10 c #Conflicts: 488000 | #Constraints: 90232
1840.42/1845.10 c INPROCESSING
1840.42/1845.10 c GARBAGE COLLECT
1840.42/1845.10 c #Conflicts: 489000 | #Constraints: 77438
1840.42/1845.10 c #Conflicts: 490000 | #Constraints: 78438
1840.42/1845.10 c #Conflicts: 491000 | #Constraints: 79438
1840.42/1845.10 c #Conflicts: 492000 | #Constraints: 80438
1840.42/1845.10 c #Conflicts: 493000 | #Constraints: 81438
1840.42/1845.10 c #Conflicts: 494000 | #Constraints: 82438
1840.42/1845.10 c #Conflicts: 495000 | #Constraints: 83438
1840.42/1845.10 c #Conflicts: 496000 | #Constraints: 84438
1840.42/1845.10 c #Conflicts: 497000 | #Constraints: 85438
1840.42/1845.10 c #Conflicts: 498000 | #Constraints: 86438
1840.42/1845.10 c #Conflicts: 499000 | #Constraints: 87438
1840.42/1845.10 c #Conflicts: 500000 | #Constraints: 88438
1840.42/1845.10 c #Conflicts: 501000 | #Constraints: 89438
1840.42/1845.10 c #Conflicts: 502000 | #Constraints: 90438
1840.42/1845.10 c INPROCESSING
1840.42/1845.10 c GARBAGE COLLECT
1840.42/1845.10 c #Conflicts: 503000 | #Constraints: 77439
1840.42/1845.10 c #Conflicts: 504000 | #Constraints: 78439
1840.42/1845.10 c #Conflicts: 505000 | #Constraints: 79439
1840.42/1845.10 c #Conflicts: 506000 | #Constraints: 80439
1840.42/1845.10 c #Conflicts: 507000 | #Constraints: 81439
1840.42/1845.10 c #Conflicts: 508000 | #Constraints: 82439
1840.42/1845.10 c #Conflicts: 509000 | #Constraints: 83439
1956.84/1961.77 c #Conflicts: 510000 | #Constraints: 84439
1956.84/1961.77 c #Conflicts: 511000 | #Constraints: 85439
1956.84/1961.77 c #Conflicts: 512000 | #Constraints: 86439
1956.84/1961.77 c #Conflicts: 513000 | #Constraints: 87439
1956.84/1961.77 c #Conflicts: 514000 | #Constraints: 88439
1956.84/1961.77 c #Conflicts: 515000 | #Constraints: 89439
1956.84/1961.77 c #Conflicts: 516000 | #Constraints: 90439
1956.84/1961.77 c INPROCESSING
1956.84/1961.77 c GARBAGE COLLECT
1956.84/1961.77 c #Conflicts: 517000 | #Constraints: 77229
1956.84/1961.77 c #Conflicts: 518000 | #Constraints: 78229
1956.84/1961.77 c #Conflicts: 519000 | #Constraints: 79229
1956.84/1961.77 c #Conflicts: 520000 | #Constraints: 80229
1956.84/1961.77 c #Conflicts: 521000 | #Constraints: 81229
1956.84/1961.77 c #Conflicts: 522000 | #Constraints: 82229
1956.84/1961.77 c #Conflicts: 523000 | #Constraints: 83229
1956.84/1961.77 c #Conflicts: 524000 | #Constraints: 84229
1956.84/1961.77 c #Conflicts: 525000 | #Constraints: 85229
1956.84/1961.77 c #Conflicts: 526000 | #Constraints: 86229
1956.84/1961.77 c #Conflicts: 527000 | #Constraints: 87229
1956.84/1961.77 c #Conflicts: 528000 | #Constraints: 88229
1956.84/1961.77 c #Conflicts: 529000 | #Constraints: 89229
1956.84/1961.77 c #Conflicts: 530000 | #Constraints: 90229
1956.84/1961.77 c #Conflicts: 531000 | #Constraints: 91229
1956.84/1961.77 c INPROCESSING
1956.84/1961.77 c GARBAGE COLLECT
1956.84/1961.77 c #Conflicts: 532000 | #Constraints: 77830
1956.84/1961.77 c #Conflicts: 533000 | #Constraints: 78830
1956.84/1961.77 c #Conflicts: 534000 | #Constraints: 79830
1956.84/1961.77 c #Conflicts: 535000 | #Constraints: 80830
1956.84/1961.77 c #Conflicts: 536000 | #Constraints: 81830
1956.84/1961.77 c #Conflicts: 537000 | #Constraints: 82830
1956.84/1961.77 c #Conflicts: 538000 | #Constraints: 83830
1956.84/1961.77 c #Conflicts: 539000 | #Constraints: 84830
1956.84/1961.77 c #Conflicts: 540000 | #Constraints: 85830
1956.84/1961.77 c #Conflicts: 541000 | #Constraints: 86830
1956.84/1961.77 c #Conflicts: 542000 | #Constraints: 87830
1956.84/1961.77 c #Conflicts: 543000 | #Constraints: 88830
1956.84/1961.77 c #Conflicts: 544000 | #Constraints: 89830
1956.84/1961.77 c #Conflicts: 545000 | #Constraints: 90830
1956.84/1961.77 c #Conflicts: 546000 | #Constraints: 91830
1956.84/1961.77 c INPROCESSING
1956.84/1961.77 c GARBAGE COLLECT
1956.84/1961.77 c #Conflicts: 547000 | #Constraints: 78230
1956.84/1961.77 c #Conflicts: 548000 | #Constraints: 79230
1956.84/1961.77 c #Conflicts: 549000 | #Constraints: 80230
1956.84/1961.77 c #Conflicts: 550000 | #Constraints: 81230
1956.84/1961.77 c #Conflicts: 551000 | #Constraints: 82230
1956.84/1961.77 c #Conflicts: 552000 | #Constraints: 83230
1956.84/1961.77 c #Conflicts: 553000 | #Constraints: 84230
1956.84/1961.77 c #Conflicts: 554000 | #Constraints: 85230
1956.84/1961.77 c #Conflicts: 555000 | #Constraints: 86230
1956.84/1961.77 c #Conflicts: 556000 | #Constraints: 87230
1956.84/1961.77 c #Conflicts: 557000 | #Constraints: 88230
1956.84/1961.77 c #Conflicts: 558000 | #Constraints: 89230
1956.84/1961.77 c #Conflicts: 559000 | #Constraints: 90230
1956.84/1961.77 c #Conflicts: 560000 | #Constraints: 91230
1956.84/1961.77 c #Conflicts: 561000 | #Constraints: 92230
1956.84/1961.77 c INPROCESSING
1956.84/1961.77 c GARBAGE COLLECT
1956.84/1961.77 c #Conflicts: 562000 | #Constraints: 78422
1956.84/1961.77 c #Conflicts: 563000 | #Constraints: 79422
1956.84/1961.77 c #Conflicts: 564000 | #Constraints: 80422
1956.84/1961.77 c #Conflicts: 565000 | #Constraints: 81422
1956.84/1961.77 c #Conflicts: 566000 | #Constraints: 82422
1956.84/1961.77 c #Conflicts: 567000 | #Constraints: 83422
1956.84/1961.77 c #Conflicts: 568000 | #Constraints: 84422
1956.84/1961.77 c #Conflicts: 569000 | #Constraints: 85422
1956.84/1961.77 c #Conflicts: 570000 | #Constraints: 86422
1956.84/1961.77 c #Conflicts: 571000 | #Constraints: 87422
1956.84/1961.77 c #Conflicts: 572000 | #Constraints: 88422
1956.84/1961.77 c #Conflicts: 573000 | #Constraints: 89422
1956.84/1961.77 c #Conflicts: 574000 | #Constraints: 90422
1956.84/1961.77 c #Conflicts: 575000 | #Constraints: 91422
1956.84/1961.77 c #Conflicts: 576000 | #Constraints: 92422
1956.84/1961.77 c INPROCESSING
1956.84/1961.77 c GARBAGE COLLECT
1956.84/1961.77 c #Conflicts: 577000 | #Constraints: 78444
1956.84/1961.77 c #Conflicts: 578000 | #Constraints: 79444
1956.84/1961.77 c #Conflicts: 579000 | #Constraints: 80444
1956.84/1961.77 c #Conflicts: 580000 | #Constraints: 81444
1956.84/1961.77 c #Conflicts: 581000 | #Constraints: 82444
1956.84/1961.77 c #Conflicts: 582000 | #Constraints: 83444
1956.84/1961.77 c #Conflicts: 583000 | #Constraints: 84444
1956.84/1961.77 c #Conflicts: 584000 | #Constraints: 85444
1956.84/1961.77 c #Conflicts: 585000 | #Constraints: 86444
2214.91/2220.42 c #Conflicts: 586000 | #Constraints: 87444
2214.91/2220.42 c #Conflicts: 587000 | #Constraints: 88444
2214.91/2220.42 c #Conflicts: 588000 | #Constraints: 89444
2214.91/2220.42 c #Conflicts: 589000 | #Constraints: 90444
2214.91/2220.42 c #Conflicts: 590000 | #Constraints: 91444
2214.91/2220.42 c #Conflicts: 591000 | #Constraints: 92444
2214.91/2220.42 c INPROCESSING
2214.91/2220.42 c GARBAGE COLLECT
2214.91/2220.42 c #Conflicts: 592000 | #Constraints: 78235
2214.91/2220.42 c #Conflicts: 593000 | #Constraints: 79235
2214.91/2220.42 c #Conflicts: 594000 | #Constraints: 80235
2214.91/2220.42 c #Conflicts: 595000 | #Constraints: 81235
2214.91/2220.42 c #Conflicts: 596000 | #Constraints: 82235
2214.91/2220.42 c #Conflicts: 597000 | #Constraints: 83235
2214.91/2220.42 c #Conflicts: 598000 | #Constraints: 84235
2214.91/2220.42 c #Conflicts: 599000 | #Constraints: 85235
2214.91/2220.42 c #Conflicts: 600000 | #Constraints: 86235
2214.91/2220.42 c #Conflicts: 601000 | #Constraints: 87235
2214.91/2220.42 c #Conflicts: 602000 | #Constraints: 88235
2214.91/2220.42 c #Conflicts: 603000 | #Constraints: 89235
2214.91/2220.42 c #Conflicts: 604000 | #Constraints: 90235
2214.91/2220.42 c #Conflicts: 605000 | #Constraints: 91235
2214.91/2220.42 c #Conflicts: 606000 | #Constraints: 92235
2214.91/2220.42 c #Conflicts: 607000 | #Constraints: 93235
2214.91/2220.42 c INPROCESSING
2214.91/2220.42 c GARBAGE COLLECT
2214.91/2220.42 c #Conflicts: 608000 | #Constraints: 78841
2214.91/2220.42 c #Conflicts: 609000 | #Constraints: 79841
2214.91/2220.42 c #Conflicts: 610000 | #Constraints: 80841
2214.91/2220.42 c #Conflicts: 611000 | #Constraints: 81841
2214.91/2220.42 c #Conflicts: 612000 | #Constraints: 82841
2214.91/2220.42 c #Conflicts: 613000 | #Constraints: 83841
2214.91/2220.42 c #Conflicts: 614000 | #Constraints: 84841
2214.91/2220.42 c #Conflicts: 615000 | #Constraints: 85841
2214.91/2220.42 c #Conflicts: 616000 | #Constraints: 86841
2214.91/2220.42 c #Conflicts: 617000 | #Constraints: 87841
2214.91/2220.42 c #Conflicts: 618000 | #Constraints: 88841
2214.91/2220.42 c #Conflicts: 619000 | #Constraints: 89841
2214.91/2220.42 c #Conflicts: 620000 | #Constraints: 90841
2214.91/2220.42 c #Conflicts: 621000 | #Constraints: 91841
2214.91/2220.42 c #Conflicts: 622000 | #Constraints: 92841
2214.91/2220.42 c #Conflicts: 623000 | #Constraints: 93841
2214.91/2220.42 c INPROCESSING
2214.91/2220.42 c GARBAGE COLLECT
2214.91/2220.42 c #Conflicts: 624000 | #Constraints: 79227
2214.91/2220.42 c #Conflicts: 625000 | #Constraints: 80227
2214.91/2220.42 c #Conflicts: 626000 | #Constraints: 81227
2214.91/2220.42 c #Conflicts: 627000 | #Constraints: 82227
2214.91/2220.42 c #Conflicts: 628000 | #Constraints: 83227
2214.91/2220.42 c #Conflicts: 629000 | #Constraints: 84227
2214.91/2220.42 c #Conflicts: 630000 | #Constraints: 85227
2214.91/2220.42 c #Conflicts: 631000 | #Constraints: 86227
2214.91/2220.42 c #Conflicts: 632000 | #Constraints: 87227
2214.91/2220.42 c #Conflicts: 633000 | #Constraints: 88227
2214.91/2220.42 c #Conflicts: 634000 | #Constraints: 89227
2214.91/2220.42 c #Conflicts: 635000 | #Constraints: 90227
2214.91/2220.42 c #Conflicts: 636000 | #Constraints: 91227
2214.91/2220.42 c #Conflicts: 637000 | #Constraints: 92227
2214.91/2220.42 c #Conflicts: 638000 | #Constraints: 93227
2214.91/2220.42 c #Conflicts: 639000 | #Constraints: 94227
2214.91/2220.42 c INPROCESSING
2214.91/2220.42 c GARBAGE COLLECT
2214.91/2220.42 c #Conflicts: 640000 | #Constraints: 79430
2214.91/2220.42 c #Conflicts: 641000 | #Constraints: 80430
2214.91/2220.42 c #Conflicts: 642000 | #Constraints: 81430
2214.91/2220.42 c #Conflicts: 643000 | #Constraints: 82430
2214.91/2220.42 c #Conflicts: 644000 | #Constraints: 83430
2214.91/2220.42 c #Conflicts: 645000 | #Constraints: 84430
2214.91/2220.42 c #Conflicts: 646000 | #Constraints: 85430
2214.91/2220.42 c #Conflicts: 647000 | #Constraints: 86430
2214.91/2220.42 c #Conflicts: 648000 | #Constraints: 87430
2214.91/2220.42 c #Conflicts: 649000 | #Constraints: 88430
2214.91/2220.42 c #Conflicts: 650000 | #Constraints: 89430
2214.91/2220.42 c #Conflicts: 651000 | #Constraints: 90430
2214.91/2220.42 c #Conflicts: 652000 | #Constraints: 91430
2214.91/2220.42 c #Conflicts: 653000 | #Constraints: 92430
2214.91/2220.42 c #Conflicts: 654000 | #Constraints: 93430
2214.91/2220.42 c #Conflicts: 655000 | #Constraints: 94430
2214.91/2220.42 c INPROCESSING
2214.91/2220.42 c GARBAGE COLLECT
2214.91/2220.42 c rational objective 80
2320.92/2326.70 c #Conflicts: 656000 | #Constraints: 79451
2320.92/2326.70 c #Conflicts: 657000 | #Constraints: 80451
2320.92/2326.70 c #Conflicts: 658000 | #Constraints: 81451
2320.92/2326.70 c #Conflicts: 659000 | #Constraints: 82451
2320.92/2326.70 c #Conflicts: 660000 | #Constraints: 83451
2320.92/2326.70 c #Conflicts: 661000 | #Constraints: 84451
2320.92/2326.70 c #Conflicts: 662000 | #Constraints: 85451
2320.92/2326.70 c #Conflicts: 663000 | #Constraints: 86451
2320.92/2326.70 c #Conflicts: 664000 | #Constraints: 87451
2320.92/2326.70 c #Conflicts: 665000 | #Constraints: 88451
2320.92/2326.70 c #Conflicts: 666000 | #Constraints: 89451
2320.92/2326.70 c #Conflicts: 667000 | #Constraints: 90451
2320.92/2326.70 c #Conflicts: 668000 | #Constraints: 91451
2320.92/2326.70 c #Conflicts: 669000 | #Constraints: 92451
2320.92/2326.70 c #Conflicts: 670000 | #Constraints: 93451
2320.92/2326.70 c #Conflicts: 671000 | #Constraints: 94451
2320.92/2326.70 c INPROCESSING
2320.92/2326.70 c GARBAGE COLLECT
2320.92/2326.70 c rational objective 80
2529.34/2535.75 c #Conflicts: 672000 | #Constraints: 79245
2529.34/2535.75 c #Conflicts: 673000 | #Constraints: 80245
2529.34/2535.75 c #Conflicts: 674000 | #Constraints: 81245
2529.34/2535.75 c #Conflicts: 675000 | #Constraints: 82245
2529.34/2535.75 c #Conflicts: 676000 | #Constraints: 83245
2529.34/2535.75 c #Conflicts: 677000 | #Constraints: 84245
2529.34/2535.75 c #Conflicts: 678000 | #Constraints: 85245
2529.34/2535.75 c #Conflicts: 679000 | #Constraints: 86245
2529.34/2535.75 c #Conflicts: 680000 | #Constraints: 87245
2529.34/2535.75 c #Conflicts: 681000 | #Constraints: 88245
2529.34/2535.75 c #Conflicts: 682000 | #Constraints: 89245
2529.34/2535.75 c #Conflicts: 683000 | #Constraints: 90245
2529.34/2535.75 c #Conflicts: 684000 | #Constraints: 91245
2529.34/2535.75 c #Conflicts: 685000 | #Constraints: 92245
2529.34/2535.75 c #Conflicts: 686000 | #Constraints: 93245
2529.34/2535.75 c #Conflicts: 687000 | #Constraints: 94245
2529.34/2535.75 c #Conflicts: 688000 | #Constraints: 95245
2529.34/2535.75 c INPROCESSING
2529.34/2535.75 c GARBAGE COLLECT
2529.34/2535.75 c #Conflicts: 689000 | #Constraints: 79838
2529.34/2535.75 c #Conflicts: 690000 | #Constraints: 80838
2529.34/2535.75 c #Conflicts: 691000 | #Constraints: 81838
2529.34/2535.75 c #Conflicts: 692000 | #Constraints: 82838
2529.34/2535.75 c #Conflicts: 693000 | #Constraints: 83838
2529.34/2535.75 c #Conflicts: 694000 | #Constraints: 84838
2529.34/2535.75 c #Conflicts: 695000 | #Constraints: 85838
2529.34/2535.75 c #Conflicts: 696000 | #Constraints: 86838
2529.34/2535.75 c #Conflicts: 697000 | #Constraints: 87838
2529.34/2535.75 c #Conflicts: 698000 | #Constraints: 88838
2529.34/2535.75 c #Conflicts: 699000 | #Constraints: 89838
2529.34/2535.75 c #Conflicts: 700000 | #Constraints: 90838
2529.34/2535.75 c #Conflicts: 701000 | #Constraints: 91838
2529.34/2535.75 c #Conflicts: 702000 | #Constraints: 92838
2529.34/2535.75 c #Conflicts: 703000 | #Constraints: 93838
2529.34/2535.75 c #Conflicts: 704000 | #Constraints: 94838
2529.34/2535.75 c #Conflicts: 705000 | #Constraints: 95838
2529.34/2535.75 c INPROCESSING
2529.34/2535.75 c GARBAGE COLLECT
2529.34/2535.75 c #Conflicts: 706000 | #Constraints: 80244
2529.34/2535.75 c #Conflicts: 707000 | #Constraints: 81244
2529.34/2535.75 c #Conflicts: 708000 | #Constraints: 82244
2529.34/2535.75 c #Conflicts: 709000 | #Constraints: 83244
2529.34/2535.75 c #Conflicts: 710000 | #Constraints: 84244
2529.34/2535.75 c #Conflicts: 711000 | #Constraints: 85244
2529.34/2535.75 c #Conflicts: 712000 | #Constraints: 86244
2529.34/2535.75 c #Conflicts: 713000 | #Constraints: 87244
2529.34/2535.75 c #Conflicts: 714000 | #Constraints: 88244
2529.34/2535.75 c #Conflicts: 715000 | #Constraints: 89244
2529.34/2535.75 c #Conflicts: 716000 | #Constraints: 90244
2529.34/2535.75 c #Conflicts: 717000 | #Constraints: 91244
2529.34/2535.75 c #Conflicts: 718000 | #Constraints: 92244
2529.34/2535.75 c #Conflicts: 719000 | #Constraints: 93244
2529.34/2535.75 c #Conflicts: 720000 | #Constraints: 94244
2529.34/2535.75 c #Conflicts: 721000 | #Constraints: 95244
2529.34/2535.75 c #Conflicts: 722000 | #Constraints: 96244
2529.34/2535.75 c INPROCESSING
2529.34/2535.75 c GARBAGE COLLECT
2529.34/2535.75 c rational objective 80
2639.12/2645.84 c #Conflicts: 723000 | #Constraints: 80440
2639.12/2645.84 c #Conflicts: 724000 | #Constraints: 81440
2639.12/2645.84 c #Conflicts: 725000 | #Constraints: 82440
2639.12/2645.84 c #Conflicts: 726000 | #Constraints: 83440
2639.12/2645.84 c #Conflicts: 727000 | #Constraints: 84440
2639.12/2645.84 c #Conflicts: 728000 | #Constraints: 85440
2639.12/2645.84 c #Conflicts: 729000 | #Constraints: 86440
2639.12/2645.84 c #Conflicts: 730000 | #Constraints: 87440
2639.12/2645.84 c #Conflicts: 731000 | #Constraints: 88440
2639.12/2645.84 c #Conflicts: 732000 | #Constraints: 89440
2639.12/2645.84 c #Conflicts: 733000 | #Constraints: 90440
2639.12/2645.84 c #Conflicts: 734000 | #Constraints: 91440
2639.12/2645.84 c #Conflicts: 735000 | #Constraints: 92440
2639.12/2645.84 c #Conflicts: 736000 | #Constraints: 93440
2639.12/2645.84 c #Conflicts: 737000 | #Constraints: 94440
2639.12/2645.84 c #Conflicts: 738000 | #Constraints: 95440
2639.12/2645.84 c #Conflicts: 739000 | #Constraints: 96440
2639.12/2645.84 c INPROCESSING
2639.12/2645.84 c GARBAGE COLLECT
2639.12/2645.84 c rational objective 80
2774.55/2781.69 c #Conflicts: 740000 | #Constraints: 80468
2774.55/2781.69 c #Conflicts: 741000 | #Constraints: 81468
2774.55/2781.69 c #Conflicts: 742000 | #Constraints: 82468
2774.55/2781.69 c #Conflicts: 743000 | #Constraints: 83468
2774.55/2781.69 c #Conflicts: 744000 | #Constraints: 84468
2774.55/2781.69 c #Conflicts: 745000 | #Constraints: 85468
2774.55/2781.69 c #Conflicts: 746000 | #Constraints: 86468
2774.55/2781.69 c #Conflicts: 747000 | #Constraints: 87468
2774.55/2781.69 c #Conflicts: 748000 | #Constraints: 88468
2774.55/2781.69 c #Conflicts: 749000 | #Constraints: 89468
2774.55/2781.69 c #Conflicts: 750000 | #Constraints: 90468
2774.55/2781.69 c #Conflicts: 751000 | #Constraints: 91468
2774.55/2781.69 c #Conflicts: 752000 | #Constraints: 92468
2774.55/2781.69 c #Conflicts: 753000 | #Constraints: 93468
2774.55/2781.69 c #Conflicts: 754000 | #Constraints: 94468
2774.55/2781.69 c #Conflicts: 755000 | #Constraints: 95468
2774.55/2781.69 c #Conflicts: 756000 | #Constraints: 96468
2774.55/2781.69 c INPROCESSING
2774.55/2781.69 c GARBAGE COLLECT
2774.55/2781.69 c #Conflicts: 757000 | #Constraints: 80260
2774.55/2781.69 c #Conflicts: 758000 | #Constraints: 81260
2774.55/2781.69 c #Conflicts: 759000 | #Constraints: 82260
2774.55/2781.69 c #Conflicts: 760000 | #Constraints: 83260
2774.55/2781.69 c #Conflicts: 761000 | #Constraints: 84260
2774.55/2781.69 c #Conflicts: 762000 | #Constraints: 85260
2774.55/2781.69 c #Conflicts: 763000 | #Constraints: 86260
2774.55/2781.69 c #Conflicts: 764000 | #Constraints: 87260
2774.55/2781.69 c #Conflicts: 765000 | #Constraints: 88260
2774.55/2781.69 c #Conflicts: 766000 | #Constraints: 89260
2774.55/2781.69 c #Conflicts: 767000 | #Constraints: 90260
2774.55/2781.69 c #Conflicts: 768000 | #Constraints: 91260
2774.55/2781.69 c #Conflicts: 769000 | #Constraints: 92260
2774.55/2781.69 c #Conflicts: 770000 | #Constraints: 93260
2774.55/2781.69 c #Conflicts: 771000 | #Constraints: 94260
2774.55/2781.69 c #Conflicts: 772000 | #Constraints: 95260
2774.55/2781.69 c #Conflicts: 773000 | #Constraints: 96260
2774.55/2781.69 c #Conflicts: 774000 | #Constraints: 97260
2774.55/2781.69 c INPROCESSING
2774.55/2781.69 c GARBAGE COLLECT
2774.55/2781.69 c #Conflicts: 775000 | #Constraints: 80850
2774.55/2781.69 c #Conflicts: 776000 | #Constraints: 81850
2774.55/2781.69 c #Conflicts: 777000 | #Constraints: 82850
2774.55/2781.69 c #Conflicts: 778000 | #Constraints: 83850
2774.55/2781.69 c #Conflicts: 779000 | #Constraints: 84850
2774.55/2781.69 c #Conflicts: 780000 | #Constraints: 85850
2774.55/2781.69 c #Conflicts: 781000 | #Constraints: 86850
2774.55/2781.69 c #Conflicts: 782000 | #Constraints: 87850
2774.55/2781.69 c #Conflicts: 783000 | #Constraints: 88850
2774.55/2781.69 c #Conflicts: 784000 | #Constraints: 89850
2774.55/2781.69 c #Conflicts: 785000 | #Constraints: 90850
2774.55/2781.69 c #Conflicts: 786000 | #Constraints: 91850
2774.55/2781.69 c #Conflicts: 787000 | #Constraints: 92850
2774.55/2781.69 c #Conflicts: 788000 | #Constraints: 93850
2774.55/2781.69 c #Conflicts: 789000 | #Constraints: 94850
2774.55/2781.69 c #Conflicts: 790000 | #Constraints: 95850
2774.55/2781.69 c #Conflicts: 791000 | #Constraints: 96850
2774.55/2781.69 c #Conflicts: 792000 | #Constraints: 97850
2774.55/2781.69 c INPROCESSING
2774.55/2781.69 c GARBAGE COLLECT
2774.55/2781.69 c rational objective 80
2886.64/2894.04 c #Conflicts: 793000 | #Constraints: 81250
2886.64/2894.04 c #Conflicts: 794000 | #Constraints: 82250
2886.64/2894.04 c #Conflicts: 795000 | #Constraints: 83250
2886.64/2894.04 c #Conflicts: 796000 | #Constraints: 84250
2886.64/2894.04 c #Conflicts: 797000 | #Constraints: 85250
2886.64/2894.04 c #Conflicts: 798000 | #Constraints: 86250
2886.64/2894.04 c #Conflicts: 799000 | #Constraints: 87250
2886.64/2894.04 c #Conflicts: 800000 | #Constraints: 88250
2886.64/2894.04 c #Conflicts: 801000 | #Constraints: 89250
2886.64/2894.04 c #Conflicts: 802000 | #Constraints: 90250
2886.64/2894.04 c #Conflicts: 803000 | #Constraints: 91250
2886.64/2894.04 c #Conflicts: 804000 | #Constraints: 92250
2886.64/2894.04 c #Conflicts: 805000 | #Constraints: 93250
2886.64/2894.04 c #Conflicts: 806000 | #Constraints: 94250
2886.64/2894.04 c #Conflicts: 807000 | #Constraints: 95250
2886.64/2894.04 c #Conflicts: 808000 | #Constraints: 96250
2886.64/2894.04 c #Conflicts: 809000 | #Constraints: 97250
2886.64/2894.04 c #Conflicts: 810000 | #Constraints: 98250
2886.64/2894.04 c INPROCESSING
2886.64/2894.04 c GARBAGE COLLECT
2886.64/2894.04 c rational objective 80
2951.56/2959.12 c #Conflicts: 811000 | #Constraints: 81491
2951.56/2959.12 c #Conflicts: 812000 | #Constraints: 82491
2951.56/2959.12 c #Conflicts: 813000 | #Constraints: 83491
2951.56/2959.12 c #Conflicts: 814000 | #Constraints: 84491
2951.56/2959.12 c #Conflicts: 815000 | #Constraints: 85491
2951.56/2959.12 c #Conflicts: 816000 | #Constraints: 86491
2951.56/2959.12 c #Conflicts: 817000 | #Constraints: 87491
2951.56/2959.12 c #Conflicts: 818000 | #Constraints: 88491
2951.56/2959.12 c #Conflicts: 819000 | #Constraints: 89491
2951.56/2959.12 c #Conflicts: 820000 | #Constraints: 90491
2951.56/2959.12 c #Conflicts: 821000 | #Constraints: 91491
2951.56/2959.12 c #Conflicts: 822000 | #Constraints: 92491
2951.56/2959.12 c #Conflicts: 823000 | #Constraints: 93491
2951.56/2959.12 c #Conflicts: 824000 | #Constraints: 94491
2951.56/2959.12 c #Conflicts: 825000 | #Constraints: 95491
2951.56/2959.12 c #Conflicts: 826000 | #Constraints: 96491
2951.56/2959.12 c #Conflicts: 827000 | #Constraints: 97491
2951.56/2959.12 c #Conflicts: 828000 | #Constraints: 98491
2951.56/2959.12 c INPROCESSING
2951.56/2959.12 c GARBAGE COLLECT
2951.56/2959.12 c #Conflicts: 829000 | #Constraints: 81459
2951.56/2959.12 c #Conflicts: 830000 | #Constraints: 82459
2951.56/2959.12 c #Conflicts: 831000 | #Constraints: 83459
2951.56/2959.12 c #Conflicts: 832000 | #Constraints: 84459
2951.56/2959.12 c #Conflicts: 833000 | #Constraints: 85459
2951.56/2959.12 c #Conflicts: 834000 | #Constraints: 86459
2951.56/2959.12 c #Conflicts: 835000 | #Constraints: 87459
2951.56/2959.12 c #Conflicts: 836000 | #Constraints: 88459
2951.56/2959.12 c #Conflicts: 837000 | #Constraints: 89459
2951.56/2959.12 c #Conflicts: 838000 | #Constraints: 90459
2951.56/2959.12 c #Conflicts: 839000 | #Constraints: 91459
2951.56/2959.12 c #Conflicts: 840000 | #Constraints: 92459
2951.56/2959.12 c #Conflicts: 841000 | #Constraints: 93459
2951.56/2959.12 c #Conflicts: 842000 | #Constraints: 94459
2951.56/2959.12 c #Conflicts: 843000 | #Constraints: 95459
2951.56/2959.12 c #Conflicts: 844000 | #Constraints: 96459
2951.56/2959.12 c #Conflicts: 845000 | #Constraints: 97459
2951.56/2959.12 c #Conflicts: 846000 | #Constraints: 98459
2951.56/2959.12 c INPROCESSING
2951.56/2959.12 c GARBAGE COLLECT
2951.56/2959.12 c #Conflicts: 847000 | #Constraints: 81246
2951.56/2959.12 c #Conflicts: 848000 | #Constraints: 82246
2951.56/2959.12 c #Conflicts: 849000 | #Constraints: 83246
2951.56/2959.12 c #Conflicts: 850000 | #Constraints: 84246
2951.56/2959.12 c #Conflicts: 851000 | #Constraints: 85246
2951.56/2959.12 c #Conflicts: 852000 | #Constraints: 86246
2951.56/2959.12 c #Conflicts: 853000 | #Constraints: 87246
2951.56/2959.12 c #Conflicts: 854000 | #Constraints: 88246
2951.56/2959.12 c #Conflicts: 855000 | #Constraints: 89246
2951.56/2959.12 c #Conflicts: 856000 | #Constraints: 90246
2951.56/2959.12 c #Conflicts: 857000 | #Constraints: 91246
2951.56/2959.12 c #Conflicts: 858000 | #Constraints: 92246
2951.56/2959.12 c #Conflicts: 859000 | #Constraints: 93246
2951.56/2959.12 c #Conflicts: 860000 | #Constraints: 94246
2951.56/2959.12 c #Conflicts: 861000 | #Constraints: 95246
2951.56/2959.12 c #Conflicts: 862000 | #Constraints: 96246
2951.56/2959.12 c #Conflicts: 863000 | #Constraints: 97246
2951.56/2959.12 c #Conflicts: 864000 | #Constraints: 98246
2951.56/2959.12 c #Conflicts: 865000 | #Constraints: 99246
2951.56/2959.12 c INPROCESSING
2951.56/2959.12 c GARBAGE COLLECT
2951.56/2959.12 c rational objective 80
2999.33/3007.02 c #Conflicts: 866000 | #Constraints: 81855
2999.33/3007.02 c #Conflicts: 867000 | #Constraints: 82855
2999.33/3007.02 c #Conflicts: 868000 | #Constraints: 83855
2999.33/3007.02 c #Conflicts: 869000 | #Constraints: 84855
2999.33/3007.02 c #Conflicts: 870000 | #Constraints: 85855
2999.33/3007.02 c #Conflicts: 871000 | #Constraints: 86855
2999.33/3007.02 c #Conflicts: 872000 | #Constraints: 87855
2999.33/3007.02 c #Conflicts: 873000 | #Constraints: 88855
2999.33/3007.02 c #Conflicts: 874000 | #Constraints: 89855
2999.33/3007.02 c #Conflicts: 875000 | #Constraints: 90855
2999.33/3007.02 c #Conflicts: 876000 | #Constraints: 91855
2999.33/3007.02 c #Conflicts: 877000 | #Constraints: 92855
2999.33/3007.02 c #Conflicts: 878000 | #Constraints: 93855
2999.33/3007.02 c #Conflicts: 879000 | #Constraints: 94855
2999.33/3007.02 c #Conflicts: 880000 | #Constraints: 95855
2999.33/3007.02 c #Conflicts: 881000 | #Constraints: 96855
2999.33/3007.02 c #Conflicts: 882000 | #Constraints: 97855
2999.33/3007.02 c #Conflicts: 883000 | #Constraints: 98855
2999.33/3007.02 c #Conflicts: 884000 | #Constraints: 99855
2999.33/3007.02 c INPROCESSING
2999.33/3007.02 c GARBAGE COLLECT
2999.33/3007.02 c #Conflicts: 885000 | #Constraints: 82241
2999.33/3007.02 c #Conflicts: 886000 | #Constraints: 83241
2999.33/3007.02 c #Conflicts: 887000 | #Constraints: 84241
2999.33/3007.02 c #Conflicts: 888000 | #Constraints: 85241
2999.33/3007.02 c #Conflicts: 889000 | #Constraints: 86241
2999.33/3007.02 c #Conflicts: 890000 | #Constraints: 87241
2999.33/3007.02 c #Conflicts: 891000 | #Constraints: 88241
2999.33/3007.02 c #Conflicts: 892000 | #Constraints: 89241
2999.33/3007.02 c #Conflicts: 893000 | #Constraints: 90241
2999.33/3007.02 c #Conflicts: 894000 | #Constraints: 91241
2999.33/3007.02 c #Conflicts: 895000 | #Constraints: 92241
2999.33/3007.02 c #Conflicts: 896000 | #Constraints: 93241
2999.33/3007.02 c #Conflicts: 897000 | #Constraints: 94241
2999.33/3007.02 c #Conflicts: 898000 | #Constraints: 95241
2999.33/3007.02 c #Conflicts: 899000 | #Constraints: 96241
2999.33/3007.02 c #Conflicts: 900000 | #Constraints: 97241
2999.33/3007.02 c #Conflicts: 901000 | #Constraints: 98241
2999.33/3007.02 c #Conflicts: 902000 | #Constraints: 99241
2999.33/3007.02 c #Conflicts: 903000 | #Constraints: 100241
2999.33/3007.02 c INPROCESSING
2999.33/3007.02 c GARBAGE COLLECT
2999.33/3007.02 c rational objective 80
3096.95/3104.93 c #Conflicts: 904000 | #Constraints: 82454
3096.95/3104.93 c #Conflicts: 905000 | #Constraints: 83454
3096.95/3104.93 c #Conflicts: 906000 | #Constraints: 84454
3096.95/3104.93 c #Conflicts: 907000 | #Constraints: 85454
3096.95/3104.93 c #Conflicts: 908000 | #Constraints: 86454
3096.95/3104.93 c #Conflicts: 909000 | #Constraints: 87454
3096.95/3104.93 c #Conflicts: 910000 | #Constraints: 88454
3096.95/3104.93 c #Conflicts: 911000 | #Constraints: 89454
3096.95/3104.93 c #Conflicts: 912000 | #Constraints: 90454
3096.95/3104.93 c #Conflicts: 913000 | #Constraints: 91454
3096.95/3104.93 c #Conflicts: 914000 | #Constraints: 92454
3096.95/3104.93 c #Conflicts: 915000 | #Constraints: 93454
3096.95/3104.93 c #Conflicts: 916000 | #Constraints: 94454
3096.95/3104.93 c #Conflicts: 917000 | #Constraints: 95454
3096.95/3104.93 c #Conflicts: 918000 | #Constraints: 96454
3096.95/3104.93 c #Conflicts: 919000 | #Constraints: 97454
3096.95/3104.93 c #Conflicts: 920000 | #Constraints: 98454
3096.95/3104.93 c #Conflicts: 921000 | #Constraints: 99454
3096.95/3104.93 c #Conflicts: 922000 | #Constraints: 100454
3096.95/3104.93 c INPROCESSING
3096.95/3104.93 c GARBAGE COLLECT
3096.95/3104.93 c rational objective 80
3141.73/3149.88 c #Conflicts: 923000 | #Constraints: 82449
3141.73/3149.88 c #Conflicts: 924000 | #Constraints: 83449
3141.73/3149.88 c #Conflicts: 925000 | #Constraints: 84449
3141.73/3149.88 c #Conflicts: 926000 | #Constraints: 85449
3141.73/3149.88 c #Conflicts: 927000 | #Constraints: 86449
3141.73/3149.88 c #Conflicts: 928000 | #Constraints: 87449
3141.73/3149.88 c #Conflicts: 929000 | #Constraints: 88449
3141.73/3149.88 c #Conflicts: 930000 | #Constraints: 89449
3141.73/3149.88 c #Conflicts: 931000 | #Constraints: 90449
3141.73/3149.88 c #Conflicts: 932000 | #Constraints: 91449
3141.73/3149.88 c #Conflicts: 933000 | #Constraints: 92449
3141.73/3149.88 c #Conflicts: 934000 | #Constraints: 93449
3141.73/3149.88 c #Conflicts: 935000 | #Constraints: 94449
3141.73/3149.88 c #Conflicts: 936000 | #Constraints: 95449
3141.73/3149.88 c #Conflicts: 937000 | #Constraints: 96449
3141.73/3149.88 c #Conflicts: 938000 | #Constraints: 97449
3141.73/3149.88 c #Conflicts: 939000 | #Constraints: 98449
3141.73/3149.88 c #Conflicts: 940000 | #Constraints: 99449
3141.73/3149.88 c #Conflicts: 941000 | #Constraints: 100449
3141.73/3149.88 c INPROCESSING
3141.73/3149.88 c GARBAGE COLLECT
3141.73/3149.88 c rational objective 80
3178.13/3186.35 c #Conflicts: 942000 | #Constraints: 82247
3178.13/3186.35 c #Conflicts: 943000 | #Constraints: 83247
3178.13/3186.35 c #Conflicts: 944000 | #Constraints: 84247
3178.13/3186.35 c #Conflicts: 945000 | #Constraints: 85247
3178.13/3186.35 c #Conflicts: 946000 | #Constraints: 86247
3178.13/3186.35 c #Conflicts: 947000 | #Constraints: 87247
3178.13/3186.35 c #Conflicts: 948000 | #Constraints: 88247
3178.13/3186.35 c #Conflicts: 949000 | #Constraints: 89247
3178.13/3186.35 c #Conflicts: 950000 | #Constraints: 90247
3178.13/3186.35 c #Conflicts: 951000 | #Constraints: 91247
3178.13/3186.35 c #Conflicts: 952000 | #Constraints: 92247
3178.13/3186.35 c #Conflicts: 953000 | #Constraints: 93247
3178.13/3186.35 c #Conflicts: 954000 | #Constraints: 94248
3178.13/3186.35 c #Conflicts: 955000 | #Constraints: 95248
3178.13/3186.35 c #Conflicts: 956000 | #Constraints: 96248
3178.13/3186.35 c #Conflicts: 957000 | #Constraints: 97248
3178.13/3186.35 c #Conflicts: 958000 | #Constraints: 98248
3178.13/3186.35 c #Conflicts: 959000 | #Constraints: 99248
3178.13/3186.35 c #Conflicts: 960000 | #Constraints: 100249
3178.13/3186.35 c #Conflicts: 961000 | #Constraints: 101249
3178.13/3186.35 c INPROCESSING
3178.13/3186.35 c GARBAGE COLLECT
3178.13/3186.35 WSVECS04 Frhs2[7588]: 6 -5.00001 0 shouldn't be
3201.46/3209.78 c rational objective 80
3244.24/3252.64 c #Conflicts: 962000 | #Constraints: 82874
3244.24/3252.64 c #Conflicts: 963000 | #Constraints: 83874
3244.24/3252.64 c #Conflicts: 964000 | #Constraints: 84874
3244.24/3252.64 c #Conflicts: 965000 | #Constraints: 85874
3244.24/3252.64 c #Conflicts: 966000 | #Constraints: 86874
3244.24/3252.64 c #Conflicts: 967000 | #Constraints: 87874
3244.24/3252.64 c #Conflicts: 968000 | #Constraints: 88874
3244.24/3252.64 c #Conflicts: 969000 | #Constraints: 89874
3244.24/3252.64 c #Conflicts: 970000 | #Constraints: 90874
3244.24/3252.64 c #Conflicts: 971000 | #Constraints: 91874
3244.24/3252.64 c #Conflicts: 972000 | #Constraints: 92874
3244.24/3252.64 c #Conflicts: 973000 | #Constraints: 93874
3244.24/3252.64 c #Conflicts: 974000 | #Constraints: 94874
3244.24/3252.64 c #Conflicts: 975000 | #Constraints: 95874
3244.24/3252.64 c #Conflicts: 976000 | #Constraints: 96874
3244.24/3252.64 c #Conflicts: 977000 | #Constraints: 97874
3244.24/3252.64 c #Conflicts: 978000 | #Constraints: 98874
3244.24/3252.64 c #Conflicts: 979000 | #Constraints: 99874
3244.24/3252.64 c #Conflicts: 980000 | #Constraints: 100874
3244.24/3252.64 c #Conflicts: 981000 | #Constraints: 101874
3244.24/3252.64 c INPROCESSING
3244.24/3252.64 c GARBAGE COLLECT
3244.24/3252.64 c rational objective 80
3281.54/3290.02 c #Conflicts: 982000 | #Constraints: 83277
3281.54/3290.02 c #Conflicts: 983000 | #Constraints: 84277
3281.54/3290.02 c #Conflicts: 984000 | #Constraints: 85277
3281.54/3290.02 c #Conflicts: 985000 | #Constraints: 86277
3281.54/3290.02 c #Conflicts: 986000 | #Constraints: 87277
3281.54/3290.02 c #Conflicts: 987000 | #Constraints: 88277
3281.54/3290.02 c #Conflicts: 988000 | #Constraints: 89277
3281.54/3290.02 c #Conflicts: 989000 | #Constraints: 90277
3281.54/3290.02 c #Conflicts: 990000 | #Constraints: 91277
3281.54/3290.02 c #Conflicts: 991000 | #Constraints: 92277
3281.54/3290.02 c #Conflicts: 992000 | #Constraints: 93277
3281.54/3290.02 c #Conflicts: 993000 | #Constraints: 94277
3281.54/3290.02 c #Conflicts: 994000 | #Constraints: 95277
3281.54/3290.02 c #Conflicts: 995000 | #Constraints: 96277
3281.54/3290.02 c #Conflicts: 996000 | #Constraints: 97277
3281.54/3290.02 c #Conflicts: 997000 | #Constraints: 98277
3281.54/3290.02 c #Conflicts: 998000 | #Constraints: 99277
3281.54/3290.02 c #Conflicts: 999000 | #Constraints: 100277
3281.54/3290.02 c #Conflicts: 1000000 | #Constraints: 101277
3281.54/3290.02 c #Conflicts: 1001000 | #Constraints: 102277
3281.54/3290.02 c INPROCESSING
3281.54/3290.02 c GARBAGE COLLECT
3281.54/3290.02 c rational objective 80
3368.41/3377.11 c #Conflicts: 1002000 | #Constraints: 83478
3368.41/3377.11 c #Conflicts: 1003000 | #Constraints: 84478
3368.41/3377.11 c #Conflicts: 1004000 | #Constraints: 85478
3368.41/3377.11 c #Conflicts: 1005000 | #Constraints: 86478
3368.41/3377.11 c #Conflicts: 1006000 | #Constraints: 87478
3368.41/3377.11 c #Conflicts: 1007000 | #Constraints: 88478
3368.41/3377.11 c #Conflicts: 1008000 | #Constraints: 89478
3368.41/3377.11 c #Conflicts: 1009000 | #Constraints: 90478
3368.41/3377.11 c #Conflicts: 1010000 | #Constraints: 91478
3368.41/3377.11 c #Conflicts: 1011000 | #Constraints: 92478
3368.41/3377.11 c #Conflicts: 1012000 | #Constraints: 93478
3368.41/3377.11 c #Conflicts: 1013000 | #Constraints: 94478
3368.41/3377.11 c #Conflicts: 1014000 | #Constraints: 95478
3368.41/3377.11 c #Conflicts: 1015000 | #Constraints: 96478
3368.41/3377.11 c #Conflicts: 1016000 | #Constraints: 97478
3368.41/3377.11 c #Conflicts: 1017000 | #Constraints: 98478
3368.41/3377.11 c #Conflicts: 1018000 | #Constraints: 99478
3368.41/3377.11 c #Conflicts: 1019000 | #Constraints: 100478
3368.41/3377.11 c #Conflicts: 1020000 | #Constraints: 101478
3368.41/3377.11 c #Conflicts: 1021000 | #Constraints: 102478
3368.41/3377.11 c INPROCESSING
3368.41/3377.11 c GARBAGE COLLECT
3368.41/3377.11 c rational objective 80
3420.35/3429.23 c #Conflicts: 1022000 | #Constraints: 83477
3420.35/3429.23 c #Conflicts: 1023000 | #Constraints: 84477
3420.35/3429.23 c #Conflicts: 1024000 | #Constraints: 85477
3420.35/3429.23 c #Conflicts: 1025000 | #Constraints: 86477
3420.35/3429.23 c #Conflicts: 1026000 | #Constraints: 87477
3420.35/3429.23 c #Conflicts: 1027000 | #Constraints: 88477
3420.35/3429.23 c #Conflicts: 1028000 | #Constraints: 89477
3420.35/3429.23 c #Conflicts: 1029000 | #Constraints: 90477
3420.35/3429.23 c #Conflicts: 1030000 | #Constraints: 91477
3420.35/3429.23 c #Conflicts: 1031000 | #Constraints: 92477
3420.35/3429.23 c #Conflicts: 1032000 | #Constraints: 93477
3420.35/3429.23 c #Conflicts: 1033000 | #Constraints: 94477
3420.35/3429.23 c #Conflicts: 1034000 | #Constraints: 95477
3420.35/3429.23 c #Conflicts: 1035000 | #Constraints: 96477
3420.35/3429.23 c #Conflicts: 1036000 | #Constraints: 97477
3420.35/3429.23 c #Conflicts: 1037000 | #Constraints: 98477
3420.35/3429.23 c #Conflicts: 1038000 | #Constraints: 99477
3420.35/3429.23 c #Conflicts: 1039000 | #Constraints: 100477
3420.35/3429.23 c #Conflicts: 1040000 | #Constraints: 101477
3420.35/3429.23 c #Conflicts: 1041000 | #Constraints: 102477
3420.35/3429.23 c INPROCESSING
3420.35/3429.23 c GARBAGE COLLECT
3420.35/3429.23 c rational objective 80
3471.72/3480.72 c #Conflicts: 1042000 | #Constraints: 83321
3471.72/3480.72 c #Conflicts: 1043000 | #Constraints: 84321
3471.72/3480.72 c #Conflicts: 1044000 | #Constraints: 85321
3471.72/3480.72 c #Conflicts: 1045000 | #Constraints: 86321
3471.72/3480.72 c #Conflicts: 1046000 | #Constraints: 87321
3471.72/3480.72 c #Conflicts: 1047000 | #Constraints: 88321
3471.72/3480.72 c #Conflicts: 1048000 | #Constraints: 89321
3471.72/3480.72 c #Conflicts: 1049000 | #Constraints: 90321
3471.72/3480.72 c #Conflicts: 1050000 | #Constraints: 91321
3471.72/3480.72 c #Conflicts: 1051000 | #Constraints: 92321
3471.72/3480.72 c #Conflicts: 1052000 | #Constraints: 93321
3471.72/3480.72 c #Conflicts: 1053000 | #Constraints: 94321
3471.72/3480.72 c #Conflicts: 1054000 | #Constraints: 95321
3471.72/3480.72 c #Conflicts: 1055000 | #Constraints: 96321
3471.72/3480.72 c #Conflicts: 1056000 | #Constraints: 97321
3471.72/3480.72 c #Conflicts: 1057000 | #Constraints: 98321
3471.72/3480.72 c #Conflicts: 1058000 | #Constraints: 99321
3471.72/3480.72 c #Conflicts: 1059000 | #Constraints: 100321
3471.72/3480.72 c #Conflicts: 1060000 | #Constraints: 101321
3471.72/3480.72 c #Conflicts: 1061000 | #Constraints: 102321
3471.72/3480.72 c #Conflicts: 1062000 | #Constraints: 103321
3471.72/3480.72 c INPROCESSING
3471.72/3480.72 c GARBAGE COLLECT
3471.72/3480.72 c rational objective 80
3477.50/3486.57 c #Conflicts: 1063000 | #Constraints: 83886
3477.50/3486.57 c #Conflicts: 1064000 | #Constraints: 84886
3477.50/3486.57 c #Conflicts: 1065000 | #Constraints: 85886
3477.50/3486.57 c #Conflicts: 1066000 | #Constraints: 86886
3477.50/3486.57 c #Conflicts: 1067000 | #Constraints: 87886
3477.50/3486.57 c #Conflicts: 1068000 | #Constraints: 88886
3477.50/3486.57 c #Conflicts: 1069000 | #Constraints: 89886
3477.50/3486.57 c #Conflicts: 1070000 | #Constraints: 90886
3477.50/3486.57 c #Conflicts: 1071000 | #Constraints: 91886
3477.50/3486.57 c #Conflicts: 1072000 | #Constraints: 92886
3477.50/3486.57 c #Conflicts: 1073000 | #Constraints: 93886
3477.50/3486.57 c #Conflicts: 1074000 | #Constraints: 94886
3477.50/3486.57 c #Conflicts: 1075000 | #Constraints: 95886
3477.50/3486.57 c #Conflicts: 1076000 | #Constraints: 96886
3477.50/3486.57 c #Conflicts: 1077000 | #Constraints: 97886
3477.50/3486.57 c #Conflicts: 1078000 | #Constraints: 98886
3477.50/3486.57 c #Conflicts: 1079000 | #Constraints: 99886
3477.50/3486.57 c #Conflicts: 1080000 | #Constraints: 100886
3477.50/3486.57 c #Conflicts: 1081000 | #Constraints: 101886
3477.50/3486.57 c bounds - >= 90 @ 3464.57
3539.32/3548.50 c #Conflicts: 1082000 | #Constraints: 102898
3539.32/3548.50 c #Conflicts: 1083000 | #Constraints: 103898
3539.32/3548.50 c INPROCESSING
3539.32/3548.50 c GARBAGE COLLECT
3539.32/3548.50 c rational objective 90
3583.71/3593.06 c #Conflicts: 1084000 | #Constraints: 84281
3583.71/3593.06 c #Conflicts: 1085000 | #Constraints: 85281
3583.71/3593.06 c #Conflicts: 1086000 | #Constraints: 86281
3583.71/3593.06 c #Conflicts: 1087000 | #Constraints: 87281
3583.71/3593.06 c #Conflicts: 1088000 | #Constraints: 88281
3583.71/3593.06 c #Conflicts: 1089000 | #Constraints: 89281
3583.71/3593.06 c #Conflicts: 1090000 | #Constraints: 90281
3583.71/3593.06 c #Conflicts: 1091000 | #Constraints: 91281
3583.71/3593.06 c #Conflicts: 1092000 | #Constraints: 92281
3583.71/3593.06 c #Conflicts: 1093000 | #Constraints: 93281
3583.71/3593.06 c #Conflicts: 1094000 | #Constraints: 94281
3583.71/3593.06 c #Conflicts: 1095000 | #Constraints: 95281
3583.71/3593.06 c #Conflicts: 1096000 | #Constraints: 96281
3583.71/3593.06 c #Conflicts: 1097000 | #Constraints: 97281
3583.71/3593.06 c #Conflicts: 1098000 | #Constraints: 98281
3583.71/3593.06 c #Conflicts: 1099000 | #Constraints: 99281
3583.71/3593.06 c #Conflicts: 1100000 | #Constraints: 100281
3583.71/3593.06 c #Conflicts: 1101000 | #Constraints: 101281
3583.71/3593.06 c #Conflicts: 1102000 | #Constraints: 102281
3583.71/3593.06 c #Conflicts: 1103000 | #Constraints: 103281
3583.71/3593.06 c #Conflicts: 1104000 | #Constraints: 104281
3583.71/3593.06 c INPROCESSING
3583.71/3593.06 c GARBAGE COLLECT
3583.71/3593.06 c rational objective 90
3600.05/3609.40 c #Conflicts: 1105000 | #Constraints: 84472
3600.05/3609.40 c #Conflicts: 1106000 | #Constraints: 85472
3600.05/3609.40 c #Conflicts: 1107000 | #Constraints: 86472
3600.05/3609.40 c #Conflicts: 1108000 | #Constraints: 87472
3600.05/3609.40 c #Conflicts: 1109000 | #Constraints: 88472
3600.05/3609.40 c #Conflicts: 1110000 | #Constraints: 89472
3600.05/3609.40 c #Conflicts: 1111000 | #Constraints: 90472
3600.05/3609.40 c #Conflicts: 1112000 | #Constraints: 91472
3600.05/3609.40 c #Conflicts: 1113000 | #Constraints: 92472
3600.05/3609.40 c #Conflicts: 1114000 | #Constraints: 93472
3600.05/3609.40 c #Conflicts: 1115000 | #Constraints: 94472
3600.05/3609.40 c #Conflicts: 1116000 | #Constraints: 95472
3600.05/3609.40 c #Conflicts: 1117000 | #Constraints: 96472
3600.05/3609.40 c #Conflicts: 1118000 | #Constraints: 97472
3600.05/3609.40 c Disabling crashed LP
3600.05/3609.40 c cpu time 3586.62 s
3600.05/3609.40 c deterministic time 15295202787 1.53e+10
3600.05/3609.40 c optimization time 16.0198 s
3600.05/3609.40 c total solve time 3570.41 s
3600.05/3609.40 c core-guided solve time 823.268 s
3600.05/3609.40 c propagation time 1852.15 s
3600.05/3609.40 c conflict analysis time 38.3532 s
3600.05/3609.40 c propagations 188966092
3600.05/3609.40 c resolve steps 12932327
3600.05/3609.40 c decisions 1545519
3600.05/3609.40 c conflicts 1118380
3600.05/3609.40 c restarts 2046
3600.05/3609.40 c inprocessing phases 96
3600.05/3609.40 c garbage collections 91 ,( 94.79 )
3600.05/3609.40 c input clauses 61340 ,( 98.04 )
3600.05/3609.40 c input cardinalities 327 ,( 0.52 )
3600.05/3609.40 c input general constraints 899 ,( 1.44 )
3600.05/3609.40 c input average constraint length 3.23
3600.05/3609.40 c input average constraint degree 1.26
3600.05/3609.40 c learned clauses 805051 ,( 71.94 )
3600.05/3609.40 c learned cardinalities 93278 ,( 8.34 )
3600.05/3609.40 c learned general constraints 220745 ,( 19.73 )
3600.05/3609.40 c learned average constraint length 53.46
3600.05/3609.40 c learned average constraint degree 95841.92
3600.05/3609.40 c watched CF 32, 64, 128, Arb: 208738 , 0 , 0 , 0
3600.05/3609.40 c counting CF 32, 64, 128, Arb: 12907 , 0 , 0 , 0
3600.05/3609.40 c watched constraints 208738 ,( 94.18 )
3600.05/3609.40 c counting constraints 12906 ,( 5.82 )
3600.05/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 437273360 , 642456781 , 537276887 ,( 419252353 , 118024534 )
3600.05/3609.40 c gcd simplifications 19114
3600.05/3609.40 c detected cardinalities 5046
3600.05/3609.40 c weakened non-implied lits 11625356
3600.05/3609.40 c weakened non-implying lits 3243
3600.05/3609.40 c original variables 20515
3600.05/3609.40 c clausal propagations 178623285
3600.05/3609.40 c cardinality propagations 5144331
3600.05/3609.40 c watched propagations 1980625
3600.05/3609.40 c counting propagations 1630888
3600.05/3609.40 c watch lookups 5336449770
3600.05/3609.40 c watch backjump lookups 0
3600.05/3609.40 c watch checks 8102870806
3600.05/3609.40 c propagation checks 1285172973
3600.05/3609.40 c constraint additions 186400163
3600.05/3609.40 c trail pops 191629799
3600.05/3609.40 c formula constraints 62482
3600.05/3609.40 c learned constraints 1118375
3600.05/3609.40 c bound constraints 9
3600.05/3609.40 c core-guided constraints 75
3600.05/3609.40 c encountered formula constraints 9180980
3600.05/3609.40 c encountered learned constraints 4683403
3600.05/3609.40 c encountered bound constraints 0
3600.05/3609.40 c encountered core-guided constraints 136969
3600.05/3609.40 c LP total time 3387.04 s
3600.05/3609.40 c LP solve time 3373.46 s
3600.05/3609.40 c LP constraints added 66167
3600.05/3609.40 c LP constraints removed 3543
3600.05/3609.40 c LP pivots internal 1118380
3600.05/3609.40 c LP pivots root 1049284
3600.05/3609.40 c LP calls 78
3600.05/3609.40 c LP optimalities 60
3600.05/3609.40 c LP no pivot count 0
3600.05/3609.40 c LP infeasibilities 6
3600.05/3609.40 c LP valid Farkas constraints 5
3600.05/3609.40 c LP learned Farkas constraints 5
3600.05/3609.40 c LP basis resets 6
3600.05/3609.40 c LP cycling count 0
3600.05/3609.40 c LP singular count 0
3600.05/3609.40 c LP no primal count 0
3600.05/3609.40 c LP no farkas count 1
3600.05/3609.40 c LP other issue count 5
3600.05/3609.40 c LP Gomory cuts 689
3600.05/3609.40 c LP learned cuts 2996
3600.05/3609.40 c LP deleted cuts 3543
3600.05/3609.40 c LP encountered Gomory constraints 48820
3600.05/3609.40 c LP encountered Farkas constraints 457
3600.05/3609.40 c LP encountered learned Farkas constraints 73
3600.05/3609.40 c CG auxiliary variables introduced 28
3600.05/3609.40 c CG solutions found 0
3600.05/3609.40 c CG cores constructed 9
3600.05/3609.40 c CG core cardinality constraints returned 0
3600.05/3609.40 c CG unit cores 0
3600.05/3609.40 c CG single cores 9
3600.05/3609.40 c CG blocks removed during cardinality reduction 0
3600.05/3609.40 c CG first core best 0
3600.05/3609.40 c CG decision core best 0
3600.05/3609.40 c CG core reduction tie 0
3600.05/3609.40 c CG core degree average 1.00
3600.05/3609.40 c CG core slack average 3.67
3600.05/3609.40 c CG core upper bound improvements 0
3600.05/3609.40 c STR number of successful calls 0
3600.05/3609.40 c STR number of unsuccessful calls 0
3600.05/3609.40 c STR number of inconclusive calls 0
3600.05/3609.40 c STR number of successful attempts 0
3600.05/3609.40 c STR number of unsuccessful attempts 0
3600.05/3609.40 c STR number of inconclusive attempts 0
3600.05/3609.40 c STR average degree increase per successful call inf
3600.05/3609.40 c STR average degree increase per successful attempt inf
3600.05/3609.40 c STR total number of conflicts for successful attempts 0
3600.05/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.05/3609.40 c STR average number of conflicts per successful attempt inf
3600.05/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.05/3609.40 c AVG.sumWPerc 24.97
3600.05/3609.40 c bigint constraints 0
3600.05/3609.40 s UNKNOWN
3600.05/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 (58232 MiB free)
memory of node 1: 64507 MiB (45794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507954-1751508122/watcher-4507954-1751508122 -o /tmp/evaluation-result-4507954-1751508122/solver-4507954-1751508122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751508121-72544 --watchdog 3760 run-opt-ls.sh HOME/instance-4507954-1751508122.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
solver pid=72603, runsolver pid=72586
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.99 3.56 3.91 5/270 72606
/proc/meminfo: memFree=106387812/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72606] ppid=72603 vsize=55264 memory=37024 CPUtime=0.07 cores=1,3
/proc/72606/stat : 72606 (pbsuma) R 72603 72603 72530 0 -1 4194304 10122 0 0 0 6 1 0 0 20 0 1 0 66491030 56590336 9256 18446744073709551615 4210688 4653049 140737398141136 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6680576 140737398143331 140737398143538 140737398143538 140737398149103 0
/proc/72606/statm: 13816 9256 1024 108 0 11224 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 59456 KiB
Current children cumulated memory: 39968 KiB
[startup+0.205728 s]*
/proc/loadavg: 1.99 3.56 3.91 5/270 72606
/proc/meminfo: memFree=106380000/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72606] ppid=72603 vsize=41404 memory=29828 CPUtime=0.17 cores=1,3
/proc/72606/stat : 72606 (pbsuma) R 72603 72603 72530 0 -1 4194304 10785 0 0 0 16 1 0 0 20 0 1 0 66491030 42397696 7457 18446744073709551615 4210688 4653049 140737398141136 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 6680576 140737398143331 140737398143538 140737398143538 140737398149103 0
/proc/72606/statm: 10351 7457 1024 108 0 7759 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 45596 KiB
Current children cumulated memory: 32772 KiB
[startup+0.304591 s]*
/proc/loadavg: 1.99 3.56 3.91 5/270 72610
/proc/meminfo: memFree=106422628/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=63228 memory=18360 CPUtime=0.02 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 2305 0 0 0 1 1 0 0 20 0 1 0 66491055 64745472 4590 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 15807 4590 1984 1147 0 3234 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 67420 KiB
Current children cumulated memory: 21304 KiB
[startup+0.70019 s]
/proc/loadavg: 1.99 3.56 3.91 5/270 72610
/proc/meminfo: memFree=106299140/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=125068 memory=81388 CPUtime=0.41 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 12028 0 0 0 34 7 0 0 20 0 1 0 66491055 128069632 20347 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 31267 20347 2272 1147 0 18694 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 129260 KiB
Current children cumulated memory: 84332 KiB
[startup+1.5002 s]
/proc/loadavg: 1.99 3.56 3.91 5/270 72610
/proc/meminfo: memFree=106100324/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=156916 memory=111824 CPUtime=1.21 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 17639 0 0 0 109 12 0 0 20 0 1 0 66491055 160681984 27956 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 39229 27956 2368 1147 0 26656 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 161108 KiB
Current children cumulated memory: 114768 KiB
[startup+3.10506 s]
/proc/loadavg: 2.15 3.57 3.91 5/270 72610
/proc/meminfo: memFree=106088804/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=160424 memory=115792 CPUtime=2.81 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 18615 0 0 0 266 15 0 0 20 0 1 0 66491055 164274176 28948 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 40106 28948 2400 1147 0 27533 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 164616 KiB
Current children cumulated memory: 118736 KiB
[startup+6.30018 s]
/proc/loadavg: 2.15 3.57 3.91 5/270 72610
/proc/meminfo: memFree=106066028/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=167168 memory=121836 CPUtime=5.99 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 20681 0 0 0 578 21 0 0 20 0 1 0 66491055 171180032 30459 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 41792 30459 2400 1147 0 29219 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 171360 KiB
Current children cumulated memory: 124780 KiB
[startup+12.7002 s]
/proc/loadavg: 2.30 3.57 3.91 5/270 72610
/proc/meminfo: memFree=106035460/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=170360 memory=125036 CPUtime=12.38 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 21485 0 0 0 1213 25 0 0 20 0 1 0 66491055 174448640 31259 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 42590 31259 2400 1147 0 30017 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 174552 KiB
Current children cumulated memory: 127980 KiB
[startup+25.5002 s]
/proc/loadavg: 2.68 3.60 3.91 5/271 72612
/proc/meminfo: memFree=106021372/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=173080 memory=125548 CPUtime=25.14 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 21593 0 0 0 2480 34 0 0 20 0 1 0 66491055 177233920 31387 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 43270 31387 2400 1147 0 30697 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 177272 KiB
Current children cumulated memory: 128492 KiB
[startup+51.1052 s]
/proc/loadavg: 3.20 3.64 3.92 5/271 72612
/proc/meminfo: memFree=105989976/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=201784 memory=150072 CPUtime=50.68 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 26711 0 0 0 5015 53 0 0 20 0 1 0 66491055 206626816 37518 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 50446 37518 2400 1147 0 37873 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 205976 KiB
Current children cumulated memory: 153016 KiB
[startup+102.3 s]
/proc/loadavg: 3.72 3.72 3.93 5/271 72614
/proc/meminfo: memFree=105906420/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=209532 memory=157804 CPUtime=101.73 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 28139 0 0 0 10105 68 0 0 20 0 1 0 66491055 214560768 39451 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 52383 39451 2400 1147 0 39810 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 213724 KiB
Current children cumulated memory: 160748 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 3.77 3.94 5/270 72616
/proc/meminfo: memFree=105885688/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=209532 memory=158316 CPUtime=161.57 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 28270 0 0 0 16066 91 0 0 20 0 1 0 66491055 214560768 39579 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 52383 39579 2400 1147 0 39810 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 213724 KiB
Current children cumulated memory: 161260 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.85 3.95 5/270 72619
/proc/meminfo: memFree=105868596/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=209532 memory=158316 CPUtime=221.38 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 28278 0 0 0 22029 109 0 0 20 0 1 0 66491055 214560768 39579 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 52383 39579 2400 1147 0 39810 0
Current children cumulated CPU time: 221.62 s
################
# More data... #
################
/proc/72610/statm: 59563 47590 2400 1147 0 46990 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 242444 KiB
Current children cumulated memory: 193304 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 72806
/proc/meminfo: memFree=105684080/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=238252 memory=190360 CPUtime=3094.12 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 32546 0 0 0 308301 1111 0 0 20 0 1 0 66491055 243970048 47590 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 59563 47590 2400 1147 0 46990 0
Current children cumulated CPU time: 3094.36 s
Current children cumulated vsize: 242444 KiB
Current children cumulated memory: 193304 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 72808
/proc/meminfo: memFree=105645372/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=299716 memory=229084 CPUtime=3153.95 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 34051 0 0 0 314251 1144 0 0 20 0 1 0 66491055 306909184 57271 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 74929 57271 2400 1147 0 62356 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 303908 KiB
Current children cumulated memory: 232028 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/267 72810
/proc/meminfo: memFree=105636484/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=299716 memory=229084 CPUtime=3213.79 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 34051 0 0 0 320217 1162 0 0 20 0 1 0 66491055 306909184 57271 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 74929 57271 2400 1147 0 62356 0
Current children cumulated CPU time: 3214.03 s
Current children cumulated vsize: 303908 KiB
Current children cumulated memory: 232028 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 72813
/proc/meminfo: memFree=105624324/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=299716 memory=229084 CPUtime=3273.62 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 34051 0 0 0 326165 1197 0 0 20 0 1 0 66491055 306909184 57271 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 74929 57271 2400 1147 0 62356 0
Current children cumulated CPU time: 3273.86 s
Current children cumulated vsize: 303908 KiB
Current children cumulated memory: 232028 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 72815
/proc/meminfo: memFree=105634828/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=299716 memory=229084 CPUtime=3333.46 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 34051 0 0 0 332132 1214 0 0 20 0 1 0 66491055 306909184 57271 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 74929 57271 2400 1147 0 62356 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 303908 KiB
Current children cumulated memory: 232028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/268 72817
/proc/meminfo: memFree=105633712/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=299716 memory=229084 CPUtime=3393.29 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 34051 0 0 0 338091 1238 0 0 20 0 1 0 66491055 306909184 57271 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 74929 57271 2400 1147 0 62356 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 303908 KiB
Current children cumulated memory: 232028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 72819
/proc/meminfo: memFree=105634148/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=299716 memory=229084 CPUtime=3453.13 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 34051 0 0 0 344056 1257 0 0 20 0 1 0 66491055 306909184 57271 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 74929 57271 2400 1147 0 62356 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 303908 KiB
Current children cumulated memory: 232028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 72821
/proc/meminfo: memFree=105633556/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=299716 memory=229084 CPUtime=3512.95 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 34051 0 0 0 350010 1285 0 0 20 0 1 0 66491055 306909184 57271 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 74929 57271 2400 1147 0 62356 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 303908 KiB
Current children cumulated memory: 232028 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 72838
/proc/meminfo: memFree=105629384/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=299716 memory=229084 CPUtime=3572.79 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 34051 0 0 0 355972 1307 0 0 20 0 1 0 66491055 306909184 57271 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 74929 57271 2400 1147 0 62356 0
Current children cumulated CPU time: 3573.03 s
Current children cumulated vsize: 303908 KiB
Current children cumulated memory: 232028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.07 4.08 4.09 4/263 72850
/proc/meminfo: memFree=105906528/131249988 swapFree=33010160/33010684
[pid=72603] ppid=72586 vsize=4192 memory=2944 CPUtime=0.24 cores=1,3
/proc/72603/stat : 72603 (run-opt-ls.sh) S 72586 72603 72530 0 -1 4194304 239 10988 0 0 0 0 22 2 20 0 1 0 66491028 4292608 736 18446744073709551615 94360810196992 94360811091525 140733867273280 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94360811330576 94360811378320 94360831909888 140733867280743 140733867280869 140733867280869 140733867286471 0
/proc/72603/statm: 1048 736 672 219 0 110 0
[pid=72610] ppid=72603 vsize=299716 memory=229084 CPUtime=3599.81 cores=1,3
/proc/72610/stat : 72610 (roundingsat) R 72603 72603 72530 0 -1 4194304 34051 0 0 0 358661 1320 0 0 20 0 1 0 66491055 306909184 57271 18446744073709551615 4227072 8923433 140735957838352 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 29429760 140735957846342 140735957846568 140735957846568 140735957852138 0
/proc/72610/statm: 74929 57271 2400 1147 0 62356 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 303908 KiB
Current children cumulated memory: 232028 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.4 s]
# the end of solver process 72603 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.222004 s, system=0.026287 s
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 72610 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.85 s, system=13.2361 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): 3586.85
CPU system time (s): 13.2361
CPU usage (%): 99.7416
Max. virtual memory (cumulated for all children) (KiB): 303908
Max. memory (cumulated for all children) (KiB): 232028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.85
system time used= 13.2361
maximum resident set size= 229596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45301
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= 274
involuntary context switches= 1168
# summary of solver processes directly reported to runsolver:
# pid: 72603,72610
# total CPU time (s): 3600.08
# total CPU user time (s): 3586.85
# total CPU system time (s): 13.2361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22958 second user time and 15.7033 second system time
The end
Begin job on nodeC034 at 2025-07-03 04:02:02
IDJOB=4507954
IDBENCH=158390
IDSOLVER=3355
FILE ID=nodeC034/4507954-1751508122
RUNJOBID= nodeC034-1751508121-72544
SLURM_JOB_ID= 9598604
Free space on /tmp= 431144 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507954-1751508122/watcher-4507954-1751508122 -o /tmp/evaluation-result-4507954-1751508122/solver-4507954-1751508122 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751508121-72544 --watchdog 3760 run-opt-ls.sh HOME/instance-4507954-1751508122.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=1159050467
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 : 3600.700
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.737
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 : 3599.721
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 : 3597.190
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.172
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 : 3600.104
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 : 3599.708
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 : 3598.338
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: 106533152 kB
MemAvailable: 129721700 kB
Buffers: 2128 kB
Cached: 23927696 kB
SwapCached: 36 kB
Active: 555832 kB
Inactive: 23453104 kB
Active(anon): 92972 kB
Inactive(anon): 4208 kB
Active(file): 462860 kB
Inactive(file): 23448896 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32668 kB
Writeback: 8 kB
AnonPages: 82236 kB
Mapped: 103736 kB
Shmem: 18068 kB
KReclaimable: 231664 kB
Slab: 324780 kB
SReclaimable: 231664 kB
SUnreclaim: 93116 kB
KernelStack: 4144 kB
PageTables: 2876 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 340808 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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= 431104 MiB
End job on nodeC034 at 2025-07-03 05:02:11