0.00/0.05 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.05 c │ pbsuma -- a PB interface for satsuma │
0.00/0.05 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.05 c │ (c) 2025 Markus Anders │
0.00/0.05 c └────────────────────────────────────────────────────────────────┘
0.00/0.05 c parse 'HOME/instance-4532295-1752584603.opb'
0.00/0.09 c read 4.78MB (47.75ms)
0.00/0.09 c [cnf: #variables 107808 #clauses 3905 #duplicates 0 #arr 329888]
0.00/0.09 c output proof to 'PROOFDIR/proof-4532295-1752584603'
0.04/0.10 c
0.04/0.10 c make graph and approximate orbits
0.14/0.23 c [group: #orbits ~= 0] (129.53ms)
0.14/0.23 c
0.14/0.23 c detect special group actions
0.14/0.23 c probe for Johnson action (limit=64)
0.14/0.23 c probe for row-column symmetry (limit=64, splits=16.78M)
0.14/0.25 c probe for row symmetry (limit=64, splits=16.78M)
0.14/0.26 c (25.88ms)
0.14/0.26 c
0.14/0.26 c detect symmetries on remainder
0.14/0.26 c [graph: #vertices 486721 #edges 1409792]
0.14/0.26 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.14/0.29 c [group: #symmetries 1.00*10^0 #generators 0] (29.14ms)
0.14/0.29 c
0.14/0.29 c finalize break order and special generators
0.14/0.29 c
0.14/0.29 c generation finished
0.14/0.29 c [sbp: #constraints 0 #add_vars 0]
0.14/0.30 c
0.14/0.30 c write result to 'HOME/instance-4532295-1752584603.opb.pre'
0.24/0.31 c wrote 4.78MB (9.96ms)
0.24/0.31 c ------------------------------------------------------------------
0.24/0.31 c 129.53ms 49.87% approx_orbits
0.24/0.31 c 47.75ms 18.38% parse
0.24/0.31 c 29.14ms 11.22% detect_generic
0.24/0.31 c 25.88ms 9.96% detect_special
0.24/0.31 c 13.25ms 5.10% other
0.24/0.31 c 9.96ms 3.83% output
0.24/0.31 c 4.23ms 1.63% finalize_order
0.24/0.31 c ───────────────────────────────────────────────
0.24/0.31 c 259.72ms 100% total
0.24/0.31 c ------------------------------------------------------------------
0.24/0.32 c RoundingSat 2
0.24/0.32 c branch pb25
0.24/0.32 c commit 0f876b3
0.51/0.68 c #variables 107808 #constraints 5184
0.51/0.68 c objective is ce64
0.51/0.69 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.51/0.69 c initial counting CF 32, 64, 128, Arb: 5168 , 17 , 0 , 0
0.51/0.69 c bounds - >= 0 @ 0.311735
12.95/13.11 c #Conflicts: 1000 | #Constraints: 6183
12.95/13.11 c #Conflicts: 2000 | #Constraints: 7183
12.95/13.11 c INPROCESSING
12.95/13.11 c #Conflicts: 3000 | #Constraints: 7257
12.95/13.11 c #Conflicts: 4000 | #Constraints: 8257
12.95/13.11 c INPROCESSING
12.95/13.11 c GARBAGE COLLECT
12.95/13.11 c #Conflicts: 5000 | #Constraints: 7783
12.95/13.11 c #Conflicts: 6000 | #Constraints: 8783
12.95/13.11 c INPROCESSING
12.95/13.11 c GARBAGE COLLECT
12.95/13.11 c #Conflicts: 7000 | #Constraints: 7876
12.95/13.11 c #Conflicts: 8000 | #Constraints: 8876
12.95/13.11 c #Conflicts: 9000 | #Constraints: 9876
12.95/13.11 c INPROCESSING
12.95/13.11 c GARBAGE COLLECT
12.95/13.11 c rational objective 4.13104e+08
178.65/186.04 c #Conflicts: 10000 | #Constraints: 8739
178.65/186.04 c #Conflicts: 11000 | #Constraints: 9740
178.65/186.04 c #Conflicts: 12000 | #Constraints: 10741
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 13000 | #Constraints: 9254
178.65/186.04 c #Conflicts: 14000 | #Constraints: 10256
178.65/186.04 c #Conflicts: 15000 | #Constraints: 11256
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 16000 | #Constraints: 9625
178.65/186.04 c #Conflicts: 17000 | #Constraints: 10625
178.65/186.04 c #Conflicts: 18000 | #Constraints: 11625
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 19000 | #Constraints: 9711
178.65/186.04 c #Conflicts: 20000 | #Constraints: 10711
178.65/186.04 c #Conflicts: 21000 | #Constraints: 11711
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 22000 | #Constraints: 9612
178.65/186.04 c #Conflicts: 23000 | #Constraints: 10612
178.65/186.04 c #Conflicts: 24000 | #Constraints: 11612
178.65/186.04 c #Conflicts: 25000 | #Constraints: 12612
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 26000 | #Constraints: 10233
178.65/186.04 c #Conflicts: 27000 | #Constraints: 11233
178.65/186.04 c #Conflicts: 28000 | #Constraints: 12233
178.65/186.04 c #Conflicts: 29000 | #Constraints: 13233
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 30000 | #Constraints: 10605
178.65/186.04 c #Conflicts: 31000 | #Constraints: 11605
178.65/186.04 c #Conflicts: 32000 | #Constraints: 12605
178.65/186.04 c #Conflicts: 33000 | #Constraints: 13605
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 34000 | #Constraints: 10905
178.65/186.04 c #Conflicts: 35000 | #Constraints: 11905
178.65/186.04 c #Conflicts: 36000 | #Constraints: 12905
178.65/186.04 c #Conflicts: 37000 | #Constraints: 13905
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 38000 | #Constraints: 11001
178.65/186.04 c #Conflicts: 39000 | #Constraints: 12001
178.65/186.04 c #Conflicts: 40000 | #Constraints: 13001
178.65/186.04 c #Conflicts: 41000 | #Constraints: 14001
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 42000 | #Constraints: 10755
178.65/186.04 c #Conflicts: 43000 | #Constraints: 11755
178.65/186.04 c #Conflicts: 44000 | #Constraints: 12755
178.65/186.04 c #Conflicts: 45000 | #Constraints: 13755
178.65/186.04 c #Conflicts: 46000 | #Constraints: 14755
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 47000 | #Constraints: 11390
178.65/186.04 c #Conflicts: 48000 | #Constraints: 12391
178.65/186.04 c #Conflicts: 49000 | #Constraints: 13391
178.65/186.04 c #Conflicts: 50000 | #Constraints: 14391
178.65/186.04 c #Conflicts: 51000 | #Constraints: 15391
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 52000 | #Constraints: 11833
178.65/186.04 c #Conflicts: 53000 | #Constraints: 12833
178.65/186.04 c #Conflicts: 54000 | #Constraints: 13834
178.65/186.04 c #Conflicts: 55000 | #Constraints: 14834
178.65/186.04 c #Conflicts: 56000 | #Constraints: 15834
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 57000 | #Constraints: 12060
178.65/186.04 c #Conflicts: 58000 | #Constraints: 13061
178.65/186.04 c #Conflicts: 59000 | #Constraints: 14063
178.65/186.04 c #Conflicts: 60000 | #Constraints: 15063
178.65/186.04 c #Conflicts: 61000 | #Constraints: 16064
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 62000 | #Constraints: 12111
178.65/186.04 c #Conflicts: 63000 | #Constraints: 13111
178.65/186.04 c #Conflicts: 64000 | #Constraints: 14111
178.65/186.04 c #Conflicts: 65000 | #Constraints: 15112
178.65/186.04 c #Conflicts: 66000 | #Constraints: 16112
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 67000 | #Constraints: 11951
178.65/186.04 c #Conflicts: 68000 | #Constraints: 12953
178.65/186.04 c #Conflicts: 69000 | #Constraints: 13954
178.65/186.04 c #Conflicts: 70000 | #Constraints: 14954
178.65/186.04 c #Conflicts: 71000 | #Constraints: 15955
178.65/186.04 c #Conflicts: 72000 | #Constraints: 16955
178.65/186.04 c INPROCESSING
178.65/186.04 c GARBAGE COLLECT
178.65/186.04 c #Conflicts: 73000 | #Constraints: 12585
178.65/186.04 c #Conflicts: 74000 | #Constraints: 13585
178.65/186.04 c #Conflicts: 75000 | #Constraints: 14585
178.65/186.04 c #Conflicts: 76000 | #Constraints: 15585
178.65/186.04 c #Conflicts: 77000 | #Constraints: 16587
178.65/186.04 c #Conflicts: 78000 | #Constraints: 17587
178.65/186.04 c INPROCESSING
344.47/355.67 c GARBAGE COLLECT
344.47/355.67 c #Conflicts: 79000 | #Constraints: 12945
344.47/355.67 c #Conflicts: 80000 | #Constraints: 13946
344.47/355.67 c #Conflicts: 81000 | #Constraints: 14946
344.47/355.67 c #Conflicts: 82000 | #Constraints: 15947
344.47/355.67 c #Conflicts: 83000 | #Constraints: 16947
344.47/355.67 c #Conflicts: 84000 | #Constraints: 17947
344.47/355.67 c INPROCESSING
344.47/355.67 c GARBAGE COLLECT
344.47/355.67 c #Conflicts: 85000 | #Constraints: 13130
344.47/355.67 c #Conflicts: 86000 | #Constraints: 14130
344.47/355.67 c #Conflicts: 87000 | #Constraints: 15130
344.47/355.67 c #Conflicts: 88000 | #Constraints: 16130
344.47/355.67 c #Conflicts: 89000 | #Constraints: 17130
344.47/355.67 c #Conflicts: 90000 | #Constraints: 18130
344.47/355.67 c INPROCESSING
344.47/355.67 c GARBAGE COLLECT
344.47/355.67 c #Conflicts: 91000 | #Constraints: 13211
344.47/355.67 c #Conflicts: 92000 | #Constraints: 14211
344.47/355.67 c #Conflicts: 93000 | #Constraints: 15211
344.47/355.67 c #Conflicts: 94000 | #Constraints: 16211
344.47/355.67 c #Conflicts: 95000 | #Constraints: 17211
344.47/355.67 c #Conflicts: 96000 | #Constraints: 18211
344.47/355.67 c INPROCESSING
344.47/355.67 c GARBAGE COLLECT
344.47/355.67 c #Conflicts: 97000 | #Constraints: 12905
344.47/355.67 c #Conflicts: 98000 | #Constraints: 13905
344.47/355.67 c #Conflicts: 99000 | #Constraints: 14905
344.47/355.67 c #Conflicts: 100000 | #Constraints: 15905
344.47/355.67 c #Conflicts: 101000 | #Constraints: 16905
344.47/355.67 c #Conflicts: 102000 | #Constraints: 17905
344.47/355.67 c #Conflicts: 103000 | #Constraints: 18905
344.47/355.67 c INPROCESSING
344.47/355.67 c GARBAGE COLLECT
344.47/355.67 c #Conflicts: 104000 | #Constraints: 13545
344.47/355.67 c #Conflicts: 105000 | #Constraints: 14545
344.47/355.67 c #Conflicts: 106000 | #Constraints: 15545
344.47/355.67 c #Conflicts: 107000 | #Constraints: 16546
344.47/355.67 c #Conflicts: 108000 | #Constraints: 17546
344.47/355.67 c #Conflicts: 109000 | #Constraints: 18546
344.47/355.67 c #Conflicts: 110000 | #Constraints: 19546
344.47/355.67 c INPROCESSING
344.47/355.67 c GARBAGE COLLECT
344.47/355.67 c #Conflicts: 111000 | #Constraints: 13886
344.47/355.67 c #Conflicts: 112000 | #Constraints: 14887
344.47/355.67 c #Conflicts: 113000 | #Constraints: 15887
344.47/355.67 c #Conflicts: 114000 | #Constraints: 16887
344.47/355.67 c #Conflicts: 115000 | #Constraints: 17887
344.47/355.67 c #Conflicts: 116000 | #Constraints: 18888
344.47/355.67 c #Conflicts: 117000 | #Constraints: 19888
344.47/355.67 c INPROCESSING
344.47/355.67 c GARBAGE COLLECT
344.47/355.67 c #Conflicts: 118000 | #Constraints: 14207
344.47/355.67 c #Conflicts: 119000 | #Constraints: 15207
344.47/355.67 c #Conflicts: 120000 | #Constraints: 16208
344.47/355.67 c #Conflicts: 121000 | #Constraints: 17208
344.47/355.67 c #Conflicts: 122000 | #Constraints: 18209
344.47/355.67 c #Conflicts: 123000 | #Constraints: 19209
344.47/355.67 c #Conflicts: 124000 | #Constraints: 20209
344.47/355.67 c INPROCESSING
344.47/355.67 c GARBAGE COLLECT
344.47/355.67 c #Conflicts: 125000 | #Constraints: 14309
344.47/355.67 c #Conflicts: 126000 | #Constraints: 15309
344.47/355.67 c #Conflicts: 127000 | #Constraints: 16310
344.47/355.67 c #Conflicts: 128000 | #Constraints: 17310
344.47/355.67 c #Conflicts: 129000 | #Constraints: 18311
344.47/355.67 c #Conflicts: 130000 | #Constraints: 19311
344.47/355.67 c #Conflicts: 131000 | #Constraints: 20313
344.47/355.67 c INPROCESSING
344.47/355.67 c GARBAGE COLLECT
344.47/355.67 c #Conflicts: 132000 | #Constraints: 14159
344.47/355.67 c #Conflicts: 133000 | #Constraints: 15160
344.47/355.67 c #Conflicts: 134000 | #Constraints: 16160
344.47/355.67 c #Conflicts: 135000 | #Constraints: 17160
344.47/355.67 c #Conflicts: 136000 | #Constraints: 18160
344.47/355.67 c #Conflicts: 137000 | #Constraints: 19160
344.47/355.67 c #Conflicts: 138000 | #Constraints: 20161
344.47/355.67 c #Conflicts: 139000 | #Constraints: 21162
344.47/355.67 c INPROCESSING
344.47/355.67 c GARBAGE COLLECT
344.47/355.67 c #Conflicts: 140000 | #Constraints: 14723
344.47/355.67 c #Conflicts: 141000 | #Constraints: 15723
344.47/355.67 c #Conflicts: 142000 | #Constraints: 16723
344.47/355.67 c #Conflicts: 143000 | #Constraints: 17723
344.47/355.67 c #Conflicts: 144000 | #Constraints: 18723
344.47/355.67 c #Conflicts: 145000 | #Constraints: 19723
344.47/355.67 c #Conflicts: 146000 | #Constraints: 20723
344.47/355.67 c #Conflicts: 147000 | #Constraints: 21723
344.47/355.67 c INPROCESSING
344.47/355.67 c GARBAGE COLLECT
344.47/355.67 c #Conflicts: 148000 | #Constraints: 15113
344.47/355.67 c #Conflicts: 149000 | #Constraints: 16113
344.47/355.67 c #Conflicts: 150000 | #Constraints: 17113
344.47/355.67 c #Conflicts: 151000 | #Constraints: 18113
587.22/602.17 c #Conflicts: 152000 | #Constraints: 19113
587.22/602.17 c #Conflicts: 153000 | #Constraints: 20115
587.22/602.17 c #Conflicts: 154000 | #Constraints: 21115
587.22/602.17 c #Conflicts: 155000 | #Constraints: 22116
587.22/602.17 c INPROCESSING
587.22/602.17 c GARBAGE COLLECT
587.22/602.17 c #Conflicts: 156000 | #Constraints: 15261
587.22/602.17 c #Conflicts: 157000 | #Constraints: 16261
587.22/602.17 c #Conflicts: 158000 | #Constraints: 17261
587.22/602.17 c #Conflicts: 159000 | #Constraints: 18261
587.22/602.17 c #Conflicts: 160000 | #Constraints: 19261
587.22/602.17 c #Conflicts: 161000 | #Constraints: 20261
587.22/602.17 c #Conflicts: 162000 | #Constraints: 21261
587.22/602.17 c #Conflicts: 163000 | #Constraints: 22262
587.22/602.17 c INPROCESSING
587.22/602.17 c GARBAGE COLLECT
587.22/602.17 c #Conflicts: 164000 | #Constraints: 15320
587.22/602.17 c #Conflicts: 165000 | #Constraints: 16321
587.22/602.17 c #Conflicts: 166000 | #Constraints: 17321
587.22/602.17 c #Conflicts: 167000 | #Constraints: 18321
587.22/602.17 c #Conflicts: 168000 | #Constraints: 19321
587.22/602.17 c #Conflicts: 169000 | #Constraints: 20322
587.22/602.17 c #Conflicts: 170000 | #Constraints: 21322
587.22/602.17 c #Conflicts: 171000 | #Constraints: 22322
587.22/602.17 c INPROCESSING
587.22/602.17 c GARBAGE COLLECT
587.22/602.17 c #Conflicts: 172000 | #Constraints: 15137
587.22/602.17 c #Conflicts: 173000 | #Constraints: 16137
587.22/602.17 c #Conflicts: 174000 | #Constraints: 17137
587.22/602.17 c #Conflicts: 175000 | #Constraints: 18137
587.22/602.17 c #Conflicts: 176000 | #Constraints: 19137
587.22/602.17 c #Conflicts: 177000 | #Constraints: 20137
587.22/602.17 c #Conflicts: 178000 | #Constraints: 21137
587.22/602.17 c #Conflicts: 179000 | #Constraints: 22138
587.22/602.17 c #Conflicts: 180000 | #Constraints: 23138
587.22/602.17 c INPROCESSING
587.22/602.17 c GARBAGE COLLECT
587.22/602.17 c #Conflicts: 181000 | #Constraints: 15836
587.22/602.17 c #Conflicts: 182000 | #Constraints: 16836
587.22/602.17 c #Conflicts: 183000 | #Constraints: 17836
587.22/602.17 c #Conflicts: 184000 | #Constraints: 18836
587.22/602.17 c #Conflicts: 185000 | #Constraints: 19836
587.22/602.17 c #Conflicts: 186000 | #Constraints: 20836
587.22/602.17 c #Conflicts: 187000 | #Constraints: 21836
587.22/602.17 c #Conflicts: 188000 | #Constraints: 22836
587.22/602.17 c #Conflicts: 189000 | #Constraints: 23836
587.22/602.17 c INPROCESSING
587.22/602.17 c GARBAGE COLLECT
587.22/602.17 c #Conflicts: 190000 | #Constraints: 16275
587.22/602.17 c #Conflicts: 191000 | #Constraints: 17275
587.22/602.17 c #Conflicts: 192000 | #Constraints: 18275
587.22/602.17 c #Conflicts: 193000 | #Constraints: 19275
587.22/602.17 c #Conflicts: 194000 | #Constraints: 20275
587.22/602.17 c #Conflicts: 195000 | #Constraints: 21276
587.22/602.17 c #Conflicts: 196000 | #Constraints: 22277
587.22/602.17 c #Conflicts: 197000 | #Constraints: 23278
587.22/602.17 c #Conflicts: 198000 | #Constraints: 24279
587.22/602.17 c INPROCESSING
587.22/602.17 c GARBAGE COLLECT
587.22/602.17 c #Conflicts: 199000 | #Constraints: 16468
587.22/602.17 c #Conflicts: 200000 | #Constraints: 17468
587.22/602.17 c #Conflicts: 201000 | #Constraints: 18468
587.22/602.17 c #Conflicts: 202000 | #Constraints: 19468
587.22/602.17 c #Conflicts: 203000 | #Constraints: 20468
587.22/602.17 c #Conflicts: 204000 | #Constraints: 21468
587.22/602.17 c #Conflicts: 205000 | #Constraints: 22469
587.22/602.17 c #Conflicts: 206000 | #Constraints: 23470
587.22/602.17 c #Conflicts: 207000 | #Constraints: 24471
587.22/602.17 c INPROCESSING
587.22/602.17 c GARBAGE COLLECT
587.22/602.17 c #Conflicts: 208000 | #Constraints: 16412
587.22/602.17 c #Conflicts: 209000 | #Constraints: 17413
587.22/602.17 c #Conflicts: 210000 | #Constraints: 18413
587.22/602.17 c #Conflicts: 211000 | #Constraints: 19413
587.22/602.17 c #Conflicts: 212000 | #Constraints: 20413
587.22/602.17 c #Conflicts: 213000 | #Constraints: 21414
587.22/602.17 c #Conflicts: 214000 | #Constraints: 22415
587.22/602.17 c #Conflicts: 215000 | #Constraints: 23415
587.22/602.17 c #Conflicts: 216000 | #Constraints: 24417
587.22/602.17 c INPROCESSING
587.22/602.17 c GARBAGE COLLECT
587.22/602.17 c #Conflicts: 217000 | #Constraints: 16289
587.22/602.17 c #Conflicts: 218000 | #Constraints: 17291
587.22/602.17 c #Conflicts: 219000 | #Constraints: 18293
587.22/602.17 c #Conflicts: 220000 | #Constraints: 19296
587.22/602.17 c #Conflicts: 221000 | #Constraints: 20296
587.22/602.17 c #Conflicts: 222000 | #Constraints: 21297
587.22/602.17 c #Conflicts: 223000 | #Constraints: 22297
587.22/602.17 c #Conflicts: 224000 | #Constraints: 23299
682.24/697.43 c #Conflicts: 225000 | #Constraints: 24299
682.24/697.43 c #Conflicts: 226000 | #Constraints: 25299
682.24/697.43 c INPROCESSING
682.24/697.43 c GARBAGE COLLECT
682.24/697.43 c #Conflicts: 227000 | #Constraints: 16821
682.24/697.43 c #Conflicts: 228000 | #Constraints: 17821
682.24/697.43 c #Conflicts: 229000 | #Constraints: 18821
682.24/697.43 c #Conflicts: 230000 | #Constraints: 19821
682.24/697.43 c #Conflicts: 231000 | #Constraints: 20821
682.24/697.43 c #Conflicts: 232000 | #Constraints: 21822
682.24/697.43 c #Conflicts: 233000 | #Constraints: 22823
682.24/697.43 c #Conflicts: 234000 | #Constraints: 23823
682.24/697.43 c #Conflicts: 235000 | #Constraints: 24823
682.24/697.43 c #Conflicts: 236000 | #Constraints: 25823
682.24/697.43 c INPROCESSING
682.24/697.43 c GARBAGE COLLECT
682.24/697.43 c #Conflicts: 237000 | #Constraints: 17229
682.24/697.43 c #Conflicts: 238000 | #Constraints: 18229
682.24/697.43 c #Conflicts: 239000 | #Constraints: 19229
682.24/697.43 c #Conflicts: 240000 | #Constraints: 20229
682.24/697.43 c #Conflicts: 241000 | #Constraints: 21229
682.24/697.43 c #Conflicts: 242000 | #Constraints: 22229
682.24/697.43 c #Conflicts: 243000 | #Constraints: 23229
682.24/697.43 c #Conflicts: 244000 | #Constraints: 24229
682.24/697.43 c #Conflicts: 245000 | #Constraints: 25229
682.24/697.43 c #Conflicts: 246000 | #Constraints: 26229
682.24/697.43 c INPROCESSING
682.24/697.43 c GARBAGE COLLECT
682.24/697.43 c #Conflicts: 247000 | #Constraints: 17505
682.24/697.43 c #Conflicts: 248000 | #Constraints: 18505
682.24/697.43 c #Conflicts: 249000 | #Constraints: 19505
682.24/697.43 c #Conflicts: 250000 | #Constraints: 20506
682.24/697.43 c #Conflicts: 251000 | #Constraints: 21506
682.24/697.43 c #Conflicts: 252000 | #Constraints: 22507
682.24/697.43 c #Conflicts: 253000 | #Constraints: 23508
682.24/697.43 c #Conflicts: 254000 | #Constraints: 24508
682.24/697.43 c #Conflicts: 255000 | #Constraints: 25508
682.24/697.43 c #Conflicts: 256000 | #Constraints: 26508
682.24/697.43 c INPROCESSING
682.24/697.43 c GARBAGE COLLECT
682.24/697.43 c #Conflicts: 257000 | #Constraints: 17518
682.24/697.43 c #Conflicts: 258000 | #Constraints: 18519
682.24/697.43 c #Conflicts: 259000 | #Constraints: 19519
682.24/697.43 c #Conflicts: 260000 | #Constraints: 20519
682.24/697.43 c #Conflicts: 261000 | #Constraints: 21519
682.24/697.43 c #Conflicts: 262000 | #Constraints: 22519
682.24/697.43 c #Conflicts: 263000 | #Constraints: 23519
682.24/697.43 c #Conflicts: 264000 | #Constraints: 24519
682.24/697.43 c #Conflicts: 265000 | #Constraints: 25519
682.24/697.43 c #Conflicts: 266000 | #Constraints: 26519
682.24/697.43 c INPROCESSING
682.24/697.43 c GARBAGE COLLECT
682.24/697.43 c #Conflicts: 267000 | #Constraints: 17299
682.24/697.43 c #Conflicts: 268000 | #Constraints: 18299
682.24/697.43 c #Conflicts: 269000 | #Constraints: 19299
682.24/697.43 c #Conflicts: 270000 | #Constraints: 20299
682.24/697.43 c #Conflicts: 271000 | #Constraints: 21299
682.24/697.43 c #Conflicts: 272000 | #Constraints: 22299
682.24/697.43 c #Conflicts: 273000 | #Constraints: 23300
682.24/697.43 c #Conflicts: 274000 | #Constraints: 24300
682.24/697.43 c #Conflicts: 275000 | #Constraints: 25300
682.24/697.43 c #Conflicts: 276000 | #Constraints: 26300
682.24/697.43 c #Conflicts: 277000 | #Constraints: 27300
682.24/697.43 c INPROCESSING
682.24/697.43 c GARBAGE COLLECT
682.24/697.43 c #Conflicts: 278000 | #Constraints: 17852
682.24/697.43 c #Conflicts: 279000 | #Constraints: 18852
682.24/697.43 c #Conflicts: 280000 | #Constraints: 19852
682.24/697.43 c #Conflicts: 281000 | #Constraints: 20852
682.24/697.43 c #Conflicts: 282000 | #Constraints: 21853
682.24/697.43 c #Conflicts: 283000 | #Constraints: 22853
682.24/697.43 c #Conflicts: 284000 | #Constraints: 23853
682.24/697.43 c #Conflicts: 285000 | #Constraints: 24853
682.24/697.43 c #Conflicts: 286000 | #Constraints: 25853
682.24/697.43 c #Conflicts: 287000 | #Constraints: 26853
682.24/697.43 c #Conflicts: 288000 | #Constraints: 27853
682.24/697.43 c INPROCESSING
682.24/697.43 c GARBAGE COLLECT
682.24/697.43 c #Conflicts: 289000 | #Constraints: 18376
682.24/697.43 c #Conflicts: 290000 | #Constraints: 19378
682.24/697.43 c #Conflicts: 291000 | #Constraints: 20378
682.24/697.43 c #Conflicts: 292000 | #Constraints: 21378
682.24/697.43 c #Conflicts: 293000 | #Constraints: 22378
682.24/697.43 c #Conflicts: 294000 | #Constraints: 23378
682.24/697.43 c #Conflicts: 295000 | #Constraints: 24378
682.24/697.43 c #Conflicts: 296000 | #Constraints: 25378
682.24/697.43 c #Conflicts: 297000 | #Constraints: 26379
682.24/697.43 c #Conflicts: 298000 | #Constraints: 27379
682.24/697.43 c #Conflicts: 299000 | #Constraints: 28379
962.92/980.88 c INPROCESSING
962.92/980.88 c GARBAGE COLLECT
962.92/980.88 c #Conflicts: 300000 | #Constraints: 18650
962.92/980.88 c #Conflicts: 301000 | #Constraints: 19650
962.92/980.88 c #Conflicts: 302000 | #Constraints: 20650
962.92/980.88 c #Conflicts: 303000 | #Constraints: 21650
962.92/980.88 c #Conflicts: 304000 | #Constraints: 22651
962.92/980.88 c #Conflicts: 305000 | #Constraints: 23651
962.92/980.88 c #Conflicts: 306000 | #Constraints: 24653
962.92/980.88 c #Conflicts: 307000 | #Constraints: 25653
962.92/980.88 c #Conflicts: 308000 | #Constraints: 26654
962.92/980.88 c #Conflicts: 309000 | #Constraints: 27654
962.92/980.88 c #Conflicts: 310000 | #Constraints: 28655
962.92/980.88 c INPROCESSING
962.92/980.88 c GARBAGE COLLECT
962.92/980.88 c #Conflicts: 311000 | #Constraints: 18663
962.92/980.88 c #Conflicts: 312000 | #Constraints: 19663
962.92/980.88 c #Conflicts: 313000 | #Constraints: 20664
962.92/980.88 c #Conflicts: 314000 | #Constraints: 21664
962.92/980.88 c #Conflicts: 315000 | #Constraints: 22665
962.92/980.88 c #Conflicts: 316000 | #Constraints: 23666
962.92/980.88 c #Conflicts: 317000 | #Constraints: 24668
962.92/980.88 c #Conflicts: 318000 | #Constraints: 25669
962.92/980.88 c #Conflicts: 319000 | #Constraints: 26671
962.92/980.88 c #Conflicts: 320000 | #Constraints: 27671
962.92/980.88 c #Conflicts: 321000 | #Constraints: 28671
962.92/980.88 c INPROCESSING
962.92/980.88 c GARBAGE COLLECT
962.92/980.88 c #Conflicts: 322000 | #Constraints: 18379
962.92/980.88 c #Conflicts: 323000 | #Constraints: 19379
962.92/980.88 c #Conflicts: 324000 | #Constraints: 20382
962.92/980.88 c #Conflicts: 325000 | #Constraints: 21382
962.92/980.88 c #Conflicts: 326000 | #Constraints: 22383
962.92/980.88 c #Conflicts: 327000 | #Constraints: 23383
962.92/980.88 c #Conflicts: 328000 | #Constraints: 24383
962.92/980.88 c #Conflicts: 329000 | #Constraints: 25383
962.92/980.88 c #Conflicts: 330000 | #Constraints: 26383
962.92/980.88 c #Conflicts: 331000 | #Constraints: 27383
962.92/980.88 c #Conflicts: 332000 | #Constraints: 28383
962.92/980.88 c #Conflicts: 333000 | #Constraints: 29383
962.92/980.88 c INPROCESSING
962.92/980.88 c GARBAGE COLLECT
962.92/980.88 c #Conflicts: 334000 | #Constraints: 18929
962.92/980.88 c #Conflicts: 335000 | #Constraints: 19929
962.92/980.88 c #Conflicts: 336000 | #Constraints: 20929
962.92/980.88 c #Conflicts: 337000 | #Constraints: 21929
962.92/980.88 c #Conflicts: 338000 | #Constraints: 22929
962.92/980.88 c #Conflicts: 339000 | #Constraints: 23929
962.92/980.88 c #Conflicts: 340000 | #Constraints: 24929
962.92/980.88 c #Conflicts: 341000 | #Constraints: 25929
962.92/980.88 c #Conflicts: 342000 | #Constraints: 26929
962.92/980.88 c #Conflicts: 343000 | #Constraints: 27930
962.92/980.88 c #Conflicts: 344000 | #Constraints: 28931
962.92/980.88 c #Conflicts: 345000 | #Constraints: 29931
962.92/980.88 c INPROCESSING
962.92/980.88 c GARBAGE COLLECT
962.92/980.88 c #Conflicts: 346000 | #Constraints: 19474
962.92/980.88 c #Conflicts: 347000 | #Constraints: 20474
962.92/980.88 c #Conflicts: 348000 | #Constraints: 21474
962.92/980.88 c #Conflicts: 349000 | #Constraints: 22474
962.92/980.88 c #Conflicts: 350000 | #Constraints: 23474
962.92/980.88 c #Conflicts: 351000 | #Constraints: 24475
962.92/980.88 c #Conflicts: 352000 | #Constraints: 25476
962.92/980.88 c #Conflicts: 353000 | #Constraints: 26477
962.92/980.88 c #Conflicts: 354000 | #Constraints: 27479
962.92/980.88 c #Conflicts: 355000 | #Constraints: 28479
962.92/980.88 c #Conflicts: 356000 | #Constraints: 29479
962.92/980.88 c #Conflicts: 357000 | #Constraints: 30479
962.92/980.88 c INPROCESSING
962.92/980.88 c GARBAGE COLLECT
962.92/980.88 c #Conflicts: 358000 | #Constraints: 19707
962.92/980.88 c #Conflicts: 359000 | #Constraints: 20707
962.92/980.88 c #Conflicts: 360000 | #Constraints: 21707
962.92/980.88 c #Conflicts: 361000 | #Constraints: 22707
962.92/980.88 c #Conflicts: 362000 | #Constraints: 23708
962.92/980.88 c #Conflicts: 363000 | #Constraints: 24708
962.92/980.88 c #Conflicts: 364000 | #Constraints: 25708
962.92/980.88 c #Conflicts: 365000 | #Constraints: 26708
962.92/980.88 c #Conflicts: 366000 | #Constraints: 27709
962.92/980.88 c #Conflicts: 367000 | #Constraints: 28709
962.92/980.88 c #Conflicts: 368000 | #Constraints: 29709
962.92/980.88 c #Conflicts: 369000 | #Constraints: 30709
962.92/980.88 c INPROCESSING
962.92/980.88 c GARBAGE COLLECT
962.92/980.88 c #Conflicts: 370000 | #Constraints: 19838
962.92/980.88 c #Conflicts: 371000 | #Constraints: 20838
962.92/980.88 c #Conflicts: 372000 | #Constraints: 21838
962.92/980.88 c #Conflicts: 373000 | #Constraints: 22840
1086.08/1107.84 c #Conflicts: 374000 | #Constraints: 23840
1086.08/1107.84 c #Conflicts: 375000 | #Constraints: 24841
1086.08/1107.84 c #Conflicts: 376000 | #Constraints: 25842
1086.08/1107.84 c #Conflicts: 377000 | #Constraints: 26843
1086.08/1107.84 c #Conflicts: 378000 | #Constraints: 27843
1086.08/1107.84 c #Conflicts: 379000 | #Constraints: 28846
1086.08/1107.84 c #Conflicts: 380000 | #Constraints: 29846
1086.08/1107.84 c #Conflicts: 381000 | #Constraints: 30846
1086.08/1107.84 c INPROCESSING
1086.08/1107.84 c GARBAGE COLLECT
1086.08/1107.84 c #Conflicts: 382000 | #Constraints: 19624
1086.08/1107.84 c #Conflicts: 383000 | #Constraints: 20625
1086.08/1107.84 c #Conflicts: 384000 | #Constraints: 21626
1086.08/1107.84 c #Conflicts: 385000 | #Constraints: 22626
1086.08/1107.84 c #Conflicts: 386000 | #Constraints: 23627
1086.08/1107.84 c #Conflicts: 387000 | #Constraints: 24627
1086.08/1107.84 c #Conflicts: 388000 | #Constraints: 25627
1086.08/1107.84 c #Conflicts: 389000 | #Constraints: 26628
1086.08/1107.84 c #Conflicts: 390000 | #Constraints: 27628
1086.08/1107.84 c #Conflicts: 391000 | #Constraints: 28629
1086.08/1107.84 c #Conflicts: 392000 | #Constraints: 29629
1086.08/1107.84 c #Conflicts: 393000 | #Constraints: 30629
1086.08/1107.84 c #Conflicts: 394000 | #Constraints: 31629
1086.08/1107.84 c INPROCESSING
1086.08/1107.84 c GARBAGE COLLECT
1086.08/1107.84 c #Conflicts: 395000 | #Constraints: 20251
1086.08/1107.84 c #Conflicts: 396000 | #Constraints: 21251
1086.08/1107.84 c #Conflicts: 397000 | #Constraints: 22251
1086.08/1107.84 c #Conflicts: 398000 | #Constraints: 23251
1086.08/1107.84 c #Conflicts: 399000 | #Constraints: 24251
1086.08/1107.84 c #Conflicts: 400000 | #Constraints: 25251
1086.08/1107.84 c #Conflicts: 401000 | #Constraints: 26251
1086.08/1107.84 c #Conflicts: 402000 | #Constraints: 27251
1086.08/1107.84 c #Conflicts: 403000 | #Constraints: 28251
1086.08/1107.84 c #Conflicts: 404000 | #Constraints: 29251
1086.08/1107.84 c #Conflicts: 405000 | #Constraints: 30251
1086.08/1107.84 c #Conflicts: 406000 | #Constraints: 31251
1086.08/1107.84 c #Conflicts: 407000 | #Constraints: 32251
1086.08/1107.84 c INPROCESSING
1086.08/1107.84 c GARBAGE COLLECT
1086.08/1107.84 c #Conflicts: 408000 | #Constraints: 20659
1086.08/1107.84 c #Conflicts: 409000 | #Constraints: 21660
1086.08/1107.84 c #Conflicts: 410000 | #Constraints: 22660
1086.08/1107.84 c #Conflicts: 411000 | #Constraints: 23661
1086.08/1107.84 c #Conflicts: 412000 | #Constraints: 24661
1086.08/1107.84 c #Conflicts: 413000 | #Constraints: 25661
1086.08/1107.84 c #Conflicts: 414000 | #Constraints: 26661
1086.08/1107.84 c #Conflicts: 415000 | #Constraints: 27661
1086.08/1107.84 c #Conflicts: 416000 | #Constraints: 28661
1086.08/1107.84 c #Conflicts: 417000 | #Constraints: 29661
1086.08/1107.84 c #Conflicts: 418000 | #Constraints: 30661
1086.08/1107.84 c #Conflicts: 419000 | #Constraints: 31661
1086.08/1107.84 c #Conflicts: 420000 | #Constraints: 32661
1086.08/1107.84 c INPROCESSING
1086.08/1107.84 c GARBAGE COLLECT
1086.08/1107.84 c #Conflicts: 421000 | #Constraints: 20788
1086.08/1107.84 c #Conflicts: 422000 | #Constraints: 21788
1086.08/1107.84 c #Conflicts: 423000 | #Constraints: 22789
1086.08/1107.84 c #Conflicts: 424000 | #Constraints: 23789
1086.08/1107.84 c #Conflicts: 425000 | #Constraints: 24789
1086.08/1107.84 c #Conflicts: 426000 | #Constraints: 25790
1086.08/1107.84 c #Conflicts: 427000 | #Constraints: 26790
1086.08/1107.84 c #Conflicts: 428000 | #Constraints: 27790
1086.08/1107.84 c #Conflicts: 429000 | #Constraints: 28790
1086.08/1107.84 c #Conflicts: 430000 | #Constraints: 29790
1086.08/1107.84 c #Conflicts: 431000 | #Constraints: 30790
1086.08/1107.84 c #Conflicts: 432000 | #Constraints: 31791
1086.08/1107.84 c #Conflicts: 433000 | #Constraints: 32791
1086.08/1107.84 c INPROCESSING
1086.08/1107.84 c GARBAGE COLLECT
1086.08/1107.84 c #Conflicts: 434000 | #Constraints: 20759
1086.08/1107.84 c #Conflicts: 435000 | #Constraints: 21759
1086.08/1107.84 c #Conflicts: 436000 | #Constraints: 22760
1086.08/1107.84 c #Conflicts: 437000 | #Constraints: 23760
1086.08/1107.84 c #Conflicts: 438000 | #Constraints: 24760
1086.08/1107.84 c #Conflicts: 439000 | #Constraints: 25761
1086.08/1107.84 c #Conflicts: 440000 | #Constraints: 26761
1086.08/1107.84 c #Conflicts: 441000 | #Constraints: 27761
1086.08/1107.84 c #Conflicts: 442000 | #Constraints: 28761
1086.08/1107.84 c #Conflicts: 443000 | #Constraints: 29761
1086.08/1107.84 c #Conflicts: 444000 | #Constraints: 30761
1086.08/1107.84 c #Conflicts: 445000 | #Constraints: 31763
1086.08/1107.84 c #Conflicts: 446000 | #Constraints: 32765
1086.08/1107.84 c INPROCESSING
1086.08/1107.84 c GARBAGE COLLECT
1086.08/1107.84 c #Conflicts: 447000 | #Constraints: 20576
1086.08/1107.84 c #Conflicts: 448000 | #Constraints: 21576
1374.24/1397.57 c #Conflicts: 449000 | #Constraints: 22576
1374.24/1397.57 c #Conflicts: 450000 | #Constraints: 23577
1374.24/1397.57 c #Conflicts: 451000 | #Constraints: 24578
1374.24/1397.57 c #Conflicts: 452000 | #Constraints: 25579
1374.24/1397.57 c #Conflicts: 453000 | #Constraints: 26579
1374.24/1397.57 c #Conflicts: 454000 | #Constraints: 27579
1374.24/1397.57 c #Conflicts: 455000 | #Constraints: 28580
1374.24/1397.57 c #Conflicts: 456000 | #Constraints: 29580
1374.24/1397.57 c #Conflicts: 457000 | #Constraints: 30580
1374.24/1397.57 c #Conflicts: 458000 | #Constraints: 31581
1374.24/1397.57 c #Conflicts: 459000 | #Constraints: 32581
1374.24/1397.57 c #Conflicts: 460000 | #Constraints: 33581
1374.24/1397.57 c INPROCESSING
1374.24/1397.57 c GARBAGE COLLECT
1374.24/1397.57 c #Conflicts: 461000 | #Constraints: 21226
1374.24/1397.57 c #Conflicts: 462000 | #Constraints: 22226
1374.24/1397.57 c #Conflicts: 463000 | #Constraints: 23226
1374.24/1397.57 c #Conflicts: 464000 | #Constraints: 24227
1374.24/1397.57 c #Conflicts: 465000 | #Constraints: 25227
1374.24/1397.57 c #Conflicts: 466000 | #Constraints: 26228
1374.24/1397.57 c #Conflicts: 467000 | #Constraints: 27229
1374.24/1397.57 c #Conflicts: 468000 | #Constraints: 28230
1374.24/1397.57 c #Conflicts: 469000 | #Constraints: 29231
1374.24/1397.57 c #Conflicts: 470000 | #Constraints: 30232
1374.24/1397.57 c #Conflicts: 471000 | #Constraints: 31232
1374.24/1397.57 c #Conflicts: 472000 | #Constraints: 32232
1374.24/1397.57 c #Conflicts: 473000 | #Constraints: 33232
1374.24/1397.57 c #Conflicts: 474000 | #Constraints: 34232
1374.24/1397.57 c INPROCESSING
1374.24/1397.57 c GARBAGE COLLECT
1374.24/1397.57 c #Conflicts: 475000 | #Constraints: 21491
1374.24/1397.57 c #Conflicts: 476000 | #Constraints: 22491
1374.24/1397.57 c #Conflicts: 477000 | #Constraints: 23491
1374.24/1397.57 c #Conflicts: 478000 | #Constraints: 24492
1374.24/1397.57 c #Conflicts: 479000 | #Constraints: 25492
1374.24/1397.57 c #Conflicts: 480000 | #Constraints: 26493
1374.24/1397.57 c #Conflicts: 481000 | #Constraints: 27494
1374.24/1397.57 c #Conflicts: 482000 | #Constraints: 28494
1374.24/1397.57 c #Conflicts: 483000 | #Constraints: 29494
1374.24/1397.57 c #Conflicts: 484000 | #Constraints: 30495
1374.24/1397.57 c #Conflicts: 485000 | #Constraints: 31498
1374.24/1397.57 c #Conflicts: 486000 | #Constraints: 32498
1374.24/1397.57 c #Conflicts: 487000 | #Constraints: 33498
1374.24/1397.57 c #Conflicts: 488000 | #Constraints: 34498
1374.24/1397.57 c INPROCESSING
1374.24/1397.57 c GARBAGE COLLECT
1374.24/1397.57 c #Conflicts: 489000 | #Constraints: 21638
1374.24/1397.57 c #Conflicts: 490000 | #Constraints: 22638
1374.24/1397.57 c #Conflicts: 491000 | #Constraints: 23638
1374.24/1397.57 c #Conflicts: 492000 | #Constraints: 24638
1374.24/1397.57 c #Conflicts: 493000 | #Constraints: 25638
1374.24/1397.57 c #Conflicts: 494000 | #Constraints: 26638
1374.24/1397.57 c #Conflicts: 495000 | #Constraints: 27638
1374.24/1397.57 c #Conflicts: 496000 | #Constraints: 28638
1374.24/1397.57 c #Conflicts: 497000 | #Constraints: 29638
1374.24/1397.57 c #Conflicts: 498000 | #Constraints: 30638
1374.24/1397.57 c #Conflicts: 499000 | #Constraints: 31638
1374.24/1397.57 c #Conflicts: 500000 | #Constraints: 32638
1374.24/1397.57 c #Conflicts: 501000 | #Constraints: 33638
1374.24/1397.57 c #Conflicts: 502000 | #Constraints: 34638
1374.24/1397.57 c INPROCESSING
1374.24/1397.57 c GARBAGE COLLECT
1374.24/1397.57 c #Conflicts: 503000 | #Constraints: 21618
1374.24/1397.57 c #Conflicts: 504000 | #Constraints: 22618
1374.24/1397.57 c #Conflicts: 505000 | #Constraints: 23618
1374.24/1397.57 c #Conflicts: 506000 | #Constraints: 24618
1374.24/1397.57 c #Conflicts: 507000 | #Constraints: 25618
1374.24/1397.57 c #Conflicts: 508000 | #Constraints: 26618
1374.24/1397.57 c #Conflicts: 509000 | #Constraints: 27618
1374.24/1397.57 c #Conflicts: 510000 | #Constraints: 28618
1374.24/1397.57 c #Conflicts: 511000 | #Constraints: 29618
1374.24/1397.57 c #Conflicts: 512000 | #Constraints: 30618
1374.24/1397.57 c #Conflicts: 513000 | #Constraints: 31618
1374.24/1397.57 c #Conflicts: 514000 | #Constraints: 32618
1374.24/1397.57 c #Conflicts: 515000 | #Constraints: 33618
1374.24/1397.57 c #Conflicts: 516000 | #Constraints: 34618
1374.24/1397.57 c INPROCESSING
1374.24/1397.57 c GARBAGE COLLECT
1374.24/1397.57 c #Conflicts: 517000 | #Constraints: 21338
1374.24/1397.57 c #Conflicts: 518000 | #Constraints: 22338
1374.24/1397.57 c #Conflicts: 519000 | #Constraints: 23338
1374.24/1397.57 c #Conflicts: 520000 | #Constraints: 24338
1374.24/1397.57 c #Conflicts: 521000 | #Constraints: 25338
1374.24/1397.57 c #Conflicts: 522000 | #Constraints: 26338
1374.24/1397.57 c #Conflicts: 523000 | #Constraints: 27338
1554.18/1580.03 c #Conflicts: 524000 | #Constraints: 28338
1554.18/1580.03 c #Conflicts: 525000 | #Constraints: 29338
1554.18/1580.03 c #Conflicts: 526000 | #Constraints: 30338
1554.18/1580.03 c #Conflicts: 527000 | #Constraints: 31338
1554.18/1580.03 c #Conflicts: 528000 | #Constraints: 32338
1554.18/1580.03 c #Conflicts: 529000 | #Constraints: 33338
1554.18/1580.03 c #Conflicts: 530000 | #Constraints: 34338
1554.18/1580.03 c #Conflicts: 531000 | #Constraints: 35338
1554.18/1580.03 c INPROCESSING
1554.18/1580.03 c GARBAGE COLLECT
1554.18/1580.03 c #Conflicts: 532000 | #Constraints: 22057
1554.18/1580.03 c #Conflicts: 533000 | #Constraints: 23057
1554.18/1580.03 c #Conflicts: 534000 | #Constraints: 24057
1554.18/1580.03 c #Conflicts: 535000 | #Constraints: 25058
1554.18/1580.03 c #Conflicts: 536000 | #Constraints: 26058
1554.18/1580.03 c #Conflicts: 537000 | #Constraints: 27058
1554.18/1580.03 c #Conflicts: 538000 | #Constraints: 28058
1554.18/1580.03 c #Conflicts: 539000 | #Constraints: 29058
1554.18/1580.03 c #Conflicts: 540000 | #Constraints: 30059
1554.18/1580.03 c #Conflicts: 541000 | #Constraints: 31059
1554.18/1580.03 c #Conflicts: 542000 | #Constraints: 32059
1554.18/1580.03 c #Conflicts: 543000 | #Constraints: 33059
1554.18/1580.03 c #Conflicts: 544000 | #Constraints: 34059
1554.18/1580.03 c #Conflicts: 545000 | #Constraints: 35059
1554.18/1580.03 c #Conflicts: 546000 | #Constraints: 36059
1554.18/1580.03 c INPROCESSING
1554.18/1580.03 c GARBAGE COLLECT
1554.18/1580.03 c #Conflicts: 547000 | #Constraints: 22586
1554.18/1580.03 c #Conflicts: 548000 | #Constraints: 23586
1554.18/1580.03 c #Conflicts: 549000 | #Constraints: 24586
1554.18/1580.03 c #Conflicts: 550000 | #Constraints: 25586
1554.18/1580.03 c #Conflicts: 551000 | #Constraints: 26586
1554.18/1580.03 c #Conflicts: 552000 | #Constraints: 27586
1554.18/1580.03 c #Conflicts: 553000 | #Constraints: 28586
1554.18/1580.03 c #Conflicts: 554000 | #Constraints: 29586
1554.18/1580.03 c #Conflicts: 555000 | #Constraints: 30586
1554.18/1580.03 c #Conflicts: 556000 | #Constraints: 31586
1554.18/1580.03 c #Conflicts: 557000 | #Constraints: 32586
1554.18/1580.03 c #Conflicts: 558000 | #Constraints: 33586
1554.18/1580.03 c #Conflicts: 559000 | #Constraints: 34586
1554.18/1580.03 c #Conflicts: 560000 | #Constraints: 35586
1554.18/1580.03 c #Conflicts: 561000 | #Constraints: 36586
1554.18/1580.03 c INPROCESSING
1554.18/1580.03 c GARBAGE COLLECT
1554.18/1580.03 c #Conflicts: 562000 | #Constraints: 22906
1554.18/1580.03 c #Conflicts: 563000 | #Constraints: 23906
1554.18/1580.03 c #Conflicts: 564000 | #Constraints: 24906
1554.18/1580.03 c #Conflicts: 565000 | #Constraints: 25906
1554.18/1580.03 c #Conflicts: 566000 | #Constraints: 26906
1554.18/1580.03 c #Conflicts: 567000 | #Constraints: 27906
1554.18/1580.03 c #Conflicts: 568000 | #Constraints: 28906
1554.18/1580.03 c #Conflicts: 569000 | #Constraints: 29906
1554.18/1580.03 c #Conflicts: 570000 | #Constraints: 30906
1554.18/1580.03 c #Conflicts: 571000 | #Constraints: 31906
1554.18/1580.03 c #Conflicts: 572000 | #Constraints: 32906
1554.18/1580.03 c #Conflicts: 573000 | #Constraints: 33906
1554.18/1580.03 c #Conflicts: 574000 | #Constraints: 34906
1554.18/1580.03 c #Conflicts: 575000 | #Constraints: 35906
1554.18/1580.03 c #Conflicts: 576000 | #Constraints: 36906
1554.18/1580.03 c INPROCESSING
1554.18/1580.03 c GARBAGE COLLECT
1554.18/1580.03 c #Conflicts: 577000 | #Constraints: 22974
1554.18/1580.03 c #Conflicts: 578000 | #Constraints: 23974
1554.18/1580.03 c #Conflicts: 579000 | #Constraints: 24974
1554.18/1580.03 c #Conflicts: 580000 | #Constraints: 25974
1554.18/1580.03 c #Conflicts: 581000 | #Constraints: 26974
1554.18/1580.03 c #Conflicts: 582000 | #Constraints: 27974
1554.18/1580.03 c #Conflicts: 583000 | #Constraints: 28974
1554.18/1580.03 c #Conflicts: 584000 | #Constraints: 29974
1554.18/1580.03 c #Conflicts: 585000 | #Constraints: 30974
1554.18/1580.03 c #Conflicts: 586000 | #Constraints: 31974
1554.18/1580.03 c #Conflicts: 587000 | #Constraints: 32974
1554.18/1580.03 c #Conflicts: 588000 | #Constraints: 33974
1554.18/1580.03 c #Conflicts: 589000 | #Constraints: 34974
1554.18/1580.03 c #Conflicts: 590000 | #Constraints: 35974
1554.18/1580.03 c #Conflicts: 591000 | #Constraints: 36974
1554.18/1580.03 c INPROCESSING
1554.18/1580.03 c GARBAGE COLLECT
1554.18/1580.03 c #Conflicts: 592000 | #Constraints: 22947
1554.18/1580.03 c #Conflicts: 593000 | #Constraints: 23947
1554.18/1580.03 c #Conflicts: 594000 | #Constraints: 24947
1554.18/1580.03 c #Conflicts: 595000 | #Constraints: 25947
1554.18/1580.03 c #Conflicts: 596000 | #Constraints: 26947
1554.18/1580.03 c #Conflicts: 597000 | #Constraints: 27947
1554.18/1580.03 c #Conflicts: 598000 | #Constraints: 28947
1554.18/1580.03 c #Conflicts: 599000 | #Constraints: 29947
1659.97/1689.97 c #Conflicts: 600000 | #Constraints: 30947
1659.97/1689.97 c #Conflicts: 601000 | #Constraints: 31947
1659.97/1689.97 c #Conflicts: 602000 | #Constraints: 32947
1659.97/1689.97 c #Conflicts: 603000 | #Constraints: 33947
1659.97/1689.97 c #Conflicts: 604000 | #Constraints: 34947
1659.97/1689.97 c #Conflicts: 605000 | #Constraints: 35947
1659.97/1689.97 c #Conflicts: 606000 | #Constraints: 36947
1659.97/1689.97 c #Conflicts: 607000 | #Constraints: 37947
1659.97/1689.97 c INPROCESSING
1659.97/1689.97 c GARBAGE COLLECT
1659.97/1689.97 c #Conflicts: 608000 | #Constraints: 23533
1659.97/1689.97 c #Conflicts: 609000 | #Constraints: 24533
1659.97/1689.97 c #Conflicts: 610000 | #Constraints: 25533
1659.97/1689.97 c #Conflicts: 611000 | #Constraints: 26533
1659.97/1689.97 c #Conflicts: 612000 | #Constraints: 27533
1659.97/1689.97 c #Conflicts: 613000 | #Constraints: 28533
1659.97/1689.97 c #Conflicts: 614000 | #Constraints: 29533
1659.97/1689.97 c #Conflicts: 615000 | #Constraints: 30533
1659.97/1689.97 c #Conflicts: 616000 | #Constraints: 31533
1659.97/1689.97 c #Conflicts: 617000 | #Constraints: 32533
1659.97/1689.97 c #Conflicts: 618000 | #Constraints: 33533
1659.97/1689.97 c #Conflicts: 619000 | #Constraints: 34533
1659.97/1689.97 c #Conflicts: 620000 | #Constraints: 35533
1659.97/1689.97 c #Conflicts: 621000 | #Constraints: 36533
1659.97/1689.97 c #Conflicts: 622000 | #Constraints: 37533
1659.97/1689.97 c #Conflicts: 623000 | #Constraints: 38533
1659.97/1689.97 c INPROCESSING
1659.97/1689.97 c GARBAGE COLLECT
1659.97/1689.97 c #Conflicts: 624000 | #Constraints: 23815
1659.97/1689.97 c #Conflicts: 625000 | #Constraints: 24815
1659.97/1689.97 c #Conflicts: 626000 | #Constraints: 25815
1659.97/1689.97 c #Conflicts: 627000 | #Constraints: 26815
1659.97/1689.97 c #Conflicts: 628000 | #Constraints: 27815
1659.97/1689.97 c #Conflicts: 629000 | #Constraints: 28815
1659.97/1689.97 c #Conflicts: 630000 | #Constraints: 29815
1659.97/1689.97 c #Conflicts: 631000 | #Constraints: 30815
1659.97/1689.97 c #Conflicts: 632000 | #Constraints: 31815
1659.97/1689.97 c #Conflicts: 633000 | #Constraints: 32815
1659.97/1689.97 c #Conflicts: 634000 | #Constraints: 33815
1659.97/1689.97 c #Conflicts: 635000 | #Constraints: 34815
1659.97/1689.97 c #Conflicts: 636000 | #Constraints: 35815
1659.97/1689.97 c #Conflicts: 637000 | #Constraints: 36815
1659.97/1689.97 c #Conflicts: 638000 | #Constraints: 37815
1659.97/1689.97 c #Conflicts: 639000 | #Constraints: 38815
1659.97/1689.97 c INPROCESSING
1659.97/1689.97 c GARBAGE COLLECT
1659.97/1689.97 c #Conflicts: 640000 | #Constraints: 23922
1659.97/1689.97 c #Conflicts: 641000 | #Constraints: 24922
1659.97/1689.97 c #Conflicts: 642000 | #Constraints: 25922
1659.97/1689.97 c #Conflicts: 643000 | #Constraints: 26922
1659.97/1689.97 c #Conflicts: 644000 | #Constraints: 27922
1659.97/1689.97 c #Conflicts: 645000 | #Constraints: 28922
1659.97/1689.97 c #Conflicts: 646000 | #Constraints: 29922
1659.97/1689.97 c #Conflicts: 647000 | #Constraints: 30922
1659.97/1689.97 c #Conflicts: 648000 | #Constraints: 31922
1659.97/1689.97 c #Conflicts: 649000 | #Constraints: 32922
1659.97/1689.97 c #Conflicts: 650000 | #Constraints: 33922
1659.97/1689.97 c #Conflicts: 651000 | #Constraints: 34922
1659.97/1689.97 c #Conflicts: 652000 | #Constraints: 35922
1659.97/1689.97 c #Conflicts: 653000 | #Constraints: 36922
1659.97/1689.97 c #Conflicts: 654000 | #Constraints: 37922
1659.97/1689.97 c #Conflicts: 655000 | #Constraints: 38922
1659.97/1689.97 c INPROCESSING
1659.97/1689.97 c GARBAGE COLLECT
1659.97/1689.97 c #Conflicts: 656000 | #Constraints: 24010
1659.97/1689.97 c #Conflicts: 657000 | #Constraints: 25010
1659.97/1689.97 c #Conflicts: 658000 | #Constraints: 26010
1659.97/1689.97 c #Conflicts: 659000 | #Constraints: 27010
1659.97/1689.97 c #Conflicts: 660000 | #Constraints: 28010
1659.97/1689.97 c #Conflicts: 661000 | #Constraints: 29010
1659.97/1689.97 c #Conflicts: 662000 | #Constraints: 30010
1659.97/1689.97 c #Conflicts: 663000 | #Constraints: 31010
1659.97/1689.97 c #Conflicts: 664000 | #Constraints: 32010
1659.97/1689.97 c #Conflicts: 665000 | #Constraints: 33010
1659.97/1689.97 c #Conflicts: 666000 | #Constraints: 34010
1659.97/1689.97 c #Conflicts: 667000 | #Constraints: 35010
1659.97/1689.97 c #Conflicts: 668000 | #Constraints: 36010
1659.97/1689.97 c #Conflicts: 669000 | #Constraints: 37010
1659.97/1689.97 c #Conflicts: 670000 | #Constraints: 38010
1659.97/1689.97 c #Conflicts: 671000 | #Constraints: 39010
1659.97/1689.97 c INPROCESSING
1659.97/1689.97 c GARBAGE COLLECT
1659.97/1689.97 c #Conflicts: 672000 | #Constraints: 23854
1659.97/1689.97 c #Conflicts: 673000 | #Constraints: 24854
1659.97/1689.97 c #Conflicts: 674000 | #Constraints: 25854
1659.97/1689.97 c #Conflicts: 675000 | #Constraints: 26854
1907.75/1939.26 c #Conflicts: 676000 | #Constraints: 27854
1907.75/1939.26 c #Conflicts: 677000 | #Constraints: 28854
1907.75/1939.26 c #Conflicts: 678000 | #Constraints: 29854
1907.75/1939.26 c #Conflicts: 679000 | #Constraints: 30854
1907.75/1939.26 c #Conflicts: 680000 | #Constraints: 31854
1907.75/1939.26 c #Conflicts: 681000 | #Constraints: 32854
1907.75/1939.26 c #Conflicts: 682000 | #Constraints: 33854
1907.75/1939.26 c #Conflicts: 683000 | #Constraints: 34854
1907.75/1939.26 c #Conflicts: 684000 | #Constraints: 35854
1907.75/1939.26 c #Conflicts: 685000 | #Constraints: 36854
1907.75/1939.26 c #Conflicts: 686000 | #Constraints: 37854
1907.75/1939.26 c #Conflicts: 687000 | #Constraints: 38854
1907.75/1939.26 c #Conflicts: 688000 | #Constraints: 39854
1907.75/1939.26 c INPROCESSING
1907.75/1939.26 c GARBAGE COLLECT
1907.75/1939.26 c #Conflicts: 689000 | #Constraints: 24495
1907.75/1939.26 c #Conflicts: 690000 | #Constraints: 25495
1907.75/1939.26 c #Conflicts: 691000 | #Constraints: 26495
1907.75/1939.26 c #Conflicts: 692000 | #Constraints: 27495
1907.75/1939.26 c #Conflicts: 693000 | #Constraints: 28495
1907.75/1939.26 c #Conflicts: 694000 | #Constraints: 29495
1907.75/1939.26 c #Conflicts: 695000 | #Constraints: 30495
1907.75/1939.26 c #Conflicts: 696000 | #Constraints: 31496
1907.75/1939.26 c #Conflicts: 697000 | #Constraints: 32496
1907.75/1939.26 c #Conflicts: 698000 | #Constraints: 33498
1907.75/1939.26 c #Conflicts: 699000 | #Constraints: 34498
1907.75/1939.26 c #Conflicts: 700000 | #Constraints: 35499
1907.75/1939.26 c #Conflicts: 701000 | #Constraints: 36499
1907.75/1939.26 c #Conflicts: 702000 | #Constraints: 37500
1907.75/1939.26 c #Conflicts: 703000 | #Constraints: 38502
1907.75/1939.26 c #Conflicts: 704000 | #Constraints: 39503
1907.75/1939.26 c #Conflicts: 705000 | #Constraints: 40503
1907.75/1939.26 c INPROCESSING
1907.75/1939.26 c GARBAGE COLLECT
1907.75/1939.26 c #Conflicts: 706000 | #Constraints: 24908
1907.75/1939.26 c #Conflicts: 707000 | #Constraints: 25909
1907.75/1939.26 c #Conflicts: 708000 | #Constraints: 26909
1907.75/1939.26 c #Conflicts: 709000 | #Constraints: 27909
1907.75/1939.26 c #Conflicts: 710000 | #Constraints: 28909
1907.75/1939.26 c #Conflicts: 711000 | #Constraints: 29911
1907.75/1939.26 c #Conflicts: 712000 | #Constraints: 30911
1907.75/1939.26 c #Conflicts: 713000 | #Constraints: 31911
1907.75/1939.26 c #Conflicts: 714000 | #Constraints: 32911
1907.75/1939.26 c #Conflicts: 715000 | #Constraints: 33911
1907.75/1939.26 c #Conflicts: 716000 | #Constraints: 34912
1907.75/1939.26 c #Conflicts: 717000 | #Constraints: 35912
1907.75/1939.26 c #Conflicts: 718000 | #Constraints: 36915
1907.75/1939.26 c #Conflicts: 719000 | #Constraints: 37915
1907.75/1939.26 c #Conflicts: 720000 | #Constraints: 38915
1907.75/1939.26 c #Conflicts: 721000 | #Constraints: 39916
1907.75/1939.26 c #Conflicts: 722000 | #Constraints: 40917
1907.75/1939.26 c INPROCESSING
1907.75/1939.26 c GARBAGE COLLECT
1907.75/1939.26 c #Conflicts: 723000 | #Constraints: 25000
1907.75/1939.26 c #Conflicts: 724000 | #Constraints: 26000
1907.75/1939.26 c #Conflicts: 725000 | #Constraints: 27001
1907.75/1939.26 c #Conflicts: 726000 | #Constraints: 28002
1907.75/1939.26 c #Conflicts: 727000 | #Constraints: 29002
1907.75/1939.26 c #Conflicts: 728000 | #Constraints: 30003
1907.75/1939.26 c #Conflicts: 729000 | #Constraints: 31004
1907.75/1939.26 c #Conflicts: 730000 | #Constraints: 32005
1907.75/1939.26 c #Conflicts: 731000 | #Constraints: 33007
1907.75/1939.26 c #Conflicts: 732000 | #Constraints: 34007
1907.75/1939.26 c #Conflicts: 733000 | #Constraints: 35007
1907.75/1939.26 c #Conflicts: 734000 | #Constraints: 36007
1907.75/1939.26 c #Conflicts: 735000 | #Constraints: 37007
1907.75/1939.26 c #Conflicts: 736000 | #Constraints: 38007
1907.75/1939.26 c #Conflicts: 737000 | #Constraints: 39007
1907.75/1939.26 c #Conflicts: 738000 | #Constraints: 40007
1907.75/1939.26 c #Conflicts: 739000 | #Constraints: 41007
1907.75/1939.26 c INPROCESSING
1907.75/1939.26 c GARBAGE COLLECT
1907.75/1939.26 c #Conflicts: 740000 | #Constraints: 24838
1907.75/1939.26 c #Conflicts: 741000 | #Constraints: 25838
1907.75/1939.26 c #Conflicts: 742000 | #Constraints: 26839
1907.75/1939.26 c #Conflicts: 743000 | #Constraints: 27839
1907.75/1939.26 c #Conflicts: 744000 | #Constraints: 28839
1907.75/1939.26 c #Conflicts: 745000 | #Constraints: 29840
1907.75/1939.26 c #Conflicts: 746000 | #Constraints: 30840
1907.75/1939.26 c #Conflicts: 747000 | #Constraints: 31841
1907.75/1939.26 c #Conflicts: 748000 | #Constraints: 32841
1907.75/1939.26 c #Conflicts: 749000 | #Constraints: 33842
1907.75/1939.26 c #Conflicts: 750000 | #Constraints: 34842
1907.75/1939.26 c #Conflicts: 751000 | #Constraints: 35843
2065.72/2099.14 c #Conflicts: 752000 | #Constraints: 36843
2065.72/2099.14 c #Conflicts: 753000 | #Constraints: 37843
2065.72/2099.14 c #Conflicts: 754000 | #Constraints: 38844
2065.72/2099.14 c #Conflicts: 755000 | #Constraints: 39845
2065.72/2099.14 c #Conflicts: 756000 | #Constraints: 40845
2065.72/2099.14 c INPROCESSING
2065.72/2099.14 c GARBAGE COLLECT
2065.72/2099.14 c #Conflicts: 757000 | #Constraints: 24748
2065.72/2099.14 c #Conflicts: 758000 | #Constraints: 25749
2065.72/2099.14 c #Conflicts: 759000 | #Constraints: 26749
2065.72/2099.14 c #Conflicts: 760000 | #Constraints: 27749
2065.72/2099.14 c #Conflicts: 761000 | #Constraints: 28749
2065.72/2099.14 c #Conflicts: 762000 | #Constraints: 29749
2065.72/2099.14 c #Conflicts: 763000 | #Constraints: 30749
2065.72/2099.14 c #Conflicts: 764000 | #Constraints: 31749
2065.72/2099.14 c #Conflicts: 765000 | #Constraints: 32749
2065.72/2099.14 c #Conflicts: 766000 | #Constraints: 33749
2065.72/2099.14 c #Conflicts: 767000 | #Constraints: 34749
2065.72/2099.14 c #Conflicts: 768000 | #Constraints: 35749
2065.72/2099.14 c #Conflicts: 769000 | #Constraints: 36749
2065.72/2099.14 c #Conflicts: 770000 | #Constraints: 37749
2065.72/2099.14 c #Conflicts: 771000 | #Constraints: 38750
2065.72/2099.14 c #Conflicts: 772000 | #Constraints: 39750
2065.72/2099.14 c #Conflicts: 773000 | #Constraints: 40750
2065.72/2099.14 c #Conflicts: 774000 | #Constraints: 41750
2065.72/2099.14 c INPROCESSING
2065.72/2099.14 c GARBAGE COLLECT
2065.72/2099.14 c #Conflicts: 775000 | #Constraints: 25413
2065.72/2099.14 c #Conflicts: 776000 | #Constraints: 26413
2065.72/2099.14 c #Conflicts: 777000 | #Constraints: 27413
2065.72/2099.14 c #Conflicts: 778000 | #Constraints: 28413
2065.72/2099.14 c #Conflicts: 779000 | #Constraints: 29413
2065.72/2099.14 c #Conflicts: 780000 | #Constraints: 30413
2065.72/2099.14 c #Conflicts: 781000 | #Constraints: 31414
2065.72/2099.14 c #Conflicts: 782000 | #Constraints: 32414
2065.72/2099.14 c #Conflicts: 783000 | #Constraints: 33414
2065.72/2099.14 c #Conflicts: 784000 | #Constraints: 34414
2065.72/2099.14 c #Conflicts: 785000 | #Constraints: 35414
2065.72/2099.14 c #Conflicts: 786000 | #Constraints: 36414
2065.72/2099.14 c #Conflicts: 787000 | #Constraints: 37423
2065.72/2099.14 c #Conflicts: 788000 | #Constraints: 38439
2065.72/2099.14 c #Conflicts: 789000 | #Constraints: 39439
2065.72/2099.14 c #Conflicts: 790000 | #Constraints: 40439
2065.72/2099.14 c #Conflicts: 791000 | #Constraints: 41439
2065.72/2099.14 c #Conflicts: 792000 | #Constraints: 42439
2065.72/2099.14 c INPROCESSING
2065.72/2099.14 c GARBAGE COLLECT
2065.72/2099.14 c #Conflicts: 793000 | #Constraints: 25819
2065.72/2099.14 c #Conflicts: 794000 | #Constraints: 26819
2065.72/2099.14 c #Conflicts: 795000 | #Constraints: 27819
2065.72/2099.14 c #Conflicts: 796000 | #Constraints: 28819
2065.72/2099.14 c #Conflicts: 797000 | #Constraints: 29819
2065.72/2099.14 c #Conflicts: 798000 | #Constraints: 30819
2065.72/2099.14 c #Conflicts: 799000 | #Constraints: 31819
2065.72/2099.14 c #Conflicts: 800000 | #Constraints: 32819
2065.72/2099.14 c #Conflicts: 801000 | #Constraints: 33819
2065.72/2099.14 c #Conflicts: 802000 | #Constraints: 34819
2065.72/2099.14 c #Conflicts: 803000 | #Constraints: 35819
2065.72/2099.14 c #Conflicts: 804000 | #Constraints: 36819
2065.72/2099.14 c #Conflicts: 805000 | #Constraints: 37819
2065.72/2099.14 c #Conflicts: 806000 | #Constraints: 38819
2065.72/2099.14 c #Conflicts: 807000 | #Constraints: 39819
2065.72/2099.14 c #Conflicts: 808000 | #Constraints: 40819
2065.72/2099.14 c #Conflicts: 809000 | #Constraints: 41819
2065.72/2099.14 c #Conflicts: 810000 | #Constraints: 42819
2065.72/2099.14 c INPROCESSING
2065.72/2099.14 c GARBAGE COLLECT
2065.72/2099.14 c #Conflicts: 811000 | #Constraints: 25988
2065.72/2099.14 c #Conflicts: 812000 | #Constraints: 26988
2065.72/2099.14 c #Conflicts: 813000 | #Constraints: 27988
2065.72/2099.14 c #Conflicts: 814000 | #Constraints: 28988
2065.72/2099.14 c #Conflicts: 815000 | #Constraints: 29988
2065.72/2099.14 c #Conflicts: 816000 | #Constraints: 30988
2065.72/2099.14 c #Conflicts: 817000 | #Constraints: 31988
2065.72/2099.14 c #Conflicts: 818000 | #Constraints: 32988
2065.72/2099.14 c #Conflicts: 819000 | #Constraints: 33988
2065.72/2099.14 c #Conflicts: 820000 | #Constraints: 34988
2065.72/2099.14 c #Conflicts: 821000 | #Constraints: 35988
2065.72/2099.14 c #Conflicts: 822000 | #Constraints: 36988
2065.72/2099.14 c #Conflicts: 823000 | #Constraints: 37988
2065.72/2099.14 c #Conflicts: 824000 | #Constraints: 38988
2065.72/2099.14 c #Conflicts: 825000 | #Constraints: 39988
2065.72/2099.14 c #Conflicts: 826000 | #Constraints: 40988
2065.72/2099.14 c #Conflicts: 827000 | #Constraints: 41988
2369.71/2404.76 c #Conflicts: 828000 | #Constraints: 42989
2369.71/2404.76 c INPROCESSING
2369.71/2404.76 c GARBAGE COLLECT
2369.71/2404.76 c #Conflicts: 829000 | #Constraints: 26173
2369.71/2404.76 c #Conflicts: 830000 | #Constraints: 27173
2369.71/2404.76 c #Conflicts: 831000 | #Constraints: 28175
2369.71/2404.76 c #Conflicts: 832000 | #Constraints: 29177
2369.71/2404.76 c #Conflicts: 833000 | #Constraints: 30178
2369.71/2404.76 c #Conflicts: 834000 | #Constraints: 31178
2369.71/2404.76 c #Conflicts: 835000 | #Constraints: 32179
2369.71/2404.76 c #Conflicts: 836000 | #Constraints: 33179
2369.71/2404.76 c #Conflicts: 837000 | #Constraints: 34179
2369.71/2404.76 c #Conflicts: 838000 | #Constraints: 35179
2369.71/2404.76 c #Conflicts: 839000 | #Constraints: 36179
2369.71/2404.76 c #Conflicts: 840000 | #Constraints: 37179
2369.71/2404.76 c #Conflicts: 841000 | #Constraints: 38179
2369.71/2404.76 c #Conflicts: 842000 | #Constraints: 39179
2369.71/2404.76 c #Conflicts: 843000 | #Constraints: 40180
2369.71/2404.76 c #Conflicts: 844000 | #Constraints: 41180
2369.71/2404.76 c #Conflicts: 845000 | #Constraints: 42189
2369.71/2404.76 c #Conflicts: 846000 | #Constraints: 43189
2369.71/2404.76 c INPROCESSING
2369.71/2404.76 c GARBAGE COLLECT
2369.71/2404.76 c #Conflicts: 847000 | #Constraints: 25915
2369.71/2404.76 c #Conflicts: 848000 | #Constraints: 26915
2369.71/2404.76 c #Conflicts: 849000 | #Constraints: 27915
2369.71/2404.76 c #Conflicts: 850000 | #Constraints: 28917
2369.71/2404.76 c #Conflicts: 851000 | #Constraints: 29918
2369.71/2404.76 c #Conflicts: 852000 | #Constraints: 30919
2369.71/2404.76 c #Conflicts: 853000 | #Constraints: 31920
2369.71/2404.76 c #Conflicts: 854000 | #Constraints: 32920
2369.71/2404.76 c #Conflicts: 855000 | #Constraints: 33920
2369.71/2404.76 c #Conflicts: 856000 | #Constraints: 34920
2369.71/2404.76 c #Conflicts: 857000 | #Constraints: 35920
2369.71/2404.76 c #Conflicts: 858000 | #Constraints: 36920
2369.71/2404.76 c #Conflicts: 859000 | #Constraints: 37921
2369.71/2404.76 c #Conflicts: 860000 | #Constraints: 38921
2369.71/2404.76 c #Conflicts: 861000 | #Constraints: 39921
2369.71/2404.76 c #Conflicts: 862000 | #Constraints: 40922
2369.71/2404.76 c #Conflicts: 863000 | #Constraints: 41922
2369.71/2404.76 c #Conflicts: 864000 | #Constraints: 42923
2369.71/2404.76 c #Conflicts: 865000 | #Constraints: 43924
2369.71/2404.76 c INPROCESSING
2369.71/2404.76 c GARBAGE COLLECT
2369.71/2404.76 c #Conflicts: 866000 | #Constraints: 26498
2369.71/2404.76 c #Conflicts: 867000 | #Constraints: 27498
2369.71/2404.76 c #Conflicts: 868000 | #Constraints: 28498
2369.71/2404.76 c #Conflicts: 869000 | #Constraints: 29498
2369.71/2404.76 c #Conflicts: 870000 | #Constraints: 30498
2369.71/2404.76 c #Conflicts: 871000 | #Constraints: 31499
2369.71/2404.76 c #Conflicts: 872000 | #Constraints: 32499
2369.71/2404.76 c #Conflicts: 873000 | #Constraints: 33499
2369.71/2404.76 c #Conflicts: 874000 | #Constraints: 34499
2369.71/2404.76 c #Conflicts: 875000 | #Constraints: 35499
2369.71/2404.76 c #Conflicts: 876000 | #Constraints: 36499
2369.71/2404.76 c #Conflicts: 877000 | #Constraints: 37500
2369.71/2404.76 c #Conflicts: 878000 | #Constraints: 38500
2369.71/2404.76 c #Conflicts: 879000 | #Constraints: 39500
2369.71/2404.76 c #Conflicts: 880000 | #Constraints: 40502
2369.71/2404.76 c #Conflicts: 881000 | #Constraints: 41503
2369.71/2404.76 c #Conflicts: 882000 | #Constraints: 42504
2369.71/2404.76 c #Conflicts: 883000 | #Constraints: 43506
2369.71/2404.76 c #Conflicts: 884000 | #Constraints: 44507
2369.71/2404.76 c INPROCESSING
2369.71/2404.76 c GARBAGE COLLECT
2369.71/2404.76 c #Conflicts: 885000 | #Constraints: 27165
2369.71/2404.76 c #Conflicts: 886000 | #Constraints: 28165
2369.71/2404.76 c #Conflicts: 887000 | #Constraints: 29165
2369.71/2404.76 c #Conflicts: 888000 | #Constraints: 30165
2369.71/2404.76 c #Conflicts: 889000 | #Constraints: 31165
2369.71/2404.76 c #Conflicts: 890000 | #Constraints: 32165
2369.71/2404.76 c #Conflicts: 891000 | #Constraints: 33165
2369.71/2404.76 c #Conflicts: 892000 | #Constraints: 34165
2369.71/2404.76 c #Conflicts: 893000 | #Constraints: 35165
2369.71/2404.76 c #Conflicts: 894000 | #Constraints: 36166
2369.71/2404.76 c #Conflicts: 895000 | #Constraints: 37166
2369.71/2404.76 c #Conflicts: 896000 | #Constraints: 38166
2369.71/2404.76 c #Conflicts: 897000 | #Constraints: 39167
2369.71/2404.76 c #Conflicts: 898000 | #Constraints: 40167
2369.71/2404.76 c #Conflicts: 899000 | #Constraints: 41169
2369.71/2404.76 c #Conflicts: 900000 | #Constraints: 42170
2369.71/2404.76 c #Conflicts: 901000 | #Constraints: 43171
2369.71/2404.76 c #Conflicts: 902000 | #Constraints: 44171
2369.71/2404.76 c #Conflicts: 903000 | #Constraints: 45171
2507.14/2544.16 c INPROCESSING
2507.14/2544.16 c GARBAGE COLLECT
2507.14/2544.16 c #Conflicts: 904000 | #Constraints: 27226
2507.14/2544.16 c #Conflicts: 905000 | #Constraints: 28226
2507.14/2544.16 c #Conflicts: 906000 | #Constraints: 29226
2507.14/2544.16 c #Conflicts: 907000 | #Constraints: 30227
2507.14/2544.16 c #Conflicts: 908000 | #Constraints: 31227
2507.14/2544.16 c #Conflicts: 909000 | #Constraints: 32229
2507.14/2544.16 c #Conflicts: 910000 | #Constraints: 33230
2507.14/2544.16 c #Conflicts: 911000 | #Constraints: 34231
2507.14/2544.16 c #Conflicts: 912000 | #Constraints: 35231
2507.14/2544.16 c #Conflicts: 913000 | #Constraints: 36231
2507.14/2544.16 c #Conflicts: 914000 | #Constraints: 37231
2507.14/2544.16 c #Conflicts: 915000 | #Constraints: 38231
2507.14/2544.16 c #Conflicts: 916000 | #Constraints: 39231
2507.14/2544.16 c #Conflicts: 917000 | #Constraints: 40231
2507.14/2544.16 c #Conflicts: 918000 | #Constraints: 41232
2507.14/2544.16 c #Conflicts: 919000 | #Constraints: 42232
2507.14/2544.16 c #Conflicts: 920000 | #Constraints: 43232
2507.14/2544.16 c #Conflicts: 921000 | #Constraints: 44233
2507.14/2544.16 c #Conflicts: 922000 | #Constraints: 45233
2507.14/2544.16 c INPROCESSING
2507.14/2544.16 c GARBAGE COLLECT
2507.14/2544.16 c #Conflicts: 923000 | #Constraints: 27212
2507.14/2544.16 c #Conflicts: 924000 | #Constraints: 28212
2507.14/2544.16 c #Conflicts: 925000 | #Constraints: 29213
2507.14/2544.16 c #Conflicts: 926000 | #Constraints: 30214
2507.14/2544.16 c #Conflicts: 927000 | #Constraints: 31214
2507.14/2544.16 c #Conflicts: 928000 | #Constraints: 32215
2507.14/2544.16 c #Conflicts: 929000 | #Constraints: 33215
2507.14/2544.16 c #Conflicts: 930000 | #Constraints: 34216
2507.14/2544.16 c #Conflicts: 931000 | #Constraints: 35216
2507.14/2544.16 c #Conflicts: 932000 | #Constraints: 36216
2507.14/2544.16 c #Conflicts: 933000 | #Constraints: 37218
2507.14/2544.16 c #Conflicts: 934000 | #Constraints: 38218
2507.14/2544.16 c #Conflicts: 935000 | #Constraints: 39221
2507.14/2544.16 c #Conflicts: 936000 | #Constraints: 40223
2507.14/2544.16 c #Conflicts: 937000 | #Constraints: 41223
2507.14/2544.16 c #Conflicts: 938000 | #Constraints: 42223
2507.14/2544.16 c #Conflicts: 939000 | #Constraints: 43223
2507.14/2544.16 c #Conflicts: 940000 | #Constraints: 44226
2507.14/2544.16 c #Conflicts: 941000 | #Constraints: 45227
2507.14/2544.16 c INPROCESSING
2507.14/2544.16 c GARBAGE COLLECT
2507.14/2544.16 c #Conflicts: 942000 | #Constraints: 26982
2507.14/2544.16 c #Conflicts: 943000 | #Constraints: 27982
2507.14/2544.16 c #Conflicts: 944000 | #Constraints: 28982
2507.14/2544.16 c #Conflicts: 945000 | #Constraints: 29982
2507.14/2544.16 c #Conflicts: 946000 | #Constraints: 30982
2507.14/2544.16 c #Conflicts: 947000 | #Constraints: 31982
2507.14/2544.16 c #Conflicts: 948000 | #Constraints: 32982
2507.14/2544.16 c #Conflicts: 949000 | #Constraints: 33982
2507.14/2544.16 c #Conflicts: 950000 | #Constraints: 34982
2507.14/2544.16 c #Conflicts: 951000 | #Constraints: 35982
2507.14/2544.16 c #Conflicts: 952000 | #Constraints: 36982
2507.14/2544.16 c #Conflicts: 953000 | #Constraints: 37983
2507.14/2544.16 c #Conflicts: 954000 | #Constraints: 38984
2507.14/2544.16 c #Conflicts: 955000 | #Constraints: 39984
2507.14/2544.16 c #Conflicts: 956000 | #Constraints: 40984
2507.14/2544.16 c #Conflicts: 957000 | #Constraints: 41985
2507.14/2544.16 c #Conflicts: 958000 | #Constraints: 42988
2507.14/2544.16 c #Conflicts: 959000 | #Constraints: 43988
2507.14/2544.16 c #Conflicts: 960000 | #Constraints: 44988
2507.14/2544.16 c #Conflicts: 961000 | #Constraints: 45989
2507.14/2544.16 c INPROCESSING
2507.14/2544.16 c GARBAGE COLLECT
2507.14/2544.16 c #Conflicts: 962000 | #Constraints: 27555
2507.14/2544.16 c #Conflicts: 963000 | #Constraints: 28555
2507.14/2544.16 c #Conflicts: 964000 | #Constraints: 29555
2507.14/2544.16 c #Conflicts: 965000 | #Constraints: 30555
2507.14/2544.16 c #Conflicts: 966000 | #Constraints: 31555
2507.14/2544.16 c #Conflicts: 967000 | #Constraints: 32555
2507.14/2544.16 c #Conflicts: 968000 | #Constraints: 33556
2507.14/2544.16 c #Conflicts: 969000 | #Constraints: 34556
2507.14/2544.16 c #Conflicts: 970000 | #Constraints: 35557
2507.14/2544.16 c #Conflicts: 971000 | #Constraints: 36557
2507.14/2544.16 c #Conflicts: 972000 | #Constraints: 37557
2507.14/2544.16 c #Conflicts: 973000 | #Constraints: 38558
2507.14/2544.16 c #Conflicts: 974000 | #Constraints: 39558
2507.14/2544.16 c #Conflicts: 975000 | #Constraints: 40558
2507.14/2544.16 c #Conflicts: 976000 | #Constraints: 41558
2507.14/2544.16 c #Conflicts: 977000 | #Constraints: 42559
2507.14/2544.16 c #Conflicts: 978000 | #Constraints: 43559
2507.14/2544.16 c #Conflicts: 979000 | #Constraints: 44559
2507.14/2544.16 c #Conflicts: 980000 | #Constraints: 45559
2636.10/2673.80 c #Conflicts: 981000 | #Constraints: 46559
2636.10/2673.80 c INPROCESSING
2636.10/2673.80 c GARBAGE COLLECT
2636.10/2673.80 c #Conflicts: 982000 | #Constraints: 27903
2636.10/2673.80 c #Conflicts: 983000 | #Constraints: 28903
2636.10/2673.80 c #Conflicts: 984000 | #Constraints: 29903
2636.10/2673.80 c #Conflicts: 985000 | #Constraints: 30903
2636.10/2673.80 c #Conflicts: 986000 | #Constraints: 31903
2636.10/2673.80 c #Conflicts: 987000 | #Constraints: 32903
2636.10/2673.80 c #Conflicts: 988000 | #Constraints: 33903
2636.10/2673.80 c #Conflicts: 989000 | #Constraints: 34903
2636.10/2673.80 c #Conflicts: 990000 | #Constraints: 35904
2636.10/2673.80 c #Conflicts: 991000 | #Constraints: 36904
2636.10/2673.80 c #Conflicts: 992000 | #Constraints: 37905
2636.10/2673.80 c #Conflicts: 993000 | #Constraints: 38905
2636.10/2673.80 c #Conflicts: 994000 | #Constraints: 39906
2636.10/2673.80 c #Conflicts: 995000 | #Constraints: 40906
2636.10/2673.80 c #Conflicts: 996000 | #Constraints: 41906
2636.10/2673.80 c #Conflicts: 997000 | #Constraints: 42906
2636.10/2673.80 c #Conflicts: 998000 | #Constraints: 43907
2636.10/2673.80 c #Conflicts: 999000 | #Constraints: 44908
2636.10/2673.80 c #Conflicts: 1000000 | #Constraints: 45908
2636.10/2673.80 c #Conflicts: 1001000 | #Constraints: 46910
2636.10/2673.80 c INPROCESSING
2636.10/2673.80 c GARBAGE COLLECT
2636.10/2673.80 c #Conflicts: 1002000 | #Constraints: 27952
2636.10/2673.80 c #Conflicts: 1003000 | #Constraints: 28952
2636.10/2673.80 c #Conflicts: 1004000 | #Constraints: 29953
2636.10/2673.80 c #Conflicts: 1005000 | #Constraints: 30953
2636.10/2673.80 c #Conflicts: 1006000 | #Constraints: 31955
2636.10/2673.80 c #Conflicts: 1007000 | #Constraints: 32956
2636.10/2673.80 c #Conflicts: 1008000 | #Constraints: 33958
2636.10/2673.80 c #Conflicts: 1009000 | #Constraints: 34958
2636.10/2673.80 c #Conflicts: 1010000 | #Constraints: 35958
2636.10/2673.80 c #Conflicts: 1011000 | #Constraints: 36958
2636.10/2673.80 c #Conflicts: 1012000 | #Constraints: 37960
2636.10/2673.80 c #Conflicts: 1013000 | #Constraints: 38960
2636.10/2673.80 c #Conflicts: 1014000 | #Constraints: 39960
2636.10/2673.80 c #Conflicts: 1015000 | #Constraints: 40962
2636.10/2673.80 c #Conflicts: 1016000 | #Constraints: 41963
2636.10/2673.80 c #Conflicts: 1017000 | #Constraints: 42964
2636.10/2673.80 c #Conflicts: 1018000 | #Constraints: 43964
2636.10/2673.80 c #Conflicts: 1019000 | #Constraints: 44964
2636.10/2673.80 c #Conflicts: 1020000 | #Constraints: 45965
2636.10/2673.80 c #Conflicts: 1021000 | #Constraints: 46966
2636.10/2673.80 c INPROCESSING
2636.10/2673.80 c GARBAGE COLLECT
2636.10/2673.80 c #Conflicts: 1022000 | #Constraints: 28053
2636.10/2673.80 c #Conflicts: 1023000 | #Constraints: 29055
2636.10/2673.80 c #Conflicts: 1024000 | #Constraints: 30056
2636.10/2673.80 c #Conflicts: 1025000 | #Constraints: 31057
2636.10/2673.80 c #Conflicts: 1026000 | #Constraints: 32057
2636.10/2673.80 c #Conflicts: 1027000 | #Constraints: 33058
2636.10/2673.80 c #Conflicts: 1028000 | #Constraints: 34059
2636.10/2673.80 c #Conflicts: 1029000 | #Constraints: 35060
2636.10/2673.80 c #Conflicts: 1030000 | #Constraints: 36061
2636.10/2673.80 c #Conflicts: 1031000 | #Constraints: 37062
2636.10/2673.80 c #Conflicts: 1032000 | #Constraints: 38063
2636.10/2673.80 c #Conflicts: 1033000 | #Constraints: 39063
2636.10/2673.80 c #Conflicts: 1034000 | #Constraints: 40063
2636.10/2673.80 c #Conflicts: 1035000 | #Constraints: 41063
2636.10/2673.80 c #Conflicts: 1036000 | #Constraints: 42063
2636.10/2673.80 c #Conflicts: 1037000 | #Constraints: 43063
2636.10/2673.80 c #Conflicts: 1038000 | #Constraints: 44063
2636.10/2673.80 c #Conflicts: 1039000 | #Constraints: 45063
2636.10/2673.80 c #Conflicts: 1040000 | #Constraints: 46063
2636.10/2673.80 c #Conflicts: 1041000 | #Constraints: 47064
2636.10/2673.80 c INPROCESSING
2636.10/2673.80 c GARBAGE COLLECT
2636.10/2673.80 c #Conflicts: 1042000 | #Constraints: 27866
2636.10/2673.80 c #Conflicts: 1043000 | #Constraints: 28866
2636.10/2673.80 c #Conflicts: 1044000 | #Constraints: 29866
2636.10/2673.80 c #Conflicts: 1045000 | #Constraints: 30866
2636.10/2673.80 c #Conflicts: 1046000 | #Constraints: 31866
2636.10/2673.80 c #Conflicts: 1047000 | #Constraints: 32866
2636.10/2673.80 c #Conflicts: 1048000 | #Constraints: 33866
2636.10/2673.80 c #Conflicts: 1049000 | #Constraints: 34866
2636.10/2673.80 c #Conflicts: 1050000 | #Constraints: 35866
2636.10/2673.80 c #Conflicts: 1051000 | #Constraints: 36866
2636.10/2673.80 c #Conflicts: 1052000 | #Constraints: 37866
2636.10/2673.80 c #Conflicts: 1053000 | #Constraints: 38866
2636.10/2673.80 c #Conflicts: 1054000 | #Constraints: 39866
2636.10/2673.80 c #Conflicts: 1055000 | #Constraints: 40866
2636.10/2673.80 c #Conflicts: 1056000 | #Constraints: 41866
3157.25/3203.39 c #Conflicts: 1057000 | #Constraints: 42866
3157.25/3203.39 c #Conflicts: 1058000 | #Constraints: 43866
3157.25/3203.39 c #Conflicts: 1059000 | #Constraints: 44866
3157.25/3203.39 c #Conflicts: 1060000 | #Constraints: 45866
3157.25/3203.39 c #Conflicts: 1061000 | #Constraints: 46866
3157.25/3203.39 c #Conflicts: 1062000 | #Constraints: 47866
3157.25/3203.39 c INPROCESSING
3157.25/3203.39 c GARBAGE COLLECT
3157.25/3203.39 c #Conflicts: 1063000 | #Constraints: 28486
3157.25/3203.39 c #Conflicts: 1064000 | #Constraints: 29486
3157.25/3203.39 c #Conflicts: 1065000 | #Constraints: 30486
3157.25/3203.39 c #Conflicts: 1066000 | #Constraints: 31486
3157.25/3203.39 c #Conflicts: 1067000 | #Constraints: 32486
3157.25/3203.39 c #Conflicts: 1068000 | #Constraints: 33486
3157.25/3203.39 c #Conflicts: 1069000 | #Constraints: 34486
3157.25/3203.39 c #Conflicts: 1070000 | #Constraints: 35486
3157.25/3203.39 c #Conflicts: 1071000 | #Constraints: 36487
3157.25/3203.39 c #Conflicts: 1072000 | #Constraints: 37487
3157.25/3203.39 c #Conflicts: 1073000 | #Constraints: 38488
3157.25/3203.39 c #Conflicts: 1074000 | #Constraints: 39489
3157.25/3203.39 c #Conflicts: 1075000 | #Constraints: 40490
3157.25/3203.39 c #Conflicts: 1076000 | #Constraints: 41491
3157.25/3203.39 c #Conflicts: 1077000 | #Constraints: 42491
3157.25/3203.39 c #Conflicts: 1078000 | #Constraints: 43491
3157.25/3203.39 c #Conflicts: 1079000 | #Constraints: 44491
3157.25/3203.39 c #Conflicts: 1080000 | #Constraints: 45491
3157.25/3203.39 c #Conflicts: 1081000 | #Constraints: 46492
3157.25/3203.39 c #Conflicts: 1082000 | #Constraints: 47492
3157.25/3203.39 c #Conflicts: 1083000 | #Constraints: 48492
3157.25/3203.39 c INPROCESSING
3157.25/3203.39 c GARBAGE COLLECT
3157.25/3203.39 c #Conflicts: 1084000 | #Constraints: 29056
3157.25/3203.39 c #Conflicts: 1085000 | #Constraints: 30056
3157.25/3203.39 c #Conflicts: 1086000 | #Constraints: 31056
3157.25/3203.39 c #Conflicts: 1087000 | #Constraints: 32056
3157.25/3203.39 c #Conflicts: 1088000 | #Constraints: 33056
3157.25/3203.39 c #Conflicts: 1089000 | #Constraints: 34060
3157.25/3203.39 c #Conflicts: 1090000 | #Constraints: 35061
3157.25/3203.39 c #Conflicts: 1091000 | #Constraints: 36061
3157.25/3203.39 c #Conflicts: 1092000 | #Constraints: 37061
3157.25/3203.39 c #Conflicts: 1093000 | #Constraints: 38061
3157.25/3203.39 c #Conflicts: 1094000 | #Constraints: 39061
3157.25/3203.39 c #Conflicts: 1095000 | #Constraints: 40062
3157.25/3203.39 c #Conflicts: 1096000 | #Constraints: 41062
3157.25/3203.39 c #Conflicts: 1097000 | #Constraints: 42062
3157.25/3203.39 c #Conflicts: 1098000 | #Constraints: 43063
3157.25/3203.39 c #Conflicts: 1099000 | #Constraints: 44064
3157.25/3203.39 c #Conflicts: 1100000 | #Constraints: 45065
3157.25/3203.39 c #Conflicts: 1101000 | #Constraints: 46065
3157.25/3203.39 c #Conflicts: 1102000 | #Constraints: 47065
3157.25/3203.39 c #Conflicts: 1103000 | #Constraints: 48065
3157.25/3203.39 c #Conflicts: 1104000 | #Constraints: 49066
3157.25/3203.39 c INPROCESSING
3157.25/3203.39 c GARBAGE COLLECT
3157.25/3203.39 c #Conflicts: 1105000 | #Constraints: 29008
3157.25/3203.39 c #Conflicts: 1106000 | #Constraints: 30008
3157.25/3203.39 c #Conflicts: 1107000 | #Constraints: 31008
3157.25/3203.39 c #Conflicts: 1108000 | #Constraints: 32008
3157.25/3203.39 c #Conflicts: 1109000 | #Constraints: 33008
3157.25/3203.39 c #Conflicts: 1110000 | #Constraints: 34008
3157.25/3203.39 c #Conflicts: 1111000 | #Constraints: 35008
3157.25/3203.39 c #Conflicts: 1112000 | #Constraints: 36009
3157.25/3203.39 c #Conflicts: 1113000 | #Constraints: 37010
3157.25/3203.39 c #Conflicts: 1114000 | #Constraints: 38011
3157.25/3203.39 c #Conflicts: 1115000 | #Constraints: 39011
3157.25/3203.39 c #Conflicts: 1116000 | #Constraints: 40011
3157.25/3203.39 c #Conflicts: 1117000 | #Constraints: 41011
3157.25/3203.39 c #Conflicts: 1118000 | #Constraints: 42012
3157.25/3203.39 c #Conflicts: 1119000 | #Constraints: 43012
3157.25/3203.39 c #Conflicts: 1120000 | #Constraints: 44012
3157.25/3203.39 c #Conflicts: 1121000 | #Constraints: 45012
3157.25/3203.39 c #Conflicts: 1122000 | #Constraints: 46013
3157.25/3203.39 c #Conflicts: 1123000 | #Constraints: 47015
3157.25/3203.39 c #Conflicts: 1124000 | #Constraints: 48015
3157.25/3203.39 c #Conflicts: 1125000 | #Constraints: 49015
3157.25/3203.39 c INPROCESSING
3157.25/3203.39 c GARBAGE COLLECT
3157.25/3203.39 c #Conflicts: 1126000 | #Constraints: 29151
3157.25/3203.39 c #Conflicts: 1127000 | #Constraints: 30152
3157.25/3203.39 c #Conflicts: 1128000 | #Constraints: 31152
3157.25/3203.39 c #Conflicts: 1129000 | #Constraints: 32152
3157.25/3203.39 c #Conflicts: 1130000 | #Constraints: 33152
3157.25/3203.39 c #Conflicts: 1131000 | #Constraints: 34154
3157.25/3203.39 c #Conflicts: 1132000 | #Constraints: 35156
3288.57/3336.93 c #Conflicts: 1133000 | #Constraints: 36156
3288.57/3336.93 c #Conflicts: 1134000 | #Constraints: 37156
3288.57/3336.93 c #Conflicts: 1135000 | #Constraints: 38156
3288.57/3336.93 c #Conflicts: 1136000 | #Constraints: 39156
3288.57/3336.93 c #Conflicts: 1137000 | #Constraints: 40156
3288.57/3336.93 c #Conflicts: 1138000 | #Constraints: 41156
3288.57/3336.93 c #Conflicts: 1139000 | #Constraints: 42156
3288.57/3336.93 c #Conflicts: 1140000 | #Constraints: 43156
3288.57/3336.93 c #Conflicts: 1141000 | #Constraints: 44156
3288.57/3336.93 c #Conflicts: 1142000 | #Constraints: 45156
3288.57/3336.93 c #Conflicts: 1143000 | #Constraints: 46156
3288.57/3336.93 c #Conflicts: 1144000 | #Constraints: 47156
3288.57/3336.93 c #Conflicts: 1145000 | #Constraints: 48156
3288.57/3336.93 c #Conflicts: 1146000 | #Constraints: 49156
3288.57/3336.93 c INPROCESSING
3288.57/3336.93 c GARBAGE COLLECT
3288.57/3336.93 c #Conflicts: 1147000 | #Constraints: 29093
3288.57/3336.93 c #Conflicts: 1148000 | #Constraints: 30094
3288.57/3336.93 c #Conflicts: 1149000 | #Constraints: 31094
3288.57/3336.93 c #Conflicts: 1150000 | #Constraints: 32094
3288.57/3336.93 c #Conflicts: 1151000 | #Constraints: 33095
3288.57/3336.93 c #Conflicts: 1152000 | #Constraints: 34096
3288.57/3336.93 c #Conflicts: 1153000 | #Constraints: 35097
3288.57/3336.93 c #Conflicts: 1154000 | #Constraints: 36098
3288.57/3336.93 c #Conflicts: 1155000 | #Constraints: 37098
3288.57/3336.93 c #Conflicts: 1156000 | #Constraints: 38098
3288.57/3336.93 c #Conflicts: 1157000 | #Constraints: 39098
3288.57/3336.93 c #Conflicts: 1158000 | #Constraints: 40098
3288.57/3336.93 c #Conflicts: 1159000 | #Constraints: 41098
3288.57/3336.93 c #Conflicts: 1160000 | #Constraints: 42098
3288.57/3336.93 c #Conflicts: 1161000 | #Constraints: 43098
3288.57/3336.93 c #Conflicts: 1162000 | #Constraints: 44098
3288.57/3336.93 c #Conflicts: 1163000 | #Constraints: 45098
3288.57/3336.93 c #Conflicts: 1164000 | #Constraints: 46098
3288.57/3336.93 c #Conflicts: 1165000 | #Constraints: 47098
3288.57/3336.93 c #Conflicts: 1166000 | #Constraints: 48098
3288.57/3336.93 c #Conflicts: 1167000 | #Constraints: 49099
3288.57/3336.93 c #Conflicts: 1168000 | #Constraints: 50100
3288.57/3336.93 c INPROCESSING
3288.57/3336.93 c GARBAGE COLLECT
3288.57/3336.93 c #Conflicts: 1169000 | #Constraints: 29800
3288.57/3336.93 c #Conflicts: 1170000 | #Constraints: 30801
3288.57/3336.93 c #Conflicts: 1171000 | #Constraints: 31801
3288.57/3336.93 c #Conflicts: 1172000 | #Constraints: 32801
3288.57/3336.93 c #Conflicts: 1173000 | #Constraints: 33801
3288.57/3336.93 c #Conflicts: 1174000 | #Constraints: 34801
3288.57/3336.93 c #Conflicts: 1175000 | #Constraints: 35801
3288.57/3336.93 c #Conflicts: 1176000 | #Constraints: 36801
3288.57/3336.93 c #Conflicts: 1177000 | #Constraints: 37801
3288.57/3336.93 c #Conflicts: 1178000 | #Constraints: 38801
3288.57/3336.93 c #Conflicts: 1179000 | #Constraints: 39801
3288.57/3336.93 c #Conflicts: 1180000 | #Constraints: 40801
3288.57/3336.93 c #Conflicts: 1181000 | #Constraints: 41803
3288.57/3336.93 c #Conflicts: 1182000 | #Constraints: 42803
3288.57/3336.93 c #Conflicts: 1183000 | #Constraints: 43804
3288.57/3336.93 c #Conflicts: 1184000 | #Constraints: 44804
3288.57/3336.93 c #Conflicts: 1185000 | #Constraints: 45804
3288.57/3336.93 c #Conflicts: 1186000 | #Constraints: 46804
3288.57/3336.93 c #Conflicts: 1187000 | #Constraints: 47804
3288.57/3336.93 c #Conflicts: 1188000 | #Constraints: 48804
3288.57/3336.93 c #Conflicts: 1189000 | #Constraints: 49804
3288.57/3336.93 c #Conflicts: 1190000 | #Constraints: 50804
3288.57/3336.93 c INPROCESSING
3288.57/3336.93 c GARBAGE COLLECT
3288.57/3336.93 c #Conflicts: 1191000 | #Constraints: 30114
3288.57/3336.93 c #Conflicts: 1192000 | #Constraints: 31114
3288.57/3336.93 c #Conflicts: 1193000 | #Constraints: 32116
3288.57/3336.93 c #Conflicts: 1194000 | #Constraints: 33116
3288.57/3336.93 c #Conflicts: 1195000 | #Constraints: 34117
3288.57/3336.93 c #Conflicts: 1196000 | #Constraints: 35120
3288.57/3336.93 c #Conflicts: 1197000 | #Constraints: 36121
3288.57/3336.93 c #Conflicts: 1198000 | #Constraints: 37121
3288.57/3336.93 c #Conflicts: 1199000 | #Constraints: 38121
3288.57/3336.93 c #Conflicts: 1200000 | #Constraints: 39121
3288.57/3336.93 c #Conflicts: 1201000 | #Constraints: 40121
3288.57/3336.93 c #Conflicts: 1202000 | #Constraints: 41122
3288.57/3336.93 c #Conflicts: 1203000 | #Constraints: 42123
3288.57/3336.93 c #Conflicts: 1204000 | #Constraints: 43123
3288.57/3336.93 c #Conflicts: 1205000 | #Constraints: 44123
3288.57/3336.93 c #Conflicts: 1206000 | #Constraints: 45123
3288.57/3336.93 c #Conflicts: 1207000 | #Constraints: 46123
3288.57/3336.93 c #Conflicts: 1208000 | #Constraints: 47123
3288.57/3336.93 c #Conflicts: 1209000 | #Constraints: 48123
3424.25/3484.80 c #Conflicts: 1210000 | #Constraints: 49123
3424.25/3484.80 c #Conflicts: 1211000 | #Constraints: 50123
3424.25/3484.80 c #Conflicts: 1212000 | #Constraints: 51123
3424.25/3484.80 c INPROCESSING
3424.25/3484.80 c GARBAGE COLLECT
3424.25/3484.80 c #Conflicts: 1213000 | #Constraints: 30258
3424.25/3484.80 c #Conflicts: 1214000 | #Constraints: 31258
3424.25/3484.80 c #Conflicts: 1215000 | #Constraints: 32258
3424.25/3484.80 c #Conflicts: 1216000 | #Constraints: 33258
3424.25/3484.80 c #Conflicts: 1217000 | #Constraints: 34258
3424.25/3484.80 c #Conflicts: 1218000 | #Constraints: 35258
3424.25/3484.80 c #Conflicts: 1219000 | #Constraints: 36259
3424.25/3484.80 c #Conflicts: 1220000 | #Constraints: 37259
3424.25/3484.80 c #Conflicts: 1221000 | #Constraints: 38259
3424.25/3484.80 c #Conflicts: 1222000 | #Constraints: 39259
3424.25/3484.80 c #Conflicts: 1223000 | #Constraints: 40259
3424.25/3484.80 c #Conflicts: 1224000 | #Constraints: 41259
3424.25/3484.80 c #Conflicts: 1225000 | #Constraints: 42259
3424.25/3484.80 c #Conflicts: 1226000 | #Constraints: 43259
3424.25/3484.80 c #Conflicts: 1227000 | #Constraints: 44259
3424.25/3484.80 c #Conflicts: 1228000 | #Constraints: 45259
3424.25/3484.80 c #Conflicts: 1229000 | #Constraints: 46259
3424.25/3484.80 c #Conflicts: 1230000 | #Constraints: 47259
3424.25/3484.80 c #Conflicts: 1231000 | #Constraints: 48259
3424.25/3484.80 c #Conflicts: 1232000 | #Constraints: 49260
3424.25/3484.80 c #Conflicts: 1233000 | #Constraints: 50260
3424.25/3484.80 c #Conflicts: 1234000 | #Constraints: 51261
3424.25/3484.80 c INPROCESSING
3424.25/3484.80 c GARBAGE COLLECT
3424.25/3484.80 c #Conflicts: 1235000 | #Constraints: 30211
3424.25/3484.80 c #Conflicts: 1236000 | #Constraints: 31211
3424.25/3484.80 c #Conflicts: 1237000 | #Constraints: 32212
3424.25/3484.80 c #Conflicts: 1238000 | #Constraints: 33216
3424.25/3484.80 c #Conflicts: 1239000 | #Constraints: 34216
3424.25/3484.80 c #Conflicts: 1240000 | #Constraints: 35216
3424.25/3484.80 c #Conflicts: 1241000 | #Constraints: 36216
3424.25/3484.80 c #Conflicts: 1242000 | #Constraints: 37216
3424.25/3484.80 c #Conflicts: 1243000 | #Constraints: 38216
3424.25/3484.80 c #Conflicts: 1244000 | #Constraints: 39216
3424.25/3484.80 c #Conflicts: 1245000 | #Constraints: 40216
3424.25/3484.80 c #Conflicts: 1246000 | #Constraints: 41216
3424.25/3484.80 c #Conflicts: 1247000 | #Constraints: 42216
3424.25/3484.80 c #Conflicts: 1248000 | #Constraints: 43216
3424.25/3484.80 c #Conflicts: 1249000 | #Constraints: 44217
3424.25/3484.80 c #Conflicts: 1250000 | #Constraints: 45217
3424.25/3484.80 c #Conflicts: 1251000 | #Constraints: 46217
3424.25/3484.80 c #Conflicts: 1252000 | #Constraints: 47217
3424.25/3484.80 c #Conflicts: 1253000 | #Constraints: 48217
3424.25/3484.80 c #Conflicts: 1254000 | #Constraints: 49217
3424.25/3484.80 c #Conflicts: 1255000 | #Constraints: 50217
3424.25/3484.80 c #Conflicts: 1256000 | #Constraints: 51217
3424.25/3484.80 c INPROCESSING
3424.25/3484.80 c GARBAGE COLLECT
3424.25/3484.80 c #Conflicts: 1257000 | #Constraints: 30112
3424.25/3484.80 c #Conflicts: 1258000 | #Constraints: 31112
3424.25/3484.80 c #Conflicts: 1259000 | #Constraints: 32112
3424.25/3484.80 c #Conflicts: 1260000 | #Constraints: 33112
3424.25/3484.80 c #Conflicts: 1261000 | #Constraints: 34112
3424.25/3484.80 c #Conflicts: 1262000 | #Constraints: 35112
3424.25/3484.80 c #Conflicts: 1263000 | #Constraints: 36112
3424.25/3484.80 c #Conflicts: 1264000 | #Constraints: 37112
3424.25/3484.80 c #Conflicts: 1265000 | #Constraints: 38112
3424.25/3484.80 c #Conflicts: 1266000 | #Constraints: 39112
3424.25/3484.80 c #Conflicts: 1267000 | #Constraints: 40112
3424.25/3484.80 c #Conflicts: 1268000 | #Constraints: 41112
3424.25/3484.80 c #Conflicts: 1269000 | #Constraints: 42112
3424.25/3484.80 c #Conflicts: 1270000 | #Constraints: 43112
3424.25/3484.80 c #Conflicts: 1271000 | #Constraints: 44112
3424.25/3484.80 c #Conflicts: 1272000 | #Constraints: 45112
3424.25/3484.80 c #Conflicts: 1273000 | #Constraints: 46112
3424.25/3484.80 c #Conflicts: 1274000 | #Constraints: 47112
3424.25/3484.80 c #Conflicts: 1275000 | #Constraints: 48113
3424.25/3484.80 c #Conflicts: 1276000 | #Constraints: 49116
3424.25/3484.80 c #Conflicts: 1277000 | #Constraints: 50116
3424.25/3484.80 c #Conflicts: 1278000 | #Constraints: 51116
3424.25/3484.80 c #Conflicts: 1279000 | #Constraints: 52116
3424.25/3484.80 c INPROCESSING
3424.25/3484.80 c GARBAGE COLLECT
3424.25/3484.80 c #Conflicts: 1280000 | #Constraints: 30892
3424.25/3484.80 c #Conflicts: 1281000 | #Constraints: 31893
3424.25/3484.80 c #Conflicts: 1282000 | #Constraints: 32893
3424.25/3484.80 c #Conflicts: 1283000 | #Constraints: 33893
3424.25/3484.80 c #Conflicts: 1284000 | #Constraints: 34893
3424.25/3484.80 c #Conflicts: 1285000 | #Constraints: 35893
3539.31/3614.66 c #Conflicts: 1286000 | #Constraints: 36893
3539.31/3614.66 c #Conflicts: 1287000 | #Constraints: 37893
3539.31/3614.66 c #Conflicts: 1288000 | #Constraints: 38893
3539.31/3614.66 c #Conflicts: 1289000 | #Constraints: 39893
3539.31/3614.66 c #Conflicts: 1290000 | #Constraints: 40893
3539.31/3614.66 c #Conflicts: 1291000 | #Constraints: 41893
3539.31/3614.66 c #Conflicts: 1292000 | #Constraints: 42893
3539.31/3614.66 c #Conflicts: 1293000 | #Constraints: 43893
3539.31/3614.66 c #Conflicts: 1294000 | #Constraints: 44893
3539.31/3614.66 c #Conflicts: 1295000 | #Constraints: 45893
3539.31/3614.66 c #Conflicts: 1296000 | #Constraints: 46893
3539.31/3614.66 c #Conflicts: 1297000 | #Constraints: 47893
3539.31/3614.66 c #Conflicts: 1298000 | #Constraints: 48893
3539.31/3614.66 c #Conflicts: 1299000 | #Constraints: 49893
3539.31/3614.66 c #Conflicts: 1300000 | #Constraints: 50893
3539.31/3614.66 c #Conflicts: 1301000 | #Constraints: 51893
3539.31/3614.66 c #Conflicts: 1302000 | #Constraints: 52893
3539.31/3614.66 c INPROCESSING
3539.31/3614.66 c GARBAGE COLLECT
3539.31/3614.66 c #Conflicts: 1303000 | #Constraints: 31123
3539.31/3614.66 c #Conflicts: 1304000 | #Constraints: 32123
3539.31/3614.66 c #Conflicts: 1305000 | #Constraints: 33123
3539.31/3614.66 c #Conflicts: 1306000 | #Constraints: 34123
3539.31/3614.66 c #Conflicts: 1307000 | #Constraints: 35124
3539.31/3614.66 c #Conflicts: 1308000 | #Constraints: 36124
3539.31/3614.66 c #Conflicts: 1309000 | #Constraints: 37124
3539.31/3614.66 c #Conflicts: 1310000 | #Constraints: 38124
3539.31/3614.66 c #Conflicts: 1311000 | #Constraints: 39124
3539.31/3614.66 c #Conflicts: 1312000 | #Constraints: 40124
3539.31/3614.66 c #Conflicts: 1313000 | #Constraints: 41125
3539.31/3614.66 c #Conflicts: 1314000 | #Constraints: 42125
3539.31/3614.66 c #Conflicts: 1315000 | #Constraints: 43126
3539.31/3614.66 c #Conflicts: 1316000 | #Constraints: 44126
3539.31/3614.66 c #Conflicts: 1317000 | #Constraints: 45127
3539.31/3614.66 c #Conflicts: 1318000 | #Constraints: 46128
3539.31/3614.66 c #Conflicts: 1319000 | #Constraints: 47129
3539.31/3614.66 c #Conflicts: 1320000 | #Constraints: 48129
3539.31/3614.66 c #Conflicts: 1321000 | #Constraints: 49129
3539.31/3614.66 c #Conflicts: 1322000 | #Constraints: 50129
3539.31/3614.66 c #Conflicts: 1323000 | #Constraints: 51130
3539.31/3614.66 c #Conflicts: 1324000 | #Constraints: 52130
3539.31/3614.66 c #Conflicts: 1325000 | #Constraints: 53130
3539.31/3614.66 c INPROCESSING
3539.31/3614.66 c GARBAGE COLLECT
3539.31/3614.66 c #Conflicts: 1326000 | #Constraints: 31437
3539.31/3614.66 c #Conflicts: 1327000 | #Constraints: 32437
3539.31/3614.66 c #Conflicts: 1328000 | #Constraints: 33438
3539.31/3614.66 c #Conflicts: 1329000 | #Constraints: 34438
3539.31/3614.66 c #Conflicts: 1330000 | #Constraints: 35438
3539.31/3614.66 c #Conflicts: 1331000 | #Constraints: 36440
3539.31/3614.66 c #Conflicts: 1332000 | #Constraints: 37441
3539.31/3614.66 c #Conflicts: 1333000 | #Constraints: 38441
3539.31/3614.66 c #Conflicts: 1334000 | #Constraints: 39441
3539.31/3614.66 c #Conflicts: 1335000 | #Constraints: 40441
3539.31/3614.66 c #Conflicts: 1336000 | #Constraints: 41441
3539.31/3614.66 c #Conflicts: 1337000 | #Constraints: 42441
3539.31/3614.66 c #Conflicts: 1338000 | #Constraints: 43441
3539.31/3614.66 c #Conflicts: 1339000 | #Constraints: 44441
3539.31/3614.66 c #Conflicts: 1340000 | #Constraints: 45441
3539.31/3614.66 c #Conflicts: 1341000 | #Constraints: 46441
3539.31/3614.66 c #Conflicts: 1342000 | #Constraints: 47441
3539.31/3614.66 c #Conflicts: 1343000 | #Constraints: 48441
3539.31/3614.66 c #Conflicts: 1344000 | #Constraints: 49442
3539.31/3614.66 c #Conflicts: 1345000 | #Constraints: 50443
3539.31/3614.66 c #Conflicts: 1346000 | #Constraints: 51443
3539.31/3614.66 c #Conflicts: 1347000 | #Constraints: 52443
3539.31/3614.66 c #Conflicts: 1348000 | #Constraints: 53444
3539.31/3614.66 c INPROCESSING
3539.31/3614.66 c GARBAGE COLLECT
3539.31/3614.66 c #Conflicts: 1349000 | #Constraints: 31389
3539.31/3614.66 c #Conflicts: 1350000 | #Constraints: 32390
3539.31/3614.66 c #Conflicts: 1351000 | #Constraints: 33391
3539.31/3614.66 c #Conflicts: 1352000 | #Constraints: 34393
3539.31/3614.66 c #Conflicts: 1353000 | #Constraints: 35393
3539.31/3614.66 c #Conflicts: 1354000 | #Constraints: 36394
3539.31/3614.66 c #Conflicts: 1355000 | #Constraints: 37394
3539.31/3614.66 c #Conflicts: 1356000 | #Constraints: 38394
3539.31/3614.66 c #Conflicts: 1357000 | #Constraints: 39394
3539.31/3614.66 c #Conflicts: 1358000 | #Constraints: 40394
3539.31/3614.66 c #Conflicts: 1359000 | #Constraints: 41394
3539.31/3614.66 c #Conflicts: 1360000 | #Constraints: 42394
3539.31/3614.66 c #Conflicts: 1361000 | #Constraints: 43394
3539.31/3614.66 c #Conflicts: 1362000
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 (62637 MiB free)
memory of node 1: 64465 MiB (61020 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532295-1752584603/watcher-4532295-1752584603 -o /tmp/evaluation-result-4532295-1752584603/solver-4532295-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752584602-128821 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532295-1752584603.opb PROOFDIR/proof-4532295-1752584603
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=128854, runsolver pid=128847
[startup+0.100058 s]*
/proc/loadavg: 0.15 0.32 0.24 4/259 128858
/proc/meminfo: memFree=126568720/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128857] ppid=128854 vsize=35288 memory=22036 CPUtime=0.04 cores=4,6
/proc/128857/stat : 128857 (pbsuma) R 128854 128854 128810 0 -1 4194304 5017 0 0 0 3 1 0 0 20 0 1 0 174134904 36134912 5509 18446744073709551615 4210688 4653049 140730096457904 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 4726784 140730096466145 140730096466480 140730096466480 140730096472047 0
/proc/128857/statm: 8822 5509 992 108 0 6230 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 39480 KiB
Current children cumulated memory: 24852 KiB
[startup+0.205257 s]*
/proc/loadavg: 0.15 0.32 0.24 4/258 128860
/proc/meminfo: memFree=126467924/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128857] ppid=128854 vsize=128076 memory=92780 CPUtime=0.14 cores=4,6
/proc/128857/stat : 128857 (pbsuma) R 128854 128854 128810 0 -1 4194304 16067 0 0 0 11 3 0 0 20 0 1 0 174134904 131149824 23195 18446744073709551615 4210688 4653049 140730096457904 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 4726784 140730096466145 140730096466480 140730096466480 140730096472047 0
/proc/128857/statm: 32019 23195 992 108 0 29427 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 132268 KiB
Current children cumulated memory: 95596 KiB
[startup+0.30528 s]*
/proc/loadavg: 0.15 0.32 0.24 4/258 128864
/proc/meminfo: memFree=126440472/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128857] ppid=128854 vsize=43644 memory=31064 CPUtime=0.24 cores=4,6
/proc/128857/stat : 128857 (pbsuma) R 128854 128854 128810 0 -1 4194304 25541 0 0 0 19 5 0 0 20 0 1 0 174134904 44691456 7766 18446744073709551615 4210688 4653049 140730096457904 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 4726784 140730096466145 140730096466480 140730096466480 140730096472047 0
/proc/128857/statm: 10911 7766 992 108 0 8319 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 47836 KiB
Current children cumulated memory: 33880 KiB
[startup+0.70017 s]
/proc/loadavg: 0.15 0.32 0.24 7/269 128886
/proc/meminfo: memFree=126407824/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=135236 memory=92404 CPUtime=0.36 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 17131 0 0 0 32 4 0 0 20 0 1 0 174134932 138481664 23101 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 33809 23101 2304 1147 0 21235 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 139428 KiB
Current children cumulated memory: 95220 KiB
[startup+1.50016 s]
/proc/loadavg: 0.15 0.32 0.24 5/269 128886
/proc/meminfo: memFree=126235360/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=174224 memory=129652 CPUtime=1.15 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 24351 0 0 0 89 26 0 0 20 0 1 0 174134932 178405376 32413 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 43556 32413 2368 1147 0 30982 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 178416 KiB
Current children cumulated memory: 132468 KiB
[startup+3.10466 s]
/proc/loadavg: 0.15 0.32 0.24 4/264 128892
/proc/meminfo: memFree=126106404/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=174224 memory=129652 CPUtime=2.75 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 24365 0 0 0 196 79 0 0 20 0 1 0 174134932 178405376 32413 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 43556 32413 2368 1147 0 30982 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 178416 KiB
Current children cumulated memory: 132468 KiB
[startup+6.30014 s]
/proc/loadavg: 0.46 0.38 0.26 4/264 128895
/proc/meminfo: memFree=126071520/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=180076 memory=132084 CPUtime=5.94 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 24986 0 0 0 480 114 0 0 20 0 1 0 174134932 184397824 33021 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 45019 33021 2368 1147 0 32445 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 184268 KiB
Current children cumulated memory: 134900 KiB
[startup+12.7002 s]
/proc/loadavg: 0.83 0.46 0.29 4/264 128896
/proc/meminfo: memFree=126037616/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=187720 memory=141172 CPUtime=12.3 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 27263 0 0 0 1056 174 0 0 20 0 1 0 174134932 192225280 35293 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 46930 35293 2368 1147 0 34356 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 191912 KiB
Current children cumulated memory: 143988 KiB
[startup+25.5002 s]
/proc/loadavg: 1.53 0.64 0.35 5/269 129033
/proc/meminfo: memFree=126012444/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=219064 memory=171420 CPUtime=25.05 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 33319 0 0 0 2211 294 0 0 20 0 1 0 174134932 224321536 42855 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 54766 42855 2368 1147 0 42192 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 223256 KiB
Current children cumulated memory: 174236 KiB
[startup+51.1055 s]
/proc/loadavg: 2.45 0.92 0.45 5/269 129033
/proc/meminfo: memFree=125581384/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=226492 memory=179100 CPUtime=47.7 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 35224 0 0 0 4280 490 0 0 20 0 1 0 174134932 231927808 44775 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 56623 44775 2368 1147 0 44049 0
Current children cumulated CPU time: 47.95 s
Current children cumulated vsize: 230684 KiB
Current children cumulated memory: 181916 KiB
[startup+102.3 s]
/proc/loadavg: 3.33 1.40 0.64 5/270 129036
/proc/meminfo: memFree=124745200/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=271256 memory=223832 CPUtime=95.77 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 41709 0 0 0 8634 943 0 0 20 0 1 0 174134932 277766144 55958 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 67814 55958 2496 1147 0 55240 0
Current children cumulated CPU time: 96.02 s
Current children cumulated vsize: 275448 KiB
Current children cumulated memory: 226648 KiB
[startup+162.3 s]
/proc/loadavg: 3.80 1.89 0.86 5/270 129038
/proc/meminfo: memFree=123959656/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=278436 memory=225752 CPUtime=154.76 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 42198 0 0 0 14180 1296 0 0 20 0 1 0 174134932 285118464 56438 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 69609 56438 2496 1147 0 57035 0
Current children cumulated CPU time: 155.01 s
Current children cumulated vsize: 282628 KiB
Current children cumulated memory: 228568 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.31 1.07 5/272 129042
/proc/meminfo: memFree=123153852/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=298648 memory=246716 CPUtime=213.22 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 46940 0 0 0 19695 1627 0 0 20 0 1 0 174134932 305815552 61679 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 74662 61679 2496 1147 0 62088 0
Current children cumulated CPU time: 213.47 s
Current children cumulated vsize: 302840 KiB
################
# More data... #
################
/proc/meminfo: memFree=96297140/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=1564108 memory=1440168 CPUtime=3293.61 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 252297 0 0 0 316797 12564 0 0 20 0 1 0 174134932 1601646592 360042 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 391027 360042 2496 1147 0 378453 0
Current children cumulated CPU time: 3293.86 s
Current children cumulated vsize: 1568300 KiB
Current children cumulated memory: 1442984 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.03 5/273 129211
/proc/meminfo: memFree=95886896/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=1564108 memory=1440168 CPUtime=3350.18 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 252306 0 0 0 322220 12798 0 0 20 0 1 0 174134932 1601646592 360042 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 391027 360042 2496 1147 0 378453 0
Current children cumulated CPU time: 3350.43 s
Current children cumulated vsize: 1568300 KiB
Current children cumulated memory: 1442984 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/273 129224
/proc/meminfo: memFree=95463248/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=1564108 memory=1440168 CPUtime=3404.3 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 252306 0 0 0 327327 13103 0 0 20 0 1 0 174134932 1601646592 360042 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 391027 360042 2496 1147 0 378453 0
Current children cumulated CPU time: 3404.55 s
Current children cumulated vsize: 1568300 KiB
Current children cumulated memory: 1442984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/274 129227
/proc/meminfo: memFree=95062980/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=1578960 memory=1450408 CPUtime=3455.87 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 254861 0 0 0 332203 13384 0 0 20 0 1 0 174134932 1616855040 362602 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 394740 362602 2496 1147 0 382166 0
Current children cumulated CPU time: 3456.12 s
Current children cumulated vsize: 1583152 KiB
Current children cumulated memory: 1453224 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.03 5/275 129230
/proc/meminfo: memFree=94557692/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=1615936 memory=1483932 CPUtime=3512.03 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 259939 0 0 0 337486 13717 0 0 20 0 1 0 174134932 1654718464 370983 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 403984 370983 2496 1147 0 391410 0
Current children cumulated CPU time: 3512.28 s
Current children cumulated vsize: 1620128 KiB
Current children cumulated memory: 1486748 KiB
[startup+3642.3 s]
/proc/loadavg: 4.28 4.16 4.06 5/272 129232
/proc/meminfo: memFree=94116780/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=1639908 memory=1509552 CPUtime=3565.11 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 264064 0 0 0 342396 14115 0 0 20 0 1 0 174134932 1679265792 377388 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 409977 377388 2496 1147 0 397403 0
Current children cumulated CPU time: 3565.36 s
Current children cumulated vsize: 1644100 KiB
Current children cumulated memory: 1512368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3679.4 s]
/proc/loadavg: 4.21 4.16 4.06 5/272 129232
/proc/meminfo: memFree=93938456/131249992 swapFree=33009392/33010684
[pid=128854] ppid=128847 vsize=4192 memory=2816 CPUtime=0.25 cores=4,6
/proc/128854/stat : 128854 (run-opt-break-l) S 128847 128854 128810 0 -1 4194304 241 25544 0 0 0 0 20 5 20 0 1 0 174134900 4292608 704 18446744073709551615 94202776821760 94202777716293 140734967688624 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94202777955344 94202778003088 94202792767488 140734967695635 140734967695836 140734967695836 140734967701440 0
/proc/128854/statm: 1048 704 640 219 0 110 0
[pid=128867] ppid=128854 vsize=1639908 memory=1509680 CPUtime=3599.8 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128854 128854 128810 0 -1 4194304 264065 0 0 0 345725 14255 0 0 20 0 1 0 174134932 1679265792 377420 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 409977 377420 2496 1147 0 397403 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1644100 KiB
Current children cumulated memory: 1512496 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3679.4 s]
# the end of solver process 128854 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.200003 s, system=0.061164 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3681.81 s]
# the end of solver process 128867 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3459.44 s, system=142.651 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3680 s]*
/proc/loadavg: 4.21 4.16 4.06 5/271 129232
/proc/meminfo: memFree=93918328/131249992 swapFree=33009392/33010684
[pid=128867] ppid=128847 vsize=1639908 memory=1509680 CPUtime=3600.4 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128847 128854 128810 0 -1 4194304 264065 0 0 0 345784 14256 0 0 20 0 1 0 174134932 1679265792 377420 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 409977 377420 2496 1147 0 397403 0
Current cumulated CPU time of completed processes: 0.261167 s
Current children cumulated CPU time: 3600.4 s
Current children cumulated vsize: 1639908 KiB
Current children cumulated memory: 1509680 KiB
[startup+3680.8 s]
/proc/loadavg: 4.21 4.16 4.06 5/271 129232
/proc/meminfo: memFree=93918328/131249992 swapFree=33009392/33010684
[pid=128867] ppid=128847 vsize=1639908 memory=1509680 CPUtime=3601.19 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128847 128854 128810 0 -1 4194304 264065 0 0 0 345863 14256 0 0 20 0 1 0 174134932 1679265792 377420 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 409977 377420 2496 1147 0 397403 0
Current cumulated CPU time of completed processes: 0.261167 s
Current children cumulated CPU time: 3601.19 s
Current children cumulated vsize: 1639908 KiB
Current children cumulated memory: 1509680 KiB
[startup+3681.2 s]
/proc/loadavg: 4.27 4.17 4.06 5/271 129232
/proc/meminfo: memFree=93918328/131249992 swapFree=33009392/33010684
[pid=128867] ppid=128847 vsize=1639908 memory=1509680 CPUtime=3601.59 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128847 128854 128810 0 -1 4194304 264065 0 0 0 345903 14256 0 0 20 0 1 0 174134932 1679265792 377420 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 409977 377420 2496 1147 0 397403 0
Current cumulated CPU time of completed processes: 0.261167 s
Current children cumulated CPU time: 3601.59 s
Current children cumulated vsize: 1639908 KiB
Current children cumulated memory: 1509680 KiB
[startup+3681.4 s]
/proc/loadavg: 4.27 4.17 4.06 5/271 129232
/proc/meminfo: memFree=93918328/131249992 swapFree=33009392/33010684
[pid=128867] ppid=128847 vsize=1639908 memory=1509680 CPUtime=3601.79 cores=4,6
/proc/128867/stat : 128867 (roundingsat) R 128847 128854 128810 0 -1 4194304 264065 0 0 0 345923 14256 0 0 20 0 1 0 174134932 1679265792 377420 18446744073709551615 4227072 8923577 140721734268192 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 13000704 140721734273298 140721734273574 140721734273574 140721734279146 0
/proc/128867/statm: 409977 377420 2496 1147 0 397403 0
Current cumulated CPU time of completed processes: 0.261167 s
Current children cumulated CPU time: 3601.79 s
Current children cumulated vsize: 1639908 KiB
Current children cumulated memory: 1509680 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3681.81
CPU time (s): 3602.09
CPU user time (s): 3459.44
CPU system time (s): 142.651
CPU usage (%): 97.8347
Max. virtual memory (cumulated for all children) (KiB): 1644100
Max. memory (cumulated for all children) (KiB): 1512496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3459.44
system time used= 142.651
maximum resident set size= 1509680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289850
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15360760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1373
involuntary context switches= 4354
# summary of solver processes directly reported to runsolver:
# pid: 128854,128867
# total CPU time (s): 3602.09
# total CPU user time (s): 3459.44
# total CPU system time (s): 142.651
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30868 second user time and 16.3203 second system time
The end
Begin job on nodeC035 at 2025-07-15 15:03:23
IDJOB=4532295
IDBENCH=146784
IDSOLVER=3393
FILE ID=nodeC035/4532295-1752584603
RUNJOBID= nodeC035-1752584602-128821
SLURM_JOB_ID= 9684365
Free space on /tmp= 432656 MiB
SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532295-1752584603/watcher-4532295-1752584603 -o /tmp/evaluation-result-4532295-1752584603/solver-4532295-1752584603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752584602-128821 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532295-1752584603.opb PROOFDIR/proof-4532295-1752584603
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=1057340159
nodeC035 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.477
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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 : 1336.912
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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 : 3601.216
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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 : 1199.047
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.775
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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 : 1199.873
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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.850
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
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 : 1212.427
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126637712 kB
MemAvailable: 129709288 kB
Buffers: 664 kB
Cached: 3818828 kB
SwapCached: 332 kB
Active: 383724 kB
Inactive: 3501980 kB
Active(anon): 64936 kB
Inactive(anon): 18976 kB
Active(file): 318788 kB
Inactive(file): 3483004 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 19944 kB
Writeback: 0 kB
AnonPages: 68960 kB
Mapped: 105728 kB
Shmem: 17700 kB
KReclaimable: 218048 kB
Slab: 312320 kB
SReclaimable: 218048 kB
SUnreclaim: 94272 kB
KernelStack: 4056 kB
PageTables: 2452 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 340748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432620 MiB
End job on nodeC035 at 2025-07-15 16:04:46