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-4485325-1751301715.opb'
0.00/0.05 c read 4.78MB (47.45ms)
0.00/0.05 c [cnf: #variables 107808 #clauses 3905 #duplicates 0 #arr 329888]
0.00/0.05 c output proof to 'PROOFDIR/proof-4485325-1751301715'
0.00/0.06 c
0.00/0.06 c make graph and approximate orbits
0.08/0.19 c [group: #orbits ~= 0] (131.92ms)
0.08/0.19 c
0.08/0.19 c detect special group actions
0.08/0.19 c probe for Johnson action (limit=64)
0.08/0.19 c probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.20 c probe for row symmetry (limit=64, splits=16.78M)
0.19/0.21 c (26.43ms)
0.19/0.21 c
0.19/0.21 c detect symmetries on remainder
0.19/0.22 c [graph: #vertices 486721 #edges 1409792]
0.19/0.22 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.19/0.24 c [group: #symmetries 1.00*10^0 #generators 0] (29.41ms)
0.19/0.24 c
0.19/0.24 c finalize break order and special generators
0.19/0.25 c
0.19/0.25 c generation finished
0.19/0.25 c [sbp: #constraints 0 #add_vars 0]
0.19/0.25 c
0.19/0.25 c write result to 'HOME/instance-4485325-1751301715.opb.pre'
0.19/0.26 c wrote 4.78MB (10.01ms)
0.19/0.26 c ------------------------------------------------------------------
0.19/0.26 c 131.92ms 51.25% approx_orbits
0.19/0.26 c 47.45ms 18.43% parse
0.19/0.26 c 29.41ms 11.43% detect_generic
0.19/0.26 c 26.43ms 10.27% detect_special
0.19/0.26 c 10.01ms 3.89% output
0.19/0.26 c 7.89ms 3.06% other
0.19/0.26 c 4.29ms 1.67% finalize_order
0.19/0.26 c ───────────────────────────────────────────────
0.19/0.26 c 257.40ms 100% total
0.19/0.26 c ------------------------------------------------------------------
0.19/0.28 c RoundingSat 2
0.19/0.28 c branch pb25
0.19/0.28 c commit 63f22ad
0.56/0.63 c #variables 107808 #constraints 5184
0.56/0.63 c objective is ce64
0.56/0.63 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.56/0.63 c initial counting CF 32, 64, 128, Arb: 5168 , 17 , 0 , 0
0.56/0.63 c bounds - >= 0 @ 0.307918
12.83/12.98 c #Conflicts: 1000 | #Constraints: 6183
12.83/12.98 c #Conflicts: 2000 | #Constraints: 7183
12.83/12.98 c INPROCESSING
12.83/12.98 c #Conflicts: 3000 | #Constraints: 7257
12.83/12.98 c #Conflicts: 4000 | #Constraints: 8257
12.83/12.98 c INPROCESSING
12.83/12.98 c GARBAGE COLLECT
12.83/12.98 c #Conflicts: 5000 | #Constraints: 7783
12.83/12.98 c #Conflicts: 6000 | #Constraints: 8783
12.83/12.98 c INPROCESSING
12.83/12.98 c GARBAGE COLLECT
12.83/12.98 c #Conflicts: 7000 | #Constraints: 7876
12.83/12.98 c #Conflicts: 8000 | #Constraints: 8876
12.83/12.98 c #Conflicts: 9000 | #Constraints: 9876
12.83/12.98 c INPROCESSING
12.83/12.98 c GARBAGE COLLECT
12.83/12.98 c rational objective 4.13104e+08
176.00/176.84 c #Conflicts: 10000 | #Constraints: 8739
176.00/176.84 c #Conflicts: 11000 | #Constraints: 9740
176.00/176.84 c #Conflicts: 12000 | #Constraints: 10741
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 13000 | #Constraints: 9254
176.00/176.84 c #Conflicts: 14000 | #Constraints: 10256
176.00/176.84 c #Conflicts: 15000 | #Constraints: 11256
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 16000 | #Constraints: 9625
176.00/176.84 c #Conflicts: 17000 | #Constraints: 10625
176.00/176.84 c #Conflicts: 18000 | #Constraints: 11625
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 19000 | #Constraints: 9711
176.00/176.84 c #Conflicts: 20000 | #Constraints: 10711
176.00/176.84 c #Conflicts: 21000 | #Constraints: 11711
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 22000 | #Constraints: 9612
176.00/176.84 c #Conflicts: 23000 | #Constraints: 10612
176.00/176.84 c #Conflicts: 24000 | #Constraints: 11612
176.00/176.84 c #Conflicts: 25000 | #Constraints: 12612
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 26000 | #Constraints: 10233
176.00/176.84 c #Conflicts: 27000 | #Constraints: 11233
176.00/176.84 c #Conflicts: 28000 | #Constraints: 12233
176.00/176.84 c #Conflicts: 29000 | #Constraints: 13233
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 30000 | #Constraints: 10605
176.00/176.84 c #Conflicts: 31000 | #Constraints: 11605
176.00/176.84 c #Conflicts: 32000 | #Constraints: 12605
176.00/176.84 c #Conflicts: 33000 | #Constraints: 13605
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 34000 | #Constraints: 10905
176.00/176.84 c #Conflicts: 35000 | #Constraints: 11905
176.00/176.84 c #Conflicts: 36000 | #Constraints: 12905
176.00/176.84 c #Conflicts: 37000 | #Constraints: 13905
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 38000 | #Constraints: 11001
176.00/176.84 c #Conflicts: 39000 | #Constraints: 12001
176.00/176.84 c #Conflicts: 40000 | #Constraints: 13001
176.00/176.84 c #Conflicts: 41000 | #Constraints: 14001
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 42000 | #Constraints: 10755
176.00/176.84 c #Conflicts: 43000 | #Constraints: 11755
176.00/176.84 c #Conflicts: 44000 | #Constraints: 12755
176.00/176.84 c #Conflicts: 45000 | #Constraints: 13755
176.00/176.84 c #Conflicts: 46000 | #Constraints: 14755
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 47000 | #Constraints: 11390
176.00/176.84 c #Conflicts: 48000 | #Constraints: 12391
176.00/176.84 c #Conflicts: 49000 | #Constraints: 13391
176.00/176.84 c #Conflicts: 50000 | #Constraints: 14391
176.00/176.84 c #Conflicts: 51000 | #Constraints: 15391
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 52000 | #Constraints: 11833
176.00/176.84 c #Conflicts: 53000 | #Constraints: 12833
176.00/176.84 c #Conflicts: 54000 | #Constraints: 13834
176.00/176.84 c #Conflicts: 55000 | #Constraints: 14834
176.00/176.84 c #Conflicts: 56000 | #Constraints: 15834
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 57000 | #Constraints: 12060
176.00/176.84 c #Conflicts: 58000 | #Constraints: 13061
176.00/176.84 c #Conflicts: 59000 | #Constraints: 14063
176.00/176.84 c #Conflicts: 60000 | #Constraints: 15063
176.00/176.84 c #Conflicts: 61000 | #Constraints: 16064
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 62000 | #Constraints: 12111
176.00/176.84 c #Conflicts: 63000 | #Constraints: 13111
176.00/176.84 c #Conflicts: 64000 | #Constraints: 14111
176.00/176.84 c #Conflicts: 65000 | #Constraints: 15112
176.00/176.84 c #Conflicts: 66000 | #Constraints: 16112
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 67000 | #Constraints: 11951
176.00/176.84 c #Conflicts: 68000 | #Constraints: 12953
176.00/176.84 c #Conflicts: 69000 | #Constraints: 13954
176.00/176.84 c #Conflicts: 70000 | #Constraints: 14954
176.00/176.84 c #Conflicts: 71000 | #Constraints: 15955
176.00/176.84 c #Conflicts: 72000 | #Constraints: 16955
176.00/176.84 c INPROCESSING
176.00/176.84 c GARBAGE COLLECT
176.00/176.84 c #Conflicts: 73000 | #Constraints: 12585
176.00/176.84 c #Conflicts: 74000 | #Constraints: 13585
176.00/176.84 c #Conflicts: 75000 | #Constraints: 14585
176.00/176.84 c #Conflicts: 76000 | #Constraints: 15585
176.00/176.84 c #Conflicts: 77000 | #Constraints: 16587
176.00/176.84 c #Conflicts: 78000 | #Constraints: 17587
176.00/176.84 c INPROCESSING
341.46/343.06 c GARBAGE COLLECT
341.46/343.06 c #Conflicts: 79000 | #Constraints: 12945
341.46/343.06 c #Conflicts: 80000 | #Constraints: 13946
341.46/343.06 c #Conflicts: 81000 | #Constraints: 14946
341.46/343.06 c #Conflicts: 82000 | #Constraints: 15947
341.46/343.06 c #Conflicts: 83000 | #Constraints: 16947
341.46/343.06 c #Conflicts: 84000 | #Constraints: 17947
341.46/343.06 c INPROCESSING
341.46/343.06 c GARBAGE COLLECT
341.46/343.06 c #Conflicts: 85000 | #Constraints: 13130
341.46/343.06 c #Conflicts: 86000 | #Constraints: 14130
341.46/343.06 c #Conflicts: 87000 | #Constraints: 15130
341.46/343.06 c #Conflicts: 88000 | #Constraints: 16130
341.46/343.06 c #Conflicts: 89000 | #Constraints: 17130
341.46/343.06 c #Conflicts: 90000 | #Constraints: 18130
341.46/343.06 c INPROCESSING
341.46/343.06 c GARBAGE COLLECT
341.46/343.06 c #Conflicts: 91000 | #Constraints: 13211
341.46/343.06 c #Conflicts: 92000 | #Constraints: 14211
341.46/343.06 c #Conflicts: 93000 | #Constraints: 15211
341.46/343.06 c #Conflicts: 94000 | #Constraints: 16211
341.46/343.06 c #Conflicts: 95000 | #Constraints: 17211
341.46/343.06 c #Conflicts: 96000 | #Constraints: 18211
341.46/343.06 c INPROCESSING
341.46/343.06 c GARBAGE COLLECT
341.46/343.06 c #Conflicts: 97000 | #Constraints: 12905
341.46/343.06 c #Conflicts: 98000 | #Constraints: 13905
341.46/343.06 c #Conflicts: 99000 | #Constraints: 14905
341.46/343.06 c #Conflicts: 100000 | #Constraints: 15905
341.46/343.06 c #Conflicts: 101000 | #Constraints: 16905
341.46/343.06 c #Conflicts: 102000 | #Constraints: 17905
341.46/343.06 c #Conflicts: 103000 | #Constraints: 18905
341.46/343.06 c INPROCESSING
341.46/343.06 c GARBAGE COLLECT
341.46/343.06 c #Conflicts: 104000 | #Constraints: 13545
341.46/343.06 c #Conflicts: 105000 | #Constraints: 14545
341.46/343.06 c #Conflicts: 106000 | #Constraints: 15545
341.46/343.06 c #Conflicts: 107000 | #Constraints: 16546
341.46/343.06 c #Conflicts: 108000 | #Constraints: 17546
341.46/343.06 c #Conflicts: 109000 | #Constraints: 18546
341.46/343.06 c #Conflicts: 110000 | #Constraints: 19546
341.46/343.06 c INPROCESSING
341.46/343.06 c GARBAGE COLLECT
341.46/343.06 c #Conflicts: 111000 | #Constraints: 13886
341.46/343.06 c #Conflicts: 112000 | #Constraints: 14887
341.46/343.06 c #Conflicts: 113000 | #Constraints: 15887
341.46/343.06 c #Conflicts: 114000 | #Constraints: 16887
341.46/343.06 c #Conflicts: 115000 | #Constraints: 17887
341.46/343.06 c #Conflicts: 116000 | #Constraints: 18888
341.46/343.06 c #Conflicts: 117000 | #Constraints: 19888
341.46/343.06 c INPROCESSING
341.46/343.06 c GARBAGE COLLECT
341.46/343.06 c #Conflicts: 118000 | #Constraints: 14207
341.46/343.06 c #Conflicts: 119000 | #Constraints: 15207
341.46/343.06 c #Conflicts: 120000 | #Constraints: 16208
341.46/343.06 c #Conflicts: 121000 | #Constraints: 17208
341.46/343.06 c #Conflicts: 122000 | #Constraints: 18209
341.46/343.06 c #Conflicts: 123000 | #Constraints: 19209
341.46/343.06 c #Conflicts: 124000 | #Constraints: 20209
341.46/343.06 c INPROCESSING
341.46/343.06 c GARBAGE COLLECT
341.46/343.06 c #Conflicts: 125000 | #Constraints: 14309
341.46/343.06 c #Conflicts: 126000 | #Constraints: 15309
341.46/343.06 c #Conflicts: 127000 | #Constraints: 16310
341.46/343.06 c #Conflicts: 128000 | #Constraints: 17310
341.46/343.06 c #Conflicts: 129000 | #Constraints: 18311
341.46/343.06 c #Conflicts: 130000 | #Constraints: 19311
341.46/343.06 c #Conflicts: 131000 | #Constraints: 20313
341.46/343.06 c INPROCESSING
341.46/343.06 c GARBAGE COLLECT
341.46/343.06 c #Conflicts: 132000 | #Constraints: 14159
341.46/343.06 c #Conflicts: 133000 | #Constraints: 15160
341.46/343.06 c #Conflicts: 134000 | #Constraints: 16160
341.46/343.06 c #Conflicts: 135000 | #Constraints: 17160
341.46/343.06 c #Conflicts: 136000 | #Constraints: 18160
341.46/343.06 c #Conflicts: 137000 | #Constraints: 19160
341.46/343.06 c #Conflicts: 138000 | #Constraints: 20161
341.46/343.06 c #Conflicts: 139000 | #Constraints: 21162
341.46/343.06 c INPROCESSING
341.46/343.06 c GARBAGE COLLECT
341.46/343.06 c #Conflicts: 140000 | #Constraints: 14723
341.46/343.06 c #Conflicts: 141000 | #Constraints: 15723
341.46/343.06 c #Conflicts: 142000 | #Constraints: 16723
341.46/343.06 c #Conflicts: 143000 | #Constraints: 17723
341.46/343.06 c #Conflicts: 144000 | #Constraints: 18723
341.46/343.06 c #Conflicts: 145000 | #Constraints: 19723
341.46/343.06 c #Conflicts: 146000 | #Constraints: 20723
341.46/343.06 c #Conflicts: 147000 | #Constraints: 21723
341.46/343.06 c INPROCESSING
341.46/343.06 c GARBAGE COLLECT
341.46/343.06 c #Conflicts: 148000 | #Constraints: 15113
341.46/343.06 c #Conflicts: 149000 | #Constraints: 16113
341.46/343.06 c #Conflicts: 150000 | #Constraints: 17113
341.46/343.06 c #Conflicts: 151000 | #Constraints: 18113
583.99/586.34 c #Conflicts: 152000 | #Constraints: 19113
583.99/586.34 c #Conflicts: 153000 | #Constraints: 20115
583.99/586.34 c #Conflicts: 154000 | #Constraints: 21115
583.99/586.34 c #Conflicts: 155000 | #Constraints: 22116
583.99/586.34 c INPROCESSING
583.99/586.34 c GARBAGE COLLECT
583.99/586.34 c #Conflicts: 156000 | #Constraints: 15261
583.99/586.34 c #Conflicts: 157000 | #Constraints: 16261
583.99/586.34 c #Conflicts: 158000 | #Constraints: 17261
583.99/586.34 c #Conflicts: 159000 | #Constraints: 18261
583.99/586.34 c #Conflicts: 160000 | #Constraints: 19261
583.99/586.34 c #Conflicts: 161000 | #Constraints: 20261
583.99/586.34 c #Conflicts: 162000 | #Constraints: 21261
583.99/586.34 c #Conflicts: 163000 | #Constraints: 22262
583.99/586.34 c INPROCESSING
583.99/586.34 c GARBAGE COLLECT
583.99/586.34 c #Conflicts: 164000 | #Constraints: 15320
583.99/586.34 c #Conflicts: 165000 | #Constraints: 16321
583.99/586.34 c #Conflicts: 166000 | #Constraints: 17321
583.99/586.34 c #Conflicts: 167000 | #Constraints: 18321
583.99/586.34 c #Conflicts: 168000 | #Constraints: 19321
583.99/586.34 c #Conflicts: 169000 | #Constraints: 20322
583.99/586.34 c #Conflicts: 170000 | #Constraints: 21322
583.99/586.34 c #Conflicts: 171000 | #Constraints: 22322
583.99/586.34 c INPROCESSING
583.99/586.34 c GARBAGE COLLECT
583.99/586.34 c #Conflicts: 172000 | #Constraints: 15137
583.99/586.34 c #Conflicts: 173000 | #Constraints: 16137
583.99/586.34 c #Conflicts: 174000 | #Constraints: 17137
583.99/586.34 c #Conflicts: 175000 | #Constraints: 18137
583.99/586.34 c #Conflicts: 176000 | #Constraints: 19137
583.99/586.34 c #Conflicts: 177000 | #Constraints: 20137
583.99/586.34 c #Conflicts: 178000 | #Constraints: 21137
583.99/586.34 c #Conflicts: 179000 | #Constraints: 22138
583.99/586.34 c #Conflicts: 180000 | #Constraints: 23138
583.99/586.34 c INPROCESSING
583.99/586.34 c GARBAGE COLLECT
583.99/586.34 c #Conflicts: 181000 | #Constraints: 15836
583.99/586.34 c #Conflicts: 182000 | #Constraints: 16836
583.99/586.34 c #Conflicts: 183000 | #Constraints: 17836
583.99/586.34 c #Conflicts: 184000 | #Constraints: 18836
583.99/586.34 c #Conflicts: 185000 | #Constraints: 19836
583.99/586.34 c #Conflicts: 186000 | #Constraints: 20836
583.99/586.34 c #Conflicts: 187000 | #Constraints: 21836
583.99/586.34 c #Conflicts: 188000 | #Constraints: 22836
583.99/586.34 c #Conflicts: 189000 | #Constraints: 23836
583.99/586.34 c INPROCESSING
583.99/586.34 c GARBAGE COLLECT
583.99/586.34 c #Conflicts: 190000 | #Constraints: 16275
583.99/586.34 c #Conflicts: 191000 | #Constraints: 17275
583.99/586.34 c #Conflicts: 192000 | #Constraints: 18275
583.99/586.34 c #Conflicts: 193000 | #Constraints: 19275
583.99/586.34 c #Conflicts: 194000 | #Constraints: 20275
583.99/586.34 c #Conflicts: 195000 | #Constraints: 21276
583.99/586.34 c #Conflicts: 196000 | #Constraints: 22277
583.99/586.34 c #Conflicts: 197000 | #Constraints: 23278
583.99/586.34 c #Conflicts: 198000 | #Constraints: 24279
583.99/586.34 c INPROCESSING
583.99/586.34 c GARBAGE COLLECT
583.99/586.34 c #Conflicts: 199000 | #Constraints: 16468
583.99/586.34 c #Conflicts: 200000 | #Constraints: 17468
583.99/586.34 c #Conflicts: 201000 | #Constraints: 18468
583.99/586.34 c #Conflicts: 202000 | #Constraints: 19468
583.99/586.34 c #Conflicts: 203000 | #Constraints: 20468
583.99/586.34 c #Conflicts: 204000 | #Constraints: 21468
583.99/586.34 c #Conflicts: 205000 | #Constraints: 22469
583.99/586.34 c #Conflicts: 206000 | #Constraints: 23470
583.99/586.34 c #Conflicts: 207000 | #Constraints: 24471
583.99/586.34 c INPROCESSING
583.99/586.34 c GARBAGE COLLECT
583.99/586.34 c #Conflicts: 208000 | #Constraints: 16412
583.99/586.34 c #Conflicts: 209000 | #Constraints: 17413
583.99/586.34 c #Conflicts: 210000 | #Constraints: 18413
583.99/586.34 c #Conflicts: 211000 | #Constraints: 19413
583.99/586.34 c #Conflicts: 212000 | #Constraints: 20413
583.99/586.34 c #Conflicts: 213000 | #Constraints: 21414
583.99/586.34 c #Conflicts: 214000 | #Constraints: 22415
583.99/586.34 c #Conflicts: 215000 | #Constraints: 23415
583.99/586.34 c #Conflicts: 216000 | #Constraints: 24417
583.99/586.34 c INPROCESSING
583.99/586.34 c GARBAGE COLLECT
583.99/586.34 c #Conflicts: 217000 | #Constraints: 16289
583.99/586.34 c #Conflicts: 218000 | #Constraints: 17291
583.99/586.34 c #Conflicts: 219000 | #Constraints: 18293
583.99/586.34 c #Conflicts: 220000 | #Constraints: 19296
583.99/586.34 c #Conflicts: 221000 | #Constraints: 20296
583.99/586.34 c #Conflicts: 222000 | #Constraints: 21297
583.99/586.34 c #Conflicts: 223000 | #Constraints: 22297
583.99/586.34 c #Conflicts: 224000 | #Constraints: 23299
680.50/683.25 c #Conflicts: 225000 | #Constraints: 24299
680.50/683.25 c #Conflicts: 226000 | #Constraints: 25299
680.50/683.25 c INPROCESSING
680.50/683.25 c GARBAGE COLLECT
680.50/683.25 c #Conflicts: 227000 | #Constraints: 16821
680.50/683.25 c #Conflicts: 228000 | #Constraints: 17821
680.50/683.25 c #Conflicts: 229000 | #Constraints: 18821
680.50/683.25 c #Conflicts: 230000 | #Constraints: 19821
680.50/683.25 c #Conflicts: 231000 | #Constraints: 20821
680.50/683.25 c #Conflicts: 232000 | #Constraints: 21822
680.50/683.25 c #Conflicts: 233000 | #Constraints: 22823
680.50/683.25 c #Conflicts: 234000 | #Constraints: 23823
680.50/683.25 c #Conflicts: 235000 | #Constraints: 24823
680.50/683.25 c #Conflicts: 236000 | #Constraints: 25823
680.50/683.25 c INPROCESSING
680.50/683.25 c GARBAGE COLLECT
680.50/683.25 c #Conflicts: 237000 | #Constraints: 17229
680.50/683.25 c #Conflicts: 238000 | #Constraints: 18229
680.50/683.25 c #Conflicts: 239000 | #Constraints: 19229
680.50/683.25 c #Conflicts: 240000 | #Constraints: 20229
680.50/683.25 c #Conflicts: 241000 | #Constraints: 21229
680.50/683.25 c #Conflicts: 242000 | #Constraints: 22229
680.50/683.25 c #Conflicts: 243000 | #Constraints: 23229
680.50/683.25 c #Conflicts: 244000 | #Constraints: 24229
680.50/683.25 c #Conflicts: 245000 | #Constraints: 25229
680.50/683.25 c #Conflicts: 246000 | #Constraints: 26229
680.50/683.25 c INPROCESSING
680.50/683.25 c GARBAGE COLLECT
680.50/683.25 c #Conflicts: 247000 | #Constraints: 17505
680.50/683.25 c #Conflicts: 248000 | #Constraints: 18505
680.50/683.25 c #Conflicts: 249000 | #Constraints: 19505
680.50/683.25 c #Conflicts: 250000 | #Constraints: 20506
680.50/683.25 c #Conflicts: 251000 | #Constraints: 21506
680.50/683.25 c #Conflicts: 252000 | #Constraints: 22507
680.50/683.25 c #Conflicts: 253000 | #Constraints: 23508
680.50/683.25 c #Conflicts: 254000 | #Constraints: 24508
680.50/683.25 c #Conflicts: 255000 | #Constraints: 25508
680.50/683.25 c #Conflicts: 256000 | #Constraints: 26508
680.50/683.25 c INPROCESSING
680.50/683.25 c GARBAGE COLLECT
680.50/683.25 c #Conflicts: 257000 | #Constraints: 17518
680.50/683.25 c #Conflicts: 258000 | #Constraints: 18519
680.50/683.25 c #Conflicts: 259000 | #Constraints: 19519
680.50/683.25 c #Conflicts: 260000 | #Constraints: 20519
680.50/683.25 c #Conflicts: 261000 | #Constraints: 21519
680.50/683.25 c #Conflicts: 262000 | #Constraints: 22519
680.50/683.25 c #Conflicts: 263000 | #Constraints: 23519
680.50/683.25 c #Conflicts: 264000 | #Constraints: 24519
680.50/683.25 c #Conflicts: 265000 | #Constraints: 25519
680.50/683.25 c #Conflicts: 266000 | #Constraints: 26519
680.50/683.25 c INPROCESSING
680.50/683.25 c GARBAGE COLLECT
680.50/683.25 c #Conflicts: 267000 | #Constraints: 17299
680.50/683.25 c #Conflicts: 268000 | #Constraints: 18299
680.50/683.25 c #Conflicts: 269000 | #Constraints: 19299
680.50/683.25 c #Conflicts: 270000 | #Constraints: 20299
680.50/683.25 c #Conflicts: 271000 | #Constraints: 21299
680.50/683.25 c #Conflicts: 272000 | #Constraints: 22299
680.50/683.25 c #Conflicts: 273000 | #Constraints: 23300
680.50/683.25 c #Conflicts: 274000 | #Constraints: 24300
680.50/683.25 c #Conflicts: 275000 | #Constraints: 25300
680.50/683.25 c #Conflicts: 276000 | #Constraints: 26300
680.50/683.25 c #Conflicts: 277000 | #Constraints: 27300
680.50/683.25 c INPROCESSING
680.50/683.25 c GARBAGE COLLECT
680.50/683.25 c #Conflicts: 278000 | #Constraints: 17852
680.50/683.25 c #Conflicts: 279000 | #Constraints: 18852
680.50/683.25 c #Conflicts: 280000 | #Constraints: 19852
680.50/683.25 c #Conflicts: 281000 | #Constraints: 20852
680.50/683.25 c #Conflicts: 282000 | #Constraints: 21853
680.50/683.25 c #Conflicts: 283000 | #Constraints: 22853
680.50/683.25 c #Conflicts: 284000 | #Constraints: 23853
680.50/683.25 c #Conflicts: 285000 | #Constraints: 24853
680.50/683.25 c #Conflicts: 286000 | #Constraints: 25853
680.50/683.25 c #Conflicts: 287000 | #Constraints: 26853
680.50/683.25 c #Conflicts: 288000 | #Constraints: 27853
680.50/683.25 c INPROCESSING
680.50/683.25 c GARBAGE COLLECT
680.50/683.25 c #Conflicts: 289000 | #Constraints: 18376
680.50/683.25 c #Conflicts: 290000 | #Constraints: 19378
680.50/683.25 c #Conflicts: 291000 | #Constraints: 20378
680.50/683.25 c #Conflicts: 292000 | #Constraints: 21378
680.50/683.25 c #Conflicts: 293000 | #Constraints: 22378
680.50/683.25 c #Conflicts: 294000 | #Constraints: 23378
680.50/683.25 c #Conflicts: 295000 | #Constraints: 24378
680.50/683.25 c #Conflicts: 296000 | #Constraints: 25378
680.50/683.25 c #Conflicts: 297000 | #Constraints: 26379
680.50/683.25 c #Conflicts: 298000 | #Constraints: 27379
680.50/683.25 c #Conflicts: 299000 | #Constraints: 28379
961.48/965.04 c INPROCESSING
961.48/965.04 c GARBAGE COLLECT
961.48/965.04 c #Conflicts: 300000 | #Constraints: 18650
961.48/965.04 c #Conflicts: 301000 | #Constraints: 19650
961.48/965.04 c #Conflicts: 302000 | #Constraints: 20650
961.48/965.04 c #Conflicts: 303000 | #Constraints: 21650
961.48/965.04 c #Conflicts: 304000 | #Constraints: 22651
961.48/965.04 c #Conflicts: 305000 | #Constraints: 23651
961.48/965.04 c #Conflicts: 306000 | #Constraints: 24653
961.48/965.04 c #Conflicts: 307000 | #Constraints: 25653
961.48/965.04 c #Conflicts: 308000 | #Constraints: 26654
961.48/965.04 c #Conflicts: 309000 | #Constraints: 27654
961.48/965.04 c #Conflicts: 310000 | #Constraints: 28655
961.48/965.04 c INPROCESSING
961.48/965.04 c GARBAGE COLLECT
961.48/965.04 c #Conflicts: 311000 | #Constraints: 18663
961.48/965.04 c #Conflicts: 312000 | #Constraints: 19663
961.48/965.04 c #Conflicts: 313000 | #Constraints: 20664
961.48/965.04 c #Conflicts: 314000 | #Constraints: 21664
961.48/965.04 c #Conflicts: 315000 | #Constraints: 22665
961.48/965.04 c #Conflicts: 316000 | #Constraints: 23666
961.48/965.04 c #Conflicts: 317000 | #Constraints: 24668
961.48/965.04 c #Conflicts: 318000 | #Constraints: 25669
961.48/965.04 c #Conflicts: 319000 | #Constraints: 26671
961.48/965.04 c #Conflicts: 320000 | #Constraints: 27671
961.48/965.04 c #Conflicts: 321000 | #Constraints: 28671
961.48/965.04 c INPROCESSING
961.48/965.04 c GARBAGE COLLECT
961.48/965.04 c #Conflicts: 322000 | #Constraints: 18379
961.48/965.04 c #Conflicts: 323000 | #Constraints: 19379
961.48/965.04 c #Conflicts: 324000 | #Constraints: 20382
961.48/965.04 c #Conflicts: 325000 | #Constraints: 21382
961.48/965.04 c #Conflicts: 326000 | #Constraints: 22383
961.48/965.04 c #Conflicts: 327000 | #Constraints: 23383
961.48/965.04 c #Conflicts: 328000 | #Constraints: 24383
961.48/965.04 c #Conflicts: 329000 | #Constraints: 25383
961.48/965.04 c #Conflicts: 330000 | #Constraints: 26383
961.48/965.04 c #Conflicts: 331000 | #Constraints: 27383
961.48/965.04 c #Conflicts: 332000 | #Constraints: 28383
961.48/965.04 c #Conflicts: 333000 | #Constraints: 29383
961.48/965.04 c INPROCESSING
961.48/965.04 c GARBAGE COLLECT
961.48/965.04 c #Conflicts: 334000 | #Constraints: 18929
961.48/965.04 c #Conflicts: 335000 | #Constraints: 19929
961.48/965.04 c #Conflicts: 336000 | #Constraints: 20929
961.48/965.04 c #Conflicts: 337000 | #Constraints: 21929
961.48/965.04 c #Conflicts: 338000 | #Constraints: 22929
961.48/965.04 c #Conflicts: 339000 | #Constraints: 23929
961.48/965.04 c #Conflicts: 340000 | #Constraints: 24929
961.48/965.04 c #Conflicts: 341000 | #Constraints: 25929
961.48/965.04 c #Conflicts: 342000 | #Constraints: 26929
961.48/965.04 c #Conflicts: 343000 | #Constraints: 27930
961.48/965.04 c #Conflicts: 344000 | #Constraints: 28931
961.48/965.04 c #Conflicts: 345000 | #Constraints: 29931
961.48/965.04 c INPROCESSING
961.48/965.04 c GARBAGE COLLECT
961.48/965.04 c #Conflicts: 346000 | #Constraints: 19474
961.48/965.04 c #Conflicts: 347000 | #Constraints: 20474
961.48/965.04 c #Conflicts: 348000 | #Constraints: 21474
961.48/965.04 c #Conflicts: 349000 | #Constraints: 22474
961.48/965.04 c #Conflicts: 350000 | #Constraints: 23474
961.48/965.04 c #Conflicts: 351000 | #Constraints: 24475
961.48/965.04 c #Conflicts: 352000 | #Constraints: 25476
961.48/965.04 c #Conflicts: 353000 | #Constraints: 26477
961.48/965.04 c #Conflicts: 354000 | #Constraints: 27479
961.48/965.04 c #Conflicts: 355000 | #Constraints: 28479
961.48/965.04 c #Conflicts: 356000 | #Constraints: 29479
961.48/965.04 c #Conflicts: 357000 | #Constraints: 30479
961.48/965.04 c INPROCESSING
961.48/965.04 c GARBAGE COLLECT
961.48/965.04 c #Conflicts: 358000 | #Constraints: 19707
961.48/965.04 c #Conflicts: 359000 | #Constraints: 20707
961.48/965.04 c #Conflicts: 360000 | #Constraints: 21707
961.48/965.04 c #Conflicts: 361000 | #Constraints: 22707
961.48/965.04 c #Conflicts: 362000 | #Constraints: 23708
961.48/965.04 c #Conflicts: 363000 | #Constraints: 24708
961.48/965.04 c #Conflicts: 364000 | #Constraints: 25708
961.48/965.04 c #Conflicts: 365000 | #Constraints: 26708
961.48/965.04 c #Conflicts: 366000 | #Constraints: 27709
961.48/965.04 c #Conflicts: 367000 | #Constraints: 28709
961.48/965.04 c #Conflicts: 368000 | #Constraints: 29709
961.48/965.04 c #Conflicts: 369000 | #Constraints: 30709
961.48/965.04 c INPROCESSING
961.48/965.04 c GARBAGE COLLECT
961.48/965.04 c #Conflicts: 370000 | #Constraints: 19838
961.48/965.04 c #Conflicts: 371000 | #Constraints: 20838
961.48/965.04 c #Conflicts: 372000 | #Constraints: 21838
961.48/965.04 c #Conflicts: 373000 | #Constraints: 22840
1085.38/1089.40 c #Conflicts: 374000 | #Constraints: 23840
1085.38/1089.40 c #Conflicts: 375000 | #Constraints: 24841
1085.38/1089.40 c #Conflicts: 376000 | #Constraints: 25842
1085.38/1089.40 c #Conflicts: 377000 | #Constraints: 26843
1085.38/1089.40 c #Conflicts: 378000 | #Constraints: 27843
1085.38/1089.40 c #Conflicts: 379000 | #Constraints: 28846
1085.38/1089.40 c #Conflicts: 380000 | #Constraints: 29846
1085.38/1089.40 c #Conflicts: 381000 | #Constraints: 30846
1085.38/1089.40 c INPROCESSING
1085.38/1089.40 c GARBAGE COLLECT
1085.38/1089.40 c #Conflicts: 382000 | #Constraints: 19624
1085.38/1089.40 c #Conflicts: 383000 | #Constraints: 20625
1085.38/1089.40 c #Conflicts: 384000 | #Constraints: 21626
1085.38/1089.40 c #Conflicts: 385000 | #Constraints: 22626
1085.38/1089.40 c #Conflicts: 386000 | #Constraints: 23627
1085.38/1089.40 c #Conflicts: 387000 | #Constraints: 24627
1085.38/1089.40 c #Conflicts: 388000 | #Constraints: 25627
1085.38/1089.40 c #Conflicts: 389000 | #Constraints: 26628
1085.38/1089.40 c #Conflicts: 390000 | #Constraints: 27628
1085.38/1089.40 c #Conflicts: 391000 | #Constraints: 28629
1085.38/1089.40 c #Conflicts: 392000 | #Constraints: 29629
1085.38/1089.40 c #Conflicts: 393000 | #Constraints: 30629
1085.38/1089.40 c #Conflicts: 394000 | #Constraints: 31629
1085.38/1089.40 c INPROCESSING
1085.38/1089.40 c GARBAGE COLLECT
1085.38/1089.40 c #Conflicts: 395000 | #Constraints: 20251
1085.38/1089.40 c #Conflicts: 396000 | #Constraints: 21251
1085.38/1089.40 c #Conflicts: 397000 | #Constraints: 22251
1085.38/1089.40 c #Conflicts: 398000 | #Constraints: 23251
1085.38/1089.40 c #Conflicts: 399000 | #Constraints: 24251
1085.38/1089.40 c #Conflicts: 400000 | #Constraints: 25251
1085.38/1089.40 c #Conflicts: 401000 | #Constraints: 26251
1085.38/1089.40 c #Conflicts: 402000 | #Constraints: 27251
1085.38/1089.40 c #Conflicts: 403000 | #Constraints: 28251
1085.38/1089.40 c #Conflicts: 404000 | #Constraints: 29251
1085.38/1089.40 c #Conflicts: 405000 | #Constraints: 30251
1085.38/1089.40 c #Conflicts: 406000 | #Constraints: 31251
1085.38/1089.40 c #Conflicts: 407000 | #Constraints: 32251
1085.38/1089.40 c INPROCESSING
1085.38/1089.40 c GARBAGE COLLECT
1085.38/1089.40 c #Conflicts: 408000 | #Constraints: 20659
1085.38/1089.40 c #Conflicts: 409000 | #Constraints: 21660
1085.38/1089.40 c #Conflicts: 410000 | #Constraints: 22660
1085.38/1089.40 c #Conflicts: 411000 | #Constraints: 23661
1085.38/1089.40 c #Conflicts: 412000 | #Constraints: 24661
1085.38/1089.40 c #Conflicts: 413000 | #Constraints: 25661
1085.38/1089.40 c #Conflicts: 414000 | #Constraints: 26661
1085.38/1089.40 c #Conflicts: 415000 | #Constraints: 27661
1085.38/1089.40 c #Conflicts: 416000 | #Constraints: 28661
1085.38/1089.40 c #Conflicts: 417000 | #Constraints: 29661
1085.38/1089.40 c #Conflicts: 418000 | #Constraints: 30661
1085.38/1089.40 c #Conflicts: 419000 | #Constraints: 31661
1085.38/1089.40 c #Conflicts: 420000 | #Constraints: 32661
1085.38/1089.40 c INPROCESSING
1085.38/1089.40 c GARBAGE COLLECT
1085.38/1089.40 c #Conflicts: 421000 | #Constraints: 20788
1085.38/1089.40 c #Conflicts: 422000 | #Constraints: 21788
1085.38/1089.40 c #Conflicts: 423000 | #Constraints: 22789
1085.38/1089.40 c #Conflicts: 424000 | #Constraints: 23789
1085.38/1089.40 c #Conflicts: 425000 | #Constraints: 24789
1085.38/1089.40 c #Conflicts: 426000 | #Constraints: 25790
1085.38/1089.40 c #Conflicts: 427000 | #Constraints: 26790
1085.38/1089.40 c #Conflicts: 428000 | #Constraints: 27790
1085.38/1089.40 c #Conflicts: 429000 | #Constraints: 28790
1085.38/1089.40 c #Conflicts: 430000 | #Constraints: 29790
1085.38/1089.40 c #Conflicts: 431000 | #Constraints: 30790
1085.38/1089.40 c #Conflicts: 432000 | #Constraints: 31791
1085.38/1089.40 c #Conflicts: 433000 | #Constraints: 32791
1085.38/1089.40 c INPROCESSING
1085.38/1089.40 c GARBAGE COLLECT
1085.38/1089.40 c #Conflicts: 434000 | #Constraints: 20759
1085.38/1089.40 c #Conflicts: 435000 | #Constraints: 21759
1085.38/1089.40 c #Conflicts: 436000 | #Constraints: 22760
1085.38/1089.40 c #Conflicts: 437000 | #Constraints: 23760
1085.38/1089.40 c #Conflicts: 438000 | #Constraints: 24760
1085.38/1089.40 c #Conflicts: 439000 | #Constraints: 25761
1085.38/1089.40 c #Conflicts: 440000 | #Constraints: 26761
1085.38/1089.40 c #Conflicts: 441000 | #Constraints: 27761
1085.38/1089.40 c #Conflicts: 442000 | #Constraints: 28761
1085.38/1089.40 c #Conflicts: 443000 | #Constraints: 29761
1085.38/1089.40 c #Conflicts: 444000 | #Constraints: 30761
1085.38/1089.40 c #Conflicts: 445000 | #Constraints: 31763
1085.38/1089.40 c #Conflicts: 446000 | #Constraints: 32765
1085.38/1089.40 c INPROCESSING
1085.38/1089.40 c GARBAGE COLLECT
1085.38/1089.40 c #Conflicts: 447000 | #Constraints: 20576
1085.38/1089.40 c #Conflicts: 448000 | #Constraints: 21576
1374.07/1379.08 c #Conflicts: 449000 | #Constraints: 22576
1374.07/1379.08 c #Conflicts: 450000 | #Constraints: 23577
1374.07/1379.08 c #Conflicts: 451000 | #Constraints: 24578
1374.07/1379.08 c #Conflicts: 452000 | #Constraints: 25579
1374.07/1379.08 c #Conflicts: 453000 | #Constraints: 26579
1374.07/1379.08 c #Conflicts: 454000 | #Constraints: 27579
1374.07/1379.08 c #Conflicts: 455000 | #Constraints: 28580
1374.07/1379.08 c #Conflicts: 456000 | #Constraints: 29580
1374.07/1379.08 c #Conflicts: 457000 | #Constraints: 30580
1374.07/1379.08 c #Conflicts: 458000 | #Constraints: 31581
1374.07/1379.08 c #Conflicts: 459000 | #Constraints: 32581
1374.07/1379.08 c #Conflicts: 460000 | #Constraints: 33581
1374.07/1379.08 c INPROCESSING
1374.07/1379.08 c GARBAGE COLLECT
1374.07/1379.08 c #Conflicts: 461000 | #Constraints: 21226
1374.07/1379.08 c #Conflicts: 462000 | #Constraints: 22226
1374.07/1379.08 c #Conflicts: 463000 | #Constraints: 23226
1374.07/1379.08 c #Conflicts: 464000 | #Constraints: 24227
1374.07/1379.08 c #Conflicts: 465000 | #Constraints: 25227
1374.07/1379.08 c #Conflicts: 466000 | #Constraints: 26228
1374.07/1379.08 c #Conflicts: 467000 | #Constraints: 27229
1374.07/1379.08 c #Conflicts: 468000 | #Constraints: 28230
1374.07/1379.08 c #Conflicts: 469000 | #Constraints: 29231
1374.07/1379.08 c #Conflicts: 470000 | #Constraints: 30232
1374.07/1379.08 c #Conflicts: 471000 | #Constraints: 31232
1374.07/1379.08 c #Conflicts: 472000 | #Constraints: 32232
1374.07/1379.08 c #Conflicts: 473000 | #Constraints: 33232
1374.07/1379.08 c #Conflicts: 474000 | #Constraints: 34232
1374.07/1379.08 c INPROCESSING
1374.07/1379.08 c GARBAGE COLLECT
1374.07/1379.08 c #Conflicts: 475000 | #Constraints: 21491
1374.07/1379.08 c #Conflicts: 476000 | #Constraints: 22491
1374.07/1379.08 c #Conflicts: 477000 | #Constraints: 23491
1374.07/1379.08 c #Conflicts: 478000 | #Constraints: 24492
1374.07/1379.08 c #Conflicts: 479000 | #Constraints: 25492
1374.07/1379.08 c #Conflicts: 480000 | #Constraints: 26493
1374.07/1379.08 c #Conflicts: 481000 | #Constraints: 27494
1374.07/1379.08 c #Conflicts: 482000 | #Constraints: 28494
1374.07/1379.08 c #Conflicts: 483000 | #Constraints: 29494
1374.07/1379.08 c #Conflicts: 484000 | #Constraints: 30495
1374.07/1379.08 c #Conflicts: 485000 | #Constraints: 31498
1374.07/1379.08 c #Conflicts: 486000 | #Constraints: 32498
1374.07/1379.08 c #Conflicts: 487000 | #Constraints: 33498
1374.07/1379.08 c #Conflicts: 488000 | #Constraints: 34498
1374.07/1379.08 c INPROCESSING
1374.07/1379.08 c GARBAGE COLLECT
1374.07/1379.08 c #Conflicts: 489000 | #Constraints: 21638
1374.07/1379.08 c #Conflicts: 490000 | #Constraints: 22638
1374.07/1379.08 c #Conflicts: 491000 | #Constraints: 23638
1374.07/1379.08 c #Conflicts: 492000 | #Constraints: 24638
1374.07/1379.08 c #Conflicts: 493000 | #Constraints: 25638
1374.07/1379.08 c #Conflicts: 494000 | #Constraints: 26638
1374.07/1379.08 c #Conflicts: 495000 | #Constraints: 27638
1374.07/1379.08 c #Conflicts: 496000 | #Constraints: 28638
1374.07/1379.08 c #Conflicts: 497000 | #Constraints: 29638
1374.07/1379.08 c #Conflicts: 498000 | #Constraints: 30638
1374.07/1379.08 c #Conflicts: 499000 | #Constraints: 31638
1374.07/1379.08 c #Conflicts: 500000 | #Constraints: 32638
1374.07/1379.08 c #Conflicts: 501000 | #Constraints: 33638
1374.07/1379.08 c #Conflicts: 502000 | #Constraints: 34638
1374.07/1379.08 c INPROCESSING
1374.07/1379.08 c GARBAGE COLLECT
1374.07/1379.08 c #Conflicts: 503000 | #Constraints: 21618
1374.07/1379.08 c #Conflicts: 504000 | #Constraints: 22618
1374.07/1379.08 c #Conflicts: 505000 | #Constraints: 23618
1374.07/1379.08 c #Conflicts: 506000 | #Constraints: 24618
1374.07/1379.08 c #Conflicts: 507000 | #Constraints: 25618
1374.07/1379.08 c #Conflicts: 508000 | #Constraints: 26618
1374.07/1379.08 c #Conflicts: 509000 | #Constraints: 27618
1374.07/1379.08 c #Conflicts: 510000 | #Constraints: 28618
1374.07/1379.08 c #Conflicts: 511000 | #Constraints: 29618
1374.07/1379.08 c #Conflicts: 512000 | #Constraints: 30618
1374.07/1379.08 c #Conflicts: 513000 | #Constraints: 31618
1374.07/1379.08 c #Conflicts: 514000 | #Constraints: 32618
1374.07/1379.08 c #Conflicts: 515000 | #Constraints: 33618
1374.07/1379.08 c #Conflicts: 516000 | #Constraints: 34618
1374.07/1379.08 c INPROCESSING
1374.07/1379.08 c GARBAGE COLLECT
1374.07/1379.08 c #Conflicts: 517000 | #Constraints: 21338
1374.07/1379.08 c #Conflicts: 518000 | #Constraints: 22338
1374.07/1379.08 c #Conflicts: 519000 | #Constraints: 23338
1374.07/1379.08 c #Conflicts: 520000 | #Constraints: 24338
1374.07/1379.08 c #Conflicts: 521000 | #Constraints: 25338
1374.07/1379.08 c #Conflicts: 522000 | #Constraints: 26338
1374.07/1379.08 c #Conflicts: 523000 | #Constraints: 27338
1555.14/1560.84 c #Conflicts: 524000 | #Constraints: 28338
1555.14/1560.84 c #Conflicts: 525000 | #Constraints: 29338
1555.14/1560.84 c #Conflicts: 526000 | #Constraints: 30338
1555.14/1560.84 c #Conflicts: 527000 | #Constraints: 31338
1555.14/1560.84 c #Conflicts: 528000 | #Constraints: 32338
1555.14/1560.84 c #Conflicts: 529000 | #Constraints: 33338
1555.14/1560.84 c #Conflicts: 530000 | #Constraints: 34338
1555.14/1560.84 c #Conflicts: 531000 | #Constraints: 35338
1555.14/1560.84 c INPROCESSING
1555.14/1560.84 c GARBAGE COLLECT
1555.14/1560.84 c #Conflicts: 532000 | #Constraints: 22057
1555.14/1560.84 c #Conflicts: 533000 | #Constraints: 23057
1555.14/1560.84 c #Conflicts: 534000 | #Constraints: 24057
1555.14/1560.84 c #Conflicts: 535000 | #Constraints: 25058
1555.14/1560.84 c #Conflicts: 536000 | #Constraints: 26058
1555.14/1560.84 c #Conflicts: 537000 | #Constraints: 27058
1555.14/1560.84 c #Conflicts: 538000 | #Constraints: 28058
1555.14/1560.84 c #Conflicts: 539000 | #Constraints: 29058
1555.14/1560.84 c #Conflicts: 540000 | #Constraints: 30059
1555.14/1560.84 c #Conflicts: 541000 | #Constraints: 31059
1555.14/1560.84 c #Conflicts: 542000 | #Constraints: 32059
1555.14/1560.84 c #Conflicts: 543000 | #Constraints: 33059
1555.14/1560.84 c #Conflicts: 544000 | #Constraints: 34059
1555.14/1560.84 c #Conflicts: 545000 | #Constraints: 35059
1555.14/1560.84 c #Conflicts: 546000 | #Constraints: 36059
1555.14/1560.84 c INPROCESSING
1555.14/1560.84 c GARBAGE COLLECT
1555.14/1560.84 c #Conflicts: 547000 | #Constraints: 22586
1555.14/1560.84 c #Conflicts: 548000 | #Constraints: 23586
1555.14/1560.84 c #Conflicts: 549000 | #Constraints: 24586
1555.14/1560.84 c #Conflicts: 550000 | #Constraints: 25586
1555.14/1560.84 c #Conflicts: 551000 | #Constraints: 26586
1555.14/1560.84 c #Conflicts: 552000 | #Constraints: 27586
1555.14/1560.84 c #Conflicts: 553000 | #Constraints: 28586
1555.14/1560.84 c #Conflicts: 554000 | #Constraints: 29586
1555.14/1560.84 c #Conflicts: 555000 | #Constraints: 30586
1555.14/1560.84 c #Conflicts: 556000 | #Constraints: 31586
1555.14/1560.84 c #Conflicts: 557000 | #Constraints: 32586
1555.14/1560.84 c #Conflicts: 558000 | #Constraints: 33586
1555.14/1560.84 c #Conflicts: 559000 | #Constraints: 34586
1555.14/1560.84 c #Conflicts: 560000 | #Constraints: 35586
1555.14/1560.84 c #Conflicts: 561000 | #Constraints: 36586
1555.14/1560.84 c INPROCESSING
1555.14/1560.84 c GARBAGE COLLECT
1555.14/1560.84 c #Conflicts: 562000 | #Constraints: 22906
1555.14/1560.84 c #Conflicts: 563000 | #Constraints: 23906
1555.14/1560.84 c #Conflicts: 564000 | #Constraints: 24906
1555.14/1560.84 c #Conflicts: 565000 | #Constraints: 25906
1555.14/1560.84 c #Conflicts: 566000 | #Constraints: 26906
1555.14/1560.84 c #Conflicts: 567000 | #Constraints: 27906
1555.14/1560.84 c #Conflicts: 568000 | #Constraints: 28906
1555.14/1560.84 c #Conflicts: 569000 | #Constraints: 29906
1555.14/1560.84 c #Conflicts: 570000 | #Constraints: 30906
1555.14/1560.84 c #Conflicts: 571000 | #Constraints: 31906
1555.14/1560.84 c #Conflicts: 572000 | #Constraints: 32906
1555.14/1560.84 c #Conflicts: 573000 | #Constraints: 33906
1555.14/1560.84 c #Conflicts: 574000 | #Constraints: 34906
1555.14/1560.84 c #Conflicts: 575000 | #Constraints: 35906
1555.14/1560.84 c #Conflicts: 576000 | #Constraints: 36906
1555.14/1560.84 c INPROCESSING
1555.14/1560.84 c GARBAGE COLLECT
1555.14/1560.84 c #Conflicts: 577000 | #Constraints: 22974
1555.14/1560.84 c #Conflicts: 578000 | #Constraints: 23974
1555.14/1560.84 c #Conflicts: 579000 | #Constraints: 24974
1555.14/1560.84 c #Conflicts: 580000 | #Constraints: 25974
1555.14/1560.84 c #Conflicts: 581000 | #Constraints: 26974
1555.14/1560.84 c #Conflicts: 582000 | #Constraints: 27974
1555.14/1560.84 c #Conflicts: 583000 | #Constraints: 28974
1555.14/1560.84 c #Conflicts: 584000 | #Constraints: 29974
1555.14/1560.84 c #Conflicts: 585000 | #Constraints: 30974
1555.14/1560.84 c #Conflicts: 586000 | #Constraints: 31974
1555.14/1560.84 c #Conflicts: 587000 | #Constraints: 32974
1555.14/1560.84 c #Conflicts: 588000 | #Constraints: 33974
1555.14/1560.84 c #Conflicts: 589000 | #Constraints: 34974
1555.14/1560.84 c #Conflicts: 590000 | #Constraints: 35974
1555.14/1560.84 c #Conflicts: 591000 | #Constraints: 36974
1555.14/1560.84 c INPROCESSING
1555.14/1560.84 c GARBAGE COLLECT
1555.14/1560.84 c #Conflicts: 592000 | #Constraints: 22947
1555.14/1560.84 c #Conflicts: 593000 | #Constraints: 23947
1555.14/1560.84 c #Conflicts: 594000 | #Constraints: 24947
1555.14/1560.84 c #Conflicts: 595000 | #Constraints: 25947
1555.14/1560.84 c #Conflicts: 596000 | #Constraints: 26947
1555.14/1560.84 c #Conflicts: 597000 | #Constraints: 27947
1555.14/1560.84 c #Conflicts: 598000 | #Constraints: 28947
1555.14/1560.84 c #Conflicts: 599000 | #Constraints: 29947
1661.50/1667.76 c #Conflicts: 600000 | #Constraints: 30947
1661.50/1667.76 c #Conflicts: 601000 | #Constraints: 31947
1661.50/1667.76 c #Conflicts: 602000 | #Constraints: 32947
1661.50/1667.76 c #Conflicts: 603000 | #Constraints: 33947
1661.50/1667.76 c #Conflicts: 604000 | #Constraints: 34947
1661.50/1667.76 c #Conflicts: 605000 | #Constraints: 35947
1661.50/1667.76 c #Conflicts: 606000 | #Constraints: 36947
1661.50/1667.76 c #Conflicts: 607000 | #Constraints: 37947
1661.50/1667.76 c INPROCESSING
1661.50/1667.76 c GARBAGE COLLECT
1661.50/1667.76 c #Conflicts: 608000 | #Constraints: 23533
1661.50/1667.76 c #Conflicts: 609000 | #Constraints: 24533
1661.50/1667.76 c #Conflicts: 610000 | #Constraints: 25533
1661.50/1667.76 c #Conflicts: 611000 | #Constraints: 26533
1661.50/1667.76 c #Conflicts: 612000 | #Constraints: 27533
1661.50/1667.76 c #Conflicts: 613000 | #Constraints: 28533
1661.50/1667.76 c #Conflicts: 614000 | #Constraints: 29533
1661.50/1667.76 c #Conflicts: 615000 | #Constraints: 30533
1661.50/1667.76 c #Conflicts: 616000 | #Constraints: 31533
1661.50/1667.76 c #Conflicts: 617000 | #Constraints: 32533
1661.50/1667.76 c #Conflicts: 618000 | #Constraints: 33533
1661.50/1667.76 c #Conflicts: 619000 | #Constraints: 34533
1661.50/1667.76 c #Conflicts: 620000 | #Constraints: 35533
1661.50/1667.76 c #Conflicts: 621000 | #Constraints: 36533
1661.50/1667.76 c #Conflicts: 622000 | #Constraints: 37533
1661.50/1667.76 c #Conflicts: 623000 | #Constraints: 38533
1661.50/1667.76 c INPROCESSING
1661.50/1667.76 c GARBAGE COLLECT
1661.50/1667.76 c #Conflicts: 624000 | #Constraints: 23815
1661.50/1667.76 c #Conflicts: 625000 | #Constraints: 24815
1661.50/1667.76 c #Conflicts: 626000 | #Constraints: 25815
1661.50/1667.76 c #Conflicts: 627000 | #Constraints: 26815
1661.50/1667.76 c #Conflicts: 628000 | #Constraints: 27815
1661.50/1667.76 c #Conflicts: 629000 | #Constraints: 28815
1661.50/1667.76 c #Conflicts: 630000 | #Constraints: 29815
1661.50/1667.76 c #Conflicts: 631000 | #Constraints: 30815
1661.50/1667.76 c #Conflicts: 632000 | #Constraints: 31815
1661.50/1667.76 c #Conflicts: 633000 | #Constraints: 32815
1661.50/1667.76 c #Conflicts: 634000 | #Constraints: 33815
1661.50/1667.76 c #Conflicts: 635000 | #Constraints: 34815
1661.50/1667.76 c #Conflicts: 636000 | #Constraints: 35815
1661.50/1667.76 c #Conflicts: 637000 | #Constraints: 36815
1661.50/1667.76 c #Conflicts: 638000 | #Constraints: 37815
1661.50/1667.76 c #Conflicts: 639000 | #Constraints: 38815
1661.50/1667.76 c INPROCESSING
1661.50/1667.76 c GARBAGE COLLECT
1661.50/1667.76 c #Conflicts: 640000 | #Constraints: 23922
1661.50/1667.76 c #Conflicts: 641000 | #Constraints: 24922
1661.50/1667.76 c #Conflicts: 642000 | #Constraints: 25922
1661.50/1667.76 c #Conflicts: 643000 | #Constraints: 26922
1661.50/1667.76 c #Conflicts: 644000 | #Constraints: 27922
1661.50/1667.76 c #Conflicts: 645000 | #Constraints: 28922
1661.50/1667.76 c #Conflicts: 646000 | #Constraints: 29922
1661.50/1667.76 c #Conflicts: 647000 | #Constraints: 30922
1661.50/1667.76 c #Conflicts: 648000 | #Constraints: 31922
1661.50/1667.76 c #Conflicts: 649000 | #Constraints: 32922
1661.50/1667.76 c #Conflicts: 650000 | #Constraints: 33922
1661.50/1667.76 c #Conflicts: 651000 | #Constraints: 34922
1661.50/1667.76 c #Conflicts: 652000 | #Constraints: 35922
1661.50/1667.76 c #Conflicts: 653000 | #Constraints: 36922
1661.50/1667.76 c #Conflicts: 654000 | #Constraints: 37922
1661.50/1667.76 c #Conflicts: 655000 | #Constraints: 38922
1661.50/1667.76 c INPROCESSING
1661.50/1667.76 c GARBAGE COLLECT
1661.50/1667.76 c #Conflicts: 656000 | #Constraints: 24010
1661.50/1667.76 c #Conflicts: 657000 | #Constraints: 25010
1661.50/1667.76 c #Conflicts: 658000 | #Constraints: 26010
1661.50/1667.76 c #Conflicts: 659000 | #Constraints: 27010
1661.50/1667.76 c #Conflicts: 660000 | #Constraints: 28010
1661.50/1667.76 c #Conflicts: 661000 | #Constraints: 29010
1661.50/1667.76 c #Conflicts: 662000 | #Constraints: 30010
1661.50/1667.76 c #Conflicts: 663000 | #Constraints: 31010
1661.50/1667.76 c #Conflicts: 664000 | #Constraints: 32010
1661.50/1667.76 c #Conflicts: 665000 | #Constraints: 33010
1661.50/1667.76 c #Conflicts: 666000 | #Constraints: 34010
1661.50/1667.76 c #Conflicts: 667000 | #Constraints: 35010
1661.50/1667.76 c #Conflicts: 668000 | #Constraints: 36010
1661.50/1667.76 c #Conflicts: 669000 | #Constraints: 37010
1661.50/1667.76 c #Conflicts: 670000 | #Constraints: 38010
1661.50/1667.76 c #Conflicts: 671000 | #Constraints: 39010
1661.50/1667.76 c INPROCESSING
1661.50/1667.76 c GARBAGE COLLECT
1661.50/1667.76 c #Conflicts: 672000 | #Constraints: 23854
1661.50/1667.76 c #Conflicts: 673000 | #Constraints: 24854
1661.50/1667.76 c #Conflicts: 674000 | #Constraints: 25854
1661.50/1667.76 c #Conflicts: 675000 | #Constraints: 26854
1909.44/1916.98 c #Conflicts: 676000 | #Constraints: 27854
1909.44/1916.98 c #Conflicts: 677000 | #Constraints: 28854
1909.44/1916.98 c #Conflicts: 678000 | #Constraints: 29854
1909.44/1916.98 c #Conflicts: 679000 | #Constraints: 30854
1909.44/1916.98 c #Conflicts: 680000 | #Constraints: 31854
1909.44/1916.98 c #Conflicts: 681000 | #Constraints: 32854
1909.44/1916.98 c #Conflicts: 682000 | #Constraints: 33854
1909.44/1916.98 c #Conflicts: 683000 | #Constraints: 34854
1909.44/1916.98 c #Conflicts: 684000 | #Constraints: 35854
1909.44/1916.98 c #Conflicts: 685000 | #Constraints: 36854
1909.44/1916.98 c #Conflicts: 686000 | #Constraints: 37854
1909.44/1916.98 c #Conflicts: 687000 | #Constraints: 38854
1909.44/1916.98 c #Conflicts: 688000 | #Constraints: 39854
1909.44/1916.98 c INPROCESSING
1909.44/1916.98 c GARBAGE COLLECT
1909.44/1916.98 c #Conflicts: 689000 | #Constraints: 24495
1909.44/1916.98 c #Conflicts: 690000 | #Constraints: 25495
1909.44/1916.98 c #Conflicts: 691000 | #Constraints: 26495
1909.44/1916.98 c #Conflicts: 692000 | #Constraints: 27495
1909.44/1916.98 c #Conflicts: 693000 | #Constraints: 28495
1909.44/1916.98 c #Conflicts: 694000 | #Constraints: 29495
1909.44/1916.98 c #Conflicts: 695000 | #Constraints: 30495
1909.44/1916.98 c #Conflicts: 696000 | #Constraints: 31496
1909.44/1916.98 c #Conflicts: 697000 | #Constraints: 32496
1909.44/1916.98 c #Conflicts: 698000 | #Constraints: 33498
1909.44/1916.98 c #Conflicts: 699000 | #Constraints: 34498
1909.44/1916.98 c #Conflicts: 700000 | #Constraints: 35499
1909.44/1916.98 c #Conflicts: 701000 | #Constraints: 36499
1909.44/1916.98 c #Conflicts: 702000 | #Constraints: 37500
1909.44/1916.98 c #Conflicts: 703000 | #Constraints: 38502
1909.44/1916.98 c #Conflicts: 704000 | #Constraints: 39503
1909.44/1916.98 c #Conflicts: 705000 | #Constraints: 40503
1909.44/1916.98 c INPROCESSING
1909.44/1916.98 c GARBAGE COLLECT
1909.44/1916.98 c #Conflicts: 706000 | #Constraints: 24908
1909.44/1916.98 c #Conflicts: 707000 | #Constraints: 25909
1909.44/1916.98 c #Conflicts: 708000 | #Constraints: 26909
1909.44/1916.98 c #Conflicts: 709000 | #Constraints: 27909
1909.44/1916.98 c #Conflicts: 710000 | #Constraints: 28909
1909.44/1916.98 c #Conflicts: 711000 | #Constraints: 29911
1909.44/1916.98 c #Conflicts: 712000 | #Constraints: 30911
1909.44/1916.98 c #Conflicts: 713000 | #Constraints: 31911
1909.44/1916.98 c #Conflicts: 714000 | #Constraints: 32911
1909.44/1916.98 c #Conflicts: 715000 | #Constraints: 33911
1909.44/1916.98 c #Conflicts: 716000 | #Constraints: 34912
1909.44/1916.98 c #Conflicts: 717000 | #Constraints: 35912
1909.44/1916.98 c #Conflicts: 718000 | #Constraints: 36915
1909.44/1916.98 c #Conflicts: 719000 | #Constraints: 37915
1909.44/1916.98 c #Conflicts: 720000 | #Constraints: 38915
1909.44/1916.98 c #Conflicts: 721000 | #Constraints: 39916
1909.44/1916.98 c #Conflicts: 722000 | #Constraints: 40917
1909.44/1916.98 c INPROCESSING
1909.44/1916.98 c GARBAGE COLLECT
1909.44/1916.98 c #Conflicts: 723000 | #Constraints: 25000
1909.44/1916.98 c #Conflicts: 724000 | #Constraints: 26000
1909.44/1916.98 c #Conflicts: 725000 | #Constraints: 27001
1909.44/1916.98 c #Conflicts: 726000 | #Constraints: 28002
1909.44/1916.98 c #Conflicts: 727000 | #Constraints: 29002
1909.44/1916.98 c #Conflicts: 728000 | #Constraints: 30003
1909.44/1916.98 c #Conflicts: 729000 | #Constraints: 31004
1909.44/1916.98 c #Conflicts: 730000 | #Constraints: 32005
1909.44/1916.98 c #Conflicts: 731000 | #Constraints: 33007
1909.44/1916.98 c #Conflicts: 732000 | #Constraints: 34007
1909.44/1916.98 c #Conflicts: 733000 | #Constraints: 35007
1909.44/1916.98 c #Conflicts: 734000 | #Constraints: 36007
1909.44/1916.98 c #Conflicts: 735000 | #Constraints: 37007
1909.44/1916.98 c #Conflicts: 736000 | #Constraints: 38007
1909.44/1916.98 c #Conflicts: 737000 | #Constraints: 39007
1909.44/1916.98 c #Conflicts: 738000 | #Constraints: 40007
1909.44/1916.98 c #Conflicts: 739000 | #Constraints: 41007
1909.44/1916.98 c INPROCESSING
1909.44/1916.98 c GARBAGE COLLECT
1909.44/1916.98 c #Conflicts: 740000 | #Constraints: 24838
1909.44/1916.98 c #Conflicts: 741000 | #Constraints: 25838
1909.44/1916.98 c #Conflicts: 742000 | #Constraints: 26839
1909.44/1916.98 c #Conflicts: 743000 | #Constraints: 27839
1909.44/1916.98 c #Conflicts: 744000 | #Constraints: 28839
1909.44/1916.98 c #Conflicts: 745000 | #Constraints: 29840
1909.44/1916.98 c #Conflicts: 746000 | #Constraints: 30840
1909.44/1916.98 c #Conflicts: 747000 | #Constraints: 31841
1909.44/1916.98 c #Conflicts: 748000 | #Constraints: 32841
1909.44/1916.98 c #Conflicts: 749000 | #Constraints: 33842
1909.44/1916.98 c #Conflicts: 750000 | #Constraints: 34842
1909.44/1916.98 c #Conflicts: 751000 | #Constraints: 35843
2069.80/2077.90 c #Conflicts: 752000 | #Constraints: 36843
2069.80/2077.90 c #Conflicts: 753000 | #Constraints: 37843
2069.80/2077.90 c #Conflicts: 754000 | #Constraints: 38844
2069.80/2077.90 c #Conflicts: 755000 | #Constraints: 39845
2069.80/2077.90 c #Conflicts: 756000 | #Constraints: 40845
2069.80/2077.90 c INPROCESSING
2069.80/2077.90 c GARBAGE COLLECT
2069.80/2077.90 c #Conflicts: 757000 | #Constraints: 24748
2069.80/2077.90 c #Conflicts: 758000 | #Constraints: 25749
2069.80/2077.90 c #Conflicts: 759000 | #Constraints: 26749
2069.80/2077.90 c #Conflicts: 760000 | #Constraints: 27749
2069.80/2077.90 c #Conflicts: 761000 | #Constraints: 28749
2069.80/2077.90 c #Conflicts: 762000 | #Constraints: 29749
2069.80/2077.90 c #Conflicts: 763000 | #Constraints: 30749
2069.80/2077.90 c #Conflicts: 764000 | #Constraints: 31749
2069.80/2077.90 c #Conflicts: 765000 | #Constraints: 32749
2069.80/2077.90 c #Conflicts: 766000 | #Constraints: 33749
2069.80/2077.90 c #Conflicts: 767000 | #Constraints: 34749
2069.80/2077.90 c #Conflicts: 768000 | #Constraints: 35749
2069.80/2077.90 c #Conflicts: 769000 | #Constraints: 36749
2069.80/2077.90 c #Conflicts: 770000 | #Constraints: 37749
2069.80/2077.90 c #Conflicts: 771000 | #Constraints: 38750
2069.80/2077.90 c #Conflicts: 772000 | #Constraints: 39750
2069.80/2077.90 c #Conflicts: 773000 | #Constraints: 40750
2069.80/2077.90 c #Conflicts: 774000 | #Constraints: 41750
2069.80/2077.90 c INPROCESSING
2069.80/2077.90 c GARBAGE COLLECT
2069.80/2077.90 c #Conflicts: 775000 | #Constraints: 25413
2069.80/2077.90 c #Conflicts: 776000 | #Constraints: 26413
2069.80/2077.90 c #Conflicts: 777000 | #Constraints: 27413
2069.80/2077.90 c #Conflicts: 778000 | #Constraints: 28413
2069.80/2077.90 c #Conflicts: 779000 | #Constraints: 29413
2069.80/2077.90 c #Conflicts: 780000 | #Constraints: 30413
2069.80/2077.90 c #Conflicts: 781000 | #Constraints: 31414
2069.80/2077.90 c #Conflicts: 782000 | #Constraints: 32414
2069.80/2077.90 c #Conflicts: 783000 | #Constraints: 33414
2069.80/2077.90 c #Conflicts: 784000 | #Constraints: 34414
2069.80/2077.90 c #Conflicts: 785000 | #Constraints: 35414
2069.80/2077.90 c #Conflicts: 786000 | #Constraints: 36414
2069.80/2077.90 c #Conflicts: 787000 | #Constraints: 37423
2069.80/2077.90 c #Conflicts: 788000 | #Constraints: 38439
2069.80/2077.90 c #Conflicts: 789000 | #Constraints: 39439
2069.80/2077.90 c #Conflicts: 790000 | #Constraints: 40439
2069.80/2077.90 c #Conflicts: 791000 | #Constraints: 41439
2069.80/2077.90 c #Conflicts: 792000 | #Constraints: 42439
2069.80/2077.90 c INPROCESSING
2069.80/2077.90 c GARBAGE COLLECT
2069.80/2077.90 c #Conflicts: 793000 | #Constraints: 25819
2069.80/2077.90 c #Conflicts: 794000 | #Constraints: 26819
2069.80/2077.90 c #Conflicts: 795000 | #Constraints: 27819
2069.80/2077.90 c #Conflicts: 796000 | #Constraints: 28819
2069.80/2077.90 c #Conflicts: 797000 | #Constraints: 29819
2069.80/2077.90 c #Conflicts: 798000 | #Constraints: 30819
2069.80/2077.90 c #Conflicts: 799000 | #Constraints: 31819
2069.80/2077.90 c #Conflicts: 800000 | #Constraints: 32819
2069.80/2077.90 c #Conflicts: 801000 | #Constraints: 33819
2069.80/2077.90 c #Conflicts: 802000 | #Constraints: 34819
2069.80/2077.90 c #Conflicts: 803000 | #Constraints: 35819
2069.80/2077.90 c #Conflicts: 804000 | #Constraints: 36819
2069.80/2077.90 c #Conflicts: 805000 | #Constraints: 37819
2069.80/2077.90 c #Conflicts: 806000 | #Constraints: 38819
2069.80/2077.90 c #Conflicts: 807000 | #Constraints: 39819
2069.80/2077.90 c #Conflicts: 808000 | #Constraints: 40819
2069.80/2077.90 c #Conflicts: 809000 | #Constraints: 41819
2069.80/2077.90 c #Conflicts: 810000 | #Constraints: 42819
2069.80/2077.90 c INPROCESSING
2069.80/2077.90 c GARBAGE COLLECT
2069.80/2077.90 c #Conflicts: 811000 | #Constraints: 25988
2069.80/2077.90 c #Conflicts: 812000 | #Constraints: 26988
2069.80/2077.90 c #Conflicts: 813000 | #Constraints: 27988
2069.80/2077.90 c #Conflicts: 814000 | #Constraints: 28988
2069.80/2077.90 c #Conflicts: 815000 | #Constraints: 29988
2069.80/2077.90 c #Conflicts: 816000 | #Constraints: 30988
2069.80/2077.90 c #Conflicts: 817000 | #Constraints: 31988
2069.80/2077.90 c #Conflicts: 818000 | #Constraints: 32988
2069.80/2077.90 c #Conflicts: 819000 | #Constraints: 33988
2069.80/2077.90 c #Conflicts: 820000 | #Constraints: 34988
2069.80/2077.90 c #Conflicts: 821000 | #Constraints: 35988
2069.80/2077.90 c #Conflicts: 822000 | #Constraints: 36988
2069.80/2077.90 c #Conflicts: 823000 | #Constraints: 37988
2069.80/2077.90 c #Conflicts: 824000 | #Constraints: 38988
2069.80/2077.90 c #Conflicts: 825000 | #Constraints: 39988
2069.80/2077.90 c #Conflicts: 826000 | #Constraints: 40988
2069.80/2077.90 c #Conflicts: 827000 | #Constraints: 41988
2378.88/2388.38 c #Conflicts: 828000 | #Constraints: 42989
2378.88/2388.38 c INPROCESSING
2378.88/2388.38 c GARBAGE COLLECT
2378.88/2388.38 c #Conflicts: 829000 | #Constraints: 26173
2378.88/2388.38 c #Conflicts: 830000 | #Constraints: 27173
2378.88/2388.38 c #Conflicts: 831000 | #Constraints: 28175
2378.88/2388.38 c #Conflicts: 832000 | #Constraints: 29177
2378.88/2388.38 c #Conflicts: 833000 | #Constraints: 30178
2378.88/2388.38 c #Conflicts: 834000 | #Constraints: 31178
2378.88/2388.38 c #Conflicts: 835000 | #Constraints: 32179
2378.88/2388.38 c #Conflicts: 836000 | #Constraints: 33179
2378.88/2388.38 c #Conflicts: 837000 | #Constraints: 34179
2378.88/2388.38 c #Conflicts: 838000 | #Constraints: 35179
2378.88/2388.38 c #Conflicts: 839000 | #Constraints: 36179
2378.88/2388.38 c #Conflicts: 840000 | #Constraints: 37179
2378.88/2388.38 c #Conflicts: 841000 | #Constraints: 38179
2378.88/2388.38 c #Conflicts: 842000 | #Constraints: 39179
2378.88/2388.38 c #Conflicts: 843000 | #Constraints: 40180
2378.88/2388.38 c #Conflicts: 844000 | #Constraints: 41180
2378.88/2388.38 c #Conflicts: 845000 | #Constraints: 42189
2378.88/2388.38 c #Conflicts: 846000 | #Constraints: 43189
2378.88/2388.38 c INPROCESSING
2378.88/2388.38 c GARBAGE COLLECT
2378.88/2388.38 c #Conflicts: 847000 | #Constraints: 25915
2378.88/2388.38 c #Conflicts: 848000 | #Constraints: 26915
2378.88/2388.38 c #Conflicts: 849000 | #Constraints: 27915
2378.88/2388.38 c #Conflicts: 850000 | #Constraints: 28917
2378.88/2388.38 c #Conflicts: 851000 | #Constraints: 29918
2378.88/2388.38 c #Conflicts: 852000 | #Constraints: 30919
2378.88/2388.38 c #Conflicts: 853000 | #Constraints: 31920
2378.88/2388.38 c #Conflicts: 854000 | #Constraints: 32920
2378.88/2388.38 c #Conflicts: 855000 | #Constraints: 33920
2378.88/2388.38 c #Conflicts: 856000 | #Constraints: 34920
2378.88/2388.38 c #Conflicts: 857000 | #Constraints: 35920
2378.88/2388.38 c #Conflicts: 858000 | #Constraints: 36920
2378.88/2388.38 c #Conflicts: 859000 | #Constraints: 37921
2378.88/2388.38 c #Conflicts: 860000 | #Constraints: 38921
2378.88/2388.38 c #Conflicts: 861000 | #Constraints: 39921
2378.88/2388.38 c #Conflicts: 862000 | #Constraints: 40922
2378.88/2388.38 c #Conflicts: 863000 | #Constraints: 41922
2378.88/2388.38 c #Conflicts: 864000 | #Constraints: 42923
2378.88/2388.38 c #Conflicts: 865000 | #Constraints: 43924
2378.88/2388.38 c INPROCESSING
2378.88/2388.38 c GARBAGE COLLECT
2378.88/2388.38 c #Conflicts: 866000 | #Constraints: 26498
2378.88/2388.38 c #Conflicts: 867000 | #Constraints: 27498
2378.88/2388.38 c #Conflicts: 868000 | #Constraints: 28498
2378.88/2388.38 c #Conflicts: 869000 | #Constraints: 29498
2378.88/2388.38 c #Conflicts: 870000 | #Constraints: 30498
2378.88/2388.38 c #Conflicts: 871000 | #Constraints: 31499
2378.88/2388.38 c #Conflicts: 872000 | #Constraints: 32499
2378.88/2388.38 c #Conflicts: 873000 | #Constraints: 33499
2378.88/2388.38 c #Conflicts: 874000 | #Constraints: 34499
2378.88/2388.38 c #Conflicts: 875000 | #Constraints: 35499
2378.88/2388.38 c #Conflicts: 876000 | #Constraints: 36499
2378.88/2388.38 c #Conflicts: 877000 | #Constraints: 37500
2378.88/2388.38 c #Conflicts: 878000 | #Constraints: 38500
2378.88/2388.38 c #Conflicts: 879000 | #Constraints: 39500
2378.88/2388.38 c #Conflicts: 880000 | #Constraints: 40502
2378.88/2388.38 c #Conflicts: 881000 | #Constraints: 41503
2378.88/2388.38 c #Conflicts: 882000 | #Constraints: 42504
2378.88/2388.38 c #Conflicts: 883000 | #Constraints: 43506
2378.88/2388.38 c #Conflicts: 884000 | #Constraints: 44507
2378.88/2388.38 c INPROCESSING
2378.88/2388.38 c GARBAGE COLLECT
2378.88/2388.38 c #Conflicts: 885000 | #Constraints: 27165
2378.88/2388.38 c #Conflicts: 886000 | #Constraints: 28165
2378.88/2388.38 c #Conflicts: 887000 | #Constraints: 29165
2378.88/2388.38 c #Conflicts: 888000 | #Constraints: 30165
2378.88/2388.38 c #Conflicts: 889000 | #Constraints: 31165
2378.88/2388.38 c #Conflicts: 890000 | #Constraints: 32165
2378.88/2388.38 c #Conflicts: 891000 | #Constraints: 33165
2378.88/2388.38 c #Conflicts: 892000 | #Constraints: 34165
2378.88/2388.38 c #Conflicts: 893000 | #Constraints: 35165
2378.88/2388.38 c #Conflicts: 894000 | #Constraints: 36166
2378.88/2388.38 c #Conflicts: 895000 | #Constraints: 37166
2378.88/2388.38 c #Conflicts: 896000 | #Constraints: 38166
2378.88/2388.38 c #Conflicts: 897000 | #Constraints: 39167
2378.88/2388.38 c #Conflicts: 898000 | #Constraints: 40167
2378.88/2388.38 c #Conflicts: 899000 | #Constraints: 41169
2378.88/2388.38 c #Conflicts: 900000 | #Constraints: 42170
2378.88/2388.38 c #Conflicts: 901000 | #Constraints: 43171
2378.88/2388.38 c #Conflicts: 902000 | #Constraints: 44171
2378.88/2388.38 c #Conflicts: 903000 | #Constraints: 45171
2517.68/2527.86 c INPROCESSING
2517.68/2527.86 c GARBAGE COLLECT
2517.68/2527.86 c #Conflicts: 904000 | #Constraints: 27226
2517.68/2527.86 c #Conflicts: 905000 | #Constraints: 28226
2517.68/2527.86 c #Conflicts: 906000 | #Constraints: 29226
2517.68/2527.86 c #Conflicts: 907000 | #Constraints: 30227
2517.68/2527.86 c #Conflicts: 908000 | #Constraints: 31227
2517.68/2527.86 c #Conflicts: 909000 | #Constraints: 32229
2517.68/2527.86 c #Conflicts: 910000 | #Constraints: 33230
2517.68/2527.86 c #Conflicts: 911000 | #Constraints: 34231
2517.68/2527.86 c #Conflicts: 912000 | #Constraints: 35231
2517.68/2527.86 c #Conflicts: 913000 | #Constraints: 36231
2517.68/2527.86 c #Conflicts: 914000 | #Constraints: 37231
2517.68/2527.86 c #Conflicts: 915000 | #Constraints: 38231
2517.68/2527.86 c #Conflicts: 916000 | #Constraints: 39231
2517.68/2527.86 c #Conflicts: 917000 | #Constraints: 40231
2517.68/2527.86 c #Conflicts: 918000 | #Constraints: 41232
2517.68/2527.86 c #Conflicts: 919000 | #Constraints: 42232
2517.68/2527.86 c #Conflicts: 920000 | #Constraints: 43232
2517.68/2527.86 c #Conflicts: 921000 | #Constraints: 44233
2517.68/2527.86 c #Conflicts: 922000 | #Constraints: 45233
2517.68/2527.86 c INPROCESSING
2517.68/2527.86 c GARBAGE COLLECT
2517.68/2527.86 c #Conflicts: 923000 | #Constraints: 27212
2517.68/2527.86 c #Conflicts: 924000 | #Constraints: 28212
2517.68/2527.86 c #Conflicts: 925000 | #Constraints: 29213
2517.68/2527.86 c #Conflicts: 926000 | #Constraints: 30214
2517.68/2527.86 c #Conflicts: 927000 | #Constraints: 31214
2517.68/2527.86 c #Conflicts: 928000 | #Constraints: 32215
2517.68/2527.86 c #Conflicts: 929000 | #Constraints: 33215
2517.68/2527.86 c #Conflicts: 930000 | #Constraints: 34216
2517.68/2527.86 c #Conflicts: 931000 | #Constraints: 35216
2517.68/2527.86 c #Conflicts: 932000 | #Constraints: 36216
2517.68/2527.86 c #Conflicts: 933000 | #Constraints: 37218
2517.68/2527.86 c #Conflicts: 934000 | #Constraints: 38218
2517.68/2527.86 c #Conflicts: 935000 | #Constraints: 39221
2517.68/2527.86 c #Conflicts: 936000 | #Constraints: 40223
2517.68/2527.86 c #Conflicts: 937000 | #Constraints: 41223
2517.68/2527.86 c #Conflicts: 938000 | #Constraints: 42223
2517.68/2527.86 c #Conflicts: 939000 | #Constraints: 43223
2517.68/2527.86 c #Conflicts: 940000 | #Constraints: 44226
2517.68/2527.86 c #Conflicts: 941000 | #Constraints: 45227
2517.68/2527.86 c INPROCESSING
2517.68/2527.86 c GARBAGE COLLECT
2517.68/2527.86 c #Conflicts: 942000 | #Constraints: 26982
2517.68/2527.86 c #Conflicts: 943000 | #Constraints: 27982
2517.68/2527.86 c #Conflicts: 944000 | #Constraints: 28982
2517.68/2527.86 c #Conflicts: 945000 | #Constraints: 29982
2517.68/2527.86 c #Conflicts: 946000 | #Constraints: 30982
2517.68/2527.86 c #Conflicts: 947000 | #Constraints: 31982
2517.68/2527.86 c #Conflicts: 948000 | #Constraints: 32982
2517.68/2527.86 c #Conflicts: 949000 | #Constraints: 33982
2517.68/2527.86 c #Conflicts: 950000 | #Constraints: 34982
2517.68/2527.86 c #Conflicts: 951000 | #Constraints: 35982
2517.68/2527.86 c #Conflicts: 952000 | #Constraints: 36982
2517.68/2527.86 c #Conflicts: 953000 | #Constraints: 37983
2517.68/2527.86 c #Conflicts: 954000 | #Constraints: 38984
2517.68/2527.86 c #Conflicts: 955000 | #Constraints: 39984
2517.68/2527.86 c #Conflicts: 956000 | #Constraints: 40984
2517.68/2527.86 c #Conflicts: 957000 | #Constraints: 41985
2517.68/2527.86 c #Conflicts: 958000 | #Constraints: 42988
2517.68/2527.86 c #Conflicts: 959000 | #Constraints: 43988
2517.68/2527.86 c #Conflicts: 960000 | #Constraints: 44988
2517.68/2527.86 c #Conflicts: 961000 | #Constraints: 45989
2517.68/2527.86 c INPROCESSING
2517.68/2527.86 c GARBAGE COLLECT
2517.68/2527.86 c #Conflicts: 962000 | #Constraints: 27555
2517.68/2527.86 c #Conflicts: 963000 | #Constraints: 28555
2517.68/2527.86 c #Conflicts: 964000 | #Constraints: 29555
2517.68/2527.86 c #Conflicts: 965000 | #Constraints: 30555
2517.68/2527.86 c #Conflicts: 966000 | #Constraints: 31555
2517.68/2527.86 c #Conflicts: 967000 | #Constraints: 32555
2517.68/2527.86 c #Conflicts: 968000 | #Constraints: 33556
2517.68/2527.86 c #Conflicts: 969000 | #Constraints: 34556
2517.68/2527.86 c #Conflicts: 970000 | #Constraints: 35557
2517.68/2527.86 c #Conflicts: 971000 | #Constraints: 36557
2517.68/2527.86 c #Conflicts: 972000 | #Constraints: 37557
2517.68/2527.86 c #Conflicts: 973000 | #Constraints: 38558
2517.68/2527.86 c #Conflicts: 974000 | #Constraints: 39558
2517.68/2527.86 c #Conflicts: 975000 | #Constraints: 40558
2517.68/2527.86 c #Conflicts: 976000 | #Constraints: 41558
2517.68/2527.86 c #Conflicts: 977000 | #Constraints: 42559
2517.68/2527.86 c #Conflicts: 978000 | #Constraints: 43559
2517.68/2527.86 c #Conflicts: 979000 | #Constraints: 44559
2517.68/2527.86 c #Conflicts: 980000 | #Constraints: 45559
2646.79/2657.91 c #Conflicts: 981000 | #Constraints: 46559
2646.79/2657.91 c INPROCESSING
2646.79/2657.91 c GARBAGE COLLECT
2646.79/2657.91 c #Conflicts: 982000 | #Constraints: 27903
2646.79/2657.91 c #Conflicts: 983000 | #Constraints: 28903
2646.79/2657.91 c #Conflicts: 984000 | #Constraints: 29903
2646.79/2657.91 c #Conflicts: 985000 | #Constraints: 30903
2646.79/2657.91 c #Conflicts: 986000 | #Constraints: 31903
2646.79/2657.91 c #Conflicts: 987000 | #Constraints: 32903
2646.79/2657.91 c #Conflicts: 988000 | #Constraints: 33903
2646.79/2657.91 c #Conflicts: 989000 | #Constraints: 34903
2646.79/2657.91 c #Conflicts: 990000 | #Constraints: 35904
2646.79/2657.91 c #Conflicts: 991000 | #Constraints: 36904
2646.79/2657.91 c #Conflicts: 992000 | #Constraints: 37905
2646.79/2657.91 c #Conflicts: 993000 | #Constraints: 38905
2646.79/2657.91 c #Conflicts: 994000 | #Constraints: 39906
2646.79/2657.91 c #Conflicts: 995000 | #Constraints: 40906
2646.79/2657.91 c #Conflicts: 996000 | #Constraints: 41906
2646.79/2657.91 c #Conflicts: 997000 | #Constraints: 42906
2646.79/2657.91 c #Conflicts: 998000 | #Constraints: 43907
2646.79/2657.91 c #Conflicts: 999000 | #Constraints: 44908
2646.79/2657.91 c #Conflicts: 1000000 | #Constraints: 45908
2646.79/2657.91 c #Conflicts: 1001000 | #Constraints: 46910
2646.79/2657.91 c INPROCESSING
2646.79/2657.91 c GARBAGE COLLECT
2646.79/2657.91 c #Conflicts: 1002000 | #Constraints: 27952
2646.79/2657.91 c #Conflicts: 1003000 | #Constraints: 28952
2646.79/2657.91 c #Conflicts: 1004000 | #Constraints: 29953
2646.79/2657.91 c #Conflicts: 1005000 | #Constraints: 30953
2646.79/2657.91 c #Conflicts: 1006000 | #Constraints: 31955
2646.79/2657.91 c #Conflicts: 1007000 | #Constraints: 32956
2646.79/2657.91 c #Conflicts: 1008000 | #Constraints: 33958
2646.79/2657.91 c #Conflicts: 1009000 | #Constraints: 34958
2646.79/2657.91 c #Conflicts: 1010000 | #Constraints: 35958
2646.79/2657.91 c #Conflicts: 1011000 | #Constraints: 36958
2646.79/2657.91 c #Conflicts: 1012000 | #Constraints: 37960
2646.79/2657.91 c #Conflicts: 1013000 | #Constraints: 38960
2646.79/2657.91 c #Conflicts: 1014000 | #Constraints: 39960
2646.79/2657.91 c #Conflicts: 1015000 | #Constraints: 40962
2646.79/2657.91 c #Conflicts: 1016000 | #Constraints: 41963
2646.79/2657.91 c #Conflicts: 1017000 | #Constraints: 42964
2646.79/2657.91 c #Conflicts: 1018000 | #Constraints: 43964
2646.79/2657.91 c #Conflicts: 1019000 | #Constraints: 44964
2646.79/2657.91 c #Conflicts: 1020000 | #Constraints: 45965
2646.79/2657.91 c #Conflicts: 1021000 | #Constraints: 46966
2646.79/2657.91 c INPROCESSING
2646.79/2657.91 c GARBAGE COLLECT
2646.79/2657.91 c #Conflicts: 1022000 | #Constraints: 28053
2646.79/2657.91 c #Conflicts: 1023000 | #Constraints: 29055
2646.79/2657.91 c #Conflicts: 1024000 | #Constraints: 30056
2646.79/2657.91 c #Conflicts: 1025000 | #Constraints: 31057
2646.79/2657.91 c #Conflicts: 1026000 | #Constraints: 32057
2646.79/2657.91 c #Conflicts: 1027000 | #Constraints: 33058
2646.79/2657.91 c #Conflicts: 1028000 | #Constraints: 34059
2646.79/2657.91 c #Conflicts: 1029000 | #Constraints: 35060
2646.79/2657.91 c #Conflicts: 1030000 | #Constraints: 36061
2646.79/2657.91 c #Conflicts: 1031000 | #Constraints: 37062
2646.79/2657.91 c #Conflicts: 1032000 | #Constraints: 38063
2646.79/2657.91 c #Conflicts: 1033000 | #Constraints: 39063
2646.79/2657.91 c #Conflicts: 1034000 | #Constraints: 40063
2646.79/2657.91 c #Conflicts: 1035000 | #Constraints: 41063
2646.79/2657.91 c #Conflicts: 1036000 | #Constraints: 42063
2646.79/2657.91 c #Conflicts: 1037000 | #Constraints: 43063
2646.79/2657.91 c #Conflicts: 1038000 | #Constraints: 44063
2646.79/2657.91 c #Conflicts: 1039000 | #Constraints: 45063
2646.79/2657.91 c #Conflicts: 1040000 | #Constraints: 46063
2646.79/2657.91 c #Conflicts: 1041000 | #Constraints: 47064
2646.79/2657.91 c INPROCESSING
2646.79/2657.91 c GARBAGE COLLECT
2646.79/2657.91 c #Conflicts: 1042000 | #Constraints: 27866
2646.79/2657.91 c #Conflicts: 1043000 | #Constraints: 28866
2646.79/2657.91 c #Conflicts: 1044000 | #Constraints: 29866
2646.79/2657.91 c #Conflicts: 1045000 | #Constraints: 30866
2646.79/2657.91 c #Conflicts: 1046000 | #Constraints: 31866
2646.79/2657.91 c #Conflicts: 1047000 | #Constraints: 32866
2646.79/2657.91 c #Conflicts: 1048000 | #Constraints: 33866
2646.79/2657.91 c #Conflicts: 1049000 | #Constraints: 34866
2646.79/2657.91 c #Conflicts: 1050000 | #Constraints: 35866
2646.79/2657.91 c #Conflicts: 1051000 | #Constraints: 36866
2646.79/2657.91 c #Conflicts: 1052000 | #Constraints: 37866
2646.79/2657.91 c #Conflicts: 1053000 | #Constraints: 38866
2646.79/2657.91 c #Conflicts: 1054000 | #Constraints: 39866
2646.79/2657.91 c #Conflicts: 1055000 | #Constraints: 40866
2646.79/2657.91 c #Conflicts: 1056000 | #Constraints: 41866
3167.68/3181.88 c #Conflicts: 1057000 | #Constraints: 42866
3167.68/3181.88 c #Conflicts: 1058000 | #Constraints: 43866
3167.68/3181.88 c #Conflicts: 1059000 | #Constraints: 44866
3167.68/3181.88 c #Conflicts: 1060000 | #Constraints: 45866
3167.68/3181.88 c #Conflicts: 1061000 | #Constraints: 46866
3167.68/3181.88 c #Conflicts: 1062000 | #Constraints: 47866
3167.68/3181.88 c INPROCESSING
3167.68/3181.88 c GARBAGE COLLECT
3167.68/3181.88 c #Conflicts: 1063000 | #Constraints: 28486
3167.68/3181.88 c #Conflicts: 1064000 | #Constraints: 29486
3167.68/3181.88 c #Conflicts: 1065000 | #Constraints: 30486
3167.68/3181.88 c #Conflicts: 1066000 | #Constraints: 31486
3167.68/3181.88 c #Conflicts: 1067000 | #Constraints: 32486
3167.68/3181.88 c #Conflicts: 1068000 | #Constraints: 33486
3167.68/3181.88 c #Conflicts: 1069000 | #Constraints: 34486
3167.68/3181.88 c #Conflicts: 1070000 | #Constraints: 35486
3167.68/3181.88 c #Conflicts: 1071000 | #Constraints: 36487
3167.68/3181.88 c #Conflicts: 1072000 | #Constraints: 37487
3167.68/3181.88 c #Conflicts: 1073000 | #Constraints: 38488
3167.68/3181.88 c #Conflicts: 1074000 | #Constraints: 39489
3167.68/3181.88 c #Conflicts: 1075000 | #Constraints: 40490
3167.68/3181.88 c #Conflicts: 1076000 | #Constraints: 41491
3167.68/3181.88 c #Conflicts: 1077000 | #Constraints: 42491
3167.68/3181.88 c #Conflicts: 1078000 | #Constraints: 43491
3167.68/3181.88 c #Conflicts: 1079000 | #Constraints: 44491
3167.68/3181.88 c #Conflicts: 1080000 | #Constraints: 45491
3167.68/3181.88 c #Conflicts: 1081000 | #Constraints: 46492
3167.68/3181.88 c #Conflicts: 1082000 | #Constraints: 47492
3167.68/3181.88 c #Conflicts: 1083000 | #Constraints: 48492
3167.68/3181.88 c INPROCESSING
3167.68/3181.88 c GARBAGE COLLECT
3167.68/3181.88 c #Conflicts: 1084000 | #Constraints: 29056
3167.68/3181.88 c #Conflicts: 1085000 | #Constraints: 30056
3167.68/3181.88 c #Conflicts: 1086000 | #Constraints: 31056
3167.68/3181.88 c #Conflicts: 1087000 | #Constraints: 32056
3167.68/3181.88 c #Conflicts: 1088000 | #Constraints: 33056
3167.68/3181.88 c #Conflicts: 1089000 | #Constraints: 34060
3167.68/3181.88 c #Conflicts: 1090000 | #Constraints: 35061
3167.68/3181.88 c #Conflicts: 1091000 | #Constraints: 36061
3167.68/3181.88 c #Conflicts: 1092000 | #Constraints: 37061
3167.68/3181.88 c #Conflicts: 1093000 | #Constraints: 38061
3167.68/3181.88 c #Conflicts: 1094000 | #Constraints: 39061
3167.68/3181.88 c #Conflicts: 1095000 | #Constraints: 40062
3167.68/3181.88 c #Conflicts: 1096000 | #Constraints: 41062
3167.68/3181.88 c #Conflicts: 1097000 | #Constraints: 42062
3167.68/3181.88 c #Conflicts: 1098000 | #Constraints: 43063
3167.68/3181.88 c #Conflicts: 1099000 | #Constraints: 44064
3167.68/3181.88 c #Conflicts: 1100000 | #Constraints: 45065
3167.68/3181.88 c #Conflicts: 1101000 | #Constraints: 46065
3167.68/3181.88 c #Conflicts: 1102000 | #Constraints: 47065
3167.68/3181.88 c #Conflicts: 1103000 | #Constraints: 48065
3167.68/3181.88 c #Conflicts: 1104000 | #Constraints: 49066
3167.68/3181.88 c INPROCESSING
3167.68/3181.88 c GARBAGE COLLECT
3167.68/3181.88 c #Conflicts: 1105000 | #Constraints: 29008
3167.68/3181.88 c #Conflicts: 1106000 | #Constraints: 30008
3167.68/3181.88 c #Conflicts: 1107000 | #Constraints: 31008
3167.68/3181.88 c #Conflicts: 1108000 | #Constraints: 32008
3167.68/3181.88 c #Conflicts: 1109000 | #Constraints: 33008
3167.68/3181.88 c #Conflicts: 1110000 | #Constraints: 34008
3167.68/3181.88 c #Conflicts: 1111000 | #Constraints: 35008
3167.68/3181.88 c #Conflicts: 1112000 | #Constraints: 36009
3167.68/3181.88 c #Conflicts: 1113000 | #Constraints: 37010
3167.68/3181.89 c #Conflicts: 1114000 | #Constraints: 38011
3167.68/3181.89 c #Conflicts: 1115000 | #Constraints: 39011
3167.68/3181.89 c #Conflicts: 1116000 | #Constraints: 40011
3167.68/3181.89 c #Conflicts: 1117000 | #Constraints: 41011
3167.68/3181.89 c #Conflicts: 1118000 | #Constraints: 42012
3167.68/3181.89 c #Conflicts: 1119000 | #Constraints: 43012
3167.68/3181.89 c #Conflicts: 1120000 | #Constraints: 44012
3167.68/3181.89 c #Conflicts: 1121000 | #Constraints: 45012
3167.68/3181.89 c #Conflicts: 1122000 | #Constraints: 46013
3167.68/3181.89 c #Conflicts: 1123000 | #Constraints: 47015
3167.68/3181.89 c #Conflicts: 1124000 | #Constraints: 48015
3167.68/3181.89 c #Conflicts: 1125000 | #Constraints: 49015
3167.68/3181.89 c INPROCESSING
3167.68/3181.89 c GARBAGE COLLECT
3167.68/3181.89 c #Conflicts: 1126000 | #Constraints: 29151
3167.68/3181.89 c #Conflicts: 1127000 | #Constraints: 30152
3167.68/3181.89 c #Conflicts: 1128000 | #Constraints: 31152
3167.68/3181.89 c #Conflicts: 1129000 | #Constraints: 32152
3167.68/3181.89 c #Conflicts: 1130000 | #Constraints: 33152
3167.68/3181.89 c #Conflicts: 1131000 | #Constraints: 34154
3167.68/3181.89 c #Conflicts: 1132000 | #Constraints: 35156
3304.70/3319.63 c #Conflicts: 1133000 | #Constraints: 36156
3304.70/3319.63 c #Conflicts: 1134000 | #Constraints: 37156
3304.70/3319.63 c #Conflicts: 1135000 | #Constraints: 38156
3304.70/3319.63 c #Conflicts: 1136000 | #Constraints: 39156
3304.70/3319.63 c #Conflicts: 1137000 | #Constraints: 40156
3304.70/3319.63 c #Conflicts: 1138000 | #Constraints: 41156
3304.70/3319.63 c #Conflicts: 1139000 | #Constraints: 42156
3304.70/3319.63 c #Conflicts: 1140000 | #Constraints: 43156
3304.70/3319.63 c #Conflicts: 1141000 | #Constraints: 44156
3304.70/3319.63 c #Conflicts: 1142000 | #Constraints: 45156
3304.70/3319.63 c #Conflicts: 1143000 | #Constraints: 46156
3304.70/3319.63 c #Conflicts: 1144000 | #Constraints: 47156
3304.70/3319.63 c #Conflicts: 1145000 | #Constraints: 48156
3304.70/3319.63 c #Conflicts: 1146000 | #Constraints: 49156
3304.70/3319.63 c INPROCESSING
3304.70/3319.63 c GARBAGE COLLECT
3304.70/3319.63 c #Conflicts: 1147000 | #Constraints: 29093
3304.70/3319.63 c #Conflicts: 1148000 | #Constraints: 30094
3304.70/3319.63 c #Conflicts: 1149000 | #Constraints: 31094
3304.70/3319.63 c #Conflicts: 1150000 | #Constraints: 32094
3304.70/3319.63 c #Conflicts: 1151000 | #Constraints: 33095
3304.70/3319.63 c #Conflicts: 1152000 | #Constraints: 34096
3304.70/3319.63 c #Conflicts: 1153000 | #Constraints: 35097
3304.70/3319.63 c #Conflicts: 1154000 | #Constraints: 36098
3304.70/3319.63 c #Conflicts: 1155000 | #Constraints: 37098
3304.70/3319.63 c #Conflicts: 1156000 | #Constraints: 38098
3304.70/3319.63 c #Conflicts: 1157000 | #Constraints: 39098
3304.70/3319.63 c #Conflicts: 1158000 | #Constraints: 40098
3304.70/3319.63 c #Conflicts: 1159000 | #Constraints: 41098
3304.70/3319.63 c #Conflicts: 1160000 | #Constraints: 42098
3304.70/3319.63 c #Conflicts: 1161000 | #Constraints: 43098
3304.70/3319.63 c #Conflicts: 1162000 | #Constraints: 44098
3304.70/3319.63 c #Conflicts: 1163000 | #Constraints: 45098
3304.70/3319.63 c #Conflicts: 1164000 | #Constraints: 46098
3304.70/3319.63 c #Conflicts: 1165000 | #Constraints: 47098
3304.70/3319.63 c #Conflicts: 1166000 | #Constraints: 48098
3304.70/3319.63 c #Conflicts: 1167000 | #Constraints: 49099
3304.70/3319.63 c #Conflicts: 1168000 | #Constraints: 50100
3304.70/3319.63 c INPROCESSING
3304.70/3319.63 c GARBAGE COLLECT
3304.70/3319.63 c #Conflicts: 1169000 | #Constraints: 29800
3304.70/3319.63 c #Conflicts: 1170000 | #Constraints: 30801
3304.70/3319.63 c #Conflicts: 1171000 | #Constraints: 31801
3304.70/3319.63 c #Conflicts: 1172000 | #Constraints: 32801
3304.70/3319.63 c #Conflicts: 1173000 | #Constraints: 33801
3304.70/3319.63 c #Conflicts: 1174000 | #Constraints: 34801
3304.70/3319.63 c #Conflicts: 1175000 | #Constraints: 35801
3304.70/3319.63 c #Conflicts: 1176000 | #Constraints: 36801
3304.70/3319.63 c #Conflicts: 1177000 | #Constraints: 37801
3304.70/3319.63 c #Conflicts: 1178000 | #Constraints: 38801
3304.70/3319.63 c #Conflicts: 1179000 | #Constraints: 39801
3304.70/3319.63 c #Conflicts: 1180000 | #Constraints: 40801
3304.70/3319.63 c #Conflicts: 1181000 | #Constraints: 41803
3304.70/3319.63 c #Conflicts: 1182000 | #Constraints: 42803
3304.70/3319.63 c #Conflicts: 1183000 | #Constraints: 43804
3304.70/3319.63 c #Conflicts: 1184000 | #Constraints: 44804
3304.70/3319.63 c #Conflicts: 1185000 | #Constraints: 45804
3304.70/3319.63 c #Conflicts: 1186000 | #Constraints: 46804
3304.70/3319.63 c #Conflicts: 1187000 | #Constraints: 47804
3304.70/3319.63 c #Conflicts: 1188000 | #Constraints: 48804
3304.70/3319.63 c #Conflicts: 1189000 | #Constraints: 49804
3304.70/3319.63 c #Conflicts: 1190000 | #Constraints: 50804
3304.70/3319.63 c INPROCESSING
3304.70/3319.63 c GARBAGE COLLECT
3304.70/3319.63 c #Conflicts: 1191000 | #Constraints: 30114
3304.70/3319.63 c #Conflicts: 1192000 | #Constraints: 31114
3304.70/3319.63 c #Conflicts: 1193000 | #Constraints: 32116
3304.70/3319.63 c #Conflicts: 1194000 | #Constraints: 33116
3304.70/3319.63 c #Conflicts: 1195000 | #Constraints: 34117
3304.70/3319.63 c #Conflicts: 1196000 | #Constraints: 35120
3304.70/3319.63 c #Conflicts: 1197000 | #Constraints: 36121
3304.70/3319.63 c #Conflicts: 1198000 | #Constraints: 37121
3304.70/3319.63 c #Conflicts: 1199000 | #Constraints: 38121
3304.70/3319.63 c #Conflicts: 1200000 | #Constraints: 39121
3304.70/3319.63 c #Conflicts: 1201000 | #Constraints: 40121
3304.70/3319.63 c #Conflicts: 1202000 | #Constraints: 41122
3304.70/3319.63 c #Conflicts: 1203000 | #Constraints: 42123
3304.70/3319.63 c #Conflicts: 1204000 | #Constraints: 43123
3304.70/3319.63 c #Conflicts: 1205000 | #Constraints: 44123
3304.70/3319.63 c #Conflicts: 1206000 | #Constraints: 45123
3304.70/3319.63 c #Conflicts: 1207000 | #Constraints: 46123
3304.70/3319.63 c #Conflicts: 1208000 | #Constraints: 47123
3304.70/3319.63 c #Conflicts: 1209000 | #Constraints: 48123
3444.64/3461.08 c #Conflicts: 1210000 | #Constraints: 49123
3444.64/3461.08 c #Conflicts: 1211000 | #Constraints: 50123
3444.64/3461.08 c #Conflicts: 1212000 | #Constraints: 51123
3444.64/3461.08 c INPROCESSING
3444.64/3461.08 c GARBAGE COLLECT
3444.64/3461.08 c #Conflicts: 1213000 | #Constraints: 30258
3444.64/3461.08 c #Conflicts: 1214000 | #Constraints: 31258
3444.64/3461.08 c #Conflicts: 1215000 | #Constraints: 32258
3444.64/3461.08 c #Conflicts: 1216000 | #Constraints: 33258
3444.64/3461.08 c #Conflicts: 1217000 | #Constraints: 34258
3444.64/3461.08 c #Conflicts: 1218000 | #Constraints: 35258
3444.64/3461.08 c #Conflicts: 1219000 | #Constraints: 36259
3444.64/3461.08 c #Conflicts: 1220000 | #Constraints: 37259
3444.64/3461.08 c #Conflicts: 1221000 | #Constraints: 38259
3444.64/3461.08 c #Conflicts: 1222000 | #Constraints: 39259
3444.64/3461.08 c #Conflicts: 1223000 | #Constraints: 40259
3444.64/3461.08 c #Conflicts: 1224000 | #Constraints: 41259
3444.64/3461.08 c #Conflicts: 1225000 | #Constraints: 42259
3444.64/3461.08 c #Conflicts: 1226000 | #Constraints: 43259
3444.64/3461.08 c #Conflicts: 1227000 | #Constraints: 44259
3444.64/3461.08 c #Conflicts: 1228000 | #Constraints: 45259
3444.64/3461.08 c #Conflicts: 1229000 | #Constraints: 46259
3444.64/3461.08 c #Conflicts: 1230000 | #Constraints: 47259
3444.64/3461.08 c #Conflicts: 1231000 | #Constraints: 48259
3444.64/3461.08 c #Conflicts: 1232000 | #Constraints: 49260
3444.64/3461.08 c #Conflicts: 1233000 | #Constraints: 50260
3444.64/3461.08 c #Conflicts: 1234000 | #Constraints: 51261
3444.64/3461.08 c INPROCESSING
3444.64/3461.08 c GARBAGE COLLECT
3444.64/3461.08 c #Conflicts: 1235000 | #Constraints: 30211
3444.64/3461.08 c #Conflicts: 1236000 | #Constraints: 31211
3444.64/3461.08 c #Conflicts: 1237000 | #Constraints: 32212
3444.64/3461.08 c #Conflicts: 1238000 | #Constraints: 33216
3444.64/3461.08 c #Conflicts: 1239000 | #Constraints: 34216
3444.64/3461.08 c #Conflicts: 1240000 | #Constraints: 35216
3444.64/3461.08 c #Conflicts: 1241000 | #Constraints: 36216
3444.64/3461.08 c #Conflicts: 1242000 | #Constraints: 37216
3444.64/3461.08 c #Conflicts: 1243000 | #Constraints: 38216
3444.64/3461.08 c #Conflicts: 1244000 | #Constraints: 39216
3444.64/3461.08 c #Conflicts: 1245000 | #Constraints: 40216
3444.64/3461.08 c #Conflicts: 1246000 | #Constraints: 41216
3444.64/3461.08 c #Conflicts: 1247000 | #Constraints: 42216
3444.64/3461.08 c #Conflicts: 1248000 | #Constraints: 43216
3444.64/3461.08 c #Conflicts: 1249000 | #Constraints: 44217
3444.64/3461.08 c #Conflicts: 1250000 | #Constraints: 45217
3444.64/3461.08 c #Conflicts: 1251000 | #Constraints: 46217
3444.64/3461.08 c #Conflicts: 1252000 | #Constraints: 47217
3444.64/3461.08 c #Conflicts: 1253000 | #Constraints: 48217
3444.64/3461.08 c #Conflicts: 1254000 | #Constraints: 49217
3444.64/3461.08 c #Conflicts: 1255000 | #Constraints: 50217
3444.64/3461.08 c #Conflicts: 1256000 | #Constraints: 51217
3444.64/3461.08 c INPROCESSING
3444.64/3461.08 c GARBAGE COLLECT
3444.64/3461.08 c #Conflicts: 1257000 | #Constraints: 30112
3444.64/3461.08 c #Conflicts: 1258000 | #Constraints: 31112
3444.64/3461.08 c #Conflicts: 1259000 | #Constraints: 32112
3444.64/3461.08 c #Conflicts: 1260000 | #Constraints: 33112
3444.64/3461.08 c #Conflicts: 1261000 | #Constraints: 34112
3444.64/3461.08 c #Conflicts: 1262000 | #Constraints: 35112
3444.64/3461.08 c #Conflicts: 1263000 | #Constraints: 36112
3444.64/3461.08 c #Conflicts: 1264000 | #Constraints: 37112
3444.64/3461.08 c #Conflicts: 1265000 | #Constraints: 38112
3444.64/3461.08 c #Conflicts: 1266000 | #Constraints: 39112
3444.64/3461.08 c #Conflicts: 1267000 | #Constraints: 40112
3444.64/3461.08 c #Conflicts: 1268000 | #Constraints: 41112
3444.64/3461.08 c #Conflicts: 1269000 | #Constraints: 42112
3444.64/3461.08 c #Conflicts: 1270000 | #Constraints: 43112
3444.64/3461.08 c #Conflicts: 1271000 | #Constraints: 44112
3444.64/3461.08 c #Conflicts: 1272000 | #Constraints: 45112
3444.64/3461.08 c #Conflicts: 1273000 | #Constraints: 46112
3444.64/3461.08 c #Conflicts: 1274000 | #Constraints: 47112
3444.64/3461.08 c #Conflicts: 1275000 | #Constraints: 48113
3444.64/3461.08 c #Conflicts: 1276000 | #Constraints: 49116
3444.64/3461.08 c #Conflicts: 1277000 | #Constraints: 50116
3444.64/3461.08 c #Conflicts: 1278000 | #Constraints: 51116
3444.64/3461.08 c #Conflicts: 1279000 | #Constraints: 52116
3444.64/3461.08 c INPROCESSING
3444.64/3461.08 c GARBAGE COLLECT
3444.64/3461.08 c #Conflicts: 1280000 | #Constraints: 30892
3444.64/3461.08 c #Conflicts: 1281000 | #Constraints: 31893
3444.64/3461.08 c #Conflicts: 1282000 | #Constraints: 32893
3444.64/3461.08 c #Conflicts: 1283000 | #Constraints: 33893
3444.64/3461.08 c #Conflicts: 1284000 | #Constraints: 34893
3444.64/3461.08 c #Conflicts: 1285000 | #Constraints: 35893
3562.85/3580.13 c #Conflicts: 1286000 | #Constraints: 36893
3562.85/3580.13 c #Conflicts: 1287000 | #Constraints: 37893
3562.85/3580.13 c #Conflicts: 1288000 | #Constraints: 38893
3562.85/3580.13 c #Conflicts: 1289000 | #Constraints: 39893
3562.85/3580.13 c #Conflicts: 1290000 | #Constraints: 40893
3562.85/3580.13 c #Conflicts: 1291000 | #Constraints: 41893
3562.85/3580.13 c #Conflicts: 1292000 | #Constraints: 42893
3562.85/3580.13 c #Conflicts: 1293000 | #Constraints: 43893
3562.85/3580.13 c #Conflicts: 1294000 | #Constraints: 44893
3562.85/3580.13 c #Conflicts: 1295000 | #Constraints: 45893
3562.85/3580.13 c #Conflicts: 1296000 | #Constraints: 46893
3562.85/3580.13 c #Conflicts: 1297000 | #Constraints: 47893
3562.85/3580.13 c #Conflicts: 1298000 | #Constraints: 48893
3562.85/3580.13 c #Conflicts: 1299000 | #Constraints: 49893
3562.85/3580.13 c #Conflicts: 1300000 | #Constraints: 50893
3562.85/3580.13 c #Conflicts: 1301000 | #Constraints: 51893
3562.85/3580.13 c #Conflicts: 1302000 | #Constraints: 52893
3562.85/3580.13 c INPROCESSING
3562.85/3580.13 c GARBAGE COLLECT
3562.85/3580.13 c #Conflicts: 1303000 | #Constraints: 31123
3562.85/3580.13 c #Conflicts: 1304000 | #Constraints: 32123
3562.85/3580.13 c #Conflicts: 1305000 | #Constraints: 33123
3562.85/3580.13 c #Conflicts: 1306000 | #Constraints: 34123
3562.85/3580.13 c #Conflicts: 1307000 | #Constraints: 35124
3562.85/3580.13 c #Conflicts: 1308000 | #Constraints: 36124
3562.85/3580.13 c #Conflicts: 1309000 | #Constraints: 37124
3562.85/3580.13 c #Conflicts: 1310000 | #Constraints: 38124
3562.85/3580.13 c #Conflicts: 1311000 | #Constraints: 39124
3562.85/3580.13 c #Conflicts: 1312000 | #Constraints: 40124
3562.85/3580.13 c #Conflicts: 1313000 | #Constraints: 41125
3562.85/3580.13 c #Conflicts: 1314000 | #Constraints: 42125
3562.85/3580.13 c #Conflicts: 1315000 | #Constraints: 43126
3562.85/3580.13 c #Conflicts: 1316000 | #Constraints: 44126
3562.85/3580.13 c #Conflicts: 1317000 | #Constraints: 45127
3562.85/3580.13 c #Conflicts: 1318000 | #Constraints: 46128
3562.85/3580.13 c #Conflicts: 1319000 | #Constraints: 47129
3562.85/3580.13 c #Conflicts: 1320000 | #Constraints: 48129
3562.85/3580.13 c #Conflicts: 1321000 | #Constraints: 49129
3562.85/3580.13 c #Conflicts: 1322000 | #Constraints: 50129
3562.85/3580.13 c #Conflicts: 1323000 | #Constraints: 51130
3562.85/3580.13 c #Conflicts: 1324000 | #Constraints: 52130
3562.85/3580.13 c #Conflicts: 1325000 | #Constraints: 53130
3562.85/3580.13 c INPROCESSING
3562.85/3580.13 c GARBAGE COLLECT
3562.85/3580.13 c #Conflicts: 1326000 | #Constraints: 31437
3562.85/3580.13 c #Conflicts: 1327000 | #Constraints: 32437
3562.85/3580.13 c #Conflicts: 1328000 | #Constraints: 33438
3562.85/3580.13 c #Conflicts: 1329000 | #Constraints: 34438
3562.85/3580.13 c #Conflicts: 1330000 | #Constraints: 35438
3562.85/3580.13 c #Conflicts: 1331000 | #Constraints: 36440
3562.85/3580.13 c #Conflicts: 1332000 | #Constraints: 37441
3562.85/3580.13 c #Conflicts: 1333000 | #Constraints: 38441
3562.85/3580.13 c #Conflicts: 1334000 | #Constraints: 39441
3562.85/3580.13 c #Conflicts: 1335000 | #Constraints: 40441
3562.85/3580.13 c #Conflicts: 1336000 | #Constraints: 41441
3562.85/3580.13 c #Conflicts: 1337000 | #Constraints: 42441
3562.85/3580.13 c #Conflicts: 1338000 | #Constraints: 43441
3562.85/3580.13 c #Conflicts: 1339000 | #Constraints: 44441
3562.85/3580.13 c #Conflicts: 1340000 | #Constraints: 45441
3562.85/3580.13 c #Conflicts: 1341000 | #Constraints: 46441
3562.85/3580.13 c #Conflicts: 1342000 | #Constraints: 47441
3562.85/3580.13 c #Conflicts: 1343000 | #Constraints: 48441
3562.85/3580.13 c #Conflicts: 1344000 | #Constraints: 49442
3562.85/3580.13 c #Conflicts: 1345000 | #Constraints: 50443
3562.85/3580.13 c #Conflicts: 1346000 | #Constraints: 51443
3562.85/3580.13 c #Conflicts: 1347000 | #Constraints: 52443
3562.85/3580.13 c #Conflicts: 1348000 | #Constraints: 53444
3562.85/3580.13 c INPROCESSING
3562.85/3580.13 c GARBAGE COLLECT
3562.85/3580.13 c #Conflicts: 1349000 | #Constraints: 31389
3562.85/3580.13 c #Conflicts: 1350000 | #Constraints: 32390
3562.85/3580.13 c #Conflicts: 1351000 | #Constraints: 33391
3562.85/3580.13 c #Conflicts: 1352000 | #Constraints: 34393
3562.85/3580.13 c #Conflicts: 1353000 | #Constraints: 35393
3562.85/3580.13 c #Conflicts: 1354000 | #Constraints: 36394
3562.85/3580.13 c #Conflicts: 1355000 | #Constraints: 37394
3562.85/3580.13 c #Conflicts: 1356000 | #Constraints: 38394
3562.85/3580.13 c #Conflicts: 1357000 | #Constraints: 39394
3562.85/3580.13 c #Conflicts: 1358000 | #Constraints: 40394
3562.85/3580.13 c #Conflicts: 1359000 | #Constraints: 41394
3562.85/3580.13 c #Conflicts: 1360000 | #Constraints: 42394
3562.85/3580.13 c #Conflicts: 1361000 | #Constraints: 43394
3562.85/3580.13 c #Conflicts: 1362000 | #Constraints: 44394
3600.09/3617.70 c #Conflicts: 1363000 | #Constraints: 45394
3600.09/3617.70 c #Conflicts: 1364000 | #Constraints: 46394
3600.09/3617.70 c #Conflicts: 1365000 | #Constraints: 47394
3600.09/3617.70 c #Conflicts: 1366000 | #Constraints: 48395
3600.09/3617.70 c #Conflicts: 1367000 | #Constraints: 49396
3600.09/3617.70 c #Conflicts: 1368000 | #Constraints: 50397
3600.09/3617.70 c #Conflicts: 1369000 | #Constraints: 51397
3600.09/3617.70 c #Conflicts: 1370000 | #Constraints: 52397
3600.09/3617.70 c #Conflicts: 1371000 | #Constraints: 53397
3600.09/3617.70 c INPROCESSING
3600.09/3617.70 c GARBAGE COLLECT
3600.09/3617.70 c #Conflicts: 1372000 | #Constraints: 31216
3600.09/3617.70 c #Conflicts: 1373000 | #Constraints: 32216
3600.09/3617.70 c #Conflicts: 1374000 | #Constraints: 33217
3600.09/3617.70 c #Conflicts: 1375000 | #Constraints: 34217
3600.09/3617.70 c #Conflicts: 1376000 | #Constraints: 35218
3600.09/3617.70 c #Conflicts: 1377000 | #Constraints: 36219
3600.09/3617.70 c #Conflicts: 1378000 | #Constraints: 37219
3600.09/3617.70 c #Conflicts: 1379000 | #Constraints: 38219
3600.09/3617.70 c #Conflicts: 1380000 | #Constraints: 39221
3600.09/3617.70 c #Conflicts: 1381000 | #Constraints: 40222
3600.09/3617.70 c #Conflicts: 1382000 | #Constraints: 41222
3600.09/3617.70 c #Conflicts: 1383000 | #Constraints: 42222
3600.09/3617.70 c #Conflicts: 1384000 | #Constraints: 43223
3600.09/3617.70 c #Conflicts: 1385000 | #Constraints: 44223
3600.09/3617.70 c #Conflicts: 1386000 | #Constraints: 45223
3600.09/3617.70 c #Conflicts: 1387000 | #Constraints: 46223
3600.09/3617.70 c cpu time 3458.4 s
3600.09/3617.70 c deterministic time 152924907040 1.53e+11
3600.09/3617.70 c optimization time 16.413 s
3600.09/3617.70 c total solve time 3441.69 s
3600.09/3617.70 c core-guided solve time 1161.35 s
3600.09/3617.70 c propagation time 1677.45 s
3600.09/3617.70 c conflict analysis time 201.934 s
3600.09/3617.70 c propagations 483808757
3600.09/3617.70 c resolve steps 6103041
3600.09/3617.70 c decisions 174157477
3600.09/3617.70 c conflicts 1387285
3600.09/3617.70 c restarts 2666
3600.09/3617.70 c inprocessing phases 108
3600.09/3617.70 c garbage collections 107 ,( 99.07 )
3600.09/3617.70 c input clauses 0 ,( 0.00 )
3600.09/3617.70 c input cardinalities 0 ,( 0.00 )
3600.09/3617.70 c input general constraints 5184 ,( 100.00 )
3600.09/3617.70 c input average constraint length 64.33
3600.09/3617.70 c input average constraint degree 20629994197.79
3600.09/3617.70 c learned clauses 40832 ,( 2.94 )
3600.09/3617.70 c learned cardinalities 114 ,( 0.01 )
3600.09/3617.70 c learned general constraints 1346816 ,( 97.05 )
3600.09/3617.70 c learned average constraint length 202.16
3600.09/3617.70 c learned average constraint degree 243939428.66
3600.09/3617.70 c watched CF 32, 64, 128, Arb: 3828 , 0 , 0 , 0
3600.09/3617.70 c counting CF 32, 64, 128, Arb: 1348156 , 17 , 0 , 0
3600.09/3617.70 c watched constraints 3828 ,( 0.28 )
3600.09/3617.70 c counting constraints 1348172 ,( 99.72 )
3600.09/3617.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 21795486 , 26544 , 15359855953 ,( 1158243 , 15358697710 )
3600.09/3617.70 c gcd simplifications 741958
3600.09/3617.70 c detected cardinalities 79
3600.09/3617.70 c weakened non-implied lits 130284734
3600.09/3617.70 c weakened non-implying lits 5182279
3600.09/3617.70 c original variables 107808
3600.09/3617.70 c clausal propagations 12590484
3600.09/3617.70 c cardinality propagations 6022
3600.09/3617.70 c watched propagations 28392
3600.09/3617.70 c counting propagations 466975082
3600.09/3617.70 c watch lookups 19763449571
3600.09/3617.70 c watch backjump lookups 0
3600.09/3617.70 c watch checks 34567188
3600.09/3617.70 c propagation checks 130664509306
3600.09/3617.70 c constraint additions 1142340608
3600.09/3617.70 c trail pops 659305054
3600.09/3617.70 c formula constraints 5184
3600.09/3617.70 c learned constraints 1387144
3600.09/3617.70 c bound constraints 0
3600.09/3617.70 c core-guided constraints 0
3600.09/3617.70 c encountered formula constraints 2919422
3600.09/3617.70 c encountered learned constraints 4454439
3600.09/3617.70 c encountered bound constraints 0
3600.09/3617.70 c encountered core-guided constraints 0
3600.09/3617.70 c LP total time 2285.83 s
3600.09/3617.70 c LP solve time 2283.47 s
3600.09/3617.70 c LP constraints added 5294
3600.09/3617.70 c LP constraints removed 0
3600.09/3617.70 c LP pivots internal 1393815
3600.09/3617.70 c LP pivots root 1375263
3600.09/3617.70 c LP calls 529
3600.09/3617.70 c LP optimalities 2
3600.09/3617.70 c LP no pivot count 0
3600.09/3617.70 c LP infeasibilities 481
3600.09/3617.70 c LP valid Farkas constraints 438
3600.09/3617.70 c LP learned Farkas constraints 140
3600.09/3617.70 c LP basis resets 63
3600.09/3617.70 c LP cycling count 5
3600.09/3617.70 c LP singular count 31
3600.09/3617.70 c LP no primal count 0
3600.09/3617.70 c LP no farkas count 26
3600.09/3617.70 c LP other issue count 1
3600.09/3617.70 c LP Gomory cuts 40
3600.09/3617.70 c LP learned cuts 70
3600.09/3617.70 c LP deleted cuts 0
3600.09/3617.70 c LP encountered Gomory constraints 2
3600.09/3617.70 c LP encountered Farkas constraints 112975
3600.09/3617.70 c LP encountered learned Farkas constraints 3348
3600.09/3617.70 c CG auxiliary variables introduced 0
3600.09/3617.70 c CG solutions found 0
3600.09/3617.70 c CG cores constructed 0
3600.09/3617.70 c CG core cardinality constraints returned 0
3600.09/3617.70 c CG unit cores 0
3600.09/3617.70 c CG single cores 0
3600.09/3617.70 c CG blocks removed during cardinality reduction 0
3600.09/3617.70 c CG first core best 0
3600.09/3617.70 c CG decision core best 0
3600.09/3617.70 c CG core reduction tie 0
3600.09/3617.70 c CG core degree average 0.00
3600.09/3617.70 c CG core slack average 0.00
3600.09/3617.70 c CG core upper bound improvements 0
3600.09/3617.70 c STR number of successful calls 0
3600.09/3617.70 c STR number of unsuccessful calls 0
3600.09/3617.70 c STR number of inconclusive calls 0
3600.09/3617.70 c STR number of successful attempts 0
3600.09/3617.70 c STR number of unsuccessful attempts 0
3600.09/3617.70 c STR number of inconclusive attempts 0
3600.09/3617.70 c STR average degree increase per successful call inf
3600.09/3617.70 c STR average degree increase per successful attempt inf
3600.09/3617.70 c STR total number of conflicts for successful attempts 0
3600.09/3617.70 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3617.70 c STR total number of conflicts for inconclusive attempts 0
3600.09/3617.70 c STR average number of conflicts per successful attempt inf
3600.09/3617.70 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3617.70 c STR average number of conflicts per inconclusive attempt inf
3600.09/3617.70 c AVG.sumWPerc 97.17
3600.09/3617.70 c bigint constraints 17
3600.09/3617.70 s UNKNOWN
3600.09/3617.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62608 MiB free)
memory of node 1: 64465 MiB (63068 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485325-1751301715/watcher-4485325-1751301715 -o /tmp/evaluation-result-4485325-1751301715/solver-4485325-1751301715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751294453-43454 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4485325-1751301715.opb PROOFDIR/proof-4485325-1751301715
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=44346, runsolver pid=44343
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.14 4.12 4.09 5/272 44348
/proc/meminfo: memFree=128669048/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44348] ppid=44346 vsize=80744 memory=64436 CPUtime=0.08 cores=0,2
/proc/44348/stat : 44348 (pbsuma) R 44346 44346 43437 0 -1 4194304 12038 0 0 0 6 2 0 0 20 0 1 0 45850951 82681856 16109 18446744073709551615 4210688 4653049 140736626005584 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 21180416 140736626014435 140736626014770 140736626014770 140736626020335 0
/proc/44348/statm: 20186 16109 1024 108 0 17594 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 84936 KiB
Current children cumulated memory: 67380 KiB
[startup+0.206101 s]*
/proc/loadavg: 4.14 4.12 4.09 5/272 44348
/proc/meminfo: memFree=128652664/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44348] ppid=44346 vsize=148600 memory=108848 CPUtime=0.19 cores=0,2
/proc/44348/stat : 44348 (pbsuma) R 44346 44346 43437 0 -1 4194304 22598 0 0 0 15 4 0 0 20 0 1 0 45850951 152166400 27212 18446744073709551615 4210688 4653049 140736626005584 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 21180416 140736626014435 140736626014770 140736626014770 140736626020335 0
/proc/44348/statm: 37150 27212 1056 108 0 34558 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 152792 KiB
Current children cumulated memory: 111792 KiB
[startup+0.306014 s]*
/proc/loadavg: 4.14 4.12 4.09 5/272 44349
/proc/meminfo: memFree=128663288/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=76000 memory=29156 CPUtime=0.02 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 5250 0 0 0 2 0 0 0 20 0 1 0 45850977 77824000 7289 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 19000 7289 1984 1147 0 6427 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 80192 KiB
Current children cumulated memory: 32100 KiB
[startup+0.700214 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 44349
/proc/meminfo: memFree=128655224/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=158704 memory=116396 CPUtime=0.41 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 22468 0 0 0 36 5 0 0 20 0 1 0 45850977 162512896 29099 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 39676 29099 2336 1147 0 27103 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 162896 KiB
Current children cumulated memory: 119340 KiB
[startup+1.50013 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 44349
/proc/meminfo: memFree=128611060/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=174220 memory=130988 CPUtime=1.21 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 26096 0 0 0 93 28 0 0 20 0 1 0 45850977 178401280 32747 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 43555 32747 2368 1147 0 30982 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 178412 KiB
Current children cumulated memory: 133932 KiB
[startup+3.10521 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 44349
/proc/meminfo: memFree=128461336/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=174220 memory=130988 CPUtime=2.81 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 26108 0 0 0 204 77 0 0 20 0 1 0 45850977 178401280 32747 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 43555 32747 2368 1147 0 30982 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 178412 KiB
Current children cumulated memory: 133932 KiB
[startup+6.30014 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 44349
/proc/meminfo: memFree=128205976/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=180072 memory=133420 CPUtime=5.99 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 26727 0 0 0 487 112 0 0 20 0 1 0 45850977 184393728 33355 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 45018 33355 2368 1147 0 32445 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 184264 KiB
Current children cumulated memory: 136364 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.13 4.10 5/272 44349
/proc/meminfo: memFree=127997264/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=187716 memory=142892 CPUtime=12.37 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 29076 0 0 0 1069 168 0 0 20 0 1 0 45850977 192221184 35723 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 46929 35723 2400 1147 0 34356 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 191908 KiB
Current children cumulated memory: 145836 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.09 5/273 44350
/proc/meminfo: memFree=127184936/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=219060 memory=172460 CPUtime=25.14 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 34953 0 0 0 2228 286 0 0 20 0 1 0 45850977 224317440 43115 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 54765 43115 2400 1147 0 42192 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 223252 KiB
Current children cumulated memory: 175404 KiB
[startup+51.1057 s]
/proc/loadavg: 4.16 4.13 4.10 5/273 44351
/proc/meminfo: memFree=126087808/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=226488 memory=180140 CPUtime=50.53 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 36867 0 0 0 4566 487 0 0 20 0 1 0 45850977 231923712 45035 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 56622 45035 2400 1147 0 44049 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 230680 KiB
Current children cumulated memory: 183084 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/273 44353
/proc/meminfo: memFree=122182396/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=271252 memory=224604 CPUtime=101.46 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 42840 0 0 0 9121 1025 0 0 20 0 1 0 45850977 277762048 56151 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 67813 56151 2464 1147 0 55240 0
Current children cumulated CPU time: 101.71 s
Current children cumulated vsize: 275444 KiB
Current children cumulated memory: 227548 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 44355
/proc/meminfo: memFree=120853256/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=278432 memory=229064 CPUtime=161.29 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 42916 0 0 0 14837 1292 0 0 20 0 1 0 45850977 285114368 57266 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 69608 57266 2464 1147 0 57035 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 282624 KiB
Current children cumulated memory: 232008 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.15 4.10 5/273 44358
/proc/meminfo: memFree=118392084/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=332056 memory=280376 CPUtime=220.98 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 52149 0 0 0 20371 1727 0 0 20 0 1 0 45850977 340025344 70094 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 83014 70094 2496 1147 0 70441 0
################
# More data... #
################
/proc/44349/statm: 370720 325478 2496 1147 0 358147 0
Current children cumulated CPU time: 3088.4 s
Current children cumulated vsize: 1487072 KiB
Current children cumulated memory: 1304856 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/275 44524
/proc/meminfo: memFree=36342892/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=1482880 memory=1301912 CPUtime=3147.98 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 240863 0 0 0 303359 11439 0 0 20 0 1 0 45850977 1518469120 325478 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 370720 325478 2496 1147 0 358147 0
Current children cumulated CPU time: 3148.23 s
Current children cumulated vsize: 1487072 KiB
Current children cumulated memory: 1304856 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/275 44526
/proc/meminfo: memFree=34005856/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=1520068 memory=1337456 CPUtime=3207.72 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 246191 0 0 0 308916 11856 0 0 20 0 1 0 45850977 1556549632 334364 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 380017 334364 2496 1147 0 367444 0
Current children cumulated CPU time: 3207.97 s
Current children cumulated vsize: 1524260 KiB
Current children cumulated memory: 1340400 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/275 44529
/proc/meminfo: memFree=31858480/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=1520068 memory=1338352 CPUtime=3267.39 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 246406 0 0 0 314517 12222 0 0 20 0 1 0 45850977 1556549632 334588 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 380017 334588 2496 1147 0 367444 0
Current children cumulated CPU time: 3267.64 s
Current children cumulated vsize: 1524260 KiB
Current children cumulated memory: 1341296 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 44531
/proc/meminfo: memFree=30380744/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=1564104 memory=1378060 CPUtime=3327.06 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 252767 0 0 0 320142 12564 0 0 20 0 1 0 45850977 1601642496 344515 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 391026 344515 2496 1147 0 378453 0
Current children cumulated CPU time: 3327.31 s
Current children cumulated vsize: 1568296 KiB
Current children cumulated memory: 1381004 KiB
[startup+3402.3 s]
/proc/loadavg: 4.37 4.18 4.11 5/271 44533
/proc/meminfo: memFree=28456352/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=1564104 memory=1378188 CPUtime=3386.81 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 252807 0 0 0 325871 12810 0 0 20 0 1 0 45850977 1601642496 344547 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 391026 344547 2496 1147 0 378453 0
Current children cumulated CPU time: 3387.06 s
Current children cumulated vsize: 1568296 KiB
Current children cumulated memory: 1381132 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/272 44536
/proc/meminfo: memFree=25926056/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=1570524 memory=1382668 CPUtime=3445.68 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 254043 0 0 0 331359 13209 0 0 20 0 1 0 45850977 1608216576 345667 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 392631 345667 2496 1147 0 380058 0
Current children cumulated CPU time: 3445.93 s
Current children cumulated vsize: 1574716 KiB
Current children cumulated memory: 1385612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.16 4.11 6/273 44539
/proc/meminfo: memFree=23264504/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=1607780 memory=1417436 CPUtime=3505.42 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 259146 0 0 0 336977 13565 0 0 20 0 1 0 45850977 1646366720 354359 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 401945 354359 2496 1147 0 389372 0
Current children cumulated CPU time: 3505.67 s
Current children cumulated vsize: 1611972 KiB
Current children cumulated memory: 1420380 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/274 44543
/proc/meminfo: memFree=20590852/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=1639904 memory=1448292 CPUtime=3564.78 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 264288 0 0 0 342628 13850 0 0 20 0 1 0 45850977 1679261696 362073 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 409976 362073 2496 1147 0 397403 0
Current children cumulated CPU time: 3565.03 s
Current children cumulated vsize: 1644096 KiB
Current children cumulated memory: 1451236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3617.7 s]
/proc/loadavg: 3.75 4.06 4.07 2/254 44644
/proc/meminfo: memFree=120853584/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=1639904 memory=1448292 CPUtime=3599.84 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 264293 0 0 0 345840 14144 0 0 20 0 1 0 45850977 1679261696 362073 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 409976 362073 2496 1147 0 397403 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1644096 KiB
Current children cumulated memory: 1451236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3617.7 s]
# the end of solver process 44346 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.204763 s, system=0.059478 s
[startup+3617.78 s]
# the end of solver process 44349 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3458.64 s, system=141.552 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+3617.7 s]
/proc/loadavg: 3.75 4.06 4.07 2/254 44644
/proc/meminfo: memFree=120853584/131250000 swapFree=33009904/33010684
[pid=44346] ppid=44343 vsize=4192 memory=2944 CPUtime=0.25 cores=0,2
/proc/44346/stat : 44346 (run-opt-break-l) S 44343 44346 43437 0 -1 4194304 238 25604 0 0 0 0 20 5 20 0 1 0 45850950 4292608 736 18446744073709551615 94695865688064 94695866582597 140721777576112 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94695866821648 94695866869392 94695887007744 140721777584405 140721777584606 140721777584606 140721777590208 0
/proc/44346/statm: 1048 736 672 219 0 110 0
[pid=44349] ppid=44346 vsize=1639904 memory=1448292 CPUtime=3599.84 cores=0,2
/proc/44349/stat : 44349 (roundingsat) R 44346 44346 43437 0 -1 4194304 264293 0 0 0 345840 14144 0 0 20 0 1 0 45850977 1679261696 362073 18446744073709551615 4227072 8923433 140725637033552 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22188032 140725637036308 140725637036584 140725637036584 140725637042154 0
/proc/44349/statm: 409976 362073 2496 1147 0 397403 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1644096 KiB
Current children cumulated memory: 1451236 KiB
Child status: 2
Real time (s): 3617.78
CPU time (s): 3600.19
CPU user time (s): 3458.64
CPU system time (s): 141.552
CPU usage (%): 99.5137
Max. virtual memory (cumulated for all children) (KiB): 1644096
Max. memory (cumulated for all children) (KiB): 1451236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3458.64
system time used= 141.552
maximum resident set size= 1448420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290155
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15304744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 410
involuntary context switches= 10378
# summary of solver processes directly reported to runsolver:
# pid: 44346,44349
# total CPU time (s): 3600.19
# total CPU user time (s): 3458.64
# total CPU system time (s): 141.552
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65296 second user time and 15.8102 second system time
The end
Begin job on nodeC033 at 2025-06-30 18:41:55
IDJOB=4485325
IDBENCH=146784
IDSOLVER=3360
FILE ID=nodeC033/4485325-1751301715
RUNJOBID= nodeC033-1751294453-43454
SLURM_JOB_ID= 9594271
Free space on /tmp= 432740 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485325-1751301715/watcher-4485325-1751301715 -o /tmp/evaluation-result-4485325-1751301715/solver-4485325-1751301715 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751294453-43454 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4485325-1751301715.opb PROOFDIR/proof-4485325-1751301715
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=2067712687
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.008
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.294
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 : 7000.13
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 : 3598.664
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 : 7000.13
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 : 3600.067
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 : 7000.13
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 : 3600.069
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.075
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 : 7000.13
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 : 3601.436
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 : 7000.13
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 : 3667.556
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128702048 kB
MemAvailable: 128882076 kB
Buffers: 2128 kB
Cached: 979624 kB
SwapCached: 68 kB
Active: 1039808 kB
Inactive: 802288 kB
Active(anon): 853944 kB
Inactive(anon): 24808 kB
Active(file): 185864 kB
Inactive(file): 777480 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 392228 kB
Writeback: 128 kB
AnonPages: 863780 kB
Mapped: 117564 kB
Shmem: 18028 kB
KReclaimable: 111844 kB
Slab: 211104 kB
SReclaimable: 111844 kB
SUnreclaim: 99260 kB
KernelStack: 4320 kB
PageTables: 4872 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1296184 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 172032 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432764 MiB
End job on nodeC033 at 2025-06-30 19:42:13