0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4508092-1751511733.opb'
0.00/0.03 c read 1.11MB (14.99ms)
0.00/0.03 c [cnf: #variables 9324 #clauses 28661 #duplicates 0 #arr 100770]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 2664] (17.38ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.08 c found row 11x666, generating row predicate
0.00/0.08 c (32.22ms)
0.00/0.08 c
0.00/0.08 c detect symmetries on remainder
0.00/0.08 c [graph: #vertices 80207 #edges 285984]
0.00/0.08 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.11 c [group: #symmetries 1.24*10^7 #generators 13] (34.37ms)
0.08/0.11 c
0.08/0.11 c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.11 c ran it=0, +gens=2
0.18/0.24 c con best_support=1332, best_gens=13, +gens=224
0.18/0.24 c (122.58ms)
0.18/0.24 c
0.18/0.24 c finalize break order and special generators
0.18/0.24 c
0.18/0.24 c add generic predicates (break_depth=20)
0.18/0.24 c added predicates for 239 generators (6.65ms)
0.18/0.24 c
0.18/0.24 c generation finished
0.18/0.24 c [sbp: #constraints 33822 #add_vars 11191]
0.18/0.24 c
0.18/0.24 c write result to 'HOME/instance-4508092-1751511733.opb.pre'
0.18/0.25 c wrote 2.40MB (5.27ms)
0.18/0.25 c ------------------------------------------------------------------
0.18/0.25 c 122.58ms 51.95% optimize_gens
0.18/0.25 c 34.37ms 14.57% detect_generic
0.18/0.25 c 32.22ms 13.65% detect_special
0.18/0.25 c 17.38ms 7.36% approx_orbits
0.18/0.25 c 14.99ms 6.35% parse
0.18/0.25 c 6.65ms 2.82% break_generic
0.18/0.25 c 5.27ms 2.23% output
0.18/0.25 c 1.36ms 0.58% finalize_order
0.18/0.25 c 1.13ms 0.48% other
0.18/0.25 c ───────────────────────────────────────────────
0.18/0.25 c 235.94ms 100% total
0.18/0.25 c ------------------------------------------------------------------
0.18/0.26 c RoundingSat 2
0.18/0.26 c branch pb25
0.18/0.26 c commit 63f22ad
0.47/0.53 c #variables 20515 #constraints 62482
0.47/0.53 c objective is ce32
0.65/0.78 c initial watched CF 32, 64, 128, Arb: 840 , 0 , 0 , 0
0.65/0.78 c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.65/0.78 c bounds 155 >= 0 @ 0.438327
5.24/5.38 c #Conflicts: 1000 | #Constraints: 63482
5.24/5.38 c #Conflicts: 2000 | #Constraints: 64482
5.24/5.38 c INPROCESSING
5.24/5.38 c bounds 155 >= 10 @ 4.9551
5.24/5.38 c bounds 155 >= 20 @ 4.95732
5.34/5.49 c #Conflicts: 3000 | #Constraints: 64515
5.34/5.49 c bounds 155 >= 30 @ 5.06437
29.38/29.59 c #Conflicts: 4000 | #Constraints: 65524
29.38/29.59 c INPROCESSING
29.38/29.59 c GARBAGE COLLECT
29.38/29.59 c #Conflicts: 5000 | #Constraints: 64933
29.38/29.59 c #Conflicts: 6000 | #Constraints: 65933
29.38/29.59 c INPROCESSING
29.38/29.59 c #Conflicts: 7000 | #Constraints: 64925
29.38/29.59 c #Conflicts: 8000 | #Constraints: 65925
29.38/29.59 c #Conflicts: 9000 | #Constraints: 66925
29.38/29.59 c INPROCESSING
29.38/29.59 c GARBAGE COLLECT
29.38/29.59 c rational objective 30
29.88/30.08 c #Conflicts: 10000 | #Constraints: 65663
29.88/30.08 c bounds 147 >= 30 @ 29.351
29.88/30.09 c bounds 145 >= 30 @ 29.3565
88.62/88.91 c #Conflicts: 11000 | #Constraints: 66665
88.62/88.91 c #Conflicts: 12000 | #Constraints: 67665
88.62/88.91 c INPROCESSING
88.62/88.91 c GARBAGE COLLECT
88.62/88.91 c #Conflicts: 13000 | #Constraints: 66116
88.62/88.91 c #Conflicts: 14000 | #Constraints: 67116
88.62/88.91 c #Conflicts: 15000 | #Constraints: 68116
88.62/88.91 c INPROCESSING
88.62/88.91 c #Conflicts: 16000 | #Constraints: 66350
88.62/88.91 c #Conflicts: 17000 | #Constraints: 67350
88.62/88.91 c #Conflicts: 18000 | #Constraints: 68350
88.62/88.91 c INPROCESSING
88.62/88.91 c GARBAGE COLLECT
88.62/88.91 c #Conflicts: 19000 | #Constraints: 66367
88.62/88.91 c #Conflicts: 20000 | #Constraints: 67367
88.62/88.91 c #Conflicts: 21000 | #Constraints: 68367
88.62/88.91 c INPROCESSING
88.62/88.91 c rational objective 30
124.81/125.25 c #Conflicts: 22000 | #Constraints: 66226
124.81/125.25 c #Conflicts: 23000 | #Constraints: 67226
124.81/125.25 c bounds 145 >= 35 @ 123.937
147.24/147.78 c #Conflicts: 24000 | #Constraints: 68229
147.24/147.78 c #Conflicts: 25000 | #Constraints: 69229
147.24/147.78 c INPROCESSING
147.24/147.78 c GARBAGE COLLECT
147.24/147.78 c #Conflicts: 26000 | #Constraints: 66809
147.24/147.78 c #Conflicts: 27000 | #Constraints: 67809
147.24/147.78 c #Conflicts: 28000 | #Constraints: 68809
147.24/147.78 c #Conflicts: 29000 | #Constraints: 69809
147.24/147.78 c INPROCESSING
147.24/147.78 c GARBAGE COLLECT
147.24/147.78 c #Conflicts: 30000 | #Constraints: 67196
147.24/147.78 c #Conflicts: 31000 | #Constraints: 68196
147.24/147.78 c #Conflicts: 32000 | #Constraints: 69196
147.24/147.78 c #Conflicts: 33000 | #Constraints: 70196
147.24/147.78 c INPROCESSING
147.24/147.78 c GARBAGE COLLECT
147.24/147.78 c #Conflicts: 34000 | #Constraints: 67386
147.24/147.78 c #Conflicts: 35000 | #Constraints: 68386
147.24/147.78 c #Conflicts: 36000 | #Constraints: 69386
147.24/147.78 c #Conflicts: 37000 | #Constraints: 70386
147.24/147.78 c INPROCESSING
147.24/147.78 c GARBAGE COLLECT
147.24/147.78 c #Conflicts: 38000 | #Constraints: 67381
147.24/147.78 c #Conflicts: 39000 | #Constraints: 68381
147.24/147.78 c #Conflicts: 40000 | #Constraints: 69381
147.24/147.78 c #Conflicts: 41000 | #Constraints: 70381
147.24/147.78 c INPROCESSING
147.24/147.78 c GARBAGE COLLECT
147.24/147.78 c #Conflicts: 42000 | #Constraints: 67187
147.24/147.78 c #Conflicts: 43000 | #Constraints: 68187
147.24/147.78 c #Conflicts: 44000 | #Constraints: 69187
147.24/147.78 c #Conflicts: 45000 | #Constraints: 70187
147.24/147.78 c #Conflicts: 46000 | #Constraints: 71187
147.24/147.78 c INPROCESSING
147.24/147.78 c GARBAGE COLLECT
147.24/147.78 c #Conflicts: 47000 | #Constraints: 67784
147.24/147.78 c #Conflicts: 48000 | #Constraints: 68784
147.24/147.78 c #Conflicts: 49000 | #Constraints: 69784
147.24/147.78 c #Conflicts: 50000 | #Constraints: 70784
147.24/147.78 c #Conflicts: 51000 | #Constraints: 71784
147.24/147.78 c INPROCESSING
147.24/147.78 c GARBAGE COLLECT
147.24/147.78 c rational objective 35
201.40/202.01 c #Conflicts: 52000 | #Constraints: 68192
201.40/202.01 c #Conflicts: 53000 | #Constraints: 69192
201.40/202.01 c #Conflicts: 54000 | #Constraints: 70192
201.40/202.01 c #Conflicts: 55000 | #Constraints: 71192
201.40/202.01 c #Conflicts: 56000 | #Constraints: 72192
201.40/202.01 c INPROCESSING
201.40/202.01 c GARBAGE COLLECT
201.40/202.01 c rational objective 35
230.72/231.47 c #Conflicts: 57000 | #Constraints: 68439
230.72/231.47 c #Conflicts: 58000 | #Constraints: 69439
230.72/231.47 c #Conflicts: 59000 | #Constraints: 70439
230.72/231.47 c #Conflicts: 60000 | #Constraints: 71439
230.72/231.47 c #Conflicts: 61000 | #Constraints: 72439
230.72/231.47 c INPROCESSING
230.72/231.47 c GARBAGE COLLECT
230.72/231.47 c #Conflicts: 62000 | #Constraints: 68416
230.72/231.47 c #Conflicts: 63000 | #Constraints: 69416
230.72/231.47 c #Conflicts: 64000 | #Constraints: 70416
230.72/231.47 c #Conflicts: 65000 | #Constraints: 71416
230.72/231.47 c #Conflicts: 66000 | #Constraints: 72416
230.72/231.47 c INPROCESSING
230.72/231.47 c GARBAGE COLLECT
230.72/231.47 c #Conflicts: 67000 | #Constraints: 68202
230.72/231.47 c #Conflicts: 68000 | #Constraints: 69202
230.72/231.47 c #Conflicts: 69000 | #Constraints: 70202
230.72/231.47 c #Conflicts: 70000 | #Constraints: 71202
230.72/231.47 c #Conflicts: 71000 | #Constraints: 72202
230.72/231.47 c #Conflicts: 72000 | #Constraints: 73202
230.72/231.47 c INPROCESSING
230.72/231.47 c GARBAGE COLLECT
230.72/231.47 c #Conflicts: 73000 | #Constraints: 68798
230.72/231.47 c #Conflicts: 74000 | #Constraints: 69798
230.72/231.47 c #Conflicts: 75000 | #Constraints: 70798
230.72/231.47 c #Conflicts: 76000 | #Constraints: 71798
230.72/231.47 c #Conflicts: 77000 | #Constraints: 72798
230.72/231.47 c #Conflicts: 78000 | #Constraints: 73798
230.72/231.47 c INPROCESSING
230.72/231.47 c GARBAGE COLLECT
230.72/231.47 c #Conflicts: 79000 | #Constraints: 69189
230.72/231.47 c #Conflicts: 80000 | #Constraints: 70189
230.72/231.47 c #Conflicts: 81000 | #Constraints: 71189
230.72/231.47 c #Conflicts: 82000 | #Constraints: 72189
230.72/231.47 c #Conflicts: 83000 | #Constraints: 73189
230.72/231.47 c #Conflicts: 84000 | #Constraints: 74189
230.72/231.47 c INPROCESSING
230.72/231.47 c GARBAGE COLLECT
230.72/231.47 c rational objective 35
284.59/285.48 c #Conflicts: 85000 | #Constraints: 69394
284.59/285.48 c #Conflicts: 86000 | #Constraints: 70394
284.59/285.48 c #Conflicts: 87000 | #Constraints: 71394
284.59/285.48 c #Conflicts: 88000 | #Constraints: 72394
284.59/285.48 c #Conflicts: 89000 | #Constraints: 73394
284.59/285.48 c #Conflicts: 90000 | #Constraints: 74394
284.59/285.48 c INPROCESSING
284.59/285.48 c GARBAGE COLLECT
284.59/285.48 c rational objective 35
339.95/340.99 c #Conflicts: 91000 | #Constraints: 69408
339.95/340.99 c #Conflicts: 92000 | #Constraints: 70408
339.95/340.99 c #Conflicts: 93000 | #Constraints: 71408
339.95/340.99 c #Conflicts: 94000 | #Constraints: 72408
339.95/340.99 c #Conflicts: 95000 | #Constraints: 73408
339.95/340.99 c #Conflicts: 96000 | #Constraints: 74408
339.95/340.99 c INPROCESSING
339.95/340.99 c GARBAGE COLLECT
339.95/340.99 c rational objective 35
387.64/388.73 c #Conflicts: 97000 | #Constraints: 69208
387.64/388.73 c #Conflicts: 98000 | #Constraints: 70208
387.64/388.73 c #Conflicts: 99000 | #Constraints: 71208
387.64/388.73 c #Conflicts: 100000 | #Constraints: 72208
387.64/388.73 c #Conflicts: 101000 | #Constraints: 73208
387.64/388.73 c #Conflicts: 102000 | #Constraints: 74208
387.64/388.73 c #Conflicts: 103000 | #Constraints: 75208
387.64/388.73 c INPROCESSING
387.64/388.73 c GARBAGE COLLECT
387.64/388.73 c #Conflicts: 104000 | #Constraints: 69794
387.64/388.73 c #Conflicts: 105000 | #Constraints: 70794
387.64/388.73 c #Conflicts: 106000 | #Constraints: 71794
387.64/388.73 c #Conflicts: 107000 | #Constraints: 72794
387.64/388.73 c #Conflicts: 108000 | #Constraints: 73794
387.64/388.73 c #Conflicts: 109000 | #Constraints: 74794
387.64/388.73 c #Conflicts: 110000 | #Constraints: 75794
387.64/388.73 c INPROCESSING
387.64/388.73 c GARBAGE COLLECT
387.64/388.73 c #Conflicts: 111000 | #Constraints: 70198
387.64/388.73 c #Conflicts: 112000 | #Constraints: 71198
387.64/388.73 c #Conflicts: 113000 | #Constraints: 72198
387.64/388.73 c #Conflicts: 114000 | #Constraints: 73198
387.64/388.73 c #Conflicts: 115000 | #Constraints: 74198
387.64/388.73 c #Conflicts: 116000 | #Constraints: 75198
387.64/388.73 c #Conflicts: 117000 | #Constraints: 76198
387.64/388.73 c INPROCESSING
387.64/388.73 c GARBAGE COLLECT
387.64/388.73 c #Conflicts: 118000 | #Constraints: 70397
387.64/388.73 c #Conflicts: 119000 | #Constraints: 71397
387.64/388.73 c #Conflicts: 120000 | #Constraints: 72397
387.64/388.73 c #Conflicts: 121000 | #Constraints: 73397
387.64/388.73 c #Conflicts: 122000 | #Constraints: 74397
387.64/388.73 c #Conflicts: 123000 | #Constraints: 75397
387.64/388.73 c #Conflicts: 124000 | #Constraints: 76397
387.64/388.73 c INPROCESSING
387.64/388.73 c GARBAGE COLLECT
387.64/388.73 c #Conflicts: 125000 | #Constraints: 70397
387.64/388.73 c #Conflicts: 126000 | #Constraints: 71397
387.64/388.73 c #Conflicts: 127000 | #Constraints: 72397
387.64/388.73 c #Conflicts: 128000 | #Constraints: 73397
387.64/388.73 c #Conflicts: 129000 | #Constraints: 74397
387.64/388.73 c #Conflicts: 130000 | #Constraints: 75397
387.64/388.73 c #Conflicts: 131000 | #Constraints: 76397
387.64/388.73 c INPROCESSING
387.64/388.73 c GARBAGE COLLECT
387.64/388.73 c rational objective 35
442.31/443.56 c #Conflicts: 132000 | #Constraints: 70191
442.31/443.56 c #Conflicts: 133000 | #Constraints: 71191
442.31/443.56 c #Conflicts: 134000 | #Constraints: 72191
442.31/443.56 c #Conflicts: 135000 | #Constraints: 73191
442.31/443.56 c #Conflicts: 136000 | #Constraints: 74191
442.31/443.56 c #Conflicts: 137000 | #Constraints: 75191
442.31/443.56 c #Conflicts: 138000 | #Constraints: 76191
442.31/443.56 c #Conflicts: 139000 | #Constraints: 77191
442.31/443.56 c INPROCESSING
442.31/443.56 c GARBAGE COLLECT
442.31/443.56 c rational objective 35
484.01/485.37 c #Conflicts: 140000 | #Constraints: 70856
484.01/485.37 c #Conflicts: 141000 | #Constraints: 71856
484.01/485.37 c #Conflicts: 142000 | #Constraints: 72856
484.01/485.37 c #Conflicts: 143000 | #Constraints: 73856
484.01/485.37 c #Conflicts: 144000 | #Constraints: 74856
484.01/485.37 c #Conflicts: 145000 | #Constraints: 75856
484.01/485.37 c #Conflicts: 146000 | #Constraints: 76856
484.01/485.37 c #Conflicts: 147000 | #Constraints: 77856
484.01/485.37 c INPROCESSING
484.01/485.37 c GARBAGE COLLECT
484.01/485.37 c #Conflicts: 148000 | #Constraints: 71228
484.01/485.37 c #Conflicts: 149000 | #Constraints: 72228
484.01/485.37 c #Conflicts: 150000 | #Constraints: 73228
484.01/485.37 c #Conflicts: 151000 | #Constraints: 74228
484.01/485.37 c #Conflicts: 152000 | #Constraints: 75228
484.01/485.37 c #Conflicts: 153000 | #Constraints: 76228
484.01/485.37 c #Conflicts: 154000 | #Constraints: 77228
484.01/485.37 c #Conflicts: 155000 | #Constraints: 78228
484.01/485.37 c INPROCESSING
484.01/485.37 c GARBAGE COLLECT
484.01/485.37 c #Conflicts: 156000 | #Constraints: 71409
484.01/485.37 c #Conflicts: 157000 | #Constraints: 72409
484.01/485.37 c #Conflicts: 158000 | #Constraints: 73409
484.01/485.37 c #Conflicts: 159000 | #Constraints: 74409
484.01/485.37 c #Conflicts: 160000 | #Constraints: 75409
484.01/485.37 c #Conflicts: 161000 | #Constraints: 76409
484.01/485.37 c #Conflicts: 162000 | #Constraints: 77409
484.01/485.37 c #Conflicts: 163000 | #Constraints: 78409
484.01/485.37 c INPROCESSING
484.01/485.37 c GARBAGE COLLECT
484.01/485.37 c #Conflicts: 164000 | #Constraints: 71398
484.01/485.37 c #Conflicts: 165000 | #Constraints: 72398
484.01/485.37 c #Conflicts: 166000 | #Constraints: 73398
484.01/485.37 c #Conflicts: 167000 | #Constraints: 74398
484.01/485.37 c #Conflicts: 168000 | #Constraints: 75398
484.01/485.37 c #Conflicts: 169000 | #Constraints: 76398
484.01/485.37 c #Conflicts: 170000 | #Constraints: 77398
484.01/485.37 c #Conflicts: 171000 | #Constraints: 78398
484.01/485.37 c INPROCESSING
484.01/485.37 c GARBAGE COLLECT
484.01/485.37 c rational objective 35
505.67/507.10 c #Conflicts: 172000 | #Constraints: 71193
505.67/507.10 c #Conflicts: 173000 | #Constraints: 72193
505.67/507.10 c #Conflicts: 174000 | #Constraints: 73193
505.67/507.10 c #Conflicts: 175000 | #Constraints: 74193
505.67/507.10 c #Conflicts: 176000 | #Constraints: 75193
505.67/507.10 c #Conflicts: 177000 | #Constraints: 76193
505.67/507.10 c #Conflicts: 178000 | #Constraints: 77193
505.67/507.10 c #Conflicts: 179000 | #Constraints: 78193
505.67/507.10 c #Conflicts: 180000 | #Constraints: 79193
505.67/507.10 c INPROCESSING
505.67/507.10 c GARBAGE COLLECT
505.67/507.10 c #Conflicts: 181000 | #Constraints: 71804
505.67/507.10 c #Conflicts: 182000 | #Constraints: 72804
505.67/507.10 c #Conflicts: 183000 | #Constraints: 73804
505.67/507.10 c #Conflicts: 184000 | #Constraints: 74804
505.67/507.10 c #Conflicts: 185000 | #Constraints: 75804
505.67/507.10 c #Conflicts: 186000 | #Constraints: 76804
505.67/507.10 c #Conflicts: 187000 | #Constraints: 77804
505.67/507.10 c #Conflicts: 188000 | #Constraints: 78804
505.67/507.10 c #Conflicts: 189000 | #Constraints: 79804
505.67/507.10 c INPROCESSING
505.67/507.10 c GARBAGE COLLECT
505.67/507.10 c rational objective 35
547.56/549.05 c #Conflicts: 190000 | #Constraints: 72199
547.56/549.05 c #Conflicts: 191000 | #Constraints: 73199
547.56/549.05 c #Conflicts: 192000 | #Constraints: 74199
547.56/549.05 c #Conflicts: 193000 | #Constraints: 75199
547.56/549.05 c #Conflicts: 194000 | #Constraints: 76199
547.56/549.05 c #Conflicts: 195000 | #Constraints: 77199
547.56/549.05 c #Conflicts: 196000 | #Constraints: 78199
547.56/549.05 c #Conflicts: 197000 | #Constraints: 79199
547.56/549.05 c #Conflicts: 198000 | #Constraints: 80199
547.56/549.05 c INPROCESSING
547.56/549.05 c GARBAGE COLLECT
547.56/549.05 c rational objective 35
601.73/603.35 c #Conflicts: 199000 | #Constraints: 72472
601.73/603.35 c #Conflicts: 200000 | #Constraints: 73472
601.73/603.35 c #Conflicts: 201000 | #Constraints: 74472
601.73/603.35 c #Conflicts: 202000 | #Constraints: 75472
601.73/603.35 c #Conflicts: 203000 | #Constraints: 76472
601.73/603.35 c #Conflicts: 204000 | #Constraints: 77472
601.73/603.35 c #Conflicts: 205000 | #Constraints: 78472
601.73/603.35 c #Conflicts: 206000 | #Constraints: 79472
601.73/603.35 c #Conflicts: 207000 | #Constraints: 80472
601.73/603.35 c INPROCESSING
601.73/603.35 c GARBAGE COLLECT
601.73/603.35 c rational objective 35
635.05/636.78 c #Conflicts: 208000 | #Constraints: 72482
635.05/636.78 c #Conflicts: 209000 | #Constraints: 73482
635.05/636.78 c #Conflicts: 210000 | #Constraints: 74482
635.05/636.78 c #Conflicts: 211000 | #Constraints: 75482
635.05/636.78 c #Conflicts: 212000 | #Constraints: 76482
635.05/636.78 c #Conflicts: 213000 | #Constraints: 77482
635.05/636.78 c #Conflicts: 214000 | #Constraints: 78482
635.05/636.78 c #Conflicts: 215000 | #Constraints: 79482
635.05/636.78 c #Conflicts: 216000 | #Constraints: 80482
635.05/636.78 c INPROCESSING
635.05/636.78 c GARBAGE COLLECT
635.05/636.78 c #Conflicts: 217000 | #Constraints: 72244
635.05/636.78 c #Conflicts: 218000 | #Constraints: 73244
635.05/636.78 c #Conflicts: 219000 | #Constraints: 74244
635.05/636.78 c #Conflicts: 220000 | #Constraints: 75244
635.05/636.78 c #Conflicts: 221000 | #Constraints: 76244
635.05/636.78 c #Conflicts: 222000 | #Constraints: 77244
635.05/636.78 c #Conflicts: 223000 | #Constraints: 78244
635.05/636.78 c #Conflicts: 224000 | #Constraints: 79244
635.05/636.78 c #Conflicts: 225000 | #Constraints: 80244
635.05/636.78 c #Conflicts: 226000 | #Constraints: 81244
635.05/636.78 c INPROCESSING
635.05/636.78 c GARBAGE COLLECT
635.05/636.78 c rational objective 35
681.54/683.32 c #Conflicts: 227000 | #Constraints: 72874
681.54/683.32 c #Conflicts: 228000 | #Constraints: 73874
681.54/683.32 c #Conflicts: 229000 | #Constraints: 74874
681.54/683.32 c #Conflicts: 230000 | #Constraints: 75874
681.54/683.32 c #Conflicts: 231000 | #Constraints: 76874
681.54/683.32 c #Conflicts: 232000 | #Constraints: 77874
681.54/683.32 c #Conflicts: 233000 | #Constraints: 78874
681.54/683.32 c #Conflicts: 234000 | #Constraints: 79874
681.54/683.32 c #Conflicts: 235000 | #Constraints: 80874
681.54/683.32 c #Conflicts: 236000 | #Constraints: 81874
681.54/683.32 c INPROCESSING
681.54/683.32 c GARBAGE COLLECT
681.54/683.32 c #Conflicts: 237000 | #Constraints: 73234
681.54/683.32 c #Conflicts: 238000 | #Constraints: 74234
681.54/683.32 c #Conflicts: 239000 | #Constraints: 75234
681.54/683.32 c #Conflicts: 240000 | #Constraints: 76234
681.54/683.32 c #Conflicts: 241000 | #Constraints: 77234
681.54/683.32 c #Conflicts: 242000 | #Constraints: 78234
681.54/683.32 c #Conflicts: 243000 | #Constraints: 79234
681.54/683.32 c #Conflicts: 244000 | #Constraints: 80234
681.54/683.32 c #Conflicts: 245000 | #Constraints: 81234
681.54/683.32 c #Conflicts: 246000 | #Constraints: 82234
681.54/683.32 c INPROCESSING
681.54/683.32 c GARBAGE COLLECT
681.54/683.32 c rational objective 35
681.95/683.77 c bounds 145 >= 40 @ 678.568
732.92/734.88 c #Conflicts: 247000 | #Constraints: 73474
732.92/734.88 c #Conflicts: 248000 | #Constraints: 74474
732.92/734.88 c #Conflicts: 249000 | #Constraints: 75474
732.92/734.88 c #Conflicts: 250000 | #Constraints: 76474
732.92/734.88 c #Conflicts: 251000 | #Constraints: 77474
732.92/734.88 c #Conflicts: 252000 | #Constraints: 78474
732.92/734.88 c #Conflicts: 253000 | #Constraints: 79474
732.92/734.88 c #Conflicts: 254000 | #Constraints: 80474
732.92/734.88 c #Conflicts: 255000 | #Constraints: 81474
732.92/734.88 c #Conflicts: 256000 | #Constraints: 82474
732.92/734.88 c INPROCESSING
732.92/734.88 c GARBAGE COLLECT
732.92/734.88 c rational objective 40
767.34/769.37 c #Conflicts: 257000 | #Constraints: 73464
767.34/769.37 c #Conflicts: 258000 | #Constraints: 74464
767.34/769.37 c #Conflicts: 259000 | #Constraints: 75464
767.34/769.37 c #Conflicts: 260000 | #Constraints: 76464
767.34/769.37 c #Conflicts: 261000 | #Constraints: 77464
767.34/769.37 c #Conflicts: 262000 | #Constraints: 78464
767.34/769.37 c #Conflicts: 263000 | #Constraints: 79464
767.34/769.37 c #Conflicts: 264000 | #Constraints: 80464
767.34/769.37 c #Conflicts: 265000 | #Constraints: 81464
767.34/769.37 c #Conflicts: 266000 | #Constraints: 82464
767.34/769.37 c INPROCESSING
767.34/769.37 c GARBAGE COLLECT
767.34/769.37 c #Conflicts: 267000 | #Constraints: 73228
767.34/769.37 c #Conflicts: 268000 | #Constraints: 74228
767.34/769.37 c #Conflicts: 269000 | #Constraints: 75228
767.34/769.37 c #Conflicts: 270000 | #Constraints: 76228
767.34/769.37 c #Conflicts: 271000 | #Constraints: 77228
767.34/769.37 c #Conflicts: 272000 | #Constraints: 78228
767.34/769.37 c #Conflicts: 273000 | #Constraints: 79228
767.34/769.37 c #Conflicts: 274000 | #Constraints: 80228
767.34/769.37 c #Conflicts: 275000 | #Constraints: 81228
767.34/769.37 c #Conflicts: 276000 | #Constraints: 82228
767.34/769.37 c #Conflicts: 277000 | #Constraints: 83228
767.34/769.37 c INPROCESSING
767.34/769.37 c GARBAGE COLLECT
767.34/769.37 c #Conflicts: 278000 | #Constraints: 73814
767.34/769.37 c #Conflicts: 279000 | #Constraints: 74814
767.34/769.37 c #Conflicts: 280000 | #Constraints: 75814
767.34/769.37 c #Conflicts: 281000 | #Constraints: 76814
767.34/769.37 c #Conflicts: 282000 | #Constraints: 77814
767.34/769.37 c #Conflicts: 283000 | #Constraints: 78814
767.34/769.37 c #Conflicts: 284000 | #Constraints: 79814
767.34/769.37 c #Conflicts: 285000 | #Constraints: 80814
767.34/769.37 c #Conflicts: 286000 | #Constraints: 81814
767.34/769.37 c #Conflicts: 287000 | #Constraints: 82814
767.34/769.37 c #Conflicts: 288000 | #Constraints: 83814
767.34/769.37 c INPROCESSING
767.34/769.37 c GARBAGE COLLECT
767.34/769.37 c rational objective 40
794.88/797.00 c #Conflicts: 289000 | #Constraints: 74210
794.88/797.00 c #Conflicts: 290000 | #Constraints: 75210
794.88/797.00 c #Conflicts: 291000 | #Constraints: 76210
794.88/797.00 c #Conflicts: 292000 | #Constraints: 77210
794.88/797.00 c #Conflicts: 293000 | #Constraints: 78210
794.88/797.00 c #Conflicts: 294000 | #Constraints: 79210
794.88/797.00 c #Conflicts: 295000 | #Constraints: 80210
794.88/797.00 c #Conflicts: 296000 | #Constraints: 81210
794.88/797.00 c #Conflicts: 297000 | #Constraints: 82210
794.88/797.00 c #Conflicts: 298000 | #Constraints: 83210
794.88/797.00 c #Conflicts: 299000 | #Constraints: 84210
794.88/797.00 c INPROCESSING
794.88/797.00 c GARBAGE COLLECT
794.88/797.00 c rational objective 40
849.95/852.12 c #Conflicts: 300000 | #Constraints: 74419
849.95/852.12 c #Conflicts: 301000 | #Constraints: 75419
849.95/852.12 c #Conflicts: 302000 | #Constraints: 76419
849.95/852.12 c #Conflicts: 303000 | #Constraints: 77419
849.95/852.12 c #Conflicts: 304000 | #Constraints: 78419
849.95/852.12 c #Conflicts: 305000 | #Constraints: 79419
849.95/852.12 c #Conflicts: 306000 | #Constraints: 80419
849.95/852.12 c #Conflicts: 307000 | #Constraints: 81419
849.95/852.12 c #Conflicts: 308000 | #Constraints: 82419
849.95/852.12 c #Conflicts: 309000 | #Constraints: 83419
849.95/852.12 c #Conflicts: 310000 | #Constraints: 84419
849.95/852.12 c INPROCESSING
849.95/852.12 c GARBAGE COLLECT
849.95/852.12 c rational objective 40
877.58/879.87 c #Conflicts: 311000 | #Constraints: 74411
877.58/879.87 c #Conflicts: 312000 | #Constraints: 75411
877.58/879.87 c #Conflicts: 313000 | #Constraints: 76411
877.58/879.87 c #Conflicts: 314000 | #Constraints: 77411
877.58/879.87 c #Conflicts: 315000 | #Constraints: 78411
877.58/879.87 c #Conflicts: 316000 | #Constraints: 79411
877.58/879.87 c #Conflicts: 317000 | #Constraints: 80411
877.58/879.87 c #Conflicts: 318000 | #Constraints: 81411
877.58/879.87 c #Conflicts: 319000 | #Constraints: 82411
877.58/879.87 c #Conflicts: 320000 | #Constraints: 83411
877.58/879.87 c #Conflicts: 321000 | #Constraints: 84411
877.58/879.87 c INPROCESSING
877.58/879.87 c GARBAGE COLLECT
877.58/879.87 c rational objective 40
926.16/928.59 c #Conflicts: 322000 | #Constraints: 74208
926.16/928.59 c #Conflicts: 323000 | #Constraints: 75208
926.16/928.59 c #Conflicts: 324000 | #Constraints: 76208
926.16/928.59 c #Conflicts: 325000 | #Constraints: 77208
926.16/928.59 c #Conflicts: 326000 | #Constraints: 78208
926.16/928.59 c #Conflicts: 327000 | #Constraints: 79208
926.16/928.59 c #Conflicts: 328000 | #Constraints: 80208
926.16/928.59 c #Conflicts: 329000 | #Constraints: 81208
926.16/928.59 c #Conflicts: 330000 | #Constraints: 82208
926.16/928.59 c #Conflicts: 331000 | #Constraints: 83208
926.16/928.59 c #Conflicts: 332000 | #Constraints: 84208
926.16/928.59 c #Conflicts: 333000 | #Constraints: 85208
926.16/928.59 c INPROCESSING
926.16/928.59 c GARBAGE COLLECT
926.16/928.59 c rational objective 40
981.43/983.96 c #Conflicts: 334000 | #Constraints: 74838
981.43/983.96 c #Conflicts: 335000 | #Constraints: 75838
981.43/983.96 c #Conflicts: 336000 | #Constraints: 76838
981.43/983.96 c #Conflicts: 337000 | #Constraints: 77838
981.43/983.96 c #Conflicts: 338000 | #Constraints: 78838
981.43/983.96 c #Conflicts: 339000 | #Constraints: 79838
981.43/983.96 c #Conflicts: 340000 | #Constraints: 80838
981.43/983.96 c #Conflicts: 341000 | #Constraints: 81838
981.43/983.96 c #Conflicts: 342000 | #Constraints: 82838
981.43/983.96 c #Conflicts: 343000 | #Constraints: 83838
981.43/983.96 c #Conflicts: 344000 | #Constraints: 84838
981.43/983.96 c #Conflicts: 345000 | #Constraints: 85838
981.43/983.96 c INPROCESSING
981.43/983.96 c GARBAGE COLLECT
981.43/983.96 c rational objective 40
1028.39/1031.08 c #Conflicts: 346000 | #Constraints: 75273
1028.39/1031.08 c #Conflicts: 347000 | #Constraints: 76273
1028.39/1031.08 c #Conflicts: 348000 | #Constraints: 77273
1028.39/1031.08 c #Conflicts: 349000 | #Constraints: 78273
1028.39/1031.08 c #Conflicts: 350000 | #Constraints: 79273
1028.39/1031.08 c #Conflicts: 351000 | #Constraints: 80273
1028.39/1031.08 c #Conflicts: 352000 | #Constraints: 81273
1028.39/1031.08 c #Conflicts: 353000 | #Constraints: 82273
1028.39/1031.08 c #Conflicts: 354000 | #Constraints: 83273
1028.39/1031.08 c #Conflicts: 355000 | #Constraints: 84273
1028.39/1031.08 c #Conflicts: 356000 | #Constraints: 85273
1028.39/1031.08 c #Conflicts: 357000 | #Constraints: 86273
1028.39/1031.08 c INPROCESSING
1028.39/1031.08 c GARBAGE COLLECT
1028.39/1031.08 c #Conflicts: 358000 | #Constraints: 75441
1028.39/1031.08 c #Conflicts: 359000 | #Constraints: 76441
1028.39/1031.08 c #Conflicts: 360000 | #Constraints: 77441
1028.39/1031.08 c #Conflicts: 361000 | #Constraints: 78441
1028.39/1031.08 c #Conflicts: 362000 | #Constraints: 79441
1028.39/1031.08 c #Conflicts: 363000 | #Constraints: 80441
1028.39/1031.08 c #Conflicts: 364000 | #Constraints: 81441
1028.39/1031.08 c #Conflicts: 365000 | #Constraints: 82441
1028.39/1031.08 c #Conflicts: 366000 | #Constraints: 83441
1028.39/1031.08 c #Conflicts: 367000 | #Constraints: 84441
1028.39/1031.08 c #Conflicts: 368000 | #Constraints: 85441
1028.39/1031.08 c #Conflicts: 369000 | #Constraints: 86441
1028.39/1031.08 c INPROCESSING
1028.39/1031.08 c GARBAGE COLLECT
1028.39/1031.08 c #Conflicts: 370000 | #Constraints: 75428
1028.39/1031.08 c #Conflicts: 371000 | #Constraints: 76428
1028.39/1031.08 c #Conflicts: 372000 | #Constraints: 77428
1028.39/1031.08 c #Conflicts: 373000 | #Constraints: 78428
1028.39/1031.08 c #Conflicts: 374000 | #Constraints: 79428
1028.39/1031.08 c #Conflicts: 375000 | #Constraints: 80428
1028.39/1031.08 c #Conflicts: 376000 | #Constraints: 81428
1028.39/1031.08 c #Conflicts: 377000 | #Constraints: 82428
1028.39/1031.08 c #Conflicts: 378000 | #Constraints: 83428
1028.39/1031.08 c #Conflicts: 379000 | #Constraints: 84428
1028.39/1031.08 c #Conflicts: 380000 | #Constraints: 85428
1028.39/1031.08 c #Conflicts: 381000 | #Constraints: 86428
1028.39/1031.08 c INPROCESSING
1028.39/1031.08 c GARBAGE COLLECT
1028.39/1031.08 c rational objective 40
1067.68/1070.49 c #Conflicts: 382000 | #Constraints: 75212
1067.68/1070.49 c #Conflicts: 383000 | #Constraints: 76212
1067.68/1070.49 c #Conflicts: 384000 | #Constraints: 77212
1067.68/1070.49 c #Conflicts: 385000 | #Constraints: 78212
1067.68/1070.49 c #Conflicts: 386000 | #Constraints: 79212
1067.68/1070.49 c #Conflicts: 387000 | #Constraints: 80212
1067.68/1070.49 c #Conflicts: 388000 | #Constraints: 81212
1067.68/1070.49 c #Conflicts: 389000 | #Constraints: 82212
1067.68/1070.49 c #Conflicts: 390000 | #Constraints: 83212
1067.68/1070.49 c #Conflicts: 391000 | #Constraints: 84212
1067.68/1070.49 c #Conflicts: 392000 | #Constraints: 85212
1067.68/1070.49 c #Conflicts: 393000 | #Constraints: 86212
1067.68/1070.49 c #Conflicts: 394000 | #Constraints: 87212
1067.68/1070.49 c INPROCESSING
1067.68/1070.49 c GARBAGE COLLECT
1067.68/1070.49 c rational objective 40
1069.28/1072.03 c #Conflicts: 395000 | #Constraints: 75817
1069.28/1072.03 c #Conflicts: 396000 | #Constraints: 76817
1069.28/1072.03 c #Conflicts: 397000 | #Constraints: 77817
1069.28/1072.03 c #Conflicts: 398000 | #Constraints: 78817
1069.28/1072.03 c #Conflicts: 399000 | #Constraints: 79817
1069.28/1072.03 c bounds 145 >= 45 @ 1064.09
1117.15/1120.01 c #Conflicts: 400000 | #Constraints: 80823
1117.15/1120.01 c #Conflicts: 401000 | #Constraints: 81823
1117.15/1120.01 c #Conflicts: 402000 | #Constraints: 82823
1117.15/1120.01 c #Conflicts: 403000 | #Constraints: 83823
1117.15/1120.01 c #Conflicts: 404000 | #Constraints: 84823
1117.15/1120.01 c #Conflicts: 405000 | #Constraints: 85823
1117.15/1120.01 c #Conflicts: 406000 | #Constraints: 86823
1117.15/1120.01 c #Conflicts: 407000 | #Constraints: 87823
1117.15/1120.01 c INPROCESSING
1117.15/1120.01 c GARBAGE COLLECT
1117.15/1120.01 c rational objective 45
1154.53/1157.54 c #Conflicts: 408000 | #Constraints: 76269
1154.53/1157.54 c #Conflicts: 409000 | #Constraints: 77269
1154.53/1157.54 c #Conflicts: 410000 | #Constraints: 78269
1154.53/1157.54 c #Conflicts: 411000 | #Constraints: 79269
1154.53/1157.54 c #Conflicts: 412000 | #Constraints: 80269
1154.53/1157.54 c #Conflicts: 413000 | #Constraints: 81269
1154.53/1157.54 c #Conflicts: 414000 | #Constraints: 82269
1154.53/1157.54 c #Conflicts: 415000 | #Constraints: 83270
1154.53/1157.54 c #Conflicts: 416000 | #Constraints: 84270
1154.53/1157.54 c #Conflicts: 417000 | #Constraints: 85270
1154.53/1157.54 c #Conflicts: 418000 | #Constraints: 86270
1154.53/1157.54 c #Conflicts: 419000 | #Constraints: 87270
1154.53/1157.54 c #Conflicts: 420000 | #Constraints: 88270
1154.53/1157.54 c INPROCESSING
1154.53/1157.54 c GARBAGE COLLECT
1154.53/1157.54 c #Conflicts: 421000 | #Constraints: 76443
1154.53/1157.54 c #Conflicts: 422000 | #Constraints: 77443
1154.53/1157.54 c #Conflicts: 423000 | #Constraints: 78443
1154.53/1157.54 c #Conflicts: 424000 | #Constraints: 79443
1154.53/1157.54 c #Conflicts: 425000 | #Constraints: 80443
1154.53/1157.54 c #Conflicts: 426000 | #Constraints: 81443
1154.53/1157.54 c #Conflicts: 427000 | #Constraints: 82443
1154.53/1157.54 c #Conflicts: 428000 | #Constraints: 83443
1154.53/1157.54 c #Conflicts: 429000 | #Constraints: 84443
1154.53/1157.54 c #Conflicts: 430000 | #Constraints: 85443
1154.53/1157.54 c #Conflicts: 431000 | #Constraints: 86443
1154.53/1157.54 c #Conflicts: 432000 | #Constraints: 87443
1154.53/1157.54 c #Conflicts: 433000 | #Constraints: 88443
1154.53/1157.54 c INPROCESSING
1154.53/1157.54 c GARBAGE COLLECT
1154.53/1157.54 c rational objective 45
1184.75/1187.81 c #Conflicts: 434000 | #Constraints: 76431
1184.75/1187.81 c #Conflicts: 435000 | #Constraints: 77431
1184.75/1187.81 c #Conflicts: 436000 | #Constraints: 78431
1184.75/1187.81 c #Conflicts: 437000 | #Constraints: 79431
1184.75/1187.81 c #Conflicts: 438000 | #Constraints: 80431
1184.75/1187.81 c #Conflicts: 439000 | #Constraints: 81431
1184.75/1187.81 c #Conflicts: 440000 | #Constraints: 82431
1184.75/1187.81 c #Conflicts: 441000 | #Constraints: 83431
1184.75/1187.81 c #Conflicts: 442000 | #Constraints: 84431
1184.75/1187.81 c #Conflicts: 443000 | #Constraints: 85431
1184.75/1187.81 c #Conflicts: 444000 | #Constraints: 86431
1184.75/1187.81 c #Conflicts: 445000 | #Constraints: 87431
1184.75/1187.81 c #Conflicts: 446000 | #Constraints: 88431
1184.75/1187.81 c INPROCESSING
1184.75/1187.81 c GARBAGE COLLECT
1184.75/1187.81 c rational objective 45
1361.44/1365.05 c #Conflicts: 447000 | #Constraints: 76225
1361.44/1365.05 c #Conflicts: 448000 | #Constraints: 77225
1361.44/1365.05 c #Conflicts: 449000 | #Constraints: 78225
1361.44/1365.05 c #Conflicts: 450000 | #Constraints: 79225
1361.44/1365.05 c #Conflicts: 451000 | #Constraints: 80225
1361.44/1365.05 c #Conflicts: 452000 | #Constraints: 81225
1361.44/1365.05 c #Conflicts: 453000 | #Constraints: 82225
1361.44/1365.05 c #Conflicts: 454000 | #Constraints: 83225
1361.44/1365.05 c #Conflicts: 455000 | #Constraints: 84225
1361.44/1365.05 c #Conflicts: 456000 | #Constraints: 85225
1361.44/1365.05 c #Conflicts: 457000 | #Constraints: 86225
1361.44/1365.05 c #Conflicts: 458000 | #Constraints: 87225
1361.44/1365.05 c #Conflicts: 459000 | #Constraints: 88225
1361.44/1365.05 c #Conflicts: 460000 | #Constraints: 89225
1361.44/1365.05 c INPROCESSING
1361.44/1365.05 c GARBAGE COLLECT
1361.44/1365.05 c #Conflicts: 461000 | #Constraints: 76821
1361.44/1365.05 c #Conflicts: 462000 | #Constraints: 77821
1361.44/1365.05 c #Conflicts: 463000 | #Constraints: 78821
1361.44/1365.05 c #Conflicts: 464000 | #Constraints: 79821
1361.44/1365.05 c #Conflicts: 465000 | #Constraints: 80821
1361.44/1365.05 c #Conflicts: 466000 | #Constraints: 81821
1361.44/1365.05 c #Conflicts: 467000 | #Constraints: 82821
1361.44/1365.05 c #Conflicts: 468000 | #Constraints: 83821
1361.44/1365.05 c #Conflicts: 469000 | #Constraints: 84821
1361.44/1365.05 c #Conflicts: 470000 | #Constraints: 85821
1361.44/1365.05 c #Conflicts: 471000 | #Constraints: 86821
1361.44/1365.05 c #Conflicts: 472000 | #Constraints: 87821
1361.44/1365.05 c #Conflicts: 473000 | #Constraints: 88821
1361.44/1365.05 c #Conflicts: 474000 | #Constraints: 89821
1361.44/1365.05 c INPROCESSING
1361.44/1365.05 c GARBAGE COLLECT
1361.44/1365.05 c #Conflicts: 475000 | #Constraints: 77219
1361.44/1365.05 c #Conflicts: 476000 | #Constraints: 78219
1361.44/1365.05 c #Conflicts: 477000 | #Constraints: 79219
1361.44/1365.05 c #Conflicts: 478000 | #Constraints: 80219
1361.44/1365.05 c #Conflicts: 479000 | #Constraints: 81219
1361.44/1365.05 c #Conflicts: 480000 | #Constraints: 82219
1361.44/1365.05 c #Conflicts: 481000 | #Constraints: 83219
1361.44/1365.05 c #Conflicts: 482000 | #Constraints: 84219
1361.44/1365.05 c #Conflicts: 483000 | #Constraints: 85219
1361.44/1365.05 c #Conflicts: 484000 | #Constraints: 86219
1361.44/1365.05 c #Conflicts: 485000 | #Constraints: 87219
1361.44/1365.05 c #Conflicts: 486000 | #Constraints: 88219
1361.44/1365.05 c #Conflicts: 487000 | #Constraints: 89219
1361.44/1365.05 c #Conflicts: 488000 | #Constraints: 90219
1361.44/1365.05 c INPROCESSING
1361.44/1365.05 c GARBAGE COLLECT
1361.44/1365.05 c #Conflicts: 489000 | #Constraints: 77411
1361.44/1365.05 c #Conflicts: 490000 | #Constraints: 78411
1361.44/1365.05 c #Conflicts: 491000 | #Constraints: 79411
1361.44/1365.05 c #Conflicts: 492000 | #Constraints: 80411
1361.44/1365.05 c #Conflicts: 493000 | #Constraints: 81411
1361.44/1365.05 c #Conflicts: 494000 | #Constraints: 82411
1361.44/1365.05 c #Conflicts: 495000 | #Constraints: 83411
1361.44/1365.05 c #Conflicts: 496000 | #Constraints: 84411
1361.44/1365.05 c #Conflicts: 497000 | #Constraints: 85411
1361.44/1365.05 c #Conflicts: 498000 | #Constraints: 86411
1361.44/1365.05 c #Conflicts: 499000 | #Constraints: 87411
1361.44/1365.05 c #Conflicts: 500000 | #Constraints: 88411
1361.44/1365.05 c #Conflicts: 501000 | #Constraints: 89411
1361.44/1365.05 c #Conflicts: 502000 | #Constraints: 90411
1361.44/1365.05 c INPROCESSING
1361.44/1365.05 c GARBAGE COLLECT
1361.44/1365.05 c rational objective 45
1579.01/1583.25 c #Conflicts: 503000 | #Constraints: 77426
1579.01/1583.25 c #Conflicts: 504000 | #Constraints: 78426
1579.01/1583.25 c #Conflicts: 505000 | #Constraints: 79426
1579.01/1583.25 c #Conflicts: 506000 | #Constraints: 80426
1579.01/1583.25 c #Conflicts: 507000 | #Constraints: 81426
1579.01/1583.25 c #Conflicts: 508000 | #Constraints: 82427
1579.01/1583.25 c #Conflicts: 509000 | #Constraints: 83427
1579.01/1583.25 c #Conflicts: 510000 | #Constraints: 84427
1579.01/1583.25 c #Conflicts: 511000 | #Constraints: 85427
1579.01/1583.25 c #Conflicts: 512000 | #Constraints: 86427
1579.01/1583.25 c #Conflicts: 513000 | #Constraints: 87427
1579.01/1583.25 c #Conflicts: 514000 | #Constraints: 88427
1579.01/1583.25 c #Conflicts: 515000 | #Constraints: 89427
1579.01/1583.25 c #Conflicts: 516000 | #Constraints: 90427
1579.01/1583.25 c INPROCESSING
1579.01/1583.25 c GARBAGE COLLECT
1579.01/1583.25 c #Conflicts: 517000 | #Constraints: 77222
1579.01/1583.25 c #Conflicts: 518000 | #Constraints: 78222
1579.01/1583.25 c #Conflicts: 519000 | #Constraints: 79222
1579.01/1583.25 c #Conflicts: 520000 | #Constraints: 80222
1579.01/1583.25 c #Conflicts: 521000 | #Constraints: 81222
1579.01/1583.25 c #Conflicts: 522000 | #Constraints: 82222
1579.01/1583.25 c #Conflicts: 523000 | #Constraints: 83222
1579.01/1583.25 c #Conflicts: 524000 | #Constraints: 84222
1579.01/1583.25 c #Conflicts: 525000 | #Constraints: 85222
1579.01/1583.25 c #Conflicts: 526000 | #Constraints: 86222
1579.01/1583.25 c #Conflicts: 527000 | #Constraints: 87222
1579.01/1583.25 c #Conflicts: 528000 | #Constraints: 88222
1579.01/1583.25 c #Conflicts: 529000 | #Constraints: 89222
1579.01/1583.25 c #Conflicts: 530000 | #Constraints: 90222
1579.01/1583.25 c #Conflicts: 531000 | #Constraints: 91222
1579.01/1583.25 c INPROCESSING
1579.01/1583.25 c GARBAGE COLLECT
1579.01/1583.25 c rational objective 45
1731.87/1736.58 c #Conflicts: 532000 | #Constraints: 77828
1731.87/1736.58 c #Conflicts: 533000 | #Constraints: 78828
1731.87/1736.58 c #Conflicts: 534000 | #Constraints: 79828
1731.87/1736.58 c #Conflicts: 535000 | #Constraints: 80828
1731.87/1736.58 c #Conflicts: 536000 | #Constraints: 81828
1731.87/1736.58 c #Conflicts: 537000 | #Constraints: 82828
1731.87/1736.58 c #Conflicts: 538000 | #Constraints: 83828
1731.87/1736.58 c #Conflicts: 539000 | #Constraints: 84828
1731.87/1736.58 c #Conflicts: 540000 | #Constraints: 85828
1731.87/1736.58 c #Conflicts: 541000 | #Constraints: 86828
1731.87/1736.58 c #Conflicts: 542000 | #Constraints: 87828
1731.87/1736.58 c #Conflicts: 543000 | #Constraints: 88828
1731.87/1736.58 c #Conflicts: 544000 | #Constraints: 89828
1731.87/1736.58 c #Conflicts: 545000 | #Constraints: 90828
1731.87/1736.58 c #Conflicts: 546000 | #Constraints: 91828
1731.87/1736.58 c INPROCESSING
1731.87/1736.58 c GARBAGE COLLECT
1731.87/1736.58 c #Conflicts: 547000 | #Constraints: 78218
1731.87/1736.58 c #Conflicts: 548000 | #Constraints: 79218
1731.87/1736.58 c #Conflicts: 549000 | #Constraints: 80218
1731.87/1736.58 c #Conflicts: 550000 | #Constraints: 81218
1731.87/1736.58 c #Conflicts: 551000 | #Constraints: 82218
1731.87/1736.58 c #Conflicts: 552000 | #Constraints: 83218
1731.87/1736.58 c #Conflicts: 553000 | #Constraints: 84218
1731.87/1736.58 c #Conflicts: 554000 | #Constraints: 85218
1731.87/1736.58 c #Conflicts: 555000 | #Constraints: 86218
1731.87/1736.58 c #Conflicts: 556000 | #Constraints: 87218
1731.87/1736.58 c #Conflicts: 557000 | #Constraints: 88218
1731.87/1736.58 c #Conflicts: 558000 | #Constraints: 89218
1731.87/1736.58 c #Conflicts: 559000 | #Constraints: 90218
1731.87/1736.58 c #Conflicts: 560000 | #Constraints: 91218
1731.87/1736.58 c #Conflicts: 561000 | #Constraints: 92218
1731.87/1736.58 c INPROCESSING
1731.87/1736.58 c GARBAGE COLLECT
1731.87/1736.58 c #Conflicts: 562000 | #Constraints: 78414
1731.87/1736.58 c #Conflicts: 563000 | #Constraints: 79414
1731.87/1736.58 c #Conflicts: 564000 | #Constraints: 80414
1731.87/1736.58 c #Conflicts: 565000 | #Constraints: 81414
1731.87/1736.58 c #Conflicts: 566000 | #Constraints: 82414
1731.87/1736.58 c #Conflicts: 567000 | #Constraints: 83414
1731.87/1736.58 c #Conflicts: 568000 | #Constraints: 84414
1731.87/1736.58 c #Conflicts: 569000 | #Constraints: 85414
1731.87/1736.58 c #Conflicts: 570000 | #Constraints: 86414
1731.87/1736.58 c #Conflicts: 571000 | #Constraints: 87414
1731.87/1736.58 c #Conflicts: 572000 | #Constraints: 88414
1731.87/1736.58 c #Conflicts: 573000 | #Constraints: 89414
1731.87/1736.58 c #Conflicts: 574000 | #Constraints: 90414
1731.87/1736.58 c #Conflicts: 575000 | #Constraints: 91414
1731.87/1736.58 c #Conflicts: 576000 | #Constraints: 92414
1731.87/1736.58 c INPROCESSING
1731.87/1736.58 c GARBAGE COLLECT
1731.87/1736.58 c #Conflicts: 577000 | #Constraints: 78414
1731.87/1736.58 c #Conflicts: 578000 | #Constraints: 79414
1731.87/1736.58 c #Conflicts: 579000 | #Constraints: 80414
1731.87/1736.58 c #Conflicts: 580000 | #Constraints: 81414
1731.87/1736.58 c #Conflicts: 581000 | #Constraints: 82414
1731.87/1736.58 c #Conflicts: 582000 | #Constraints: 83414
1731.87/1736.58 c #Conflicts: 583000 | #Constraints: 84414
1731.87/1736.58 c #Conflicts: 584000 | #Constraints: 85414
1731.87/1736.58 c #Conflicts: 585000 | #Constraints: 86414
1731.87/1736.58 c #Conflicts: 586000 | #Constraints: 87414
1731.87/1736.58 c #Conflicts: 587000 | #Constraints: 88414
1731.87/1736.58 c #Conflicts: 588000 | #Constraints: 89414
1731.87/1736.58 c #Conflicts: 589000 | #Constraints: 90414
1731.87/1736.58 c #Conflicts: 590000 | #Constraints: 91414
1731.87/1736.58 c #Conflicts: 591000 | #Constraints: 92414
1731.87/1736.58 c INPROCESSING
1731.87/1736.58 c GARBAGE COLLECT
1731.87/1736.58 c #Conflicts: 592000 | #Constraints: 78212
1731.87/1736.58 c #Conflicts: 593000 | #Constraints: 79212
1731.87/1736.58 c #Conflicts: 594000 | #Constraints: 80212
1731.87/1736.58 c #Conflicts: 595000 | #Constraints: 81212
1731.87/1736.58 c #Conflicts: 596000 | #Constraints: 82212
1731.87/1736.58 c #Conflicts: 597000 | #Constraints: 83212
1731.87/1736.58 c #Conflicts: 598000 | #Constraints: 84212
1731.87/1736.58 c #Conflicts: 599000 | #Constraints: 85212
1731.87/1736.58 c #Conflicts: 600000 | #Constraints: 86212
1731.87/1736.58 c #Conflicts: 601000 | #Constraints: 87212
1731.87/1736.58 c #Conflicts: 602000 | #Constraints: 88212
1731.87/1736.58 c #Conflicts: 603000 | #Constraints: 89212
1731.87/1736.58 c #Conflicts: 604000 | #Constraints: 90212
1731.87/1736.58 c #Conflicts: 605000 | #Constraints: 91212
1731.87/1736.58 c #Conflicts: 606000 | #Constraints: 92212
1731.87/1736.58 c #Conflicts: 607000 | #Constraints: 93212
1731.87/1736.58 c INPROCESSING
1731.96/1736.62 c GARBAGE COLLECT
1731.96/1736.62 c rational objective 45
1784.93/1789.74 c #Conflicts: 608000 | #Constraints: 78832
1784.93/1789.74 c #Conflicts: 609000 | #Constraints: 79832
1784.93/1789.74 c #Conflicts: 610000 | #Constraints: 80832
1784.93/1789.74 c #Conflicts: 611000 | #Constraints: 81832
1784.93/1789.74 c #Conflicts: 612000 | #Constraints: 82832
1784.93/1789.74 c #Conflicts: 613000 | #Constraints: 83832
1784.93/1789.74 c #Conflicts: 614000 | #Constraints: 84832
1784.93/1789.74 c #Conflicts: 615000 | #Constraints: 85833
1784.93/1789.74 c #Conflicts: 616000 | #Constraints: 86833
1784.93/1789.74 c #Conflicts: 617000 | #Constraints: 87833
1784.93/1789.74 c #Conflicts: 618000 | #Constraints: 88833
1784.93/1789.74 c #Conflicts: 619000 | #Constraints: 89833
1784.93/1789.74 c #Conflicts: 620000 | #Constraints: 90833
1784.93/1789.74 c #Conflicts: 621000 | #Constraints: 91833
1784.93/1789.74 c #Conflicts: 622000 | #Constraints: 92833
1784.93/1789.74 c #Conflicts: 623000 | #Constraints: 93833
1784.93/1789.74 c INPROCESSING
1784.93/1789.74 c GARBAGE COLLECT
1784.93/1789.74 c rational objective 45
1936.88/1942.02 c #Conflicts: 624000 | #Constraints: 79228
1936.88/1942.02 c #Conflicts: 625000 | #Constraints: 80228
1936.88/1942.02 c #Conflicts: 626000 | #Constraints: 81228
1936.88/1942.02 c #Conflicts: 627000 | #Constraints: 82228
1936.88/1942.02 c #Conflicts: 628000 | #Constraints: 83228
1936.88/1942.02 c #Conflicts: 629000 | #Constraints: 84228
1936.88/1942.02 c #Conflicts: 630000 | #Constraints: 85228
1936.88/1942.02 c #Conflicts: 631000 | #Constraints: 86228
1936.88/1942.02 c #Conflicts: 632000 | #Constraints: 87228
1936.88/1942.02 c #Conflicts: 633000 | #Constraints: 88228
1936.88/1942.02 c #Conflicts: 634000 | #Constraints: 89228
1936.88/1942.02 c #Conflicts: 635000 | #Constraints: 90228
1936.88/1942.02 c #Conflicts: 636000 | #Constraints: 91228
1936.88/1942.02 c #Conflicts: 637000 | #Constraints: 92228
1936.88/1942.02 c #Conflicts: 638000 | #Constraints: 93228
1936.88/1942.02 c #Conflicts: 639000 | #Constraints: 94228
1936.88/1942.02 c INPROCESSING
1936.88/1942.02 c GARBAGE COLLECT
1936.88/1942.02 c rational objective 45
2069.81/2075.37 c #Conflicts: 640000 | #Constraints: 79425
2069.81/2075.37 c #Conflicts: 641000 | #Constraints: 80425
2069.81/2075.37 c #Conflicts: 642000 | #Constraints: 81425
2069.81/2075.37 c #Conflicts: 643000 | #Constraints: 82425
2069.81/2075.37 c #Conflicts: 644000 | #Constraints: 83425
2069.81/2075.37 c #Conflicts: 645000 | #Constraints: 84425
2069.81/2075.37 c #Conflicts: 646000 | #Constraints: 85425
2069.81/2075.37 c #Conflicts: 647000 | #Constraints: 86425
2069.81/2075.37 c #Conflicts: 648000 | #Constraints: 87425
2069.81/2075.37 c #Conflicts: 649000 | #Constraints: 88425
2069.81/2075.37 c #Conflicts: 650000 | #Constraints: 89425
2069.81/2075.37 c #Conflicts: 651000 | #Constraints: 90425
2069.81/2075.37 c #Conflicts: 652000 | #Constraints: 91425
2069.81/2075.37 c #Conflicts: 653000 | #Constraints: 92425
2069.81/2075.37 c #Conflicts: 654000 | #Constraints: 93425
2069.81/2075.37 c #Conflicts: 655000 | #Constraints: 94425
2069.81/2075.37 c INPROCESSING
2069.81/2075.37 c GARBAGE COLLECT
2069.81/2075.37 c #Conflicts: 656000 | #Constraints: 79423
2069.81/2075.37 c #Conflicts: 657000 | #Constraints: 80423
2069.81/2075.37 c #Conflicts: 658000 | #Constraints: 81423
2069.81/2075.37 c #Conflicts: 659000 | #Constraints: 82423
2069.81/2075.37 c #Conflicts: 660000 | #Constraints: 83423
2069.81/2075.37 c #Conflicts: 661000 | #Constraints: 84423
2069.81/2075.37 c #Conflicts: 662000 | #Constraints: 85423
2069.81/2075.37 c #Conflicts: 663000 | #Constraints: 86423
2069.81/2075.37 c #Conflicts: 664000 | #Constraints: 87423
2069.81/2075.37 c #Conflicts: 665000 | #Constraints: 88423
2069.81/2075.37 c #Conflicts: 666000 | #Constraints: 89423
2069.81/2075.37 c #Conflicts: 667000 | #Constraints: 90423
2069.81/2075.37 c #Conflicts: 668000 | #Constraints: 91423
2069.81/2075.37 c #Conflicts: 669000 | #Constraints: 92423
2069.81/2075.37 c #Conflicts: 670000 | #Constraints: 93423
2069.81/2075.37 c #Conflicts: 671000 | #Constraints: 94423
2069.81/2075.37 c INPROCESSING
2069.81/2075.37 c GARBAGE COLLECT
2069.81/2075.37 c #Conflicts: 672000 | #Constraints: 79216
2069.81/2075.37 c #Conflicts: 673000 | #Constraints: 80216
2069.81/2075.37 c #Conflicts: 674000 | #Constraints: 81216
2069.81/2075.37 c #Conflicts: 675000 | #Constraints: 82216
2069.81/2075.37 c #Conflicts: 676000 | #Constraints: 83216
2069.81/2075.37 c #Conflicts: 677000 | #Constraints: 84216
2069.81/2075.37 c #Conflicts: 678000 | #Constraints: 85216
2069.81/2075.37 c #Conflicts: 679000 | #Constraints: 86216
2069.81/2075.37 c #Conflicts: 680000 | #Constraints: 87216
2069.81/2075.37 c #Conflicts: 681000 | #Constraints: 88216
2069.81/2075.37 c #Conflicts: 682000 | #Constraints: 89216
2069.81/2075.37 c #Conflicts: 683000 | #Constraints: 90216
2069.81/2075.37 c #Conflicts: 684000 | #Constraints: 91216
2069.81/2075.37 c #Conflicts: 685000 | #Constraints: 92216
2069.81/2075.37 c #Conflicts: 686000 | #Constraints: 93216
2069.81/2075.37 c #Conflicts: 687000 | #Constraints: 94216
2069.81/2075.37 c #Conflicts: 688000 | #Constraints: 95216
2069.81/2075.37 c INPROCESSING
2069.81/2075.37 c GARBAGE COLLECT
2069.81/2075.37 c #Conflicts: 689000 | #Constraints: 79818
2069.81/2075.37 c #Conflicts: 690000 | #Constraints: 80818
2069.81/2075.37 c #Conflicts: 691000 | #Constraints: 81818
2069.81/2075.37 c #Conflicts: 692000 | #Constraints: 82818
2069.81/2075.37 c #Conflicts: 693000 | #Constraints: 83818
2069.81/2075.37 c #Conflicts: 694000 | #Constraints: 84818
2069.81/2075.37 c #Conflicts: 695000 | #Constraints: 85818
2069.81/2075.37 c #Conflicts: 696000 | #Constraints: 86818
2069.81/2075.37 c #Conflicts: 697000 | #Constraints: 87818
2069.81/2075.37 c #Conflicts: 698000 | #Constraints: 88818
2069.81/2075.37 c #Conflicts: 699000 | #Constraints: 89818
2069.81/2075.37 c #Conflicts: 700000 | #Constraints: 90818
2069.81/2075.37 c #Conflicts: 701000 | #Constraints: 91818
2069.81/2075.37 c #Conflicts: 702000 | #Constraints: 92818
2069.81/2075.37 c #Conflicts: 703000 | #Constraints: 93818
2069.81/2075.37 c #Conflicts: 704000 | #Constraints: 94818
2069.81/2075.37 c #Conflicts: 705000 | #Constraints: 95818
2069.81/2075.37 c INPROCESSING
2069.81/2075.37 c GARBAGE COLLECT
2069.81/2075.37 c rational objective 45
2133.63/2139.32 c #Conflicts: 706000 | #Constraints: 80226
2133.63/2139.32 c #Conflicts: 707000 | #Constraints: 81226
2133.63/2139.32 c #Conflicts: 708000 | #Constraints: 82226
2133.63/2139.32 c #Conflicts: 709000 | #Constraints: 83226
2133.63/2139.32 c #Conflicts: 710000 | #Constraints: 84226
2133.63/2139.32 c #Conflicts: 711000 | #Constraints: 85226
2133.63/2139.32 c #Conflicts: 712000 | #Constraints: 86226
2133.63/2139.32 c #Conflicts: 713000 | #Constraints: 87226
2133.63/2139.32 c #Conflicts: 714000 | #Constraints: 88226
2133.63/2139.32 c #Conflicts: 715000 | #Constraints: 89226
2133.63/2139.32 c #Conflicts: 716000 | #Constraints: 90226
2133.63/2139.32 c #Conflicts: 717000 | #Constraints: 91226
2133.63/2139.32 c #Conflicts: 718000 | #Constraints: 92226
2133.63/2139.32 c #Conflicts: 719000 | #Constraints: 93226
2133.63/2139.32 c #Conflicts: 720000 | #Constraints: 94226
2133.63/2139.32 c #Conflicts: 721000 | #Constraints: 95226
2133.63/2139.32 c #Conflicts: 722000 | #Constraints: 96226
2133.63/2139.32 c INPROCESSING
2133.63/2139.32 c GARBAGE COLLECT
2133.63/2139.32 c rational objective 45
2259.97/2266.01 c #Conflicts: 723000 | #Constraints: 80425
2259.97/2266.01 c #Conflicts: 724000 | #Constraints: 81425
2259.97/2266.01 c #Conflicts: 725000 | #Constraints: 82425
2259.97/2266.01 c #Conflicts: 726000 | #Constraints: 83425
2259.97/2266.01 c #Conflicts: 727000 | #Constraints: 84425
2259.97/2266.01 c #Conflicts: 728000 | #Constraints: 85425
2259.97/2266.01 c #Conflicts: 729000 | #Constraints: 86425
2259.97/2266.01 c #Conflicts: 730000 | #Constraints: 87425
2259.97/2266.01 c #Conflicts: 731000 | #Constraints: 88425
2259.97/2266.01 c #Conflicts: 732000 | #Constraints: 89425
2259.97/2266.01 c #Conflicts: 733000 | #Constraints: 90425
2259.97/2266.01 c #Conflicts: 734000 | #Constraints: 91425
2259.97/2266.01 c #Conflicts: 735000 | #Constraints: 92425
2259.97/2266.01 c #Conflicts: 736000 | #Constraints: 93425
2259.97/2266.01 c #Conflicts: 737000 | #Constraints: 94425
2259.97/2266.01 c #Conflicts: 738000 | #Constraints: 95425
2259.97/2266.01 c #Conflicts: 739000 | #Constraints: 96425
2259.97/2266.01 c INPROCESSING
2259.97/2266.01 c GARBAGE COLLECT
2259.97/2266.01 c rational objective 45
2335.76/2342.03 c #Conflicts: 740000 | #Constraints: 80420
2335.76/2342.03 c #Conflicts: 741000 | #Constraints: 81420
2335.76/2342.03 c #Conflicts: 742000 | #Constraints: 82420
2335.76/2342.03 c #Conflicts: 743000 | #Constraints: 83420
2335.76/2342.03 c #Conflicts: 744000 | #Constraints: 84420
2335.76/2342.03 c #Conflicts: 745000 | #Constraints: 85420
2335.76/2342.03 c #Conflicts: 746000 | #Constraints: 86420
2335.76/2342.03 c #Conflicts: 747000 | #Constraints: 87420
2335.76/2342.03 c #Conflicts: 748000 | #Constraints: 88420
2335.76/2342.03 c #Conflicts: 749000 | #Constraints: 89420
2335.76/2342.03 c #Conflicts: 750000 | #Constraints: 90420
2335.76/2342.03 c #Conflicts: 751000 | #Constraints: 91420
2335.76/2342.03 c #Conflicts: 752000 | #Constraints: 92420
2335.76/2342.03 c #Conflicts: 753000 | #Constraints: 93420
2335.76/2342.03 c #Conflicts: 754000 | #Constraints: 94420
2335.76/2342.03 c #Conflicts: 755000 | #Constraints: 95420
2335.76/2342.03 c #Conflicts: 756000 | #Constraints: 96420
2335.76/2342.03 c INPROCESSING
2335.76/2342.03 c GARBAGE COLLECT
2335.76/2342.03 c #Conflicts: 757000 | #Constraints: 80219
2335.76/2342.03 c #Conflicts: 758000 | #Constraints: 81219
2335.76/2342.03 c #Conflicts: 759000 | #Constraints: 82219
2335.76/2342.03 c #Conflicts: 760000 | #Constraints: 83219
2335.76/2342.03 c #Conflicts: 761000 | #Constraints: 84219
2335.76/2342.03 c #Conflicts: 762000 | #Constraints: 85219
2335.76/2342.03 c #Conflicts: 763000 | #Constraints: 86219
2335.76/2342.03 c #Conflicts: 764000 | #Constraints: 87219
2335.76/2342.03 c #Conflicts: 765000 | #Constraints: 88219
2335.76/2342.03 c #Conflicts: 766000 | #Constraints: 89219
2335.76/2342.03 c #Conflicts: 767000 | #Constraints: 90219
2335.76/2342.03 c #Conflicts: 768000 | #Constraints: 91219
2335.76/2342.03 c #Conflicts: 769000 | #Constraints: 92219
2335.76/2342.03 c #Conflicts: 770000 | #Constraints: 93219
2335.76/2342.03 c #Conflicts: 771000 | #Constraints: 94219
2335.76/2342.03 c #Conflicts: 772000 | #Constraints: 95219
2335.76/2342.03 c #Conflicts: 773000 | #Constraints: 96219
2335.76/2342.03 c #Conflicts: 774000 | #Constraints: 97219
2335.76/2342.03 c INPROCESSING
2335.76/2342.03 c GARBAGE COLLECT
2335.76/2342.03 c #Conflicts: 775000 | #Constraints: 80817
2335.76/2342.03 c #Conflicts: 776000 | #Constraints: 81817
2335.76/2342.03 c #Conflicts: 777000 | #Constraints: 82817
2335.76/2342.03 c #Conflicts: 778000 | #Constraints: 83817
2335.76/2342.03 c #Conflicts: 779000 | #Constraints: 84817
2335.76/2342.03 c #Conflicts: 780000 | #Constraints: 85817
2335.76/2342.03 c #Conflicts: 781000 | #Constraints: 86817
2335.76/2342.03 c #Conflicts: 782000 | #Constraints: 87817
2335.76/2342.03 c #Conflicts: 783000 | #Constraints: 88817
2335.76/2342.03 c #Conflicts: 784000 | #Constraints: 89817
2335.76/2342.03 c #Conflicts: 785000 | #Constraints: 90817
2335.76/2342.03 c #Conflicts: 786000 | #Constraints: 91817
2335.76/2342.03 c #Conflicts: 787000 | #Constraints: 92817
2335.76/2342.03 c #Conflicts: 788000 | #Constraints: 93817
2335.76/2342.03 c #Conflicts: 789000 | #Constraints: 94817
2335.76/2342.03 c #Conflicts: 790000 | #Constraints: 95817
2335.76/2342.03 c #Conflicts: 791000 | #Constraints: 96817
2335.76/2342.03 c #Conflicts: 792000 | #Constraints: 97817
2335.76/2342.03 c INPROCESSING
2335.76/2342.03 c GARBAGE COLLECT
2335.76/2342.03 c rational objective 45
2586.15/2593.19 c #Conflicts: 793000 | #Constraints: 81231
2586.15/2593.19 c #Conflicts: 794000 | #Constraints: 82231
2586.15/2593.19 c #Conflicts: 795000 | #Constraints: 83231
2586.15/2593.19 c #Conflicts: 796000 | #Constraints: 84231
2586.15/2593.19 c #Conflicts: 797000 | #Constraints: 85231
2586.15/2593.19 c #Conflicts: 798000 | #Constraints: 86231
2586.15/2593.19 c #Conflicts: 799000 | #Constraints: 87231
2586.15/2593.19 c #Conflicts: 800000 | #Constraints: 88231
2586.15/2593.19 c #Conflicts: 801000 | #Constraints: 89231
2586.15/2593.19 c #Conflicts: 802000 | #Constraints: 90231
2586.15/2593.19 c #Conflicts: 803000 | #Constraints: 91231
2586.15/2593.19 c #Conflicts: 804000 | #Constraints: 92231
2586.15/2593.19 c #Conflicts: 805000 | #Constraints: 93231
2586.15/2593.19 c #Conflicts: 806000 | #Constraints: 94231
2586.15/2593.19 c #Conflicts: 807000 | #Constraints: 95231
2586.15/2593.19 c #Conflicts: 808000 | #Constraints: 96231
2586.15/2593.19 c #Conflicts: 809000 | #Constraints: 97231
2586.15/2593.19 c #Conflicts: 810000 | #Constraints: 98231
2586.15/2593.19 c INPROCESSING
2586.15/2593.19 c GARBAGE COLLECT
2586.15/2593.19 c #Conflicts: 811000 | #Constraints: 81418
2586.15/2593.19 c #Conflicts: 812000 | #Constraints: 82418
2586.15/2593.19 c #Conflicts: 813000 | #Constraints: 83418
2586.15/2593.19 c #Conflicts: 814000 | #Constraints: 84418
2586.15/2593.19 c #Conflicts: 815000 | #Constraints: 85418
2586.15/2593.19 c #Conflicts: 816000 | #Constraints: 86418
2586.15/2593.19 c #Conflicts: 817000 | #Constraints: 87418
2586.15/2593.19 c #Conflicts: 818000 | #Constraints: 88418
2586.15/2593.19 c #Conflicts: 819000 | #Constraints: 89418
2586.15/2593.19 c #Conflicts: 820000 | #Constraints: 90418
2586.15/2593.19 c #Conflicts: 821000 | #Constraints: 91418
2586.15/2593.19 c #Conflicts: 822000 | #Constraints: 92418
2586.15/2593.19 c #Conflicts: 823000 | #Constraints: 93418
2586.15/2593.19 c #Conflicts: 824000 | #Constraints: 94418
2586.15/2593.19 c #Conflicts: 825000 | #Constraints: 95418
2586.15/2593.19 c #Conflicts: 826000 | #Constraints: 96418
2586.15/2593.19 c #Conflicts: 827000 | #Constraints: 97418
2586.15/2593.19 c #Conflicts: 828000 | #Constraints: 98418
2586.15/2593.19 c INPROCESSING
2586.15/2593.19 c GARBAGE COLLECT
2586.15/2593.19 c rational objective 45
2744.70/2752.11 c #Conflicts: 829000 | #Constraints: 81421
2744.70/2752.11 c #Conflicts: 830000 | #Constraints: 82421
2744.70/2752.11 c #Conflicts: 831000 | #Constraints: 83421
2744.70/2752.11 c #Conflicts: 832000 | #Constraints: 84421
2744.70/2752.11 c #Conflicts: 833000 | #Constraints: 85421
2744.70/2752.11 c #Conflicts: 834000 | #Constraints: 86421
2744.70/2752.11 c #Conflicts: 835000 | #Constraints: 87421
2744.70/2752.11 c #Conflicts: 836000 | #Constraints: 88421
2744.70/2752.11 c #Conflicts: 837000 | #Constraints: 89421
2744.70/2752.11 c #Conflicts: 838000 | #Constraints: 90421
2744.70/2752.11 c #Conflicts: 839000 | #Constraints: 91421
2744.70/2752.11 c #Conflicts: 840000 | #Constraints: 92421
2744.70/2752.11 c #Conflicts: 841000 | #Constraints: 93421
2744.70/2752.11 c #Conflicts: 842000 | #Constraints: 94421
2744.70/2752.11 c #Conflicts: 843000 | #Constraints: 95421
2744.70/2752.11 c #Conflicts: 844000 | #Constraints: 96421
2744.70/2752.11 c #Conflicts: 845000 | #Constraints: 97421
2744.70/2752.11 c #Conflicts: 846000 | #Constraints: 98421
2744.70/2752.11 c INPROCESSING
2744.70/2752.11 c GARBAGE COLLECT
2744.70/2752.11 c #Conflicts: 847000 | #Constraints: 81214
2744.70/2752.11 c #Conflicts: 848000 | #Constraints: 82214
2744.70/2752.11 c #Conflicts: 849000 | #Constraints: 83214
2744.70/2752.11 c #Conflicts: 850000 | #Constraints: 84214
2744.70/2752.11 c #Conflicts: 851000 | #Constraints: 85214
2744.70/2752.11 c #Conflicts: 852000 | #Constraints: 86214
2744.70/2752.11 c #Conflicts: 853000 | #Constraints: 87214
2744.70/2752.11 c #Conflicts: 854000 | #Constraints: 88214
2744.70/2752.11 c #Conflicts: 855000 | #Constraints: 89214
2744.70/2752.11 c #Conflicts: 856000 | #Constraints: 90214
2744.70/2752.11 c #Conflicts: 857000 | #Constraints: 91214
2744.70/2752.11 c #Conflicts: 858000 | #Constraints: 92214
2744.70/2752.11 c #Conflicts: 859000 | #Constraints: 93214
2744.70/2752.11 c #Conflicts: 860000 | #Constraints: 94214
2744.70/2752.11 c #Conflicts: 861000 | #Constraints: 95214
2744.70/2752.11 c #Conflicts: 862000 | #Constraints: 96214
2744.70/2752.11 c #Conflicts: 863000 | #Constraints: 97214
2744.70/2752.11 c #Conflicts: 864000 | #Constraints: 98214
2744.70/2752.11 c #Conflicts: 865000 | #Constraints: 99214
2744.70/2752.11 c INPROCESSING
2744.70/2752.11 c GARBAGE COLLECT
2744.70/2752.11 c #Conflicts: 866000 | #Constraints: 81820
2744.70/2752.11 c #Conflicts: 867000 | #Constraints: 82820
2744.70/2752.11 c #Conflicts: 868000 | #Constraints: 83820
2744.70/2752.11 c #Conflicts: 869000 | #Constraints: 84820
2744.70/2752.11 c #Conflicts: 870000 | #Constraints: 85820
2744.70/2752.11 c #Conflicts: 871000 | #Constraints: 86820
2744.70/2752.11 c #Conflicts: 872000 | #Constraints: 87820
2744.70/2752.11 c #Conflicts: 873000 | #Constraints: 88820
2744.70/2752.11 c #Conflicts: 874000 | #Constraints: 89820
2744.70/2752.11 c #Conflicts: 875000 | #Constraints: 90820
2744.70/2752.11 c #Conflicts: 876000 | #Constraints: 91820
2744.70/2752.11 c #Conflicts: 877000 | #Constraints: 92820
2744.70/2752.11 c #Conflicts: 878000 | #Constraints: 93820
2744.70/2752.11 c #Conflicts: 879000 | #Constraints: 94820
2744.70/2752.11 c #Conflicts: 880000 | #Constraints: 95820
2744.70/2752.11 c #Conflicts: 881000 | #Constraints: 96820
2744.70/2752.11 c #Conflicts: 882000 | #Constraints: 97820
2744.70/2752.11 c #Conflicts: 883000 | #Constraints: 98820
2744.70/2752.11 c #Conflicts: 884000 | #Constraints: 99820
2744.70/2752.11 c INPROCESSING
2744.70/2752.11 c GARBAGE COLLECT
2744.70/2752.11 c rational objective 45
2891.98/2899.88 c #Conflicts: 885000 | #Constraints: 82235
2891.98/2899.88 c #Conflicts: 886000 | #Constraints: 83235
2891.98/2899.88 c #Conflicts: 887000 | #Constraints: 84235
2891.98/2899.88 c #Conflicts: 888000 | #Constraints: 85235
2891.98/2899.88 c #Conflicts: 889000 | #Constraints: 86235
2891.98/2899.88 c #Conflicts: 890000 | #Constraints: 87235
2891.98/2899.88 c #Conflicts: 891000 | #Constraints: 88235
2891.98/2899.88 c #Conflicts: 892000 | #Constraints: 89235
2891.98/2899.88 c #Conflicts: 893000 | #Constraints: 90235
2891.98/2899.88 c #Conflicts: 894000 | #Constraints: 91235
2891.98/2899.88 c #Conflicts: 895000 | #Constraints: 92235
2891.98/2899.88 c #Conflicts: 896000 | #Constraints: 93235
2891.98/2899.88 c #Conflicts: 897000 | #Constraints: 94235
2891.98/2899.88 c #Conflicts: 898000 | #Constraints: 95235
2891.98/2899.88 c #Conflicts: 899000 | #Constraints: 96235
2891.98/2899.88 c #Conflicts: 900000 | #Constraints: 97235
2891.98/2899.88 c #Conflicts: 901000 | #Constraints: 98235
2891.98/2899.88 c #Conflicts: 902000 | #Constraints: 99235
2891.98/2899.88 c #Conflicts: 903000 | #Constraints: 100235
2891.98/2899.88 c INPROCESSING
2891.98/2899.88 c GARBAGE COLLECT
2891.98/2899.88 c rational objective 45
2950.02/2958.09 c #Conflicts: 904000 | #Constraints: 82480
2950.02/2958.09 c #Conflicts: 905000 | #Constraints: 83480
2950.02/2958.09 c #Conflicts: 906000 | #Constraints: 84480
2950.02/2958.09 c #Conflicts: 907000 | #Constraints: 85480
2950.02/2958.09 c #Conflicts: 908000 | #Constraints: 86480
2950.02/2958.09 c #Conflicts: 909000 | #Constraints: 87480
2950.02/2958.09 c #Conflicts: 910000 | #Constraints: 88480
2950.02/2958.09 c #Conflicts: 911000 | #Constraints: 89480
2950.02/2958.09 c #Conflicts: 912000 | #Constraints: 90480
2950.02/2958.09 c #Conflicts: 913000 | #Constraints: 91480
2950.02/2958.09 c #Conflicts: 914000 | #Constraints: 92480
2950.02/2958.09 c #Conflicts: 915000 | #Constraints: 93480
2950.02/2958.09 c #Conflicts: 916000 | #Constraints: 94480
2950.02/2958.09 c #Conflicts: 917000 | #Constraints: 95480
2950.02/2958.09 c #Conflicts: 918000 | #Constraints: 96480
2950.02/2958.09 c #Conflicts: 919000 | #Constraints: 97480
2950.02/2958.09 c #Conflicts: 920000 | #Constraints: 98480
2950.02/2958.09 c #Conflicts: 921000 | #Constraints: 99480
2950.02/2958.09 c #Conflicts: 922000 | #Constraints: 100480
2950.02/2958.09 c INPROCESSING
2950.02/2958.09 c GARBAGE COLLECT
2950.02/2958.09 c #Conflicts: 923000 | #Constraints: 82448
2950.02/2958.09 c #Conflicts: 924000 | #Constraints: 83448
2950.02/2958.09 c #Conflicts: 925000 | #Constraints: 84448
2950.02/2958.09 c #Conflicts: 926000 | #Constraints: 85448
2950.02/2958.09 c #Conflicts: 927000 | #Constraints: 86448
2950.02/2958.09 c #Conflicts: 928000 | #Constraints: 87448
2950.02/2958.09 c #Conflicts: 929000 | #Constraints: 88448
2950.02/2958.09 c #Conflicts: 930000 | #Constraints: 89448
2950.02/2958.09 c #Conflicts: 931000 | #Constraints: 90448
2950.02/2958.09 c #Conflicts: 932000 | #Constraints: 91448
2950.02/2958.09 c #Conflicts: 933000 | #Constraints: 92448
2950.02/2958.09 c #Conflicts: 934000 | #Constraints: 93448
2950.02/2958.09 c #Conflicts: 935000 | #Constraints: 94448
2950.02/2958.09 c #Conflicts: 936000 | #Constraints: 95448
2950.02/2958.09 c #Conflicts: 937000 | #Constraints: 96448
2950.02/2958.09 c #Conflicts: 938000 | #Constraints: 97448
2950.02/2958.09 c #Conflicts: 939000 | #Constraints: 98448
2950.02/2958.09 c #Conflicts: 940000 | #Constraints: 99448
2950.02/2958.09 c #Conflicts: 941000 | #Constraints: 100448
2950.02/2958.09 c INPROCESSING
2950.02/2958.09 c GARBAGE COLLECT
2950.02/2958.09 c #Conflicts: 942000 | #Constraints: 82231
2950.02/2958.09 c #Conflicts: 943000 | #Constraints: 83231
2950.02/2958.09 c #Conflicts: 944000 | #Constraints: 84231
2950.02/2958.09 c #Conflicts: 945000 | #Constraints: 85231
2950.02/2958.09 c #Conflicts: 946000 | #Constraints: 86231
2950.02/2958.09 c #Conflicts: 947000 | #Constraints: 87231
2950.02/2958.09 c #Conflicts: 948000 | #Constraints: 88231
2950.02/2958.09 c #Conflicts: 949000 | #Constraints: 89231
2950.02/2958.09 c #Conflicts: 950000 | #Constraints: 90231
2950.02/2958.09 c #Conflicts: 951000 | #Constraints: 91231
2950.02/2958.09 c #Conflicts: 952000 | #Constraints: 92231
2950.02/2958.09 c #Conflicts: 953000 | #Constraints: 93231
2950.02/2958.09 c #Conflicts: 954000 | #Constraints: 94231
2950.02/2958.09 c #Conflicts: 955000 | #Constraints: 95231
2950.02/2958.09 c #Conflicts: 956000 | #Constraints: 96231
2950.02/2958.09 c #Conflicts: 957000 | #Constraints: 97231
2950.02/2958.09 c #Conflicts: 958000 | #Constraints: 98231
2950.02/2958.09 c #Conflicts: 959000 | #Constraints: 99231
2950.02/2958.09 c #Conflicts: 960000 | #Constraints: 100231
2950.02/2958.09 c #Conflicts: 961000 | #Constraints: 101231
2950.02/2958.09 c INPROCESSING
2950.02/2958.09 c GARBAGE COLLECT
2950.02/2958.09 c rational objective 45
3176.05/3184.72 c #Conflicts: 962000 | #Constraints: 82835
3176.05/3184.72 c #Conflicts: 963000 | #Constraints: 83835
3176.05/3184.72 c #Conflicts: 964000 | #Constraints: 84835
3176.05/3184.72 c #Conflicts: 965000 | #Constraints: 85835
3176.05/3184.72 c #Conflicts: 966000 | #Constraints: 86835
3176.05/3184.72 c #Conflicts: 967000 | #Constraints: 87835
3176.05/3184.72 c #Conflicts: 968000 | #Constraints: 88835
3176.05/3184.72 c #Conflicts: 969000 | #Constraints: 89835
3176.05/3184.72 c #Conflicts: 970000 | #Constraints: 90835
3176.05/3184.72 c #Conflicts: 971000 | #Constraints: 91835
3176.05/3184.72 c #Conflicts: 972000 | #Constraints: 92835
3176.05/3184.72 c #Conflicts: 973000 | #Constraints: 93835
3176.05/3184.72 c #Conflicts: 974000 | #Constraints: 94835
3176.05/3184.72 c #Conflicts: 975000 | #Constraints: 95835
3176.05/3184.72 c #Conflicts: 976000 | #Constraints: 96835
3176.05/3184.72 c #Conflicts: 977000 | #Constraints: 97835
3176.05/3184.72 c #Conflicts: 978000 | #Constraints: 98835
3176.05/3184.72 c #Conflicts: 979000 | #Constraints: 99835
3176.05/3184.72 c #Conflicts: 980000 | #Constraints: 100835
3176.05/3184.72 c #Conflicts: 981000 | #Constraints: 101835
3176.05/3184.72 c INPROCESSING
3176.05/3184.72 c GARBAGE COLLECT
3176.05/3184.72 c #Conflicts: 982000 | #Constraints: 83225
3176.05/3184.72 c #Conflicts: 983000 | #Constraints: 84225
3176.05/3184.72 c #Conflicts: 984000 | #Constraints: 85225
3176.05/3184.72 c #Conflicts: 985000 | #Constraints: 86225
3176.05/3184.72 c #Conflicts: 986000 | #Constraints: 87225
3176.05/3184.72 c #Conflicts: 987000 | #Constraints: 88225
3176.05/3184.72 c #Conflicts: 988000 | #Constraints: 89225
3176.05/3184.72 c #Conflicts: 989000 | #Constraints: 90225
3176.05/3184.72 c #Conflicts: 990000 | #Constraints: 91225
3176.05/3184.72 c #Conflicts: 991000 | #Constraints: 92225
3176.05/3184.72 c #Conflicts: 992000 | #Constraints: 93225
3176.05/3184.72 c #Conflicts: 993000 | #Constraints: 94225
3176.05/3184.72 c #Conflicts: 994000 | #Constraints: 95225
3176.05/3184.72 c #Conflicts: 995000 | #Constraints: 96225
3176.05/3184.72 c #Conflicts: 996000 | #Constraints: 97225
3176.05/3184.72 c #Conflicts: 997000 | #Constraints: 98225
3176.05/3184.72 c #Conflicts: 998000 | #Constraints: 99225
3176.05/3184.72 c #Conflicts: 999000 | #Constraints: 100225
3176.05/3184.72 c #Conflicts: 1000000 | #Constraints: 101225
3176.05/3184.72 c #Conflicts: 1001000 | #Constraints: 102225
3176.05/3184.72 c INPROCESSING
3176.05/3184.72 c GARBAGE COLLECT
3176.05/3184.72 c #Conflicts: 1002000 | #Constraints: 83423
3176.05/3184.72 c #Conflicts: 1003000 | #Constraints: 84423
3176.05/3184.72 c #Conflicts: 1004000 | #Constraints: 85423
3176.05/3184.72 c #Conflicts: 1005000 | #Constraints: 86423
3176.05/3184.72 c #Conflicts: 1006000 | #Constraints: 87423
3176.05/3184.72 c #Conflicts: 1007000 | #Constraints: 88423
3176.05/3184.72 c #Conflicts: 1008000 | #Constraints: 89423
3176.05/3184.72 c #Conflicts: 1009000 | #Constraints: 90423
3176.05/3184.72 c #Conflicts: 1010000 | #Constraints: 91423
3176.05/3184.72 c #Conflicts: 1011000 | #Constraints: 92423
3176.05/3184.72 c #Conflicts: 1012000 | #Constraints: 93423
3176.05/3184.72 c #Conflicts: 1013000 | #Constraints: 94423
3176.05/3184.72 c #Conflicts: 1014000 | #Constraints: 95423
3176.05/3184.72 c #Conflicts: 1015000 | #Constraints: 96423
3176.05/3184.72 c #Conflicts: 1016000 | #Constraints: 97423
3176.05/3184.72 c #Conflicts: 1017000 | #Constraints: 98423
3176.05/3184.72 c #Conflicts: 1018000 | #Constraints: 99423
3176.05/3184.72 c #Conflicts: 1019000 | #Constraints: 100423
3176.05/3184.72 c #Conflicts: 1020000 | #Constraints: 101423
3176.05/3184.72 c #Conflicts: 1021000 | #Constraints: 102423
3176.05/3184.72 c INPROCESSING
3176.05/3184.72 c GARBAGE COLLECT
3176.05/3184.72 c #Conflicts: 1022000 | #Constraints: 83422
3176.05/3184.72 c #Conflicts: 1023000 | #Constraints: 84422
3176.05/3184.72 c #Conflicts: 1024000 | #Constraints: 85422
3176.05/3184.72 c #Conflicts: 1025000 | #Constraints: 86422
3176.05/3184.72 c #Conflicts: 1026000 | #Constraints: 87422
3176.05/3184.72 c #Conflicts: 1027000 | #Constraints: 88422
3176.05/3184.72 c #Conflicts: 1028000 | #Constraints: 89422
3176.05/3184.72 c #Conflicts: 1029000 | #Constraints: 90422
3176.05/3184.72 c #Conflicts: 1030000 | #Constraints: 91422
3176.05/3184.72 c #Conflicts: 1031000 | #Constraints: 92422
3176.05/3184.72 c #Conflicts: 1032000 | #Constraints: 93422
3176.05/3184.72 c #Conflicts: 1033000 | #Constraints: 94422
3176.05/3184.72 c #Conflicts: 1034000 | #Constraints: 95422
3176.05/3184.72 c #Conflicts: 1035000 | #Constraints: 96422
3176.05/3184.72 c #Conflicts: 1036000 | #Constraints: 97422
3176.05/3184.72 c #Conflicts: 1037000 | #Constraints: 98422
3176.05/3184.72 c #Conflicts: 1038000 | #Constraints: 99422
3179.04/3187.76 c #Conflicts: 1039000 | #Constraints: 100422
3179.04/3187.76 c #Conflicts: 1040000 | #Constraints: 101422
3179.04/3187.76 c #Conflicts: 1041000 | #Constraints: 102422
3179.04/3187.76 c INPROCESSING
3179.04/3187.76 c GARBAGE COLLECT
3179.04/3187.76 c rational objective 45
3259.41/3268.38 c #Conflicts: 1042000 | #Constraints: 83220
3259.41/3268.38 c #Conflicts: 1043000 | #Constraints: 84220
3259.41/3268.38 c #Conflicts: 1044000 | #Constraints: 85220
3259.41/3268.38 c #Conflicts: 1045000 | #Constraints: 86220
3259.41/3268.38 c #Conflicts: 1046000 | #Constraints: 87220
3259.41/3268.38 c #Conflicts: 1047000 | #Constraints: 88220
3259.41/3268.38 c #Conflicts: 1048000 | #Constraints: 89220
3259.41/3268.38 c #Conflicts: 1049000 | #Constraints: 90220
3259.41/3268.38 c #Conflicts: 1050000 | #Constraints: 91220
3259.41/3268.38 c #Conflicts: 1051000 | #Constraints: 92220
3259.41/3268.38 c #Conflicts: 1052000 | #Constraints: 93220
3259.41/3268.38 c #Conflicts: 1053000 | #Constraints: 94220
3259.41/3268.38 c #Conflicts: 1054000 | #Constraints: 95220
3259.41/3268.38 c #Conflicts: 1055000 | #Constraints: 96220
3259.41/3268.38 c #Conflicts: 1056000 | #Constraints: 97220
3259.41/3268.38 c #Conflicts: 1057000 | #Constraints: 98220
3259.41/3268.38 c #Conflicts: 1058000 | #Constraints: 99220
3259.41/3268.38 c #Conflicts: 1059000 | #Constraints: 100220
3259.41/3268.38 c #Conflicts: 1060000 | #Constraints: 101220
3259.41/3268.38 c #Conflicts: 1061000 | #Constraints: 102220
3259.41/3268.38 c #Conflicts: 1062000 | #Constraints: 103220
3259.41/3268.38 c INPROCESSING
3259.41/3268.38 c GARBAGE COLLECT
3259.41/3268.38 c rational objective 45
3423.93/3433.39 c #Conflicts: 1063000 | #Constraints: 83823
3423.93/3433.39 c #Conflicts: 1064000 | #Constraints: 84823
3423.93/3433.39 c #Conflicts: 1065000 | #Constraints: 85823
3423.93/3433.39 c #Conflicts: 1066000 | #Constraints: 86823
3423.93/3433.39 c #Conflicts: 1067000 | #Constraints: 87823
3423.93/3433.39 c #Conflicts: 1068000 | #Constraints: 88823
3423.93/3433.39 c #Conflicts: 1069000 | #Constraints: 89823
3423.93/3433.39 c #Conflicts: 1070000 | #Constraints: 90823
3423.93/3433.39 c #Conflicts: 1071000 | #Constraints: 91823
3423.93/3433.39 c #Conflicts: 1072000 | #Constraints: 92823
3423.93/3433.39 c #Conflicts: 1073000 | #Constraints: 93823
3423.93/3433.39 c #Conflicts: 1074000 | #Constraints: 94823
3423.93/3433.39 c #Conflicts: 1075000 | #Constraints: 95823
3423.93/3433.39 c #Conflicts: 1076000 | #Constraints: 96823
3423.93/3433.39 c #Conflicts: 1077000 | #Constraints: 97823
3423.93/3433.39 c #Conflicts: 1078000 | #Constraints: 98823
3423.93/3433.39 c #Conflicts: 1079000 | #Constraints: 99823
3423.93/3433.39 c #Conflicts: 1080000 | #Constraints: 100823
3423.93/3433.39 c #Conflicts: 1081000 | #Constraints: 101823
3423.93/3433.39 c #Conflicts: 1082000 | #Constraints: 102823
3423.93/3433.39 c #Conflicts: 1083000 | #Constraints: 103823
3423.93/3433.39 c INPROCESSING
3423.93/3433.39 c GARBAGE COLLECT
3423.93/3433.39 c rational objective 45
3539.23/3548.97 c #Conflicts: 1084000 | #Constraints: 84234
3539.23/3548.97 c #Conflicts: 1085000 | #Constraints: 85235
3539.23/3548.97 c #Conflicts: 1086000 | #Constraints: 86235
3539.23/3548.97 c #Conflicts: 1087000 | #Constraints: 87235
3539.23/3548.97 c #Conflicts: 1088000 | #Constraints: 88235
3539.23/3548.97 c #Conflicts: 1089000 | #Constraints: 89235
3539.23/3548.97 c #Conflicts: 1090000 | #Constraints: 90235
3539.23/3548.97 c #Conflicts: 1091000 | #Constraints: 91235
3539.23/3548.97 c #Conflicts: 1092000 | #Constraints: 92235
3539.23/3548.97 c #Conflicts: 1093000 | #Constraints: 93235
3539.23/3548.97 c #Conflicts: 1094000 | #Constraints: 94235
3539.23/3548.97 c #Conflicts: 1095000 | #Constraints: 95235
3539.23/3548.97 c #Conflicts: 1096000 | #Constraints: 96235
3539.23/3548.97 c #Conflicts: 1097000 | #Constraints: 97235
3539.23/3548.97 c #Conflicts: 1098000 | #Constraints: 98235
3539.23/3548.97 c #Conflicts: 1099000 | #Constraints: 99235
3539.23/3548.97 c #Conflicts: 1100000 | #Constraints: 100235
3539.23/3548.97 c #Conflicts: 1101000 | #Constraints: 101235
3539.23/3548.97 c #Conflicts: 1102000 | #Constraints: 102235
3539.23/3548.97 c #Conflicts: 1103000 | #Constraints: 103235
3539.23/3548.97 c #Conflicts: 1104000 | #Constraints: 104235
3539.23/3548.97 c INPROCESSING
3539.23/3548.97 c GARBAGE COLLECT
3539.23/3548.97 c #Conflicts: 1105000 | #Constraints: 84427
3539.23/3548.97 c #Conflicts: 1106000 | #Constraints: 85427
3539.23/3548.97 c #Conflicts: 1107000 | #Constraints: 86427
3539.23/3548.97 c #Conflicts: 1108000 | #Constraints: 87427
3539.23/3548.97 c #Conflicts: 1109000 | #Constraints: 88427
3539.23/3548.97 c #Conflicts: 1110000 | #Constraints: 89427
3539.23/3548.97 c #Conflicts: 1111000 | #Constraints: 90427
3539.23/3548.97 c #Conflicts: 1112000 | #Constraints: 91427
3539.23/3548.97 c #Conflicts: 1113000 | #Constraints: 92427
3539.23/3548.97 c #Conflicts: 1114000 | #Constraints: 93427
3539.23/3548.97 c #Conflicts: 1115000 | #Constraints: 94427
3539.23/3548.97 c #Conflicts: 1116000 | #Constraints: 95427
3539.23/3548.97 c #Conflicts: 1117000 | #Constraints: 96427
3539.23/3548.97 c #Conflicts: 1118000 | #Constraints: 97427
3539.23/3548.97 c #Conflicts: 1119000 | #Constraints: 98427
3539.23/3548.97 c #Conflicts: 1120000 | #Constraints: 99427
3539.23/3548.97 c #Conflicts: 1121000 | #Constraints: 100427
3539.23/3548.97 c #Conflicts: 1122000 | #Constraints: 101427
3539.23/3548.97 c #Conflicts: 1123000 | #Constraints: 102427
3539.23/3548.97 c #Conflicts: 1124000 | #Constraints: 103427
3539.23/3548.97 c #Conflicts: 1125000 | #Constraints: 104427
3539.23/3548.97 c INPROCESSING
3539.23/3548.97 c GARBAGE COLLECT
3539.23/3548.97 c rational objective 45
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 (57825 MiB free)
memory of node 1: 64507 MiB (45802 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508092-1751511733/watcher-4508092-1751511733 -o /tmp/evaluation-result-4508092-1751511733/solver-4508092-1751511733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751508121-72544 --watchdog 3760 run-opt-ls.sh HOME/instance-4508092-1751511733.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=72919, runsolver pid=72915
[startup+0.100058 s]*
/proc/loadavg: 4.07 4.08 4.09 5/264 72928
/proc/meminfo: memFree=106080012/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72922] ppid=72919 vsize=55268 memory=38052 CPUtime=0.08 cores=1,3
/proc/72922/stat : 72922 (pbsuma) R 72919 72919 72530 0 -1 4194304 9968 0 0 0 7 1 0 0 20 0 1 0 66852122 56594432 9513 18446744073709551615 4210688 4653049 140730707945440 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 32567296 140730707954019 140730707954226 140730707954226 140730707959791 0
/proc/72922/statm: 13817 9513 1024 108 0 11225 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 59460 KiB
Current children cumulated memory: 40996 KiB
[startup+0.205591 s]*
/proc/loadavg: 4.07 4.08 4.09 5/267 72934
/proc/meminfo: memFree=106063708/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72922] ppid=72919 vsize=41408 memory=29936 CPUtime=0.18 cores=1,3
/proc/72922/stat : 72922 (pbsuma) R 72919 72919 72530 0 -1 4194304 10274 0 0 0 17 1 0 0 20 0 1 0 66852122 42401792 7484 18446744073709551615 4210688 4653049 140730707945440 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 32567296 140730707954019 140730707954226 140730707954226 140730707959791 0
/proc/72922/statm: 10352 7484 1024 108 0 7760 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 45600 KiB
Current children cumulated memory: 32880 KiB
[startup+0.305626 s]*
/proc/loadavg: 4.07 4.08 4.09 5/267 72935
/proc/meminfo: memFree=106055992/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=65188 memory=20276 CPUtime=0.04 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 2775 0 0 0 3 1 0 0 20 0 1 0 66852147 66752512 5069 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 16297 5069 1984 1147 0 3724 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 69380 KiB
Current children cumulated memory: 23220 KiB
[startup+0.70022 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 72936
/proc/meminfo: memFree=106019540/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=125064 memory=80696 CPUtime=0.42 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 12327 0 0 0 35 7 0 0 20 0 1 0 66852147 128065536 20174 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 31266 20174 2304 1147 0 18693 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 129256 KiB
Current children cumulated memory: 83640 KiB
[startup+1.5002 s]
/proc/loadavg: 4.07 4.08 4.09 4/263 72944
/proc/meminfo: memFree=106099236/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=156604 memory=112080 CPUtime=1.22 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 18197 0 0 0 111 11 0 0 20 0 1 0 66852147 160362496 28020 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 39151 28020 2400 1147 0 26578 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 160796 KiB
Current children cumulated memory: 115024 KiB
[startup+3.10543 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 72983
/proc/meminfo: memFree=105989468/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=158888 memory=114640 CPUtime=2.82 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 18844 0 0 0 269 13 0 0 20 0 1 0 66852147 162701312 28660 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 39722 28660 2400 1147 0 27149 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 163080 KiB
Current children cumulated memory: 117584 KiB
[startup+6.30018 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 72983
/proc/meminfo: memFree=105981884/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=164336 memory=119188 CPUtime=6.01 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 20517 0 0 0 583 18 0 0 20 0 1 0 66852147 168280064 29797 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 41084 29797 2400 1147 0 28511 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 168528 KiB
Current children cumulated memory: 122132 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 72983
/proc/meminfo: memFree=105978708/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=169080 memory=123284 CPUtime=12.39 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 21554 0 0 0 1219 20 0 0 20 0 1 0 66852147 173137920 30821 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 42270 30821 2400 1147 0 29697 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 173272 KiB
Current children cumulated memory: 126228 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.08 4.09 5/268 72983
/proc/meminfo: memFree=105965636/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=173380 memory=127412 CPUtime=25.16 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 22067 0 0 0 2484 32 0 0 20 0 1 0 66852147 177541120 31853 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 43345 31853 2400 1147 0 30772 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 177572 KiB
Current children cumulated memory: 130356 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 72984
/proc/meminfo: memFree=105940664/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=185372 memory=137068 CPUtime=50.7 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 23934 0 0 0 5022 48 0 0 20 0 1 0 66852147 189820928 34267 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 46343 34267 2432 1147 0 33770 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 189564 KiB
Current children cumulated memory: 140012 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 72987
/proc/meminfo: memFree=105915936/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=188000 memory=140140 CPUtime=101.75 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 24710 0 0 0 10111 64 0 0 20 0 1 0 66852147 192512000 35035 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 47000 35035 2432 1147 0 34427 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 192192 KiB
Current children cumulated memory: 143084 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 72989
/proc/meminfo: memFree=105904316/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=188000 memory=140396 CPUtime=161.57 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 24723 0 0 0 16062 95 0 0 20 0 1 0 66852147 192512000 35099 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 47000 35099 2432 1147 0 34427 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 192192 KiB
Current children cumulated memory: 143340 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/268 72991
/proc/meminfo: memFree=105860016/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=190564 memory=147436 CPUtime=221.41 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 25144 0 0 0 22018 123 0 0 20 0 1 0 66852147 195137536 36859 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 47641 36859 2432 1147 0 35068 0
Current children cumulated CPU time: 221.64 s
################
# More data... #
################
/proc/meminfo: memFree=105653828/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=239760 memory=193676 CPUtime=3273.13 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 34040 0 0 0 325992 1321 0 0 20 0 1 0 66852147 245514240 48419 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 59940 48419 2432 1147 0 47367 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 243952 KiB
Current children cumulated memory: 196620 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/267 73186
/proc/meminfo: memFree=105644800/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=239760 memory=193804 CPUtime=3332.96 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 34104 0 0 0 331961 1335 0 0 20 0 1 0 66852147 245514240 48451 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 59940 48451 2432 1147 0 47367 0
Current children cumulated CPU time: 3333.19 s
Current children cumulated vsize: 243952 KiB
Current children cumulated memory: 196748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/267 73188
/proc/meminfo: memFree=105643928/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=239760 memory=193804 CPUtime=3392.79 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 34104 0 0 0 337934 1345 0 0 20 0 1 0 66852147 245514240 48451 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 59940 48451 2432 1147 0 47367 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 243952 KiB
Current children cumulated memory: 196748 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/267 73190
/proc/meminfo: memFree=105644056/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=239760 memory=193804 CPUtime=3452.61 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 34108 0 0 0 343898 1363 0 0 20 0 1 0 66852147 245514240 48451 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 59940 48451 2432 1147 0 47367 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 243952 KiB
Current children cumulated memory: 196748 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/266 73192
/proc/meminfo: memFree=105644636/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=239760 memory=193804 CPUtime=3512.46 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 34119 0 0 0 349858 1388 0 0 20 0 1 0 66852147 245514240 48451 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 59940 48451 2432 1147 0 47367 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 243952 KiB
Current children cumulated memory: 196748 KiB
[startup+3582.3 s]
/proc/loadavg: 4.45 4.21 4.12 5/267 73210
/proc/meminfo: memFree=105653880/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=239760 memory=193804 CPUtime=3572.33 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 34119 0 0 0 355817 1416 0 0 20 0 1 0 66852147 245514240 48451 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 59940 48451 2432 1147 0 47367 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 243952 KiB
Current children cumulated memory: 196748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.27 4.19 4.12 5/267 73214
/proc/meminfo: memFree=105649084/131249988 swapFree=33010160/33010684
[pid=72919] ppid=72915 vsize=4192 memory=2944 CPUtime=0.23 cores=1,3
/proc/72919/stat : 72919 (run-opt-ls.sh) S 72915 72919 72530 0 -1 4194304 237 10478 0 0 0 0 21 2 20 0 1 0 66852121 4292608 736 18446744073709551615 94751518273536 94751519168069 140722648457248 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94751519407120 94751519454864 94751536021504 140722648459623 140722648459749 140722648459749 140722648465351 0
/proc/72919/statm: 1048 736 672 219 0 110 0
[pid=72935] ppid=72919 vsize=240456 memory=193932 CPUtime=3599.85 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72919 72919 72530 0 -1 4194304 34156 0 0 0 358565 1420 0 0 20 0 1 0 66852147 246226944 48483 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 60114 48483 2432 1147 0 47541 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 244648 KiB
Current children cumulated memory: 196876 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.9 s]
# the end of solver process 72919 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.218886 s, system=0.024787 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.9 s]
# the end of solver process 72935 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3587.85 s, system=14.2564 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.27 4.19 4.12 4/259 73249
/proc/meminfo: memFree=106087980/131249988 swapFree=33010160/33010684
[pid=72935] ppid=72915 vsize=240456 memory=193932 CPUtime=3601.16 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72915 72919 72530 0 -1 4194304 34156 0 0 0 358694 1422 0 0 20 0 1 0 66852147 246226944 48483 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 60114 48483 2432 1147 0 47541 0
Current cumulated CPU time of completed processes: 0.243673 s
Current children cumulated CPU time: 3601.16 s
Current children cumulated vsize: 240456 KiB
Current children cumulated memory: 193932 KiB
[startup+3611.6 s]
/proc/loadavg: 4.27 4.19 4.12 4/259 73249
/proc/meminfo: memFree=106087980/131249988 swapFree=33010160/33010684
[pid=72935] ppid=72915 vsize=240456 memory=193932 CPUtime=3601.55 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72915 72919 72530 0 -1 4194304 34156 0 0 0 358733 1422 0 0 20 0 1 0 66852147 246226944 48483 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 60114 48483 2432 1147 0 47541 0
Current cumulated CPU time of completed processes: 0.243673 s
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 240456 KiB
Current children cumulated memory: 193932 KiB
[startup+3611.8 s]
/proc/loadavg: 4.27 4.19 4.12 4/259 73249
/proc/meminfo: memFree=106087980/131249988 swapFree=33010160/33010684
[pid=72935] ppid=72915 vsize=240456 memory=193932 CPUtime=3601.75 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72915 72919 72530 0 -1 4194304 34156 0 0 0 358753 1422 0 0 20 0 1 0 66852147 246226944 48483 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 60114 48483 2432 1147 0 47541 0
Current cumulated CPU time of completed processes: 0.243673 s
Current children cumulated CPU time: 3601.75 s
Current children cumulated vsize: 240456 KiB
Current children cumulated memory: 193932 KiB
[startup+3611.9 s]
/proc/loadavg: 4.27 4.19 4.12 4/259 73249
/proc/meminfo: memFree=106087980/131249988 swapFree=33010160/33010684
[pid=72935] ppid=72915 vsize=240456 memory=193932 CPUtime=3601.85 cores=1,3
/proc/72935/stat : 72935 (roundingsat) R 72915 72919 72530 0 -1 4194304 34156 0 0 0 358762 1423 0 0 20 0 1 0 66852147 246226944 48483 18446744073709551615 4227072 8923433 140731153555152 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16326656 140731153557830 140731153558056 140731153558056 140731153563626 0
/proc/72935/statm: 60114 48483 2432 1147 0 47541 0
Current cumulated CPU time of completed processes: 0.243673 s
Current children cumulated CPU time: 3601.85 s
Current children cumulated vsize: 240456 KiB
Current children cumulated memory: 193932 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.9
CPU time (s): 3602.1
CPU user time (s): 3587.85
CPU system time (s): 14.2564
CPU usage (%): 99.7288
Max. virtual memory (cumulated for all children) (KiB): 244648
Max. memory (cumulated for all children) (KiB): 196876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.85
system time used= 14.2564
maximum resident set size= 193932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44871
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= 255
involuntary context switches= 1358
# summary of solver processes directly reported to runsolver:
# pid: 72919,72935
# total CPU time (s): 3602.1
# total CPU user time (s): 3587.85
# total CPU system time (s): 14.2564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68895 second user time and 16.622 second system time
The end
Begin job on nodeC034 at 2025-07-03 05:02:13
IDJOB=4508092
IDBENCH=158394
IDSOLVER=3355
FILE ID=nodeC034/4508092-1751511733
RUNJOBID= nodeC034-1751508121-72544
SLURM_JOB_ID= 9598604
Free space on /tmp= 431116 MiB
SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jun5.5.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508092-1751511733/watcher-4508092-1751511733 -o /tmp/evaluation-result-4508092-1751511733/solver-4508092-1751511733 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751508121-72544 --watchdog 3760 run-opt-ls.sh HOME/instance-4508092-1751511733.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5d17a5a2908f0ead03acb71ed633b69a
RANDOM SEED=2132717576
nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.764
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 : 3601.324
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 : 3600.413
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.760
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.743
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.743
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.930
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 : 3600.225
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: 106115436 kB
MemAvailable: 129303476 kB
Buffers: 2128 kB
Cached: 23927192 kB
SwapCached: 36 kB
Active: 940660 kB
Inactive: 23452584 kB
Active(anon): 477784 kB
Inactive(anon): 4208 kB
Active(file): 462876 kB
Inactive(file): 23448376 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 8328 kB
Writeback: 104 kB
AnonPages: 465388 kB
Mapped: 114036 kB
Shmem: 18068 kB
KReclaimable: 231652 kB
Slab: 323920 kB
SReclaimable: 231652 kB
SUnreclaim: 92268 kB
KernelStack: 4256 kB
PageTables: 3904 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 779776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 370688 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 06:02:25