0.00/0.03 c RoundingSat 2
0.00/0.03 c branch
0.00/0.03 c commit
0.00/0.03 c with Papilo
0.00/0.03 c with SCIP
0.00/0.03 c [STEP] parsing instance
0.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.07 c [STEP] solving with SCIP
299.18/300.17 c [STEP] preprocessing done, loading into solver
299.18/300.18 c [STEP] solving
299.18/300.18 c #variables 10273 #constraints 706
299.18/300.18 c SMALL=int, LARGE=long long
299.18/300.18 d SCIPUB 28
299.18/300.18 c bounds - >= 0 @ 299.114
299.18/300.18 c stratification level: 0
355.73/356.86 c bounds - >= 27 @ 299.115
355.73/356.86 c #Conflicts: 1000 | #Constraints: 1707
355.73/356.86 c #Conflicts: 2000 | #Constraints: 2707
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 3000 | #Constraints: 2715
355.73/356.86 c #Conflicts: 4000 | #Constraints: 3715
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 5000 | #Constraints: 3123
355.73/356.86 c #Conflicts: 6000 | #Constraints: 4123
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 7000 | #Constraints: 3122
355.73/356.86 c #Conflicts: 8000 | #Constraints: 4122
355.73/356.86 c #Conflicts: 9000 | #Constraints: 5122
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 10000 | #Constraints: 3827
355.73/356.86 c #Conflicts: 11000 | #Constraints: 4827
355.73/356.86 c #Conflicts: 12000 | #Constraints: 5827
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 13000 | #Constraints: 4275
355.73/356.86 c #Conflicts: 14000 | #Constraints: 5275
355.73/356.86 c #Conflicts: 15000 | #Constraints: 6275
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 16000 | #Constraints: 4504
355.73/356.86 c #Conflicts: 17000 | #Constraints: 5504
355.73/356.86 c #Conflicts: 18000 | #Constraints: 6504
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 19000 | #Constraints: 4524
355.73/356.86 c #Conflicts: 20000 | #Constraints: 5524
355.73/356.86 c #Conflicts: 21000 | #Constraints: 6524
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 22000 | #Constraints: 4325
355.73/356.86 c #Conflicts: 23000 | #Constraints: 5325
355.73/356.86 c #Conflicts: 24000 | #Constraints: 6325
355.73/356.86 c #Conflicts: 25000 | #Constraints: 7325
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 26000 | #Constraints: 4928
355.73/356.86 c #Conflicts: 27000 | #Constraints: 5928
355.73/356.86 c #Conflicts: 28000 | #Constraints: 6928
355.73/356.86 c #Conflicts: 29000 | #Constraints: 7928
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 30000 | #Constraints: 5322
355.73/356.86 c #Conflicts: 31000 | #Constraints: 6322
355.73/356.86 c #Conflicts: 32000 | #Constraints: 7322
355.73/356.86 c #Conflicts: 33000 | #Constraints: 8322
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 34000 | #Constraints: 5530
355.73/356.86 c #Conflicts: 35000 | #Constraints: 6530
355.73/356.86 c #Conflicts: 36000 | #Constraints: 7530
355.73/356.86 c #Conflicts: 37000 | #Constraints: 8530
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 38000 | #Constraints: 5541
355.73/356.86 c #Conflicts: 39000 | #Constraints: 6541
355.73/356.86 c #Conflicts: 40000 | #Constraints: 7541
355.73/356.86 c #Conflicts: 41000 | #Constraints: 8541
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 42000 | #Constraints: 5342
355.73/356.86 c #Conflicts: 43000 | #Constraints: 6342
355.73/356.86 c #Conflicts: 44000 | #Constraints: 7342
355.73/356.86 c #Conflicts: 45000 | #Constraints: 8342
355.73/356.86 c #Conflicts: 46000 | #Constraints: 9342
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 47000 | #Constraints: 5933
355.73/356.86 c #Conflicts: 48000 | #Constraints: 6933
355.73/356.86 c #Conflicts: 49000 | #Constraints: 7933
355.73/356.86 c #Conflicts: 50000 | #Constraints: 8933
355.73/356.86 c #Conflicts: 51000 | #Constraints: 9933
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 52000 | #Constraints: 6342
355.73/356.86 c #Conflicts: 53000 | #Constraints: 7342
355.73/356.86 c #Conflicts: 54000 | #Constraints: 8342
355.73/356.86 c #Conflicts: 55000 | #Constraints: 9342
355.73/356.86 c #Conflicts: 56000 | #Constraints: 10342
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 57000 | #Constraints: 6532
355.73/356.86 c #Conflicts: 58000 | #Constraints: 7532
355.73/356.86 c #Conflicts: 59000 | #Constraints: 8532
355.73/356.86 c #Conflicts: 60000 | #Constraints: 9532
355.73/356.86 c #Conflicts: 61000 | #Constraints: 10532
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 62000 | #Constraints: 6534
355.73/356.86 c #Conflicts: 63000 | #Constraints: 7534
355.73/356.86 c #Conflicts: 64000 | #Constraints: 8534
355.73/356.86 c #Conflicts: 65000 | #Constraints: 9534
355.73/356.86 c #Conflicts: 66000 | #Constraints: 10534
355.73/356.86 c INPROCESSING
355.73/356.86 c GARBAGE COLLECT
355.73/356.86 c #Conflicts: 67000 | #Constraints: 6334
484.77/486.27 c #Conflicts: 68000 | #Constraints: 7334
484.77/486.27 c #Conflicts: 69000 | #Constraints: 8334
484.77/486.27 c #Conflicts: 70000 | #Constraints: 9334
484.77/486.27 c #Conflicts: 71000 | #Constraints: 10334
484.77/486.27 c #Conflicts: 72000 | #Constraints: 11334
484.77/486.27 c INPROCESSING
484.77/486.27 c GARBAGE COLLECT
484.77/486.27 c #Conflicts: 73000 | #Constraints: 6930
484.77/486.27 c #Conflicts: 74000 | #Constraints: 7930
484.77/486.27 c #Conflicts: 75000 | #Constraints: 8930
484.77/486.27 c #Conflicts: 76000 | #Constraints: 9930
484.77/486.27 c #Conflicts: 77000 | #Constraints: 10930
484.77/486.27 c #Conflicts: 78000 | #Constraints: 11930
484.77/486.27 c INPROCESSING
484.77/486.27 c GARBAGE COLLECT
484.77/486.27 c #Conflicts: 79000 | #Constraints: 7336
484.77/486.27 c #Conflicts: 80000 | #Constraints: 8336
484.77/486.27 c #Conflicts: 81000 | #Constraints: 9336
484.77/486.27 c #Conflicts: 82000 | #Constraints: 10336
484.77/486.27 c #Conflicts: 83000 | #Constraints: 11336
484.77/486.27 c #Conflicts: 84000 | #Constraints: 12336
484.77/486.27 c INPROCESSING
484.77/486.27 c GARBAGE COLLECT
484.77/486.27 c #Conflicts: 85000 | #Constraints: 7530
484.77/486.27 c #Conflicts: 86000 | #Constraints: 8530
484.77/486.27 c #Conflicts: 87000 | #Constraints: 9530
484.77/486.27 c #Conflicts: 88000 | #Constraints: 10530
484.77/486.27 c #Conflicts: 89000 | #Constraints: 11530
484.77/486.27 c #Conflicts: 90000 | #Constraints: 12530
484.77/486.27 c INPROCESSING
484.77/486.27 c GARBAGE COLLECT
484.77/486.27 c #Conflicts: 91000 | #Constraints: 7534
484.77/486.27 c #Conflicts: 92000 | #Constraints: 8534
484.77/486.27 c #Conflicts: 93000 | #Constraints: 9534
484.77/486.27 c #Conflicts: 94000 | #Constraints: 10534
484.77/486.27 c #Conflicts: 95000 | #Constraints: 11534
484.77/486.27 c #Conflicts: 96000 | #Constraints: 12534
484.77/486.27 c INPROCESSING
484.77/486.27 c GARBAGE COLLECT
484.77/486.27 c #Conflicts: 97000 | #Constraints: 7340
484.77/486.27 c #Conflicts: 98000 | #Constraints: 8340
484.77/486.27 c #Conflicts: 99000 | #Constraints: 9340
484.77/486.27 c #Conflicts: 100000 | #Constraints: 10340
484.77/486.27 c #Conflicts: 101000 | #Constraints: 11340
484.77/486.27 c #Conflicts: 102000 | #Constraints: 12340
484.77/486.27 c #Conflicts: 103000 | #Constraints: 13340
484.77/486.27 c INPROCESSING
484.77/486.27 c GARBAGE COLLECT
484.77/486.27 c #Conflicts: 104000 | #Constraints: 7932
484.77/486.27 c #Conflicts: 105000 | #Constraints: 8932
484.77/486.27 c #Conflicts: 106000 | #Constraints: 9932
484.77/486.27 c #Conflicts: 107000 | #Constraints: 10932
484.77/486.27 c #Conflicts: 108000 | #Constraints: 11932
484.77/486.27 c #Conflicts: 109000 | #Constraints: 12932
484.77/486.27 c #Conflicts: 110000 | #Constraints: 13932
484.77/486.27 c INPROCESSING
484.77/486.27 c GARBAGE COLLECT
484.77/486.27 c #Conflicts: 111000 | #Constraints: 8341
484.77/486.27 c #Conflicts: 112000 | #Constraints: 9341
484.77/486.27 c #Conflicts: 113000 | #Constraints: 10341
484.77/486.27 c #Conflicts: 114000 | #Constraints: 11341
484.77/486.27 c #Conflicts: 115000 | #Constraints: 12341
484.77/486.27 c #Conflicts: 116000 | #Constraints: 13341
484.77/486.27 c #Conflicts: 117000 | #Constraints: 14341
484.77/486.27 c INPROCESSING
484.77/486.27 c GARBAGE COLLECT
484.77/486.27 c #Conflicts: 118000 | #Constraints: 8538
484.77/486.27 c #Conflicts: 119000 | #Constraints: 9538
484.77/486.27 c #Conflicts: 120000 | #Constraints: 10538
484.77/486.27 c #Conflicts: 121000 | #Constraints: 11538
484.77/486.27 c #Conflicts: 122000 | #Constraints: 12538
484.77/486.27 c #Conflicts: 123000 | #Constraints: 13538
484.77/486.27 c #Conflicts: 124000 | #Constraints: 14538
484.77/486.27 c INPROCESSING
484.77/486.27 c GARBAGE COLLECT
484.77/486.27 c #Conflicts: 125000 | #Constraints: 8535
484.77/486.27 c #Conflicts: 126000 | #Constraints: 9535
484.77/486.27 c #Conflicts: 127000 | #Constraints: 10535
484.77/486.27 c #Conflicts: 128000 | #Constraints: 11535
484.77/486.27 c #Conflicts: 129000 | #Constraints: 12535
484.77/486.27 c #Conflicts: 130000 | #Constraints: 13535
484.77/486.27 c #Conflicts: 131000 | #Constraints: 14535
484.77/486.27 c INPROCESSING
484.77/486.27 c GARBAGE COLLECT
484.77/486.27 c #Conflicts: 132000 | #Constraints: 8332
484.77/486.27 c #Conflicts: 133000 | #Constraints: 9332
484.77/486.27 c #Conflicts: 134000 | #Constraints: 10332
484.77/486.27 c #Conflicts: 135000 | #Constraints: 11332
484.77/486.27 c #Conflicts: 136000 | #Constraints: 12332
484.77/486.27 c #Conflicts: 137000 | #Constraints: 13332
484.77/486.27 c #Conflicts: 138000 | #Constraints: 14332
484.77/486.27 c #Conflicts: 139000 | #Constraints: 15332
484.77/486.27 c INPROCESSING
610.52/612.36 c GARBAGE COLLECT
610.52/612.36 c #Conflicts: 140000 | #Constraints: 8945
610.52/612.36 c #Conflicts: 141000 | #Constraints: 9945
610.52/612.36 c #Conflicts: 142000 | #Constraints: 10945
610.52/612.36 c #Conflicts: 143000 | #Constraints: 11945
610.52/612.36 c #Conflicts: 144000 | #Constraints: 12945
610.52/612.36 c #Conflicts: 145000 | #Constraints: 13945
610.52/612.36 c #Conflicts: 146000 | #Constraints: 14945
610.52/612.36 c #Conflicts: 147000 | #Constraints: 15945
610.52/612.36 c INPROCESSING
610.52/612.36 c GARBAGE COLLECT
610.52/612.36 c #Conflicts: 148000 | #Constraints: 9343
610.52/612.36 c #Conflicts: 149000 | #Constraints: 10343
610.52/612.36 c #Conflicts: 150000 | #Constraints: 11343
610.52/612.36 c #Conflicts: 151000 | #Constraints: 12343
610.52/612.36 c #Conflicts: 152000 | #Constraints: 13343
610.52/612.36 c #Conflicts: 153000 | #Constraints: 14343
610.52/612.36 c #Conflicts: 154000 | #Constraints: 15343
610.52/612.36 c #Conflicts: 155000 | #Constraints: 16343
610.52/612.36 c INPROCESSING
610.52/612.36 c GARBAGE COLLECT
610.52/612.36 c #Conflicts: 156000 | #Constraints: 9545
610.52/612.36 c #Conflicts: 157000 | #Constraints: 10545
610.52/612.36 c #Conflicts: 158000 | #Constraints: 11545
610.52/612.36 c #Conflicts: 159000 | #Constraints: 12545
610.52/612.36 c #Conflicts: 160000 | #Constraints: 13545
610.52/612.36 c #Conflicts: 161000 | #Constraints: 14545
610.52/612.36 c #Conflicts: 162000 | #Constraints: 15545
610.52/612.36 c #Conflicts: 163000 | #Constraints: 16545
610.52/612.36 c INPROCESSING
610.52/612.36 c GARBAGE COLLECT
610.52/612.36 c #Conflicts: 164000 | #Constraints: 9536
610.52/612.36 c #Conflicts: 165000 | #Constraints: 10536
610.52/612.36 c #Conflicts: 166000 | #Constraints: 11536
610.52/612.36 c #Conflicts: 167000 | #Constraints: 12536
610.52/612.36 c #Conflicts: 168000 | #Constraints: 13536
610.52/612.36 c #Conflicts: 169000 | #Constraints: 14536
610.52/612.36 c #Conflicts: 170000 | #Constraints: 15536
610.52/612.36 c #Conflicts: 171000 | #Constraints: 16536
610.52/612.36 c INPROCESSING
610.52/612.36 c GARBAGE COLLECT
610.52/612.36 c #Conflicts: 172000 | #Constraints: 9331
610.52/612.36 c #Conflicts: 173000 | #Constraints: 10331
610.52/612.36 c #Conflicts: 174000 | #Constraints: 11331
610.52/612.36 c #Conflicts: 175000 | #Constraints: 12331
610.52/612.36 c #Conflicts: 176000 | #Constraints: 13331
610.52/612.36 c #Conflicts: 177000 | #Constraints: 14331
610.52/612.36 c #Conflicts: 178000 | #Constraints: 15331
610.52/612.36 c #Conflicts: 179000 | #Constraints: 16331
610.52/612.36 c #Conflicts: 180000 | #Constraints: 17331
610.52/612.36 c INPROCESSING
610.52/612.36 c GARBAGE COLLECT
610.52/612.36 c #Conflicts: 181000 | #Constraints: 9932
610.52/612.36 c #Conflicts: 182000 | #Constraints: 10932
610.52/612.36 c #Conflicts: 183000 | #Constraints: 11932
610.52/612.36 c #Conflicts: 184000 | #Constraints: 12932
610.52/612.36 c #Conflicts: 185000 | #Constraints: 13932
610.52/612.36 c #Conflicts: 186000 | #Constraints: 14932
610.52/612.36 c #Conflicts: 187000 | #Constraints: 15932
610.52/612.36 c #Conflicts: 188000 | #Constraints: 16932
610.52/612.36 c #Conflicts: 189000 | #Constraints: 17932
610.52/612.36 c INPROCESSING
610.52/612.36 c GARBAGE COLLECT
610.52/612.36 c #Conflicts: 190000 | #Constraints: 10331
610.52/612.36 c #Conflicts: 191000 | #Constraints: 11331
610.52/612.36 c #Conflicts: 192000 | #Constraints: 12331
610.52/612.36 c #Conflicts: 193000 | #Constraints: 13331
610.52/612.36 c #Conflicts: 194000 | #Constraints: 14331
610.52/612.36 c #Conflicts: 195000 | #Constraints: 15331
610.52/612.36 c #Conflicts: 196000 | #Constraints: 16331
610.52/612.36 c #Conflicts: 197000 | #Constraints: 17331
610.52/612.36 c #Conflicts: 198000 | #Constraints: 18331
610.52/612.36 c INPROCESSING
610.52/612.36 c GARBAGE COLLECT
610.52/612.36 c #Conflicts: 199000 | #Constraints: 10544
610.52/612.36 c #Conflicts: 200000 | #Constraints: 11544
610.52/612.36 c #Conflicts: 201000 | #Constraints: 12544
610.52/612.36 c #Conflicts: 202000 | #Constraints: 13544
610.52/612.36 c #Conflicts: 203000 | #Constraints: 14544
610.52/612.36 c #Conflicts: 204000 | #Constraints: 15544
610.52/612.36 c #Conflicts: 205000 | #Constraints: 16544
610.52/612.36 c #Conflicts: 206000 | #Constraints: 17544
610.52/612.36 c #Conflicts: 207000 | #Constraints: 18544
610.52/612.36 c INPROCESSING
610.52/612.36 c GARBAGE COLLECT
610.52/612.36 c #Conflicts: 208000 | #Constraints: 10553
610.52/612.36 c #Conflicts: 209000 | #Constraints: 11553
610.52/612.36 c #Conflicts: 210000 | #Constraints: 12553
610.52/612.36 c #Conflicts: 211000 | #Constraints: 13553
610.52/612.36 c #Conflicts: 212000 | #Constraints: 14553
610.52/612.36 c #Conflicts: 213000 | #Constraints: 15553
838.97/841.48 c #Conflicts: 214000 | #Constraints: 16553
838.97/841.48 c #Conflicts: 215000 | #Constraints: 17553
838.97/841.48 c #Conflicts: 216000 | #Constraints: 18553
838.97/841.48 c INPROCESSING
838.97/841.48 c GARBAGE COLLECT
838.97/841.48 c #Conflicts: 217000 | #Constraints: 10351
838.97/841.48 c #Conflicts: 218000 | #Constraints: 11351
838.97/841.48 c #Conflicts: 219000 | #Constraints: 12351
838.97/841.48 c #Conflicts: 220000 | #Constraints: 13351
838.97/841.48 c #Conflicts: 221000 | #Constraints: 14351
838.97/841.48 c #Conflicts: 222000 | #Constraints: 15351
838.97/841.48 c #Conflicts: 223000 | #Constraints: 16351
838.97/841.48 c #Conflicts: 224000 | #Constraints: 17351
838.97/841.48 c #Conflicts: 225000 | #Constraints: 18351
838.97/841.48 c #Conflicts: 226000 | #Constraints: 19351
838.97/841.48 c INPROCESSING
838.97/841.48 c GARBAGE COLLECT
838.97/841.48 c #Conflicts: 227000 | #Constraints: 10953
838.97/841.48 c #Conflicts: 228000 | #Constraints: 11953
838.97/841.48 c #Conflicts: 229000 | #Constraints: 12953
838.97/841.48 c #Conflicts: 230000 | #Constraints: 13953
838.97/841.48 c #Conflicts: 231000 | #Constraints: 14953
838.97/841.48 c #Conflicts: 232000 | #Constraints: 15953
838.97/841.48 c #Conflicts: 233000 | #Constraints: 16953
838.97/841.48 c #Conflicts: 234000 | #Constraints: 17953
838.97/841.48 c #Conflicts: 235000 | #Constraints: 18953
838.97/841.48 c #Conflicts: 236000 | #Constraints: 19953
838.97/841.48 c INPROCESSING
838.97/841.48 c GARBAGE COLLECT
838.97/841.48 c #Conflicts: 237000 | #Constraints: 11341
838.97/841.48 c #Conflicts: 238000 | #Constraints: 12341
838.97/841.48 c #Conflicts: 239000 | #Constraints: 13341
838.97/841.48 c #Conflicts: 240000 | #Constraints: 14341
838.97/841.48 c #Conflicts: 241000 | #Constraints: 15341
838.97/841.48 c #Conflicts: 242000 | #Constraints: 16341
838.97/841.48 c #Conflicts: 243000 | #Constraints: 17341
838.97/841.48 c #Conflicts: 244000 | #Constraints: 18341
838.97/841.48 c #Conflicts: 245000 | #Constraints: 19341
838.97/841.48 c #Conflicts: 246000 | #Constraints: 20341
838.97/841.48 c INPROCESSING
838.97/841.48 c GARBAGE COLLECT
838.97/841.48 c #Conflicts: 247000 | #Constraints: 11542
838.97/841.48 c #Conflicts: 248000 | #Constraints: 12542
838.97/841.48 c #Conflicts: 249000 | #Constraints: 13542
838.97/841.48 c #Conflicts: 250000 | #Constraints: 14542
838.97/841.48 c #Conflicts: 251000 | #Constraints: 15542
838.97/841.48 c #Conflicts: 252000 | #Constraints: 16542
838.97/841.48 c #Conflicts: 253000 | #Constraints: 17542
838.97/841.48 c #Conflicts: 254000 | #Constraints: 18542
838.97/841.48 c #Conflicts: 255000 | #Constraints: 19542
838.97/841.48 c #Conflicts: 256000 | #Constraints: 20542
838.97/841.48 c INPROCESSING
838.97/841.48 c GARBAGE COLLECT
838.97/841.48 c #Conflicts: 257000 | #Constraints: 11538
838.97/841.48 c #Conflicts: 258000 | #Constraints: 12538
838.97/841.48 c #Conflicts: 259000 | #Constraints: 13538
838.97/841.48 c #Conflicts: 260000 | #Constraints: 14538
838.97/841.48 c #Conflicts: 261000 | #Constraints: 15538
838.97/841.48 c #Conflicts: 262000 | #Constraints: 16538
838.97/841.48 c #Conflicts: 263000 | #Constraints: 17538
838.97/841.48 c #Conflicts: 264000 | #Constraints: 18538
838.97/841.48 c #Conflicts: 265000 | #Constraints: 19538
838.97/841.48 c #Conflicts: 266000 | #Constraints: 20538
838.97/841.48 c INPROCESSING
838.97/841.48 c GARBAGE COLLECT
838.97/841.48 c #Conflicts: 267000 | #Constraints: 11337
838.97/841.48 c #Conflicts: 268000 | #Constraints: 12337
838.97/841.48 c #Conflicts: 269000 | #Constraints: 13337
838.97/841.48 c #Conflicts: 270000 | #Constraints: 14337
838.97/841.48 c #Conflicts: 271000 | #Constraints: 15337
838.97/841.48 c #Conflicts: 272000 | #Constraints: 16337
838.97/841.48 c #Conflicts: 273000 | #Constraints: 17337
838.97/841.48 c #Conflicts: 274000 | #Constraints: 18337
838.97/841.48 c #Conflicts: 275000 | #Constraints: 19337
838.97/841.48 c #Conflicts: 276000 | #Constraints: 20337
838.97/841.48 c #Conflicts: 277000 | #Constraints: 21337
838.97/841.48 c INPROCESSING
838.97/841.48 c GARBAGE COLLECT
838.97/841.48 c #Conflicts: 278000 | #Constraints: 11928
838.97/841.48 c #Conflicts: 279000 | #Constraints: 12928
838.97/841.48 c #Conflicts: 280000 | #Constraints: 13928
838.97/841.48 c #Conflicts: 281000 | #Constraints: 14928
838.97/841.48 c #Conflicts: 282000 | #Constraints: 15928
838.97/841.48 c #Conflicts: 283000 | #Constraints: 16928
838.97/841.48 c #Conflicts: 284000 | #Constraints: 17928
838.97/841.48 c #Conflicts: 285000 | #Constraints: 18928
838.97/841.48 c #Conflicts: 286000 | #Constraints: 19928
838.97/841.48 c #Conflicts: 287000 | #Constraints: 20928
1119.13/1122.44 c #Conflicts: 288000 | #Constraints: 21928
1119.13/1122.44 c INPROCESSING
1119.13/1122.44 c GARBAGE COLLECT
1119.13/1122.44 c #Conflicts: 289000 | #Constraints: 12329
1119.13/1122.44 c #Conflicts: 290000 | #Constraints: 13329
1119.13/1122.44 c #Conflicts: 291000 | #Constraints: 14329
1119.13/1122.44 c #Conflicts: 292000 | #Constraints: 15329
1119.13/1122.44 c #Conflicts: 293000 | #Constraints: 16329
1119.13/1122.44 c #Conflicts: 294000 | #Constraints: 17329
1119.13/1122.44 c #Conflicts: 295000 | #Constraints: 18329
1119.13/1122.44 c #Conflicts: 296000 | #Constraints: 19329
1119.13/1122.44 c #Conflicts: 297000 | #Constraints: 20329
1119.13/1122.44 c #Conflicts: 298000 | #Constraints: 21329
1119.13/1122.44 c #Conflicts: 299000 | #Constraints: 22329
1119.13/1122.44 c INPROCESSING
1119.13/1122.44 c GARBAGE COLLECT
1119.13/1122.44 c #Conflicts: 300000 | #Constraints: 12533
1119.13/1122.44 c #Conflicts: 301000 | #Constraints: 13533
1119.13/1122.44 c #Conflicts: 302000 | #Constraints: 14533
1119.13/1122.44 c #Conflicts: 303000 | #Constraints: 15533
1119.13/1122.44 c #Conflicts: 304000 | #Constraints: 16533
1119.13/1122.44 c #Conflicts: 305000 | #Constraints: 17533
1119.13/1122.44 c #Conflicts: 306000 | #Constraints: 18533
1119.13/1122.44 c #Conflicts: 307000 | #Constraints: 19533
1119.13/1122.44 c #Conflicts: 308000 | #Constraints: 20533
1119.13/1122.44 c #Conflicts: 309000 | #Constraints: 21533
1119.13/1122.44 c #Conflicts: 310000 | #Constraints: 22533
1119.13/1122.44 c INPROCESSING
1119.13/1122.44 c GARBAGE COLLECT
1119.13/1122.44 c #Conflicts: 311000 | #Constraints: 12541
1119.13/1122.44 c #Conflicts: 312000 | #Constraints: 13541
1119.13/1122.44 c #Conflicts: 313000 | #Constraints: 14541
1119.13/1122.44 c #Conflicts: 314000 | #Constraints: 15541
1119.13/1122.44 c #Conflicts: 315000 | #Constraints: 16541
1119.13/1122.44 c #Conflicts: 316000 | #Constraints: 17541
1119.13/1122.44 c #Conflicts: 317000 | #Constraints: 18541
1119.13/1122.44 c #Conflicts: 318000 | #Constraints: 19541
1119.13/1122.44 c #Conflicts: 319000 | #Constraints: 20541
1119.13/1122.44 c #Conflicts: 320000 | #Constraints: 21541
1119.13/1122.44 c #Conflicts: 321000 | #Constraints: 22541
1119.13/1122.44 c INPROCESSING
1119.13/1122.44 c GARBAGE COLLECT
1119.13/1122.44 c #Conflicts: 322000 | #Constraints: 12341
1119.13/1122.44 c #Conflicts: 323000 | #Constraints: 13341
1119.13/1122.44 c #Conflicts: 324000 | #Constraints: 14341
1119.13/1122.44 c #Conflicts: 325000 | #Constraints: 15341
1119.13/1122.44 c #Conflicts: 326000 | #Constraints: 16341
1119.13/1122.44 c #Conflicts: 327000 | #Constraints: 17341
1119.13/1122.44 c #Conflicts: 328000 | #Constraints: 18341
1119.13/1122.44 c #Conflicts: 329000 | #Constraints: 19341
1119.13/1122.44 c #Conflicts: 330000 | #Constraints: 20341
1119.13/1122.44 c #Conflicts: 331000 | #Constraints: 21341
1119.13/1122.44 c #Conflicts: 332000 | #Constraints: 22341
1119.13/1122.44 c #Conflicts: 333000 | #Constraints: 23341
1119.13/1122.44 c INPROCESSING
1119.13/1122.44 c GARBAGE COLLECT
1119.13/1122.44 c #Conflicts: 334000 | #Constraints: 12939
1119.13/1122.44 c #Conflicts: 335000 | #Constraints: 13939
1119.13/1122.44 c #Conflicts: 336000 | #Constraints: 14939
1119.13/1122.44 c #Conflicts: 337000 | #Constraints: 15939
1119.13/1122.44 c #Conflicts: 338000 | #Constraints: 16939
1119.13/1122.44 c #Conflicts: 339000 | #Constraints: 17939
1119.13/1122.44 c #Conflicts: 340000 | #Constraints: 18939
1119.13/1122.44 c #Conflicts: 341000 | #Constraints: 19939
1119.13/1122.44 c #Conflicts: 342000 | #Constraints: 20939
1119.13/1122.44 c #Conflicts: 343000 | #Constraints: 21939
1119.13/1122.44 c #Conflicts: 344000 | #Constraints: 22939
1119.13/1122.44 c #Conflicts: 345000 | #Constraints: 23939
1119.13/1122.44 c INPROCESSING
1119.13/1122.44 c GARBAGE COLLECT
1119.13/1122.44 c #Conflicts: 346000 | #Constraints: 13340
1119.13/1122.44 c #Conflicts: 347000 | #Constraints: 14340
1119.13/1122.44 c #Conflicts: 348000 | #Constraints: 15340
1119.13/1122.44 c #Conflicts: 349000 | #Constraints: 16340
1119.13/1122.44 c #Conflicts: 350000 | #Constraints: 17340
1119.13/1122.44 c #Conflicts: 351000 | #Constraints: 18340
1119.13/1122.44 c #Conflicts: 352000 | #Constraints: 19340
1119.13/1122.44 c #Conflicts: 353000 | #Constraints: 20340
1119.13/1122.44 c #Conflicts: 354000 | #Constraints: 21340
1119.13/1122.44 c #Conflicts: 355000 | #Constraints: 22340
1119.13/1122.44 c #Conflicts: 356000 | #Constraints: 23340
1119.13/1122.44 c #Conflicts: 357000 | #Constraints: 24340
1119.13/1122.44 c INPROCESSING
1119.13/1122.44 c GARBAGE COLLECT
1119.13/1122.44 c #Conflicts: 358000 | #Constraints: 13534
1119.13/1122.44 c #Conflicts: 359000 | #Constraints: 14534
1119.13/1122.44 c #Conflicts: 360000 | #Constraints: 15534
1119.13/1122.44 c #Conflicts: 361000 | #Constraints: 16534
1373.59/1377.63 c #Conflicts: 362000 | #Constraints: 17534
1373.59/1377.63 c #Conflicts: 363000 | #Constraints: 18534
1373.59/1377.63 c #Conflicts: 364000 | #Constraints: 19534
1373.59/1377.63 c #Conflicts: 365000 | #Constraints: 20534
1373.59/1377.63 c #Conflicts: 366000 | #Constraints: 21534
1373.59/1377.63 c #Conflicts: 367000 | #Constraints: 22534
1373.59/1377.63 c #Conflicts: 368000 | #Constraints: 23534
1373.59/1377.63 c #Conflicts: 369000 | #Constraints: 24534
1373.59/1377.63 c INPROCESSING
1373.59/1377.63 c GARBAGE COLLECT
1373.59/1377.63 c #Conflicts: 370000 | #Constraints: 13547
1373.59/1377.63 c #Conflicts: 371000 | #Constraints: 14547
1373.59/1377.63 c #Conflicts: 372000 | #Constraints: 15547
1373.59/1377.63 c #Conflicts: 373000 | #Constraints: 16547
1373.59/1377.63 c #Conflicts: 374000 | #Constraints: 17547
1373.59/1377.63 c #Conflicts: 375000 | #Constraints: 18547
1373.59/1377.63 c #Conflicts: 376000 | #Constraints: 19547
1373.59/1377.63 c #Conflicts: 377000 | #Constraints: 20547
1373.59/1377.63 c #Conflicts: 378000 | #Constraints: 21547
1373.59/1377.63 c #Conflicts: 379000 | #Constraints: 22547
1373.59/1377.63 c #Conflicts: 380000 | #Constraints: 23547
1373.59/1377.63 c #Conflicts: 381000 | #Constraints: 24547
1373.59/1377.63 c INPROCESSING
1373.59/1377.63 c GARBAGE COLLECT
1373.59/1377.63 c #Conflicts: 382000 | #Constraints: 13339
1373.59/1377.63 c #Conflicts: 383000 | #Constraints: 14339
1373.59/1377.63 c #Conflicts: 384000 | #Constraints: 15339
1373.59/1377.63 c #Conflicts: 385000 | #Constraints: 16339
1373.59/1377.63 c #Conflicts: 386000 | #Constraints: 17339
1373.59/1377.63 c #Conflicts: 387000 | #Constraints: 18339
1373.59/1377.63 c #Conflicts: 388000 | #Constraints: 19339
1373.59/1377.63 c #Conflicts: 389000 | #Constraints: 20339
1373.59/1377.63 c #Conflicts: 390000 | #Constraints: 21339
1373.59/1377.63 c #Conflicts: 391000 | #Constraints: 22339
1373.59/1377.63 c #Conflicts: 392000 | #Constraints: 23339
1373.59/1377.63 c #Conflicts: 393000 | #Constraints: 24339
1373.59/1377.63 c #Conflicts: 394000 | #Constraints: 25339
1373.59/1377.63 c INPROCESSING
1373.59/1377.63 c GARBAGE COLLECT
1373.59/1377.63 c #Conflicts: 395000 | #Constraints: 13938
1373.59/1377.63 c #Conflicts: 396000 | #Constraints: 14938
1373.59/1377.63 c #Conflicts: 397000 | #Constraints: 15938
1373.59/1377.63 c #Conflicts: 398000 | #Constraints: 16938
1373.59/1377.63 c #Conflicts: 399000 | #Constraints: 17938
1373.59/1377.63 c #Conflicts: 400000 | #Constraints: 18938
1373.59/1377.63 c #Conflicts: 401000 | #Constraints: 19938
1373.59/1377.63 c #Conflicts: 402000 | #Constraints: 20938
1373.59/1377.63 c #Conflicts: 403000 | #Constraints: 21938
1373.59/1377.63 c #Conflicts: 404000 | #Constraints: 22938
1373.59/1377.63 c #Conflicts: 405000 | #Constraints: 23938
1373.59/1377.63 c #Conflicts: 406000 | #Constraints: 24938
1373.59/1377.63 c #Conflicts: 407000 | #Constraints: 25938
1373.59/1377.63 c INPROCESSING
1373.59/1377.63 c GARBAGE COLLECT
1373.59/1377.63 c #Conflicts: 408000 | #Constraints: 14338
1373.59/1377.63 c #Conflicts: 409000 | #Constraints: 15338
1373.59/1377.63 c #Conflicts: 410000 | #Constraints: 16338
1373.59/1377.63 c #Conflicts: 411000 | #Constraints: 17338
1373.59/1377.63 c #Conflicts: 412000 | #Constraints: 18338
1373.59/1377.63 c #Conflicts: 413000 | #Constraints: 19338
1373.59/1377.63 c #Conflicts: 414000 | #Constraints: 20338
1373.59/1377.63 c #Conflicts: 415000 | #Constraints: 21338
1373.59/1377.63 c #Conflicts: 416000 | #Constraints: 22338
1373.59/1377.63 c #Conflicts: 417000 | #Constraints: 23338
1373.59/1377.63 c #Conflicts: 418000 | #Constraints: 24338
1373.59/1377.63 c #Conflicts: 419000 | #Constraints: 25338
1373.59/1377.63 c #Conflicts: 420000 | #Constraints: 26338
1373.59/1377.63 c INPROCESSING
1373.59/1377.63 c GARBAGE COLLECT
1373.59/1377.63 c #Conflicts: 421000 | #Constraints: 14535
1373.59/1377.63 c #Conflicts: 422000 | #Constraints: 15535
1373.59/1377.63 c #Conflicts: 423000 | #Constraints: 16535
1373.59/1377.63 c #Conflicts: 424000 | #Constraints: 17535
1373.59/1377.63 c #Conflicts: 425000 | #Constraints: 18535
1373.59/1377.63 c #Conflicts: 426000 | #Constraints: 19535
1373.59/1377.63 c #Conflicts: 427000 | #Constraints: 20535
1373.59/1377.63 c #Conflicts: 428000 | #Constraints: 21535
1373.59/1377.63 c #Conflicts: 429000 | #Constraints: 22535
1373.59/1377.63 c #Conflicts: 430000 | #Constraints: 23535
1373.59/1377.63 c #Conflicts: 431000 | #Constraints: 24535
1373.59/1377.63 c #Conflicts: 432000 | #Constraints: 25535
1373.59/1377.63 c #Conflicts: 433000 | #Constraints: 26535
1373.59/1377.63 c INPROCESSING
1373.59/1377.63 c GARBAGE COLLECT
1373.59/1377.63 c #Conflicts: 434000 | #Constraints: 14549
1373.59/1377.63 c #Conflicts: 435000 | #Constraints: 15549
1373.59/1377.63 c #Conflicts: 436000 | #Constraints: 16549
1737.41/1742.57 c #Conflicts: 437000 | #Constraints: 17549
1737.41/1742.57 c #Conflicts: 438000 | #Constraints: 18549
1737.41/1742.57 c #Conflicts: 439000 | #Constraints: 19549
1737.41/1742.57 c #Conflicts: 440000 | #Constraints: 20549
1737.41/1742.57 c #Conflicts: 441000 | #Constraints: 21549
1737.41/1742.57 c #Conflicts: 442000 | #Constraints: 22549
1737.41/1742.57 c #Conflicts: 443000 | #Constraints: 23549
1737.41/1742.57 c #Conflicts: 444000 | #Constraints: 24549
1737.41/1742.57 c #Conflicts: 445000 | #Constraints: 25549
1737.41/1742.57 c #Conflicts: 446000 | #Constraints: 26549
1737.41/1742.57 c INPROCESSING
1737.41/1742.57 c GARBAGE COLLECT
1737.41/1742.57 c #Conflicts: 447000 | #Constraints: 14346
1737.41/1742.57 c #Conflicts: 448000 | #Constraints: 15346
1737.41/1742.57 c #Conflicts: 449000 | #Constraints: 16346
1737.41/1742.57 c #Conflicts: 450000 | #Constraints: 17346
1737.41/1742.57 c #Conflicts: 451000 | #Constraints: 18346
1737.41/1742.57 c #Conflicts: 452000 | #Constraints: 19346
1737.41/1742.57 c #Conflicts: 453000 | #Constraints: 20346
1737.41/1742.57 c #Conflicts: 454000 | #Constraints: 21346
1737.41/1742.57 c #Conflicts: 455000 | #Constraints: 22346
1737.41/1742.57 c #Conflicts: 456000 | #Constraints: 23346
1737.41/1742.57 c #Conflicts: 457000 | #Constraints: 24346
1737.41/1742.57 c #Conflicts: 458000 | #Constraints: 25346
1737.41/1742.57 c #Conflicts: 459000 | #Constraints: 26346
1737.41/1742.57 c #Conflicts: 460000 | #Constraints: 27346
1737.41/1742.57 c INPROCESSING
1737.41/1742.57 c GARBAGE COLLECT
1737.41/1742.57 c #Conflicts: 461000 | #Constraints: 14950
1737.41/1742.57 c #Conflicts: 462000 | #Constraints: 15950
1737.41/1742.57 c #Conflicts: 463000 | #Constraints: 16950
1737.41/1742.57 c #Conflicts: 464000 | #Constraints: 17950
1737.41/1742.57 c #Conflicts: 465000 | #Constraints: 18950
1737.41/1742.57 c #Conflicts: 466000 | #Constraints: 19950
1737.41/1742.57 c #Conflicts: 467000 | #Constraints: 20950
1737.41/1742.57 c #Conflicts: 468000 | #Constraints: 21950
1737.41/1742.57 c #Conflicts: 469000 | #Constraints: 22950
1737.41/1742.57 c #Conflicts: 470000 | #Constraints: 23950
1737.41/1742.57 c #Conflicts: 471000 | #Constraints: 24950
1737.41/1742.57 c #Conflicts: 472000 | #Constraints: 25950
1737.41/1742.57 c #Conflicts: 473000 | #Constraints: 26950
1737.41/1742.57 c #Conflicts: 474000 | #Constraints: 27950
1737.41/1742.57 c INPROCESSING
1737.41/1742.57 c GARBAGE COLLECT
1737.41/1742.57 c #Conflicts: 475000 | #Constraints: 15352
1737.41/1742.57 c #Conflicts: 476000 | #Constraints: 16352
1737.41/1742.57 c #Conflicts: 477000 | #Constraints: 17352
1737.41/1742.57 c #Conflicts: 478000 | #Constraints: 18352
1737.41/1742.57 c #Conflicts: 479000 | #Constraints: 19352
1737.41/1742.57 c #Conflicts: 480000 | #Constraints: 20352
1737.41/1742.57 c #Conflicts: 481000 | #Constraints: 21352
1737.41/1742.57 c #Conflicts: 482000 | #Constraints: 22352
1737.41/1742.57 c #Conflicts: 483000 | #Constraints: 23352
1737.41/1742.57 c #Conflicts: 484000 | #Constraints: 24352
1737.41/1742.57 c #Conflicts: 485000 | #Constraints: 25352
1737.41/1742.57 c #Conflicts: 486000 | #Constraints: 26352
1737.41/1742.57 c #Conflicts: 487000 | #Constraints: 27352
1737.41/1742.57 c #Conflicts: 488000 | #Constraints: 28352
1737.41/1742.57 c INPROCESSING
1737.41/1742.57 c GARBAGE COLLECT
1737.41/1742.57 c #Conflicts: 489000 | #Constraints: 15554
1737.41/1742.57 c #Conflicts: 490000 | #Constraints: 16554
1737.41/1742.57 c #Conflicts: 491000 | #Constraints: 17554
1737.41/1742.57 c #Conflicts: 492000 | #Constraints: 18554
1737.41/1742.57 c #Conflicts: 493000 | #Constraints: 19554
1737.41/1742.57 c #Conflicts: 494000 | #Constraints: 20554
1737.41/1742.57 c #Conflicts: 495000 | #Constraints: 21554
1737.41/1742.57 c #Conflicts: 496000 | #Constraints: 22554
1737.41/1742.57 c #Conflicts: 497000 | #Constraints: 23554
1737.41/1742.57 c #Conflicts: 498000 | #Constraints: 24554
1737.41/1742.57 c #Conflicts: 499000 | #Constraints: 25554
1737.41/1742.57 c #Conflicts: 500000 | #Constraints: 26554
1737.41/1742.57 c #Conflicts: 501000 | #Constraints: 27554
1737.41/1742.57 c #Conflicts: 502000 | #Constraints: 28554
1737.41/1742.57 c INPROCESSING
1737.41/1742.57 c GARBAGE COLLECT
1737.41/1742.57 c #Conflicts: 503000 | #Constraints: 15550
1737.41/1742.57 c #Conflicts: 504000 | #Constraints: 16550
1737.41/1742.57 c #Conflicts: 505000 | #Constraints: 17550
1737.41/1742.57 c #Conflicts: 506000 | #Constraints: 18550
1737.41/1742.57 c #Conflicts: 507000 | #Constraints: 19550
1737.41/1742.57 c #Conflicts: 508000 | #Constraints: 20550
1737.41/1742.57 c #Conflicts: 509000 | #Constraints: 21550
1737.41/1742.57 c #Conflicts: 510000 | #Constraints: 22550
1737.41/1742.57 c #Conflicts: 511000 | #Constraints: 23550
1737.41/1742.57 c #Conflicts: 512000 | #Constraints: 24550
1992.64/1998.57 c #Conflicts: 513000 | #Constraints: 25550
1992.64/1998.57 c #Conflicts: 514000 | #Constraints: 26550
1992.64/1998.57 c #Conflicts: 515000 | #Constraints: 27550
1992.64/1998.57 c #Conflicts: 516000 | #Constraints: 28550
1992.64/1998.57 c INPROCESSING
1992.64/1998.57 c GARBAGE COLLECT
1992.64/1998.57 c #Conflicts: 517000 | #Constraints: 15340
1992.64/1998.57 c #Conflicts: 518000 | #Constraints: 16340
1992.64/1998.57 c #Conflicts: 519000 | #Constraints: 17340
1992.64/1998.57 c #Conflicts: 520000 | #Constraints: 18340
1992.64/1998.57 c #Conflicts: 521000 | #Constraints: 19340
1992.64/1998.57 c #Conflicts: 522000 | #Constraints: 20340
1992.64/1998.57 c #Conflicts: 523000 | #Constraints: 21340
1992.64/1998.57 c #Conflicts: 524000 | #Constraints: 22340
1992.64/1998.57 c #Conflicts: 525000 | #Constraints: 23340
1992.64/1998.57 c #Conflicts: 526000 | #Constraints: 24340
1992.64/1998.57 c #Conflicts: 527000 | #Constraints: 25340
1992.64/1998.57 c #Conflicts: 528000 | #Constraints: 26340
1992.64/1998.57 c #Conflicts: 529000 | #Constraints: 27340
1992.64/1998.57 c #Conflicts: 530000 | #Constraints: 28340
1992.64/1998.57 c #Conflicts: 531000 | #Constraints: 29340
1992.64/1998.57 c INPROCESSING
1992.64/1998.57 c GARBAGE COLLECT
1992.64/1998.57 c #Conflicts: 532000 | #Constraints: 15951
1992.64/1998.57 c #Conflicts: 533000 | #Constraints: 16951
1992.64/1998.57 c #Conflicts: 534000 | #Constraints: 17951
1992.64/1998.57 c #Conflicts: 535000 | #Constraints: 18951
1992.64/1998.57 c #Conflicts: 536000 | #Constraints: 19951
1992.64/1998.57 c #Conflicts: 537000 | #Constraints: 20951
1992.64/1998.57 c #Conflicts: 538000 | #Constraints: 21951
1992.64/1998.57 c #Conflicts: 539000 | #Constraints: 22951
1992.64/1998.57 c #Conflicts: 540000 | #Constraints: 23951
1992.64/1998.57 c #Conflicts: 541000 | #Constraints: 24951
1992.64/1998.57 c #Conflicts: 542000 | #Constraints: 25951
1992.64/1998.57 c #Conflicts: 543000 | #Constraints: 26951
1992.64/1998.57 c #Conflicts: 544000 | #Constraints: 27951
1992.64/1998.57 c #Conflicts: 545000 | #Constraints: 28951
1992.64/1998.57 c #Conflicts: 546000 | #Constraints: 29951
1992.64/1998.57 c INPROCESSING
1992.64/1998.57 c GARBAGE COLLECT
1992.64/1998.57 c #Conflicts: 547000 | #Constraints: 16344
1992.64/1998.57 c #Conflicts: 548000 | #Constraints: 17344
1992.64/1998.57 c #Conflicts: 549000 | #Constraints: 18344
1992.64/1998.57 c #Conflicts: 550000 | #Constraints: 19344
1992.64/1998.57 c #Conflicts: 551000 | #Constraints: 20344
1992.64/1998.57 c #Conflicts: 552000 | #Constraints: 21344
1992.64/1998.57 c #Conflicts: 553000 | #Constraints: 22344
1992.64/1998.57 c #Conflicts: 554000 | #Constraints: 23344
1992.64/1998.57 c #Conflicts: 555000 | #Constraints: 24344
1992.64/1998.57 c #Conflicts: 556000 | #Constraints: 25344
1992.64/1998.57 c #Conflicts: 557000 | #Constraints: 26344
1992.64/1998.57 c #Conflicts: 558000 | #Constraints: 27344
1992.64/1998.57 c #Conflicts: 559000 | #Constraints: 28344
1992.64/1998.57 c #Conflicts: 560000 | #Constraints: 29344
1992.64/1998.57 c #Conflicts: 561000 | #Constraints: 30344
1992.64/1998.57 c INPROCESSING
1992.64/1998.57 c GARBAGE COLLECT
1992.64/1998.57 c #Conflicts: 562000 | #Constraints: 16535
1992.64/1998.57 c #Conflicts: 563000 | #Constraints: 17535
1992.64/1998.57 c #Conflicts: 564000 | #Constraints: 18535
1992.64/1998.57 c #Conflicts: 565000 | #Constraints: 19535
1992.64/1998.57 c #Conflicts: 566000 | #Constraints: 20535
1992.64/1998.57 c #Conflicts: 567000 | #Constraints: 21535
1992.64/1998.57 c #Conflicts: 568000 | #Constraints: 22535
1992.64/1998.57 c #Conflicts: 569000 | #Constraints: 23535
1992.64/1998.57 c #Conflicts: 570000 | #Constraints: 24535
1992.64/1998.57 c #Conflicts: 571000 | #Constraints: 25535
1992.64/1998.57 c #Conflicts: 572000 | #Constraints: 26535
1992.64/1998.57 c #Conflicts: 573000 | #Constraints: 27535
1992.64/1998.57 c #Conflicts: 574000 | #Constraints: 28535
1992.64/1998.57 c #Conflicts: 575000 | #Constraints: 29535
1992.64/1998.57 c #Conflicts: 576000 | #Constraints: 30535
1992.64/1998.57 c INPROCESSING
1992.64/1998.57 c GARBAGE COLLECT
1992.64/1998.57 c #Conflicts: 577000 | #Constraints: 16535
1992.64/1998.57 c #Conflicts: 578000 | #Constraints: 17535
1992.64/1998.57 c #Conflicts: 579000 | #Constraints: 18535
1992.64/1998.57 c #Conflicts: 580000 | #Constraints: 19535
1992.64/1998.57 c #Conflicts: 581000 | #Constraints: 20535
1992.64/1998.57 c #Conflicts: 582000 | #Constraints: 21535
1992.64/1998.57 c #Conflicts: 583000 | #Constraints: 22535
1992.64/1998.57 c #Conflicts: 584000 | #Constraints: 23535
1992.64/1998.57 c #Conflicts: 585000 | #Constraints: 24535
1992.64/1998.57 c #Conflicts: 586000 | #Constraints: 25535
1992.64/1998.57 c #Conflicts: 587000 | #Constraints: 26535
1992.64/1998.57 c #Conflicts: 588000 | #Constraints: 27535
2244.58/2251.29 c #Conflicts: 589000 | #Constraints: 28535
2244.58/2251.29 c #Conflicts: 590000 | #Constraints: 29535
2244.58/2251.29 c #Conflicts: 591000 | #Constraints: 30535
2244.58/2251.29 c INPROCESSING
2244.58/2251.29 c GARBAGE COLLECT
2244.58/2251.29 c #Conflicts: 592000 | #Constraints: 16335
2244.58/2251.29 c #Conflicts: 593000 | #Constraints: 17335
2244.58/2251.29 c #Conflicts: 594000 | #Constraints: 18335
2244.58/2251.29 c #Conflicts: 595000 | #Constraints: 19335
2244.58/2251.29 c #Conflicts: 596000 | #Constraints: 20335
2244.58/2251.29 c #Conflicts: 597000 | #Constraints: 21335
2244.58/2251.29 c #Conflicts: 598000 | #Constraints: 22335
2244.58/2251.29 c #Conflicts: 599000 | #Constraints: 23335
2244.58/2251.29 c #Conflicts: 600000 | #Constraints: 24335
2244.58/2251.29 c #Conflicts: 601000 | #Constraints: 25335
2244.58/2251.29 c #Conflicts: 602000 | #Constraints: 26335
2244.58/2251.29 c #Conflicts: 603000 | #Constraints: 27335
2244.58/2251.29 c #Conflicts: 604000 | #Constraints: 28335
2244.58/2251.29 c #Conflicts: 605000 | #Constraints: 29335
2244.58/2251.29 c #Conflicts: 606000 | #Constraints: 30335
2244.58/2251.29 c #Conflicts: 607000 | #Constraints: 31335
2244.58/2251.29 c INPROCESSING
2244.58/2251.29 c GARBAGE COLLECT
2244.58/2251.29 c #Conflicts: 608000 | #Constraints: 16938
2244.58/2251.29 c #Conflicts: 609000 | #Constraints: 17938
2244.58/2251.29 c #Conflicts: 610000 | #Constraints: 18938
2244.58/2251.29 c #Conflicts: 611000 | #Constraints: 19938
2244.58/2251.29 c #Conflicts: 612000 | #Constraints: 20938
2244.58/2251.29 c #Conflicts: 613000 | #Constraints: 21938
2244.58/2251.29 c #Conflicts: 614000 | #Constraints: 22938
2244.58/2251.29 c #Conflicts: 615000 | #Constraints: 23938
2244.58/2251.29 c #Conflicts: 616000 | #Constraints: 24938
2244.58/2251.29 c #Conflicts: 617000 | #Constraints: 25938
2244.58/2251.29 c #Conflicts: 618000 | #Constraints: 26938
2244.58/2251.29 c #Conflicts: 619000 | #Constraints: 27938
2244.58/2251.29 c #Conflicts: 620000 | #Constraints: 28938
2244.58/2251.29 c #Conflicts: 621000 | #Constraints: 29938
2244.58/2251.29 c #Conflicts: 622000 | #Constraints: 30938
2244.58/2251.29 c #Conflicts: 623000 | #Constraints: 31938
2244.58/2251.29 c INPROCESSING
2244.58/2251.29 c GARBAGE COLLECT
2244.58/2251.29 c #Conflicts: 624000 | #Constraints: 17336
2244.58/2251.29 c #Conflicts: 625000 | #Constraints: 18336
2244.58/2251.29 c #Conflicts: 626000 | #Constraints: 19336
2244.58/2251.29 c #Conflicts: 627000 | #Constraints: 20336
2244.58/2251.29 c #Conflicts: 628000 | #Constraints: 21336
2244.58/2251.29 c #Conflicts: 629000 | #Constraints: 22336
2244.58/2251.29 c #Conflicts: 630000 | #Constraints: 23336
2244.58/2251.29 c #Conflicts: 631000 | #Constraints: 24336
2244.58/2251.29 c #Conflicts: 632000 | #Constraints: 25336
2244.58/2251.29 c #Conflicts: 633000 | #Constraints: 26336
2244.58/2251.29 c #Conflicts: 634000 | #Constraints: 27336
2244.58/2251.29 c #Conflicts: 635000 | #Constraints: 28336
2244.58/2251.29 c #Conflicts: 636000 | #Constraints: 29336
2244.58/2251.29 c #Conflicts: 637000 | #Constraints: 30336
2244.58/2251.29 c #Conflicts: 638000 | #Constraints: 31336
2244.58/2251.29 c #Conflicts: 639000 | #Constraints: 32336
2244.58/2251.29 c INPROCESSING
2244.58/2251.29 c GARBAGE COLLECT
2244.58/2251.29 c #Conflicts: 640000 | #Constraints: 17533
2244.58/2251.29 c #Conflicts: 641000 | #Constraints: 18533
2244.58/2251.29 c #Conflicts: 642000 | #Constraints: 19533
2244.58/2251.29 c #Conflicts: 643000 | #Constraints: 20533
2244.58/2251.29 c #Conflicts: 644000 | #Constraints: 21533
2244.58/2251.29 c #Conflicts: 645000 | #Constraints: 22533
2244.58/2251.29 c #Conflicts: 646000 | #Constraints: 23533
2244.58/2251.29 c #Conflicts: 647000 | #Constraints: 24533
2244.58/2251.29 c #Conflicts: 648000 | #Constraints: 25533
2244.58/2251.29 c #Conflicts: 649000 | #Constraints: 26533
2244.58/2251.29 c #Conflicts: 650000 | #Constraints: 27533
2244.58/2251.29 c #Conflicts: 651000 | #Constraints: 28533
2244.58/2251.29 c #Conflicts: 652000 | #Constraints: 29533
2244.58/2251.29 c #Conflicts: 653000 | #Constraints: 30533
2244.58/2251.29 c #Conflicts: 654000 | #Constraints: 31533
2244.58/2251.29 c #Conflicts: 655000 | #Constraints: 32533
2244.58/2251.29 c INPROCESSING
2244.58/2251.29 c GARBAGE COLLECT
2244.58/2251.29 c #Conflicts: 656000 | #Constraints: 17538
2244.58/2251.29 c #Conflicts: 657000 | #Constraints: 18538
2244.58/2251.29 c #Conflicts: 658000 | #Constraints: 19538
2244.58/2251.29 c #Conflicts: 659000 | #Constraints: 20538
2244.58/2251.29 c #Conflicts: 660000 | #Constraints: 21538
2244.58/2251.29 c #Conflicts: 661000 | #Constraints: 22538
2244.58/2251.29 c #Conflicts: 662000 | #Constraints: 23538
2244.58/2251.29 c #Conflicts: 663000 | #Constraints: 24538
2774.40/2782.78 c #Conflicts: 664000 | #Constraints: 25538
2774.40/2782.78 c #Conflicts: 665000 | #Constraints: 26538
2774.40/2782.78 c #Conflicts: 666000 | #Constraints: 27538
2774.40/2782.78 c #Conflicts: 667000 | #Constraints: 28538
2774.40/2782.78 c #Conflicts: 668000 | #Constraints: 29538
2774.40/2782.78 c #Conflicts: 669000 | #Constraints: 30538
2774.40/2782.78 c #Conflicts: 670000 | #Constraints: 31538
2774.40/2782.78 c #Conflicts: 671000 | #Constraints: 32538
2774.40/2782.78 c INPROCESSING
2774.40/2782.78 c GARBAGE COLLECT
2774.40/2782.78 c #Conflicts: 672000 | #Constraints: 17339
2774.40/2782.78 c #Conflicts: 673000 | #Constraints: 18339
2774.40/2782.78 c #Conflicts: 674000 | #Constraints: 19339
2774.40/2782.78 c #Conflicts: 675000 | #Constraints: 20339
2774.40/2782.78 c #Conflicts: 676000 | #Constraints: 21339
2774.40/2782.78 c #Conflicts: 677000 | #Constraints: 22339
2774.40/2782.78 c #Conflicts: 678000 | #Constraints: 23339
2774.40/2782.78 c #Conflicts: 679000 | #Constraints: 24339
2774.40/2782.78 c #Conflicts: 680000 | #Constraints: 25339
2774.40/2782.78 c #Conflicts: 681000 | #Constraints: 26339
2774.40/2782.78 c #Conflicts: 682000 | #Constraints: 27339
2774.40/2782.78 c #Conflicts: 683000 | #Constraints: 28339
2774.40/2782.78 c #Conflicts: 684000 | #Constraints: 29339
2774.40/2782.78 c #Conflicts: 685000 | #Constraints: 30339
2774.40/2782.78 c #Conflicts: 686000 | #Constraints: 31339
2774.40/2782.78 c #Conflicts: 687000 | #Constraints: 32339
2774.40/2782.78 c #Conflicts: 688000 | #Constraints: 33339
2774.40/2782.78 c INPROCESSING
2774.40/2782.78 c GARBAGE COLLECT
2774.40/2782.78 c #Conflicts: 689000 | #Constraints: 17940
2774.40/2782.78 c #Conflicts: 690000 | #Constraints: 18940
2774.40/2782.78 c #Conflicts: 691000 | #Constraints: 19940
2774.40/2782.78 c #Conflicts: 692000 | #Constraints: 20940
2774.40/2782.78 c #Conflicts: 693000 | #Constraints: 21940
2774.40/2782.78 c #Conflicts: 694000 | #Constraints: 22940
2774.40/2782.78 c #Conflicts: 695000 | #Constraints: 23940
2774.40/2782.78 c #Conflicts: 696000 | #Constraints: 24940
2774.40/2782.78 c #Conflicts: 697000 | #Constraints: 25940
2774.40/2782.78 c #Conflicts: 698000 | #Constraints: 26940
2774.40/2782.78 c #Conflicts: 699000 | #Constraints: 27940
2774.40/2782.78 c #Conflicts: 700000 | #Constraints: 28940
2774.40/2782.78 c #Conflicts: 701000 | #Constraints: 29940
2774.40/2782.78 c #Conflicts: 702000 | #Constraints: 30940
2774.40/2782.78 c #Conflicts: 703000 | #Constraints: 31940
2774.40/2782.78 c #Conflicts: 704000 | #Constraints: 32940
2774.40/2782.78 c #Conflicts: 705000 | #Constraints: 33940
2774.40/2782.78 c INPROCESSING
2774.40/2782.78 c GARBAGE COLLECT
2774.40/2782.78 c #Conflicts: 706000 | #Constraints: 18337
2774.40/2782.78 c #Conflicts: 707000 | #Constraints: 19337
2774.40/2782.78 c #Conflicts: 708000 | #Constraints: 20337
2774.40/2782.78 c #Conflicts: 709000 | #Constraints: 21337
2774.40/2782.78 c #Conflicts: 710000 | #Constraints: 22337
2774.40/2782.78 c #Conflicts: 711000 | #Constraints: 23337
2774.40/2782.78 c #Conflicts: 712000 | #Constraints: 24337
2774.40/2782.78 c #Conflicts: 713000 | #Constraints: 25337
2774.40/2782.78 c #Conflicts: 714000 | #Constraints: 26337
2774.40/2782.78 c #Conflicts: 715000 | #Constraints: 27337
2774.40/2782.78 c #Conflicts: 716000 | #Constraints: 28337
2774.40/2782.78 c #Conflicts: 717000 | #Constraints: 29337
2774.40/2782.78 c #Conflicts: 718000 | #Constraints: 30337
2774.40/2782.78 c #Conflicts: 719000 | #Constraints: 31337
2774.40/2782.78 c #Conflicts: 720000 | #Constraints: 32337
2774.40/2782.78 c #Conflicts: 721000 | #Constraints: 33337
2774.40/2782.78 c #Conflicts: 722000 | #Constraints: 34337
2774.40/2782.78 c INPROCESSING
2774.40/2782.78 c GARBAGE COLLECT
2774.40/2782.78 c #Conflicts: 723000 | #Constraints: 18552
2774.40/2782.78 c #Conflicts: 724000 | #Constraints: 19552
2774.40/2782.78 c #Conflicts: 725000 | #Constraints: 20552
2774.40/2782.78 c #Conflicts: 726000 | #Constraints: 21552
2774.40/2782.78 c #Conflicts: 727000 | #Constraints: 22552
2774.40/2782.78 c #Conflicts: 728000 | #Constraints: 23552
2774.40/2782.78 c #Conflicts: 729000 | #Constraints: 24552
2774.40/2782.78 c #Conflicts: 730000 | #Constraints: 25552
2774.40/2782.78 c #Conflicts: 731000 | #Constraints: 26552
2774.40/2782.78 c #Conflicts: 732000 | #Constraints: 27552
2774.40/2782.78 c #Conflicts: 733000 | #Constraints: 28552
2774.40/2782.78 c #Conflicts: 734000 | #Constraints: 29552
2774.40/2782.78 c #Conflicts: 735000 | #Constraints: 30552
2774.40/2782.78 c #Conflicts: 736000 | #Constraints: 31552
2774.40/2782.78 c #Conflicts: 737000 | #Constraints: 32552
2774.40/2782.78 c #Conflicts: 738000 | #Constraints: 33552
2774.40/2782.78 c #Conflicts: 739000 | #Constraints: 34552
3141.94/3151.43 c INPROCESSING
3141.94/3151.43 c GARBAGE COLLECT
3141.94/3151.43 c #Conflicts: 740000 | #Constraints: 18561
3141.94/3151.43 c #Conflicts: 741000 | #Constraints: 19561
3141.94/3151.43 c #Conflicts: 742000 | #Constraints: 20561
3141.94/3151.43 c #Conflicts: 743000 | #Constraints: 21561
3141.94/3151.43 c #Conflicts: 744000 | #Constraints: 22561
3141.94/3151.43 c #Conflicts: 745000 | #Constraints: 23561
3141.94/3151.43 c #Conflicts: 746000 | #Constraints: 24561
3141.94/3151.43 c #Conflicts: 747000 | #Constraints: 25561
3141.94/3151.43 c #Conflicts: 748000 | #Constraints: 26561
3141.94/3151.43 c #Conflicts: 749000 | #Constraints: 27561
3141.94/3151.43 c #Conflicts: 750000 | #Constraints: 28561
3141.94/3151.43 c #Conflicts: 751000 | #Constraints: 29561
3141.94/3151.43 c #Conflicts: 752000 | #Constraints: 30561
3141.94/3151.43 c #Conflicts: 753000 | #Constraints: 31561
3141.94/3151.43 c #Conflicts: 754000 | #Constraints: 32561
3141.94/3151.43 c #Conflicts: 755000 | #Constraints: 33561
3141.94/3151.43 c #Conflicts: 756000 | #Constraints: 34561
3141.94/3151.43 c INPROCESSING
3141.94/3151.43 c GARBAGE COLLECT
3141.94/3151.43 c #Conflicts: 757000 | #Constraints: 18354
3141.94/3151.43 c #Conflicts: 758000 | #Constraints: 19354
3141.94/3151.43 c #Conflicts: 759000 | #Constraints: 20354
3141.94/3151.43 c #Conflicts: 760000 | #Constraints: 21354
3141.94/3151.43 c #Conflicts: 761000 | #Constraints: 22354
3141.94/3151.43 c #Conflicts: 762000 | #Constraints: 23354
3141.94/3151.43 c #Conflicts: 763000 | #Constraints: 24354
3141.94/3151.43 c #Conflicts: 764000 | #Constraints: 25354
3141.94/3151.43 c #Conflicts: 765000 | #Constraints: 26354
3141.94/3151.43 c #Conflicts: 766000 | #Constraints: 27354
3141.94/3151.43 c #Conflicts: 767000 | #Constraints: 28354
3141.94/3151.43 c #Conflicts: 768000 | #Constraints: 29354
3141.94/3151.43 c #Conflicts: 769000 | #Constraints: 30354
3141.94/3151.43 c #Conflicts: 770000 | #Constraints: 31354
3141.94/3151.43 c #Conflicts: 771000 | #Constraints: 32354
3141.94/3151.43 c #Conflicts: 772000 | #Constraints: 33354
3141.94/3151.43 c #Conflicts: 773000 | #Constraints: 34354
3141.94/3151.43 c #Conflicts: 774000 | #Constraints: 35354
3141.94/3151.43 c INPROCESSING
3141.94/3151.43 c GARBAGE COLLECT
3141.94/3151.43 c #Conflicts: 775000 | #Constraints: 18940
3141.94/3151.43 c #Conflicts: 776000 | #Constraints: 19940
3141.94/3151.43 c #Conflicts: 777000 | #Constraints: 20940
3141.94/3151.43 c #Conflicts: 778000 | #Constraints: 21940
3141.94/3151.43 c #Conflicts: 779000 | #Constraints: 22940
3141.94/3151.43 c #Conflicts: 780000 | #Constraints: 23940
3141.94/3151.43 c #Conflicts: 781000 | #Constraints: 24940
3141.94/3151.43 c #Conflicts: 782000 | #Constraints: 25940
3141.94/3151.43 c #Conflicts: 783000 | #Constraints: 26940
3141.94/3151.43 c #Conflicts: 784000 | #Constraints: 27940
3141.94/3151.43 c #Conflicts: 785000 | #Constraints: 28940
3141.94/3151.43 c #Conflicts: 786000 | #Constraints: 29940
3141.94/3151.43 c #Conflicts: 787000 | #Constraints: 30940
3141.94/3151.43 c #Conflicts: 788000 | #Constraints: 31940
3141.94/3151.43 c #Conflicts: 789000 | #Constraints: 32940
3141.94/3151.43 c #Conflicts: 790000 | #Constraints: 33940
3141.94/3151.43 c #Conflicts: 791000 | #Constraints: 34940
3141.94/3151.43 c #Conflicts: 792000 | #Constraints: 35940
3141.94/3151.43 c INPROCESSING
3141.94/3151.43 c GARBAGE COLLECT
3141.94/3151.43 c #Conflicts: 793000 | #Constraints: 19342
3141.94/3151.43 c #Conflicts: 794000 | #Constraints: 20342
3141.94/3151.43 c #Conflicts: 795000 | #Constraints: 21342
3141.94/3151.43 c #Conflicts: 796000 | #Constraints: 22342
3141.94/3151.43 c #Conflicts: 797000 | #Constraints: 23342
3141.94/3151.43 c #Conflicts: 798000 | #Constraints: 24342
3141.94/3151.43 c #Conflicts: 799000 | #Constraints: 25342
3141.94/3151.43 c #Conflicts: 800000 | #Constraints: 26342
3141.94/3151.43 c #Conflicts: 801000 | #Constraints: 27342
3141.94/3151.43 c #Conflicts: 802000 | #Constraints: 28342
3141.94/3151.43 c #Conflicts: 803000 | #Constraints: 29342
3141.94/3151.43 c #Conflicts: 804000 | #Constraints: 30342
3141.94/3151.43 c #Conflicts: 805000 | #Constraints: 31342
3141.94/3151.43 c #Conflicts: 806000 | #Constraints: 32342
3141.94/3151.43 c #Conflicts: 807000 | #Constraints: 33342
3141.94/3151.43 c #Conflicts: 808000 | #Constraints: 34342
3141.94/3151.43 c #Conflicts: 809000 | #Constraints: 35342
3141.94/3151.43 c #Conflicts: 810000 | #Constraints: 36342
3141.94/3151.43 c INPROCESSING
3141.94/3151.43 c GARBAGE COLLECT
3141.94/3151.43 c #Conflicts: 811000 | #Constraints: 19537
3141.94/3151.43 c #Conflicts: 812000 | #Constraints: 20537
3141.94/3151.43 c #Conflicts: 813000 | #Constraints: 21537
3141.94/3151.43 c #Conflicts: 814000 | #Constraints: 22537
3141.94/3151.43 c #Conflicts: 815000 | #Constraints: 23537
3592.62/3603.54 c #Conflicts: 816000 | #Constraints: 24537
3592.62/3603.54 c #Conflicts: 817000 | #Constraints: 25537
3592.62/3603.54 c #Conflicts: 818000 | #Constraints: 26537
3592.62/3603.54 c #Conflicts: 819000 | #Constraints: 27537
3592.62/3603.54 c #Conflicts: 820000 | #Constraints: 28537
3592.62/3603.54 c #Conflicts: 821000 | #Constraints: 29537
3592.62/3603.54 c #Conflicts: 822000 | #Constraints: 30537
3592.62/3603.54 c #Conflicts: 823000 | #Constraints: 31537
3592.62/3603.54 c #Conflicts: 824000 | #Constraints: 32537
3592.62/3603.54 c #Conflicts: 825000 | #Constraints: 33537
3592.62/3603.54 c #Conflicts: 826000 | #Constraints: 34537
3592.62/3603.54 c #Conflicts: 827000 | #Constraints: 35537
3592.62/3603.54 c #Conflicts: 828000 | #Constraints: 36537
3592.62/3603.54 c INPROCESSING
3592.62/3603.54 c GARBAGE COLLECT
3592.62/3603.54 c #Conflicts: 829000 | #Constraints: 19540
3592.62/3603.54 c #Conflicts: 830000 | #Constraints: 20540
3592.62/3603.54 c #Conflicts: 831000 | #Constraints: 21540
3592.62/3603.54 c #Conflicts: 832000 | #Constraints: 22540
3592.62/3603.54 c #Conflicts: 833000 | #Constraints: 23540
3592.62/3603.54 c #Conflicts: 834000 | #Constraints: 24540
3592.62/3603.54 c #Conflicts: 835000 | #Constraints: 25540
3592.62/3603.54 c #Conflicts: 836000 | #Constraints: 26540
3592.62/3603.54 c #Conflicts: 837000 | #Constraints: 27540
3592.62/3603.54 c #Conflicts: 838000 | #Constraints: 28540
3592.62/3603.54 c #Conflicts: 839000 | #Constraints: 29540
3592.62/3603.54 c #Conflicts: 840000 | #Constraints: 30540
3592.62/3603.54 c #Conflicts: 841000 | #Constraints: 31540
3592.62/3603.54 c #Conflicts: 842000 | #Constraints: 32540
3592.62/3603.54 c #Conflicts: 843000 | #Constraints: 33540
3592.62/3603.54 c #Conflicts: 844000 | #Constraints: 34540
3592.62/3603.54 c #Conflicts: 845000 | #Constraints: 35540
3592.62/3603.54 c #Conflicts: 846000 | #Constraints: 36540
3592.62/3603.54 c INPROCESSING
3592.62/3603.54 c GARBAGE COLLECT
3592.62/3603.54 c #Conflicts: 847000 | #Constraints: 19331
3592.62/3603.54 c #Conflicts: 848000 | #Constraints: 20331
3592.62/3603.54 c #Conflicts: 849000 | #Constraints: 21331
3592.62/3603.54 c #Conflicts: 850000 | #Constraints: 22331
3592.62/3603.54 c #Conflicts: 851000 | #Constraints: 23331
3592.62/3603.54 c #Conflicts: 852000 | #Constraints: 24331
3592.62/3603.54 c #Conflicts: 853000 | #Constraints: 25331
3592.62/3603.54 c #Conflicts: 854000 | #Constraints: 26331
3592.62/3603.54 c #Conflicts: 855000 | #Constraints: 27331
3592.62/3603.54 c #Conflicts: 856000 | #Constraints: 28331
3592.62/3603.54 c #Conflicts: 857000 | #Constraints: 29331
3592.62/3603.54 c #Conflicts: 858000 | #Constraints: 30331
3592.62/3603.54 c #Conflicts: 859000 | #Constraints: 31331
3592.62/3603.54 c #Conflicts: 860000 | #Constraints: 32331
3592.62/3603.54 c #Conflicts: 861000 | #Constraints: 33331
3592.62/3603.54 c #Conflicts: 862000 | #Constraints: 34331
3592.62/3603.54 c #Conflicts: 863000 | #Constraints: 35331
3592.62/3603.54 c #Conflicts: 864000 | #Constraints: 36331
3592.62/3603.54 c #Conflicts: 865000 | #Constraints: 37331
3592.62/3603.54 c INPROCESSING
3592.62/3603.54 c GARBAGE COLLECT
3592.62/3603.54 c #Conflicts: 866000 | #Constraints: 19939
3592.62/3603.54 c #Conflicts: 867000 | #Constraints: 20939
3592.62/3603.54 c #Conflicts: 868000 | #Constraints: 21939
3592.62/3603.54 c #Conflicts: 869000 | #Constraints: 22939
3592.62/3603.54 c #Conflicts: 870000 | #Constraints: 23939
3592.62/3603.54 c #Conflicts: 871000 | #Constraints: 24939
3592.62/3603.54 c #Conflicts: 872000 | #Constraints: 25939
3592.62/3603.54 c #Conflicts: 873000 | #Constraints: 26939
3592.62/3603.54 c #Conflicts: 874000 | #Constraints: 27939
3592.62/3603.54 c #Conflicts: 875000 | #Constraints: 28939
3592.62/3603.54 c #Conflicts: 876000 | #Constraints: 29939
3592.62/3603.54 c #Conflicts: 877000 | #Constraints: 30939
3592.62/3603.54 c #Conflicts: 878000 | #Constraints: 31939
3592.62/3603.54 c #Conflicts: 879000 | #Constraints: 32939
3592.62/3603.54 c #Conflicts: 880000 | #Constraints: 33939
3592.62/3603.54 c #Conflicts: 881000 | #Constraints: 34939
3592.62/3603.54 c #Conflicts: 882000 | #Constraints: 35939
3592.62/3603.54 c #Conflicts: 883000 | #Constraints: 36939
3592.62/3603.54 c #Conflicts: 884000 | #Constraints: 37939
3592.62/3603.54 c INPROCESSING
3592.62/3603.54 c GARBAGE COLLECT
3592.62/3603.54 c #Conflicts: 885000 | #Constraints: 20342
3592.62/3603.54 c #Conflicts: 886000 | #Constraints: 21342
3592.62/3603.54 c #Conflicts: 887000 | #Constraints: 22342
3592.62/3603.54 c #Conflicts: 888000 | #Constraints: 23342
3592.62/3603.54 c #Conflicts: 889000 | #Constraints: 24342
3592.62/3603.54 c #Conflicts: 890000 | #Constraints: 25342
3592.62/3603.54 c #Conflicts: 891000 | #Constraints: 26342
3600.00/3610.90 c #Conflicts: 892000 | #Constraints: 27342
3600.00/3610.90 c Program interrupted by user.
3600.00/3610.90 c cpu time 3578.18 s
3600.00/3610.90 c deterministic time 436612329243 4.37e+11
3600.00/3610.90 c optimization time 35.7375 s
3600.00/3610.90 c total solve time 3243.33 s
3600.00/3610.90 c core-guided solve time 3243.33 s
3600.00/3610.90 c propagation time 2576.35 s
3600.00/3610.90 c conflict analysis time 517.932 s
3600.00/3610.90 c propagations 139993379
3600.00/3610.90 c resolve steps 4514913
3600.00/3610.90 c decisions 19451454
3600.00/3610.90 c conflicts 892056
3600.00/3610.90 c restarts 1929
3600.00/3610.90 c inprocessing phases 85
3600.00/3610.90 c input clauses 320
3600.00/3610.90 c input cardinalities 322
3600.00/3610.90 c input general constraints 66
3600.00/3610.90 c input average constraint length 58.12
3600.00/3610.90 c input average constraint degree 11921.69
3600.00/3610.90 c learned clauses 2999
3600.00/3610.90 c learned cardinalities 30
3600.00/3610.90 c learned general constraints 889026
3600.00/3610.90 c learned average constraint length 1861.44
3600.00/3610.90 c learned average constraint degree 8138294.65
3600.00/3610.90 c watched constraints 357303
3600.00/3610.90 c counting constraints 531789
3600.00/3610.90 c gcd simplifications 2306
3600.00/3610.90 c detected cardinalities 3
3600.00/3610.90 c weakened non-implied lits 95672470
3600.00/3610.90 c weakened non-implying lits 93140
3600.00/3610.90 c original variables 10272
3600.00/3610.90 c clausal propagations 3564983
3600.00/3610.90 c cardinality propagations 14295276
3600.00/3610.90 c watched propagations 4384933
3600.00/3610.90 c counting propagations 117162959
3600.00/3610.90 c watch lookups 47699457685
3600.00/3610.90 c watch backjump lookups 47305206702
3600.00/3610.90 c watch checks 254434788539
3600.00/3610.90 c propagation checks 82960350557
3600.00/3610.90 c constraint additions 3892753781
3600.00/3610.90 c trail pops 160327145
3600.00/3610.90 c formula constraints 706
3600.00/3610.90 c learned constraints 892055
3600.00/3610.90 c bound constraints 2
3600.00/3610.90 c core-guided constraints 0
3600.00/3610.90 c encountered formula constraints 3090888
3600.00/3610.90 c encountered learned constraints 2313999
3600.00/3610.90 c encountered bound constraints 2082
3600.00/3610.90 c encountered core-guided constraints 0
3600.00/3610.90 c LP total time 0 s
3600.00/3610.90 c LP solve time 0 s
3600.00/3610.90 c LP constraints added 0
3600.00/3610.90 c LP constraints removed 0
3600.00/3610.90 c LP pivots internal 0
3600.00/3610.90 c LP pivots root 0
3600.00/3610.90 c LP calls 0
3600.00/3610.90 c LP optimalities 0
3600.00/3610.90 c LP no pivot count 0
3600.00/3610.90 c LP infeasibilities 0
3600.00/3610.90 c LP valid Farkas constraints 0
3600.00/3610.90 c LP learned Farkas constraints 0
3600.00/3610.90 c LP basis resets 0
3600.00/3610.90 c LP cycling count 0
3600.00/3610.90 c LP singular count 0
3600.00/3610.90 c LP no primal count 0
3600.00/3610.90 c LP no farkas count 0
3600.00/3610.90 c LP other issue count 0
3600.00/3610.90 c LP Gomory cuts 0
3600.00/3610.90 c LP learned cuts 0
3600.00/3610.90 c LP deleted cuts 0
3600.00/3610.90 c LP encountered Gomory constraints 0
3600.00/3610.90 c LP encountered Farkas constraints 0
3600.00/3610.90 c LP encountered learned Farkas constraints 0
3600.00/3610.90 c CG auxiliary variables introduced 0
3600.00/3610.90 c CG solutions found 0
3600.00/3610.90 c CG cores constructed 1
3600.00/3610.90 c CG core cardinality constraints returned 1
3600.00/3610.90 c CG unit cores 0
3600.00/3610.90 c CG single cores 1
3600.00/3610.90 c CG blocks removed during cardinality reduction 0
3600.00/3610.90 c CG first core best 0
3600.00/3610.90 c CG decision core best 0
3600.00/3610.90 c CG core reduction tie 0
3600.00/3610.90 c CG core degree average 27.00
3600.00/3610.90 c CG core slack average 5.00
3600.00/3610.90 c CG exhausted 0
3600.00/3610.90 c CG exhaust time 0 s
3600.00/3610.90 c CG trimmed 0
3600.00/3610.90 c CG trim time 5.5e-05 s
3600.00/3610.90 c CG minimized 0
3600.00/3610.90 c CG minimize time 0 s
3600.00/3610.90 c CG am1 prop time 0.000276 s
3600.00/3610.90 c CG # am1s reformulated 0
3600.00/3610.90 c CG lower bound derived from am1s 0
3600.00/3610.90 c CG # clausal cores 0
3600.00/3610.90 c CG # cardinality cores 0
3600.00/3610.90 c CG # pb cores 1
3600.00/3610.90 c CG # pb reforms 0
3600.00/3610.90 c CG # cores discarded because of pb reform 0
3600.00/3610.90 d LOWERBOUND 27
3600.00/3610.90 d NCORES 1
3600.00/3610.90 d NPBCORES 1
3600.00/3610.90 d NPBREFORM 0
3600.00/3610.90 d NTRIMMED 0
3600.00/3610.90 d NEXHAUSTED 0
3600.00/3610.90 d NAM1S 0
3600.00/3610.90 d AM1LB 0
3600.00/3610.90 c [Papilo Statistics]
3600.00/3610.90 c prepro time 0.0134015s
3600.00/3610.90 c # tsx applied 321
3600.00/3610.90 c # tsx conflicts 0
3600.00/3610.90 c # bound changes 0
3600.00/3610.90 c # side changes 321
3600.00/3610.90 c # coef changes 0
3600.00/3610.90 c # rounds 2
3600.00/3610.90 c # deted vars 0
3600.00/3610.90 c # deted constrs 320
3600.00/3610.90 c # consecutive rounds of only bound changes 0
3600.00/3610.92 s UNKNOWN
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 (61824 MiB free)
memory of node 1: 64465 MiB (63328 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509415-1751527683/watcher-4509415-1751527683 -o /tmp/evaluation-result-4509415-1751527683/solver-4509415-1751527683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751527683-70537 --watchdog 3760 mixed-bag HOME/instance-4509415-1751527683.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=70581, runsolver pid=70577
[startup+0.100067 s]*
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=128066708/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=126416 memory=51556 CPUtime=0.06 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 9738 0 0 0 4 2 0 0 20 0 1 0 68445789 129449984 12889 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 31604 12889 4032 2842 0 13298 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 126416 KiB
Current children cumulated memory: 51556 KiB
[startup+0.205741 s]*
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=127979388/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=145104 memory=69228 CPUtime=0.17 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 15058 0 0 0 14 3 0 0 20 0 1 0 68445789 148586496 17307 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 36276 17307 4064 2842 0 17970 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 145104 KiB
Current children cumulated memory: 69228 KiB
[startup+0.305633 s]*
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=127808040/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=187832 memory=95532 CPUtime=0.27 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 21158 0 0 0 23 4 0 0 20 0 1 0 68445789 192339968 23883 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 46958 23883 4096 2842 0 28652 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 187832 KiB
Current children cumulated memory: 95532 KiB
[startup+0.70018 s]
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=127703668/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=284008 memory=184724 CPUtime=0.66 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 43665 0 0 0 59 7 0 0 20 0 1 0 68445789 290824192 46181 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 71002 46181 4224 2842 0 52696 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 284008 KiB
Current children cumulated memory: 184724 KiB
[startup+1.50017 s]
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=127486840/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=317948 memory=216416 CPUtime=1.45 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 48527 0 0 0 137 8 0 0 20 0 1 0 68445789 325578752 54104 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 79487 54104 4256 2842 0 61181 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 317948 KiB
Current children cumulated memory: 216416 KiB
[startup+3.10556 s]
/proc/loadavg: 0.87 1.52 2.75 5/265 70597
/proc/meminfo: memFree=127130604/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=350296 memory=247904 CPUtime=3.05 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 56418 0 0 0 297 8 0 0 20 0 1 0 68445789 358703104 61976 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 87574 61976 4256 2842 0 69268 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 350296 KiB
Current children cumulated memory: 247904 KiB
[startup+6.30016 s]
/proc/loadavg: 1.12 1.56 2.75 5/265 70597
/proc/meminfo: memFree=126626248/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=397288 memory=292212 CPUtime=6.23 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 68558 0 0 0 613 10 0 0 20 0 1 0 68445789 406822912 73053 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 99322 73053 4256 2842 0 81016 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 397288 KiB
Current children cumulated memory: 292212 KiB
[startup+12.7002 s]
/proc/loadavg: 1.43 1.62 2.77 5/265 70598
/proc/meminfo: memFree=126498272/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=397288 memory=294388 CPUtime=12.61 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 69105 0 0 0 1251 10 0 0 20 0 1 0 68445789 406822912 73597 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 99322 73597 4256 2842 0 81016 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 397288 KiB
Current children cumulated memory: 294388 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 1.74 2.79 5/265 70598
/proc/meminfo: memFree=126289476/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=397288 memory=294900 CPUtime=25.38 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 69231 0 0 0 2528 10 0 0 20 0 1 0 68445789 406822912 73725 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 99322 73725 4256 2842 0 81016 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 397288 KiB
Current children cumulated memory: 294900 KiB
[startup+51.1055 s]
/proc/loadavg: 2.68 1.92 2.82 5/266 70691
/proc/meminfo: memFree=126259864/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=422692 memory=320116 CPUtime=50.91 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 75498 0 0 0 5080 11 0 0 20 0 1 0 68445789 432836608 80029 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 105673 80029 4288 2842 0 87367 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 422692 KiB
Current children cumulated memory: 320116 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 2.27 2.90 5/266 70693
/proc/meminfo: memFree=126102488/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=452148 memory=347016 CPUtime=101.95 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 83012 0 0 0 10183 12 0 0 20 0 1 0 68445789 462999552 86754 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 113037 86754 4288 2842 0 94731 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 452148 KiB
Current children cumulated memory: 347016 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.61 2.97 5/266 70696
/proc/meminfo: memFree=125941800/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=463468 memory=360584 CPUtime=161.78 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 86401 0 0 0 16165 13 0 0 20 0 1 0 68445789 474591232 90146 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 115867 90146 4288 2842 0 97561 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 463468 KiB
Current children cumulated memory: 360584 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.88 3.04 5/266 70698
/proc/meminfo: memFree=125746376/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=463920 memory=361648 CPUtime=221.6 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 90927 0 0 0 22146 14 0 0 20 0 1 0 68445789 475054080 90412 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 115980 90412 4288 2842 0 97674 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 463920 KiB
Current children cumulated memory: 361648 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.11 3.12 5/267 70701
/proc/meminfo: memFree=125693476/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=495272 memory=389556 CPUtime=281.43 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 98553 0 0 0 28128 15 0 0 20 0 1 0 68445789 507158528 97389 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 123818 97389 4288 2842 0 105512 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 495272 KiB
Current children cumulated memory: 389556 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.29 3.18 5/264 70703
/proc/meminfo: memFree=125613548/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=544004 memory=440796 CPUtime=341.27 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 101858 0 0 0 34010 117 0 0 20 0 1 0 68445789 557060096 110199 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 136001 110199 4448 2842 0 117695 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 544004 KiB
Current children cumulated memory: 440796 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.45 3.25 5/264 70705
/proc/meminfo: memFree=125397696/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=594092 memory=499024 CPUtime=401.11 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 103148 0 0 0 39907 204 0 0 20 0 1 0 68445789 608350208 124756 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 148523 124756 4448 2842 0 130217 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 594092 KiB
Current children cumulated memory: 499024 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.57 3.30 5/264 70708
/proc/meminfo: memFree=125243160/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=675480 memory=532584 CPUtime=460.94 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 103903 0 0 0 45824 270 0 0 20 0 1 0 68445789 691691520 133146 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 168870 133146 4448 2842 0 150564 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 2005044 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.10 4.02 5/267 70853
/proc/meminfo: memFree=118292648/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2449496 memory=2005044 CPUtime=2913.57 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 319226 0 0 0 289567 1790 0 0 20 0 1 0 68445789 2508283904 501261 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 612374 501261 4448 2842 0 594068 0
Current children cumulated CPU time: 2913.57 s
Current children cumulated vsize: 2449496 KiB
Current children cumulated memory: 2005044 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.02 5/267 70855
/proc/meminfo: memFree=118139748/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2449496 memory=2005044 CPUtime=2973.37 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 319234 0 0 0 295509 1828 0 0 20 0 1 0 68445789 2508283904 501261 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 612374 501261 4448 2842 0 594068 0
Current children cumulated CPU time: 2973.37 s
Current children cumulated vsize: 2449496 KiB
Current children cumulated memory: 2005044 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/266 70860
/proc/meminfo: memFree=118023480/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2449496 memory=2005044 CPUtime=3033.19 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 319234 0 0 0 301461 1858 0 0 20 0 1 0 68445789 2508283904 501261 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 612374 501261 4448 2842 0 594068 0
Current children cumulated CPU time: 3033.19 s
Current children cumulated vsize: 2449496 KiB
Current children cumulated memory: 2005044 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/266 70863
/proc/meminfo: memFree=117916944/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2449496 memory=2005044 CPUtime=3093 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 319234 0 0 0 307400 1900 0 0 20 0 1 0 68445789 2508283904 501261 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 612374 501261 4448 2842 0 594068 0
Current children cumulated CPU time: 3093 s
Current children cumulated vsize: 2449496 KiB
Current children cumulated memory: 2005044 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/266 70865
/proc/meminfo: memFree=117818320/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2449496 memory=2005044 CPUtime=3152.81 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 319234 0 0 0 313335 1946 0 0 20 0 1 0 68445789 2508283904 501261 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 612374 501261 4448 2842 0 594068 0
Current children cumulated CPU time: 3152.81 s
Current children cumulated vsize: 2449496 KiB
Current children cumulated memory: 2005044 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/266 70867
/proc/meminfo: memFree=117745016/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2449496 memory=2005044 CPUtime=3212.61 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 319234 0 0 0 319294 1967 0 0 20 0 1 0 68445789 2508283904 501261 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 612374 501261 4448 2842 0 594068 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 2449496 KiB
Current children cumulated memory: 2005044 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.03 5/266 70869
/proc/meminfo: memFree=117671584/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2449496 memory=2005172 CPUtime=3272.43 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 319248 0 0 0 325247 1996 0 0 20 0 1 0 68445789 2508283904 501293 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 612374 501293 4448 2842 0 594068 0
Current children cumulated CPU time: 3272.43 s
Current children cumulated vsize: 2449496 KiB
Current children cumulated memory: 2005172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/266 70871
/proc/meminfo: memFree=117571068/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2459992 memory=2012084 CPUtime=3332.24 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 320997 0 0 0 331210 2014 0 0 20 0 1 0 68445789 2519031808 503021 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 614998 503021 4448 2842 0 596692 0
Current children cumulated CPU time: 3332.24 s
Current children cumulated vsize: 2459992 KiB
Current children cumulated memory: 2012084 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.10 4.04 5/264 70874
/proc/meminfo: memFree=117546600/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2471180 memory=2020020 CPUtime=3392.06 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 322966 0 0 0 337151 2055 0 0 20 0 1 0 68445789 2530488320 505005 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 617795 505005 4448 2842 0 599489 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 2471180 KiB
Current children cumulated memory: 2020020 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.04 5/264 70876
/proc/meminfo: memFree=117473324/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2471180 memory=2020020 CPUtime=3451.87 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 322967 0 0 0 343101 2086 0 0 20 0 1 0 68445789 2530488320 505005 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 617795 505005 4448 2842 0 599489 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 2471180 KiB
Current children cumulated memory: 2020020 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/264 70882
/proc/meminfo: memFree=117361256/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2471440 memory=2020276 CPUtime=3511.68 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 323034 0 0 0 349038 2130 0 0 20 0 1 0 68445789 2530754560 505069 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 617860 505069 4448 2842 0 599554 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 2471440 KiB
Current children cumulated memory: 2020276 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/263 70884
/proc/meminfo: memFree=117304536/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2471440 memory=2020276 CPUtime=3571.49 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 323036 0 0 0 354984 2165 0 0 20 0 1 0 68445789 2530754560 505069 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 617860 505069 4448 2842 0 599554 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 2471440 KiB
Current children cumulated memory: 2020276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.10 4.11 4.05 5/263 70884
/proc/meminfo: memFree=118416272/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2471440 memory=2020276 CPUtime=3600 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 323036 0 0 0 357818 2182 0 0 20 0 1 0 68445789 2530754560 505069 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 617860 505069 4448 2842 0 599554 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2471440 KiB
Current children cumulated memory: 2020276 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.94 s]
# the end of solver process 70581 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.19 s, system=21.8606 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.10 4.11 4.05 5/263 70884
/proc/meminfo: memFree=118416272/131250000 swapFree=33007332/33010684
[pid=70581] ppid=70577 vsize=2471440 memory=2020276 CPUtime=3600 cores=0,2
/proc/70581/stat : 70581 (mixed-bag) R 70577 70581 70527 0 -1 4194304 323036 0 0 0 357818 2182 0 0 20 0 1 0 68445789 2530754560 505069 18446744073709551615 4235264 15874749 140727770779392 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 24547328 140727770782108 140727770782185 140727770782185 140727770787787 0
/proc/70581/statm: 617860 505069 4448 2842 0 599554 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2471440 KiB
Current children cumulated memory: 2020276 KiB
Child status: 0
Real time (s): 3610.94
CPU time (s): 3600.05
CPU user time (s): 3578.19
CPU system time (s): 21.8606
CPU usage (%): 99.6985
Max. virtual memory (cumulated for all children) (KiB): 2471440
Max. memory (cumulated for all children) (KiB): 2020276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.19
system time used= 21.8606
maximum resident set size= 2020916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323066
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= 332
involuntary context switches= 4698
# summary of solver processes directly reported to runsolver:
# pid: 70581
# total CPU time (s): 3600.05
# total CPU user time (s): 3578.19
# total CPU system time (s): 21.8606
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51016 second user time and 16.898 second system time
The end
Begin job on nodeC019 at 2025-07-03 09:28:03
IDJOB=4509415
IDBENCH=158618
IDSOLVER=3340
FILE ID=nodeC019/4509415-1751527683
RUNJOBID= nodeC019-1751527683-70537
SLURM_JOB_ID= 9598661
Free space on /tmp= 431644 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509415-1751527683/watcher-4509415-1751527683 -o /tmp/evaluation-result-4509415-1751527683/solver-4509415-1751527683 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751527683-70537 --watchdog 3760 mixed-bag HOME/instance-4509415-1751527683.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a65412b792c5c6c9e427350dbe88f8fc
RANDOM SEED=1732309513
nodeC019 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.209
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.292
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3599.681
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.673
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.675
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.714
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.242
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
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 : 3597.531
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128157948 kB
MemAvailable: 129779184 kB
Buffers: 904 kB
Cached: 2424180 kB
SwapCached: 440 kB
Active: 213260 kB
Inactive: 2278584 kB
Active(anon): 54216 kB
Inactive(anon): 27736 kB
Active(file): 159044 kB
Inactive(file): 2250848 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 64696 kB
Writeback: 0 kB
AnonPages: 69348 kB
Mapped: 103776 kB
Shmem: 15192 kB
KReclaimable: 101164 kB
Slab: 189848 kB
SReclaimable: 101164 kB
SUnreclaim: 88684 kB
KernelStack: 4068 kB
PageTables: 2496 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 328916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431580 MiB
End job on nodeC019 at 2025-07-03 10:28:14