0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.03 c [STEP] solving
0.00/0.03 c #variables 4160 #constraints 1744
0.00/0.03 c SMALL=int, LARGE=long long
0.00/0.03 c bounds - >= -1024 @ 0.017291
0.00/0.03 c stratification level: 0
64.50/64.76 c #Conflicts: 1000 | #Constraints: 2775
64.50/64.76 c #Conflicts: 2000 | #Constraints: 3775
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 3000 | #Constraints: 3804
64.50/64.76 c #Conflicts: 4000 | #Constraints: 4804
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 5000 | #Constraints: 4223
64.50/64.76 c #Conflicts: 6000 | #Constraints: 5223
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 7000 | #Constraints: 4227
64.50/64.76 c #Conflicts: 8000 | #Constraints: 5227
64.50/64.76 c #Conflicts: 9000 | #Constraints: 6227
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 10000 | #Constraints: 4929
64.50/64.76 c #Conflicts: 11000 | #Constraints: 5929
64.50/64.76 c #Conflicts: 12000 | #Constraints: 6929
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 13000 | #Constraints: 5379
64.50/64.76 c #Conflicts: 14000 | #Constraints: 6379
64.50/64.76 c #Conflicts: 15000 | #Constraints: 7379
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 16000 | #Constraints: 5612
64.50/64.76 c #Conflicts: 17000 | #Constraints: 6612
64.50/64.76 c #Conflicts: 18000 | #Constraints: 7612
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 19000 | #Constraints: 5632
64.50/64.76 c #Conflicts: 20000 | #Constraints: 6632
64.50/64.76 c #Conflicts: 21000 | #Constraints: 7632
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 22000 | #Constraints: 5439
64.50/64.76 c #Conflicts: 23000 | #Constraints: 6439
64.50/64.76 c #Conflicts: 24000 | #Constraints: 7439
64.50/64.76 c #Conflicts: 25000 | #Constraints: 8439
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 26000 | #Constraints: 6042
64.50/64.76 c #Conflicts: 27000 | #Constraints: 7042
64.50/64.76 c #Conflicts: 28000 | #Constraints: 8042
64.50/64.76 c #Conflicts: 29000 | #Constraints: 9042
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 30000 | #Constraints: 6430
64.50/64.76 c #Conflicts: 31000 | #Constraints: 7430
64.50/64.76 c #Conflicts: 32000 | #Constraints: 8430
64.50/64.76 c #Conflicts: 33000 | #Constraints: 9430
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 34000 | #Constraints: 6632
64.50/64.76 c #Conflicts: 35000 | #Constraints: 7632
64.50/64.76 c #Conflicts: 36000 | #Constraints: 8632
64.50/64.76 c #Conflicts: 37000 | #Constraints: 9632
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 38000 | #Constraints: 6647
64.50/64.76 c #Conflicts: 39000 | #Constraints: 7647
64.50/64.76 c #Conflicts: 40000 | #Constraints: 8647
64.50/64.76 c #Conflicts: 41000 | #Constraints: 9647
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 42000 | #Constraints: 6448
64.50/64.76 c #Conflicts: 43000 | #Constraints: 7448
64.50/64.76 c #Conflicts: 44000 | #Constraints: 8448
64.50/64.76 c #Conflicts: 45000 | #Constraints: 9448
64.50/64.76 c #Conflicts: 46000 | #Constraints: 10448
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 47000 | #Constraints: 7042
64.50/64.76 c #Conflicts: 48000 | #Constraints: 8042
64.50/64.76 c #Conflicts: 49000 | #Constraints: 9042
64.50/64.76 c #Conflicts: 50000 | #Constraints: 10042
64.50/64.76 c #Conflicts: 51000 | #Constraints: 11042
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 52000 | #Constraints: 7442
64.50/64.76 c #Conflicts: 53000 | #Constraints: 8442
64.50/64.76 c #Conflicts: 54000 | #Constraints: 9442
64.50/64.76 c #Conflicts: 55000 | #Constraints: 10442
64.50/64.76 c #Conflicts: 56000 | #Constraints: 11442
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 57000 | #Constraints: 7645
64.50/64.76 c #Conflicts: 58000 | #Constraints: 8645
64.50/64.76 c #Conflicts: 59000 | #Constraints: 9645
64.50/64.76 c #Conflicts: 60000 | #Constraints: 10645
64.50/64.76 c #Conflicts: 61000 | #Constraints: 11645
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 62000 | #Constraints: 7645
64.50/64.76 c #Conflicts: 63000 | #Constraints: 8645
64.50/64.76 c #Conflicts: 64000 | #Constraints: 9645
64.50/64.76 c #Conflicts: 65000 | #Constraints: 10645
64.50/64.76 c #Conflicts: 66000 | #Constraints: 11645
64.50/64.76 c INPROCESSING
64.50/64.76 c GARBAGE COLLECT
64.50/64.76 c #Conflicts: 67000 | #Constraints: 7443
64.50/64.76 c #Conflicts: 68000 | #Constraints: 8443
218.54/219.20 c #Conflicts: 69000 | #Constraints: 9443
218.54/219.20 c #Conflicts: 70000 | #Constraints: 10443
218.54/219.20 c #Conflicts: 71000 | #Constraints: 11443
218.54/219.20 c #Conflicts: 72000 | #Constraints: 12443
218.54/219.20 c INPROCESSING
218.54/219.20 c GARBAGE COLLECT
218.54/219.20 c #Conflicts: 73000 | #Constraints: 8041
218.54/219.20 c #Conflicts: 74000 | #Constraints: 9041
218.54/219.20 c #Conflicts: 75000 | #Constraints: 10041
218.54/219.20 c #Conflicts: 76000 | #Constraints: 11041
218.54/219.20 c #Conflicts: 77000 | #Constraints: 12041
218.54/219.20 c #Conflicts: 78000 | #Constraints: 13041
218.54/219.20 c INPROCESSING
218.54/219.20 c GARBAGE COLLECT
218.54/219.20 c #Conflicts: 79000 | #Constraints: 8447
218.54/219.20 c #Conflicts: 80000 | #Constraints: 9447
218.54/219.20 c #Conflicts: 81000 | #Constraints: 10447
218.54/219.20 c #Conflicts: 82000 | #Constraints: 11447
218.54/219.20 c #Conflicts: 83000 | #Constraints: 12447
218.54/219.20 c #Conflicts: 84000 | #Constraints: 13447
218.54/219.20 c INPROCESSING
218.54/219.20 c GARBAGE COLLECT
218.54/219.20 c #Conflicts: 85000 | #Constraints: 8650
218.54/219.20 c #Conflicts: 86000 | #Constraints: 9650
218.54/219.20 c #Conflicts: 87000 | #Constraints: 10650
218.54/219.20 c #Conflicts: 88000 | #Constraints: 11650
218.54/219.20 c #Conflicts: 89000 | #Constraints: 12650
218.54/219.20 c #Conflicts: 90000 | #Constraints: 13650
218.54/219.20 c INPROCESSING
218.54/219.20 c GARBAGE COLLECT
218.54/219.20 c #Conflicts: 91000 | #Constraints: 8654
218.54/219.20 c #Conflicts: 92000 | #Constraints: 9654
218.54/219.20 c #Conflicts: 93000 | #Constraints: 10654
218.54/219.20 c #Conflicts: 94000 | #Constraints: 11654
218.54/219.20 c #Conflicts: 95000 | #Constraints: 12654
218.54/219.20 c #Conflicts: 96000 | #Constraints: 13654
218.54/219.20 c INPROCESSING
218.54/219.20 c GARBAGE COLLECT
218.54/219.20 c #Conflicts: 97000 | #Constraints: 8449
218.54/219.20 c #Conflicts: 98000 | #Constraints: 9449
218.54/219.20 c #Conflicts: 99000 | #Constraints: 10449
218.54/219.20 c #Conflicts: 100000 | #Constraints: 11449
218.54/219.20 c #Conflicts: 101000 | #Constraints: 12449
218.54/219.20 c #Conflicts: 102000 | #Constraints: 13449
218.54/219.20 c #Conflicts: 103000 | #Constraints: 14449
218.54/219.20 c INPROCESSING
218.54/219.20 c GARBAGE COLLECT
218.54/219.20 c #Conflicts: 104000 | #Constraints: 9038
218.54/219.20 c #Conflicts: 105000 | #Constraints: 10038
218.54/219.20 c #Conflicts: 106000 | #Constraints: 11038
218.54/219.20 c #Conflicts: 107000 | #Constraints: 12038
218.54/219.20 c #Conflicts: 108000 | #Constraints: 13038
218.54/219.20 c #Conflicts: 109000 | #Constraints: 14038
218.54/219.20 c #Conflicts: 110000 | #Constraints: 15038
218.54/219.20 c INPROCESSING
218.54/219.20 c GARBAGE COLLECT
218.54/219.20 c #Conflicts: 111000 | #Constraints: 9449
218.54/219.20 c #Conflicts: 112000 | #Constraints: 10449
218.54/219.20 c #Conflicts: 113000 | #Constraints: 11449
218.54/219.20 c #Conflicts: 114000 | #Constraints: 12449
218.54/219.20 c #Conflicts: 115000 | #Constraints: 13449
218.54/219.20 c #Conflicts: 116000 | #Constraints: 14449
218.54/219.20 c #Conflicts: 117000 | #Constraints: 15449
218.54/219.20 c INPROCESSING
218.54/219.20 c GARBAGE COLLECT
218.54/219.20 c #Conflicts: 118000 | #Constraints: 9641
218.54/219.20 c #Conflicts: 119000 | #Constraints: 10641
218.54/219.20 c #Conflicts: 120000 | #Constraints: 11641
218.54/219.20 c #Conflicts: 121000 | #Constraints: 12641
218.54/219.20 c #Conflicts: 122000 | #Constraints: 13641
218.54/219.20 c #Conflicts: 123000 | #Constraints: 14641
218.54/219.20 c #Conflicts: 124000 | #Constraints: 15641
218.54/219.20 c INPROCESSING
218.54/219.20 c GARBAGE COLLECT
218.54/219.20 c #Conflicts: 125000 | #Constraints: 9641
218.54/219.20 c #Conflicts: 126000 | #Constraints: 10641
218.54/219.20 c #Conflicts: 127000 | #Constraints: 11641
218.54/219.20 c #Conflicts: 128000 | #Constraints: 12641
218.54/219.20 c #Conflicts: 129000 | #Constraints: 13641
218.54/219.20 c #Conflicts: 130000 | #Constraints: 14641
218.54/219.20 c #Conflicts: 131000 | #Constraints: 15641
218.54/219.20 c INPROCESSING
218.54/219.20 c GARBAGE COLLECT
218.54/219.20 c #Conflicts: 132000 | #Constraints: 9432
218.54/219.20 c #Conflicts: 133000 | #Constraints: 10432
218.54/219.20 c #Conflicts: 134000 | #Constraints: 11432
218.54/219.20 c #Conflicts: 135000 | #Constraints: 12432
218.54/219.20 c #Conflicts: 136000 | #Constraints: 13432
218.54/219.20 c #Conflicts: 137000 | #Constraints: 14432
218.54/219.20 c #Conflicts: 138000 | #Constraints: 15432
218.54/219.20 c #Conflicts: 139000 | #Constraints: 16432
218.54/219.20 c INPROCESSING
218.54/219.20 c GARBAGE COLLECT
218.54/219.20 c #Conflicts: 140000 | #Constraints: 10047
462.62/464.11 c #Conflicts: 141000 | #Constraints: 11047
462.62/464.11 c #Conflicts: 142000 | #Constraints: 12047
462.62/464.11 c #Conflicts: 143000 | #Constraints: 13047
462.62/464.11 c #Conflicts: 144000 | #Constraints: 14047
462.62/464.11 c #Conflicts: 145000 | #Constraints: 15047
462.62/464.11 c #Conflicts: 146000 | #Constraints: 16047
462.62/464.11 c #Conflicts: 147000 | #Constraints: 17047
462.62/464.11 c INPROCESSING
462.62/464.11 c GARBAGE COLLECT
462.62/464.11 c #Conflicts: 148000 | #Constraints: 10447
462.62/464.11 c #Conflicts: 149000 | #Constraints: 11447
462.62/464.11 c #Conflicts: 150000 | #Constraints: 12447
462.62/464.11 c #Conflicts: 151000 | #Constraints: 13447
462.62/464.11 c #Conflicts: 152000 | #Constraints: 14447
462.62/464.11 c #Conflicts: 153000 | #Constraints: 15447
462.62/464.11 c #Conflicts: 154000 | #Constraints: 16447
462.62/464.11 c #Conflicts: 155000 | #Constraints: 17447
462.62/464.11 c INPROCESSING
462.62/464.11 c GARBAGE COLLECT
462.62/464.11 c #Conflicts: 156000 | #Constraints: 10644
462.62/464.11 c #Conflicts: 157000 | #Constraints: 11644
462.62/464.11 c #Conflicts: 158000 | #Constraints: 12644
462.62/464.11 c #Conflicts: 159000 | #Constraints: 13644
462.62/464.11 c #Conflicts: 160000 | #Constraints: 14644
462.62/464.11 c #Conflicts: 161000 | #Constraints: 15644
462.62/464.11 c #Conflicts: 162000 | #Constraints: 16644
462.62/464.11 c #Conflicts: 163000 | #Constraints: 17644
462.62/464.11 c INPROCESSING
462.62/464.11 c GARBAGE COLLECT
462.62/464.11 c #Conflicts: 164000 | #Constraints: 10637
462.62/464.11 c #Conflicts: 165000 | #Constraints: 11637
462.62/464.11 c #Conflicts: 166000 | #Constraints: 12637
462.62/464.11 c #Conflicts: 167000 | #Constraints: 13637
462.62/464.11 c #Conflicts: 168000 | #Constraints: 14637
462.62/464.11 c #Conflicts: 169000 | #Constraints: 15637
462.62/464.11 c #Conflicts: 170000 | #Constraints: 16637
462.62/464.11 c #Conflicts: 171000 | #Constraints: 17637
462.62/464.11 c INPROCESSING
462.62/464.11 c GARBAGE COLLECT
462.62/464.11 c #Conflicts: 172000 | #Constraints: 10439
462.62/464.11 c #Conflicts: 173000 | #Constraints: 11439
462.62/464.11 c #Conflicts: 174000 | #Constraints: 12439
462.62/464.11 c #Conflicts: 175000 | #Constraints: 13439
462.62/464.11 c #Conflicts: 176000 | #Constraints: 14439
462.62/464.11 c #Conflicts: 177000 | #Constraints: 15439
462.62/464.11 c #Conflicts: 178000 | #Constraints: 16439
462.62/464.11 c #Conflicts: 179000 | #Constraints: 17439
462.62/464.11 c #Conflicts: 180000 | #Constraints: 18439
462.62/464.11 c INPROCESSING
462.62/464.11 c GARBAGE COLLECT
462.62/464.11 c #Conflicts: 181000 | #Constraints: 11047
462.62/464.11 c #Conflicts: 182000 | #Constraints: 12047
462.62/464.11 c #Conflicts: 183000 | #Constraints: 13047
462.62/464.11 c #Conflicts: 184000 | #Constraints: 14047
462.62/464.11 c #Conflicts: 185000 | #Constraints: 15047
462.62/464.11 c #Conflicts: 186000 | #Constraints: 16047
462.62/464.11 c #Conflicts: 187000 | #Constraints: 17047
462.62/464.11 c #Conflicts: 188000 | #Constraints: 18047
462.62/464.11 c #Conflicts: 189000 | #Constraints: 19047
462.62/464.11 c INPROCESSING
462.62/464.11 c GARBAGE COLLECT
462.62/464.11 c #Conflicts: 190000 | #Constraints: 11453
462.62/464.11 c #Conflicts: 191000 | #Constraints: 12453
462.62/464.11 c #Conflicts: 192000 | #Constraints: 13453
462.62/464.11 c #Conflicts: 193000 | #Constraints: 14453
462.62/464.11 c #Conflicts: 194000 | #Constraints: 15453
462.62/464.11 c #Conflicts: 195000 | #Constraints: 16453
462.62/464.11 c #Conflicts: 196000 | #Constraints: 17453
462.62/464.11 c #Conflicts: 197000 | #Constraints: 18453
462.62/464.11 c #Conflicts: 198000 | #Constraints: 19453
462.62/464.11 c INPROCESSING
462.62/464.11 c GARBAGE COLLECT
462.62/464.11 c #Conflicts: 199000 | #Constraints: 11664
462.62/464.11 c #Conflicts: 200000 | #Constraints: 12664
462.62/464.11 c #Conflicts: 201000 | #Constraints: 13664
462.62/464.11 c #Conflicts: 202000 | #Constraints: 14664
462.62/464.11 c #Conflicts: 203000 | #Constraints: 15664
462.62/464.11 c #Conflicts: 204000 | #Constraints: 16664
462.62/464.11 c #Conflicts: 205000 | #Constraints: 17664
462.62/464.11 c #Conflicts: 206000 | #Constraints: 18664
462.62/464.11 c #Conflicts: 207000 | #Constraints: 19664
462.62/464.11 c INPROCESSING
462.62/464.11 c GARBAGE COLLECT
462.62/464.11 c #Conflicts: 208000 | #Constraints: 11661
462.62/464.11 c #Conflicts: 209000 | #Constraints: 12661
462.62/464.11 c #Conflicts: 210000 | #Constraints: 13661
462.62/464.11 c #Conflicts: 211000 | #Constraints: 14661
462.62/464.11 c #Conflicts: 212000 | #Constraints: 15661
462.62/464.11 c #Conflicts: 213000 | #Constraints: 16661
690.08/692.11 c #Conflicts: 214000 | #Constraints: 17661
690.08/692.11 c #Conflicts: 215000 | #Constraints: 18661
690.08/692.11 c #Conflicts: 216000 | #Constraints: 19661
690.08/692.11 c INPROCESSING
690.08/692.11 c GARBAGE COLLECT
690.08/692.11 c #Conflicts: 217000 | #Constraints: 11459
690.08/692.11 c #Conflicts: 218000 | #Constraints: 12459
690.08/692.11 c #Conflicts: 219000 | #Constraints: 13459
690.08/692.11 c #Conflicts: 220000 | #Constraints: 14459
690.08/692.11 c #Conflicts: 221000 | #Constraints: 15459
690.08/692.11 c #Conflicts: 222000 | #Constraints: 16459
690.08/692.11 c #Conflicts: 223000 | #Constraints: 17459
690.08/692.11 c #Conflicts: 224000 | #Constraints: 18459
690.08/692.11 c #Conflicts: 225000 | #Constraints: 19459
690.08/692.11 c #Conflicts: 226000 | #Constraints: 20459
690.08/692.11 c INPROCESSING
690.08/692.11 c GARBAGE COLLECT
690.08/692.11 c #Conflicts: 227000 | #Constraints: 12058
690.08/692.11 c #Conflicts: 228000 | #Constraints: 13058
690.08/692.11 c #Conflicts: 229000 | #Constraints: 14058
690.08/692.11 c #Conflicts: 230000 | #Constraints: 15058
690.08/692.11 c #Conflicts: 231000 | #Constraints: 16058
690.08/692.11 c #Conflicts: 232000 | #Constraints: 17058
690.08/692.11 c #Conflicts: 233000 | #Constraints: 18058
690.08/692.11 c #Conflicts: 234000 | #Constraints: 19058
690.08/692.11 c #Conflicts: 235000 | #Constraints: 20058
690.08/692.11 c #Conflicts: 236000 | #Constraints: 21058
690.08/692.11 c INPROCESSING
690.08/692.11 c GARBAGE COLLECT
690.08/692.11 c #Conflicts: 237000 | #Constraints: 12458
690.08/692.11 c #Conflicts: 238000 | #Constraints: 13458
690.08/692.11 c #Conflicts: 239000 | #Constraints: 14458
690.08/692.11 c #Conflicts: 240000 | #Constraints: 15458
690.08/692.11 c #Conflicts: 241000 | #Constraints: 16458
690.08/692.11 c #Conflicts: 242000 | #Constraints: 17458
690.08/692.11 c #Conflicts: 243000 | #Constraints: 18458
690.08/692.11 c #Conflicts: 244000 | #Constraints: 19458
690.08/692.11 c #Conflicts: 245000 | #Constraints: 20458
690.08/692.11 c #Conflicts: 246000 | #Constraints: 21458
690.08/692.11 c INPROCESSING
690.08/692.11 c GARBAGE COLLECT
690.08/692.11 c #Conflicts: 247000 | #Constraints: 12657
690.08/692.11 c #Conflicts: 248000 | #Constraints: 13657
690.08/692.11 c #Conflicts: 249000 | #Constraints: 14657
690.08/692.11 c #Conflicts: 250000 | #Constraints: 15657
690.08/692.11 c #Conflicts: 251000 | #Constraints: 16657
690.08/692.11 c #Conflicts: 252000 | #Constraints: 17657
690.08/692.11 c #Conflicts: 253000 | #Constraints: 18657
690.08/692.11 c #Conflicts: 254000 | #Constraints: 19657
690.08/692.11 c #Conflicts: 255000 | #Constraints: 20657
690.08/692.11 c #Conflicts: 256000 | #Constraints: 21657
690.08/692.11 c INPROCESSING
690.08/692.11 c GARBAGE COLLECT
690.08/692.11 c #Conflicts: 257000 | #Constraints: 12660
690.08/692.11 c #Conflicts: 258000 | #Constraints: 13660
690.08/692.11 c #Conflicts: 259000 | #Constraints: 14660
690.08/692.11 c #Conflicts: 260000 | #Constraints: 15660
690.08/692.11 c #Conflicts: 261000 | #Constraints: 16660
690.08/692.11 c #Conflicts: 262000 | #Constraints: 17660
690.08/692.11 c #Conflicts: 263000 | #Constraints: 18660
690.08/692.11 c #Conflicts: 264000 | #Constraints: 19660
690.08/692.11 c #Conflicts: 265000 | #Constraints: 20660
690.08/692.11 c #Conflicts: 266000 | #Constraints: 21660
690.08/692.11 c INPROCESSING
690.08/692.11 c GARBAGE COLLECT
690.08/692.11 c #Conflicts: 267000 | #Constraints: 12461
690.08/692.11 c #Conflicts: 268000 | #Constraints: 13461
690.08/692.11 c #Conflicts: 269000 | #Constraints: 14461
690.08/692.11 c #Conflicts: 270000 | #Constraints: 15461
690.08/692.11 c #Conflicts: 271000 | #Constraints: 16461
690.08/692.11 c #Conflicts: 272000 | #Constraints: 17461
690.08/692.11 c #Conflicts: 273000 | #Constraints: 18461
690.08/692.11 c #Conflicts: 274000 | #Constraints: 19461
690.08/692.11 c #Conflicts: 275000 | #Constraints: 20461
690.08/692.11 c #Conflicts: 276000 | #Constraints: 21461
690.08/692.11 c #Conflicts: 277000 | #Constraints: 22461
690.08/692.11 c INPROCESSING
690.08/692.11 c GARBAGE COLLECT
690.08/692.11 c #Conflicts: 278000 | #Constraints: 13049
690.08/692.11 c #Conflicts: 279000 | #Constraints: 14049
690.08/692.11 c #Conflicts: 280000 | #Constraints: 15049
690.08/692.11 c #Conflicts: 281000 | #Constraints: 16049
690.08/692.11 c #Conflicts: 282000 | #Constraints: 17049
690.08/692.11 c #Conflicts: 283000 | #Constraints: 18049
690.08/692.11 c #Conflicts: 284000 | #Constraints: 19049
690.08/692.11 c #Conflicts: 285000 | #Constraints: 20049
690.08/692.11 c #Conflicts: 286000 | #Constraints: 21049
690.08/692.11 c #Conflicts: 287000 | #Constraints: 22049
690.08/692.11 c #Conflicts: 288000 | #Constraints: 23049
923.34/926.06 c INPROCESSING
923.34/926.06 c GARBAGE COLLECT
923.34/926.06 c #Conflicts: 289000 | #Constraints: 13433
923.34/926.06 c #Conflicts: 290000 | #Constraints: 14433
923.34/926.06 c #Conflicts: 291000 | #Constraints: 15433
923.34/926.06 c #Conflicts: 292000 | #Constraints: 16433
923.34/926.06 c #Conflicts: 293000 | #Constraints: 17433
923.34/926.06 c #Conflicts: 294000 | #Constraints: 18433
923.34/926.06 c #Conflicts: 295000 | #Constraints: 19433
923.34/926.06 c #Conflicts: 296000 | #Constraints: 20433
923.34/926.06 c #Conflicts: 297000 | #Constraints: 21433
923.34/926.06 c #Conflicts: 298000 | #Constraints: 22433
923.34/926.06 c #Conflicts: 299000 | #Constraints: 23433
923.34/926.06 c INPROCESSING
923.34/926.06 c GARBAGE COLLECT
923.34/926.06 c #Conflicts: 300000 | #Constraints: 13648
923.34/926.06 c #Conflicts: 301000 | #Constraints: 14648
923.34/926.06 c #Conflicts: 302000 | #Constraints: 15648
923.34/926.06 c #Conflicts: 303000 | #Constraints: 16648
923.34/926.06 c #Conflicts: 304000 | #Constraints: 17648
923.34/926.06 c #Conflicts: 305000 | #Constraints: 18648
923.34/926.06 c #Conflicts: 306000 | #Constraints: 19648
923.34/926.06 c #Conflicts: 307000 | #Constraints: 20648
923.34/926.06 c #Conflicts: 308000 | #Constraints: 21648
923.34/926.06 c #Conflicts: 309000 | #Constraints: 22648
923.34/926.06 c #Conflicts: 310000 | #Constraints: 23648
923.34/926.06 c INPROCESSING
923.34/926.06 c GARBAGE COLLECT
923.34/926.06 c #Conflicts: 311000 | #Constraints: 13641
923.34/926.06 c #Conflicts: 312000 | #Constraints: 14641
923.34/926.06 c #Conflicts: 313000 | #Constraints: 15641
923.34/926.06 c #Conflicts: 314000 | #Constraints: 16641
923.34/926.06 c #Conflicts: 315000 | #Constraints: 17641
923.34/926.06 c #Conflicts: 316000 | #Constraints: 18641
923.34/926.06 c #Conflicts: 317000 | #Constraints: 19641
923.34/926.06 c #Conflicts: 318000 | #Constraints: 20641
923.34/926.06 c #Conflicts: 319000 | #Constraints: 21641
923.34/926.06 c #Conflicts: 320000 | #Constraints: 22641
923.34/926.06 c #Conflicts: 321000 | #Constraints: 23641
923.34/926.06 c INPROCESSING
923.34/926.06 c GARBAGE COLLECT
923.34/926.06 c #Conflicts: 322000 | #Constraints: 13447
923.34/926.06 c #Conflicts: 323000 | #Constraints: 14447
923.34/926.06 c #Conflicts: 324000 | #Constraints: 15447
923.34/926.06 c #Conflicts: 325000 | #Constraints: 16447
923.34/926.06 c #Conflicts: 326000 | #Constraints: 17447
923.34/926.06 c #Conflicts: 327000 | #Constraints: 18447
923.34/926.06 c #Conflicts: 328000 | #Constraints: 19447
923.34/926.06 c #Conflicts: 329000 | #Constraints: 20447
923.34/926.06 c #Conflicts: 330000 | #Constraints: 21447
923.34/926.06 c #Conflicts: 331000 | #Constraints: 22447
923.34/926.06 c #Conflicts: 332000 | #Constraints: 23447
923.34/926.06 c #Conflicts: 333000 | #Constraints: 24447
923.34/926.06 c INPROCESSING
923.34/926.06 c GARBAGE COLLECT
923.34/926.06 c #Conflicts: 334000 | #Constraints: 14053
923.34/926.06 c #Conflicts: 335000 | #Constraints: 15053
923.34/926.06 c #Conflicts: 336000 | #Constraints: 16053
923.34/926.06 c #Conflicts: 337000 | #Constraints: 17053
923.34/926.06 c #Conflicts: 338000 | #Constraints: 18053
923.34/926.06 c #Conflicts: 339000 | #Constraints: 19053
923.34/926.06 c #Conflicts: 340000 | #Constraints: 20053
923.34/926.06 c #Conflicts: 341000 | #Constraints: 21053
923.34/926.06 c #Conflicts: 342000 | #Constraints: 22053
923.34/926.06 c #Conflicts: 343000 | #Constraints: 23053
923.34/926.06 c #Conflicts: 344000 | #Constraints: 24053
923.34/926.06 c #Conflicts: 345000 | #Constraints: 25053
923.34/926.06 c INPROCESSING
923.34/926.06 c GARBAGE COLLECT
923.34/926.06 c #Conflicts: 346000 | #Constraints: 14453
923.34/926.06 c #Conflicts: 347000 | #Constraints: 15453
923.34/926.06 c #Conflicts: 348000 | #Constraints: 16453
923.34/926.06 c #Conflicts: 349000 | #Constraints: 17453
923.34/926.06 c #Conflicts: 350000 | #Constraints: 18453
923.34/926.06 c #Conflicts: 351000 | #Constraints: 19453
923.34/926.06 c #Conflicts: 352000 | #Constraints: 20453
923.34/926.06 c #Conflicts: 353000 | #Constraints: 21453
923.34/926.06 c #Conflicts: 354000 | #Constraints: 22453
923.34/926.06 c #Conflicts: 355000 | #Constraints: 23453
923.34/926.06 c #Conflicts: 356000 | #Constraints: 24453
923.34/926.06 c #Conflicts: 357000 | #Constraints: 25453
923.34/926.06 c INPROCESSING
923.34/926.06 c GARBAGE COLLECT
923.34/926.06 c #Conflicts: 358000 | #Constraints: 14652
923.34/926.06 c #Conflicts: 359000 | #Constraints: 15652
923.34/926.06 c #Conflicts: 360000 | #Constraints: 16652
923.34/926.06 c #Conflicts: 361000 | #Constraints: 17652
923.34/926.06 c #Conflicts: 362000 | #Constraints: 18652
1247.89/1251.51 c #Conflicts: 363000 | #Constraints: 19652
1247.89/1251.51 c #Conflicts: 364000 | #Constraints: 20652
1247.89/1251.51 c #Conflicts: 365000 | #Constraints: 21652
1247.89/1251.51 c #Conflicts: 366000 | #Constraints: 22652
1247.89/1251.51 c #Conflicts: 367000 | #Constraints: 23652
1247.89/1251.51 c #Conflicts: 368000 | #Constraints: 24652
1247.89/1251.51 c #Conflicts: 369000 | #Constraints: 25652
1247.89/1251.51 c INPROCESSING
1247.89/1251.51 c GARBAGE COLLECT
1247.89/1251.51 c #Conflicts: 370000 | #Constraints: 14643
1247.89/1251.51 c #Conflicts: 371000 | #Constraints: 15643
1247.89/1251.51 c #Conflicts: 372000 | #Constraints: 16643
1247.89/1251.51 c #Conflicts: 373000 | #Constraints: 17643
1247.89/1251.51 c #Conflicts: 374000 | #Constraints: 18643
1247.89/1251.51 c #Conflicts: 375000 | #Constraints: 19643
1247.89/1251.51 c #Conflicts: 376000 | #Constraints: 20643
1247.89/1251.51 c #Conflicts: 377000 | #Constraints: 21643
1247.89/1251.51 c #Conflicts: 378000 | #Constraints: 22643
1247.89/1251.51 c #Conflicts: 379000 | #Constraints: 23643
1247.89/1251.51 c #Conflicts: 380000 | #Constraints: 24643
1247.89/1251.51 c #Conflicts: 381000 | #Constraints: 25643
1247.89/1251.51 c INPROCESSING
1247.89/1251.51 c GARBAGE COLLECT
1247.89/1251.51 c #Conflicts: 382000 | #Constraints: 14444
1247.89/1251.51 c #Conflicts: 383000 | #Constraints: 15444
1247.89/1251.51 c #Conflicts: 384000 | #Constraints: 16444
1247.89/1251.51 c #Conflicts: 385000 | #Constraints: 17444
1247.89/1251.51 c #Conflicts: 386000 | #Constraints: 18444
1247.89/1251.51 c #Conflicts: 387000 | #Constraints: 19444
1247.89/1251.51 c #Conflicts: 388000 | #Constraints: 20444
1247.89/1251.51 c #Conflicts: 389000 | #Constraints: 21444
1247.89/1251.51 c #Conflicts: 390000 | #Constraints: 22444
1247.89/1251.51 c #Conflicts: 391000 | #Constraints: 23444
1247.89/1251.51 c #Conflicts: 392000 | #Constraints: 24444
1247.89/1251.51 c #Conflicts: 393000 | #Constraints: 25444
1247.89/1251.51 c #Conflicts: 394000 | #Constraints: 26444
1247.89/1251.51 c INPROCESSING
1247.89/1251.51 c GARBAGE COLLECT
1247.89/1251.51 c #Conflicts: 395000 | #Constraints: 15054
1247.89/1251.51 c #Conflicts: 396000 | #Constraints: 16054
1247.89/1251.51 c #Conflicts: 397000 | #Constraints: 17054
1247.89/1251.51 c #Conflicts: 398000 | #Constraints: 18054
1247.89/1251.51 c #Conflicts: 399000 | #Constraints: 19054
1247.89/1251.51 c #Conflicts: 400000 | #Constraints: 20054
1247.89/1251.51 c #Conflicts: 401000 | #Constraints: 21054
1247.89/1251.51 c #Conflicts: 402000 | #Constraints: 22054
1247.89/1251.51 c #Conflicts: 403000 | #Constraints: 23054
1247.89/1251.51 c #Conflicts: 404000 | #Constraints: 24054
1247.89/1251.51 c #Conflicts: 405000 | #Constraints: 25054
1247.89/1251.51 c #Conflicts: 406000 | #Constraints: 26054
1247.89/1251.51 c #Conflicts: 407000 | #Constraints: 27054
1247.89/1251.51 c INPROCESSING
1247.89/1251.51 c GARBAGE COLLECT
1247.89/1251.51 c #Conflicts: 408000 | #Constraints: 15449
1247.89/1251.51 c #Conflicts: 409000 | #Constraints: 16449
1247.89/1251.51 c #Conflicts: 410000 | #Constraints: 17449
1247.89/1251.51 c #Conflicts: 411000 | #Constraints: 18449
1247.89/1251.51 c #Conflicts: 412000 | #Constraints: 19449
1247.89/1251.51 c #Conflicts: 413000 | #Constraints: 20449
1247.89/1251.51 c #Conflicts: 414000 | #Constraints: 21449
1247.89/1251.51 c #Conflicts: 415000 | #Constraints: 22449
1247.89/1251.51 c #Conflicts: 416000 | #Constraints: 23449
1247.89/1251.51 c #Conflicts: 417000 | #Constraints: 24449
1247.89/1251.51 c #Conflicts: 418000 | #Constraints: 25449
1247.89/1251.51 c #Conflicts: 419000 | #Constraints: 26449
1247.89/1251.51 c #Conflicts: 420000 | #Constraints: 27449
1247.89/1251.51 c INPROCESSING
1247.89/1251.51 c GARBAGE COLLECT
1247.89/1251.51 c #Conflicts: 421000 | #Constraints: 15654
1247.89/1251.51 c #Conflicts: 422000 | #Constraints: 16654
1247.89/1251.51 c #Conflicts: 423000 | #Constraints: 17654
1247.89/1251.51 c #Conflicts: 424000 | #Constraints: 18654
1247.89/1251.51 c #Conflicts: 425000 | #Constraints: 19654
1247.89/1251.51 c #Conflicts: 426000 | #Constraints: 20654
1247.89/1251.51 c #Conflicts: 427000 | #Constraints: 21654
1247.89/1251.51 c #Conflicts: 428000 | #Constraints: 22654
1247.89/1251.51 c #Conflicts: 429000 | #Constraints: 23654
1247.89/1251.51 c #Conflicts: 430000 | #Constraints: 24654
1247.89/1251.51 c #Conflicts: 431000 | #Constraints: 25654
1247.89/1251.51 c #Conflicts: 432000 | #Constraints: 26654
1247.89/1251.51 c #Conflicts: 433000 | #Constraints: 27654
1247.89/1251.51 c INPROCESSING
1247.89/1251.51 c GARBAGE COLLECT
1247.89/1251.51 c #Conflicts: 434000 | #Constraints: 15652
1247.89/1251.51 c #Conflicts: 435000 | #Constraints: 16652
1247.89/1251.51 c #Conflicts: 436000 | #Constraints: 17652
1247.89/1251.51 c #Conflicts: 437000 | #Constraints: 18652
1753.29/1758.38 c #Conflicts: 438000 | #Constraints: 19652
1753.29/1758.38 c #Conflicts: 439000 | #Constraints: 20652
1753.29/1758.38 c #Conflicts: 440000 | #Constraints: 21652
1753.29/1758.38 c #Conflicts: 441000 | #Constraints: 22652
1753.29/1758.38 c #Conflicts: 442000 | #Constraints: 23652
1753.29/1758.38 c #Conflicts: 443000 | #Constraints: 24652
1753.29/1758.38 c #Conflicts: 444000 | #Constraints: 25652
1753.29/1758.38 c #Conflicts: 445000 | #Constraints: 26652
1753.29/1758.38 c #Conflicts: 446000 | #Constraints: 27652
1753.29/1758.38 c INPROCESSING
1753.29/1758.38 c GARBAGE COLLECT
1753.29/1758.38 c #Conflicts: 447000 | #Constraints: 15456
1753.29/1758.38 c #Conflicts: 448000 | #Constraints: 16456
1753.29/1758.38 c #Conflicts: 449000 | #Constraints: 17456
1753.29/1758.38 c #Conflicts: 450000 | #Constraints: 18456
1753.29/1758.38 c #Conflicts: 451000 | #Constraints: 19456
1753.29/1758.38 c #Conflicts: 452000 | #Constraints: 20456
1753.29/1758.38 c #Conflicts: 453000 | #Constraints: 21456
1753.29/1758.38 c #Conflicts: 454000 | #Constraints: 22456
1753.29/1758.38 c #Conflicts: 455000 | #Constraints: 23456
1753.29/1758.38 c #Conflicts: 456000 | #Constraints: 24456
1753.29/1758.38 c #Conflicts: 457000 | #Constraints: 25456
1753.29/1758.38 c #Conflicts: 458000 | #Constraints: 26456
1753.29/1758.38 c #Conflicts: 459000 | #Constraints: 27456
1753.29/1758.38 c #Conflicts: 460000 | #Constraints: 28456
1753.29/1758.38 c INPROCESSING
1753.29/1758.38 c GARBAGE COLLECT
1753.29/1758.38 c #Conflicts: 461000 | #Constraints: 16050
1753.29/1758.38 c #Conflicts: 462000 | #Constraints: 17050
1753.29/1758.38 c #Conflicts: 463000 | #Constraints: 18050
1753.29/1758.38 c #Conflicts: 464000 | #Constraints: 19050
1753.29/1758.38 c #Conflicts: 465000 | #Constraints: 20050
1753.29/1758.38 c #Conflicts: 466000 | #Constraints: 21050
1753.29/1758.38 c #Conflicts: 467000 | #Constraints: 22050
1753.29/1758.38 c #Conflicts: 468000 | #Constraints: 23050
1753.29/1758.38 c #Conflicts: 469000 | #Constraints: 24050
1753.29/1758.38 c #Conflicts: 470000 | #Constraints: 25050
1753.29/1758.38 c #Conflicts: 471000 | #Constraints: 26050
1753.29/1758.38 c #Conflicts: 472000 | #Constraints: 27050
1753.29/1758.38 c #Conflicts: 473000 | #Constraints: 28050
1753.29/1758.38 c #Conflicts: 474000 | #Constraints: 29050
1753.29/1758.38 c INPROCESSING
1753.29/1758.38 c GARBAGE COLLECT
1753.29/1758.38 c #Conflicts: 475000 | #Constraints: 16463
1753.29/1758.38 c #Conflicts: 476000 | #Constraints: 17463
1753.29/1758.38 c #Conflicts: 477000 | #Constraints: 18463
1753.29/1758.38 c #Conflicts: 478000 | #Constraints: 19463
1753.29/1758.38 c #Conflicts: 479000 | #Constraints: 20463
1753.29/1758.38 c #Conflicts: 480000 | #Constraints: 21463
1753.29/1758.38 c #Conflicts: 481000 | #Constraints: 22463
1753.29/1758.38 c #Conflicts: 482000 | #Constraints: 23463
1753.29/1758.38 c #Conflicts: 483000 | #Constraints: 24463
1753.29/1758.38 c #Conflicts: 484000 | #Constraints: 25463
1753.29/1758.38 c #Conflicts: 485000 | #Constraints: 26463
1753.29/1758.38 c #Conflicts: 486000 | #Constraints: 27463
1753.29/1758.38 c #Conflicts: 487000 | #Constraints: 28463
1753.29/1758.38 c #Conflicts: 488000 | #Constraints: 29463
1753.29/1758.38 c INPROCESSING
1753.29/1758.38 c GARBAGE COLLECT
1753.29/1758.38 c #Conflicts: 489000 | #Constraints: 16662
1753.29/1758.38 c #Conflicts: 490000 | #Constraints: 17662
1753.29/1758.38 c #Conflicts: 491000 | #Constraints: 18662
1753.29/1758.38 c #Conflicts: 492000 | #Constraints: 19662
1753.29/1758.38 c #Conflicts: 493000 | #Constraints: 20662
1753.29/1758.38 c #Conflicts: 494000 | #Constraints: 21662
1753.29/1758.38 c #Conflicts: 495000 | #Constraints: 22662
1753.29/1758.38 c #Conflicts: 496000 | #Constraints: 23662
1753.29/1758.38 c #Conflicts: 497000 | #Constraints: 24662
1753.29/1758.38 c #Conflicts: 498000 | #Constraints: 25662
1753.29/1758.38 c #Conflicts: 499000 | #Constraints: 26662
1753.29/1758.38 c #Conflicts: 500000 | #Constraints: 27662
1753.29/1758.38 c #Conflicts: 501000 | #Constraints: 28662
1753.29/1758.38 c #Conflicts: 502000 | #Constraints: 29662
1753.29/1758.38 c INPROCESSING
1753.29/1758.38 c GARBAGE COLLECT
1753.29/1758.38 c #Conflicts: 503000 | #Constraints: 16672
1753.29/1758.38 c #Conflicts: 504000 | #Constraints: 17672
1753.29/1758.38 c #Conflicts: 505000 | #Constraints: 18672
1753.29/1758.38 c #Conflicts: 506000 | #Constraints: 19672
1753.29/1758.38 c #Conflicts: 507000 | #Constraints: 20672
1753.29/1758.38 c #Conflicts: 508000 | #Constraints: 21672
1753.29/1758.38 c #Conflicts: 509000 | #Constraints: 22672
1753.29/1758.38 c #Conflicts: 510000 | #Constraints: 23672
1753.29/1758.38 c #Conflicts: 511000 | #Constraints: 24672
1753.29/1758.38 c #Conflicts: 512000 | #Constraints: 25672
1753.29/1758.38 c #Conflicts: 513000 | #Constraints: 26672
2064.95/2070.86 c #Conflicts: 514000 | #Constraints: 27672
2064.95/2070.86 c #Conflicts: 515000 | #Constraints: 28672
2064.95/2070.86 c #Conflicts: 516000 | #Constraints: 29672
2064.95/2070.86 c INPROCESSING
2064.95/2070.86 c GARBAGE COLLECT
2064.95/2070.86 c #Conflicts: 517000 | #Constraints: 16457
2064.95/2070.86 c #Conflicts: 518000 | #Constraints: 17457
2064.95/2070.86 c #Conflicts: 519000 | #Constraints: 18457
2064.95/2070.86 c #Conflicts: 520000 | #Constraints: 19457
2064.95/2070.86 c #Conflicts: 521000 | #Constraints: 20457
2064.95/2070.86 c #Conflicts: 522000 | #Constraints: 21457
2064.95/2070.86 c #Conflicts: 523000 | #Constraints: 22457
2064.95/2070.86 c #Conflicts: 524000 | #Constraints: 23457
2064.95/2070.86 c #Conflicts: 525000 | #Constraints: 24457
2064.95/2070.86 c #Conflicts: 526000 | #Constraints: 25457
2064.95/2070.86 c #Conflicts: 527000 | #Constraints: 26457
2064.95/2070.86 c #Conflicts: 528000 | #Constraints: 27457
2064.95/2070.86 c #Conflicts: 529000 | #Constraints: 28457
2064.95/2070.86 c #Conflicts: 530000 | #Constraints: 29457
2064.95/2070.86 c #Conflicts: 531000 | #Constraints: 30457
2064.95/2070.86 c INPROCESSING
2064.95/2070.86 c GARBAGE COLLECT
2064.95/2070.86 c #Conflicts: 532000 | #Constraints: 17050
2064.95/2070.86 c #Conflicts: 533000 | #Constraints: 18050
2064.95/2070.86 c #Conflicts: 534000 | #Constraints: 19050
2064.95/2070.86 c #Conflicts: 535000 | #Constraints: 20050
2064.95/2070.86 c #Conflicts: 536000 | #Constraints: 21050
2064.95/2070.86 c #Conflicts: 537000 | #Constraints: 22050
2064.95/2070.86 c #Conflicts: 538000 | #Constraints: 23050
2064.95/2070.86 c #Conflicts: 539000 | #Constraints: 24050
2064.95/2070.86 c #Conflicts: 540000 | #Constraints: 25050
2064.95/2070.86 c #Conflicts: 541000 | #Constraints: 26050
2064.95/2070.86 c #Conflicts: 542000 | #Constraints: 27050
2064.95/2070.86 c #Conflicts: 543000 | #Constraints: 28050
2064.95/2070.86 c #Conflicts: 544000 | #Constraints: 29050
2064.95/2070.86 c #Conflicts: 545000 | #Constraints: 30050
2064.95/2070.86 c #Conflicts: 546000 | #Constraints: 31050
2064.95/2070.86 c INPROCESSING
2064.95/2070.86 c GARBAGE COLLECT
2064.95/2070.86 c #Conflicts: 547000 | #Constraints: 17458
2064.95/2070.86 c #Conflicts: 548000 | #Constraints: 18458
2064.95/2070.86 c #Conflicts: 549000 | #Constraints: 19458
2064.95/2070.86 c #Conflicts: 550000 | #Constraints: 20458
2064.95/2070.86 c #Conflicts: 551000 | #Constraints: 21458
2064.95/2070.86 c #Conflicts: 552000 | #Constraints: 22458
2064.95/2070.86 c #Conflicts: 553000 | #Constraints: 23458
2064.95/2070.86 c #Conflicts: 554000 | #Constraints: 24458
2064.95/2070.86 c #Conflicts: 555000 | #Constraints: 25458
2064.95/2070.86 c #Conflicts: 556000 | #Constraints: 26458
2064.95/2070.86 c #Conflicts: 557000 | #Constraints: 27458
2064.95/2070.86 c #Conflicts: 558000 | #Constraints: 28458
2064.95/2070.86 c #Conflicts: 559000 | #Constraints: 29458
2064.95/2070.86 c #Conflicts: 560000 | #Constraints: 30458
2064.95/2070.86 c #Conflicts: 561000 | #Constraints: 31458
2064.95/2070.86 c INPROCESSING
2064.95/2070.86 c GARBAGE COLLECT
2064.95/2070.86 c #Conflicts: 562000 | #Constraints: 17651
2064.95/2070.86 c #Conflicts: 563000 | #Constraints: 18651
2064.95/2070.86 c #Conflicts: 564000 | #Constraints: 19651
2064.95/2070.86 c #Conflicts: 565000 | #Constraints: 20651
2064.95/2070.86 c #Conflicts: 566000 | #Constraints: 21651
2064.95/2070.86 c #Conflicts: 567000 | #Constraints: 22651
2064.95/2070.86 c #Conflicts: 568000 | #Constraints: 23651
2064.95/2070.86 c #Conflicts: 569000 | #Constraints: 24651
2064.95/2070.86 c #Conflicts: 570000 | #Constraints: 25651
2064.95/2070.86 c #Conflicts: 571000 | #Constraints: 26651
2064.95/2070.86 c #Conflicts: 572000 | #Constraints: 27651
2064.95/2070.86 c #Conflicts: 573000 | #Constraints: 28651
2064.95/2070.86 c #Conflicts: 574000 | #Constraints: 29651
2064.95/2070.86 c #Conflicts: 575000 | #Constraints: 30651
2064.95/2070.86 c #Conflicts: 576000 | #Constraints: 31651
2064.95/2070.86 c INPROCESSING
2064.95/2070.86 c GARBAGE COLLECT
2064.95/2070.86 c #Conflicts: 577000 | #Constraints: 17651
2064.95/2070.86 c #Conflicts: 578000 | #Constraints: 18651
2064.95/2070.86 c #Conflicts: 579000 | #Constraints: 19651
2064.95/2070.86 c #Conflicts: 580000 | #Constraints: 20651
2064.95/2070.86 c #Conflicts: 581000 | #Constraints: 21651
2064.95/2070.86 c #Conflicts: 582000 | #Constraints: 22651
2064.95/2070.86 c #Conflicts: 583000 | #Constraints: 23651
2064.95/2070.86 c #Conflicts: 584000 | #Constraints: 24651
2064.95/2070.86 c #Conflicts: 585000 | #Constraints: 25651
2064.95/2070.86 c #Conflicts: 586000 | #Constraints: 26651
2064.95/2070.86 c #Conflicts: 587000 | #Constraints: 27651
2064.95/2070.86 c #Conflicts: 588000 | #Constraints: 28651
2418.69/2425.55 c #Conflicts: 589000 | #Constraints: 29651
2418.69/2425.55 c #Conflicts: 590000 | #Constraints: 30651
2418.69/2425.55 c #Conflicts: 591000 | #Constraints: 31651
2418.69/2425.55 c INPROCESSING
2418.69/2425.55 c GARBAGE COLLECT
2418.69/2425.55 c #Conflicts: 592000 | #Constraints: 17450
2418.69/2425.55 c #Conflicts: 593000 | #Constraints: 18450
2418.69/2425.55 c #Conflicts: 594000 | #Constraints: 19450
2418.69/2425.55 c #Conflicts: 595000 | #Constraints: 20450
2418.69/2425.55 c #Conflicts: 596000 | #Constraints: 21450
2418.69/2425.55 c #Conflicts: 597000 | #Constraints: 22450
2418.69/2425.55 c #Conflicts: 598000 | #Constraints: 23450
2418.69/2425.55 c #Conflicts: 599000 | #Constraints: 24450
2418.69/2425.55 c #Conflicts: 600000 | #Constraints: 25450
2418.69/2425.55 c #Conflicts: 601000 | #Constraints: 26450
2418.69/2425.55 c #Conflicts: 602000 | #Constraints: 27450
2418.69/2425.55 c #Conflicts: 603000 | #Constraints: 28450
2418.69/2425.55 c #Conflicts: 604000 | #Constraints: 29450
2418.69/2425.55 c #Conflicts: 605000 | #Constraints: 30450
2418.69/2425.55 c #Conflicts: 606000 | #Constraints: 31450
2418.69/2425.55 c #Conflicts: 607000 | #Constraints: 32450
2418.69/2425.55 c INPROCESSING
2418.69/2425.55 c GARBAGE COLLECT
2418.69/2425.55 c #Conflicts: 608000 | #Constraints: 18047
2418.69/2425.55 c #Conflicts: 609000 | #Constraints: 19047
2418.69/2425.55 c #Conflicts: 610000 | #Constraints: 20047
2418.69/2425.55 c #Conflicts: 611000 | #Constraints: 21047
2418.69/2425.55 c #Conflicts: 612000 | #Constraints: 22047
2418.69/2425.55 c #Conflicts: 613000 | #Constraints: 23047
2418.69/2425.55 c #Conflicts: 614000 | #Constraints: 24047
2418.69/2425.55 c #Conflicts: 615000 | #Constraints: 25047
2418.69/2425.55 c #Conflicts: 616000 | #Constraints: 26047
2418.69/2425.55 c #Conflicts: 617000 | #Constraints: 27047
2418.69/2425.55 c #Conflicts: 618000 | #Constraints: 28047
2418.69/2425.55 c #Conflicts: 619000 | #Constraints: 29047
2418.69/2425.55 c #Conflicts: 620000 | #Constraints: 30047
2418.69/2425.55 c #Conflicts: 621000 | #Constraints: 31047
2418.69/2425.55 c #Conflicts: 622000 | #Constraints: 32047
2418.69/2425.55 c #Conflicts: 623000 | #Constraints: 33047
2418.69/2425.55 c INPROCESSING
2418.69/2425.55 c GARBAGE COLLECT
2418.69/2425.55 c #Conflicts: 624000 | #Constraints: 18444
2418.69/2425.55 c #Conflicts: 625000 | #Constraints: 19444
2418.69/2425.55 c #Conflicts: 626000 | #Constraints: 20444
2418.69/2425.55 c #Conflicts: 627000 | #Constraints: 21444
2418.69/2425.55 c #Conflicts: 628000 | #Constraints: 22444
2418.69/2425.55 c #Conflicts: 629000 | #Constraints: 23444
2418.69/2425.55 c #Conflicts: 630000 | #Constraints: 24444
2418.69/2425.55 c #Conflicts: 631000 | #Constraints: 25444
2418.69/2425.55 c #Conflicts: 632000 | #Constraints: 26444
2418.69/2425.55 c #Conflicts: 633000 | #Constraints: 27444
2418.69/2425.55 c #Conflicts: 634000 | #Constraints: 28444
2418.69/2425.55 c #Conflicts: 635000 | #Constraints: 29444
2418.69/2425.55 c #Conflicts: 636000 | #Constraints: 30444
2418.69/2425.55 c #Conflicts: 637000 | #Constraints: 31444
2418.69/2425.55 c #Conflicts: 638000 | #Constraints: 32444
2418.69/2425.55 c #Conflicts: 639000 | #Constraints: 33444
2418.69/2425.55 c INPROCESSING
2418.69/2425.55 c GARBAGE COLLECT
2418.69/2425.55 c #Conflicts: 640000 | #Constraints: 18638
2418.69/2425.55 c #Conflicts: 641000 | #Constraints: 19638
2418.69/2425.55 c #Conflicts: 642000 | #Constraints: 20638
2418.69/2425.55 c #Conflicts: 643000 | #Constraints: 21638
2418.69/2425.55 c #Conflicts: 644000 | #Constraints: 22638
2418.69/2425.55 c #Conflicts: 645000 | #Constraints: 23638
2418.69/2425.55 c #Conflicts: 646000 | #Constraints: 24638
2418.69/2425.55 c #Conflicts: 647000 | #Constraints: 25638
2418.69/2425.55 c #Conflicts: 648000 | #Constraints: 26638
2418.69/2425.55 c #Conflicts: 649000 | #Constraints: 27638
2418.69/2425.55 c #Conflicts: 650000 | #Constraints: 28638
2418.69/2425.55 c #Conflicts: 651000 | #Constraints: 29638
2418.69/2425.55 c #Conflicts: 652000 | #Constraints: 30638
2418.69/2425.55 c #Conflicts: 653000 | #Constraints: 31638
2418.69/2425.55 c #Conflicts: 654000 | #Constraints: 32638
2418.69/2425.55 c #Conflicts: 655000 | #Constraints: 33638
2418.69/2425.55 c INPROCESSING
2418.69/2425.55 c GARBAGE COLLECT
2418.69/2425.55 c #Conflicts: 656000 | #Constraints: 18642
2418.69/2425.55 c #Conflicts: 657000 | #Constraints: 19642
2418.69/2425.55 c #Conflicts: 658000 | #Constraints: 20642
2418.69/2425.55 c #Conflicts: 659000 | #Constraints: 21642
2418.69/2425.55 c #Conflicts: 660000 | #Constraints: 22642
2418.69/2425.55 c #Conflicts: 661000 | #Constraints: 23642
2418.69/2425.55 c #Conflicts: 662000 | #Constraints: 24642
2418.69/2425.55 c #Conflicts: 663000 | #Constraints: 25642
2418.69/2425.55 c #Conflicts: 664000 | #Constraints: 26642
2755.77/2763.54 c #Conflicts: 665000 | #Constraints: 27642
2755.77/2763.54 c #Conflicts: 666000 | #Constraints: 28642
2755.77/2763.54 c #Conflicts: 667000 | #Constraints: 29642
2755.77/2763.54 c #Conflicts: 668000 | #Constraints: 30642
2755.77/2763.54 c #Conflicts: 669000 | #Constraints: 31642
2755.77/2763.54 c #Conflicts: 670000 | #Constraints: 32642
2755.77/2763.54 c #Conflicts: 671000 | #Constraints: 33642
2755.77/2763.54 c INPROCESSING
2755.77/2763.54 c GARBAGE COLLECT
2755.77/2763.54 c #Conflicts: 672000 | #Constraints: 18438
2755.77/2763.54 c #Conflicts: 673000 | #Constraints: 19438
2755.77/2763.54 c #Conflicts: 674000 | #Constraints: 20438
2755.77/2763.54 c #Conflicts: 675000 | #Constraints: 21438
2755.77/2763.54 c #Conflicts: 676000 | #Constraints: 22438
2755.77/2763.54 c #Conflicts: 677000 | #Constraints: 23438
2755.77/2763.54 c #Conflicts: 678000 | #Constraints: 24438
2755.77/2763.54 c #Conflicts: 679000 | #Constraints: 25438
2755.77/2763.54 c #Conflicts: 680000 | #Constraints: 26438
2755.77/2763.54 c #Conflicts: 681000 | #Constraints: 27438
2755.77/2763.54 c #Conflicts: 682000 | #Constraints: 28438
2755.77/2763.54 c #Conflicts: 683000 | #Constraints: 29438
2755.77/2763.54 c #Conflicts: 684000 | #Constraints: 30438
2755.77/2763.54 c #Conflicts: 685000 | #Constraints: 31438
2755.77/2763.54 c #Conflicts: 686000 | #Constraints: 32438
2755.77/2763.54 c #Conflicts: 687000 | #Constraints: 33438
2755.77/2763.54 c #Conflicts: 688000 | #Constraints: 34438
2755.77/2763.54 c INPROCESSING
2755.77/2763.54 c GARBAGE COLLECT
2755.77/2763.54 c #Conflicts: 689000 | #Constraints: 19046
2755.77/2763.54 c #Conflicts: 690000 | #Constraints: 20046
2755.77/2763.54 c #Conflicts: 691000 | #Constraints: 21046
2755.77/2763.54 c #Conflicts: 692000 | #Constraints: 22046
2755.77/2763.54 c #Conflicts: 693000 | #Constraints: 23046
2755.77/2763.54 c #Conflicts: 694000 | #Constraints: 24046
2755.77/2763.54 c #Conflicts: 695000 | #Constraints: 25046
2755.77/2763.54 c #Conflicts: 696000 | #Constraints: 26046
2755.77/2763.54 c #Conflicts: 697000 | #Constraints: 27046
2755.77/2763.54 c #Conflicts: 698000 | #Constraints: 28046
2755.77/2763.54 c #Conflicts: 699000 | #Constraints: 29046
2755.77/2763.54 c #Conflicts: 700000 | #Constraints: 30046
2755.77/2763.54 c #Conflicts: 701000 | #Constraints: 31046
2755.77/2763.54 c #Conflicts: 702000 | #Constraints: 32046
2755.77/2763.54 c #Conflicts: 703000 | #Constraints: 33046
2755.77/2763.54 c #Conflicts: 704000 | #Constraints: 34046
2755.77/2763.54 c #Conflicts: 705000 | #Constraints: 35046
2755.77/2763.54 c INPROCESSING
2755.77/2763.54 c GARBAGE COLLECT
2755.77/2763.54 c #Conflicts: 706000 | #Constraints: 19450
2755.77/2763.54 c #Conflicts: 707000 | #Constraints: 20450
2755.77/2763.54 c #Conflicts: 708000 | #Constraints: 21450
2755.77/2763.54 c #Conflicts: 709000 | #Constraints: 22450
2755.77/2763.54 c #Conflicts: 710000 | #Constraints: 23450
2755.77/2763.54 c #Conflicts: 711000 | #Constraints: 24450
2755.77/2763.54 c #Conflicts: 712000 | #Constraints: 25450
2755.77/2763.54 c #Conflicts: 713000 | #Constraints: 26450
2755.77/2763.54 c #Conflicts: 714000 | #Constraints: 27450
2755.77/2763.54 c #Conflicts: 715000 | #Constraints: 28450
2755.77/2763.54 c #Conflicts: 716000 | #Constraints: 29450
2755.77/2763.54 c #Conflicts: 717000 | #Constraints: 30450
2755.77/2763.54 c #Conflicts: 718000 | #Constraints: 31450
2755.77/2763.54 c #Conflicts: 719000 | #Constraints: 32450
2755.77/2763.54 c #Conflicts: 720000 | #Constraints: 33450
2755.77/2763.54 c #Conflicts: 721000 | #Constraints: 34450
2755.77/2763.54 c #Conflicts: 722000 | #Constraints: 35450
2755.77/2763.54 c INPROCESSING
2755.77/2763.54 c GARBAGE COLLECT
2755.77/2763.54 c #Conflicts: 723000 | #Constraints: 19652
2755.77/2763.54 c #Conflicts: 724000 | #Constraints: 20652
2755.77/2763.54 c #Conflicts: 725000 | #Constraints: 21652
2755.77/2763.54 c #Conflicts: 726000 | #Constraints: 22652
2755.77/2763.54 c #Conflicts: 727000 | #Constraints: 23652
2755.77/2763.54 c #Conflicts: 728000 | #Constraints: 24652
2755.77/2763.54 c #Conflicts: 729000 | #Constraints: 25652
2755.77/2763.54 c #Conflicts: 730000 | #Constraints: 26652
2755.77/2763.54 c #Conflicts: 731000 | #Constraints: 27652
2755.77/2763.54 c #Conflicts: 732000 | #Constraints: 28652
2755.77/2763.54 c #Conflicts: 733000 | #Constraints: 29652
2755.77/2763.54 c #Conflicts: 734000 | #Constraints: 30652
2755.77/2763.54 c #Conflicts: 735000 | #Constraints: 31652
2755.77/2763.54 c #Conflicts: 736000 | #Constraints: 32652
2755.77/2763.54 c #Conflicts: 737000 | #Constraints: 33652
2755.77/2763.54 c #Conflicts: 738000 | #Constraints: 34652
2755.77/2763.54 c #Conflicts: 739000 | #Constraints: 35652
2755.77/2763.54 c INPROCESSING
2755.77/2763.54 c GARBAGE COLLECT
3086.36/3095.01 c #Conflicts: 740000 | #Constraints: 19661
3086.36/3095.01 c #Conflicts: 741000 | #Constraints: 20661
3086.36/3095.01 c #Conflicts: 742000 | #Constraints: 21661
3086.36/3095.01 c #Conflicts: 743000 | #Constraints: 22661
3086.36/3095.01 c #Conflicts: 744000 | #Constraints: 23661
3086.36/3095.01 c #Conflicts: 745000 | #Constraints: 24661
3086.36/3095.01 c #Conflicts: 746000 | #Constraints: 25661
3086.36/3095.01 c #Conflicts: 747000 | #Constraints: 26661
3086.36/3095.01 c #Conflicts: 748000 | #Constraints: 27661
3086.36/3095.01 c #Conflicts: 749000 | #Constraints: 28661
3086.36/3095.01 c #Conflicts: 750000 | #Constraints: 29661
3086.36/3095.01 c #Conflicts: 751000 | #Constraints: 30661
3086.36/3095.01 c #Conflicts: 752000 | #Constraints: 31661
3086.36/3095.01 c #Conflicts: 753000 | #Constraints: 32661
3086.36/3095.01 c #Conflicts: 754000 | #Constraints: 33661
3086.36/3095.01 c #Conflicts: 755000 | #Constraints: 34661
3086.36/3095.01 c #Conflicts: 756000 | #Constraints: 35661
3086.36/3095.01 c INPROCESSING
3086.36/3095.01 c GARBAGE COLLECT
3086.36/3095.01 c #Conflicts: 757000 | #Constraints: 19444
3086.36/3095.01 c #Conflicts: 758000 | #Constraints: 20444
3086.36/3095.01 c #Conflicts: 759000 | #Constraints: 21444
3086.36/3095.01 c #Conflicts: 760000 | #Constraints: 22444
3086.36/3095.01 c #Conflicts: 761000 | #Constraints: 23444
3086.36/3095.01 c #Conflicts: 762000 | #Constraints: 24444
3086.36/3095.01 c #Conflicts: 763000 | #Constraints: 25444
3086.36/3095.01 c #Conflicts: 764000 | #Constraints: 26444
3086.36/3095.01 c #Conflicts: 765000 | #Constraints: 27444
3086.36/3095.01 c #Conflicts: 766000 | #Constraints: 28444
3086.36/3095.01 c #Conflicts: 767000 | #Constraints: 29444
3086.36/3095.01 c #Conflicts: 768000 | #Constraints: 30444
3086.36/3095.01 c #Conflicts: 769000 | #Constraints: 31444
3086.36/3095.01 c #Conflicts: 770000 | #Constraints: 32444
3086.36/3095.01 c #Conflicts: 771000 | #Constraints: 33444
3086.36/3095.01 c #Conflicts: 772000 | #Constraints: 34444
3086.36/3095.01 c #Conflicts: 773000 | #Constraints: 35444
3086.36/3095.01 c #Conflicts: 774000 | #Constraints: 36444
3086.36/3095.01 c INPROCESSING
3086.36/3095.01 c GARBAGE COLLECT
3086.36/3095.01 c #Conflicts: 775000 | #Constraints: 20046
3086.36/3095.01 c #Conflicts: 776000 | #Constraints: 21046
3086.36/3095.01 c #Conflicts: 777000 | #Constraints: 22046
3086.36/3095.01 c #Conflicts: 778000 | #Constraints: 23046
3086.36/3095.01 c #Conflicts: 779000 | #Constraints: 24046
3086.36/3095.01 c #Conflicts: 780000 | #Constraints: 25046
3086.36/3095.01 c #Conflicts: 781000 | #Constraints: 26046
3086.36/3095.01 c #Conflicts: 782000 | #Constraints: 27046
3086.36/3095.01 c #Conflicts: 783000 | #Constraints: 28046
3086.36/3095.01 c #Conflicts: 784000 | #Constraints: 29046
3086.36/3095.01 c #Conflicts: 785000 | #Constraints: 30046
3086.36/3095.01 c #Conflicts: 786000 | #Constraints: 31046
3086.36/3095.01 c #Conflicts: 787000 | #Constraints: 32046
3086.36/3095.01 c #Conflicts: 788000 | #Constraints: 33046
3086.36/3095.01 c #Conflicts: 789000 | #Constraints: 34046
3086.36/3095.01 c #Conflicts: 790000 | #Constraints: 35046
3086.36/3095.01 c #Conflicts: 791000 | #Constraints: 36046
3086.36/3095.01 c #Conflicts: 792000 | #Constraints: 37046
3086.36/3095.01 c INPROCESSING
3086.36/3095.01 c GARBAGE COLLECT
3086.36/3095.01 c #Conflicts: 793000 | #Constraints: 20448
3086.36/3095.01 c #Conflicts: 794000 | #Constraints: 21448
3086.36/3095.01 c #Conflicts: 795000 | #Constraints: 22448
3086.36/3095.01 c #Conflicts: 796000 | #Constraints: 23448
3086.36/3095.01 c #Conflicts: 797000 | #Constraints: 24448
3086.36/3095.01 c #Conflicts: 798000 | #Constraints: 25448
3086.36/3095.01 c #Conflicts: 799000 | #Constraints: 26448
3086.36/3095.01 c #Conflicts: 800000 | #Constraints: 27448
3086.36/3095.01 c #Conflicts: 801000 | #Constraints: 28448
3086.36/3095.01 c #Conflicts: 802000 | #Constraints: 29448
3086.36/3095.01 c #Conflicts: 803000 | #Constraints: 30448
3086.36/3095.01 c #Conflicts: 804000 | #Constraints: 31448
3086.36/3095.01 c #Conflicts: 805000 | #Constraints: 32448
3086.36/3095.01 c #Conflicts: 806000 | #Constraints: 33448
3086.36/3095.01 c #Conflicts: 807000 | #Constraints: 34448
3086.36/3095.01 c #Conflicts: 808000 | #Constraints: 35448
3086.36/3095.01 c #Conflicts: 809000 | #Constraints: 36448
3086.36/3095.01 c #Conflicts: 810000 | #Constraints: 37448
3086.36/3095.01 c INPROCESSING
3086.36/3095.01 c GARBAGE COLLECT
3086.36/3095.01 c #Conflicts: 811000 | #Constraints: 20647
3086.36/3095.01 c #Conflicts: 812000 | #Constraints: 21647
3086.36/3095.01 c #Conflicts: 813000 | #Constraints: 22647
3086.36/3095.01 c #Conflicts: 814000 | #Constraints: 23647
3086.36/3095.01 c #Conflicts: 815000 | #Constraints: 24647
3086.36/3095.01 c #Conflicts: 816000 | #Constraints: 25647
3475.78/3485.51 c #Conflicts: 817000 | #Constraints: 26647
3475.78/3485.51 c #Conflicts: 818000 | #Constraints: 27647
3475.78/3485.51 c #Conflicts: 819000 | #Constraints: 28647
3475.78/3485.51 c #Conflicts: 820000 | #Constraints: 29647
3475.78/3485.51 c #Conflicts: 821000 | #Constraints: 30647
3475.78/3485.51 c #Conflicts: 822000 | #Constraints: 31647
3475.78/3485.51 c #Conflicts: 823000 | #Constraints: 32647
3475.78/3485.51 c #Conflicts: 824000 | #Constraints: 33647
3475.78/3485.51 c #Conflicts: 825000 | #Constraints: 34647
3475.78/3485.51 c #Conflicts: 826000 | #Constraints: 35647
3475.78/3485.51 c #Conflicts: 827000 | #Constraints: 36647
3475.78/3485.51 c #Conflicts: 828000 | #Constraints: 37647
3475.78/3485.51 c INPROCESSING
3475.78/3485.51 c GARBAGE COLLECT
3475.78/3485.51 c #Conflicts: 829000 | #Constraints: 20647
3475.78/3485.51 c #Conflicts: 830000 | #Constraints: 21647
3475.78/3485.51 c #Conflicts: 831000 | #Constraints: 22647
3475.78/3485.51 c #Conflicts: 832000 | #Constraints: 23647
3475.78/3485.51 c #Conflicts: 833000 | #Constraints: 24647
3475.78/3485.51 c #Conflicts: 834000 | #Constraints: 25647
3475.78/3485.51 c #Conflicts: 835000 | #Constraints: 26647
3475.78/3485.51 c #Conflicts: 836000 | #Constraints: 27647
3475.78/3485.51 c #Conflicts: 837000 | #Constraints: 28647
3475.78/3485.51 c #Conflicts: 838000 | #Constraints: 29647
3475.78/3485.51 c #Conflicts: 839000 | #Constraints: 30647
3475.78/3485.51 c #Conflicts: 840000 | #Constraints: 31647
3475.78/3485.51 c #Conflicts: 841000 | #Constraints: 32647
3475.78/3485.51 c #Conflicts: 842000 | #Constraints: 33647
3475.78/3485.51 c #Conflicts: 843000 | #Constraints: 34647
3475.78/3485.51 c #Conflicts: 844000 | #Constraints: 35647
3475.78/3485.51 c #Conflicts: 845000 | #Constraints: 36647
3475.78/3485.51 c #Conflicts: 846000 | #Constraints: 37647
3475.78/3485.51 c INPROCESSING
3475.78/3485.51 c GARBAGE COLLECT
3475.78/3485.51 c #Conflicts: 847000 | #Constraints: 20444
3475.78/3485.51 c #Conflicts: 848000 | #Constraints: 21444
3475.78/3485.51 c #Conflicts: 849000 | #Constraints: 22444
3475.78/3485.51 c #Conflicts: 850000 | #Constraints: 23444
3475.78/3485.51 c #Conflicts: 851000 | #Constraints: 24444
3475.78/3485.51 c #Conflicts: 852000 | #Constraints: 25444
3475.78/3485.51 c #Conflicts: 853000 | #Constraints: 26444
3475.78/3485.51 c #Conflicts: 854000 | #Constraints: 27444
3475.78/3485.51 c #Conflicts: 855000 | #Constraints: 28444
3475.78/3485.51 c #Conflicts: 856000 | #Constraints: 29444
3475.78/3485.51 c #Conflicts: 857000 | #Constraints: 30444
3475.78/3485.51 c #Conflicts: 858000 | #Constraints: 31444
3475.78/3485.51 c #Conflicts: 859000 | #Constraints: 32444
3475.78/3485.51 c #Conflicts: 860000 | #Constraints: 33444
3475.78/3485.51 c #Conflicts: 861000 | #Constraints: 34444
3475.78/3485.51 c #Conflicts: 862000 | #Constraints: 35444
3475.78/3485.51 c #Conflicts: 863000 | #Constraints: 36444
3475.78/3485.51 c #Conflicts: 864000 | #Constraints: 37444
3475.78/3485.51 c #Conflicts: 865000 | #Constraints: 38444
3475.78/3485.51 c INPROCESSING
3475.78/3485.51 c GARBAGE COLLECT
3475.78/3485.51 c #Conflicts: 866000 | #Constraints: 21042
3475.78/3485.51 c #Conflicts: 867000 | #Constraints: 22042
3475.78/3485.51 c #Conflicts: 868000 | #Constraints: 23042
3475.78/3485.51 c #Conflicts: 869000 | #Constraints: 24042
3475.78/3485.51 c #Conflicts: 870000 | #Constraints: 25042
3475.78/3485.51 c #Conflicts: 871000 | #Constraints: 26042
3475.78/3485.51 c #Conflicts: 872000 | #Constraints: 27042
3475.78/3485.51 c #Conflicts: 873000 | #Constraints: 28042
3475.78/3485.51 c #Conflicts: 874000 | #Constraints: 29042
3475.78/3485.51 c #Conflicts: 875000 | #Constraints: 30042
3475.78/3485.51 c #Conflicts: 876000 | #Constraints: 31042
3475.78/3485.51 c #Conflicts: 877000 | #Constraints: 32042
3475.78/3485.51 c #Conflicts: 878000 | #Constraints: 33042
3475.78/3485.51 c #Conflicts: 879000 | #Constraints: 34042
3475.78/3485.51 c #Conflicts: 880000 | #Constraints: 35042
3475.78/3485.51 c #Conflicts: 881000 | #Constraints: 36042
3475.78/3485.51 c #Conflicts: 882000 | #Constraints: 37042
3475.78/3485.51 c #Conflicts: 883000 | #Constraints: 38042
3475.78/3485.51 c #Conflicts: 884000 | #Constraints: 39042
3475.78/3485.51 c INPROCESSING
3475.78/3485.51 c GARBAGE COLLECT
3475.78/3485.51 c #Conflicts: 885000 | #Constraints: 21446
3475.78/3485.51 c #Conflicts: 886000 | #Constraints: 22446
3475.78/3485.51 c #Conflicts: 887000 | #Constraints: 23446
3475.78/3485.51 c #Conflicts: 888000 | #Constraints: 24446
3475.78/3485.51 c #Conflicts: 889000 | #Constraints: 25446
3475.78/3485.51 c #Conflicts: 890000 | #Constraints: 26446
3475.78/3485.51 c #Conflicts: 891000 | #Constraints: 27446
3475.78/3485.51 c #Conflicts: 892000 | #Constraints: 28446
3600.05/3610.11 c #Conflicts: 893000 | #Constraints: 29446
3600.05/3610.11 c #Conflicts: 894000 | #Constraints: 30446
3600.05/3610.11 c #Conflicts: 895000 | #Constraints: 31446
3600.05/3610.11 c #Conflicts: 896000 | #Constraints: 32446
3600.05/3610.11 c #Conflicts: 897000 | #Constraints: 33446
3600.05/3610.11 c #Conflicts: 898000 | #Constraints: 34446
3600.05/3610.11 c #Conflicts: 899000 | #Constraints: 35446
3600.05/3610.11 c #Conflicts: 900000 | #Constraints: 36446
3600.05/3610.11 c #Conflicts: 901000 | #Constraints: 37446
3600.05/3610.11 c #Conflicts: 902000 | #Constraints: 38446
3600.05/3610.11 c #Conflicts: 903000 | #Constraints: 39446
3600.05/3610.11 c INPROCESSING
3600.05/3610.11 c GARBAGE COLLECT
3600.05/3610.11 c #Conflicts: 904000 | #Constraints: 21648
3600.05/3610.11 c #Conflicts: 905000 | #Constraints: 22648
3600.05/3610.11 c #Conflicts: 906000 | #Constraints: 23648
3600.05/3610.11 c #Conflicts: 907000 | #Constraints: 24648
3600.05/3610.11 c #Conflicts: 908000 | #Constraints: 25648
3600.05/3610.11 c #Conflicts: 909000 | #Constraints: 26648
3600.05/3610.11 c #Conflicts: 910000 | #Constraints: 27648
3600.05/3610.11 c #Conflicts: 911000 | #Constraints: 28648
3600.05/3610.11 c #Conflicts: 912000 | #Constraints: 29648
3600.05/3610.11 c Program interrupted by user.
3600.05/3610.11 c cpu time 3586.56 s
3600.05/3610.11 c deterministic time 552057919765 5.52e+11
3600.05/3610.11 c optimization time 60.701 s
3600.05/3610.11 c total solve time 3525.84 s
3600.05/3610.11 c core-guided solve time 3525.84 s
3600.05/3610.11 c propagation time 3169.51 s
3600.05/3610.11 c conflict analysis time 357.683 s
3600.05/3610.11 c propagations 183478969
3600.05/3610.11 c resolve steps 7508436
3600.05/3610.11 c decisions 11757997
3600.05/3610.11 c conflicts 912746
3600.05/3610.11 c restarts 1993
3600.05/3610.11 c inprocessing phases 86
3600.05/3610.11 c input clauses 1632
3600.05/3610.11 c input cardinalities 80
3600.05/3610.11 c input general constraints 64
3600.05/3610.11 c input average constraint length 6.72
3600.05/3610.11 c input average constraint degree 3.47
3600.05/3610.11 c learned clauses 298234
3600.05/3610.11 c learned cardinalities 1791
3600.05/3610.11 c learned general constraints 612720
3600.05/3610.11 c learned average constraint length 558.05
3600.05/3610.11 c learned average constraint degree 4755108.82
3600.05/3610.11 c watched constraints 468803
3600.05/3610.11 c counting constraints 143981
3600.05/3610.11 c gcd simplifications 6497
3600.05/3610.11 c detected cardinalities 259
3600.05/3610.11 c weakened non-implied lits 95504045
3600.05/3610.11 c weakened non-implying lits 77374
3600.05/3610.11 c original variables 4160
3600.05/3610.11 c clausal propagations 17381189
3600.05/3610.11 c cardinality propagations 30182728
3600.05/3610.11 c watched propagations 40832752
3600.05/3610.11 c counting propagations 92436309
3600.05/3610.11 c watch lookups 50992337103
3600.05/3610.11 c watch backjump lookups 46394016975
3600.05/3610.11 c watch checks 421134764603
3600.05/3610.11 c propagation checks 31931838219
3600.05/3610.11 c constraint additions 1213577403
3600.05/3610.11 c trail pops 196148495
3600.05/3610.11 c formula constraints 1744
3600.05/3610.11 c learned constraints 912745
3600.05/3610.11 c bound constraints 0
3600.05/3610.11 c core-guided constraints 32
3600.05/3610.11 c encountered formula constraints 5806528
3600.05/3610.11 c encountered learned constraints 2614637
3600.05/3610.11 c encountered bound constraints 0
3600.05/3610.11 c encountered core-guided constraints 17
3600.05/3610.11 c LP total time 0 s
3600.05/3610.11 c LP solve time 0 s
3600.05/3610.11 c LP constraints added 0
3600.05/3610.11 c LP constraints removed 0
3600.05/3610.11 c LP pivots internal 0
3600.05/3610.11 c LP pivots root 0
3600.05/3610.11 c LP calls 0
3600.05/3610.11 c LP optimalities 0
3600.05/3610.11 c LP no pivot count 0
3600.05/3610.11 c LP infeasibilities 0
3600.05/3610.11 c LP valid Farkas constraints 0
3600.05/3610.11 c LP learned Farkas constraints 0
3600.05/3610.11 c LP basis resets 0
3600.05/3610.11 c LP cycling count 0
3600.05/3610.11 c LP singular count 0
3600.05/3610.11 c LP no primal count 0
3600.05/3610.11 c LP no farkas count 0
3600.05/3610.11 c LP other issue count 0
3600.05/3610.11 c LP Gomory cuts 0
3600.05/3610.11 c LP learned cuts 0
3600.05/3610.11 c LP deleted cuts 0
3600.05/3610.11 c LP encountered Gomory constraints 0
3600.05/3610.11 c LP encountered Farkas constraints 0
3600.05/3610.11 c LP encountered learned Farkas constraints 0
3600.05/3610.11 c CG auxiliary variables introduced 32
3600.05/3610.11 c CG solutions found 0
3600.05/3610.11 c CG cores constructed 0
3600.05/3610.11 c CG core cardinality constraints returned 0
3600.05/3610.11 c CG unit cores 0
3600.05/3610.11 c CG single cores 0
3600.05/3610.11 c CG blocks removed during cardinality reduction 0
3600.05/3610.11 c CG first core best 0
3600.05/3610.11 c CG decision core best 0
3600.05/3610.11 c CG core reduction tie 0
3600.05/3610.11 c CG core degree average 0.00
3600.05/3610.11 c CG core slack average 0.00
3600.05/3610.11 c CG exhausted 0
3600.05/3610.11 c CG exhaust time 0 s
3600.05/3610.11 c CG trimmed 0
3600.05/3610.11 c CG trim time 0 s
3600.05/3610.11 c CG minimized 0
3600.05/3610.11 c CG minimize time 0 s
3600.05/3610.11 c CG am1 prop time 0.004181 s
3600.05/3610.11 c CG # am1s reformulated 32
3600.05/3610.11 c CG lower bound derived from am1s 992
3600.05/3610.11 c CG # clausal cores 0
3600.05/3610.11 c CG # cardinality cores 0
3600.05/3610.11 c CG # pb cores 0
3600.05/3610.11 c CG # pb reforms 0
3600.05/3610.11 c CG # cores discarded because of pb reform 0
3600.05/3610.11 d LOWERBOUND 0
3600.05/3610.11 d NCORES 0
3600.05/3610.11 d NPBCORES 0
3600.05/3610.11 d NPBREFORM 0
3600.05/3610.11 d NTRIMMED 0
3600.05/3610.11 d NEXHAUSTED 0
3600.05/3610.11 d NAM1S 32
3600.05/3610.11 d AM1LB 992
3600.05/3610.12 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: 63837 MiB (63083 MiB free)
memory of node 1: 64465 MiB (63425 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519648-1751556409/watcher-4519648-1751556409 -o /tmp/evaluation-result-4519648-1751556409/solver-4519648-1751556409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76161 --watchdog 3760 pb-oll-rs HOME/instance-4519648-1751556409.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=77704, runsolver pid=77701
[startup+0.10007 s]*
/proc/loadavg: 4.21 4.29 4.20 5/251 77705
/proc/meminfo: memFree=129541128/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=23808 memory=9856 CPUtime=0.09 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 1297 0 0 0 6 3 0 0 20 0 1 0 71320059 24379392 2464 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 5952 2464 1376 243 0 2201 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23808 KiB
Current children cumulated memory: 9856 KiB
[startup+0.213516 s]*
/proc/loadavg: 4.21 4.29 4.20 5/251 77705
/proc/meminfo: memFree=129541128/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=24192 memory=10752 CPUtime=0.21 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 1525 0 0 0 15 6 0 0 20 0 1 0 71320059 24772608 2688 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 6048 2688 1376 243 0 2297 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 24192 KiB
Current children cumulated memory: 10752 KiB
[startup+0.313197 s]*
/proc/loadavg: 4.21 4.29 4.20 5/251 77705
/proc/meminfo: memFree=129541128/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=24584 memory=11392 CPUtime=0.31 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 1700 0 0 0 24 7 0 0 20 0 1 0 71320059 25174016 2848 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 6146 2848 1376 243 0 2395 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 24584 KiB
Current children cumulated memory: 11392 KiB
[startup+0.700338 s]
/proc/loadavg: 4.21 4.29 4.20 5/251 77705
/proc/meminfo: memFree=129541128/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=26140 memory=15164 CPUtime=0.68 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 2135 0 0 0 58 10 0 0 20 0 1 0 71320059 26767360 3791 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 6535 3791 1376 243 0 2784 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26140 KiB
Current children cumulated memory: 15164 KiB
[startup+1.50032 s]
/proc/loadavg: 4.21 4.29 4.20 5/251 77705
/proc/meminfo: memFree=129541128/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=31844 memory=20540 CPUtime=1.48 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 3466 0 0 0 135 13 0 0 20 0 1 0 71320059 32608256 5135 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 7961 5135 1376 243 0 4210 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31844 KiB
Current children cumulated memory: 20540 KiB
[startup+3.11281 s]
/proc/loadavg: 4.19 4.29 4.19 5/251 77705
/proc/meminfo: memFree=129537996/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=40372 memory=29368 CPUtime=3.08 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 5170 0 0 0 292 16 0 0 20 0 1 0 71320059 41340928 7342 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 10093 7342 1376 243 0 6342 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40372 KiB
Current children cumulated memory: 29368 KiB
[startup+6.30031 s]
/proc/loadavg: 4.19 4.29 4.19 5/251 77705
/proc/meminfo: memFree=129525744/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=53736 memory=39692 CPUtime=6.27 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 7250 0 0 0 605 22 0 0 20 0 1 0 71320059 55025664 9923 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 13434 9923 1376 243 0 9683 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 53736 KiB
Current children cumulated memory: 39692 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.28 4.19 5/251 77705
/proc/meminfo: memFree=129507432/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=59728 memory=48208 CPUtime=12.64 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 8870 0 0 0 1234 30 0 0 20 0 1 0 71320059 61161472 12052 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 14932 12052 1376 243 0 11181 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 59728 KiB
Current children cumulated memory: 48208 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.27 4.19 5/251 77706
/proc/meminfo: memFree=129483916/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=79728 memory=60696 CPUtime=25.41 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 11014 0 0 0 2489 52 0 0 20 0 1 0 71320059 81641472 15174 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 19932 15174 1376 243 0 16181 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 79728 KiB
Current children cumulated memory: 60696 KiB
[startup+51.113 s]
/proc/loadavg: 4.15 4.26 4.19 5/251 77706
/proc/meminfo: memFree=129464812/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=93096 memory=75752 CPUtime=50.95 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 13768 0 0 0 5014 81 0 0 20 0 1 0 71320059 95330304 18938 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 23274 18938 1376 243 0 19523 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 93096 KiB
Current children cumulated memory: 75752 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.23 4.18 5/250 77708
/proc/meminfo: memFree=129424676/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=120836 memory=92120 CPUtime=101.98 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 16403 0 0 0 10071 127 0 0 20 0 1 0 71320059 123736064 23030 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 30209 23030 1376 243 0 26458 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 120836 KiB
Current children cumulated memory: 92120 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.20 4.17 5/250 77710
/proc/meminfo: memFree=129368792/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=142872 memory=123492 CPUtime=161.81 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 21193 0 0 0 16018 163 0 0 20 0 1 0 71320059 146300928 30873 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 35718 30873 1376 243 0 31967 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 142872 KiB
Current children cumulated memory: 123492 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.21 4.18 5/250 77712
/proc/meminfo: memFree=129349912/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=149400 memory=128996 CPUtime=221.63 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 22585 0 0 0 21958 205 0 0 20 0 1 0 71320059 152985600 32249 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 37350 32249 1376 243 0 33599 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 149400 KiB
Current children cumulated memory: 128996 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/250 77803
/proc/meminfo: memFree=129211636/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=188992 memory=142500 CPUtime=281.45 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 24964 0 0 0 27898 247 0 0 20 0 1 0 71320059 193527808 35625 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 47248 35625 1376 243 0 43497 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 188992 KiB
Current children cumulated memory: 142500 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/249 77805
/proc/meminfo: memFree=129104152/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=196096 memory=150084 CPUtime=341.28 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 26362 0 0 0 33829 299 0 0 20 0 1 0 71320059 200802304 37521 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 49024 37521 1376 243 0 45273 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 196096 KiB
Current children cumulated memory: 150084 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/250 77812
/proc/meminfo: memFree=129061928/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=200644 memory=160848 CPUtime=401.1 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 27582 0 0 0 39783 327 0 0 20 0 1 0 71320059 205459456 40212 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 50161 40212 1376 243 0 46410 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 200644 KiB
Current children cumulated memory: 160848 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/250 77814
/proc/meminfo: memFree=129015984/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=203856 memory=173616 CPUtime=460.91 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 28341 0 0 0 45747 344 0 0 20 0 1 0 71320059 208748544 43404 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 50964 43404 1376 243 0 47213 0
Current children cumulated CPU time: 460.91 s
################
# More data... #
################
Current children cumulated memory: 313904 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.09 4.11 5/250 78119
/proc/meminfo: memFree=128590156/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=350796 memory=315952 CPUtime=2914.13 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 46739 0 0 0 290265 1148 0 0 20 0 1 0 71320059 359215104 78988 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 87699 78988 1376 243 0 83948 0
Current children cumulated CPU time: 2914.13 s
Current children cumulated vsize: 350796 KiB
Current children cumulated memory: 315952 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/250 78121
/proc/meminfo: memFree=128576796/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=350796 memory=315952 CPUtime=2973.96 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 46739 0 0 0 296234 1162 0 0 20 0 1 0 71320059 359215104 78988 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 87699 78988 1376 243 0 83948 0
Current children cumulated CPU time: 2973.96 s
Current children cumulated vsize: 350796 KiB
Current children cumulated memory: 315952 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/250 78123
/proc/meminfo: memFree=128566176/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=351308 memory=316292 CPUtime=3033.79 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 46886 0 0 0 302200 1179 0 0 20 0 1 0 71320059 359739392 79073 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 87827 79073 1376 243 0 84076 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 351308 KiB
Current children cumulated memory: 316292 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/250 78127
/proc/meminfo: memFree=128533576/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=352332 memory=317060 CPUtime=3093.63 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 47100 0 0 0 308162 1201 0 0 20 0 1 0 71320059 360787968 79265 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 88083 79265 1376 243 0 84332 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 352332 KiB
Current children cumulated memory: 317060 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/249 78129
/proc/meminfo: memFree=128528396/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=352844 memory=317188 CPUtime=3153.47 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 47157 0 0 0 314129 1218 0 0 20 0 1 0 71320059 361312256 79297 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 88211 79297 1376 243 0 84460 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 352844 KiB
Current children cumulated memory: 317188 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.11 4.10 5/249 78131
/proc/meminfo: memFree=128505508/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=353132 memory=317316 CPUtime=3213.3 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 47216 0 0 0 320102 1228 0 0 20 0 1 0 71320059 361607168 79329 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 88283 79329 1376 243 0 84532 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 353132 KiB
Current children cumulated memory: 317316 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/249 78133
/proc/meminfo: memFree=128500124/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=353132 memory=317316 CPUtime=3273.14 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 47217 0 0 0 326071 1243 0 0 20 0 1 0 71320059 361607168 79329 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 88283 79329 1376 243 0 84532 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 353132 KiB
Current children cumulated memory: 317316 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/249 78135
/proc/meminfo: memFree=128492360/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=354380 memory=318212 CPUtime=3332.97 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 47545 0 0 0 332033 1264 0 0 20 0 1 0 71320059 362885120 79553 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 88595 79553 1376 243 0 84844 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 354380 KiB
Current children cumulated memory: 318212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/249 78137
/proc/meminfo: memFree=128472072/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=356684 memory=330064 CPUtime=3392.81 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 47977 0 0 0 338000 1281 0 0 20 0 1 0 71320059 365244416 82516 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 89171 82516 1376 243 0 85420 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 356684 KiB
Current children cumulated memory: 330064 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 78144
/proc/meminfo: memFree=128492784/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=357964 memory=330796 CPUtime=3452.64 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 48236 0 0 0 343965 1299 0 0 20 0 1 0 71320059 366555136 82699 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 89491 82699 1376 243 0 85740 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 357964 KiB
Current children cumulated memory: 330796 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 78145
/proc/meminfo: memFree=128487472/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=357964 memory=330796 CPUtime=3512.47 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 48236 0 0 0 349927 1320 0 0 20 0 1 0 71320059 366555136 82699 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 89491 82699 1376 243 0 85740 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 357964 KiB
Current children cumulated memory: 330796 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 78147
/proc/meminfo: memFree=128477848/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=358092 memory=341036 CPUtime=3572.31 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 48320 0 0 0 355887 1344 0 0 20 0 1 0 71320059 366686208 85259 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 89523 85259 1376 243 0 85772 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 358092 KiB
Current children cumulated memory: 341036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.06 4.09 4.09 4/244 78179
/proc/meminfo: memFree=128760600/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=358092 memory=341036 CPUtime=3600.05 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 48320 0 0 0 358655 1350 0 0 20 0 1 0 71320059 366686208 85259 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 89523 85259 1376 243 0 85772 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 358092 KiB
Current children cumulated memory: 341036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 77704 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.56 s, system=13.5062 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.06 4.09 4.09 4/244 78179
/proc/meminfo: memFree=128760600/131382120 swapFree=33010160/33010684
[pid=77704] ppid=77701 vsize=358092 memory=341036 CPUtime=3600.05 cores=0,2
/proc/77704/stat : 77704 (pb-oll-rs) R 77701 77704 76151 0 -1 4194304 48320 0 0 0 358655 1350 0 0 20 0 1 0 71320059 366686208 85259 18446744073709551615 4218880 5211445 140727158182672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 22052864 140727158188444 140727158188521 140727158188521 140727158194123 0
/proc/77704/statm: 89523 85259 1376 243 0 85772 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 358092 KiB
Current children cumulated memory: 341036 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.07
CPU user time (s): 3586.56
CPU system time (s): 13.5062
CPU usage (%): 99.7215
Max. virtual memory (cumulated for all children) (KiB): 358408
Max. memory (cumulated for all children) (KiB): 341164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.56
system time used= 13.5062
maximum resident set size= 341292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48335
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= 179
involuntary context switches= 7953
# summary of solver processes directly reported to runsolver:
# pid: 77704
# total CPU time (s): 3600.07
# total CPU user time (s): 3586.56
# total CPU system time (s): 13.5062
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0834 second user time and 36.4649 second system time
The end
Begin job on nodeC008 at 2025-07-03 17:26:49
IDJOB=4519648
IDBENCH=177345
IDSOLVER=3345
FILE ID=nodeC008/4519648-1751556409
RUNJOBID= nodeC008-1751549168-76161
SLURM_JOB_ID= 9598725
Free space on /tmp= 432820 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519648-1751556409/watcher-4519648-1751556409 -o /tmp/evaluation-result-4519648-1751556409/solver-4519648-1751556409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76161 --watchdog 3760 pb-oll-rs HOME/instance-4519648-1751556409.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4558152054a2b5e07a56681a0171fc0f
RANDOM SEED=1355415437
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3600.263
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.706
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.831
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2394.439
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.785
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.668
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.240
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129545052 kB
MemAvailable: 129565008 kB
Buffers: 2128 kB
Cached: 815132 kB
SwapCached: 16 kB
Active: 985160 kB
Inactive: 296288 kB
Active(anon): 445700 kB
Inactive(anon): 36408 kB
Active(file): 539460 kB
Inactive(file): 259880 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3804 kB
Writeback: 0 kB
AnonPages: 460112 kB
Mapped: 107520 kB
Shmem: 17920 kB
KReclaimable: 120484 kB
Slab: 205036 kB
SReclaimable: 120484 kB
SUnreclaim: 84552 kB
KernelStack: 4080 kB
PageTables: 3968 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 849172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 251904 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432820 MiB
End job on nodeC008 at 2025-07-03 18:27:00