0.00/0.02 c RoundingSat 2
0.00/0.02 c branch
0.00/0.02 c commit
0.00/0.02 c with Papilo
0.00/0.02 c with SCIP
0.00/0.02 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.08 c [STEP] solving with SCIP
298.87/300.15 c [STEP] preprocessing done, loading into solver
298.87/300.16 c [STEP] solving
298.87/300.16 c #variables 3169 #constraints 1712
298.87/300.16 c SMALL=int, LARGE=long long
298.87/300.16 d SCIPUB -16
298.87/300.16 c bounds - >= -32 @ 298.794
298.87/300.16 c stratification level: 0
388.34/389.86 c #Conflicts: 1000 | #Constraints: 2712
388.34/389.86 c #Conflicts: 2000 | #Constraints: 3712
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 3000 | #Constraints: 3729
388.34/389.86 c #Conflicts: 4000 | #Constraints: 4729
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 5000 | #Constraints: 4149
388.34/389.86 c #Conflicts: 6000 | #Constraints: 5149
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 7000 | #Constraints: 4148
388.34/389.86 c #Conflicts: 8000 | #Constraints: 5148
388.34/389.86 c #Conflicts: 9000 | #Constraints: 6148
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 10000 | #Constraints: 4860
388.34/389.86 c #Conflicts: 11000 | #Constraints: 5860
388.34/389.86 c #Conflicts: 12000 | #Constraints: 6860
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 13000 | #Constraints: 5309
388.34/389.86 c #Conflicts: 14000 | #Constraints: 6309
388.34/389.86 c #Conflicts: 15000 | #Constraints: 7309
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 16000 | #Constraints: 5542
388.34/389.86 c #Conflicts: 17000 | #Constraints: 6542
388.34/389.86 c #Conflicts: 18000 | #Constraints: 7542
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 19000 | #Constraints: 5570
388.34/389.86 c #Conflicts: 20000 | #Constraints: 6570
388.34/389.86 c #Conflicts: 21000 | #Constraints: 7570
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 22000 | #Constraints: 5373
388.34/389.86 c #Conflicts: 23000 | #Constraints: 6373
388.34/389.86 c #Conflicts: 24000 | #Constraints: 7373
388.34/389.86 c #Conflicts: 25000 | #Constraints: 8373
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 26000 | #Constraints: 5983
388.34/389.86 c #Conflicts: 27000 | #Constraints: 6983
388.34/389.86 c #Conflicts: 28000 | #Constraints: 7983
388.34/389.86 c #Conflicts: 29000 | #Constraints: 8983
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 30000 | #Constraints: 6381
388.34/389.86 c #Conflicts: 31000 | #Constraints: 7381
388.34/389.86 c #Conflicts: 32000 | #Constraints: 8381
388.34/389.86 c #Conflicts: 33000 | #Constraints: 9381
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 34000 | #Constraints: 6582
388.34/389.86 c #Conflicts: 35000 | #Constraints: 7582
388.34/389.86 c #Conflicts: 36000 | #Constraints: 8582
388.34/389.86 c #Conflicts: 37000 | #Constraints: 9582
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 38000 | #Constraints: 6580
388.34/389.86 c #Conflicts: 39000 | #Constraints: 7580
388.34/389.86 c #Conflicts: 40000 | #Constraints: 8580
388.34/389.86 c #Conflicts: 41000 | #Constraints: 9580
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 42000 | #Constraints: 6400
388.34/389.86 c #Conflicts: 43000 | #Constraints: 7400
388.34/389.86 c #Conflicts: 44000 | #Constraints: 8400
388.34/389.86 c #Conflicts: 45000 | #Constraints: 9400
388.34/389.86 c #Conflicts: 46000 | #Constraints: 10400
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 47000 | #Constraints: 7014
388.34/389.86 c #Conflicts: 48000 | #Constraints: 8014
388.34/389.86 c #Conflicts: 49000 | #Constraints: 9014
388.34/389.86 c #Conflicts: 50000 | #Constraints: 10014
388.34/389.86 c #Conflicts: 51000 | #Constraints: 11014
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 52000 | #Constraints: 7397
388.34/389.86 c #Conflicts: 53000 | #Constraints: 8397
388.34/389.86 c #Conflicts: 54000 | #Constraints: 9397
388.34/389.86 c #Conflicts: 55000 | #Constraints: 10397
388.34/389.86 c #Conflicts: 56000 | #Constraints: 11397
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 57000 | #Constraints: 7603
388.34/389.86 c #Conflicts: 58000 | #Constraints: 8603
388.34/389.86 c #Conflicts: 59000 | #Constraints: 9603
388.34/389.86 c #Conflicts: 60000 | #Constraints: 10603
388.34/389.86 c #Conflicts: 61000 | #Constraints: 11603
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 62000 | #Constraints: 7606
388.34/389.86 c #Conflicts: 63000 | #Constraints: 8606
388.34/389.86 c #Conflicts: 64000 | #Constraints: 9606
388.34/389.86 c #Conflicts: 65000 | #Constraints: 10606
388.34/389.86 c #Conflicts: 66000 | #Constraints: 11606
388.34/389.86 c INPROCESSING
388.34/389.86 c GARBAGE COLLECT
388.34/389.86 c #Conflicts: 67000 | #Constraints: 7413
388.34/389.86 c #Conflicts: 68000 | #Constraints: 8413
498.66/500.48 c #Conflicts: 69000 | #Constraints: 9413
498.66/500.48 c #Conflicts: 70000 | #Constraints: 10413
498.66/500.48 c #Conflicts: 71000 | #Constraints: 11413
498.66/500.48 c #Conflicts: 72000 | #Constraints: 12413
498.66/500.48 c INPROCESSING
498.66/500.48 c GARBAGE COLLECT
498.66/500.48 c #Conflicts: 73000 | #Constraints: 8032
498.66/500.48 c #Conflicts: 74000 | #Constraints: 9032
498.66/500.48 c #Conflicts: 75000 | #Constraints: 10032
498.66/500.48 c #Conflicts: 76000 | #Constraints: 11032
498.66/500.48 c #Conflicts: 77000 | #Constraints: 12032
498.66/500.48 c #Conflicts: 78000 | #Constraints: 13032
498.66/500.48 c INPROCESSING
498.66/500.48 c GARBAGE COLLECT
498.66/500.48 c #Conflicts: 79000 | #Constraints: 8427
498.66/500.48 c #Conflicts: 80000 | #Constraints: 9427
498.66/500.48 c #Conflicts: 81000 | #Constraints: 10427
498.66/500.48 c #Conflicts: 82000 | #Constraints: 11427
498.66/500.48 c #Conflicts: 83000 | #Constraints: 12427
498.66/500.48 c #Conflicts: 84000 | #Constraints: 13427
498.66/500.48 c INPROCESSING
498.66/500.48 c GARBAGE COLLECT
498.66/500.48 c #Conflicts: 85000 | #Constraints: 8623
498.66/500.48 c #Conflicts: 86000 | #Constraints: 9623
498.66/500.48 c #Conflicts: 87000 | #Constraints: 10623
498.66/500.48 c #Conflicts: 88000 | #Constraints: 11623
498.66/500.48 c #Conflicts: 89000 | #Constraints: 12623
498.66/500.48 c #Conflicts: 90000 | #Constraints: 13623
498.66/500.48 c INPROCESSING
498.66/500.48 c GARBAGE COLLECT
498.66/500.48 c #Conflicts: 91000 | #Constraints: 8634
498.66/500.48 c #Conflicts: 92000 | #Constraints: 9634
498.66/500.48 c #Conflicts: 93000 | #Constraints: 10634
498.66/500.48 c #Conflicts: 94000 | #Constraints: 11634
498.66/500.48 c #Conflicts: 95000 | #Constraints: 12634
498.66/500.48 c #Conflicts: 96000 | #Constraints: 13634
498.66/500.48 c INPROCESSING
498.66/500.48 c GARBAGE COLLECT
498.66/500.48 c #Conflicts: 97000 | #Constraints: 8433
498.66/500.48 c #Conflicts: 98000 | #Constraints: 9433
498.66/500.48 c #Conflicts: 99000 | #Constraints: 10433
498.66/500.48 c #Conflicts: 100000 | #Constraints: 11433
498.66/500.48 c #Conflicts: 101000 | #Constraints: 12433
498.66/500.48 c #Conflicts: 102000 | #Constraints: 13433
498.66/500.48 c #Conflicts: 103000 | #Constraints: 14433
498.66/500.48 c INPROCESSING
498.66/500.48 c GARBAGE COLLECT
498.66/500.48 c #Conflicts: 104000 | #Constraints: 9036
498.66/500.48 c #Conflicts: 105000 | #Constraints: 10036
498.66/500.48 c #Conflicts: 106000 | #Constraints: 11036
498.66/500.48 c #Conflicts: 107000 | #Constraints: 12036
498.66/500.48 c #Conflicts: 108000 | #Constraints: 13036
498.66/500.48 c #Conflicts: 109000 | #Constraints: 14036
498.66/500.48 c #Conflicts: 110000 | #Constraints: 15036
498.66/500.48 c INPROCESSING
498.66/500.48 c GARBAGE COLLECT
498.66/500.48 c #Conflicts: 111000 | #Constraints: 9436
498.66/500.48 c #Conflicts: 112000 | #Constraints: 10436
498.66/500.48 c #Conflicts: 113000 | #Constraints: 11436
498.66/500.48 c #Conflicts: 114000 | #Constraints: 12436
498.66/500.48 c #Conflicts: 115000 | #Constraints: 13436
498.66/500.48 c #Conflicts: 116000 | #Constraints: 14436
498.66/500.48 c #Conflicts: 117000 | #Constraints: 15436
498.66/500.48 c INPROCESSING
498.66/500.48 c GARBAGE COLLECT
498.66/500.48 c #Conflicts: 118000 | #Constraints: 9625
498.66/500.48 c #Conflicts: 119000 | #Constraints: 10625
498.66/500.48 c #Conflicts: 120000 | #Constraints: 11625
498.66/500.48 c #Conflicts: 121000 | #Constraints: 12625
498.66/500.48 c #Conflicts: 122000 | #Constraints: 13625
498.66/500.48 c #Conflicts: 123000 | #Constraints: 14625
498.66/500.48 c #Conflicts: 124000 | #Constraints: 15625
498.66/500.48 c INPROCESSING
498.66/500.48 c GARBAGE COLLECT
498.66/500.48 c #Conflicts: 125000 | #Constraints: 9627
498.66/500.48 c #Conflicts: 126000 | #Constraints: 10627
498.66/500.48 c #Conflicts: 127000 | #Constraints: 11627
498.66/500.48 c #Conflicts: 128000 | #Constraints: 12627
498.66/500.48 c #Conflicts: 129000 | #Constraints: 13627
498.66/500.48 c #Conflicts: 130000 | #Constraints: 14627
498.66/500.48 c #Conflicts: 131000 | #Constraints: 15627
498.66/500.48 c INPROCESSING
498.66/500.48 c GARBAGE COLLECT
498.66/500.48 c #Conflicts: 132000 | #Constraints: 9424
498.66/500.48 c #Conflicts: 133000 | #Constraints: 10424
498.66/500.48 c #Conflicts: 134000 | #Constraints: 11424
498.66/500.48 c #Conflicts: 135000 | #Constraints: 12424
498.66/500.48 c #Conflicts: 136000 | #Constraints: 13424
498.66/500.48 c #Conflicts: 137000 | #Constraints: 14424
498.66/500.48 c #Conflicts: 138000 | #Constraints: 15424
498.66/500.48 c #Conflicts: 139000 | #Constraints: 16424
498.66/500.48 c INPROCESSING
498.66/500.48 c GARBAGE COLLECT
498.66/500.48 c #Conflicts: 140000 | #Constraints: 10013
575.97/577.91 c #Conflicts: 141000 | #Constraints: 11013
575.97/577.91 c #Conflicts: 142000 | #Constraints: 12013
575.97/577.91 c #Conflicts: 143000 | #Constraints: 13013
575.97/577.91 c #Conflicts: 144000 | #Constraints: 14013
575.97/577.91 c #Conflicts: 145000 | #Constraints: 15013
575.97/577.91 c #Conflicts: 146000 | #Constraints: 16013
575.97/577.91 c #Conflicts: 147000 | #Constraints: 17013
575.97/577.91 c INPROCESSING
575.97/577.91 c GARBAGE COLLECT
575.97/577.91 c #Conflicts: 148000 | #Constraints: 10414
575.97/577.91 c #Conflicts: 149000 | #Constraints: 11414
575.97/577.91 c #Conflicts: 150000 | #Constraints: 12414
575.97/577.91 c #Conflicts: 151000 | #Constraints: 13414
575.97/577.91 c #Conflicts: 152000 | #Constraints: 14414
575.97/577.91 c #Conflicts: 153000 | #Constraints: 15414
575.97/577.91 c #Conflicts: 154000 | #Constraints: 16414
575.97/577.91 c #Conflicts: 155000 | #Constraints: 17414
575.97/577.91 c INPROCESSING
575.97/577.91 c GARBAGE COLLECT
575.97/577.91 c #Conflicts: 156000 | #Constraints: 10633
575.97/577.91 c #Conflicts: 157000 | #Constraints: 11633
575.97/577.91 c #Conflicts: 158000 | #Constraints: 12633
575.97/577.91 c #Conflicts: 159000 | #Constraints: 13633
575.97/577.91 c #Conflicts: 160000 | #Constraints: 14633
575.97/577.91 c #Conflicts: 161000 | #Constraints: 15633
575.97/577.91 c #Conflicts: 162000 | #Constraints: 16633
575.97/577.91 c bounds - >= -31 @ 539.064
575.97/577.91 c #Conflicts: 163000 | #Constraints: 17634
575.97/577.91 c INPROCESSING
575.97/577.91 c GARBAGE COLLECT
575.97/577.91 c #Conflicts: 164000 | #Constraints: 10593
575.97/577.91 c #Conflicts: 165000 | #Constraints: 11593
575.97/577.91 c #Conflicts: 166000 | #Constraints: 12593
575.97/577.91 c #Conflicts: 167000 | #Constraints: 13593
575.97/577.91 c #Conflicts: 168000 | #Constraints: 14593
575.97/577.91 c #Conflicts: 169000 | #Constraints: 15593
575.97/577.91 c #Conflicts: 170000 | #Constraints: 16593
575.97/577.91 c #Conflicts: 171000 | #Constraints: 17593
575.97/577.91 c INPROCESSING
575.97/577.91 c GARBAGE COLLECT
575.97/577.91 c #Conflicts: 172000 | #Constraints: 10385
575.97/577.91 c #Conflicts: 173000 | #Constraints: 11385
575.97/577.91 c #Conflicts: 174000 | #Constraints: 12385
575.97/577.91 c #Conflicts: 175000 | #Constraints: 13385
575.97/577.91 c #Conflicts: 176000 | #Constraints: 14385
575.97/577.91 c #Conflicts: 177000 | #Constraints: 15385
575.97/577.91 c #Conflicts: 178000 | #Constraints: 16385
575.97/577.91 c #Conflicts: 179000 | #Constraints: 17385
575.97/577.91 c #Conflicts: 180000 | #Constraints: 18385
575.97/577.91 c INPROCESSING
575.97/577.91 c GARBAGE COLLECT
575.97/577.91 c #Conflicts: 181000 | #Constraints: 10978
575.97/577.91 c #Conflicts: 182000 | #Constraints: 11978
575.97/577.91 c #Conflicts: 183000 | #Constraints: 12978
575.97/577.91 c #Conflicts: 184000 | #Constraints: 13978
575.97/577.91 c #Conflicts: 185000 | #Constraints: 14978
575.97/577.91 c #Conflicts: 186000 | #Constraints: 15978
575.97/577.91 c #Conflicts: 187000 | #Constraints: 16978
575.97/577.91 c #Conflicts: 188000 | #Constraints: 17978
575.97/577.91 c #Conflicts: 189000 | #Constraints: 18978
575.97/577.91 c INPROCESSING
575.97/577.91 c GARBAGE COLLECT
575.97/577.91 c #Conflicts: 190000 | #Constraints: 11383
575.97/577.91 c #Conflicts: 191000 | #Constraints: 12383
575.97/577.91 c #Conflicts: 192000 | #Constraints: 13383
575.97/577.91 c #Conflicts: 193000 | #Constraints: 14383
575.97/577.91 c #Conflicts: 194000 | #Constraints: 15383
575.97/577.91 c #Conflicts: 195000 | #Constraints: 16383
575.97/577.91 c #Conflicts: 196000 | #Constraints: 17383
575.97/577.91 c #Conflicts: 197000 | #Constraints: 18383
575.97/577.91 c #Conflicts: 198000 | #Constraints: 19383
575.97/577.91 c INPROCESSING
575.97/577.91 c GARBAGE COLLECT
575.97/577.91 c #Conflicts: 199000 | #Constraints: 11581
575.97/577.91 c #Conflicts: 200000 | #Constraints: 12581
575.97/577.91 c #Conflicts: 201000 | #Constraints: 13581
575.97/577.91 c #Conflicts: 202000 | #Constraints: 14581
575.97/577.91 c #Conflicts: 203000 | #Constraints: 15581
575.97/577.91 c #Conflicts: 204000 | #Constraints: 16581
575.97/577.91 c #Conflicts: 205000 | #Constraints: 17581
575.97/577.91 c #Conflicts: 206000 | #Constraints: 18581
575.97/577.91 c #Conflicts: 207000 | #Constraints: 19581
575.97/577.91 c INPROCESSING
575.97/577.91 c GARBAGE COLLECT
575.97/577.91 c #Conflicts: 208000 | #Constraints: 11590
575.97/577.91 c #Conflicts: 209000 | #Constraints: 12590
575.97/577.91 c #Conflicts: 210000 | #Constraints: 13590
575.97/577.91 c #Conflicts: 211000 | #Constraints: 14590
575.97/577.91 c #Conflicts: 212000 | #Constraints: 15590
575.97/577.91 c #Conflicts: 213000 | #Constraints: 16590
669.94/672.17 c #Conflicts: 214000 | #Constraints: 17590
669.94/672.17 c #Conflicts: 215000 | #Constraints: 18590
669.94/672.17 c #Conflicts: 216000 | #Constraints: 19590
669.94/672.17 c INPROCESSING
669.94/672.17 c GARBAGE COLLECT
669.94/672.17 c #Conflicts: 217000 | #Constraints: 11384
669.94/672.17 c #Conflicts: 218000 | #Constraints: 12384
669.94/672.17 c #Conflicts: 219000 | #Constraints: 13384
669.94/672.17 c #Conflicts: 220000 | #Constraints: 14384
669.94/672.17 c #Conflicts: 221000 | #Constraints: 15384
669.94/672.17 c #Conflicts: 222000 | #Constraints: 16384
669.94/672.17 c #Conflicts: 223000 | #Constraints: 17384
669.94/672.17 c #Conflicts: 224000 | #Constraints: 18384
669.94/672.17 c #Conflicts: 225000 | #Constraints: 19384
669.94/672.17 c #Conflicts: 226000 | #Constraints: 20384
669.94/672.17 c INPROCESSING
669.94/672.17 c GARBAGE COLLECT
669.94/672.17 c #Conflicts: 227000 | #Constraints: 11990
669.94/672.17 c #Conflicts: 228000 | #Constraints: 12990
669.94/672.17 c #Conflicts: 229000 | #Constraints: 13990
669.94/672.17 c #Conflicts: 230000 | #Constraints: 14990
669.94/672.17 c #Conflicts: 231000 | #Constraints: 15990
669.94/672.17 c #Conflicts: 232000 | #Constraints: 16990
669.94/672.17 c #Conflicts: 233000 | #Constraints: 17990
669.94/672.17 c #Conflicts: 234000 | #Constraints: 18990
669.94/672.17 c #Conflicts: 235000 | #Constraints: 19990
669.94/672.17 c #Conflicts: 236000 | #Constraints: 20990
669.94/672.17 c INPROCESSING
669.94/672.17 c GARBAGE COLLECT
669.94/672.17 c #Conflicts: 237000 | #Constraints: 12383
669.94/672.17 c #Conflicts: 238000 | #Constraints: 13383
669.94/672.17 c #Conflicts: 239000 | #Constraints: 14383
669.94/672.17 c #Conflicts: 240000 | #Constraints: 15383
669.94/672.17 c #Conflicts: 241000 | #Constraints: 16383
669.94/672.17 c #Conflicts: 242000 | #Constraints: 17383
669.94/672.17 c #Conflicts: 243000 | #Constraints: 18383
669.94/672.17 c #Conflicts: 244000 | #Constraints: 19383
669.94/672.17 c #Conflicts: 245000 | #Constraints: 20383
669.94/672.17 c #Conflicts: 246000 | #Constraints: 21383
669.94/672.17 c INPROCESSING
669.94/672.17 c GARBAGE COLLECT
669.94/672.17 c #Conflicts: 247000 | #Constraints: 12585
669.94/672.17 c #Conflicts: 248000 | #Constraints: 13585
669.94/672.17 c #Conflicts: 249000 | #Constraints: 14585
669.94/672.17 c #Conflicts: 250000 | #Constraints: 15585
669.94/672.17 c #Conflicts: 251000 | #Constraints: 16585
669.94/672.17 c #Conflicts: 252000 | #Constraints: 17585
669.94/672.17 c #Conflicts: 253000 | #Constraints: 18585
669.94/672.17 c #Conflicts: 254000 | #Constraints: 19585
669.94/672.17 c #Conflicts: 255000 | #Constraints: 20585
669.94/672.17 c #Conflicts: 256000 | #Constraints: 21585
669.94/672.17 c INPROCESSING
669.94/672.17 c GARBAGE COLLECT
669.94/672.17 c #Conflicts: 257000 | #Constraints: 12580
669.94/672.17 c #Conflicts: 258000 | #Constraints: 13580
669.94/672.17 c #Conflicts: 259000 | #Constraints: 14580
669.94/672.17 c #Conflicts: 260000 | #Constraints: 15580
669.94/672.17 c #Conflicts: 261000 | #Constraints: 16580
669.94/672.17 c #Conflicts: 262000 | #Constraints: 17580
669.94/672.17 c #Conflicts: 263000 | #Constraints: 18580
669.94/672.17 c #Conflicts: 264000 | #Constraints: 19580
669.94/672.17 c #Conflicts: 265000 | #Constraints: 20580
669.94/672.17 c #Conflicts: 266000 | #Constraints: 21580
669.94/672.17 c INPROCESSING
669.94/672.17 c GARBAGE COLLECT
669.94/672.17 c #Conflicts: 267000 | #Constraints: 12397
669.94/672.17 c #Conflicts: 268000 | #Constraints: 13397
669.94/672.17 c #Conflicts: 269000 | #Constraints: 14397
669.94/672.17 c #Conflicts: 270000 | #Constraints: 15397
669.94/672.17 c #Conflicts: 271000 | #Constraints: 16397
669.94/672.17 c #Conflicts: 272000 | #Constraints: 17397
669.94/672.17 c #Conflicts: 273000 | #Constraints: 18397
669.94/672.17 c #Conflicts: 274000 | #Constraints: 19397
669.94/672.17 c #Conflicts: 275000 | #Constraints: 20397
669.94/672.17 c #Conflicts: 276000 | #Constraints: 21397
669.94/672.17 c #Conflicts: 277000 | #Constraints: 22397
669.94/672.17 c INPROCESSING
669.94/672.17 c GARBAGE COLLECT
669.94/672.17 c #Conflicts: 278000 | #Constraints: 12987
669.94/672.17 c #Conflicts: 279000 | #Constraints: 13987
669.94/672.17 c #Conflicts: 280000 | #Constraints: 14987
669.94/672.17 c #Conflicts: 281000 | #Constraints: 15987
669.94/672.17 c #Conflicts: 282000 | #Constraints: 16987
669.94/672.17 c #Conflicts: 283000 | #Constraints: 17987
669.94/672.17 c #Conflicts: 284000 | #Constraints: 18987
669.94/672.17 c #Conflicts: 285000 | #Constraints: 19987
669.94/672.17 c #Conflicts: 286000 | #Constraints: 20987
669.94/672.17 c #Conflicts: 287000 | #Constraints: 21987
805.60/808.18 c #Conflicts: 288000 | #Constraints: 22987
805.60/808.18 c INPROCESSING
805.60/808.18 c GARBAGE COLLECT
805.60/808.18 c #Conflicts: 289000 | #Constraints: 13379
805.60/808.18 c #Conflicts: 290000 | #Constraints: 14379
805.60/808.18 c #Conflicts: 291000 | #Constraints: 15379
805.60/808.18 c #Conflicts: 292000 | #Constraints: 16379
805.60/808.18 c #Conflicts: 293000 | #Constraints: 17379
805.60/808.18 c #Conflicts: 294000 | #Constraints: 18379
805.60/808.18 c #Conflicts: 295000 | #Constraints: 19379
805.60/808.18 c #Conflicts: 296000 | #Constraints: 20379
805.60/808.18 c #Conflicts: 297000 | #Constraints: 21379
805.60/808.18 c #Conflicts: 298000 | #Constraints: 22379
805.60/808.18 c #Conflicts: 299000 | #Constraints: 23379
805.60/808.18 c INPROCESSING
805.60/808.18 c GARBAGE COLLECT
805.60/808.18 c #Conflicts: 300000 | #Constraints: 13590
805.60/808.18 c #Conflicts: 301000 | #Constraints: 14590
805.60/808.18 c #Conflicts: 302000 | #Constraints: 15590
805.60/808.18 c #Conflicts: 303000 | #Constraints: 16590
805.60/808.18 c #Conflicts: 304000 | #Constraints: 17590
805.60/808.18 c #Conflicts: 305000 | #Constraints: 18590
805.60/808.18 c #Conflicts: 306000 | #Constraints: 19590
805.60/808.18 c #Conflicts: 307000 | #Constraints: 20590
805.60/808.18 c #Conflicts: 308000 | #Constraints: 21590
805.60/808.18 c #Conflicts: 309000 | #Constraints: 22590
805.60/808.18 c #Conflicts: 310000 | #Constraints: 23590
805.60/808.18 c INPROCESSING
805.60/808.18 c GARBAGE COLLECT
805.60/808.18 c #Conflicts: 311000 | #Constraints: 13599
805.60/808.18 c #Conflicts: 312000 | #Constraints: 14599
805.60/808.18 c #Conflicts: 313000 | #Constraints: 15599
805.60/808.18 c #Conflicts: 314000 | #Constraints: 16599
805.60/808.18 c #Conflicts: 315000 | #Constraints: 17599
805.60/808.18 c #Conflicts: 316000 | #Constraints: 18599
805.60/808.18 c #Conflicts: 317000 | #Constraints: 19599
805.60/808.18 c #Conflicts: 318000 | #Constraints: 20599
805.60/808.18 c #Conflicts: 319000 | #Constraints: 21599
805.60/808.18 c #Conflicts: 320000 | #Constraints: 22599
805.60/808.18 c #Conflicts: 321000 | #Constraints: 23599
805.60/808.18 c INPROCESSING
805.60/808.18 c GARBAGE COLLECT
805.60/808.18 c #Conflicts: 322000 | #Constraints: 13400
805.60/808.18 c #Conflicts: 323000 | #Constraints: 14400
805.60/808.18 c #Conflicts: 324000 | #Constraints: 15400
805.60/808.18 c #Conflicts: 325000 | #Constraints: 16400
805.60/808.18 c #Conflicts: 326000 | #Constraints: 17400
805.60/808.18 c #Conflicts: 327000 | #Constraints: 18400
805.60/808.18 c #Conflicts: 328000 | #Constraints: 19400
805.60/808.18 c #Conflicts: 329000 | #Constraints: 20400
805.60/808.18 c #Conflicts: 330000 | #Constraints: 21400
805.60/808.18 c #Conflicts: 331000 | #Constraints: 22400
805.60/808.18 c #Conflicts: 332000 | #Constraints: 23400
805.60/808.18 c #Conflicts: 333000 | #Constraints: 24400
805.60/808.18 c INPROCESSING
805.60/808.18 c GARBAGE COLLECT
805.60/808.18 c #Conflicts: 334000 | #Constraints: 13992
805.60/808.18 c #Conflicts: 335000 | #Constraints: 14992
805.60/808.18 c #Conflicts: 336000 | #Constraints: 15992
805.60/808.18 c #Conflicts: 337000 | #Constraints: 16992
805.60/808.18 c #Conflicts: 338000 | #Constraints: 17992
805.60/808.18 c #Conflicts: 339000 | #Constraints: 18992
805.60/808.18 c #Conflicts: 340000 | #Constraints: 19992
805.60/808.18 c #Conflicts: 341000 | #Constraints: 20992
805.60/808.18 c #Conflicts: 342000 | #Constraints: 21992
805.60/808.18 c #Conflicts: 343000 | #Constraints: 22992
805.60/808.18 c #Conflicts: 344000 | #Constraints: 23992
805.60/808.18 c #Conflicts: 345000 | #Constraints: 24992
805.60/808.18 c INPROCESSING
805.60/808.18 c GARBAGE COLLECT
805.60/808.18 c #Conflicts: 346000 | #Constraints: 14377
805.60/808.18 c #Conflicts: 347000 | #Constraints: 15377
805.60/808.18 c #Conflicts: 348000 | #Constraints: 16377
805.60/808.18 c #Conflicts: 349000 | #Constraints: 17377
805.60/808.18 c #Conflicts: 350000 | #Constraints: 18377
805.60/808.18 c #Conflicts: 351000 | #Constraints: 19377
805.60/808.18 c #Conflicts: 352000 | #Constraints: 20377
805.60/808.18 c #Conflicts: 353000 | #Constraints: 21377
805.60/808.18 c #Conflicts: 354000 | #Constraints: 22377
805.60/808.18 c #Conflicts: 355000 | #Constraints: 23377
805.60/808.18 c #Conflicts: 356000 | #Constraints: 24377
805.60/808.18 c #Conflicts: 357000 | #Constraints: 25377
805.60/808.18 c INPROCESSING
805.60/808.18 c GARBAGE COLLECT
805.60/808.18 c #Conflicts: 358000 | #Constraints: 14571
805.60/808.18 c #Conflicts: 359000 | #Constraints: 15571
805.60/808.18 c #Conflicts: 360000 | #Constraints: 16571
805.60/808.18 c #Conflicts: 361000 | #Constraints: 17571
933.66/936.57 c #Conflicts: 362000 | #Constraints: 18571
933.66/936.57 c #Conflicts: 363000 | #Constraints: 19571
933.66/936.57 c #Conflicts: 364000 | #Constraints: 20571
933.66/936.57 c #Conflicts: 365000 | #Constraints: 21571
933.66/936.57 c #Conflicts: 366000 | #Constraints: 22571
933.66/936.57 c #Conflicts: 367000 | #Constraints: 23571
933.66/936.57 c #Conflicts: 368000 | #Constraints: 24571
933.66/936.57 c #Conflicts: 369000 | #Constraints: 25571
933.66/936.57 c INPROCESSING
933.66/936.57 c GARBAGE COLLECT
933.66/936.57 c #Conflicts: 370000 | #Constraints: 14587
933.66/936.57 c #Conflicts: 371000 | #Constraints: 15587
933.66/936.57 c #Conflicts: 372000 | #Constraints: 16587
933.66/936.57 c #Conflicts: 373000 | #Constraints: 17587
933.66/936.57 c #Conflicts: 374000 | #Constraints: 18587
933.66/936.57 c #Conflicts: 375000 | #Constraints: 19587
933.66/936.57 c #Conflicts: 376000 | #Constraints: 20587
933.66/936.57 c #Conflicts: 377000 | #Constraints: 21587
933.66/936.57 c #Conflicts: 378000 | #Constraints: 22587
933.66/936.57 c #Conflicts: 379000 | #Constraints: 23587
933.66/936.57 c #Conflicts: 380000 | #Constraints: 24587
933.66/936.57 c #Conflicts: 381000 | #Constraints: 25587
933.66/936.57 c INPROCESSING
933.66/936.57 c GARBAGE COLLECT
933.66/936.57 c #Conflicts: 382000 | #Constraints: 14383
933.66/936.57 c #Conflicts: 383000 | #Constraints: 15383
933.66/936.57 c #Conflicts: 384000 | #Constraints: 16383
933.66/936.57 c #Conflicts: 385000 | #Constraints: 17383
933.66/936.57 c #Conflicts: 386000 | #Constraints: 18383
933.66/936.57 c #Conflicts: 387000 | #Constraints: 19383
933.66/936.57 c #Conflicts: 388000 | #Constraints: 20383
933.66/936.57 c #Conflicts: 389000 | #Constraints: 21383
933.66/936.57 c #Conflicts: 390000 | #Constraints: 22383
933.66/936.57 c #Conflicts: 391000 | #Constraints: 23383
933.66/936.57 c #Conflicts: 392000 | #Constraints: 24383
933.66/936.57 c #Conflicts: 393000 | #Constraints: 25383
933.66/936.57 c #Conflicts: 394000 | #Constraints: 26383
933.66/936.57 c INPROCESSING
933.66/936.57 c GARBAGE COLLECT
933.66/936.57 c #Conflicts: 395000 | #Constraints: 14993
933.66/936.57 c #Conflicts: 396000 | #Constraints: 15993
933.66/936.57 c #Conflicts: 397000 | #Constraints: 16993
933.66/936.57 c #Conflicts: 398000 | #Constraints: 17993
933.66/936.57 c #Conflicts: 399000 | #Constraints: 18993
933.66/936.57 c #Conflicts: 400000 | #Constraints: 19993
933.66/936.57 c #Conflicts: 401000 | #Constraints: 20993
933.66/936.57 c #Conflicts: 402000 | #Constraints: 21993
933.66/936.57 c #Conflicts: 403000 | #Constraints: 22993
933.66/936.57 c #Conflicts: 404000 | #Constraints: 23993
933.66/936.57 c #Conflicts: 405000 | #Constraints: 24993
933.66/936.57 c #Conflicts: 406000 | #Constraints: 25993
933.66/936.57 c #Conflicts: 407000 | #Constraints: 26993
933.66/936.57 c INPROCESSING
933.66/936.57 c GARBAGE COLLECT
933.66/936.57 c #Conflicts: 408000 | #Constraints: 15394
933.66/936.57 c #Conflicts: 409000 | #Constraints: 16394
933.66/936.57 c #Conflicts: 410000 | #Constraints: 17394
933.66/936.57 c #Conflicts: 411000 | #Constraints: 18394
933.66/936.57 c #Conflicts: 412000 | #Constraints: 19394
933.66/936.57 c #Conflicts: 413000 | #Constraints: 20394
933.66/936.57 c #Conflicts: 414000 | #Constraints: 21394
933.66/936.57 c #Conflicts: 415000 | #Constraints: 22394
933.66/936.57 c #Conflicts: 416000 | #Constraints: 23394
933.66/936.57 c #Conflicts: 417000 | #Constraints: 24394
933.66/936.57 c #Conflicts: 418000 | #Constraints: 25394
933.66/936.57 c #Conflicts: 419000 | #Constraints: 26394
933.66/936.57 c #Conflicts: 420000 | #Constraints: 27394
933.66/936.57 c INPROCESSING
933.66/936.57 c GARBAGE COLLECT
933.66/936.57 c #Conflicts: 421000 | #Constraints: 15609
933.66/936.57 c #Conflicts: 422000 | #Constraints: 16609
933.66/936.57 c #Conflicts: 423000 | #Constraints: 17609
933.66/936.57 c #Conflicts: 424000 | #Constraints: 18609
933.66/936.57 c #Conflicts: 425000 | #Constraints: 19609
933.66/936.57 c #Conflicts: 426000 | #Constraints: 20609
933.66/936.57 c #Conflicts: 427000 | #Constraints: 21609
933.66/936.57 c #Conflicts: 428000 | #Constraints: 22609
933.66/936.57 c #Conflicts: 429000 | #Constraints: 23609
933.66/936.57 c #Conflicts: 430000 | #Constraints: 24609
933.66/936.57 c #Conflicts: 431000 | #Constraints: 25609
933.66/936.57 c #Conflicts: 432000 | #Constraints: 26609
933.66/936.57 c #Conflicts: 433000 | #Constraints: 27609
933.66/936.57 c INPROCESSING
933.66/936.57 c GARBAGE COLLECT
933.66/936.57 c #Conflicts: 434000 | #Constraints: 15616
933.66/936.57 c #Conflicts: 435000 | #Constraints: 16616
933.66/936.57 c #Conflicts: 436000 | #Constraints: 17616
1093.16/1096.40 c #Conflicts: 437000 | #Constraints: 18616
1093.16/1096.40 c #Conflicts: 438000 | #Constraints: 19616
1093.16/1096.40 c #Conflicts: 439000 | #Constraints: 20616
1093.16/1096.40 c #Conflicts: 440000 | #Constraints: 21616
1093.16/1096.40 c #Conflicts: 441000 | #Constraints: 22616
1093.16/1096.40 c #Conflicts: 442000 | #Constraints: 23616
1093.16/1096.40 c #Conflicts: 443000 | #Constraints: 24616
1093.16/1096.40 c #Conflicts: 444000 | #Constraints: 25616
1093.16/1096.40 c #Conflicts: 445000 | #Constraints: 26616
1093.16/1096.40 c #Conflicts: 446000 | #Constraints: 27616
1093.16/1096.40 c INPROCESSING
1093.16/1096.40 c GARBAGE COLLECT
1093.16/1096.40 c #Conflicts: 447000 | #Constraints: 15414
1093.16/1096.40 c #Conflicts: 448000 | #Constraints: 16414
1093.16/1096.40 c #Conflicts: 449000 | #Constraints: 17414
1093.16/1096.40 c #Conflicts: 450000 | #Constraints: 18414
1093.16/1096.40 c #Conflicts: 451000 | #Constraints: 19414
1093.16/1096.40 c #Conflicts: 452000 | #Constraints: 20414
1093.16/1096.40 c #Conflicts: 453000 | #Constraints: 21414
1093.16/1096.40 c #Conflicts: 454000 | #Constraints: 22414
1093.16/1096.40 c #Conflicts: 455000 | #Constraints: 23414
1093.16/1096.40 c #Conflicts: 456000 | #Constraints: 24414
1093.16/1096.40 c #Conflicts: 457000 | #Constraints: 25414
1093.16/1096.40 c #Conflicts: 458000 | #Constraints: 26414
1093.16/1096.40 c #Conflicts: 459000 | #Constraints: 27414
1093.16/1096.40 c #Conflicts: 460000 | #Constraints: 28414
1093.16/1096.40 c INPROCESSING
1093.16/1096.40 c GARBAGE COLLECT
1093.16/1096.40 c #Conflicts: 461000 | #Constraints: 16024
1093.16/1096.40 c #Conflicts: 462000 | #Constraints: 17024
1093.16/1096.40 c #Conflicts: 463000 | #Constraints: 18024
1093.16/1096.40 c #Conflicts: 464000 | #Constraints: 19024
1093.16/1096.40 c #Conflicts: 465000 | #Constraints: 20024
1093.16/1096.40 c #Conflicts: 466000 | #Constraints: 21024
1093.16/1096.40 c #Conflicts: 467000 | #Constraints: 22024
1093.16/1096.40 c #Conflicts: 468000 | #Constraints: 23024
1093.16/1096.40 c #Conflicts: 469000 | #Constraints: 24024
1093.16/1096.40 c #Conflicts: 470000 | #Constraints: 25024
1093.16/1096.40 c #Conflicts: 471000 | #Constraints: 26024
1093.16/1096.40 c #Conflicts: 472000 | #Constraints: 27024
1093.16/1096.40 c #Conflicts: 473000 | #Constraints: 28024
1093.16/1096.40 c #Conflicts: 474000 | #Constraints: 29024
1093.16/1096.40 c INPROCESSING
1093.16/1096.40 c GARBAGE COLLECT
1093.16/1096.40 c #Conflicts: 475000 | #Constraints: 16414
1093.16/1096.40 c #Conflicts: 476000 | #Constraints: 17414
1093.16/1096.40 c #Conflicts: 477000 | #Constraints: 18414
1093.16/1096.40 c #Conflicts: 478000 | #Constraints: 19414
1093.16/1096.40 c #Conflicts: 479000 | #Constraints: 20414
1093.16/1096.40 c #Conflicts: 480000 | #Constraints: 21414
1093.16/1096.40 c #Conflicts: 481000 | #Constraints: 22414
1093.16/1096.40 c #Conflicts: 482000 | #Constraints: 23414
1093.16/1096.40 c #Conflicts: 483000 | #Constraints: 24414
1093.16/1096.40 c #Conflicts: 484000 | #Constraints: 25414
1093.16/1096.40 c #Conflicts: 485000 | #Constraints: 26414
1093.16/1096.40 c #Conflicts: 486000 | #Constraints: 27414
1093.16/1096.40 c #Conflicts: 487000 | #Constraints: 28414
1093.16/1096.40 c #Conflicts: 488000 | #Constraints: 29414
1093.16/1096.40 c INPROCESSING
1093.16/1096.40 c GARBAGE COLLECT
1093.16/1096.40 c #Conflicts: 489000 | #Constraints: 16626
1093.16/1096.40 c #Conflicts: 490000 | #Constraints: 17626
1093.16/1096.40 c #Conflicts: 491000 | #Constraints: 18626
1093.16/1096.40 c #Conflicts: 492000 | #Constraints: 19626
1093.16/1096.40 c #Conflicts: 493000 | #Constraints: 20626
1093.16/1096.40 c #Conflicts: 494000 | #Constraints: 21626
1093.16/1096.40 c #Conflicts: 495000 | #Constraints: 22626
1093.16/1096.40 c #Conflicts: 496000 | #Constraints: 23626
1093.16/1096.40 c #Conflicts: 497000 | #Constraints: 24626
1093.16/1096.40 c #Conflicts: 498000 | #Constraints: 25626
1093.16/1096.40 c #Conflicts: 499000 | #Constraints: 26626
1093.16/1096.40 c #Conflicts: 500000 | #Constraints: 27626
1093.16/1096.40 c #Conflicts: 501000 | #Constraints: 28626
1093.16/1096.40 c #Conflicts: 502000 | #Constraints: 29626
1093.16/1096.40 c INPROCESSING
1093.16/1096.40 c GARBAGE COLLECT
1093.16/1096.40 c #Conflicts: 503000 | #Constraints: 16620
1093.16/1096.40 c #Conflicts: 504000 | #Constraints: 17620
1093.16/1096.40 c #Conflicts: 505000 | #Constraints: 18620
1093.16/1096.40 c #Conflicts: 506000 | #Constraints: 19620
1093.16/1096.40 c #Conflicts: 507000 | #Constraints: 20620
1093.16/1096.40 c #Conflicts: 508000 | #Constraints: 21620
1093.16/1096.40 c #Conflicts: 509000 | #Constraints: 22620
1093.16/1096.40 c #Conflicts: 510000 | #Constraints: 23620
1093.16/1096.40 c #Conflicts: 511000 | #Constraints: 24620
1093.16/1096.40 c #Conflicts: 512000 | #Constraints: 25620
1210.66/1214.25 c #Conflicts: 513000 | #Constraints: 26620
1210.66/1214.25 c #Conflicts: 514000 | #Constraints: 27620
1210.66/1214.25 c #Conflicts: 515000 | #Constraints: 28620
1210.66/1214.25 c #Conflicts: 516000 | #Constraints: 29620
1210.66/1214.25 c INPROCESSING
1210.66/1214.25 c GARBAGE COLLECT
1210.66/1214.25 c #Conflicts: 517000 | #Constraints: 16394
1210.66/1214.25 c #Conflicts: 518000 | #Constraints: 17394
1210.66/1214.25 c #Conflicts: 519000 | #Constraints: 18394
1210.66/1214.25 c #Conflicts: 520000 | #Constraints: 19394
1210.66/1214.25 c #Conflicts: 521000 | #Constraints: 20394
1210.66/1214.25 c #Conflicts: 522000 | #Constraints: 21394
1210.66/1214.25 c #Conflicts: 523000 | #Constraints: 22394
1210.66/1214.25 c #Conflicts: 524000 | #Constraints: 23394
1210.66/1214.25 c #Conflicts: 525000 | #Constraints: 24394
1210.66/1214.25 c #Conflicts: 526000 | #Constraints: 25394
1210.66/1214.25 c #Conflicts: 527000 | #Constraints: 26394
1210.66/1214.25 c #Conflicts: 528000 | #Constraints: 27394
1210.66/1214.25 c #Conflicts: 529000 | #Constraints: 28394
1210.66/1214.25 c #Conflicts: 530000 | #Constraints: 29394
1210.66/1214.25 c #Conflicts: 531000 | #Constraints: 30394
1210.66/1214.25 c INPROCESSING
1210.66/1214.25 c GARBAGE COLLECT
1210.66/1214.25 c #Conflicts: 532000 | #Constraints: 17004
1210.66/1214.25 c #Conflicts: 533000 | #Constraints: 18004
1210.66/1214.25 c #Conflicts: 534000 | #Constraints: 19004
1210.66/1214.25 c #Conflicts: 535000 | #Constraints: 20004
1210.66/1214.25 c #Conflicts: 536000 | #Constraints: 21004
1210.66/1214.25 c #Conflicts: 537000 | #Constraints: 22004
1210.66/1214.25 c #Conflicts: 538000 | #Constraints: 23004
1210.66/1214.25 c #Conflicts: 539000 | #Constraints: 24004
1210.66/1214.25 c #Conflicts: 540000 | #Constraints: 25004
1210.66/1214.25 c #Conflicts: 541000 | #Constraints: 26004
1210.66/1214.25 c #Conflicts: 542000 | #Constraints: 27004
1210.66/1214.25 c #Conflicts: 543000 | #Constraints: 28004
1210.66/1214.25 c #Conflicts: 544000 | #Constraints: 29004
1210.66/1214.25 c #Conflicts: 545000 | #Constraints: 30004
1210.66/1214.25 c #Conflicts: 546000 | #Constraints: 31004
1210.66/1214.25 c INPROCESSING
1210.66/1214.25 c GARBAGE COLLECT
1210.66/1214.25 c #Conflicts: 547000 | #Constraints: 17389
1210.66/1214.25 c #Conflicts: 548000 | #Constraints: 18389
1210.66/1214.25 c #Conflicts: 549000 | #Constraints: 19389
1210.66/1214.25 c #Conflicts: 550000 | #Constraints: 20389
1210.66/1214.25 c #Conflicts: 551000 | #Constraints: 21389
1210.66/1214.25 c #Conflicts: 552000 | #Constraints: 22389
1210.66/1214.25 c #Conflicts: 553000 | #Constraints: 23389
1210.66/1214.25 c #Conflicts: 554000 | #Constraints: 24389
1210.66/1214.25 c #Conflicts: 555000 | #Constraints: 25389
1210.66/1214.25 c #Conflicts: 556000 | #Constraints: 26389
1210.66/1214.25 c #Conflicts: 557000 | #Constraints: 27389
1210.66/1214.25 c #Conflicts: 558000 | #Constraints: 28389
1210.66/1214.25 c #Conflicts: 559000 | #Constraints: 29389
1210.66/1214.25 c #Conflicts: 560000 | #Constraints: 30389
1210.66/1214.25 c #Conflicts: 561000 | #Constraints: 31389
1210.66/1214.25 c INPROCESSING
1210.66/1214.25 c GARBAGE COLLECT
1210.66/1214.25 c #Conflicts: 562000 | #Constraints: 17596
1210.66/1214.25 c #Conflicts: 563000 | #Constraints: 18596
1210.66/1214.25 c #Conflicts: 564000 | #Constraints: 19596
1210.66/1214.25 c #Conflicts: 565000 | #Constraints: 20596
1210.66/1214.25 c #Conflicts: 566000 | #Constraints: 21596
1210.66/1214.25 c #Conflicts: 567000 | #Constraints: 22596
1210.66/1214.25 c #Conflicts: 568000 | #Constraints: 23596
1210.66/1214.25 c #Conflicts: 569000 | #Constraints: 24596
1210.66/1214.25 c #Conflicts: 570000 | #Constraints: 25596
1210.66/1214.25 c #Conflicts: 571000 | #Constraints: 26596
1210.66/1214.25 c #Conflicts: 572000 | #Constraints: 27596
1210.66/1214.25 c #Conflicts: 573000 | #Constraints: 28596
1210.66/1214.25 c #Conflicts: 574000 | #Constraints: 29596
1210.66/1214.25 c #Conflicts: 575000 | #Constraints: 30596
1210.66/1214.25 c #Conflicts: 576000 | #Constraints: 31596
1210.66/1214.25 c INPROCESSING
1210.66/1214.25 c GARBAGE COLLECT
1210.66/1214.25 c #Conflicts: 577000 | #Constraints: 17599
1210.66/1214.25 c #Conflicts: 578000 | #Constraints: 18599
1210.66/1214.25 c #Conflicts: 579000 | #Constraints: 19599
1210.66/1214.25 c #Conflicts: 580000 | #Constraints: 20599
1210.66/1214.25 c #Conflicts: 581000 | #Constraints: 21599
1210.66/1214.25 c #Conflicts: 582000 | #Constraints: 22599
1210.66/1214.25 c #Conflicts: 583000 | #Constraints: 23599
1210.66/1214.25 c #Conflicts: 584000 | #Constraints: 24599
1210.66/1214.25 c #Conflicts: 585000 | #Constraints: 25599
1210.66/1214.25 c #Conflicts: 586000 | #Constraints: 26599
1210.66/1214.25 c #Conflicts: 587000 | #Constraints: 27599
1210.66/1214.25 c #Conflicts: 588000 | #Constraints: 28599
1367.34/1371.35 c #Conflicts: 589000 | #Constraints: 29599
1367.34/1371.35 c #Conflicts: 590000 | #Constraints: 30599
1367.34/1371.35 c #Conflicts: 591000 | #Constraints: 31599
1367.34/1371.35 c INPROCESSING
1367.34/1371.35 c GARBAGE COLLECT
1367.34/1371.35 c #Conflicts: 592000 | #Constraints: 17409
1367.34/1371.35 c #Conflicts: 593000 | #Constraints: 18409
1367.34/1371.35 c #Conflicts: 594000 | #Constraints: 19409
1367.34/1371.35 c #Conflicts: 595000 | #Constraints: 20409
1367.34/1371.35 c #Conflicts: 596000 | #Constraints: 21409
1367.34/1371.35 c #Conflicts: 597000 | #Constraints: 22409
1367.34/1371.35 c #Conflicts: 598000 | #Constraints: 23409
1367.34/1371.35 c #Conflicts: 599000 | #Constraints: 24409
1367.34/1371.35 c #Conflicts: 600000 | #Constraints: 25409
1367.34/1371.35 c #Conflicts: 601000 | #Constraints: 26409
1367.34/1371.35 c #Conflicts: 602000 | #Constraints: 27409
1367.34/1371.35 c #Conflicts: 603000 | #Constraints: 28409
1367.34/1371.35 c #Conflicts: 604000 | #Constraints: 29409
1367.34/1371.35 c #Conflicts: 605000 | #Constraints: 30409
1367.34/1371.35 c #Conflicts: 606000 | #Constraints: 31409
1367.34/1371.35 c #Conflicts: 607000 | #Constraints: 32409
1367.34/1371.35 c INPROCESSING
1367.34/1371.35 c GARBAGE COLLECT
1367.34/1371.35 c #Conflicts: 608000 | #Constraints: 18001
1367.34/1371.35 c #Conflicts: 609000 | #Constraints: 19001
1367.34/1371.35 c #Conflicts: 610000 | #Constraints: 20001
1367.34/1371.35 c #Conflicts: 611000 | #Constraints: 21001
1367.34/1371.35 c #Conflicts: 612000 | #Constraints: 22001
1367.34/1371.35 c #Conflicts: 613000 | #Constraints: 23001
1367.34/1371.35 c #Conflicts: 614000 | #Constraints: 24001
1367.34/1371.35 c #Conflicts: 615000 | #Constraints: 25001
1367.34/1371.35 c #Conflicts: 616000 | #Constraints: 26001
1367.34/1371.35 c #Conflicts: 617000 | #Constraints: 27001
1367.34/1371.35 c #Conflicts: 618000 | #Constraints: 28001
1367.34/1371.35 c #Conflicts: 619000 | #Constraints: 29001
1367.34/1371.35 c #Conflicts: 620000 | #Constraints: 30001
1367.34/1371.35 c #Conflicts: 621000 | #Constraints: 31001
1367.34/1371.35 c #Conflicts: 622000 | #Constraints: 32001
1367.34/1371.35 c #Conflicts: 623000 | #Constraints: 33001
1367.34/1371.35 c INPROCESSING
1367.34/1371.35 c GARBAGE COLLECT
1367.34/1371.35 c #Conflicts: 624000 | #Constraints: 18399
1367.34/1371.35 c #Conflicts: 625000 | #Constraints: 19399
1367.34/1371.35 c #Conflicts: 626000 | #Constraints: 20399
1367.34/1371.35 c #Conflicts: 627000 | #Constraints: 21399
1367.34/1371.35 c #Conflicts: 628000 | #Constraints: 22399
1367.34/1371.35 c #Conflicts: 629000 | #Constraints: 23399
1367.34/1371.35 c #Conflicts: 630000 | #Constraints: 24399
1367.34/1371.35 c #Conflicts: 631000 | #Constraints: 25399
1367.34/1371.35 c #Conflicts: 632000 | #Constraints: 26399
1367.34/1371.35 c #Conflicts: 633000 | #Constraints: 27399
1367.34/1371.35 c #Conflicts: 634000 | #Constraints: 28399
1367.34/1371.35 c #Conflicts: 635000 | #Constraints: 29399
1367.34/1371.35 c #Conflicts: 636000 | #Constraints: 30399
1367.34/1371.35 c #Conflicts: 637000 | #Constraints: 31399
1367.34/1371.35 c #Conflicts: 638000 | #Constraints: 32399
1367.34/1371.35 c #Conflicts: 639000 | #Constraints: 33399
1367.34/1371.35 c INPROCESSING
1367.34/1371.35 c GARBAGE COLLECT
1367.34/1371.35 c #Conflicts: 640000 | #Constraints: 18611
1367.34/1371.35 c #Conflicts: 641000 | #Constraints: 19611
1367.34/1371.35 c #Conflicts: 642000 | #Constraints: 20611
1367.34/1371.35 c #Conflicts: 643000 | #Constraints: 21611
1367.34/1371.35 c #Conflicts: 644000 | #Constraints: 22611
1367.34/1371.35 c #Conflicts: 645000 | #Constraints: 23611
1367.34/1371.35 c #Conflicts: 646000 | #Constraints: 24611
1367.34/1371.35 c #Conflicts: 647000 | #Constraints: 25611
1367.34/1371.35 c #Conflicts: 648000 | #Constraints: 26611
1367.34/1371.35 c #Conflicts: 649000 | #Constraints: 27611
1367.34/1371.35 c #Conflicts: 650000 | #Constraints: 28611
1367.34/1371.35 c #Conflicts: 651000 | #Constraints: 29611
1367.34/1371.35 c #Conflicts: 652000 | #Constraints: 30611
1367.34/1371.35 c #Conflicts: 653000 | #Constraints: 31611
1367.34/1371.35 c #Conflicts: 654000 | #Constraints: 32611
1367.34/1371.35 c #Conflicts: 655000 | #Constraints: 33611
1367.34/1371.35 c INPROCESSING
1367.34/1371.35 c GARBAGE COLLECT
1367.34/1371.35 c #Conflicts: 656000 | #Constraints: 18610
1367.34/1371.35 c #Conflicts: 657000 | #Constraints: 19610
1367.34/1371.35 c #Conflicts: 658000 | #Constraints: 20610
1367.34/1371.35 c #Conflicts: 659000 | #Constraints: 21610
1367.34/1371.35 c #Conflicts: 660000 | #Constraints: 22610
1367.34/1371.35 c #Conflicts: 661000 | #Constraints: 23610
1367.34/1371.35 c #Conflicts: 662000 | #Constraints: 24610
1367.34/1371.35 c #Conflicts: 663000 | #Constraints: 25610
1656.44/1661.24 c #Conflicts: 664000 | #Constraints: 26610
1656.44/1661.24 c #Conflicts: 665000 | #Constraints: 27610
1656.44/1661.24 c #Conflicts: 666000 | #Constraints: 28610
1656.44/1661.24 c #Conflicts: 667000 | #Constraints: 29610
1656.44/1661.24 c #Conflicts: 668000 | #Constraints: 30610
1656.44/1661.24 c #Conflicts: 669000 | #Constraints: 31610
1656.44/1661.24 c #Conflicts: 670000 | #Constraints: 32610
1656.44/1661.24 c #Conflicts: 671000 | #Constraints: 33610
1656.44/1661.24 c INPROCESSING
1656.44/1661.24 c GARBAGE COLLECT
1656.44/1661.24 c #Conflicts: 672000 | #Constraints: 18390
1656.44/1661.24 c #Conflicts: 673000 | #Constraints: 19390
1656.44/1661.24 c #Conflicts: 674000 | #Constraints: 20390
1656.44/1661.24 c #Conflicts: 675000 | #Constraints: 21390
1656.44/1661.24 c #Conflicts: 676000 | #Constraints: 22390
1656.44/1661.24 c #Conflicts: 677000 | #Constraints: 23390
1656.44/1661.24 c #Conflicts: 678000 | #Constraints: 24390
1656.44/1661.24 c #Conflicts: 679000 | #Constraints: 25390
1656.44/1661.24 c #Conflicts: 680000 | #Constraints: 26390
1656.44/1661.24 c #Conflicts: 681000 | #Constraints: 27390
1656.44/1661.24 c #Conflicts: 682000 | #Constraints: 28390
1656.44/1661.24 c #Conflicts: 683000 | #Constraints: 29390
1656.44/1661.24 c #Conflicts: 684000 | #Constraints: 30390
1656.44/1661.24 c #Conflicts: 685000 | #Constraints: 31390
1656.44/1661.24 c #Conflicts: 686000 | #Constraints: 32390
1656.44/1661.24 c #Conflicts: 687000 | #Constraints: 33390
1656.44/1661.24 c #Conflicts: 688000 | #Constraints: 34390
1656.44/1661.24 c INPROCESSING
1656.44/1661.24 c GARBAGE COLLECT
1656.44/1661.24 c #Conflicts: 689000 | #Constraints: 18991
1656.44/1661.24 c #Conflicts: 690000 | #Constraints: 19991
1656.44/1661.24 c #Conflicts: 691000 | #Constraints: 20991
1656.44/1661.24 c #Conflicts: 692000 | #Constraints: 21991
1656.44/1661.24 c #Conflicts: 693000 | #Constraints: 22991
1656.44/1661.24 c #Conflicts: 694000 | #Constraints: 23991
1656.44/1661.24 c #Conflicts: 695000 | #Constraints: 24991
1656.44/1661.24 c #Conflicts: 696000 | #Constraints: 25991
1656.44/1661.24 c #Conflicts: 697000 | #Constraints: 26991
1656.44/1661.24 c #Conflicts: 698000 | #Constraints: 27991
1656.44/1661.24 c #Conflicts: 699000 | #Constraints: 28991
1656.44/1661.24 c #Conflicts: 700000 | #Constraints: 29991
1656.44/1661.24 c #Conflicts: 701000 | #Constraints: 30991
1656.44/1661.24 c #Conflicts: 702000 | #Constraints: 31991
1656.44/1661.24 c #Conflicts: 703000 | #Constraints: 32991
1656.44/1661.24 c #Conflicts: 704000 | #Constraints: 33991
1656.44/1661.24 c #Conflicts: 705000 | #Constraints: 34991
1656.44/1661.24 c INPROCESSING
1656.44/1661.24 c GARBAGE COLLECT
1656.44/1661.24 c #Conflicts: 706000 | #Constraints: 19424
1656.44/1661.24 c #Conflicts: 707000 | #Constraints: 20424
1656.44/1661.24 c #Conflicts: 708000 | #Constraints: 21424
1656.44/1661.24 c #Conflicts: 709000 | #Constraints: 22424
1656.44/1661.24 c #Conflicts: 710000 | #Constraints: 23424
1656.44/1661.24 c #Conflicts: 711000 | #Constraints: 24424
1656.44/1661.24 c #Conflicts: 712000 | #Constraints: 25424
1656.44/1661.24 c #Conflicts: 713000 | #Constraints: 26424
1656.44/1661.24 c #Conflicts: 714000 | #Constraints: 27424
1656.44/1661.24 c #Conflicts: 715000 | #Constraints: 28424
1656.44/1661.24 c #Conflicts: 716000 | #Constraints: 29424
1656.44/1661.24 c #Conflicts: 717000 | #Constraints: 30424
1656.44/1661.24 c #Conflicts: 718000 | #Constraints: 31424
1656.44/1661.24 c #Conflicts: 719000 | #Constraints: 32424
1656.44/1661.24 c #Conflicts: 720000 | #Constraints: 33424
1656.44/1661.24 c #Conflicts: 721000 | #Constraints: 34424
1656.44/1661.24 c #Conflicts: 722000 | #Constraints: 35424
1656.44/1661.24 c INPROCESSING
1656.44/1661.24 c GARBAGE COLLECT
1656.44/1661.24 c #Conflicts: 723000 | #Constraints: 19628
1656.44/1661.24 c #Conflicts: 724000 | #Constraints: 20628
1656.44/1661.24 c #Conflicts: 725000 | #Constraints: 21628
1656.44/1661.24 c #Conflicts: 726000 | #Constraints: 22628
1656.44/1661.24 c #Conflicts: 727000 | #Constraints: 23628
1656.44/1661.24 c #Conflicts: 728000 | #Constraints: 24628
1656.44/1661.24 c #Conflicts: 729000 | #Constraints: 25628
1656.44/1661.24 c #Conflicts: 730000 | #Constraints: 26628
1656.44/1661.24 c #Conflicts: 731000 | #Constraints: 27628
1656.44/1661.24 c #Conflicts: 732000 | #Constraints: 28628
1656.44/1661.24 c #Conflicts: 733000 | #Constraints: 29628
1656.44/1661.24 c #Conflicts: 734000 | #Constraints: 30628
1656.44/1661.24 c #Conflicts: 735000 | #Constraints: 31628
1656.44/1661.24 c #Conflicts: 736000 | #Constraints: 32628
1656.44/1661.24 c #Conflicts: 737000 | #Constraints: 33628
1656.44/1661.24 c #Conflicts: 738000 | #Constraints: 34628
1656.44/1661.24 c #Conflicts: 739000 | #Constraints: 35628
1811.79/1816.99 c INPROCESSING
1811.79/1816.99 c GARBAGE COLLECT
1811.79/1816.99 c #Conflicts: 740000 | #Constraints: 19624
1811.79/1816.99 c #Conflicts: 741000 | #Constraints: 20624
1811.79/1816.99 c #Conflicts: 742000 | #Constraints: 21624
1811.79/1816.99 c #Conflicts: 743000 | #Constraints: 22624
1811.79/1816.99 c #Conflicts: 744000 | #Constraints: 23624
1811.79/1816.99 c #Conflicts: 745000 | #Constraints: 24624
1811.79/1816.99 c #Conflicts: 746000 | #Constraints: 25624
1811.79/1816.99 c #Conflicts: 747000 | #Constraints: 26624
1811.79/1816.99 c #Conflicts: 748000 | #Constraints: 27624
1811.79/1816.99 c #Conflicts: 749000 | #Constraints: 28624
1811.79/1816.99 c #Conflicts: 750000 | #Constraints: 29624
1811.79/1816.99 c #Conflicts: 751000 | #Constraints: 30624
1811.79/1816.99 c #Conflicts: 752000 | #Constraints: 31624
1811.79/1816.99 c #Conflicts: 753000 | #Constraints: 32624
1811.79/1816.99 c #Conflicts: 754000 | #Constraints: 33624
1811.79/1816.99 c #Conflicts: 755000 | #Constraints: 34624
1811.79/1816.99 c #Conflicts: 756000 | #Constraints: 35624
1811.79/1816.99 c INPROCESSING
1811.79/1816.99 c GARBAGE COLLECT
1811.79/1816.99 c #Conflicts: 757000 | #Constraints: 19416
1811.79/1816.99 c #Conflicts: 758000 | #Constraints: 20416
1811.79/1816.99 c #Conflicts: 759000 | #Constraints: 21416
1811.79/1816.99 c #Conflicts: 760000 | #Constraints: 22416
1811.79/1816.99 c #Conflicts: 761000 | #Constraints: 23416
1811.79/1816.99 c #Conflicts: 762000 | #Constraints: 24416
1811.79/1816.99 c #Conflicts: 763000 | #Constraints: 25416
1811.79/1816.99 c #Conflicts: 764000 | #Constraints: 26416
1811.79/1816.99 c #Conflicts: 765000 | #Constraints: 27416
1811.79/1816.99 c #Conflicts: 766000 | #Constraints: 28416
1811.79/1816.99 c #Conflicts: 767000 | #Constraints: 29416
1811.79/1816.99 c #Conflicts: 768000 | #Constraints: 30416
1811.79/1816.99 c #Conflicts: 769000 | #Constraints: 31416
1811.79/1816.99 c #Conflicts: 770000 | #Constraints: 32416
1811.79/1816.99 c #Conflicts: 771000 | #Constraints: 33416
1811.79/1816.99 c #Conflicts: 772000 | #Constraints: 34416
1811.79/1816.99 c #Conflicts: 773000 | #Constraints: 35416
1811.79/1816.99 c #Conflicts: 774000 | #Constraints: 36416
1811.79/1816.99 c INPROCESSING
1811.79/1816.99 c GARBAGE COLLECT
1811.79/1816.99 c #Conflicts: 775000 | #Constraints: 19990
1811.79/1816.99 c #Conflicts: 776000 | #Constraints: 20990
1811.79/1816.99 c #Conflicts: 777000 | #Constraints: 21990
1811.79/1816.99 c #Conflicts: 778000 | #Constraints: 22990
1811.79/1816.99 c #Conflicts: 779000 | #Constraints: 23990
1811.79/1816.99 c #Conflicts: 780000 | #Constraints: 24990
1811.79/1816.99 c #Conflicts: 781000 | #Constraints: 25990
1811.79/1816.99 c #Conflicts: 782000 | #Constraints: 26990
1811.79/1816.99 c #Conflicts: 783000 | #Constraints: 27990
1811.79/1816.99 c #Conflicts: 784000 | #Constraints: 28990
1811.79/1816.99 c #Conflicts: 785000 | #Constraints: 29990
1811.79/1816.99 c #Conflicts: 786000 | #Constraints: 30990
1811.79/1816.99 c #Conflicts: 787000 | #Constraints: 31990
1811.79/1816.99 c #Conflicts: 788000 | #Constraints: 32990
1811.79/1816.99 c #Conflicts: 789000 | #Constraints: 33990
1811.79/1816.99 c #Conflicts: 790000 | #Constraints: 34990
1811.79/1816.99 c #Conflicts: 791000 | #Constraints: 35990
1811.79/1816.99 c #Conflicts: 792000 | #Constraints: 36990
1811.79/1816.99 c INPROCESSING
1811.79/1816.99 c GARBAGE COLLECT
1811.79/1816.99 c #Conflicts: 793000 | #Constraints: 20389
1811.79/1816.99 c #Conflicts: 794000 | #Constraints: 21389
1811.79/1816.99 c #Conflicts: 795000 | #Constraints: 22389
1811.79/1816.99 c #Conflicts: 796000 | #Constraints: 23389
1811.79/1816.99 c #Conflicts: 797000 | #Constraints: 24389
1811.79/1816.99 c #Conflicts: 798000 | #Constraints: 25389
1811.79/1816.99 c #Conflicts: 799000 | #Constraints: 26389
1811.79/1816.99 c #Conflicts: 800000 | #Constraints: 27389
1811.79/1816.99 c #Conflicts: 801000 | #Constraints: 28389
1811.79/1816.99 c #Conflicts: 802000 | #Constraints: 29389
1811.79/1816.99 c #Conflicts: 803000 | #Constraints: 30389
1811.79/1816.99 c #Conflicts: 804000 | #Constraints: 31389
1811.79/1816.99 c #Conflicts: 805000 | #Constraints: 32389
1811.79/1816.99 c #Conflicts: 806000 | #Constraints: 33389
1811.79/1816.99 c #Conflicts: 807000 | #Constraints: 34389
1811.79/1816.99 c #Conflicts: 808000 | #Constraints: 35389
1811.79/1816.99 c #Conflicts: 809000 | #Constraints: 36389
1811.79/1816.99 c #Conflicts: 810000 | #Constraints: 37389
1811.79/1816.99 c INPROCESSING
1811.79/1816.99 c GARBAGE COLLECT
1811.79/1816.99 c #Conflicts: 811000 | #Constraints: 20608
1811.79/1816.99 c #Conflicts: 812000 | #Constraints: 21608
1811.79/1816.99 c #Conflicts: 813000 | #Constraints: 22608
1811.79/1816.99 c #Conflicts: 814000 | #Constraints: 23608
1811.79/1816.99 c #Conflicts: 815000 | #Constraints: 24608
2018.12/2023.71 c #Conflicts: 816000 | #Constraints: 25608
2018.12/2023.71 c #Conflicts: 817000 | #Constraints: 26608
2018.12/2023.71 c #Conflicts: 818000 | #Constraints: 27608
2018.12/2023.71 c #Conflicts: 819000 | #Constraints: 28608
2018.12/2023.71 c #Conflicts: 820000 | #Constraints: 29608
2018.12/2023.71 c #Conflicts: 821000 | #Constraints: 30608
2018.12/2023.71 c #Conflicts: 822000 | #Constraints: 31608
2018.12/2023.71 c #Conflicts: 823000 | #Constraints: 32608
2018.12/2023.71 c #Conflicts: 824000 | #Constraints: 33608
2018.12/2023.71 c #Conflicts: 825000 | #Constraints: 34608
2018.12/2023.71 c #Conflicts: 826000 | #Constraints: 35608
2018.12/2023.71 c #Conflicts: 827000 | #Constraints: 36608
2018.12/2023.71 c #Conflicts: 828000 | #Constraints: 37608
2018.12/2023.71 c INPROCESSING
2018.12/2023.71 c GARBAGE COLLECT
2018.12/2023.71 c #Conflicts: 829000 | #Constraints: 20622
2018.12/2023.71 c #Conflicts: 830000 | #Constraints: 21622
2018.12/2023.71 c #Conflicts: 831000 | #Constraints: 22622
2018.12/2023.71 c #Conflicts: 832000 | #Constraints: 23622
2018.12/2023.71 c #Conflicts: 833000 | #Constraints: 24622
2018.12/2023.71 c #Conflicts: 834000 | #Constraints: 25622
2018.12/2023.71 c #Conflicts: 835000 | #Constraints: 26622
2018.12/2023.71 c #Conflicts: 836000 | #Constraints: 27622
2018.12/2023.71 c #Conflicts: 837000 | #Constraints: 28622
2018.12/2023.71 c #Conflicts: 838000 | #Constraints: 29622
2018.12/2023.71 c #Conflicts: 839000 | #Constraints: 30622
2018.12/2023.71 c #Conflicts: 840000 | #Constraints: 31622
2018.12/2023.71 c #Conflicts: 841000 | #Constraints: 32622
2018.12/2023.71 c #Conflicts: 842000 | #Constraints: 33622
2018.12/2023.71 c #Conflicts: 843000 | #Constraints: 34622
2018.12/2023.71 c #Conflicts: 844000 | #Constraints: 35622
2018.12/2023.71 c #Conflicts: 845000 | #Constraints: 36622
2018.12/2023.71 c #Conflicts: 846000 | #Constraints: 37622
2018.12/2023.71 c INPROCESSING
2018.12/2023.71 c GARBAGE COLLECT
2018.12/2023.71 c #Conflicts: 847000 | #Constraints: 20432
2018.12/2023.71 c #Conflicts: 848000 | #Constraints: 21432
2018.12/2023.71 c #Conflicts: 849000 | #Constraints: 22432
2018.12/2023.71 c #Conflicts: 850000 | #Constraints: 23432
2018.12/2023.71 c #Conflicts: 851000 | #Constraints: 24432
2018.12/2023.71 c #Conflicts: 852000 | #Constraints: 25432
2018.12/2023.71 c #Conflicts: 853000 | #Constraints: 26432
2018.12/2023.71 c #Conflicts: 854000 | #Constraints: 27432
2018.12/2023.71 c #Conflicts: 855000 | #Constraints: 28432
2018.12/2023.71 c #Conflicts: 856000 | #Constraints: 29432
2018.12/2023.71 c #Conflicts: 857000 | #Constraints: 30432
2018.12/2023.71 c #Conflicts: 858000 | #Constraints: 31432
2018.12/2023.71 c #Conflicts: 859000 | #Constraints: 32432
2018.12/2023.71 c #Conflicts: 860000 | #Constraints: 33432
2018.12/2023.71 c #Conflicts: 861000 | #Constraints: 34432
2018.12/2023.71 c #Conflicts: 862000 | #Constraints: 35432
2018.12/2023.71 c #Conflicts: 863000 | #Constraints: 36432
2018.12/2023.71 c #Conflicts: 864000 | #Constraints: 37432
2018.12/2023.71 c #Conflicts: 865000 | #Constraints: 38432
2018.12/2023.71 c INPROCESSING
2018.12/2023.71 c GARBAGE COLLECT
2018.12/2023.71 c #Conflicts: 866000 | #Constraints: 21031
2018.12/2023.71 c #Conflicts: 867000 | #Constraints: 22031
2018.12/2023.71 c #Conflicts: 868000 | #Constraints: 23031
2018.12/2023.71 c #Conflicts: 869000 | #Constraints: 24031
2018.12/2023.71 c #Conflicts: 870000 | #Constraints: 25031
2018.12/2023.71 c #Conflicts: 871000 | #Constraints: 26031
2018.12/2023.71 c #Conflicts: 872000 | #Constraints: 27031
2018.12/2023.71 c #Conflicts: 873000 | #Constraints: 28031
2018.12/2023.71 c #Conflicts: 874000 | #Constraints: 29031
2018.12/2023.71 c #Conflicts: 875000 | #Constraints: 30031
2018.12/2023.71 c #Conflicts: 876000 | #Constraints: 31031
2018.12/2023.71 c #Conflicts: 877000 | #Constraints: 32031
2018.12/2023.71 c #Conflicts: 878000 | #Constraints: 33031
2018.12/2023.71 c #Conflicts: 879000 | #Constraints: 34031
2018.12/2023.71 c #Conflicts: 880000 | #Constraints: 35031
2018.12/2023.71 c #Conflicts: 881000 | #Constraints: 36031
2018.12/2023.71 c #Conflicts: 882000 | #Constraints: 37031
2018.12/2023.71 c #Conflicts: 883000 | #Constraints: 38031
2018.12/2023.71 c #Conflicts: 884000 | #Constraints: 39031
2018.12/2023.71 c INPROCESSING
2018.12/2023.71 c GARBAGE COLLECT
2018.12/2023.71 c #Conflicts: 885000 | #Constraints: 21443
2018.12/2023.71 c #Conflicts: 886000 | #Constraints: 22443
2018.12/2023.71 c #Conflicts: 887000 | #Constraints: 23443
2018.12/2023.71 c #Conflicts: 888000 | #Constraints: 24443
2018.12/2023.71 c #Conflicts: 889000 | #Constraints: 25443
2018.12/2023.71 c #Conflicts: 890000 | #Constraints: 26443
2018.12/2023.71 c #Conflicts: 891000 | #Constraints: 27443
2193.42/2199.41 c #Conflicts: 892000 | #Constraints: 28443
2193.42/2199.41 c #Conflicts: 893000 | #Constraints: 29443
2193.42/2199.41 c #Conflicts: 894000 | #Constraints: 30443
2193.42/2199.41 c #Conflicts: 895000 | #Constraints: 31443
2193.42/2199.41 c #Conflicts: 896000 | #Constraints: 32443
2193.42/2199.41 c #Conflicts: 897000 | #Constraints: 33443
2193.42/2199.41 c #Conflicts: 898000 | #Constraints: 34443
2193.42/2199.41 c #Conflicts: 899000 | #Constraints: 35443
2193.42/2199.41 c #Conflicts: 900000 | #Constraints: 36443
2193.42/2199.41 c #Conflicts: 901000 | #Constraints: 37443
2193.42/2199.41 c #Conflicts: 902000 | #Constraints: 38443
2193.42/2199.41 c #Conflicts: 903000 | #Constraints: 39443
2193.42/2199.41 c INPROCESSING
2193.42/2199.41 c GARBAGE COLLECT
2193.42/2199.41 c #Conflicts: 904000 | #Constraints: 21639
2193.42/2199.41 c #Conflicts: 905000 | #Constraints: 22639
2193.42/2199.41 c #Conflicts: 906000 | #Constraints: 23639
2193.42/2199.41 c #Conflicts: 907000 | #Constraints: 24639
2193.42/2199.41 c #Conflicts: 908000 | #Constraints: 25639
2193.42/2199.41 c #Conflicts: 909000 | #Constraints: 26639
2193.42/2199.41 c #Conflicts: 910000 | #Constraints: 27639
2193.42/2199.41 c #Conflicts: 911000 | #Constraints: 28639
2193.42/2199.41 c #Conflicts: 912000 | #Constraints: 29639
2193.42/2199.41 c #Conflicts: 913000 | #Constraints: 30639
2193.42/2199.41 c #Conflicts: 914000 | #Constraints: 31639
2193.42/2199.41 c #Conflicts: 915000 | #Constraints: 32639
2193.42/2199.41 c #Conflicts: 916000 | #Constraints: 33639
2193.42/2199.41 c #Conflicts: 917000 | #Constraints: 34639
2193.42/2199.41 c #Conflicts: 918000 | #Constraints: 35639
2193.42/2199.41 c #Conflicts: 919000 | #Constraints: 36639
2193.42/2199.41 c #Conflicts: 920000 | #Constraints: 37639
2193.42/2199.41 c #Conflicts: 921000 | #Constraints: 38639
2193.42/2199.41 c #Conflicts: 922000 | #Constraints: 39639
2193.42/2199.41 c INPROCESSING
2193.42/2199.41 c GARBAGE COLLECT
2193.42/2199.41 c #Conflicts: 923000 | #Constraints: 21622
2193.42/2199.41 c #Conflicts: 924000 | #Constraints: 22622
2193.42/2199.41 c #Conflicts: 925000 | #Constraints: 23622
2193.42/2199.41 c #Conflicts: 926000 | #Constraints: 24622
2193.42/2199.41 c #Conflicts: 927000 | #Constraints: 25622
2193.42/2199.41 c #Conflicts: 928000 | #Constraints: 26622
2193.42/2199.41 c #Conflicts: 929000 | #Constraints: 27622
2193.42/2199.41 c #Conflicts: 930000 | #Constraints: 28622
2193.42/2199.41 c #Conflicts: 931000 | #Constraints: 29622
2193.42/2199.41 c #Conflicts: 932000 | #Constraints: 30622
2193.42/2199.41 c #Conflicts: 933000 | #Constraints: 31622
2193.42/2199.41 c #Conflicts: 934000 | #Constraints: 32622
2193.42/2199.41 c #Conflicts: 935000 | #Constraints: 33622
2193.42/2199.41 c #Conflicts: 936000 | #Constraints: 34622
2193.42/2199.41 c #Conflicts: 937000 | #Constraints: 35622
2193.42/2199.41 c #Conflicts: 938000 | #Constraints: 36622
2193.42/2199.41 c #Conflicts: 939000 | #Constraints: 37622
2193.42/2199.41 c #Conflicts: 940000 | #Constraints: 38622
2193.42/2199.41 c #Conflicts: 941000 | #Constraints: 39622
2193.42/2199.41 c INPROCESSING
2193.42/2199.41 c GARBAGE COLLECT
2193.42/2199.41 c #Conflicts: 942000 | #Constraints: 21429
2193.42/2199.41 c #Conflicts: 943000 | #Constraints: 22429
2193.42/2199.41 c #Conflicts: 944000 | #Constraints: 23429
2193.42/2199.41 c #Conflicts: 945000 | #Constraints: 24429
2193.42/2199.41 c #Conflicts: 946000 | #Constraints: 25429
2193.42/2199.41 c #Conflicts: 947000 | #Constraints: 26429
2193.42/2199.41 c #Conflicts: 948000 | #Constraints: 27429
2193.42/2199.41 c #Conflicts: 949000 | #Constraints: 28429
2193.42/2199.41 c #Conflicts: 950000 | #Constraints: 29429
2193.42/2199.41 c #Conflicts: 951000 | #Constraints: 30429
2193.42/2199.41 c #Conflicts: 952000 | #Constraints: 31429
2193.42/2199.41 c #Conflicts: 953000 | #Constraints: 32429
2193.42/2199.41 c #Conflicts: 954000 | #Constraints: 33429
2193.42/2199.41 c #Conflicts: 955000 | #Constraints: 34429
2193.42/2199.41 c #Conflicts: 956000 | #Constraints: 35429
2193.42/2199.41 c #Conflicts: 957000 | #Constraints: 36429
2193.42/2199.41 c #Conflicts: 958000 | #Constraints: 37429
2193.42/2199.41 c #Conflicts: 959000 | #Constraints: 38429
2193.42/2199.41 c #Conflicts: 960000 | #Constraints: 39429
2193.42/2199.41 c #Conflicts: 961000 | #Constraints: 40429
2193.42/2199.41 c INPROCESSING
2193.42/2199.41 c GARBAGE COLLECT
2193.42/2199.41 c #Conflicts: 962000 | #Constraints: 22041
2193.42/2199.41 c #Conflicts: 963000 | #Constraints: 23041
2193.42/2199.41 c #Conflicts: 964000 | #Constraints: 24041
2193.42/2199.41 c #Conflicts: 965000 | #Constraints: 25041
2193.42/2199.41 c #Conflicts: 966000 | #Constraints: 26041
2193.42/2199.41 c #Conflicts: 967000 | #Constraints: 27041
2487.83/2494.55 c #Conflicts: 968000 | #Constraints: 28041
2487.83/2494.55 c #Conflicts: 969000 | #Constraints: 29041
2487.83/2494.55 c #Conflicts: 970000 | #Constraints: 30041
2487.83/2494.55 c #Conflicts: 971000 | #Constraints: 31041
2487.83/2494.55 c #Conflicts: 972000 | #Constraints: 32041
2487.83/2494.55 c #Conflicts: 973000 | #Constraints: 33041
2487.83/2494.55 c #Conflicts: 974000 | #Constraints: 34041
2487.83/2494.55 c #Conflicts: 975000 | #Constraints: 35041
2487.83/2494.55 c #Conflicts: 976000 | #Constraints: 36041
2487.83/2494.55 c #Conflicts: 977000 | #Constraints: 37041
2487.83/2494.55 c #Conflicts: 978000 | #Constraints: 38041
2487.83/2494.55 c #Conflicts: 979000 | #Constraints: 39041
2487.83/2494.55 c #Conflicts: 980000 | #Constraints: 40041
2487.83/2494.55 c #Conflicts: 981000 | #Constraints: 41041
2487.83/2494.55 c INPROCESSING
2487.83/2494.55 c GARBAGE COLLECT
2487.83/2494.55 c #Conflicts: 982000 | #Constraints: 22411
2487.83/2494.55 c #Conflicts: 983000 | #Constraints: 23411
2487.83/2494.55 c #Conflicts: 984000 | #Constraints: 24411
2487.83/2494.55 c #Conflicts: 985000 | #Constraints: 25411
2487.83/2494.55 c #Conflicts: 986000 | #Constraints: 26411
2487.83/2494.55 c #Conflicts: 987000 | #Constraints: 27411
2487.83/2494.55 c #Conflicts: 988000 | #Constraints: 28411
2487.83/2494.55 c #Conflicts: 989000 | #Constraints: 29411
2487.83/2494.55 c #Conflicts: 990000 | #Constraints: 30411
2487.83/2494.55 c #Conflicts: 991000 | #Constraints: 31411
2487.83/2494.55 c #Conflicts: 992000 | #Constraints: 32411
2487.83/2494.55 c #Conflicts: 993000 | #Constraints: 33411
2487.83/2494.55 c #Conflicts: 994000 | #Constraints: 34411
2487.83/2494.55 c #Conflicts: 995000 | #Constraints: 35411
2487.83/2494.55 c #Conflicts: 996000 | #Constraints: 36411
2487.83/2494.55 c #Conflicts: 997000 | #Constraints: 37411
2487.83/2494.55 c #Conflicts: 998000 | #Constraints: 38411
2487.83/2494.55 c #Conflicts: 999000 | #Constraints: 39411
2487.83/2494.55 c #Conflicts: 1000000 | #Constraints: 40411
2487.83/2494.55 c #Conflicts: 1001000 | #Constraints: 41411
2487.83/2494.55 c INPROCESSING
2487.83/2494.55 c GARBAGE COLLECT
2487.83/2494.55 c #Conflicts: 1002000 | #Constraints: 22623
2487.83/2494.55 c #Conflicts: 1003000 | #Constraints: 23623
2487.83/2494.55 c #Conflicts: 1004000 | #Constraints: 24623
2487.83/2494.55 c #Conflicts: 1005000 | #Constraints: 25623
2487.83/2494.55 c #Conflicts: 1006000 | #Constraints: 26623
2487.83/2494.55 c #Conflicts: 1007000 | #Constraints: 27623
2487.83/2494.55 c #Conflicts: 1008000 | #Constraints: 28623
2487.83/2494.55 c #Conflicts: 1009000 | #Constraints: 29623
2487.83/2494.55 c #Conflicts: 1010000 | #Constraints: 30623
2487.83/2494.55 c #Conflicts: 1011000 | #Constraints: 31623
2487.83/2494.55 c #Conflicts: 1012000 | #Constraints: 32623
2487.83/2494.55 c #Conflicts: 1013000 | #Constraints: 33623
2487.83/2494.55 c #Conflicts: 1014000 | #Constraints: 34623
2487.83/2494.55 c #Conflicts: 1015000 | #Constraints: 35623
2487.83/2494.55 c #Conflicts: 1016000 | #Constraints: 36623
2487.83/2494.55 c #Conflicts: 1017000 | #Constraints: 37623
2487.83/2494.55 c #Conflicts: 1018000 | #Constraints: 38623
2487.83/2494.55 c #Conflicts: 1019000 | #Constraints: 39623
2487.83/2494.55 c #Conflicts: 1020000 | #Constraints: 40623
2487.83/2494.55 c #Conflicts: 1021000 | #Constraints: 41623
2487.83/2494.55 c INPROCESSING
2487.83/2494.55 c GARBAGE COLLECT
2487.83/2494.55 c #Conflicts: 1022000 | #Constraints: 22627
2487.83/2494.55 c #Conflicts: 1023000 | #Constraints: 23627
2487.83/2494.55 c #Conflicts: 1024000 | #Constraints: 24627
2487.83/2494.55 c #Conflicts: 1025000 | #Constraints: 25627
2487.83/2494.55 c #Conflicts: 1026000 | #Constraints: 26627
2487.83/2494.55 c #Conflicts: 1027000 | #Constraints: 27627
2487.83/2494.55 c #Conflicts: 1028000 | #Constraints: 28627
2487.83/2494.55 c #Conflicts: 1029000 | #Constraints: 29627
2487.83/2494.55 c #Conflicts: 1030000 | #Constraints: 30627
2487.83/2494.55 c #Conflicts: 1031000 | #Constraints: 31627
2487.83/2494.55 c #Conflicts: 1032000 | #Constraints: 32627
2487.83/2494.55 c #Conflicts: 1033000 | #Constraints: 33627
2487.83/2494.55 c #Conflicts: 1034000 | #Constraints: 34627
2487.83/2494.55 c #Conflicts: 1035000 | #Constraints: 35627
2487.83/2494.55 c #Conflicts: 1036000 | #Constraints: 36627
2487.83/2494.55 c #Conflicts: 1037000 | #Constraints: 37627
2487.83/2494.55 c #Conflicts: 1038000 | #Constraints: 38627
2487.83/2494.55 c #Conflicts: 1039000 | #Constraints: 39627
2487.83/2494.55 c #Conflicts: 1040000 | #Constraints: 40627
2487.83/2494.55 c #Conflicts: 1041000 | #Constraints: 41627
2487.83/2494.55 c INPROCESSING
2487.83/2494.55 c GARBAGE COLLECT
2487.83/2494.55 c #Conflicts: 1042000 | #Constraints: 22429
2487.83/2494.55 c #Conflicts: 1043000 | #Constraints: 23429
2487.83/2494.55 c #Conflicts: 1044000 | #Constraints: 24429
2820.24/2827.77 c #Conflicts: 1045000 | #Constraints: 25429
2820.24/2827.77 c #Conflicts: 1046000 | #Constraints: 26429
2820.24/2827.77 c #Conflicts: 1047000 | #Constraints: 27429
2820.24/2827.77 c #Conflicts: 1048000 | #Constraints: 28429
2820.24/2827.77 c #Conflicts: 1049000 | #Constraints: 29429
2820.24/2827.77 c #Conflicts: 1050000 | #Constraints: 30429
2820.24/2827.77 c #Conflicts: 1051000 | #Constraints: 31429
2820.24/2827.77 c #Conflicts: 1052000 | #Constraints: 32429
2820.24/2827.77 c #Conflicts: 1053000 | #Constraints: 33429
2820.24/2827.77 c #Conflicts: 1054000 | #Constraints: 34429
2820.24/2827.77 c #Conflicts: 1055000 | #Constraints: 35429
2820.24/2827.77 c #Conflicts: 1056000 | #Constraints: 36429
2820.24/2827.77 c #Conflicts: 1057000 | #Constraints: 37429
2820.24/2827.77 c #Conflicts: 1058000 | #Constraints: 38429
2820.24/2827.77 c #Conflicts: 1059000 | #Constraints: 39429
2820.24/2827.77 c #Conflicts: 1060000 | #Constraints: 40429
2820.24/2827.77 c #Conflicts: 1061000 | #Constraints: 41429
2820.24/2827.77 c #Conflicts: 1062000 | #Constraints: 42429
2820.24/2827.77 c INPROCESSING
2820.24/2827.77 c GARBAGE COLLECT
2820.24/2827.77 c #Conflicts: 1063000 | #Constraints: 23016
2820.24/2827.77 c #Conflicts: 1064000 | #Constraints: 24016
2820.24/2827.77 c #Conflicts: 1065000 | #Constraints: 25016
2820.24/2827.77 c #Conflicts: 1066000 | #Constraints: 26016
2820.24/2827.77 c #Conflicts: 1067000 | #Constraints: 27016
2820.24/2827.77 c #Conflicts: 1068000 | #Constraints: 28016
2820.24/2827.77 c #Conflicts: 1069000 | #Constraints: 29016
2820.24/2827.77 c #Conflicts: 1070000 | #Constraints: 30016
2820.24/2827.77 c #Conflicts: 1071000 | #Constraints: 31016
2820.24/2827.77 c #Conflicts: 1072000 | #Constraints: 32016
2820.24/2827.77 c #Conflicts: 1073000 | #Constraints: 33016
2820.24/2827.77 c #Conflicts: 1074000 | #Constraints: 34016
2820.24/2827.77 c #Conflicts: 1075000 | #Constraints: 35016
2820.24/2827.77 c #Conflicts: 1076000 | #Constraints: 36016
2820.24/2827.77 c #Conflicts: 1077000 | #Constraints: 37016
2820.24/2827.77 c #Conflicts: 1078000 | #Constraints: 38016
2820.24/2827.77 c #Conflicts: 1079000 | #Constraints: 39016
2820.24/2827.77 c #Conflicts: 1080000 | #Constraints: 40016
2820.24/2827.77 c #Conflicts: 1081000 | #Constraints: 41016
2820.24/2827.77 c #Conflicts: 1082000 | #Constraints: 42016
2820.24/2827.77 c #Conflicts: 1083000 | #Constraints: 43016
2820.24/2827.77 c INPROCESSING
2820.24/2827.77 c GARBAGE COLLECT
2820.24/2827.77 c #Conflicts: 1084000 | #Constraints: 23447
2820.24/2827.77 c #Conflicts: 1085000 | #Constraints: 24447
2820.24/2827.77 c #Conflicts: 1086000 | #Constraints: 25447
2820.24/2827.77 c #Conflicts: 1087000 | #Constraints: 26447
2820.24/2827.77 c #Conflicts: 1088000 | #Constraints: 27447
2820.24/2827.77 c #Conflicts: 1089000 | #Constraints: 28447
2820.24/2827.77 c #Conflicts: 1090000 | #Constraints: 29447
2820.24/2827.77 c #Conflicts: 1091000 | #Constraints: 30447
2820.24/2827.77 c #Conflicts: 1092000 | #Constraints: 31447
2820.24/2827.77 c #Conflicts: 1093000 | #Constraints: 32447
2820.24/2827.77 c #Conflicts: 1094000 | #Constraints: 33447
2820.24/2827.77 c #Conflicts: 1095000 | #Constraints: 34447
2820.24/2827.77 c #Conflicts: 1096000 | #Constraints: 35447
2820.24/2827.77 c #Conflicts: 1097000 | #Constraints: 36447
2820.24/2827.77 c #Conflicts: 1098000 | #Constraints: 37447
2820.24/2827.77 c #Conflicts: 1099000 | #Constraints: 38447
2820.24/2827.77 c #Conflicts: 1100000 | #Constraints: 39447
2820.24/2827.77 c #Conflicts: 1101000 | #Constraints: 40447
2820.24/2827.77 c #Conflicts: 1102000 | #Constraints: 41447
2820.24/2827.77 c #Conflicts: 1103000 | #Constraints: 42447
2820.24/2827.77 c #Conflicts: 1104000 | #Constraints: 43447
2820.24/2827.77 c INPROCESSING
2820.24/2827.77 c GARBAGE COLLECT
2820.24/2827.77 c #Conflicts: 1105000 | #Constraints: 23647
2820.24/2827.77 c #Conflicts: 1106000 | #Constraints: 24647
2820.24/2827.77 c #Conflicts: 1107000 | #Constraints: 25647
2820.24/2827.77 c #Conflicts: 1108000 | #Constraints: 26647
2820.24/2827.77 c #Conflicts: 1109000 | #Constraints: 27647
2820.24/2827.77 c #Conflicts: 1110000 | #Constraints: 28647
2820.24/2827.77 c #Conflicts: 1111000 | #Constraints: 29647
2820.24/2827.77 c #Conflicts: 1112000 | #Constraints: 30647
2820.24/2827.77 c #Conflicts: 1113000 | #Constraints: 31647
2820.24/2827.77 c #Conflicts: 1114000 | #Constraints: 32647
2820.24/2827.77 c #Conflicts: 1115000 | #Constraints: 33647
2820.24/2827.77 c #Conflicts: 1116000 | #Constraints: 34647
2820.24/2827.77 c #Conflicts: 1117000 | #Constraints: 35647
2820.24/2827.77 c #Conflicts: 1118000 | #Constraints: 36647
2820.24/2827.77 c #Conflicts: 1119000 | #Constraints: 37647
2820.24/2827.77 c #Conflicts: 1120000 | #Constraints: 38647
2820.24/2827.77 c #Conflicts: 1121000 | #Constraints: 39647
3052.34/3060.66 c #Conflicts: 1122000 | #Constraints: 40647
3052.34/3060.66 c #Conflicts: 1123000 | #Constraints: 41647
3052.34/3060.66 c #Conflicts: 1124000 | #Constraints: 42647
3052.34/3060.66 c #Conflicts: 1125000 | #Constraints: 43647
3052.34/3060.66 c INPROCESSING
3052.34/3060.66 c GARBAGE COLLECT
3052.34/3060.66 c #Conflicts: 1126000 | #Constraints: 23638
3052.34/3060.66 c #Conflicts: 1127000 | #Constraints: 24638
3052.34/3060.66 c #Conflicts: 1128000 | #Constraints: 25638
3052.34/3060.66 c #Conflicts: 1129000 | #Constraints: 26638
3052.34/3060.66 c #Conflicts: 1130000 | #Constraints: 27638
3052.34/3060.66 c #Conflicts: 1131000 | #Constraints: 28638
3052.34/3060.66 c #Conflicts: 1132000 | #Constraints: 29638
3052.34/3060.66 c #Conflicts: 1133000 | #Constraints: 30638
3052.34/3060.66 c #Conflicts: 1134000 | #Constraints: 31638
3052.34/3060.66 c #Conflicts: 1135000 | #Constraints: 32638
3052.34/3060.66 c #Conflicts: 1136000 | #Constraints: 33638
3052.34/3060.66 c #Conflicts: 1137000 | #Constraints: 34638
3052.34/3060.66 c #Conflicts: 1138000 | #Constraints: 35638
3052.34/3060.66 c #Conflicts: 1139000 | #Constraints: 36638
3052.34/3060.66 c #Conflicts: 1140000 | #Constraints: 37638
3052.34/3060.66 c #Conflicts: 1141000 | #Constraints: 38638
3052.34/3060.66 c #Conflicts: 1142000 | #Constraints: 39638
3052.34/3060.66 c #Conflicts: 1143000 | #Constraints: 40638
3052.34/3060.66 c #Conflicts: 1144000 | #Constraints: 41638
3052.34/3060.66 c #Conflicts: 1145000 | #Constraints: 42638
3052.34/3060.66 c #Conflicts: 1146000 | #Constraints: 43638
3052.34/3060.66 c INPROCESSING
3052.34/3060.66 c GARBAGE COLLECT
3052.34/3060.66 c #Conflicts: 1147000 | #Constraints: 23419
3052.34/3060.66 c #Conflicts: 1148000 | #Constraints: 24419
3052.34/3060.66 c #Conflicts: 1149000 | #Constraints: 25419
3052.34/3060.66 c #Conflicts: 1150000 | #Constraints: 26419
3052.34/3060.66 c #Conflicts: 1151000 | #Constraints: 27419
3052.34/3060.66 c #Conflicts: 1152000 | #Constraints: 28419
3052.34/3060.66 c #Conflicts: 1153000 | #Constraints: 29419
3052.34/3060.66 c #Conflicts: 1154000 | #Constraints: 30419
3052.34/3060.66 c #Conflicts: 1155000 | #Constraints: 31419
3052.34/3060.66 c #Conflicts: 1156000 | #Constraints: 32419
3052.34/3060.66 c #Conflicts: 1157000 | #Constraints: 33419
3052.34/3060.66 c #Conflicts: 1158000 | #Constraints: 34419
3052.34/3060.66 c #Conflicts: 1159000 | #Constraints: 35419
3052.34/3060.66 c #Conflicts: 1160000 | #Constraints: 36419
3052.34/3060.66 c #Conflicts: 1161000 | #Constraints: 37419
3052.34/3060.66 c #Conflicts: 1162000 | #Constraints: 38419
3052.34/3060.66 c #Conflicts: 1163000 | #Constraints: 39419
3052.34/3060.66 c #Conflicts: 1164000 | #Constraints: 40419
3052.34/3060.66 c #Conflicts: 1165000 | #Constraints: 41419
3052.34/3060.66 c #Conflicts: 1166000 | #Constraints: 42419
3052.34/3060.66 c #Conflicts: 1167000 | #Constraints: 43419
3052.34/3060.66 c #Conflicts: 1168000 | #Constraints: 44419
3052.34/3060.66 c INPROCESSING
3052.34/3060.66 c GARBAGE COLLECT
3052.34/3060.66 c #Conflicts: 1169000 | #Constraints: 24003
3052.34/3060.66 c #Conflicts: 1170000 | #Constraints: 25003
3052.34/3060.66 c #Conflicts: 1171000 | #Constraints: 26003
3052.34/3060.66 c #Conflicts: 1172000 | #Constraints: 27003
3052.34/3060.66 c #Conflicts: 1173000 | #Constraints: 28003
3052.34/3060.66 c #Conflicts: 1174000 | #Constraints: 29003
3052.34/3060.66 c #Conflicts: 1175000 | #Constraints: 30003
3052.34/3060.66 c #Conflicts: 1176000 | #Constraints: 31003
3052.34/3060.66 c #Conflicts: 1177000 | #Constraints: 32003
3052.34/3060.66 c #Conflicts: 1178000 | #Constraints: 33003
3052.34/3060.66 c #Conflicts: 1179000 | #Constraints: 34003
3052.34/3060.66 c #Conflicts: 1180000 | #Constraints: 35003
3052.34/3060.66 c #Conflicts: 1181000 | #Constraints: 36003
3052.34/3060.66 c #Conflicts: 1182000 | #Constraints: 37003
3052.34/3060.66 c #Conflicts: 1183000 | #Constraints: 38003
3052.34/3060.66 c #Conflicts: 1184000 | #Constraints: 39003
3052.34/3060.66 c #Conflicts: 1185000 | #Constraints: 40003
3052.34/3060.66 c #Conflicts: 1186000 | #Constraints: 41003
3052.34/3060.66 c #Conflicts: 1187000 | #Constraints: 42003
3052.34/3060.66 c #Conflicts: 1188000 | #Constraints: 43003
3052.34/3060.66 c #Conflicts: 1189000 | #Constraints: 44003
3052.34/3060.66 c #Conflicts: 1190000 | #Constraints: 45003
3052.34/3060.66 c INPROCESSING
3052.34/3060.66 c GARBAGE COLLECT
3052.34/3060.66 c #Conflicts: 1191000 | #Constraints: 24404
3052.34/3060.66 c #Conflicts: 1192000 | #Constraints: 25404
3052.34/3060.66 c #Conflicts: 1193000 | #Constraints: 26404
3052.34/3060.66 c #Conflicts: 1194000 | #Constraints: 27404
3052.34/3060.66 c #Conflicts: 1195000 | #Constraints: 28404
3052.34/3060.66 c #Conflicts: 1196000 | #Constraints: 29404
3052.34/3060.66 c #Conflicts: 1197000 | #Constraints: 30404
3227.87/3236.71 c #Conflicts: 1198000 | #Constraints: 31404
3227.87/3236.71 c #Conflicts: 1199000 | #Constraints: 32404
3227.87/3236.71 c #Conflicts: 1200000 | #Constraints: 33404
3227.87/3236.71 c #Conflicts: 1201000 | #Constraints: 34404
3227.87/3236.71 c #Conflicts: 1202000 | #Constraints: 35404
3227.87/3236.71 c #Conflicts: 1203000 | #Constraints: 36404
3227.87/3236.71 c #Conflicts: 1204000 | #Constraints: 37404
3227.87/3236.71 c #Conflicts: 1205000 | #Constraints: 38404
3227.87/3236.71 c #Conflicts: 1206000 | #Constraints: 39404
3227.87/3236.71 c #Conflicts: 1207000 | #Constraints: 40404
3227.87/3236.71 c #Conflicts: 1208000 | #Constraints: 41404
3227.87/3236.71 c #Conflicts: 1209000 | #Constraints: 42404
3227.87/3236.71 c #Conflicts: 1210000 | #Constraints: 43404
3227.87/3236.71 c #Conflicts: 1211000 | #Constraints: 44404
3227.87/3236.71 c #Conflicts: 1212000 | #Constraints: 45404
3227.87/3236.71 c INPROCESSING
3227.87/3236.71 c GARBAGE COLLECT
3227.87/3236.71 c #Conflicts: 1213000 | #Constraints: 24599
3227.87/3236.71 c #Conflicts: 1214000 | #Constraints: 25599
3227.87/3236.71 c #Conflicts: 1215000 | #Constraints: 26599
3227.87/3236.71 c #Conflicts: 1216000 | #Constraints: 27599
3227.87/3236.71 c #Conflicts: 1217000 | #Constraints: 28599
3227.87/3236.71 c #Conflicts: 1218000 | #Constraints: 29599
3227.87/3236.71 c #Conflicts: 1219000 | #Constraints: 30599
3227.87/3236.71 c #Conflicts: 1220000 | #Constraints: 31599
3227.87/3236.71 c #Conflicts: 1221000 | #Constraints: 32599
3227.87/3236.71 c #Conflicts: 1222000 | #Constraints: 33599
3227.87/3236.71 c #Conflicts: 1223000 | #Constraints: 34599
3227.87/3236.71 c #Conflicts: 1224000 | #Constraints: 35599
3227.87/3236.71 c #Conflicts: 1225000 | #Constraints: 36599
3227.87/3236.71 c #Conflicts: 1226000 | #Constraints: 37599
3227.87/3236.71 c #Conflicts: 1227000 | #Constraints: 38599
3227.87/3236.71 c #Conflicts: 1228000 | #Constraints: 39599
3227.87/3236.71 c #Conflicts: 1229000 | #Constraints: 40599
3227.87/3236.71 c #Conflicts: 1230000 | #Constraints: 41599
3227.87/3236.71 c #Conflicts: 1231000 | #Constraints: 42599
3227.87/3236.71 c #Conflicts: 1232000 | #Constraints: 43599
3227.87/3236.71 c #Conflicts: 1233000 | #Constraints: 44599
3227.87/3236.71 c #Conflicts: 1234000 | #Constraints: 45599
3227.87/3236.71 c INPROCESSING
3227.87/3236.71 c GARBAGE COLLECT
3227.87/3236.71 c #Conflicts: 1235000 | #Constraints: 24630
3227.87/3236.71 c #Conflicts: 1236000 | #Constraints: 25630
3227.87/3236.71 c #Conflicts: 1237000 | #Constraints: 26630
3227.87/3236.71 c #Conflicts: 1238000 | #Constraints: 27630
3227.87/3236.71 c #Conflicts: 1239000 | #Constraints: 28630
3227.87/3236.71 c #Conflicts: 1240000 | #Constraints: 29630
3227.87/3236.71 c #Conflicts: 1241000 | #Constraints: 30630
3227.87/3236.71 c #Conflicts: 1242000 | #Constraints: 31630
3227.87/3236.71 c #Conflicts: 1243000 | #Constraints: 32630
3227.87/3236.71 c #Conflicts: 1244000 | #Constraints: 33630
3227.87/3236.71 c #Conflicts: 1245000 | #Constraints: 34630
3227.87/3236.71 c #Conflicts: 1246000 | #Constraints: 35630
3227.87/3236.71 c #Conflicts: 1247000 | #Constraints: 36630
3227.87/3236.71 c #Conflicts: 1248000 | #Constraints: 37630
3227.87/3236.71 c #Conflicts: 1249000 | #Constraints: 38630
3227.87/3236.71 c #Conflicts: 1250000 | #Constraints: 39630
3227.87/3236.71 c #Conflicts: 1251000 | #Constraints: 40630
3227.87/3236.71 c #Conflicts: 1252000 | #Constraints: 41630
3227.87/3236.71 c #Conflicts: 1253000 | #Constraints: 42630
3227.87/3236.71 c #Conflicts: 1254000 | #Constraints: 43630
3227.87/3236.71 c #Conflicts: 1255000 | #Constraints: 44630
3227.87/3236.71 c #Conflicts: 1256000 | #Constraints: 45630
3227.87/3236.71 c INPROCESSING
3227.87/3236.71 c GARBAGE COLLECT
3227.87/3236.71 c #Conflicts: 1257000 | #Constraints: 24415
3227.87/3236.71 c #Conflicts: 1258000 | #Constraints: 25415
3227.87/3236.71 c #Conflicts: 1259000 | #Constraints: 26415
3227.87/3236.71 c #Conflicts: 1260000 | #Constraints: 27415
3227.87/3236.71 c #Conflicts: 1261000 | #Constraints: 28415
3227.87/3236.71 c #Conflicts: 1262000 | #Constraints: 29415
3227.87/3236.71 c #Conflicts: 1263000 | #Constraints: 30415
3227.87/3236.71 c #Conflicts: 1264000 | #Constraints: 31415
3227.87/3236.71 c #Conflicts: 1265000 | #Constraints: 32415
3227.87/3236.71 c #Conflicts: 1266000 | #Constraints: 33415
3227.87/3236.71 c #Conflicts: 1267000 | #Constraints: 34415
3227.87/3236.71 c #Conflicts: 1268000 | #Constraints: 35415
3227.87/3236.71 c #Conflicts: 1269000 | #Constraints: 36415
3227.87/3236.71 c #Conflicts: 1270000 | #Constraints: 37415
3227.87/3236.71 c #Conflicts: 1271000 | #Constraints: 38415
3227.87/3236.71 c #Conflicts: 1272000 | #Constraints: 39415
3227.87/3236.71 c #Conflicts: 1273000 | #Constraints: 40415
3227.87/3236.71 c #Conflicts: 1274000 | #Constraints: 41415
3543.57/3553.42 c #Conflicts: 1275000 | #Constraints: 42415
3543.57/3553.42 c #Conflicts: 1276000 | #Constraints: 43415
3543.57/3553.42 c #Conflicts: 1277000 | #Constraints: 44415
3543.57/3553.42 c #Conflicts: 1278000 | #Constraints: 45415
3543.57/3553.42 c #Conflicts: 1279000 | #Constraints: 46415
3543.57/3553.42 c INPROCESSING
3543.57/3553.42 c GARBAGE COLLECT
3543.57/3553.42 c #Conflicts: 1280000 | #Constraints: 25046
3543.57/3553.42 c #Conflicts: 1281000 | #Constraints: 26046
3543.57/3553.42 c #Conflicts: 1282000 | #Constraints: 27046
3543.57/3553.42 c #Conflicts: 1283000 | #Constraints: 28046
3543.57/3553.42 c #Conflicts: 1284000 | #Constraints: 29046
3543.57/3553.42 c #Conflicts: 1285000 | #Constraints: 30046
3543.57/3553.42 c #Conflicts: 1286000 | #Constraints: 31046
3543.57/3553.42 c #Conflicts: 1287000 | #Constraints: 32046
3543.57/3553.42 c #Conflicts: 1288000 | #Constraints: 33046
3543.57/3553.42 c #Conflicts: 1289000 | #Constraints: 34046
3543.57/3553.42 c #Conflicts: 1290000 | #Constraints: 35046
3543.57/3553.42 c #Conflicts: 1291000 | #Constraints: 36046
3543.57/3553.42 c #Conflicts: 1292000 | #Constraints: 37046
3543.57/3553.42 c #Conflicts: 1293000 | #Constraints: 38046
3543.57/3553.42 c #Conflicts: 1294000 | #Constraints: 39046
3543.57/3553.42 c #Conflicts: 1295000 | #Constraints: 40046
3543.57/3553.42 c #Conflicts: 1296000 | #Constraints: 41046
3543.57/3553.42 c #Conflicts: 1297000 | #Constraints: 42046
3543.57/3553.42 c #Conflicts: 1298000 | #Constraints: 43046
3543.57/3553.42 c #Conflicts: 1299000 | #Constraints: 44046
3543.57/3553.42 c #Conflicts: 1300000 | #Constraints: 45046
3543.57/3553.42 c #Conflicts: 1301000 | #Constraints: 46046
3543.57/3553.42 c #Conflicts: 1302000 | #Constraints: 47046
3543.57/3553.42 c INPROCESSING
3543.57/3553.42 c GARBAGE COLLECT
3543.57/3553.42 c #Conflicts: 1303000 | #Constraints: 25430
3543.57/3553.42 c #Conflicts: 1304000 | #Constraints: 26430
3543.57/3553.42 c #Conflicts: 1305000 | #Constraints: 27430
3543.57/3553.42 c #Conflicts: 1306000 | #Constraints: 28430
3543.57/3553.42 c #Conflicts: 1307000 | #Constraints: 29430
3543.57/3553.42 c #Conflicts: 1308000 | #Constraints: 30430
3543.57/3553.42 c #Conflicts: 1309000 | #Constraints: 31430
3543.57/3553.42 c #Conflicts: 1310000 | #Constraints: 32430
3543.57/3553.42 c #Conflicts: 1311000 | #Constraints: 33430
3543.57/3553.42 c #Conflicts: 1312000 | #Constraints: 34430
3543.57/3553.42 c #Conflicts: 1313000 | #Constraints: 35430
3543.57/3553.42 c #Conflicts: 1314000 | #Constraints: 36430
3543.57/3553.42 c #Conflicts: 1315000 | #Constraints: 37430
3543.57/3553.42 c #Conflicts: 1316000 | #Constraints: 38430
3543.57/3553.42 c #Conflicts: 1317000 | #Constraints: 39430
3543.57/3553.42 c #Conflicts: 1318000 | #Constraints: 40430
3543.57/3553.42 c #Conflicts: 1319000 | #Constraints: 41430
3543.57/3553.42 c #Conflicts: 1320000 | #Constraints: 42430
3543.57/3553.42 c #Conflicts: 1321000 | #Constraints: 43430
3543.57/3553.42 c #Conflicts: 1322000 | #Constraints: 44430
3543.57/3553.42 c #Conflicts: 1323000 | #Constraints: 45430
3543.57/3553.42 c #Conflicts: 1324000 | #Constraints: 46430
3543.57/3553.42 c #Conflicts: 1325000 | #Constraints: 47430
3543.57/3553.42 c INPROCESSING
3543.57/3553.42 c GARBAGE COLLECT
3543.57/3553.42 c #Conflicts: 1326000 | #Constraints: 25639
3543.57/3553.42 c #Conflicts: 1327000 | #Constraints: 26639
3543.57/3553.42 c #Conflicts: 1328000 | #Constraints: 27639
3543.57/3553.42 c #Conflicts: 1329000 | #Constraints: 28639
3543.57/3553.42 c #Conflicts: 1330000 | #Constraints: 29639
3543.57/3553.42 c #Conflicts: 1331000 | #Constraints: 30639
3543.57/3553.42 c #Conflicts: 1332000 | #Constraints: 31639
3543.57/3553.42 c #Conflicts: 1333000 | #Constraints: 32639
3543.57/3553.42 c #Conflicts: 1334000 | #Constraints: 33639
3543.57/3553.42 c #Conflicts: 1335000 | #Constraints: 34639
3543.57/3553.42 c #Conflicts: 1336000 | #Constraints: 35639
3543.57/3553.42 c #Conflicts: 1337000 | #Constraints: 36639
3543.57/3553.42 c #Conflicts: 1338000 | #Constraints: 37639
3543.57/3553.42 c #Conflicts: 1339000 | #Constraints: 38639
3543.57/3553.42 c #Conflicts: 1340000 | #Constraints: 39639
3543.57/3553.42 c #Conflicts: 1341000 | #Constraints: 40639
3543.57/3553.42 c #Conflicts: 1342000 | #Constraints: 41639
3543.57/3553.42 c #Conflicts: 1343000 | #Constraints: 42639
3543.57/3553.42 c #Conflicts: 1344000 | #Constraints: 43639
3543.57/3553.42 c #Conflicts: 1345000 | #Constraints: 44639
3543.57/3553.42 c #Conflicts: 1346000 | #Constraints: 45639
3543.57/3553.42 c #Conflicts: 1347000 | #Constraints: 46639
3543.57/3553.42 c #Conflicts: 1348000 | #Constraints: 47639
3543.57/3553.42 c INPROCESSING
3543.57/3553.42 c GARBAGE COLLECT
3543.57/3553.42 c #Conflicts: 1349000 | #Constraints: 25633
3543.57/3553.42 c #Conflicts: 1350000 | #Constraints: 26633
3600.00/3610.01 c #Conflicts: 1351000 | #Constraints: 27633
3600.00/3610.01 c #Conflicts: 1352000 | #Constraints: 28633
3600.00/3610.01 c #Conflicts: 1353000 | #Constraints: 29633
3600.00/3610.01 c #Conflicts: 1354000 | #Constraints: 30633
3600.00/3610.01 c #Conflicts: 1355000 | #Constraints: 31633
3600.00/3610.01 c #Conflicts: 1356000 | #Constraints: 32633
3600.00/3610.01 c #Conflicts: 1357000 | #Constraints: 33633
3600.00/3610.01 c #Conflicts: 1358000 | #Constraints: 34633
3600.00/3610.01 c #Conflicts: 1359000 | #Constraints: 35633
3600.00/3610.01 c #Conflicts: 1360000 | #Constraints: 36633
3600.00/3610.01 c #Conflicts: 1361000 | #Constraints: 37633
3600.00/3610.01 c #Conflicts: 1362000 | #Constraints: 38633
3600.00/3610.01 c #Conflicts: 1363000 | #Constraints: 39633
3600.00/3610.01 c #Conflicts: 1364000 | #Constraints: 40633
3600.00/3610.01 c #Conflicts: 1365000 | #Constraints: 41633
3600.00/3610.01 c #Conflicts: 1366000 | #Constraints: 42633
3600.00/3610.01 c #Conflicts: 1367000 | #Constraints: 43633
3600.00/3610.01 c #Conflicts: 1368000 | #Constraints: 44633
3600.00/3610.01 c #Conflicts: 1369000 | #Constraints: 45633
3600.00/3610.01 c #Conflicts: 1370000 | #Constraints: 46633
3600.00/3610.01 c #Conflicts: 1371000 | #Constraints: 47633
3600.00/3610.01 c INPROCESSING
3600.00/3610.01 c GARBAGE COLLECT
3600.00/3610.01 c #Conflicts: 1372000 | #Constraints: 25435
3600.00/3610.01 c #Conflicts: 1373000 | #Constraints: 26435
3600.00/3610.01 c #Conflicts: 1374000 | #Constraints: 27435
3600.00/3610.01 c #Conflicts: 1375000 | #Constraints: 28435
3600.00/3610.01 c #Conflicts: 1376000 | #Constraints: 29435
3600.00/3610.01 c Program interrupted by user.
3600.00/3610.01 c cpu time 3576.73 s
3600.00/3610.01 c deterministic time 646480886788 6.46e+11
3600.00/3610.01 c optimization time 8.64785 s
3600.00/3610.01 c total solve time 3269.29 s
3600.00/3610.01 c core-guided solve time 3269.29 s
3600.00/3610.01 c propagation time 2906.5 s
3600.00/3610.01 c conflict analysis time 315.168 s
3600.00/3610.01 c propagations 215748495
3600.00/3610.01 c resolve steps 10828046
3600.00/3610.01 c decisions 23802574
3600.00/3610.01 c conflicts 1376113
3600.00/3610.01 c restarts 2620
3600.00/3610.01 c inprocessing phases 108
3600.00/3610.01 c input clauses 1633
3600.00/3610.01 c input cardinalities 49
3600.00/3610.01 c input general constraints 32
3600.00/3610.01 c input average constraint length 5.21
3600.00/3610.01 c input average constraint degree 2.43
3600.00/3610.01 c learned clauses 423066
3600.00/3610.01 c learned cardinalities 90181
3600.00/3610.01 c learned general constraints 862866
3600.00/3610.01 c learned average constraint length 525.57
3600.00/3610.01 c learned average constraint degree 3507155.76
3600.00/3610.01 c watched constraints 725821
3600.00/3610.01 c counting constraints 137077
3600.00/3610.01 c gcd simplifications 8514
3600.00/3610.01 c detected cardinalities 98
3600.00/3610.01 c weakened non-implied lits 80639972
3600.00/3610.01 c weakened non-implying lits 95618
3600.00/3610.01 c original variables 4160
3600.00/3610.01 c clausal propagations 35818970
3600.00/3610.01 c cardinality propagations 38645375
3600.00/3610.01 c watched propagations 53841731
3600.00/3610.01 c counting propagations 82753652
3600.00/3610.01 c watch lookups 49571848268
3600.00/3610.01 c watch backjump lookups 43853687847
3600.00/3610.01 c watch checks 520018105587
3600.00/3610.01 c propagation checks 30817008812
3600.00/3610.01 c constraint additions 1739758735
3600.00/3610.01 c trail pops 240926469
3600.00/3610.01 c formula constraints 1712
3600.00/3610.01 c learned constraints 1376113
3600.00/3610.01 c bound constraints 2
3600.00/3610.01 c core-guided constraints 0
3600.00/3610.01 c encountered formula constraints 7823922
3600.00/3610.01 c encountered learned constraints 4367140
3600.00/3610.01 c encountered bound constraints 13097
3600.00/3610.01 c encountered core-guided constraints 0
3600.00/3610.01 c LP total time 0 s
3600.00/3610.01 c LP solve time 0 s
3600.00/3610.01 c LP constraints added 0
3600.00/3610.01 c LP constraints removed 0
3600.00/3610.01 c LP pivots internal 0
3600.00/3610.01 c LP pivots root 0
3600.00/3610.01 c LP calls 0
3600.00/3610.01 c LP optimalities 0
3600.00/3610.01 c LP no pivot count 0
3600.00/3610.01 c LP infeasibilities 0
3600.00/3610.01 c LP valid Farkas constraints 0
3600.00/3610.01 c LP learned Farkas constraints 0
3600.00/3610.01 c LP basis resets 0
3600.00/3610.01 c LP cycling count 0
3600.00/3610.01 c LP singular count 0
3600.00/3610.01 c LP no primal count 0
3600.00/3610.01 c LP no farkas count 0
3600.00/3610.01 c LP other issue count 0
3600.00/3610.01 c LP Gomory cuts 0
3600.00/3610.01 c LP learned cuts 0
3600.00/3610.01 c LP deleted cuts 0
3600.00/3610.01 c LP encountered Gomory constraints 0
3600.00/3610.01 c LP encountered Farkas constraints 0
3600.00/3610.01 c LP encountered learned Farkas constraints 0
3600.00/3610.01 c CG auxiliary variables introduced 0
3600.00/3610.01 c CG solutions found 0
3600.00/3610.01 c CG cores constructed 1
3600.00/3610.01 c CG core cardinality constraints returned 0
3600.00/3610.01 c CG unit cores 0
3600.00/3610.01 c CG single cores 1
3600.00/3610.01 c CG blocks removed during cardinality reduction 0
3600.00/3610.01 c CG first core best 0
3600.00/3610.01 c CG decision core best 0
3600.00/3610.01 c CG core reduction tie 0
3600.00/3610.01 c CG core degree average 1.00
3600.00/3610.01 c CG core slack average 31.00
3600.00/3610.01 c CG exhausted 0
3600.00/3610.01 c CG exhaust time 0 s
3600.00/3610.01 c CG trimmed 0
3600.00/3610.01 c CG trim time 0.000482 s
3600.00/3610.01 c CG minimized 0
3600.00/3610.01 c CG minimize time 0 s
3600.00/3610.01 c CG am1 prop time 5.5e-05 s
3600.00/3610.01 c CG # am1s reformulated 0
3600.00/3610.01 c CG lower bound derived from am1s 0
3600.00/3610.01 c CG # clausal cores 1
3600.00/3610.01 c CG # cardinality cores 0
3600.00/3610.01 c CG # pb cores 0
3600.00/3610.01 c CG # pb reforms 0
3600.00/3610.01 c CG # cores discarded because of pb reform 0
3600.00/3610.01 d LOWERBOUND -31
3600.00/3610.01 d NCORES 1
3600.00/3610.01 d NPBCORES 0
3600.00/3610.01 d NPBREFORM 0
3600.00/3610.01 d NTRIMMED 0
3600.00/3610.01 d NEXHAUSTED 0
3600.00/3610.01 d NAM1S 0
3600.00/3610.01 d AM1LB 0
3600.00/3610.01 c [Papilo Statistics]
3600.00/3610.01 c prepro time 0.0332974s
3600.00/3610.01 c # tsx applied 1024
3600.00/3610.01 c # tsx conflicts 14880
3600.00/3610.01 c # bound changes 992
3600.00/3610.01 c # side changes 0
3600.00/3610.01 c # coef changes 32
3600.00/3610.01 c # rounds 3
3600.00/3610.01 c # deted vars 992
3600.00/3610.01 c # deted constrs 32
3600.00/3610.01 c # consecutive rounds of only bound changes 0
3600.00/3610.01 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (56214 MiB free)
memory of node 1: 64507 MiB (62998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519643-1751554296/watcher-4519643-1751554296 -o /tmp/evaluation-result-4519643-1751554296/solver-4519643-1751554296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77707 --watchdog 3760 mixed-bag HOME/instance-4519643-1751554296.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=78114, runsolver pid=78111
[startup+0.100069 s]*
/proc/loadavg: 4.14 4.07 4.01 5/251 78115
/proc/meminfo: memFree=122061224/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=103812 memory=31164 CPUtime=0.08 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 4817 0 0 0 6 2 0 0 20 0 1 0 71109289 106303488 7791 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 25953 7791 4000 2842 0 7647 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 103812 KiB
Current children cumulated memory: 31164 KiB
[startup+0.213581 s]*
/proc/loadavg: 4.14 4.07 4.01 5/251 78115
/proc/meminfo: memFree=122053160/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=113588 memory=39996 CPUtime=0.18 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 6947 0 0 0 15 3 0 0 20 0 1 0 71109289 116314112 9999 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 28397 9999 4096 2842 0 10091 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 113588 KiB
Current children cumulated memory: 39996 KiB
[startup+0.314751 s]*
/proc/loadavg: 4.14 4.07 4.01 5/251 78115
/proc/meminfo: memFree=122045096/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=124044 memory=45372 CPUtime=0.27 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 8278 0 0 0 23 4 0 0 20 0 1 0 71109289 127021056 11343 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 31011 11343 4128 2842 0 12705 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 124044 KiB
Current children cumulated memory: 45372 KiB
[startup+0.700172 s]
/proc/loadavg: 4.14 4.07 4.01 5/251 78115
/proc/meminfo: memFree=122020904/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=153060 memory=69948 CPUtime=0.61 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 14276 0 0 0 56 5 0 0 20 0 1 0 71109289 156733440 17487 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 38265 17487 4288 2842 0 19959 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 153060 KiB
Current children cumulated memory: 69948 KiB
[startup+1.50017 s]
/proc/loadavg: 4.14 4.07 4.01 5/251 78115
/proc/meminfo: memFree=122004792/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=170992 memory=85952 CPUtime=1.4 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 19059 0 0 0 134 6 0 0 20 0 1 0 71109289 175095808 21488 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 42748 21488 4288 2842 0 24442 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 170992 KiB
Current children cumulated memory: 85952 KiB
[startup+3.10585 s]
/proc/loadavg: 4.14 4.07 4.01 5/251 78115
/proc/meminfo: memFree=122004792/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=170992 memory=86848 CPUtime=2.98 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 19286 0 0 0 292 6 0 0 20 0 1 0 71109289 175095808 21712 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 42748 21712 4288 2842 0 24442 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 170992 KiB
Current children cumulated memory: 86848 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.06 4.01 5/251 78115
/proc/meminfo: memFree=121997060/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=179632 memory=95680 CPUtime=6.16 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 21484 0 0 0 609 7 0 0 20 0 1 0 71109289 183943168 23920 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 44908 23920 4288 2842 0 26602 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 179632 KiB
Current children cumulated memory: 95680 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.06 4.01 5/251 78115
/proc/meminfo: memFree=121949484/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=189616 memory=104256 CPUtime=12.5 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 23623 0 0 0 1243 7 0 0 20 0 1 0 71109289 194166784 26064 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 47404 26064 4288 2842 0 29098 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 189616 KiB
Current children cumulated memory: 104256 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.08 4.01 5/251 78115
/proc/meminfo: memFree=121931260/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=200624 memory=115576 CPUtime=25.18 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 29067 0 0 0 2510 8 0 0 20 0 1 0 71109289 205438976 28894 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 50156 28894 4288 2842 0 31850 0
Current children cumulated CPU time: 25.18 s
Current children cumulated vsize: 200624 KiB
Current children cumulated memory: 115576 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.07 4.01 5/247 78202
/proc/meminfo: memFree=122347652/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=222684 memory=138860 CPUtime=50.55 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 38510 0 0 0 5045 10 0 0 20 0 1 0 71109289 228028416 34715 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 55671 34715 4288 2842 0 37365 0
Current children cumulated CPU time: 50.55 s
Current children cumulated vsize: 222684 KiB
Current children cumulated memory: 138860 KiB
[startup+102.3 s]
/proc/loadavg: 4.25 4.12 4.03 5/251 78791
/proc/meminfo: memFree=121893608/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=242028 memory=158260 CPUtime=101.58 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 45407 0 0 0 10147 11 0 0 20 0 1 0 71109289 247836672 39565 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 60507 39565 4288 2842 0 42201 0
Current children cumulated CPU time: 101.58 s
Current children cumulated vsize: 242028 KiB
Current children cumulated memory: 158260 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.12 4.03 5/252 79018
/proc/meminfo: memFree=122173840/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=257220 memory=173620 CPUtime=161.42 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 49241 0 0 0 16130 12 0 0 20 0 1 0 71109289 263393280 43405 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 64305 43405 4288 2842 0 45999 0
Current children cumulated CPU time: 161.42 s
Current children cumulated vsize: 257220 KiB
Current children cumulated memory: 173620 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.03 5/251 79025
/proc/meminfo: memFree=122166164/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=271824 memory=188340 CPUtime=221.26 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 52931 0 0 0 22114 12 0 0 20 0 1 0 71109289 278347776 47085 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 67956 47085 4288 2842 0 49650 0
Current children cumulated CPU time: 221.26 s
Current children cumulated vsize: 271824 KiB
Current children cumulated memory: 188340 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/252 79028
/proc/meminfo: memFree=122139256/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=279948 memory=196600 CPUtime=281.11 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 56405 0 0 0 28098 13 0 0 20 0 1 0 71109289 286666752 49150 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 69987 49150 4288 2842 0 51681 0
Current children cumulated CPU time: 281.11 s
Current children cumulated vsize: 279948 KiB
Current children cumulated memory: 196600 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/253 79033
/proc/meminfo: memFree=122126436/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=299932 memory=218976 CPUtime=340.96 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 59211 0 0 0 34011 85 0 0 20 0 1 0 71109289 307130368 54744 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 74983 54744 4416 2842 0 56677 0
Current children cumulated CPU time: 340.96 s
Current children cumulated vsize: 299932 KiB
Current children cumulated memory: 218976 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/253 79035
/proc/meminfo: memFree=122122524/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=299932 memory=218976 CPUtime=400.81 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 59216 0 0 0 39938 143 0 0 20 0 1 0 71109289 307130368 54744 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 74983 54744 4416 2842 0 56677 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 299932 KiB
Current children cumulated memory: 218976 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/252 79037
/proc/meminfo: memFree=121353936/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=299932 memory=221032 CPUtime=460.66 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 59225 0 0 0 45882 184 0 0 20 0 1 0 71109289 307130368 55258 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 74983 55258 4416 2842 0 56677 0
Current children cumulated CPU time: 460.66 s
################
# More data... #
################
Current children cumulated memory: 401340 KiB
[startup+2862.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/249 79245
/proc/meminfo: memFree=124568512/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=569140 memory=406332 CPUtime=2854.72 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 78357 0 0 0 283575 1897 0 0 20 0 1 0 71109289 582799360 101583 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 142285 101583 4416 2842 0 123979 0
Current children cumulated CPU time: 2854.72 s
Current children cumulated vsize: 569140 KiB
Current children cumulated memory: 406332 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/250 79248
/proc/meminfo: memFree=124556176/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=570572 memory=407484 CPUtime=2914.52 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 78650 0 0 0 289518 1934 0 0 20 0 1 0 71109289 584265728 101871 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 142643 101871 4416 2842 0 124337 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 570572 KiB
Current children cumulated memory: 407484 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 79250
/proc/meminfo: memFree=124553608/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=570572 memory=407484 CPUtime=2974.31 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 78651 0 0 0 295455 1976 0 0 20 0 1 0 71109289 584265728 101871 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 142643 101871 4416 2842 0 124337 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 570572 KiB
Current children cumulated memory: 407484 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/251 79253
/proc/meminfo: memFree=124502236/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=570572 memory=407484 CPUtime=3034.1 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 78652 0 0 0 301402 2008 0 0 20 0 1 0 71109289 584265728 101871 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 142643 101871 4416 2842 0 124337 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 570572 KiB
Current children cumulated memory: 407484 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 79255
/proc/meminfo: memFree=124162924/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=570572 memory=407484 CPUtime=3093.9 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 78654 0 0 0 307343 2047 0 0 20 0 1 0 71109289 584265728 101871 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 142643 101871 4416 2842 0 124337 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 570572 KiB
Current children cumulated memory: 407484 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 79257
/proc/meminfo: memFree=123632588/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=570572 memory=407612 CPUtime=3153.71 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 78656 0 0 0 313279 2092 0 0 20 0 1 0 71109289 584265728 101903 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 142643 101903 4416 2842 0 124337 0
Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 570572 KiB
Current children cumulated memory: 407612 KiB
[startup+3222.3 s]
/proc/loadavg: 4.67 4.26 4.14 5/250 79259
/proc/meminfo: memFree=123514460/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=570572 memory=407612 CPUtime=3213.52 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 78656 0 0 0 319227 2125 0 0 20 0 1 0 71109289 584265728 101903 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 142643 101903 4416 2842 0 124337 0
Current children cumulated CPU time: 3213.52 s
Current children cumulated vsize: 570572 KiB
Current children cumulated memory: 407612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.48 4.30 4.16 5/250 79265
/proc/meminfo: memFree=123461272/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=572400 memory=409148 CPUtime=3273.32 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 79059 0 0 0 325167 2165 0 0 20 0 1 0 71109289 586137600 102287 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 143100 102287 4416 2842 0 124794 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 572400 KiB
Current children cumulated memory: 409148 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.27 4.16 5/249 79267
/proc/meminfo: memFree=123181864/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=573108 memory=409660 CPUtime=3333.14 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 79189 0 0 0 331108 2206 0 0 20 0 1 0 71109289 586862592 102415 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 143277 102415 4416 2842 0 124971 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 573108 KiB
Current children cumulated memory: 409660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.23 4.16 5/251 79273
/proc/meminfo: memFree=123181400/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=574580 memory=410940 CPUtime=3392.95 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 79494 0 0 0 337057 2238 0 0 20 0 1 0 71109289 588369920 102735 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 143645 102735 4416 2842 0 125339 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 574580 KiB
Current children cumulated memory: 410940 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.20 4.15 5/251 79275
/proc/meminfo: memFree=123035332/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=574580 memory=410940 CPUtime=3452.75 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 79496 0 0 0 343029 2246 0 0 20 0 1 0 71109289 588369920 102735 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 143645 102735 4416 2842 0 125339 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 574580 KiB
Current children cumulated memory: 410940 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.15 5/251 79277
/proc/meminfo: memFree=122986624/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=575096 memory=411452 CPUtime=3512.57 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 79627 0 0 0 348980 2277 0 0 20 0 1 0 71109289 588898304 102863 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 143774 102863 4416 2842 0 125468 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 575096 KiB
Current children cumulated memory: 411452 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/251 79280
/proc/meminfo: memFree=123012896/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=575608 memory=411964 CPUtime=3572.37 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 79764 0 0 0 354933 2304 0 0 20 0 1 0 71109289 589422592 102991 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 143902 102991 4416 2842 0 125596 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 575608 KiB
Current children cumulated memory: 411964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.12 4.16 4.14 5/252 79282
/proc/meminfo: memFree=122995380/131382112 swapFree=33010416/33010684
[pid=78114] ppid=78111 vsize=575932 memory=412348 CPUtime=3600 cores=4,6
/proc/78114/stat : 78114 (mixed-bag) R 78111 78114 77674 0 -1 4194304 79845 0 0 0 357673 2327 0 0 20 0 1 0 71109289 589754368 103087 18446744073709551615 4235264 15874749 140734315278464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 30875648 140734315284892 140734315284969 140734315284969 140734315290571 0
/proc/78114/statm: 143983 103087 4416 2842 0 125677 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 575932 KiB
Current children cumulated memory: 412348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.02 s]
# the end of solver process 78114 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.74 s, system=23.2785 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.02
CPU time (s): 3600.01
CPU user time (s): 3576.74
CPU system time (s): 23.2785
CPU usage (%): 99.7228
Max. virtual memory (cumulated for all children) (KiB): 575932
Max. memory (cumulated for all children) (KiB): 412348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.74
system time used= 23.2785
maximum resident set size= 412860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79872
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= 215
involuntary context switches= 2656
# summary of solver processes directly reported to runsolver:
# pid: 78114
# total CPU time (s): 3600.01
# total CPU user time (s): 3576.74
# total CPU system time (s): 23.2785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0957 second user time and 35.027 second system time
The end
Begin job on nodeC012 at 2025-07-03 16:51:36
IDJOB=4519643
IDBENCH=177345
IDSOLVER=3340
FILE ID=nodeC012/4519643-1751554296
RUNJOBID= nodeC012-1751553490-77707
SLURM_JOB_ID= 9598739
Free space on /tmp= 431764 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519643-1751554296/watcher-4519643-1751554296 -o /tmp/evaluation-result-4519643-1751554296/solver-4519643-1751554296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751553490-77707 --watchdog 3760 mixed-bag HOME/instance-4519643-1751554296.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4558152054a2b5e07a56681a0171fc0f
RANDOM SEED=1255591842
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.618
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3588.183
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.440
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.189
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.654
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.156
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 122074628 kB
MemAvailable: 122344052 kB
Buffers: 2136 kB
Cached: 1070136 kB
SwapCached: 16 kB
Active: 8263212 kB
Inactive: 451956 kB
Active(anon): 7653844 kB
Inactive(anon): 6996 kB
Active(file): 609368 kB
Inactive(file): 444960 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15704 kB
Writeback: 0 kB
AnonPages: 7644132 kB
Mapped: 129572 kB
Shmem: 17944 kB
KReclaimable: 109064 kB
Slab: 194364 kB
SReclaimable: 109064 kB
SUnreclaim: 85300 kB
KernelStack: 4048 kB
PageTables: 18264 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 8161552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1849344 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431800 MiB
End job on nodeC012 at 2025-07-03 17:51:46