0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.02 c Papilo could not simplify the problem
0.00/0.02 c [STEP] solving with SCIP
299.00/300.19 c [STEP] preprocessing done, loading into solver
299.09/300.20 c [STEP] solving
299.09/300.20 c #variables 541 #constraints 4626
299.09/300.20 c SMALL=int, LARGE=long long
299.09/300.20 d SCIPUB 68
299.09/300.20 c bounds - >= 0 @ 298.829
299.09/300.20 c stratification level: 2
305.57/306.78 c bounds - >= 2 @ 298.83
305.57/306.78 c bounds - >= 4 @ 298.83
305.57/306.78 c bounds - >= 6 @ 298.83
305.57/306.78 c bounds - >= 8 @ 298.83
305.57/306.78 c bounds - >= 10 @ 298.83
305.57/306.78 c bounds - >= 12 @ 298.83
305.57/306.78 c #Conflicts: 1000 | #Constraints: 5638
305.57/306.78 c #Conflicts: 2000 | #Constraints: 6638
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 3000 | #Constraints: 6645
305.57/306.78 c bounds - >= 14 @ 299.035
305.57/306.78 c #Conflicts: 4000 | #Constraints: 7646
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 5000 | #Constraints: 7045
305.57/306.78 c #Conflicts: 6000 | #Constraints: 8045
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 7000 | #Constraints: 7046
305.57/306.78 c #Conflicts: 8000 | #Constraints: 8046
305.57/306.78 c #Conflicts: 9000 | #Constraints: 9046
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 10000 | #Constraints: 7751
305.57/306.78 c #Conflicts: 11000 | #Constraints: 8751
305.57/306.78 c #Conflicts: 12000 | #Constraints: 9751
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 13000 | #Constraints: 8201
305.57/306.78 c #Conflicts: 14000 | #Constraints: 9201
305.57/306.78 c #Conflicts: 15000 | #Constraints: 10201
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 16000 | #Constraints: 8429
305.57/306.78 c #Conflicts: 17000 | #Constraints: 9429
305.57/306.78 c #Conflicts: 18000 | #Constraints: 10429
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 19000 | #Constraints: 8447
305.57/306.78 c #Conflicts: 20000 | #Constraints: 9447
305.57/306.78 c #Conflicts: 21000 | #Constraints: 10447
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 22000 | #Constraints: 8257
305.57/306.78 c #Conflicts: 23000 | #Constraints: 9257
305.57/306.78 c #Conflicts: 24000 | #Constraints: 10257
305.57/306.78 c #Conflicts: 25000 | #Constraints: 11257
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 26000 | #Constraints: 8866
305.57/306.78 c #Conflicts: 27000 | #Constraints: 9866
305.57/306.78 c #Conflicts: 28000 | #Constraints: 10866
305.57/306.78 c #Conflicts: 29000 | #Constraints: 11866
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 30000 | #Constraints: 9266
305.57/306.78 c #Conflicts: 31000 | #Constraints: 10266
305.57/306.78 c #Conflicts: 32000 | #Constraints: 11266
305.57/306.78 c #Conflicts: 33000 | #Constraints: 12266
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 34000 | #Constraints: 9467
305.57/306.78 c #Conflicts: 35000 | #Constraints: 10467
305.57/306.78 c #Conflicts: 36000 | #Constraints: 11467
305.57/306.78 c #Conflicts: 37000 | #Constraints: 12467
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 38000 | #Constraints: 9486
305.57/306.78 c #Conflicts: 39000 | #Constraints: 10486
305.57/306.78 c #Conflicts: 40000 | #Constraints: 11486
305.57/306.78 c #Conflicts: 41000 | #Constraints: 12486
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 42000 | #Constraints: 9285
305.57/306.78 c #Conflicts: 43000 | #Constraints: 10285
305.57/306.78 c #Conflicts: 44000 | #Constraints: 11285
305.57/306.78 c #Conflicts: 45000 | #Constraints: 12285
305.57/306.78 c #Conflicts: 46000 | #Constraints: 13285
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 47000 | #Constraints: 9884
305.57/306.78 c #Conflicts: 48000 | #Constraints: 10884
305.57/306.78 c #Conflicts: 49000 | #Constraints: 11884
305.57/306.78 c #Conflicts: 50000 | #Constraints: 12884
305.57/306.78 c #Conflicts: 51000 | #Constraints: 13884
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 52000 | #Constraints: 10287
305.57/306.78 c #Conflicts: 53000 | #Constraints: 11287
305.57/306.78 c #Conflicts: 54000 | #Constraints: 12287
305.57/306.78 c #Conflicts: 55000 | #Constraints: 13287
305.57/306.78 c #Conflicts: 56000 | #Constraints: 14287
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 57000 | #Constraints: 10488
305.57/306.78 c #Conflicts: 58000 | #Constraints: 11488
305.57/306.78 c #Conflicts: 59000 | #Constraints: 12488
305.57/306.78 c #Conflicts: 60000 | #Constraints: 13488
305.57/306.78 c #Conflicts: 61000 | #Constraints: 14488
305.57/306.78 c INPROCESSING
305.57/306.78 c GARBAGE COLLECT
305.57/306.78 c #Conflicts: 62000 | #Constraints: 10499
305.57/306.78 c #Conflicts: 63000 | #Constraints: 11499
305.57/306.78 c #Conflicts: 64000 | #Constraints: 12499
305.57/306.78 c #Conflicts: 65000 | #Constraints: 13499
314.44/315.69 c #Conflicts: 66000 | #Constraints: 14499
314.44/315.69 c INPROCESSING
314.44/315.69 c GARBAGE COLLECT
314.44/315.69 c #Conflicts: 67000 | #Constraints: 10296
314.44/315.69 c #Conflicts: 68000 | #Constraints: 11296
314.44/315.69 c #Conflicts: 69000 | #Constraints: 12296
314.44/315.69 c #Conflicts: 70000 | #Constraints: 13296
314.44/315.69 c #Conflicts: 71000 | #Constraints: 14296
314.44/315.69 c #Conflicts: 72000 | #Constraints: 15296
314.44/315.69 c INPROCESSING
314.44/315.69 c GARBAGE COLLECT
314.44/315.69 c #Conflicts: 73000 | #Constraints: 10890
314.44/315.69 c #Conflicts: 74000 | #Constraints: 11890
314.44/315.69 c #Conflicts: 75000 | #Constraints: 12890
314.44/315.69 c #Conflicts: 76000 | #Constraints: 13890
314.44/315.69 c #Conflicts: 77000 | #Constraints: 14890
314.44/315.69 c #Conflicts: 78000 | #Constraints: 15890
314.44/315.69 c INPROCESSING
314.44/315.69 c GARBAGE COLLECT
314.44/315.69 c #Conflicts: 79000 | #Constraints: 11292
314.44/315.69 c #Conflicts: 80000 | #Constraints: 12292
314.44/315.69 c #Conflicts: 81000 | #Constraints: 13292
314.44/315.69 c #Conflicts: 82000 | #Constraints: 14292
314.44/315.69 c #Conflicts: 83000 | #Constraints: 15292
314.44/315.69 c #Conflicts: 84000 | #Constraints: 16292
314.44/315.69 c INPROCESSING
314.44/315.69 c GARBAGE COLLECT
314.44/315.69 c #Conflicts: 85000 | #Constraints: 11500
314.44/315.69 c #Conflicts: 86000 | #Constraints: 12500
314.44/315.69 c #Conflicts: 87000 | #Constraints: 13500
314.44/315.69 c #Conflicts: 88000 | #Constraints: 14500
314.44/315.69 c #Conflicts: 89000 | #Constraints: 15500
314.44/315.69 c #Conflicts: 90000 | #Constraints: 16500
314.44/315.69 c INPROCESSING
314.44/315.69 c GARBAGE COLLECT
314.44/315.69 c #Conflicts: 91000 | #Constraints: 11511
314.44/315.69 c #Conflicts: 92000 | #Constraints: 12511
314.44/315.69 c #Conflicts: 93000 | #Constraints: 13511
314.44/315.69 c #Conflicts: 94000 | #Constraints: 14511
314.44/315.69 c #Conflicts: 95000 | #Constraints: 15511
314.44/315.69 c #Conflicts: 96000 | #Constraints: 16511
314.44/315.69 c INPROCESSING
314.44/315.69 c GARBAGE COLLECT
314.44/315.69 c #Conflicts: 97000 | #Constraints: 11316
314.44/315.69 c #Conflicts: 98000 | #Constraints: 12316
314.44/315.69 c #Conflicts: 99000 | #Constraints: 13316
314.44/315.69 c #Conflicts: 100000 | #Constraints: 14316
314.44/315.69 c #Conflicts: 101000 | #Constraints: 15316
314.44/315.69 c #Conflicts: 102000 | #Constraints: 16316
314.44/315.69 c #Conflicts: 103000 | #Constraints: 17316
314.44/315.69 c INPROCESSING
314.44/315.69 c GARBAGE COLLECT
314.44/315.69 c #Conflicts: 104000 | #Constraints: 11909
314.44/315.69 c #Conflicts: 105000 | #Constraints: 12909
314.44/315.69 c #Conflicts: 106000 | #Constraints: 13909
314.44/315.69 c #Conflicts: 107000 | #Constraints: 14909
314.44/315.69 c #Conflicts: 108000 | #Constraints: 15909
314.44/315.69 c #Conflicts: 109000 | #Constraints: 16909
314.44/315.69 c #Conflicts: 110000 | #Constraints: 17909
314.44/315.69 c INPROCESSING
314.44/315.69 c GARBAGE COLLECT
314.44/315.69 c #Conflicts: 111000 | #Constraints: 12310
314.44/315.69 c #Conflicts: 112000 | #Constraints: 13310
314.44/315.69 c #Conflicts: 113000 | #Constraints: 14310
314.44/315.69 c #Conflicts: 114000 | #Constraints: 15310
314.44/315.69 c #Conflicts: 115000 | #Constraints: 16310
314.44/315.69 c #Conflicts: 116000 | #Constraints: 17310
314.44/315.69 c #Conflicts: 117000 | #Constraints: 18310
314.44/315.69 c INPROCESSING
314.44/315.69 c GARBAGE COLLECT
314.44/315.69 c #Conflicts: 118000 | #Constraints: 12507
314.44/315.69 c #Conflicts: 119000 | #Constraints: 13507
314.44/315.69 c #Conflicts: 120000 | #Constraints: 14507
314.44/315.69 c #Conflicts: 121000 | #Constraints: 15507
314.44/315.69 c #Conflicts: 122000 | #Constraints: 16507
314.44/315.69 c #Conflicts: 123000 | #Constraints: 17507
314.44/315.69 c #Conflicts: 124000 | #Constraints: 18507
314.44/315.69 c INPROCESSING
314.44/315.69 c GARBAGE COLLECT
314.44/315.69 c #Conflicts: 125000 | #Constraints: 12506
314.44/315.69 c #Conflicts: 126000 | #Constraints: 13506
314.44/315.69 c #Conflicts: 127000 | #Constraints: 14506
314.44/315.69 c #Conflicts: 128000 | #Constraints: 15506
314.44/315.69 c #Conflicts: 129000 | #Constraints: 16506
314.44/315.69 c #Conflicts: 130000 | #Constraints: 17506
314.44/315.69 c #Conflicts: 131000 | #Constraints: 18506
314.44/315.69 c INPROCESSING
314.44/315.69 c GARBAGE COLLECT
314.44/315.69 c #Conflicts: 132000 | #Constraints: 12301
314.44/315.69 c #Conflicts: 133000 | #Constraints: 13301
314.44/315.69 c #Conflicts: 134000 | #Constraints: 14301
314.44/315.69 c #Conflicts: 135000 | #Constraints: 15301
314.44/315.69 c #Conflicts: 136000 | #Constraints: 16301
314.44/315.69 c #Conflicts: 137000 | #Constraints: 17301
325.10/326.34 c #Conflicts: 138000 | #Constraints: 18301
325.10/326.34 c #Conflicts: 139000 | #Constraints: 19301
325.10/326.34 c INPROCESSING
325.10/326.34 c GARBAGE COLLECT
325.10/326.34 c #Conflicts: 140000 | #Constraints: 12912
325.10/326.34 c #Conflicts: 141000 | #Constraints: 13912
325.10/326.34 c #Conflicts: 142000 | #Constraints: 14912
325.10/326.34 c #Conflicts: 143000 | #Constraints: 15912
325.10/326.34 c #Conflicts: 144000 | #Constraints: 16912
325.10/326.34 c #Conflicts: 145000 | #Constraints: 17912
325.10/326.34 c #Conflicts: 146000 | #Constraints: 18912
325.10/326.34 c #Conflicts: 147000 | #Constraints: 19912
325.10/326.34 c INPROCESSING
325.10/326.34 c GARBAGE COLLECT
325.10/326.34 c #Conflicts: 148000 | #Constraints: 13310
325.10/326.34 c #Conflicts: 149000 | #Constraints: 14310
325.10/326.34 c #Conflicts: 150000 | #Constraints: 15310
325.10/326.34 c #Conflicts: 151000 | #Constraints: 16310
325.10/326.34 c #Conflicts: 152000 | #Constraints: 17310
325.10/326.34 c #Conflicts: 153000 | #Constraints: 18310
325.10/326.34 c #Conflicts: 154000 | #Constraints: 19310
325.10/326.34 c #Conflicts: 155000 | #Constraints: 20310
325.10/326.34 c INPROCESSING
325.10/326.34 c GARBAGE COLLECT
325.10/326.34 c #Conflicts: 156000 | #Constraints: 13522
325.10/326.34 c #Conflicts: 157000 | #Constraints: 14522
325.10/326.34 c #Conflicts: 158000 | #Constraints: 15522
325.10/326.34 c #Conflicts: 159000 | #Constraints: 16522
325.10/326.34 c #Conflicts: 160000 | #Constraints: 17522
325.10/326.34 c #Conflicts: 161000 | #Constraints: 18522
325.10/326.34 c #Conflicts: 162000 | #Constraints: 19522
325.10/326.34 c #Conflicts: 163000 | #Constraints: 20522
325.10/326.34 c INPROCESSING
325.10/326.34 c GARBAGE COLLECT
325.10/326.34 c #Conflicts: 164000 | #Constraints: 13520
325.10/326.34 c #Conflicts: 165000 | #Constraints: 14520
325.10/326.34 c #Conflicts: 166000 | #Constraints: 15520
325.10/326.34 c #Conflicts: 167000 | #Constraints: 16520
325.10/326.34 c #Conflicts: 168000 | #Constraints: 17520
325.10/326.34 c #Conflicts: 169000 | #Constraints: 18520
325.10/326.34 c #Conflicts: 170000 | #Constraints: 19520
325.10/326.34 c #Conflicts: 171000 | #Constraints: 20520
325.10/326.34 c INPROCESSING
325.10/326.34 c GARBAGE COLLECT
325.10/326.34 c #Conflicts: 172000 | #Constraints: 13311
325.10/326.34 c #Conflicts: 173000 | #Constraints: 14311
325.10/326.34 c #Conflicts: 174000 | #Constraints: 15311
325.10/326.34 c #Conflicts: 175000 | #Constraints: 16311
325.10/326.34 c #Conflicts: 176000 | #Constraints: 17311
325.10/326.34 c #Conflicts: 177000 | #Constraints: 18311
325.10/326.34 c #Conflicts: 178000 | #Constraints: 19311
325.10/326.34 c #Conflicts: 179000 | #Constraints: 20311
325.10/326.34 c #Conflicts: 180000 | #Constraints: 21311
325.10/326.34 c INPROCESSING
325.10/326.34 c GARBAGE COLLECT
325.10/326.34 c #Conflicts: 181000 | #Constraints: 13910
325.10/326.34 c #Conflicts: 182000 | #Constraints: 14910
325.10/326.34 c #Conflicts: 183000 | #Constraints: 15910
325.10/326.34 c #Conflicts: 184000 | #Constraints: 16910
325.10/326.34 c #Conflicts: 185000 | #Constraints: 17910
325.10/326.34 c #Conflicts: 186000 | #Constraints: 18910
325.10/326.34 c #Conflicts: 187000 | #Constraints: 19910
325.10/326.34 c #Conflicts: 188000 | #Constraints: 20910
325.10/326.34 c #Conflicts: 189000 | #Constraints: 21910
325.10/326.34 c INPROCESSING
325.10/326.34 c GARBAGE COLLECT
325.10/326.34 c #Conflicts: 190000 | #Constraints: 14317
325.10/326.34 c #Conflicts: 191000 | #Constraints: 15317
325.10/326.34 c #Conflicts: 192000 | #Constraints: 16317
325.10/326.34 c #Conflicts: 193000 | #Constraints: 17317
325.10/326.34 c #Conflicts: 194000 | #Constraints: 18317
325.10/326.34 c #Conflicts: 195000 | #Constraints: 19317
325.10/326.34 c #Conflicts: 196000 | #Constraints: 20317
325.10/326.34 c #Conflicts: 197000 | #Constraints: 21317
325.10/326.34 c #Conflicts: 198000 | #Constraints: 22317
325.10/326.34 c INPROCESSING
325.10/326.34 c GARBAGE COLLECT
325.10/326.34 c #Conflicts: 199000 | #Constraints: 14530
325.10/326.34 c #Conflicts: 200000 | #Constraints: 15530
325.10/326.34 c #Conflicts: 201000 | #Constraints: 16530
325.10/326.34 c #Conflicts: 202000 | #Constraints: 17530
325.10/326.34 c #Conflicts: 203000 | #Constraints: 18530
325.10/326.34 c #Conflicts: 204000 | #Constraints: 19530
325.10/326.34 c #Conflicts: 205000 | #Constraints: 20530
325.10/326.34 c #Conflicts: 206000 | #Constraints: 21530
325.10/326.34 c #Conflicts: 207000 | #Constraints: 22530
325.10/326.34 c INPROCESSING
325.10/326.34 c GARBAGE COLLECT
325.10/326.34 c #Conflicts: 208000 | #Constraints: 14527
325.10/326.34 c #Conflicts: 209000 | #Constraints: 15527
325.10/326.34 c #Conflicts: 210000 | #Constraints: 16527
336.56/337.83 c #Conflicts: 211000 | #Constraints: 17527
336.56/337.83 c #Conflicts: 212000 | #Constraints: 18527
336.56/337.83 c #Conflicts: 213000 | #Constraints: 19527
336.56/337.83 c #Conflicts: 214000 | #Constraints: 20527
336.56/337.83 c #Conflicts: 215000 | #Constraints: 21527
336.56/337.83 c #Conflicts: 216000 | #Constraints: 22527
336.56/337.83 c INPROCESSING
336.56/337.83 c GARBAGE COLLECT
336.56/337.83 c #Conflicts: 217000 | #Constraints: 14330
336.56/337.83 c #Conflicts: 218000 | #Constraints: 15330
336.56/337.83 c #Conflicts: 219000 | #Constraints: 16330
336.56/337.83 c #Conflicts: 220000 | #Constraints: 17330
336.56/337.83 c #Conflicts: 221000 | #Constraints: 18330
336.56/337.83 c #Conflicts: 222000 | #Constraints: 19330
336.56/337.83 c #Conflicts: 223000 | #Constraints: 20330
336.56/337.83 c #Conflicts: 224000 | #Constraints: 21330
336.56/337.83 c #Conflicts: 225000 | #Constraints: 22330
336.56/337.83 c #Conflicts: 226000 | #Constraints: 23330
336.56/337.83 c INPROCESSING
336.56/337.83 c GARBAGE COLLECT
336.56/337.83 c #Conflicts: 227000 | #Constraints: 14919
336.56/337.83 c #Conflicts: 228000 | #Constraints: 15919
336.56/337.83 c #Conflicts: 229000 | #Constraints: 16919
336.56/337.83 c #Conflicts: 230000 | #Constraints: 17919
336.56/337.83 c #Conflicts: 231000 | #Constraints: 18919
336.56/337.83 c #Conflicts: 232000 | #Constraints: 19919
336.56/337.83 c #Conflicts: 233000 | #Constraints: 20919
336.56/337.83 c #Conflicts: 234000 | #Constraints: 21919
336.56/337.83 c #Conflicts: 235000 | #Constraints: 22919
336.56/337.83 c #Conflicts: 236000 | #Constraints: 23919
336.56/337.83 c INPROCESSING
336.56/337.83 c GARBAGE COLLECT
336.56/337.83 c #Conflicts: 237000 | #Constraints: 15321
336.56/337.83 c #Conflicts: 238000 | #Constraints: 16321
336.56/337.83 c #Conflicts: 239000 | #Constraints: 17321
336.56/337.83 c #Conflicts: 240000 | #Constraints: 18321
336.56/337.83 c #Conflicts: 241000 | #Constraints: 19321
336.56/337.83 c #Conflicts: 242000 | #Constraints: 20321
336.56/337.83 c #Conflicts: 243000 | #Constraints: 21321
336.56/337.83 c #Conflicts: 244000 | #Constraints: 22321
336.56/337.83 c #Conflicts: 245000 | #Constraints: 23321
336.56/337.83 c #Conflicts: 246000 | #Constraints: 24321
336.56/337.83 c INPROCESSING
336.56/337.83 c GARBAGE COLLECT
336.56/337.83 c #Conflicts: 247000 | #Constraints: 15514
336.56/337.83 c #Conflicts: 248000 | #Constraints: 16514
336.56/337.83 c #Conflicts: 249000 | #Constraints: 17514
336.56/337.83 c #Conflicts: 250000 | #Constraints: 18514
336.56/337.83 c #Conflicts: 251000 | #Constraints: 19514
336.56/337.83 c #Conflicts: 252000 | #Constraints: 20514
336.56/337.83 c #Conflicts: 253000 | #Constraints: 21514
336.56/337.83 c #Conflicts: 254000 | #Constraints: 22514
336.56/337.83 c #Conflicts: 255000 | #Constraints: 23514
336.56/337.83 c #Conflicts: 256000 | #Constraints: 24514
336.56/337.83 c INPROCESSING
336.56/337.83 c GARBAGE COLLECT
336.56/337.83 c #Conflicts: 257000 | #Constraints: 15513
336.56/337.83 c #Conflicts: 258000 | #Constraints: 16513
336.56/337.83 c #Conflicts: 259000 | #Constraints: 17513
336.56/337.83 c #Conflicts: 260000 | #Constraints: 18513
336.56/337.83 c #Conflicts: 261000 | #Constraints: 19513
336.56/337.83 c #Conflicts: 262000 | #Constraints: 20513
336.56/337.83 c #Conflicts: 263000 | #Constraints: 21513
336.56/337.83 c #Conflicts: 264000 | #Constraints: 22513
336.56/337.83 c #Conflicts: 265000 | #Constraints: 23513
336.56/337.83 c #Conflicts: 266000 | #Constraints: 24513
336.56/337.83 c INPROCESSING
336.56/337.83 c GARBAGE COLLECT
336.56/337.83 c #Conflicts: 267000 | #Constraints: 15315
336.56/337.83 c #Conflicts: 268000 | #Constraints: 16315
336.56/337.83 c #Conflicts: 269000 | #Constraints: 17315
336.56/337.83 c #Conflicts: 270000 | #Constraints: 18315
336.56/337.83 c #Conflicts: 271000 | #Constraints: 19315
336.56/337.83 c #Conflicts: 272000 | #Constraints: 20315
336.56/337.83 c #Conflicts: 273000 | #Constraints: 21315
336.56/337.83 c #Conflicts: 274000 | #Constraints: 22315
336.56/337.83 c #Conflicts: 275000 | #Constraints: 23315
336.56/337.83 c #Conflicts: 276000 | #Constraints: 24315
336.56/337.83 c #Conflicts: 277000 | #Constraints: 25315
336.56/337.83 c INPROCESSING
336.56/337.83 c GARBAGE COLLECT
336.56/337.83 c #Conflicts: 278000 | #Constraints: 15917
336.56/337.83 c #Conflicts: 279000 | #Constraints: 16917
336.56/337.83 c #Conflicts: 280000 | #Constraints: 17917
336.56/337.83 c #Conflicts: 281000 | #Constraints: 18917
336.56/337.83 c #Conflicts: 282000 | #Constraints: 19917
336.56/337.83 c #Conflicts: 283000 | #Constraints: 20917
336.56/337.83 c #Conflicts: 284000 | #Constraints: 21917
344.33/345.67 c #Conflicts: 285000 | #Constraints: 22917
344.33/345.67 c #Conflicts: 286000 | #Constraints: 23917
344.33/345.67 c #Conflicts: 287000 | #Constraints: 24917
344.33/345.67 c #Conflicts: 288000 | #Constraints: 25917
344.33/345.67 c INPROCESSING
344.33/345.67 c GARBAGE COLLECT
344.33/345.67 c #Conflicts: 289000 | #Constraints: 16326
344.33/345.67 c #Conflicts: 290000 | #Constraints: 17326
344.33/345.67 c #Conflicts: 291000 | #Constraints: 18326
344.33/345.67 c #Conflicts: 292000 | #Constraints: 19326
344.33/345.67 c #Conflicts: 293000 | #Constraints: 20326
344.33/345.67 c #Conflicts: 294000 | #Constraints: 21326
344.33/345.67 c #Conflicts: 295000 | #Constraints: 22326
344.33/345.67 c #Conflicts: 296000 | #Constraints: 23326
344.33/345.67 c #Conflicts: 297000 | #Constraints: 24326
344.33/345.67 c #Conflicts: 298000 | #Constraints: 25326
344.33/345.67 c #Conflicts: 299000 | #Constraints: 26326
344.33/345.67 c INPROCESSING
344.33/345.67 c GARBAGE COLLECT
344.33/345.67 c #Conflicts: 300000 | #Constraints: 16530
344.33/345.67 c #Conflicts: 301000 | #Constraints: 17530
344.33/345.67 c #Conflicts: 302000 | #Constraints: 18530
344.33/345.67 c #Conflicts: 303000 | #Constraints: 19530
344.33/345.67 c #Conflicts: 304000 | #Constraints: 20530
344.33/345.67 c #Conflicts: 305000 | #Constraints: 21530
344.33/345.67 c #Conflicts: 306000 | #Constraints: 22530
344.33/345.67 c #Conflicts: 307000 | #Constraints: 23530
344.33/345.67 c #Conflicts: 308000 | #Constraints: 24530
344.33/345.67 c #Conflicts: 309000 | #Constraints: 25530
344.33/345.67 c #Conflicts: 310000 | #Constraints: 26530
344.33/345.67 c INPROCESSING
344.33/345.67 c GARBAGE COLLECT
344.33/345.67 c #Conflicts: 311000 | #Constraints: 16534
344.33/345.67 c #Conflicts: 312000 | #Constraints: 17534
344.33/345.67 c #Conflicts: 313000 | #Constraints: 18534
344.33/345.67 c #Conflicts: 314000 | #Constraints: 19534
344.33/345.67 c #Conflicts: 315000 | #Constraints: 20534
344.33/345.67 c #Conflicts: 316000 | #Constraints: 21534
344.33/345.67 c #Conflicts: 317000 | #Constraints: 22534
344.33/345.67 c #Conflicts: 318000 | #Constraints: 23534
344.33/345.67 c #Conflicts: 319000 | #Constraints: 24534
344.33/345.67 c #Conflicts: 320000 | #Constraints: 25534
344.33/345.67 c #Conflicts: 321000 | #Constraints: 26534
344.33/345.67 c INPROCESSING
344.33/345.67 c GARBAGE COLLECT
344.33/345.67 c #Conflicts: 322000 | #Constraints: 16329
344.33/345.67 c #Conflicts: 323000 | #Constraints: 17329
344.33/345.67 c #Conflicts: 324000 | #Constraints: 18329
344.33/345.67 c #Conflicts: 325000 | #Constraints: 19329
344.33/345.67 c #Conflicts: 326000 | #Constraints: 20329
344.33/345.67 c #Conflicts: 327000 | #Constraints: 21329
344.33/345.67 c #Conflicts: 328000 | #Constraints: 22329
344.33/345.67 c #Conflicts: 329000 | #Constraints: 23329
344.33/345.67 c #Conflicts: 330000 | #Constraints: 24329
344.33/345.67 c finalizing WCE round: reformulating cores
415.96/417.58 c #Conflicts: 331000 | #Constraints: 25332
415.96/417.58 c #Conflicts: 332000 | #Constraints: 26334
415.96/417.58 c #Conflicts: 333000 | #Constraints: 27338
415.96/417.58 c INPROCESSING
415.96/417.58 c GARBAGE COLLECT
415.96/417.58 c #Conflicts: 334000 | #Constraints: 16931
415.96/417.58 c #Conflicts: 335000 | #Constraints: 17933
415.96/417.58 c #Conflicts: 336000 | #Constraints: 18935
415.96/417.58 c bounds 66 >= 14 @ 343.957
415.96/417.58 c bounds 66 >= 16 @ 343.97
415.96/417.58 c bounds 66 >= 18 @ 344.009
415.96/417.58 c #Conflicts: 337000 | #Constraints: 19959
415.96/417.58 c #Conflicts: 338000 | #Constraints: 20959
415.96/417.58 c #Conflicts: 339000 | #Constraints: 21959
415.96/417.58 c #Conflicts: 340000 | #Constraints: 22959
415.96/417.58 c #Conflicts: 341000 | #Constraints: 23959
415.96/417.58 c #Conflicts: 342000 | #Constraints: 24959
415.96/417.58 c #Conflicts: 343000 | #Constraints: 25959
415.96/417.58 c #Conflicts: 344000 | #Constraints: 26959
415.96/417.58 c #Conflicts: 345000 | #Constraints: 27959
415.96/417.58 c INPROCESSING
415.96/417.58 c GARBAGE COLLECT
415.96/417.58 c #Conflicts: 346000 | #Constraints: 17373
415.96/417.58 c #Conflicts: 347000 | #Constraints: 18373
415.96/417.58 c #Conflicts: 348000 | #Constraints: 19373
415.96/417.58 c #Conflicts: 349000 | #Constraints: 20373
415.96/417.58 c #Conflicts: 350000 | #Constraints: 21373
415.96/417.58 c #Conflicts: 351000 | #Constraints: 22373
415.96/417.58 c #Conflicts: 352000 | #Constraints: 23373
415.96/417.58 c #Conflicts: 353000 | #Constraints: 24373
415.96/417.58 c #Conflicts: 354000 | #Constraints: 25373
415.96/417.58 c #Conflicts: 355000 | #Constraints: 26373
415.96/417.58 c #Conflicts: 356000 | #Constraints: 27373
415.96/417.58 c #Conflicts: 357000 | #Constraints: 28373
415.96/417.58 c INPROCESSING
415.96/417.58 c GARBAGE COLLECT
415.96/417.58 c #Conflicts: 358000 | #Constraints: 17581
415.96/417.58 c #Conflicts: 359000 | #Constraints: 18581
415.96/417.58 c #Conflicts: 360000 | #Constraints: 19581
415.96/417.58 c #Conflicts: 361000 | #Constraints: 20581
415.96/417.58 c #Conflicts: 362000 | #Constraints: 21581
415.96/417.58 c #Conflicts: 363000 | #Constraints: 22581
415.96/417.58 c #Conflicts: 364000 | #Constraints: 23581
415.96/417.58 c #Conflicts: 365000 | #Constraints: 24581
415.96/417.58 c #Conflicts: 366000 | #Constraints: 25581
415.96/417.58 c #Conflicts: 367000 | #Constraints: 26581
415.96/417.58 c #Conflicts: 368000 | #Constraints: 27581
415.96/417.58 c #Conflicts: 369000 | #Constraints: 28581
415.96/417.58 c INPROCESSING
415.96/417.58 c GARBAGE COLLECT
415.96/417.58 c #Conflicts: 370000 | #Constraints: 17592
415.96/417.58 c #Conflicts: 371000 | #Constraints: 18592
415.96/417.58 c #Conflicts: 372000 | #Constraints: 19592
415.96/417.58 c #Conflicts: 373000 | #Constraints: 20592
415.96/417.58 c #Conflicts: 374000 | #Constraints: 21592
415.96/417.58 c #Conflicts: 375000 | #Constraints: 22592
415.96/417.58 c #Conflicts: 376000 | #Constraints: 23592
415.96/417.58 c #Conflicts: 377000 | #Constraints: 24592
415.96/417.58 c #Conflicts: 378000 | #Constraints: 25592
415.96/417.58 c #Conflicts: 379000 | #Constraints: 26592
415.96/417.58 c #Conflicts: 380000 | #Constraints: 27592
415.96/417.58 c #Conflicts: 381000 | #Constraints: 28592
415.96/417.58 c #Conflicts: 382000 | #Constraints: 29592
415.96/417.58 c #Conflicts: 383000 | #Constraints: 30592
415.96/417.58 c #Conflicts: 384000 | #Constraints: 31592
415.96/417.58 c #Conflicts: 385000 | #Constraints: 32592
415.96/417.58 c #Conflicts: 386000 | #Constraints: 33592
415.96/417.58 c #Conflicts: 387000 | #Constraints: 34592
415.96/417.58 c #Conflicts: 388000 | #Constraints: 35592
415.96/417.58 c #Conflicts: 389000 | #Constraints: 36592
415.96/417.58 c #Conflicts: 390000 | #Constraints: 37592
415.96/417.58 c #Conflicts: 391000 | #Constraints: 38592
415.96/417.58 c #Conflicts: 392000 | #Constraints: 39592
415.96/417.58 c #Conflicts: 393000 | #Constraints: 40592
415.96/417.58 c #Conflicts: 394000 | #Constraints: 41592
415.96/417.58 c #Conflicts: 395000 | #Constraints: 42592
415.96/417.58 c #Conflicts: 396000 | #Constraints: 43592
415.96/417.58 c #Conflicts: 397000 | #Constraints: 44592
415.96/417.58 c #Conflicts: 398000 | #Constraints: 45592
415.96/417.58 c #Conflicts: 399000 | #Constraints: 46592
415.96/417.58 c #Conflicts: 400000 | #Constraints: 47592
415.96/417.58 c #Conflicts: 401000 | #Constraints: 48592
415.96/417.58 c #Conflicts: 402000 | #Constraints: 49592
415.96/417.58 c #Conflicts: 403000 | #Constraints: 50592
415.96/417.58 c #Conflicts: 404000 | #Constraints: 51592
415.96/417.58 c #Conflicts: 405000 | #Constraints: 52592
622.06/624.45 c #Conflicts: 406000 | #Constraints: 53592
622.06/624.45 c #Conflicts: 407000 | #Constraints: 54592
622.06/624.45 c #Conflicts: 408000 | #Constraints: 55592
622.06/624.45 c #Conflicts: 409000 | #Constraints: 56592
622.06/624.45 c #Conflicts: 410000 | #Constraints: 57592
622.06/624.45 c #Conflicts: 411000 | #Constraints: 58592
622.06/624.45 c #Conflicts: 412000 | #Constraints: 59592
622.06/624.45 c #Conflicts: 413000 | #Constraints: 60592
622.06/624.45 c #Conflicts: 414000 | #Constraints: 61592
622.06/624.45 c #Conflicts: 415000 | #Constraints: 62592
622.06/624.45 c #Conflicts: 416000 | #Constraints: 63592
622.06/624.45 c #Conflicts: 417000 | #Constraints: 64592
622.06/624.45 c #Conflicts: 418000 | #Constraints: 65592
622.06/624.45 c #Conflicts: 419000 | #Constraints: 66592
622.06/624.45 c #Conflicts: 420000 | #Constraints: 67592
622.06/624.45 c #Conflicts: 421000 | #Constraints: 68592
622.06/624.45 c #Conflicts: 422000 | #Constraints: 69592
622.06/624.45 c #Conflicts: 423000 | #Constraints: 70592
622.06/624.45 c #Conflicts: 424000 | #Constraints: 71592
622.06/624.45 c #Conflicts: 425000 | #Constraints: 72592
622.06/624.45 c #Conflicts: 426000 | #Constraints: 73592
622.06/624.45 c #Conflicts: 427000 | #Constraints: 74592
622.06/624.45 c #Conflicts: 428000 | #Constraints: 75592
622.06/624.45 c #Conflicts: 429000 | #Constraints: 76592
622.06/624.45 c INPROCESSING
622.06/624.45 c GARBAGE COLLECT
622.06/624.45 c #Conflicts: 430000 | #Constraints: 41553
622.06/624.45 c #Conflicts: 431000 | #Constraints: 42553
622.06/624.45 c #Conflicts: 432000 | #Constraints: 43553
622.06/624.45 c #Conflicts: 433000 | #Constraints: 44553
622.06/624.45 c #Conflicts: 434000 | #Constraints: 45553
622.06/624.45 c #Conflicts: 435000 | #Constraints: 46553
622.06/624.45 c #Conflicts: 436000 | #Constraints: 47553
622.06/624.45 c #Conflicts: 437000 | #Constraints: 48553
622.06/624.45 c #Conflicts: 438000 | #Constraints: 49553
622.06/624.45 c #Conflicts: 439000 | #Constraints: 50553
622.06/624.45 c #Conflicts: 440000 | #Constraints: 51553
622.06/624.45 c #Conflicts: 441000 | #Constraints: 52553
622.06/624.45 c #Conflicts: 442000 | #Constraints: 53553
622.06/624.45 c INPROCESSING
622.06/624.45 c GARBAGE COLLECT
622.06/624.45 c #Conflicts: 443000 | #Constraints: 29772
622.06/624.45 c #Conflicts: 444000 | #Constraints: 30772
622.06/624.45 c #Conflicts: 445000 | #Constraints: 31772
622.06/624.45 c #Conflicts: 446000 | #Constraints: 32772
622.06/624.45 c #Conflicts: 447000 | #Constraints: 33772
622.06/624.45 c #Conflicts: 448000 | #Constraints: 34772
622.06/624.45 c #Conflicts: 449000 | #Constraints: 35772
622.06/624.45 c #Conflicts: 450000 | #Constraints: 36772
622.06/624.45 c #Conflicts: 451000 | #Constraints: 37772
622.06/624.45 c #Conflicts: 452000 | #Constraints: 38772
622.06/624.45 c #Conflicts: 453000 | #Constraints: 39772
622.06/624.45 c #Conflicts: 454000 | #Constraints: 40772
622.06/624.45 c #Conflicts: 455000 | #Constraints: 41772
622.06/624.45 c #Conflicts: 456000 | #Constraints: 42772
622.06/624.45 c INPROCESSING
622.06/624.45 c GARBAGE COLLECT
622.06/624.45 c #Conflicts: 457000 | #Constraints: 24536
622.06/624.45 c #Conflicts: 458000 | #Constraints: 25536
622.06/624.45 c #Conflicts: 459000 | #Constraints: 26536
622.06/624.45 c #Conflicts: 460000 | #Constraints: 27536
622.06/624.45 c #Conflicts: 461000 | #Constraints: 28536
622.06/624.45 c #Conflicts: 462000 | #Constraints: 29536
622.06/624.45 c #Conflicts: 463000 | #Constraints: 30536
622.06/624.45 c #Conflicts: 464000 | #Constraints: 31536
622.06/624.45 c #Conflicts: 465000 | #Constraints: 32536
622.06/624.45 c #Conflicts: 466000 | #Constraints: 33536
622.06/624.45 c #Conflicts: 467000 | #Constraints: 34536
622.06/624.45 c #Conflicts: 468000 | #Constraints: 35536
622.06/624.45 c #Conflicts: 469000 | #Constraints: 36536
622.06/624.45 c #Conflicts: 470000 | #Constraints: 37536
622.06/624.45 c INPROCESSING
622.06/624.45 c GARBAGE COLLECT
622.06/624.45 c #Conflicts: 471000 | #Constraints: 21976
622.06/624.45 c #Conflicts: 472000 | #Constraints: 22976
622.06/624.45 c #Conflicts: 473000 | #Constraints: 23976
622.06/624.45 c #Conflicts: 474000 | #Constraints: 24976
622.06/624.45 c #Conflicts: 475000 | #Constraints: 25976
622.06/624.45 c #Conflicts: 476000 | #Constraints: 26976
622.06/624.45 c #Conflicts: 477000 | #Constraints: 27976
622.06/624.45 c #Conflicts: 478000 | #Constraints: 28976
622.06/624.45 c #Conflicts: 479000 | #Constraints: 29976
622.06/624.45 c #Conflicts: 480000 | #Constraints: 30976
622.06/624.45 c #Conflicts: 481000 | #Constraints: 31976
963.99/967.55 c #Conflicts: 482000 | #Constraints: 32976
963.99/967.55 c #Conflicts: 483000 | #Constraints: 33976
963.99/967.55 c #Conflicts: 484000 | #Constraints: 34976
963.99/967.55 c #Conflicts: 485000 | #Constraints: 35976
963.99/967.55 c #Conflicts: 486000 | #Constraints: 36976
963.99/967.55 c #Conflicts: 487000 | #Constraints: 37976
963.99/967.55 c #Conflicts: 488000 | #Constraints: 38976
963.99/967.55 c #Conflicts: 489000 | #Constraints: 39976
963.99/967.55 c #Conflicts: 490000 | #Constraints: 40976
963.99/967.55 c #Conflicts: 491000 | #Constraints: 41976
963.99/967.55 c #Conflicts: 492000 | #Constraints: 42976
963.99/967.55 c #Conflicts: 493000 | #Constraints: 43976
963.99/967.55 c #Conflicts: 494000 | #Constraints: 44976
963.99/967.55 c #Conflicts: 495000 | #Constraints: 45976
963.99/967.55 c #Conflicts: 496000 | #Constraints: 46976
963.99/967.55 c #Conflicts: 497000 | #Constraints: 47976
963.99/967.55 c #Conflicts: 498000 | #Constraints: 48976
963.99/967.55 c #Conflicts: 499000 | #Constraints: 49976
963.99/967.55 c #Conflicts: 500000 | #Constraints: 50976
963.99/967.55 c #Conflicts: 501000 | #Constraints: 51976
963.99/967.55 c #Conflicts: 502000 | #Constraints: 52976
963.99/967.55 c #Conflicts: 503000 | #Constraints: 53976
963.99/967.55 c #Conflicts: 504000 | #Constraints: 54976
963.99/967.55 c #Conflicts: 505000 | #Constraints: 55976
963.99/967.55 c #Conflicts: 506000 | #Constraints: 56976
963.99/967.55 c #Conflicts: 507000 | #Constraints: 57976
963.99/967.55 c #Conflicts: 508000 | #Constraints: 58976
963.99/967.55 c #Conflicts: 509000 | #Constraints: 59976
963.99/967.55 c #Conflicts: 510000 | #Constraints: 60976
963.99/967.55 c #Conflicts: 511000 | #Constraints: 61976
963.99/967.55 c #Conflicts: 512000 | #Constraints: 62976
963.99/967.55 c #Conflicts: 513000 | #Constraints: 63976
963.99/967.55 c #Conflicts: 514000 | #Constraints: 64976
963.99/967.55 c #Conflicts: 515000 | #Constraints: 65976
963.99/967.55 c #Conflicts: 516000 | #Constraints: 66976
963.99/967.55 c #Conflicts: 517000 | #Constraints: 67976
963.99/967.55 c #Conflicts: 518000 | #Constraints: 68976
963.99/967.55 c #Conflicts: 519000 | #Constraints: 69976
963.99/967.55 c #Conflicts: 520000 | #Constraints: 70976
963.99/967.55 c #Conflicts: 521000 | #Constraints: 71976
963.99/967.55 c #Conflicts: 522000 | #Constraints: 72976
963.99/967.55 c #Conflicts: 523000 | #Constraints: 73976
963.99/967.55 c #Conflicts: 524000 | #Constraints: 74976
963.99/967.55 c #Conflicts: 525000 | #Constraints: 75976
963.99/967.55 c #Conflicts: 526000 | #Constraints: 76976
963.99/967.55 c #Conflicts: 527000 | #Constraints: 77976
963.99/967.55 c #Conflicts: 528000 | #Constraints: 78976
963.99/967.55 c #Conflicts: 529000 | #Constraints: 79976
963.99/967.55 c #Conflicts: 530000 | #Constraints: 80976
963.99/967.55 c #Conflicts: 531000 | #Constraints: 81976
963.99/967.55 c #Conflicts: 532000 | #Constraints: 82976
963.99/967.55 c #Conflicts: 533000 | #Constraints: 83976
963.99/967.55 c #Conflicts: 534000 | #Constraints: 84976
963.99/967.55 c #Conflicts: 535000 | #Constraints: 85976
963.99/967.55 c INPROCESSING
963.99/967.55 c GARBAGE COLLECT
963.99/967.55 c #Conflicts: 536000 | #Constraints: 46007
963.99/967.55 c #Conflicts: 537000 | #Constraints: 47007
963.99/967.55 c #Conflicts: 538000 | #Constraints: 48007
963.99/967.55 c #Conflicts: 539000 | #Constraints: 49007
963.99/967.55 c #Conflicts: 540000 | #Constraints: 50007
963.99/967.55 c #Conflicts: 541000 | #Constraints: 51007
963.99/967.55 c #Conflicts: 542000 | #Constraints: 52007
963.99/967.55 c #Conflicts: 543000 | #Constraints: 53007
963.99/967.55 c #Conflicts: 544000 | #Constraints: 54007
963.99/967.55 c #Conflicts: 545000 | #Constraints: 55007
963.99/967.55 c #Conflicts: 546000 | #Constraints: 56007
963.99/967.55 c #Conflicts: 547000 | #Constraints: 57007
963.99/967.55 c #Conflicts: 548000 | #Constraints: 58007
963.99/967.55 c #Conflicts: 549000 | #Constraints: 59007
963.99/967.55 c #Conflicts: 550000 | #Constraints: 60007
963.99/967.55 c #Conflicts: 551000 | #Constraints: 61007
963.99/967.55 c INPROCESSING
963.99/967.55 c GARBAGE COLLECT
963.99/967.55 c #Conflicts: 552000 | #Constraints: 33912
963.99/967.55 c #Conflicts: 553000 | #Constraints: 34912
963.99/967.55 c #Conflicts: 554000 | #Constraints: 35912
963.99/967.55 c #Conflicts: 555000 | #Constraints: 36912
963.99/967.55 c #Conflicts: 556000 | #Constraints: 37912
963.99/967.55 c #Conflicts: 557000 | #Constraints: 38912
963.99/967.55 c #Conflicts: 558000 | #Constraints: 39912
963.99/967.55 c #Conflicts: 559000 | #Constraints: 40912
1208.12/1212.47 c #Conflicts: 560000 | #Constraints: 41912
1208.12/1212.47 c #Conflicts: 561000 | #Constraints: 42912
1208.12/1212.47 c #Conflicts: 562000 | #Constraints: 43912
1208.12/1212.47 c #Conflicts: 563000 | #Constraints: 44912
1208.12/1212.47 c #Conflicts: 564000 | #Constraints: 45912
1208.12/1212.47 c #Conflicts: 565000 | #Constraints: 46912
1208.12/1212.47 c #Conflicts: 566000 | #Constraints: 47912
1208.12/1212.47 c INPROCESSING
1208.12/1212.47 c GARBAGE COLLECT
1208.12/1212.47 c #Conflicts: 567000 | #Constraints: 27165
1208.12/1212.47 c #Conflicts: 568000 | #Constraints: 28165
1208.12/1212.47 c #Conflicts: 569000 | #Constraints: 29165
1208.12/1212.47 c #Conflicts: 570000 | #Constraints: 30165
1208.12/1212.47 c #Conflicts: 571000 | #Constraints: 31165
1208.12/1212.47 c #Conflicts: 572000 | #Constraints: 32165
1208.12/1212.47 c #Conflicts: 573000 | #Constraints: 33165
1208.12/1212.47 c #Conflicts: 574000 | #Constraints: 34165
1208.12/1212.47 c #Conflicts: 575000 | #Constraints: 35165
1208.12/1212.47 c #Conflicts: 576000 | #Constraints: 36165
1208.12/1212.47 c #Conflicts: 577000 | #Constraints: 37165
1208.12/1212.47 c #Conflicts: 578000 | #Constraints: 38165
1208.12/1212.47 c #Conflicts: 579000 | #Constraints: 39165
1208.12/1212.47 c #Conflicts: 580000 | #Constraints: 40165
1208.12/1212.47 c #Conflicts: 581000 | #Constraints: 41165
1208.12/1212.47 c #Conflicts: 582000 | #Constraints: 42165
1208.12/1212.47 c INPROCESSING
1208.12/1212.47 c GARBAGE COLLECT
1208.12/1212.47 c #Conflicts: 583000 | #Constraints: 24503
1208.12/1212.47 c #Conflicts: 584000 | #Constraints: 25503
1208.12/1212.47 c #Conflicts: 585000 | #Constraints: 26503
1208.12/1212.47 c #Conflicts: 586000 | #Constraints: 27503
1208.12/1212.47 c #Conflicts: 587000 | #Constraints: 28503
1208.12/1212.47 c #Conflicts: 588000 | #Constraints: 29503
1208.12/1212.47 c #Conflicts: 589000 | #Constraints: 30503
1208.12/1212.47 c #Conflicts: 590000 | #Constraints: 31503
1208.12/1212.47 c #Conflicts: 591000 | #Constraints: 32503
1208.12/1212.47 c #Conflicts: 592000 | #Constraints: 33503
1208.12/1212.47 c #Conflicts: 593000 | #Constraints: 34503
1208.12/1212.47 c #Conflicts: 594000 | #Constraints: 35503
1208.12/1212.47 c #Conflicts: 595000 | #Constraints: 36503
1208.12/1212.47 c #Conflicts: 596000 | #Constraints: 37503
1208.12/1212.47 c #Conflicts: 597000 | #Constraints: 38503
1208.12/1212.47 c #Conflicts: 598000 | #Constraints: 39503
1208.12/1212.47 c #Conflicts: 599000 | #Constraints: 40503
1208.12/1212.47 c #Conflicts: 600000 | #Constraints: 41503
1208.12/1212.47 c #Conflicts: 601000 | #Constraints: 42503
1208.12/1212.47 c #Conflicts: 602000 | #Constraints: 43503
1208.12/1212.47 c #Conflicts: 603000 | #Constraints: 44503
1208.12/1212.47 c #Conflicts: 604000 | #Constraints: 45503
1208.12/1212.47 c #Conflicts: 605000 | #Constraints: 46503
1208.12/1212.47 c #Conflicts: 606000 | #Constraints: 47503
1208.12/1212.47 c #Conflicts: 607000 | #Constraints: 48503
1208.12/1212.47 c #Conflicts: 608000 | #Constraints: 49503
1208.12/1212.47 c #Conflicts: 609000 | #Constraints: 50503
1208.12/1212.47 c #Conflicts: 610000 | #Constraints: 51503
1208.12/1212.47 c #Conflicts: 611000 | #Constraints: 52503
1208.12/1212.47 c #Conflicts: 612000 | #Constraints: 53503
1208.12/1212.47 c #Conflicts: 613000 | #Constraints: 54503
1208.12/1212.47 c #Conflicts: 614000 | #Constraints: 55503
1208.12/1212.47 c #Conflicts: 615000 | #Constraints: 56503
1208.12/1212.47 c #Conflicts: 616000 | #Constraints: 57503
1208.12/1212.47 c #Conflicts: 617000 | #Constraints: 58503
1208.12/1212.47 c #Conflicts: 618000 | #Constraints: 59503
1208.12/1212.47 c #Conflicts: 619000 | #Constraints: 60503
1208.12/1212.47 c #Conflicts: 620000 | #Constraints: 61503
1208.12/1212.47 c #Conflicts: 621000 | #Constraints: 62503
1208.12/1212.47 c #Conflicts: 622000 | #Constraints: 63503
1208.12/1212.47 c #Conflicts: 623000 | #Constraints: 64503
1208.12/1212.47 c #Conflicts: 624000 | #Constraints: 65503
1208.12/1212.47 c #Conflicts: 625000 | #Constraints: 66503
1208.12/1212.47 c #Conflicts: 626000 | #Constraints: 67503
1208.12/1212.47 c #Conflicts: 627000 | #Constraints: 68503
1208.12/1212.47 c #Conflicts: 628000 | #Constraints: 69503
1208.12/1212.47 c #Conflicts: 629000 | #Constraints: 70503
1208.12/1212.47 c #Conflicts: 630000 | #Constraints: 71503
1208.12/1212.47 c #Conflicts: 631000 | #Constraints: 72503
1208.12/1212.47 c #Conflicts: 632000 | #Constraints: 73503
1208.12/1212.47 c #Conflicts: 633000 | #Constraints: 74503
1208.12/1212.47 c #Conflicts: 634000 | #Constraints: 75503
1208.12/1212.47 c #Conflicts: 635000 | #Constraints: 76503
1208.12/1212.47 c #Conflicts: 636000 | #Constraints: 77503
1583.74/1589.22 c #Conflicts: 637000 | #Constraints: 78503
1583.74/1589.22 c #Conflicts: 638000 | #Constraints: 79503
1583.74/1589.22 c #Conflicts: 639000 | #Constraints: 80503
1583.74/1589.22 c #Conflicts: 640000 | #Constraints: 81503
1583.74/1589.22 c #Conflicts: 641000 | #Constraints: 82503
1583.74/1589.22 c #Conflicts: 642000 | #Constraints: 83503
1583.74/1589.22 c #Conflicts: 643000 | #Constraints: 84503
1583.74/1589.22 c #Conflicts: 644000 | #Constraints: 85503
1583.74/1589.22 c #Conflicts: 645000 | #Constraints: 86503
1583.74/1589.22 c #Conflicts: 646000 | #Constraints: 87503
1583.74/1589.22 c #Conflicts: 647000 | #Constraints: 88503
1583.74/1589.22 c #Conflicts: 648000 | #Constraints: 89503
1583.74/1589.22 c #Conflicts: 649000 | #Constraints: 90503
1583.74/1589.22 c #Conflicts: 650000 | #Constraints: 91503
1583.74/1589.22 c #Conflicts: 651000 | #Constraints: 92503
1583.74/1589.22 c #Conflicts: 652000 | #Constraints: 93503
1583.74/1589.22 c INPROCESSING
1583.74/1589.22 c GARBAGE COLLECT
1583.74/1589.22 c #Conflicts: 653000 | #Constraints: 49805
1583.74/1589.22 c #Conflicts: 654000 | #Constraints: 50805
1583.74/1589.22 c #Conflicts: 655000 | #Constraints: 51805
1583.74/1589.22 c #Conflicts: 656000 | #Constraints: 52805
1583.74/1589.22 c #Conflicts: 657000 | #Constraints: 53805
1583.74/1589.22 c #Conflicts: 658000 | #Constraints: 54805
1583.74/1589.22 c #Conflicts: 659000 | #Constraints: 55805
1583.74/1589.22 c #Conflicts: 660000 | #Constraints: 56805
1583.74/1589.22 c #Conflicts: 661000 | #Constraints: 57805
1583.74/1589.22 c #Conflicts: 662000 | #Constraints: 58805
1583.74/1589.22 c #Conflicts: 663000 | #Constraints: 59805
1583.74/1589.22 c #Conflicts: 664000 | #Constraints: 60805
1583.74/1589.22 c #Conflicts: 665000 | #Constraints: 61805
1583.74/1589.22 c #Conflicts: 666000 | #Constraints: 62805
1583.74/1589.22 c #Conflicts: 667000 | #Constraints: 63805
1583.74/1589.22 c #Conflicts: 668000 | #Constraints: 64805
1583.74/1589.22 c #Conflicts: 669000 | #Constraints: 65805
1583.74/1589.22 c INPROCESSING
1583.74/1589.22 c GARBAGE COLLECT
1583.74/1589.22 c #Conflicts: 670000 | #Constraints: 36021
1583.74/1589.22 c #Conflicts: 671000 | #Constraints: 37021
1583.74/1589.22 c #Conflicts: 672000 | #Constraints: 38021
1583.74/1589.22 c #Conflicts: 673000 | #Constraints: 39021
1583.74/1589.22 c #Conflicts: 674000 | #Constraints: 40021
1583.74/1589.22 c #Conflicts: 675000 | #Constraints: 41021
1583.74/1589.22 c #Conflicts: 676000 | #Constraints: 42021
1583.74/1589.22 c #Conflicts: 677000 | #Constraints: 43021
1583.74/1589.22 c #Conflicts: 678000 | #Constraints: 44021
1583.74/1589.22 c #Conflicts: 679000 | #Constraints: 45021
1583.74/1589.22 c #Conflicts: 680000 | #Constraints: 46021
1583.74/1589.22 c #Conflicts: 681000 | #Constraints: 47021
1583.74/1589.22 c #Conflicts: 682000 | #Constraints: 48021
1583.74/1589.22 c #Conflicts: 683000 | #Constraints: 49021
1583.74/1589.22 c #Conflicts: 684000 | #Constraints: 50021
1583.74/1589.22 c #Conflicts: 685000 | #Constraints: 51021
1583.74/1589.22 c #Conflicts: 686000 | #Constraints: 52021
1583.74/1589.22 c INPROCESSING
1583.74/1589.22 c GARBAGE COLLECT
1583.74/1589.22 c #Conflicts: 687000 | #Constraints: 29066
1583.74/1589.22 c #Conflicts: 688000 | #Constraints: 30066
1583.74/1589.22 c #Conflicts: 689000 | #Constraints: 31066
1583.74/1589.22 c #Conflicts: 690000 | #Constraints: 32066
1583.74/1589.22 c #Conflicts: 691000 | #Constraints: 33066
1583.74/1589.22 c #Conflicts: 692000 | #Constraints: 34066
1583.74/1589.22 c #Conflicts: 693000 | #Constraints: 35066
1583.74/1589.22 c #Conflicts: 694000 | #Constraints: 36066
1583.74/1589.22 c #Conflicts: 695000 | #Constraints: 37066
1583.74/1589.22 c #Conflicts: 696000 | #Constraints: 38066
1583.74/1589.22 c #Conflicts: 697000 | #Constraints: 39066
1583.74/1589.22 c #Conflicts: 698000 | #Constraints: 40066
1583.74/1589.22 c #Conflicts: 699000 | #Constraints: 41066
1583.74/1589.22 c #Conflicts: 700000 | #Constraints: 42066
1583.74/1589.22 c #Conflicts: 701000 | #Constraints: 43066
1583.74/1589.22 c #Conflicts: 702000 | #Constraints: 44066
1583.74/1589.22 c #Conflicts: 703000 | #Constraints: 45066
1583.74/1589.22 c #Conflicts: 704000 | #Constraints: 46066
1583.74/1589.22 c INPROCESSING
1583.74/1589.22 c GARBAGE COLLECT
1583.74/1589.22 c #Conflicts: 705000 | #Constraints: 26448
1583.74/1589.22 c #Conflicts: 706000 | #Constraints: 27448
1583.74/1589.22 c #Conflicts: 707000 | #Constraints: 28448
1583.74/1589.22 c #Conflicts: 708000 | #Constraints: 29448
1583.74/1589.22 c #Conflicts: 709000 | #Constraints: 30448
1583.74/1589.22 c #Conflicts: 710000 | #Constraints: 31448
1583.74/1589.22 c #Conflicts: 711000 | #Constraints: 32448
1583.74/1589.22 c #Conflicts: 712000 | #Constraints: 33448
1583.74/1589.22 c #Conflicts: 713000 | #Constraints: 34448
1997.52/2004.35 c #Conflicts: 714000 | #Constraints: 35448
1997.52/2004.35 c #Conflicts: 715000 | #Constraints: 36448
1997.52/2004.35 c #Conflicts: 716000 | #Constraints: 37448
1997.52/2004.35 c #Conflicts: 717000 | #Constraints: 38448
1997.52/2004.35 c #Conflicts: 718000 | #Constraints: 39448
1997.52/2004.35 c #Conflicts: 719000 | #Constraints: 40448
1997.52/2004.35 c #Conflicts: 720000 | #Constraints: 41448
1997.52/2004.35 c #Conflicts: 721000 | #Constraints: 42448
1997.52/2004.35 c #Conflicts: 722000 | #Constraints: 43448
1997.52/2004.35 c #Conflicts: 723000 | #Constraints: 44448
1997.52/2004.35 c #Conflicts: 724000 | #Constraints: 45448
1997.52/2004.35 c #Conflicts: 725000 | #Constraints: 46448
1997.52/2004.35 c #Conflicts: 726000 | #Constraints: 47448
1997.52/2004.35 c #Conflicts: 727000 | #Constraints: 48448
1997.52/2004.35 c #Conflicts: 728000 | #Constraints: 49448
1997.52/2004.35 c #Conflicts: 729000 | #Constraints: 50448
1997.52/2004.35 c #Conflicts: 730000 | #Constraints: 51448
1997.52/2004.35 c #Conflicts: 731000 | #Constraints: 52448
1997.52/2004.35 c #Conflicts: 732000 | #Constraints: 53448
1997.52/2004.35 c #Conflicts: 733000 | #Constraints: 54448
1997.52/2004.35 c #Conflicts: 734000 | #Constraints: 55448
1997.52/2004.35 c #Conflicts: 735000 | #Constraints: 56448
1997.52/2004.35 c #Conflicts: 736000 | #Constraints: 57448
1997.52/2004.35 c #Conflicts: 737000 | #Constraints: 58448
1997.52/2004.35 c #Conflicts: 738000 | #Constraints: 59448
1997.52/2004.35 c #Conflicts: 739000 | #Constraints: 60448
1997.52/2004.35 c #Conflicts: 740000 | #Constraints: 61448
1997.52/2004.35 c #Conflicts: 741000 | #Constraints: 62448
1997.52/2004.35 c #Conflicts: 742000 | #Constraints: 63448
1997.52/2004.35 c #Conflicts: 743000 | #Constraints: 64448
1997.52/2004.35 c #Conflicts: 744000 | #Constraints: 65448
1997.52/2004.35 c #Conflicts: 745000 | #Constraints: 66448
1997.52/2004.35 c #Conflicts: 746000 | #Constraints: 67448
1997.52/2004.35 c #Conflicts: 747000 | #Constraints: 68448
1997.52/2004.35 c #Conflicts: 748000 | #Constraints: 69448
1997.52/2004.35 c #Conflicts: 749000 | #Constraints: 70448
1997.52/2004.35 c #Conflicts: 750000 | #Constraints: 71448
1997.52/2004.35 c #Conflicts: 751000 | #Constraints: 72448
1997.52/2004.35 c #Conflicts: 752000 | #Constraints: 73448
1997.52/2004.35 c #Conflicts: 753000 | #Constraints: 74448
1997.52/2004.35 c #Conflicts: 754000 | #Constraints: 75448
1997.52/2004.35 c #Conflicts: 755000 | #Constraints: 76448
1997.52/2004.35 c #Conflicts: 756000 | #Constraints: 77448
1997.52/2004.35 c #Conflicts: 757000 | #Constraints: 78448
1997.52/2004.35 c #Conflicts: 758000 | #Constraints: 79448
1997.52/2004.35 c #Conflicts: 759000 | #Constraints: 80448
1997.52/2004.35 c #Conflicts: 760000 | #Constraints: 81448
1997.52/2004.35 c #Conflicts: 761000 | #Constraints: 82448
1997.52/2004.35 c #Conflicts: 762000 | #Constraints: 83448
1997.52/2004.35 c #Conflicts: 763000 | #Constraints: 84448
1997.52/2004.35 c #Conflicts: 764000 | #Constraints: 85448
1997.52/2004.35 c #Conflicts: 765000 | #Constraints: 86448
1997.52/2004.35 c #Conflicts: 766000 | #Constraints: 87448
1997.52/2004.35 c #Conflicts: 767000 | #Constraints: 88448
1997.52/2004.35 c #Conflicts: 768000 | #Constraints: 89448
1997.52/2004.35 c #Conflicts: 769000 | #Constraints: 90448
1997.52/2004.35 c #Conflicts: 770000 | #Constraints: 91448
1997.52/2004.35 c #Conflicts: 771000 | #Constraints: 92448
1997.52/2004.35 c #Conflicts: 772000 | #Constraints: 93448
1997.52/2004.35 c #Conflicts: 773000 | #Constraints: 94448
1997.52/2004.35 c #Conflicts: 774000 | #Constraints: 95448
1997.52/2004.35 c #Conflicts: 775000 | #Constraints: 96448
1997.52/2004.35 c #Conflicts: 776000 | #Constraints: 97448
1997.52/2004.35 c #Conflicts: 777000 | #Constraints: 98448
1997.52/2004.35 c #Conflicts: 778000 | #Constraints: 99448
1997.52/2004.35 c #Conflicts: 779000 | #Constraints: 100448
1997.52/2004.35 c #Conflicts: 780000 | #Constraints: 101448
1997.52/2004.35 c INPROCESSING
1997.52/2004.35 c GARBAGE COLLECT
1997.52/2004.35 c #Conflicts: 781000 | #Constraints: 54134
1997.52/2004.35 c #Conflicts: 782000 | #Constraints: 55134
1997.52/2004.35 c #Conflicts: 783000 | #Constraints: 56134
1997.52/2004.35 c #Conflicts: 784000 | #Constraints: 57134
1997.52/2004.35 c #Conflicts: 785000 | #Constraints: 58134
1997.52/2004.35 c #Conflicts: 786000 | #Constraints: 59134
1997.52/2004.35 c #Conflicts: 787000 | #Constraints: 60134
1997.52/2004.35 c #Conflicts: 788000 | #Constraints: 61134
1997.52/2004.35 c #Conflicts: 789000 | #Constraints: 62134
1997.52/2004.35 c #Conflicts: 790000 | #Constraints: 63134
1997.52/2004.35 c #Conflicts: 791000 | #Constraints: 64134
2342.31/2350.22 c #Conflicts: 792000 | #Constraints: 65134
2342.31/2350.22 c #Conflicts: 793000 | #Constraints: 66134
2342.31/2350.22 c #Conflicts: 794000 | #Constraints: 67134
2342.31/2350.22 c #Conflicts: 795000 | #Constraints: 68134
2342.31/2350.22 c #Conflicts: 796000 | #Constraints: 69134
2342.31/2350.22 c #Conflicts: 797000 | #Constraints: 70134
2342.31/2350.22 c #Conflicts: 798000 | #Constraints: 71134
2342.31/2350.22 c INPROCESSING
2342.31/2350.22 c GARBAGE COLLECT
2342.31/2350.22 c #Conflicts: 799000 | #Constraints: 38667
2342.31/2350.22 c #Conflicts: 800000 | #Constraints: 39667
2342.31/2350.22 c #Conflicts: 801000 | #Constraints: 40667
2342.31/2350.22 c #Conflicts: 802000 | #Constraints: 41667
2342.31/2350.22 c #Conflicts: 803000 | #Constraints: 42667
2342.31/2350.22 c #Conflicts: 804000 | #Constraints: 43667
2342.31/2350.22 c #Conflicts: 805000 | #Constraints: 44667
2342.31/2350.22 c #Conflicts: 806000 | #Constraints: 45667
2342.31/2350.22 c #Conflicts: 807000 | #Constraints: 46667
2342.31/2350.22 c #Conflicts: 808000 | #Constraints: 47667
2342.31/2350.22 c #Conflicts: 809000 | #Constraints: 48667
2342.31/2350.22 c #Conflicts: 810000 | #Constraints: 49667
2342.31/2350.22 c #Conflicts: 811000 | #Constraints: 50667
2342.31/2350.22 c #Conflicts: 812000 | #Constraints: 51667
2342.31/2350.22 c #Conflicts: 813000 | #Constraints: 52667
2342.31/2350.22 c #Conflicts: 814000 | #Constraints: 53667
2342.31/2350.22 c #Conflicts: 815000 | #Constraints: 54667
2342.31/2350.22 c #Conflicts: 816000 | #Constraints: 55667
2342.31/2350.22 c #Conflicts: 817000 | #Constraints: 56667
2342.31/2350.22 c INPROCESSING
2342.31/2350.22 c GARBAGE COLLECT
2342.31/2350.22 c #Conflicts: 818000 | #Constraints: 31551
2342.31/2350.22 c #Conflicts: 819000 | #Constraints: 32551
2342.31/2350.22 c #Conflicts: 820000 | #Constraints: 33551
2342.31/2350.22 c #Conflicts: 821000 | #Constraints: 34551
2342.31/2350.22 c #Conflicts: 822000 | #Constraints: 35551
2342.31/2350.22 c #Conflicts: 823000 | #Constraints: 36551
2342.31/2350.22 c #Conflicts: 824000 | #Constraints: 37551
2342.31/2350.22 c #Conflicts: 825000 | #Constraints: 38551
2342.31/2350.22 c #Conflicts: 826000 | #Constraints: 39551
2342.31/2350.22 c #Conflicts: 827000 | #Constraints: 40551
2342.31/2350.22 c #Conflicts: 828000 | #Constraints: 41551
2342.31/2350.22 c #Conflicts: 829000 | #Constraints: 42551
2342.31/2350.22 c #Conflicts: 830000 | #Constraints: 43551
2342.31/2350.22 c #Conflicts: 831000 | #Constraints: 44551
2342.31/2350.22 c #Conflicts: 832000 | #Constraints: 45551
2342.31/2350.22 c #Conflicts: 833000 | #Constraints: 46551
2342.31/2350.22 c #Conflicts: 834000 | #Constraints: 47551
2342.31/2350.22 c #Conflicts: 835000 | #Constraints: 48551
2342.31/2350.22 c #Conflicts: 836000 | #Constraints: 49551
2342.31/2350.22 c INPROCESSING
2342.31/2350.22 c GARBAGE COLLECT
2342.31/2350.22 c #Conflicts: 837000 | #Constraints: 27993
2342.31/2350.22 c #Conflicts: 838000 | #Constraints: 28993
2342.31/2350.22 c #Conflicts: 839000 | #Constraints: 29993
2342.31/2350.22 c #Conflicts: 840000 | #Constraints: 30993
2342.31/2350.22 c #Conflicts: 841000 | #Constraints: 31993
2342.31/2350.22 c #Conflicts: 842000 | #Constraints: 32993
2342.31/2350.22 c #Conflicts: 843000 | #Constraints: 33993
2342.31/2350.22 c #Conflicts: 844000 | #Constraints: 34993
2342.31/2350.22 c #Conflicts: 845000 | #Constraints: 35993
2342.31/2350.22 c #Conflicts: 846000 | #Constraints: 36993
2342.31/2350.22 c #Conflicts: 847000 | #Constraints: 37993
2342.31/2350.22 c #Conflicts: 848000 | #Constraints: 38993
2342.31/2350.22 c #Conflicts: 849000 | #Constraints: 39993
2342.31/2350.22 c #Conflicts: 850000 | #Constraints: 40993
2342.31/2350.22 c #Conflicts: 851000 | #Constraints: 41993
2342.31/2350.22 c #Conflicts: 852000 | #Constraints: 42993
2342.31/2350.22 c #Conflicts: 853000 | #Constraints: 43993
2342.31/2350.22 c #Conflicts: 854000 | #Constraints: 44993
2342.31/2350.22 c #Conflicts: 855000 | #Constraints: 45993
2342.31/2350.22 c #Conflicts: 856000 | #Constraints: 46993
2342.31/2350.22 c #Conflicts: 857000 | #Constraints: 47993
2342.31/2350.22 c #Conflicts: 858000 | #Constraints: 48993
2342.31/2350.22 c #Conflicts: 859000 | #Constraints: 49993
2342.31/2350.22 c #Conflicts: 860000 | #Constraints: 50993
2342.31/2350.22 c #Conflicts: 861000 | #Constraints: 51993
2342.31/2350.22 c #Conflicts: 862000 | #Constraints: 52993
2342.31/2350.22 c #Conflicts: 863000 | #Constraints: 53993
2342.31/2350.22 c #Conflicts: 864000 | #Constraints: 54993
2342.31/2350.22 c #Conflicts: 865000 | #Constraints: 55993
2342.31/2350.22 c #Conflicts: 866000 | #Constraints: 56993
2342.31/2350.22 c #Conflicts: 867000 | #Constraints: 57993
2342.31/2350.22 c #Conflicts: 868000 | #Constraints: 58993
2935.25/2945.24 c #Conflicts: 869000 | #Constraints: 59993
2935.25/2945.24 c #Conflicts: 870000 | #Constraints: 60993
2935.25/2945.24 c #Conflicts: 871000 | #Constraints: 61993
2935.25/2945.24 c #Conflicts: 872000 | #Constraints: 62993
2935.25/2945.24 c #Conflicts: 873000 | #Constraints: 63993
2935.25/2945.24 c #Conflicts: 874000 | #Constraints: 64993
2935.25/2945.24 c #Conflicts: 875000 | #Constraints: 65993
2935.25/2945.24 c #Conflicts: 876000 | #Constraints: 66993
2935.25/2945.24 c #Conflicts: 877000 | #Constraints: 67993
2935.25/2945.24 c #Conflicts: 878000 | #Constraints: 68993
2935.25/2945.24 c #Conflicts: 879000 | #Constraints: 69993
2935.25/2945.24 c #Conflicts: 880000 | #Constraints: 70993
2935.25/2945.24 c #Conflicts: 881000 | #Constraints: 71993
2935.25/2945.24 c #Conflicts: 882000 | #Constraints: 72993
2935.25/2945.24 c #Conflicts: 883000 | #Constraints: 73993
2935.25/2945.24 c #Conflicts: 884000 | #Constraints: 74993
2935.25/2945.24 c #Conflicts: 885000 | #Constraints: 75993
2935.25/2945.24 c #Conflicts: 886000 | #Constraints: 76993
2935.25/2945.24 c #Conflicts: 887000 | #Constraints: 77993
2935.25/2945.24 c #Conflicts: 888000 | #Constraints: 78993
2935.25/2945.24 c #Conflicts: 889000 | #Constraints: 79993
2935.25/2945.24 c #Conflicts: 890000 | #Constraints: 80993
2935.25/2945.24 c #Conflicts: 891000 | #Constraints: 81993
2935.25/2945.24 c #Conflicts: 892000 | #Constraints: 82993
2935.25/2945.24 c #Conflicts: 893000 | #Constraints: 83993
2935.25/2945.24 c #Conflicts: 894000 | #Constraints: 84993
2935.25/2945.24 c #Conflicts: 895000 | #Constraints: 85993
2935.25/2945.24 c #Conflicts: 896000 | #Constraints: 86993
2935.25/2945.24 c #Conflicts: 897000 | #Constraints: 87993
2935.25/2945.24 c #Conflicts: 898000 | #Constraints: 88993
2935.25/2945.24 c #Conflicts: 899000 | #Constraints: 89993
2935.25/2945.24 c #Conflicts: 900000 | #Constraints: 90993
2935.25/2945.24 c #Conflicts: 901000 | #Constraints: 91993
2935.25/2945.24 c #Conflicts: 902000 | #Constraints: 92993
2935.25/2945.24 c #Conflicts: 903000 | #Constraints: 93993
2935.25/2945.24 c #Conflicts: 904000 | #Constraints: 94993
2935.25/2945.24 c #Conflicts: 905000 | #Constraints: 95993
2935.25/2945.24 c #Conflicts: 906000 | #Constraints: 96993
2935.25/2945.24 c #Conflicts: 907000 | #Constraints: 97993
2935.25/2945.24 c #Conflicts: 908000 | #Constraints: 98993
2935.25/2945.24 c #Conflicts: 909000 | #Constraints: 99993
2935.25/2945.24 c #Conflicts: 910000 | #Constraints: 100993
2935.25/2945.24 c #Conflicts: 911000 | #Constraints: 101993
2935.25/2945.24 c #Conflicts: 912000 | #Constraints: 102993
2935.25/2945.24 c #Conflicts: 913000 | #Constraints: 103993
2935.25/2945.24 c #Conflicts: 914000 | #Constraints: 104993
2935.25/2945.24 c #Conflicts: 915000 | #Constraints: 105993
2935.25/2945.24 c #Conflicts: 916000 | #Constraints: 106993
2935.25/2945.24 c #Conflicts: 917000 | #Constraints: 107993
2935.25/2945.24 c INPROCESSING
2935.25/2945.24 c GARBAGE COLLECT
2935.25/2945.24 c #Conflicts: 918000 | #Constraints: 57075
2935.25/2945.24 c #Conflicts: 919000 | #Constraints: 58075
2935.25/2945.24 c #Conflicts: 920000 | #Constraints: 59075
2935.25/2945.24 c #Conflicts: 921000 | #Constraints: 60075
2935.25/2945.24 c #Conflicts: 922000 | #Constraints: 61075
2935.25/2945.24 c #Conflicts: 923000 | #Constraints: 62075
2935.25/2945.24 c #Conflicts: 924000 | #Constraints: 63075
2935.25/2945.24 c #Conflicts: 925000 | #Constraints: 64075
2935.25/2945.24 c #Conflicts: 926000 | #Constraints: 65075
2935.25/2945.24 c #Conflicts: 927000 | #Constraints: 66075
2935.25/2945.24 c #Conflicts: 928000 | #Constraints: 67075
2935.25/2945.24 c #Conflicts: 929000 | #Constraints: 68075
2935.25/2945.24 c #Conflicts: 930000 | #Constraints: 69075
2935.25/2945.24 c #Conflicts: 931000 | #Constraints: 70075
2935.25/2945.24 c #Conflicts: 932000 | #Constraints: 71075
2935.25/2945.24 c #Conflicts: 933000 | #Constraints: 72075
2935.25/2945.24 c #Conflicts: 934000 | #Constraints: 73075
2935.25/2945.24 c #Conflicts: 935000 | #Constraints: 74075
2935.25/2945.24 c #Conflicts: 936000 | #Constraints: 75075
2935.25/2945.24 c #Conflicts: 937000 | #Constraints: 76075
2935.25/2945.24 c #Conflicts: 938000 | #Constraints: 77075
2935.25/2945.24 c INPROCESSING
2935.25/2945.24 c GARBAGE COLLECT
2935.25/2945.24 c #Conflicts: 939000 | #Constraints: 41965
2935.25/2945.24 c #Conflicts: 940000 | #Constraints: 42965
2935.25/2945.24 c #Conflicts: 941000 | #Constraints: 43965
2935.25/2945.24 c #Conflicts: 942000 | #Constraints: 44965
2935.25/2945.24 c #Conflicts: 943000 | #Constraints: 45965
2935.25/2945.24 c #Conflicts: 944000 | #Constraints: 46965
2935.25/2945.24 c #Conflicts: 945000 | #Constraints: 47965
3341.58/3353.05 c #Conflicts: 946000 | #Constraints: 48965
3341.58/3353.05 c #Conflicts: 947000 | #Constraints: 49965
3341.58/3353.05 c #Conflicts: 948000 | #Constraints: 50965
3341.58/3353.05 c #Conflicts: 949000 | #Constraints: 51965
3341.58/3353.05 c #Conflicts: 950000 | #Constraints: 52965
3341.58/3353.05 c #Conflicts: 951000 | #Constraints: 53965
3341.58/3353.05 c #Conflicts: 952000 | #Constraints: 54965
3341.58/3353.05 c #Conflicts: 953000 | #Constraints: 55965
3341.58/3353.05 c #Conflicts: 954000 | #Constraints: 56965
3341.58/3353.05 c #Conflicts: 955000 | #Constraints: 57965
3341.58/3353.05 c #Conflicts: 956000 | #Constraints: 58965
3341.58/3353.05 c #Conflicts: 957000 | #Constraints: 59965
3341.58/3353.05 c #Conflicts: 958000 | #Constraints: 60965
3341.58/3353.05 c INPROCESSING
3341.58/3353.05 c GARBAGE COLLECT
3341.58/3353.05 c #Conflicts: 959000 | #Constraints: 33643
3341.58/3353.05 c #Conflicts: 960000 | #Constraints: 34643
3341.58/3353.05 c #Conflicts: 961000 | #Constraints: 35643
3341.58/3353.05 c #Conflicts: 962000 | #Constraints: 36643
3341.58/3353.05 c #Conflicts: 963000 | #Constraints: 37643
3341.58/3353.05 c #Conflicts: 964000 | #Constraints: 38643
3341.58/3353.05 c #Conflicts: 965000 | #Constraints: 39643
3341.58/3353.05 c #Conflicts: 966000 | #Constraints: 40643
3341.58/3353.05 c #Conflicts: 967000 | #Constraints: 41643
3341.58/3353.05 c #Conflicts: 968000 | #Constraints: 42643
3341.58/3353.05 c #Conflicts: 969000 | #Constraints: 43643
3341.58/3353.05 c #Conflicts: 970000 | #Constraints: 44643
3341.58/3353.05 c #Conflicts: 971000 | #Constraints: 45643
3341.58/3353.05 c #Conflicts: 972000 | #Constraints: 46643
3341.58/3353.05 c #Conflicts: 973000 | #Constraints: 47643
3341.58/3353.05 c #Conflicts: 974000 | #Constraints: 48643
3341.58/3353.05 c #Conflicts: 975000 | #Constraints: 49643
3341.58/3353.05 c #Conflicts: 976000 | #Constraints: 50643
3341.58/3353.05 c #Conflicts: 977000 | #Constraints: 51643
3341.58/3353.05 c #Conflicts: 978000 | #Constraints: 52643
3341.58/3353.05 c #Conflicts: 979000 | #Constraints: 53643
3341.58/3353.05 c INPROCESSING
3341.58/3353.05 c GARBAGE COLLECT
3341.58/3353.05 c #Conflicts: 980000 | #Constraints: 30141
3341.58/3353.05 c #Conflicts: 981000 | #Constraints: 31141
3341.58/3353.05 c #Conflicts: 982000 | #Constraints: 32141
3341.58/3353.05 c #Conflicts: 983000 | #Constraints: 33141
3341.58/3353.05 c #Conflicts: 984000 | #Constraints: 34141
3341.58/3353.05 c #Conflicts: 985000 | #Constraints: 35141
3341.58/3353.05 c #Conflicts: 986000 | #Constraints: 36141
3341.58/3353.05 c #Conflicts: 987000 | #Constraints: 37141
3341.58/3353.05 c #Conflicts: 988000 | #Constraints: 38141
3341.58/3353.05 c #Conflicts: 989000 | #Constraints: 39141
3341.58/3353.05 c #Conflicts: 990000 | #Constraints: 40141
3341.58/3353.05 c #Conflicts: 991000 | #Constraints: 41141
3341.58/3353.05 c #Conflicts: 992000 | #Constraints: 42141
3341.58/3353.05 c #Conflicts: 993000 | #Constraints: 43141
3341.58/3353.05 c #Conflicts: 994000 | #Constraints: 44141
3341.58/3353.05 c #Conflicts: 995000 | #Constraints: 45141
3341.58/3353.05 c #Conflicts: 996000 | #Constraints: 46141
3341.58/3353.05 c #Conflicts: 997000 | #Constraints: 47141
3341.58/3353.05 c #Conflicts: 998000 | #Constraints: 48141
3341.58/3353.05 c #Conflicts: 999000 | #Constraints: 49141
3341.58/3353.05 c #Conflicts: 1000000 | #Constraints: 50141
3341.58/3353.05 c #Conflicts: 1001000 | #Constraints: 51141
3341.58/3353.05 c #Conflicts: 1002000 | #Constraints: 52141
3341.58/3353.05 c #Conflicts: 1003000 | #Constraints: 53141
3341.58/3353.05 c #Conflicts: 1004000 | #Constraints: 54141
3341.58/3353.05 c #Conflicts: 1005000 | #Constraints: 55141
3341.58/3353.05 c #Conflicts: 1006000 | #Constraints: 56141
3341.58/3353.05 c #Conflicts: 1007000 | #Constraints: 57141
3341.58/3353.05 c #Conflicts: 1008000 | #Constraints: 58141
3341.58/3353.05 c #Conflicts: 1009000 | #Constraints: 59141
3341.58/3353.05 c #Conflicts: 1010000 | #Constraints: 60141
3341.58/3353.05 c #Conflicts: 1011000 | #Constraints: 61141
3341.58/3353.05 c #Conflicts: 1012000 | #Constraints: 62141
3341.58/3353.05 c #Conflicts: 1013000 | #Constraints: 63141
3341.58/3353.05 c #Conflicts: 1014000 | #Constraints: 64141
3341.58/3353.05 c #Conflicts: 1015000 | #Constraints: 65141
3341.58/3353.05 c #Conflicts: 1016000 | #Constraints: 66141
3341.58/3353.05 c #Conflicts: 1017000 | #Constraints: 67141
3341.58/3353.05 c #Conflicts: 1018000 | #Constraints: 68141
3341.58/3353.05 c #Conflicts: 1019000 | #Constraints: 69141
3341.58/3353.05 c #Conflicts: 1020000 | #Constraints: 70141
3341.58/3353.05 c #Conflicts: 1021000 | #Constraints: 71141
3341.58/3353.05 c #Conflicts: 1022000 | #Constraints: 72141
3341.58/3353.05 c #Conflicts: 1023000 | #Constraints: 73141
3600.07/3612.50 c #Conflicts: 1024000 | #Constraints: 74141
3600.07/3612.50 c #Conflicts: 1025000 | #Constraints: 75141
3600.07/3612.50 c #Conflicts: 1026000 | #Constraints: 76141
3600.07/3612.50 c #Conflicts: 1027000 | #Constraints: 77141
3600.07/3612.50 c #Conflicts: 1028000 | #Constraints: 78141
3600.07/3612.50 c #Conflicts: 1029000 | #Constraints: 79141
3600.07/3612.50 c #Conflicts: 1030000 | #Constraints: 80141
3600.07/3612.50 c #Conflicts: 1031000 | #Constraints: 81141
3600.07/3612.50 c #Conflicts: 1032000 | #Constraints: 82141
3600.07/3612.50 c #Conflicts: 1033000 | #Constraints: 83141
3600.07/3612.50 c #Conflicts: 1034000 | #Constraints: 84141
3600.07/3612.50 c #Conflicts: 1035000 | #Constraints: 85141
3600.07/3612.50 c #Conflicts: 1036000 | #Constraints: 86141
3600.07/3612.50 c #Conflicts: 1037000 | #Constraints: 87141
3600.07/3612.50 c #Conflicts: 1038000 | #Constraints: 88141
3600.07/3612.50 c #Conflicts: 1039000 | #Constraints: 89141
3600.07/3612.50 c #Conflicts: 1040000 | #Constraints: 90141
3600.07/3612.50 c #Conflicts: 1041000 | #Constraints: 91141
3600.07/3612.50 c #Conflicts: 1042000 | #Constraints: 92141
3600.07/3612.50 c #Conflicts: 1043000 | #Constraints: 93141
3600.07/3612.50 c #Conflicts: 1044000 | #Constraints: 94141
3600.07/3612.50 c #Conflicts: 1045000 | #Constraints: 95141
3600.07/3612.50 c #Conflicts: 1046000 | #Constraints: 96141
3600.07/3612.50 c #Conflicts: 1047000 | #Constraints: 97141
3600.07/3612.50 c #Conflicts: 1048000 | #Constraints: 98141
3600.07/3612.50 c #Conflicts: 1049000 | #Constraints: 99141
3600.07/3612.50 c #Conflicts: 1050000 | #Constraints: 100141
3600.07/3612.50 c #Conflicts: 1051000 | #Constraints: 101141
3600.07/3612.50 c #Conflicts: 1052000 | #Constraints: 102141
3600.07/3612.50 c #Conflicts: 1053000 | #Constraints: 103141
3600.07/3612.50 c #Conflicts: 1054000 | #Constraints: 104141
3600.07/3612.50 c #Conflicts: 1055000 | #Constraints: 105141
3600.07/3612.50 c Program interrupted by user.
3600.07/3612.50 c cpu time 3592.13 s
3600.07/3612.50 c deterministic time 262125944425 2.62e+11
3600.07/3612.50 c optimization time 438.894 s
3600.07/3612.50 c total solve time 2854.41 s
3600.07/3612.50 c core-guided solve time 2854.41 s
3600.07/3612.50 c propagation time 2763.38 s
3600.07/3612.50 c conflict analysis time 514.704 s
3600.07/3612.50 c propagations 134008838
3600.07/3612.50 c resolve steps 23434684
3600.07/3612.50 c decisions 4084022
3600.07/3612.50 c conflicts 1055138
3600.07/3612.50 c restarts 2046
3600.07/3612.50 c inprocessing phases 72
3600.07/3612.50 c input clauses 2689
3600.07/3612.50 c input cardinalities 278
3600.07/3612.50 c input general constraints 1705
3600.07/3612.50 c input average constraint length 5.24
3600.07/3612.50 c input average constraint degree 2.95
3600.07/3612.50 c learned clauses 822020
3600.07/3612.50 c learned cardinalities 9482
3600.07/3612.50 c learned general constraints 223643
3600.07/3612.50 c learned average constraint length 93.07
3600.07/3612.50 c learned average constraint degree 33137.91
3600.07/3612.50 c watched constraints 153238
3600.07/3612.50 c counting constraints 72110
3600.07/3612.50 c gcd simplifications 2687
3600.07/3612.50 c detected cardinalities 22
3600.07/3612.50 c weakened non-implied lits 22023272
3600.07/3612.50 c weakened non-implying lits 21729
3600.07/3612.50 c original variables 540
3600.07/3612.50 c clausal propagations 64087338
3600.07/3612.50 c cardinality propagations 47168795
3600.07/3612.50 c watched propagations 6591121
3600.07/3612.50 c counting propagations 15120844
3600.07/3612.50 c watch lookups 79351063369
3600.07/3612.50 c watch backjump lookups 72007124371
3600.07/3612.50 c watch checks 99536621591
3600.07/3612.50 c propagation checks 10587770828
3600.07/3612.50 c constraint additions 366123522
3600.07/3612.50 c trail pops 139147883
3600.07/3612.50 c formula constraints 4626
3600.07/3612.50 c learned constraints 1055145
3600.07/3612.50 c bound constraints 11
3600.07/3612.50 c core-guided constraints 35
3600.07/3612.50 c encountered formula constraints 11968607
3600.07/3612.50 c encountered learned constraints 12502368
3600.07/3612.50 c encountered bound constraints 4176
3600.07/3612.50 c encountered core-guided constraints 14671
3600.07/3612.50 c LP total time 0 s
3600.07/3612.50 c LP solve time 0 s
3600.07/3612.50 c LP constraints added 0
3600.07/3612.50 c LP constraints removed 0
3600.07/3612.50 c LP pivots internal 0
3600.07/3612.50 c LP pivots root 0
3600.07/3612.50 c LP calls 0
3600.07/3612.50 c LP optimalities 0
3600.07/3612.50 c LP no pivot count 0
3600.07/3612.50 c LP infeasibilities 0
3600.07/3612.50 c LP valid Farkas constraints 0
3600.07/3612.50 c LP learned Farkas constraints 0
3600.07/3612.50 c LP basis resets 0
3600.07/3612.50 c LP cycling count 0
3600.07/3612.50 c LP singular count 0
3600.07/3612.50 c LP no primal count 0
3600.07/3612.50 c LP no farkas count 0
3600.07/3612.50 c LP other issue count 0
3600.07/3612.50 c LP Gomory cuts 0
3600.07/3612.50 c LP learned cuts 0
3600.07/3612.50 c LP deleted cuts 0
3600.07/3612.50 c LP encountered Gomory constraints 0
3600.07/3612.50 c LP encountered Farkas constraints 0
3600.07/3612.50 c LP encountered learned Farkas constraints 0
3600.07/3612.50 c CG auxiliary variables introduced 14
3600.07/3612.50 c CG solutions found 1
3600.07/3612.50 c CG cores constructed 9
3600.07/3612.50 c CG core cardinality constraints returned 0
3600.07/3612.50 c CG unit cores 0
3600.07/3612.50 c CG single cores 9
3600.07/3612.50 c CG blocks removed during cardinality reduction 0
3600.07/3612.50 c CG first core best 0
3600.07/3612.50 c CG decision core best 0
3600.07/3612.50 c CG core reduction tie 0
3600.07/3612.50 c CG core degree average 1.00
3600.07/3612.50 c CG core slack average 11.67
3600.07/3612.50 c CG exhausted 0
3600.07/3612.50 c CG exhaust time 0.864834 s
3600.07/3612.50 c CG trimmed 0
3600.07/3612.50 c CG trim time 0.000177 s
3600.07/3612.50 c CG minimized 0
3600.07/3612.50 c CG minimize time 0 s
3600.07/3612.50 c CG am1 prop time 0.00025 s
3600.07/3612.50 c CG # am1s reformulated 0
3600.07/3612.50 c CG lower bound derived from am1s 0
3600.07/3612.50 c CG # clausal cores 9
3600.07/3612.50 c CG # cardinality cores 0
3600.07/3612.50 c CG # pb cores 0
3600.07/3612.50 c CG # pb reforms 0
3600.07/3612.50 c CG # cores discarded because of pb reform 0
3600.07/3612.50 d LOWERBOUND 18
3600.07/3612.50 d NCORES 9
3600.07/3612.50 d NPBCORES 0
3600.07/3612.50 d NPBREFORM 0
3600.07/3612.50 d NTRIMMED 0
3600.07/3612.50 d NEXHAUSTED 0
3600.07/3612.50 d NAM1S 0
3600.07/3612.50 d AM1LB 0
3600.07/3612.50 c [Papilo Statistics]
3600.07/3612.50 c prepro time 0.00532873s
3600.07/3612.50 c # tsx applied 0
3600.07/3612.50 c # tsx conflicts 0
3600.07/3612.50 c # bound changes 0
3600.07/3612.50 c # side changes 0
3600.07/3612.50 c # coef changes 0
3600.07/3612.50 c # rounds 1
3600.07/3612.50 c # deted vars 0
3600.07/3612.50 c # deted constrs 0
3600.07/3612.50 c # consecutive rounds of only bound changes 0
3600.07/3612.50 c [STEP] postprocessing with Papilo
3600.07/3612.50 o 66
3600.07/3612.50 s SATISFIABLE
3600.07/3612.50 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: 64059 MiB (61302 MiB free)
memory of node 1: 64510 MiB (59429 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454693-1721448522/watcher-4454693-1721448522 -o /tmp/evaluation-result-4454693-1721448522/solver-4454693-1721448522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721444855-1032727 --watchdog 3760 mixed-bag HOME/instance-4454693-1721448522.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1035181, runsolver pid=1035178
[startup+0.100094 s]*
/proc/loadavg: 4.20 4.14 4.10 5/241 1035182
/proc/meminfo: memFree=123609264/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=102496 memory=35536 CPUtime=0.1 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 6023 0 0 0 9 1 0 0 20 0 1 0 197011416 104955904 8884 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 25624 8884 3891 3002 0 9373 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 102496 KiB
Current children cumulated memory: 35536 KiB
[startup+0.213014 s]*
/proc/loadavg: 4.20 4.14 4.10 6/241 1035182
/proc/meminfo: memFree=123594976/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=117776 memory=50560 CPUtime=0.21 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 9737 0 0 0 20 1 0 0 20 0 1 0 197011416 120602624 12640 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 29444 12640 4091 3002 0 13193 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 117776 KiB
Current children cumulated memory: 50560 KiB
[startup+0.31315 s]*
/proc/loadavg: 4.20 4.14 4.10 5/241 1035182
/proc/meminfo: memFree=123594456/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=117776 memory=50560 CPUtime=0.31 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 9737 0 0 0 30 1 0 0 20 0 1 0 197011416 120602624 12640 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 29444 12640 4091 3002 0 13193 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 117776 KiB
Current children cumulated memory: 50560 KiB
[startup+0.700293 s]
/proc/loadavg: 4.20 4.14 4.10 5/241 1035182
/proc/meminfo: memFree=123594396/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=117776 memory=50560 CPUtime=0.69 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 9737 0 0 0 68 1 0 0 20 0 1 0 197011416 120602624 12640 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 29444 12640 4091 3002 0 13193 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 117776 KiB
Current children cumulated memory: 50560 KiB
[startup+1.50032 s]
/proc/loadavg: 4.20 4.14 4.10 5/241 1035182
/proc/meminfo: memFree=123572872/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=152916 memory=83148 CPUtime=1.48 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 17908 0 0 0 146 2 0 0 20 0 1 0 197011416 156585984 20787 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 38229 20787 4122 3002 0 21978 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 152916 KiB
Current children cumulated memory: 83148 KiB
[startup+3.11258 s]
/proc/loadavg: 4.20 4.14 4.10 5/241 1035182
/proc/meminfo: memFree=123537200/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=182288 memory=108228 CPUtime=3.09 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 24146 0 0 0 306 3 0 0 20 0 1 0 197011416 186662912 27057 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 45572 27057 4122 3002 0 29321 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 182288 KiB
Current children cumulated memory: 108228 KiB
[startup+6.30025 s]
/proc/loadavg: 4.19 4.13 4.10 5/241 1035182
/proc/meminfo: memFree=123536844/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=182572 memory=108492 CPUtime=6.27 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 24236 0 0 0 624 3 0 0 20 0 1 0 197011416 186953728 27123 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 45643 27123 4122 3002 0 29392 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 182572 KiB
Current children cumulated memory: 108492 KiB
[startup+12.7003 s]
/proc/loadavg: 4.25 4.15 4.10 5/241 1035183
/proc/meminfo: memFree=123521544/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=209952 memory=135372 CPUtime=12.65 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 30928 0 0 0 1261 4 0 0 20 0 1 0 197011416 214990848 33843 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 52488 33843 4122 3002 0 36237 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 209952 KiB
Current children cumulated memory: 135372 KiB
[startup+25.5003 s]
/proc/loadavg: 4.20 4.14 4.10 5/241 1035186
/proc/meminfo: memFree=123413992/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=306372 memory=229856 CPUtime=25.4 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 56211 0 0 0 2531 9 0 0 20 0 1 0 197011416 313724928 57464 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 76593 57464 4122 3002 0 60342 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 306372 KiB
Current children cumulated memory: 229856 KiB
[startup+51.1126 s]
/proc/loadavg: 4.13 4.13 4.10 5/241 1035190
/proc/meminfo: memFree=123410992/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=306372 memory=231432 CPUtime=50.93 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 56567 0 0 0 5081 12 0 0 20 0 1 0 197011416 313724928 57858 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 76593 57858 4122 3002 0 60342 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 306372 KiB
Current children cumulated memory: 231432 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/244 1035204
/proc/meminfo: memFree=123373252/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=306372 memory=231960 CPUtime=101.95 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 56676 0 0 0 10178 17 0 0 20 0 1 0 197011416 313724928 57990 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 76593 57990 4122 3002 0 60342 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 306372 KiB
Current children cumulated memory: 231960 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/244 1035214
/proc/meminfo: memFree=123053956/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=385936 memory=309336 CPUtime=161.73 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 77431 0 0 0 16148 25 0 0 20 0 1 0 197011416 395198464 77334 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 96484 77334 4253 3002 0 80233 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 385936 KiB
Current children cumulated memory: 309336 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/244 1035225
/proc/meminfo: memFree=123050728/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=385936 memory=309408 CPUtime=221.49 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 77460 0 0 0 22123 26 0 0 20 0 1 0 197011416 395198464 77352 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 96484 77352 4253 3002 0 80233 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 385936 KiB
Current children cumulated memory: 309408 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/244 1035235
/proc/meminfo: memFree=123168184/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=408704 memory=335468 CPUtime=281.26 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 83973 0 0 0 28099 27 0 0 20 0 1 0 197011416 418512896 83867 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 102176 83867 4253 3002 0 85925 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 408704 KiB
Current children cumulated memory: 335468 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/244 1035246
/proc/meminfo: memFree=123140668/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=405876 memory=337328 CPUtime=341.04 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 85127 0 0 0 33978 126 0 0 20 0 1 0 197011416 415617024 84332 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 101469 84332 4365 3002 0 85218 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 405876 KiB
Current children cumulated memory: 337328 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/244 1035256
/proc/meminfo: memFree=123109196/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=417476 memory=348392 CPUtime=400.82 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 86335 0 0 0 39900 182 0 0 20 0 1 0 197011416 427495424 87098 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 104369 87098 4381 3002 0 88118 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 417476 KiB
Current children cumulated memory: 348392 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/241 1035267
/proc/meminfo: memFree=123087596/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=429152 memory=358680 CPUtime=460.58 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 86858 0 0 0 45860 198 0 0 20 0 1 0 197011416 439451648 89670 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 107288 89670 4381 3002 0 91037 0
################
# More data... #
################
Current children cumulated memory: 398584 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/243 1036699
/proc/meminfo: memFree=122819780/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=2912.43 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 90708 0 0 0 290561 682 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 2912.43 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
[startup+2982.3 s]
/proc/loadavg: 4.61 4.26 4.20 5/245 1036879
/proc/meminfo: memFree=122816900/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=2972.22 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 90776 0 0 0 296528 694 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 2972.22 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
[startup+3042.3 s]
/proc/loadavg: 4.47 4.30 4.21 5/245 1036890
/proc/meminfo: memFree=122815240/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3032.01 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 90847 0 0 0 302498 703 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3032.01 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
[startup+3102.3 s]
/proc/loadavg: 4.22 4.26 4.20 5/245 1036902
/proc/meminfo: memFree=122805208/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3091.78 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 90917 0 0 0 308461 717 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3091.78 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.24 4.20 5/243 1036923
/proc/meminfo: memFree=122804872/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3151.56 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 90988 0 0 0 314428 728 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3151.56 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.22 4.19 5/243 1036934
/proc/meminfo: memFree=122802568/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3211.34 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 91055 0 0 0 320393 741 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3211.34 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.21 4.18 5/242 1036944
/proc/meminfo: memFree=122800180/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3271.12 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 91125 0 0 0 326359 753 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3271.12 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.20 4.18 5/242 1036955
/proc/meminfo: memFree=122797800/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3330.9 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 91198 0 0 0 332328 762 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3330.9 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/241 1036965
/proc/meminfo: memFree=122795424/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3390.68 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 91273 0 0 0 338298 770 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3390.68 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/241 1036976
/proc/meminfo: memFree=122795156/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3450.46 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 91351 0 0 0 344269 777 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3450.46 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 1036986
/proc/meminfo: memFree=122784644/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3510.24 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 91429 0 0 0 350240 784 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3510.24 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/241 1037180
/proc/meminfo: memFree=123280604/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3570 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 91512 0 0 0 356208 792 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3570 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.10 4.14 4.16 5/241 1037185
/proc/meminfo: memFree=123214708/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3600.07 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 91552 0 0 0 359212 795 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.51 s]
# the end of solver process 1035181 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.13 s, system=7.96077 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.5 s]
/proc/loadavg: 4.10 4.14 4.16 5/241 1037185
/proc/meminfo: memFree=123214708/131655788 swapFree=131071996/131071996
[pid=1035181] ppid=1035178 vsize=478940 memory=398584 CPUtime=3600.07 cores=0,2
/proc/1035181/stat : 1035181 (mixed-bag) R 1035178 1035181 1032717 0 -1 4194304 91552 0 0 0 359212 795 0 0 20 0 1 0 197011416 490434560 99646 134679101440 4194304 16488053 140724039369376 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 31760384 140724039373845 140724039373922 140724039373922 140724039380939 0
/proc/1035181/statm: 119735 99646 4381 3002 0 103484 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 478940 KiB
Current children cumulated memory: 398584 KiB
Child status: 0
Real time (s): 3612.51
CPU time (s): 3600.09
CPU user time (s): 3592.13
CPU system time (s): 7.96077
CPU usage (%): 99.6564
Max. virtual memory (cumulated for all children) (KiB): 478940
Max. memory (cumulated for all children) (KiB): 398584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.13
system time used= 7.96077
maximum resident set size= 399156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91582
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= 76
involuntary context switches= 25192
# summary of solver processes directly reported to runsolver:
# pid: 1035181
# total CPU time (s): 3600.09
# total CPU user time (s): 3592.13
# total CPU system time (s): 7.96077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4021 second user time and 35.7206 second system time
The end
Begin job on nodeC010 at 2024-07-20 06:08:53
IDJOB=4454693
IDBENCH=147020
IDSOLVER=3083
FILE ID=nodeC010/4454693-1721448522
RUNJOBID= nodeC010-1721444855-1032727
SLURM_JOB_ID= 7545660
Free space on /tmp= 723728 MiB
SOLVER NAME= mixed-bag 2024-07-19
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 --file-size-limit 102400 -w /tmp/evaluation-result-4454693-1721448522/watcher-4454693-1721448522 -o /tmp/evaluation-result-4454693-1721448522/solver-4454693-1721448522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721444855-1032727 --watchdog 3760 mixed-bag HOME/instance-4454693-1721448522.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=1353836191
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.783
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3670.629
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.174
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.339
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3671.299
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3669.689
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.304
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.369
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123630064 kB
MemAvailable: 128977004 kB
Buffers: 540564 kB
Cached: 5593340 kB
SwapCached: 0 kB
Active: 1073648 kB
Inactive: 6264620 kB
Active(anon): 1440 kB
Inactive(anon): 1248812 kB
Active(file): 1072208 kB
Inactive(file): 5015808 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16544 kB
Writeback: 156 kB
AnonPages: 1204416 kB
Mapped: 140676 kB
Shmem: 45896 kB
KReclaimable: 197912 kB
Slab: 313648 kB
SReclaimable: 197912 kB
SUnreclaim: 115736 kB
KernelStack: 3840 kB
PageTables: 12132 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1609032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 364544 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC010 at 2024-07-20 07:09:06