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.49/300.31 c [STEP] preprocessing done, loading into solver
299.49/300.32 c [STEP] solving
299.49/300.32 c #variables 541 #constraints 4626
299.49/300.32 c SMALL=int, LARGE=long long
299.49/300.32 c bounds - >= 0 @ 299.373
299.49/300.32 c stratification level: 2
306.09/306.91 c bounds - >= 2 @ 299.373
306.09/306.91 c bounds - >= 4 @ 299.373
306.09/306.91 c bounds - >= 6 @ 299.373
306.09/306.91 c bounds - >= 8 @ 299.373
306.09/306.91 c bounds - >= 10 @ 299.373
306.09/306.91 c bounds - >= 12 @ 299.373
306.09/306.91 c #Conflicts: 1000 | #Constraints: 5638
306.09/306.91 c #Conflicts: 2000 | #Constraints: 6638
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 3000 | #Constraints: 6645
306.09/306.91 c bounds - >= 14 @ 299.573
306.09/306.91 c #Conflicts: 4000 | #Constraints: 7646
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 5000 | #Constraints: 7045
306.09/306.91 c #Conflicts: 6000 | #Constraints: 8045
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 7000 | #Constraints: 7046
306.09/306.91 c #Conflicts: 8000 | #Constraints: 8046
306.09/306.91 c #Conflicts: 9000 | #Constraints: 9046
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 10000 | #Constraints: 7751
306.09/306.91 c #Conflicts: 11000 | #Constraints: 8751
306.09/306.91 c #Conflicts: 12000 | #Constraints: 9751
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 13000 | #Constraints: 8201
306.09/306.91 c #Conflicts: 14000 | #Constraints: 9201
306.09/306.91 c #Conflicts: 15000 | #Constraints: 10201
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 16000 | #Constraints: 8429
306.09/306.91 c #Conflicts: 17000 | #Constraints: 9429
306.09/306.91 c #Conflicts: 18000 | #Constraints: 10429
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 19000 | #Constraints: 8447
306.09/306.91 c #Conflicts: 20000 | #Constraints: 9447
306.09/306.91 c #Conflicts: 21000 | #Constraints: 10447
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 22000 | #Constraints: 8257
306.09/306.91 c #Conflicts: 23000 | #Constraints: 9257
306.09/306.91 c #Conflicts: 24000 | #Constraints: 10257
306.09/306.91 c #Conflicts: 25000 | #Constraints: 11257
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 26000 | #Constraints: 8866
306.09/306.91 c #Conflicts: 27000 | #Constraints: 9866
306.09/306.91 c #Conflicts: 28000 | #Constraints: 10866
306.09/306.91 c #Conflicts: 29000 | #Constraints: 11866
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 30000 | #Constraints: 9266
306.09/306.91 c #Conflicts: 31000 | #Constraints: 10266
306.09/306.91 c #Conflicts: 32000 | #Constraints: 11266
306.09/306.91 c #Conflicts: 33000 | #Constraints: 12266
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 34000 | #Constraints: 9467
306.09/306.91 c #Conflicts: 35000 | #Constraints: 10467
306.09/306.91 c #Conflicts: 36000 | #Constraints: 11467
306.09/306.91 c #Conflicts: 37000 | #Constraints: 12467
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 38000 | #Constraints: 9486
306.09/306.91 c #Conflicts: 39000 | #Constraints: 10486
306.09/306.91 c #Conflicts: 40000 | #Constraints: 11486
306.09/306.91 c #Conflicts: 41000 | #Constraints: 12486
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 42000 | #Constraints: 9285
306.09/306.91 c #Conflicts: 43000 | #Constraints: 10285
306.09/306.91 c #Conflicts: 44000 | #Constraints: 11285
306.09/306.91 c #Conflicts: 45000 | #Constraints: 12285
306.09/306.91 c #Conflicts: 46000 | #Constraints: 13285
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 47000 | #Constraints: 9884
306.09/306.91 c #Conflicts: 48000 | #Constraints: 10884
306.09/306.91 c #Conflicts: 49000 | #Constraints: 11884
306.09/306.91 c #Conflicts: 50000 | #Constraints: 12884
306.09/306.91 c #Conflicts: 51000 | #Constraints: 13884
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 52000 | #Constraints: 10287
306.09/306.91 c #Conflicts: 53000 | #Constraints: 11287
306.09/306.91 c #Conflicts: 54000 | #Constraints: 12287
306.09/306.91 c #Conflicts: 55000 | #Constraints: 13287
306.09/306.91 c #Conflicts: 56000 | #Constraints: 14287
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 57000 | #Constraints: 10488
306.09/306.91 c #Conflicts: 58000 | #Constraints: 11488
306.09/306.91 c #Conflicts: 59000 | #Constraints: 12488
306.09/306.91 c #Conflicts: 60000 | #Constraints: 13488
306.09/306.91 c #Conflicts: 61000 | #Constraints: 14488
306.09/306.91 c INPROCESSING
306.09/306.91 c GARBAGE COLLECT
306.09/306.91 c #Conflicts: 62000 | #Constraints: 10499
306.09/306.91 c #Conflicts: 63000 | #Constraints: 11499
306.09/306.91 c #Conflicts: 64000 | #Constraints: 12499
306.09/306.91 c #Conflicts: 65000 | #Constraints: 13499
314.86/315.78 c #Conflicts: 66000 | #Constraints: 14499
314.86/315.78 c INPROCESSING
314.86/315.78 c GARBAGE COLLECT
314.86/315.78 c #Conflicts: 67000 | #Constraints: 10296
314.86/315.78 c #Conflicts: 68000 | #Constraints: 11296
314.86/315.78 c #Conflicts: 69000 | #Constraints: 12296
314.86/315.78 c #Conflicts: 70000 | #Constraints: 13296
314.86/315.78 c #Conflicts: 71000 | #Constraints: 14296
314.86/315.78 c #Conflicts: 72000 | #Constraints: 15296
314.86/315.78 c INPROCESSING
314.86/315.78 c GARBAGE COLLECT
314.86/315.78 c #Conflicts: 73000 | #Constraints: 10890
314.86/315.78 c #Conflicts: 74000 | #Constraints: 11890
314.86/315.78 c #Conflicts: 75000 | #Constraints: 12890
314.86/315.78 c #Conflicts: 76000 | #Constraints: 13890
314.86/315.78 c #Conflicts: 77000 | #Constraints: 14890
314.86/315.78 c #Conflicts: 78000 | #Constraints: 15890
314.86/315.78 c INPROCESSING
314.86/315.78 c GARBAGE COLLECT
314.86/315.78 c #Conflicts: 79000 | #Constraints: 11292
314.86/315.78 c #Conflicts: 80000 | #Constraints: 12292
314.86/315.78 c #Conflicts: 81000 | #Constraints: 13292
314.86/315.78 c #Conflicts: 82000 | #Constraints: 14292
314.86/315.78 c #Conflicts: 83000 | #Constraints: 15292
314.86/315.78 c #Conflicts: 84000 | #Constraints: 16292
314.86/315.78 c INPROCESSING
314.86/315.78 c GARBAGE COLLECT
314.86/315.78 c #Conflicts: 85000 | #Constraints: 11500
314.86/315.78 c #Conflicts: 86000 | #Constraints: 12500
314.86/315.78 c #Conflicts: 87000 | #Constraints: 13500
314.86/315.78 c #Conflicts: 88000 | #Constraints: 14500
314.86/315.78 c #Conflicts: 89000 | #Constraints: 15500
314.86/315.78 c #Conflicts: 90000 | #Constraints: 16500
314.86/315.78 c INPROCESSING
314.86/315.78 c GARBAGE COLLECT
314.86/315.78 c #Conflicts: 91000 | #Constraints: 11511
314.86/315.78 c #Conflicts: 92000 | #Constraints: 12511
314.86/315.78 c #Conflicts: 93000 | #Constraints: 13511
314.86/315.78 c #Conflicts: 94000 | #Constraints: 14511
314.86/315.78 c #Conflicts: 95000 | #Constraints: 15511
314.86/315.78 c #Conflicts: 96000 | #Constraints: 16511
314.86/315.78 c INPROCESSING
314.86/315.78 c GARBAGE COLLECT
314.86/315.78 c #Conflicts: 97000 | #Constraints: 11316
314.86/315.78 c #Conflicts: 98000 | #Constraints: 12316
314.86/315.78 c #Conflicts: 99000 | #Constraints: 13316
314.86/315.78 c #Conflicts: 100000 | #Constraints: 14316
314.86/315.78 c #Conflicts: 101000 | #Constraints: 15316
314.86/315.78 c #Conflicts: 102000 | #Constraints: 16316
314.86/315.78 c #Conflicts: 103000 | #Constraints: 17316
314.86/315.78 c INPROCESSING
314.86/315.78 c GARBAGE COLLECT
314.86/315.78 c #Conflicts: 104000 | #Constraints: 11909
314.86/315.78 c #Conflicts: 105000 | #Constraints: 12909
314.86/315.78 c #Conflicts: 106000 | #Constraints: 13909
314.86/315.78 c #Conflicts: 107000 | #Constraints: 14909
314.86/315.78 c #Conflicts: 108000 | #Constraints: 15909
314.86/315.78 c #Conflicts: 109000 | #Constraints: 16909
314.86/315.78 c #Conflicts: 110000 | #Constraints: 17909
314.86/315.78 c INPROCESSING
314.86/315.78 c GARBAGE COLLECT
314.86/315.78 c #Conflicts: 111000 | #Constraints: 12310
314.86/315.78 c #Conflicts: 112000 | #Constraints: 13310
314.86/315.78 c #Conflicts: 113000 | #Constraints: 14310
314.86/315.78 c #Conflicts: 114000 | #Constraints: 15310
314.86/315.78 c #Conflicts: 115000 | #Constraints: 16310
314.86/315.78 c #Conflicts: 116000 | #Constraints: 17310
314.86/315.78 c #Conflicts: 117000 | #Constraints: 18310
314.86/315.78 c INPROCESSING
314.86/315.78 c GARBAGE COLLECT
314.86/315.78 c #Conflicts: 118000 | #Constraints: 12507
314.86/315.78 c #Conflicts: 119000 | #Constraints: 13507
314.86/315.78 c #Conflicts: 120000 | #Constraints: 14507
314.86/315.78 c #Conflicts: 121000 | #Constraints: 15507
314.86/315.78 c #Conflicts: 122000 | #Constraints: 16507
314.86/315.78 c #Conflicts: 123000 | #Constraints: 17507
314.86/315.78 c #Conflicts: 124000 | #Constraints: 18507
314.86/315.78 c INPROCESSING
314.86/315.78 c GARBAGE COLLECT
314.86/315.78 c #Conflicts: 125000 | #Constraints: 12506
314.86/315.78 c #Conflicts: 126000 | #Constraints: 13506
314.86/315.78 c #Conflicts: 127000 | #Constraints: 14506
314.86/315.78 c #Conflicts: 128000 | #Constraints: 15506
314.86/315.78 c #Conflicts: 129000 | #Constraints: 16506
314.86/315.78 c #Conflicts: 130000 | #Constraints: 17506
314.86/315.78 c #Conflicts: 131000 | #Constraints: 18506
314.86/315.78 c INPROCESSING
314.86/315.78 c GARBAGE COLLECT
314.86/315.78 c #Conflicts: 132000 | #Constraints: 12301
314.86/315.78 c #Conflicts: 133000 | #Constraints: 13301
314.86/315.78 c #Conflicts: 134000 | #Constraints: 14301
314.86/315.78 c #Conflicts: 135000 | #Constraints: 15301
314.86/315.78 c #Conflicts: 136000 | #Constraints: 16301
314.86/315.78 c #Conflicts: 137000 | #Constraints: 17301
325.54/326.43 c #Conflicts: 138000 | #Constraints: 18301
325.54/326.43 c #Conflicts: 139000 | #Constraints: 19301
325.54/326.43 c INPROCESSING
325.54/326.43 c GARBAGE COLLECT
325.54/326.43 c #Conflicts: 140000 | #Constraints: 12912
325.54/326.43 c #Conflicts: 141000 | #Constraints: 13912
325.54/326.43 c #Conflicts: 142000 | #Constraints: 14912
325.54/326.43 c #Conflicts: 143000 | #Constraints: 15912
325.54/326.43 c #Conflicts: 144000 | #Constraints: 16912
325.54/326.43 c #Conflicts: 145000 | #Constraints: 17912
325.54/326.43 c #Conflicts: 146000 | #Constraints: 18912
325.54/326.43 c #Conflicts: 147000 | #Constraints: 19912
325.54/326.43 c INPROCESSING
325.54/326.43 c GARBAGE COLLECT
325.54/326.43 c #Conflicts: 148000 | #Constraints: 13310
325.54/326.43 c #Conflicts: 149000 | #Constraints: 14310
325.54/326.43 c #Conflicts: 150000 | #Constraints: 15310
325.54/326.43 c #Conflicts: 151000 | #Constraints: 16310
325.54/326.43 c #Conflicts: 152000 | #Constraints: 17310
325.54/326.43 c #Conflicts: 153000 | #Constraints: 18310
325.54/326.43 c #Conflicts: 154000 | #Constraints: 19310
325.54/326.43 c #Conflicts: 155000 | #Constraints: 20310
325.54/326.43 c INPROCESSING
325.54/326.43 c GARBAGE COLLECT
325.54/326.43 c #Conflicts: 156000 | #Constraints: 13522
325.54/326.43 c #Conflicts: 157000 | #Constraints: 14522
325.54/326.43 c #Conflicts: 158000 | #Constraints: 15522
325.54/326.43 c #Conflicts: 159000 | #Constraints: 16522
325.54/326.43 c #Conflicts: 160000 | #Constraints: 17522
325.54/326.43 c #Conflicts: 161000 | #Constraints: 18522
325.54/326.43 c #Conflicts: 162000 | #Constraints: 19522
325.54/326.43 c #Conflicts: 163000 | #Constraints: 20522
325.54/326.43 c INPROCESSING
325.54/326.43 c GARBAGE COLLECT
325.54/326.43 c #Conflicts: 164000 | #Constraints: 13520
325.54/326.43 c #Conflicts: 165000 | #Constraints: 14520
325.54/326.43 c #Conflicts: 166000 | #Constraints: 15520
325.54/326.43 c #Conflicts: 167000 | #Constraints: 16520
325.54/326.43 c #Conflicts: 168000 | #Constraints: 17520
325.54/326.43 c #Conflicts: 169000 | #Constraints: 18520
325.54/326.43 c #Conflicts: 170000 | #Constraints: 19520
325.54/326.43 c #Conflicts: 171000 | #Constraints: 20520
325.54/326.43 c INPROCESSING
325.54/326.43 c GARBAGE COLLECT
325.54/326.43 c #Conflicts: 172000 | #Constraints: 13311
325.54/326.43 c #Conflicts: 173000 | #Constraints: 14311
325.54/326.43 c #Conflicts: 174000 | #Constraints: 15311
325.54/326.43 c #Conflicts: 175000 | #Constraints: 16311
325.54/326.43 c #Conflicts: 176000 | #Constraints: 17311
325.54/326.43 c #Conflicts: 177000 | #Constraints: 18311
325.54/326.43 c #Conflicts: 178000 | #Constraints: 19311
325.54/326.43 c #Conflicts: 179000 | #Constraints: 20311
325.54/326.43 c #Conflicts: 180000 | #Constraints: 21311
325.54/326.43 c INPROCESSING
325.54/326.43 c GARBAGE COLLECT
325.54/326.43 c #Conflicts: 181000 | #Constraints: 13910
325.54/326.43 c #Conflicts: 182000 | #Constraints: 14910
325.54/326.43 c #Conflicts: 183000 | #Constraints: 15910
325.54/326.43 c #Conflicts: 184000 | #Constraints: 16910
325.54/326.43 c #Conflicts: 185000 | #Constraints: 17910
325.54/326.43 c #Conflicts: 186000 | #Constraints: 18910
325.54/326.43 c #Conflicts: 187000 | #Constraints: 19910
325.54/326.43 c #Conflicts: 188000 | #Constraints: 20910
325.54/326.43 c #Conflicts: 189000 | #Constraints: 21910
325.54/326.43 c INPROCESSING
325.54/326.43 c GARBAGE COLLECT
325.54/326.43 c #Conflicts: 190000 | #Constraints: 14317
325.54/326.43 c #Conflicts: 191000 | #Constraints: 15317
325.54/326.43 c #Conflicts: 192000 | #Constraints: 16317
325.54/326.43 c #Conflicts: 193000 | #Constraints: 17317
325.54/326.43 c #Conflicts: 194000 | #Constraints: 18317
325.54/326.43 c #Conflicts: 195000 | #Constraints: 19317
325.54/326.43 c #Conflicts: 196000 | #Constraints: 20317
325.54/326.43 c #Conflicts: 197000 | #Constraints: 21317
325.54/326.43 c #Conflicts: 198000 | #Constraints: 22317
325.54/326.43 c INPROCESSING
325.54/326.43 c GARBAGE COLLECT
325.54/326.43 c #Conflicts: 199000 | #Constraints: 14530
325.54/326.43 c #Conflicts: 200000 | #Constraints: 15530
325.54/326.43 c #Conflicts: 201000 | #Constraints: 16530
325.54/326.43 c #Conflicts: 202000 | #Constraints: 17530
325.54/326.43 c #Conflicts: 203000 | #Constraints: 18530
325.54/326.43 c #Conflicts: 204000 | #Constraints: 19530
325.54/326.43 c #Conflicts: 205000 | #Constraints: 20530
325.54/326.43 c #Conflicts: 206000 | #Constraints: 21530
325.54/326.43 c #Conflicts: 207000 | #Constraints: 22530
325.54/326.43 c INPROCESSING
325.54/326.43 c GARBAGE COLLECT
325.54/326.43 c #Conflicts: 208000 | #Constraints: 14527
325.54/326.43 c #Conflicts: 209000 | #Constraints: 15527
325.54/326.43 c #Conflicts: 210000 | #Constraints: 16527
337.01/337.93 c #Conflicts: 211000 | #Constraints: 17527
337.01/337.93 c #Conflicts: 212000 | #Constraints: 18527
337.01/337.93 c #Conflicts: 213000 | #Constraints: 19527
337.01/337.93 c #Conflicts: 214000 | #Constraints: 20527
337.01/337.93 c #Conflicts: 215000 | #Constraints: 21527
337.01/337.93 c #Conflicts: 216000 | #Constraints: 22527
337.01/337.93 c INPROCESSING
337.01/337.93 c GARBAGE COLLECT
337.01/337.93 c #Conflicts: 217000 | #Constraints: 14330
337.01/337.93 c #Conflicts: 218000 | #Constraints: 15330
337.01/337.93 c #Conflicts: 219000 | #Constraints: 16330
337.01/337.93 c #Conflicts: 220000 | #Constraints: 17330
337.01/337.93 c #Conflicts: 221000 | #Constraints: 18330
337.01/337.93 c #Conflicts: 222000 | #Constraints: 19330
337.01/337.93 c #Conflicts: 223000 | #Constraints: 20330
337.01/337.93 c #Conflicts: 224000 | #Constraints: 21330
337.01/337.93 c #Conflicts: 225000 | #Constraints: 22330
337.01/337.93 c #Conflicts: 226000 | #Constraints: 23330
337.01/337.93 c INPROCESSING
337.01/337.93 c GARBAGE COLLECT
337.01/337.93 c #Conflicts: 227000 | #Constraints: 14919
337.01/337.93 c #Conflicts: 228000 | #Constraints: 15919
337.01/337.93 c #Conflicts: 229000 | #Constraints: 16919
337.01/337.93 c #Conflicts: 230000 | #Constraints: 17919
337.01/337.93 c #Conflicts: 231000 | #Constraints: 18919
337.01/337.93 c #Conflicts: 232000 | #Constraints: 19919
337.01/337.93 c #Conflicts: 233000 | #Constraints: 20919
337.01/337.93 c #Conflicts: 234000 | #Constraints: 21919
337.01/337.93 c #Conflicts: 235000 | #Constraints: 22919
337.01/337.93 c #Conflicts: 236000 | #Constraints: 23919
337.01/337.93 c INPROCESSING
337.01/337.93 c GARBAGE COLLECT
337.01/337.93 c #Conflicts: 237000 | #Constraints: 15321
337.01/337.93 c #Conflicts: 238000 | #Constraints: 16321
337.01/337.93 c #Conflicts: 239000 | #Constraints: 17321
337.01/337.93 c #Conflicts: 240000 | #Constraints: 18321
337.01/337.93 c #Conflicts: 241000 | #Constraints: 19321
337.01/337.93 c #Conflicts: 242000 | #Constraints: 20321
337.01/337.93 c #Conflicts: 243000 | #Constraints: 21321
337.01/337.93 c #Conflicts: 244000 | #Constraints: 22321
337.01/337.93 c #Conflicts: 245000 | #Constraints: 23321
337.01/337.93 c #Conflicts: 246000 | #Constraints: 24321
337.01/337.93 c INPROCESSING
337.01/337.93 c GARBAGE COLLECT
337.01/337.93 c #Conflicts: 247000 | #Constraints: 15514
337.01/337.93 c #Conflicts: 248000 | #Constraints: 16514
337.01/337.93 c #Conflicts: 249000 | #Constraints: 17514
337.01/337.93 c #Conflicts: 250000 | #Constraints: 18514
337.01/337.93 c #Conflicts: 251000 | #Constraints: 19514
337.01/337.93 c #Conflicts: 252000 | #Constraints: 20514
337.01/337.93 c #Conflicts: 253000 | #Constraints: 21514
337.01/337.93 c #Conflicts: 254000 | #Constraints: 22514
337.01/337.93 c #Conflicts: 255000 | #Constraints: 23514
337.01/337.93 c #Conflicts: 256000 | #Constraints: 24514
337.01/337.93 c INPROCESSING
337.01/337.93 c GARBAGE COLLECT
337.01/337.93 c #Conflicts: 257000 | #Constraints: 15513
337.01/337.93 c #Conflicts: 258000 | #Constraints: 16513
337.01/337.93 c #Conflicts: 259000 | #Constraints: 17513
337.01/337.93 c #Conflicts: 260000 | #Constraints: 18513
337.01/337.93 c #Conflicts: 261000 | #Constraints: 19513
337.01/337.93 c #Conflicts: 262000 | #Constraints: 20513
337.01/337.93 c #Conflicts: 263000 | #Constraints: 21513
337.01/337.93 c #Conflicts: 264000 | #Constraints: 22513
337.01/337.93 c #Conflicts: 265000 | #Constraints: 23513
337.01/337.93 c #Conflicts: 266000 | #Constraints: 24513
337.01/337.93 c INPROCESSING
337.01/337.93 c GARBAGE COLLECT
337.01/337.93 c #Conflicts: 267000 | #Constraints: 15315
337.01/337.93 c #Conflicts: 268000 | #Constraints: 16315
337.01/337.93 c #Conflicts: 269000 | #Constraints: 17315
337.01/337.93 c #Conflicts: 270000 | #Constraints: 18315
337.01/337.93 c #Conflicts: 271000 | #Constraints: 19315
337.01/337.93 c #Conflicts: 272000 | #Constraints: 20315
337.01/337.93 c #Conflicts: 273000 | #Constraints: 21315
337.01/337.93 c #Conflicts: 274000 | #Constraints: 22315
337.01/337.93 c #Conflicts: 275000 | #Constraints: 23315
337.01/337.93 c #Conflicts: 276000 | #Constraints: 24315
337.01/337.93 c #Conflicts: 277000 | #Constraints: 25315
337.01/337.93 c INPROCESSING
337.01/337.93 c GARBAGE COLLECT
337.01/337.93 c #Conflicts: 278000 | #Constraints: 15917
337.01/337.93 c #Conflicts: 279000 | #Constraints: 16917
337.01/337.93 c #Conflicts: 280000 | #Constraints: 17917
337.01/337.93 c #Conflicts: 281000 | #Constraints: 18917
337.01/337.93 c #Conflicts: 282000 | #Constraints: 19917
337.01/337.93 c #Conflicts: 283000 | #Constraints: 20917
337.01/337.93 c #Conflicts: 284000 | #Constraints: 21917
344.79/345.76 c #Conflicts: 285000 | #Constraints: 22917
344.79/345.76 c #Conflicts: 286000 | #Constraints: 23917
344.79/345.76 c #Conflicts: 287000 | #Constraints: 24917
344.79/345.76 c #Conflicts: 288000 | #Constraints: 25917
344.79/345.76 c INPROCESSING
344.79/345.76 c GARBAGE COLLECT
344.79/345.76 c #Conflicts: 289000 | #Constraints: 16326
344.79/345.76 c #Conflicts: 290000 | #Constraints: 17326
344.79/345.76 c #Conflicts: 291000 | #Constraints: 18326
344.79/345.76 c #Conflicts: 292000 | #Constraints: 19326
344.79/345.76 c #Conflicts: 293000 | #Constraints: 20326
344.79/345.76 c #Conflicts: 294000 | #Constraints: 21326
344.79/345.76 c #Conflicts: 295000 | #Constraints: 22326
344.79/345.76 c #Conflicts: 296000 | #Constraints: 23326
344.79/345.76 c #Conflicts: 297000 | #Constraints: 24326
344.79/345.76 c #Conflicts: 298000 | #Constraints: 25326
344.79/345.76 c #Conflicts: 299000 | #Constraints: 26326
344.79/345.76 c INPROCESSING
344.79/345.76 c GARBAGE COLLECT
344.79/345.76 c #Conflicts: 300000 | #Constraints: 16530
344.79/345.76 c #Conflicts: 301000 | #Constraints: 17530
344.79/345.76 c #Conflicts: 302000 | #Constraints: 18530
344.79/345.76 c #Conflicts: 303000 | #Constraints: 19530
344.79/345.76 c #Conflicts: 304000 | #Constraints: 20530
344.79/345.76 c #Conflicts: 305000 | #Constraints: 21530
344.79/345.76 c #Conflicts: 306000 | #Constraints: 22530
344.79/345.76 c #Conflicts: 307000 | #Constraints: 23530
344.79/345.76 c #Conflicts: 308000 | #Constraints: 24530
344.79/345.76 c #Conflicts: 309000 | #Constraints: 25530
344.79/345.76 c #Conflicts: 310000 | #Constraints: 26530
344.79/345.76 c INPROCESSING
344.79/345.76 c GARBAGE COLLECT
344.79/345.76 c #Conflicts: 311000 | #Constraints: 16534
344.79/345.76 c #Conflicts: 312000 | #Constraints: 17534
344.79/345.76 c #Conflicts: 313000 | #Constraints: 18534
344.79/345.76 c #Conflicts: 314000 | #Constraints: 19534
344.79/345.76 c #Conflicts: 315000 | #Constraints: 20534
344.79/345.76 c #Conflicts: 316000 | #Constraints: 21534
344.79/345.76 c #Conflicts: 317000 | #Constraints: 22534
344.79/345.76 c #Conflicts: 318000 | #Constraints: 23534
344.79/345.76 c #Conflicts: 319000 | #Constraints: 24534
344.79/345.76 c #Conflicts: 320000 | #Constraints: 25534
344.79/345.76 c #Conflicts: 321000 | #Constraints: 26534
344.79/345.76 c INPROCESSING
344.79/345.76 c GARBAGE COLLECT
344.79/345.76 c #Conflicts: 322000 | #Constraints: 16329
344.79/345.76 c #Conflicts: 323000 | #Constraints: 17329
344.79/345.76 c #Conflicts: 324000 | #Constraints: 18329
344.79/345.76 c #Conflicts: 325000 | #Constraints: 19329
344.79/345.76 c #Conflicts: 326000 | #Constraints: 20329
344.79/345.76 c #Conflicts: 327000 | #Constraints: 21329
344.79/345.76 c #Conflicts: 328000 | #Constraints: 22329
344.79/345.76 c #Conflicts: 329000 | #Constraints: 23329
344.79/345.76 c #Conflicts: 330000 | #Constraints: 24329
344.79/345.76 c finalizing WCE round: reformulating cores
417.47/418.63 c #Conflicts: 331000 | #Constraints: 25332
417.47/418.63 c #Conflicts: 332000 | #Constraints: 26334
417.47/418.63 c #Conflicts: 333000 | #Constraints: 27338
417.47/418.63 c INPROCESSING
417.47/418.63 c GARBAGE COLLECT
417.47/418.63 c #Conflicts: 334000 | #Constraints: 16931
417.47/418.63 c #Conflicts: 335000 | #Constraints: 17933
417.47/418.63 c #Conflicts: 336000 | #Constraints: 18935
417.47/418.63 c bounds 66 >= 14 @ 344.533
417.47/418.63 c bounds 66 >= 16 @ 344.545
417.47/418.63 c bounds 66 >= 18 @ 344.583
417.47/418.63 c #Conflicts: 337000 | #Constraints: 19959
417.47/418.63 c #Conflicts: 338000 | #Constraints: 20959
417.47/418.63 c #Conflicts: 339000 | #Constraints: 21959
417.47/418.63 c #Conflicts: 340000 | #Constraints: 22959
417.47/418.63 c #Conflicts: 341000 | #Constraints: 23959
417.47/418.63 c #Conflicts: 342000 | #Constraints: 24959
417.47/418.63 c #Conflicts: 343000 | #Constraints: 25959
417.47/418.63 c #Conflicts: 344000 | #Constraints: 26959
417.47/418.63 c #Conflicts: 345000 | #Constraints: 27959
417.47/418.63 c INPROCESSING
417.47/418.63 c GARBAGE COLLECT
417.47/418.63 c #Conflicts: 346000 | #Constraints: 17373
417.47/418.63 c #Conflicts: 347000 | #Constraints: 18373
417.47/418.63 c #Conflicts: 348000 | #Constraints: 19373
417.47/418.63 c #Conflicts: 349000 | #Constraints: 20373
417.47/418.63 c #Conflicts: 350000 | #Constraints: 21373
417.47/418.63 c #Conflicts: 351000 | #Constraints: 22373
417.47/418.63 c #Conflicts: 352000 | #Constraints: 23373
417.47/418.63 c #Conflicts: 353000 | #Constraints: 24373
417.47/418.63 c #Conflicts: 354000 | #Constraints: 25373
417.47/418.63 c #Conflicts: 355000 | #Constraints: 26373
417.47/418.63 c #Conflicts: 356000 | #Constraints: 27373
417.47/418.63 c #Conflicts: 357000 | #Constraints: 28373
417.47/418.63 c INPROCESSING
417.47/418.63 c GARBAGE COLLECT
417.47/418.63 c #Conflicts: 358000 | #Constraints: 17581
417.47/418.63 c #Conflicts: 359000 | #Constraints: 18581
417.47/418.63 c #Conflicts: 360000 | #Constraints: 19581
417.47/418.63 c #Conflicts: 361000 | #Constraints: 20581
417.47/418.63 c #Conflicts: 362000 | #Constraints: 21581
417.47/418.63 c #Conflicts: 363000 | #Constraints: 22581
417.47/418.63 c #Conflicts: 364000 | #Constraints: 23581
417.47/418.63 c #Conflicts: 365000 | #Constraints: 24581
417.47/418.63 c #Conflicts: 366000 | #Constraints: 25581
417.47/418.63 c #Conflicts: 367000 | #Constraints: 26581
417.47/418.63 c #Conflicts: 368000 | #Constraints: 27581
417.47/418.63 c #Conflicts: 369000 | #Constraints: 28581
417.47/418.63 c INPROCESSING
417.47/418.63 c GARBAGE COLLECT
417.47/418.63 c #Conflicts: 370000 | #Constraints: 17592
417.47/418.63 c #Conflicts: 371000 | #Constraints: 18592
417.47/418.63 c #Conflicts: 372000 | #Constraints: 19592
417.47/418.63 c #Conflicts: 373000 | #Constraints: 20592
417.47/418.63 c #Conflicts: 374000 | #Constraints: 21592
417.47/418.63 c #Conflicts: 375000 | #Constraints: 22592
417.47/418.63 c #Conflicts: 376000 | #Constraints: 23592
417.47/418.63 c #Conflicts: 377000 | #Constraints: 24592
417.47/418.63 c #Conflicts: 378000 | #Constraints: 25592
417.47/418.63 c #Conflicts: 379000 | #Constraints: 26592
417.47/418.63 c #Conflicts: 380000 | #Constraints: 27592
417.47/418.63 c #Conflicts: 381000 | #Constraints: 28592
417.47/418.63 c #Conflicts: 382000 | #Constraints: 29592
417.47/418.63 c #Conflicts: 383000 | #Constraints: 30592
417.47/418.63 c #Conflicts: 384000 | #Constraints: 31592
417.47/418.63 c #Conflicts: 385000 | #Constraints: 32592
417.47/418.63 c #Conflicts: 386000 | #Constraints: 33592
417.47/418.63 c #Conflicts: 387000 | #Constraints: 34592
417.47/418.63 c #Conflicts: 388000 | #Constraints: 35592
417.47/418.63 c #Conflicts: 389000 | #Constraints: 36592
417.47/418.63 c #Conflicts: 390000 | #Constraints: 37592
417.47/418.63 c #Conflicts: 391000 | #Constraints: 38592
417.47/418.63 c #Conflicts: 392000 | #Constraints: 39592
417.47/418.63 c #Conflicts: 393000 | #Constraints: 40592
417.47/418.63 c #Conflicts: 394000 | #Constraints: 41592
417.47/418.63 c #Conflicts: 395000 | #Constraints: 42592
417.47/418.63 c #Conflicts: 396000 | #Constraints: 43592
417.47/418.63 c #Conflicts: 397000 | #Constraints: 44592
417.47/418.63 c #Conflicts: 398000 | #Constraints: 45592
417.47/418.63 c #Conflicts: 399000 | #Constraints: 46592
417.47/418.63 c #Conflicts: 400000 | #Constraints: 47592
417.47/418.63 c #Conflicts: 401000 | #Constraints: 48592
417.47/418.63 c #Conflicts: 402000 | #Constraints: 49592
417.47/418.63 c #Conflicts: 403000 | #Constraints: 50592
417.47/418.63 c #Conflicts: 404000 | #Constraints: 51592
417.47/418.63 c #Conflicts: 405000 | #Constraints: 52592
632.09/633.96 c #Conflicts: 406000 | #Constraints: 53592
632.09/633.96 c #Conflicts: 407000 | #Constraints: 54592
632.09/633.96 c #Conflicts: 408000 | #Constraints: 55592
632.09/633.96 c #Conflicts: 409000 | #Constraints: 56592
632.09/633.96 c #Conflicts: 410000 | #Constraints: 57592
632.09/633.96 c #Conflicts: 411000 | #Constraints: 58592
632.09/633.96 c #Conflicts: 412000 | #Constraints: 59592
632.09/633.96 c #Conflicts: 413000 | #Constraints: 60592
632.09/633.96 c #Conflicts: 414000 | #Constraints: 61592
632.09/633.96 c #Conflicts: 415000 | #Constraints: 62592
632.09/633.96 c #Conflicts: 416000 | #Constraints: 63592
632.09/633.96 c #Conflicts: 417000 | #Constraints: 64592
632.09/633.96 c #Conflicts: 418000 | #Constraints: 65592
632.09/633.96 c #Conflicts: 419000 | #Constraints: 66592
632.09/633.96 c #Conflicts: 420000 | #Constraints: 67592
632.09/633.96 c #Conflicts: 421000 | #Constraints: 68592
632.09/633.96 c #Conflicts: 422000 | #Constraints: 69592
632.09/633.96 c #Conflicts: 423000 | #Constraints: 70592
632.09/633.96 c #Conflicts: 424000 | #Constraints: 71592
632.09/633.96 c #Conflicts: 425000 | #Constraints: 72592
632.09/633.96 c #Conflicts: 426000 | #Constraints: 73592
632.09/633.96 c #Conflicts: 427000 | #Constraints: 74592
632.09/633.96 c #Conflicts: 428000 | #Constraints: 75592
632.09/633.96 c #Conflicts: 429000 | #Constraints: 76592
632.09/633.96 c INPROCESSING
632.09/633.96 c GARBAGE COLLECT
632.09/633.96 c #Conflicts: 430000 | #Constraints: 41553
632.09/633.96 c #Conflicts: 431000 | #Constraints: 42553
632.09/633.96 c #Conflicts: 432000 | #Constraints: 43553
632.09/633.96 c #Conflicts: 433000 | #Constraints: 44553
632.09/633.96 c #Conflicts: 434000 | #Constraints: 45553
632.09/633.96 c #Conflicts: 435000 | #Constraints: 46553
632.09/633.96 c #Conflicts: 436000 | #Constraints: 47553
632.09/633.96 c #Conflicts: 437000 | #Constraints: 48553
632.09/633.96 c #Conflicts: 438000 | #Constraints: 49553
632.09/633.96 c #Conflicts: 439000 | #Constraints: 50553
632.09/633.96 c #Conflicts: 440000 | #Constraints: 51553
632.09/633.96 c #Conflicts: 441000 | #Constraints: 52553
632.09/633.96 c #Conflicts: 442000 | #Constraints: 53553
632.09/633.96 c INPROCESSING
632.09/633.96 c GARBAGE COLLECT
632.09/633.96 c #Conflicts: 443000 | #Constraints: 29772
632.09/633.96 c #Conflicts: 444000 | #Constraints: 30772
632.09/633.96 c #Conflicts: 445000 | #Constraints: 31772
632.09/633.96 c #Conflicts: 446000 | #Constraints: 32772
632.09/633.96 c #Conflicts: 447000 | #Constraints: 33772
632.09/633.96 c #Conflicts: 448000 | #Constraints: 34772
632.09/633.96 c #Conflicts: 449000 | #Constraints: 35772
632.09/633.96 c #Conflicts: 450000 | #Constraints: 36772
632.09/633.96 c #Conflicts: 451000 | #Constraints: 37772
632.09/633.96 c #Conflicts: 452000 | #Constraints: 38772
632.09/633.96 c #Conflicts: 453000 | #Constraints: 39772
632.09/633.96 c #Conflicts: 454000 | #Constraints: 40772
632.09/633.96 c #Conflicts: 455000 | #Constraints: 41772
632.09/633.96 c #Conflicts: 456000 | #Constraints: 42772
632.09/633.96 c INPROCESSING
632.09/633.96 c GARBAGE COLLECT
632.09/633.96 c #Conflicts: 457000 | #Constraints: 24536
632.09/633.96 c #Conflicts: 458000 | #Constraints: 25536
632.09/633.96 c #Conflicts: 459000 | #Constraints: 26536
632.09/633.96 c #Conflicts: 460000 | #Constraints: 27536
632.09/633.96 c #Conflicts: 461000 | #Constraints: 28536
632.09/633.96 c #Conflicts: 462000 | #Constraints: 29536
632.09/633.96 c #Conflicts: 463000 | #Constraints: 30536
632.09/633.96 c #Conflicts: 464000 | #Constraints: 31536
632.09/633.96 c #Conflicts: 465000 | #Constraints: 32536
632.09/633.96 c #Conflicts: 466000 | #Constraints: 33536
632.09/633.96 c #Conflicts: 467000 | #Constraints: 34536
632.09/633.96 c #Conflicts: 468000 | #Constraints: 35536
632.09/633.96 c #Conflicts: 469000 | #Constraints: 36536
632.09/633.96 c #Conflicts: 470000 | #Constraints: 37536
632.09/633.96 c INPROCESSING
632.09/633.96 c GARBAGE COLLECT
632.09/633.96 c #Conflicts: 471000 | #Constraints: 21976
632.09/633.96 c #Conflicts: 472000 | #Constraints: 22976
632.09/633.96 c #Conflicts: 473000 | #Constraints: 23976
632.09/633.96 c #Conflicts: 474000 | #Constraints: 24976
632.09/633.96 c #Conflicts: 475000 | #Constraints: 25976
632.09/633.96 c #Conflicts: 476000 | #Constraints: 26976
632.09/633.96 c #Conflicts: 477000 | #Constraints: 27976
632.09/633.96 c #Conflicts: 478000 | #Constraints: 28976
632.09/633.96 c #Conflicts: 479000 | #Constraints: 29976
632.09/633.96 c #Conflicts: 480000 | #Constraints: 30976
632.09/633.96 c #Conflicts: 481000 | #Constraints: 31976
992.39/995.29 c #Conflicts: 482000 | #Constraints: 32976
992.39/995.29 c #Conflicts: 483000 | #Constraints: 33976
992.39/995.29 c #Conflicts: 484000 | #Constraints: 34976
992.39/995.29 c #Conflicts: 485000 | #Constraints: 35976
992.39/995.29 c #Conflicts: 486000 | #Constraints: 36976
992.39/995.29 c #Conflicts: 487000 | #Constraints: 37976
992.39/995.29 c #Conflicts: 488000 | #Constraints: 38976
992.39/995.29 c #Conflicts: 489000 | #Constraints: 39976
992.39/995.29 c #Conflicts: 490000 | #Constraints: 40976
992.39/995.29 c #Conflicts: 491000 | #Constraints: 41976
992.39/995.29 c #Conflicts: 492000 | #Constraints: 42976
992.39/995.29 c #Conflicts: 493000 | #Constraints: 43976
992.39/995.29 c #Conflicts: 494000 | #Constraints: 44976
992.39/995.29 c #Conflicts: 495000 | #Constraints: 45976
992.39/995.29 c #Conflicts: 496000 | #Constraints: 46976
992.39/995.29 c #Conflicts: 497000 | #Constraints: 47976
992.39/995.29 c #Conflicts: 498000 | #Constraints: 48976
992.39/995.29 c #Conflicts: 499000 | #Constraints: 49976
992.39/995.29 c #Conflicts: 500000 | #Constraints: 50976
992.39/995.29 c #Conflicts: 501000 | #Constraints: 51976
992.39/995.29 c #Conflicts: 502000 | #Constraints: 52976
992.39/995.29 c #Conflicts: 503000 | #Constraints: 53976
992.39/995.29 c #Conflicts: 504000 | #Constraints: 54976
992.39/995.29 c #Conflicts: 505000 | #Constraints: 55976
992.39/995.29 c #Conflicts: 506000 | #Constraints: 56976
992.39/995.29 c #Conflicts: 507000 | #Constraints: 57976
992.39/995.29 c #Conflicts: 508000 | #Constraints: 58976
992.39/995.29 c #Conflicts: 509000 | #Constraints: 59976
992.39/995.29 c #Conflicts: 510000 | #Constraints: 60976
992.39/995.29 c #Conflicts: 511000 | #Constraints: 61976
992.39/995.29 c #Conflicts: 512000 | #Constraints: 62976
992.39/995.29 c #Conflicts: 513000 | #Constraints: 63976
992.39/995.29 c #Conflicts: 514000 | #Constraints: 64976
992.39/995.29 c #Conflicts: 515000 | #Constraints: 65976
992.39/995.29 c #Conflicts: 516000 | #Constraints: 66976
992.39/995.29 c #Conflicts: 517000 | #Constraints: 67976
992.39/995.29 c #Conflicts: 518000 | #Constraints: 68976
992.39/995.29 c #Conflicts: 519000 | #Constraints: 69976
992.39/995.29 c #Conflicts: 520000 | #Constraints: 70976
992.39/995.29 c #Conflicts: 521000 | #Constraints: 71976
992.39/995.29 c #Conflicts: 522000 | #Constraints: 72976
992.39/995.29 c #Conflicts: 523000 | #Constraints: 73976
992.39/995.29 c #Conflicts: 524000 | #Constraints: 74976
992.39/995.29 c #Conflicts: 525000 | #Constraints: 75976
992.39/995.29 c #Conflicts: 526000 | #Constraints: 76976
992.39/995.29 c #Conflicts: 527000 | #Constraints: 77976
992.39/995.29 c #Conflicts: 528000 | #Constraints: 78976
992.39/995.29 c #Conflicts: 529000 | #Constraints: 79976
992.39/995.29 c #Conflicts: 530000 | #Constraints: 80976
992.39/995.29 c #Conflicts: 531000 | #Constraints: 81976
992.39/995.29 c #Conflicts: 532000 | #Constraints: 82976
992.39/995.29 c #Conflicts: 533000 | #Constraints: 83976
992.39/995.29 c #Conflicts: 534000 | #Constraints: 84976
992.39/995.29 c #Conflicts: 535000 | #Constraints: 85976
992.39/995.29 c INPROCESSING
992.39/995.29 c GARBAGE COLLECT
992.39/995.29 c #Conflicts: 536000 | #Constraints: 46007
992.39/995.29 c #Conflicts: 537000 | #Constraints: 47007
992.39/995.29 c #Conflicts: 538000 | #Constraints: 48007
992.39/995.29 c #Conflicts: 539000 | #Constraints: 49007
992.39/995.29 c #Conflicts: 540000 | #Constraints: 50007
992.39/995.29 c #Conflicts: 541000 | #Constraints: 51007
992.39/995.29 c #Conflicts: 542000 | #Constraints: 52007
992.39/995.29 c #Conflicts: 543000 | #Constraints: 53007
992.39/995.29 c #Conflicts: 544000 | #Constraints: 54007
992.39/995.29 c #Conflicts: 545000 | #Constraints: 55007
992.39/995.29 c #Conflicts: 546000 | #Constraints: 56007
992.39/995.29 c #Conflicts: 547000 | #Constraints: 57007
992.39/995.29 c #Conflicts: 548000 | #Constraints: 58007
992.39/995.29 c #Conflicts: 549000 | #Constraints: 59007
992.39/995.29 c #Conflicts: 550000 | #Constraints: 60007
992.39/995.29 c #Conflicts: 551000 | #Constraints: 61007
992.39/995.29 c INPROCESSING
992.39/995.29 c GARBAGE COLLECT
992.39/995.29 c #Conflicts: 552000 | #Constraints: 33912
992.39/995.29 c #Conflicts: 553000 | #Constraints: 34912
992.39/995.29 c #Conflicts: 554000 | #Constraints: 35912
992.39/995.29 c #Conflicts: 555000 | #Constraints: 36912
992.39/995.29 c #Conflicts: 556000 | #Constraints: 37912
992.39/995.29 c #Conflicts: 557000 | #Constraints: 38912
992.39/995.29 c #Conflicts: 558000 | #Constraints: 39912
992.39/995.29 c #Conflicts: 559000 | #Constraints: 40912
1243.25/1246.73 c #Conflicts: 560000 | #Constraints: 41912
1243.25/1246.73 c #Conflicts: 561000 | #Constraints: 42912
1243.25/1246.73 c #Conflicts: 562000 | #Constraints: 43912
1243.25/1246.73 c #Conflicts: 563000 | #Constraints: 44912
1243.25/1246.73 c #Conflicts: 564000 | #Constraints: 45912
1243.25/1246.73 c #Conflicts: 565000 | #Constraints: 46912
1243.25/1246.73 c #Conflicts: 566000 | #Constraints: 47912
1243.25/1246.73 c INPROCESSING
1243.25/1246.73 c GARBAGE COLLECT
1243.25/1246.73 c #Conflicts: 567000 | #Constraints: 27165
1243.25/1246.73 c #Conflicts: 568000 | #Constraints: 28165
1243.25/1246.73 c #Conflicts: 569000 | #Constraints: 29165
1243.25/1246.73 c #Conflicts: 570000 | #Constraints: 30165
1243.25/1246.73 c #Conflicts: 571000 | #Constraints: 31165
1243.25/1246.73 c #Conflicts: 572000 | #Constraints: 32165
1243.25/1246.73 c #Conflicts: 573000 | #Constraints: 33165
1243.25/1246.73 c #Conflicts: 574000 | #Constraints: 34165
1243.25/1246.73 c #Conflicts: 575000 | #Constraints: 35165
1243.25/1246.73 c #Conflicts: 576000 | #Constraints: 36165
1243.25/1246.73 c #Conflicts: 577000 | #Constraints: 37165
1243.25/1246.73 c #Conflicts: 578000 | #Constraints: 38165
1243.25/1246.73 c #Conflicts: 579000 | #Constraints: 39165
1243.25/1246.73 c #Conflicts: 580000 | #Constraints: 40165
1243.25/1246.73 c #Conflicts: 581000 | #Constraints: 41165
1243.25/1246.73 c #Conflicts: 582000 | #Constraints: 42165
1243.25/1246.73 c INPROCESSING
1243.25/1246.73 c GARBAGE COLLECT
1243.25/1246.73 c #Conflicts: 583000 | #Constraints: 24503
1243.25/1246.73 c #Conflicts: 584000 | #Constraints: 25503
1243.25/1246.73 c #Conflicts: 585000 | #Constraints: 26503
1243.25/1246.73 c #Conflicts: 586000 | #Constraints: 27503
1243.25/1246.73 c #Conflicts: 587000 | #Constraints: 28503
1243.25/1246.73 c #Conflicts: 588000 | #Constraints: 29503
1243.25/1246.73 c #Conflicts: 589000 | #Constraints: 30503
1243.25/1246.73 c #Conflicts: 590000 | #Constraints: 31503
1243.25/1246.73 c #Conflicts: 591000 | #Constraints: 32503
1243.25/1246.73 c #Conflicts: 592000 | #Constraints: 33503
1243.25/1246.73 c #Conflicts: 593000 | #Constraints: 34503
1243.25/1246.73 c #Conflicts: 594000 | #Constraints: 35503
1243.25/1246.73 c #Conflicts: 595000 | #Constraints: 36503
1243.25/1246.73 c #Conflicts: 596000 | #Constraints: 37503
1243.25/1246.73 c #Conflicts: 597000 | #Constraints: 38503
1243.25/1246.73 c #Conflicts: 598000 | #Constraints: 39503
1243.25/1246.73 c #Conflicts: 599000 | #Constraints: 40503
1243.25/1246.73 c #Conflicts: 600000 | #Constraints: 41503
1243.25/1246.73 c #Conflicts: 601000 | #Constraints: 42503
1243.25/1246.73 c #Conflicts: 602000 | #Constraints: 43503
1243.25/1246.73 c #Conflicts: 603000 | #Constraints: 44503
1243.25/1246.73 c #Conflicts: 604000 | #Constraints: 45503
1243.25/1246.73 c #Conflicts: 605000 | #Constraints: 46503
1243.25/1246.73 c #Conflicts: 606000 | #Constraints: 47503
1243.25/1246.73 c #Conflicts: 607000 | #Constraints: 48503
1243.25/1246.73 c #Conflicts: 608000 | #Constraints: 49503
1243.25/1246.73 c #Conflicts: 609000 | #Constraints: 50503
1243.25/1246.73 c #Conflicts: 610000 | #Constraints: 51503
1243.25/1246.73 c #Conflicts: 611000 | #Constraints: 52503
1243.25/1246.73 c #Conflicts: 612000 | #Constraints: 53503
1243.25/1246.73 c #Conflicts: 613000 | #Constraints: 54503
1243.25/1246.73 c #Conflicts: 614000 | #Constraints: 55503
1243.25/1246.73 c #Conflicts: 615000 | #Constraints: 56503
1243.25/1246.73 c #Conflicts: 616000 | #Constraints: 57503
1243.25/1246.73 c #Conflicts: 617000 | #Constraints: 58503
1243.25/1246.73 c #Conflicts: 618000 | #Constraints: 59503
1243.25/1246.73 c #Conflicts: 619000 | #Constraints: 60503
1243.25/1246.73 c #Conflicts: 620000 | #Constraints: 61503
1243.25/1246.73 c #Conflicts: 621000 | #Constraints: 62503
1243.25/1246.73 c #Conflicts: 622000 | #Constraints: 63503
1243.25/1246.73 c #Conflicts: 623000 | #Constraints: 64503
1243.25/1246.73 c #Conflicts: 624000 | #Constraints: 65503
1243.25/1246.73 c #Conflicts: 625000 | #Constraints: 66503
1243.25/1246.73 c #Conflicts: 626000 | #Constraints: 67503
1243.25/1246.73 c #Conflicts: 627000 | #Constraints: 68503
1243.25/1246.73 c #Conflicts: 628000 | #Constraints: 69503
1243.25/1246.73 c #Conflicts: 629000 | #Constraints: 70503
1243.25/1246.73 c #Conflicts: 630000 | #Constraints: 71503
1243.25/1246.73 c #Conflicts: 631000 | #Constraints: 72503
1243.25/1246.73 c #Conflicts: 632000 | #Constraints: 73503
1243.25/1246.73 c #Conflicts: 633000 | #Constraints: 74503
1243.25/1246.73 c #Conflicts: 634000 | #Constraints: 75503
1243.25/1246.73 c #Conflicts: 635000 | #Constraints: 76503
1243.25/1246.73 c #Conflicts: 636000 | #Constraints: 77503
1636.23/1640.72 c #Conflicts: 637000 | #Constraints: 78503
1636.23/1640.72 c #Conflicts: 638000 | #Constraints: 79503
1636.23/1640.72 c #Conflicts: 639000 | #Constraints: 80503
1636.23/1640.72 c #Conflicts: 640000 | #Constraints: 81503
1636.23/1640.72 c #Conflicts: 641000 | #Constraints: 82503
1636.23/1640.72 c #Conflicts: 642000 | #Constraints: 83503
1636.23/1640.72 c #Conflicts: 643000 | #Constraints: 84503
1636.23/1640.72 c #Conflicts: 644000 | #Constraints: 85503
1636.23/1640.72 c #Conflicts: 645000 | #Constraints: 86503
1636.23/1640.72 c #Conflicts: 646000 | #Constraints: 87503
1636.23/1640.72 c #Conflicts: 647000 | #Constraints: 88503
1636.23/1640.72 c #Conflicts: 648000 | #Constraints: 89503
1636.23/1640.72 c #Conflicts: 649000 | #Constraints: 90503
1636.23/1640.72 c #Conflicts: 650000 | #Constraints: 91503
1636.23/1640.72 c #Conflicts: 651000 | #Constraints: 92503
1636.23/1640.72 c #Conflicts: 652000 | #Constraints: 93503
1636.23/1640.72 c INPROCESSING
1636.23/1640.72 c GARBAGE COLLECT
1636.23/1640.72 c #Conflicts: 653000 | #Constraints: 49805
1636.23/1640.72 c #Conflicts: 654000 | #Constraints: 50805
1636.23/1640.72 c #Conflicts: 655000 | #Constraints: 51805
1636.23/1640.72 c #Conflicts: 656000 | #Constraints: 52805
1636.23/1640.72 c #Conflicts: 657000 | #Constraints: 53805
1636.23/1640.72 c #Conflicts: 658000 | #Constraints: 54805
1636.23/1640.72 c #Conflicts: 659000 | #Constraints: 55805
1636.23/1640.72 c #Conflicts: 660000 | #Constraints: 56805
1636.23/1640.72 c #Conflicts: 661000 | #Constraints: 57805
1636.23/1640.72 c #Conflicts: 662000 | #Constraints: 58805
1636.23/1640.72 c #Conflicts: 663000 | #Constraints: 59805
1636.23/1640.72 c #Conflicts: 664000 | #Constraints: 60805
1636.23/1640.72 c #Conflicts: 665000 | #Constraints: 61805
1636.23/1640.72 c #Conflicts: 666000 | #Constraints: 62805
1636.23/1640.72 c #Conflicts: 667000 | #Constraints: 63805
1636.23/1640.72 c #Conflicts: 668000 | #Constraints: 64805
1636.23/1640.72 c #Conflicts: 669000 | #Constraints: 65805
1636.23/1640.72 c INPROCESSING
1636.23/1640.72 c GARBAGE COLLECT
1636.23/1640.72 c #Conflicts: 670000 | #Constraints: 36021
1636.23/1640.72 c #Conflicts: 671000 | #Constraints: 37021
1636.23/1640.72 c #Conflicts: 672000 | #Constraints: 38021
1636.23/1640.72 c #Conflicts: 673000 | #Constraints: 39021
1636.23/1640.72 c #Conflicts: 674000 | #Constraints: 40021
1636.23/1640.72 c #Conflicts: 675000 | #Constraints: 41021
1636.23/1640.72 c #Conflicts: 676000 | #Constraints: 42021
1636.23/1640.72 c #Conflicts: 677000 | #Constraints: 43021
1636.23/1640.72 c #Conflicts: 678000 | #Constraints: 44021
1636.23/1640.72 c #Conflicts: 679000 | #Constraints: 45021
1636.23/1640.72 c #Conflicts: 680000 | #Constraints: 46021
1636.23/1640.72 c #Conflicts: 681000 | #Constraints: 47021
1636.23/1640.72 c #Conflicts: 682000 | #Constraints: 48021
1636.23/1640.72 c #Conflicts: 683000 | #Constraints: 49021
1636.23/1640.72 c #Conflicts: 684000 | #Constraints: 50021
1636.23/1640.72 c #Conflicts: 685000 | #Constraints: 51021
1636.23/1640.72 c #Conflicts: 686000 | #Constraints: 52021
1636.23/1640.72 c INPROCESSING
1636.23/1640.72 c GARBAGE COLLECT
1636.23/1640.72 c #Conflicts: 687000 | #Constraints: 29066
1636.23/1640.72 c #Conflicts: 688000 | #Constraints: 30066
1636.23/1640.72 c #Conflicts: 689000 | #Constraints: 31066
1636.23/1640.72 c #Conflicts: 690000 | #Constraints: 32066
1636.23/1640.72 c #Conflicts: 691000 | #Constraints: 33066
1636.23/1640.72 c #Conflicts: 692000 | #Constraints: 34066
1636.23/1640.72 c #Conflicts: 693000 | #Constraints: 35066
1636.23/1640.72 c #Conflicts: 694000 | #Constraints: 36066
1636.23/1640.72 c #Conflicts: 695000 | #Constraints: 37066
1636.23/1640.72 c #Conflicts: 696000 | #Constraints: 38066
1636.23/1640.72 c #Conflicts: 697000 | #Constraints: 39066
1636.23/1640.72 c #Conflicts: 698000 | #Constraints: 40066
1636.23/1640.72 c #Conflicts: 699000 | #Constraints: 41066
1636.23/1640.72 c #Conflicts: 700000 | #Constraints: 42066
1636.23/1640.72 c #Conflicts: 701000 | #Constraints: 43066
1636.23/1640.72 c #Conflicts: 702000 | #Constraints: 44066
1636.23/1640.72 c #Conflicts: 703000 | #Constraints: 45066
1636.23/1640.72 c #Conflicts: 704000 | #Constraints: 46066
1636.23/1640.72 c INPROCESSING
1636.23/1640.72 c GARBAGE COLLECT
1636.23/1640.72 c #Conflicts: 705000 | #Constraints: 26448
1636.23/1640.72 c #Conflicts: 706000 | #Constraints: 27448
1636.23/1640.72 c #Conflicts: 707000 | #Constraints: 28448
1636.23/1640.72 c #Conflicts: 708000 | #Constraints: 29448
1636.23/1640.72 c #Conflicts: 709000 | #Constraints: 30448
1636.23/1640.72 c #Conflicts: 710000 | #Constraints: 31448
1636.23/1640.72 c #Conflicts: 711000 | #Constraints: 32448
1636.23/1640.72 c #Conflicts: 712000 | #Constraints: 33448
1636.23/1640.72 c #Conflicts: 713000 | #Constraints: 34448
2065.73/2071.36 c #Conflicts: 714000 | #Constraints: 35448
2065.73/2071.36 c #Conflicts: 715000 | #Constraints: 36448
2065.73/2071.36 c #Conflicts: 716000 | #Constraints: 37448
2065.73/2071.36 c #Conflicts: 717000 | #Constraints: 38448
2065.73/2071.36 c #Conflicts: 718000 | #Constraints: 39448
2065.73/2071.36 c #Conflicts: 719000 | #Constraints: 40448
2065.73/2071.36 c #Conflicts: 720000 | #Constraints: 41448
2065.73/2071.36 c #Conflicts: 721000 | #Constraints: 42448
2065.73/2071.36 c #Conflicts: 722000 | #Constraints: 43448
2065.73/2071.36 c #Conflicts: 723000 | #Constraints: 44448
2065.73/2071.36 c #Conflicts: 724000 | #Constraints: 45448
2065.73/2071.36 c #Conflicts: 725000 | #Constraints: 46448
2065.73/2071.36 c #Conflicts: 726000 | #Constraints: 47448
2065.73/2071.36 c #Conflicts: 727000 | #Constraints: 48448
2065.73/2071.36 c #Conflicts: 728000 | #Constraints: 49448
2065.73/2071.36 c #Conflicts: 729000 | #Constraints: 50448
2065.73/2071.36 c #Conflicts: 730000 | #Constraints: 51448
2065.73/2071.36 c #Conflicts: 731000 | #Constraints: 52448
2065.73/2071.36 c #Conflicts: 732000 | #Constraints: 53448
2065.73/2071.36 c #Conflicts: 733000 | #Constraints: 54448
2065.73/2071.36 c #Conflicts: 734000 | #Constraints: 55448
2065.73/2071.36 c #Conflicts: 735000 | #Constraints: 56448
2065.73/2071.36 c #Conflicts: 736000 | #Constraints: 57448
2065.73/2071.36 c #Conflicts: 737000 | #Constraints: 58448
2065.73/2071.36 c #Conflicts: 738000 | #Constraints: 59448
2065.73/2071.36 c #Conflicts: 739000 | #Constraints: 60448
2065.73/2071.36 c #Conflicts: 740000 | #Constraints: 61448
2065.73/2071.36 c #Conflicts: 741000 | #Constraints: 62448
2065.73/2071.36 c #Conflicts: 742000 | #Constraints: 63448
2065.73/2071.36 c #Conflicts: 743000 | #Constraints: 64448
2065.73/2071.36 c #Conflicts: 744000 | #Constraints: 65448
2065.73/2071.36 c #Conflicts: 745000 | #Constraints: 66448
2065.73/2071.36 c #Conflicts: 746000 | #Constraints: 67448
2065.73/2071.36 c #Conflicts: 747000 | #Constraints: 68448
2065.73/2071.36 c #Conflicts: 748000 | #Constraints: 69448
2065.73/2071.36 c #Conflicts: 749000 | #Constraints: 70448
2065.73/2071.36 c #Conflicts: 750000 | #Constraints: 71448
2065.73/2071.36 c #Conflicts: 751000 | #Constraints: 72448
2065.73/2071.36 c #Conflicts: 752000 | #Constraints: 73448
2065.73/2071.36 c #Conflicts: 753000 | #Constraints: 74448
2065.73/2071.36 c #Conflicts: 754000 | #Constraints: 75448
2065.73/2071.36 c #Conflicts: 755000 | #Constraints: 76448
2065.73/2071.36 c #Conflicts: 756000 | #Constraints: 77448
2065.73/2071.36 c #Conflicts: 757000 | #Constraints: 78448
2065.73/2071.36 c #Conflicts: 758000 | #Constraints: 79448
2065.73/2071.36 c #Conflicts: 759000 | #Constraints: 80448
2065.73/2071.36 c #Conflicts: 760000 | #Constraints: 81448
2065.73/2071.36 c #Conflicts: 761000 | #Constraints: 82448
2065.73/2071.36 c #Conflicts: 762000 | #Constraints: 83448
2065.73/2071.36 c #Conflicts: 763000 | #Constraints: 84448
2065.73/2071.36 c #Conflicts: 764000 | #Constraints: 85448
2065.73/2071.36 c #Conflicts: 765000 | #Constraints: 86448
2065.73/2071.36 c #Conflicts: 766000 | #Constraints: 87448
2065.73/2071.36 c #Conflicts: 767000 | #Constraints: 88448
2065.73/2071.36 c #Conflicts: 768000 | #Constraints: 89448
2065.73/2071.36 c #Conflicts: 769000 | #Constraints: 90448
2065.73/2071.36 c #Conflicts: 770000 | #Constraints: 91448
2065.73/2071.36 c #Conflicts: 771000 | #Constraints: 92448
2065.73/2071.36 c #Conflicts: 772000 | #Constraints: 93448
2065.73/2071.36 c #Conflicts: 773000 | #Constraints: 94448
2065.73/2071.36 c #Conflicts: 774000 | #Constraints: 95448
2065.73/2071.36 c #Conflicts: 775000 | #Constraints: 96448
2065.73/2071.36 c #Conflicts: 776000 | #Constraints: 97448
2065.73/2071.36 c #Conflicts: 777000 | #Constraints: 98448
2065.73/2071.36 c #Conflicts: 778000 | #Constraints: 99448
2065.73/2071.36 c #Conflicts: 779000 | #Constraints: 100448
2065.73/2071.36 c #Conflicts: 780000 | #Constraints: 101448
2065.73/2071.36 c INPROCESSING
2065.73/2071.36 c GARBAGE COLLECT
2065.73/2071.36 c #Conflicts: 781000 | #Constraints: 54134
2065.73/2071.36 c #Conflicts: 782000 | #Constraints: 55134
2065.73/2071.36 c #Conflicts: 783000 | #Constraints: 56134
2065.73/2071.36 c #Conflicts: 784000 | #Constraints: 57134
2065.73/2071.36 c #Conflicts: 785000 | #Constraints: 58134
2065.73/2071.36 c #Conflicts: 786000 | #Constraints: 59134
2065.73/2071.36 c #Conflicts: 787000 | #Constraints: 60134
2065.73/2071.36 c #Conflicts: 788000 | #Constraints: 61134
2065.73/2071.36 c #Conflicts: 789000 | #Constraints: 62134
2065.73/2071.36 c #Conflicts: 790000 | #Constraints: 63134
2065.73/2071.36 c #Conflicts: 791000 | #Constraints: 64134
2421.02/2427.55 c #Conflicts: 792000 | #Constraints: 65134
2421.02/2427.55 c #Conflicts: 793000 | #Constraints: 66134
2421.02/2427.55 c #Conflicts: 794000 | #Constraints: 67134
2421.02/2427.55 c #Conflicts: 795000 | #Constraints: 68134
2421.02/2427.55 c #Conflicts: 796000 | #Constraints: 69134
2421.02/2427.55 c #Conflicts: 797000 | #Constraints: 70134
2421.02/2427.55 c #Conflicts: 798000 | #Constraints: 71134
2421.02/2427.55 c INPROCESSING
2421.02/2427.55 c GARBAGE COLLECT
2421.02/2427.55 c #Conflicts: 799000 | #Constraints: 38667
2421.02/2427.55 c #Conflicts: 800000 | #Constraints: 39667
2421.02/2427.55 c #Conflicts: 801000 | #Constraints: 40667
2421.02/2427.55 c #Conflicts: 802000 | #Constraints: 41667
2421.02/2427.55 c #Conflicts: 803000 | #Constraints: 42667
2421.02/2427.55 c #Conflicts: 804000 | #Constraints: 43667
2421.02/2427.55 c #Conflicts: 805000 | #Constraints: 44667
2421.02/2427.55 c #Conflicts: 806000 | #Constraints: 45667
2421.02/2427.55 c #Conflicts: 807000 | #Constraints: 46667
2421.02/2427.55 c #Conflicts: 808000 | #Constraints: 47667
2421.02/2427.55 c #Conflicts: 809000 | #Constraints: 48667
2421.02/2427.55 c #Conflicts: 810000 | #Constraints: 49667
2421.02/2427.55 c #Conflicts: 811000 | #Constraints: 50667
2421.02/2427.55 c #Conflicts: 812000 | #Constraints: 51667
2421.02/2427.55 c #Conflicts: 813000 | #Constraints: 52667
2421.02/2427.55 c #Conflicts: 814000 | #Constraints: 53667
2421.02/2427.55 c #Conflicts: 815000 | #Constraints: 54667
2421.02/2427.55 c #Conflicts: 816000 | #Constraints: 55667
2421.02/2427.55 c #Conflicts: 817000 | #Constraints: 56667
2421.02/2427.55 c INPROCESSING
2421.02/2427.55 c GARBAGE COLLECT
2421.02/2427.55 c #Conflicts: 818000 | #Constraints: 31551
2421.02/2427.55 c #Conflicts: 819000 | #Constraints: 32551
2421.02/2427.55 c #Conflicts: 820000 | #Constraints: 33551
2421.02/2427.55 c #Conflicts: 821000 | #Constraints: 34551
2421.02/2427.55 c #Conflicts: 822000 | #Constraints: 35551
2421.02/2427.55 c #Conflicts: 823000 | #Constraints: 36551
2421.02/2427.55 c #Conflicts: 824000 | #Constraints: 37551
2421.02/2427.55 c #Conflicts: 825000 | #Constraints: 38551
2421.02/2427.55 c #Conflicts: 826000 | #Constraints: 39551
2421.02/2427.55 c #Conflicts: 827000 | #Constraints: 40551
2421.02/2427.55 c #Conflicts: 828000 | #Constraints: 41551
2421.02/2427.55 c #Conflicts: 829000 | #Constraints: 42551
2421.02/2427.55 c #Conflicts: 830000 | #Constraints: 43551
2421.02/2427.55 c #Conflicts: 831000 | #Constraints: 44551
2421.02/2427.55 c #Conflicts: 832000 | #Constraints: 45551
2421.02/2427.55 c #Conflicts: 833000 | #Constraints: 46551
2421.02/2427.55 c #Conflicts: 834000 | #Constraints: 47551
2421.02/2427.55 c #Conflicts: 835000 | #Constraints: 48551
2421.02/2427.55 c #Conflicts: 836000 | #Constraints: 49551
2421.02/2427.55 c INPROCESSING
2421.02/2427.55 c GARBAGE COLLECT
2421.02/2427.55 c #Conflicts: 837000 | #Constraints: 27993
2421.02/2427.55 c #Conflicts: 838000 | #Constraints: 28993
2421.02/2427.55 c #Conflicts: 839000 | #Constraints: 29993
2421.02/2427.55 c #Conflicts: 840000 | #Constraints: 30993
2421.02/2427.55 c #Conflicts: 841000 | #Constraints: 31993
2421.02/2427.55 c #Conflicts: 842000 | #Constraints: 32993
2421.02/2427.55 c #Conflicts: 843000 | #Constraints: 33993
2421.02/2427.55 c #Conflicts: 844000 | #Constraints: 34993
2421.02/2427.55 c #Conflicts: 845000 | #Constraints: 35993
2421.02/2427.55 c #Conflicts: 846000 | #Constraints: 36993
2421.02/2427.55 c #Conflicts: 847000 | #Constraints: 37993
2421.02/2427.55 c #Conflicts: 848000 | #Constraints: 38993
2421.02/2427.55 c #Conflicts: 849000 | #Constraints: 39993
2421.02/2427.55 c #Conflicts: 850000 | #Constraints: 40993
2421.02/2427.55 c #Conflicts: 851000 | #Constraints: 41993
2421.02/2427.55 c #Conflicts: 852000 | #Constraints: 42993
2421.02/2427.55 c #Conflicts: 853000 | #Constraints: 43993
2421.02/2427.55 c #Conflicts: 854000 | #Constraints: 44993
2421.02/2427.55 c #Conflicts: 855000 | #Constraints: 45993
2421.02/2427.55 c #Conflicts: 856000 | #Constraints: 46993
2421.02/2427.55 c #Conflicts: 857000 | #Constraints: 47993
2421.02/2427.55 c #Conflicts: 858000 | #Constraints: 48993
2421.02/2427.55 c #Conflicts: 859000 | #Constraints: 49993
2421.02/2427.55 c #Conflicts: 860000 | #Constraints: 50993
2421.02/2427.55 c #Conflicts: 861000 | #Constraints: 51993
2421.02/2427.55 c #Conflicts: 862000 | #Constraints: 52993
2421.02/2427.55 c #Conflicts: 863000 | #Constraints: 53993
2421.02/2427.55 c #Conflicts: 864000 | #Constraints: 54993
2421.02/2427.55 c #Conflicts: 865000 | #Constraints: 55993
2421.02/2427.55 c #Conflicts: 866000 | #Constraints: 56993
2421.02/2427.55 c #Conflicts: 867000 | #Constraints: 57993
2421.02/2427.55 c #Conflicts: 868000 | #Constraints: 58993
3029.79/3037.92 c #Conflicts: 869000 | #Constraints: 59993
3029.79/3037.92 c #Conflicts: 870000 | #Constraints: 60993
3029.79/3037.92 c #Conflicts: 871000 | #Constraints: 61993
3029.79/3037.92 c #Conflicts: 872000 | #Constraints: 62993
3029.79/3037.92 c #Conflicts: 873000 | #Constraints: 63993
3029.79/3037.92 c #Conflicts: 874000 | #Constraints: 64993
3029.79/3037.92 c #Conflicts: 875000 | #Constraints: 65993
3029.79/3037.92 c #Conflicts: 876000 | #Constraints: 66993
3029.79/3037.92 c #Conflicts: 877000 | #Constraints: 67993
3029.79/3037.92 c #Conflicts: 878000 | #Constraints: 68993
3029.79/3037.92 c #Conflicts: 879000 | #Constraints: 69993
3029.79/3037.92 c #Conflicts: 880000 | #Constraints: 70993
3029.79/3037.92 c #Conflicts: 881000 | #Constraints: 71993
3029.79/3037.92 c #Conflicts: 882000 | #Constraints: 72993
3029.79/3037.92 c #Conflicts: 883000 | #Constraints: 73993
3029.79/3037.92 c #Conflicts: 884000 | #Constraints: 74993
3029.79/3037.92 c #Conflicts: 885000 | #Constraints: 75993
3029.79/3037.92 c #Conflicts: 886000 | #Constraints: 76993
3029.79/3037.92 c #Conflicts: 887000 | #Constraints: 77993
3029.79/3037.92 c #Conflicts: 888000 | #Constraints: 78993
3029.79/3037.92 c #Conflicts: 889000 | #Constraints: 79993
3029.79/3037.92 c #Conflicts: 890000 | #Constraints: 80993
3029.79/3037.92 c #Conflicts: 891000 | #Constraints: 81993
3029.79/3037.92 c #Conflicts: 892000 | #Constraints: 82993
3029.79/3037.92 c #Conflicts: 893000 | #Constraints: 83993
3029.79/3037.92 c #Conflicts: 894000 | #Constraints: 84993
3029.79/3037.92 c #Conflicts: 895000 | #Constraints: 85993
3029.79/3037.92 c #Conflicts: 896000 | #Constraints: 86993
3029.79/3037.92 c #Conflicts: 897000 | #Constraints: 87993
3029.79/3037.92 c #Conflicts: 898000 | #Constraints: 88993
3029.79/3037.92 c #Conflicts: 899000 | #Constraints: 89993
3029.79/3037.92 c #Conflicts: 900000 | #Constraints: 90993
3029.79/3037.92 c #Conflicts: 901000 | #Constraints: 91993
3029.79/3037.92 c #Conflicts: 902000 | #Constraints: 92993
3029.79/3037.92 c #Conflicts: 903000 | #Constraints: 93993
3029.79/3037.92 c #Conflicts: 904000 | #Constraints: 94993
3029.79/3037.92 c #Conflicts: 905000 | #Constraints: 95993
3029.79/3037.92 c #Conflicts: 906000 | #Constraints: 96993
3029.79/3037.92 c #Conflicts: 907000 | #Constraints: 97993
3029.79/3037.92 c #Conflicts: 908000 | #Constraints: 98993
3029.79/3037.92 c #Conflicts: 909000 | #Constraints: 99993
3029.79/3037.92 c #Conflicts: 910000 | #Constraints: 100993
3029.79/3037.92 c #Conflicts: 911000 | #Constraints: 101993
3029.79/3037.92 c #Conflicts: 912000 | #Constraints: 102993
3029.79/3037.92 c #Conflicts: 913000 | #Constraints: 103993
3029.79/3037.92 c #Conflicts: 914000 | #Constraints: 104993
3029.79/3037.92 c #Conflicts: 915000 | #Constraints: 105993
3029.79/3037.92 c #Conflicts: 916000 | #Constraints: 106993
3029.79/3037.92 c #Conflicts: 917000 | #Constraints: 107993
3029.79/3037.92 c INPROCESSING
3029.79/3037.92 c GARBAGE COLLECT
3029.79/3037.92 c #Conflicts: 918000 | #Constraints: 57075
3029.79/3037.92 c #Conflicts: 919000 | #Constraints: 58075
3029.79/3037.92 c #Conflicts: 920000 | #Constraints: 59075
3029.79/3037.92 c #Conflicts: 921000 | #Constraints: 60075
3029.79/3037.92 c #Conflicts: 922000 | #Constraints: 61075
3029.79/3037.92 c #Conflicts: 923000 | #Constraints: 62075
3029.79/3037.92 c #Conflicts: 924000 | #Constraints: 63075
3029.79/3037.92 c #Conflicts: 925000 | #Constraints: 64075
3029.79/3037.92 c #Conflicts: 926000 | #Constraints: 65075
3029.79/3037.92 c #Conflicts: 927000 | #Constraints: 66075
3029.79/3037.92 c #Conflicts: 928000 | #Constraints: 67075
3029.79/3037.92 c #Conflicts: 929000 | #Constraints: 68075
3029.79/3037.92 c #Conflicts: 930000 | #Constraints: 69075
3029.79/3037.92 c #Conflicts: 931000 | #Constraints: 70075
3029.79/3037.92 c #Conflicts: 932000 | #Constraints: 71075
3029.79/3037.92 c #Conflicts: 933000 | #Constraints: 72075
3029.79/3037.92 c #Conflicts: 934000 | #Constraints: 73075
3029.79/3037.92 c #Conflicts: 935000 | #Constraints: 74075
3029.79/3037.92 c #Conflicts: 936000 | #Constraints: 75075
3029.79/3037.92 c #Conflicts: 937000 | #Constraints: 76075
3029.79/3037.92 c #Conflicts: 938000 | #Constraints: 77075
3029.79/3037.92 c INPROCESSING
3029.79/3037.92 c GARBAGE COLLECT
3029.79/3037.92 c #Conflicts: 939000 | #Constraints: 41965
3029.79/3037.92 c #Conflicts: 940000 | #Constraints: 42965
3029.79/3037.92 c #Conflicts: 941000 | #Constraints: 43965
3029.79/3037.92 c #Conflicts: 942000 | #Constraints: 44965
3029.79/3037.92 c #Conflicts: 943000 | #Constraints: 45965
3029.79/3037.92 c #Conflicts: 944000 | #Constraints: 46965
3029.79/3037.92 c #Conflicts: 945000 | #Constraints: 47965
3453.18/3462.42 c #Conflicts: 946000 | #Constraints: 48965
3453.18/3462.42 c #Conflicts: 947000 | #Constraints: 49965
3453.18/3462.42 c #Conflicts: 948000 | #Constraints: 50965
3453.18/3462.42 c #Conflicts: 949000 | #Constraints: 51965
3453.18/3462.42 c #Conflicts: 950000 | #Constraints: 52965
3453.18/3462.42 c #Conflicts: 951000 | #Constraints: 53965
3453.18/3462.42 c #Conflicts: 952000 | #Constraints: 54965
3453.18/3462.42 c #Conflicts: 953000 | #Constraints: 55965
3453.18/3462.42 c #Conflicts: 954000 | #Constraints: 56965
3453.18/3462.42 c #Conflicts: 955000 | #Constraints: 57965
3453.18/3462.42 c #Conflicts: 956000 | #Constraints: 58965
3453.18/3462.42 c #Conflicts: 957000 | #Constraints: 59965
3453.18/3462.42 c #Conflicts: 958000 | #Constraints: 60965
3453.18/3462.42 c INPROCESSING
3453.18/3462.42 c GARBAGE COLLECT
3453.18/3462.42 c #Conflicts: 959000 | #Constraints: 33643
3453.18/3462.42 c #Conflicts: 960000 | #Constraints: 34643
3453.18/3462.42 c #Conflicts: 961000 | #Constraints: 35643
3453.18/3462.42 c #Conflicts: 962000 | #Constraints: 36643
3453.18/3462.42 c #Conflicts: 963000 | #Constraints: 37643
3453.18/3462.42 c #Conflicts: 964000 | #Constraints: 38643
3453.18/3462.42 c #Conflicts: 965000 | #Constraints: 39643
3453.18/3462.42 c #Conflicts: 966000 | #Constraints: 40643
3453.18/3462.42 c #Conflicts: 967000 | #Constraints: 41643
3453.18/3462.42 c #Conflicts: 968000 | #Constraints: 42643
3453.18/3462.42 c #Conflicts: 969000 | #Constraints: 43643
3453.18/3462.42 c #Conflicts: 970000 | #Constraints: 44643
3453.18/3462.42 c #Conflicts: 971000 | #Constraints: 45643
3453.18/3462.42 c #Conflicts: 972000 | #Constraints: 46643
3453.18/3462.42 c #Conflicts: 973000 | #Constraints: 47643
3453.18/3462.42 c #Conflicts: 974000 | #Constraints: 48643
3453.18/3462.42 c #Conflicts: 975000 | #Constraints: 49643
3453.18/3462.42 c #Conflicts: 976000 | #Constraints: 50643
3453.18/3462.42 c #Conflicts: 977000 | #Constraints: 51643
3453.18/3462.42 c #Conflicts: 978000 | #Constraints: 52643
3453.18/3462.42 c #Conflicts: 979000 | #Constraints: 53643
3453.18/3462.42 c INPROCESSING
3453.18/3462.42 c GARBAGE COLLECT
3453.18/3462.42 c #Conflicts: 980000 | #Constraints: 30141
3453.18/3462.42 c #Conflicts: 981000 | #Constraints: 31141
3453.18/3462.42 c #Conflicts: 982000 | #Constraints: 32141
3453.18/3462.42 c #Conflicts: 983000 | #Constraints: 33141
3453.18/3462.42 c #Conflicts: 984000 | #Constraints: 34141
3453.18/3462.42 c #Conflicts: 985000 | #Constraints: 35141
3453.18/3462.42 c #Conflicts: 986000 | #Constraints: 36141
3453.18/3462.42 c #Conflicts: 987000 | #Constraints: 37141
3453.18/3462.42 c #Conflicts: 988000 | #Constraints: 38141
3453.18/3462.42 c #Conflicts: 989000 | #Constraints: 39141
3453.18/3462.42 c #Conflicts: 990000 | #Constraints: 40141
3453.18/3462.42 c #Conflicts: 991000 | #Constraints: 41141
3453.18/3462.42 c #Conflicts: 992000 | #Constraints: 42141
3453.18/3462.42 c #Conflicts: 993000 | #Constraints: 43141
3453.18/3462.42 c #Conflicts: 994000 | #Constraints: 44141
3453.18/3462.42 c #Conflicts: 995000 | #Constraints: 45141
3453.18/3462.42 c #Conflicts: 996000 | #Constraints: 46141
3453.18/3462.42 c #Conflicts: 997000 | #Constraints: 47141
3453.18/3462.42 c #Conflicts: 998000 | #Constraints: 48141
3453.18/3462.42 c #Conflicts: 999000 | #Constraints: 49141
3453.18/3462.42 c #Conflicts: 1000000 | #Constraints: 50141
3453.18/3462.42 c #Conflicts: 1001000 | #Constraints: 51141
3453.18/3462.42 c #Conflicts: 1002000 | #Constraints: 52141
3453.18/3462.42 c #Conflicts: 1003000 | #Constraints: 53141
3453.18/3462.42 c #Conflicts: 1004000 | #Constraints: 54141
3453.18/3462.42 c #Conflicts: 1005000 | #Constraints: 55141
3453.18/3462.42 c #Conflicts: 1006000 | #Constraints: 56141
3453.18/3462.42 c #Conflicts: 1007000 | #Constraints: 57141
3453.18/3462.42 c #Conflicts: 1008000 | #Constraints: 58141
3453.18/3462.42 c #Conflicts: 1009000 | #Constraints: 59141
3453.18/3462.42 c #Conflicts: 1010000 | #Constraints: 60141
3453.18/3462.42 c #Conflicts: 1011000 | #Constraints: 61141
3453.18/3462.42 c #Conflicts: 1012000 | #Constraints: 62141
3453.18/3462.42 c #Conflicts: 1013000 | #Constraints: 63141
3453.18/3462.42 c #Conflicts: 1014000 | #Constraints: 64141
3453.18/3462.42 c #Conflicts: 1015000 | #Constraints: 65141
3453.18/3462.42 c #Conflicts: 1016000 | #Constraints: 66141
3453.18/3462.42 c #Conflicts: 1017000 | #Constraints: 67141
3453.18/3462.42 c #Conflicts: 1018000 | #Constraints: 68141
3453.18/3462.42 c #Conflicts: 1019000 | #Constraints: 69141
3453.18/3462.42 c #Conflicts: 1020000 | #Constraints: 70141
3453.18/3462.42 c #Conflicts: 1021000 | #Constraints: 71141
3453.18/3462.42 c #Conflicts: 1022000 | #Constraints: 72141
3453.18/3462.42 c #Conflicts: 1023000 | #Constraints: 73141
3600.05/3609.70 c #Conflicts: 1024000 | #Constraints: 74141
3600.05/3609.70 c #Conflicts: 1025000 | #Constraints: 75141
3600.05/3609.70 c #Conflicts: 1026000 | #Constraints: 76141
3600.05/3609.70 c #Conflicts: 1027000 | #Constraints: 77141
3600.05/3609.70 c #Conflicts: 1028000 | #Constraints: 78141
3600.05/3609.70 c #Conflicts: 1029000 | #Constraints: 79141
3600.05/3609.70 c #Conflicts: 1030000 | #Constraints: 80141
3600.05/3609.70 c #Conflicts: 1031000 | #Constraints: 81141
3600.05/3609.70 c #Conflicts: 1032000 | #Constraints: 82141
3600.05/3609.70 c #Conflicts: 1033000 | #Constraints: 83141
3600.05/3609.70 c #Conflicts: 1034000 | #Constraints: 84141
3600.05/3609.70 c #Conflicts: 1035000 | #Constraints: 85141
3600.05/3609.70 c #Conflicts: 1036000 | #Constraints: 86141
3600.05/3609.70 c #Conflicts: 1037000 | #Constraints: 87141
3600.05/3609.70 c #Conflicts: 1038000 | #Constraints: 88141
3600.05/3609.70 c #Conflicts: 1039000 | #Constraints: 89141
3600.05/3609.70 c #Conflicts: 1040000 | #Constraints: 90141
3600.05/3609.70 c #Conflicts: 1041000 | #Constraints: 91141
3600.05/3609.70 c #Conflicts: 1042000 | #Constraints: 92141
3600.05/3609.70 c #Conflicts: 1043000 | #Constraints: 93141
3600.05/3609.70 c Program interrupted by user.
3600.05/3609.70 c cpu time 3592.43 s
3600.05/3609.70 c deterministic time 254139500965 2.54e+11
3600.05/3609.70 c optimization time 341.736 s
3600.05/3609.70 c total solve time 2951.32 s
3600.05/3609.70 c core-guided solve time 2951.32 s
3600.05/3609.70 c propagation time 2758.87 s
3600.05/3609.70 c conflict analysis time 518.925 s
3600.05/3609.70 c propagations 132409617
3600.05/3609.70 c resolve steps 23137532
3600.05/3609.70 c decisions 4022778
3600.05/3609.70 c conflicts 1043455
3600.05/3609.70 c restarts 2046
3600.05/3609.70 c inprocessing phases 72
3600.05/3609.70 c input clauses 2689
3600.05/3609.70 c input cardinalities 278
3600.05/3609.70 c input general constraints 1705
3600.05/3609.70 c input average constraint length 5.24
3600.05/3609.70 c input average constraint degree 2.95
3600.05/3609.70 c learned clauses 813637
3600.05/3609.70 c learned cardinalities 9438
3600.05/3609.70 c learned general constraints 220387
3600.05/3609.70 c learned average constraint length 92.93
3600.05/3609.70 c learned average constraint degree 30277.99
3600.05/3609.70 c watched constraints 150787
3600.05/3609.70 c counting constraints 71305
3600.05/3609.70 c gcd simplifications 2662
3600.05/3609.70 c detected cardinalities 22
3600.05/3609.70 c weakened non-implied lits 21835120
3600.05/3609.70 c weakened non-implying lits 21691
3600.05/3609.70 c original variables 540
3600.05/3609.70 c clausal propagations 63273978
3600.05/3609.70 c cardinality propagations 46672976
3600.05/3609.70 c watched propagations 6493458
3600.05/3609.70 c counting propagations 14937020
3600.05/3609.70 c watch lookups 77168052020
3600.05/3609.70 c watch backjump lookups 70062504962
3600.05/3609.70 c watch checks 95961603027
3600.05/3609.70 c propagation checks 10312860383
3600.05/3609.70 c constraint additions 360572633
3600.05/3609.70 c trail pops 137475544
3600.05/3609.70 c formula constraints 4626
3600.05/3609.70 c learned constraints 1043462
3600.05/3609.70 c bound constraints 11
3600.05/3609.70 c core-guided constraints 35
3600.05/3609.70 c encountered formula constraints 11834598
3600.05/3609.70 c encountered learned constraints 12327677
3600.05/3609.70 c encountered bound constraints 4176
3600.05/3609.70 c encountered core-guided constraints 14536
3600.05/3609.70 c LP total time 0 s
3600.05/3609.70 c LP solve time 0 s
3600.05/3609.70 c LP constraints added 0
3600.05/3609.70 c LP constraints removed 0
3600.05/3609.70 c LP pivots internal 0
3600.05/3609.70 c LP pivots root 0
3600.05/3609.70 c LP calls 0
3600.05/3609.70 c LP optimalities 0
3600.05/3609.70 c LP no pivot count 0
3600.05/3609.70 c LP infeasibilities 0
3600.05/3609.70 c LP valid Farkas constraints 0
3600.05/3609.70 c LP learned Farkas constraints 0
3600.05/3609.70 c LP basis resets 0
3600.05/3609.70 c LP cycling count 0
3600.05/3609.70 c LP singular count 0
3600.05/3609.70 c LP no primal count 0
3600.05/3609.70 c LP no farkas count 0
3600.05/3609.70 c LP other issue count 0
3600.05/3609.70 c LP Gomory cuts 0
3600.05/3609.70 c LP learned cuts 0
3600.05/3609.70 c LP deleted cuts 0
3600.05/3609.70 c LP encountered Gomory constraints 0
3600.05/3609.70 c LP encountered Farkas constraints 0
3600.05/3609.70 c LP encountered learned Farkas constraints 0
3600.05/3609.70 c CG auxiliary variables introduced 14
3600.05/3609.70 c CG solutions found 1
3600.05/3609.70 c CG cores constructed 9
3600.05/3609.70 c CG core cardinality constraints returned 0
3600.05/3609.70 c CG unit cores 0
3600.05/3609.70 c CG single cores 9
3600.05/3609.70 c CG blocks removed during cardinality reduction 0
3600.05/3609.70 c CG first core best 0
3600.05/3609.70 c CG decision core best 0
3600.05/3609.70 c CG core reduction tie 0
3600.05/3609.70 c CG core degree average 1.00
3600.05/3609.70 c CG core slack average 11.67
3600.05/3609.70 c CG exhausted 0
3600.05/3609.70 c CG exhaust time 0.860755 s
3600.05/3609.70 c CG trimmed 0
3600.05/3609.70 c CG trim time 0.000131 s
3600.05/3609.70 c CG minimized 0
3600.05/3609.70 c CG minimize time 0 s
3600.05/3609.70 c CG am1 prop time 0.000123 s
3600.05/3609.70 c CG # am1s reformulated 0
3600.05/3609.70 c CG lower bound derived from am1s 0
3600.05/3609.70 c CG # clausal cores 9
3600.05/3609.70 c CG # cardinality cores 0
3600.05/3609.70 c CG # pb cores 0
3600.05/3609.70 c CG # pb reforms 0
3600.05/3609.70 c CG # cores discarded because of pb reform 0
3600.05/3609.70 d LOWERBOUND 18
3600.05/3609.70 d NCORES 9
3600.05/3609.70 d NPBCORES 0
3600.05/3609.70 d NPBREFORM 0
3600.05/3609.70 d NTRIMMED 0
3600.05/3609.70 d NEXHAUSTED 0
3600.05/3609.70 d NAM1S 0
3600.05/3609.70 d AM1LB 0
3600.05/3609.70 c [STEP] postprocessing with Papilo
3600.05/3609.70 o 66
3600.05/3609.70 s SATISFIABLE
3600.05/3609.70 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: 63968 MiB (62480 MiB free)
memory of node 1: 64473 MiB (62575 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435435-1721074284/watcher-4435435-1721074284 -o /tmp/evaluation-result-4435435-1721074284/solver-4435435-1721074284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821795 --watchdog 3760 mixed-bag HOME/instance-4435435-1721074284.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=822233, runsolver pid=822230
[startup+0.101 s]*
/proc/loadavg: 3.18 1.77 2.06 5/258 822234
/proc/meminfo: memFree=128036656/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=102356 memory=35188 CPUtime=0.09 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 6004 0 0 0 8 1 0 0 20 0 1 0 159594565 104812544 8797 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 25589 8797 3804 3002 0 9340 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 102356 KiB
Current children cumulated memory: 35188 KiB
[startup+0.205558 s]*
/proc/loadavg: 3.18 1.77 2.06 7/258 822234
/proc/meminfo: memFree=128022684/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=117592 memory=49976 CPUtime=0.19 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 9698 0 0 0 18 1 0 0 20 0 1 0 159594565 120414208 12494 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 29398 12494 4011 3002 0 13149 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 117592 KiB
Current children cumulated memory: 49976 KiB
[startup+0.305479 s]*
/proc/loadavg: 3.18 1.77 2.06 5/258 822236
/proc/meminfo: memFree=128022000/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=117768 memory=50240 CPUtime=0.29 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 9726 0 0 0 28 1 0 0 20 0 1 0 159594565 120594432 12560 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 29442 12560 4011 3002 0 13193 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 117768 KiB
Current children cumulated memory: 50240 KiB
[startup+0.700206 s]
/proc/loadavg: 3.18 1.77 2.06 5/258 822236
/proc/meminfo: memFree=128021860/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=117768 memory=50240 CPUtime=0.68 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 9726 0 0 0 67 1 0 0 20 0 1 0 159594565 120594432 12560 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 29442 12560 4011 3002 0 13193 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 117768 KiB
Current children cumulated memory: 50240 KiB
[startup+1.50023 s]
/proc/loadavg: 3.18 1.77 2.06 5/258 822236
/proc/meminfo: memFree=127999348/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=158868 memory=87784 CPUtime=1.48 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 19120 0 0 0 146 2 0 0 20 0 1 0 159594565 162680832 21946 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 39717 21946 4026 3002 0 23468 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158868 KiB
Current children cumulated memory: 87784 KiB
[startup+3.10545 s]
/proc/loadavg: 3.18 1.77 2.06 5/258 822236
/proc/meminfo: memFree=127963996/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=182280 memory=107848 CPUtime=3.08 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 24134 0 0 0 305 3 0 0 20 0 1 0 159594565 186654720 26962 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 45570 26962 4026 3002 0 29321 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 182280 KiB
Current children cumulated memory: 107848 KiB
[startup+6.30014 s]
/proc/loadavg: 3.24 1.81 2.07 5/258 822236
/proc/meminfo: memFree=127963648/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=182564 memory=108112 CPUtime=6.27 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 24224 0 0 0 624 3 0 0 20 0 1 0 159594565 186945536 27028 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 45641 27028 4026 3002 0 29392 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 182564 KiB
Current children cumulated memory: 108112 KiB
[startup+12.7002 s]
/proc/loadavg: 3.30 1.85 2.08 5/258 822237
/proc/meminfo: memFree=127948496/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=209944 memory=134992 CPUtime=12.65 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 30916 0 0 0 1261 4 0 0 20 0 1 0 159594565 214982656 33748 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 52486 33748 4026 3002 0 36237 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 209944 KiB
Current children cumulated memory: 134992 KiB
[startup+25.5002 s]
/proc/loadavg: 3.53 1.97 2.12 5/258 822239
/proc/meminfo: memFree=127840856/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=306364 memory=229472 CPUtime=25.41 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 56199 0 0 0 2533 8 0 0 20 0 1 0 159594565 313716736 57368 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 76591 57368 4026 3002 0 60342 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 306364 KiB
Current children cumulated memory: 229472 KiB
[startup+51.1054 s]
/proc/loadavg: 3.69 2.13 2.17 5/258 822245
/proc/meminfo: memFree=127837488/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=306364 memory=231048 CPUtime=50.95 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 56555 0 0 0 5087 8 0 0 20 0 1 0 159594565 313716736 57762 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 76591 57762 4026 3002 0 60342 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 306364 KiB
Current children cumulated memory: 231048 KiB
[startup+102.3 s]
/proc/loadavg: 3.91 2.44 2.28 5/258 822254
/proc/meminfo: memFree=127799388/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=306364 memory=231576 CPUtime=102.01 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 56664 0 0 0 10193 8 0 0 20 0 1 0 159594565 313716736 57894 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 76591 57894 4026 3002 0 60342 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 306364 KiB
Current children cumulated memory: 231576 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 2.74 2.39 5/258 822265
/proc/meminfo: memFree=127480940/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=385928 memory=308904 CPUtime=161.85 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 77396 0 0 0 16173 12 0 0 20 0 1 0 159594565 395190272 77226 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 96482 77226 4157 3002 0 80233 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 385928 KiB
Current children cumulated memory: 308904 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.99 2.50 5/256 822275
/proc/meminfo: memFree=127477316/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=385928 memory=309056 CPUtime=221.69 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 77786 0 0 0 22156 13 0 0 20 0 1 0 159594565 395190272 77264 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 96482 77264 4157 3002 0 80233 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 385928 KiB
Current children cumulated memory: 309056 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.20 2.61 5/254 822286
/proc/meminfo: memFree=127515484/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=406228 memory=332728 CPUtime=281.54 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 84433 0 0 0 28140 14 0 0 20 0 1 0 159594565 415977472 83182 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 101557 83182 4157 3002 0 85308 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 406228 KiB
Current children cumulated memory: 332728 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.37 2.70 5/254 822297
/proc/meminfo: memFree=127486440/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=405912 memory=337104 CPUtime=341.39 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 85583 0 0 0 34027 112 0 0 20 0 1 0 159594565 415653888 84276 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 101478 84276 4300 3002 0 85229 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 405912 KiB
Current children cumulated memory: 337104 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 3.49 2.79 5/254 822307
/proc/meminfo: memFree=127450584/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=417512 memory=348360 CPUtime=401.21 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 85811 0 0 0 39952 169 0 0 20 0 1 0 159594565 427532288 87090 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 104378 87090 4316 3002 0 88129 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 417512 KiB
Current children cumulated memory: 348360 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.61 2.87 5/254 822319
/proc/meminfo: memFree=127431284/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=429188 memory=358632 CPUtime=461.02 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 86336 0 0 0 45916 186 0 0 20 0 1 0 159594565 439488512 89658 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 107297 89658 4316 3002 0 91048 0
################
# More data... #
################
Current children cumulated memory: 398484 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.15 4.07 5/260 823944
/proc/meminfo: memFree=127123708/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=2914.51 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 89951 0 0 0 290795 656 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 2914.51 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.14 4.07 5/258 823966
/proc/meminfo: memFree=127115520/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=2974.34 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90026 0 0 0 296772 662 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 2974.34 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/258 823976
/proc/meminfo: memFree=127115044/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3034.18 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90095 0 0 0 302745 673 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/258 823988
/proc/meminfo: memFree=127112320/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3094.02 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90166 0 0 0 308720 682 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.07 5/255 824001
/proc/meminfo: memFree=127109652/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3153.86 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90241 0 0 0 314693 693 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/255 824011
/proc/meminfo: memFree=127107132/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3213.7 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90308 0 0 0 320666 704 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3213.7 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/255 824022
/proc/meminfo: memFree=127104440/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3273.55 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90381 0 0 0 326640 715 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/255 824032
/proc/meminfo: memFree=127103488/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3333.4 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90448 0 0 0 332612 728 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/255 824045
/proc/meminfo: memFree=127092876/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3393.24 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90519 0 0 0 338588 736 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3393.24 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/255 824055
/proc/meminfo: memFree=127091124/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3453.08 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90593 0 0 0 344565 743 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3453.08 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/257 824070
/proc/meminfo: memFree=127088192/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3512.92 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90669 0 0 0 350541 751 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
[startup+3582.3 s]
/proc/loadavg: 4.03 4.08 4.08 4/255 824404
/proc/meminfo: memFree=128254484/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3572.74 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90746 0 0 0 356515 759 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.09 4.09 4.08 5/257 825052
/proc/meminfo: memFree=128072852/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3600.05 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90782 0 0 0 359242 763 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 822233 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.43 s, system=7.63357 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.09 4.09 4.08 5/257 825052
/proc/meminfo: memFree=128072852/131524600 swapFree=131071996/131071996
[pid=822233] ppid=822230 vsize=478976 memory=398484 CPUtime=3600.05 cores=5,7
/proc/822233/stat : 822233 (mixed-bag) R 822230 822233 821782 0 -1 4194304 90782 0 0 0 359242 763 0 0 20 0 1 0 159594565 490471424 99621 134679101440 4194304 16487941 140735423419744 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 56852480 140735423423511 140735423423588 140735423423588 140735423430603 0
/proc/822233/statm: 119744 99621 4316 3002 0 103495 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 478976 KiB
Current children cumulated memory: 398484 KiB
Child status: 0
Real time (s): 3609.7
CPU time (s): 3600.06
CPU user time (s): 3592.43
CPU system time (s): 7.63357
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (KiB): 478976
Max. memory (cumulated for all children) (KiB): 398484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.43
system time used= 7.63357
maximum resident set size= 398956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90801
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= 65
involuntary context switches= 1188
# summary of solver processes directly reported to runsolver:
# pid: 822233
# total CPU time (s): 3600.06
# total CPU user time (s): 3592.43
# total CPU system time (s): 7.63357
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72717 second user time and 16.9614 second system time
The end
Begin job on nodeC026 at 2024-07-15 22:11:37
IDJOB=4435435
IDBENCH=147020
IDSOLVER=3066
FILE ID=nodeC026/4435435-1721074284
RUNJOBID= nodeC026-1721074233-821795
SLURM_JOB_ID= 7505548
Free space on /tmp= 890032 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435435-1721074284/watcher-4435435-1721074284 -o /tmp/evaluation-result-4435435-1721074284/solver-4435435-1721074284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821795 --watchdog 3760 mixed-bag HOME/instance-4435435-1721074284.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=754978410
nodeC026.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 : 0xb00002a
cpu MHz : 3668.897
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.384
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.921
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3623.593
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.909
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.959
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.030
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.056
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.45
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128057476 kB
MemAvailable: 128892888 kB
Buffers: 378952 kB
Cached: 1291812 kB
SwapCached: 0 kB
Active: 669296 kB
Inactive: 2201928 kB
Active(anon): 1548 kB
Inactive(anon): 1236624 kB
Active(file): 667748 kB
Inactive(file): 965304 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16356 kB
Writeback: 0 kB
AnonPages: 1197432 kB
Mapped: 137004 kB
Shmem: 37720 kB
KReclaimable: 84368 kB
Slab: 188932 kB
SReclaimable: 84368 kB
SUnreclaim: 104564 kB
KernelStack: 4112 kB
PageTables: 12048 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1638544 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61312 kB
HardwareCorrupted: 0 kB
AnonHugePages: 360448 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: 232148 kB
DirectMap2M: 20512768 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC026 at 2024-07-15 23:11:47