0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.02 c [STEP] preprocessing with Papilo
0.00/0.03 c [STEP] solving with SCIP
298.99/300.08 c [STEP] preprocessing done, loading into solver
298.99/300.09 c [STEP] solving
298.99/300.09 c #variables 3169 #constraints 1712
298.99/300.09 c SMALL=int, LARGE=long long
298.99/300.09 d SCIPUB -16
298.99/300.09 c bounds - >= -32 @ 298.982
298.99/300.09 c stratification level: 0
389.46/390.82 c #Conflicts: 1000 | #Constraints: 2712
389.46/390.82 c #Conflicts: 2000 | #Constraints: 3712
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 3000 | #Constraints: 3729
389.46/390.82 c #Conflicts: 4000 | #Constraints: 4729
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 5000 | #Constraints: 4149
389.46/390.82 c #Conflicts: 6000 | #Constraints: 5149
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 7000 | #Constraints: 4148
389.46/390.82 c #Conflicts: 8000 | #Constraints: 5148
389.46/390.82 c #Conflicts: 9000 | #Constraints: 6148
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 10000 | #Constraints: 4860
389.46/390.82 c #Conflicts: 11000 | #Constraints: 5860
389.46/390.82 c #Conflicts: 12000 | #Constraints: 6860
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 13000 | #Constraints: 5309
389.46/390.82 c #Conflicts: 14000 | #Constraints: 6309
389.46/390.82 c #Conflicts: 15000 | #Constraints: 7309
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 16000 | #Constraints: 5542
389.46/390.82 c #Conflicts: 17000 | #Constraints: 6542
389.46/390.82 c #Conflicts: 18000 | #Constraints: 7542
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 19000 | #Constraints: 5570
389.46/390.82 c #Conflicts: 20000 | #Constraints: 6570
389.46/390.82 c #Conflicts: 21000 | #Constraints: 7570
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 22000 | #Constraints: 5373
389.46/390.82 c #Conflicts: 23000 | #Constraints: 6373
389.46/390.82 c #Conflicts: 24000 | #Constraints: 7373
389.46/390.82 c #Conflicts: 25000 | #Constraints: 8373
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 26000 | #Constraints: 5983
389.46/390.82 c #Conflicts: 27000 | #Constraints: 6983
389.46/390.82 c #Conflicts: 28000 | #Constraints: 7983
389.46/390.82 c #Conflicts: 29000 | #Constraints: 8983
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 30000 | #Constraints: 6381
389.46/390.82 c #Conflicts: 31000 | #Constraints: 7381
389.46/390.82 c #Conflicts: 32000 | #Constraints: 8381
389.46/390.82 c #Conflicts: 33000 | #Constraints: 9381
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 34000 | #Constraints: 6582
389.46/390.82 c #Conflicts: 35000 | #Constraints: 7582
389.46/390.82 c #Conflicts: 36000 | #Constraints: 8582
389.46/390.82 c #Conflicts: 37000 | #Constraints: 9582
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 38000 | #Constraints: 6580
389.46/390.82 c #Conflicts: 39000 | #Constraints: 7580
389.46/390.82 c #Conflicts: 40000 | #Constraints: 8580
389.46/390.82 c #Conflicts: 41000 | #Constraints: 9580
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 42000 | #Constraints: 6400
389.46/390.82 c #Conflicts: 43000 | #Constraints: 7400
389.46/390.82 c #Conflicts: 44000 | #Constraints: 8400
389.46/390.82 c #Conflicts: 45000 | #Constraints: 9400
389.46/390.82 c #Conflicts: 46000 | #Constraints: 10400
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 47000 | #Constraints: 7014
389.46/390.82 c #Conflicts: 48000 | #Constraints: 8014
389.46/390.82 c #Conflicts: 49000 | #Constraints: 9014
389.46/390.82 c #Conflicts: 50000 | #Constraints: 10014
389.46/390.82 c #Conflicts: 51000 | #Constraints: 11014
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 52000 | #Constraints: 7397
389.46/390.82 c #Conflicts: 53000 | #Constraints: 8397
389.46/390.82 c #Conflicts: 54000 | #Constraints: 9397
389.46/390.82 c #Conflicts: 55000 | #Constraints: 10397
389.46/390.82 c #Conflicts: 56000 | #Constraints: 11397
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 57000 | #Constraints: 7603
389.46/390.82 c #Conflicts: 58000 | #Constraints: 8603
389.46/390.82 c #Conflicts: 59000 | #Constraints: 9603
389.46/390.82 c #Conflicts: 60000 | #Constraints: 10603
389.46/390.82 c #Conflicts: 61000 | #Constraints: 11603
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 62000 | #Constraints: 7606
389.46/390.82 c #Conflicts: 63000 | #Constraints: 8606
389.46/390.82 c #Conflicts: 64000 | #Constraints: 9606
389.46/390.82 c #Conflicts: 65000 | #Constraints: 10606
389.46/390.82 c #Conflicts: 66000 | #Constraints: 11606
389.46/390.82 c INPROCESSING
389.46/390.82 c GARBAGE COLLECT
389.46/390.82 c #Conflicts: 67000 | #Constraints: 7413
389.46/390.82 c #Conflicts: 68000 | #Constraints: 8413
511.12/512.81 c #Conflicts: 69000 | #Constraints: 9413
511.12/512.81 c #Conflicts: 70000 | #Constraints: 10413
511.12/512.81 c #Conflicts: 71000 | #Constraints: 11413
511.12/512.81 c #Conflicts: 72000 | #Constraints: 12413
511.12/512.81 c INPROCESSING
511.12/512.81 c GARBAGE COLLECT
511.12/512.81 c #Conflicts: 73000 | #Constraints: 8032
511.12/512.81 c #Conflicts: 74000 | #Constraints: 9032
511.12/512.81 c #Conflicts: 75000 | #Constraints: 10032
511.12/512.81 c #Conflicts: 76000 | #Constraints: 11032
511.12/512.81 c #Conflicts: 77000 | #Constraints: 12032
511.12/512.81 c #Conflicts: 78000 | #Constraints: 13032
511.12/512.81 c INPROCESSING
511.12/512.81 c GARBAGE COLLECT
511.12/512.81 c #Conflicts: 79000 | #Constraints: 8427
511.12/512.81 c #Conflicts: 80000 | #Constraints: 9427
511.12/512.81 c #Conflicts: 81000 | #Constraints: 10427
511.12/512.81 c #Conflicts: 82000 | #Constraints: 11427
511.12/512.81 c #Conflicts: 83000 | #Constraints: 12427
511.12/512.81 c #Conflicts: 84000 | #Constraints: 13427
511.12/512.81 c INPROCESSING
511.12/512.81 c GARBAGE COLLECT
511.12/512.81 c #Conflicts: 85000 | #Constraints: 8623
511.12/512.81 c #Conflicts: 86000 | #Constraints: 9623
511.12/512.81 c #Conflicts: 87000 | #Constraints: 10623
511.12/512.81 c #Conflicts: 88000 | #Constraints: 11623
511.12/512.81 c #Conflicts: 89000 | #Constraints: 12623
511.12/512.81 c #Conflicts: 90000 | #Constraints: 13623
511.12/512.81 c INPROCESSING
511.12/512.81 c GARBAGE COLLECT
511.12/512.81 c #Conflicts: 91000 | #Constraints: 8634
511.12/512.81 c #Conflicts: 92000 | #Constraints: 9634
511.12/512.81 c #Conflicts: 93000 | #Constraints: 10634
511.12/512.81 c #Conflicts: 94000 | #Constraints: 11634
511.12/512.81 c #Conflicts: 95000 | #Constraints: 12634
511.12/512.81 c #Conflicts: 96000 | #Constraints: 13634
511.12/512.81 c INPROCESSING
511.12/512.81 c GARBAGE COLLECT
511.12/512.81 c #Conflicts: 97000 | #Constraints: 8433
511.12/512.81 c #Conflicts: 98000 | #Constraints: 9433
511.12/512.81 c #Conflicts: 99000 | #Constraints: 10433
511.12/512.81 c #Conflicts: 100000 | #Constraints: 11433
511.12/512.81 c #Conflicts: 101000 | #Constraints: 12433
511.12/512.81 c #Conflicts: 102000 | #Constraints: 13433
511.12/512.81 c #Conflicts: 103000 | #Constraints: 14433
511.12/512.81 c INPROCESSING
511.12/512.81 c GARBAGE COLLECT
511.12/512.81 c #Conflicts: 104000 | #Constraints: 9036
511.12/512.81 c #Conflicts: 105000 | #Constraints: 10036
511.12/512.81 c #Conflicts: 106000 | #Constraints: 11036
511.12/512.81 c #Conflicts: 107000 | #Constraints: 12036
511.12/512.81 c #Conflicts: 108000 | #Constraints: 13036
511.12/512.81 c #Conflicts: 109000 | #Constraints: 14036
511.12/512.81 c #Conflicts: 110000 | #Constraints: 15036
511.12/512.81 c INPROCESSING
511.12/512.81 c GARBAGE COLLECT
511.12/512.81 c #Conflicts: 111000 | #Constraints: 9436
511.12/512.81 c #Conflicts: 112000 | #Constraints: 10436
511.12/512.81 c #Conflicts: 113000 | #Constraints: 11436
511.12/512.81 c #Conflicts: 114000 | #Constraints: 12436
511.12/512.81 c #Conflicts: 115000 | #Constraints: 13436
511.12/512.81 c #Conflicts: 116000 | #Constraints: 14436
511.12/512.81 c #Conflicts: 117000 | #Constraints: 15436
511.12/512.81 c INPROCESSING
511.12/512.81 c GARBAGE COLLECT
511.12/512.81 c #Conflicts: 118000 | #Constraints: 9625
511.12/512.81 c #Conflicts: 119000 | #Constraints: 10625
511.12/512.81 c #Conflicts: 120000 | #Constraints: 11625
511.12/512.81 c #Conflicts: 121000 | #Constraints: 12625
511.12/512.81 c #Conflicts: 122000 | #Constraints: 13625
511.12/512.81 c #Conflicts: 123000 | #Constraints: 14625
511.12/512.81 c #Conflicts: 124000 | #Constraints: 15625
511.12/512.81 c INPROCESSING
511.12/512.81 c GARBAGE COLLECT
511.12/512.81 c #Conflicts: 125000 | #Constraints: 9627
511.12/512.81 c #Conflicts: 126000 | #Constraints: 10627
511.12/512.81 c #Conflicts: 127000 | #Constraints: 11627
511.12/512.81 c #Conflicts: 128000 | #Constraints: 12627
511.12/512.81 c #Conflicts: 129000 | #Constraints: 13627
511.12/512.81 c #Conflicts: 130000 | #Constraints: 14627
511.12/512.81 c #Conflicts: 131000 | #Constraints: 15627
511.12/512.81 c INPROCESSING
511.12/512.81 c GARBAGE COLLECT
511.12/512.81 c #Conflicts: 132000 | #Constraints: 9424
511.12/512.81 c #Conflicts: 133000 | #Constraints: 10424
511.12/512.81 c #Conflicts: 134000 | #Constraints: 11424
511.12/512.81 c #Conflicts: 135000 | #Constraints: 12424
511.12/512.81 c #Conflicts: 136000 | #Constraints: 13424
511.12/512.81 c #Conflicts: 137000 | #Constraints: 14424
511.12/512.81 c #Conflicts: 138000 | #Constraints: 15424
511.12/512.81 c #Conflicts: 139000 | #Constraints: 16424
511.12/512.81 c INPROCESSING
511.12/512.81 c GARBAGE COLLECT
511.12/512.81 c #Conflicts: 140000 | #Constraints: 10013
599.94/601.99 c #Conflicts: 141000 | #Constraints: 11013
599.94/601.99 c #Conflicts: 142000 | #Constraints: 12013
599.94/601.99 c #Conflicts: 143000 | #Constraints: 13013
599.94/601.99 c #Conflicts: 144000 | #Constraints: 14013
599.94/601.99 c #Conflicts: 145000 | #Constraints: 15013
599.94/601.99 c #Conflicts: 146000 | #Constraints: 16013
599.94/601.99 c #Conflicts: 147000 | #Constraints: 17013
599.94/601.99 c INPROCESSING
599.94/601.99 c GARBAGE COLLECT
599.94/601.99 c #Conflicts: 148000 | #Constraints: 10414
599.94/601.99 c #Conflicts: 149000 | #Constraints: 11414
599.94/601.99 c #Conflicts: 150000 | #Constraints: 12414
599.94/601.99 c #Conflicts: 151000 | #Constraints: 13414
599.94/601.99 c #Conflicts: 152000 | #Constraints: 14414
599.94/601.99 c #Conflicts: 153000 | #Constraints: 15414
599.94/601.99 c #Conflicts: 154000 | #Constraints: 16414
599.94/601.99 c #Conflicts: 155000 | #Constraints: 17414
599.94/601.99 c INPROCESSING
599.94/601.99 c GARBAGE COLLECT
599.94/601.99 c #Conflicts: 156000 | #Constraints: 10633
599.94/601.99 c #Conflicts: 157000 | #Constraints: 11633
599.94/601.99 c #Conflicts: 158000 | #Constraints: 12633
599.94/601.99 c #Conflicts: 159000 | #Constraints: 13633
599.94/601.99 c #Conflicts: 160000 | #Constraints: 14633
599.94/601.99 c #Conflicts: 161000 | #Constraints: 15633
599.94/601.99 c #Conflicts: 162000 | #Constraints: 16633
599.94/601.99 c bounds - >= -31 @ 559.223
599.94/601.99 c #Conflicts: 163000 | #Constraints: 17634
599.94/601.99 c INPROCESSING
599.94/601.99 c GARBAGE COLLECT
599.94/601.99 c #Conflicts: 164000 | #Constraints: 10593
599.94/601.99 c #Conflicts: 165000 | #Constraints: 11593
599.94/601.99 c #Conflicts: 166000 | #Constraints: 12593
599.94/601.99 c #Conflicts: 167000 | #Constraints: 13593
599.94/601.99 c #Conflicts: 168000 | #Constraints: 14593
599.94/601.99 c #Conflicts: 169000 | #Constraints: 15593
599.94/601.99 c #Conflicts: 170000 | #Constraints: 16593
599.94/601.99 c #Conflicts: 171000 | #Constraints: 17593
599.94/601.99 c INPROCESSING
599.94/601.99 c GARBAGE COLLECT
599.94/601.99 c #Conflicts: 172000 | #Constraints: 10385
599.94/601.99 c #Conflicts: 173000 | #Constraints: 11385
599.94/601.99 c #Conflicts: 174000 | #Constraints: 12385
599.94/601.99 c #Conflicts: 175000 | #Constraints: 13385
599.94/601.99 c #Conflicts: 176000 | #Constraints: 14385
599.94/601.99 c #Conflicts: 177000 | #Constraints: 15385
599.94/601.99 c #Conflicts: 178000 | #Constraints: 16385
599.94/601.99 c #Conflicts: 179000 | #Constraints: 17385
599.94/601.99 c #Conflicts: 180000 | #Constraints: 18385
599.94/601.99 c INPROCESSING
599.94/601.99 c GARBAGE COLLECT
599.94/601.99 c #Conflicts: 181000 | #Constraints: 10978
599.94/601.99 c #Conflicts: 182000 | #Constraints: 11978
599.94/601.99 c #Conflicts: 183000 | #Constraints: 12978
599.94/601.99 c #Conflicts: 184000 | #Constraints: 13978
599.94/601.99 c #Conflicts: 185000 | #Constraints: 14978
599.94/601.99 c #Conflicts: 186000 | #Constraints: 15978
599.94/601.99 c #Conflicts: 187000 | #Constraints: 16978
599.94/601.99 c #Conflicts: 188000 | #Constraints: 17978
599.94/601.99 c #Conflicts: 189000 | #Constraints: 18978
599.94/601.99 c INPROCESSING
599.94/601.99 c GARBAGE COLLECT
599.94/601.99 c #Conflicts: 190000 | #Constraints: 11383
599.94/601.99 c #Conflicts: 191000 | #Constraints: 12383
599.94/601.99 c #Conflicts: 192000 | #Constraints: 13383
599.94/601.99 c #Conflicts: 193000 | #Constraints: 14383
599.94/601.99 c #Conflicts: 194000 | #Constraints: 15383
599.94/601.99 c #Conflicts: 195000 | #Constraints: 16383
599.94/601.99 c #Conflicts: 196000 | #Constraints: 17383
599.94/601.99 c #Conflicts: 197000 | #Constraints: 18383
599.94/601.99 c #Conflicts: 198000 | #Constraints: 19383
599.94/601.99 c INPROCESSING
599.94/601.99 c GARBAGE COLLECT
599.94/601.99 c #Conflicts: 199000 | #Constraints: 11581
599.94/601.99 c #Conflicts: 200000 | #Constraints: 12581
599.94/601.99 c #Conflicts: 201000 | #Constraints: 13581
599.94/601.99 c #Conflicts: 202000 | #Constraints: 14581
599.94/601.99 c #Conflicts: 203000 | #Constraints: 15581
599.94/601.99 c #Conflicts: 204000 | #Constraints: 16581
599.94/601.99 c #Conflicts: 205000 | #Constraints: 17581
599.94/601.99 c #Conflicts: 206000 | #Constraints: 18581
599.94/601.99 c #Conflicts: 207000 | #Constraints: 19581
599.94/601.99 c INPROCESSING
599.94/601.99 c GARBAGE COLLECT
599.94/601.99 c #Conflicts: 208000 | #Constraints: 11590
599.94/601.99 c #Conflicts: 209000 | #Constraints: 12590
599.94/601.99 c #Conflicts: 210000 | #Constraints: 13590
599.94/601.99 c #Conflicts: 211000 | #Constraints: 14590
599.94/601.99 c #Conflicts: 212000 | #Constraints: 15590
599.94/601.99 c #Conflicts: 213000 | #Constraints: 16590
708.82/711.17 c #Conflicts: 214000 | #Constraints: 17590
708.82/711.17 c #Conflicts: 215000 | #Constraints: 18590
708.82/711.17 c #Conflicts: 216000 | #Constraints: 19590
708.82/711.17 c INPROCESSING
708.82/711.17 c GARBAGE COLLECT
708.82/711.17 c #Conflicts: 217000 | #Constraints: 11384
708.82/711.17 c #Conflicts: 218000 | #Constraints: 12384
708.82/711.17 c #Conflicts: 219000 | #Constraints: 13384
708.82/711.17 c #Conflicts: 220000 | #Constraints: 14384
708.82/711.17 c #Conflicts: 221000 | #Constraints: 15384
708.82/711.17 c #Conflicts: 222000 | #Constraints: 16384
708.82/711.17 c #Conflicts: 223000 | #Constraints: 17384
708.82/711.17 c #Conflicts: 224000 | #Constraints: 18384
708.82/711.17 c #Conflicts: 225000 | #Constraints: 19384
708.82/711.17 c #Conflicts: 226000 | #Constraints: 20384
708.82/711.17 c INPROCESSING
708.82/711.17 c GARBAGE COLLECT
708.82/711.17 c #Conflicts: 227000 | #Constraints: 11990
708.82/711.17 c #Conflicts: 228000 | #Constraints: 12990
708.82/711.17 c #Conflicts: 229000 | #Constraints: 13990
708.82/711.17 c #Conflicts: 230000 | #Constraints: 14990
708.82/711.17 c #Conflicts: 231000 | #Constraints: 15990
708.82/711.17 c #Conflicts: 232000 | #Constraints: 16990
708.82/711.17 c #Conflicts: 233000 | #Constraints: 17990
708.82/711.17 c #Conflicts: 234000 | #Constraints: 18990
708.82/711.17 c #Conflicts: 235000 | #Constraints: 19990
708.82/711.17 c #Conflicts: 236000 | #Constraints: 20990
708.82/711.17 c INPROCESSING
708.82/711.17 c GARBAGE COLLECT
708.82/711.17 c #Conflicts: 237000 | #Constraints: 12383
708.82/711.17 c #Conflicts: 238000 | #Constraints: 13383
708.82/711.17 c #Conflicts: 239000 | #Constraints: 14383
708.82/711.17 c #Conflicts: 240000 | #Constraints: 15383
708.82/711.17 c #Conflicts: 241000 | #Constraints: 16383
708.82/711.17 c #Conflicts: 242000 | #Constraints: 17383
708.82/711.17 c #Conflicts: 243000 | #Constraints: 18383
708.82/711.17 c #Conflicts: 244000 | #Constraints: 19383
708.82/711.17 c #Conflicts: 245000 | #Constraints: 20383
708.82/711.17 c #Conflicts: 246000 | #Constraints: 21383
708.82/711.17 c INPROCESSING
708.82/711.17 c GARBAGE COLLECT
708.82/711.17 c #Conflicts: 247000 | #Constraints: 12585
708.82/711.17 c #Conflicts: 248000 | #Constraints: 13585
708.82/711.17 c #Conflicts: 249000 | #Constraints: 14585
708.82/711.17 c #Conflicts: 250000 | #Constraints: 15585
708.82/711.17 c #Conflicts: 251000 | #Constraints: 16585
708.82/711.17 c #Conflicts: 252000 | #Constraints: 17585
708.82/711.17 c #Conflicts: 253000 | #Constraints: 18585
708.82/711.17 c #Conflicts: 254000 | #Constraints: 19585
708.82/711.17 c #Conflicts: 255000 | #Constraints: 20585
708.82/711.17 c #Conflicts: 256000 | #Constraints: 21585
708.82/711.17 c INPROCESSING
708.82/711.17 c GARBAGE COLLECT
708.82/711.17 c #Conflicts: 257000 | #Constraints: 12580
708.82/711.17 c #Conflicts: 258000 | #Constraints: 13580
708.82/711.17 c #Conflicts: 259000 | #Constraints: 14580
708.82/711.17 c #Conflicts: 260000 | #Constraints: 15580
708.82/711.17 c #Conflicts: 261000 | #Constraints: 16580
708.82/711.17 c #Conflicts: 262000 | #Constraints: 17580
708.82/711.17 c #Conflicts: 263000 | #Constraints: 18580
708.82/711.17 c #Conflicts: 264000 | #Constraints: 19580
708.82/711.17 c #Conflicts: 265000 | #Constraints: 20580
708.82/711.17 c #Conflicts: 266000 | #Constraints: 21580
708.82/711.17 c INPROCESSING
708.82/711.17 c GARBAGE COLLECT
708.82/711.17 c #Conflicts: 267000 | #Constraints: 12397
708.82/711.17 c #Conflicts: 268000 | #Constraints: 13397
708.82/711.17 c #Conflicts: 269000 | #Constraints: 14397
708.82/711.17 c #Conflicts: 270000 | #Constraints: 15397
708.82/711.17 c #Conflicts: 271000 | #Constraints: 16397
708.82/711.17 c #Conflicts: 272000 | #Constraints: 17397
708.82/711.17 c #Conflicts: 273000 | #Constraints: 18397
708.82/711.17 c #Conflicts: 274000 | #Constraints: 19397
708.82/711.17 c #Conflicts: 275000 | #Constraints: 20397
708.82/711.17 c #Conflicts: 276000 | #Constraints: 21397
708.82/711.17 c #Conflicts: 277000 | #Constraints: 22397
708.82/711.17 c INPROCESSING
708.82/711.17 c GARBAGE COLLECT
708.82/711.17 c #Conflicts: 278000 | #Constraints: 12987
708.82/711.17 c #Conflicts: 279000 | #Constraints: 13987
708.82/711.17 c #Conflicts: 280000 | #Constraints: 14987
708.82/711.17 c #Conflicts: 281000 | #Constraints: 15987
708.82/711.17 c #Conflicts: 282000 | #Constraints: 16987
708.82/711.17 c #Conflicts: 283000 | #Constraints: 17987
708.82/711.17 c #Conflicts: 284000 | #Constraints: 18987
708.82/711.17 c #Conflicts: 285000 | #Constraints: 19987
708.82/711.17 c #Conflicts: 286000 | #Constraints: 20987
708.82/711.17 c #Conflicts: 287000 | #Constraints: 21987
851.39/854.17 c #Conflicts: 288000 | #Constraints: 22987
851.39/854.17 c INPROCESSING
851.39/854.17 c GARBAGE COLLECT
851.39/854.17 c #Conflicts: 289000 | #Constraints: 13379
851.39/854.17 c #Conflicts: 290000 | #Constraints: 14379
851.39/854.17 c #Conflicts: 291000 | #Constraints: 15379
851.39/854.17 c #Conflicts: 292000 | #Constraints: 16379
851.39/854.17 c #Conflicts: 293000 | #Constraints: 17379
851.39/854.17 c #Conflicts: 294000 | #Constraints: 18379
851.39/854.17 c #Conflicts: 295000 | #Constraints: 19379
851.39/854.17 c #Conflicts: 296000 | #Constraints: 20379
851.39/854.17 c #Conflicts: 297000 | #Constraints: 21379
851.39/854.17 c #Conflicts: 298000 | #Constraints: 22379
851.39/854.17 c #Conflicts: 299000 | #Constraints: 23379
851.39/854.17 c INPROCESSING
851.39/854.17 c GARBAGE COLLECT
851.39/854.17 c #Conflicts: 300000 | #Constraints: 13590
851.39/854.17 c #Conflicts: 301000 | #Constraints: 14590
851.39/854.17 c #Conflicts: 302000 | #Constraints: 15590
851.39/854.17 c #Conflicts: 303000 | #Constraints: 16590
851.39/854.17 c #Conflicts: 304000 | #Constraints: 17590
851.39/854.17 c #Conflicts: 305000 | #Constraints: 18590
851.39/854.17 c #Conflicts: 306000 | #Constraints: 19590
851.39/854.18 c #Conflicts: 307000 | #Constraints: 20590
851.39/854.18 c #Conflicts: 308000 | #Constraints: 21590
851.39/854.18 c #Conflicts: 309000 | #Constraints: 22590
851.39/854.18 c #Conflicts: 310000 | #Constraints: 23590
851.39/854.18 c INPROCESSING
851.39/854.18 c GARBAGE COLLECT
851.39/854.18 c #Conflicts: 311000 | #Constraints: 13599
851.39/854.18 c #Conflicts: 312000 | #Constraints: 14599
851.39/854.18 c #Conflicts: 313000 | #Constraints: 15599
851.39/854.18 c #Conflicts: 314000 | #Constraints: 16599
851.39/854.18 c #Conflicts: 315000 | #Constraints: 17599
851.39/854.18 c #Conflicts: 316000 | #Constraints: 18599
851.39/854.18 c #Conflicts: 317000 | #Constraints: 19599
851.39/854.18 c #Conflicts: 318000 | #Constraints: 20599
851.39/854.18 c #Conflicts: 319000 | #Constraints: 21599
851.39/854.18 c #Conflicts: 320000 | #Constraints: 22599
851.39/854.18 c #Conflicts: 321000 | #Constraints: 23599
851.39/854.18 c INPROCESSING
851.39/854.18 c GARBAGE COLLECT
851.39/854.18 c #Conflicts: 322000 | #Constraints: 13400
851.39/854.18 c #Conflicts: 323000 | #Constraints: 14400
851.39/854.18 c #Conflicts: 324000 | #Constraints: 15400
851.39/854.18 c #Conflicts: 325000 | #Constraints: 16400
851.39/854.18 c #Conflicts: 326000 | #Constraints: 17400
851.39/854.18 c #Conflicts: 327000 | #Constraints: 18400
851.39/854.18 c #Conflicts: 328000 | #Constraints: 19400
851.39/854.18 c #Conflicts: 329000 | #Constraints: 20400
851.39/854.18 c #Conflicts: 330000 | #Constraints: 21400
851.39/854.18 c #Conflicts: 331000 | #Constraints: 22400
851.39/854.18 c #Conflicts: 332000 | #Constraints: 23400
851.39/854.18 c #Conflicts: 333000 | #Constraints: 24400
851.39/854.18 c INPROCESSING
851.39/854.18 c GARBAGE COLLECT
851.39/854.18 c #Conflicts: 334000 | #Constraints: 13992
851.39/854.18 c #Conflicts: 335000 | #Constraints: 14992
851.39/854.18 c #Conflicts: 336000 | #Constraints: 15992
851.39/854.18 c #Conflicts: 337000 | #Constraints: 16992
851.39/854.18 c #Conflicts: 338000 | #Constraints: 17992
851.39/854.18 c #Conflicts: 339000 | #Constraints: 18992
851.39/854.18 c #Conflicts: 340000 | #Constraints: 19992
851.39/854.18 c #Conflicts: 341000 | #Constraints: 20992
851.39/854.18 c #Conflicts: 342000 | #Constraints: 21992
851.39/854.18 c #Conflicts: 343000 | #Constraints: 22992
851.39/854.18 c #Conflicts: 344000 | #Constraints: 23992
851.39/854.18 c #Conflicts: 345000 | #Constraints: 24992
851.39/854.18 c INPROCESSING
851.39/854.18 c GARBAGE COLLECT
851.39/854.18 c #Conflicts: 346000 | #Constraints: 14377
851.39/854.18 c #Conflicts: 347000 | #Constraints: 15377
851.39/854.18 c #Conflicts: 348000 | #Constraints: 16377
851.39/854.18 c #Conflicts: 349000 | #Constraints: 17377
851.39/854.18 c #Conflicts: 350000 | #Constraints: 18377
851.39/854.18 c #Conflicts: 351000 | #Constraints: 19377
851.39/854.18 c #Conflicts: 352000 | #Constraints: 20377
851.39/854.18 c #Conflicts: 353000 | #Constraints: 21377
851.39/854.18 c #Conflicts: 354000 | #Constraints: 22377
851.39/854.18 c #Conflicts: 355000 | #Constraints: 23377
851.39/854.18 c #Conflicts: 356000 | #Constraints: 24377
851.39/854.18 c #Conflicts: 357000 | #Constraints: 25377
851.39/854.18 c INPROCESSING
851.39/854.18 c GARBAGE COLLECT
851.39/854.18 c #Conflicts: 358000 | #Constraints: 14571
851.39/854.18 c #Conflicts: 359000 | #Constraints: 15571
851.39/854.18 c #Conflicts: 360000 | #Constraints: 16571
851.39/854.18 c #Conflicts: 361000 | #Constraints: 17571
994.95/998.16 c #Conflicts: 362000 | #Constraints: 18571
994.95/998.16 c #Conflicts: 363000 | #Constraints: 19571
994.95/998.16 c #Conflicts: 364000 | #Constraints: 20571
994.95/998.16 c #Conflicts: 365000 | #Constraints: 21571
994.95/998.16 c #Conflicts: 366000 | #Constraints: 22571
994.95/998.16 c #Conflicts: 367000 | #Constraints: 23571
994.95/998.16 c #Conflicts: 368000 | #Constraints: 24571
994.95/998.16 c #Conflicts: 369000 | #Constraints: 25571
994.95/998.16 c INPROCESSING
994.95/998.16 c GARBAGE COLLECT
994.95/998.16 c #Conflicts: 370000 | #Constraints: 14587
994.95/998.16 c #Conflicts: 371000 | #Constraints: 15587
994.95/998.16 c #Conflicts: 372000 | #Constraints: 16587
994.95/998.16 c #Conflicts: 373000 | #Constraints: 17587
994.95/998.16 c #Conflicts: 374000 | #Constraints: 18587
994.95/998.16 c #Conflicts: 375000 | #Constraints: 19587
994.95/998.16 c #Conflicts: 376000 | #Constraints: 20587
994.95/998.16 c #Conflicts: 377000 | #Constraints: 21587
994.95/998.16 c #Conflicts: 378000 | #Constraints: 22587
994.95/998.16 c #Conflicts: 379000 | #Constraints: 23587
994.95/998.16 c #Conflicts: 380000 | #Constraints: 24587
994.95/998.16 c #Conflicts: 381000 | #Constraints: 25587
994.95/998.16 c INPROCESSING
994.95/998.16 c GARBAGE COLLECT
994.95/998.16 c #Conflicts: 382000 | #Constraints: 14383
994.95/998.16 c #Conflicts: 383000 | #Constraints: 15383
994.95/998.16 c #Conflicts: 384000 | #Constraints: 16383
994.95/998.16 c #Conflicts: 385000 | #Constraints: 17383
994.95/998.16 c #Conflicts: 386000 | #Constraints: 18383
994.95/998.16 c #Conflicts: 387000 | #Constraints: 19383
994.95/998.16 c #Conflicts: 388000 | #Constraints: 20383
994.95/998.16 c #Conflicts: 389000 | #Constraints: 21383
994.95/998.16 c #Conflicts: 390000 | #Constraints: 22383
994.95/998.16 c #Conflicts: 391000 | #Constraints: 23383
994.95/998.16 c #Conflicts: 392000 | #Constraints: 24383
994.95/998.16 c #Conflicts: 393000 | #Constraints: 25383
994.95/998.16 c #Conflicts: 394000 | #Constraints: 26383
994.95/998.16 c INPROCESSING
994.95/998.16 c GARBAGE COLLECT
994.95/998.16 c #Conflicts: 395000 | #Constraints: 14993
994.95/998.16 c #Conflicts: 396000 | #Constraints: 15993
994.95/998.16 c #Conflicts: 397000 | #Constraints: 16993
994.95/998.16 c #Conflicts: 398000 | #Constraints: 17993
994.95/998.16 c #Conflicts: 399000 | #Constraints: 18993
994.95/998.16 c #Conflicts: 400000 | #Constraints: 19993
994.95/998.16 c #Conflicts: 401000 | #Constraints: 20993
994.95/998.16 c #Conflicts: 402000 | #Constraints: 21993
994.95/998.16 c #Conflicts: 403000 | #Constraints: 22993
994.95/998.16 c #Conflicts: 404000 | #Constraints: 23993
994.95/998.16 c #Conflicts: 405000 | #Constraints: 24993
994.95/998.16 c #Conflicts: 406000 | #Constraints: 25993
994.95/998.16 c #Conflicts: 407000 | #Constraints: 26993
994.95/998.16 c INPROCESSING
994.95/998.16 c GARBAGE COLLECT
994.95/998.16 c #Conflicts: 408000 | #Constraints: 15394
994.95/998.16 c #Conflicts: 409000 | #Constraints: 16394
994.95/998.16 c #Conflicts: 410000 | #Constraints: 17394
994.95/998.16 c #Conflicts: 411000 | #Constraints: 18394
994.95/998.16 c #Conflicts: 412000 | #Constraints: 19394
994.95/998.16 c #Conflicts: 413000 | #Constraints: 20394
994.95/998.16 c #Conflicts: 414000 | #Constraints: 21394
994.95/998.16 c #Conflicts: 415000 | #Constraints: 22394
994.95/998.16 c #Conflicts: 416000 | #Constraints: 23394
994.95/998.16 c #Conflicts: 417000 | #Constraints: 24394
994.95/998.16 c #Conflicts: 418000 | #Constraints: 25394
994.95/998.16 c #Conflicts: 419000 | #Constraints: 26394
994.95/998.16 c #Conflicts: 420000 | #Constraints: 27394
994.95/998.16 c INPROCESSING
994.95/998.16 c GARBAGE COLLECT
994.95/998.16 c #Conflicts: 421000 | #Constraints: 15609
994.95/998.16 c #Conflicts: 422000 | #Constraints: 16609
994.95/998.16 c #Conflicts: 423000 | #Constraints: 17609
994.95/998.16 c #Conflicts: 424000 | #Constraints: 18609
994.95/998.16 c #Conflicts: 425000 | #Constraints: 19609
994.95/998.16 c #Conflicts: 426000 | #Constraints: 20609
994.95/998.16 c #Conflicts: 427000 | #Constraints: 21609
994.95/998.16 c #Conflicts: 428000 | #Constraints: 22609
994.95/998.16 c #Conflicts: 429000 | #Constraints: 23609
994.95/998.16 c #Conflicts: 430000 | #Constraints: 24609
994.95/998.16 c #Conflicts: 431000 | #Constraints: 25609
994.95/998.16 c #Conflicts: 432000 | #Constraints: 26609
994.95/998.16 c #Conflicts: 433000 | #Constraints: 27609
994.95/998.16 c INPROCESSING
994.95/998.16 c GARBAGE COLLECT
994.95/998.16 c #Conflicts: 434000 | #Constraints: 15616
994.95/998.16 c #Conflicts: 435000 | #Constraints: 16616
994.95/998.16 c #Conflicts: 436000 | #Constraints: 17616
1176.47/1180.27 c #Conflicts: 437000 | #Constraints: 18616
1176.47/1180.27 c #Conflicts: 438000 | #Constraints: 19616
1176.47/1180.27 c #Conflicts: 439000 | #Constraints: 20616
1176.47/1180.27 c #Conflicts: 440000 | #Constraints: 21616
1176.47/1180.27 c #Conflicts: 441000 | #Constraints: 22616
1176.47/1180.27 c #Conflicts: 442000 | #Constraints: 23616
1176.47/1180.27 c #Conflicts: 443000 | #Constraints: 24616
1176.47/1180.27 c #Conflicts: 444000 | #Constraints: 25616
1176.47/1180.27 c #Conflicts: 445000 | #Constraints: 26616
1176.47/1180.27 c #Conflicts: 446000 | #Constraints: 27616
1176.47/1180.27 c INPROCESSING
1176.47/1180.27 c GARBAGE COLLECT
1176.47/1180.27 c #Conflicts: 447000 | #Constraints: 15414
1176.47/1180.27 c #Conflicts: 448000 | #Constraints: 16414
1176.47/1180.27 c #Conflicts: 449000 | #Constraints: 17414
1176.47/1180.27 c #Conflicts: 450000 | #Constraints: 18414
1176.47/1180.27 c #Conflicts: 451000 | #Constraints: 19414
1176.47/1180.27 c #Conflicts: 452000 | #Constraints: 20414
1176.47/1180.27 c #Conflicts: 453000 | #Constraints: 21414
1176.47/1180.27 c #Conflicts: 454000 | #Constraints: 22414
1176.47/1180.27 c #Conflicts: 455000 | #Constraints: 23414
1176.47/1180.27 c #Conflicts: 456000 | #Constraints: 24414
1176.47/1180.27 c #Conflicts: 457000 | #Constraints: 25414
1176.47/1180.27 c #Conflicts: 458000 | #Constraints: 26414
1176.47/1180.27 c #Conflicts: 459000 | #Constraints: 27414
1176.47/1180.27 c #Conflicts: 460000 | #Constraints: 28414
1176.47/1180.27 c INPROCESSING
1176.47/1180.27 c GARBAGE COLLECT
1176.47/1180.27 c #Conflicts: 461000 | #Constraints: 16024
1176.47/1180.27 c #Conflicts: 462000 | #Constraints: 17024
1176.47/1180.27 c #Conflicts: 463000 | #Constraints: 18024
1176.47/1180.27 c #Conflicts: 464000 | #Constraints: 19024
1176.47/1180.27 c #Conflicts: 465000 | #Constraints: 20024
1176.47/1180.27 c #Conflicts: 466000 | #Constraints: 21024
1176.47/1180.27 c #Conflicts: 467000 | #Constraints: 22024
1176.47/1180.27 c #Conflicts: 468000 | #Constraints: 23024
1176.47/1180.27 c #Conflicts: 469000 | #Constraints: 24024
1176.47/1180.27 c #Conflicts: 470000 | #Constraints: 25024
1176.47/1180.27 c #Conflicts: 471000 | #Constraints: 26024
1176.47/1180.27 c #Conflicts: 472000 | #Constraints: 27024
1176.47/1180.27 c #Conflicts: 473000 | #Constraints: 28024
1176.47/1180.27 c #Conflicts: 474000 | #Constraints: 29024
1176.47/1180.27 c INPROCESSING
1176.47/1180.27 c GARBAGE COLLECT
1176.47/1180.27 c #Conflicts: 475000 | #Constraints: 16414
1176.47/1180.27 c #Conflicts: 476000 | #Constraints: 17414
1176.47/1180.27 c #Conflicts: 477000 | #Constraints: 18414
1176.47/1180.27 c #Conflicts: 478000 | #Constraints: 19414
1176.47/1180.27 c #Conflicts: 479000 | #Constraints: 20414
1176.47/1180.27 c #Conflicts: 480000 | #Constraints: 21414
1176.47/1180.27 c #Conflicts: 481000 | #Constraints: 22414
1176.47/1180.27 c #Conflicts: 482000 | #Constraints: 23414
1176.47/1180.27 c #Conflicts: 483000 | #Constraints: 24414
1176.47/1180.27 c #Conflicts: 484000 | #Constraints: 25414
1176.47/1180.27 c #Conflicts: 485000 | #Constraints: 26414
1176.47/1180.27 c #Conflicts: 486000 | #Constraints: 27414
1176.47/1180.27 c #Conflicts: 487000 | #Constraints: 28414
1176.47/1180.27 c #Conflicts: 488000 | #Constraints: 29414
1176.47/1180.27 c INPROCESSING
1176.47/1180.27 c GARBAGE COLLECT
1176.47/1180.27 c #Conflicts: 489000 | #Constraints: 16626
1176.47/1180.27 c #Conflicts: 490000 | #Constraints: 17626
1176.47/1180.27 c #Conflicts: 491000 | #Constraints: 18626
1176.47/1180.27 c #Conflicts: 492000 | #Constraints: 19626
1176.47/1180.27 c #Conflicts: 493000 | #Constraints: 20626
1176.47/1180.27 c #Conflicts: 494000 | #Constraints: 21626
1176.47/1180.27 c #Conflicts: 495000 | #Constraints: 22626
1176.47/1180.27 c #Conflicts: 496000 | #Constraints: 23626
1176.47/1180.27 c #Conflicts: 497000 | #Constraints: 24626
1176.47/1180.27 c #Conflicts: 498000 | #Constraints: 25626
1176.47/1180.27 c #Conflicts: 499000 | #Constraints: 26626
1176.47/1180.27 c #Conflicts: 500000 | #Constraints: 27626
1176.47/1180.27 c #Conflicts: 501000 | #Constraints: 28626
1176.47/1180.27 c #Conflicts: 502000 | #Constraints: 29626
1176.47/1180.27 c INPROCESSING
1176.47/1180.27 c GARBAGE COLLECT
1176.47/1180.27 c #Conflicts: 503000 | #Constraints: 16620
1176.47/1180.27 c #Conflicts: 504000 | #Constraints: 17620
1176.47/1180.27 c #Conflicts: 505000 | #Constraints: 18620
1176.47/1180.27 c #Conflicts: 506000 | #Constraints: 19620
1176.47/1180.27 c #Conflicts: 507000 | #Constraints: 20620
1176.47/1180.27 c #Conflicts: 508000 | #Constraints: 21620
1176.47/1180.27 c #Conflicts: 509000 | #Constraints: 22620
1176.47/1180.27 c #Conflicts: 510000 | #Constraints: 23620
1176.47/1180.27 c #Conflicts: 511000 | #Constraints: 24620
1176.47/1180.27 c #Conflicts: 512000 | #Constraints: 25620
1307.79/1311.97 c #Conflicts: 513000 | #Constraints: 26620
1307.79/1311.97 c #Conflicts: 514000 | #Constraints: 27620
1307.79/1311.97 c #Conflicts: 515000 | #Constraints: 28620
1307.79/1311.97 c #Conflicts: 516000 | #Constraints: 29620
1307.79/1311.97 c INPROCESSING
1307.79/1311.97 c GARBAGE COLLECT
1307.79/1311.97 c #Conflicts: 517000 | #Constraints: 16394
1307.79/1311.97 c #Conflicts: 518000 | #Constraints: 17394
1307.79/1311.97 c #Conflicts: 519000 | #Constraints: 18394
1307.79/1311.97 c #Conflicts: 520000 | #Constraints: 19394
1307.79/1311.97 c #Conflicts: 521000 | #Constraints: 20394
1307.79/1311.97 c #Conflicts: 522000 | #Constraints: 21394
1307.79/1311.97 c #Conflicts: 523000 | #Constraints: 22394
1307.79/1311.97 c #Conflicts: 524000 | #Constraints: 23394
1307.79/1311.97 c #Conflicts: 525000 | #Constraints: 24394
1307.79/1311.97 c #Conflicts: 526000 | #Constraints: 25394
1307.79/1311.97 c #Conflicts: 527000 | #Constraints: 26394
1307.79/1311.97 c #Conflicts: 528000 | #Constraints: 27394
1307.79/1311.97 c #Conflicts: 529000 | #Constraints: 28394
1307.79/1311.97 c #Conflicts: 530000 | #Constraints: 29394
1307.79/1311.97 c #Conflicts: 531000 | #Constraints: 30394
1307.79/1311.97 c INPROCESSING
1307.79/1311.97 c GARBAGE COLLECT
1307.79/1311.97 c #Conflicts: 532000 | #Constraints: 17004
1307.79/1311.97 c #Conflicts: 533000 | #Constraints: 18004
1307.79/1311.97 c #Conflicts: 534000 | #Constraints: 19004
1307.79/1311.97 c #Conflicts: 535000 | #Constraints: 20004
1307.79/1311.97 c #Conflicts: 536000 | #Constraints: 21004
1307.79/1311.97 c #Conflicts: 537000 | #Constraints: 22004
1307.79/1311.97 c #Conflicts: 538000 | #Constraints: 23004
1307.79/1311.97 c #Conflicts: 539000 | #Constraints: 24004
1307.79/1311.97 c #Conflicts: 540000 | #Constraints: 25004
1307.79/1311.97 c #Conflicts: 541000 | #Constraints: 26004
1307.79/1311.97 c #Conflicts: 542000 | #Constraints: 27004
1307.79/1311.97 c #Conflicts: 543000 | #Constraints: 28004
1307.79/1311.97 c #Conflicts: 544000 | #Constraints: 29004
1307.79/1311.97 c #Conflicts: 545000 | #Constraints: 30004
1307.79/1311.97 c #Conflicts: 546000 | #Constraints: 31004
1307.79/1311.97 c INPROCESSING
1307.79/1311.97 c GARBAGE COLLECT
1307.79/1311.97 c #Conflicts: 547000 | #Constraints: 17389
1307.79/1311.97 c #Conflicts: 548000 | #Constraints: 18389
1307.79/1311.97 c #Conflicts: 549000 | #Constraints: 19389
1307.79/1311.97 c #Conflicts: 550000 | #Constraints: 20389
1307.79/1311.97 c #Conflicts: 551000 | #Constraints: 21389
1307.79/1311.97 c #Conflicts: 552000 | #Constraints: 22389
1307.79/1311.97 c #Conflicts: 553000 | #Constraints: 23389
1307.79/1311.97 c #Conflicts: 554000 | #Constraints: 24389
1307.79/1311.97 c #Conflicts: 555000 | #Constraints: 25389
1307.79/1311.97 c #Conflicts: 556000 | #Constraints: 26389
1307.79/1311.97 c #Conflicts: 557000 | #Constraints: 27389
1307.79/1311.97 c #Conflicts: 558000 | #Constraints: 28389
1307.79/1311.97 c #Conflicts: 559000 | #Constraints: 29389
1307.79/1311.97 c #Conflicts: 560000 | #Constraints: 30389
1307.79/1311.97 c #Conflicts: 561000 | #Constraints: 31389
1307.79/1311.97 c INPROCESSING
1307.79/1311.97 c GARBAGE COLLECT
1307.79/1311.97 c #Conflicts: 562000 | #Constraints: 17596
1307.79/1311.97 c #Conflicts: 563000 | #Constraints: 18596
1307.79/1311.97 c #Conflicts: 564000 | #Constraints: 19596
1307.79/1311.97 c #Conflicts: 565000 | #Constraints: 20596
1307.79/1311.97 c #Conflicts: 566000 | #Constraints: 21596
1307.79/1311.97 c #Conflicts: 567000 | #Constraints: 22596
1307.79/1311.97 c #Conflicts: 568000 | #Constraints: 23596
1307.79/1311.97 c #Conflicts: 569000 | #Constraints: 24596
1307.79/1311.97 c #Conflicts: 570000 | #Constraints: 25596
1307.79/1311.97 c #Conflicts: 571000 | #Constraints: 26596
1307.79/1311.97 c #Conflicts: 572000 | #Constraints: 27596
1307.79/1311.97 c #Conflicts: 573000 | #Constraints: 28596
1307.79/1311.97 c #Conflicts: 574000 | #Constraints: 29596
1307.79/1311.97 c #Conflicts: 575000 | #Constraints: 30596
1307.79/1311.97 c #Conflicts: 576000 | #Constraints: 31596
1307.79/1311.97 c INPROCESSING
1307.79/1311.97 c GARBAGE COLLECT
1307.79/1311.97 c #Conflicts: 577000 | #Constraints: 17599
1307.79/1311.97 c #Conflicts: 578000 | #Constraints: 18599
1307.79/1311.97 c #Conflicts: 579000 | #Constraints: 19599
1307.79/1311.97 c #Conflicts: 580000 | #Constraints: 20599
1307.79/1311.97 c #Conflicts: 581000 | #Constraints: 21599
1307.79/1311.97 c #Conflicts: 582000 | #Constraints: 22599
1307.79/1311.97 c #Conflicts: 583000 | #Constraints: 23599
1307.79/1311.97 c #Conflicts: 584000 | #Constraints: 24599
1307.79/1311.97 c #Conflicts: 585000 | #Constraints: 25599
1307.79/1311.97 c #Conflicts: 586000 | #Constraints: 26599
1307.79/1311.97 c #Conflicts: 587000 | #Constraints: 27599
1307.79/1311.97 c #Conflicts: 588000 | #Constraints: 28599
1486.58/1491.24 c #Conflicts: 589000 | #Constraints: 29599
1486.58/1491.24 c #Conflicts: 590000 | #Constraints: 30599
1486.58/1491.24 c #Conflicts: 591000 | #Constraints: 31599
1486.58/1491.24 c INPROCESSING
1486.58/1491.24 c GARBAGE COLLECT
1486.58/1491.24 c #Conflicts: 592000 | #Constraints: 17409
1486.58/1491.24 c #Conflicts: 593000 | #Constraints: 18409
1486.58/1491.24 c #Conflicts: 594000 | #Constraints: 19409
1486.58/1491.24 c #Conflicts: 595000 | #Constraints: 20409
1486.58/1491.24 c #Conflicts: 596000 | #Constraints: 21409
1486.58/1491.24 c #Conflicts: 597000 | #Constraints: 22409
1486.58/1491.24 c #Conflicts: 598000 | #Constraints: 23409
1486.58/1491.24 c #Conflicts: 599000 | #Constraints: 24409
1486.58/1491.24 c #Conflicts: 600000 | #Constraints: 25409
1486.58/1491.24 c #Conflicts: 601000 | #Constraints: 26409
1486.58/1491.24 c #Conflicts: 602000 | #Constraints: 27409
1486.58/1491.24 c #Conflicts: 603000 | #Constraints: 28409
1486.58/1491.24 c #Conflicts: 604000 | #Constraints: 29409
1486.58/1491.24 c #Conflicts: 605000 | #Constraints: 30409
1486.58/1491.24 c #Conflicts: 606000 | #Constraints: 31409
1486.58/1491.24 c #Conflicts: 607000 | #Constraints: 32409
1486.58/1491.24 c INPROCESSING
1486.58/1491.24 c GARBAGE COLLECT
1486.58/1491.24 c #Conflicts: 608000 | #Constraints: 18001
1486.58/1491.24 c #Conflicts: 609000 | #Constraints: 19001
1486.58/1491.24 c #Conflicts: 610000 | #Constraints: 20001
1486.58/1491.24 c #Conflicts: 611000 | #Constraints: 21001
1486.58/1491.24 c #Conflicts: 612000 | #Constraints: 22001
1486.58/1491.24 c #Conflicts: 613000 | #Constraints: 23001
1486.58/1491.24 c #Conflicts: 614000 | #Constraints: 24001
1486.58/1491.24 c #Conflicts: 615000 | #Constraints: 25001
1486.58/1491.24 c #Conflicts: 616000 | #Constraints: 26001
1486.58/1491.24 c #Conflicts: 617000 | #Constraints: 27001
1486.58/1491.24 c #Conflicts: 618000 | #Constraints: 28001
1486.58/1491.24 c #Conflicts: 619000 | #Constraints: 29001
1486.58/1491.24 c #Conflicts: 620000 | #Constraints: 30001
1486.58/1491.24 c #Conflicts: 621000 | #Constraints: 31001
1486.58/1491.24 c #Conflicts: 622000 | #Constraints: 32001
1486.58/1491.24 c #Conflicts: 623000 | #Constraints: 33001
1486.58/1491.24 c INPROCESSING
1486.58/1491.24 c GARBAGE COLLECT
1486.58/1491.24 c #Conflicts: 624000 | #Constraints: 18399
1486.58/1491.24 c #Conflicts: 625000 | #Constraints: 19399
1486.58/1491.24 c #Conflicts: 626000 | #Constraints: 20399
1486.58/1491.24 c #Conflicts: 627000 | #Constraints: 21399
1486.58/1491.24 c #Conflicts: 628000 | #Constraints: 22399
1486.58/1491.24 c #Conflicts: 629000 | #Constraints: 23399
1486.58/1491.24 c #Conflicts: 630000 | #Constraints: 24399
1486.58/1491.24 c #Conflicts: 631000 | #Constraints: 25399
1486.58/1491.24 c #Conflicts: 632000 | #Constraints: 26399
1486.58/1491.24 c #Conflicts: 633000 | #Constraints: 27399
1486.58/1491.24 c #Conflicts: 634000 | #Constraints: 28399
1486.58/1491.24 c #Conflicts: 635000 | #Constraints: 29399
1486.58/1491.24 c #Conflicts: 636000 | #Constraints: 30399
1486.58/1491.24 c #Conflicts: 637000 | #Constraints: 31399
1486.58/1491.24 c #Conflicts: 638000 | #Constraints: 32399
1486.58/1491.24 c #Conflicts: 639000 | #Constraints: 33399
1486.58/1491.24 c INPROCESSING
1486.58/1491.24 c GARBAGE COLLECT
1486.58/1491.24 c #Conflicts: 640000 | #Constraints: 18611
1486.58/1491.24 c #Conflicts: 641000 | #Constraints: 19611
1486.58/1491.24 c #Conflicts: 642000 | #Constraints: 20611
1486.58/1491.24 c #Conflicts: 643000 | #Constraints: 21611
1486.58/1491.24 c #Conflicts: 644000 | #Constraints: 22611
1486.58/1491.24 c #Conflicts: 645000 | #Constraints: 23611
1486.58/1491.24 c #Conflicts: 646000 | #Constraints: 24611
1486.58/1491.24 c #Conflicts: 647000 | #Constraints: 25611
1486.58/1491.24 c #Conflicts: 648000 | #Constraints: 26611
1486.58/1491.24 c #Conflicts: 649000 | #Constraints: 27611
1486.58/1491.24 c #Conflicts: 650000 | #Constraints: 28611
1486.58/1491.24 c #Conflicts: 651000 | #Constraints: 29611
1486.58/1491.24 c #Conflicts: 652000 | #Constraints: 30611
1486.58/1491.24 c #Conflicts: 653000 | #Constraints: 31611
1486.58/1491.24 c #Conflicts: 654000 | #Constraints: 32611
1486.58/1491.24 c #Conflicts: 655000 | #Constraints: 33611
1486.58/1491.24 c INPROCESSING
1486.58/1491.24 c GARBAGE COLLECT
1486.58/1491.24 c #Conflicts: 656000 | #Constraints: 18610
1486.58/1491.24 c #Conflicts: 657000 | #Constraints: 19610
1486.58/1491.24 c #Conflicts: 658000 | #Constraints: 20610
1486.58/1491.24 c #Conflicts: 659000 | #Constraints: 21610
1486.58/1491.24 c #Conflicts: 660000 | #Constraints: 22610
1486.58/1491.24 c #Conflicts: 661000 | #Constraints: 23610
1486.58/1491.24 c #Conflicts: 662000 | #Constraints: 24610
1486.58/1491.24 c #Conflicts: 663000 | #Constraints: 25610
1804.96/1810.53 c #Conflicts: 664000 | #Constraints: 26610
1804.96/1810.53 c #Conflicts: 665000 | #Constraints: 27610
1804.96/1810.53 c #Conflicts: 666000 | #Constraints: 28610
1804.96/1810.53 c #Conflicts: 667000 | #Constraints: 29610
1804.96/1810.53 c #Conflicts: 668000 | #Constraints: 30610
1804.96/1810.53 c #Conflicts: 669000 | #Constraints: 31610
1804.96/1810.53 c #Conflicts: 670000 | #Constraints: 32610
1804.96/1810.53 c #Conflicts: 671000 | #Constraints: 33610
1804.96/1810.53 c INPROCESSING
1804.96/1810.53 c GARBAGE COLLECT
1804.96/1810.53 c #Conflicts: 672000 | #Constraints: 18390
1804.96/1810.53 c #Conflicts: 673000 | #Constraints: 19390
1804.96/1810.53 c #Conflicts: 674000 | #Constraints: 20390
1804.96/1810.53 c #Conflicts: 675000 | #Constraints: 21390
1804.96/1810.53 c #Conflicts: 676000 | #Constraints: 22390
1804.96/1810.53 c #Conflicts: 677000 | #Constraints: 23390
1804.96/1810.53 c #Conflicts: 678000 | #Constraints: 24390
1804.96/1810.53 c #Conflicts: 679000 | #Constraints: 25390
1804.96/1810.53 c #Conflicts: 680000 | #Constraints: 26390
1804.96/1810.53 c #Conflicts: 681000 | #Constraints: 27390
1804.96/1810.53 c #Conflicts: 682000 | #Constraints: 28390
1804.96/1810.53 c #Conflicts: 683000 | #Constraints: 29390
1804.96/1810.53 c #Conflicts: 684000 | #Constraints: 30390
1804.96/1810.53 c #Conflicts: 685000 | #Constraints: 31390
1804.96/1810.53 c #Conflicts: 686000 | #Constraints: 32390
1804.96/1810.53 c #Conflicts: 687000 | #Constraints: 33390
1804.96/1810.53 c #Conflicts: 688000 | #Constraints: 34390
1804.96/1810.53 c INPROCESSING
1804.96/1810.53 c GARBAGE COLLECT
1804.96/1810.53 c #Conflicts: 689000 | #Constraints: 18991
1804.96/1810.53 c #Conflicts: 690000 | #Constraints: 19991
1804.96/1810.53 c #Conflicts: 691000 | #Constraints: 20991
1804.96/1810.53 c #Conflicts: 692000 | #Constraints: 21991
1804.96/1810.53 c #Conflicts: 693000 | #Constraints: 22991
1804.96/1810.53 c #Conflicts: 694000 | #Constraints: 23991
1804.96/1810.53 c #Conflicts: 695000 | #Constraints: 24991
1804.96/1810.53 c #Conflicts: 696000 | #Constraints: 25991
1804.96/1810.53 c #Conflicts: 697000 | #Constraints: 26991
1804.96/1810.53 c #Conflicts: 698000 | #Constraints: 27991
1804.96/1810.53 c #Conflicts: 699000 | #Constraints: 28991
1804.96/1810.53 c #Conflicts: 700000 | #Constraints: 29991
1804.96/1810.53 c #Conflicts: 701000 | #Constraints: 30991
1804.96/1810.53 c #Conflicts: 702000 | #Constraints: 31991
1804.96/1810.53 c #Conflicts: 703000 | #Constraints: 32991
1804.96/1810.53 c #Conflicts: 704000 | #Constraints: 33991
1804.96/1810.53 c #Conflicts: 705000 | #Constraints: 34991
1804.96/1810.53 c INPROCESSING
1804.96/1810.53 c GARBAGE COLLECT
1804.96/1810.53 c #Conflicts: 706000 | #Constraints: 19424
1804.96/1810.53 c #Conflicts: 707000 | #Constraints: 20424
1804.96/1810.53 c #Conflicts: 708000 | #Constraints: 21424
1804.96/1810.53 c #Conflicts: 709000 | #Constraints: 22424
1804.96/1810.53 c #Conflicts: 710000 | #Constraints: 23424
1804.96/1810.53 c #Conflicts: 711000 | #Constraints: 24424
1804.96/1810.53 c #Conflicts: 712000 | #Constraints: 25424
1804.96/1810.53 c #Conflicts: 713000 | #Constraints: 26424
1804.96/1810.53 c #Conflicts: 714000 | #Constraints: 27424
1804.96/1810.53 c #Conflicts: 715000 | #Constraints: 28424
1804.96/1810.53 c #Conflicts: 716000 | #Constraints: 29424
1804.96/1810.53 c #Conflicts: 717000 | #Constraints: 30424
1804.96/1810.53 c #Conflicts: 718000 | #Constraints: 31424
1804.96/1810.53 c #Conflicts: 719000 | #Constraints: 32424
1804.96/1810.53 c #Conflicts: 720000 | #Constraints: 33424
1804.96/1810.53 c #Conflicts: 721000 | #Constraints: 34424
1804.96/1810.53 c #Conflicts: 722000 | #Constraints: 35424
1804.96/1810.53 c INPROCESSING
1804.96/1810.53 c GARBAGE COLLECT
1804.96/1810.53 c #Conflicts: 723000 | #Constraints: 19628
1804.96/1810.53 c #Conflicts: 724000 | #Constraints: 20628
1804.96/1810.53 c #Conflicts: 725000 | #Constraints: 21628
1804.96/1810.53 c #Conflicts: 726000 | #Constraints: 22628
1804.96/1810.53 c #Conflicts: 727000 | #Constraints: 23628
1804.96/1810.53 c #Conflicts: 728000 | #Constraints: 24628
1804.96/1810.53 c #Conflicts: 729000 | #Constraints: 25628
1804.96/1810.53 c #Conflicts: 730000 | #Constraints: 26628
1804.96/1810.53 c #Conflicts: 731000 | #Constraints: 27628
1804.96/1810.53 c #Conflicts: 732000 | #Constraints: 28628
1804.96/1810.53 c #Conflicts: 733000 | #Constraints: 29628
1804.96/1810.53 c #Conflicts: 734000 | #Constraints: 30628
1804.96/1810.53 c #Conflicts: 735000 | #Constraints: 31628
1804.96/1810.53 c #Conflicts: 736000 | #Constraints: 32628
1804.96/1810.53 c #Conflicts: 737000 | #Constraints: 33628
1804.96/1810.53 c #Conflicts: 738000 | #Constraints: 34628
1804.96/1810.53 c #Conflicts: 739000 | #Constraints: 35628
1972.29/1978.38 c INPROCESSING
1972.29/1978.38 c GARBAGE COLLECT
1972.29/1978.38 c #Conflicts: 740000 | #Constraints: 19624
1972.29/1978.38 c #Conflicts: 741000 | #Constraints: 20624
1972.29/1978.38 c #Conflicts: 742000 | #Constraints: 21624
1972.29/1978.38 c #Conflicts: 743000 | #Constraints: 22624
1972.29/1978.38 c #Conflicts: 744000 | #Constraints: 23624
1972.29/1978.38 c #Conflicts: 745000 | #Constraints: 24624
1972.29/1978.38 c #Conflicts: 746000 | #Constraints: 25624
1972.29/1978.38 c #Conflicts: 747000 | #Constraints: 26624
1972.29/1978.38 c #Conflicts: 748000 | #Constraints: 27624
1972.29/1978.38 c #Conflicts: 749000 | #Constraints: 28624
1972.29/1978.38 c #Conflicts: 750000 | #Constraints: 29624
1972.29/1978.38 c #Conflicts: 751000 | #Constraints: 30624
1972.29/1978.38 c #Conflicts: 752000 | #Constraints: 31624
1972.29/1978.38 c #Conflicts: 753000 | #Constraints: 32624
1972.29/1978.38 c #Conflicts: 754000 | #Constraints: 33624
1972.29/1978.38 c #Conflicts: 755000 | #Constraints: 34624
1972.29/1978.38 c #Conflicts: 756000 | #Constraints: 35624
1972.29/1978.38 c INPROCESSING
1972.29/1978.38 c GARBAGE COLLECT
1972.29/1978.38 c #Conflicts: 757000 | #Constraints: 19416
1972.29/1978.38 c #Conflicts: 758000 | #Constraints: 20416
1972.29/1978.38 c #Conflicts: 759000 | #Constraints: 21416
1972.29/1978.38 c #Conflicts: 760000 | #Constraints: 22416
1972.29/1978.38 c #Conflicts: 761000 | #Constraints: 23416
1972.29/1978.38 c #Conflicts: 762000 | #Constraints: 24416
1972.29/1978.38 c #Conflicts: 763000 | #Constraints: 25416
1972.29/1978.38 c #Conflicts: 764000 | #Constraints: 26416
1972.29/1978.38 c #Conflicts: 765000 | #Constraints: 27416
1972.29/1978.38 c #Conflicts: 766000 | #Constraints: 28416
1972.29/1978.38 c #Conflicts: 767000 | #Constraints: 29416
1972.29/1978.38 c #Conflicts: 768000 | #Constraints: 30416
1972.29/1978.38 c #Conflicts: 769000 | #Constraints: 31416
1972.29/1978.38 c #Conflicts: 770000 | #Constraints: 32416
1972.29/1978.38 c #Conflicts: 771000 | #Constraints: 33416
1972.29/1978.38 c #Conflicts: 772000 | #Constraints: 34416
1972.29/1978.38 c #Conflicts: 773000 | #Constraints: 35416
1972.29/1978.38 c #Conflicts: 774000 | #Constraints: 36416
1972.29/1978.38 c INPROCESSING
1972.29/1978.38 c GARBAGE COLLECT
1972.29/1978.38 c #Conflicts: 775000 | #Constraints: 19990
1972.29/1978.38 c #Conflicts: 776000 | #Constraints: 20990
1972.29/1978.38 c #Conflicts: 777000 | #Constraints: 21990
1972.29/1978.38 c #Conflicts: 778000 | #Constraints: 22990
1972.29/1978.38 c #Conflicts: 779000 | #Constraints: 23990
1972.29/1978.38 c #Conflicts: 780000 | #Constraints: 24990
1972.29/1978.38 c #Conflicts: 781000 | #Constraints: 25990
1972.29/1978.38 c #Conflicts: 782000 | #Constraints: 26990
1972.29/1978.38 c #Conflicts: 783000 | #Constraints: 27990
1972.29/1978.38 c #Conflicts: 784000 | #Constraints: 28990
1972.29/1978.38 c #Conflicts: 785000 | #Constraints: 29990
1972.29/1978.38 c #Conflicts: 786000 | #Constraints: 30990
1972.29/1978.38 c #Conflicts: 787000 | #Constraints: 31990
1972.29/1978.38 c #Conflicts: 788000 | #Constraints: 32990
1972.29/1978.38 c #Conflicts: 789000 | #Constraints: 33990
1972.29/1978.38 c #Conflicts: 790000 | #Constraints: 34990
1972.29/1978.38 c #Conflicts: 791000 | #Constraints: 35990
1972.29/1978.38 c #Conflicts: 792000 | #Constraints: 36990
1972.29/1978.38 c INPROCESSING
1972.29/1978.38 c GARBAGE COLLECT
1972.29/1978.38 c #Conflicts: 793000 | #Constraints: 20389
1972.29/1978.38 c #Conflicts: 794000 | #Constraints: 21389
1972.29/1978.38 c #Conflicts: 795000 | #Constraints: 22389
1972.29/1978.38 c #Conflicts: 796000 | #Constraints: 23389
1972.29/1978.38 c #Conflicts: 797000 | #Constraints: 24389
1972.29/1978.38 c #Conflicts: 798000 | #Constraints: 25389
1972.29/1978.38 c #Conflicts: 799000 | #Constraints: 26389
1972.29/1978.38 c #Conflicts: 800000 | #Constraints: 27389
1972.29/1978.38 c #Conflicts: 801000 | #Constraints: 28389
1972.29/1978.38 c #Conflicts: 802000 | #Constraints: 29389
1972.29/1978.38 c #Conflicts: 803000 | #Constraints: 30389
1972.29/1978.38 c #Conflicts: 804000 | #Constraints: 31389
1972.29/1978.38 c #Conflicts: 805000 | #Constraints: 32389
1972.29/1978.38 c #Conflicts: 806000 | #Constraints: 33389
1972.29/1978.38 c #Conflicts: 807000 | #Constraints: 34389
1972.29/1978.38 c #Conflicts: 808000 | #Constraints: 35389
1972.29/1978.38 c #Conflicts: 809000 | #Constraints: 36389
1972.29/1978.38 c #Conflicts: 810000 | #Constraints: 37389
1972.29/1978.38 c INPROCESSING
1972.29/1978.38 c GARBAGE COLLECT
1972.29/1978.38 c #Conflicts: 811000 | #Constraints: 20608
1972.29/1978.38 c #Conflicts: 812000 | #Constraints: 21608
1972.29/1978.38 c #Conflicts: 813000 | #Constraints: 22608
1972.29/1978.38 c #Conflicts: 814000 | #Constraints: 23608
1972.29/1978.38 c #Conflicts: 815000 | #Constraints: 24608
2194.39/2201.04 c #Conflicts: 816000 | #Constraints: 25608
2194.39/2201.04 c #Conflicts: 817000 | #Constraints: 26608
2194.39/2201.04 c #Conflicts: 818000 | #Constraints: 27608
2194.39/2201.04 c #Conflicts: 819000 | #Constraints: 28608
2194.39/2201.04 c #Conflicts: 820000 | #Constraints: 29608
2194.39/2201.04 c #Conflicts: 821000 | #Constraints: 30608
2194.39/2201.04 c #Conflicts: 822000 | #Constraints: 31608
2194.39/2201.04 c #Conflicts: 823000 | #Constraints: 32608
2194.39/2201.04 c #Conflicts: 824000 | #Constraints: 33608
2194.39/2201.04 c #Conflicts: 825000 | #Constraints: 34608
2194.39/2201.04 c #Conflicts: 826000 | #Constraints: 35608
2194.39/2201.04 c #Conflicts: 827000 | #Constraints: 36608
2194.39/2201.04 c #Conflicts: 828000 | #Constraints: 37608
2194.39/2201.04 c INPROCESSING
2194.39/2201.04 c GARBAGE COLLECT
2194.39/2201.04 c #Conflicts: 829000 | #Constraints: 20622
2194.39/2201.04 c #Conflicts: 830000 | #Constraints: 21622
2194.39/2201.04 c #Conflicts: 831000 | #Constraints: 22622
2194.39/2201.04 c #Conflicts: 832000 | #Constraints: 23622
2194.39/2201.04 c #Conflicts: 833000 | #Constraints: 24622
2194.39/2201.04 c #Conflicts: 834000 | #Constraints: 25622
2194.39/2201.04 c #Conflicts: 835000 | #Constraints: 26622
2194.39/2201.04 c #Conflicts: 836000 | #Constraints: 27622
2194.39/2201.04 c #Conflicts: 837000 | #Constraints: 28622
2194.39/2201.04 c #Conflicts: 838000 | #Constraints: 29622
2194.39/2201.04 c #Conflicts: 839000 | #Constraints: 30622
2194.39/2201.04 c #Conflicts: 840000 | #Constraints: 31622
2194.39/2201.04 c #Conflicts: 841000 | #Constraints: 32622
2194.39/2201.04 c #Conflicts: 842000 | #Constraints: 33622
2194.39/2201.04 c #Conflicts: 843000 | #Constraints: 34622
2194.39/2201.04 c #Conflicts: 844000 | #Constraints: 35622
2194.39/2201.04 c #Conflicts: 845000 | #Constraints: 36622
2194.39/2201.04 c #Conflicts: 846000 | #Constraints: 37622
2194.39/2201.04 c INPROCESSING
2194.39/2201.04 c GARBAGE COLLECT
2194.39/2201.04 c #Conflicts: 847000 | #Constraints: 20432
2194.39/2201.04 c #Conflicts: 848000 | #Constraints: 21432
2194.39/2201.04 c #Conflicts: 849000 | #Constraints: 22432
2194.39/2201.04 c #Conflicts: 850000 | #Constraints: 23432
2194.39/2201.04 c #Conflicts: 851000 | #Constraints: 24432
2194.39/2201.04 c #Conflicts: 852000 | #Constraints: 25432
2194.39/2201.04 c #Conflicts: 853000 | #Constraints: 26432
2194.39/2201.04 c #Conflicts: 854000 | #Constraints: 27432
2194.39/2201.04 c #Conflicts: 855000 | #Constraints: 28432
2194.39/2201.04 c #Conflicts: 856000 | #Constraints: 29432
2194.39/2201.04 c #Conflicts: 857000 | #Constraints: 30432
2194.39/2201.04 c #Conflicts: 858000 | #Constraints: 31432
2194.39/2201.04 c #Conflicts: 859000 | #Constraints: 32432
2194.39/2201.04 c #Conflicts: 860000 | #Constraints: 33432
2194.39/2201.04 c #Conflicts: 861000 | #Constraints: 34432
2194.39/2201.04 c #Conflicts: 862000 | #Constraints: 35432
2194.39/2201.04 c #Conflicts: 863000 | #Constraints: 36432
2194.39/2201.04 c #Conflicts: 864000 | #Constraints: 37432
2194.39/2201.04 c #Conflicts: 865000 | #Constraints: 38432
2194.39/2201.04 c INPROCESSING
2194.39/2201.04 c GARBAGE COLLECT
2194.39/2201.04 c #Conflicts: 866000 | #Constraints: 21031
2194.39/2201.04 c #Conflicts: 867000 | #Constraints: 22031
2194.39/2201.04 c #Conflicts: 868000 | #Constraints: 23031
2194.39/2201.04 c #Conflicts: 869000 | #Constraints: 24031
2194.39/2201.04 c #Conflicts: 870000 | #Constraints: 25031
2194.39/2201.04 c #Conflicts: 871000 | #Constraints: 26031
2194.39/2201.04 c #Conflicts: 872000 | #Constraints: 27031
2194.39/2201.04 c #Conflicts: 873000 | #Constraints: 28031
2194.39/2201.04 c #Conflicts: 874000 | #Constraints: 29031
2194.39/2201.04 c #Conflicts: 875000 | #Constraints: 30031
2194.39/2201.04 c #Conflicts: 876000 | #Constraints: 31031
2194.39/2201.04 c #Conflicts: 877000 | #Constraints: 32031
2194.39/2201.04 c #Conflicts: 878000 | #Constraints: 33031
2194.39/2201.04 c #Conflicts: 879000 | #Constraints: 34031
2194.39/2201.04 c #Conflicts: 880000 | #Constraints: 35031
2194.39/2201.04 c #Conflicts: 881000 | #Constraints: 36031
2194.39/2201.04 c #Conflicts: 882000 | #Constraints: 37031
2194.39/2201.04 c #Conflicts: 883000 | #Constraints: 38031
2194.39/2201.04 c #Conflicts: 884000 | #Constraints: 39031
2194.39/2201.04 c INPROCESSING
2194.39/2201.04 c GARBAGE COLLECT
2194.39/2201.04 c #Conflicts: 885000 | #Constraints: 21443
2194.39/2201.04 c #Conflicts: 886000 | #Constraints: 22443
2194.39/2201.04 c #Conflicts: 887000 | #Constraints: 23443
2194.39/2201.04 c #Conflicts: 888000 | #Constraints: 24443
2194.39/2201.04 c #Conflicts: 889000 | #Constraints: 25443
2194.39/2201.04 c #Conflicts: 890000 | #Constraints: 26443
2194.39/2201.04 c #Conflicts: 891000 | #Constraints: 27443
2378.56/2385.72 c #Conflicts: 892000 | #Constraints: 28443
2378.56/2385.72 c #Conflicts: 893000 | #Constraints: 29443
2378.56/2385.72 c #Conflicts: 894000 | #Constraints: 30443
2378.56/2385.72 c #Conflicts: 895000 | #Constraints: 31443
2378.56/2385.72 c #Conflicts: 896000 | #Constraints: 32443
2378.56/2385.72 c #Conflicts: 897000 | #Constraints: 33443
2378.56/2385.72 c #Conflicts: 898000 | #Constraints: 34443
2378.56/2385.72 c #Conflicts: 899000 | #Constraints: 35443
2378.56/2385.72 c #Conflicts: 900000 | #Constraints: 36443
2378.56/2385.72 c #Conflicts: 901000 | #Constraints: 37443
2378.56/2385.72 c #Conflicts: 902000 | #Constraints: 38443
2378.56/2385.72 c #Conflicts: 903000 | #Constraints: 39443
2378.56/2385.72 c INPROCESSING
2378.56/2385.72 c GARBAGE COLLECT
2378.56/2385.72 c #Conflicts: 904000 | #Constraints: 21639
2378.56/2385.72 c #Conflicts: 905000 | #Constraints: 22639
2378.56/2385.72 c #Conflicts: 906000 | #Constraints: 23639
2378.56/2385.72 c #Conflicts: 907000 | #Constraints: 24639
2378.56/2385.72 c #Conflicts: 908000 | #Constraints: 25639
2378.56/2385.72 c #Conflicts: 909000 | #Constraints: 26639
2378.56/2385.72 c #Conflicts: 910000 | #Constraints: 27639
2378.56/2385.72 c #Conflicts: 911000 | #Constraints: 28639
2378.56/2385.72 c #Conflicts: 912000 | #Constraints: 29639
2378.56/2385.72 c #Conflicts: 913000 | #Constraints: 30639
2378.56/2385.72 c #Conflicts: 914000 | #Constraints: 31639
2378.56/2385.72 c #Conflicts: 915000 | #Constraints: 32639
2378.56/2385.72 c #Conflicts: 916000 | #Constraints: 33639
2378.56/2385.72 c #Conflicts: 917000 | #Constraints: 34639
2378.56/2385.72 c #Conflicts: 918000 | #Constraints: 35639
2378.56/2385.72 c #Conflicts: 919000 | #Constraints: 36639
2378.56/2385.72 c #Conflicts: 920000 | #Constraints: 37639
2378.56/2385.72 c #Conflicts: 921000 | #Constraints: 38639
2378.56/2385.72 c #Conflicts: 922000 | #Constraints: 39639
2378.56/2385.72 c INPROCESSING
2378.56/2385.72 c GARBAGE COLLECT
2378.56/2385.72 c #Conflicts: 923000 | #Constraints: 21622
2378.56/2385.72 c #Conflicts: 924000 | #Constraints: 22622
2378.56/2385.72 c #Conflicts: 925000 | #Constraints: 23622
2378.56/2385.72 c #Conflicts: 926000 | #Constraints: 24622
2378.56/2385.72 c #Conflicts: 927000 | #Constraints: 25622
2378.56/2385.72 c #Conflicts: 928000 | #Constraints: 26622
2378.56/2385.72 c #Conflicts: 929000 | #Constraints: 27622
2378.56/2385.72 c #Conflicts: 930000 | #Constraints: 28622
2378.56/2385.72 c #Conflicts: 931000 | #Constraints: 29622
2378.56/2385.72 c #Conflicts: 932000 | #Constraints: 30622
2378.56/2385.72 c #Conflicts: 933000 | #Constraints: 31622
2378.56/2385.72 c #Conflicts: 934000 | #Constraints: 32622
2378.56/2385.72 c #Conflicts: 935000 | #Constraints: 33622
2378.56/2385.72 c #Conflicts: 936000 | #Constraints: 34622
2378.56/2385.72 c #Conflicts: 937000 | #Constraints: 35622
2378.56/2385.72 c #Conflicts: 938000 | #Constraints: 36622
2378.56/2385.72 c #Conflicts: 939000 | #Constraints: 37622
2378.56/2385.72 c #Conflicts: 940000 | #Constraints: 38622
2378.56/2385.72 c #Conflicts: 941000 | #Constraints: 39622
2378.56/2385.72 c INPROCESSING
2378.56/2385.72 c GARBAGE COLLECT
2378.56/2385.72 c #Conflicts: 942000 | #Constraints: 21429
2378.56/2385.72 c #Conflicts: 943000 | #Constraints: 22429
2378.56/2385.72 c #Conflicts: 944000 | #Constraints: 23429
2378.56/2385.72 c #Conflicts: 945000 | #Constraints: 24429
2378.56/2385.72 c #Conflicts: 946000 | #Constraints: 25429
2378.56/2385.72 c #Conflicts: 947000 | #Constraints: 26429
2378.56/2385.72 c #Conflicts: 948000 | #Constraints: 27429
2378.56/2385.72 c #Conflicts: 949000 | #Constraints: 28429
2378.56/2385.72 c #Conflicts: 950000 | #Constraints: 29429
2378.56/2385.72 c #Conflicts: 951000 | #Constraints: 30429
2378.56/2385.72 c #Conflicts: 952000 | #Constraints: 31429
2378.56/2385.72 c #Conflicts: 953000 | #Constraints: 32429
2378.56/2385.72 c #Conflicts: 954000 | #Constraints: 33429
2378.56/2385.72 c #Conflicts: 955000 | #Constraints: 34429
2378.56/2385.72 c #Conflicts: 956000 | #Constraints: 35429
2378.56/2385.72 c #Conflicts: 957000 | #Constraints: 36429
2378.56/2385.72 c #Conflicts: 958000 | #Constraints: 37429
2378.56/2385.72 c #Conflicts: 959000 | #Constraints: 38429
2378.56/2385.72 c #Conflicts: 960000 | #Constraints: 39429
2378.56/2385.72 c #Conflicts: 961000 | #Constraints: 40429
2378.56/2385.72 c INPROCESSING
2378.56/2385.72 c GARBAGE COLLECT
2378.56/2385.72 c #Conflicts: 962000 | #Constraints: 22041
2378.56/2385.72 c #Conflicts: 963000 | #Constraints: 23041
2378.56/2385.72 c #Conflicts: 964000 | #Constraints: 24041
2378.56/2385.72 c #Conflicts: 965000 | #Constraints: 25041
2378.56/2385.72 c #Conflicts: 966000 | #Constraints: 26041
2378.56/2385.72 c #Conflicts: 967000 | #Constraints: 27041
2678.89/2686.99 c #Conflicts: 968000 | #Constraints: 28041
2678.89/2686.99 c #Conflicts: 969000 | #Constraints: 29041
2678.89/2686.99 c #Conflicts: 970000 | #Constraints: 30041
2678.89/2686.99 c #Conflicts: 971000 | #Constraints: 31041
2678.89/2686.99 c #Conflicts: 972000 | #Constraints: 32041
2678.89/2686.99 c #Conflicts: 973000 | #Constraints: 33041
2678.89/2686.99 c #Conflicts: 974000 | #Constraints: 34041
2678.89/2686.99 c #Conflicts: 975000 | #Constraints: 35041
2678.89/2686.99 c #Conflicts: 976000 | #Constraints: 36041
2678.89/2686.99 c #Conflicts: 977000 | #Constraints: 37041
2678.89/2686.99 c #Conflicts: 978000 | #Constraints: 38041
2678.89/2686.99 c #Conflicts: 979000 | #Constraints: 39041
2678.89/2686.99 c #Conflicts: 980000 | #Constraints: 40041
2678.89/2686.99 c #Conflicts: 981000 | #Constraints: 41041
2678.89/2686.99 c INPROCESSING
2678.89/2686.99 c GARBAGE COLLECT
2678.89/2686.99 c #Conflicts: 982000 | #Constraints: 22411
2678.89/2686.99 c #Conflicts: 983000 | #Constraints: 23411
2678.89/2686.99 c #Conflicts: 984000 | #Constraints: 24411
2678.89/2686.99 c #Conflicts: 985000 | #Constraints: 25411
2678.89/2686.99 c #Conflicts: 986000 | #Constraints: 26411
2678.89/2686.99 c #Conflicts: 987000 | #Constraints: 27411
2678.89/2686.99 c #Conflicts: 988000 | #Constraints: 28411
2678.89/2686.99 c #Conflicts: 989000 | #Constraints: 29411
2678.89/2686.99 c #Conflicts: 990000 | #Constraints: 30411
2678.89/2686.99 c #Conflicts: 991000 | #Constraints: 31411
2678.89/2686.99 c #Conflicts: 992000 | #Constraints: 32411
2678.89/2686.99 c #Conflicts: 993000 | #Constraints: 33411
2678.89/2686.99 c #Conflicts: 994000 | #Constraints: 34411
2678.89/2686.99 c #Conflicts: 995000 | #Constraints: 35411
2678.89/2686.99 c #Conflicts: 996000 | #Constraints: 36411
2678.89/2686.99 c #Conflicts: 997000 | #Constraints: 37411
2678.89/2686.99 c #Conflicts: 998000 | #Constraints: 38411
2678.89/2686.99 c #Conflicts: 999000 | #Constraints: 39411
2678.89/2686.99 c #Conflicts: 1000000 | #Constraints: 40411
2678.89/2686.99 c #Conflicts: 1001000 | #Constraints: 41411
2678.89/2686.99 c INPROCESSING
2678.89/2686.99 c GARBAGE COLLECT
2678.89/2686.99 c #Conflicts: 1002000 | #Constraints: 22623
2678.89/2686.99 c #Conflicts: 1003000 | #Constraints: 23623
2678.89/2686.99 c #Conflicts: 1004000 | #Constraints: 24623
2678.89/2686.99 c #Conflicts: 1005000 | #Constraints: 25623
2678.89/2686.99 c #Conflicts: 1006000 | #Constraints: 26623
2678.89/2686.99 c #Conflicts: 1007000 | #Constraints: 27623
2678.89/2686.99 c #Conflicts: 1008000 | #Constraints: 28623
2678.89/2686.99 c #Conflicts: 1009000 | #Constraints: 29623
2678.89/2686.99 c #Conflicts: 1010000 | #Constraints: 30623
2678.89/2686.99 c #Conflicts: 1011000 | #Constraints: 31623
2678.89/2686.99 c #Conflicts: 1012000 | #Constraints: 32623
2678.89/2686.99 c #Conflicts: 1013000 | #Constraints: 33623
2678.89/2686.99 c #Conflicts: 1014000 | #Constraints: 34623
2678.89/2686.99 c #Conflicts: 1015000 | #Constraints: 35623
2678.89/2686.99 c #Conflicts: 1016000 | #Constraints: 36623
2678.89/2686.99 c #Conflicts: 1017000 | #Constraints: 37623
2678.89/2686.99 c #Conflicts: 1018000 | #Constraints: 38623
2678.89/2686.99 c #Conflicts: 1019000 | #Constraints: 39623
2678.89/2686.99 c #Conflicts: 1020000 | #Constraints: 40623
2678.89/2686.99 c #Conflicts: 1021000 | #Constraints: 41623
2678.89/2686.99 c INPROCESSING
2678.89/2686.99 c GARBAGE COLLECT
2678.89/2686.99 c #Conflicts: 1022000 | #Constraints: 22627
2678.89/2686.99 c #Conflicts: 1023000 | #Constraints: 23627
2678.89/2686.99 c #Conflicts: 1024000 | #Constraints: 24627
2678.89/2686.99 c #Conflicts: 1025000 | #Constraints: 25627
2678.89/2686.99 c #Conflicts: 1026000 | #Constraints: 26627
2678.89/2686.99 c #Conflicts: 1027000 | #Constraints: 27627
2678.89/2686.99 c #Conflicts: 1028000 | #Constraints: 28627
2678.89/2686.99 c #Conflicts: 1029000 | #Constraints: 29627
2678.89/2686.99 c #Conflicts: 1030000 | #Constraints: 30627
2678.89/2686.99 c #Conflicts: 1031000 | #Constraints: 31627
2678.89/2686.99 c #Conflicts: 1032000 | #Constraints: 32627
2678.89/2686.99 c #Conflicts: 1033000 | #Constraints: 33627
2678.89/2686.99 c #Conflicts: 1034000 | #Constraints: 34627
2678.89/2686.99 c #Conflicts: 1035000 | #Constraints: 35627
2678.89/2686.99 c #Conflicts: 1036000 | #Constraints: 36627
2678.89/2686.99 c #Conflicts: 1037000 | #Constraints: 37627
2678.89/2686.99 c #Conflicts: 1038000 | #Constraints: 38627
2678.89/2686.99 c #Conflicts: 1039000 | #Constraints: 39627
2678.89/2686.99 c #Conflicts: 1040000 | #Constraints: 40627
2678.89/2686.99 c #Conflicts: 1041000 | #Constraints: 41627
2678.89/2686.99 c INPROCESSING
2678.89/2686.99 c GARBAGE COLLECT
2678.89/2686.99 c #Conflicts: 1042000 | #Constraints: 22429
2678.89/2686.99 c #Conflicts: 1043000 | #Constraints: 23429
2678.89/2686.99 c #Conflicts: 1044000 | #Constraints: 24429
3021.34/3030.36 c #Conflicts: 1045000 | #Constraints: 25429
3021.34/3030.36 c #Conflicts: 1046000 | #Constraints: 26429
3021.34/3030.36 c #Conflicts: 1047000 | #Constraints: 27429
3021.34/3030.36 c #Conflicts: 1048000 | #Constraints: 28429
3021.34/3030.36 c #Conflicts: 1049000 | #Constraints: 29429
3021.34/3030.36 c #Conflicts: 1050000 | #Constraints: 30429
3021.34/3030.36 c #Conflicts: 1051000 | #Constraints: 31429
3021.34/3030.36 c #Conflicts: 1052000 | #Constraints: 32429
3021.34/3030.36 c #Conflicts: 1053000 | #Constraints: 33429
3021.34/3030.36 c #Conflicts: 1054000 | #Constraints: 34429
3021.34/3030.36 c #Conflicts: 1055000 | #Constraints: 35429
3021.34/3030.36 c #Conflicts: 1056000 | #Constraints: 36429
3021.34/3030.36 c #Conflicts: 1057000 | #Constraints: 37429
3021.34/3030.36 c #Conflicts: 1058000 | #Constraints: 38429
3021.34/3030.36 c #Conflicts: 1059000 | #Constraints: 39429
3021.34/3030.36 c #Conflicts: 1060000 | #Constraints: 40429
3021.34/3030.36 c #Conflicts: 1061000 | #Constraints: 41429
3021.34/3030.36 c #Conflicts: 1062000 | #Constraints: 42429
3021.34/3030.36 c INPROCESSING
3021.34/3030.36 c GARBAGE COLLECT
3021.34/3030.36 c #Conflicts: 1063000 | #Constraints: 23016
3021.34/3030.36 c #Conflicts: 1064000 | #Constraints: 24016
3021.34/3030.36 c #Conflicts: 1065000 | #Constraints: 25016
3021.34/3030.36 c #Conflicts: 1066000 | #Constraints: 26016
3021.34/3030.36 c #Conflicts: 1067000 | #Constraints: 27016
3021.34/3030.36 c #Conflicts: 1068000 | #Constraints: 28016
3021.34/3030.36 c #Conflicts: 1069000 | #Constraints: 29016
3021.34/3030.36 c #Conflicts: 1070000 | #Constraints: 30016
3021.34/3030.36 c #Conflicts: 1071000 | #Constraints: 31016
3021.34/3030.36 c #Conflicts: 1072000 | #Constraints: 32016
3021.34/3030.36 c #Conflicts: 1073000 | #Constraints: 33016
3021.34/3030.36 c #Conflicts: 1074000 | #Constraints: 34016
3021.34/3030.36 c #Conflicts: 1075000 | #Constraints: 35016
3021.34/3030.36 c #Conflicts: 1076000 | #Constraints: 36016
3021.34/3030.36 c #Conflicts: 1077000 | #Constraints: 37016
3021.34/3030.36 c #Conflicts: 1078000 | #Constraints: 38016
3021.34/3030.36 c #Conflicts: 1079000 | #Constraints: 39016
3021.34/3030.36 c #Conflicts: 1080000 | #Constraints: 40016
3021.34/3030.36 c #Conflicts: 1081000 | #Constraints: 41016
3021.34/3030.36 c #Conflicts: 1082000 | #Constraints: 42016
3021.34/3030.36 c #Conflicts: 1083000 | #Constraints: 43016
3021.34/3030.36 c INPROCESSING
3021.34/3030.36 c GARBAGE COLLECT
3021.34/3030.36 c #Conflicts: 1084000 | #Constraints: 23447
3021.34/3030.36 c #Conflicts: 1085000 | #Constraints: 24447
3021.34/3030.36 c #Conflicts: 1086000 | #Constraints: 25447
3021.34/3030.36 c #Conflicts: 1087000 | #Constraints: 26447
3021.34/3030.36 c #Conflicts: 1088000 | #Constraints: 27447
3021.34/3030.36 c #Conflicts: 1089000 | #Constraints: 28447
3021.34/3030.36 c #Conflicts: 1090000 | #Constraints: 29447
3021.34/3030.36 c #Conflicts: 1091000 | #Constraints: 30447
3021.34/3030.36 c #Conflicts: 1092000 | #Constraints: 31447
3021.34/3030.36 c #Conflicts: 1093000 | #Constraints: 32447
3021.34/3030.36 c #Conflicts: 1094000 | #Constraints: 33447
3021.34/3030.36 c #Conflicts: 1095000 | #Constraints: 34447
3021.34/3030.36 c #Conflicts: 1096000 | #Constraints: 35447
3021.34/3030.36 c #Conflicts: 1097000 | #Constraints: 36447
3021.34/3030.36 c #Conflicts: 1098000 | #Constraints: 37447
3021.34/3030.36 c #Conflicts: 1099000 | #Constraints: 38447
3021.34/3030.36 c #Conflicts: 1100000 | #Constraints: 39447
3021.34/3030.36 c #Conflicts: 1101000 | #Constraints: 40447
3021.34/3030.36 c #Conflicts: 1102000 | #Constraints: 41447
3021.34/3030.36 c #Conflicts: 1103000 | #Constraints: 42447
3021.34/3030.36 c #Conflicts: 1104000 | #Constraints: 43447
3021.34/3030.36 c INPROCESSING
3021.34/3030.36 c GARBAGE COLLECT
3021.34/3030.36 c #Conflicts: 1105000 | #Constraints: 23647
3021.34/3030.36 c #Conflicts: 1106000 | #Constraints: 24647
3021.34/3030.36 c #Conflicts: 1107000 | #Constraints: 25647
3021.34/3030.36 c #Conflicts: 1108000 | #Constraints: 26647
3021.34/3030.36 c #Conflicts: 1109000 | #Constraints: 27647
3021.34/3030.36 c #Conflicts: 1110000 | #Constraints: 28647
3021.34/3030.36 c #Conflicts: 1111000 | #Constraints: 29647
3021.34/3030.36 c #Conflicts: 1112000 | #Constraints: 30647
3021.34/3030.36 c #Conflicts: 1113000 | #Constraints: 31647
3021.34/3030.36 c #Conflicts: 1114000 | #Constraints: 32647
3021.34/3030.36 c #Conflicts: 1115000 | #Constraints: 33647
3021.34/3030.36 c #Conflicts: 1116000 | #Constraints: 34647
3021.34/3030.36 c #Conflicts: 1117000 | #Constraints: 35647
3021.34/3030.36 c #Conflicts: 1118000 | #Constraints: 36647
3021.34/3030.36 c #Conflicts: 1119000 | #Constraints: 37647
3021.34/3030.36 c #Conflicts: 1120000 | #Constraints: 38647
3021.34/3030.36 c #Conflicts: 1121000 | #Constraints: 39647
3267.46/3277.18 c #Conflicts: 1122000 | #Constraints: 40647
3267.46/3277.18 c #Conflicts: 1123000 | #Constraints: 41647
3267.46/3277.18 c #Conflicts: 1124000 | #Constraints: 42647
3267.46/3277.18 c #Conflicts: 1125000 | #Constraints: 43647
3267.46/3277.18 c INPROCESSING
3267.46/3277.18 c GARBAGE COLLECT
3267.46/3277.18 c #Conflicts: 1126000 | #Constraints: 23638
3267.46/3277.18 c #Conflicts: 1127000 | #Constraints: 24638
3267.46/3277.18 c #Conflicts: 1128000 | #Constraints: 25638
3267.46/3277.18 c #Conflicts: 1129000 | #Constraints: 26638
3267.46/3277.18 c #Conflicts: 1130000 | #Constraints: 27638
3267.46/3277.18 c #Conflicts: 1131000 | #Constraints: 28638
3267.46/3277.18 c #Conflicts: 1132000 | #Constraints: 29638
3267.46/3277.18 c #Conflicts: 1133000 | #Constraints: 30638
3267.46/3277.18 c #Conflicts: 1134000 | #Constraints: 31638
3267.46/3277.18 c #Conflicts: 1135000 | #Constraints: 32638
3267.46/3277.18 c #Conflicts: 1136000 | #Constraints: 33638
3267.46/3277.18 c #Conflicts: 1137000 | #Constraints: 34638
3267.46/3277.18 c #Conflicts: 1138000 | #Constraints: 35638
3267.46/3277.18 c #Conflicts: 1139000 | #Constraints: 36638
3267.46/3277.18 c #Conflicts: 1140000 | #Constraints: 37638
3267.46/3277.19 c #Conflicts: 1141000 | #Constraints: 38638
3267.46/3277.19 c #Conflicts: 1142000 | #Constraints: 39638
3267.46/3277.19 c #Conflicts: 1143000 | #Constraints: 40638
3267.46/3277.19 c #Conflicts: 1144000 | #Constraints: 41638
3267.46/3277.19 c #Conflicts: 1145000 | #Constraints: 42638
3267.46/3277.19 c #Conflicts: 1146000 | #Constraints: 43638
3267.46/3277.19 c INPROCESSING
3267.46/3277.19 c GARBAGE COLLECT
3267.46/3277.19 c #Conflicts: 1147000 | #Constraints: 23419
3267.46/3277.19 c #Conflicts: 1148000 | #Constraints: 24419
3267.46/3277.19 c #Conflicts: 1149000 | #Constraints: 25419
3267.46/3277.19 c #Conflicts: 1150000 | #Constraints: 26419
3267.46/3277.19 c #Conflicts: 1151000 | #Constraints: 27419
3267.46/3277.19 c #Conflicts: 1152000 | #Constraints: 28419
3267.46/3277.19 c #Conflicts: 1153000 | #Constraints: 29419
3267.46/3277.19 c #Conflicts: 1154000 | #Constraints: 30419
3267.46/3277.19 c #Conflicts: 1155000 | #Constraints: 31419
3267.46/3277.19 c #Conflicts: 1156000 | #Constraints: 32419
3267.46/3277.19 c #Conflicts: 1157000 | #Constraints: 33419
3267.46/3277.19 c #Conflicts: 1158000 | #Constraints: 34419
3267.46/3277.19 c #Conflicts: 1159000 | #Constraints: 35419
3267.46/3277.19 c #Conflicts: 1160000 | #Constraints: 36419
3267.46/3277.19 c #Conflicts: 1161000 | #Constraints: 37419
3267.46/3277.19 c #Conflicts: 1162000 | #Constraints: 38419
3267.46/3277.19 c #Conflicts: 1163000 | #Constraints: 39419
3267.46/3277.19 c #Conflicts: 1164000 | #Constraints: 40419
3267.46/3277.19 c #Conflicts: 1165000 | #Constraints: 41419
3267.46/3277.19 c #Conflicts: 1166000 | #Constraints: 42419
3267.46/3277.19 c #Conflicts: 1167000 | #Constraints: 43419
3267.46/3277.19 c #Conflicts: 1168000 | #Constraints: 44419
3267.46/3277.19 c INPROCESSING
3267.46/3277.19 c GARBAGE COLLECT
3267.46/3277.19 c #Conflicts: 1169000 | #Constraints: 24003
3267.46/3277.19 c #Conflicts: 1170000 | #Constraints: 25003
3267.46/3277.19 c #Conflicts: 1171000 | #Constraints: 26003
3267.46/3277.19 c #Conflicts: 1172000 | #Constraints: 27003
3267.46/3277.19 c #Conflicts: 1173000 | #Constraints: 28003
3267.46/3277.19 c #Conflicts: 1174000 | #Constraints: 29003
3267.46/3277.19 c #Conflicts: 1175000 | #Constraints: 30003
3267.46/3277.19 c #Conflicts: 1176000 | #Constraints: 31003
3267.46/3277.19 c #Conflicts: 1177000 | #Constraints: 32003
3267.46/3277.19 c #Conflicts: 1178000 | #Constraints: 33003
3267.46/3277.19 c #Conflicts: 1179000 | #Constraints: 34003
3267.46/3277.19 c #Conflicts: 1180000 | #Constraints: 35003
3267.46/3277.19 c #Conflicts: 1181000 | #Constraints: 36003
3267.46/3277.19 c #Conflicts: 1182000 | #Constraints: 37003
3267.46/3277.19 c #Conflicts: 1183000 | #Constraints: 38003
3267.46/3277.19 c #Conflicts: 1184000 | #Constraints: 39003
3267.46/3277.19 c #Conflicts: 1185000 | #Constraints: 40003
3267.46/3277.19 c #Conflicts: 1186000 | #Constraints: 41003
3267.46/3277.19 c #Conflicts: 1187000 | #Constraints: 42003
3267.46/3277.19 c #Conflicts: 1188000 | #Constraints: 43003
3267.46/3277.19 c #Conflicts: 1189000 | #Constraints: 44003
3267.46/3277.19 c #Conflicts: 1190000 | #Constraints: 45003
3267.46/3277.19 c INPROCESSING
3267.46/3277.19 c GARBAGE COLLECT
3267.46/3277.19 c #Conflicts: 1191000 | #Constraints: 24404
3267.46/3277.19 c #Conflicts: 1192000 | #Constraints: 25404
3267.46/3277.19 c #Conflicts: 1193000 | #Constraints: 26404
3267.46/3277.19 c #Conflicts: 1194000 | #Constraints: 27404
3267.46/3277.19 c #Conflicts: 1195000 | #Constraints: 28404
3267.46/3277.19 c #Conflicts: 1196000 | #Constraints: 29404
3267.46/3277.19 c #Conflicts: 1197000 | #Constraints: 30404
3452.33/3462.56 c #Conflicts: 1198000 | #Constraints: 31404
3452.33/3462.56 c #Conflicts: 1199000 | #Constraints: 32404
3452.33/3462.56 c #Conflicts: 1200000 | #Constraints: 33404
3452.33/3462.56 c #Conflicts: 1201000 | #Constraints: 34404
3452.33/3462.56 c #Conflicts: 1202000 | #Constraints: 35404
3452.33/3462.56 c #Conflicts: 1203000 | #Constraints: 36404
3452.33/3462.56 c #Conflicts: 1204000 | #Constraints: 37404
3452.33/3462.56 c #Conflicts: 1205000 | #Constraints: 38404
3452.33/3462.56 c #Conflicts: 1206000 | #Constraints: 39404
3452.33/3462.56 c #Conflicts: 1207000 | #Constraints: 40404
3452.33/3462.56 c #Conflicts: 1208000 | #Constraints: 41404
3452.33/3462.56 c #Conflicts: 1209000 | #Constraints: 42404
3452.33/3462.56 c #Conflicts: 1210000 | #Constraints: 43404
3452.33/3462.56 c #Conflicts: 1211000 | #Constraints: 44404
3452.33/3462.56 c #Conflicts: 1212000 | #Constraints: 45404
3452.33/3462.56 c INPROCESSING
3452.33/3462.56 c GARBAGE COLLECT
3452.33/3462.56 c #Conflicts: 1213000 | #Constraints: 24599
3452.33/3462.56 c #Conflicts: 1214000 | #Constraints: 25599
3452.33/3462.56 c #Conflicts: 1215000 | #Constraints: 26599
3452.33/3462.56 c #Conflicts: 1216000 | #Constraints: 27599
3452.33/3462.56 c #Conflicts: 1217000 | #Constraints: 28599
3452.33/3462.56 c #Conflicts: 1218000 | #Constraints: 29599
3452.33/3462.56 c #Conflicts: 1219000 | #Constraints: 30599
3452.33/3462.56 c #Conflicts: 1220000 | #Constraints: 31599
3452.33/3462.56 c #Conflicts: 1221000 | #Constraints: 32599
3452.33/3462.56 c #Conflicts: 1222000 | #Constraints: 33599
3452.33/3462.56 c #Conflicts: 1223000 | #Constraints: 34599
3452.33/3462.56 c #Conflicts: 1224000 | #Constraints: 35599
3452.33/3462.56 c #Conflicts: 1225000 | #Constraints: 36599
3452.33/3462.56 c #Conflicts: 1226000 | #Constraints: 37599
3452.33/3462.56 c #Conflicts: 1227000 | #Constraints: 38599
3452.33/3462.56 c #Conflicts: 1228000 | #Constraints: 39599
3452.33/3462.56 c #Conflicts: 1229000 | #Constraints: 40599
3452.33/3462.56 c #Conflicts: 1230000 | #Constraints: 41599
3452.33/3462.56 c #Conflicts: 1231000 | #Constraints: 42599
3452.33/3462.56 c #Conflicts: 1232000 | #Constraints: 43599
3452.33/3462.56 c #Conflicts: 1233000 | #Constraints: 44599
3452.33/3462.56 c #Conflicts: 1234000 | #Constraints: 45599
3452.33/3462.56 c INPROCESSING
3452.33/3462.56 c GARBAGE COLLECT
3452.33/3462.56 c #Conflicts: 1235000 | #Constraints: 24630
3452.33/3462.56 c #Conflicts: 1236000 | #Constraints: 25630
3452.33/3462.56 c #Conflicts: 1237000 | #Constraints: 26630
3452.33/3462.56 c #Conflicts: 1238000 | #Constraints: 27630
3452.33/3462.56 c #Conflicts: 1239000 | #Constraints: 28630
3452.33/3462.56 c #Conflicts: 1240000 | #Constraints: 29630
3452.33/3462.56 c #Conflicts: 1241000 | #Constraints: 30630
3452.33/3462.56 c #Conflicts: 1242000 | #Constraints: 31630
3452.33/3462.56 c #Conflicts: 1243000 | #Constraints: 32630
3452.33/3462.56 c #Conflicts: 1244000 | #Constraints: 33630
3452.33/3462.56 c #Conflicts: 1245000 | #Constraints: 34630
3452.33/3462.56 c #Conflicts: 1246000 | #Constraints: 35630
3452.33/3462.56 c #Conflicts: 1247000 | #Constraints: 36630
3452.33/3462.56 c #Conflicts: 1248000 | #Constraints: 37630
3452.33/3462.56 c #Conflicts: 1249000 | #Constraints: 38630
3452.33/3462.56 c #Conflicts: 1250000 | #Constraints: 39630
3452.33/3462.56 c #Conflicts: 1251000 | #Constraints: 40630
3452.33/3462.56 c #Conflicts: 1252000 | #Constraints: 41630
3452.33/3462.56 c #Conflicts: 1253000 | #Constraints: 42630
3452.33/3462.56 c #Conflicts: 1254000 | #Constraints: 43630
3452.33/3462.56 c #Conflicts: 1255000 | #Constraints: 44630
3452.33/3462.56 c #Conflicts: 1256000 | #Constraints: 45630
3452.33/3462.56 c INPROCESSING
3452.33/3462.56 c GARBAGE COLLECT
3452.33/3462.56 c #Conflicts: 1257000 | #Constraints: 24415
3452.33/3462.56 c #Conflicts: 1258000 | #Constraints: 25415
3452.33/3462.56 c #Conflicts: 1259000 | #Constraints: 26415
3452.33/3462.56 c #Conflicts: 1260000 | #Constraints: 27415
3452.33/3462.56 c #Conflicts: 1261000 | #Constraints: 28415
3452.33/3462.56 c #Conflicts: 1262000 | #Constraints: 29415
3452.33/3462.56 c #Conflicts: 1263000 | #Constraints: 30415
3452.33/3462.56 c #Conflicts: 1264000 | #Constraints: 31415
3452.33/3462.56 c #Conflicts: 1265000 | #Constraints: 32415
3452.33/3462.56 c #Conflicts: 1266000 | #Constraints: 33415
3452.33/3462.56 c #Conflicts: 1267000 | #Constraints: 34415
3452.33/3462.56 c #Conflicts: 1268000 | #Constraints: 35415
3452.33/3462.56 c #Conflicts: 1269000 | #Constraints: 36415
3452.33/3462.56 c #Conflicts: 1270000 | #Constraints: 37415
3452.33/3462.56 c #Conflicts: 1271000 | #Constraints: 38415
3452.33/3462.56 c #Conflicts: 1272000 | #Constraints: 39415
3452.33/3462.56 c #Conflicts: 1273000 | #Constraints: 40415
3452.33/3462.56 c #Conflicts: 1274000 | #Constraints: 41415
3600.02/3610.60 c #Conflicts: 1275000 | #Constraints: 42415
3600.02/3610.60 c #Conflicts: 1276000 | #Constraints: 43415
3600.02/3610.60 c #Conflicts: 1277000 | #Constraints: 44415
3600.02/3610.60 c #Conflicts: 1278000 | #Constraints: 45415
3600.02/3610.60 c #Conflicts: 1279000 | #Constraints: 46415
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 1280000 | #Constraints: 25046
3600.02/3610.60 c #Conflicts: 1281000 | #Constraints: 26046
3600.02/3610.60 c #Conflicts: 1282000 | #Constraints: 27046
3600.02/3610.60 c #Conflicts: 1283000 | #Constraints: 28046
3600.02/3610.60 c #Conflicts: 1284000 | #Constraints: 29046
3600.02/3610.60 c #Conflicts: 1285000 | #Constraints: 30046
3600.02/3610.60 c #Conflicts: 1286000 | #Constraints: 31046
3600.02/3610.60 c #Conflicts: 1287000 | #Constraints: 32046
3600.02/3610.60 c #Conflicts: 1288000 | #Constraints: 33046
3600.02/3610.60 c #Conflicts: 1289000 | #Constraints: 34046
3600.02/3610.60 c #Conflicts: 1290000 | #Constraints: 35046
3600.02/3610.60 c #Conflicts: 1291000 | #Constraints: 36046
3600.02/3610.60 c #Conflicts: 1292000 | #Constraints: 37046
3600.02/3610.60 c #Conflicts: 1293000 | #Constraints: 38046
3600.02/3610.60 c #Conflicts: 1294000 | #Constraints: 39046
3600.02/3610.60 c #Conflicts: 1295000 | #Constraints: 40046
3600.02/3610.60 c #Conflicts: 1296000 | #Constraints: 41046
3600.02/3610.60 c #Conflicts: 1297000 | #Constraints: 42046
3600.02/3610.60 c #Conflicts: 1298000 | #Constraints: 43046
3600.02/3610.60 c #Conflicts: 1299000 | #Constraints: 44046
3600.02/3610.60 c #Conflicts: 1300000 | #Constraints: 45046
3600.02/3610.60 c #Conflicts: 1301000 | #Constraints: 46046
3600.02/3610.60 c #Conflicts: 1302000 | #Constraints: 47046
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 1303000 | #Constraints: 25430
3600.02/3610.60 c #Conflicts: 1304000 | #Constraints: 26430
3600.02/3610.60 c #Conflicts: 1305000 | #Constraints: 27430
3600.02/3610.60 c #Conflicts: 1306000 | #Constraints: 28430
3600.02/3610.60 c #Conflicts: 1307000 | #Constraints: 29430
3600.02/3610.60 c #Conflicts: 1308000 | #Constraints: 30430
3600.02/3610.60 c #Conflicts: 1309000 | #Constraints: 31430
3600.02/3610.60 c Program interrupted by user.
3600.02/3610.60 c cpu time 3575.81 s
3600.02/3610.60 c deterministic time 607785131549 6.08e+11
3600.02/3610.60 c optimization time 22.3231 s
3600.02/3610.60 c total solve time 3254.51 s
3600.02/3610.60 c core-guided solve time 3254.51 s
3600.02/3610.60 c propagation time 2908.96 s
3600.02/3610.60 c conflict analysis time 312.72 s
3600.02/3610.60 c propagations 204620429
3600.02/3610.60 c resolve steps 10291717
3600.02/3610.60 c decisions 22763821
3600.02/3610.60 c conflicts 1309942
3600.02/3610.60 c restarts 2553
3600.02/3610.60 c inprocessing phases 105
3600.02/3610.60 c input clauses 1633
3600.02/3610.60 c input cardinalities 49
3600.02/3610.60 c input general constraints 32
3600.02/3610.60 c input average constraint length 5.21
3600.02/3610.60 c input average constraint degree 2.43
3600.02/3610.60 c learned clauses 399627
3600.02/3610.60 c learned cardinalities 84929
3600.02/3610.60 c learned general constraints 825385
3600.02/3610.60 c learned average constraint length 525.99
3600.02/3610.60 c learned average constraint degree 3473634.73
3600.02/3610.60 c watched constraints 695254
3600.02/3610.60 c counting constraints 130163
3600.02/3610.60 c gcd simplifications 8136
3600.02/3610.60 c detected cardinalities 94
3600.02/3610.60 c weakened non-implied lits 74330023
3600.02/3610.60 c weakened non-implying lits 91882
3600.02/3610.60 c original variables 4160
3600.02/3610.60 c clausal propagations 34362688
3600.02/3610.60 c cardinality propagations 36888182
3600.02/3610.60 c watched propagations 51563571
3600.02/3610.60 c counting propagations 77419381
3600.02/3610.60 c watch lookups 46078166406
3600.02/3610.60 c watch backjump lookups 40798833981
3600.02/3610.60 c watch checks 488917552217
3600.02/3610.60 c propagation checks 29880626022
3600.02/3610.60 c constraint additions 1653875796
3600.02/3610.60 c trail pops 228692876
3600.02/3610.60 c formula constraints 1712
3600.02/3610.60 c learned constraints 1309941
3600.02/3610.60 c bound constraints 2
3600.02/3610.60 c core-guided constraints 0
3600.02/3610.60 c encountered formula constraints 7438293
3600.02/3610.60 c encountered learned constraints 4150696
3600.02/3610.60 c encountered bound constraints 12670
3600.02/3610.60 c encountered core-guided constraints 0
3600.02/3610.60 c LP total time 0 s
3600.02/3610.60 c LP solve time 0 s
3600.02/3610.60 c LP constraints added 0
3600.02/3610.60 c LP constraints removed 0
3600.02/3610.60 c LP pivots internal 0
3600.02/3610.60 c LP pivots root 0
3600.02/3610.60 c LP calls 0
3600.02/3610.60 c LP optimalities 0
3600.02/3610.60 c LP no pivot count 0
3600.02/3610.60 c LP infeasibilities 0
3600.02/3610.60 c LP valid Farkas constraints 0
3600.02/3610.60 c LP learned Farkas constraints 0
3600.02/3610.60 c LP basis resets 0
3600.02/3610.60 c LP cycling count 0
3600.02/3610.60 c LP singular count 0
3600.02/3610.60 c LP no primal count 0
3600.02/3610.60 c LP no farkas count 0
3600.02/3610.60 c LP other issue count 0
3600.02/3610.60 c LP Gomory cuts 0
3600.02/3610.60 c LP learned cuts 0
3600.02/3610.60 c LP deleted cuts 0
3600.02/3610.60 c LP encountered Gomory constraints 0
3600.02/3610.60 c LP encountered Farkas constraints 0
3600.02/3610.60 c LP encountered learned Farkas constraints 0
3600.02/3610.60 c CG auxiliary variables introduced 0
3600.02/3610.60 c CG solutions found 0
3600.02/3610.60 c CG cores constructed 1
3600.02/3610.60 c CG core cardinality constraints returned 0
3600.02/3610.60 c CG unit cores 0
3600.02/3610.60 c CG single cores 1
3600.02/3610.60 c CG blocks removed during cardinality reduction 0
3600.02/3610.60 c CG first core best 0
3600.02/3610.60 c CG decision core best 0
3600.02/3610.60 c CG core reduction tie 0
3600.02/3610.60 c CG core degree average 1.00
3600.02/3610.60 c CG core slack average 31.00
3600.02/3610.60 c CG exhausted 0
3600.02/3610.60 c CG exhaust time 0 s
3600.02/3610.60 c CG trimmed 0
3600.02/3610.60 c CG trim time 0.000457 s
3600.02/3610.60 c CG minimized 0
3600.02/3610.60 c CG minimize time 0 s
3600.02/3610.60 c CG am1 prop time 4.7e-05 s
3600.02/3610.60 c CG # am1s reformulated 0
3600.02/3610.60 c CG lower bound derived from am1s 0
3600.02/3610.60 c CG # clausal cores 1
3600.02/3610.60 c CG # cardinality cores 0
3600.02/3610.60 c CG # pb cores 0
3600.02/3610.60 c CG # pb reforms 0
3600.02/3610.60 c CG # cores discarded because of pb reform 0
3600.02/3610.60 d LOWERBOUND -31
3600.02/3610.60 d NCORES 1
3600.02/3610.60 d NPBCORES 0
3600.02/3610.60 d NPBREFORM 0
3600.02/3610.60 d NTRIMMED 0
3600.02/3610.60 d NEXHAUSTED 0
3600.02/3610.60 d NAM1S 0
3600.02/3610.60 d AM1LB 0
3600.02/3610.60 c [Papilo Statistics]
3600.02/3610.60 c prepro time 0.0114878s
3600.02/3610.60 c # tsx applied 1024
3600.02/3610.60 c # tsx conflicts 14880
3600.02/3610.60 c # bound changes 992
3600.02/3610.60 c # side changes 0
3600.02/3610.60 c # coef changes 32
3600.02/3610.60 c # rounds 3
3600.02/3610.60 c # deted vars 992
3600.02/3610.60 c # deted constrs 32
3600.02/3610.60 c # consecutive rounds of only bound changes 0
3600.02/3610.60 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (60481 MiB free)
memory of node 1: 64465 MiB (63046 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529314-1752263988/watcher-4529314-1752263988 -o /tmp/evaluation-result-4529314-1752263988/solver-4529314-1752263988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119669 --watchdog 3760 mixed-bag HOME/instance-4529314-1752263988.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=120777, runsolver pid=120774
Current StackSize limit: 8192 KiB
[startup+0.100077 s]*
/proc/loadavg: 4.14 4.13 4.14 5/251 120778
/proc/meminfo: memFree=126493400/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=121924 memory=45176 CPUtime=0.09 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 8230 0 0 0 8 1 0 0 20 0 1 0 142078195 124850176 11294 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 30481 11294 4096 2834 0 12686 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 121924 KiB
Current children cumulated memory: 45176 KiB
[startup+0.213555 s]*
/proc/loadavg: 4.14 4.13 4.14 5/251 120778
/proc/meminfo: memFree=126461396/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=150640 memory=69624 CPUtime=0.2 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 14215 0 0 0 18 2 0 0 20 0 1 0 142078195 154255360 17406 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 37660 17406 4256 2834 0 19865 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 150640 KiB
Current children cumulated memory: 69624 KiB
[startup+0.313563 s]*
/proc/loadavg: 4.14 4.13 4.14 5/251 120778
/proc/meminfo: memFree=126453332/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=169724 memory=86648 CPUtime=0.3 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 18461 0 0 0 27 3 0 0 20 0 1 0 142078195 173797376 21662 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 42431 21662 4256 2834 0 24636 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 169724 KiB
Current children cumulated memory: 86648 KiB
[startup+0.700301 s]
/proc/loadavg: 4.14 4.13 4.14 5/251 120778
/proc/meminfo: memFree=126445268/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=171468 memory=88440 CPUtime=0.68 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 18941 0 0 0 65 3 0 0 20 0 1 0 142078195 175583232 22110 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 42867 22110 4256 2834 0 25072 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 171468 KiB
Current children cumulated memory: 88440 KiB
[startup+1.5003 s]
/proc/loadavg: 4.14 4.13 4.14 5/251 120778
/proc/meminfo: memFree=126445268/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=171468 memory=88568 CPUtime=1.47 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 18954 0 0 0 144 3 0 0 20 0 1 0 142078195 175583232 22142 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 42867 22142 4256 2834 0 25072 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 171468 KiB
Current children cumulated memory: 88568 KiB
[startup+3.11328 s]
/proc/loadavg: 4.12 4.12 4.14 5/251 120778
/proc/meminfo: memFree=126443864/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=171468 memory=88568 CPUtime=3.08 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 18956 0 0 0 305 3 0 0 20 0 1 0 142078195 175583232 22142 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 42867 22142 4256 2834 0 25072 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 171468 KiB
Current children cumulated memory: 88568 KiB
[startup+6.30029 s]
/proc/loadavg: 4.12 4.12 4.14 5/251 120778
/proc/meminfo: memFree=126433700/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=180412 memory=98808 CPUtime=6.26 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 21531 0 0 0 622 4 0 0 20 0 1 0 142078195 184741888 24702 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 45103 24702 4256 2834 0 27308 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 180412 KiB
Current children cumulated memory: 98808 KiB
[startup+12.7003 s]
/proc/loadavg: 4.20 4.14 4.14 5/251 120778
/proc/meminfo: memFree=126261508/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=195016 memory=113004 CPUtime=12.65 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 26043 0 0 0 1260 5 0 0 20 0 1 0 142078195 199696384 28251 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 48754 28251 4256 2834 0 30959 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 195016 KiB
Current children cumulated memory: 113004 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.13 4.14 5/251 120778
/proc/meminfo: memFree=126188612/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=195800 memory=114376 CPUtime=25.4 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 27703 0 0 0 2535 5 0 0 20 0 1 0 142078195 200499200 28594 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 48950 28594 4256 2834 0 31155 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 195800 KiB
Current children cumulated memory: 114376 KiB
[startup+51.1131 s]
/proc/loadavg: 4.10 4.12 4.13 5/252 120873
/proc/meminfo: memFree=126097084/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=208900 memory=127508 CPUtime=50.93 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 32961 0 0 0 5087 6 0 0 20 0 1 0 142078195 213913600 31877 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 52225 31877 4256 2834 0 34430 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 208900 KiB
Current children cumulated memory: 127508 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.14 5/252 120931
/proc/meminfo: memFree=125095212/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=233208 memory=145940 CPUtime=101.95 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 37594 0 0 0 10188 7 0 0 20 0 1 0 142078195 238804992 36485 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 58302 36485 4256 2834 0 40507 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 233208 KiB
Current children cumulated memory: 145940 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/252 121157
/proc/meminfo: memFree=125047292/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=244272 memory=151956 CPUtime=161.73 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 39100 0 0 0 16166 7 0 0 20 0 1 0 142078195 250134528 37989 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 61068 37989 4256 2834 0 43273 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 244272 KiB
Current children cumulated memory: 151956 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/252 121160
/proc/meminfo: memFree=125001272/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=264272 memory=170840 CPUtime=221.53 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 44269 0 0 0 22145 8 0 0 20 0 1 0 142078195 270614528 42710 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 66068 42710 4256 2834 0 48273 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 264272 KiB
Current children cumulated memory: 170840 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.14 4.13 5/251 121251
/proc/meminfo: memFree=125337168/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=270764 memory=179808 CPUtime=281.33 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 47024 0 0 0 28124 9 0 0 20 0 1 0 142078195 277262336 44952 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 67691 44952 4256 2834 0 49896 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 270764 KiB
Current children cumulated memory: 179808 KiB
[startup+342.3 s]
/proc/loadavg: 4.86 4.34 4.20 5/250 121253
/proc/meminfo: memFree=124795720/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=291204 memory=208664 CPUtime=341.13 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 48719 0 0 0 34033 80 0 0 20 0 1 0 142078195 298192896 52166 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 72801 52166 4416 2834 0 55006 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 291204 KiB
Current children cumulated memory: 208664 KiB
[startup+402.3 s]
/proc/loadavg: 4.36 4.29 4.19 5/252 121302
/proc/meminfo: memFree=126328656/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=291204 memory=221336 CPUtime=400.94 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 48796 0 0 0 39955 139 0 0 20 0 1 0 142078195 298192896 55334 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 72801 55334 4416 2834 0 55006 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 291204 KiB
Current children cumulated memory: 221336 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.25 4.18 5/252 121304
/proc/meminfo: memFree=124451180/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=291204 memory=224920 CPUtime=460.76 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 48798 0 0 0 45903 173 0 0 20 0 1 0 142078195 298192896 56230 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 72801 56230 4416 2834 0 55006 0
Current children cumulated CPU time: 460.76 s
################
# More data... #
################
Current children cumulated memory: 378140 KiB
[startup+2862.3 s]
/proc/loadavg: 3.14 3.12 3.27 4/243 121492
/proc/meminfo: memFree=119623504/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=476160 memory=389980 CPUtime=2853.8 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 66747 0 0 0 283454 1926 0 0 20 0 1 0 142078195 487587840 97495 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 119040 97495 4416 2834 0 101245 0
Current children cumulated CPU time: 2853.8 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 389980 KiB
[startup+2922.3 s]
/proc/loadavg: 3.10 3.11 3.26 4/243 121494
/proc/meminfo: memFree=119543504/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=476160 memory=389980 CPUtime=2913.64 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 66751 0 0 0 289427 1937 0 0 20 0 1 0 142078195 487587840 97495 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 119040 97495 4416 2834 0 101245 0
Current children cumulated CPU time: 2913.64 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 389980 KiB
[startup+2982.3 s]
/proc/loadavg: 3.08 3.10 3.24 4/244 121499
/proc/meminfo: memFree=119350392/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=557548 memory=398272 CPUtime=2973.47 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 67298 0 0 0 295376 1971 0 0 20 0 1 0 142078195 570929152 99568 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 139387 99568 4416 2834 0 121592 0
Current children cumulated CPU time: 2973.47 s
Current children cumulated vsize: 557548 KiB
Current children cumulated memory: 398272 KiB
[startup+3042.3 s]
/proc/loadavg: 3.13 3.11 3.24 4/244 121501
/proc/meminfo: memFree=119107284/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=561792 memory=401216 CPUtime=3033.31 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 68014 0 0 0 301330 2001 0 0 20 0 1 0 142078195 575275008 100304 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 140448 100304 4416 2834 0 122653 0
Current children cumulated CPU time: 3033.31 s
Current children cumulated vsize: 561792 KiB
Current children cumulated memory: 401216 KiB
[startup+3102.3 s]
/proc/loadavg: 3.09 3.11 3.23 4/245 121508
/proc/meminfo: memFree=118883692/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=567064 memory=404928 CPUtime=3093.14 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 68948 0 0 0 307277 2037 0 0 20 0 1 0 142078195 580673536 101232 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 141766 101232 4416 2834 0 123971 0
Current children cumulated CPU time: 3093.14 s
Current children cumulated vsize: 567064 KiB
Current children cumulated memory: 404928 KiB
[startup+3162.3 s]
/proc/loadavg: 3.14 3.12 3.22 4/245 121510
/proc/meminfo: memFree=118686776/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=567064 memory=404928 CPUtime=3152.97 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 68951 0 0 0 313218 2079 0 0 20 0 1 0 142078195 580673536 101232 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 141766 101232 4416 2834 0 123971 0
Current children cumulated CPU time: 3152.97 s
Current children cumulated vsize: 567064 KiB
Current children cumulated memory: 404928 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.11 3.21 4/245 121512
/proc/meminfo: memFree=115795772/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=567064 memory=404928 CPUtime=3212.8 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 68952 0 0 0 319153 2127 0 0 20 0 1 0 142078195 580673536 101232 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 141766 101232 4416 2834 0 123971 0
Current children cumulated CPU time: 3212.8 s
Current children cumulated vsize: 567064 KiB
Current children cumulated memory: 404928 KiB
[startup+3282.3 s]
/proc/loadavg: 3.16 3.12 3.20 4/244 121514
/proc/meminfo: memFree=115603100/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=567064 memory=404928 CPUtime=3272.63 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 68953 0 0 0 325092 2171 0 0 20 0 1 0 142078195 580673536 101232 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 141766 101232 4416 2834 0 123971 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 567064 KiB
Current children cumulated memory: 404928 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.11 3.19 4/244 121516
/proc/meminfo: memFree=115405372/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=567064 memory=404928 CPUtime=3332.46 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 68955 0 0 0 331042 2204 0 0 20 0 1 0 142078195 580673536 101232 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 141766 101232 4416 2834 0 123971 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 567064 KiB
Current children cumulated memory: 404928 KiB
[startup+3402.3 s]
/proc/loadavg: 3.15 3.12 3.19 4/243 121518
/proc/meminfo: memFree=115244228/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=567064 memory=404928 CPUtime=3392.3 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 68957 0 0 0 336970 2260 0 0 20 0 1 0 142078195 580673536 101232 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 141766 101232 4416 2834 0 123971 0
Current children cumulated CPU time: 3392.3 s
Current children cumulated vsize: 567064 KiB
Current children cumulated memory: 404928 KiB
[startup+3462.3 s]
/proc/loadavg: 3.17 3.13 3.18 4/243 121520
/proc/meminfo: memFree=115145116/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=567064 memory=404928 CPUtime=3452.13 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 68958 0 0 0 342913 2300 0 0 20 0 1 0 142078195 580673536 101232 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 141766 101232 4416 2834 0 123971 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 567064 KiB
Current children cumulated memory: 404928 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.12 3.18 4/243 121522
/proc/meminfo: memFree=115134656/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=568740 memory=406336 CPUtime=3511.97 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 69320 0 0 0 348848 2349 0 0 20 0 1 0 142078195 582389760 101584 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 142185 101584 4416 2834 0 124390 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 568740 KiB
Current children cumulated memory: 406336 KiB
[startup+3582.3 s]
/proc/loadavg: 3.08 3.11 3.17 4/244 121527
/proc/meminfo: memFree=115133640/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=569476 memory=406848 CPUtime=3571.8 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 69442 0 0 0 354787 2393 0 0 20 0 1 0 142078195 583143424 101712 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 142369 101712 4416 2834 0 124574 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 569476 KiB
Current children cumulated memory: 406848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 3.10 3.11 3.17 4/244 121527
/proc/meminfo: memFree=115133664/131382112 swapFree=33002444/33010684
[pid=120777] ppid=120774 vsize=570816 memory=408000 CPUtime=3600.02 cores=0,2
/proc/120777/stat : 120777 (mixed-bag) R 120774 120777 119659 0 -1 4194304 69730 0 0 0 357581 2421 0 0 20 0 1 0 142078195 584515584 102000 18446744073709551615 4235264 15840557 140727832249728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 46174208 140727832258970 140727832259047 140727832259047 140727832264651 0
/proc/120777/statm: 142704 102000 4416 2834 0 124909 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 570816 KiB
Current children cumulated memory: 408000 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 120777 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.81 s, system=24.2224 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.61
CPU time (s): 3600.04
CPU user time (s): 3575.81
CPU system time (s): 24.2224
CPU usage (%): 99.7072
Max. virtual memory (cumulated for all children) (KiB): 570816
Max. memory (cumulated for all children) (KiB): 408000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.81
system time used= 24.2224
maximum resident set size= 408512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69758
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= 145
involuntary context switches= 8803
# summary of solver processes directly reported to runsolver:
# pid: 120777
# total CPU time (s): 3600.04
# total CPU user time (s): 3575.81
# total CPU system time (s): 24.2224
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3637 second user time and 34.4758 second system time
The end
Begin job on nodeC005 at 2025-07-11 21:59:48
IDJOB=4529314
IDBENCH=177345
IDSOLVER=3386
FILE ID=nodeC005/4529314-1752263988
RUNJOBID= nodeC005-1752256388-119669
SLURM_JOB_ID= 9682598
Free space on /tmp= 428560 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529314-1752263988/watcher-4529314-1752263988 -o /tmp/evaluation-result-4529314-1752263988/solver-4529314-1752263988 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752256388-119669 --watchdog 3760 mixed-bag HOME/instance-4529314-1752263988.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4558152054a2b5e07a56681a0171fc0f
RANDOM SEED=1096801462
nodeC005 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 : 3491.989
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.90
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 : 3691.411
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.90
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.379
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.450
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.90
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 : 3491.963
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.90
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 : 3691.510
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.90
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.348
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.909
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126493304 kB
MemAvailable: 127384176 kB
Buffers: 12 kB
Cached: 1675244 kB
SwapCached: 244 kB
Active: 2863972 kB
Inactive: 1401268 kB
Active(anon): 2563172 kB
Inactive(anon): 39708 kB
Active(file): 300800 kB
Inactive(file): 1361560 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33002444 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31292 kB
Writeback: 0 kB
AnonPages: 2592932 kB
Mapped: 133956 kB
Shmem: 12892 kB
KReclaimable: 136280 kB
Slab: 224788 kB
SReclaimable: 136280 kB
SUnreclaim: 88508 kB
KernelStack: 4048 kB
PageTables: 8464 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3241272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 563200 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 428548 MiB
End job on nodeC005 at 2025-07-11 22:59:59