0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.03 c Papilo could not simplify the problem
0.00/0.03 c [STEP] solving with SCIP
299.25/300.21 c [STEP] preprocessing done, loading into solver
299.25/300.22 c [STEP] solving
299.25/300.22 c #variables 541 #constraints 4626
299.25/300.22 c SMALL=int, LARGE=long long
299.25/300.22 d SCIPUB 68
299.25/300.22 c bounds - >= 0 @ 299.128
299.25/300.22 c stratification level: 2
306.03/307.06 c bounds - >= 2 @ 299.128
306.03/307.06 c bounds - >= 4 @ 299.128
306.03/307.06 c bounds - >= 6 @ 299.128
306.03/307.06 c bounds - >= 8 @ 299.128
306.03/307.06 c bounds - >= 10 @ 299.128
306.03/307.06 c bounds - >= 12 @ 299.128
306.03/307.06 c #Conflicts: 1000 | #Constraints: 5638
306.03/307.06 c #Conflicts: 2000 | #Constraints: 6638
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 3000 | #Constraints: 6645
306.03/307.06 c bounds - >= 14 @ 299.333
306.03/307.06 c #Conflicts: 4000 | #Constraints: 7646
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 5000 | #Constraints: 7045
306.03/307.06 c #Conflicts: 6000 | #Constraints: 8045
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 7000 | #Constraints: 7046
306.03/307.06 c #Conflicts: 8000 | #Constraints: 8046
306.03/307.06 c #Conflicts: 9000 | #Constraints: 9046
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 10000 | #Constraints: 7751
306.03/307.06 c #Conflicts: 11000 | #Constraints: 8751
306.03/307.06 c #Conflicts: 12000 | #Constraints: 9751
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 13000 | #Constraints: 8201
306.03/307.06 c #Conflicts: 14000 | #Constraints: 9201
306.03/307.06 c #Conflicts: 15000 | #Constraints: 10201
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 16000 | #Constraints: 8429
306.03/307.06 c #Conflicts: 17000 | #Constraints: 9429
306.03/307.06 c #Conflicts: 18000 | #Constraints: 10429
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 19000 | #Constraints: 8447
306.03/307.06 c #Conflicts: 20000 | #Constraints: 9447
306.03/307.06 c #Conflicts: 21000 | #Constraints: 10447
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 22000 | #Constraints: 8257
306.03/307.06 c #Conflicts: 23000 | #Constraints: 9257
306.03/307.06 c #Conflicts: 24000 | #Constraints: 10257
306.03/307.06 c #Conflicts: 25000 | #Constraints: 11257
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 26000 | #Constraints: 8866
306.03/307.06 c #Conflicts: 27000 | #Constraints: 9866
306.03/307.06 c #Conflicts: 28000 | #Constraints: 10866
306.03/307.06 c #Conflicts: 29000 | #Constraints: 11866
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 30000 | #Constraints: 9266
306.03/307.06 c #Conflicts: 31000 | #Constraints: 10266
306.03/307.06 c #Conflicts: 32000 | #Constraints: 11266
306.03/307.06 c #Conflicts: 33000 | #Constraints: 12266
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 34000 | #Constraints: 9467
306.03/307.06 c #Conflicts: 35000 | #Constraints: 10467
306.03/307.06 c #Conflicts: 36000 | #Constraints: 11467
306.03/307.06 c #Conflicts: 37000 | #Constraints: 12467
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 38000 | #Constraints: 9486
306.03/307.06 c #Conflicts: 39000 | #Constraints: 10486
306.03/307.06 c #Conflicts: 40000 | #Constraints: 11486
306.03/307.06 c #Conflicts: 41000 | #Constraints: 12486
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 42000 | #Constraints: 9285
306.03/307.06 c #Conflicts: 43000 | #Constraints: 10285
306.03/307.06 c #Conflicts: 44000 | #Constraints: 11285
306.03/307.06 c #Conflicts: 45000 | #Constraints: 12285
306.03/307.06 c #Conflicts: 46000 | #Constraints: 13285
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 47000 | #Constraints: 9884
306.03/307.06 c #Conflicts: 48000 | #Constraints: 10884
306.03/307.06 c #Conflicts: 49000 | #Constraints: 11884
306.03/307.06 c #Conflicts: 50000 | #Constraints: 12884
306.03/307.06 c #Conflicts: 51000 | #Constraints: 13884
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 52000 | #Constraints: 10287
306.03/307.06 c #Conflicts: 53000 | #Constraints: 11287
306.03/307.06 c #Conflicts: 54000 | #Constraints: 12287
306.03/307.06 c #Conflicts: 55000 | #Constraints: 13287
306.03/307.06 c #Conflicts: 56000 | #Constraints: 14287
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 57000 | #Constraints: 10488
306.03/307.06 c #Conflicts: 58000 | #Constraints: 11488
306.03/307.06 c #Conflicts: 59000 | #Constraints: 12488
306.03/307.06 c #Conflicts: 60000 | #Constraints: 13488
306.03/307.06 c #Conflicts: 61000 | #Constraints: 14488
306.03/307.06 c INPROCESSING
306.03/307.06 c GARBAGE COLLECT
306.03/307.06 c #Conflicts: 62000 | #Constraints: 10499
306.03/307.06 c #Conflicts: 63000 | #Constraints: 11499
306.03/307.06 c #Conflicts: 64000 | #Constraints: 12499
306.03/307.06 c #Conflicts: 65000 | #Constraints: 13499
315.21/316.21 c #Conflicts: 66000 | #Constraints: 14499
315.21/316.21 c INPROCESSING
315.21/316.21 c GARBAGE COLLECT
315.21/316.21 c #Conflicts: 67000 | #Constraints: 10296
315.21/316.21 c #Conflicts: 68000 | #Constraints: 11296
315.21/316.21 c #Conflicts: 69000 | #Constraints: 12296
315.21/316.21 c #Conflicts: 70000 | #Constraints: 13296
315.21/316.21 c #Conflicts: 71000 | #Constraints: 14296
315.21/316.21 c #Conflicts: 72000 | #Constraints: 15296
315.21/316.21 c INPROCESSING
315.21/316.21 c GARBAGE COLLECT
315.21/316.21 c #Conflicts: 73000 | #Constraints: 10890
315.21/316.21 c #Conflicts: 74000 | #Constraints: 11890
315.21/316.21 c #Conflicts: 75000 | #Constraints: 12890
315.21/316.21 c #Conflicts: 76000 | #Constraints: 13890
315.21/316.21 c #Conflicts: 77000 | #Constraints: 14890
315.21/316.21 c #Conflicts: 78000 | #Constraints: 15890
315.21/316.21 c INPROCESSING
315.21/316.21 c GARBAGE COLLECT
315.21/316.21 c #Conflicts: 79000 | #Constraints: 11292
315.21/316.21 c #Conflicts: 80000 | #Constraints: 12292
315.21/316.21 c #Conflicts: 81000 | #Constraints: 13292
315.21/316.21 c #Conflicts: 82000 | #Constraints: 14292
315.21/316.21 c #Conflicts: 83000 | #Constraints: 15292
315.21/316.21 c #Conflicts: 84000 | #Constraints: 16292
315.21/316.21 c INPROCESSING
315.21/316.21 c GARBAGE COLLECT
315.21/316.21 c #Conflicts: 85000 | #Constraints: 11500
315.21/316.21 c #Conflicts: 86000 | #Constraints: 12500
315.21/316.21 c #Conflicts: 87000 | #Constraints: 13500
315.21/316.21 c #Conflicts: 88000 | #Constraints: 14500
315.21/316.21 c #Conflicts: 89000 | #Constraints: 15500
315.21/316.21 c #Conflicts: 90000 | #Constraints: 16500
315.21/316.21 c INPROCESSING
315.21/316.21 c GARBAGE COLLECT
315.21/316.21 c #Conflicts: 91000 | #Constraints: 11511
315.21/316.21 c #Conflicts: 92000 | #Constraints: 12511
315.21/316.21 c #Conflicts: 93000 | #Constraints: 13511
315.21/316.21 c #Conflicts: 94000 | #Constraints: 14511
315.21/316.21 c #Conflicts: 95000 | #Constraints: 15511
315.21/316.21 c #Conflicts: 96000 | #Constraints: 16511
315.21/316.21 c INPROCESSING
315.21/316.21 c GARBAGE COLLECT
315.21/316.21 c #Conflicts: 97000 | #Constraints: 11316
315.21/316.21 c #Conflicts: 98000 | #Constraints: 12316
315.21/316.21 c #Conflicts: 99000 | #Constraints: 13316
315.21/316.21 c #Conflicts: 100000 | #Constraints: 14316
315.21/316.21 c #Conflicts: 101000 | #Constraints: 15316
315.21/316.21 c #Conflicts: 102000 | #Constraints: 16316
315.21/316.21 c #Conflicts: 103000 | #Constraints: 17316
315.21/316.21 c INPROCESSING
315.21/316.21 c GARBAGE COLLECT
315.21/316.21 c #Conflicts: 104000 | #Constraints: 11909
315.21/316.21 c #Conflicts: 105000 | #Constraints: 12909
315.21/316.21 c #Conflicts: 106000 | #Constraints: 13909
315.21/316.21 c #Conflicts: 107000 | #Constraints: 14909
315.21/316.21 c #Conflicts: 108000 | #Constraints: 15909
315.21/316.21 c #Conflicts: 109000 | #Constraints: 16909
315.21/316.21 c #Conflicts: 110000 | #Constraints: 17909
315.21/316.21 c INPROCESSING
315.21/316.21 c GARBAGE COLLECT
315.21/316.21 c #Conflicts: 111000 | #Constraints: 12310
315.21/316.21 c #Conflicts: 112000 | #Constraints: 13310
315.21/316.21 c #Conflicts: 113000 | #Constraints: 14310
315.21/316.21 c #Conflicts: 114000 | #Constraints: 15310
315.21/316.21 c #Conflicts: 115000 | #Constraints: 16310
315.21/316.21 c #Conflicts: 116000 | #Constraints: 17310
315.21/316.21 c #Conflicts: 117000 | #Constraints: 18310
315.21/316.21 c INPROCESSING
315.21/316.21 c GARBAGE COLLECT
315.21/316.21 c #Conflicts: 118000 | #Constraints: 12507
315.21/316.21 c #Conflicts: 119000 | #Constraints: 13507
315.21/316.21 c #Conflicts: 120000 | #Constraints: 14507
315.21/316.21 c #Conflicts: 121000 | #Constraints: 15507
315.21/316.21 c #Conflicts: 122000 | #Constraints: 16507
315.21/316.21 c #Conflicts: 123000 | #Constraints: 17507
315.21/316.21 c #Conflicts: 124000 | #Constraints: 18507
315.21/316.21 c INPROCESSING
315.21/316.21 c GARBAGE COLLECT
315.21/316.21 c #Conflicts: 125000 | #Constraints: 12506
315.21/316.21 c #Conflicts: 126000 | #Constraints: 13506
315.21/316.21 c #Conflicts: 127000 | #Constraints: 14506
315.21/316.21 c #Conflicts: 128000 | #Constraints: 15506
315.21/316.21 c #Conflicts: 129000 | #Constraints: 16506
315.21/316.21 c #Conflicts: 130000 | #Constraints: 17506
315.21/316.21 c #Conflicts: 131000 | #Constraints: 18506
315.21/316.21 c INPROCESSING
315.21/316.21 c GARBAGE COLLECT
315.21/316.21 c #Conflicts: 132000 | #Constraints: 12301
315.21/316.21 c #Conflicts: 133000 | #Constraints: 13301
315.21/316.21 c #Conflicts: 134000 | #Constraints: 14301
315.21/316.21 c #Conflicts: 135000 | #Constraints: 15301
315.21/316.21 c #Conflicts: 136000 | #Constraints: 16301
315.21/316.21 c #Conflicts: 137000 | #Constraints: 17301
326.08/327.12 c #Conflicts: 138000 | #Constraints: 18301
326.08/327.12 c #Conflicts: 139000 | #Constraints: 19301
326.08/327.12 c INPROCESSING
326.08/327.12 c GARBAGE COLLECT
326.08/327.12 c #Conflicts: 140000 | #Constraints: 12912
326.08/327.12 c #Conflicts: 141000 | #Constraints: 13912
326.08/327.12 c #Conflicts: 142000 | #Constraints: 14912
326.08/327.12 c #Conflicts: 143000 | #Constraints: 15912
326.08/327.12 c #Conflicts: 144000 | #Constraints: 16912
326.08/327.12 c #Conflicts: 145000 | #Constraints: 17912
326.08/327.12 c #Conflicts: 146000 | #Constraints: 18912
326.08/327.12 c #Conflicts: 147000 | #Constraints: 19912
326.08/327.12 c INPROCESSING
326.08/327.12 c GARBAGE COLLECT
326.08/327.12 c #Conflicts: 148000 | #Constraints: 13310
326.08/327.12 c #Conflicts: 149000 | #Constraints: 14310
326.08/327.12 c #Conflicts: 150000 | #Constraints: 15310
326.08/327.12 c #Conflicts: 151000 | #Constraints: 16310
326.08/327.12 c #Conflicts: 152000 | #Constraints: 17310
326.08/327.12 c #Conflicts: 153000 | #Constraints: 18310
326.08/327.12 c #Conflicts: 154000 | #Constraints: 19310
326.08/327.12 c #Conflicts: 155000 | #Constraints: 20310
326.08/327.12 c INPROCESSING
326.08/327.12 c GARBAGE COLLECT
326.08/327.12 c #Conflicts: 156000 | #Constraints: 13522
326.08/327.12 c #Conflicts: 157000 | #Constraints: 14522
326.08/327.12 c #Conflicts: 158000 | #Constraints: 15522
326.08/327.12 c #Conflicts: 159000 | #Constraints: 16522
326.08/327.12 c #Conflicts: 160000 | #Constraints: 17522
326.08/327.12 c #Conflicts: 161000 | #Constraints: 18522
326.08/327.12 c #Conflicts: 162000 | #Constraints: 19522
326.08/327.12 c #Conflicts: 163000 | #Constraints: 20522
326.08/327.12 c INPROCESSING
326.08/327.12 c GARBAGE COLLECT
326.08/327.12 c #Conflicts: 164000 | #Constraints: 13520
326.08/327.12 c #Conflicts: 165000 | #Constraints: 14520
326.08/327.12 c #Conflicts: 166000 | #Constraints: 15520
326.08/327.12 c #Conflicts: 167000 | #Constraints: 16520
326.08/327.12 c #Conflicts: 168000 | #Constraints: 17520
326.08/327.12 c #Conflicts: 169000 | #Constraints: 18520
326.08/327.12 c #Conflicts: 170000 | #Constraints: 19520
326.08/327.12 c #Conflicts: 171000 | #Constraints: 20520
326.08/327.12 c INPROCESSING
326.08/327.12 c GARBAGE COLLECT
326.08/327.12 c #Conflicts: 172000 | #Constraints: 13311
326.08/327.12 c #Conflicts: 173000 | #Constraints: 14311
326.08/327.12 c #Conflicts: 174000 | #Constraints: 15311
326.08/327.12 c #Conflicts: 175000 | #Constraints: 16311
326.08/327.12 c #Conflicts: 176000 | #Constraints: 17311
326.08/327.12 c #Conflicts: 177000 | #Constraints: 18311
326.08/327.12 c #Conflicts: 178000 | #Constraints: 19311
326.08/327.12 c #Conflicts: 179000 | #Constraints: 20311
326.08/327.12 c #Conflicts: 180000 | #Constraints: 21311
326.08/327.12 c INPROCESSING
326.08/327.12 c GARBAGE COLLECT
326.08/327.12 c #Conflicts: 181000 | #Constraints: 13910
326.08/327.12 c #Conflicts: 182000 | #Constraints: 14910
326.08/327.12 c #Conflicts: 183000 | #Constraints: 15910
326.08/327.12 c #Conflicts: 184000 | #Constraints: 16910
326.08/327.12 c #Conflicts: 185000 | #Constraints: 17910
326.08/327.12 c #Conflicts: 186000 | #Constraints: 18910
326.08/327.12 c #Conflicts: 187000 | #Constraints: 19910
326.08/327.12 c #Conflicts: 188000 | #Constraints: 20910
326.08/327.12 c #Conflicts: 189000 | #Constraints: 21910
326.08/327.12 c INPROCESSING
326.08/327.12 c GARBAGE COLLECT
326.08/327.12 c #Conflicts: 190000 | #Constraints: 14317
326.08/327.12 c #Conflicts: 191000 | #Constraints: 15317
326.08/327.12 c #Conflicts: 192000 | #Constraints: 16317
326.08/327.12 c #Conflicts: 193000 | #Constraints: 17317
326.08/327.12 c #Conflicts: 194000 | #Constraints: 18317
326.08/327.12 c #Conflicts: 195000 | #Constraints: 19317
326.08/327.12 c #Conflicts: 196000 | #Constraints: 20317
326.08/327.12 c #Conflicts: 197000 | #Constraints: 21317
326.08/327.12 c #Conflicts: 198000 | #Constraints: 22317
326.08/327.12 c INPROCESSING
326.08/327.12 c GARBAGE COLLECT
326.08/327.12 c #Conflicts: 199000 | #Constraints: 14530
326.08/327.12 c #Conflicts: 200000 | #Constraints: 15530
326.08/327.12 c #Conflicts: 201000 | #Constraints: 16530
326.08/327.12 c #Conflicts: 202000 | #Constraints: 17530
326.08/327.12 c #Conflicts: 203000 | #Constraints: 18530
326.08/327.12 c #Conflicts: 204000 | #Constraints: 19530
326.08/327.12 c #Conflicts: 205000 | #Constraints: 20530
326.08/327.12 c #Conflicts: 206000 | #Constraints: 21530
326.08/327.12 c #Conflicts: 207000 | #Constraints: 22530
326.08/327.12 c INPROCESSING
326.08/327.12 c GARBAGE COLLECT
326.08/327.12 c #Conflicts: 208000 | #Constraints: 14527
326.08/327.12 c #Conflicts: 209000 | #Constraints: 15527
326.08/327.12 c #Conflicts: 210000 | #Constraints: 16527
337.74/338.88 c #Conflicts: 211000 | #Constraints: 17527
337.74/338.88 c #Conflicts: 212000 | #Constraints: 18527
337.74/338.88 c #Conflicts: 213000 | #Constraints: 19527
337.74/338.88 c #Conflicts: 214000 | #Constraints: 20527
337.74/338.88 c #Conflicts: 215000 | #Constraints: 21527
337.74/338.88 c #Conflicts: 216000 | #Constraints: 22527
337.74/338.88 c INPROCESSING
337.74/338.88 c GARBAGE COLLECT
337.74/338.88 c #Conflicts: 217000 | #Constraints: 14330
337.74/338.88 c #Conflicts: 218000 | #Constraints: 15330
337.74/338.88 c #Conflicts: 219000 | #Constraints: 16330
337.74/338.88 c #Conflicts: 220000 | #Constraints: 17330
337.74/338.88 c #Conflicts: 221000 | #Constraints: 18330
337.74/338.88 c #Conflicts: 222000 | #Constraints: 19330
337.74/338.88 c #Conflicts: 223000 | #Constraints: 20330
337.74/338.88 c #Conflicts: 224000 | #Constraints: 21330
337.74/338.88 c #Conflicts: 225000 | #Constraints: 22330
337.74/338.88 c #Conflicts: 226000 | #Constraints: 23330
337.74/338.88 c INPROCESSING
337.74/338.88 c GARBAGE COLLECT
337.74/338.88 c #Conflicts: 227000 | #Constraints: 14919
337.74/338.88 c #Conflicts: 228000 | #Constraints: 15919
337.74/338.88 c #Conflicts: 229000 | #Constraints: 16919
337.74/338.88 c #Conflicts: 230000 | #Constraints: 17919
337.74/338.88 c #Conflicts: 231000 | #Constraints: 18919
337.74/338.88 c #Conflicts: 232000 | #Constraints: 19919
337.74/338.88 c #Conflicts: 233000 | #Constraints: 20919
337.74/338.88 c #Conflicts: 234000 | #Constraints: 21919
337.74/338.88 c #Conflicts: 235000 | #Constraints: 22919
337.74/338.88 c #Conflicts: 236000 | #Constraints: 23919
337.74/338.88 c INPROCESSING
337.74/338.88 c GARBAGE COLLECT
337.74/338.88 c #Conflicts: 237000 | #Constraints: 15321
337.74/338.88 c #Conflicts: 238000 | #Constraints: 16321
337.74/338.88 c #Conflicts: 239000 | #Constraints: 17321
337.74/338.88 c #Conflicts: 240000 | #Constraints: 18321
337.74/338.88 c #Conflicts: 241000 | #Constraints: 19321
337.74/338.88 c #Conflicts: 242000 | #Constraints: 20321
337.74/338.88 c #Conflicts: 243000 | #Constraints: 21321
337.74/338.88 c #Conflicts: 244000 | #Constraints: 22321
337.74/338.88 c #Conflicts: 245000 | #Constraints: 23321
337.74/338.88 c #Conflicts: 246000 | #Constraints: 24321
337.74/338.88 c INPROCESSING
337.74/338.88 c GARBAGE COLLECT
337.74/338.88 c #Conflicts: 247000 | #Constraints: 15514
337.74/338.88 c #Conflicts: 248000 | #Constraints: 16514
337.74/338.88 c #Conflicts: 249000 | #Constraints: 17514
337.74/338.88 c #Conflicts: 250000 | #Constraints: 18514
337.74/338.88 c #Conflicts: 251000 | #Constraints: 19514
337.74/338.88 c #Conflicts: 252000 | #Constraints: 20514
337.74/338.88 c #Conflicts: 253000 | #Constraints: 21514
337.74/338.88 c #Conflicts: 254000 | #Constraints: 22514
337.74/338.88 c #Conflicts: 255000 | #Constraints: 23514
337.74/338.88 c #Conflicts: 256000 | #Constraints: 24514
337.74/338.88 c INPROCESSING
337.74/338.88 c GARBAGE COLLECT
337.74/338.88 c #Conflicts: 257000 | #Constraints: 15513
337.74/338.88 c #Conflicts: 258000 | #Constraints: 16513
337.74/338.88 c #Conflicts: 259000 | #Constraints: 17513
337.74/338.88 c #Conflicts: 260000 | #Constraints: 18513
337.74/338.88 c #Conflicts: 261000 | #Constraints: 19513
337.74/338.88 c #Conflicts: 262000 | #Constraints: 20513
337.74/338.88 c #Conflicts: 263000 | #Constraints: 21513
337.74/338.88 c #Conflicts: 264000 | #Constraints: 22513
337.74/338.88 c #Conflicts: 265000 | #Constraints: 23513
337.74/338.88 c #Conflicts: 266000 | #Constraints: 24513
337.74/338.88 c INPROCESSING
337.74/338.88 c GARBAGE COLLECT
337.74/338.88 c #Conflicts: 267000 | #Constraints: 15315
337.74/338.88 c #Conflicts: 268000 | #Constraints: 16315
337.74/338.88 c #Conflicts: 269000 | #Constraints: 17315
337.74/338.88 c #Conflicts: 270000 | #Constraints: 18315
337.74/338.88 c #Conflicts: 271000 | #Constraints: 19315
337.74/338.88 c #Conflicts: 272000 | #Constraints: 20315
337.74/338.88 c #Conflicts: 273000 | #Constraints: 21315
337.74/338.88 c #Conflicts: 274000 | #Constraints: 22315
337.74/338.88 c #Conflicts: 275000 | #Constraints: 23315
337.74/338.88 c #Conflicts: 276000 | #Constraints: 24315
337.74/338.88 c #Conflicts: 277000 | #Constraints: 25315
337.74/338.88 c INPROCESSING
337.74/338.88 c GARBAGE COLLECT
337.74/338.88 c #Conflicts: 278000 | #Constraints: 15917
337.74/338.88 c #Conflicts: 279000 | #Constraints: 16917
337.74/338.88 c #Conflicts: 280000 | #Constraints: 17917
337.74/338.88 c #Conflicts: 281000 | #Constraints: 18917
337.74/338.88 c #Conflicts: 282000 | #Constraints: 19917
337.74/338.88 c #Conflicts: 283000 | #Constraints: 20917
337.74/338.88 c #Conflicts: 284000 | #Constraints: 21917
345.71/346.82 c #Conflicts: 285000 | #Constraints: 22917
345.71/346.82 c #Conflicts: 286000 | #Constraints: 23917
345.71/346.82 c #Conflicts: 287000 | #Constraints: 24917
345.71/346.82 c #Conflicts: 288000 | #Constraints: 25917
345.71/346.82 c INPROCESSING
345.71/346.82 c GARBAGE COLLECT
345.71/346.82 c #Conflicts: 289000 | #Constraints: 16326
345.71/346.82 c #Conflicts: 290000 | #Constraints: 17326
345.71/346.82 c #Conflicts: 291000 | #Constraints: 18326
345.71/346.82 c #Conflicts: 292000 | #Constraints: 19326
345.71/346.82 c #Conflicts: 293000 | #Constraints: 20326
345.71/346.82 c #Conflicts: 294000 | #Constraints: 21326
345.71/346.82 c #Conflicts: 295000 | #Constraints: 22326
345.71/346.82 c #Conflicts: 296000 | #Constraints: 23326
345.71/346.82 c #Conflicts: 297000 | #Constraints: 24326
345.71/346.82 c #Conflicts: 298000 | #Constraints: 25326
345.71/346.82 c #Conflicts: 299000 | #Constraints: 26326
345.71/346.82 c INPROCESSING
345.71/346.82 c GARBAGE COLLECT
345.71/346.82 c #Conflicts: 300000 | #Constraints: 16530
345.71/346.82 c #Conflicts: 301000 | #Constraints: 17530
345.71/346.82 c #Conflicts: 302000 | #Constraints: 18530
345.71/346.82 c #Conflicts: 303000 | #Constraints: 19530
345.71/346.82 c #Conflicts: 304000 | #Constraints: 20530
345.71/346.82 c #Conflicts: 305000 | #Constraints: 21530
345.71/346.82 c #Conflicts: 306000 | #Constraints: 22530
345.71/346.82 c #Conflicts: 307000 | #Constraints: 23530
345.71/346.82 c #Conflicts: 308000 | #Constraints: 24530
345.71/346.82 c #Conflicts: 309000 | #Constraints: 25530
345.71/346.82 c #Conflicts: 310000 | #Constraints: 26530
345.71/346.82 c INPROCESSING
345.71/346.82 c GARBAGE COLLECT
345.71/346.82 c #Conflicts: 311000 | #Constraints: 16534
345.71/346.82 c #Conflicts: 312000 | #Constraints: 17534
345.71/346.82 c #Conflicts: 313000 | #Constraints: 18534
345.71/346.82 c #Conflicts: 314000 | #Constraints: 19534
345.71/346.82 c #Conflicts: 315000 | #Constraints: 20534
345.71/346.82 c #Conflicts: 316000 | #Constraints: 21534
345.71/346.82 c #Conflicts: 317000 | #Constraints: 22534
345.71/346.82 c #Conflicts: 318000 | #Constraints: 23534
345.71/346.82 c #Conflicts: 319000 | #Constraints: 24534
345.71/346.82 c #Conflicts: 320000 | #Constraints: 25534
345.71/346.82 c #Conflicts: 321000 | #Constraints: 26534
345.71/346.82 c INPROCESSING
345.71/346.82 c GARBAGE COLLECT
345.71/346.82 c #Conflicts: 322000 | #Constraints: 16329
345.71/346.82 c #Conflicts: 323000 | #Constraints: 17329
345.71/346.82 c #Conflicts: 324000 | #Constraints: 18329
345.71/346.82 c #Conflicts: 325000 | #Constraints: 19329
345.71/346.82 c #Conflicts: 326000 | #Constraints: 20329
345.71/346.82 c #Conflicts: 327000 | #Constraints: 21329
345.71/346.82 c #Conflicts: 328000 | #Constraints: 22329
345.71/346.82 c #Conflicts: 329000 | #Constraints: 23329
345.71/346.82 c #Conflicts: 330000 | #Constraints: 24329
345.71/346.82 c finalizing WCE round: reformulating cores
414.71/416.09 c #Conflicts: 331000 | #Constraints: 25332
414.71/416.09 c #Conflicts: 332000 | #Constraints: 26334
414.71/416.09 c #Conflicts: 333000 | #Constraints: 27338
414.71/416.09 c INPROCESSING
414.71/416.09 c GARBAGE COLLECT
414.71/416.09 c #Conflicts: 334000 | #Constraints: 16931
414.71/416.09 c #Conflicts: 335000 | #Constraints: 17933
414.71/416.09 c #Conflicts: 336000 | #Constraints: 18935
414.71/416.09 c bounds 66 >= 14 @ 345.535
414.71/416.09 c bounds 66 >= 16 @ 345.548
414.71/416.09 c bounds 66 >= 18 @ 345.586
414.71/416.09 c #Conflicts: 337000 | #Constraints: 19959
414.71/416.09 c #Conflicts: 338000 | #Constraints: 20959
414.71/416.09 c #Conflicts: 339000 | #Constraints: 21959
414.71/416.09 c #Conflicts: 340000 | #Constraints: 22959
414.71/416.09 c #Conflicts: 341000 | #Constraints: 23959
414.71/416.09 c #Conflicts: 342000 | #Constraints: 24959
414.71/416.09 c #Conflicts: 343000 | #Constraints: 25959
414.71/416.09 c #Conflicts: 344000 | #Constraints: 26959
414.71/416.09 c #Conflicts: 345000 | #Constraints: 27959
414.71/416.09 c INPROCESSING
414.71/416.09 c GARBAGE COLLECT
414.71/416.09 c #Conflicts: 346000 | #Constraints: 17373
414.71/416.09 c #Conflicts: 347000 | #Constraints: 18373
414.71/416.09 c #Conflicts: 348000 | #Constraints: 19373
414.71/416.09 c #Conflicts: 349000 | #Constraints: 20373
414.71/416.09 c #Conflicts: 350000 | #Constraints: 21373
414.71/416.09 c #Conflicts: 351000 | #Constraints: 22373
414.71/416.09 c #Conflicts: 352000 | #Constraints: 23373
414.71/416.09 c #Conflicts: 353000 | #Constraints: 24373
414.71/416.09 c #Conflicts: 354000 | #Constraints: 25373
414.71/416.09 c #Conflicts: 355000 | #Constraints: 26373
414.71/416.09 c #Conflicts: 356000 | #Constraints: 27373
414.71/416.09 c #Conflicts: 357000 | #Constraints: 28373
414.71/416.09 c INPROCESSING
414.71/416.09 c GARBAGE COLLECT
414.71/416.09 c #Conflicts: 358000 | #Constraints: 17581
414.71/416.09 c #Conflicts: 359000 | #Constraints: 18581
414.71/416.09 c #Conflicts: 360000 | #Constraints: 19581
414.71/416.09 c #Conflicts: 361000 | #Constraints: 20581
414.71/416.09 c #Conflicts: 362000 | #Constraints: 21581
414.71/416.09 c #Conflicts: 363000 | #Constraints: 22581
414.71/416.09 c #Conflicts: 364000 | #Constraints: 23581
414.71/416.09 c #Conflicts: 365000 | #Constraints: 24581
414.71/416.09 c #Conflicts: 366000 | #Constraints: 25581
414.71/416.09 c #Conflicts: 367000 | #Constraints: 26581
414.71/416.09 c #Conflicts: 368000 | #Constraints: 27581
414.71/416.09 c #Conflicts: 369000 | #Constraints: 28581
414.71/416.09 c INPROCESSING
414.71/416.09 c GARBAGE COLLECT
414.71/416.09 c #Conflicts: 370000 | #Constraints: 17592
414.71/416.09 c #Conflicts: 371000 | #Constraints: 18592
414.71/416.09 c #Conflicts: 372000 | #Constraints: 19592
414.71/416.09 c #Conflicts: 373000 | #Constraints: 20592
414.71/416.09 c #Conflicts: 374000 | #Constraints: 21592
414.71/416.09 c #Conflicts: 375000 | #Constraints: 22592
414.71/416.09 c #Conflicts: 376000 | #Constraints: 23592
414.71/416.09 c #Conflicts: 377000 | #Constraints: 24592
414.71/416.09 c #Conflicts: 378000 | #Constraints: 25592
414.71/416.09 c #Conflicts: 379000 | #Constraints: 26592
414.71/416.09 c #Conflicts: 380000 | #Constraints: 27592
414.71/416.09 c #Conflicts: 381000 | #Constraints: 28592
414.71/416.09 c #Conflicts: 382000 | #Constraints: 29592
414.71/416.09 c #Conflicts: 383000 | #Constraints: 30592
414.71/416.09 c #Conflicts: 384000 | #Constraints: 31592
414.71/416.09 c #Conflicts: 385000 | #Constraints: 32592
414.71/416.09 c #Conflicts: 386000 | #Constraints: 33592
414.71/416.09 c #Conflicts: 387000 | #Constraints: 34592
414.71/416.09 c #Conflicts: 388000 | #Constraints: 35592
414.71/416.09 c #Conflicts: 389000 | #Constraints: 36592
414.71/416.09 c #Conflicts: 390000 | #Constraints: 37592
414.71/416.09 c #Conflicts: 391000 | #Constraints: 38592
414.71/416.09 c #Conflicts: 392000 | #Constraints: 39592
414.71/416.09 c #Conflicts: 393000 | #Constraints: 40592
414.71/416.09 c #Conflicts: 394000 | #Constraints: 41592
414.71/416.09 c #Conflicts: 395000 | #Constraints: 42592
414.71/416.09 c #Conflicts: 396000 | #Constraints: 43592
414.71/416.09 c #Conflicts: 397000 | #Constraints: 44592
414.71/416.09 c #Conflicts: 398000 | #Constraints: 45592
414.71/416.09 c #Conflicts: 399000 | #Constraints: 46592
414.71/416.09 c #Conflicts: 400000 | #Constraints: 47592
414.71/416.09 c #Conflicts: 401000 | #Constraints: 48592
414.71/416.09 c #Conflicts: 402000 | #Constraints: 49592
414.71/416.09 c #Conflicts: 403000 | #Constraints: 50592
414.71/416.09 c #Conflicts: 404000 | #Constraints: 51592
414.71/416.09 c #Conflicts: 405000 | #Constraints: 52592
620.35/622.36 c #Conflicts: 406000 | #Constraints: 53592
620.35/622.36 c #Conflicts: 407000 | #Constraints: 54592
620.35/622.36 c #Conflicts: 408000 | #Constraints: 55592
620.35/622.36 c #Conflicts: 409000 | #Constraints: 56592
620.35/622.36 c #Conflicts: 410000 | #Constraints: 57592
620.35/622.36 c #Conflicts: 411000 | #Constraints: 58592
620.35/622.36 c #Conflicts: 412000 | #Constraints: 59592
620.35/622.36 c #Conflicts: 413000 | #Constraints: 60592
620.35/622.36 c #Conflicts: 414000 | #Constraints: 61592
620.35/622.36 c #Conflicts: 415000 | #Constraints: 62592
620.35/622.36 c #Conflicts: 416000 | #Constraints: 63592
620.35/622.36 c #Conflicts: 417000 | #Constraints: 64592
620.35/622.36 c #Conflicts: 418000 | #Constraints: 65592
620.35/622.36 c #Conflicts: 419000 | #Constraints: 66592
620.35/622.36 c #Conflicts: 420000 | #Constraints: 67592
620.35/622.36 c #Conflicts: 421000 | #Constraints: 68592
620.35/622.36 c #Conflicts: 422000 | #Constraints: 69592
620.35/622.36 c #Conflicts: 423000 | #Constraints: 70592
620.35/622.36 c #Conflicts: 424000 | #Constraints: 71592
620.35/622.36 c #Conflicts: 425000 | #Constraints: 72592
620.35/622.36 c #Conflicts: 426000 | #Constraints: 73592
620.35/622.36 c #Conflicts: 427000 | #Constraints: 74592
620.35/622.36 c #Conflicts: 428000 | #Constraints: 75592
620.35/622.36 c #Conflicts: 429000 | #Constraints: 76592
620.35/622.36 c INPROCESSING
620.35/622.36 c GARBAGE COLLECT
620.35/622.36 c #Conflicts: 430000 | #Constraints: 41553
620.35/622.36 c #Conflicts: 431000 | #Constraints: 42553
620.35/622.36 c #Conflicts: 432000 | #Constraints: 43553
620.35/622.36 c #Conflicts: 433000 | #Constraints: 44553
620.35/622.36 c #Conflicts: 434000 | #Constraints: 45553
620.35/622.36 c #Conflicts: 435000 | #Constraints: 46553
620.35/622.36 c #Conflicts: 436000 | #Constraints: 47553
620.35/622.36 c #Conflicts: 437000 | #Constraints: 48553
620.35/622.36 c #Conflicts: 438000 | #Constraints: 49553
620.35/622.36 c #Conflicts: 439000 | #Constraints: 50553
620.35/622.36 c #Conflicts: 440000 | #Constraints: 51553
620.35/622.36 c #Conflicts: 441000 | #Constraints: 52553
620.35/622.36 c #Conflicts: 442000 | #Constraints: 53553
620.35/622.36 c INPROCESSING
620.35/622.36 c GARBAGE COLLECT
620.35/622.36 c #Conflicts: 443000 | #Constraints: 29772
620.35/622.36 c #Conflicts: 444000 | #Constraints: 30772
620.35/622.36 c #Conflicts: 445000 | #Constraints: 31772
620.35/622.36 c #Conflicts: 446000 | #Constraints: 32772
620.35/622.36 c #Conflicts: 447000 | #Constraints: 33772
620.35/622.36 c #Conflicts: 448000 | #Constraints: 34772
620.35/622.36 c #Conflicts: 449000 | #Constraints: 35772
620.35/622.36 c #Conflicts: 450000 | #Constraints: 36772
620.35/622.36 c #Conflicts: 451000 | #Constraints: 37772
620.35/622.36 c #Conflicts: 452000 | #Constraints: 38772
620.35/622.36 c #Conflicts: 453000 | #Constraints: 39772
620.35/622.36 c #Conflicts: 454000 | #Constraints: 40772
620.35/622.36 c #Conflicts: 455000 | #Constraints: 41772
620.35/622.36 c #Conflicts: 456000 | #Constraints: 42772
620.35/622.36 c INPROCESSING
620.35/622.36 c GARBAGE COLLECT
620.35/622.36 c #Conflicts: 457000 | #Constraints: 24536
620.35/622.36 c #Conflicts: 458000 | #Constraints: 25536
620.35/622.36 c #Conflicts: 459000 | #Constraints: 26536
620.35/622.36 c #Conflicts: 460000 | #Constraints: 27536
620.35/622.36 c #Conflicts: 461000 | #Constraints: 28536
620.35/622.36 c #Conflicts: 462000 | #Constraints: 29536
620.35/622.36 c #Conflicts: 463000 | #Constraints: 30536
620.35/622.36 c #Conflicts: 464000 | #Constraints: 31536
620.35/622.36 c #Conflicts: 465000 | #Constraints: 32536
620.35/622.36 c #Conflicts: 466000 | #Constraints: 33536
620.35/622.36 c #Conflicts: 467000 | #Constraints: 34536
620.35/622.36 c #Conflicts: 468000 | #Constraints: 35536
620.35/622.36 c #Conflicts: 469000 | #Constraints: 36536
620.35/622.36 c #Conflicts: 470000 | #Constraints: 37536
620.35/622.36 c INPROCESSING
620.35/622.36 c GARBAGE COLLECT
620.35/622.36 c #Conflicts: 471000 | #Constraints: 21976
620.35/622.36 c #Conflicts: 472000 | #Constraints: 22976
620.35/622.36 c #Conflicts: 473000 | #Constraints: 23976
620.35/622.36 c #Conflicts: 474000 | #Constraints: 24976
620.35/622.36 c #Conflicts: 475000 | #Constraints: 25976
620.35/622.36 c #Conflicts: 476000 | #Constraints: 26976
620.35/622.36 c #Conflicts: 477000 | #Constraints: 27976
620.35/622.36 c #Conflicts: 478000 | #Constraints: 28976
620.35/622.36 c #Conflicts: 479000 | #Constraints: 29976
620.35/622.36 c #Conflicts: 480000 | #Constraints: 30976
620.35/622.36 c #Conflicts: 481000 | #Constraints: 31976
955.16/958.06 c #Conflicts: 482000 | #Constraints: 32976
955.16/958.06 c #Conflicts: 483000 | #Constraints: 33976
955.16/958.06 c #Conflicts: 484000 | #Constraints: 34976
955.16/958.06 c #Conflicts: 485000 | #Constraints: 35976
955.16/958.06 c #Conflicts: 486000 | #Constraints: 36976
955.16/958.06 c #Conflicts: 487000 | #Constraints: 37976
955.16/958.06 c #Conflicts: 488000 | #Constraints: 38976
955.16/958.06 c #Conflicts: 489000 | #Constraints: 39976
955.16/958.06 c #Conflicts: 490000 | #Constraints: 40976
955.16/958.06 c #Conflicts: 491000 | #Constraints: 41976
955.16/958.06 c #Conflicts: 492000 | #Constraints: 42976
955.16/958.06 c #Conflicts: 493000 | #Constraints: 43976
955.16/958.06 c #Conflicts: 494000 | #Constraints: 44976
955.16/958.06 c #Conflicts: 495000 | #Constraints: 45976
955.16/958.06 c #Conflicts: 496000 | #Constraints: 46976
955.16/958.06 c #Conflicts: 497000 | #Constraints: 47976
955.16/958.06 c #Conflicts: 498000 | #Constraints: 48976
955.16/958.06 c #Conflicts: 499000 | #Constraints: 49976
955.16/958.06 c #Conflicts: 500000 | #Constraints: 50976
955.16/958.06 c #Conflicts: 501000 | #Constraints: 51976
955.16/958.06 c #Conflicts: 502000 | #Constraints: 52976
955.16/958.06 c #Conflicts: 503000 | #Constraints: 53976
955.16/958.06 c #Conflicts: 504000 | #Constraints: 54976
955.16/958.06 c #Conflicts: 505000 | #Constraints: 55976
955.16/958.06 c #Conflicts: 506000 | #Constraints: 56976
955.16/958.06 c #Conflicts: 507000 | #Constraints: 57976
955.16/958.06 c #Conflicts: 508000 | #Constraints: 58976
955.16/958.06 c #Conflicts: 509000 | #Constraints: 59976
955.16/958.06 c #Conflicts: 510000 | #Constraints: 60976
955.16/958.06 c #Conflicts: 511000 | #Constraints: 61976
955.16/958.06 c #Conflicts: 512000 | #Constraints: 62976
955.16/958.06 c #Conflicts: 513000 | #Constraints: 63976
955.16/958.06 c #Conflicts: 514000 | #Constraints: 64976
955.16/958.06 c #Conflicts: 515000 | #Constraints: 65976
955.16/958.06 c #Conflicts: 516000 | #Constraints: 66976
955.16/958.06 c #Conflicts: 517000 | #Constraints: 67976
955.16/958.06 c #Conflicts: 518000 | #Constraints: 68976
955.16/958.06 c #Conflicts: 519000 | #Constraints: 69976
955.16/958.06 c #Conflicts: 520000 | #Constraints: 70976
955.16/958.06 c #Conflicts: 521000 | #Constraints: 71976
955.16/958.06 c #Conflicts: 522000 | #Constraints: 72976
955.16/958.06 c #Conflicts: 523000 | #Constraints: 73976
955.16/958.06 c #Conflicts: 524000 | #Constraints: 74976
955.16/958.06 c #Conflicts: 525000 | #Constraints: 75976
955.16/958.06 c #Conflicts: 526000 | #Constraints: 76976
955.16/958.06 c #Conflicts: 527000 | #Constraints: 77976
955.16/958.06 c #Conflicts: 528000 | #Constraints: 78976
955.16/958.06 c #Conflicts: 529000 | #Constraints: 79976
955.16/958.06 c #Conflicts: 530000 | #Constraints: 80976
955.16/958.06 c #Conflicts: 531000 | #Constraints: 81976
955.16/958.06 c #Conflicts: 532000 | #Constraints: 82976
955.16/958.06 c #Conflicts: 533000 | #Constraints: 83976
955.16/958.06 c #Conflicts: 534000 | #Constraints: 84976
955.16/958.06 c #Conflicts: 535000 | #Constraints: 85976
955.16/958.06 c INPROCESSING
955.16/958.06 c GARBAGE COLLECT
955.16/958.06 c #Conflicts: 536000 | #Constraints: 46007
955.16/958.06 c #Conflicts: 537000 | #Constraints: 47007
955.16/958.06 c #Conflicts: 538000 | #Constraints: 48007
955.16/958.06 c #Conflicts: 539000 | #Constraints: 49007
955.16/958.06 c #Conflicts: 540000 | #Constraints: 50007
955.16/958.06 c #Conflicts: 541000 | #Constraints: 51007
955.16/958.06 c #Conflicts: 542000 | #Constraints: 52007
955.16/958.06 c #Conflicts: 543000 | #Constraints: 53007
955.16/958.06 c #Conflicts: 544000 | #Constraints: 54007
955.16/958.06 c #Conflicts: 545000 | #Constraints: 55007
955.16/958.06 c #Conflicts: 546000 | #Constraints: 56007
955.16/958.06 c #Conflicts: 547000 | #Constraints: 57007
955.16/958.06 c #Conflicts: 548000 | #Constraints: 58007
955.16/958.06 c #Conflicts: 549000 | #Constraints: 59007
955.16/958.06 c #Conflicts: 550000 | #Constraints: 60007
955.16/958.06 c #Conflicts: 551000 | #Constraints: 61007
955.16/958.06 c INPROCESSING
955.16/958.06 c GARBAGE COLLECT
955.16/958.06 c #Conflicts: 552000 | #Constraints: 33912
955.16/958.06 c #Conflicts: 553000 | #Constraints: 34912
955.16/958.06 c #Conflicts: 554000 | #Constraints: 35912
955.16/958.06 c #Conflicts: 555000 | #Constraints: 36912
955.16/958.06 c #Conflicts: 556000 | #Constraints: 37912
955.16/958.06 c #Conflicts: 557000 | #Constraints: 38912
955.16/958.06 c #Conflicts: 558000 | #Constraints: 39912
955.16/958.06 c #Conflicts: 559000 | #Constraints: 40912
1187.30/1190.75 c #Conflicts: 560000 | #Constraints: 41912
1187.30/1190.75 c #Conflicts: 561000 | #Constraints: 42912
1187.30/1190.75 c #Conflicts: 562000 | #Constraints: 43912
1187.30/1190.75 c #Conflicts: 563000 | #Constraints: 44912
1187.30/1190.75 c #Conflicts: 564000 | #Constraints: 45912
1187.30/1190.75 c #Conflicts: 565000 | #Constraints: 46912
1187.30/1190.75 c #Conflicts: 566000 | #Constraints: 47912
1187.30/1190.75 c INPROCESSING
1187.30/1190.75 c GARBAGE COLLECT
1187.30/1190.75 c #Conflicts: 567000 | #Constraints: 27165
1187.30/1190.75 c #Conflicts: 568000 | #Constraints: 28165
1187.30/1190.75 c #Conflicts: 569000 | #Constraints: 29165
1187.30/1190.75 c #Conflicts: 570000 | #Constraints: 30165
1187.30/1190.75 c #Conflicts: 571000 | #Constraints: 31165
1187.30/1190.75 c #Conflicts: 572000 | #Constraints: 32165
1187.30/1190.75 c #Conflicts: 573000 | #Constraints: 33165
1187.30/1190.75 c #Conflicts: 574000 | #Constraints: 34165
1187.30/1190.75 c #Conflicts: 575000 | #Constraints: 35165
1187.30/1190.75 c #Conflicts: 576000 | #Constraints: 36165
1187.30/1190.75 c #Conflicts: 577000 | #Constraints: 37165
1187.30/1190.75 c #Conflicts: 578000 | #Constraints: 38165
1187.30/1190.75 c #Conflicts: 579000 | #Constraints: 39165
1187.30/1190.75 c #Conflicts: 580000 | #Constraints: 40165
1187.30/1190.75 c #Conflicts: 581000 | #Constraints: 41165
1187.30/1190.75 c #Conflicts: 582000 | #Constraints: 42165
1187.30/1190.75 c INPROCESSING
1187.30/1190.75 c GARBAGE COLLECT
1187.30/1190.75 c #Conflicts: 583000 | #Constraints: 24503
1187.30/1190.75 c #Conflicts: 584000 | #Constraints: 25503
1187.30/1190.75 c #Conflicts: 585000 | #Constraints: 26503
1187.30/1190.75 c #Conflicts: 586000 | #Constraints: 27503
1187.30/1190.75 c #Conflicts: 587000 | #Constraints: 28503
1187.30/1190.75 c #Conflicts: 588000 | #Constraints: 29503
1187.30/1190.75 c #Conflicts: 589000 | #Constraints: 30503
1187.30/1190.75 c #Conflicts: 590000 | #Constraints: 31503
1187.30/1190.75 c #Conflicts: 591000 | #Constraints: 32503
1187.30/1190.75 c #Conflicts: 592000 | #Constraints: 33503
1187.30/1190.75 c #Conflicts: 593000 | #Constraints: 34503
1187.30/1190.75 c #Conflicts: 594000 | #Constraints: 35503
1187.30/1190.75 c #Conflicts: 595000 | #Constraints: 36503
1187.30/1190.75 c #Conflicts: 596000 | #Constraints: 37503
1187.30/1190.75 c #Conflicts: 597000 | #Constraints: 38503
1187.30/1190.75 c #Conflicts: 598000 | #Constraints: 39503
1187.30/1190.75 c #Conflicts: 599000 | #Constraints: 40503
1187.30/1190.75 c #Conflicts: 600000 | #Constraints: 41503
1187.30/1190.75 c #Conflicts: 601000 | #Constraints: 42503
1187.30/1190.75 c #Conflicts: 602000 | #Constraints: 43503
1187.30/1190.75 c #Conflicts: 603000 | #Constraints: 44503
1187.30/1190.75 c #Conflicts: 604000 | #Constraints: 45503
1187.30/1190.75 c #Conflicts: 605000 | #Constraints: 46503
1187.30/1190.75 c #Conflicts: 606000 | #Constraints: 47503
1187.30/1190.75 c #Conflicts: 607000 | #Constraints: 48503
1187.30/1190.75 c #Conflicts: 608000 | #Constraints: 49503
1187.30/1190.75 c #Conflicts: 609000 | #Constraints: 50503
1187.30/1190.75 c #Conflicts: 610000 | #Constraints: 51503
1187.30/1190.75 c #Conflicts: 611000 | #Constraints: 52503
1187.30/1190.75 c #Conflicts: 612000 | #Constraints: 53503
1187.30/1190.75 c #Conflicts: 613000 | #Constraints: 54503
1187.30/1190.75 c #Conflicts: 614000 | #Constraints: 55503
1187.30/1190.75 c #Conflicts: 615000 | #Constraints: 56503
1187.30/1190.75 c #Conflicts: 616000 | #Constraints: 57503
1187.30/1190.75 c #Conflicts: 617000 | #Constraints: 58503
1187.30/1190.75 c #Conflicts: 618000 | #Constraints: 59503
1187.30/1190.75 c #Conflicts: 619000 | #Constraints: 60503
1187.30/1190.75 c #Conflicts: 620000 | #Constraints: 61503
1187.30/1190.75 c #Conflicts: 621000 | #Constraints: 62503
1187.30/1190.75 c #Conflicts: 622000 | #Constraints: 63503
1187.30/1190.75 c #Conflicts: 623000 | #Constraints: 64503
1187.30/1190.75 c #Conflicts: 624000 | #Constraints: 65503
1187.30/1190.75 c #Conflicts: 625000 | #Constraints: 66503
1187.30/1190.75 c #Conflicts: 626000 | #Constraints: 67503
1187.30/1190.75 c #Conflicts: 627000 | #Constraints: 68503
1187.30/1190.75 c #Conflicts: 628000 | #Constraints: 69503
1187.30/1190.75 c #Conflicts: 629000 | #Constraints: 70503
1187.30/1190.75 c #Conflicts: 630000 | #Constraints: 71503
1187.30/1190.75 c #Conflicts: 631000 | #Constraints: 72503
1187.30/1190.75 c #Conflicts: 632000 | #Constraints: 73503
1187.30/1190.75 c #Conflicts: 633000 | #Constraints: 74503
1187.30/1190.75 c #Conflicts: 634000 | #Constraints: 75503
1187.30/1190.75 c #Conflicts: 635000 | #Constraints: 76503
1187.30/1190.75 c #Conflicts: 636000 | #Constraints: 77503
1531.99/1536.22 c #Conflicts: 637000 | #Constraints: 78503
1531.99/1536.22 c #Conflicts: 638000 | #Constraints: 79503
1531.99/1536.22 c #Conflicts: 639000 | #Constraints: 80503
1531.99/1536.22 c #Conflicts: 640000 | #Constraints: 81503
1531.99/1536.22 c #Conflicts: 641000 | #Constraints: 82503
1531.99/1536.22 c #Conflicts: 642000 | #Constraints: 83503
1531.99/1536.22 c #Conflicts: 643000 | #Constraints: 84503
1531.99/1536.22 c #Conflicts: 644000 | #Constraints: 85503
1531.99/1536.22 c #Conflicts: 645000 | #Constraints: 86503
1531.99/1536.22 c #Conflicts: 646000 | #Constraints: 87503
1531.99/1536.22 c #Conflicts: 647000 | #Constraints: 88503
1531.99/1536.22 c #Conflicts: 648000 | #Constraints: 89503
1531.99/1536.22 c #Conflicts: 649000 | #Constraints: 90503
1531.99/1536.22 c #Conflicts: 650000 | #Constraints: 91503
1531.99/1536.22 c #Conflicts: 651000 | #Constraints: 92503
1531.99/1536.22 c #Conflicts: 652000 | #Constraints: 93503
1531.99/1536.22 c INPROCESSING
1531.99/1536.22 c GARBAGE COLLECT
1531.99/1536.22 c #Conflicts: 653000 | #Constraints: 49805
1531.99/1536.22 c #Conflicts: 654000 | #Constraints: 50805
1531.99/1536.22 c #Conflicts: 655000 | #Constraints: 51805
1531.99/1536.22 c #Conflicts: 656000 | #Constraints: 52805
1531.99/1536.22 c #Conflicts: 657000 | #Constraints: 53805
1531.99/1536.22 c #Conflicts: 658000 | #Constraints: 54805
1531.99/1536.22 c #Conflicts: 659000 | #Constraints: 55805
1531.99/1536.22 c #Conflicts: 660000 | #Constraints: 56805
1531.99/1536.22 c #Conflicts: 661000 | #Constraints: 57805
1531.99/1536.22 c #Conflicts: 662000 | #Constraints: 58805
1531.99/1536.22 c #Conflicts: 663000 | #Constraints: 59805
1531.99/1536.22 c #Conflicts: 664000 | #Constraints: 60805
1531.99/1536.22 c #Conflicts: 665000 | #Constraints: 61805
1531.99/1536.22 c #Conflicts: 666000 | #Constraints: 62805
1531.99/1536.22 c #Conflicts: 667000 | #Constraints: 63805
1531.99/1536.22 c #Conflicts: 668000 | #Constraints: 64805
1531.99/1536.22 c #Conflicts: 669000 | #Constraints: 65805
1531.99/1536.22 c INPROCESSING
1531.99/1536.22 c GARBAGE COLLECT
1531.99/1536.22 c #Conflicts: 670000 | #Constraints: 36021
1531.99/1536.22 c #Conflicts: 671000 | #Constraints: 37021
1531.99/1536.22 c #Conflicts: 672000 | #Constraints: 38021
1531.99/1536.22 c #Conflicts: 673000 | #Constraints: 39021
1531.99/1536.22 c #Conflicts: 674000 | #Constraints: 40021
1531.99/1536.22 c #Conflicts: 675000 | #Constraints: 41021
1531.99/1536.22 c #Conflicts: 676000 | #Constraints: 42021
1531.99/1536.22 c #Conflicts: 677000 | #Constraints: 43021
1531.99/1536.22 c #Conflicts: 678000 | #Constraints: 44021
1531.99/1536.22 c #Conflicts: 679000 | #Constraints: 45021
1531.99/1536.22 c #Conflicts: 680000 | #Constraints: 46021
1531.99/1536.22 c #Conflicts: 681000 | #Constraints: 47021
1531.99/1536.22 c #Conflicts: 682000 | #Constraints: 48021
1531.99/1536.22 c #Conflicts: 683000 | #Constraints: 49021
1531.99/1536.22 c #Conflicts: 684000 | #Constraints: 50021
1531.99/1536.22 c #Conflicts: 685000 | #Constraints: 51021
1531.99/1536.22 c #Conflicts: 686000 | #Constraints: 52021
1531.99/1536.22 c INPROCESSING
1531.99/1536.22 c GARBAGE COLLECT
1531.99/1536.22 c #Conflicts: 687000 | #Constraints: 29066
1531.99/1536.22 c #Conflicts: 688000 | #Constraints: 30066
1531.99/1536.22 c #Conflicts: 689000 | #Constraints: 31066
1531.99/1536.22 c #Conflicts: 690000 | #Constraints: 32066
1531.99/1536.22 c #Conflicts: 691000 | #Constraints: 33066
1531.99/1536.22 c #Conflicts: 692000 | #Constraints: 34066
1531.99/1536.22 c #Conflicts: 693000 | #Constraints: 35066
1531.99/1536.22 c #Conflicts: 694000 | #Constraints: 36066
1531.99/1536.22 c #Conflicts: 695000 | #Constraints: 37066
1531.99/1536.22 c #Conflicts: 696000 | #Constraints: 38066
1531.99/1536.22 c #Conflicts: 697000 | #Constraints: 39066
1531.99/1536.22 c #Conflicts: 698000 | #Constraints: 40066
1531.99/1536.22 c #Conflicts: 699000 | #Constraints: 41066
1531.99/1536.22 c #Conflicts: 700000 | #Constraints: 42066
1531.99/1536.22 c #Conflicts: 701000 | #Constraints: 43066
1531.99/1536.22 c #Conflicts: 702000 | #Constraints: 44066
1531.99/1536.22 c #Conflicts: 703000 | #Constraints: 45066
1531.99/1536.22 c #Conflicts: 704000 | #Constraints: 46066
1531.99/1536.22 c INPROCESSING
1531.99/1536.22 c GARBAGE COLLECT
1531.99/1536.22 c #Conflicts: 705000 | #Constraints: 26448
1531.99/1536.22 c #Conflicts: 706000 | #Constraints: 27448
1531.99/1536.22 c #Conflicts: 707000 | #Constraints: 28448
1531.99/1536.22 c #Conflicts: 708000 | #Constraints: 29448
1531.99/1536.22 c #Conflicts: 709000 | #Constraints: 30448
1531.99/1536.22 c #Conflicts: 710000 | #Constraints: 31448
1531.99/1536.22 c #Conflicts: 711000 | #Constraints: 32448
1531.99/1536.22 c #Conflicts: 712000 | #Constraints: 33448
1531.99/1536.22 c #Conflicts: 713000 | #Constraints: 34448
1936.50/1941.73 c #Conflicts: 714000 | #Constraints: 35448
1936.50/1941.73 c #Conflicts: 715000 | #Constraints: 36448
1936.50/1941.73 c #Conflicts: 716000 | #Constraints: 37448
1936.50/1941.73 c #Conflicts: 717000 | #Constraints: 38448
1936.50/1941.73 c #Conflicts: 718000 | #Constraints: 39448
1936.50/1941.73 c #Conflicts: 719000 | #Constraints: 40448
1936.50/1941.73 c #Conflicts: 720000 | #Constraints: 41448
1936.50/1941.73 c #Conflicts: 721000 | #Constraints: 42448
1936.50/1941.73 c #Conflicts: 722000 | #Constraints: 43448
1936.50/1941.73 c #Conflicts: 723000 | #Constraints: 44448
1936.50/1941.73 c #Conflicts: 724000 | #Constraints: 45448
1936.50/1941.73 c #Conflicts: 725000 | #Constraints: 46448
1936.50/1941.73 c #Conflicts: 726000 | #Constraints: 47448
1936.50/1941.73 c #Conflicts: 727000 | #Constraints: 48448
1936.50/1941.73 c #Conflicts: 728000 | #Constraints: 49448
1936.50/1941.73 c #Conflicts: 729000 | #Constraints: 50448
1936.50/1941.73 c #Conflicts: 730000 | #Constraints: 51448
1936.50/1941.73 c #Conflicts: 731000 | #Constraints: 52448
1936.50/1941.73 c #Conflicts: 732000 | #Constraints: 53448
1936.50/1941.73 c #Conflicts: 733000 | #Constraints: 54448
1936.50/1941.73 c #Conflicts: 734000 | #Constraints: 55448
1936.50/1941.73 c #Conflicts: 735000 | #Constraints: 56448
1936.50/1941.73 c #Conflicts: 736000 | #Constraints: 57448
1936.50/1941.73 c #Conflicts: 737000 | #Constraints: 58448
1936.50/1941.73 c #Conflicts: 738000 | #Constraints: 59448
1936.50/1941.73 c #Conflicts: 739000 | #Constraints: 60448
1936.50/1941.73 c #Conflicts: 740000 | #Constraints: 61448
1936.50/1941.73 c #Conflicts: 741000 | #Constraints: 62448
1936.50/1941.73 c #Conflicts: 742000 | #Constraints: 63448
1936.50/1941.73 c #Conflicts: 743000 | #Constraints: 64448
1936.50/1941.73 c #Conflicts: 744000 | #Constraints: 65448
1936.50/1941.73 c #Conflicts: 745000 | #Constraints: 66448
1936.50/1941.73 c #Conflicts: 746000 | #Constraints: 67448
1936.50/1941.73 c #Conflicts: 747000 | #Constraints: 68448
1936.50/1941.73 c #Conflicts: 748000 | #Constraints: 69448
1936.50/1941.73 c #Conflicts: 749000 | #Constraints: 70448
1936.50/1941.73 c #Conflicts: 750000 | #Constraints: 71448
1936.50/1941.73 c #Conflicts: 751000 | #Constraints: 72448
1936.50/1941.73 c #Conflicts: 752000 | #Constraints: 73448
1936.50/1941.73 c #Conflicts: 753000 | #Constraints: 74448
1936.50/1941.73 c #Conflicts: 754000 | #Constraints: 75448
1936.50/1941.73 c #Conflicts: 755000 | #Constraints: 76448
1936.50/1941.73 c #Conflicts: 756000 | #Constraints: 77448
1936.50/1941.73 c #Conflicts: 757000 | #Constraints: 78448
1936.50/1941.73 c #Conflicts: 758000 | #Constraints: 79448
1936.50/1941.73 c #Conflicts: 759000 | #Constraints: 80448
1936.50/1941.73 c #Conflicts: 760000 | #Constraints: 81448
1936.50/1941.73 c #Conflicts: 761000 | #Constraints: 82448
1936.50/1941.73 c #Conflicts: 762000 | #Constraints: 83448
1936.50/1941.73 c #Conflicts: 763000 | #Constraints: 84448
1936.50/1941.73 c #Conflicts: 764000 | #Constraints: 85448
1936.50/1941.73 c #Conflicts: 765000 | #Constraints: 86448
1936.50/1941.73 c #Conflicts: 766000 | #Constraints: 87448
1936.50/1941.73 c #Conflicts: 767000 | #Constraints: 88448
1936.50/1941.73 c #Conflicts: 768000 | #Constraints: 89448
1936.50/1941.73 c #Conflicts: 769000 | #Constraints: 90448
1936.50/1941.73 c #Conflicts: 770000 | #Constraints: 91448
1936.50/1941.73 c #Conflicts: 771000 | #Constraints: 92448
1936.50/1941.73 c #Conflicts: 772000 | #Constraints: 93448
1936.50/1941.73 c #Conflicts: 773000 | #Constraints: 94448
1936.50/1941.73 c #Conflicts: 774000 | #Constraints: 95448
1936.50/1941.73 c #Conflicts: 775000 | #Constraints: 96448
1936.50/1941.73 c #Conflicts: 776000 | #Constraints: 97448
1936.50/1941.73 c #Conflicts: 777000 | #Constraints: 98448
1936.50/1941.73 c #Conflicts: 778000 | #Constraints: 99448
1936.50/1941.73 c #Conflicts: 779000 | #Constraints: 100448
1936.50/1941.73 c #Conflicts: 780000 | #Constraints: 101448
1936.50/1941.73 c INPROCESSING
1936.50/1941.73 c GARBAGE COLLECT
1936.50/1941.73 c #Conflicts: 781000 | #Constraints: 54134
1936.50/1941.73 c #Conflicts: 782000 | #Constraints: 55134
1936.50/1941.73 c #Conflicts: 783000 | #Constraints: 56134
1936.50/1941.73 c #Conflicts: 784000 | #Constraints: 57134
1936.50/1941.73 c #Conflicts: 785000 | #Constraints: 58134
1936.50/1941.73 c #Conflicts: 786000 | #Constraints: 59134
1936.50/1941.73 c #Conflicts: 787000 | #Constraints: 60134
1936.50/1941.73 c #Conflicts: 788000 | #Constraints: 61134
1936.50/1941.73 c #Conflicts: 789000 | #Constraints: 62134
1936.50/1941.73 c #Conflicts: 790000 | #Constraints: 63134
1936.50/1941.73 c #Conflicts: 791000 | #Constraints: 64134
2247.36/2253.38 c #Conflicts: 792000 | #Constraints: 65134
2247.36/2253.38 c #Conflicts: 793000 | #Constraints: 66134
2247.36/2253.38 c #Conflicts: 794000 | #Constraints: 67134
2247.36/2253.38 c #Conflicts: 795000 | #Constraints: 68134
2247.36/2253.38 c #Conflicts: 796000 | #Constraints: 69134
2247.36/2253.38 c #Conflicts: 797000 | #Constraints: 70134
2247.36/2253.38 c #Conflicts: 798000 | #Constraints: 71134
2247.36/2253.38 c INPROCESSING
2247.36/2253.38 c GARBAGE COLLECT
2247.36/2253.38 c #Conflicts: 799000 | #Constraints: 38667
2247.36/2253.38 c #Conflicts: 800000 | #Constraints: 39667
2247.36/2253.38 c #Conflicts: 801000 | #Constraints: 40667
2247.36/2253.38 c #Conflicts: 802000 | #Constraints: 41667
2247.36/2253.38 c #Conflicts: 803000 | #Constraints: 42667
2247.36/2253.38 c #Conflicts: 804000 | #Constraints: 43667
2247.36/2253.38 c #Conflicts: 805000 | #Constraints: 44667
2247.36/2253.38 c #Conflicts: 806000 | #Constraints: 45667
2247.36/2253.38 c #Conflicts: 807000 | #Constraints: 46667
2247.36/2253.38 c #Conflicts: 808000 | #Constraints: 47667
2247.36/2253.38 c #Conflicts: 809000 | #Constraints: 48667
2247.36/2253.38 c #Conflicts: 810000 | #Constraints: 49667
2247.36/2253.38 c #Conflicts: 811000 | #Constraints: 50667
2247.36/2253.38 c #Conflicts: 812000 | #Constraints: 51667
2247.36/2253.38 c #Conflicts: 813000 | #Constraints: 52667
2247.36/2253.38 c #Conflicts: 814000 | #Constraints: 53667
2247.36/2253.38 c #Conflicts: 815000 | #Constraints: 54667
2247.36/2253.38 c #Conflicts: 816000 | #Constraints: 55667
2247.36/2253.38 c #Conflicts: 817000 | #Constraints: 56667
2247.36/2253.38 c INPROCESSING
2247.36/2253.38 c GARBAGE COLLECT
2247.36/2253.38 c #Conflicts: 818000 | #Constraints: 31551
2247.36/2253.38 c #Conflicts: 819000 | #Constraints: 32551
2247.36/2253.38 c #Conflicts: 820000 | #Constraints: 33551
2247.36/2253.38 c #Conflicts: 821000 | #Constraints: 34551
2247.36/2253.38 c #Conflicts: 822000 | #Constraints: 35551
2247.36/2253.38 c #Conflicts: 823000 | #Constraints: 36551
2247.36/2253.38 c #Conflicts: 824000 | #Constraints: 37551
2247.36/2253.38 c #Conflicts: 825000 | #Constraints: 38551
2247.36/2253.38 c #Conflicts: 826000 | #Constraints: 39551
2247.36/2253.38 c #Conflicts: 827000 | #Constraints: 40551
2247.36/2253.38 c #Conflicts: 828000 | #Constraints: 41551
2247.36/2253.38 c #Conflicts: 829000 | #Constraints: 42551
2247.36/2253.38 c #Conflicts: 830000 | #Constraints: 43551
2247.36/2253.38 c #Conflicts: 831000 | #Constraints: 44551
2247.36/2253.38 c #Conflicts: 832000 | #Constraints: 45551
2247.36/2253.38 c #Conflicts: 833000 | #Constraints: 46551
2247.36/2253.38 c #Conflicts: 834000 | #Constraints: 47551
2247.36/2253.38 c #Conflicts: 835000 | #Constraints: 48551
2247.36/2253.38 c #Conflicts: 836000 | #Constraints: 49551
2247.36/2253.38 c INPROCESSING
2247.36/2253.38 c GARBAGE COLLECT
2247.36/2253.38 c #Conflicts: 837000 | #Constraints: 27993
2247.36/2253.38 c #Conflicts: 838000 | #Constraints: 28993
2247.36/2253.38 c #Conflicts: 839000 | #Constraints: 29993
2247.36/2253.38 c #Conflicts: 840000 | #Constraints: 30993
2247.36/2253.38 c #Conflicts: 841000 | #Constraints: 31993
2247.36/2253.38 c #Conflicts: 842000 | #Constraints: 32993
2247.36/2253.38 c #Conflicts: 843000 | #Constraints: 33993
2247.36/2253.38 c #Conflicts: 844000 | #Constraints: 34993
2247.36/2253.38 c #Conflicts: 845000 | #Constraints: 35993
2247.36/2253.38 c #Conflicts: 846000 | #Constraints: 36993
2247.36/2253.38 c #Conflicts: 847000 | #Constraints: 37993
2247.36/2253.38 c #Conflicts: 848000 | #Constraints: 38993
2247.36/2253.38 c #Conflicts: 849000 | #Constraints: 39993
2247.36/2253.38 c #Conflicts: 850000 | #Constraints: 40993
2247.36/2253.38 c #Conflicts: 851000 | #Constraints: 41993
2247.36/2253.38 c #Conflicts: 852000 | #Constraints: 42993
2247.36/2253.38 c #Conflicts: 853000 | #Constraints: 43993
2247.36/2253.38 c #Conflicts: 854000 | #Constraints: 44993
2247.36/2253.38 c #Conflicts: 855000 | #Constraints: 45993
2247.36/2253.38 c #Conflicts: 856000 | #Constraints: 46993
2247.36/2253.38 c #Conflicts: 857000 | #Constraints: 47993
2247.36/2253.38 c #Conflicts: 858000 | #Constraints: 48993
2247.36/2253.38 c #Conflicts: 859000 | #Constraints: 49993
2247.36/2253.38 c #Conflicts: 860000 | #Constraints: 50993
2247.36/2253.38 c #Conflicts: 861000 | #Constraints: 51993
2247.36/2253.38 c #Conflicts: 862000 | #Constraints: 52993
2247.36/2253.38 c #Conflicts: 863000 | #Constraints: 53993
2247.36/2253.38 c #Conflicts: 864000 | #Constraints: 54993
2247.36/2253.38 c #Conflicts: 865000 | #Constraints: 55993
2247.36/2253.38 c #Conflicts: 866000 | #Constraints: 56993
2247.36/2253.38 c #Conflicts: 867000 | #Constraints: 57993
2247.36/2253.38 c #Conflicts: 868000 | #Constraints: 58993
2812.60/2819.95 c #Conflicts: 869000 | #Constraints: 59993
2812.60/2819.95 c #Conflicts: 870000 | #Constraints: 60993
2812.60/2819.95 c #Conflicts: 871000 | #Constraints: 61993
2812.60/2819.95 c #Conflicts: 872000 | #Constraints: 62993
2812.60/2819.95 c #Conflicts: 873000 | #Constraints: 63993
2812.60/2819.95 c #Conflicts: 874000 | #Constraints: 64993
2812.60/2819.95 c #Conflicts: 875000 | #Constraints: 65993
2812.60/2819.95 c #Conflicts: 876000 | #Constraints: 66993
2812.60/2819.95 c #Conflicts: 877000 | #Constraints: 67993
2812.60/2819.95 c #Conflicts: 878000 | #Constraints: 68993
2812.60/2819.95 c #Conflicts: 879000 | #Constraints: 69993
2812.60/2819.95 c #Conflicts: 880000 | #Constraints: 70993
2812.60/2819.95 c #Conflicts: 881000 | #Constraints: 71993
2812.60/2819.95 c #Conflicts: 882000 | #Constraints: 72993
2812.60/2819.95 c #Conflicts: 883000 | #Constraints: 73993
2812.60/2819.95 c #Conflicts: 884000 | #Constraints: 74993
2812.60/2819.95 c #Conflicts: 885000 | #Constraints: 75993
2812.60/2819.95 c #Conflicts: 886000 | #Constraints: 76993
2812.60/2819.95 c #Conflicts: 887000 | #Constraints: 77993
2812.60/2819.95 c #Conflicts: 888000 | #Constraints: 78993
2812.60/2819.95 c #Conflicts: 889000 | #Constraints: 79993
2812.60/2819.95 c #Conflicts: 890000 | #Constraints: 80993
2812.60/2819.95 c #Conflicts: 891000 | #Constraints: 81993
2812.60/2819.95 c #Conflicts: 892000 | #Constraints: 82993
2812.60/2819.95 c #Conflicts: 893000 | #Constraints: 83993
2812.60/2819.95 c #Conflicts: 894000 | #Constraints: 84993
2812.60/2819.95 c #Conflicts: 895000 | #Constraints: 85993
2812.60/2819.95 c #Conflicts: 896000 | #Constraints: 86993
2812.60/2819.95 c #Conflicts: 897000 | #Constraints: 87993
2812.60/2819.95 c #Conflicts: 898000 | #Constraints: 88993
2812.60/2819.95 c #Conflicts: 899000 | #Constraints: 89993
2812.60/2819.95 c #Conflicts: 900000 | #Constraints: 90993
2812.60/2819.95 c #Conflicts: 901000 | #Constraints: 91993
2812.60/2819.95 c #Conflicts: 902000 | #Constraints: 92993
2812.60/2819.95 c #Conflicts: 903000 | #Constraints: 93993
2812.60/2819.95 c #Conflicts: 904000 | #Constraints: 94993
2812.60/2819.95 c #Conflicts: 905000 | #Constraints: 95993
2812.60/2819.95 c #Conflicts: 906000 | #Constraints: 96993
2812.60/2819.95 c #Conflicts: 907000 | #Constraints: 97993
2812.60/2819.95 c #Conflicts: 908000 | #Constraints: 98993
2812.60/2819.95 c #Conflicts: 909000 | #Constraints: 99993
2812.60/2819.95 c #Conflicts: 910000 | #Constraints: 100993
2812.60/2819.95 c #Conflicts: 911000 | #Constraints: 101993
2812.60/2819.95 c #Conflicts: 912000 | #Constraints: 102993
2812.60/2819.95 c #Conflicts: 913000 | #Constraints: 103993
2812.60/2819.95 c #Conflicts: 914000 | #Constraints: 104993
2812.60/2819.95 c #Conflicts: 915000 | #Constraints: 105993
2812.60/2819.95 c #Conflicts: 916000 | #Constraints: 106993
2812.60/2819.95 c #Conflicts: 917000 | #Constraints: 107993
2812.60/2819.95 c INPROCESSING
2812.60/2819.95 c GARBAGE COLLECT
2812.60/2819.95 c #Conflicts: 918000 | #Constraints: 57075
2812.60/2819.95 c #Conflicts: 919000 | #Constraints: 58075
2812.60/2819.95 c #Conflicts: 920000 | #Constraints: 59075
2812.60/2819.95 c #Conflicts: 921000 | #Constraints: 60075
2812.60/2819.95 c #Conflicts: 922000 | #Constraints: 61075
2812.60/2819.95 c #Conflicts: 923000 | #Constraints: 62075
2812.60/2819.95 c #Conflicts: 924000 | #Constraints: 63075
2812.60/2819.95 c #Conflicts: 925000 | #Constraints: 64075
2812.60/2819.95 c #Conflicts: 926000 | #Constraints: 65075
2812.60/2819.95 c #Conflicts: 927000 | #Constraints: 66075
2812.60/2819.95 c #Conflicts: 928000 | #Constraints: 67075
2812.60/2819.95 c #Conflicts: 929000 | #Constraints: 68075
2812.60/2819.95 c #Conflicts: 930000 | #Constraints: 69075
2812.60/2819.95 c #Conflicts: 931000 | #Constraints: 70075
2812.60/2819.95 c #Conflicts: 932000 | #Constraints: 71075
2812.60/2819.95 c #Conflicts: 933000 | #Constraints: 72075
2812.60/2819.95 c #Conflicts: 934000 | #Constraints: 73075
2812.60/2819.95 c #Conflicts: 935000 | #Constraints: 74075
2812.60/2819.95 c #Conflicts: 936000 | #Constraints: 75075
2812.60/2819.95 c #Conflicts: 937000 | #Constraints: 76075
2812.60/2819.95 c #Conflicts: 938000 | #Constraints: 77075
2812.60/2819.95 c INPROCESSING
2812.60/2819.95 c GARBAGE COLLECT
2812.60/2819.95 c #Conflicts: 939000 | #Constraints: 41965
2812.60/2819.95 c #Conflicts: 940000 | #Constraints: 42965
2812.60/2819.95 c #Conflicts: 941000 | #Constraints: 43965
2812.60/2819.95 c #Conflicts: 942000 | #Constraints: 44965
2812.60/2819.95 c #Conflicts: 943000 | #Constraints: 45965
2812.60/2819.95 c #Conflicts: 944000 | #Constraints: 46965
2812.60/2819.95 c #Conflicts: 945000 | #Constraints: 47965
3190.10/3198.38 c #Conflicts: 946000 | #Constraints: 48965
3190.10/3198.38 c #Conflicts: 947000 | #Constraints: 49965
3190.10/3198.38 c #Conflicts: 948000 | #Constraints: 50965
3190.10/3198.38 c #Conflicts: 949000 | #Constraints: 51965
3190.10/3198.38 c #Conflicts: 950000 | #Constraints: 52965
3190.10/3198.38 c #Conflicts: 951000 | #Constraints: 53965
3190.10/3198.38 c #Conflicts: 952000 | #Constraints: 54965
3190.10/3198.38 c #Conflicts: 953000 | #Constraints: 55965
3190.10/3198.38 c #Conflicts: 954000 | #Constraints: 56965
3190.10/3198.38 c #Conflicts: 955000 | #Constraints: 57965
3190.10/3198.38 c #Conflicts: 956000 | #Constraints: 58965
3190.10/3198.38 c #Conflicts: 957000 | #Constraints: 59965
3190.10/3198.38 c #Conflicts: 958000 | #Constraints: 60965
3190.10/3198.38 c INPROCESSING
3190.10/3198.38 c GARBAGE COLLECT
3190.10/3198.38 c #Conflicts: 959000 | #Constraints: 33643
3190.10/3198.38 c #Conflicts: 960000 | #Constraints: 34643
3190.10/3198.38 c #Conflicts: 961000 | #Constraints: 35643
3190.10/3198.38 c #Conflicts: 962000 | #Constraints: 36643
3190.10/3198.38 c #Conflicts: 963000 | #Constraints: 37643
3190.10/3198.38 c #Conflicts: 964000 | #Constraints: 38643
3190.10/3198.38 c #Conflicts: 965000 | #Constraints: 39643
3190.10/3198.38 c #Conflicts: 966000 | #Constraints: 40643
3190.10/3198.38 c #Conflicts: 967000 | #Constraints: 41643
3190.10/3198.38 c #Conflicts: 968000 | #Constraints: 42643
3190.10/3198.38 c #Conflicts: 969000 | #Constraints: 43643
3190.10/3198.38 c #Conflicts: 970000 | #Constraints: 44643
3190.10/3198.38 c #Conflicts: 971000 | #Constraints: 45643
3190.10/3198.38 c #Conflicts: 972000 | #Constraints: 46643
3190.10/3198.38 c #Conflicts: 973000 | #Constraints: 47643
3190.10/3198.38 c #Conflicts: 974000 | #Constraints: 48643
3190.10/3198.38 c #Conflicts: 975000 | #Constraints: 49643
3190.10/3198.38 c #Conflicts: 976000 | #Constraints: 50643
3190.10/3198.38 c #Conflicts: 977000 | #Constraints: 51643
3190.10/3198.38 c #Conflicts: 978000 | #Constraints: 52643
3190.10/3198.38 c #Conflicts: 979000 | #Constraints: 53643
3190.10/3198.38 c INPROCESSING
3190.10/3198.38 c GARBAGE COLLECT
3190.10/3198.38 c #Conflicts: 980000 | #Constraints: 30141
3190.10/3198.38 c #Conflicts: 981000 | #Constraints: 31141
3190.10/3198.38 c #Conflicts: 982000 | #Constraints: 32141
3190.10/3198.38 c #Conflicts: 983000 | #Constraints: 33141
3190.10/3198.38 c #Conflicts: 984000 | #Constraints: 34141
3190.10/3198.38 c #Conflicts: 985000 | #Constraints: 35141
3190.10/3198.38 c #Conflicts: 986000 | #Constraints: 36141
3190.10/3198.38 c #Conflicts: 987000 | #Constraints: 37141
3190.10/3198.38 c #Conflicts: 988000 | #Constraints: 38141
3190.10/3198.38 c #Conflicts: 989000 | #Constraints: 39141
3190.10/3198.38 c #Conflicts: 990000 | #Constraints: 40141
3190.10/3198.38 c #Conflicts: 991000 | #Constraints: 41141
3190.10/3198.38 c #Conflicts: 992000 | #Constraints: 42141
3190.10/3198.38 c #Conflicts: 993000 | #Constraints: 43141
3190.10/3198.38 c #Conflicts: 994000 | #Constraints: 44141
3190.10/3198.38 c #Conflicts: 995000 | #Constraints: 45141
3190.10/3198.38 c #Conflicts: 996000 | #Constraints: 46141
3190.10/3198.38 c #Conflicts: 997000 | #Constraints: 47141
3190.10/3198.38 c #Conflicts: 998000 | #Constraints: 48141
3190.10/3198.38 c #Conflicts: 999000 | #Constraints: 49141
3190.10/3198.38 c #Conflicts: 1000000 | #Constraints: 50141
3190.10/3198.38 c #Conflicts: 1001000 | #Constraints: 51141
3190.10/3198.38 c #Conflicts: 1002000 | #Constraints: 52141
3190.10/3198.38 c #Conflicts: 1003000 | #Constraints: 53141
3190.10/3198.38 c #Conflicts: 1004000 | #Constraints: 54141
3190.10/3198.38 c #Conflicts: 1005000 | #Constraints: 55141
3190.10/3198.38 c #Conflicts: 1006000 | #Constraints: 56141
3190.10/3198.38 c #Conflicts: 1007000 | #Constraints: 57141
3190.10/3198.38 c #Conflicts: 1008000 | #Constraints: 58141
3190.10/3198.38 c #Conflicts: 1009000 | #Constraints: 59141
3190.10/3198.38 c #Conflicts: 1010000 | #Constraints: 60141
3190.10/3198.38 c #Conflicts: 1011000 | #Constraints: 61141
3190.10/3198.38 c #Conflicts: 1012000 | #Constraints: 62141
3190.10/3198.38 c #Conflicts: 1013000 | #Constraints: 63141
3190.10/3198.38 c #Conflicts: 1014000 | #Constraints: 64141
3190.10/3198.38 c #Conflicts: 1015000 | #Constraints: 65141
3190.10/3198.38 c #Conflicts: 1016000 | #Constraints: 66141
3190.10/3198.38 c #Conflicts: 1017000 | #Constraints: 67141
3190.10/3198.38 c #Conflicts: 1018000 | #Constraints: 68141
3190.10/3198.38 c #Conflicts: 1019000 | #Constraints: 69141
3190.10/3198.38 c #Conflicts: 1020000 | #Constraints: 70141
3190.10/3198.38 c #Conflicts: 1021000 | #Constraints: 71141
3190.10/3198.38 c #Conflicts: 1022000 | #Constraints: 72141
3190.10/3198.38 c #Conflicts: 1023000 | #Constraints: 73141
3576.48/3585.61 c #Conflicts: 1024000 | #Constraints: 74141
3576.48/3585.61 c #Conflicts: 1025000 | #Constraints: 75141
3576.48/3585.61 c #Conflicts: 1026000 | #Constraints: 76141
3576.48/3585.61 c #Conflicts: 1027000 | #Constraints: 77141
3576.48/3585.61 c #Conflicts: 1028000 | #Constraints: 78141
3576.48/3585.61 c #Conflicts: 1029000 | #Constraints: 79141
3576.48/3585.61 c #Conflicts: 1030000 | #Constraints: 80141
3576.48/3585.61 c #Conflicts: 1031000 | #Constraints: 81141
3576.48/3585.61 c #Conflicts: 1032000 | #Constraints: 82141
3576.48/3585.61 c #Conflicts: 1033000 | #Constraints: 83141
3576.48/3585.61 c #Conflicts: 1034000 | #Constraints: 84141
3576.48/3585.61 c #Conflicts: 1035000 | #Constraints: 85141
3576.48/3585.61 c #Conflicts: 1036000 | #Constraints: 86141
3576.48/3585.61 c #Conflicts: 1037000 | #Constraints: 87141
3576.48/3585.61 c #Conflicts: 1038000 | #Constraints: 88141
3576.48/3585.61 c #Conflicts: 1039000 | #Constraints: 89141
3576.48/3585.61 c #Conflicts: 1040000 | #Constraints: 90141
3576.48/3585.61 c #Conflicts: 1041000 | #Constraints: 91141
3576.48/3585.61 c #Conflicts: 1042000 | #Constraints: 92141
3576.48/3585.61 c #Conflicts: 1043000 | #Constraints: 93141
3576.48/3585.61 c #Conflicts: 1044000 | #Constraints: 94141
3576.48/3585.61 c #Conflicts: 1045000 | #Constraints: 95141
3576.48/3585.61 c #Conflicts: 1046000 | #Constraints: 96141
3576.48/3585.61 c #Conflicts: 1047000 | #Constraints: 97141
3576.48/3585.61 c #Conflicts: 1048000 | #Constraints: 98141
3576.48/3585.61 c #Conflicts: 1049000 | #Constraints: 99141
3576.48/3585.61 c #Conflicts: 1050000 | #Constraints: 100141
3576.48/3585.61 c #Conflicts: 1051000 | #Constraints: 101141
3576.48/3585.61 c #Conflicts: 1052000 | #Constraints: 102141
3576.48/3585.61 c #Conflicts: 1053000 | #Constraints: 103141
3576.48/3585.61 c #Conflicts: 1054000 | #Constraints: 104141
3576.48/3585.61 c #Conflicts: 1055000 | #Constraints: 105141
3576.48/3585.61 c #Conflicts: 1056000 | #Constraints: 106141
3576.48/3585.61 c #Conflicts: 1057000 | #Constraints: 107141
3576.48/3585.61 c #Conflicts: 1058000 | #Constraints: 108141
3576.48/3585.61 c bounds 66 >= 20 @ 3441.14
3576.48/3585.61 c #Conflicts: 1059000 | #Constraints: 109163
3576.48/3585.61 c #Conflicts: 1060000 | #Constraints: 110163
3576.48/3585.61 c #Conflicts: 1061000 | #Constraints: 111163
3576.48/3585.61 c #Conflicts: 1062000 | #Constraints: 112163
3576.48/3585.61 c #Conflicts: 1063000 | #Constraints: 113163
3576.48/3585.61 c #Conflicts: 1064000 | #Constraints: 114163
3576.48/3585.61 c #Conflicts: 1065000 | #Constraints: 115163
3576.48/3585.61 c INPROCESSING
3576.48/3585.61 c GARBAGE COLLECT
3576.48/3585.61 c #Conflicts: 1066000 | #Constraints: 60601
3576.48/3585.61 c #Conflicts: 1067000 | #Constraints: 61601
3576.48/3585.61 c #Conflicts: 1068000 | #Constraints: 62601
3576.48/3585.61 c #Conflicts: 1069000 | #Constraints: 63601
3576.48/3585.61 c #Conflicts: 1070000 | #Constraints: 64601
3576.48/3585.61 c #Conflicts: 1071000 | #Constraints: 65601
3576.48/3585.61 c #Conflicts: 1072000 | #Constraints: 66601
3576.48/3585.61 c #Conflicts: 1073000 | #Constraints: 67601
3576.48/3585.61 c #Conflicts: 1074000 | #Constraints: 68601
3576.48/3585.61 c #Conflicts: 1075000 | #Constraints: 69601
3576.48/3585.61 c #Conflicts: 1076000 | #Constraints: 70601
3576.48/3585.61 c #Conflicts: 1077000 | #Constraints: 71601
3576.48/3585.61 c #Conflicts: 1078000 | #Constraints: 72601
3576.48/3585.61 c #Conflicts: 1079000 | #Constraints: 73601
3576.48/3585.61 c #Conflicts: 1080000 | #Constraints: 74601
3576.48/3585.61 c #Conflicts: 1081000 | #Constraints: 75601
3576.48/3585.61 c #Conflicts: 1082000 | #Constraints: 76601
3576.48/3585.61 c #Conflicts: 1083000 | #Constraints: 77601
3576.48/3585.61 c #Conflicts: 1084000 | #Constraints: 78601
3576.48/3585.61 c #Conflicts: 1085000 | #Constraints: 79601
3576.48/3585.61 c #Conflicts: 1086000 | #Constraints: 80601
3576.48/3585.61 c #Conflicts: 1087000 | #Constraints: 81601
3576.48/3585.61 c INPROCESSING
3576.48/3585.61 c GARBAGE COLLECT
3576.48/3585.61 c #Conflicts: 1088000 | #Constraints: 43813
3576.48/3585.61 c #Conflicts: 1089000 | #Constraints: 44813
3576.48/3585.61 c #Conflicts: 1090000 | #Constraints: 45813
3576.48/3585.61 c #Conflicts: 1091000 | #Constraints: 46813
3576.48/3585.61 c #Conflicts: 1092000 | #Constraints: 47813
3576.48/3585.61 c #Conflicts: 1093000 | #Constraints: 48813
3576.48/3585.61 c #Conflicts: 1094000 | #Constraints: 49813
3576.48/3585.61 c #Conflicts: 1095000 | #Constraints: 50813
3576.48/3585.61 c #Conflicts: 1096000 | #Constraints: 51813
3576.48/3585.61 c #Conflicts: 1097000 | #Constraints: 52813
3576.48/3585.61 c #Conflicts: 1098000 | #Constraints: 53813
3576.48/3585.61 c #Conflicts: 1099000 | #Constraints: 54813
3576.48/3585.61 c #Conflicts: 1100000 | #Constraints: 55813
3600.02/3609.20 c #Conflicts: 1101000 | #Constraints: 56813
3600.02/3609.20 c #Conflicts: 1102000 | #Constraints: 57813
3600.02/3609.20 c #Conflicts: 1103000 | #Constraints: 58813
3600.02/3609.20 c #Conflicts: 1104000 | #Constraints: 59813
3600.02/3609.20 c #Conflicts: 1105000 | #Constraints: 60813
3600.02/3609.20 c #Conflicts: 1106000 | #Constraints: 61813
3600.02/3609.20 c #Conflicts: 1107000 | #Constraints: 62813
3600.02/3609.20 c #Conflicts: 1108000 | #Constraints: 63813
3600.02/3609.20 c Program interrupted by user.
3600.02/3609.20 c cpu time 3593.11 s
3600.02/3609.20 c deterministic time 277754768805 2.78e+11
3600.02/3609.20 c optimization time 54.3063 s
3600.02/3609.20 c total solve time 3239.67 s
3600.02/3609.20 c core-guided solve time 3239.67 s
3600.02/3609.20 c propagation time 2739.23 s
3600.02/3609.20 c conflict analysis time 539.554 s
3600.02/3609.20 c propagations 140584739
3600.02/3609.20 c resolve steps 24671810
3600.02/3609.20 c decisions 4226469
3600.02/3609.20 c conflicts 1108157
3600.02/3609.20 c restarts 2046
3600.02/3609.20 c inprocessing phases 74
3600.02/3609.20 c input clauses 2696
3600.02/3609.20 c input cardinalities 285
3600.02/3609.20 c input general constraints 1713
3600.02/3609.20 c input average constraint length 5.31
3600.02/3609.20 c input average constraint degree 2.97
3600.02/3609.20 c learned clauses 867880
3600.02/3609.20 c learned cardinalities 9874
3600.02/3609.20 c learned general constraints 230409
3600.02/3609.20 c learned average constraint length 92.72
3600.02/3609.20 c learned average constraint degree 33382.94
3600.02/3609.20 c watched constraints 157497
3600.02/3609.20 c counting constraints 74625
3600.02/3609.20 c gcd simplifications 2725
3600.02/3609.20 c detected cardinalities 24
3600.02/3609.20 c weakened non-implied lits 22938883
3600.02/3609.20 c weakened non-implying lits 22107
3600.02/3609.20 c original variables 540
3600.02/3609.20 c clausal propagations 67431975
3600.02/3609.20 c cardinality propagations 49677927
3600.02/3609.20 c watched propagations 6829352
3600.02/3609.20 c counting propagations 15556387
3600.02/3609.20 c watch lookups 85560843386
3600.02/3609.20 c watch backjump lookups 77848726338
3600.02/3609.20 c watch checks 102874094804
3600.02/3609.20 c propagation checks 10798090564
3600.02/3609.20 c constraint additions 382283519
3600.02/3609.20 c trail pops 145918985
3600.02/3609.20 c formula constraints 4626
3600.02/3609.20 c learned constraints 1108163
3600.02/3609.20 c bound constraints 12
3600.02/3609.20 c core-guided constraints 56
3600.02/3609.20 c encountered formula constraints 12569513
3600.02/3609.20 c encountered learned constraints 13188315
3600.02/3609.20 c encountered bound constraints 4196
3600.02/3609.20 c encountered core-guided constraints 17943
3600.02/3609.20 c LP total time 0 s
3600.02/3609.20 c LP solve time 0 s
3600.02/3609.20 c LP constraints added 0
3600.02/3609.20 c LP constraints removed 0
3600.02/3609.20 c LP pivots internal 0
3600.02/3609.20 c LP pivots root 0
3600.02/3609.20 c LP calls 0
3600.02/3609.20 c LP optimalities 0
3600.02/3609.20 c LP no pivot count 0
3600.02/3609.20 c LP infeasibilities 0
3600.02/3609.20 c LP valid Farkas constraints 0
3600.02/3609.20 c LP learned Farkas constraints 0
3600.02/3609.20 c LP basis resets 0
3600.02/3609.20 c LP cycling count 0
3600.02/3609.20 c LP singular count 0
3600.02/3609.20 c LP no primal count 0
3600.02/3609.20 c LP no farkas count 0
3600.02/3609.20 c LP other issue count 0
3600.02/3609.20 c LP Gomory cuts 0
3600.02/3609.20 c LP learned cuts 0
3600.02/3609.20 c LP deleted cuts 0
3600.02/3609.20 c LP encountered Gomory constraints 0
3600.02/3609.20 c LP encountered Farkas constraints 0
3600.02/3609.20 c LP encountered learned Farkas constraints 0
3600.02/3609.20 c CG auxiliary variables introduced 21
3600.02/3609.20 c CG solutions found 1
3600.02/3609.20 c CG cores constructed 10
3600.02/3609.20 c CG core cardinality constraints returned 0
3600.02/3609.20 c CG unit cores 0
3600.02/3609.20 c CG single cores 10
3600.02/3609.20 c CG blocks removed during cardinality reduction 0
3600.02/3609.20 c CG first core best 0
3600.02/3609.20 c CG decision core best 0
3600.02/3609.20 c CG core reduction tie 0
3600.02/3609.20 c CG core degree average 1.00
3600.02/3609.20 c CG core slack average 11.10
3600.02/3609.20 c CG exhausted 0
3600.02/3609.20 c CG exhaust time 0.879983 s
3600.02/3609.20 c CG trimmed 0
3600.02/3609.20 c CG trim time 0.001042 s
3600.02/3609.20 c CG minimized 0
3600.02/3609.20 c CG minimize time 0 s
3600.02/3609.20 c CG am1 prop time 0.000263 s
3600.02/3609.20 c CG # am1s reformulated 0
3600.02/3609.20 c CG lower bound derived from am1s 0
3600.02/3609.20 c CG # clausal cores 10
3600.02/3609.20 c CG # cardinality cores 0
3600.02/3609.20 c CG # pb cores 0
3600.02/3609.20 c CG # pb reforms 0
3600.02/3609.20 c CG # cores discarded because of pb reform 0
3600.02/3609.20 d LOWERBOUND 20
3600.02/3609.20 d NCORES 10
3600.02/3609.20 d NPBCORES 0
3600.02/3609.20 d NPBREFORM 0
3600.02/3609.20 d NTRIMMED 0
3600.02/3609.20 d NEXHAUSTED 0
3600.02/3609.20 d NAM1S 0
3600.02/3609.20 d AM1LB 0
3600.02/3609.20 c [Papilo Statistics]
3600.02/3609.20 c prepro time 0.00478627s
3600.02/3609.20 c # tsx applied 0
3600.02/3609.20 c # tsx conflicts 0
3600.02/3609.20 c # bound changes 0
3600.02/3609.20 c # side changes 0
3600.02/3609.20 c # coef changes 0
3600.02/3609.20 c # rounds 1
3600.02/3609.20 c # deted vars 0
3600.02/3609.20 c # deted constrs 0
3600.02/3609.20 c # consecutive rounds of only bound changes 0
3600.02/3609.20 c [STEP] postprocessing with Papilo
3600.02/3609.20 o 66
3600.02/3609.20 s SATISFIABLE
3600.02/3609.20 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 -x359 -x360 -x361 -x362 x363 x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 x396 x397 x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 x427 -x428 -x429 -x430 x431 x432 x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 x503 -x504 x505 -x506 x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 x535 x536 -x537 x538 -x539 x540
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62152 MiB free)
memory of node 1: 64465 MiB (63531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486415-1751318062/watcher-4486415-1751318062 -o /tmp/evaluation-result-4486415-1751318062/solver-4486415-1751318062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751314135-43529 --watchdog 3760 mixed-bag HOME/instance-4486415-1751318062.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=44407, runsolver pid=44404
[startup+0.100063 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 44408
/proc/meminfo: memFree=128698448/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=110492 memory=36332 CPUtime=0.09 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 6054 0 0 0 8 1 0 0 20 0 1 0 47484712 113143808 9083 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 27623 9083 4096 2842 0 9317 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 110492 KiB
Current children cumulated memory: 36332 KiB
[startup+0.205637 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 44408
/proc/meminfo: memFree=128682824/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=125864 memory=51244 CPUtime=0.19 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 9773 0 0 0 18 1 0 0 20 0 1 0 47484712 128884736 12811 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 31466 12811 4288 2842 0 13160 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 125864 KiB
Current children cumulated memory: 51244 KiB
[startup+0.305519 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 44408
/proc/meminfo: memFree=128682824/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=126044 memory=51372 CPUtime=0.29 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 9815 0 0 0 28 1 0 0 20 0 1 0 47484712 129069056 12843 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 31511 12843 4288 2842 0 13205 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 126044 KiB
Current children cumulated memory: 51372 KiB
[startup+0.70011 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 44408
/proc/meminfo: memFree=128682824/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=126044 memory=51372 CPUtime=0.67 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 9815 0 0 0 66 1 0 0 20 0 1 0 47484712 129069056 12843 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 31511 12843 4288 2842 0 13205 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 126044 KiB
Current children cumulated memory: 51372 KiB
[startup+1.50016 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 44408
/proc/meminfo: memFree=128658664/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=166748 memory=88492 CPUtime=1.47 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 19079 0 0 0 144 3 0 0 20 0 1 0 47484712 170749952 22123 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 41774 22123 4288 2842 0 23468 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 166748 KiB
Current children cumulated memory: 88492 KiB
[startup+3.10537 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 44408
/proc/meminfo: memFree=128627120/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=190476 memory=109100 CPUtime=3.08 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 24229 0 0 0 304 4 0 0 20 0 1 0 47484712 195047424 27275 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 47619 27275 4288 2842 0 29313 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 190476 KiB
Current children cumulated memory: 109100 KiB
[startup+6.30012 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 44408
/proc/meminfo: memFree=128626128/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=190808 memory=109484 CPUtime=6.26 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 24326 0 0 0 622 4 0 0 20 0 1 0 47484712 195387392 27371 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 47702 27371 4288 2842 0 29396 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 190808 KiB
Current children cumulated memory: 109484 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 44408
/proc/meminfo: memFree=128610600/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=218200 memory=136236 CPUtime=12.64 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 31030 0 0 0 1259 5 0 0 20 0 1 0 47484712 223436800 34059 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 54550 34059 4288 2842 0 36244 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 218200 KiB
Current children cumulated memory: 136236 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 44408
/proc/meminfo: memFree=128495976/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=314696 memory=230868 CPUtime=25.4 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 57458 0 0 0 2531 9 0 0 20 0 1 0 47484712 322248704 57717 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 78674 57717 4288 2842 0 60368 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 314696 KiB
Current children cumulated memory: 230868 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 44409
/proc/meminfo: memFree=128518428/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=314696 memory=232020 CPUtime=50.93 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 57752 0 0 0 5083 10 0 0 20 0 1 0 47484712 322248704 58005 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 78674 58005 4288 2842 0 60368 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 314696 KiB
Current children cumulated memory: 232020 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 44415
/proc/meminfo: memFree=128486396/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=314696 memory=232404 CPUtime=101.97 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 57862 0 0 0 10187 10 0 0 20 0 1 0 47484712 322248704 58101 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 78674 58101 4288 2842 0 60368 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 314696 KiB
Current children cumulated memory: 232404 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 44417
/proc/meminfo: memFree=128345644/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=394208 memory=309352 CPUtime=161.78 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 77645 0 0 0 16165 13 0 0 20 0 1 0 47484712 403668992 77338 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 98552 77338 4416 2842 0 80246 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 394208 KiB
Current children cumulated memory: 309352 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 44419
/proc/meminfo: memFree=128331784/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=394208 memory=309608 CPUtime=221.59 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 77729 0 0 0 22146 13 0 0 20 0 1 0 47484712 403668992 77402 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 98552 77402 4416 2842 0 80246 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 394208 KiB
Current children cumulated memory: 309608 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 44422
/proc/meminfo: memFree=128274916/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=415728 memory=334640 CPUtime=281.4 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 84321 0 0 0 28126 14 0 0 20 0 1 0 47484712 425705472 83660 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 103932 83660 4416 2842 0 85626 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 415728 KiB
Current children cumulated memory: 334640 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 44424
/proc/meminfo: memFree=128270692/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=415412 memory=339456 CPUtime=341.23 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 84968 0 0 0 34020 103 0 0 20 0 1 0 47484712 425381888 84864 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 103853 84864 4608 2842 0 85547 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 415412 KiB
Current children cumulated memory: 339456 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 44438
/proc/meminfo: memFree=128257964/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=427012 memory=350508 CPUtime=401.05 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 86201 0 0 0 39948 157 0 0 20 0 1 0 47484712 437260288 87627 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 106753 87627 4608 2842 0 88447 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 427012 KiB
Current children cumulated memory: 350508 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 44440
/proc/meminfo: memFree=128263252/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=438688 memory=362428 CPUtime=460.87 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 86619 0 0 0 45912 175 0 0 20 0 1 0 47484712 449216512 90607 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 109672 90607 4608 2842 0 91366 0
################
# More data... #
################
Current children cumulated memory: 400484 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 44580
/proc/meminfo: memFree=128079848/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=400484 CPUtime=2854.9 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 87920 0 0 0 284903 587 0 0 20 0 1 0 47484712 500199424 100121 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 100121 4608 2842 0 103813 0
Current children cumulated CPU time: 2854.9 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 400484 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 44582
/proc/meminfo: memFree=128075160/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=400484 CPUtime=2914.75 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 87920 0 0 0 290882 593 0 0 20 0 1 0 47484712 500199424 100121 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 100121 4608 2842 0 103813 0
Current children cumulated CPU time: 2914.75 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 400484 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 44584
/proc/meminfo: memFree=128075196/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=400484 CPUtime=2974.62 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 87969 0 0 0 296856 606 0 0 20 0 1 0 47484712 500199424 100121 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 100121 4608 2842 0 103813 0
Current children cumulated CPU time: 2974.62 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 400484 KiB
[startup+3042.3 s]
/proc/loadavg: 4.28 4.13 4.10 5/264 44588
/proc/meminfo: memFree=128075152/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=400484 CPUtime=3034.48 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 87996 0 0 0 302831 617 0 0 20 0 1 0 47484712 500199424 100121 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 100121 4608 2842 0 103813 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 400484 KiB
[startup+3102.3 s]
/proc/loadavg: 4.45 4.23 4.14 5/263 44595
/proc/meminfo: memFree=128062832/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=400484 CPUtime=3094.34 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 87996 0 0 0 308808 626 0 0 20 0 1 0 47484712 500199424 100121 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 100121 4608 2842 0 103813 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 400484 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.20 4.14 5/263 44597
/proc/meminfo: memFree=128062696/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=400484 CPUtime=3154.19 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 87998 0 0 0 314784 635 0 0 20 0 1 0 47484712 500199424 100121 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 100121 4608 2842 0 103813 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 400484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/263 44599
/proc/meminfo: memFree=128057796/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=400484 CPUtime=3214.05 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 88001 0 0 0 320761 644 0 0 20 0 1 0 47484712 500199424 100121 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 100121 4608 2842 0 103813 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 400484 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/263 44601
/proc/meminfo: memFree=128053756/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=400484 CPUtime=3273.9 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 88003 0 0 0 326740 650 0 0 20 0 1 0 47484712 500199424 100121 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 100121 4608 2842 0 103813 0
Current children cumulated CPU time: 3273.9 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 400484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.14 4.12 5/264 44783
/proc/meminfo: memFree=128610336/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=400484 CPUtime=3333.77 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 88005 0 0 0 332721 656 0 0 20 0 1 0 47484712 500199424 100121 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 100121 4608 2842 0 103813 0
Current children cumulated CPU time: 3333.77 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 400484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/263 44785
/proc/meminfo: memFree=128579588/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=400484 CPUtime=3393.62 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 88007 0 0 0 338699 663 0 0 20 0 1 0 47484712 500199424 100121 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 100121 4608 2842 0 103813 0
Current children cumulated CPU time: 3393.62 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 400484 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/263 44787
/proc/meminfo: memFree=128565780/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=402532 CPUtime=3453.48 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 88010 0 0 0 344678 670 0 0 20 0 1 0 47484712 500199424 100633 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 100633 4608 2842 0 103813 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 402532 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/264 44790
/proc/meminfo: memFree=128536668/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=404580 CPUtime=3513.33 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 88011 0 0 0 350654 679 0 0 20 0 1 0 47484712 500199424 101145 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 101145 4608 2842 0 103813 0
Current children cumulated CPU time: 3513.33 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 404580 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 44792
/proc/meminfo: memFree=128511616/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=404580 CPUtime=3573.18 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 88018 0 0 0 356630 688 0 0 20 0 1 0 47484712 500199424 101145 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 101145 4608 2842 0 103813 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 404580 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 44797
/proc/meminfo: memFree=128584800/131249988 swapFree=33010684/33010684
[pid=44407] ppid=44404 vsize=488476 memory=404580 CPUtime=3600.02 cores=1,3
/proc/44407/stat : 44407 (mixed-bag) R 44404 44407 43517 0 -1 4194304 88018 0 0 0 359310 692 0 0 20 0 1 0 47484712 500199424 101145 18446744073709551615 4235264 15874749 140733590525104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 46034944 140733590526364 140733590526441 140733590526441 140733590532043 0
/proc/44407/statm: 122119 101145 4608 2842 0 103813 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 488476 KiB
Current children cumulated memory: 404580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.2 s]
# the end of solver process 44407 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3593.11 s, system=6.92684 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.2
CPU time (s): 3600.03
CPU user time (s): 3593.11
CPU system time (s): 6.92684
CPU usage (%): 99.746
Max. virtual memory (cumulated for all children) (KiB): 488476
Max. memory (cumulated for all children) (KiB): 404580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.11
system time used= 6.92684
maximum resident set size= 405092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88043
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= 181
involuntary context switches= 1239
# summary of solver processes directly reported to runsolver:
# pid: 44407
# total CPU time (s): 3600.03
# total CPU user time (s): 3593.11
# total CPU system time (s): 6.92684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04802 second user time and 15.768 second system time
The end
Begin job on nodeC031 at 2025-06-30 23:14:22
IDJOB=4486415
IDBENCH=147020
IDSOLVER=3340
FILE ID=nodeC031/4486415-1751318062
RUNJOBID= nodeC031-1751314135-43529
SLURM_JOB_ID= 9594324
Free space on /tmp= 433008 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486415-1751318062/watcher-4486415-1751318062 -o /tmp/evaluation-result-4486415-1751318062/solver-4486415-1751318062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751314135-43529 --watchdog 3760 mixed-bag HOME/instance-4486415-1751318062.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=1854354747
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.858
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.508
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.825
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.865
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.906
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.904
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.085
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.955
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128700372 kB
MemAvailable: 128812548 kB
Buffers: 3280 kB
Cached: 919280 kB
SwapCached: 0 kB
Active: 1243464 kB
Inactive: 652216 kB
Active(anon): 991192 kB
Inactive(anon): 0 kB
Active(file): 252272 kB
Inactive(file): 652216 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15580 kB
Writeback: 0 kB
AnonPages: 976252 kB
Mapped: 138604 kB
Shmem: 18064 kB
KReclaimable: 93852 kB
Slab: 181020 kB
SReclaimable: 93852 kB
SUnreclaim: 87168 kB
KernelStack: 4272 kB
PageTables: 5200 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1382284 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 194560 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432996 MiB
End job on nodeC031 at 2025-07-01 00:14:31