0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.20/0.27 c #variables 23409 #constraints 1386
142.40/142.97 c #Conflicts: 1000 | #Constraints: 2385
142.40/142.97 c #Conflicts: 2000 | #Constraints: 3385
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 3000 | #Constraints: 3418
142.40/142.97 c #Conflicts: 4000 | #Constraints: 4418
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 5000 | #Constraints: 3851
142.40/142.97 c #Conflicts: 6000 | #Constraints: 4851
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 7000 | #Constraints: 3870
142.40/142.97 c #Conflicts: 8000 | #Constraints: 4870
142.40/142.97 c #Conflicts: 9000 | #Constraints: 5870
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 10000 | #Constraints: 4586
142.40/142.97 c #Conflicts: 11000 | #Constraints: 5586
142.40/142.97 c #Conflicts: 12000 | #Constraints: 6586
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 13000 | #Constraints: 5039
142.40/142.97 c #Conflicts: 14000 | #Constraints: 6039
142.40/142.97 c #Conflicts: 15000 | #Constraints: 7039
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 16000 | #Constraints: 5297
142.40/142.97 c #Conflicts: 17000 | #Constraints: 6297
142.40/142.97 c #Conflicts: 18000 | #Constraints: 7297
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 19000 | #Constraints: 5338
142.40/142.97 c #Conflicts: 20000 | #Constraints: 6338
142.40/142.97 c #Conflicts: 21000 | #Constraints: 7338
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 22000 | #Constraints: 5128
142.40/142.97 c #Conflicts: 23000 | #Constraints: 6128
142.40/142.97 c #Conflicts: 24000 | #Constraints: 7128
142.40/142.97 c #Conflicts: 25000 | #Constraints: 8128
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 26000 | #Constraints: 5735
142.40/142.97 c #Conflicts: 27000 | #Constraints: 6735
142.40/142.97 c #Conflicts: 28000 | #Constraints: 7735
142.40/142.97 c #Conflicts: 29000 | #Constraints: 8735
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 30000 | #Constraints: 6132
142.40/142.97 c #Conflicts: 31000 | #Constraints: 7132
142.40/142.97 c #Conflicts: 32000 | #Constraints: 8132
142.40/142.97 c #Conflicts: 33000 | #Constraints: 9132
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 34000 | #Constraints: 6337
142.40/142.97 c #Conflicts: 35000 | #Constraints: 7337
142.40/142.97 c #Conflicts: 36000 | #Constraints: 8337
142.40/142.97 c #Conflicts: 37000 | #Constraints: 9337
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 38000 | #Constraints: 6374
142.40/142.97 c #Conflicts: 39000 | #Constraints: 7374
142.40/142.97 c #Conflicts: 40000 | #Constraints: 8374
142.40/142.97 c #Conflicts: 41000 | #Constraints: 9374
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 42000 | #Constraints: 6186
142.40/142.97 c #Conflicts: 43000 | #Constraints: 7186
142.40/142.97 c #Conflicts: 44000 | #Constraints: 8186
142.40/142.97 c #Conflicts: 45000 | #Constraints: 9186
142.40/142.97 c #Conflicts: 46000 | #Constraints: 10186
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 47000 | #Constraints: 6742
142.40/142.97 c #Conflicts: 48000 | #Constraints: 7742
142.40/142.97 c #Conflicts: 49000 | #Constraints: 8742
142.40/142.97 c #Conflicts: 50000 | #Constraints: 9742
142.40/142.97 c #Conflicts: 51000 | #Constraints: 10742
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 52000 | #Constraints: 7160
142.40/142.97 c #Conflicts: 53000 | #Constraints: 8160
142.40/142.97 c #Conflicts: 54000 | #Constraints: 9160
142.40/142.97 c #Conflicts: 55000 | #Constraints: 10160
142.40/142.97 c #Conflicts: 56000 | #Constraints: 11160
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 57000 | #Constraints: 7387
142.40/142.97 c #Conflicts: 58000 | #Constraints: 8387
142.40/142.97 c #Conflicts: 59000 | #Constraints: 9387
142.40/142.97 c #Conflicts: 60000 | #Constraints: 10387
142.40/142.97 c #Conflicts: 61000 | #Constraints: 11387
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 62000 | #Constraints: 7380
142.40/142.97 c #Conflicts: 63000 | #Constraints: 8380
142.40/142.97 c #Conflicts: 64000 | #Constraints: 9380
142.40/142.97 c #Conflicts: 65000 | #Constraints: 10380
142.40/142.97 c #Conflicts: 66000 | #Constraints: 11380
142.40/142.97 c INPROCESSING
142.40/142.97 c GARBAGE COLLECT
142.40/142.97 c #Conflicts: 67000 | #Constraints: 7159
142.40/142.97 c #Conflicts: 68000 | #Constraints: 8159
314.21/315.35 c #Conflicts: 69000 | #Constraints: 9159
314.21/315.35 c #Conflicts: 70000 | #Constraints: 10159
314.21/315.35 c #Conflicts: 71000 | #Constraints: 11159
314.21/315.35 c #Conflicts: 72000 | #Constraints: 12159
314.21/315.35 c INPROCESSING
314.21/315.35 c GARBAGE COLLECT
314.21/315.35 c #Conflicts: 73000 | #Constraints: 7757
314.21/315.35 c #Conflicts: 74000 | #Constraints: 8757
314.21/315.35 c #Conflicts: 75000 | #Constraints: 9757
314.21/315.35 c #Conflicts: 76000 | #Constraints: 10757
314.21/315.35 c #Conflicts: 77000 | #Constraints: 11757
314.21/315.35 c #Conflicts: 78000 | #Constraints: 12757
314.21/315.35 c INPROCESSING
314.21/315.35 c GARBAGE COLLECT
314.21/315.35 c #Conflicts: 79000 | #Constraints: 8166
314.21/315.35 c #Conflicts: 80000 | #Constraints: 9166
314.21/315.35 c #Conflicts: 81000 | #Constraints: 10166
314.21/315.35 c #Conflicts: 82000 | #Constraints: 11166
314.21/315.35 c #Conflicts: 83000 | #Constraints: 12166
314.21/315.35 c #Conflicts: 84000 | #Constraints: 13166
314.21/315.35 c INPROCESSING
314.21/315.35 c GARBAGE COLLECT
314.21/315.35 c #Conflicts: 85000 | #Constraints: 8369
314.21/315.35 c #Conflicts: 86000 | #Constraints: 9369
314.21/315.35 c #Conflicts: 87000 | #Constraints: 10369
314.21/315.35 c #Conflicts: 88000 | #Constraints: 11369
314.21/315.35 c #Conflicts: 89000 | #Constraints: 12369
314.21/315.35 c #Conflicts: 90000 | #Constraints: 13369
314.21/315.35 c INPROCESSING
314.21/315.35 c GARBAGE COLLECT
314.21/315.35 c #Conflicts: 91000 | #Constraints: 8372
314.21/315.35 c #Conflicts: 92000 | #Constraints: 9372
314.21/315.35 c #Conflicts: 93000 | #Constraints: 10372
314.21/315.35 c #Conflicts: 94000 | #Constraints: 11372
314.21/315.35 c #Conflicts: 95000 | #Constraints: 12372
314.21/315.35 c #Conflicts: 96000 | #Constraints: 13372
314.21/315.35 c INPROCESSING
314.21/315.35 c GARBAGE COLLECT
314.21/315.35 c #Conflicts: 97000 | #Constraints: 8195
314.21/315.35 c #Conflicts: 98000 | #Constraints: 9195
314.21/315.35 c #Conflicts: 99000 | #Constraints: 10195
314.21/315.35 c #Conflicts: 100000 | #Constraints: 11195
314.21/315.35 c #Conflicts: 101000 | #Constraints: 12196
314.21/315.35 c #Conflicts: 102000 | #Constraints: 13196
314.21/315.35 c #Conflicts: 103000 | #Constraints: 14196
314.21/315.35 c INPROCESSING
314.21/315.35 c GARBAGE COLLECT
314.21/315.35 c #Conflicts: 104000 | #Constraints: 8768
314.21/315.35 c #Conflicts: 105000 | #Constraints: 9768
314.21/315.35 c #Conflicts: 106000 | #Constraints: 10768
314.21/315.35 c #Conflicts: 107000 | #Constraints: 11768
314.21/315.35 c #Conflicts: 108000 | #Constraints: 12768
314.21/315.35 c #Conflicts: 109000 | #Constraints: 13768
314.21/315.35 c #Conflicts: 110000 | #Constraints: 14768
314.21/315.35 c INPROCESSING
314.21/315.35 c GARBAGE COLLECT
314.21/315.35 c #Conflicts: 111000 | #Constraints: 9195
314.21/315.35 c #Conflicts: 112000 | #Constraints: 10195
314.21/315.35 c #Conflicts: 113000 | #Constraints: 11195
314.21/315.35 c #Conflicts: 114000 | #Constraints: 12195
314.21/315.35 c #Conflicts: 115000 | #Constraints: 13195
314.21/315.35 c #Conflicts: 116000 | #Constraints: 14195
314.21/315.35 c #Conflicts: 117000 | #Constraints: 15195
314.21/315.35 c INPROCESSING
314.21/315.35 c GARBAGE COLLECT
314.21/315.35 c #Conflicts: 118000 | #Constraints: 9387
314.21/315.35 c #Conflicts: 119000 | #Constraints: 10387
314.21/315.35 c #Conflicts: 120000 | #Constraints: 11387
314.21/315.35 c #Conflicts: 121000 | #Constraints: 12387
314.21/315.35 c #Conflicts: 122000 | #Constraints: 13387
314.21/315.35 c #Conflicts: 123000 | #Constraints: 14387
314.21/315.35 c #Conflicts: 124000 | #Constraints: 15387
314.21/315.35 c INPROCESSING
314.21/315.35 c GARBAGE COLLECT
314.21/315.35 c #Conflicts: 125000 | #Constraints: 9379
314.21/315.35 c #Conflicts: 126000 | #Constraints: 10379
314.21/315.35 c #Conflicts: 127000 | #Constraints: 11379
314.21/315.35 c #Conflicts: 128000 | #Constraints: 12379
314.21/315.35 c #Conflicts: 129000 | #Constraints: 13379
314.21/315.35 c #Conflicts: 130000 | #Constraints: 14379
314.21/315.35 c #Conflicts: 131000 | #Constraints: 15379
314.21/315.35 c INPROCESSING
314.21/315.35 c GARBAGE COLLECT
314.21/315.35 c #Conflicts: 132000 | #Constraints: 9176
314.21/315.35 c #Conflicts: 133000 | #Constraints: 10176
314.21/315.35 c #Conflicts: 134000 | #Constraints: 11176
314.21/315.35 c #Conflicts: 135000 | #Constraints: 12176
314.21/315.35 c #Conflicts: 136000 | #Constraints: 13176
314.21/315.35 c #Conflicts: 137000 | #Constraints: 14176
314.21/315.35 c #Conflicts: 138000 | #Constraints: 15176
314.21/315.35 c #Conflicts: 139000 | #Constraints: 16176
314.21/315.35 c INPROCESSING
314.21/315.35 c GARBAGE COLLECT
314.21/315.35 c #Conflicts: 140000 | #Constraints: 9794
538.50/540.31 c #Conflicts: 141000 | #Constraints: 10794
538.50/540.31 c #Conflicts: 142000 | #Constraints: 11794
538.50/540.31 c #Conflicts: 143000 | #Constraints: 12794
538.50/540.31 c #Conflicts: 144000 | #Constraints: 13794
538.50/540.31 c #Conflicts: 145000 | #Constraints: 14794
538.50/540.31 c #Conflicts: 146000 | #Constraints: 15794
538.50/540.31 c #Conflicts: 147000 | #Constraints: 16794
538.50/540.31 c INPROCESSING
538.50/540.31 c GARBAGE COLLECT
538.50/540.31 c #Conflicts: 148000 | #Constraints: 10199
538.50/540.31 c #Conflicts: 149000 | #Constraints: 11199
538.50/540.31 c #Conflicts: 150000 | #Constraints: 12199
538.50/540.31 c #Conflicts: 151000 | #Constraints: 13199
538.50/540.31 c #Conflicts: 152000 | #Constraints: 14199
538.50/540.31 c #Conflicts: 153000 | #Constraints: 15199
538.50/540.31 c #Conflicts: 154000 | #Constraints: 16199
538.50/540.31 c #Conflicts: 155000 | #Constraints: 17199
538.50/540.31 c INPROCESSING
538.50/540.31 c GARBAGE COLLECT
538.50/540.31 c #Conflicts: 156000 | #Constraints: 10397
538.50/540.31 c #Conflicts: 157000 | #Constraints: 11397
538.50/540.31 c #Conflicts: 158000 | #Constraints: 12397
538.50/540.31 c #Conflicts: 159000 | #Constraints: 13397
538.50/540.31 c #Conflicts: 160000 | #Constraints: 14397
538.50/540.31 c #Conflicts: 161000 | #Constraints: 15397
538.50/540.31 c #Conflicts: 162000 | #Constraints: 16397
538.50/540.31 c #Conflicts: 163000 | #Constraints: 17397
538.50/540.31 c INPROCESSING
538.50/540.31 c GARBAGE COLLECT
538.50/540.31 c #Conflicts: 164000 | #Constraints: 10390
538.50/540.31 c #Conflicts: 165000 | #Constraints: 11390
538.50/540.31 c #Conflicts: 166000 | #Constraints: 12390
538.50/540.31 c #Conflicts: 167000 | #Constraints: 13390
538.50/540.31 c #Conflicts: 168000 | #Constraints: 14390
538.50/540.31 c #Conflicts: 169000 | #Constraints: 15390
538.50/540.31 c #Conflicts: 170000 | #Constraints: 16390
538.50/540.31 c #Conflicts: 171000 | #Constraints: 17390
538.50/540.31 c INPROCESSING
538.50/540.31 c GARBAGE COLLECT
538.50/540.31 c #Conflicts: 172000 | #Constraints: 10168
538.50/540.31 c #Conflicts: 173000 | #Constraints: 11168
538.50/540.31 c #Conflicts: 174000 | #Constraints: 12168
538.50/540.31 c #Conflicts: 175000 | #Constraints: 13168
538.50/540.31 c #Conflicts: 176000 | #Constraints: 14168
538.50/540.31 c #Conflicts: 177000 | #Constraints: 15168
538.50/540.31 c #Conflicts: 178000 | #Constraints: 16168
538.50/540.31 c #Conflicts: 179000 | #Constraints: 17168
538.50/540.31 c #Conflicts: 180000 | #Constraints: 18168
538.50/540.31 c INPROCESSING
538.50/540.31 c GARBAGE COLLECT
538.50/540.31 c #Conflicts: 181000 | #Constraints: 10756
538.50/540.31 c #Conflicts: 182000 | #Constraints: 11756
538.50/540.31 c #Conflicts: 183000 | #Constraints: 12756
538.50/540.31 c #Conflicts: 184000 | #Constraints: 13756
538.50/540.31 c #Conflicts: 185000 | #Constraints: 14756
538.50/540.31 c #Conflicts: 186000 | #Constraints: 15756
538.50/540.31 c #Conflicts: 187000 | #Constraints: 16756
538.50/540.31 c #Conflicts: 188000 | #Constraints: 17756
538.50/540.31 c #Conflicts: 189000 | #Constraints: 18756
538.50/540.31 c INPROCESSING
538.50/540.31 c GARBAGE COLLECT
538.50/540.31 c #Conflicts: 190000 | #Constraints: 11191
538.50/540.31 c #Conflicts: 191000 | #Constraints: 12191
538.50/540.31 c #Conflicts: 192000 | #Constraints: 13191
538.50/540.31 c #Conflicts: 193000 | #Constraints: 14191
538.50/540.31 c #Conflicts: 194000 | #Constraints: 15191
538.50/540.31 c #Conflicts: 195000 | #Constraints: 16191
538.50/540.31 c #Conflicts: 196000 | #Constraints: 17191
538.50/540.31 c #Conflicts: 197000 | #Constraints: 18191
538.50/540.31 c #Conflicts: 198000 | #Constraints: 19191
538.50/540.31 c INPROCESSING
538.50/540.31 c GARBAGE COLLECT
538.50/540.31 c #Conflicts: 199000 | #Constraints: 11417
538.50/540.31 c #Conflicts: 200000 | #Constraints: 12417
538.50/540.31 c #Conflicts: 201000 | #Constraints: 13417
538.50/540.31 c #Conflicts: 202000 | #Constraints: 14417
538.50/540.31 c #Conflicts: 203000 | #Constraints: 15417
538.50/540.31 c #Conflicts: 204000 | #Constraints: 16417
538.50/540.31 c #Conflicts: 205000 | #Constraints: 17417
538.50/540.31 c #Conflicts: 206000 | #Constraints: 18417
538.50/540.31 c #Conflicts: 207000 | #Constraints: 19417
538.50/540.31 c INPROCESSING
538.50/540.31 c GARBAGE COLLECT
538.50/540.31 c #Conflicts: 208000 | #Constraints: 11424
538.50/540.31 c #Conflicts: 209000 | #Constraints: 12424
538.50/540.31 c #Conflicts: 210000 | #Constraints: 13425
538.50/540.31 c #Conflicts: 211000 | #Constraints: 14425
538.50/540.31 c #Conflicts: 212000 | #Constraints: 15425
538.50/540.31 c #Conflicts: 213000 | #Constraints: 16425
825.93/828.60 c #Conflicts: 214000 | #Constraints: 17425
825.93/828.60 c #Conflicts: 215000 | #Constraints: 18425
825.93/828.60 c #Conflicts: 216000 | #Constraints: 19425
825.93/828.60 c INPROCESSING
825.93/828.60 c GARBAGE COLLECT
825.93/828.60 c #Conflicts: 217000 | #Constraints: 11255
825.93/828.60 c #Conflicts: 218000 | #Constraints: 12255
825.93/828.60 c #Conflicts: 219000 | #Constraints: 13255
825.93/828.60 c #Conflicts: 220000 | #Constraints: 14255
825.93/828.60 c #Conflicts: 221000 | #Constraints: 15255
825.93/828.60 c #Conflicts: 222000 | #Constraints: 16255
825.93/828.60 c #Conflicts: 223000 | #Constraints: 17255
825.93/828.60 c #Conflicts: 224000 | #Constraints: 18255
825.93/828.60 c #Conflicts: 225000 | #Constraints: 19255
825.93/828.60 c #Conflicts: 226000 | #Constraints: 20255
825.93/828.60 c INPROCESSING
825.93/828.60 c GARBAGE COLLECT
825.93/828.60 c #Conflicts: 227000 | #Constraints: 11865
825.93/828.60 c #Conflicts: 228000 | #Constraints: 12865
825.93/828.60 c #Conflicts: 229000 | #Constraints: 13865
825.93/828.60 c #Conflicts: 230000 | #Constraints: 14865
825.93/828.60 c #Conflicts: 231000 | #Constraints: 15865
825.93/828.60 c #Conflicts: 232000 | #Constraints: 16865
825.93/828.60 c #Conflicts: 233000 | #Constraints: 17865
825.93/828.60 c #Conflicts: 234000 | #Constraints: 18865
825.93/828.60 c #Conflicts: 235000 | #Constraints: 19865
825.93/828.60 c #Conflicts: 236000 | #Constraints: 20865
825.93/828.60 c INPROCESSING
825.93/828.60 c GARBAGE COLLECT
825.93/828.60 c #Conflicts: 237000 | #Constraints: 12249
825.93/828.60 c #Conflicts: 238000 | #Constraints: 13249
825.93/828.60 c #Conflicts: 239000 | #Constraints: 14249
825.93/828.60 c #Conflicts: 240000 | #Constraints: 15249
825.93/828.60 c #Conflicts: 241000 | #Constraints: 16249
825.93/828.60 c #Conflicts: 242000 | #Constraints: 17249
825.93/828.60 c #Conflicts: 243000 | #Constraints: 18249
825.93/828.60 c #Conflicts: 244000 | #Constraints: 19249
825.93/828.60 c #Conflicts: 245000 | #Constraints: 20249
825.93/828.60 c #Conflicts: 246000 | #Constraints: 21249
825.93/828.60 c INPROCESSING
825.93/828.60 c GARBAGE COLLECT
825.93/828.60 c #Conflicts: 247000 | #Constraints: 12406
825.93/828.60 c #Conflicts: 248000 | #Constraints: 13406
825.93/828.60 c #Conflicts: 249000 | #Constraints: 14406
825.93/828.60 c #Conflicts: 250000 | #Constraints: 15406
825.93/828.60 c #Conflicts: 251000 | #Constraints: 16406
825.93/828.60 c #Conflicts: 252000 | #Constraints: 17406
825.93/828.60 c #Conflicts: 253000 | #Constraints: 18406
825.93/828.60 c #Conflicts: 254000 | #Constraints: 19406
825.93/828.60 c #Conflicts: 255000 | #Constraints: 20406
825.93/828.60 c #Conflicts: 256000 | #Constraints: 21406
825.93/828.60 c INPROCESSING
825.93/828.60 c GARBAGE COLLECT
825.93/828.60 c #Conflicts: 257000 | #Constraints: 12399
825.93/828.60 c #Conflicts: 258000 | #Constraints: 13399
825.93/828.60 c #Conflicts: 259000 | #Constraints: 14399
825.93/828.60 c #Conflicts: 260000 | #Constraints: 15399
825.93/828.60 c #Conflicts: 261000 | #Constraints: 16399
825.93/828.60 c #Conflicts: 262000 | #Constraints: 17399
825.93/828.60 c #Conflicts: 263000 | #Constraints: 18399
825.93/828.60 c #Conflicts: 264000 | #Constraints: 19399
825.93/828.60 c #Conflicts: 265000 | #Constraints: 20399
825.93/828.60 c #Conflicts: 266000 | #Constraints: 21399
825.93/828.60 c INPROCESSING
825.93/828.60 c GARBAGE COLLECT
825.93/828.60 c #Conflicts: 267000 | #Constraints: 12207
825.93/828.60 c #Conflicts: 268000 | #Constraints: 13207
825.93/828.60 c #Conflicts: 269000 | #Constraints: 14207
825.93/828.60 c #Conflicts: 270000 | #Constraints: 15207
825.93/828.60 c #Conflicts: 271000 | #Constraints: 16207
825.93/828.60 c #Conflicts: 272000 | #Constraints: 17207
825.93/828.60 c #Conflicts: 273000 | #Constraints: 18207
825.93/828.60 c #Conflicts: 274000 | #Constraints: 19207
825.93/828.60 c #Conflicts: 275000 | #Constraints: 20207
825.93/828.60 c #Conflicts: 276000 | #Constraints: 21207
825.93/828.60 c #Conflicts: 277000 | #Constraints: 22207
825.93/828.60 c INPROCESSING
825.93/828.60 c GARBAGE COLLECT
825.93/828.60 c #Conflicts: 278000 | #Constraints: 12780
825.93/828.60 c #Conflicts: 279000 | #Constraints: 13780
825.93/828.60 c #Conflicts: 280000 | #Constraints: 14780
825.93/828.60 c #Conflicts: 281000 | #Constraints: 15780
825.93/828.60 c #Conflicts: 282000 | #Constraints: 16781
825.93/828.60 c #Conflicts: 283000 | #Constraints: 17781
825.93/828.60 c #Conflicts: 284000 | #Constraints: 18781
825.93/828.60 c #Conflicts: 285000 | #Constraints: 19781
825.93/828.60 c #Conflicts: 286000 | #Constraints: 20781
825.93/828.60 c #Conflicts: 287000 | #Constraints: 21781
825.93/828.60 c #Conflicts: 288000 | #Constraints: 22781
1089.54/1093.06 c INPROCESSING
1089.54/1093.06 c GARBAGE COLLECT
1089.54/1093.06 c #Conflicts: 289000 | #Constraints: 13183
1089.54/1093.06 c #Conflicts: 290000 | #Constraints: 14183
1089.54/1093.06 c #Conflicts: 291000 | #Constraints: 15183
1089.54/1093.06 c #Conflicts: 292000 | #Constraints: 16183
1089.54/1093.06 c #Conflicts: 293000 | #Constraints: 17183
1089.54/1093.06 c #Conflicts: 294000 | #Constraints: 18183
1089.54/1093.06 c #Conflicts: 295000 | #Constraints: 19183
1089.54/1093.06 c #Conflicts: 296000 | #Constraints: 20183
1089.54/1093.06 c #Conflicts: 297000 | #Constraints: 21183
1089.54/1093.06 c #Conflicts: 298000 | #Constraints: 22183
1089.54/1093.06 c #Conflicts: 299000 | #Constraints: 23183
1089.54/1093.06 c INPROCESSING
1089.54/1093.06 c GARBAGE COLLECT
1089.54/1093.06 c #Conflicts: 300000 | #Constraints: 13389
1089.54/1093.06 c #Conflicts: 301000 | #Constraints: 14389
1089.54/1093.06 c #Conflicts: 302000 | #Constraints: 15389
1089.54/1093.06 c #Conflicts: 303000 | #Constraints: 16389
1089.54/1093.06 c #Conflicts: 304000 | #Constraints: 17389
1089.54/1093.06 c #Conflicts: 305000 | #Constraints: 18389
1089.54/1093.06 c #Conflicts: 306000 | #Constraints: 19389
1089.54/1093.06 c #Conflicts: 307000 | #Constraints: 20389
1089.54/1093.06 c #Conflicts: 308000 | #Constraints: 21389
1089.54/1093.06 c #Conflicts: 309000 | #Constraints: 22389
1089.54/1093.06 c #Conflicts: 310000 | #Constraints: 23389
1089.54/1093.06 c INPROCESSING
1089.54/1093.06 c GARBAGE COLLECT
1089.54/1093.06 c #Conflicts: 311000 | #Constraints: 13407
1089.54/1093.06 c #Conflicts: 312000 | #Constraints: 14407
1089.54/1093.06 c #Conflicts: 313000 | #Constraints: 15407
1089.54/1093.06 c #Conflicts: 314000 | #Constraints: 16407
1089.54/1093.06 c #Conflicts: 315000 | #Constraints: 17407
1089.54/1093.06 c #Conflicts: 316000 | #Constraints: 18407
1089.54/1093.06 c #Conflicts: 317000 | #Constraints: 19407
1089.54/1093.06 c #Conflicts: 318000 | #Constraints: 20407
1089.54/1093.06 c #Conflicts: 319000 | #Constraints: 21407
1089.54/1093.06 c #Conflicts: 320000 | #Constraints: 22407
1089.54/1093.06 c #Conflicts: 321000 | #Constraints: 23407
1089.54/1093.06 c INPROCESSING
1089.54/1093.06 c GARBAGE COLLECT
1089.54/1093.06 c #Conflicts: 322000 | #Constraints: 13226
1089.54/1093.06 c #Conflicts: 323000 | #Constraints: 14226
1089.54/1093.06 c #Conflicts: 324000 | #Constraints: 15226
1089.54/1093.06 c #Conflicts: 325000 | #Constraints: 16226
1089.54/1093.06 c #Conflicts: 326000 | #Constraints: 17226
1089.54/1093.06 c #Conflicts: 327000 | #Constraints: 18226
1089.54/1093.06 c #Conflicts: 328000 | #Constraints: 19226
1089.54/1093.06 c #Conflicts: 329000 | #Constraints: 20226
1089.54/1093.06 c #Conflicts: 330000 | #Constraints: 21226
1089.54/1093.06 c #Conflicts: 331000 | #Constraints: 22226
1089.54/1093.06 c #Conflicts: 332000 | #Constraints: 23226
1089.54/1093.06 c #Conflicts: 333000 | #Constraints: 24226
1089.54/1093.06 c INPROCESSING
1089.54/1093.06 c GARBAGE COLLECT
1089.54/1093.06 c #Conflicts: 334000 | #Constraints: 13798
1089.54/1093.06 c #Conflicts: 335000 | #Constraints: 14798
1089.54/1093.06 c #Conflicts: 336000 | #Constraints: 15798
1089.54/1093.06 c #Conflicts: 337000 | #Constraints: 16798
1089.54/1093.06 c #Conflicts: 338000 | #Constraints: 17798
1089.54/1093.06 c #Conflicts: 339000 | #Constraints: 18798
1089.54/1093.06 c #Conflicts: 340000 | #Constraints: 19798
1089.54/1093.06 c #Conflicts: 341000 | #Constraints: 20798
1089.54/1093.06 c #Conflicts: 342000 | #Constraints: 21798
1089.54/1093.06 c #Conflicts: 343000 | #Constraints: 22798
1089.54/1093.06 c #Conflicts: 344000 | #Constraints: 23798
1089.54/1093.06 c #Conflicts: 345000 | #Constraints: 24798
1089.54/1093.06 c INPROCESSING
1089.54/1093.06 c GARBAGE COLLECT
1089.54/1093.06 c #Conflicts: 346000 | #Constraints: 14195
1089.54/1093.06 c #Conflicts: 347000 | #Constraints: 15195
1089.54/1093.06 c #Conflicts: 348000 | #Constraints: 16195
1089.54/1093.06 c #Conflicts: 349000 | #Constraints: 17195
1089.54/1093.06 c #Conflicts: 350000 | #Constraints: 18195
1089.54/1093.06 c #Conflicts: 351000 | #Constraints: 19195
1089.54/1093.06 c #Conflicts: 352000 | #Constraints: 20195
1089.54/1093.06 c #Conflicts: 353000 | #Constraints: 21195
1089.54/1093.06 c #Conflicts: 354000 | #Constraints: 22195
1089.54/1093.06 c #Conflicts: 355000 | #Constraints: 23195
1089.54/1093.06 c #Conflicts: 356000 | #Constraints: 24195
1089.54/1093.06 c #Conflicts: 357000 | #Constraints: 25195
1089.54/1093.06 c INPROCESSING
1089.54/1093.06 c GARBAGE COLLECT
1089.54/1093.06 c #Conflicts: 358000 | #Constraints: 14393
1089.54/1093.06 c #Conflicts: 359000 | #Constraints: 15393
1089.54/1093.06 c #Conflicts: 360000 | #Constraints: 16393
1089.54/1093.06 c #Conflicts: 361000 | #Constraints: 17393
1089.54/1093.06 c #Conflicts: 362000 | #Constraints: 18393
1354.13/1358.34 c #Conflicts: 363000 | #Constraints: 19393
1354.13/1358.34 c #Conflicts: 364000 | #Constraints: 20393
1354.13/1358.34 c #Conflicts: 365000 | #Constraints: 21393
1354.13/1358.34 c #Conflicts: 366000 | #Constraints: 22393
1354.13/1358.34 c #Conflicts: 367000 | #Constraints: 23393
1354.13/1358.34 c #Conflicts: 368000 | #Constraints: 24393
1354.13/1358.34 c #Conflicts: 369000 | #Constraints: 25393
1354.13/1358.34 c INPROCESSING
1354.13/1358.34 c GARBAGE COLLECT
1354.13/1358.34 c #Conflicts: 370000 | #Constraints: 14421
1354.13/1358.34 c #Conflicts: 371000 | #Constraints: 15421
1354.13/1358.34 c #Conflicts: 372000 | #Constraints: 16421
1354.13/1358.34 c #Conflicts: 373000 | #Constraints: 17421
1354.13/1358.34 c #Conflicts: 374000 | #Constraints: 18421
1354.13/1358.34 c #Conflicts: 375000 | #Constraints: 19421
1354.13/1358.34 c #Conflicts: 376000 | #Constraints: 20421
1354.13/1358.34 c #Conflicts: 377000 | #Constraints: 21421
1354.13/1358.34 c #Conflicts: 378000 | #Constraints: 22421
1354.13/1358.34 c #Conflicts: 379000 | #Constraints: 23421
1354.13/1358.34 c #Conflicts: 380000 | #Constraints: 24421
1354.13/1358.34 c #Conflicts: 381000 | #Constraints: 25421
1354.13/1358.34 c INPROCESSING
1354.13/1358.34 c GARBAGE COLLECT
1354.13/1358.34 c #Conflicts: 382000 | #Constraints: 14229
1354.13/1358.34 c #Conflicts: 383000 | #Constraints: 15229
1354.13/1358.34 c #Conflicts: 384000 | #Constraints: 16229
1354.13/1358.34 c #Conflicts: 385000 | #Constraints: 17229
1354.13/1358.34 c #Conflicts: 386000 | #Constraints: 18229
1354.13/1358.34 c #Conflicts: 387000 | #Constraints: 19229
1354.13/1358.34 c #Conflicts: 388000 | #Constraints: 20229
1354.13/1358.34 c #Conflicts: 389000 | #Constraints: 21229
1354.13/1358.34 c #Conflicts: 390000 | #Constraints: 22229
1354.13/1358.34 c #Conflicts: 391000 | #Constraints: 23229
1354.13/1358.34 c #Conflicts: 392000 | #Constraints: 24229
1354.13/1358.34 c #Conflicts: 393000 | #Constraints: 25229
1354.13/1358.34 c #Conflicts: 394000 | #Constraints: 26229
1354.13/1358.34 c INPROCESSING
1354.13/1358.34 c GARBAGE COLLECT
1354.13/1358.34 c #Conflicts: 395000 | #Constraints: 14821
1354.13/1358.34 c #Conflicts: 396000 | #Constraints: 15821
1354.13/1358.34 c #Conflicts: 397000 | #Constraints: 16822
1354.13/1358.34 c #Conflicts: 398000 | #Constraints: 17822
1354.13/1358.34 c #Conflicts: 399000 | #Constraints: 18822
1354.13/1358.34 c #Conflicts: 400000 | #Constraints: 19822
1354.13/1358.34 c #Conflicts: 401000 | #Constraints: 20822
1354.13/1358.34 c #Conflicts: 402000 | #Constraints: 21822
1354.13/1358.34 c #Conflicts: 403000 | #Constraints: 22822
1354.13/1358.34 c #Conflicts: 404000 | #Constraints: 23822
1354.13/1358.34 c #Conflicts: 405000 | #Constraints: 24822
1354.13/1358.34 c #Conflicts: 406000 | #Constraints: 25822
1354.13/1358.34 c #Conflicts: 407000 | #Constraints: 26822
1354.13/1358.34 c INPROCESSING
1354.13/1358.34 c GARBAGE COLLECT
1354.13/1358.34 c #Conflicts: 408000 | #Constraints: 15203
1354.13/1358.34 c #Conflicts: 409000 | #Constraints: 16203
1354.13/1358.34 c #Conflicts: 410000 | #Constraints: 17203
1354.13/1358.34 c #Conflicts: 411000 | #Constraints: 18203
1354.13/1358.34 c #Conflicts: 412000 | #Constraints: 19203
1354.13/1358.34 c #Conflicts: 413000 | #Constraints: 20203
1354.13/1358.34 c #Conflicts: 414000 | #Constraints: 21203
1354.13/1358.34 c #Conflicts: 415000 | #Constraints: 22203
1354.13/1358.34 c #Conflicts: 416000 | #Constraints: 23203
1354.13/1358.34 c #Conflicts: 417000 | #Constraints: 24203
1354.13/1358.34 c #Conflicts: 418000 | #Constraints: 25203
1354.13/1358.34 c #Conflicts: 419000 | #Constraints: 26203
1354.13/1358.34 c #Conflicts: 420000 | #Constraints: 27203
1354.13/1358.34 c INPROCESSING
1354.13/1358.34 c GARBAGE COLLECT
1354.13/1358.34 c #Conflicts: 421000 | #Constraints: 15434
1354.13/1358.34 c #Conflicts: 422000 | #Constraints: 16434
1354.13/1358.34 c #Conflicts: 423000 | #Constraints: 17434
1354.13/1358.34 c #Conflicts: 424000 | #Constraints: 18434
1354.13/1358.34 c #Conflicts: 425000 | #Constraints: 19434
1354.13/1358.34 c #Conflicts: 426000 | #Constraints: 20434
1354.13/1358.34 c #Conflicts: 427000 | #Constraints: 21434
1354.13/1358.34 c #Conflicts: 428000 | #Constraints: 22434
1354.13/1358.34 c #Conflicts: 429000 | #Constraints: 23434
1354.13/1358.34 c #Conflicts: 430000 | #Constraints: 24434
1354.13/1358.34 c #Conflicts: 431000 | #Constraints: 25434
1354.13/1358.34 c #Conflicts: 432000 | #Constraints: 26434
1354.13/1358.34 c #Conflicts: 433000 | #Constraints: 27434
1354.13/1358.34 c INPROCESSING
1354.13/1358.34 c GARBAGE COLLECT
1354.13/1358.34 c #Conflicts: 434000 | #Constraints: 15464
1354.13/1358.34 c #Conflicts: 435000 | #Constraints: 16464
1354.13/1358.34 c #Conflicts: 436000 | #Constraints: 17464
1354.13/1358.34 c #Conflicts: 437000 | #Constraints: 18464
1666.92/1671.97 c #Conflicts: 438000 | #Constraints: 19464
1666.92/1671.97 c #Conflicts: 439000 | #Constraints: 20464
1666.92/1671.97 c #Conflicts: 440000 | #Constraints: 21464
1666.92/1671.97 c #Conflicts: 441000 | #Constraints: 22464
1666.92/1671.97 c #Conflicts: 442000 | #Constraints: 23464
1666.92/1671.97 c #Conflicts: 443000 | #Constraints: 24464
1666.92/1671.97 c #Conflicts: 444000 | #Constraints: 25464
1666.92/1671.97 c #Conflicts: 445000 | #Constraints: 26464
1666.92/1671.97 c #Conflicts: 446000 | #Constraints: 27464
1666.92/1671.97 c INPROCESSING
1666.92/1671.97 c GARBAGE COLLECT
1666.92/1671.97 c #Conflicts: 447000 | #Constraints: 15283
1666.92/1671.97 c #Conflicts: 448000 | #Constraints: 16283
1666.92/1671.97 c #Conflicts: 449000 | #Constraints: 17283
1666.92/1671.97 c #Conflicts: 450000 | #Constraints: 18283
1666.92/1671.97 c #Conflicts: 451000 | #Constraints: 19283
1666.92/1671.97 c #Conflicts: 452000 | #Constraints: 20283
1666.92/1671.97 c #Conflicts: 453000 | #Constraints: 21283
1666.92/1671.97 c #Conflicts: 454000 | #Constraints: 22283
1666.92/1671.97 c #Conflicts: 455000 | #Constraints: 23283
1666.92/1671.97 c #Conflicts: 456000 | #Constraints: 24283
1666.92/1671.97 c #Conflicts: 457000 | #Constraints: 25283
1666.92/1671.97 c #Conflicts: 458000 | #Constraints: 26283
1666.92/1671.97 c #Conflicts: 459000 | #Constraints: 27283
1666.92/1671.97 c #Conflicts: 460000 | #Constraints: 28283
1666.92/1671.97 c INPROCESSING
1666.92/1671.97 c GARBAGE COLLECT
1666.92/1671.97 c #Conflicts: 461000 | #Constraints: 15871
1666.92/1671.97 c #Conflicts: 462000 | #Constraints: 16871
1666.92/1671.97 c #Conflicts: 463000 | #Constraints: 17871
1666.92/1671.97 c #Conflicts: 464000 | #Constraints: 18871
1666.92/1671.97 c #Conflicts: 465000 | #Constraints: 19871
1666.92/1671.97 c #Conflicts: 466000 | #Constraints: 20871
1666.92/1671.97 c #Conflicts: 467000 | #Constraints: 21871
1666.92/1671.97 c #Conflicts: 468000 | #Constraints: 22871
1666.92/1671.97 c #Conflicts: 469000 | #Constraints: 23871
1666.92/1671.97 c #Conflicts: 470000 | #Constraints: 24871
1666.92/1671.97 c #Conflicts: 471000 | #Constraints: 25871
1666.92/1671.97 c #Conflicts: 472000 | #Constraints: 26871
1666.92/1671.97 c #Conflicts: 473000 | #Constraints: 27871
1666.92/1671.97 c #Conflicts: 474000 | #Constraints: 28871
1666.92/1671.97 c INPROCESSING
1666.92/1671.97 c GARBAGE COLLECT
1666.92/1671.98 c #Conflicts: 475000 | #Constraints: 16278
1666.92/1671.98 c #Conflicts: 476000 | #Constraints: 17278
1666.92/1671.98 c #Conflicts: 477000 | #Constraints: 18278
1666.92/1671.98 c #Conflicts: 478000 | #Constraints: 19278
1666.92/1671.98 c #Conflicts: 479000 | #Constraints: 20278
1666.92/1671.98 c #Conflicts: 480000 | #Constraints: 21278
1666.92/1671.98 c #Conflicts: 481000 | #Constraints: 22278
1666.92/1671.98 c #Conflicts: 482000 | #Constraints: 23278
1666.92/1671.98 c #Conflicts: 483000 | #Constraints: 24278
1666.92/1671.98 c #Conflicts: 484000 | #Constraints: 25278
1666.92/1671.98 c #Conflicts: 485000 | #Constraints: 26278
1666.92/1671.98 c #Conflicts: 486000 | #Constraints: 27278
1666.92/1671.98 c #Conflicts: 487000 | #Constraints: 28278
1666.92/1671.98 c #Conflicts: 488000 | #Constraints: 29278
1666.92/1671.98 c INPROCESSING
1666.92/1671.98 c GARBAGE COLLECT
1666.92/1671.98 c #Conflicts: 489000 | #Constraints: 16489
1666.92/1671.98 c #Conflicts: 490000 | #Constraints: 17489
1666.92/1671.98 c #Conflicts: 491000 | #Constraints: 18489
1666.92/1671.98 c #Conflicts: 492000 | #Constraints: 19489
1666.92/1671.98 c #Conflicts: 493000 | #Constraints: 20489
1666.92/1671.98 c #Conflicts: 494000 | #Constraints: 21489
1666.92/1671.98 c #Conflicts: 495000 | #Constraints: 22489
1666.92/1671.98 c #Conflicts: 496000 | #Constraints: 23489
1666.92/1671.98 c #Conflicts: 497000 | #Constraints: 24489
1666.92/1671.98 c #Conflicts: 498000 | #Constraints: 25489
1666.92/1671.98 c #Conflicts: 499000 | #Constraints: 26489
1666.92/1671.98 c #Conflicts: 500000 | #Constraints: 27489
1666.92/1671.98 c #Conflicts: 501000 | #Constraints: 28489
1666.92/1671.98 c #Conflicts: 502000 | #Constraints: 29489
1666.92/1671.98 c INPROCESSING
1666.92/1671.98 c GARBAGE COLLECT
1666.92/1671.98 c #Conflicts: 503000 | #Constraints: 16504
1666.92/1671.98 c #Conflicts: 504000 | #Constraints: 17504
1666.92/1671.98 c #Conflicts: 505000 | #Constraints: 18504
1666.92/1671.98 c #Conflicts: 506000 | #Constraints: 19504
1666.92/1671.98 c #Conflicts: 507000 | #Constraints: 20504
1666.92/1671.98 c #Conflicts: 508000 | #Constraints: 21504
1666.92/1671.98 c #Conflicts: 509000 | #Constraints: 22504
1666.92/1671.98 c #Conflicts: 510000 | #Constraints: 23504
1666.92/1671.98 c #Conflicts: 511000 | #Constraints: 24504
1666.92/1671.98 c #Conflicts: 512000 | #Constraints: 25504
1666.92/1671.98 c #Conflicts: 513000 | #Constraints: 26504
1731.62/1736.96 c #Conflicts: 514000 | #Constraints: 27504
1731.62/1736.96 c #Conflicts: 515000 | #Constraints: 28504
1731.62/1736.96 c #Conflicts: 516000 | #Constraints: 29504
1731.62/1736.96 c INPROCESSING
1731.62/1736.96 c GARBAGE COLLECT
1731.62/1736.96 c #Conflicts: 517000 | #Constraints: 16257
1731.62/1736.96 c #Conflicts: 518000 | #Constraints: 17257
1731.62/1736.96 c #Conflicts: 519000 | #Constraints: 18257
1731.62/1736.96 c #Conflicts: 520000 | #Constraints: 19257
1731.62/1736.96 c #Conflicts: 521000 | #Constraints: 20257
1731.62/1736.96 c #Conflicts: 522000 | #Constraints: 21257
1731.62/1736.96 c #Conflicts: 523000 | #Constraints: 22257
1731.62/1736.96 c #Conflicts: 524000 | #Constraints: 23257
1731.62/1736.96 c #Conflicts: 525000 | #Constraints: 24257
1731.62/1736.96 c #Conflicts: 526000 | #Constraints: 25257
1731.62/1736.96 c #Conflicts: 527000 | #Constraints: 26257
1731.62/1736.96 c #Conflicts: 528000 | #Constraints: 27257
1731.62/1736.96 c #Conflicts: 529000 | #Constraints: 28257
1731.62/1736.96 c #Conflicts: 530000 | #Constraints: 29257
1731.62/1736.96 c #Conflicts: 531000 | #Constraints: 30257
1731.62/1736.96 c INPROCESSING
1731.62/1736.96 c GARBAGE COLLECT
1731.62/1736.96 c rational objective 153
1859.77/1865.45 c #Conflicts: 532000 | #Constraints: 16850
1859.77/1865.45 c #Conflicts: 533000 | #Constraints: 17850
1859.77/1865.45 c #Conflicts: 534000 | #Constraints: 18850
1859.77/1865.45 c #Conflicts: 535000 | #Constraints: 19850
1859.77/1865.45 c #Conflicts: 536000 | #Constraints: 20850
1859.77/1865.45 c #Conflicts: 537000 | #Constraints: 21850
1859.77/1865.45 c #Conflicts: 538000 | #Constraints: 22850
1859.77/1865.45 c #Conflicts: 539000 | #Constraints: 23850
1859.77/1865.45 c #Conflicts: 540000 | #Constraints: 24850
1859.77/1865.45 c #Conflicts: 541000 | #Constraints: 25850
1859.77/1865.45 c #Conflicts: 542000 | #Constraints: 26850
1859.77/1865.45 c #Conflicts: 543000 | #Constraints: 27850
1859.77/1865.45 c #Conflicts: 544000 | #Constraints: 28850
1859.77/1865.45 c #Conflicts: 545000 | #Constraints: 29850
1859.77/1865.45 c #Conflicts: 546000 | #Constraints: 30850
1859.77/1865.45 c INPROCESSING
1859.77/1865.45 c GARBAGE COLLECT
1859.77/1865.45 c #Conflicts: 547000 | #Constraints: 17249
1859.77/1865.45 c #Conflicts: 548000 | #Constraints: 18249
1859.77/1865.45 c #Conflicts: 549000 | #Constraints: 19249
1859.77/1865.45 c #Conflicts: 550000 | #Constraints: 20249
1859.77/1865.45 c #Conflicts: 551000 | #Constraints: 21249
1859.77/1865.45 c #Conflicts: 552000 | #Constraints: 22249
1859.77/1865.45 c #Conflicts: 553000 | #Constraints: 23249
1859.77/1865.45 c #Conflicts: 554000 | #Constraints: 24249
1859.77/1865.45 c #Conflicts: 555000 | #Constraints: 25249
1859.77/1865.45 c #Conflicts: 556000 | #Constraints: 26249
1859.77/1865.45 c #Conflicts: 557000 | #Constraints: 27249
1859.77/1865.45 c #Conflicts: 558000 | #Constraints: 28249
1859.77/1865.45 c #Conflicts: 559000 | #Constraints: 29249
1859.77/1865.45 c #Conflicts: 560000 | #Constraints: 30249
1859.77/1865.45 c #Conflicts: 561000 | #Constraints: 31249
1859.77/1865.45 c INPROCESSING
1859.77/1865.45 c GARBAGE COLLECT
1859.77/1865.45 c rational objective 153
2160.23/2166.87 c #Conflicts: 562000 | #Constraints: 17411
2160.23/2166.87 c #Conflicts: 563000 | #Constraints: 18411
2160.23/2166.87 c #Conflicts: 564000 | #Constraints: 19411
2160.23/2166.87 c #Conflicts: 565000 | #Constraints: 20411
2160.23/2166.87 c #Conflicts: 566000 | #Constraints: 21411
2160.23/2166.87 c #Conflicts: 567000 | #Constraints: 22411
2160.23/2166.87 c #Conflicts: 568000 | #Constraints: 23411
2160.23/2166.87 c #Conflicts: 569000 | #Constraints: 24411
2160.23/2166.87 c #Conflicts: 570000 | #Constraints: 25411
2160.23/2166.87 c #Conflicts: 571000 | #Constraints: 26411
2160.23/2166.87 c #Conflicts: 572000 | #Constraints: 27411
2160.23/2166.87 c #Conflicts: 573000 | #Constraints: 28411
2160.23/2166.87 c #Conflicts: 574000 | #Constraints: 29411
2160.23/2166.87 c #Conflicts: 575000 | #Constraints: 30411
2160.23/2166.87 c #Conflicts: 576000 | #Constraints: 31411
2160.23/2166.87 c INPROCESSING
2160.23/2166.87 c GARBAGE COLLECT
2160.23/2166.87 c #Conflicts: 577000 | #Constraints: 17445
2160.23/2166.87 c #Conflicts: 578000 | #Constraints: 18445
2160.23/2166.87 c #Conflicts: 579000 | #Constraints: 19445
2160.23/2166.87 c #Conflicts: 580000 | #Constraints: 20445
2160.23/2166.87 c #Conflicts: 581000 | #Constraints: 21445
2160.23/2166.87 c #Conflicts: 582000 | #Constraints: 22445
2160.23/2166.87 c #Conflicts: 583000 | #Constraints: 23445
2160.23/2166.87 c #Conflicts: 584000 | #Constraints: 24445
2160.23/2166.87 c #Conflicts: 585000 | #Constraints: 25445
2160.23/2166.87 c #Conflicts: 586000 | #Constraints: 26445
2160.23/2166.87 c #Conflicts: 587000 | #Constraints: 27445
2160.23/2166.87 c #Conflicts: 588000 | #Constraints: 28445
2160.23/2166.87 c #Conflicts: 589000 | #Constraints: 29445
2160.23/2166.87 c #Conflicts: 590000 | #Constraints: 30445
2160.23/2166.87 c #Conflicts: 591000 | #Constraints: 31445
2160.23/2166.87 c INPROCESSING
2160.23/2166.87 c GARBAGE COLLECT
2160.23/2166.87 c #Conflicts: 592000 | #Constraints: 17254
2160.23/2166.87 c #Conflicts: 593000 | #Constraints: 18254
2160.23/2166.87 c #Conflicts: 594000 | #Constraints: 19254
2160.23/2166.87 c #Conflicts: 595000 | #Constraints: 20254
2160.23/2166.87 c #Conflicts: 596000 | #Constraints: 21254
2160.23/2166.87 c #Conflicts: 597000 | #Constraints: 22254
2160.23/2166.87 c #Conflicts: 598000 | #Constraints: 23254
2160.23/2166.87 c #Conflicts: 599000 | #Constraints: 24254
2160.23/2166.87 c #Conflicts: 600000 | #Constraints: 25254
2160.23/2166.87 c #Conflicts: 601000 | #Constraints: 26254
2160.23/2166.87 c #Conflicts: 602000 | #Constraints: 27254
2160.23/2166.87 c #Conflicts: 603000 | #Constraints: 28254
2160.23/2166.87 c #Conflicts: 604000 | #Constraints: 29254
2160.23/2166.87 c #Conflicts: 605000 | #Constraints: 30254
2160.23/2166.87 c #Conflicts: 606000 | #Constraints: 31254
2160.23/2166.87 c #Conflicts: 607000 | #Constraints: 32254
2160.23/2166.87 c INPROCESSING
2160.23/2166.87 c GARBAGE COLLECT
2160.23/2166.87 c #Conflicts: 608000 | #Constraints: 17863
2160.23/2166.87 c #Conflicts: 609000 | #Constraints: 18863
2160.23/2166.87 c #Conflicts: 610000 | #Constraints: 19863
2160.23/2166.87 c #Conflicts: 611000 | #Constraints: 20863
2160.23/2166.87 c #Conflicts: 612000 | #Constraints: 21863
2160.23/2166.87 c #Conflicts: 613000 | #Constraints: 22863
2160.23/2166.87 c #Conflicts: 614000 | #Constraints: 23863
2160.23/2166.87 c #Conflicts: 615000 | #Constraints: 24863
2160.23/2166.87 c #Conflicts: 616000 | #Constraints: 25863
2160.23/2166.87 c #Conflicts: 617000 | #Constraints: 26863
2160.23/2166.87 c #Conflicts: 618000 | #Constraints: 27863
2160.23/2166.87 c #Conflicts: 619000 | #Constraints: 28863
2160.23/2166.87 c #Conflicts: 620000 | #Constraints: 29863
2160.23/2166.87 c #Conflicts: 621000 | #Constraints: 30863
2160.23/2166.87 c #Conflicts: 622000 | #Constraints: 31864
2160.23/2166.87 c #Conflicts: 623000 | #Constraints: 32864
2160.23/2166.87 c INPROCESSING
2160.23/2166.87 c GARBAGE COLLECT
2160.23/2166.87 c #Conflicts: 624000 | #Constraints: 18257
2160.23/2166.87 c #Conflicts: 625000 | #Constraints: 19257
2160.23/2166.87 c #Conflicts: 626000 | #Constraints: 20257
2160.23/2166.87 c #Conflicts: 627000 | #Constraints: 21257
2160.23/2166.87 c #Conflicts: 628000 | #Constraints: 22257
2160.23/2166.87 c #Conflicts: 629000 | #Constraints: 23257
2160.23/2166.87 c #Conflicts: 630000 | #Constraints: 24257
2160.23/2166.87 c #Conflicts: 631000 | #Constraints: 25257
2160.23/2166.87 c #Conflicts: 632000 | #Constraints: 26257
2160.23/2166.87 c #Conflicts: 633000 | #Constraints: 27257
2160.23/2166.87 c #Conflicts: 634000 | #Constraints: 28257
2160.23/2166.87 c #Conflicts: 635000 | #Constraints: 29257
2160.23/2166.87 c #Conflicts: 636000 | #Constraints: 30257
2160.23/2166.87 c #Conflicts: 637000 | #Constraints: 31257
2160.23/2166.87 c #Conflicts: 638000 | #Constraints: 32257
2506.60/2514.19 c #Conflicts: 639000 | #Constraints: 33257
2506.60/2514.19 c INPROCESSING
2506.60/2514.19 c GARBAGE COLLECT
2506.60/2514.19 c #Conflicts: 640000 | #Constraints: 18420
2506.60/2514.19 c #Conflicts: 641000 | #Constraints: 19420
2506.60/2514.19 c #Conflicts: 642000 | #Constraints: 20420
2506.60/2514.19 c #Conflicts: 643000 | #Constraints: 21420
2506.60/2514.19 c #Conflicts: 644000 | #Constraints: 22420
2506.60/2514.19 c #Conflicts: 645000 | #Constraints: 23420
2506.60/2514.19 c #Conflicts: 646000 | #Constraints: 24420
2506.60/2514.19 c #Conflicts: 647000 | #Constraints: 25420
2506.60/2514.19 c #Conflicts: 648000 | #Constraints: 26420
2506.60/2514.19 c #Conflicts: 649000 | #Constraints: 27420
2506.60/2514.19 c #Conflicts: 650000 | #Constraints: 28420
2506.60/2514.19 c #Conflicts: 651000 | #Constraints: 29420
2506.60/2514.19 c #Conflicts: 652000 | #Constraints: 30420
2506.60/2514.19 c #Conflicts: 653000 | #Constraints: 31420
2506.60/2514.19 c #Conflicts: 654000 | #Constraints: 32420
2506.60/2514.19 c #Conflicts: 655000 | #Constraints: 33420
2506.60/2514.19 c INPROCESSING
2506.60/2514.19 c GARBAGE COLLECT
2506.60/2514.19 c #Conflicts: 656000 | #Constraints: 18446
2506.60/2514.19 c #Conflicts: 657000 | #Constraints: 19446
2506.60/2514.19 c #Conflicts: 658000 | #Constraints: 20446
2506.60/2514.19 c #Conflicts: 659000 | #Constraints: 21446
2506.60/2514.19 c #Conflicts: 660000 | #Constraints: 22446
2506.60/2514.19 c #Conflicts: 661000 | #Constraints: 23446
2506.60/2514.19 c #Conflicts: 662000 | #Constraints: 24446
2506.60/2514.19 c #Conflicts: 663000 | #Constraints: 25446
2506.60/2514.19 c #Conflicts: 664000 | #Constraints: 26446
2506.60/2514.19 c #Conflicts: 665000 | #Constraints: 27446
2506.60/2514.19 c #Conflicts: 666000 | #Constraints: 28446
2506.60/2514.19 c #Conflicts: 667000 | #Constraints: 29446
2506.60/2514.19 c #Conflicts: 668000 | #Constraints: 30446
2506.60/2514.19 c #Conflicts: 669000 | #Constraints: 31446
2506.60/2514.19 c #Conflicts: 670000 | #Constraints: 32446
2506.60/2514.19 c #Conflicts: 671000 | #Constraints: 33446
2506.60/2514.19 c INPROCESSING
2506.60/2514.19 c GARBAGE COLLECT
2506.60/2514.19 c #Conflicts: 672000 | #Constraints: 18196
2506.60/2514.19 c #Conflicts: 673000 | #Constraints: 19196
2506.60/2514.19 c #Conflicts: 674000 | #Constraints: 20196
2506.60/2514.19 c #Conflicts: 675000 | #Constraints: 21196
2506.60/2514.19 c #Conflicts: 676000 | #Constraints: 22196
2506.60/2514.19 c #Conflicts: 677000 | #Constraints: 23196
2506.60/2514.19 c #Conflicts: 678000 | #Constraints: 24196
2506.60/2514.19 c #Conflicts: 679000 | #Constraints: 25196
2506.60/2514.19 c #Conflicts: 680000 | #Constraints: 26196
2506.60/2514.19 c #Conflicts: 681000 | #Constraints: 27196
2506.60/2514.19 c #Conflicts: 682000 | #Constraints: 28196
2506.60/2514.19 c #Conflicts: 683000 | #Constraints: 29196
2506.60/2514.19 c #Conflicts: 684000 | #Constraints: 30196
2506.60/2514.19 c #Conflicts: 685000 | #Constraints: 31196
2506.60/2514.19 c #Conflicts: 686000 | #Constraints: 32196
2506.60/2514.19 c #Conflicts: 687000 | #Constraints: 33196
2506.60/2514.19 c #Conflicts: 688000 | #Constraints: 34196
2506.60/2514.19 c INPROCESSING
2506.60/2514.19 c GARBAGE COLLECT
2506.60/2514.19 c #Conflicts: 689000 | #Constraints: 18828
2506.60/2514.19 c #Conflicts: 690000 | #Constraints: 19828
2506.60/2514.19 c #Conflicts: 691000 | #Constraints: 20828
2506.60/2514.19 c #Conflicts: 692000 | #Constraints: 21828
2506.60/2514.19 c #Conflicts: 693000 | #Constraints: 22828
2506.60/2514.19 c #Conflicts: 694000 | #Constraints: 23828
2506.60/2514.19 c #Conflicts: 695000 | #Constraints: 24828
2506.60/2514.19 c #Conflicts: 696000 | #Constraints: 25828
2506.60/2514.19 c #Conflicts: 697000 | #Constraints: 26828
2506.60/2514.19 c #Conflicts: 698000 | #Constraints: 27828
2506.60/2514.19 c #Conflicts: 699000 | #Constraints: 28828
2506.60/2514.19 c #Conflicts: 700000 | #Constraints: 29828
2506.60/2514.19 c #Conflicts: 701000 | #Constraints: 30828
2506.60/2514.19 c #Conflicts: 702000 | #Constraints: 31828
2506.60/2514.19 c #Conflicts: 703000 | #Constraints: 32828
2506.60/2514.19 c #Conflicts: 704000 | #Constraints: 33828
2506.60/2514.19 c #Conflicts: 705000 | #Constraints: 34828
2506.60/2514.19 c INPROCESSING
2506.60/2514.19 c GARBAGE COLLECT
2506.60/2514.19 c #Conflicts: 706000 | #Constraints: 19252
2506.60/2514.19 c #Conflicts: 707000 | #Constraints: 20252
2506.60/2514.19 c #Conflicts: 708000 | #Constraints: 21252
2506.60/2514.19 c #Conflicts: 709000 | #Constraints: 22252
2506.60/2514.19 c #Conflicts: 710000 | #Constraints: 23252
2506.60/2514.19 c #Conflicts: 711000 | #Constraints: 24252
2506.60/2514.19 c #Conflicts: 712000 | #Constraints: 25252
2506.60/2514.19 c #Conflicts: 713000 | #Constraints: 26252
2846.71/2855.18 c #Conflicts: 714000 | #Constraints: 27252
2846.71/2855.18 c #Conflicts: 715000 | #Constraints: 28252
2846.71/2855.18 c #Conflicts: 716000 | #Constraints: 29252
2846.71/2855.18 c #Conflicts: 717000 | #Constraints: 30252
2846.71/2855.18 c #Conflicts: 718000 | #Constraints: 31252
2846.71/2855.18 c #Conflicts: 719000 | #Constraints: 32252
2846.71/2855.18 c #Conflicts: 720000 | #Constraints: 33252
2846.71/2855.18 c #Conflicts: 721000 | #Constraints: 34252
2846.71/2855.18 c #Conflicts: 722000 | #Constraints: 35252
2846.71/2855.18 c INPROCESSING
2846.71/2855.18 c GARBAGE COLLECT
2846.71/2855.18 c #Conflicts: 723000 | #Constraints: 19471
2846.71/2855.18 c #Conflicts: 724000 | #Constraints: 20471
2846.71/2855.18 c #Conflicts: 725000 | #Constraints: 21471
2846.71/2855.18 c #Conflicts: 726000 | #Constraints: 22471
2846.71/2855.18 c #Conflicts: 727000 | #Constraints: 23471
2846.71/2855.18 c #Conflicts: 728000 | #Constraints: 24471
2846.71/2855.18 c #Conflicts: 729000 | #Constraints: 25471
2846.71/2855.18 c #Conflicts: 730000 | #Constraints: 26471
2846.71/2855.18 c #Conflicts: 731000 | #Constraints: 27471
2846.71/2855.18 c #Conflicts: 732000 | #Constraints: 28471
2846.71/2855.18 c #Conflicts: 733000 | #Constraints: 29471
2846.71/2855.18 c #Conflicts: 734000 | #Constraints: 30471
2846.71/2855.18 c #Conflicts: 735000 | #Constraints: 31471
2846.71/2855.18 c #Conflicts: 736000 | #Constraints: 32471
2846.71/2855.18 c #Conflicts: 737000 | #Constraints: 33471
2846.71/2855.18 c #Conflicts: 738000 | #Constraints: 34471
2846.71/2855.18 c #Conflicts: 739000 | #Constraints: 35471
2846.71/2855.18 c INPROCESSING
2846.71/2855.18 c GARBAGE COLLECT
2846.71/2855.18 c #Conflicts: 740000 | #Constraints: 19475
2846.71/2855.18 c #Conflicts: 741000 | #Constraints: 20475
2846.71/2855.18 c #Conflicts: 742000 | #Constraints: 21475
2846.71/2855.18 c #Conflicts: 743000 | #Constraints: 22475
2846.71/2855.18 c #Conflicts: 744000 | #Constraints: 23475
2846.71/2855.18 c #Conflicts: 745000 | #Constraints: 24475
2846.71/2855.18 c #Conflicts: 746000 | #Constraints: 25475
2846.71/2855.18 c #Conflicts: 747000 | #Constraints: 26475
2846.71/2855.18 c #Conflicts: 748000 | #Constraints: 27475
2846.71/2855.18 c #Conflicts: 749000 | #Constraints: 28475
2846.71/2855.18 c #Conflicts: 750000 | #Constraints: 29475
2846.71/2855.18 c #Conflicts: 751000 | #Constraints: 30475
2846.71/2855.18 c #Conflicts: 752000 | #Constraints: 31475
2846.71/2855.18 c #Conflicts: 753000 | #Constraints: 32475
2846.71/2855.18 c #Conflicts: 754000 | #Constraints: 33475
2846.71/2855.18 c #Conflicts: 755000 | #Constraints: 34475
2846.71/2855.18 c #Conflicts: 756000 | #Constraints: 35475
2846.71/2855.18 c INPROCESSING
2846.71/2855.18 c GARBAGE COLLECT
2846.71/2855.18 c #Conflicts: 757000 | #Constraints: 19257
2846.71/2855.18 c #Conflicts: 758000 | #Constraints: 20257
2846.71/2855.18 c #Conflicts: 759000 | #Constraints: 21257
2846.71/2855.18 c #Conflicts: 760000 | #Constraints: 22257
2846.71/2855.18 c #Conflicts: 761000 | #Constraints: 23257
2846.71/2855.18 c #Conflicts: 762000 | #Constraints: 24257
2846.71/2855.18 c #Conflicts: 763000 | #Constraints: 25257
2846.71/2855.18 c #Conflicts: 764000 | #Constraints: 26257
2846.71/2855.18 c #Conflicts: 765000 | #Constraints: 27257
2846.71/2855.18 c #Conflicts: 766000 | #Constraints: 28257
2846.71/2855.18 c #Conflicts: 767000 | #Constraints: 29257
2846.71/2855.18 c #Conflicts: 768000 | #Constraints: 30257
2846.71/2855.18 c #Conflicts: 769000 | #Constraints: 31257
2846.71/2855.18 c #Conflicts: 770000 | #Constraints: 32257
2846.71/2855.18 c #Conflicts: 771000 | #Constraints: 33257
2846.71/2855.18 c #Conflicts: 772000 | #Constraints: 34257
2846.71/2855.18 c #Conflicts: 773000 | #Constraints: 35257
2846.71/2855.18 c #Conflicts: 774000 | #Constraints: 36257
2846.71/2855.18 c INPROCESSING
2846.71/2855.18 c GARBAGE COLLECT
2846.71/2855.18 c #Conflicts: 775000 | #Constraints: 19831
2846.71/2855.18 c #Conflicts: 776000 | #Constraints: 20831
2846.71/2855.18 c #Conflicts: 777000 | #Constraints: 21831
2846.71/2855.18 c #Conflicts: 778000 | #Constraints: 22831
2846.71/2855.18 c #Conflicts: 779000 | #Constraints: 23831
2846.71/2855.18 c #Conflicts: 780000 | #Constraints: 24831
2846.71/2855.18 c #Conflicts: 781000 | #Constraints: 25831
2846.71/2855.18 c #Conflicts: 782000 | #Constraints: 26831
2846.71/2855.18 c #Conflicts: 783000 | #Constraints: 27831
2846.71/2855.18 c #Conflicts: 784000 | #Constraints: 28831
2846.71/2855.18 c #Conflicts: 785000 | #Constraints: 29831
2846.71/2855.18 c #Conflicts: 786000 | #Constraints: 30831
2846.71/2855.18 c #Conflicts: 787000 | #Constraints: 31831
2846.71/2855.18 c #Conflicts: 788000 | #Constraints: 32831
2846.71/2855.18 c #Conflicts: 789000 | #Constraints: 33831
2846.71/2855.18 c #Conflicts: 790000 | #Constraints: 34831
3155.58/3164.84 c #Conflicts: 791000 | #Constraints: 35831
3155.58/3164.84 c #Conflicts: 792000 | #Constraints: 36831
3155.58/3164.84 c INPROCESSING
3155.58/3164.84 c GARBAGE COLLECT
3155.58/3164.84 c #Conflicts: 793000 | #Constraints: 20224
3155.58/3164.84 c #Conflicts: 794000 | #Constraints: 21224
3155.58/3164.84 c #Conflicts: 795000 | #Constraints: 22224
3155.58/3164.84 c #Conflicts: 796000 | #Constraints: 23224
3155.58/3164.84 c #Conflicts: 797000 | #Constraints: 24224
3155.58/3164.84 c #Conflicts: 798000 | #Constraints: 25224
3155.58/3164.84 c #Conflicts: 799000 | #Constraints: 26224
3155.58/3164.84 c #Conflicts: 800000 | #Constraints: 27224
3155.58/3164.84 c #Conflicts: 801000 | #Constraints: 28224
3155.58/3164.84 c #Conflicts: 802000 | #Constraints: 29224
3155.58/3164.84 c #Conflicts: 803000 | #Constraints: 30224
3155.58/3164.84 c #Conflicts: 804000 | #Constraints: 31224
3155.58/3164.84 c #Conflicts: 805000 | #Constraints: 32224
3155.58/3164.84 c #Conflicts: 806000 | #Constraints: 33224
3155.58/3164.84 c #Conflicts: 807000 | #Constraints: 34224
3155.58/3164.84 c #Conflicts: 808000 | #Constraints: 35224
3155.58/3164.84 c #Conflicts: 809000 | #Constraints: 36224
3155.58/3164.84 c #Conflicts: 810000 | #Constraints: 37224
3155.58/3164.84 c INPROCESSING
3155.58/3164.84 c GARBAGE COLLECT
3155.58/3164.84 c #Conflicts: 811000 | #Constraints: 20453
3155.58/3164.84 c #Conflicts: 812000 | #Constraints: 21453
3155.58/3164.84 c #Conflicts: 813000 | #Constraints: 22453
3155.58/3164.84 c #Conflicts: 814000 | #Constraints: 23453
3155.58/3164.84 c #Conflicts: 815000 | #Constraints: 24453
3155.58/3164.84 c #Conflicts: 816000 | #Constraints: 25453
3155.58/3164.84 c #Conflicts: 817000 | #Constraints: 26453
3155.58/3164.84 c #Conflicts: 818000 | #Constraints: 27453
3155.58/3164.84 c #Conflicts: 819000 | #Constraints: 28453
3155.58/3164.84 c #Conflicts: 820000 | #Constraints: 29453
3155.58/3164.84 c #Conflicts: 821000 | #Constraints: 30453
3155.58/3164.84 c #Conflicts: 822000 | #Constraints: 31453
3155.58/3164.84 c #Conflicts: 823000 | #Constraints: 32453
3155.58/3164.84 c #Conflicts: 824000 | #Constraints: 33453
3155.58/3164.84 c #Conflicts: 825000 | #Constraints: 34453
3155.58/3164.84 c #Conflicts: 826000 | #Constraints: 35453
3155.58/3164.84 c #Conflicts: 827000 | #Constraints: 36453
3155.58/3164.84 c #Conflicts: 828000 | #Constraints: 37453
3155.58/3164.84 c INPROCESSING
3155.58/3164.84 c GARBAGE COLLECT
3155.58/3164.84 c #Conflicts: 829000 | #Constraints: 20456
3155.58/3164.84 c #Conflicts: 830000 | #Constraints: 21456
3155.58/3164.84 c #Conflicts: 831000 | #Constraints: 22456
3155.58/3164.84 c #Conflicts: 832000 | #Constraints: 23456
3155.58/3164.84 c #Conflicts: 833000 | #Constraints: 24457
3155.58/3164.84 c #Conflicts: 834000 | #Constraints: 25457
3155.58/3164.84 c #Conflicts: 835000 | #Constraints: 26457
3155.58/3164.84 c #Conflicts: 836000 | #Constraints: 27457
3155.58/3164.84 c #Conflicts: 837000 | #Constraints: 28457
3155.58/3164.84 c #Conflicts: 838000 | #Constraints: 29457
3155.58/3164.84 c #Conflicts: 839000 | #Constraints: 30457
3155.58/3164.84 c #Conflicts: 840000 | #Constraints: 31457
3155.58/3164.84 c #Conflicts: 841000 | #Constraints: 32457
3155.58/3164.84 c #Conflicts: 842000 | #Constraints: 33457
3155.58/3164.84 c #Conflicts: 843000 | #Constraints: 34457
3155.58/3164.84 c #Conflicts: 844000 | #Constraints: 35457
3155.58/3164.84 c #Conflicts: 845000 | #Constraints: 36457
3155.58/3164.84 c #Conflicts: 846000 | #Constraints: 37457
3155.58/3164.84 c INPROCESSING
3155.58/3164.84 c GARBAGE COLLECT
3155.58/3164.84 c #Conflicts: 847000 | #Constraints: 20222
3155.58/3164.84 c #Conflicts: 848000 | #Constraints: 21222
3155.58/3164.84 c #Conflicts: 849000 | #Constraints: 22222
3155.58/3164.84 c #Conflicts: 850000 | #Constraints: 23222
3155.58/3164.84 c #Conflicts: 851000 | #Constraints: 24222
3155.58/3164.84 c #Conflicts: 852000 | #Constraints: 25222
3155.58/3164.84 c #Conflicts: 853000 | #Constraints: 26222
3155.58/3164.84 c #Conflicts: 854000 | #Constraints: 27222
3155.58/3164.84 c #Conflicts: 855000 | #Constraints: 28222
3155.58/3164.84 c #Conflicts: 856000 | #Constraints: 29222
3155.58/3164.84 c #Conflicts: 857000 | #Constraints: 30222
3155.58/3164.84 c #Conflicts: 858000 | #Constraints: 31222
3155.58/3164.84 c #Conflicts: 859000 | #Constraints: 32222
3155.58/3164.84 c #Conflicts: 860000 | #Constraints: 33222
3155.58/3164.84 c #Conflicts: 861000 | #Constraints: 34222
3155.58/3164.84 c #Conflicts: 862000 | #Constraints: 35222
3155.58/3164.84 c #Conflicts: 863000 | #Constraints: 36222
3155.58/3164.84 c #Conflicts: 864000 | #Constraints: 37222
3155.58/3164.84 c #Conflicts: 865000 | #Constraints: 38222
3155.58/3164.84 c INPROCESSING
3476.54/3486.64 c GARBAGE COLLECT
3476.54/3486.64 c #Conflicts: 866000 | #Constraints: 20803
3476.54/3486.64 c #Conflicts: 867000 | #Constraints: 21803
3476.54/3486.64 c #Conflicts: 868000 | #Constraints: 22803
3476.54/3486.64 c #Conflicts: 869000 | #Constraints: 23803
3476.54/3486.64 c #Conflicts: 870000 | #Constraints: 24803
3476.54/3486.64 c #Conflicts: 871000 | #Constraints: 25803
3476.54/3486.64 c #Conflicts: 872000 | #Constraints: 26803
3476.54/3486.64 c #Conflicts: 873000 | #Constraints: 27803
3476.54/3486.64 c #Conflicts: 874000 | #Constraints: 28803
3476.54/3486.64 c #Conflicts: 875000 | #Constraints: 29803
3476.54/3486.64 c #Conflicts: 876000 | #Constraints: 30803
3476.54/3486.64 c #Conflicts: 877000 | #Constraints: 31803
3476.54/3486.64 c #Conflicts: 878000 | #Constraints: 32803
3476.54/3486.64 c #Conflicts: 879000 | #Constraints: 33803
3476.54/3486.64 c #Conflicts: 880000 | #Constraints: 34803
3476.54/3486.64 c #Conflicts: 881000 | #Constraints: 35803
3476.54/3486.64 c #Conflicts: 882000 | #Constraints: 36803
3476.54/3486.64 c #Conflicts: 883000 | #Constraints: 37803
3476.54/3486.64 c #Conflicts: 884000 | #Constraints: 38803
3476.54/3486.64 c INPROCESSING
3476.54/3486.64 c GARBAGE COLLECT
3476.54/3486.64 c #Conflicts: 885000 | #Constraints: 21245
3476.54/3486.64 c #Conflicts: 886000 | #Constraints: 22245
3476.54/3486.64 c #Conflicts: 887000 | #Constraints: 23245
3476.54/3486.64 c #Conflicts: 888000 | #Constraints: 24245
3476.54/3486.64 c #Conflicts: 889000 | #Constraints: 25245
3476.54/3486.64 c #Conflicts: 890000 | #Constraints: 26245
3476.54/3486.64 c #Conflicts: 891000 | #Constraints: 27245
3476.54/3486.64 c #Conflicts: 892000 | #Constraints: 28245
3476.54/3486.64 c #Conflicts: 893000 | #Constraints: 29245
3476.54/3486.64 c #Conflicts: 894000 | #Constraints: 30245
3476.54/3486.64 c #Conflicts: 895000 | #Constraints: 31245
3476.54/3486.64 c #Conflicts: 896000 | #Constraints: 32245
3476.54/3486.64 c #Conflicts: 897000 | #Constraints: 33245
3476.54/3486.64 c #Conflicts: 898000 | #Constraints: 34245
3476.54/3486.64 c #Conflicts: 899000 | #Constraints: 35245
3476.54/3486.64 c #Conflicts: 900000 | #Constraints: 36245
3476.54/3486.64 c #Conflicts: 901000 | #Constraints: 37245
3476.54/3486.64 c #Conflicts: 902000 | #Constraints: 38245
3476.54/3486.64 c #Conflicts: 903000 | #Constraints: 39245
3476.54/3486.64 c INPROCESSING
3476.54/3486.64 c GARBAGE COLLECT
3476.54/3486.64 c #Conflicts: 904000 | #Constraints: 21454
3476.54/3486.64 c #Conflicts: 905000 | #Constraints: 22454
3476.54/3486.64 c #Conflicts: 906000 | #Constraints: 23454
3476.54/3486.64 c #Conflicts: 907000 | #Constraints: 24454
3476.54/3486.64 c #Conflicts: 908000 | #Constraints: 25454
3476.54/3486.64 c #Conflicts: 909000 | #Constraints: 26454
3476.54/3486.64 c #Conflicts: 910000 | #Constraints: 27454
3476.54/3486.64 c #Conflicts: 911000 | #Constraints: 28454
3476.54/3486.64 c #Conflicts: 912000 | #Constraints: 29454
3476.54/3486.64 c #Conflicts: 913000 | #Constraints: 30454
3476.54/3486.64 c #Conflicts: 914000 | #Constraints: 31454
3476.54/3486.64 c #Conflicts: 915000 | #Constraints: 32454
3476.54/3486.64 c #Conflicts: 916000 | #Constraints: 33454
3476.54/3486.64 c #Conflicts: 917000 | #Constraints: 34454
3476.54/3486.64 c #Conflicts: 918000 | #Constraints: 35454
3476.54/3486.64 c #Conflicts: 919000 | #Constraints: 36454
3476.54/3486.64 c #Conflicts: 920000 | #Constraints: 37454
3476.54/3486.64 c #Conflicts: 921000 | #Constraints: 38454
3476.54/3486.64 c #Conflicts: 922000 | #Constraints: 39454
3476.54/3486.64 c INPROCESSING
3476.54/3486.64 c GARBAGE COLLECT
3476.54/3486.64 c #Conflicts: 923000 | #Constraints: 21454
3476.54/3486.64 c #Conflicts: 924000 | #Constraints: 22454
3476.54/3486.64 c #Conflicts: 925000 | #Constraints: 23454
3476.54/3486.64 c #Conflicts: 926000 | #Constraints: 24454
3476.54/3486.64 c #Conflicts: 927000 | #Constraints: 25454
3476.54/3486.64 c #Conflicts: 928000 | #Constraints: 26454
3476.54/3486.64 c #Conflicts: 929000 | #Constraints: 27454
3476.54/3486.64 c #Conflicts: 930000 | #Constraints: 28454
3476.54/3486.64 c #Conflicts: 931000 | #Constraints: 29454
3476.54/3486.64 c #Conflicts: 932000 | #Constraints: 30454
3476.54/3486.64 c #Conflicts: 933000 | #Constraints: 31454
3476.54/3486.64 c #Conflicts: 934000 | #Constraints: 32454
3476.54/3486.64 c #Conflicts: 935000 | #Constraints: 33454
3476.54/3486.64 c #Conflicts: 936000 | #Constraints: 34454
3476.54/3486.64 c #Conflicts: 937000 | #Constraints: 35454
3476.54/3486.64 c #Conflicts: 938000 | #Constraints: 36454
3476.54/3486.64 c #Conflicts: 939000 | #Constraints: 37454
3476.54/3486.64 c #Conflicts: 940000 | #Constraints: 38454
3476.54/3486.64 c #Conflicts: 941000 | #Constraints: 39454
3476.54/3486.64 c INPROCESSING
3476.54/3486.64 c GARBAGE COLLECT
3600.02/3610.40 c #Conflicts: 942000 | #Constraints: 21270
3600.02/3610.40 c #Conflicts: 943000 | #Constraints: 22270
3600.02/3610.40 c #Conflicts: 944000 | #Constraints: 23270
3600.02/3610.40 c #Conflicts: 945000 | #Constraints: 24270
3600.02/3610.40 c #Conflicts: 946000 | #Constraints: 25270
3600.02/3610.40 c #Conflicts: 947000 | #Constraints: 26270
3600.02/3610.40 c #Conflicts: 948000 | #Constraints: 27270
3600.02/3610.40 c #Conflicts: 949000 | #Constraints: 28270
3600.02/3610.40 c #Conflicts: 950000 | #Constraints: 29270
3600.02/3610.40 c #Conflicts: 951000 | #Constraints: 30270
3600.02/3610.40 c #Conflicts: 952000 | #Constraints: 31270
3600.02/3610.40 c #Conflicts: 953000 | #Constraints: 32270
3600.02/3610.40 c #Conflicts: 954000 | #Constraints: 33270
3600.02/3610.40 c #Conflicts: 955000 | #Constraints: 34270
3600.02/3610.40 c #Conflicts: 956000 | #Constraints: 35270
3600.02/3610.40 c #Conflicts: 957000 | #Constraints: 36271
3600.02/3610.40 c #Conflicts: 958000 | #Constraints: 37271
3600.02/3610.40 c #Conflicts: 959000 | #Constraints: 38271
3600.02/3610.40 c #Conflicts: 960000 | #Constraints: 39271
3600.02/3610.40 c #Conflicts: 961000 | #Constraints: 40271
3600.02/3610.40 c cpu time 3571.93 s
3600.02/3610.40 c deterministic time 367137658168 3.67e+11
3600.02/3610.40 c optimization time 122.543 s
3600.02/3610.40 c total solve time 3449.18 s
3600.02/3610.40 c core-guided solve time 0 s
3600.02/3610.40 c propagation time 1921.46 s
3600.02/3610.40 c conflict analysis time 1319.35 s
3600.02/3610.40 c propagations 284413388
3600.02/3610.40 c resolve steps 10528246
3600.02/3610.40 c decisions 12080632
3600.02/3610.40 c conflicts 961151
3600.02/3610.40 c restarts 2044
3600.02/3610.40 c inprocessing phases 88
3600.02/3610.40 c garbage collections 88 ,( 100.00 )
3600.02/3610.40 c input clauses 612 ,( 44.16 )
3600.02/3610.40 c input cardinalities 774 ,( 55.84 )
3600.02/3610.40 c input general constraints 0 ,( 0.00 )
3600.02/3610.40 c input average constraint length 168.90
3600.02/3610.40 c input average constraint degree 101.10
3600.02/3610.40 c learned clauses 103803 ,( 10.80 )
3600.02/3610.40 c learned cardinalities 60168 ,( 6.26 )
3600.02/3610.40 c learned general constraints 797188 ,( 82.94 )
3600.02/3610.40 c learned average constraint length 2301.45
3600.02/3610.40 c learned average constraint degree 6908440.83
3600.02/3610.40 c watched CF 32, 64, 128, Arb: 413239 , 0 , 0 , 0
3600.02/3610.40 c counting CF 32, 64, 128, Arb: 383949 , 0 , 0 , 0
3600.02/3610.40 c watched constraints 413239 ,( 51.84 )
3600.02/3610.40 c counting constraints 383949 ,( 48.16 )
3600.02/3610.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 61541667 , 836877093 , 630219924 ,( 160391363 , 469828561 )
3600.02/3610.40 c gcd simplifications 64
3600.02/3610.40 c detected cardinalities 0
3600.02/3610.40 c weakened non-implied lits 1792856051
3600.02/3610.40 c weakened non-implying lits 536425
3600.02/3610.40 c original variables 23409
3600.02/3610.40 c clausal propagations 1505781
3600.02/3610.40 c cardinality propagations 221688429
3600.02/3610.40 c watched propagations 4442674
3600.02/3610.40 c counting propagations 51645529
3600.02/3610.40 c watch lookups 36771306841
3600.02/3610.40 c watch backjump lookups 0
3600.02/3610.40 c watch checks 98770519990
3600.02/3610.40 c propagation checks 223760991064
3600.02/3610.40 c constraint additions 7240681367
3600.02/3610.40 c trail pops 297432924
3600.02/3610.40 c formula constraints 1386
3600.02/3610.40 c learned constraints 961143
3600.02/3610.40 c bound constraints 0
3600.02/3610.40 c core-guided constraints 0
3600.02/3610.40 c encountered formula constraints 4118013
3600.02/3610.40 c encountered learned constraints 7371330
3600.02/3610.40 c encountered bound constraints 0
3600.02/3610.40 c encountered core-guided constraints 0
3600.02/3610.40 c LP total time 195.413 s
3600.02/3610.40 c LP solve time 179.01 s
3600.02/3610.40 c LP constraints added 1389
3600.02/3610.40 c LP constraints removed 1
3600.02/3610.40 c LP pivots internal 103638
3600.02/3610.40 c LP pivots root 128323
3600.02/3610.40 c LP calls 18
3600.02/3610.40 c LP optimalities 4
3600.02/3610.40 c LP no pivot count 0
3600.02/3610.40 c LP infeasibilities 7
3600.02/3610.40 c LP valid Farkas constraints 7
3600.02/3610.40 c LP learned Farkas constraints 7
3600.02/3610.40 c LP basis resets 0
3600.02/3610.40 c LP cycling count 0
3600.02/3610.40 c LP singular count 0
3600.02/3610.40 c LP no primal count 0
3600.02/3610.40 c LP no farkas count 0
3600.02/3610.40 c LP other issue count 0
3600.02/3610.40 c LP Gomory cuts 2
3600.02/3610.40 c LP learned cuts 1
3600.02/3610.40 c LP deleted cuts 1
3600.02/3610.40 c LP encountered Gomory constraints 0
3600.02/3610.40 c LP encountered Farkas constraints 40
3600.02/3610.40 c LP encountered learned Farkas constraints 7
3600.02/3610.40 c CG auxiliary variables introduced 0
3600.02/3610.40 c CG solutions found 0
3600.02/3610.40 c CG cores constructed 0
3600.02/3610.40 c CG core cardinality constraints returned 0
3600.02/3610.40 c CG unit cores 0
3600.02/3610.40 c CG single cores 0
3600.02/3610.40 c CG blocks removed during cardinality reduction 0
3600.02/3610.40 c CG first core best 0
3600.02/3610.40 c CG decision core best 0
3600.02/3610.40 c CG core reduction tie 0
3600.02/3610.40 c CG core degree average 0.00
3600.02/3610.40 c CG core slack average 0.00
3600.02/3610.40 c CG core upper bound improvements 0
3600.02/3610.40 c STR number of successful calls 0
3600.02/3610.40 c STR number of unsuccessful calls 0
3600.02/3610.40 c STR number of inconclusive calls 0
3600.02/3610.40 c STR number of successful attempts 0
3600.02/3610.40 c STR number of unsuccessful attempts 0
3600.02/3610.40 c STR number of inconclusive attempts 0
3600.02/3610.40 c STR average degree increase per successful call inf
3600.02/3610.40 c STR average degree increase per successful attempt inf
3600.02/3610.40 c STR total number of conflicts for successful attempts 0
3600.02/3610.40 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.40 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.40 c STR average number of conflicts per successful attempt inf
3600.02/3610.40 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.40 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.40 c AVG.sumWPerc 40.95
3600.02/3610.40 c bigint constraints 0
3600.02/3610.40 s UNKNOWN
3600.02/3610.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63111 MiB free)
memory of node 1: 64507 MiB (63967 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493301-1751146611/watcher-4493301-1751146611 -o /tmp/evaluation-result-4493301-1751146611/solver-4493301-1751146611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15943 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4493301-1751146611.opb PROOFDIR/proof-4493301-1751146611
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=16216, runsolver pid=16212
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100067 s]*
/proc/loadavg: 1.19 2.04 3.08 5/251 16224
/proc/meminfo: memFree=130115756/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=60824 memory=16292 CPUtime=0.08 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 1773 0 0 0 7 1 0 0 20 0 1 0 30340863 62283776 4073 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 15206 4073 1984 1147 0 2633 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65016 KiB
Current children cumulated memory: 18980 KiB
[startup+0.212985 s]*
/proc/loadavg: 1.19 2.04 3.08 5/250 16228
/proc/meminfo: memFree=130111788/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=62984 memory=18340 CPUtime=0.2 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 2311 0 0 0 18 2 0 0 20 0 1 0 30340863 64495616 4585 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 15746 4585 1984 1147 0 3173 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67176 KiB
Current children cumulated memory: 21028 KiB
[startup+0.313246 s]*
/proc/loadavg: 1.19 2.04 3.08 5/253 16232
/proc/meminfo: memFree=130076992/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=78824 memory=35152 CPUtime=0.29 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 10548 0 0 0 25 4 0 0 20 0 1 0 30340863 80715776 8788 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 19706 8788 2272 1147 0 7133 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 83016 KiB
Current children cumulated memory: 37840 KiB
[startup+0.700372 s]
/proc/loadavg: 1.19 2.04 3.08 5/256 16238
/proc/meminfo: memFree=130067072/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=85160 memory=41040 CPUtime=0.66 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 11993 0 0 0 61 5 0 0 20 0 1 0 30340863 87203840 10260 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 21290 10260 2304 1147 0 8717 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 89352 KiB
Current children cumulated memory: 43728 KiB
[startup+1.50034 s]
/proc/loadavg: 1.19 2.04 3.08 5/256 16238
/proc/meminfo: memFree=130060772/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=86068 memory=41808 CPUtime=1.46 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 12193 0 0 0 141 5 0 0 20 0 1 0 30340863 88133632 10452 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 21517 10452 2304 1147 0 8944 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 90260 KiB
Current children cumulated memory: 44496 KiB
[startup+3.11297 s]
/proc/loadavg: 1.49 2.09 3.09 5/256 16238
/proc/meminfo: memFree=129983444/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=101016 memory=58656 CPUtime=3.07 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 15875 0 0 0 297 10 0 0 20 0 1 0 30340863 103440384 14664 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 25254 14664 2336 1147 0 12681 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 105208 KiB
Current children cumulated memory: 61344 KiB
[startup+6.30038 s]
/proc/loadavg: 1.49 2.09 3.09 5/257 16285
/proc/meminfo: memFree=129927880/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=140196 memory=97016 CPUtime=6.24 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 23421 0 0 0 600 24 0 0 20 0 1 0 30340863 143560704 24254 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 35049 24254 2336 1147 0 22476 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 144388 KiB
Current children cumulated memory: 99704 KiB
[startup+12.7004 s]
/proc/loadavg: 1.77 2.14 3.10 5/257 16285
/proc/meminfo: memFree=129739268/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=190008 memory=134784 CPUtime=12.63 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 29288 0 0 0 1226 37 0 0 20 0 1 0 30340863 194568192 33696 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 47502 33696 2336 1147 0 34929 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 194200 KiB
Current children cumulated memory: 137472 KiB
[startup+25.5004 s]
/proc/loadavg: 2.33 2.25 3.12 5/257 16332
/proc/meminfo: memFree=129554660/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=208708 memory=153472 CPUtime=25.4 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 33977 0 0 0 2484 56 0 0 20 0 1 0 30340863 213716992 38368 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 52177 38368 2336 1147 0 39604 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 212900 KiB
Current children cumulated memory: 156160 KiB
[startup+51.1132 s]
/proc/loadavg: 2.98 2.41 3.15 5/258 16333
/proc/meminfo: memFree=129025524/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=236976 memory=191900 CPUtime=50.9 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 41019 0 0 0 4990 100 0 0 20 0 1 0 30340863 242663424 47975 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 59244 47975 2336 1147 0 46671 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 241168 KiB
Current children cumulated memory: 194588 KiB
[startup+102.3 s]
/proc/loadavg: 3.63 2.67 3.20 5/262 16343
/proc/meminfo: memFree=128103076/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=368644 memory=288604 CPUtime=101.92 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 54492 0 0 0 10030 162 0 0 20 0 1 0 30340863 377491456 72151 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 92161 72151 2336 1147 0 79588 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 372836 KiB
Current children cumulated memory: 291292 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 2.95 3.26 5/263 16346
/proc/meminfo: memFree=127015680/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=417024 memory=337884 CPUtime=161.73 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 66619 0 0 0 15929 244 0 0 20 0 1 0 30340863 427032576 84471 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 104256 84471 2336 1147 0 91683 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 421216 KiB
Current children cumulated memory: 340572 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.17 3.32 5/263 16348
/proc/meminfo: memFree=125941792/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=454456 memory=401948 CPUtime=221.53 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 76004 0 0 0 21857 296 0 0 20 0 1 0 30340863 465362944 100487 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 113614 100487 2336 1147 0 101041 0
################
# More data... #
################
[pid=16219] ppid=16216 vsize=1672136 memory=1521100 CPUtime=3093.24 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 299600 0 0 0 306851 2473 0 0 20 0 1 0 30340863 1712267264 380275 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 418034 380275 2368 1147 0 405461 0
Current children cumulated CPU time: 3093.24 s
Current children cumulated vsize: 1676328 KiB
Current children cumulated memory: 1523788 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.15 4.13 5/260 16545
/proc/meminfo: memFree=86081896/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=1672136 memory=1521100 CPUtime=3153.09 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 299728 0 0 0 312798 2511 0 0 20 0 1 0 30340863 1712267264 380275 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 418034 380275 2368 1147 0 405461 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 1676328 KiB
Current children cumulated memory: 1523788 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/259 16547
/proc/meminfo: memFree=85282668/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=1674944 memory=1523916 CPUtime=3212.94 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 300883 0 0 0 318732 2562 0 0 20 0 1 0 30340863 1715142656 380979 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 418736 380979 2368 1147 0 406163 0
Current children cumulated CPU time: 3212.94 s
Current children cumulated vsize: 1679136 KiB
Current children cumulated memory: 1526604 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.16 4.13 5/259 16549
/proc/meminfo: memFree=84568248/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=1681580 memory=1530572 CPUtime=3272.77 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 302549 0 0 0 324670 2607 0 0 20 0 1 0 30340863 1721937920 382643 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 420395 382643 2368 1147 0 407822 0
Current children cumulated CPU time: 3272.77 s
Current children cumulated vsize: 1685772 KiB
Current children cumulated memory: 1533260 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.16 4.13 5/259 16551
/proc/meminfo: memFree=83968144/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=1685680 memory=1534540 CPUtime=3332.61 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 303576 0 0 0 330608 2653 0 0 20 0 1 0 30340863 1726136320 383635 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 421420 383635 2368 1147 0 408847 0
Current children cumulated CPU time: 3332.61 s
Current children cumulated vsize: 1689872 KiB
Current children cumulated memory: 1537228 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/260 16554
/proc/meminfo: memFree=83229740/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=1688248 memory=1537228 CPUtime=3392.45 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 304221 0 0 0 336546 2699 0 0 20 0 1 0 30340863 1728765952 384307 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 422062 384307 2368 1147 0 409489 0
Current children cumulated CPU time: 3392.45 s
Current children cumulated vsize: 1692440 KiB
Current children cumulated memory: 1539916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/259 16556
/proc/meminfo: memFree=82474540/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=1707004 memory=1555660 CPUtime=3452.3 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 308882 0 0 0 342499 2731 0 0 20 0 1 0 30340863 1747972096 388915 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 426751 388915 2368 1147 0 414178 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 1711196 KiB
Current children cumulated memory: 1558348 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/258 16558
/proc/meminfo: memFree=81779684/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=1723804 memory=1596884 CPUtime=3512.15 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 313195 0 0 0 348453 2762 0 0 20 0 1 0 30340863 1765175296 399221 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 430951 399221 2368 1147 0 418378 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 1727996 KiB
Current children cumulated memory: 1599572 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/259 16563
/proc/meminfo: memFree=81084776/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=1742496 memory=1615316 CPUtime=3571.99 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 317913 0 0 0 354403 2796 0 0 20 0 1 0 30340863 1784315904 403829 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 435624 403829 2368 1147 0 423051 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 1746688 KiB
Current children cumulated memory: 1618004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.09 4.11 4.10 5/253 16589
/proc/meminfo: memFree=81016164/131382112 swapFree=33010684/33010684
[pid=16216] ppid=16212 vsize=4192 memory=2688 CPUtime=0 cores=5,7
/proc/16216/stat : 16216 (run-dec-log.sh) S 16212 16216 15930 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30340862 4292608 672 18446744073709551615 94802049474560 94802050369093 140720480055232 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94802050608144 94802050655888 94802075058176 140720480061729 140720480061924 140720480061924 140720480067526 0
/proc/16216/statm: 1048 672 640 219 0 110 0
[pid=16219] ppid=16216 vsize=2117420 memory=1742976 CPUtime=3600.02 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16216 16216 15930 0 -1 4194304 324788 0 0 0 357193 2809 0 0 20 0 1 0 30340863 2168238080 435744 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 529355 435744 2368 1147 0 516782 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2121612 KiB
Current children cumulated memory: 1745664 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.41 s]
# the end of solver process 16216 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.005102 s
Sleeping 2 seconds
[startup+3610.55 s]
# the end of solver process 16219 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3571.94 s, system=28.1405 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.51 s]*
/proc/loadavg: 4.09 4.11 4.10 5/247 16600
/proc/meminfo: memFree=84785592/131382112 swapFree=33010684/33010684
[pid=16219] ppid=16212 vsize=2113596 memory=1739596 CPUtime=3600.04 cores=5,7
/proc/16219/stat : 16219 (roundingsat) R 16212 16216 15930 0 -1 4194304 324794 0 0 0 357193 2811 0 0 20 0 1 0 30340863 2164322304 434899 18446744073709551615 4227072 8923433 140726846834032 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 20328448 140726846839143 140726846839336 140726846839336 140726846844906 0
/proc/16219/statm: 528399 434899 2464 1147 0 515826 0
Current cumulated CPU time of completed processes: 0.005102 s
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2113596 KiB
Current children cumulated memory: 1739596 KiB
Child status: 2
Real time (s): 3610.55
CPU time (s): 3600.08
CPU user time (s): 3571.94
CPU system time (s): 28.1405
CPU usage (%): 99.7102
Max. virtual memory (cumulated for all children) (KiB): 2121612
Max. memory (cumulated for all children) (KiB): 1745664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.94
system time used= 28.1405
maximum resident set size= 1743360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41529536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1759
involuntary context switches= 6317
# summary of solver processes directly reported to runsolver:
# pid: 16216,16219
# total CPU time (s): 3600.08
# total CPU user time (s): 3571.94
# total CPU system time (s): 28.1405
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9316 second user time and 37.1901 second system time
The end
Begin job on nodeC009 at 2025-06-28 23:36:51
IDJOB=4493301
IDBENCH=147859
IDSOLVER=3352
FILE ID=nodeC009/4493301-1751146611
RUNJOBID= nodeC009-1751146607-15943
SLURM_JOB_ID= 9587463
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493301-1751146611/watcher-4493301-1751146611 -o /tmp/evaluation-result-4493301-1751146611/solver-4493301-1751146611 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751146607-15943 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4493301-1751146611.opb PROOFDIR/proof-4493301-1751146611
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=1415884218
nodeC009 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 : 0xb00001f
cpu MHz : 3660.938
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 2394.471
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1197.290
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1204.060
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1197.223
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1197.228
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1197.257
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
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 : 0xb00001f
cpu MHz : 1197.265
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.85
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 130130388 kB
MemAvailable: 129937324 kB
Buffers: 3280 kB
Cached: 617880 kB
SwapCached: 0 kB
Active: 313492 kB
Inactive: 407384 kB
Active(anon): 117704 kB
Inactive(anon): 0 kB
Active(file): 195788 kB
Inactive(file): 407384 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43300 kB
Writeback: 0 kB
AnonPages: 103064 kB
Mapped: 108876 kB
Shmem: 17960 kB
KReclaimable: 86396 kB
Slab: 166936 kB
SReclaimable: 86396 kB
SUnreclaim: 80540 kB
KernelStack: 4108 kB
PageTables: 3480 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 414252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 172872 kB
DirectMap2M: 9166848 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC009 at 2025-06-29 00:37:02