0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.10 c #variables 23409 #constraints 1386
128.48/128.98 c #Conflicts: 1000 | #Constraints: 2385
128.48/128.98 c #Conflicts: 2000 | #Constraints: 3385
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 3000 | #Constraints: 3418
128.48/128.98 c #Conflicts: 4000 | #Constraints: 4418
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 5000 | #Constraints: 3851
128.48/128.98 c #Conflicts: 6000 | #Constraints: 4851
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 7000 | #Constraints: 3870
128.48/128.98 c #Conflicts: 8000 | #Constraints: 4870
128.48/128.98 c #Conflicts: 9000 | #Constraints: 5870
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 10000 | #Constraints: 4586
128.48/128.98 c #Conflicts: 11000 | #Constraints: 5586
128.48/128.98 c #Conflicts: 12000 | #Constraints: 6586
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 13000 | #Constraints: 5039
128.48/128.98 c #Conflicts: 14000 | #Constraints: 6039
128.48/128.98 c #Conflicts: 15000 | #Constraints: 7039
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 16000 | #Constraints: 5297
128.48/128.98 c #Conflicts: 17000 | #Constraints: 6297
128.48/128.98 c #Conflicts: 18000 | #Constraints: 7297
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 19000 | #Constraints: 5338
128.48/128.98 c #Conflicts: 20000 | #Constraints: 6338
128.48/128.98 c #Conflicts: 21000 | #Constraints: 7338
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 22000 | #Constraints: 5128
128.48/128.98 c #Conflicts: 23000 | #Constraints: 6128
128.48/128.98 c #Conflicts: 24000 | #Constraints: 7128
128.48/128.98 c #Conflicts: 25000 | #Constraints: 8128
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 26000 | #Constraints: 5735
128.48/128.98 c #Conflicts: 27000 | #Constraints: 6735
128.48/128.98 c #Conflicts: 28000 | #Constraints: 7735
128.48/128.98 c #Conflicts: 29000 | #Constraints: 8735
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 30000 | #Constraints: 6132
128.48/128.98 c #Conflicts: 31000 | #Constraints: 7132
128.48/128.98 c #Conflicts: 32000 | #Constraints: 8132
128.48/128.98 c #Conflicts: 33000 | #Constraints: 9132
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 34000 | #Constraints: 6337
128.48/128.98 c #Conflicts: 35000 | #Constraints: 7337
128.48/128.98 c #Conflicts: 36000 | #Constraints: 8337
128.48/128.98 c #Conflicts: 37000 | #Constraints: 9337
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 38000 | #Constraints: 6374
128.48/128.98 c #Conflicts: 39000 | #Constraints: 7374
128.48/128.98 c #Conflicts: 40000 | #Constraints: 8374
128.48/128.98 c #Conflicts: 41000 | #Constraints: 9374
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 42000 | #Constraints: 6186
128.48/128.98 c #Conflicts: 43000 | #Constraints: 7186
128.48/128.98 c #Conflicts: 44000 | #Constraints: 8186
128.48/128.98 c #Conflicts: 45000 | #Constraints: 9186
128.48/128.98 c #Conflicts: 46000 | #Constraints: 10186
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 47000 | #Constraints: 6742
128.48/128.98 c #Conflicts: 48000 | #Constraints: 7742
128.48/128.98 c #Conflicts: 49000 | #Constraints: 8742
128.48/128.98 c #Conflicts: 50000 | #Constraints: 9742
128.48/128.98 c #Conflicts: 51000 | #Constraints: 10742
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 52000 | #Constraints: 7160
128.48/128.98 c #Conflicts: 53000 | #Constraints: 8160
128.48/128.98 c #Conflicts: 54000 | #Constraints: 9160
128.48/128.98 c #Conflicts: 55000 | #Constraints: 10160
128.48/128.98 c #Conflicts: 56000 | #Constraints: 11160
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 57000 | #Constraints: 7387
128.48/128.98 c #Conflicts: 58000 | #Constraints: 8387
128.48/128.98 c #Conflicts: 59000 | #Constraints: 9387
128.48/128.98 c #Conflicts: 60000 | #Constraints: 10387
128.48/128.98 c #Conflicts: 61000 | #Constraints: 11387
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 62000 | #Constraints: 7380
128.48/128.98 c #Conflicts: 63000 | #Constraints: 8380
128.48/128.98 c #Conflicts: 64000 | #Constraints: 9380
128.48/128.98 c #Conflicts: 65000 | #Constraints: 10380
128.48/128.98 c #Conflicts: 66000 | #Constraints: 11380
128.48/128.98 c INPROCESSING
128.48/128.98 c GARBAGE COLLECT
128.48/128.98 c #Conflicts: 67000 | #Constraints: 7159
128.48/128.98 c #Conflicts: 68000 | #Constraints: 8159
284.63/285.57 c #Conflicts: 69000 | #Constraints: 9159
284.63/285.57 c #Conflicts: 70000 | #Constraints: 10159
284.63/285.57 c #Conflicts: 71000 | #Constraints: 11159
284.63/285.57 c #Conflicts: 72000 | #Constraints: 12159
284.63/285.57 c INPROCESSING
284.63/285.57 c GARBAGE COLLECT
284.63/285.57 c #Conflicts: 73000 | #Constraints: 7757
284.63/285.57 c #Conflicts: 74000 | #Constraints: 8757
284.63/285.57 c #Conflicts: 75000 | #Constraints: 9757
284.63/285.57 c #Conflicts: 76000 | #Constraints: 10757
284.63/285.57 c #Conflicts: 77000 | #Constraints: 11757
284.63/285.57 c #Conflicts: 78000 | #Constraints: 12757
284.63/285.57 c INPROCESSING
284.63/285.57 c GARBAGE COLLECT
284.63/285.57 c #Conflicts: 79000 | #Constraints: 8166
284.63/285.57 c #Conflicts: 80000 | #Constraints: 9166
284.63/285.57 c #Conflicts: 81000 | #Constraints: 10166
284.63/285.57 c #Conflicts: 82000 | #Constraints: 11166
284.63/285.57 c #Conflicts: 83000 | #Constraints: 12166
284.63/285.57 c #Conflicts: 84000 | #Constraints: 13166
284.63/285.57 c INPROCESSING
284.63/285.57 c GARBAGE COLLECT
284.63/285.57 c #Conflicts: 85000 | #Constraints: 8369
284.63/285.57 c #Conflicts: 86000 | #Constraints: 9369
284.63/285.57 c #Conflicts: 87000 | #Constraints: 10369
284.63/285.57 c #Conflicts: 88000 | #Constraints: 11369
284.63/285.57 c #Conflicts: 89000 | #Constraints: 12369
284.63/285.57 c #Conflicts: 90000 | #Constraints: 13369
284.63/285.57 c INPROCESSING
284.63/285.57 c GARBAGE COLLECT
284.63/285.57 c #Conflicts: 91000 | #Constraints: 8372
284.63/285.57 c #Conflicts: 92000 | #Constraints: 9372
284.63/285.57 c #Conflicts: 93000 | #Constraints: 10372
284.63/285.57 c #Conflicts: 94000 | #Constraints: 11372
284.63/285.57 c #Conflicts: 95000 | #Constraints: 12372
284.63/285.57 c #Conflicts: 96000 | #Constraints: 13372
284.63/285.57 c INPROCESSING
284.63/285.57 c GARBAGE COLLECT
284.63/285.57 c #Conflicts: 97000 | #Constraints: 8195
284.63/285.57 c #Conflicts: 98000 | #Constraints: 9195
284.63/285.57 c #Conflicts: 99000 | #Constraints: 10195
284.63/285.57 c #Conflicts: 100000 | #Constraints: 11195
284.63/285.57 c #Conflicts: 101000 | #Constraints: 12196
284.63/285.57 c #Conflicts: 102000 | #Constraints: 13196
284.63/285.57 c #Conflicts: 103000 | #Constraints: 14196
284.63/285.57 c INPROCESSING
284.63/285.57 c GARBAGE COLLECT
284.63/285.57 c #Conflicts: 104000 | #Constraints: 8768
284.63/285.57 c #Conflicts: 105000 | #Constraints: 9768
284.63/285.57 c #Conflicts: 106000 | #Constraints: 10768
284.63/285.57 c #Conflicts: 107000 | #Constraints: 11768
284.63/285.57 c #Conflicts: 108000 | #Constraints: 12768
284.63/285.57 c #Conflicts: 109000 | #Constraints: 13768
284.63/285.57 c #Conflicts: 110000 | #Constraints: 14768
284.63/285.57 c INPROCESSING
284.63/285.57 c GARBAGE COLLECT
284.63/285.57 c #Conflicts: 111000 | #Constraints: 9195
284.63/285.57 c #Conflicts: 112000 | #Constraints: 10195
284.63/285.57 c #Conflicts: 113000 | #Constraints: 11195
284.63/285.57 c #Conflicts: 114000 | #Constraints: 12195
284.63/285.57 c #Conflicts: 115000 | #Constraints: 13195
284.63/285.57 c #Conflicts: 116000 | #Constraints: 14195
284.63/285.57 c #Conflicts: 117000 | #Constraints: 15195
284.63/285.57 c INPROCESSING
284.63/285.57 c GARBAGE COLLECT
284.63/285.57 c #Conflicts: 118000 | #Constraints: 9387
284.63/285.57 c #Conflicts: 119000 | #Constraints: 10387
284.63/285.57 c #Conflicts: 120000 | #Constraints: 11387
284.63/285.57 c #Conflicts: 121000 | #Constraints: 12387
284.63/285.57 c #Conflicts: 122000 | #Constraints: 13387
284.63/285.57 c #Conflicts: 123000 | #Constraints: 14387
284.63/285.57 c #Conflicts: 124000 | #Constraints: 15387
284.63/285.57 c INPROCESSING
284.63/285.57 c GARBAGE COLLECT
284.63/285.57 c #Conflicts: 125000 | #Constraints: 9379
284.63/285.57 c #Conflicts: 126000 | #Constraints: 10379
284.63/285.57 c #Conflicts: 127000 | #Constraints: 11379
284.63/285.57 c #Conflicts: 128000 | #Constraints: 12379
284.63/285.57 c #Conflicts: 129000 | #Constraints: 13379
284.63/285.57 c #Conflicts: 130000 | #Constraints: 14379
284.63/285.57 c #Conflicts: 131000 | #Constraints: 15379
284.63/285.57 c INPROCESSING
284.63/285.57 c GARBAGE COLLECT
284.63/285.57 c #Conflicts: 132000 | #Constraints: 9176
284.63/285.57 c #Conflicts: 133000 | #Constraints: 10176
284.63/285.57 c #Conflicts: 134000 | #Constraints: 11176
284.63/285.57 c #Conflicts: 135000 | #Constraints: 12176
284.63/285.57 c #Conflicts: 136000 | #Constraints: 13176
284.63/285.57 c #Conflicts: 137000 | #Constraints: 14176
284.63/285.57 c #Conflicts: 138000 | #Constraints: 15176
284.63/285.57 c #Conflicts: 139000 | #Constraints: 16176
284.63/285.57 c INPROCESSING
284.63/285.57 c GARBAGE COLLECT
284.63/285.57 c #Conflicts: 140000 | #Constraints: 9794
487.58/489.01 c #Conflicts: 141000 | #Constraints: 10794
487.58/489.01 c #Conflicts: 142000 | #Constraints: 11794
487.58/489.01 c #Conflicts: 143000 | #Constraints: 12794
487.58/489.01 c #Conflicts: 144000 | #Constraints: 13794
487.58/489.01 c #Conflicts: 145000 | #Constraints: 14794
487.58/489.01 c #Conflicts: 146000 | #Constraints: 15794
487.58/489.01 c #Conflicts: 147000 | #Constraints: 16794
487.58/489.01 c INPROCESSING
487.58/489.01 c GARBAGE COLLECT
487.58/489.01 c #Conflicts: 148000 | #Constraints: 10199
487.58/489.01 c #Conflicts: 149000 | #Constraints: 11199
487.58/489.01 c #Conflicts: 150000 | #Constraints: 12199
487.58/489.01 c #Conflicts: 151000 | #Constraints: 13199
487.58/489.01 c #Conflicts: 152000 | #Constraints: 14199
487.58/489.01 c #Conflicts: 153000 | #Constraints: 15199
487.58/489.01 c #Conflicts: 154000 | #Constraints: 16199
487.58/489.01 c #Conflicts: 155000 | #Constraints: 17199
487.58/489.01 c INPROCESSING
487.58/489.01 c GARBAGE COLLECT
487.58/489.01 c #Conflicts: 156000 | #Constraints: 10397
487.58/489.01 c #Conflicts: 157000 | #Constraints: 11397
487.58/489.01 c #Conflicts: 158000 | #Constraints: 12397
487.58/489.01 c #Conflicts: 159000 | #Constraints: 13397
487.58/489.01 c #Conflicts: 160000 | #Constraints: 14397
487.58/489.01 c #Conflicts: 161000 | #Constraints: 15397
487.58/489.01 c #Conflicts: 162000 | #Constraints: 16397
487.58/489.01 c #Conflicts: 163000 | #Constraints: 17397
487.58/489.01 c INPROCESSING
487.58/489.01 c GARBAGE COLLECT
487.58/489.01 c #Conflicts: 164000 | #Constraints: 10390
487.58/489.01 c #Conflicts: 165000 | #Constraints: 11390
487.58/489.01 c #Conflicts: 166000 | #Constraints: 12390
487.58/489.01 c #Conflicts: 167000 | #Constraints: 13390
487.58/489.01 c #Conflicts: 168000 | #Constraints: 14390
487.58/489.01 c #Conflicts: 169000 | #Constraints: 15390
487.58/489.01 c #Conflicts: 170000 | #Constraints: 16390
487.58/489.01 c #Conflicts: 171000 | #Constraints: 17390
487.58/489.01 c INPROCESSING
487.58/489.01 c GARBAGE COLLECT
487.58/489.01 c #Conflicts: 172000 | #Constraints: 10168
487.58/489.01 c #Conflicts: 173000 | #Constraints: 11168
487.58/489.01 c #Conflicts: 174000 | #Constraints: 12168
487.58/489.01 c #Conflicts: 175000 | #Constraints: 13168
487.58/489.01 c #Conflicts: 176000 | #Constraints: 14168
487.58/489.01 c #Conflicts: 177000 | #Constraints: 15168
487.58/489.01 c #Conflicts: 178000 | #Constraints: 16168
487.58/489.01 c #Conflicts: 179000 | #Constraints: 17168
487.58/489.01 c #Conflicts: 180000 | #Constraints: 18168
487.58/489.01 c INPROCESSING
487.58/489.01 c GARBAGE COLLECT
487.58/489.01 c #Conflicts: 181000 | #Constraints: 10756
487.58/489.01 c #Conflicts: 182000 | #Constraints: 11756
487.58/489.01 c #Conflicts: 183000 | #Constraints: 12756
487.58/489.01 c #Conflicts: 184000 | #Constraints: 13756
487.58/489.01 c #Conflicts: 185000 | #Constraints: 14756
487.58/489.01 c #Conflicts: 186000 | #Constraints: 15756
487.58/489.01 c #Conflicts: 187000 | #Constraints: 16756
487.58/489.01 c #Conflicts: 188000 | #Constraints: 17756
487.58/489.01 c #Conflicts: 189000 | #Constraints: 18756
487.58/489.01 c INPROCESSING
487.58/489.01 c GARBAGE COLLECT
487.58/489.01 c #Conflicts: 190000 | #Constraints: 11191
487.58/489.01 c #Conflicts: 191000 | #Constraints: 12191
487.58/489.01 c #Conflicts: 192000 | #Constraints: 13191
487.58/489.01 c #Conflicts: 193000 | #Constraints: 14191
487.58/489.01 c #Conflicts: 194000 | #Constraints: 15191
487.58/489.01 c #Conflicts: 195000 | #Constraints: 16191
487.58/489.01 c #Conflicts: 196000 | #Constraints: 17191
487.58/489.01 c #Conflicts: 197000 | #Constraints: 18191
487.58/489.01 c #Conflicts: 198000 | #Constraints: 19191
487.58/489.01 c INPROCESSING
487.58/489.01 c GARBAGE COLLECT
487.58/489.01 c #Conflicts: 199000 | #Constraints: 11417
487.58/489.01 c #Conflicts: 200000 | #Constraints: 12417
487.58/489.01 c #Conflicts: 201000 | #Constraints: 13417
487.58/489.01 c #Conflicts: 202000 | #Constraints: 14417
487.58/489.01 c #Conflicts: 203000 | #Constraints: 15417
487.58/489.01 c #Conflicts: 204000 | #Constraints: 16417
487.58/489.01 c #Conflicts: 205000 | #Constraints: 17417
487.58/489.01 c #Conflicts: 206000 | #Constraints: 18417
487.58/489.01 c #Conflicts: 207000 | #Constraints: 19417
487.58/489.01 c INPROCESSING
487.58/489.01 c GARBAGE COLLECT
487.58/489.01 c #Conflicts: 208000 | #Constraints: 11424
487.58/489.01 c #Conflicts: 209000 | #Constraints: 12424
487.58/489.01 c #Conflicts: 210000 | #Constraints: 13425
487.58/489.01 c #Conflicts: 211000 | #Constraints: 14425
487.58/489.01 c #Conflicts: 212000 | #Constraints: 15425
487.58/489.01 c #Conflicts: 213000 | #Constraints: 16425
750.73/752.86 c #Conflicts: 214000 | #Constraints: 17425
750.73/752.86 c #Conflicts: 215000 | #Constraints: 18425
750.73/752.86 c #Conflicts: 216000 | #Constraints: 19425
750.73/752.86 c INPROCESSING
750.73/752.86 c GARBAGE COLLECT
750.73/752.86 c #Conflicts: 217000 | #Constraints: 11255
750.73/752.86 c #Conflicts: 218000 | #Constraints: 12255
750.73/752.86 c #Conflicts: 219000 | #Constraints: 13255
750.73/752.86 c #Conflicts: 220000 | #Constraints: 14255
750.73/752.86 c #Conflicts: 221000 | #Constraints: 15255
750.73/752.86 c #Conflicts: 222000 | #Constraints: 16255
750.73/752.86 c #Conflicts: 223000 | #Constraints: 17255
750.73/752.86 c #Conflicts: 224000 | #Constraints: 18255
750.73/752.86 c #Conflicts: 225000 | #Constraints: 19255
750.73/752.86 c #Conflicts: 226000 | #Constraints: 20255
750.73/752.86 c INPROCESSING
750.73/752.86 c GARBAGE COLLECT
750.73/752.86 c #Conflicts: 227000 | #Constraints: 11865
750.73/752.86 c #Conflicts: 228000 | #Constraints: 12865
750.73/752.86 c #Conflicts: 229000 | #Constraints: 13865
750.73/752.86 c #Conflicts: 230000 | #Constraints: 14865
750.73/752.86 c #Conflicts: 231000 | #Constraints: 15865
750.73/752.86 c #Conflicts: 232000 | #Constraints: 16865
750.73/752.86 c #Conflicts: 233000 | #Constraints: 17865
750.73/752.86 c #Conflicts: 234000 | #Constraints: 18865
750.73/752.86 c #Conflicts: 235000 | #Constraints: 19865
750.73/752.86 c #Conflicts: 236000 | #Constraints: 20865
750.73/752.86 c INPROCESSING
750.73/752.86 c GARBAGE COLLECT
750.73/752.86 c #Conflicts: 237000 | #Constraints: 12249
750.73/752.86 c #Conflicts: 238000 | #Constraints: 13249
750.73/752.86 c #Conflicts: 239000 | #Constraints: 14249
750.73/752.86 c #Conflicts: 240000 | #Constraints: 15249
750.73/752.86 c #Conflicts: 241000 | #Constraints: 16249
750.73/752.86 c #Conflicts: 242000 | #Constraints: 17249
750.73/752.86 c #Conflicts: 243000 | #Constraints: 18249
750.73/752.86 c #Conflicts: 244000 | #Constraints: 19249
750.73/752.86 c #Conflicts: 245000 | #Constraints: 20249
750.73/752.86 c #Conflicts: 246000 | #Constraints: 21249
750.73/752.86 c INPROCESSING
750.73/752.86 c GARBAGE COLLECT
750.73/752.86 c #Conflicts: 247000 | #Constraints: 12406
750.73/752.86 c #Conflicts: 248000 | #Constraints: 13406
750.73/752.86 c #Conflicts: 249000 | #Constraints: 14406
750.73/752.86 c #Conflicts: 250000 | #Constraints: 15406
750.73/752.86 c #Conflicts: 251000 | #Constraints: 16406
750.73/752.86 c #Conflicts: 252000 | #Constraints: 17406
750.73/752.86 c #Conflicts: 253000 | #Constraints: 18406
750.73/752.86 c #Conflicts: 254000 | #Constraints: 19406
750.73/752.86 c #Conflicts: 255000 | #Constraints: 20406
750.73/752.86 c #Conflicts: 256000 | #Constraints: 21406
750.73/752.86 c INPROCESSING
750.73/752.86 c GARBAGE COLLECT
750.73/752.86 c #Conflicts: 257000 | #Constraints: 12399
750.73/752.86 c #Conflicts: 258000 | #Constraints: 13399
750.73/752.86 c #Conflicts: 259000 | #Constraints: 14399
750.73/752.86 c #Conflicts: 260000 | #Constraints: 15399
750.73/752.86 c #Conflicts: 261000 | #Constraints: 16399
750.73/752.86 c #Conflicts: 262000 | #Constraints: 17399
750.73/752.86 c #Conflicts: 263000 | #Constraints: 18399
750.73/752.86 c #Conflicts: 264000 | #Constraints: 19399
750.73/752.86 c #Conflicts: 265000 | #Constraints: 20399
750.73/752.86 c #Conflicts: 266000 | #Constraints: 21399
750.73/752.86 c INPROCESSING
750.73/752.86 c GARBAGE COLLECT
750.73/752.86 c #Conflicts: 267000 | #Constraints: 12207
750.73/752.86 c #Conflicts: 268000 | #Constraints: 13207
750.73/752.86 c #Conflicts: 269000 | #Constraints: 14207
750.73/752.86 c #Conflicts: 270000 | #Constraints: 15207
750.73/752.86 c #Conflicts: 271000 | #Constraints: 16207
750.73/752.86 c #Conflicts: 272000 | #Constraints: 17207
750.73/752.86 c #Conflicts: 273000 | #Constraints: 18207
750.73/752.86 c #Conflicts: 274000 | #Constraints: 19207
750.73/752.86 c #Conflicts: 275000 | #Constraints: 20207
750.73/752.86 c #Conflicts: 276000 | #Constraints: 21207
750.73/752.86 c #Conflicts: 277000 | #Constraints: 22207
750.73/752.86 c INPROCESSING
750.73/752.86 c GARBAGE COLLECT
750.73/752.86 c #Conflicts: 278000 | #Constraints: 12780
750.73/752.86 c #Conflicts: 279000 | #Constraints: 13780
750.73/752.86 c #Conflicts: 280000 | #Constraints: 14780
750.73/752.86 c #Conflicts: 281000 | #Constraints: 15780
750.73/752.86 c #Conflicts: 282000 | #Constraints: 16781
750.73/752.86 c #Conflicts: 283000 | #Constraints: 17781
750.73/752.86 c #Conflicts: 284000 | #Constraints: 18781
750.73/752.86 c #Conflicts: 285000 | #Constraints: 19781
750.73/752.86 c #Conflicts: 286000 | #Constraints: 20781
750.73/752.86 c #Conflicts: 287000 | #Constraints: 21781
750.73/752.86 c #Conflicts: 288000 | #Constraints: 22781
984.96/987.63 c INPROCESSING
984.96/987.63 c GARBAGE COLLECT
984.96/987.63 c #Conflicts: 289000 | #Constraints: 13183
984.96/987.63 c #Conflicts: 290000 | #Constraints: 14183
984.96/987.63 c #Conflicts: 291000 | #Constraints: 15183
984.96/987.63 c #Conflicts: 292000 | #Constraints: 16183
984.96/987.63 c #Conflicts: 293000 | #Constraints: 17183
984.96/987.63 c #Conflicts: 294000 | #Constraints: 18183
984.96/987.63 c #Conflicts: 295000 | #Constraints: 19183
984.96/987.63 c #Conflicts: 296000 | #Constraints: 20183
984.96/987.63 c #Conflicts: 297000 | #Constraints: 21183
984.96/987.63 c #Conflicts: 298000 | #Constraints: 22183
984.96/987.63 c #Conflicts: 299000 | #Constraints: 23183
984.96/987.63 c INPROCESSING
984.96/987.63 c GARBAGE COLLECT
984.96/987.63 c #Conflicts: 300000 | #Constraints: 13389
984.96/987.63 c #Conflicts: 301000 | #Constraints: 14389
984.96/987.63 c #Conflicts: 302000 | #Constraints: 15389
984.96/987.63 c #Conflicts: 303000 | #Constraints: 16389
984.96/987.63 c #Conflicts: 304000 | #Constraints: 17389
984.96/987.63 c #Conflicts: 305000 | #Constraints: 18389
984.96/987.63 c #Conflicts: 306000 | #Constraints: 19389
984.96/987.63 c #Conflicts: 307000 | #Constraints: 20389
984.96/987.63 c #Conflicts: 308000 | #Constraints: 21389
984.96/987.63 c #Conflicts: 309000 | #Constraints: 22389
984.96/987.63 c #Conflicts: 310000 | #Constraints: 23389
984.96/987.63 c INPROCESSING
984.96/987.63 c GARBAGE COLLECT
984.96/987.63 c #Conflicts: 311000 | #Constraints: 13407
984.96/987.63 c #Conflicts: 312000 | #Constraints: 14407
984.96/987.63 c #Conflicts: 313000 | #Constraints: 15407
984.96/987.63 c #Conflicts: 314000 | #Constraints: 16407
984.96/987.63 c #Conflicts: 315000 | #Constraints: 17407
984.96/987.63 c #Conflicts: 316000 | #Constraints: 18407
984.96/987.63 c #Conflicts: 317000 | #Constraints: 19407
984.96/987.63 c #Conflicts: 318000 | #Constraints: 20407
984.96/987.63 c #Conflicts: 319000 | #Constraints: 21407
984.96/987.63 c #Conflicts: 320000 | #Constraints: 22407
984.96/987.63 c #Conflicts: 321000 | #Constraints: 23407
984.96/987.63 c INPROCESSING
984.96/987.63 c GARBAGE COLLECT
984.96/987.63 c #Conflicts: 322000 | #Constraints: 13226
984.96/987.63 c #Conflicts: 323000 | #Constraints: 14226
984.96/987.63 c #Conflicts: 324000 | #Constraints: 15226
984.96/987.63 c #Conflicts: 325000 | #Constraints: 16226
984.96/987.63 c #Conflicts: 326000 | #Constraints: 17226
984.96/987.63 c #Conflicts: 327000 | #Constraints: 18226
984.96/987.63 c #Conflicts: 328000 | #Constraints: 19226
984.96/987.63 c #Conflicts: 329000 | #Constraints: 20226
984.96/987.63 c #Conflicts: 330000 | #Constraints: 21226
984.96/987.63 c #Conflicts: 331000 | #Constraints: 22226
984.96/987.63 c #Conflicts: 332000 | #Constraints: 23226
984.96/987.63 c #Conflicts: 333000 | #Constraints: 24226
984.96/987.63 c INPROCESSING
984.96/987.63 c GARBAGE COLLECT
984.96/987.63 c #Conflicts: 334000 | #Constraints: 13798
984.96/987.63 c #Conflicts: 335000 | #Constraints: 14798
984.96/987.63 c #Conflicts: 336000 | #Constraints: 15798
984.96/987.63 c #Conflicts: 337000 | #Constraints: 16798
984.96/987.63 c #Conflicts: 338000 | #Constraints: 17798
984.96/987.63 c #Conflicts: 339000 | #Constraints: 18798
984.96/987.63 c #Conflicts: 340000 | #Constraints: 19798
984.96/987.63 c #Conflicts: 341000 | #Constraints: 20798
984.96/987.63 c #Conflicts: 342000 | #Constraints: 21798
984.96/987.63 c #Conflicts: 343000 | #Constraints: 22798
984.96/987.63 c #Conflicts: 344000 | #Constraints: 23798
984.96/987.63 c #Conflicts: 345000 | #Constraints: 24798
984.96/987.63 c INPROCESSING
984.96/987.63 c GARBAGE COLLECT
984.96/987.63 c #Conflicts: 346000 | #Constraints: 14195
984.96/987.63 c #Conflicts: 347000 | #Constraints: 15195
984.96/987.63 c #Conflicts: 348000 | #Constraints: 16195
984.96/987.63 c #Conflicts: 349000 | #Constraints: 17195
984.96/987.63 c #Conflicts: 350000 | #Constraints: 18195
984.96/987.63 c #Conflicts: 351000 | #Constraints: 19195
984.96/987.63 c #Conflicts: 352000 | #Constraints: 20195
984.96/987.63 c #Conflicts: 353000 | #Constraints: 21195
984.96/987.63 c #Conflicts: 354000 | #Constraints: 22195
984.96/987.63 c #Conflicts: 355000 | #Constraints: 23195
984.96/987.63 c #Conflicts: 356000 | #Constraints: 24195
984.96/987.63 c #Conflicts: 357000 | #Constraints: 25195
984.96/987.63 c INPROCESSING
984.96/987.63 c GARBAGE COLLECT
984.96/987.63 c #Conflicts: 358000 | #Constraints: 14393
984.96/987.63 c #Conflicts: 359000 | #Constraints: 15393
984.96/987.63 c #Conflicts: 360000 | #Constraints: 16393
984.96/987.63 c #Conflicts: 361000 | #Constraints: 17393
984.96/987.63 c #Conflicts: 362000 | #Constraints: 18393
1225.08/1228.34 c #Conflicts: 363000 | #Constraints: 19393
1225.08/1228.34 c #Conflicts: 364000 | #Constraints: 20393
1225.08/1228.34 c #Conflicts: 365000 | #Constraints: 21393
1225.08/1228.34 c #Conflicts: 366000 | #Constraints: 22393
1225.08/1228.34 c #Conflicts: 367000 | #Constraints: 23393
1225.08/1228.34 c #Conflicts: 368000 | #Constraints: 24393
1225.08/1228.34 c #Conflicts: 369000 | #Constraints: 25393
1225.08/1228.34 c INPROCESSING
1225.08/1228.34 c GARBAGE COLLECT
1225.08/1228.34 c #Conflicts: 370000 | #Constraints: 14421
1225.08/1228.34 c #Conflicts: 371000 | #Constraints: 15421
1225.08/1228.34 c #Conflicts: 372000 | #Constraints: 16421
1225.08/1228.34 c #Conflicts: 373000 | #Constraints: 17421
1225.08/1228.34 c #Conflicts: 374000 | #Constraints: 18421
1225.08/1228.34 c #Conflicts: 375000 | #Constraints: 19421
1225.08/1228.34 c #Conflicts: 376000 | #Constraints: 20421
1225.08/1228.34 c #Conflicts: 377000 | #Constraints: 21421
1225.08/1228.34 c #Conflicts: 378000 | #Constraints: 22421
1225.08/1228.34 c #Conflicts: 379000 | #Constraints: 23421
1225.08/1228.34 c #Conflicts: 380000 | #Constraints: 24421
1225.08/1228.34 c #Conflicts: 381000 | #Constraints: 25421
1225.08/1228.34 c INPROCESSING
1225.08/1228.34 c GARBAGE COLLECT
1225.08/1228.34 c #Conflicts: 382000 | #Constraints: 14229
1225.08/1228.34 c #Conflicts: 383000 | #Constraints: 15229
1225.08/1228.34 c #Conflicts: 384000 | #Constraints: 16229
1225.08/1228.34 c #Conflicts: 385000 | #Constraints: 17229
1225.08/1228.34 c #Conflicts: 386000 | #Constraints: 18229
1225.08/1228.34 c #Conflicts: 387000 | #Constraints: 19229
1225.08/1228.34 c #Conflicts: 388000 | #Constraints: 20229
1225.08/1228.34 c #Conflicts: 389000 | #Constraints: 21229
1225.08/1228.34 c #Conflicts: 390000 | #Constraints: 22229
1225.08/1228.34 c #Conflicts: 391000 | #Constraints: 23229
1225.08/1228.34 c #Conflicts: 392000 | #Constraints: 24229
1225.08/1228.34 c #Conflicts: 393000 | #Constraints: 25229
1225.08/1228.34 c #Conflicts: 394000 | #Constraints: 26229
1225.08/1228.34 c INPROCESSING
1225.08/1228.34 c GARBAGE COLLECT
1225.08/1228.34 c #Conflicts: 395000 | #Constraints: 14821
1225.08/1228.34 c #Conflicts: 396000 | #Constraints: 15821
1225.08/1228.34 c #Conflicts: 397000 | #Constraints: 16822
1225.08/1228.34 c #Conflicts: 398000 | #Constraints: 17822
1225.08/1228.34 c #Conflicts: 399000 | #Constraints: 18822
1225.08/1228.34 c #Conflicts: 400000 | #Constraints: 19822
1225.08/1228.34 c #Conflicts: 401000 | #Constraints: 20822
1225.08/1228.34 c #Conflicts: 402000 | #Constraints: 21822
1225.08/1228.34 c #Conflicts: 403000 | #Constraints: 22822
1225.08/1228.34 c #Conflicts: 404000 | #Constraints: 23822
1225.08/1228.34 c #Conflicts: 405000 | #Constraints: 24822
1225.08/1228.34 c #Conflicts: 406000 | #Constraints: 25822
1225.08/1228.34 c #Conflicts: 407000 | #Constraints: 26822
1225.08/1228.34 c INPROCESSING
1225.08/1228.34 c GARBAGE COLLECT
1225.08/1228.34 c #Conflicts: 408000 | #Constraints: 15203
1225.08/1228.34 c #Conflicts: 409000 | #Constraints: 16203
1225.08/1228.34 c #Conflicts: 410000 | #Constraints: 17203
1225.08/1228.34 c #Conflicts: 411000 | #Constraints: 18203
1225.08/1228.34 c #Conflicts: 412000 | #Constraints: 19203
1225.08/1228.34 c #Conflicts: 413000 | #Constraints: 20203
1225.08/1228.34 c #Conflicts: 414000 | #Constraints: 21203
1225.08/1228.34 c #Conflicts: 415000 | #Constraints: 22203
1225.08/1228.34 c #Conflicts: 416000 | #Constraints: 23203
1225.08/1228.34 c #Conflicts: 417000 | #Constraints: 24203
1225.08/1228.34 c #Conflicts: 418000 | #Constraints: 25203
1225.08/1228.34 c #Conflicts: 419000 | #Constraints: 26203
1225.08/1228.34 c #Conflicts: 420000 | #Constraints: 27203
1225.08/1228.34 c INPROCESSING
1225.08/1228.34 c GARBAGE COLLECT
1225.08/1228.34 c #Conflicts: 421000 | #Constraints: 15434
1225.08/1228.34 c #Conflicts: 422000 | #Constraints: 16434
1225.08/1228.34 c #Conflicts: 423000 | #Constraints: 17434
1225.08/1228.34 c #Conflicts: 424000 | #Constraints: 18434
1225.08/1228.34 c #Conflicts: 425000 | #Constraints: 19434
1225.08/1228.34 c #Conflicts: 426000 | #Constraints: 20434
1225.08/1228.34 c #Conflicts: 427000 | #Constraints: 21434
1225.08/1228.34 c #Conflicts: 428000 | #Constraints: 22434
1225.08/1228.34 c #Conflicts: 429000 | #Constraints: 23434
1225.08/1228.34 c #Conflicts: 430000 | #Constraints: 24434
1225.08/1228.34 c #Conflicts: 431000 | #Constraints: 25434
1225.08/1228.34 c #Conflicts: 432000 | #Constraints: 26434
1225.08/1228.34 c #Conflicts: 433000 | #Constraints: 27434
1225.08/1228.34 c INPROCESSING
1225.08/1228.34 c GARBAGE COLLECT
1225.08/1228.34 c #Conflicts: 434000 | #Constraints: 15464
1225.08/1228.34 c #Conflicts: 435000 | #Constraints: 16464
1225.08/1228.34 c #Conflicts: 436000 | #Constraints: 17464
1225.08/1228.34 c #Conflicts: 437000 | #Constraints: 18464
1512.49/1516.42 c #Conflicts: 438000 | #Constraints: 19464
1512.49/1516.42 c #Conflicts: 439000 | #Constraints: 20464
1512.49/1516.42 c #Conflicts: 440000 | #Constraints: 21464
1512.49/1516.42 c #Conflicts: 441000 | #Constraints: 22464
1512.49/1516.42 c #Conflicts: 442000 | #Constraints: 23464
1512.49/1516.42 c #Conflicts: 443000 | #Constraints: 24464
1512.49/1516.42 c #Conflicts: 444000 | #Constraints: 25464
1512.49/1516.42 c #Conflicts: 445000 | #Constraints: 26464
1512.49/1516.42 c #Conflicts: 446000 | #Constraints: 27464
1512.49/1516.42 c INPROCESSING
1512.49/1516.42 c GARBAGE COLLECT
1512.49/1516.42 c #Conflicts: 447000 | #Constraints: 15283
1512.49/1516.42 c #Conflicts: 448000 | #Constraints: 16283
1512.49/1516.42 c #Conflicts: 449000 | #Constraints: 17283
1512.49/1516.42 c #Conflicts: 450000 | #Constraints: 18283
1512.49/1516.42 c #Conflicts: 451000 | #Constraints: 19283
1512.49/1516.42 c #Conflicts: 452000 | #Constraints: 20283
1512.49/1516.42 c #Conflicts: 453000 | #Constraints: 21283
1512.49/1516.42 c #Conflicts: 454000 | #Constraints: 22283
1512.49/1516.42 c #Conflicts: 455000 | #Constraints: 23283
1512.49/1516.42 c #Conflicts: 456000 | #Constraints: 24283
1512.49/1516.42 c #Conflicts: 457000 | #Constraints: 25283
1512.49/1516.42 c #Conflicts: 458000 | #Constraints: 26283
1512.49/1516.42 c #Conflicts: 459000 | #Constraints: 27283
1512.49/1516.42 c #Conflicts: 460000 | #Constraints: 28283
1512.49/1516.42 c INPROCESSING
1512.49/1516.42 c GARBAGE COLLECT
1512.49/1516.42 c #Conflicts: 461000 | #Constraints: 15871
1512.49/1516.42 c #Conflicts: 462000 | #Constraints: 16871
1512.49/1516.42 c #Conflicts: 463000 | #Constraints: 17871
1512.49/1516.42 c #Conflicts: 464000 | #Constraints: 18871
1512.49/1516.42 c #Conflicts: 465000 | #Constraints: 19871
1512.49/1516.42 c #Conflicts: 466000 | #Constraints: 20871
1512.49/1516.42 c #Conflicts: 467000 | #Constraints: 21871
1512.49/1516.42 c #Conflicts: 468000 | #Constraints: 22871
1512.49/1516.42 c #Conflicts: 469000 | #Constraints: 23871
1512.49/1516.42 c #Conflicts: 470000 | #Constraints: 24871
1512.49/1516.42 c #Conflicts: 471000 | #Constraints: 25871
1512.49/1516.42 c #Conflicts: 472000 | #Constraints: 26871
1512.49/1516.42 c #Conflicts: 473000 | #Constraints: 27871
1512.49/1516.42 c #Conflicts: 474000 | #Constraints: 28871
1512.49/1516.42 c INPROCESSING
1512.49/1516.42 c GARBAGE COLLECT
1512.49/1516.42 c #Conflicts: 475000 | #Constraints: 16278
1512.49/1516.42 c #Conflicts: 476000 | #Constraints: 17278
1512.49/1516.42 c #Conflicts: 477000 | #Constraints: 18278
1512.49/1516.42 c #Conflicts: 478000 | #Constraints: 19278
1512.49/1516.42 c #Conflicts: 479000 | #Constraints: 20278
1512.49/1516.42 c #Conflicts: 480000 | #Constraints: 21278
1512.49/1516.42 c #Conflicts: 481000 | #Constraints: 22278
1512.49/1516.42 c #Conflicts: 482000 | #Constraints: 23278
1512.49/1516.42 c #Conflicts: 483000 | #Constraints: 24278
1512.49/1516.42 c #Conflicts: 484000 | #Constraints: 25278
1512.49/1516.42 c #Conflicts: 485000 | #Constraints: 26278
1512.49/1516.42 c #Conflicts: 486000 | #Constraints: 27278
1512.49/1516.42 c #Conflicts: 487000 | #Constraints: 28278
1512.49/1516.42 c #Conflicts: 488000 | #Constraints: 29278
1512.49/1516.42 c INPROCESSING
1512.49/1516.42 c GARBAGE COLLECT
1512.49/1516.42 c #Conflicts: 489000 | #Constraints: 16489
1512.49/1516.42 c #Conflicts: 490000 | #Constraints: 17489
1512.49/1516.42 c #Conflicts: 491000 | #Constraints: 18489
1512.49/1516.42 c #Conflicts: 492000 | #Constraints: 19489
1512.49/1516.42 c #Conflicts: 493000 | #Constraints: 20489
1512.49/1516.42 c #Conflicts: 494000 | #Constraints: 21489
1512.49/1516.42 c #Conflicts: 495000 | #Constraints: 22489
1512.49/1516.42 c #Conflicts: 496000 | #Constraints: 23489
1512.49/1516.42 c #Conflicts: 497000 | #Constraints: 24489
1512.49/1516.42 c #Conflicts: 498000 | #Constraints: 25489
1512.49/1516.42 c #Conflicts: 499000 | #Constraints: 26489
1512.49/1516.42 c #Conflicts: 500000 | #Constraints: 27489
1512.49/1516.42 c #Conflicts: 501000 | #Constraints: 28489
1512.49/1516.42 c #Conflicts: 502000 | #Constraints: 29489
1512.49/1516.42 c INPROCESSING
1512.49/1516.42 c GARBAGE COLLECT
1512.49/1516.42 c #Conflicts: 503000 | #Constraints: 16504
1512.49/1516.42 c #Conflicts: 504000 | #Constraints: 17504
1512.49/1516.42 c #Conflicts: 505000 | #Constraints: 18504
1512.49/1516.42 c #Conflicts: 506000 | #Constraints: 19504
1512.49/1516.42 c #Conflicts: 507000 | #Constraints: 20504
1512.49/1516.42 c #Conflicts: 508000 | #Constraints: 21504
1512.49/1516.42 c #Conflicts: 509000 | #Constraints: 22504
1512.49/1516.42 c #Conflicts: 510000 | #Constraints: 23504
1512.49/1516.42 c #Conflicts: 511000 | #Constraints: 24504
1512.49/1516.42 c #Conflicts: 512000 | #Constraints: 25504
1512.49/1516.42 c #Conflicts: 513000 | #Constraints: 26504
1570.44/1574.54 c #Conflicts: 514000 | #Constraints: 27504
1570.44/1574.54 c #Conflicts: 515000 | #Constraints: 28504
1570.44/1574.54 c #Conflicts: 516000 | #Constraints: 29504
1570.44/1574.54 c INPROCESSING
1570.44/1574.54 c GARBAGE COLLECT
1570.44/1574.54 c #Conflicts: 517000 | #Constraints: 16257
1570.44/1574.54 c #Conflicts: 518000 | #Constraints: 17257
1570.44/1574.54 c #Conflicts: 519000 | #Constraints: 18257
1570.44/1574.54 c #Conflicts: 520000 | #Constraints: 19257
1570.44/1574.54 c #Conflicts: 521000 | #Constraints: 20257
1570.44/1574.54 c #Conflicts: 522000 | #Constraints: 21257
1570.44/1574.54 c #Conflicts: 523000 | #Constraints: 22257
1570.44/1574.54 c #Conflicts: 524000 | #Constraints: 23257
1570.44/1574.54 c #Conflicts: 525000 | #Constraints: 24257
1570.44/1574.54 c #Conflicts: 526000 | #Constraints: 25257
1570.44/1574.54 c #Conflicts: 527000 | #Constraints: 26257
1570.44/1574.54 c #Conflicts: 528000 | #Constraints: 27257
1570.44/1574.54 c #Conflicts: 529000 | #Constraints: 28257
1570.44/1574.54 c #Conflicts: 530000 | #Constraints: 29257
1570.44/1574.54 c #Conflicts: 531000 | #Constraints: 30257
1570.44/1574.54 c INPROCESSING
1570.44/1574.54 c GARBAGE COLLECT
1570.44/1574.54 c rational objective 153
1686.46/1690.80 c #Conflicts: 532000 | #Constraints: 16850
1686.46/1690.80 c #Conflicts: 533000 | #Constraints: 17850
1686.46/1690.80 c #Conflicts: 534000 | #Constraints: 18850
1686.46/1690.80 c #Conflicts: 535000 | #Constraints: 19850
1686.46/1690.80 c #Conflicts: 536000 | #Constraints: 20850
1686.46/1690.80 c #Conflicts: 537000 | #Constraints: 21850
1686.46/1690.80 c #Conflicts: 538000 | #Constraints: 22850
1686.46/1690.80 c #Conflicts: 539000 | #Constraints: 23850
1686.46/1690.80 c #Conflicts: 540000 | #Constraints: 24850
1686.46/1690.80 c #Conflicts: 541000 | #Constraints: 25850
1686.46/1690.80 c #Conflicts: 542000 | #Constraints: 26850
1686.46/1690.80 c #Conflicts: 543000 | #Constraints: 27850
1686.46/1690.80 c #Conflicts: 544000 | #Constraints: 28850
1686.46/1690.80 c #Conflicts: 545000 | #Constraints: 29850
1686.46/1690.80 c #Conflicts: 546000 | #Constraints: 30850
1686.46/1690.80 c INPROCESSING
1686.46/1690.80 c GARBAGE COLLECT
1686.46/1690.80 c #Conflicts: 547000 | #Constraints: 17249
1686.46/1690.80 c #Conflicts: 548000 | #Constraints: 18249
1686.46/1690.80 c #Conflicts: 549000 | #Constraints: 19249
1686.46/1690.80 c #Conflicts: 550000 | #Constraints: 20249
1686.46/1690.80 c #Conflicts: 551000 | #Constraints: 21249
1686.46/1690.80 c #Conflicts: 552000 | #Constraints: 22249
1686.46/1690.80 c #Conflicts: 553000 | #Constraints: 23249
1686.46/1690.80 c #Conflicts: 554000 | #Constraints: 24249
1686.46/1690.80 c #Conflicts: 555000 | #Constraints: 25249
1686.46/1690.80 c #Conflicts: 556000 | #Constraints: 26249
1686.46/1690.80 c #Conflicts: 557000 | #Constraints: 27249
1686.46/1690.80 c #Conflicts: 558000 | #Constraints: 28249
1686.46/1690.80 c #Conflicts: 559000 | #Constraints: 29249
1686.46/1690.80 c #Conflicts: 560000 | #Constraints: 30249
1686.46/1690.80 c #Conflicts: 561000 | #Constraints: 31249
1686.46/1690.80 c INPROCESSING
1686.46/1690.80 c GARBAGE COLLECT
1686.46/1690.80 c rational objective 153
1961.15/1966.28 c #Conflicts: 562000 | #Constraints: 17411
1961.15/1966.28 c #Conflicts: 563000 | #Constraints: 18411
1961.15/1966.28 c #Conflicts: 564000 | #Constraints: 19411
1961.15/1966.28 c #Conflicts: 565000 | #Constraints: 20411
1961.15/1966.28 c #Conflicts: 566000 | #Constraints: 21411
1961.15/1966.28 c #Conflicts: 567000 | #Constraints: 22411
1961.15/1966.28 c #Conflicts: 568000 | #Constraints: 23411
1961.15/1966.28 c #Conflicts: 569000 | #Constraints: 24411
1961.15/1966.28 c #Conflicts: 570000 | #Constraints: 25411
1961.15/1966.28 c #Conflicts: 571000 | #Constraints: 26411
1961.15/1966.28 c #Conflicts: 572000 | #Constraints: 27411
1961.15/1966.28 c #Conflicts: 573000 | #Constraints: 28411
1961.15/1966.28 c #Conflicts: 574000 | #Constraints: 29411
1961.15/1966.28 c #Conflicts: 575000 | #Constraints: 30411
1961.15/1966.28 c #Conflicts: 576000 | #Constraints: 31411
1961.15/1966.28 c INPROCESSING
1961.15/1966.28 c GARBAGE COLLECT
1961.15/1966.28 c #Conflicts: 577000 | #Constraints: 17445
1961.15/1966.28 c #Conflicts: 578000 | #Constraints: 18445
1961.15/1966.28 c #Conflicts: 579000 | #Constraints: 19445
1961.15/1966.28 c #Conflicts: 580000 | #Constraints: 20445
1961.15/1966.28 c #Conflicts: 581000 | #Constraints: 21445
1961.15/1966.28 c #Conflicts: 582000 | #Constraints: 22445
1961.15/1966.28 c #Conflicts: 583000 | #Constraints: 23445
1961.15/1966.28 c #Conflicts: 584000 | #Constraints: 24445
1961.15/1966.28 c #Conflicts: 585000 | #Constraints: 25445
1961.15/1966.28 c #Conflicts: 586000 | #Constraints: 26445
1961.15/1966.28 c #Conflicts: 587000 | #Constraints: 27445
1961.15/1966.28 c #Conflicts: 588000 | #Constraints: 28445
1961.15/1966.28 c #Conflicts: 589000 | #Constraints: 29445
1961.15/1966.28 c #Conflicts: 590000 | #Constraints: 30445
1961.15/1966.28 c #Conflicts: 591000 | #Constraints: 31445
1961.15/1966.28 c INPROCESSING
1961.15/1966.28 c GARBAGE COLLECT
1961.15/1966.28 c #Conflicts: 592000 | #Constraints: 17254
1961.15/1966.28 c #Conflicts: 593000 | #Constraints: 18254
1961.15/1966.28 c #Conflicts: 594000 | #Constraints: 19254
1961.15/1966.28 c #Conflicts: 595000 | #Constraints: 20254
1961.15/1966.28 c #Conflicts: 596000 | #Constraints: 21254
1961.15/1966.28 c #Conflicts: 597000 | #Constraints: 22254
1961.15/1966.28 c #Conflicts: 598000 | #Constraints: 23254
1961.15/1966.28 c #Conflicts: 599000 | #Constraints: 24254
1961.15/1966.28 c #Conflicts: 600000 | #Constraints: 25254
1961.15/1966.28 c #Conflicts: 601000 | #Constraints: 26254
1961.15/1966.28 c #Conflicts: 602000 | #Constraints: 27254
1961.15/1966.28 c #Conflicts: 603000 | #Constraints: 28254
1961.15/1966.28 c #Conflicts: 604000 | #Constraints: 29254
1961.15/1966.28 c #Conflicts: 605000 | #Constraints: 30254
1961.15/1966.28 c #Conflicts: 606000 | #Constraints: 31254
1961.15/1966.28 c #Conflicts: 607000 | #Constraints: 32254
1961.15/1966.28 c INPROCESSING
1961.15/1966.28 c GARBAGE COLLECT
1961.15/1966.28 c #Conflicts: 608000 | #Constraints: 17863
1961.15/1966.28 c #Conflicts: 609000 | #Constraints: 18863
1961.15/1966.28 c #Conflicts: 610000 | #Constraints: 19863
1961.15/1966.28 c #Conflicts: 611000 | #Constraints: 20863
1961.15/1966.28 c #Conflicts: 612000 | #Constraints: 21863
1961.15/1966.28 c #Conflicts: 613000 | #Constraints: 22863
1961.15/1966.28 c #Conflicts: 614000 | #Constraints: 23863
1961.15/1966.28 c #Conflicts: 615000 | #Constraints: 24863
1961.15/1966.28 c #Conflicts: 616000 | #Constraints: 25863
1961.15/1966.28 c #Conflicts: 617000 | #Constraints: 26863
1961.15/1966.28 c #Conflicts: 618000 | #Constraints: 27863
1961.15/1966.28 c #Conflicts: 619000 | #Constraints: 28863
1961.15/1966.28 c #Conflicts: 620000 | #Constraints: 29863
1961.15/1966.28 c #Conflicts: 621000 | #Constraints: 30863
1961.15/1966.28 c #Conflicts: 622000 | #Constraints: 31864
1961.15/1966.28 c #Conflicts: 623000 | #Constraints: 32864
1961.15/1966.28 c INPROCESSING
1961.15/1966.28 c GARBAGE COLLECT
1961.15/1966.28 c #Conflicts: 624000 | #Constraints: 18257
1961.15/1966.28 c #Conflicts: 625000 | #Constraints: 19257
1961.15/1966.28 c #Conflicts: 626000 | #Constraints: 20257
1961.15/1966.28 c #Conflicts: 627000 | #Constraints: 21257
1961.15/1966.28 c #Conflicts: 628000 | #Constraints: 22257
1961.15/1966.28 c #Conflicts: 629000 | #Constraints: 23257
1961.15/1966.28 c #Conflicts: 630000 | #Constraints: 24257
1961.15/1966.28 c #Conflicts: 631000 | #Constraints: 25257
1961.15/1966.28 c #Conflicts: 632000 | #Constraints: 26257
1961.15/1966.28 c #Conflicts: 633000 | #Constraints: 27257
1961.15/1966.28 c #Conflicts: 634000 | #Constraints: 28257
1961.15/1966.28 c #Conflicts: 635000 | #Constraints: 29257
1961.15/1966.28 c #Conflicts: 636000 | #Constraints: 30257
1961.15/1966.28 c #Conflicts: 637000 | #Constraints: 31257
1961.15/1966.28 c #Conflicts: 638000 | #Constraints: 32257
2287.73/2293.66 c #Conflicts: 639000 | #Constraints: 33257
2287.73/2293.66 c INPROCESSING
2287.73/2293.66 c GARBAGE COLLECT
2287.73/2293.66 c #Conflicts: 640000 | #Constraints: 18420
2287.73/2293.66 c #Conflicts: 641000 | #Constraints: 19420
2287.73/2293.66 c #Conflicts: 642000 | #Constraints: 20420
2287.73/2293.66 c #Conflicts: 643000 | #Constraints: 21420
2287.73/2293.66 c #Conflicts: 644000 | #Constraints: 22420
2287.73/2293.66 c #Conflicts: 645000 | #Constraints: 23420
2287.73/2293.66 c #Conflicts: 646000 | #Constraints: 24420
2287.73/2293.66 c #Conflicts: 647000 | #Constraints: 25420
2287.73/2293.66 c #Conflicts: 648000 | #Constraints: 26420
2287.73/2293.66 c #Conflicts: 649000 | #Constraints: 27420
2287.73/2293.66 c #Conflicts: 650000 | #Constraints: 28420
2287.73/2293.66 c #Conflicts: 651000 | #Constraints: 29420
2287.73/2293.66 c #Conflicts: 652000 | #Constraints: 30420
2287.73/2293.66 c #Conflicts: 653000 | #Constraints: 31420
2287.73/2293.66 c #Conflicts: 654000 | #Constraints: 32420
2287.73/2293.66 c #Conflicts: 655000 | #Constraints: 33420
2287.73/2293.66 c INPROCESSING
2287.73/2293.66 c GARBAGE COLLECT
2287.73/2293.66 c #Conflicts: 656000 | #Constraints: 18446
2287.73/2293.66 c #Conflicts: 657000 | #Constraints: 19446
2287.73/2293.66 c #Conflicts: 658000 | #Constraints: 20446
2287.73/2293.66 c #Conflicts: 659000 | #Constraints: 21446
2287.73/2293.66 c #Conflicts: 660000 | #Constraints: 22446
2287.73/2293.66 c #Conflicts: 661000 | #Constraints: 23446
2287.73/2293.66 c #Conflicts: 662000 | #Constraints: 24446
2287.73/2293.66 c #Conflicts: 663000 | #Constraints: 25446
2287.73/2293.66 c #Conflicts: 664000 | #Constraints: 26446
2287.73/2293.66 c #Conflicts: 665000 | #Constraints: 27446
2287.73/2293.66 c #Conflicts: 666000 | #Constraints: 28446
2287.73/2293.66 c #Conflicts: 667000 | #Constraints: 29446
2287.73/2293.66 c #Conflicts: 668000 | #Constraints: 30446
2287.73/2293.66 c #Conflicts: 669000 | #Constraints: 31446
2287.73/2293.66 c #Conflicts: 670000 | #Constraints: 32446
2287.73/2293.66 c #Conflicts: 671000 | #Constraints: 33446
2287.73/2293.66 c INPROCESSING
2287.73/2293.66 c GARBAGE COLLECT
2287.73/2293.66 c #Conflicts: 672000 | #Constraints: 18196
2287.73/2293.66 c #Conflicts: 673000 | #Constraints: 19196
2287.73/2293.66 c #Conflicts: 674000 | #Constraints: 20196
2287.73/2293.66 c #Conflicts: 675000 | #Constraints: 21196
2287.73/2293.66 c #Conflicts: 676000 | #Constraints: 22196
2287.73/2293.66 c #Conflicts: 677000 | #Constraints: 23196
2287.73/2293.66 c #Conflicts: 678000 | #Constraints: 24196
2287.73/2293.66 c #Conflicts: 679000 | #Constraints: 25196
2287.73/2293.66 c #Conflicts: 680000 | #Constraints: 26196
2287.73/2293.66 c #Conflicts: 681000 | #Constraints: 27196
2287.73/2293.66 c #Conflicts: 682000 | #Constraints: 28196
2287.73/2293.66 c #Conflicts: 683000 | #Constraints: 29196
2287.73/2293.66 c #Conflicts: 684000 | #Constraints: 30196
2287.73/2293.66 c #Conflicts: 685000 | #Constraints: 31196
2287.73/2293.66 c #Conflicts: 686000 | #Constraints: 32196
2287.73/2293.66 c #Conflicts: 687000 | #Constraints: 33196
2287.73/2293.66 c #Conflicts: 688000 | #Constraints: 34196
2287.73/2293.66 c INPROCESSING
2287.73/2293.66 c GARBAGE COLLECT
2287.73/2293.66 c #Conflicts: 689000 | #Constraints: 18828
2287.73/2293.66 c #Conflicts: 690000 | #Constraints: 19828
2287.73/2293.66 c #Conflicts: 691000 | #Constraints: 20828
2287.73/2293.66 c #Conflicts: 692000 | #Constraints: 21828
2287.73/2293.66 c #Conflicts: 693000 | #Constraints: 22828
2287.73/2293.66 c #Conflicts: 694000 | #Constraints: 23828
2287.73/2293.66 c #Conflicts: 695000 | #Constraints: 24828
2287.73/2293.66 c #Conflicts: 696000 | #Constraints: 25828
2287.73/2293.66 c #Conflicts: 697000 | #Constraints: 26828
2287.73/2293.66 c #Conflicts: 698000 | #Constraints: 27828
2287.73/2293.66 c #Conflicts: 699000 | #Constraints: 28828
2287.73/2293.66 c #Conflicts: 700000 | #Constraints: 29828
2287.73/2293.66 c #Conflicts: 701000 | #Constraints: 30828
2287.73/2293.66 c #Conflicts: 702000 | #Constraints: 31828
2287.73/2293.66 c #Conflicts: 703000 | #Constraints: 32828
2287.73/2293.66 c #Conflicts: 704000 | #Constraints: 33828
2287.73/2293.66 c #Conflicts: 705000 | #Constraints: 34828
2287.73/2293.66 c INPROCESSING
2287.73/2293.66 c GARBAGE COLLECT
2287.73/2293.66 c #Conflicts: 706000 | #Constraints: 19252
2287.73/2293.66 c #Conflicts: 707000 | #Constraints: 20252
2287.73/2293.66 c #Conflicts: 708000 | #Constraints: 21252
2287.73/2293.66 c #Conflicts: 709000 | #Constraints: 22252
2287.73/2293.66 c #Conflicts: 710000 | #Constraints: 23252
2287.73/2293.66 c #Conflicts: 711000 | #Constraints: 24252
2287.73/2293.66 c #Conflicts: 712000 | #Constraints: 25252
2287.73/2293.66 c #Conflicts: 713000 | #Constraints: 26252
2601.17/2607.82 c #Conflicts: 714000 | #Constraints: 27252
2601.17/2607.82 c #Conflicts: 715000 | #Constraints: 28252
2601.17/2607.82 c #Conflicts: 716000 | #Constraints: 29252
2601.17/2607.82 c #Conflicts: 717000 | #Constraints: 30252
2601.17/2607.82 c #Conflicts: 718000 | #Constraints: 31252
2601.17/2607.82 c #Conflicts: 719000 | #Constraints: 32252
2601.17/2607.82 c #Conflicts: 720000 | #Constraints: 33252
2601.17/2607.82 c #Conflicts: 721000 | #Constraints: 34252
2601.17/2607.82 c #Conflicts: 722000 | #Constraints: 35252
2601.17/2607.82 c INPROCESSING
2601.17/2607.82 c GARBAGE COLLECT
2601.17/2607.82 c #Conflicts: 723000 | #Constraints: 19471
2601.17/2607.82 c #Conflicts: 724000 | #Constraints: 20471
2601.17/2607.82 c #Conflicts: 725000 | #Constraints: 21471
2601.17/2607.82 c #Conflicts: 726000 | #Constraints: 22471
2601.17/2607.82 c #Conflicts: 727000 | #Constraints: 23471
2601.17/2607.82 c #Conflicts: 728000 | #Constraints: 24471
2601.17/2607.82 c #Conflicts: 729000 | #Constraints: 25471
2601.17/2607.82 c #Conflicts: 730000 | #Constraints: 26471
2601.17/2607.82 c #Conflicts: 731000 | #Constraints: 27471
2601.17/2607.82 c #Conflicts: 732000 | #Constraints: 28471
2601.17/2607.82 c #Conflicts: 733000 | #Constraints: 29471
2601.17/2607.82 c #Conflicts: 734000 | #Constraints: 30471
2601.17/2607.82 c #Conflicts: 735000 | #Constraints: 31471
2601.17/2607.82 c #Conflicts: 736000 | #Constraints: 32471
2601.17/2607.82 c #Conflicts: 737000 | #Constraints: 33471
2601.17/2607.82 c #Conflicts: 738000 | #Constraints: 34471
2601.17/2607.82 c #Conflicts: 739000 | #Constraints: 35471
2601.17/2607.82 c INPROCESSING
2601.17/2607.82 c GARBAGE COLLECT
2601.17/2607.82 c #Conflicts: 740000 | #Constraints: 19475
2601.17/2607.82 c #Conflicts: 741000 | #Constraints: 20475
2601.17/2607.82 c #Conflicts: 742000 | #Constraints: 21475
2601.17/2607.82 c #Conflicts: 743000 | #Constraints: 22475
2601.17/2607.82 c #Conflicts: 744000 | #Constraints: 23475
2601.17/2607.82 c #Conflicts: 745000 | #Constraints: 24475
2601.17/2607.82 c #Conflicts: 746000 | #Constraints: 25475
2601.17/2607.82 c #Conflicts: 747000 | #Constraints: 26475
2601.17/2607.82 c #Conflicts: 748000 | #Constraints: 27475
2601.17/2607.82 c #Conflicts: 749000 | #Constraints: 28475
2601.17/2607.82 c #Conflicts: 750000 | #Constraints: 29475
2601.17/2607.82 c #Conflicts: 751000 | #Constraints: 30475
2601.17/2607.82 c #Conflicts: 752000 | #Constraints: 31475
2601.17/2607.82 c #Conflicts: 753000 | #Constraints: 32475
2601.17/2607.82 c #Conflicts: 754000 | #Constraints: 33475
2601.17/2607.82 c #Conflicts: 755000 | #Constraints: 34475
2601.17/2607.82 c #Conflicts: 756000 | #Constraints: 35475
2601.17/2607.82 c INPROCESSING
2601.17/2607.82 c GARBAGE COLLECT
2601.17/2607.82 c #Conflicts: 757000 | #Constraints: 19257
2601.17/2607.82 c #Conflicts: 758000 | #Constraints: 20257
2601.17/2607.82 c #Conflicts: 759000 | #Constraints: 21257
2601.17/2607.82 c #Conflicts: 760000 | #Constraints: 22257
2601.17/2607.82 c #Conflicts: 761000 | #Constraints: 23257
2601.17/2607.82 c #Conflicts: 762000 | #Constraints: 24257
2601.17/2607.82 c #Conflicts: 763000 | #Constraints: 25257
2601.17/2607.82 c #Conflicts: 764000 | #Constraints: 26257
2601.17/2607.82 c #Conflicts: 765000 | #Constraints: 27257
2601.17/2607.82 c #Conflicts: 766000 | #Constraints: 28257
2601.17/2607.82 c #Conflicts: 767000 | #Constraints: 29257
2601.17/2607.82 c #Conflicts: 768000 | #Constraints: 30257
2601.17/2607.82 c #Conflicts: 769000 | #Constraints: 31257
2601.17/2607.82 c #Conflicts: 770000 | #Constraints: 32257
2601.17/2607.82 c #Conflicts: 771000 | #Constraints: 33257
2601.17/2607.82 c #Conflicts: 772000 | #Constraints: 34257
2601.17/2607.82 c #Conflicts: 773000 | #Constraints: 35257
2601.17/2607.82 c #Conflicts: 774000 | #Constraints: 36257
2601.17/2607.82 c INPROCESSING
2601.17/2607.82 c GARBAGE COLLECT
2601.17/2607.82 c #Conflicts: 775000 | #Constraints: 19831
2601.17/2607.82 c #Conflicts: 776000 | #Constraints: 20831
2601.17/2607.82 c #Conflicts: 777000 | #Constraints: 21831
2601.17/2607.82 c #Conflicts: 778000 | #Constraints: 22831
2601.17/2607.82 c #Conflicts: 779000 | #Constraints: 23831
2601.17/2607.82 c #Conflicts: 780000 | #Constraints: 24831
2601.17/2607.82 c #Conflicts: 781000 | #Constraints: 25831
2601.17/2607.82 c #Conflicts: 782000 | #Constraints: 26831
2601.17/2607.82 c #Conflicts: 783000 | #Constraints: 27831
2601.17/2607.82 c #Conflicts: 784000 | #Constraints: 28831
2601.17/2607.82 c #Conflicts: 785000 | #Constraints: 29831
2601.17/2607.82 c #Conflicts: 786000 | #Constraints: 30831
2601.17/2607.82 c #Conflicts: 787000 | #Constraints: 31831
2601.17/2607.82 c #Conflicts: 788000 | #Constraints: 32831
2601.17/2607.82 c #Conflicts: 789000 | #Constraints: 33831
2601.17/2607.82 c #Conflicts: 790000 | #Constraints: 34831
2882.18/2889.52 c #Conflicts: 791000 | #Constraints: 35831
2882.18/2889.52 c #Conflicts: 792000 | #Constraints: 36831
2882.18/2889.52 c INPROCESSING
2882.18/2889.52 c GARBAGE COLLECT
2882.18/2889.52 c #Conflicts: 793000 | #Constraints: 20224
2882.18/2889.52 c #Conflicts: 794000 | #Constraints: 21224
2882.18/2889.52 c #Conflicts: 795000 | #Constraints: 22224
2882.18/2889.52 c #Conflicts: 796000 | #Constraints: 23224
2882.18/2889.52 c #Conflicts: 797000 | #Constraints: 24224
2882.18/2889.52 c #Conflicts: 798000 | #Constraints: 25224
2882.18/2889.52 c #Conflicts: 799000 | #Constraints: 26224
2882.18/2889.52 c #Conflicts: 800000 | #Constraints: 27224
2882.18/2889.52 c #Conflicts: 801000 | #Constraints: 28224
2882.18/2889.52 c #Conflicts: 802000 | #Constraints: 29224
2882.18/2889.52 c #Conflicts: 803000 | #Constraints: 30224
2882.18/2889.52 c #Conflicts: 804000 | #Constraints: 31224
2882.18/2889.52 c #Conflicts: 805000 | #Constraints: 32224
2882.18/2889.52 c #Conflicts: 806000 | #Constraints: 33224
2882.18/2889.52 c #Conflicts: 807000 | #Constraints: 34224
2882.18/2889.52 c #Conflicts: 808000 | #Constraints: 35224
2882.18/2889.52 c #Conflicts: 809000 | #Constraints: 36224
2882.18/2889.52 c #Conflicts: 810000 | #Constraints: 37224
2882.18/2889.52 c INPROCESSING
2882.18/2889.52 c GARBAGE COLLECT
2882.18/2889.52 c #Conflicts: 811000 | #Constraints: 20453
2882.18/2889.52 c #Conflicts: 812000 | #Constraints: 21453
2882.18/2889.52 c #Conflicts: 813000 | #Constraints: 22453
2882.18/2889.52 c #Conflicts: 814000 | #Constraints: 23453
2882.18/2889.52 c #Conflicts: 815000 | #Constraints: 24453
2882.18/2889.52 c #Conflicts: 816000 | #Constraints: 25453
2882.18/2889.52 c #Conflicts: 817000 | #Constraints: 26453
2882.18/2889.52 c #Conflicts: 818000 | #Constraints: 27453
2882.18/2889.52 c #Conflicts: 819000 | #Constraints: 28453
2882.18/2889.52 c #Conflicts: 820000 | #Constraints: 29453
2882.18/2889.52 c #Conflicts: 821000 | #Constraints: 30453
2882.18/2889.52 c #Conflicts: 822000 | #Constraints: 31453
2882.18/2889.52 c #Conflicts: 823000 | #Constraints: 32453
2882.18/2889.52 c #Conflicts: 824000 | #Constraints: 33453
2882.18/2889.52 c #Conflicts: 825000 | #Constraints: 34453
2882.18/2889.52 c #Conflicts: 826000 | #Constraints: 35453
2882.18/2889.52 c #Conflicts: 827000 | #Constraints: 36453
2882.18/2889.52 c #Conflicts: 828000 | #Constraints: 37453
2882.18/2889.52 c INPROCESSING
2882.18/2889.52 c GARBAGE COLLECT
2882.18/2889.52 c #Conflicts: 829000 | #Constraints: 20456
2882.18/2889.52 c #Conflicts: 830000 | #Constraints: 21456
2882.18/2889.52 c #Conflicts: 831000 | #Constraints: 22456
2882.18/2889.52 c #Conflicts: 832000 | #Constraints: 23456
2882.18/2889.52 c #Conflicts: 833000 | #Constraints: 24457
2882.18/2889.52 c #Conflicts: 834000 | #Constraints: 25457
2882.18/2889.52 c #Conflicts: 835000 | #Constraints: 26457
2882.18/2889.52 c #Conflicts: 836000 | #Constraints: 27457
2882.18/2889.52 c #Conflicts: 837000 | #Constraints: 28457
2882.18/2889.52 c #Conflicts: 838000 | #Constraints: 29457
2882.18/2889.52 c #Conflicts: 839000 | #Constraints: 30457
2882.18/2889.52 c #Conflicts: 840000 | #Constraints: 31457
2882.18/2889.52 c #Conflicts: 841000 | #Constraints: 32457
2882.18/2889.52 c #Conflicts: 842000 | #Constraints: 33457
2882.18/2889.52 c #Conflicts: 843000 | #Constraints: 34457
2882.18/2889.52 c #Conflicts: 844000 | #Constraints: 35457
2882.18/2889.52 c #Conflicts: 845000 | #Constraints: 36457
2882.18/2889.52 c #Conflicts: 846000 | #Constraints: 37457
2882.18/2889.52 c INPROCESSING
2882.18/2889.52 c GARBAGE COLLECT
2882.18/2889.52 c #Conflicts: 847000 | #Constraints: 20222
2882.18/2889.52 c #Conflicts: 848000 | #Constraints: 21222
2882.18/2889.52 c #Conflicts: 849000 | #Constraints: 22222
2882.18/2889.52 c #Conflicts: 850000 | #Constraints: 23222
2882.18/2889.52 c #Conflicts: 851000 | #Constraints: 24222
2882.18/2889.52 c #Conflicts: 852000 | #Constraints: 25222
2882.18/2889.52 c #Conflicts: 853000 | #Constraints: 26222
2882.18/2889.52 c #Conflicts: 854000 | #Constraints: 27222
2882.18/2889.52 c #Conflicts: 855000 | #Constraints: 28222
2882.18/2889.52 c #Conflicts: 856000 | #Constraints: 29222
2882.18/2889.52 c #Conflicts: 857000 | #Constraints: 30222
2882.18/2889.52 c #Conflicts: 858000 | #Constraints: 31222
2882.18/2889.52 c #Conflicts: 859000 | #Constraints: 32222
2882.18/2889.52 c #Conflicts: 860000 | #Constraints: 33222
2882.18/2889.52 c #Conflicts: 861000 | #Constraints: 34222
2882.18/2889.52 c #Conflicts: 862000 | #Constraints: 35222
2882.18/2889.52 c #Conflicts: 863000 | #Constraints: 36222
2882.18/2889.52 c #Conflicts: 864000 | #Constraints: 37222
2882.18/2889.52 c #Conflicts: 865000 | #Constraints: 38222
2882.18/2889.52 c INPROCESSING
3176.36/3184.47 c GARBAGE COLLECT
3176.36/3184.47 c #Conflicts: 866000 | #Constraints: 20803
3176.36/3184.47 c #Conflicts: 867000 | #Constraints: 21803
3176.36/3184.47 c #Conflicts: 868000 | #Constraints: 22803
3176.36/3184.47 c #Conflicts: 869000 | #Constraints: 23803
3176.36/3184.47 c #Conflicts: 870000 | #Constraints: 24803
3176.36/3184.47 c #Conflicts: 871000 | #Constraints: 25803
3176.36/3184.47 c #Conflicts: 872000 | #Constraints: 26803
3176.36/3184.47 c #Conflicts: 873000 | #Constraints: 27803
3176.36/3184.47 c #Conflicts: 874000 | #Constraints: 28803
3176.36/3184.47 c #Conflicts: 875000 | #Constraints: 29803
3176.36/3184.47 c #Conflicts: 876000 | #Constraints: 30803
3176.36/3184.47 c #Conflicts: 877000 | #Constraints: 31803
3176.36/3184.47 c #Conflicts: 878000 | #Constraints: 32803
3176.36/3184.47 c #Conflicts: 879000 | #Constraints: 33803
3176.36/3184.47 c #Conflicts: 880000 | #Constraints: 34803
3176.36/3184.47 c #Conflicts: 881000 | #Constraints: 35803
3176.36/3184.47 c #Conflicts: 882000 | #Constraints: 36803
3176.36/3184.47 c #Conflicts: 883000 | #Constraints: 37803
3176.36/3184.47 c #Conflicts: 884000 | #Constraints: 38803
3176.36/3184.47 c INPROCESSING
3176.36/3184.47 c GARBAGE COLLECT
3176.36/3184.47 c #Conflicts: 885000 | #Constraints: 21245
3176.36/3184.47 c #Conflicts: 886000 | #Constraints: 22245
3176.36/3184.47 c #Conflicts: 887000 | #Constraints: 23245
3176.36/3184.47 c #Conflicts: 888000 | #Constraints: 24245
3176.36/3184.47 c #Conflicts: 889000 | #Constraints: 25245
3176.36/3184.47 c #Conflicts: 890000 | #Constraints: 26245
3176.36/3184.47 c #Conflicts: 891000 | #Constraints: 27245
3176.36/3184.47 c #Conflicts: 892000 | #Constraints: 28245
3176.36/3184.47 c #Conflicts: 893000 | #Constraints: 29245
3176.36/3184.47 c #Conflicts: 894000 | #Constraints: 30245
3176.36/3184.47 c #Conflicts: 895000 | #Constraints: 31245
3176.36/3184.47 c #Conflicts: 896000 | #Constraints: 32245
3176.36/3184.47 c #Conflicts: 897000 | #Constraints: 33245
3176.36/3184.47 c #Conflicts: 898000 | #Constraints: 34245
3176.36/3184.47 c #Conflicts: 899000 | #Constraints: 35245
3176.36/3184.47 c #Conflicts: 900000 | #Constraints: 36245
3176.36/3184.47 c #Conflicts: 901000 | #Constraints: 37245
3176.36/3184.47 c #Conflicts: 902000 | #Constraints: 38245
3176.36/3184.47 c #Conflicts: 903000 | #Constraints: 39245
3176.36/3184.47 c INPROCESSING
3176.36/3184.47 c GARBAGE COLLECT
3176.36/3184.47 c #Conflicts: 904000 | #Constraints: 21454
3176.36/3184.47 c #Conflicts: 905000 | #Constraints: 22454
3176.36/3184.47 c #Conflicts: 906000 | #Constraints: 23454
3176.36/3184.47 c #Conflicts: 907000 | #Constraints: 24454
3176.36/3184.47 c #Conflicts: 908000 | #Constraints: 25454
3176.36/3184.47 c #Conflicts: 909000 | #Constraints: 26454
3176.36/3184.47 c #Conflicts: 910000 | #Constraints: 27454
3176.36/3184.47 c #Conflicts: 911000 | #Constraints: 28454
3176.36/3184.47 c #Conflicts: 912000 | #Constraints: 29454
3176.36/3184.47 c #Conflicts: 913000 | #Constraints: 30454
3176.36/3184.47 c #Conflicts: 914000 | #Constraints: 31454
3176.36/3184.47 c #Conflicts: 915000 | #Constraints: 32454
3176.36/3184.47 c #Conflicts: 916000 | #Constraints: 33454
3176.36/3184.47 c #Conflicts: 917000 | #Constraints: 34454
3176.36/3184.47 c #Conflicts: 918000 | #Constraints: 35454
3176.36/3184.47 c #Conflicts: 919000 | #Constraints: 36454
3176.36/3184.47 c #Conflicts: 920000 | #Constraints: 37454
3176.36/3184.47 c #Conflicts: 921000 | #Constraints: 38454
3176.36/3184.47 c #Conflicts: 922000 | #Constraints: 39454
3176.36/3184.47 c INPROCESSING
3176.36/3184.47 c GARBAGE COLLECT
3176.36/3184.47 c #Conflicts: 923000 | #Constraints: 21454
3176.36/3184.47 c #Conflicts: 924000 | #Constraints: 22454
3176.36/3184.47 c #Conflicts: 925000 | #Constraints: 23454
3176.36/3184.47 c #Conflicts: 926000 | #Constraints: 24454
3176.36/3184.47 c #Conflicts: 927000 | #Constraints: 25454
3176.36/3184.47 c #Conflicts: 928000 | #Constraints: 26454
3176.36/3184.47 c #Conflicts: 929000 | #Constraints: 27454
3176.36/3184.47 c #Conflicts: 930000 | #Constraints: 28454
3176.36/3184.47 c #Conflicts: 931000 | #Constraints: 29454
3176.36/3184.47 c #Conflicts: 932000 | #Constraints: 30454
3176.36/3184.47 c #Conflicts: 933000 | #Constraints: 31454
3176.36/3184.47 c #Conflicts: 934000 | #Constraints: 32454
3176.36/3184.47 c #Conflicts: 935000 | #Constraints: 33454
3176.36/3184.47 c #Conflicts: 936000 | #Constraints: 34454
3176.36/3184.47 c #Conflicts: 937000 | #Constraints: 35454
3176.36/3184.47 c #Conflicts: 938000 | #Constraints: 36454
3176.36/3184.47 c #Conflicts: 939000 | #Constraints: 37454
3176.36/3184.47 c #Conflicts: 940000 | #Constraints: 38454
3176.36/3184.47 c #Conflicts: 941000 | #Constraints: 39454
3176.36/3184.47 c INPROCESSING
3176.36/3184.47 c GARBAGE COLLECT
3593.74/3602.83 c #Conflicts: 942000 | #Constraints: 21270
3593.74/3602.83 c #Conflicts: 943000 | #Constraints: 22270
3593.74/3602.83 c #Conflicts: 944000 | #Constraints: 23270
3593.74/3602.83 c #Conflicts: 945000 | #Constraints: 24270
3593.74/3602.83 c #Conflicts: 946000 | #Constraints: 25270
3593.74/3602.83 c #Conflicts: 947000 | #Constraints: 26270
3593.74/3602.83 c #Conflicts: 948000 | #Constraints: 27270
3593.74/3602.83 c #Conflicts: 949000 | #Constraints: 28270
3593.74/3602.83 c #Conflicts: 950000 | #Constraints: 29270
3593.74/3602.83 c #Conflicts: 951000 | #Constraints: 30270
3593.74/3602.83 c #Conflicts: 952000 | #Constraints: 31270
3593.74/3602.83 c #Conflicts: 953000 | #Constraints: 32270
3593.74/3602.83 c #Conflicts: 954000 | #Constraints: 33270
3593.74/3602.83 c #Conflicts: 955000 | #Constraints: 34270
3593.74/3602.83 c #Conflicts: 956000 | #Constraints: 35270
3593.74/3602.83 c #Conflicts: 957000 | #Constraints: 36271
3593.74/3602.83 c #Conflicts: 958000 | #Constraints: 37271
3593.74/3602.83 c #Conflicts: 959000 | #Constraints: 38271
3593.74/3602.83 c #Conflicts: 960000 | #Constraints: 39271
3593.74/3602.83 c #Conflicts: 961000 | #Constraints: 40271
3593.74/3602.83 c INPROCESSING
3593.74/3602.83 c GARBAGE COLLECT
3593.74/3602.83 c #Conflicts: 962000 | #Constraints: 21889
3593.74/3602.83 c #Conflicts: 963000 | #Constraints: 22889
3593.74/3602.83 c #Conflicts: 964000 | #Constraints: 23889
3593.74/3602.83 c #Conflicts: 965000 | #Constraints: 24889
3593.74/3602.83 c #Conflicts: 966000 | #Constraints: 25889
3593.74/3602.83 c #Conflicts: 967000 | #Constraints: 26889
3593.74/3602.83 c #Conflicts: 968000 | #Constraints: 27889
3593.74/3602.83 c #Conflicts: 969000 | #Constraints: 28889
3593.74/3602.83 c #Conflicts: 970000 | #Constraints: 29889
3593.74/3602.83 c #Conflicts: 971000 | #Constraints: 30889
3593.74/3602.83 c #Conflicts: 972000 | #Constraints: 31889
3593.74/3602.83 c #Conflicts: 973000 | #Constraints: 32889
3593.74/3602.83 c #Conflicts: 974000 | #Constraints: 33889
3593.74/3602.83 c #Conflicts: 975000 | #Constraints: 34889
3593.74/3602.83 c #Conflicts: 976000 | #Constraints: 35889
3593.74/3602.83 c #Conflicts: 977000 | #Constraints: 36889
3593.74/3602.83 c #Conflicts: 978000 | #Constraints: 37889
3593.74/3602.83 c #Conflicts: 979000 | #Constraints: 38889
3593.74/3602.83 c #Conflicts: 980000 | #Constraints: 39889
3593.74/3602.83 c #Conflicts: 981000 | #Constraints: 40889
3593.74/3602.83 c INPROCESSING
3593.74/3602.83 c GARBAGE COLLECT
3593.74/3602.83 c #Conflicts: 982000 | #Constraints: 22286
3593.74/3602.83 c #Conflicts: 983000 | #Constraints: 23286
3593.74/3602.83 c #Conflicts: 984000 | #Constraints: 24286
3593.74/3602.83 c #Conflicts: 985000 | #Constraints: 25286
3593.74/3602.83 c #Conflicts: 986000 | #Constraints: 26286
3593.74/3602.83 c #Conflicts: 987000 | #Constraints: 27286
3593.74/3602.83 c #Conflicts: 988000 | #Constraints: 28286
3593.74/3602.83 c #Conflicts: 989000 | #Constraints: 29286
3593.74/3602.83 c #Conflicts: 990000 | #Constraints: 30286
3593.74/3602.83 c #Conflicts: 991000 | #Constraints: 31286
3593.74/3602.83 c #Conflicts: 992000 | #Constraints: 32286
3593.74/3602.83 c #Conflicts: 993000 | #Constraints: 33286
3593.74/3602.83 c #Conflicts: 994000 | #Constraints: 34286
3593.74/3602.83 c #Conflicts: 995000 | #Constraints: 35286
3593.74/3602.83 c #Conflicts: 996000 | #Constraints: 36286
3593.74/3602.83 c #Conflicts: 997000 | #Constraints: 37286
3593.74/3602.83 c #Conflicts: 998000 | #Constraints: 38286
3593.74/3602.83 c #Conflicts: 999000 | #Constraints: 39286
3593.74/3602.83 c #Conflicts: 1000000 | #Constraints: 40286
3593.74/3602.83 c #Conflicts: 1001000 | #Constraints: 41286
3593.74/3602.83 c INPROCESSING
3593.74/3602.83 c GARBAGE COLLECT
3593.74/3602.83 c #Conflicts: 1002000 | #Constraints: 22510
3593.74/3602.83 c #Conflicts: 1003000 | #Constraints: 23510
3593.74/3602.83 c #Conflicts: 1004000 | #Constraints: 24510
3593.74/3602.83 c #Conflicts: 1005000 | #Constraints: 25510
3593.74/3602.83 c #Conflicts: 1006000 | #Constraints: 26510
3593.74/3602.83 c #Conflicts: 1007000 | #Constraints: 27510
3593.74/3602.83 c #Conflicts: 1008000 | #Constraints: 28510
3593.74/3602.83 c #Conflicts: 1009000 | #Constraints: 29510
3593.74/3602.83 c #Conflicts: 1010000 | #Constraints: 30510
3593.74/3602.83 c #Conflicts: 1011000 | #Constraints: 31510
3593.74/3602.83 c #Conflicts: 1012000 | #Constraints: 32510
3593.74/3602.83 c #Conflicts: 1013000 | #Constraints: 33510
3593.74/3602.83 c #Conflicts: 1014000 | #Constraints: 34510
3593.74/3602.83 c #Conflicts: 1015000 | #Constraints: 35510
3593.74/3602.83 c #Conflicts: 1016000 | #Constraints: 36510
3593.74/3602.83 c #Conflicts: 1017000 | #Constraints: 37510
3593.74/3602.83 c #Conflicts: 1018000 | #Constraints: 38510
3600.03/3609.10 c #Conflicts: 1019000 | #Constraints: 39510
3600.03/3609.10 c cpu time 3586 s
3600.03/3609.10 c deterministic time 405858980049 4.06e+11
3600.03/3609.10 c optimization time 80.6338 s
3600.03/3609.10 c total solve time 3505.3 s
3600.03/3609.10 c core-guided solve time 0 s
3600.03/3609.10 c propagation time 1861.48 s
3600.03/3609.10 c conflict analysis time 1388.32 s
3600.03/3609.10 c propagations 301473880
3600.03/3609.10 c resolve steps 11353851
3600.03/3609.10 c decisions 12293571
3600.03/3609.10 c conflicts 1019206
3600.03/3609.10 c restarts 2045
3600.03/3609.10 c inprocessing phases 91
3600.03/3609.10 c garbage collections 91 ,( 100.00 )
3600.03/3609.10 c input clauses 612 ,( 44.16 )
3600.03/3609.10 c input cardinalities 774 ,( 55.84 )
3600.03/3609.10 c input general constraints 0 ,( 0.00 )
3600.03/3609.10 c input average constraint length 168.90
3600.03/3609.10 c input average constraint degree 101.10
3600.03/3609.10 c learned clauses 112073 ,( 11.00 )
3600.03/3609.10 c learned cardinalities 61501 ,( 6.03 )
3600.03/3609.10 c learned general constraints 845640 ,( 82.97 )
3600.03/3609.10 c learned average constraint length 2382.72
3600.03/3609.10 c learned average constraint degree 6603011.55
3600.03/3609.10 c watched CF 32, 64, 128, Arb: 439497 , 0 , 0 , 0
3600.03/3609.10 c counting CF 32, 64, 128, Arb: 406143 , 0 , 0 , 0
3600.03/3609.10 c watched constraints 439497 ,( 51.97 )
3600.03/3609.10 c counting constraints 406143 ,( 48.03 )
3600.03/3609.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 66180001 , 910077246 , 697893874 ,( 176398724 , 521495150 )
3600.03/3609.10 c gcd simplifications 70
3600.03/3609.10 c detected cardinalities 0
3600.03/3609.10 c weakened non-implied lits 1935022470
3600.03/3609.10 c weakened non-implying lits 594572
3600.03/3609.10 c original variables 23409
3600.03/3609.10 c clausal propagations 1597731
3600.03/3609.10 c cardinality propagations 233257739
3600.03/3609.10 c watched propagations 4955803
3600.03/3609.10 c counting propagations 56286459
3600.03/3609.10 c watch lookups 39982046215
3600.03/3609.10 c watch backjump lookups 0
3600.03/3609.10 c watch checks 111743541282
3600.03/3609.10 c propagation checks 245545693231
3600.03/3609.10 c constraint additions 7958935475
3600.03/3609.10 c trail pops 314764433
3600.03/3609.10 c formula constraints 1386
3600.03/3609.10 c learned constraints 1019198
3600.03/3609.10 c bound constraints 0
3600.03/3609.10 c core-guided constraints 0
3600.03/3609.10 c encountered formula constraints 4377196
3600.03/3609.10 c encountered learned constraints 7995807
3600.03/3609.10 c encountered bound constraints 0
3600.03/3609.10 c encountered core-guided constraints 0
3600.03/3609.10 c LP total time 191.99 s
3600.03/3609.10 c LP solve time 183.08 s
3600.03/3609.10 c LP constraints added 1389
3600.03/3609.10 c LP constraints removed 1
3600.03/3609.10 c LP pivots internal 103638
3600.03/3609.10 c LP pivots root 128323
3600.03/3609.10 c LP calls 18
3600.03/3609.10 c LP optimalities 4
3600.03/3609.10 c LP no pivot count 0
3600.03/3609.10 c LP infeasibilities 7
3600.03/3609.10 c LP valid Farkas constraints 7
3600.03/3609.10 c LP learned Farkas constraints 7
3600.03/3609.10 c LP basis resets 0
3600.03/3609.10 c LP cycling count 0
3600.03/3609.10 c LP singular count 0
3600.03/3609.10 c LP no primal count 0
3600.03/3609.10 c LP no farkas count 0
3600.03/3609.10 c LP other issue count 0
3600.03/3609.10 c LP Gomory cuts 2
3600.03/3609.10 c LP learned cuts 1
3600.03/3609.10 c LP deleted cuts 1
3600.03/3609.10 c LP encountered Gomory constraints 0
3600.03/3609.10 c LP encountered Farkas constraints 40
3600.03/3609.10 c LP encountered learned Farkas constraints 7
3600.03/3609.10 c CG auxiliary variables introduced 0
3600.03/3609.10 c CG solutions found 0
3600.03/3609.10 c CG cores constructed 0
3600.03/3609.10 c CG core cardinality constraints returned 0
3600.03/3609.10 c CG unit cores 0
3600.03/3609.10 c CG single cores 0
3600.03/3609.10 c CG blocks removed during cardinality reduction 0
3600.03/3609.10 c CG first core best 0
3600.03/3609.10 c CG decision core best 0
3600.03/3609.10 c CG core reduction tie 0
3600.03/3609.10 c CG core degree average 0.00
3600.03/3609.10 c CG core slack average 0.00
3600.03/3609.10 c CG core upper bound improvements 0
3600.03/3609.10 c STR number of successful calls 0
3600.03/3609.10 c STR number of unsuccessful calls 0
3600.03/3609.10 c STR number of inconclusive calls 0
3600.03/3609.10 c STR number of successful attempts 0
3600.03/3609.10 c STR number of unsuccessful attempts 0
3600.03/3609.10 c STR number of inconclusive attempts 0
3600.03/3609.10 c STR average degree increase per successful call inf
3600.03/3609.10 c STR average degree increase per successful attempt inf
3600.03/3609.10 c STR total number of conflicts for successful attempts 0
3600.03/3609.10 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.10 c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.10 c STR average number of conflicts per successful attempt inf
3600.03/3609.10 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.10 c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.10 c AVG.sumWPerc 40.85
3600.03/3609.10 c bigint constraints 0
3600.03/3609.10 s UNKNOWN
3600.03/3609.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61729 MiB free)
memory of node 1: 64465 MiB (64036 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493300-1751150279/watcher-4493300-1751150279 -o /tmp/evaluation-result-4493300-1751150279/solver-4493300-1751150279 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751146666-14639 --watchdog 3760 run-dec.sh HOME/instance-4493300-1751150279.opb
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 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=15389, runsolver pid=15383
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.13 4.12 4.08 4/263 15402
/proc/meminfo: memFree=128769364/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=72920 memory=28888 CPUtime=0.08 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 5937 0 0 0 7 1 0 0 20 0 1 0 30705344 74670080 7222 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 18230 7222 2208 1147 0 5657 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77112 KiB
Current children cumulated memory: 31832 KiB
[startup+0.205513 s]*
/proc/loadavg: 4.13 4.12 4.08 5/263 15408
/proc/meminfo: memFree=128751476/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=84688 memory=40164 CPUtime=0.17 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 11720 0 0 0 16 1 0 0 20 0 1 0 30705344 86720512 10041 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 21172 10041 2208 1147 0 8599 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 88880 KiB
Current children cumulated memory: 43108 KiB
[startup+0.305486 s]*
/proc/loadavg: 4.13 4.12 4.08 5/268 15417
/proc/meminfo: memFree=128739740/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=85056 memory=40548 CPUtime=0.28 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 11824 0 0 0 26 2 0 0 20 0 1 0 30705344 87097344 10137 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 21264 10137 2208 1147 0 8691 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 89248 KiB
Current children cumulated memory: 43492 KiB
[startup+0.700134 s]
/proc/loadavg: 4.13 4.12 4.08 5/268 15417
/proc/meminfo: memFree=128737612/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=85408 memory=40932 CPUtime=0.67 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 11918 0 0 0 65 2 0 0 20 0 1 0 30705344 87457792 10233 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 21352 10233 2208 1147 0 8779 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 89600 KiB
Current children cumulated memory: 43876 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.12 4.08 5/268 15417
/proc/meminfo: memFree=128733292/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=85964 memory=41316 CPUtime=1.46 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 12017 0 0 0 144 2 0 0 20 0 1 0 30705344 88027136 10329 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 21491 10329 2208 1147 0 8918 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 90156 KiB
Current children cumulated memory: 44260 KiB
[startup+3.10545 s]
/proc/loadavg: 4.13 4.12 4.08 5/268 15463
/proc/meminfo: memFree=129988452/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=123452 memory=77060 CPUtime=3.06 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 18831 0 0 0 298 8 0 0 20 0 1 0 30705344 126414848 19265 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 30863 19265 2304 1147 0 18290 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 127644 KiB
Current children cumulated memory: 80004 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.12 4.08 5/268 15509
/proc/meminfo: memFree=129933184/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=156836 memory=103284 CPUtime=6.25 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 24372 0 0 0 607 18 0 0 20 0 1 0 30705344 160600064 25821 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 39209 25821 2304 1147 0 26636 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 161028 KiB
Current children cumulated memory: 106228 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.08 5/268 15509
/proc/meminfo: memFree=129861532/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=191796 memory=135428 CPUtime=12.62 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 29329 0 0 0 1236 26 0 0 20 0 1 0 30705344 196399104 33857 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 47949 33857 2304 1147 0 35376 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 195988 KiB
Current children cumulated memory: 138372 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.08 5/269 15556
/proc/meminfo: memFree=129722316/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=212828 memory=160560 CPUtime=25.39 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 34600 0 0 0 2500 39 0 0 20 0 1 0 30705344 217935872 40140 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 53207 40140 2304 1147 0 40634 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 217020 KiB
Current children cumulated memory: 163504 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.12 4.08 5/269 15557
/proc/meminfo: memFree=129577468/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=239648 memory=195456 CPUtime=50.92 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 41278 0 0 0 5016 76 0 0 20 0 1 0 30705344 245399552 48864 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 59912 48864 2304 1147 0 47339 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 243840 KiB
Current children cumulated memory: 198400 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.10 4.08 5/269 15559
/proc/meminfo: memFree=129346792/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=371324 memory=292592 CPUtime=101.96 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 55323 0 0 0 10087 109 0 0 20 0 1 0 30705344 380235776 73148 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 92831 73148 2304 1147 0 80258 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 375516 KiB
Current children cumulated memory: 295536 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.08 5/269 15563
/proc/meminfo: memFree=129044064/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=417368 memory=338544 CPUtime=161.78 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 66825 0 0 0 16014 164 0 0 20 0 1 0 30705344 427384832 84636 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 104342 84636 2304 1147 0 91769 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 421560 KiB
Current children cumulated memory: 341488 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/269 15656
/proc/meminfo: memFree=129135236/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=463152 memory=415396 CPUtime=221.6 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 78253 0 0 0 21963 197 0 0 20 0 1 0 30705344 474267648 103849 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 115788 103849 2304 1147 0 103215 0
################
# More data... #
################
/proc/15391/statm: 390919 353425 2304 1147 0 378346 0
Current children cumulated CPU time: 3094.46 s
Current children cumulated vsize: 1567868 KiB
Current children cumulated memory: 1416644 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/267 16037
/proc/meminfo: memFree=126294460/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=1582408 memory=1432132 CPUtime=3154.32 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 252455 0 0 0 314104 1328 0 0 20 0 1 0 30705344 1620385792 358033 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 395602 358033 2304 1147 0 383029 0
Current children cumulated CPU time: 3154.32 s
Current children cumulated vsize: 1586600 KiB
Current children cumulated memory: 1435076 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/267 16039
/proc/meminfo: memFree=126211156/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=1598892 memory=1472952 CPUtime=3214.17 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 256562 0 0 0 320080 1337 0 0 20 0 1 0 30705344 1637265408 368238 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 399723 368238 2304 1147 0 387150 0
Current children cumulated CPU time: 3214.17 s
Current children cumulated vsize: 1603084 KiB
Current children cumulated memory: 1475896 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 16043
/proc/meminfo: memFree=126154384/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=1625712 memory=1515664 CPUtime=3274.03 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 263141 0 0 0 326055 1348 0 0 20 0 1 0 30705344 1664729088 378916 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 406428 378916 2304 1147 0 393855 0
Current children cumulated CPU time: 3274.03 s
Current children cumulated vsize: 1629904 KiB
Current children cumulated memory: 1518608 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/267 16045
/proc/meminfo: memFree=126043764/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=1992964 memory=1622564 CPUtime=3333.88 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 267889 0 0 0 332030 1358 0 0 20 0 1 0 30705344 2040795136 405641 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 498241 405641 2304 1147 0 485668 0
Current children cumulated CPU time: 3333.88 s
Current children cumulated vsize: 1997156 KiB
Current children cumulated memory: 1625508 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 16048
/proc/meminfo: memFree=126005244/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=2023444 memory=1652388 CPUtime=3393.74 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 275366 0 0 0 338006 1368 0 0 20 0 1 0 30705344 2072006656 413097 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 505861 413097 2304 1147 0 493288 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 2027636 KiB
Current children cumulated memory: 1655332 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/267 16050
/proc/meminfo: memFree=125981740/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=2029556 memory=1658660 CPUtime=3453.59 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 276920 0 0 0 343983 1376 0 0 20 0 1 0 30705344 2078265344 414665 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 507389 414665 2304 1147 0 494816 0
Current children cumulated CPU time: 3453.59 s
Current children cumulated vsize: 2033748 KiB
Current children cumulated memory: 1661604 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 16052
/proc/meminfo: memFree=125786208/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=2103912 memory=1822624 CPUtime=3513.45 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 294940 0 0 0 349959 1386 0 0 20 0 1 0 30705344 2154405888 455656 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 525978 455656 2304 1147 0 513405 0
Current children cumulated CPU time: 3513.45 s
Current children cumulated vsize: 2108104 KiB
Current children cumulated memory: 1825568 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 16054
/proc/meminfo: memFree=125648008/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=2116136 memory=1861056 CPUtime=3573.3 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 297886 0 0 0 355932 1398 0 0 20 0 1 0 30705344 2166923264 465264 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 529034 465264 2304 1147 0 516461 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 2120328 KiB
Current children cumulated memory: 1864000 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.10 4.09 4.09 4/263 16066
/proc/meminfo: memFree=126537624/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=2142112 memory=1886272 CPUtime=3600.03 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 304213 0 0 0 358599 1404 0 0 20 0 1 0 30705344 2193522688 471568 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 535528 471568 2304 1147 0 522955 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2146304 KiB
Current children cumulated memory: 1889216 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.11 s]
# the end of solver process 15389 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.002418 s
Sleeping 2 seconds
[startup+3609.14 s]
# the end of solver process 15391 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.01 s, system=14.0679 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+3609.11 s]
/proc/loadavg: 4.10 4.09 4.09 4/263 16066
/proc/meminfo: memFree=126537624/131249996 swapFree=33010684/33010684
[pid=15389] ppid=15383 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15389/stat : 15389 (run-dec.sh) S 15383 15389 14621 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30705343 4292608 736 18446744073709551615 93827443220480 93827444115013 140737418541168 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93827444354064 93827444401808 93827461615616 140737418545517 140737418545640 140737418545640 140737418551242 0
/proc/15389/statm: 1048 736 672 219 0 110 0
[pid=15391] ppid=15389 vsize=2142112 memory=1886272 CPUtime=3600.03 cores=5,7
/proc/15391/stat : 15391 (roundingsat) R 15389 15389 14621 0 -1 4194304 304213 0 0 0 358599 1404 0 0 20 0 1 0 30705344 2193522688 471568 18446744073709551615 4227072 8923433 140723258697824 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24707072 140723258706359 140723258706472 140723258706472 140723258712042 0
/proc/15391/statm: 535528 471568 2304 1147 0 522955 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2146304 KiB
Current children cumulated memory: 1889216 KiB
Child status: 2
Real time (s): 3609.14
CPU time (s): 3600.08
CPU user time (s): 3586.01
CPU system time (s): 14.0679
CPU usage (%): 99.7489
Max. virtual memory (cumulated for all children) (KiB): 2146304
Max. memory (cumulated for all children) (KiB): 1889216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.01
system time used= 14.0679
maximum resident set size= 1886656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304439
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 384
involuntary context switches= 3057
# summary of solver processes directly reported to runsolver:
# pid: 15389,15391
# total CPU time (s): 3600.08
# total CPU user time (s): 3586.01
# total CPU system time (s): 14.0679
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99861 second user time and 16.1906 second system time
The end
Begin job on nodeC015 at 2025-06-29 00:37:59
IDJOB=4493300
IDBENCH=147859
IDSOLVER=3349
FILE ID=nodeC015/4493300-1751150279
RUNJOBID= nodeC015-1751146666-14639
SLURM_JOB_ID= 9587466
Free space on /tmp= 432984 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493300-1751150279/watcher-4493300-1751150279 -o /tmp/evaluation-result-4493300-1751150279/solver-4493300-1751150279 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751146666-14639 --watchdog 3760 run-dec.sh HOME/instance-4493300-1751150279.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=1102668860
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.053
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.340
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.105
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.062
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.073
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.303
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128783728 kB
MemAvailable: 128465372 kB
Buffers: 3280 kB
Cached: 493144 kB
SwapCached: 0 kB
Active: 1617464 kB
Inactive: 274196 kB
Active(anon): 1413312 kB
Inactive(anon): 0 kB
Active(file): 204152 kB
Inactive(file): 274196 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26000 kB
Writeback: 0 kB
AnonPages: 1396952 kB
Mapped: 109252 kB
Shmem: 18076 kB
KReclaimable: 85072 kB
Slab: 168428 kB
SReclaimable: 85072 kB
SUnreclaim: 83356 kB
KernelStack: 4220 kB
PageTables: 5904 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1824272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1280000 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC015 at 2025-06-29 01:38:08