0.00/0.06 c RoundingSat 2
0.00/0.06 c branch
0.00/0.06 c commit
0.00/0.06 c with Papilo
0.00/0.06 c with SCIP
0.00/0.06 c [STEP] parsing instance
0.00/0.06 c [STEP] preprocessing with Papilo
0.00/0.13 c [STEP] solving with SCIP
298.70/300.38 c [STEP] preprocessing done, loading into solver
298.70/300.38 c [STEP] solving
298.70/300.38 c #variables 51 #constraints 12
315.05/316.75 c #Conflicts: 1000 | #Constraints: 1011
315.05/316.75 c #Conflicts: 2000 | #Constraints: 2011
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 3000 | #Constraints: 2015
315.05/316.75 c #Conflicts: 4000 | #Constraints: 3015
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 5000 | #Constraints: 2419
315.05/316.75 c #Conflicts: 6000 | #Constraints: 3419
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 7000 | #Constraints: 2420
315.05/316.75 c #Conflicts: 8000 | #Constraints: 3420
315.05/316.75 c #Conflicts: 9000 | #Constraints: 4420
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 10000 | #Constraints: 3119
315.05/316.75 c #Conflicts: 11000 | #Constraints: 4119
315.05/316.75 c #Conflicts: 12000 | #Constraints: 5119
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 13000 | #Constraints: 3570
315.05/316.75 c #Conflicts: 14000 | #Constraints: 4570
315.05/316.75 c #Conflicts: 15000 | #Constraints: 5570
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 16000 | #Constraints: 3796
315.05/316.75 c #Conflicts: 17000 | #Constraints: 4796
315.05/316.75 c #Conflicts: 18000 | #Constraints: 5796
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 19000 | #Constraints: 3810
315.05/316.75 c #Conflicts: 20000 | #Constraints: 4810
315.05/316.75 c #Conflicts: 21000 | #Constraints: 5810
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 22000 | #Constraints: 3618
315.05/316.75 c #Conflicts: 23000 | #Constraints: 4618
315.05/316.75 c #Conflicts: 24000 | #Constraints: 5618
315.05/316.75 c #Conflicts: 25000 | #Constraints: 6618
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 26000 | #Constraints: 4222
315.05/316.75 c #Conflicts: 27000 | #Constraints: 5222
315.05/316.75 c #Conflicts: 28000 | #Constraints: 6222
315.05/316.75 c #Conflicts: 29000 | #Constraints: 7222
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 30000 | #Constraints: 4621
315.05/316.75 c #Conflicts: 31000 | #Constraints: 5621
315.05/316.75 c #Conflicts: 32000 | #Constraints: 6621
315.05/316.75 c #Conflicts: 33000 | #Constraints: 7621
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 34000 | #Constraints: 4822
315.05/316.75 c #Conflicts: 35000 | #Constraints: 5822
315.05/316.75 c #Conflicts: 36000 | #Constraints: 6822
315.05/316.75 c #Conflicts: 37000 | #Constraints: 7822
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 38000 | #Constraints: 4822
315.05/316.75 c #Conflicts: 39000 | #Constraints: 5822
315.05/316.75 c #Conflicts: 40000 | #Constraints: 6822
315.05/316.75 c #Conflicts: 41000 | #Constraints: 7822
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 42000 | #Constraints: 4623
315.05/316.75 c #Conflicts: 43000 | #Constraints: 5623
315.05/316.75 c #Conflicts: 44000 | #Constraints: 6623
315.05/316.75 c #Conflicts: 45000 | #Constraints: 7623
315.05/316.75 c #Conflicts: 46000 | #Constraints: 8623
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 47000 | #Constraints: 5221
315.05/316.75 c #Conflicts: 48000 | #Constraints: 6221
315.05/316.75 c #Conflicts: 49000 | #Constraints: 7221
315.05/316.75 c #Conflicts: 50000 | #Constraints: 8221
315.05/316.75 c #Conflicts: 51000 | #Constraints: 9221
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 52000 | #Constraints: 5623
315.05/316.75 c #Conflicts: 53000 | #Constraints: 6623
315.05/316.75 c #Conflicts: 54000 | #Constraints: 7623
315.05/316.75 c #Conflicts: 55000 | #Constraints: 8623
315.05/316.75 c #Conflicts: 56000 | #Constraints: 9623
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 57000 | #Constraints: 5823
315.05/316.75 c #Conflicts: 58000 | #Constraints: 6823
315.05/316.75 c #Conflicts: 59000 | #Constraints: 7823
315.05/316.75 c #Conflicts: 60000 | #Constraints: 8823
315.05/316.75 c #Conflicts: 61000 | #Constraints: 9823
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 62000 | #Constraints: 5822
315.05/316.75 c #Conflicts: 63000 | #Constraints: 6822
315.05/316.75 c #Conflicts: 64000 | #Constraints: 7822
315.05/316.75 c #Conflicts: 65000 | #Constraints: 8822
315.05/316.75 c #Conflicts: 66000 | #Constraints: 9822
315.05/316.75 c INPROCESSING
315.05/316.75 c GARBAGE COLLECT
315.05/316.75 c #Conflicts: 67000 | #Constraints: 5623
315.05/316.75 c #Conflicts: 68000 | #Constraints: 6623
345.77/347.55 c #Conflicts: 69000 | #Constraints: 7623
345.77/347.55 c #Conflicts: 70000 | #Constraints: 8623
345.77/347.55 c #Conflicts: 71000 | #Constraints: 9623
345.77/347.55 c #Conflicts: 72000 | #Constraints: 10623
345.77/347.55 c INPROCESSING
345.77/347.55 c GARBAGE COLLECT
345.77/347.55 c #Conflicts: 73000 | #Constraints: 6221
345.77/347.55 c #Conflicts: 74000 | #Constraints: 7221
345.77/347.55 c #Conflicts: 75000 | #Constraints: 8221
345.77/347.55 c #Conflicts: 76000 | #Constraints: 9221
345.77/347.55 c #Conflicts: 77000 | #Constraints: 10221
345.77/347.55 c #Conflicts: 78000 | #Constraints: 11221
345.77/347.55 c INPROCESSING
345.77/347.55 c GARBAGE COLLECT
345.77/347.55 c #Conflicts: 79000 | #Constraints: 6621
345.77/347.55 c #Conflicts: 80000 | #Constraints: 7621
345.77/347.55 c #Conflicts: 81000 | #Constraints: 8621
345.77/347.55 c #Conflicts: 82000 | #Constraints: 9621
345.77/347.55 c #Conflicts: 83000 | #Constraints: 10621
345.77/347.55 c #Conflicts: 84000 | #Constraints: 11621
345.77/347.55 c INPROCESSING
345.77/347.55 c GARBAGE COLLECT
345.77/347.55 c #Conflicts: 85000 | #Constraints: 6823
345.77/347.55 c #Conflicts: 86000 | #Constraints: 7823
345.77/347.55 c #Conflicts: 87000 | #Constraints: 8823
345.77/347.55 c #Conflicts: 88000 | #Constraints: 9823
345.77/347.55 c #Conflicts: 89000 | #Constraints: 10823
345.77/347.55 c #Conflicts: 90000 | #Constraints: 11823
345.77/347.55 c INPROCESSING
345.77/347.55 c GARBAGE COLLECT
345.77/347.55 c #Conflicts: 91000 | #Constraints: 6823
345.77/347.55 c #Conflicts: 92000 | #Constraints: 7823
345.77/347.55 c #Conflicts: 93000 | #Constraints: 8823
345.77/347.55 c #Conflicts: 94000 | #Constraints: 9823
345.77/347.55 c #Conflicts: 95000 | #Constraints: 10823
345.77/347.55 c #Conflicts: 96000 | #Constraints: 11823
345.77/347.55 c INPROCESSING
345.77/347.55 c GARBAGE COLLECT
345.77/347.55 c #Conflicts: 97000 | #Constraints: 6623
345.77/347.55 c #Conflicts: 98000 | #Constraints: 7623
345.77/347.55 c #Conflicts: 99000 | #Constraints: 8623
345.77/347.55 c #Conflicts: 100000 | #Constraints: 9623
345.77/347.55 c #Conflicts: 101000 | #Constraints: 10623
345.77/347.55 c #Conflicts: 102000 | #Constraints: 11623
345.77/347.55 c #Conflicts: 103000 | #Constraints: 12623
345.77/347.55 c INPROCESSING
345.77/347.55 c GARBAGE COLLECT
345.77/347.55 c #Conflicts: 104000 | #Constraints: 7220
345.77/347.55 c #Conflicts: 105000 | #Constraints: 8220
345.77/347.55 c #Conflicts: 106000 | #Constraints: 9220
345.77/347.55 c #Conflicts: 107000 | #Constraints: 10220
345.77/347.55 c #Conflicts: 108000 | #Constraints: 11220
345.77/347.55 c #Conflicts: 109000 | #Constraints: 12220
345.77/347.55 c #Conflicts: 110000 | #Constraints: 13220
345.77/347.55 c INPROCESSING
345.77/347.55 c GARBAGE COLLECT
345.77/347.55 c #Conflicts: 111000 | #Constraints: 7622
345.77/347.55 c #Conflicts: 112000 | #Constraints: 8622
345.77/347.55 c #Conflicts: 113000 | #Constraints: 9622
345.77/347.55 c #Conflicts: 114000 | #Constraints: 10622
345.77/347.55 c #Conflicts: 115000 | #Constraints: 11622
345.77/347.55 c #Conflicts: 116000 | #Constraints: 12622
345.77/347.55 c #Conflicts: 117000 | #Constraints: 13622
345.77/347.55 c INPROCESSING
345.77/347.55 c GARBAGE COLLECT
345.77/347.55 c #Conflicts: 118000 | #Constraints: 7820
345.77/347.55 c #Conflicts: 119000 | #Constraints: 8820
345.77/347.55 c #Conflicts: 120000 | #Constraints: 9820
345.77/347.55 c #Conflicts: 121000 | #Constraints: 10820
345.77/347.55 c #Conflicts: 122000 | #Constraints: 11820
345.77/347.55 c #Conflicts: 123000 | #Constraints: 12820
345.77/347.55 c #Conflicts: 124000 | #Constraints: 13820
345.77/347.55 c INPROCESSING
345.77/347.55 c GARBAGE COLLECT
345.77/347.55 c #Conflicts: 125000 | #Constraints: 7820
345.77/347.55 c #Conflicts: 126000 | #Constraints: 8820
345.77/347.55 c #Conflicts: 127000 | #Constraints: 9820
345.77/347.55 c #Conflicts: 128000 | #Constraints: 10820
345.77/347.55 c #Conflicts: 129000 | #Constraints: 11820
345.77/347.55 c #Conflicts: 130000 | #Constraints: 12820
345.77/347.55 c #Conflicts: 131000 | #Constraints: 13820
345.77/347.55 c INPROCESSING
345.77/347.55 c GARBAGE COLLECT
345.77/347.55 c #Conflicts: 132000 | #Constraints: 7621
345.77/347.55 c #Conflicts: 133000 | #Constraints: 8621
345.77/347.55 c #Conflicts: 134000 | #Constraints: 9621
345.77/347.55 c #Conflicts: 135000 | #Constraints: 10621
345.77/347.55 c #Conflicts: 136000 | #Constraints: 11621
345.77/347.55 c #Conflicts: 137000 | #Constraints: 12621
345.77/347.55 c #Conflicts: 138000 | #Constraints: 13621
345.77/347.55 c #Conflicts: 139000 | #Constraints: 14621
345.77/347.55 c INPROCESSING
345.77/347.55 c GARBAGE COLLECT
345.77/347.55 c #Conflicts: 140000 | #Constraints: 8222
389.36/391.24 c #Conflicts: 141000 | #Constraints: 9222
389.36/391.24 c #Conflicts: 142000 | #Constraints: 10222
389.36/391.24 c #Conflicts: 143000 | #Constraints: 11222
389.36/391.24 c #Conflicts: 144000 | #Constraints: 12222
389.36/391.24 c #Conflicts: 145000 | #Constraints: 13222
389.36/391.24 c #Conflicts: 146000 | #Constraints: 14222
389.36/391.24 c #Conflicts: 147000 | #Constraints: 15222
389.36/391.24 c INPROCESSING
389.36/391.24 c GARBAGE COLLECT
389.36/391.24 c #Conflicts: 148000 | #Constraints: 8624
389.36/391.24 c #Conflicts: 149000 | #Constraints: 9624
389.36/391.24 c #Conflicts: 150000 | #Constraints: 10624
389.36/391.24 c #Conflicts: 151000 | #Constraints: 11624
389.36/391.24 c #Conflicts: 152000 | #Constraints: 12624
389.36/391.24 c #Conflicts: 153000 | #Constraints: 13624
389.36/391.24 c #Conflicts: 154000 | #Constraints: 14624
389.36/391.24 c #Conflicts: 155000 | #Constraints: 15624
389.36/391.24 c INPROCESSING
389.36/391.24 c GARBAGE COLLECT
389.36/391.24 c #Conflicts: 156000 | #Constraints: 8825
389.36/391.24 c #Conflicts: 157000 | #Constraints: 9825
389.36/391.24 c #Conflicts: 158000 | #Constraints: 10825
389.36/391.24 c #Conflicts: 159000 | #Constraints: 11825
389.36/391.24 c #Conflicts: 160000 | #Constraints: 12825
389.36/391.24 c #Conflicts: 161000 | #Constraints: 13825
389.36/391.24 c #Conflicts: 162000 | #Constraints: 14825
389.36/391.24 c #Conflicts: 163000 | #Constraints: 15825
389.36/391.24 c INPROCESSING
389.36/391.24 c GARBAGE COLLECT
389.36/391.24 c #Conflicts: 164000 | #Constraints: 8824
389.36/391.24 c #Conflicts: 165000 | #Constraints: 9824
389.36/391.24 c #Conflicts: 166000 | #Constraints: 10824
389.36/391.24 c #Conflicts: 167000 | #Constraints: 11824
389.36/391.24 c #Conflicts: 168000 | #Constraints: 12824
389.36/391.24 c #Conflicts: 169000 | #Constraints: 13824
389.36/391.24 c #Conflicts: 170000 | #Constraints: 14824
389.36/391.24 c #Conflicts: 171000 | #Constraints: 15824
389.36/391.24 c INPROCESSING
389.36/391.24 c GARBAGE COLLECT
389.36/391.24 c #Conflicts: 172000 | #Constraints: 8621
389.36/391.24 c #Conflicts: 173000 | #Constraints: 9621
389.36/391.24 c #Conflicts: 174000 | #Constraints: 10621
389.36/391.24 c #Conflicts: 175000 | #Constraints: 11621
389.36/391.24 c #Conflicts: 176000 | #Constraints: 12621
389.36/391.24 c #Conflicts: 177000 | #Constraints: 13621
389.36/391.24 c #Conflicts: 178000 | #Constraints: 14621
389.36/391.24 c #Conflicts: 179000 | #Constraints: 15621
389.36/391.24 c #Conflicts: 180000 | #Constraints: 16621
389.36/391.24 c INPROCESSING
389.36/391.24 c GARBAGE COLLECT
389.36/391.24 c #Conflicts: 181000 | #Constraints: 9221
389.36/391.24 c #Conflicts: 182000 | #Constraints: 10221
389.36/391.24 c #Conflicts: 183000 | #Constraints: 11221
389.36/391.24 c #Conflicts: 184000 | #Constraints: 12221
389.36/391.24 c #Conflicts: 185000 | #Constraints: 13221
389.36/391.24 c #Conflicts: 186000 | #Constraints: 14221
389.36/391.24 c #Conflicts: 187000 | #Constraints: 15221
389.36/391.24 c #Conflicts: 188000 | #Constraints: 16221
389.36/391.24 c #Conflicts: 189000 | #Constraints: 17221
389.36/391.24 c INPROCESSING
389.36/391.24 c GARBAGE COLLECT
389.36/391.24 c #Conflicts: 190000 | #Constraints: 9622
389.36/391.24 c #Conflicts: 191000 | #Constraints: 10622
389.36/391.24 c #Conflicts: 192000 | #Constraints: 11622
389.36/391.24 c #Conflicts: 193000 | #Constraints: 12622
389.36/391.24 c #Conflicts: 194000 | #Constraints: 13622
389.36/391.24 c #Conflicts: 195000 | #Constraints: 14622
389.36/391.24 c #Conflicts: 196000 | #Constraints: 15622
389.36/391.24 c #Conflicts: 197000 | #Constraints: 16622
389.36/391.24 c #Conflicts: 198000 | #Constraints: 17622
389.36/391.24 c INPROCESSING
389.36/391.24 c GARBAGE COLLECT
389.36/391.24 c #Conflicts: 199000 | #Constraints: 9826
389.36/391.24 c #Conflicts: 200000 | #Constraints: 10826
389.36/391.24 c #Conflicts: 201000 | #Constraints: 11826
389.36/391.24 c #Conflicts: 202000 | #Constraints: 12826
389.36/391.24 c #Conflicts: 203000 | #Constraints: 13826
389.36/391.24 c #Conflicts: 204000 | #Constraints: 14826
389.36/391.24 c #Conflicts: 205000 | #Constraints: 15826
389.36/391.24 c #Conflicts: 206000 | #Constraints: 16826
389.36/391.24 c #Conflicts: 207000 | #Constraints: 17826
389.36/391.24 c INPROCESSING
389.36/391.24 c GARBAGE COLLECT
389.36/391.24 c #Conflicts: 208000 | #Constraints: 9827
389.36/391.24 c #Conflicts: 209000 | #Constraints: 10827
389.36/391.24 c #Conflicts: 210000 | #Constraints: 11827
389.36/391.24 c #Conflicts: 211000 | #Constraints: 12827
389.36/391.24 c #Conflicts: 212000 | #Constraints: 13827
389.36/391.24 c #Conflicts: 213000 | #Constraints: 14827
442.11/444.19 c #Conflicts: 214000 | #Constraints: 15827
442.11/444.19 c #Conflicts: 215000 | #Constraints: 16827
442.11/444.19 c #Conflicts: 216000 | #Constraints: 17827
442.11/444.19 c INPROCESSING
442.11/444.19 c GARBAGE COLLECT
442.11/444.19 c #Conflicts: 217000 | #Constraints: 9627
442.11/444.19 c #Conflicts: 218000 | #Constraints: 10627
442.11/444.19 c #Conflicts: 219000 | #Constraints: 11627
442.11/444.19 c #Conflicts: 220000 | #Constraints: 12627
442.11/444.19 c #Conflicts: 221000 | #Constraints: 13627
442.11/444.19 c #Conflicts: 222000 | #Constraints: 14627
442.11/444.19 c #Conflicts: 223000 | #Constraints: 15627
442.11/444.19 c #Conflicts: 224000 | #Constraints: 16627
442.11/444.19 c #Conflicts: 225000 | #Constraints: 17627
442.11/444.19 c #Conflicts: 226000 | #Constraints: 18627
442.11/444.19 c INPROCESSING
442.11/444.19 c GARBAGE COLLECT
442.11/444.19 c #Conflicts: 227000 | #Constraints: 10227
442.11/444.19 c #Conflicts: 228000 | #Constraints: 11227
442.11/444.19 c #Conflicts: 229000 | #Constraints: 12227
442.11/444.19 c #Conflicts: 230000 | #Constraints: 13227
442.11/444.19 c #Conflicts: 231000 | #Constraints: 14227
442.11/444.19 c #Conflicts: 232000 | #Constraints: 15227
442.11/444.19 c #Conflicts: 233000 | #Constraints: 16227
442.11/444.19 c #Conflicts: 234000 | #Constraints: 17227
442.11/444.19 c #Conflicts: 235000 | #Constraints: 18227
442.11/444.19 c #Conflicts: 236000 | #Constraints: 19227
442.11/444.19 c INPROCESSING
442.11/444.19 c GARBAGE COLLECT
442.11/444.19 c #Conflicts: 237000 | #Constraints: 10626
442.11/444.19 c #Conflicts: 238000 | #Constraints: 11626
442.11/444.19 c #Conflicts: 239000 | #Constraints: 12626
442.11/444.19 c #Conflicts: 240000 | #Constraints: 13626
442.11/444.19 c #Conflicts: 241000 | #Constraints: 14626
442.11/444.19 c #Conflicts: 242000 | #Constraints: 15626
442.11/444.19 c #Conflicts: 243000 | #Constraints: 16626
442.11/444.19 c #Conflicts: 244000 | #Constraints: 17626
442.11/444.19 c #Conflicts: 245000 | #Constraints: 18626
442.11/444.19 c #Conflicts: 246000 | #Constraints: 19626
442.11/444.19 c INPROCESSING
442.11/444.19 c GARBAGE COLLECT
442.11/444.19 c #Conflicts: 247000 | #Constraints: 10825
442.11/444.19 c #Conflicts: 248000 | #Constraints: 11825
442.11/444.19 c #Conflicts: 249000 | #Constraints: 12825
442.11/444.19 c #Conflicts: 250000 | #Constraints: 13825
442.11/444.19 c #Conflicts: 251000 | #Constraints: 14825
442.11/444.19 c #Conflicts: 252000 | #Constraints: 15825
442.11/444.19 c #Conflicts: 253000 | #Constraints: 16825
442.11/444.19 c #Conflicts: 254000 | #Constraints: 17825
442.11/444.19 c #Conflicts: 255000 | #Constraints: 18825
442.11/444.19 c #Conflicts: 256000 | #Constraints: 19825
442.11/444.19 c INPROCESSING
442.11/444.19 c GARBAGE COLLECT
442.11/444.19 c #Conflicts: 257000 | #Constraints: 10822
442.11/444.19 c #Conflicts: 258000 | #Constraints: 11822
442.11/444.19 c #Conflicts: 259000 | #Constraints: 12822
442.11/444.19 c #Conflicts: 260000 | #Constraints: 13822
442.11/444.19 c #Conflicts: 261000 | #Constraints: 14822
442.11/444.19 c #Conflicts: 262000 | #Constraints: 15822
442.11/444.19 c #Conflicts: 263000 | #Constraints: 16822
442.11/444.19 c #Conflicts: 264000 | #Constraints: 17822
442.11/444.19 c #Conflicts: 265000 | #Constraints: 18822
442.11/444.19 c #Conflicts: 266000 | #Constraints: 19822
442.11/444.19 c INPROCESSING
442.11/444.19 c GARBAGE COLLECT
442.11/444.19 c #Conflicts: 267000 | #Constraints: 10620
442.11/444.19 c #Conflicts: 268000 | #Constraints: 11620
442.11/444.19 c #Conflicts: 269000 | #Constraints: 12620
442.11/444.19 c #Conflicts: 270000 | #Constraints: 13620
442.11/444.19 c #Conflicts: 271000 | #Constraints: 14620
442.11/444.19 c #Conflicts: 272000 | #Constraints: 15620
442.11/444.19 c #Conflicts: 273000 | #Constraints: 16620
442.11/444.19 c #Conflicts: 274000 | #Constraints: 17620
442.11/444.19 c #Conflicts: 275000 | #Constraints: 18620
442.11/444.19 c #Conflicts: 276000 | #Constraints: 19620
442.11/444.19 c #Conflicts: 277000 | #Constraints: 20620
442.11/444.19 c INPROCESSING
442.11/444.19 c GARBAGE COLLECT
442.11/444.19 c #Conflicts: 278000 | #Constraints: 11221
442.11/444.19 c #Conflicts: 279000 | #Constraints: 12221
442.11/444.19 c #Conflicts: 280000 | #Constraints: 13221
442.11/444.19 c #Conflicts: 281000 | #Constraints: 14221
442.11/444.19 c #Conflicts: 282000 | #Constraints: 15221
442.11/444.19 c #Conflicts: 283000 | #Constraints: 16221
442.11/444.19 c #Conflicts: 284000 | #Constraints: 17221
442.11/444.19 c #Conflicts: 285000 | #Constraints: 18221
442.11/444.19 c #Conflicts: 286000 | #Constraints: 19221
442.11/444.19 c #Conflicts: 287000 | #Constraints: 20221
442.11/444.19 c #Conflicts: 288000 | #Constraints: 21221
501.51/503.70 c INPROCESSING
501.51/503.70 c GARBAGE COLLECT
501.51/503.70 c #Conflicts: 289000 | #Constraints: 11620
501.51/503.70 c #Conflicts: 290000 | #Constraints: 12620
501.51/503.70 c #Conflicts: 291000 | #Constraints: 13620
501.51/503.70 c #Conflicts: 292000 | #Constraints: 14620
501.51/503.70 c #Conflicts: 293000 | #Constraints: 15620
501.51/503.70 c #Conflicts: 294000 | #Constraints: 16620
501.51/503.70 c #Conflicts: 295000 | #Constraints: 17620
501.51/503.70 c #Conflicts: 296000 | #Constraints: 18620
501.51/503.70 c #Conflicts: 297000 | #Constraints: 19620
501.51/503.70 c #Conflicts: 298000 | #Constraints: 20620
501.51/503.70 c #Conflicts: 299000 | #Constraints: 21620
501.51/503.70 c INPROCESSING
501.51/503.70 c GARBAGE COLLECT
501.51/503.70 c #Conflicts: 300000 | #Constraints: 11820
501.51/503.70 c #Conflicts: 301000 | #Constraints: 12820
501.51/503.70 c #Conflicts: 302000 | #Constraints: 13820
501.51/503.70 c #Conflicts: 303000 | #Constraints: 14820
501.51/503.70 c #Conflicts: 304000 | #Constraints: 15820
501.51/503.70 c #Conflicts: 305000 | #Constraints: 16820
501.51/503.70 c #Conflicts: 306000 | #Constraints: 17820
501.51/503.70 c #Conflicts: 307000 | #Constraints: 18820
501.51/503.70 c #Conflicts: 308000 | #Constraints: 19820
501.51/503.70 c #Conflicts: 309000 | #Constraints: 20820
501.51/503.70 c #Conflicts: 310000 | #Constraints: 21820
501.51/503.70 c INPROCESSING
501.51/503.70 c GARBAGE COLLECT
501.51/503.70 c #Conflicts: 311000 | #Constraints: 11821
501.51/503.70 c #Conflicts: 312000 | #Constraints: 12821
501.51/503.70 c #Conflicts: 313000 | #Constraints: 13821
501.51/503.70 c #Conflicts: 314000 | #Constraints: 14821
501.51/503.70 c #Conflicts: 315000 | #Constraints: 15821
501.51/503.70 c #Conflicts: 316000 | #Constraints: 16821
501.51/503.70 c #Conflicts: 317000 | #Constraints: 17821
501.51/503.70 c #Conflicts: 318000 | #Constraints: 18821
501.51/503.70 c #Conflicts: 319000 | #Constraints: 19821
501.51/503.70 c #Conflicts: 320000 | #Constraints: 20821
501.51/503.70 c #Conflicts: 321000 | #Constraints: 21821
501.51/503.70 c INPROCESSING
501.51/503.70 c GARBAGE COLLECT
501.51/503.70 c #Conflicts: 322000 | #Constraints: 11623
501.51/503.70 c #Conflicts: 323000 | #Constraints: 12623
501.51/503.70 c #Conflicts: 324000 | #Constraints: 13623
501.51/503.70 c #Conflicts: 325000 | #Constraints: 14623
501.51/503.70 c #Conflicts: 326000 | #Constraints: 15623
501.51/503.70 c #Conflicts: 327000 | #Constraints: 16623
501.51/503.70 c #Conflicts: 328000 | #Constraints: 17623
501.51/503.70 c #Conflicts: 329000 | #Constraints: 18623
501.51/503.70 c #Conflicts: 330000 | #Constraints: 19623
501.51/503.70 c #Conflicts: 331000 | #Constraints: 20623
501.51/503.70 c #Conflicts: 332000 | #Constraints: 21623
501.51/503.70 c #Conflicts: 333000 | #Constraints: 22623
501.51/503.70 c INPROCESSING
501.51/503.70 c GARBAGE COLLECT
501.51/503.70 c #Conflicts: 334000 | #Constraints: 12222
501.51/503.70 c #Conflicts: 335000 | #Constraints: 13222
501.51/503.70 c #Conflicts: 336000 | #Constraints: 14222
501.51/503.70 c #Conflicts: 337000 | #Constraints: 15222
501.51/503.70 c #Conflicts: 338000 | #Constraints: 16222
501.51/503.70 c #Conflicts: 339000 | #Constraints: 17222
501.51/503.70 c #Conflicts: 340000 | #Constraints: 18222
501.51/503.70 c #Conflicts: 341000 | #Constraints: 19222
501.51/503.70 c #Conflicts: 342000 | #Constraints: 20222
501.51/503.70 c #Conflicts: 343000 | #Constraints: 21222
501.51/503.70 c #Conflicts: 344000 | #Constraints: 22222
501.51/503.70 c #Conflicts: 345000 | #Constraints: 23222
501.51/503.70 c INPROCESSING
501.51/503.70 c GARBAGE COLLECT
501.51/503.70 c #Conflicts: 346000 | #Constraints: 12620
501.51/503.70 c #Conflicts: 347000 | #Constraints: 13620
501.51/503.70 c #Conflicts: 348000 | #Constraints: 14620
501.51/503.70 c #Conflicts: 349000 | #Constraints: 15620
501.51/503.70 c #Conflicts: 350000 | #Constraints: 16620
501.51/503.70 c #Conflicts: 351000 | #Constraints: 17620
501.51/503.70 c #Conflicts: 352000 | #Constraints: 18620
501.51/503.70 c #Conflicts: 353000 | #Constraints: 19620
501.51/503.70 c #Conflicts: 354000 | #Constraints: 20620
501.51/503.70 c #Conflicts: 355000 | #Constraints: 21620
501.51/503.70 c #Conflicts: 356000 | #Constraints: 22620
501.51/503.70 c #Conflicts: 357000 | #Constraints: 23620
501.51/503.70 c INPROCESSING
501.51/503.70 c GARBAGE COLLECT
501.51/503.70 c #Conflicts: 358000 | #Constraints: 12821
501.51/503.70 c #Conflicts: 359000 | #Constraints: 13821
501.51/503.70 c #Conflicts: 360000 | #Constraints: 14821
501.51/503.70 c #Conflicts: 361000 | #Constraints: 15821
501.51/503.70 c #Conflicts: 362000 | #Constraints: 16821
570.79/573.27 c #Conflicts: 363000 | #Constraints: 17821
570.79/573.27 c #Conflicts: 364000 | #Constraints: 18821
570.79/573.27 c #Conflicts: 365000 | #Constraints: 19821
570.79/573.27 c #Conflicts: 366000 | #Constraints: 20821
570.79/573.27 c #Conflicts: 367000 | #Constraints: 21821
570.79/573.27 c #Conflicts: 368000 | #Constraints: 22821
570.79/573.27 c #Conflicts: 369000 | #Constraints: 23821
570.79/573.27 c INPROCESSING
570.79/573.27 c GARBAGE COLLECT
570.79/573.27 c #Conflicts: 370000 | #Constraints: 12824
570.79/573.27 c #Conflicts: 371000 | #Constraints: 13824
570.79/573.27 c #Conflicts: 372000 | #Constraints: 14824
570.79/573.27 c #Conflicts: 373000 | #Constraints: 15824
570.79/573.27 c #Conflicts: 374000 | #Constraints: 16824
570.79/573.27 c #Conflicts: 375000 | #Constraints: 17824
570.79/573.27 c #Conflicts: 376000 | #Constraints: 18824
570.79/573.27 c #Conflicts: 377000 | #Constraints: 19824
570.79/573.27 c #Conflicts: 378000 | #Constraints: 20824
570.79/573.27 c #Conflicts: 379000 | #Constraints: 21824
570.79/573.27 c #Conflicts: 380000 | #Constraints: 22824
570.79/573.27 c #Conflicts: 381000 | #Constraints: 23824
570.79/573.27 c INPROCESSING
570.79/573.27 c GARBAGE COLLECT
570.79/573.27 c #Conflicts: 382000 | #Constraints: 12624
570.79/573.27 c #Conflicts: 383000 | #Constraints: 13624
570.79/573.27 c #Conflicts: 384000 | #Constraints: 14624
570.79/573.27 c #Conflicts: 385000 | #Constraints: 15624
570.79/573.27 c #Conflicts: 386000 | #Constraints: 16624
570.79/573.27 c #Conflicts: 387000 | #Constraints: 17624
570.79/573.27 c #Conflicts: 388000 | #Constraints: 18624
570.79/573.27 c #Conflicts: 389000 | #Constraints: 19624
570.79/573.27 c #Conflicts: 390000 | #Constraints: 20624
570.79/573.27 c #Conflicts: 391000 | #Constraints: 21624
570.79/573.27 c #Conflicts: 392000 | #Constraints: 22624
570.79/573.27 c #Conflicts: 393000 | #Constraints: 23624
570.79/573.27 c #Conflicts: 394000 | #Constraints: 24624
570.79/573.27 c INPROCESSING
570.79/573.27 c GARBAGE COLLECT
570.79/573.27 c #Conflicts: 395000 | #Constraints: 13224
570.79/573.27 c #Conflicts: 396000 | #Constraints: 14224
570.79/573.27 c #Conflicts: 397000 | #Constraints: 15224
570.79/573.27 c #Conflicts: 398000 | #Constraints: 16224
570.79/573.27 c #Conflicts: 399000 | #Constraints: 17224
570.79/573.27 c #Conflicts: 400000 | #Constraints: 18224
570.79/573.27 c #Conflicts: 401000 | #Constraints: 19224
570.79/573.27 c #Conflicts: 402000 | #Constraints: 20224
570.79/573.27 c #Conflicts: 403000 | #Constraints: 21224
570.79/573.27 c #Conflicts: 404000 | #Constraints: 22224
570.79/573.27 c #Conflicts: 405000 | #Constraints: 23224
570.79/573.27 c #Conflicts: 406000 | #Constraints: 24224
570.79/573.27 c #Conflicts: 407000 | #Constraints: 25224
570.79/573.27 c INPROCESSING
570.79/573.27 c GARBAGE COLLECT
570.79/573.27 c #Conflicts: 408000 | #Constraints: 13621
570.79/573.27 c #Conflicts: 409000 | #Constraints: 14621
570.79/573.27 c #Conflicts: 410000 | #Constraints: 15621
570.79/573.27 c #Conflicts: 411000 | #Constraints: 16621
570.79/573.27 c #Conflicts: 412000 | #Constraints: 17621
570.79/573.27 c #Conflicts: 413000 | #Constraints: 18621
570.79/573.27 c #Conflicts: 414000 | #Constraints: 19621
570.79/573.27 c #Conflicts: 415000 | #Constraints: 20621
570.79/573.27 c #Conflicts: 416000 | #Constraints: 21621
570.79/573.27 c #Conflicts: 417000 | #Constraints: 22621
570.79/573.27 c #Conflicts: 418000 | #Constraints: 23621
570.79/573.27 c #Conflicts: 419000 | #Constraints: 24621
570.79/573.27 c #Conflicts: 420000 | #Constraints: 25621
570.79/573.27 c INPROCESSING
570.79/573.27 c GARBAGE COLLECT
570.79/573.27 c #Conflicts: 421000 | #Constraints: 13825
570.79/573.27 c #Conflicts: 422000 | #Constraints: 14825
570.79/573.27 c #Conflicts: 423000 | #Constraints: 15825
570.79/573.27 c #Conflicts: 424000 | #Constraints: 16825
570.79/573.27 c #Conflicts: 425000 | #Constraints: 17825
570.79/573.27 c #Conflicts: 426000 | #Constraints: 18825
570.79/573.27 c #Conflicts: 427000 | #Constraints: 19825
570.79/573.27 c #Conflicts: 428000 | #Constraints: 20825
570.79/573.27 c #Conflicts: 429000 | #Constraints: 21825
570.79/573.27 c #Conflicts: 430000 | #Constraints: 22825
570.79/573.27 c #Conflicts: 431000 | #Constraints: 23825
570.79/573.27 c #Conflicts: 432000 | #Constraints: 24825
570.79/573.27 c #Conflicts: 433000 | #Constraints: 25825
570.79/573.27 c INPROCESSING
570.79/573.27 c GARBAGE COLLECT
570.79/573.27 c #Conflicts: 434000 | #Constraints: 13825
570.79/573.27 c #Conflicts: 435000 | #Constraints: 14825
570.79/573.27 c #Conflicts: 436000 | #Constraints: 15825
570.79/573.27 c #Conflicts: 437000 | #Constraints: 16825
666.39/669.14 c #Conflicts: 438000 | #Constraints: 17825
666.39/669.14 c #Conflicts: 439000 | #Constraints: 18825
666.39/669.14 c #Conflicts: 440000 | #Constraints: 19825
666.39/669.14 c #Conflicts: 441000 | #Constraints: 20825
666.39/669.14 c #Conflicts: 442000 | #Constraints: 21825
666.39/669.14 c #Conflicts: 443000 | #Constraints: 22825
666.39/669.14 c #Conflicts: 444000 | #Constraints: 23825
666.39/669.14 c #Conflicts: 445000 | #Constraints: 24825
666.39/669.14 c #Conflicts: 446000 | #Constraints: 25825
666.39/669.14 c INPROCESSING
666.39/669.14 c GARBAGE COLLECT
666.39/669.14 c #Conflicts: 447000 | #Constraints: 13628
666.39/669.14 c #Conflicts: 448000 | #Constraints: 14628
666.39/669.14 c #Conflicts: 449000 | #Constraints: 15628
666.39/669.14 c #Conflicts: 450000 | #Constraints: 16628
666.39/669.14 c #Conflicts: 451000 | #Constraints: 17628
666.39/669.14 c #Conflicts: 452000 | #Constraints: 18628
666.39/669.14 c #Conflicts: 453000 | #Constraints: 19628
666.39/669.14 c #Conflicts: 454000 | #Constraints: 20628
666.39/669.14 c #Conflicts: 455000 | #Constraints: 21628
666.39/669.14 c #Conflicts: 456000 | #Constraints: 22628
666.39/669.14 c #Conflicts: 457000 | #Constraints: 23628
666.39/669.14 c #Conflicts: 458000 | #Constraints: 24628
666.39/669.14 c #Conflicts: 459000 | #Constraints: 25628
666.39/669.14 c #Conflicts: 460000 | #Constraints: 26628
666.39/669.14 c INPROCESSING
666.39/669.14 c GARBAGE COLLECT
666.39/669.14 c #Conflicts: 461000 | #Constraints: 14228
666.39/669.14 c #Conflicts: 462000 | #Constraints: 15228
666.39/669.14 c #Conflicts: 463000 | #Constraints: 16228
666.39/669.14 c #Conflicts: 464000 | #Constraints: 17228
666.39/669.14 c #Conflicts: 465000 | #Constraints: 18228
666.39/669.14 c #Conflicts: 466000 | #Constraints: 19228
666.39/669.14 c #Conflicts: 467000 | #Constraints: 20228
666.39/669.14 c #Conflicts: 468000 | #Constraints: 21228
666.39/669.14 c #Conflicts: 469000 | #Constraints: 22228
666.39/669.14 c #Conflicts: 470000 | #Constraints: 23228
666.39/669.14 c #Conflicts: 471000 | #Constraints: 24228
666.39/669.14 c #Conflicts: 472000 | #Constraints: 25228
666.39/669.14 c #Conflicts: 473000 | #Constraints: 26228
666.39/669.14 c #Conflicts: 474000 | #Constraints: 27228
666.39/669.14 c INPROCESSING
666.39/669.14 c GARBAGE COLLECT
666.39/669.14 c #Conflicts: 475000 | #Constraints: 14628
666.39/669.14 c #Conflicts: 476000 | #Constraints: 15628
666.39/669.14 c #Conflicts: 477000 | #Constraints: 16628
666.39/669.14 c #Conflicts: 478000 | #Constraints: 17628
666.39/669.14 c #Conflicts: 479000 | #Constraints: 18628
666.39/669.14 c #Conflicts: 480000 | #Constraints: 19628
666.39/669.14 c #Conflicts: 481000 | #Constraints: 20628
666.39/669.14 c #Conflicts: 482000 | #Constraints: 21628
666.39/669.14 c #Conflicts: 483000 | #Constraints: 22628
666.39/669.14 c #Conflicts: 484000 | #Constraints: 23628
666.39/669.14 c #Conflicts: 485000 | #Constraints: 24628
666.39/669.14 c #Conflicts: 486000 | #Constraints: 25628
666.39/669.14 c #Conflicts: 487000 | #Constraints: 26628
666.39/669.14 c #Conflicts: 488000 | #Constraints: 27628
666.39/669.14 c INPROCESSING
666.39/669.14 c GARBAGE COLLECT
666.39/669.14 c #Conflicts: 489000 | #Constraints: 14827
666.39/669.14 c #Conflicts: 490000 | #Constraints: 15827
666.39/669.14 c #Conflicts: 491000 | #Constraints: 16827
666.39/669.14 c #Conflicts: 492000 | #Constraints: 17827
666.39/669.14 c #Conflicts: 493000 | #Constraints: 18827
666.39/669.14 c #Conflicts: 494000 | #Constraints: 19827
666.39/669.14 c #Conflicts: 495000 | #Constraints: 20827
666.39/669.14 c #Conflicts: 496000 | #Constraints: 21827
666.39/669.14 c #Conflicts: 497000 | #Constraints: 22827
666.39/669.14 c #Conflicts: 498000 | #Constraints: 23827
666.39/669.14 c #Conflicts: 499000 | #Constraints: 24827
666.39/669.14 c #Conflicts: 500000 | #Constraints: 25827
666.39/669.14 c #Conflicts: 501000 | #Constraints: 26827
666.39/669.14 c #Conflicts: 502000 | #Constraints: 27827
666.39/669.14 c INPROCESSING
666.39/669.14 c GARBAGE COLLECT
666.39/669.14 c #Conflicts: 503000 | #Constraints: 14827
666.39/669.14 c #Conflicts: 504000 | #Constraints: 15827
666.39/669.14 c #Conflicts: 505000 | #Constraints: 16827
666.39/669.14 c #Conflicts: 506000 | #Constraints: 17827
666.39/669.14 c #Conflicts: 507000 | #Constraints: 18827
666.39/669.14 c #Conflicts: 508000 | #Constraints: 19827
666.39/669.14 c #Conflicts: 509000 | #Constraints: 20827
666.39/669.14 c #Conflicts: 510000 | #Constraints: 21827
666.39/669.14 c #Conflicts: 511000 | #Constraints: 22827
666.39/669.14 c #Conflicts: 512000 | #Constraints: 23827
666.39/669.14 c #Conflicts: 513000 | #Constraints: 24827
756.47/759.51 c #Conflicts: 514000 | #Constraints: 25827
756.47/759.51 c #Conflicts: 515000 | #Constraints: 26827
756.47/759.51 c #Conflicts: 516000 | #Constraints: 27827
756.47/759.51 c INPROCESSING
756.47/759.51 c GARBAGE COLLECT
756.47/759.51 c #Conflicts: 517000 | #Constraints: 14624
756.47/759.51 c #Conflicts: 518000 | #Constraints: 15624
756.47/759.51 c #Conflicts: 519000 | #Constraints: 16624
756.47/759.51 c #Conflicts: 520000 | #Constraints: 17624
756.47/759.51 c #Conflicts: 521000 | #Constraints: 18624
756.47/759.51 c #Conflicts: 522000 | #Constraints: 19624
756.47/759.51 c #Conflicts: 523000 | #Constraints: 20624
756.47/759.51 c #Conflicts: 524000 | #Constraints: 21624
756.47/759.51 c #Conflicts: 525000 | #Constraints: 22624
756.47/759.51 c #Conflicts: 526000 | #Constraints: 23624
756.47/759.51 c #Conflicts: 527000 | #Constraints: 24624
756.47/759.51 c #Conflicts: 528000 | #Constraints: 25624
756.47/759.51 c #Conflicts: 529000 | #Constraints: 26624
756.47/759.51 c #Conflicts: 530000 | #Constraints: 27624
756.47/759.51 c #Conflicts: 531000 | #Constraints: 28624
756.47/759.51 c INPROCESSING
756.47/759.51 c GARBAGE COLLECT
756.47/759.51 c #Conflicts: 532000 | #Constraints: 15224
756.47/759.51 c #Conflicts: 533000 | #Constraints: 16224
756.47/759.51 c #Conflicts: 534000 | #Constraints: 17224
756.47/759.51 c #Conflicts: 535000 | #Constraints: 18224
756.47/759.51 c #Conflicts: 536000 | #Constraints: 19224
756.47/759.51 c #Conflicts: 537000 | #Constraints: 20224
756.47/759.51 c #Conflicts: 538000 | #Constraints: 21224
756.47/759.51 c #Conflicts: 539000 | #Constraints: 22224
756.47/759.51 c #Conflicts: 540000 | #Constraints: 23224
756.47/759.51 c #Conflicts: 541000 | #Constraints: 24224
756.47/759.51 c #Conflicts: 542000 | #Constraints: 25224
756.47/759.51 c #Conflicts: 543000 | #Constraints: 26224
756.47/759.51 c #Conflicts: 544000 | #Constraints: 27224
756.47/759.51 c #Conflicts: 545000 | #Constraints: 28224
756.47/759.51 c #Conflicts: 546000 | #Constraints: 29224
756.47/759.51 c INPROCESSING
756.47/759.51 c GARBAGE COLLECT
756.47/759.51 c #Conflicts: 547000 | #Constraints: 15624
756.47/759.51 c #Conflicts: 548000 | #Constraints: 16624
756.47/759.51 c #Conflicts: 549000 | #Constraints: 17624
756.47/759.51 c #Conflicts: 550000 | #Constraints: 18624
756.47/759.51 c #Conflicts: 551000 | #Constraints: 19624
756.47/759.51 c #Conflicts: 552000 | #Constraints: 20624
756.47/759.51 c #Conflicts: 553000 | #Constraints: 21624
756.47/759.51 c #Conflicts: 554000 | #Constraints: 22624
756.47/759.51 c #Conflicts: 555000 | #Constraints: 23624
756.47/759.51 c #Conflicts: 556000 | #Constraints: 24624
756.47/759.51 c #Conflicts: 557000 | #Constraints: 25624
756.47/759.51 c #Conflicts: 558000 | #Constraints: 26624
756.47/759.51 c #Conflicts: 559000 | #Constraints: 27624
756.47/759.51 c #Conflicts: 560000 | #Constraints: 28624
756.47/759.51 c #Conflicts: 561000 | #Constraints: 29624
756.47/759.51 c INPROCESSING
756.47/759.51 c GARBAGE COLLECT
756.47/759.51 c #Conflicts: 562000 | #Constraints: 15822
756.47/759.51 c #Conflicts: 563000 | #Constraints: 16822
756.47/759.51 c #Conflicts: 564000 | #Constraints: 17822
756.47/759.51 c #Conflicts: 565000 | #Constraints: 18822
756.47/759.51 c #Conflicts: 566000 | #Constraints: 19822
756.47/759.51 c #Conflicts: 567000 | #Constraints: 20822
756.47/759.51 c #Conflicts: 568000 | #Constraints: 21822
756.47/759.51 c #Conflicts: 569000 | #Constraints: 22822
756.47/759.51 c #Conflicts: 570000 | #Constraints: 23822
756.47/759.51 c #Conflicts: 571000 | #Constraints: 24822
756.47/759.51 c #Conflicts: 572000 | #Constraints: 25822
756.47/759.51 c #Conflicts: 573000 | #Constraints: 26822
756.47/759.51 c #Conflicts: 574000 | #Constraints: 27822
756.47/759.51 c #Conflicts: 575000 | #Constraints: 28822
756.47/759.51 c #Conflicts: 576000 | #Constraints: 29822
756.47/759.51 c INPROCESSING
756.47/759.51 c GARBAGE COLLECT
756.47/759.51 c #Conflicts: 577000 | #Constraints: 15824
756.47/759.51 c #Conflicts: 578000 | #Constraints: 16824
756.47/759.51 c #Conflicts: 579000 | #Constraints: 17824
756.47/759.51 c #Conflicts: 580000 | #Constraints: 18824
756.47/759.51 c #Conflicts: 581000 | #Constraints: 19824
756.47/759.51 c #Conflicts: 582000 | #Constraints: 20824
756.47/759.51 c #Conflicts: 583000 | #Constraints: 21824
756.47/759.51 c #Conflicts: 584000 | #Constraints: 22824
756.47/759.51 c #Conflicts: 585000 | #Constraints: 23824
756.47/759.51 c #Conflicts: 586000 | #Constraints: 24824
756.47/759.51 c #Conflicts: 587000 | #Constraints: 25824
756.47/759.51 c #Conflicts: 588000 | #Constraints: 26824
857.22/860.64 c #Conflicts: 589000 | #Constraints: 27824
857.22/860.64 c #Conflicts: 590000 | #Constraints: 28824
857.22/860.64 c #Conflicts: 591000 | #Constraints: 29824
857.22/860.64 c INPROCESSING
857.22/860.64 c GARBAGE COLLECT
857.22/860.64 c #Conflicts: 592000 | #Constraints: 15623
857.22/860.64 c #Conflicts: 593000 | #Constraints: 16623
857.22/860.64 c #Conflicts: 594000 | #Constraints: 17623
857.22/860.64 c #Conflicts: 595000 | #Constraints: 18623
857.22/860.64 c #Conflicts: 596000 | #Constraints: 19623
857.22/860.64 c #Conflicts: 597000 | #Constraints: 20623
857.22/860.64 c #Conflicts: 598000 | #Constraints: 21623
857.22/860.64 c #Conflicts: 599000 | #Constraints: 22623
857.22/860.64 c #Conflicts: 600000 | #Constraints: 23623
857.22/860.64 c #Conflicts: 601000 | #Constraints: 24623
857.22/860.64 c #Conflicts: 602000 | #Constraints: 25623
857.22/860.64 c #Conflicts: 603000 | #Constraints: 26623
857.22/860.64 c #Conflicts: 604000 | #Constraints: 27623
857.22/860.64 c #Conflicts: 605000 | #Constraints: 28623
857.22/860.64 c #Conflicts: 606000 | #Constraints: 29623
857.22/860.64 c #Conflicts: 607000 | #Constraints: 30623
857.22/860.64 c INPROCESSING
857.22/860.64 c GARBAGE COLLECT
857.22/860.64 c #Conflicts: 608000 | #Constraints: 16223
857.22/860.64 c #Conflicts: 609000 | #Constraints: 17223
857.22/860.64 c #Conflicts: 610000 | #Constraints: 18223
857.22/860.64 c #Conflicts: 611000 | #Constraints: 19223
857.22/860.64 c #Conflicts: 612000 | #Constraints: 20223
857.22/860.64 c #Conflicts: 613000 | #Constraints: 21223
857.22/860.64 c #Conflicts: 614000 | #Constraints: 22223
857.22/860.64 c #Conflicts: 615000 | #Constraints: 23223
857.22/860.64 c #Conflicts: 616000 | #Constraints: 24223
857.22/860.64 c #Conflicts: 617000 | #Constraints: 25223
857.22/860.64 c #Conflicts: 618000 | #Constraints: 26223
857.22/860.64 c #Conflicts: 619000 | #Constraints: 27223
857.22/860.64 c #Conflicts: 620000 | #Constraints: 28223
857.22/860.64 c #Conflicts: 621000 | #Constraints: 29223
857.22/860.64 c #Conflicts: 622000 | #Constraints: 30223
857.22/860.64 c #Conflicts: 623000 | #Constraints: 31223
857.22/860.64 c INPROCESSING
857.22/860.64 c GARBAGE COLLECT
857.22/860.64 c #Conflicts: 624000 | #Constraints: 16624
857.22/860.64 c #Conflicts: 625000 | #Constraints: 17624
857.22/860.64 c #Conflicts: 626000 | #Constraints: 18624
857.22/860.64 c #Conflicts: 627000 | #Constraints: 19624
857.22/860.64 c #Conflicts: 628000 | #Constraints: 20624
857.22/860.64 c #Conflicts: 629000 | #Constraints: 21624
857.22/860.64 c #Conflicts: 630000 | #Constraints: 22624
857.22/860.64 c #Conflicts: 631000 | #Constraints: 23624
857.22/860.64 c #Conflicts: 632000 | #Constraints: 24624
857.22/860.64 c #Conflicts: 633000 | #Constraints: 25624
857.22/860.64 c #Conflicts: 634000 | #Constraints: 26624
857.22/860.64 c #Conflicts: 635000 | #Constraints: 27624
857.22/860.64 c #Conflicts: 636000 | #Constraints: 28624
857.22/860.64 c #Conflicts: 637000 | #Constraints: 29624
857.22/860.64 c #Conflicts: 638000 | #Constraints: 30624
857.22/860.64 c #Conflicts: 639000 | #Constraints: 31624
857.22/860.64 c INPROCESSING
857.22/860.64 c GARBAGE COLLECT
857.22/860.64 c #Conflicts: 640000 | #Constraints: 16822
857.22/860.64 c #Conflicts: 641000 | #Constraints: 17822
857.22/860.64 c #Conflicts: 642000 | #Constraints: 18822
857.22/860.64 c #Conflicts: 643000 | #Constraints: 19822
857.22/860.64 c #Conflicts: 644000 | #Constraints: 20822
857.22/860.64 c #Conflicts: 645000 | #Constraints: 21822
857.22/860.65 c #Conflicts: 646000 | #Constraints: 22822
857.22/860.65 c #Conflicts: 647000 | #Constraints: 23822
857.22/860.65 c #Conflicts: 648000 | #Constraints: 24822
857.22/860.65 c #Conflicts: 649000 | #Constraints: 25822
857.22/860.65 c #Conflicts: 650000 | #Constraints: 26822
857.22/860.65 c #Conflicts: 651000 | #Constraints: 27822
857.22/860.65 c #Conflicts: 652000 | #Constraints: 28822
857.22/860.65 c #Conflicts: 653000 | #Constraints: 29822
857.22/860.65 c #Conflicts: 654000 | #Constraints: 30822
857.22/860.65 c #Conflicts: 655000 | #Constraints: 31822
857.22/860.65 c INPROCESSING
857.22/860.65 c GARBAGE COLLECT
857.22/860.65 c #Conflicts: 656000 | #Constraints: 16824
857.22/860.65 c #Conflicts: 657000 | #Constraints: 17824
857.22/860.65 c #Conflicts: 658000 | #Constraints: 18824
857.22/860.65 c #Conflicts: 659000 | #Constraints: 19824
857.22/860.65 c #Conflicts: 660000 | #Constraints: 20824
857.22/860.65 c #Conflicts: 661000 | #Constraints: 21824
857.22/860.65 c #Conflicts: 662000 | #Constraints: 22824
857.22/860.65 c #Conflicts: 663000 | #Constraints: 23824
857.22/860.65 c #Conflicts: 664000 | #Constraints: 24824
970.52/974.38 c #Conflicts: 665000 | #Constraints: 25824
970.52/974.38 c #Conflicts: 666000 | #Constraints: 26824
970.52/974.38 c #Conflicts: 667000 | #Constraints: 27824
970.52/974.38 c #Conflicts: 668000 | #Constraints: 28824
970.52/974.38 c #Conflicts: 669000 | #Constraints: 29824
970.52/974.38 c #Conflicts: 670000 | #Constraints: 30824
970.52/974.38 c #Conflicts: 671000 | #Constraints: 31824
970.52/974.38 c INPROCESSING
970.52/974.38 c GARBAGE COLLECT
970.52/974.38 c #Conflicts: 672000 | #Constraints: 16624
970.52/974.38 c #Conflicts: 673000 | #Constraints: 17624
970.52/974.38 c #Conflicts: 674000 | #Constraints: 18624
970.52/974.38 c #Conflicts: 675000 | #Constraints: 19624
970.52/974.38 c #Conflicts: 676000 | #Constraints: 20624
970.52/974.38 c #Conflicts: 677000 | #Constraints: 21624
970.52/974.38 c #Conflicts: 678000 | #Constraints: 22624
970.52/974.38 c #Conflicts: 679000 | #Constraints: 23624
970.52/974.38 c #Conflicts: 680000 | #Constraints: 24624
970.52/974.38 c #Conflicts: 681000 | #Constraints: 25624
970.52/974.38 c #Conflicts: 682000 | #Constraints: 26624
970.52/974.38 c #Conflicts: 683000 | #Constraints: 27624
970.52/974.38 c #Conflicts: 684000 | #Constraints: 28624
970.52/974.38 c #Conflicts: 685000 | #Constraints: 29624
970.52/974.38 c #Conflicts: 686000 | #Constraints: 30624
970.52/974.38 c #Conflicts: 687000 | #Constraints: 31624
970.52/974.38 c #Conflicts: 688000 | #Constraints: 32624
970.52/974.38 c INPROCESSING
970.52/974.38 c GARBAGE COLLECT
970.52/974.38 c #Conflicts: 689000 | #Constraints: 17222
970.52/974.38 c #Conflicts: 690000 | #Constraints: 18222
970.52/974.38 c #Conflicts: 691000 | #Constraints: 19222
970.52/974.38 c #Conflicts: 692000 | #Constraints: 20222
970.52/974.38 c #Conflicts: 693000 | #Constraints: 21222
970.52/974.38 c #Conflicts: 694000 | #Constraints: 22222
970.52/974.38 c #Conflicts: 695000 | #Constraints: 23222
970.52/974.38 c #Conflicts: 696000 | #Constraints: 24222
970.52/974.38 c #Conflicts: 697000 | #Constraints: 25222
970.52/974.38 c #Conflicts: 698000 | #Constraints: 26222
970.52/974.38 c #Conflicts: 699000 | #Constraints: 27222
970.52/974.38 c #Conflicts: 700000 | #Constraints: 28222
970.52/974.38 c #Conflicts: 701000 | #Constraints: 29222
970.52/974.38 c #Conflicts: 702000 | #Constraints: 30222
970.52/974.38 c #Conflicts: 703000 | #Constraints: 31222
970.52/974.38 c #Conflicts: 704000 | #Constraints: 32222
970.52/974.38 c #Conflicts: 705000 | #Constraints: 33222
970.52/974.38 c INPROCESSING
970.52/974.38 c GARBAGE COLLECT
970.52/974.38 c #Conflicts: 706000 | #Constraints: 17624
970.52/974.38 c #Conflicts: 707000 | #Constraints: 18624
970.52/974.38 c #Conflicts: 708000 | #Constraints: 19624
970.52/974.38 c #Conflicts: 709000 | #Constraints: 20624
970.52/974.38 c #Conflicts: 710000 | #Constraints: 21624
970.52/974.38 c #Conflicts: 711000 | #Constraints: 22624
970.52/974.38 c #Conflicts: 712000 | #Constraints: 23624
970.52/974.38 c #Conflicts: 713000 | #Constraints: 24624
970.52/974.38 c #Conflicts: 714000 | #Constraints: 25624
970.52/974.38 c #Conflicts: 715000 | #Constraints: 26624
970.52/974.38 c #Conflicts: 716000 | #Constraints: 27624
970.52/974.38 c #Conflicts: 717000 | #Constraints: 28624
970.52/974.38 c #Conflicts: 718000 | #Constraints: 29624
970.52/974.38 c #Conflicts: 719000 | #Constraints: 30624
970.52/974.38 c #Conflicts: 720000 | #Constraints: 31624
970.52/974.38 c #Conflicts: 721000 | #Constraints: 32624
970.52/974.38 c #Conflicts: 722000 | #Constraints: 33624
970.52/974.38 c INPROCESSING
970.52/974.38 c GARBAGE COLLECT
970.52/974.38 c #Conflicts: 723000 | #Constraints: 17826
970.52/974.38 c #Conflicts: 724000 | #Constraints: 18826
970.52/974.38 c #Conflicts: 725000 | #Constraints: 19826
970.52/974.38 c #Conflicts: 726000 | #Constraints: 20826
970.52/974.38 c #Conflicts: 727000 | #Constraints: 21826
970.52/974.38 c #Conflicts: 728000 | #Constraints: 22826
970.52/974.38 c #Conflicts: 729000 | #Constraints: 23826
970.52/974.38 c #Conflicts: 730000 | #Constraints: 24826
970.52/974.38 c #Conflicts: 731000 | #Constraints: 25826
970.52/974.38 c #Conflicts: 732000 | #Constraints: 26826
970.52/974.38 c #Conflicts: 733000 | #Constraints: 27826
970.52/974.38 c #Conflicts: 734000 | #Constraints: 28826
970.52/974.38 c #Conflicts: 735000 | #Constraints: 29826
970.52/974.38 c #Conflicts: 736000 | #Constraints: 30826
970.52/974.38 c #Conflicts: 737000 | #Constraints: 31826
970.52/974.38 c #Conflicts: 738000 | #Constraints: 32826
970.52/974.38 c #Conflicts: 739000 | #Constraints: 33826
970.52/974.38 c INPROCESSING
970.52/974.38 c GARBAGE COLLECT
1086.10/1090.35 c #Conflicts: 740000 | #Constraints: 17827
1086.10/1090.35 c #Conflicts: 741000 | #Constraints: 18827
1086.10/1090.35 c #Conflicts: 742000 | #Constraints: 19827
1086.10/1090.35 c #Conflicts: 743000 | #Constraints: 20827
1086.10/1090.35 c #Conflicts: 744000 | #Constraints: 21827
1086.10/1090.35 c #Conflicts: 745000 | #Constraints: 22827
1086.10/1090.35 c #Conflicts: 746000 | #Constraints: 23827
1086.10/1090.35 c #Conflicts: 747000 | #Constraints: 24827
1086.10/1090.35 c #Conflicts: 748000 | #Constraints: 25827
1086.10/1090.35 c #Conflicts: 749000 | #Constraints: 26827
1086.10/1090.35 c #Conflicts: 750000 | #Constraints: 27827
1086.10/1090.35 c #Conflicts: 751000 | #Constraints: 28827
1086.10/1090.35 c #Conflicts: 752000 | #Constraints: 29827
1086.10/1090.35 c #Conflicts: 753000 | #Constraints: 30827
1086.10/1090.35 c #Conflicts: 754000 | #Constraints: 31827
1086.10/1090.35 c #Conflicts: 755000 | #Constraints: 32827
1086.10/1090.35 c #Conflicts: 756000 | #Constraints: 33827
1086.10/1090.35 c INPROCESSING
1086.10/1090.35 c GARBAGE COLLECT
1086.10/1090.35 c #Conflicts: 757000 | #Constraints: 17626
1086.10/1090.35 c #Conflicts: 758000 | #Constraints: 18626
1086.10/1090.35 c #Conflicts: 759000 | #Constraints: 19626
1086.10/1090.35 c #Conflicts: 760000 | #Constraints: 20626
1086.10/1090.35 c #Conflicts: 761000 | #Constraints: 21626
1086.10/1090.35 c #Conflicts: 762000 | #Constraints: 22626
1086.10/1090.35 c #Conflicts: 763000 | #Constraints: 23626
1086.10/1090.35 c #Conflicts: 764000 | #Constraints: 24626
1086.10/1090.35 c #Conflicts: 765000 | #Constraints: 25626
1086.10/1090.35 c #Conflicts: 766000 | #Constraints: 26626
1086.10/1090.35 c #Conflicts: 767000 | #Constraints: 27626
1086.10/1090.35 c #Conflicts: 768000 | #Constraints: 28626
1086.10/1090.35 c #Conflicts: 769000 | #Constraints: 29626
1086.10/1090.35 c #Conflicts: 770000 | #Constraints: 30626
1086.10/1090.35 c #Conflicts: 771000 | #Constraints: 31626
1086.10/1090.35 c #Conflicts: 772000 | #Constraints: 32626
1086.10/1090.35 c #Conflicts: 773000 | #Constraints: 33626
1086.10/1090.35 c #Conflicts: 774000 | #Constraints: 34626
1086.10/1090.35 c INPROCESSING
1086.10/1090.35 c GARBAGE COLLECT
1086.10/1090.35 c #Conflicts: 775000 | #Constraints: 18221
1086.10/1090.35 c #Conflicts: 776000 | #Constraints: 19221
1086.10/1090.35 c #Conflicts: 777000 | #Constraints: 20221
1086.10/1090.35 c #Conflicts: 778000 | #Constraints: 21221
1086.10/1090.35 c #Conflicts: 779000 | #Constraints: 22221
1086.10/1090.35 c #Conflicts: 780000 | #Constraints: 23221
1086.10/1090.35 c #Conflicts: 781000 | #Constraints: 24221
1086.10/1090.35 c #Conflicts: 782000 | #Constraints: 25221
1086.10/1090.35 c #Conflicts: 783000 | #Constraints: 26221
1086.10/1090.35 c #Conflicts: 784000 | #Constraints: 27221
1086.10/1090.35 c #Conflicts: 785000 | #Constraints: 28221
1086.10/1090.35 c #Conflicts: 786000 | #Constraints: 29221
1086.10/1090.35 c #Conflicts: 787000 | #Constraints: 30221
1086.10/1090.35 c #Conflicts: 788000 | #Constraints: 31221
1086.10/1090.35 c #Conflicts: 789000 | #Constraints: 32221
1086.10/1090.35 c #Conflicts: 790000 | #Constraints: 33221
1086.10/1090.35 c #Conflicts: 791000 | #Constraints: 34221
1086.10/1090.35 c #Conflicts: 792000 | #Constraints: 35221
1086.10/1090.35 c INPROCESSING
1086.10/1090.35 c GARBAGE COLLECT
1086.10/1090.35 c #Conflicts: 793000 | #Constraints: 18620
1086.10/1090.35 c #Conflicts: 794000 | #Constraints: 19620
1086.10/1090.35 c #Conflicts: 795000 | #Constraints: 20620
1086.10/1090.35 c #Conflicts: 796000 | #Constraints: 21620
1086.10/1090.35 c #Conflicts: 797000 | #Constraints: 22620
1086.10/1090.35 c #Conflicts: 798000 | #Constraints: 23620
1086.10/1090.35 c #Conflicts: 799000 | #Constraints: 24620
1086.10/1090.35 c #Conflicts: 800000 | #Constraints: 25620
1086.10/1090.35 c #Conflicts: 801000 | #Constraints: 26620
1086.10/1090.35 c #Conflicts: 802000 | #Constraints: 27620
1086.10/1090.35 c #Conflicts: 803000 | #Constraints: 28620
1086.10/1090.35 c #Conflicts: 804000 | #Constraints: 29620
1086.10/1090.35 c #Conflicts: 805000 | #Constraints: 30620
1086.10/1090.35 c #Conflicts: 806000 | #Constraints: 31620
1086.10/1090.35 c #Conflicts: 807000 | #Constraints: 32620
1086.10/1090.35 c #Conflicts: 808000 | #Constraints: 33620
1086.10/1090.35 c #Conflicts: 809000 | #Constraints: 34620
1086.10/1090.35 c #Conflicts: 810000 | #Constraints: 35620
1086.10/1090.35 c INPROCESSING
1086.10/1090.35 c GARBAGE COLLECT
1086.10/1090.35 c #Conflicts: 811000 | #Constraints: 18820
1086.10/1090.35 c #Conflicts: 812000 | #Constraints: 19820
1086.10/1090.35 c #Conflicts: 813000 | #Constraints: 20820
1086.10/1090.35 c #Conflicts: 814000 | #Constraints: 21820
1086.10/1090.35 c #Conflicts: 815000 | #Constraints: 22820
1086.10/1090.35 c #Conflicts: 816000 | #Constraints: 23820
1216.14/1220.88 c #Conflicts: 817000 | #Constraints: 24820
1216.14/1220.88 c #Conflicts: 818000 | #Constraints: 25820
1216.14/1220.88 c #Conflicts: 819000 | #Constraints: 26820
1216.14/1220.88 c #Conflicts: 820000 | #Constraints: 27820
1216.14/1220.88 c #Conflicts: 821000 | #Constraints: 28820
1216.14/1220.88 c #Conflicts: 822000 | #Constraints: 29820
1216.14/1220.88 c #Conflicts: 823000 | #Constraints: 30820
1216.14/1220.88 c #Conflicts: 824000 | #Constraints: 31820
1216.14/1220.88 c #Conflicts: 825000 | #Constraints: 32820
1216.14/1220.88 c #Conflicts: 826000 | #Constraints: 33820
1216.14/1220.88 c #Conflicts: 827000 | #Constraints: 34820
1216.14/1220.88 c #Conflicts: 828000 | #Constraints: 35820
1216.14/1220.88 c INPROCESSING
1216.14/1220.88 c GARBAGE COLLECT
1216.14/1220.88 c #Conflicts: 829000 | #Constraints: 18827
1216.14/1220.88 c #Conflicts: 830000 | #Constraints: 19827
1216.14/1220.88 c #Conflicts: 831000 | #Constraints: 20827
1216.14/1220.88 c #Conflicts: 832000 | #Constraints: 21827
1216.14/1220.88 c #Conflicts: 833000 | #Constraints: 22827
1216.14/1220.88 c #Conflicts: 834000 | #Constraints: 23827
1216.14/1220.88 c #Conflicts: 835000 | #Constraints: 24827
1216.14/1220.88 c #Conflicts: 836000 | #Constraints: 25827
1216.14/1220.88 c #Conflicts: 837000 | #Constraints: 26827
1216.14/1220.88 c #Conflicts: 838000 | #Constraints: 27827
1216.14/1220.88 c #Conflicts: 839000 | #Constraints: 28827
1216.14/1220.88 c #Conflicts: 840000 | #Constraints: 29827
1216.14/1220.88 c #Conflicts: 841000 | #Constraints: 30827
1216.14/1220.88 c #Conflicts: 842000 | #Constraints: 31827
1216.14/1220.88 c #Conflicts: 843000 | #Constraints: 32827
1216.14/1220.88 c #Conflicts: 844000 | #Constraints: 33827
1216.14/1220.88 c #Conflicts: 845000 | #Constraints: 34827
1216.14/1220.88 c #Conflicts: 846000 | #Constraints: 35827
1216.14/1220.88 c INPROCESSING
1216.14/1220.88 c GARBAGE COLLECT
1216.14/1220.88 c #Conflicts: 847000 | #Constraints: 18625
1216.14/1220.88 c #Conflicts: 848000 | #Constraints: 19625
1216.14/1220.88 c #Conflicts: 849000 | #Constraints: 20625
1216.14/1220.88 c #Conflicts: 850000 | #Constraints: 21625
1216.14/1220.88 c #Conflicts: 851000 | #Constraints: 22625
1216.14/1220.88 c #Conflicts: 852000 | #Constraints: 23625
1216.14/1220.88 c #Conflicts: 853000 | #Constraints: 24625
1216.14/1220.88 c #Conflicts: 854000 | #Constraints: 25625
1216.14/1220.88 c #Conflicts: 855000 | #Constraints: 26625
1216.14/1220.88 c #Conflicts: 856000 | #Constraints: 27625
1216.14/1220.88 c #Conflicts: 857000 | #Constraints: 28625
1216.14/1220.88 c #Conflicts: 858000 | #Constraints: 29625
1216.14/1220.88 c #Conflicts: 859000 | #Constraints: 30625
1216.14/1220.88 c #Conflicts: 860000 | #Constraints: 31625
1216.14/1220.88 c #Conflicts: 861000 | #Constraints: 32625
1216.14/1220.88 c #Conflicts: 862000 | #Constraints: 33625
1216.14/1220.88 c #Conflicts: 863000 | #Constraints: 34625
1216.14/1220.88 c #Conflicts: 864000 | #Constraints: 35625
1216.14/1220.88 c #Conflicts: 865000 | #Constraints: 36625
1216.14/1220.88 c INPROCESSING
1216.14/1220.88 c GARBAGE COLLECT
1216.14/1220.88 c #Conflicts: 866000 | #Constraints: 19226
1216.14/1220.88 c #Conflicts: 867000 | #Constraints: 20226
1216.14/1220.88 c #Conflicts: 868000 | #Constraints: 21226
1216.14/1220.88 c #Conflicts: 869000 | #Constraints: 22226
1216.14/1220.88 c #Conflicts: 870000 | #Constraints: 23226
1216.14/1220.88 c #Conflicts: 871000 | #Constraints: 24226
1216.14/1220.88 c #Conflicts: 872000 | #Constraints: 25226
1216.14/1220.88 c #Conflicts: 873000 | #Constraints: 26226
1216.14/1220.88 c #Conflicts: 874000 | #Constraints: 27226
1216.14/1220.88 c #Conflicts: 875000 | #Constraints: 28226
1216.14/1220.88 c #Conflicts: 876000 | #Constraints: 29226
1216.14/1220.88 c #Conflicts: 877000 | #Constraints: 30226
1216.14/1220.88 c #Conflicts: 878000 | #Constraints: 31226
1216.14/1220.88 c #Conflicts: 879000 | #Constraints: 32226
1216.14/1220.88 c #Conflicts: 880000 | #Constraints: 33226
1216.14/1220.88 c #Conflicts: 881000 | #Constraints: 34226
1216.14/1220.88 c #Conflicts: 882000 | #Constraints: 35226
1216.14/1220.88 c #Conflicts: 883000 | #Constraints: 36226
1216.14/1220.88 c #Conflicts: 884000 | #Constraints: 37226
1216.14/1220.88 c INPROCESSING
1216.14/1220.88 c GARBAGE COLLECT
1216.14/1220.88 c #Conflicts: 885000 | #Constraints: 19627
1216.14/1220.88 c #Conflicts: 886000 | #Constraints: 20627
1216.14/1220.88 c #Conflicts: 887000 | #Constraints: 21627
1216.14/1220.88 c #Conflicts: 888000 | #Constraints: 22627
1216.14/1220.88 c #Conflicts: 889000 | #Constraints: 23627
1216.14/1220.88 c #Conflicts: 890000 | #Constraints: 24627
1216.14/1220.88 c #Conflicts: 891000 | #Constraints: 25627
1216.14/1220.88 c #Conflicts: 892000 | #Constraints: 26627
1357.08/1362.29 c #Conflicts: 893000 | #Constraints: 27627
1357.08/1362.29 c #Conflicts: 894000 | #Constraints: 28627
1357.08/1362.29 c #Conflicts: 895000 | #Constraints: 29627
1357.08/1362.29 c #Conflicts: 896000 | #Constraints: 30627
1357.08/1362.29 c #Conflicts: 897000 | #Constraints: 31627
1357.08/1362.29 c #Conflicts: 898000 | #Constraints: 32627
1357.08/1362.29 c #Conflicts: 899000 | #Constraints: 33627
1357.08/1362.29 c #Conflicts: 900000 | #Constraints: 34627
1357.08/1362.29 c #Conflicts: 901000 | #Constraints: 35627
1357.08/1362.29 c #Conflicts: 902000 | #Constraints: 36627
1357.08/1362.29 c #Conflicts: 903000 | #Constraints: 37627
1357.08/1362.29 c INPROCESSING
1357.08/1362.29 c GARBAGE COLLECT
1357.08/1362.29 c #Conflicts: 904000 | #Constraints: 19826
1357.08/1362.29 c #Conflicts: 905000 | #Constraints: 20826
1357.08/1362.29 c #Conflicts: 906000 | #Constraints: 21826
1357.08/1362.29 c #Conflicts: 907000 | #Constraints: 22826
1357.08/1362.29 c #Conflicts: 908000 | #Constraints: 23826
1357.08/1362.29 c #Conflicts: 909000 | #Constraints: 24826
1357.08/1362.29 c #Conflicts: 910000 | #Constraints: 25826
1357.08/1362.29 c #Conflicts: 911000 | #Constraints: 26826
1357.08/1362.29 c #Conflicts: 912000 | #Constraints: 27826
1357.08/1362.29 c #Conflicts: 913000 | #Constraints: 28826
1357.08/1362.29 c #Conflicts: 914000 | #Constraints: 29826
1357.08/1362.29 c #Conflicts: 915000 | #Constraints: 30826
1357.08/1362.29 c #Conflicts: 916000 | #Constraints: 31826
1357.08/1362.29 c #Conflicts: 917000 | #Constraints: 32826
1357.08/1362.29 c #Conflicts: 918000 | #Constraints: 33826
1357.08/1362.29 c #Conflicts: 919000 | #Constraints: 34826
1357.08/1362.29 c #Conflicts: 920000 | #Constraints: 35826
1357.08/1362.29 c #Conflicts: 921000 | #Constraints: 36826
1357.08/1362.29 c #Conflicts: 922000 | #Constraints: 37826
1357.08/1362.29 c INPROCESSING
1357.08/1362.29 c GARBAGE COLLECT
1357.08/1362.29 c #Conflicts: 923000 | #Constraints: 19826
1357.08/1362.29 c #Conflicts: 924000 | #Constraints: 20826
1357.08/1362.29 c #Conflicts: 925000 | #Constraints: 21826
1357.08/1362.29 c #Conflicts: 926000 | #Constraints: 22826
1357.08/1362.29 c #Conflicts: 927000 | #Constraints: 23826
1357.08/1362.29 c #Conflicts: 928000 | #Constraints: 24826
1357.08/1362.29 c #Conflicts: 929000 | #Constraints: 25826
1357.08/1362.29 c #Conflicts: 930000 | #Constraints: 26826
1357.08/1362.29 c #Conflicts: 931000 | #Constraints: 27826
1357.08/1362.29 c #Conflicts: 932000 | #Constraints: 28826
1357.08/1362.29 c #Conflicts: 933000 | #Constraints: 29826
1357.08/1362.29 c #Conflicts: 934000 | #Constraints: 30826
1357.08/1362.29 c #Conflicts: 935000 | #Constraints: 31826
1357.08/1362.29 c #Conflicts: 936000 | #Constraints: 32826
1357.08/1362.29 c #Conflicts: 937000 | #Constraints: 33826
1357.08/1362.29 c #Conflicts: 938000 | #Constraints: 34826
1357.08/1362.29 c #Conflicts: 939000 | #Constraints: 35826
1357.08/1362.29 c #Conflicts: 940000 | #Constraints: 36826
1357.08/1362.29 c #Conflicts: 941000 | #Constraints: 37826
1357.08/1362.29 c INPROCESSING
1357.08/1362.29 c GARBAGE COLLECT
1357.08/1362.29 c #Conflicts: 942000 | #Constraints: 19627
1357.08/1362.29 c #Conflicts: 943000 | #Constraints: 20627
1357.08/1362.29 c #Conflicts: 944000 | #Constraints: 21627
1357.08/1362.29 c #Conflicts: 945000 | #Constraints: 22627
1357.08/1362.29 c #Conflicts: 946000 | #Constraints: 23627
1357.08/1362.29 c #Conflicts: 947000 | #Constraints: 24627
1357.08/1362.29 c #Conflicts: 948000 | #Constraints: 25627
1357.08/1362.29 c #Conflicts: 949000 | #Constraints: 26627
1357.08/1362.29 c #Conflicts: 950000 | #Constraints: 27627
1357.08/1362.29 c #Conflicts: 951000 | #Constraints: 28627
1357.08/1362.29 c #Conflicts: 952000 | #Constraints: 29627
1357.08/1362.29 c #Conflicts: 953000 | #Constraints: 30627
1357.08/1362.29 c #Conflicts: 954000 | #Constraints: 31627
1357.08/1362.29 c #Conflicts: 955000 | #Constraints: 32627
1357.08/1362.29 c #Conflicts: 956000 | #Constraints: 33627
1357.08/1362.29 c #Conflicts: 957000 | #Constraints: 34627
1357.08/1362.29 c #Conflicts: 958000 | #Constraints: 35627
1357.08/1362.29 c #Conflicts: 959000 | #Constraints: 36627
1357.08/1362.29 c #Conflicts: 960000 | #Constraints: 37627
1357.08/1362.29 c #Conflicts: 961000 | #Constraints: 38627
1357.08/1362.29 c INPROCESSING
1357.08/1362.29 c GARBAGE COLLECT
1357.08/1362.29 c #Conflicts: 962000 | #Constraints: 20227
1357.08/1362.29 c #Conflicts: 963000 | #Constraints: 21227
1357.08/1362.29 c #Conflicts: 964000 | #Constraints: 22227
1357.08/1362.29 c #Conflicts: 965000 | #Constraints: 23227
1357.08/1362.29 c #Conflicts: 966000 | #Constraints: 24227
1357.08/1362.29 c #Conflicts: 967000 | #Constraints: 25227
1357.08/1362.29 c #Conflicts: 968000 | #Constraints: 26227
1512.27/1517.85 c #Conflicts: 969000 | #Constraints: 27227
1512.27/1517.85 c #Conflicts: 970000 | #Constraints: 28227
1512.27/1517.85 c #Conflicts: 971000 | #Constraints: 29227
1512.27/1517.85 c #Conflicts: 972000 | #Constraints: 30227
1512.27/1517.85 c #Conflicts: 973000 | #Constraints: 31227
1512.27/1517.85 c #Conflicts: 974000 | #Constraints: 32227
1512.27/1517.85 c #Conflicts: 975000 | #Constraints: 33227
1512.27/1517.85 c #Conflicts: 976000 | #Constraints: 34227
1512.27/1517.85 c #Conflicts: 977000 | #Constraints: 35227
1512.27/1517.85 c #Conflicts: 978000 | #Constraints: 36227
1512.27/1517.85 c #Conflicts: 979000 | #Constraints: 37227
1512.27/1517.85 c #Conflicts: 980000 | #Constraints: 38227
1512.27/1517.85 c #Conflicts: 981000 | #Constraints: 39227
1512.27/1517.85 c INPROCESSING
1512.27/1517.85 c GARBAGE COLLECT
1512.27/1517.85 c #Conflicts: 982000 | #Constraints: 20627
1512.27/1517.85 c #Conflicts: 983000 | #Constraints: 21627
1512.27/1517.85 c #Conflicts: 984000 | #Constraints: 22627
1512.27/1517.85 c #Conflicts: 985000 | #Constraints: 23627
1512.27/1517.85 c #Conflicts: 986000 | #Constraints: 24627
1512.27/1517.85 c #Conflicts: 987000 | #Constraints: 25627
1512.27/1517.85 c #Conflicts: 988000 | #Constraints: 26627
1512.27/1517.85 c #Conflicts: 989000 | #Constraints: 27627
1512.27/1517.85 c #Conflicts: 990000 | #Constraints: 28627
1512.27/1517.85 c #Conflicts: 991000 | #Constraints: 29627
1512.27/1517.85 c #Conflicts: 992000 | #Constraints: 30627
1512.27/1517.85 c #Conflicts: 993000 | #Constraints: 31627
1512.27/1517.85 c #Conflicts: 994000 | #Constraints: 32627
1512.27/1517.85 c #Conflicts: 995000 | #Constraints: 33627
1512.27/1517.85 c #Conflicts: 996000 | #Constraints: 34627
1512.27/1517.85 c #Conflicts: 997000 | #Constraints: 35627
1512.27/1517.85 c #Conflicts: 998000 | #Constraints: 36627
1512.27/1517.85 c #Conflicts: 999000 | #Constraints: 37627
1512.27/1517.85 c #Conflicts: 1000000 | #Constraints: 38627
1512.27/1517.85 c #Conflicts: 1001000 | #Constraints: 39627
1512.27/1517.85 c INPROCESSING
1512.27/1517.85 c GARBAGE COLLECT
1512.27/1517.85 c #Conflicts: 1002000 | #Constraints: 20829
1512.27/1517.85 c #Conflicts: 1003000 | #Constraints: 21829
1512.27/1517.85 c #Conflicts: 1004000 | #Constraints: 22829
1512.27/1517.85 c #Conflicts: 1005000 | #Constraints: 23829
1512.27/1517.85 c #Conflicts: 1006000 | #Constraints: 24829
1512.27/1517.85 c #Conflicts: 1007000 | #Constraints: 25829
1512.27/1517.85 c #Conflicts: 1008000 | #Constraints: 26829
1512.27/1517.85 c #Conflicts: 1009000 | #Constraints: 27829
1512.27/1517.85 c #Conflicts: 1010000 | #Constraints: 28829
1512.27/1517.85 c #Conflicts: 1011000 | #Constraints: 29829
1512.27/1517.85 c #Conflicts: 1012000 | #Constraints: 30829
1512.27/1517.85 c #Conflicts: 1013000 | #Constraints: 31829
1512.27/1517.85 c #Conflicts: 1014000 | #Constraints: 32829
1512.27/1517.85 c #Conflicts: 1015000 | #Constraints: 33829
1512.27/1517.85 c #Conflicts: 1016000 | #Constraints: 34829
1512.27/1517.85 c #Conflicts: 1017000 | #Constraints: 35829
1512.27/1517.85 c #Conflicts: 1018000 | #Constraints: 36829
1512.27/1517.85 c #Conflicts: 1019000 | #Constraints: 37829
1512.27/1517.85 c #Conflicts: 1020000 | #Constraints: 38829
1512.27/1517.85 c #Conflicts: 1021000 | #Constraints: 39829
1512.27/1517.85 c INPROCESSING
1512.27/1517.85 c GARBAGE COLLECT
1512.27/1517.85 c #Conflicts: 1022000 | #Constraints: 20829
1512.27/1517.85 c #Conflicts: 1023000 | #Constraints: 21829
1512.27/1517.85 c #Conflicts: 1024000 | #Constraints: 22829
1512.27/1517.85 c #Conflicts: 1025000 | #Constraints: 23829
1512.27/1517.85 c #Conflicts: 1026000 | #Constraints: 24829
1512.27/1517.85 c #Conflicts: 1027000 | #Constraints: 25829
1512.27/1517.85 c #Conflicts: 1028000 | #Constraints: 26829
1512.27/1517.85 c #Conflicts: 1029000 | #Constraints: 27829
1512.27/1517.85 c #Conflicts: 1030000 | #Constraints: 28829
1512.27/1517.85 c #Conflicts: 1031000 | #Constraints: 29829
1512.27/1517.85 c #Conflicts: 1032000 | #Constraints: 30829
1512.27/1517.85 c #Conflicts: 1033000 | #Constraints: 31829
1512.27/1517.85 c #Conflicts: 1034000 | #Constraints: 32829
1512.27/1517.85 c #Conflicts: 1035000 | #Constraints: 33829
1512.27/1517.85 c #Conflicts: 1036000 | #Constraints: 34829
1512.27/1517.85 c #Conflicts: 1037000 | #Constraints: 35829
1512.27/1517.85 c #Conflicts: 1038000 | #Constraints: 36829
1512.27/1517.85 c #Conflicts: 1039000 | #Constraints: 37829
1512.27/1517.85 c #Conflicts: 1040000 | #Constraints: 38829
1512.27/1517.85 c #Conflicts: 1041000 | #Constraints: 39829
1512.27/1517.85 c INPROCESSING
1512.27/1517.85 c GARBAGE COLLECT
1512.27/1517.85 c #Conflicts: 1042000 | #Constraints: 20626
1512.27/1517.85 c #Conflicts: 1043000 | #Constraints: 21626
1512.27/1517.85 c #Conflicts: 1044000 | #Constraints: 22626
1671.94/1677.94 c #Conflicts: 1045000 | #Constraints: 23626
1671.94/1677.94 c #Conflicts: 1046000 | #Constraints: 24626
1671.94/1677.94 c #Conflicts: 1047000 | #Constraints: 25626
1671.94/1677.94 c #Conflicts: 1048000 | #Constraints: 26626
1671.94/1677.94 c #Conflicts: 1049000 | #Constraints: 27626
1671.94/1677.94 c #Conflicts: 1050000 | #Constraints: 28626
1671.94/1677.94 c #Conflicts: 1051000 | #Constraints: 29626
1671.94/1677.94 c #Conflicts: 1052000 | #Constraints: 30626
1671.94/1677.94 c #Conflicts: 1053000 | #Constraints: 31626
1671.94/1677.94 c #Conflicts: 1054000 | #Constraints: 32626
1671.94/1677.94 c #Conflicts: 1055000 | #Constraints: 33626
1671.94/1677.94 c #Conflicts: 1056000 | #Constraints: 34626
1671.94/1677.94 c #Conflicts: 1057000 | #Constraints: 35626
1671.94/1677.94 c #Conflicts: 1058000 | #Constraints: 36626
1671.94/1677.94 c #Conflicts: 1059000 | #Constraints: 37626
1671.94/1677.94 c #Conflicts: 1060000 | #Constraints: 38626
1671.94/1677.94 c #Conflicts: 1061000 | #Constraints: 39626
1671.94/1677.94 c #Conflicts: 1062000 | #Constraints: 40626
1671.94/1677.94 c INPROCESSING
1671.94/1677.94 c GARBAGE COLLECT
1671.94/1677.94 c #Conflicts: 1063000 | #Constraints: 21228
1671.94/1677.94 c #Conflicts: 1064000 | #Constraints: 22228
1671.94/1677.94 c #Conflicts: 1065000 | #Constraints: 23228
1671.94/1677.94 c #Conflicts: 1066000 | #Constraints: 24228
1671.94/1677.94 c #Conflicts: 1067000 | #Constraints: 25228
1671.94/1677.94 c #Conflicts: 1068000 | #Constraints: 26228
1671.94/1677.94 c #Conflicts: 1069000 | #Constraints: 27228
1671.94/1677.94 c #Conflicts: 1070000 | #Constraints: 28228
1671.94/1677.94 c #Conflicts: 1071000 | #Constraints: 29228
1671.94/1677.94 c #Conflicts: 1072000 | #Constraints: 30228
1671.94/1677.94 c #Conflicts: 1073000 | #Constraints: 31228
1671.94/1677.94 c #Conflicts: 1074000 | #Constraints: 32228
1671.94/1677.94 c #Conflicts: 1075000 | #Constraints: 33228
1671.94/1677.94 c #Conflicts: 1076000 | #Constraints: 34228
1671.94/1677.94 c #Conflicts: 1077000 | #Constraints: 35228
1671.94/1677.94 c #Conflicts: 1078000 | #Constraints: 36228
1671.94/1677.94 c #Conflicts: 1079000 | #Constraints: 37228
1671.94/1677.94 c #Conflicts: 1080000 | #Constraints: 38228
1671.94/1677.94 c #Conflicts: 1081000 | #Constraints: 39228
1671.94/1677.94 c #Conflicts: 1082000 | #Constraints: 40228
1671.94/1677.94 c #Conflicts: 1083000 | #Constraints: 41228
1671.94/1677.94 c INPROCESSING
1671.94/1677.94 c GARBAGE COLLECT
1671.94/1677.94 c #Conflicts: 1084000 | #Constraints: 21627
1671.94/1677.94 c #Conflicts: 1085000 | #Constraints: 22627
1671.94/1677.94 c #Conflicts: 1086000 | #Constraints: 23627
1671.94/1677.94 c #Conflicts: 1087000 | #Constraints: 24627
1671.94/1677.94 c #Conflicts: 1088000 | #Constraints: 25627
1671.94/1677.94 c #Conflicts: 1089000 | #Constraints: 26627
1671.94/1677.94 c #Conflicts: 1090000 | #Constraints: 27627
1671.94/1677.94 c #Conflicts: 1091000 | #Constraints: 28627
1671.94/1677.94 c #Conflicts: 1092000 | #Constraints: 29627
1671.94/1677.94 c #Conflicts: 1093000 | #Constraints: 30627
1671.94/1677.94 c #Conflicts: 1094000 | #Constraints: 31627
1671.94/1677.94 c #Conflicts: 1095000 | #Constraints: 32627
1671.94/1677.94 c #Conflicts: 1096000 | #Constraints: 33627
1671.94/1677.94 c #Conflicts: 1097000 | #Constraints: 34627
1671.94/1677.94 c #Conflicts: 1098000 | #Constraints: 35627
1671.94/1677.94 c #Conflicts: 1099000 | #Constraints: 36627
1671.94/1677.94 c #Conflicts: 1100000 | #Constraints: 37627
1671.94/1677.94 c #Conflicts: 1101000 | #Constraints: 38627
1671.94/1677.94 c #Conflicts: 1102000 | #Constraints: 39627
1671.94/1677.94 c #Conflicts: 1103000 | #Constraints: 40627
1671.94/1677.94 c #Conflicts: 1104000 | #Constraints: 41627
1671.94/1677.94 c INPROCESSING
1671.94/1677.94 c GARBAGE COLLECT
1671.94/1677.94 c #Conflicts: 1105000 | #Constraints: 21828
1671.94/1677.94 c #Conflicts: 1106000 | #Constraints: 22828
1671.94/1677.94 c #Conflicts: 1107000 | #Constraints: 23828
1671.94/1677.94 c #Conflicts: 1108000 | #Constraints: 24828
1671.94/1677.94 c #Conflicts: 1109000 | #Constraints: 25828
1671.94/1677.94 c #Conflicts: 1110000 | #Constraints: 26828
1671.94/1677.94 c #Conflicts: 1111000 | #Constraints: 27828
1671.94/1677.94 c #Conflicts: 1112000 | #Constraints: 28828
1671.94/1677.94 c #Conflicts: 1113000 | #Constraints: 29828
1671.94/1677.94 c #Conflicts: 1114000 | #Constraints: 30828
1671.94/1677.94 c #Conflicts: 1115000 | #Constraints: 31828
1671.94/1677.94 c #Conflicts: 1116000 | #Constraints: 32828
1671.94/1677.94 c #Conflicts: 1117000 | #Constraints: 33828
1671.94/1677.94 c #Conflicts: 1118000 | #Constraints: 34828
1671.94/1677.94 c #Conflicts: 1119000 | #Constraints: 35828
1671.94/1677.94 c #Conflicts: 1120000 | #Constraints: 36828
1671.94/1677.94 c #Conflicts: 1121000 | #Constraints: 37828
1819.96/1826.33 c #Conflicts: 1122000 | #Constraints: 38828
1819.96/1826.33 c #Conflicts: 1123000 | #Constraints: 39828
1819.96/1826.33 c #Conflicts: 1124000 | #Constraints: 40828
1819.96/1826.33 c #Conflicts: 1125000 | #Constraints: 41828
1819.96/1826.33 c INPROCESSING
1819.96/1826.33 c GARBAGE COLLECT
1819.96/1826.33 c #Conflicts: 1126000 | #Constraints: 21827
1819.96/1826.33 c #Conflicts: 1127000 | #Constraints: 22827
1819.96/1826.33 c #Conflicts: 1128000 | #Constraints: 23827
1819.96/1826.33 c #Conflicts: 1129000 | #Constraints: 24827
1819.96/1826.33 c #Conflicts: 1130000 | #Constraints: 25827
1819.96/1826.33 c #Conflicts: 1131000 | #Constraints: 26827
1819.96/1826.33 c #Conflicts: 1132000 | #Constraints: 27827
1819.96/1826.33 c #Conflicts: 1133000 | #Constraints: 28827
1819.96/1826.33 c #Conflicts: 1134000 | #Constraints: 29827
1819.96/1826.33 c #Conflicts: 1135000 | #Constraints: 30827
1819.96/1826.33 c #Conflicts: 1136000 | #Constraints: 31827
1819.96/1826.33 c #Conflicts: 1137000 | #Constraints: 32827
1819.96/1826.33 c #Conflicts: 1138000 | #Constraints: 33827
1819.96/1826.33 c #Conflicts: 1139000 | #Constraints: 34827
1819.96/1826.33 c #Conflicts: 1140000 | #Constraints: 35827
1819.96/1826.33 c #Conflicts: 1141000 | #Constraints: 36827
1819.96/1826.33 c #Conflicts: 1142000 | #Constraints: 37827
1819.96/1826.33 c #Conflicts: 1143000 | #Constraints: 38827
1819.96/1826.33 c #Conflicts: 1144000 | #Constraints: 39827
1819.96/1826.33 c #Conflicts: 1145000 | #Constraints: 40827
1819.96/1826.33 c #Conflicts: 1146000 | #Constraints: 41827
1819.96/1826.33 c INPROCESSING
1819.96/1826.33 c GARBAGE COLLECT
1819.96/1826.33 c #Conflicts: 1147000 | #Constraints: 21627
1819.96/1826.33 c #Conflicts: 1148000 | #Constraints: 22627
1819.96/1826.33 c #Conflicts: 1149000 | #Constraints: 23627
1819.96/1826.33 c #Conflicts: 1150000 | #Constraints: 24627
1819.96/1826.33 c #Conflicts: 1151000 | #Constraints: 25627
1819.96/1826.33 c #Conflicts: 1152000 | #Constraints: 26627
1819.96/1826.33 c #Conflicts: 1153000 | #Constraints: 27627
1819.96/1826.33 c #Conflicts: 1154000 | #Constraints: 28627
1819.96/1826.33 c #Conflicts: 1155000 | #Constraints: 29627
1819.96/1826.33 c #Conflicts: 1156000 | #Constraints: 30627
1819.96/1826.33 c #Conflicts: 1157000 | #Constraints: 31627
1819.96/1826.33 c #Conflicts: 1158000 | #Constraints: 32627
1819.96/1826.33 c #Conflicts: 1159000 | #Constraints: 33627
1819.96/1826.33 c #Conflicts: 1160000 | #Constraints: 34627
1819.96/1826.33 c #Conflicts: 1161000 | #Constraints: 35627
1819.96/1826.33 c #Conflicts: 1162000 | #Constraints: 36627
1819.96/1826.33 c #Conflicts: 1163000 | #Constraints: 37627
1819.96/1826.33 c #Conflicts: 1164000 | #Constraints: 38627
1819.96/1826.33 c #Conflicts: 1165000 | #Constraints: 39627
1819.96/1826.33 c #Conflicts: 1166000 | #Constraints: 40627
1819.96/1826.33 c #Conflicts: 1167000 | #Constraints: 41627
1819.96/1826.33 c #Conflicts: 1168000 | #Constraints: 42627
1819.96/1826.33 c INPROCESSING
1819.96/1826.33 c GARBAGE COLLECT
1819.96/1826.33 c #Conflicts: 1169000 | #Constraints: 22228
1819.96/1826.33 c #Conflicts: 1170000 | #Constraints: 23228
1819.96/1826.33 c #Conflicts: 1171000 | #Constraints: 24228
1819.96/1826.33 c #Conflicts: 1172000 | #Constraints: 25228
1819.96/1826.33 c #Conflicts: 1173000 | #Constraints: 26228
1819.96/1826.33 c #Conflicts: 1174000 | #Constraints: 27228
1819.96/1826.33 c #Conflicts: 1175000 | #Constraints: 28228
1819.96/1826.33 c #Conflicts: 1176000 | #Constraints: 29228
1819.96/1826.33 c #Conflicts: 1177000 | #Constraints: 30228
1819.96/1826.33 c #Conflicts: 1178000 | #Constraints: 31228
1819.96/1826.33 c #Conflicts: 1179000 | #Constraints: 32228
1819.96/1826.33 c #Conflicts: 1180000 | #Constraints: 33228
1819.96/1826.33 c #Conflicts: 1181000 | #Constraints: 34228
1819.96/1826.33 c #Conflicts: 1182000 | #Constraints: 35228
1819.96/1826.33 c #Conflicts: 1183000 | #Constraints: 36228
1819.96/1826.33 c #Conflicts: 1184000 | #Constraints: 37228
1819.96/1826.33 c #Conflicts: 1185000 | #Constraints: 38228
1819.96/1826.33 c #Conflicts: 1186000 | #Constraints: 39228
1819.96/1826.33 c #Conflicts: 1187000 | #Constraints: 40228
1819.96/1826.33 c #Conflicts: 1188000 | #Constraints: 41228
1819.96/1826.33 c #Conflicts: 1189000 | #Constraints: 42228
1819.96/1826.33 c #Conflicts: 1190000 | #Constraints: 43228
1819.96/1826.33 c INPROCESSING
1819.96/1826.33 c GARBAGE COLLECT
1819.96/1826.33 c #Conflicts: 1191000 | #Constraints: 22627
1819.96/1826.33 c #Conflicts: 1192000 | #Constraints: 23627
1819.96/1826.33 c #Conflicts: 1193000 | #Constraints: 24627
1819.96/1826.33 c #Conflicts: 1194000 | #Constraints: 25627
1819.96/1826.33 c #Conflicts: 1195000 | #Constraints: 26627
1819.96/1826.33 c #Conflicts: 1196000 | #Constraints: 27627
1819.96/1826.33 c #Conflicts: 1197000 | #Constraints: 28627
1980.09/1986.95 c #Conflicts: 1198000 | #Constraints: 29627
1980.09/1986.95 c #Conflicts: 1199000 | #Constraints: 30627
1980.09/1986.95 c #Conflicts: 1200000 | #Constraints: 31627
1980.09/1986.95 c #Conflicts: 1201000 | #Constraints: 32627
1980.09/1986.95 c #Conflicts: 1202000 | #Constraints: 33627
1980.09/1986.95 c #Conflicts: 1203000 | #Constraints: 34627
1980.09/1986.95 c #Conflicts: 1204000 | #Constraints: 35627
1980.09/1986.95 c #Conflicts: 1205000 | #Constraints: 36627
1980.09/1986.95 c #Conflicts: 1206000 | #Constraints: 37627
1980.09/1986.95 c #Conflicts: 1207000 | #Constraints: 38627
1980.09/1986.95 c #Conflicts: 1208000 | #Constraints: 39627
1980.09/1986.95 c #Conflicts: 1209000 | #Constraints: 40627
1980.09/1986.95 c #Conflicts: 1210000 | #Constraints: 41627
1980.09/1986.95 c #Conflicts: 1211000 | #Constraints: 42627
1980.09/1986.95 c #Conflicts: 1212000 | #Constraints: 43627
1980.09/1986.95 c INPROCESSING
1980.09/1986.95 c GARBAGE COLLECT
1980.09/1986.95 c #Conflicts: 1213000 | #Constraints: 22826
1980.09/1986.95 c #Conflicts: 1214000 | #Constraints: 23826
1980.09/1986.95 c #Conflicts: 1215000 | #Constraints: 24826
1980.09/1986.95 c #Conflicts: 1216000 | #Constraints: 25826
1980.09/1986.95 c #Conflicts: 1217000 | #Constraints: 26826
1980.09/1986.95 c #Conflicts: 1218000 | #Constraints: 27826
1980.09/1986.95 c #Conflicts: 1219000 | #Constraints: 28826
1980.09/1986.95 c #Conflicts: 1220000 | #Constraints: 29826
1980.09/1986.95 c #Conflicts: 1221000 | #Constraints: 30826
1980.09/1986.95 c #Conflicts: 1222000 | #Constraints: 31826
1980.09/1986.95 c #Conflicts: 1223000 | #Constraints: 32826
1980.09/1986.95 c #Conflicts: 1224000 | #Constraints: 33826
1980.09/1986.95 c #Conflicts: 1225000 | #Constraints: 34826
1980.09/1986.95 c #Conflicts: 1226000 | #Constraints: 35826
1980.09/1986.95 c #Conflicts: 1227000 | #Constraints: 36826
1980.09/1986.95 c #Conflicts: 1228000 | #Constraints: 37826
1980.09/1986.95 c #Conflicts: 1229000 | #Constraints: 38826
1980.09/1986.95 c #Conflicts: 1230000 | #Constraints: 39826
1980.09/1986.95 c #Conflicts: 1231000 | #Constraints: 40826
1980.09/1986.95 c #Conflicts: 1232000 | #Constraints: 41826
1980.09/1986.95 c #Conflicts: 1233000 | #Constraints: 42826
1980.09/1986.95 c #Conflicts: 1234000 | #Constraints: 43826
1980.09/1986.95 c INPROCESSING
1980.09/1986.95 c GARBAGE COLLECT
1980.09/1986.95 c #Conflicts: 1235000 | #Constraints: 22826
1980.09/1986.95 c #Conflicts: 1236000 | #Constraints: 23826
1980.09/1986.95 c #Conflicts: 1237000 | #Constraints: 24826
1980.09/1986.95 c #Conflicts: 1238000 | #Constraints: 25826
1980.09/1986.95 c #Conflicts: 1239000 | #Constraints: 26826
1980.09/1986.95 c #Conflicts: 1240000 | #Constraints: 27826
1980.09/1986.95 c #Conflicts: 1241000 | #Constraints: 28826
1980.09/1986.95 c #Conflicts: 1242000 | #Constraints: 29826
1980.09/1986.95 c #Conflicts: 1243000 | #Constraints: 30826
1980.09/1986.95 c #Conflicts: 1244000 | #Constraints: 31826
1980.09/1986.95 c #Conflicts: 1245000 | #Constraints: 32826
1980.09/1986.95 c #Conflicts: 1246000 | #Constraints: 33826
1980.09/1986.95 c #Conflicts: 1247000 | #Constraints: 34826
1980.09/1986.95 c #Conflicts: 1248000 | #Constraints: 35826
1980.09/1986.95 c #Conflicts: 1249000 | #Constraints: 36826
1980.09/1986.95 c #Conflicts: 1250000 | #Constraints: 37826
1980.09/1986.95 c #Conflicts: 1251000 | #Constraints: 38826
1980.09/1986.95 c #Conflicts: 1252000 | #Constraints: 39826
1980.09/1986.95 c #Conflicts: 1253000 | #Constraints: 40826
1980.09/1986.95 c #Conflicts: 1254000 | #Constraints: 41826
1980.09/1986.95 c #Conflicts: 1255000 | #Constraints: 42826
1980.09/1986.95 c #Conflicts: 1256000 | #Constraints: 43826
1980.09/1986.95 c INPROCESSING
1980.09/1986.95 c GARBAGE COLLECT
1980.09/1986.95 c #Conflicts: 1257000 | #Constraints: 22625
1980.09/1986.95 c #Conflicts: 1258000 | #Constraints: 23625
1980.09/1986.95 c #Conflicts: 1259000 | #Constraints: 24625
1980.09/1986.95 c #Conflicts: 1260000 | #Constraints: 25625
1980.09/1986.95 c #Conflicts: 1261000 | #Constraints: 26625
1980.09/1986.95 c #Conflicts: 1262000 | #Constraints: 27625
1980.09/1986.95 c #Conflicts: 1263000 | #Constraints: 28625
1980.09/1986.95 c #Conflicts: 1264000 | #Constraints: 29625
1980.09/1986.95 c #Conflicts: 1265000 | #Constraints: 30625
1980.09/1986.95 c #Conflicts: 1266000 | #Constraints: 31625
1980.09/1986.95 c #Conflicts: 1267000 | #Constraints: 32625
1980.09/1986.95 c #Conflicts: 1268000 | #Constraints: 33625
1980.09/1986.95 c #Conflicts: 1269000 | #Constraints: 34625
1980.09/1986.95 c #Conflicts: 1270000 | #Constraints: 35625
1980.09/1986.95 c #Conflicts: 1271000 | #Constraints: 36625
1980.09/1986.95 c #Conflicts: 1272000 | #Constraints: 37625
1980.09/1986.95 c #Conflicts: 1273000 | #Constraints: 38625
1980.09/1986.95 c #Conflicts: 1274000 | #Constraints: 39625
2157.94/2165.36 c #Conflicts: 1275000 | #Constraints: 40625
2157.94/2165.36 c #Conflicts: 1276000 | #Constraints: 41625
2157.94/2165.36 c #Conflicts: 1277000 | #Constraints: 42625
2157.94/2165.36 c #Conflicts: 1278000 | #Constraints: 43625
2157.94/2165.36 c #Conflicts: 1279000 | #Constraints: 44625
2157.94/2165.36 c INPROCESSING
2157.94/2165.36 c GARBAGE COLLECT
2157.94/2165.36 c #Conflicts: 1280000 | #Constraints: 23222
2157.94/2165.36 c #Conflicts: 1281000 | #Constraints: 24222
2157.94/2165.36 c #Conflicts: 1282000 | #Constraints: 25222
2157.94/2165.36 c #Conflicts: 1283000 | #Constraints: 26222
2157.94/2165.36 c #Conflicts: 1284000 | #Constraints: 27222
2157.94/2165.36 c #Conflicts: 1285000 | #Constraints: 28222
2157.94/2165.36 c #Conflicts: 1286000 | #Constraints: 29222
2157.94/2165.36 c #Conflicts: 1287000 | #Constraints: 30222
2157.94/2165.36 c #Conflicts: 1288000 | #Constraints: 31222
2157.94/2165.36 c #Conflicts: 1289000 | #Constraints: 32222
2157.94/2165.36 c #Conflicts: 1290000 | #Constraints: 33222
2157.94/2165.36 c #Conflicts: 1291000 | #Constraints: 34222
2157.94/2165.36 c #Conflicts: 1292000 | #Constraints: 35222
2157.94/2165.36 c #Conflicts: 1293000 | #Constraints: 36222
2157.94/2165.36 c #Conflicts: 1294000 | #Constraints: 37222
2157.94/2165.36 c #Conflicts: 1295000 | #Constraints: 38222
2157.94/2165.36 c #Conflicts: 1296000 | #Constraints: 39222
2157.94/2165.36 c #Conflicts: 1297000 | #Constraints: 40222
2157.94/2165.36 c #Conflicts: 1298000 | #Constraints: 41222
2157.94/2165.36 c #Conflicts: 1299000 | #Constraints: 42222
2157.94/2165.36 c #Conflicts: 1300000 | #Constraints: 43222
2157.94/2165.36 c #Conflicts: 1301000 | #Constraints: 44222
2157.94/2165.36 c #Conflicts: 1302000 | #Constraints: 45222
2157.94/2165.36 c INPROCESSING
2157.94/2165.36 c GARBAGE COLLECT
2157.94/2165.36 c #Conflicts: 1303000 | #Constraints: 23623
2157.94/2165.36 c #Conflicts: 1304000 | #Constraints: 24623
2157.94/2165.36 c #Conflicts: 1305000 | #Constraints: 25623
2157.94/2165.36 c #Conflicts: 1306000 | #Constraints: 26623
2157.94/2165.36 c #Conflicts: 1307000 | #Constraints: 27623
2157.94/2165.36 c #Conflicts: 1308000 | #Constraints: 28623
2157.94/2165.36 c #Conflicts: 1309000 | #Constraints: 29623
2157.94/2165.36 c #Conflicts: 1310000 | #Constraints: 30623
2157.94/2165.36 c #Conflicts: 1311000 | #Constraints: 31623
2157.94/2165.36 c #Conflicts: 1312000 | #Constraints: 32623
2157.94/2165.36 c #Conflicts: 1313000 | #Constraints: 33623
2157.94/2165.36 c #Conflicts: 1314000 | #Constraints: 34623
2157.94/2165.36 c #Conflicts: 1315000 | #Constraints: 35623
2157.94/2165.36 c #Conflicts: 1316000 | #Constraints: 36623
2157.94/2165.36 c #Conflicts: 1317000 | #Constraints: 37623
2157.94/2165.36 c #Conflicts: 1318000 | #Constraints: 38623
2157.94/2165.36 c #Conflicts: 1319000 | #Constraints: 39623
2157.94/2165.36 c #Conflicts: 1320000 | #Constraints: 40623
2157.94/2165.36 c #Conflicts: 1321000 | #Constraints: 41623
2157.94/2165.36 c #Conflicts: 1322000 | #Constraints: 42623
2157.94/2165.36 c #Conflicts: 1323000 | #Constraints: 43623
2157.94/2165.36 c #Conflicts: 1324000 | #Constraints: 44623
2157.94/2165.36 c #Conflicts: 1325000 | #Constraints: 45623
2157.94/2165.36 c INPROCESSING
2157.94/2165.36 c GARBAGE COLLECT
2157.94/2165.36 c #Conflicts: 1326000 | #Constraints: 23823
2157.94/2165.36 c #Conflicts: 1327000 | #Constraints: 24823
2157.94/2165.36 c #Conflicts: 1328000 | #Constraints: 25823
2157.94/2165.36 c #Conflicts: 1329000 | #Constraints: 26823
2157.94/2165.36 c #Conflicts: 1330000 | #Constraints: 27823
2157.94/2165.36 c #Conflicts: 1331000 | #Constraints: 28823
2157.94/2165.36 c #Conflicts: 1332000 | #Constraints: 29823
2157.94/2165.36 c #Conflicts: 1333000 | #Constraints: 30823
2157.94/2165.36 c #Conflicts: 1334000 | #Constraints: 31823
2157.94/2165.36 c #Conflicts: 1335000 | #Constraints: 32823
2157.94/2165.36 c #Conflicts: 1336000 | #Constraints: 33823
2157.94/2165.36 c #Conflicts: 1337000 | #Constraints: 34823
2157.94/2165.36 c #Conflicts: 1338000 | #Constraints: 35823
2157.94/2165.36 c #Conflicts: 1339000 | #Constraints: 36823
2157.94/2165.36 c #Conflicts: 1340000 | #Constraints: 37823
2157.94/2165.36 c #Conflicts: 1341000 | #Constraints: 38823
2157.94/2165.36 c #Conflicts: 1342000 | #Constraints: 39823
2157.94/2165.36 c #Conflicts: 1343000 | #Constraints: 40823
2157.94/2165.36 c #Conflicts: 1344000 | #Constraints: 41823
2157.94/2165.36 c #Conflicts: 1345000 | #Constraints: 42823
2157.94/2165.36 c #Conflicts: 1346000 | #Constraints: 43823
2157.94/2165.36 c #Conflicts: 1347000 | #Constraints: 44823
2157.94/2165.36 c #Conflicts: 1348000 | #Constraints: 45823
2157.94/2165.36 c INPROCESSING
2157.94/2165.36 c GARBAGE COLLECT
2157.94/2165.36 c #Conflicts: 1349000 | #Constraints: 23824
2157.94/2165.36 c #Conflicts: 1350000 | #Constraints: 24824
2334.39/2342.35 c #Conflicts: 1351000 | #Constraints: 25824
2334.39/2342.35 c #Conflicts: 1352000 | #Constraints: 26824
2334.39/2342.35 c #Conflicts: 1353000 | #Constraints: 27824
2334.39/2342.35 c #Conflicts: 1354000 | #Constraints: 28824
2334.39/2342.35 c #Conflicts: 1355000 | #Constraints: 29824
2334.39/2342.35 c #Conflicts: 1356000 | #Constraints: 30824
2334.39/2342.35 c #Conflicts: 1357000 | #Constraints: 31824
2334.39/2342.35 c #Conflicts: 1358000 | #Constraints: 32824
2334.39/2342.35 c #Conflicts: 1359000 | #Constraints: 33824
2334.39/2342.35 c #Conflicts: 1360000 | #Constraints: 34824
2334.39/2342.35 c #Conflicts: 1361000 | #Constraints: 35824
2334.39/2342.35 c #Conflicts: 1362000 | #Constraints: 36824
2334.39/2342.35 c #Conflicts: 1363000 | #Constraints: 37824
2334.39/2342.35 c #Conflicts: 1364000 | #Constraints: 38824
2334.39/2342.35 c #Conflicts: 1365000 | #Constraints: 39824
2334.39/2342.35 c #Conflicts: 1366000 | #Constraints: 40824
2334.39/2342.35 c #Conflicts: 1367000 | #Constraints: 41824
2334.39/2342.35 c #Conflicts: 1368000 | #Constraints: 42824
2334.39/2342.35 c #Conflicts: 1369000 | #Constraints: 43824
2334.39/2342.35 c #Conflicts: 1370000 | #Constraints: 44824
2334.39/2342.35 c #Conflicts: 1371000 | #Constraints: 45824
2334.39/2342.35 c INPROCESSING
2334.39/2342.35 c GARBAGE COLLECT
2334.39/2342.35 c #Conflicts: 1372000 | #Constraints: 23623
2334.39/2342.35 c #Conflicts: 1373000 | #Constraints: 24623
2334.39/2342.35 c #Conflicts: 1374000 | #Constraints: 25623
2334.39/2342.35 c #Conflicts: 1375000 | #Constraints: 26623
2334.39/2342.35 c #Conflicts: 1376000 | #Constraints: 27623
2334.39/2342.35 c #Conflicts: 1377000 | #Constraints: 28623
2334.39/2342.35 c #Conflicts: 1378000 | #Constraints: 29623
2334.39/2342.35 c #Conflicts: 1379000 | #Constraints: 30623
2334.39/2342.35 c #Conflicts: 1380000 | #Constraints: 31623
2334.39/2342.35 c #Conflicts: 1381000 | #Constraints: 32623
2334.39/2342.35 c #Conflicts: 1382000 | #Constraints: 33623
2334.39/2342.35 c #Conflicts: 1383000 | #Constraints: 34623
2334.39/2342.35 c #Conflicts: 1384000 | #Constraints: 35623
2334.39/2342.35 c #Conflicts: 1385000 | #Constraints: 36623
2334.39/2342.35 c #Conflicts: 1386000 | #Constraints: 37623
2334.39/2342.35 c #Conflicts: 1387000 | #Constraints: 38623
2334.39/2342.35 c #Conflicts: 1388000 | #Constraints: 39623
2334.39/2342.35 c #Conflicts: 1389000 | #Constraints: 40623
2334.39/2342.35 c #Conflicts: 1390000 | #Constraints: 41623
2334.39/2342.35 c #Conflicts: 1391000 | #Constraints: 42623
2334.39/2342.35 c #Conflicts: 1392000 | #Constraints: 43623
2334.39/2342.35 c #Conflicts: 1393000 | #Constraints: 44623
2334.39/2342.35 c #Conflicts: 1394000 | #Constraints: 45623
2334.39/2342.35 c #Conflicts: 1395000 | #Constraints: 46623
2334.39/2342.35 c INPROCESSING
2334.39/2342.35 c GARBAGE COLLECT
2334.39/2342.35 c #Conflicts: 1396000 | #Constraints: 24226
2334.39/2342.35 c #Conflicts: 1397000 | #Constraints: 25226
2334.39/2342.35 c #Conflicts: 1398000 | #Constraints: 26226
2334.39/2342.35 c #Conflicts: 1399000 | #Constraints: 27226
2334.39/2342.35 c #Conflicts: 1400000 | #Constraints: 28226
2334.39/2342.35 c #Conflicts: 1401000 | #Constraints: 29226
2334.39/2342.35 c #Conflicts: 1402000 | #Constraints: 30226
2334.39/2342.35 c #Conflicts: 1403000 | #Constraints: 31226
2334.39/2342.35 c #Conflicts: 1404000 | #Constraints: 32226
2334.39/2342.35 c #Conflicts: 1405000 | #Constraints: 33226
2334.39/2342.35 c #Conflicts: 1406000 | #Constraints: 34226
2334.39/2342.35 c #Conflicts: 1407000 | #Constraints: 35226
2334.39/2342.35 c #Conflicts: 1408000 | #Constraints: 36226
2334.39/2342.35 c #Conflicts: 1409000 | #Constraints: 37226
2334.39/2342.35 c #Conflicts: 1410000 | #Constraints: 38226
2334.39/2342.35 c #Conflicts: 1411000 | #Constraints: 39226
2334.39/2342.35 c #Conflicts: 1412000 | #Constraints: 40226
2334.39/2342.35 c #Conflicts: 1413000 | #Constraints: 41226
2334.39/2342.35 c #Conflicts: 1414000 | #Constraints: 42226
2334.39/2342.35 c #Conflicts: 1415000 | #Constraints: 43226
2334.39/2342.35 c #Conflicts: 1416000 | #Constraints: 44226
2334.39/2342.35 c #Conflicts: 1417000 | #Constraints: 45226
2334.39/2342.35 c #Conflicts: 1418000 | #Constraints: 46226
2334.39/2342.35 c #Conflicts: 1419000 | #Constraints: 47226
2334.39/2342.35 c INPROCESSING
2334.39/2342.35 c GARBAGE COLLECT
2334.39/2342.35 c #Conflicts: 1420000 | #Constraints: 24625
2334.39/2342.35 c #Conflicts: 1421000 | #Constraints: 25625
2334.39/2342.35 c #Conflicts: 1422000 | #Constraints: 26625
2334.39/2342.35 c #Conflicts: 1423000 | #Constraints: 27625
2334.39/2342.35 c #Conflicts: 1424000 | #Constraints: 28625
2334.39/2342.35 c #Conflicts: 1425000 | #Constraints: 29625
2334.39/2342.35 c #Conflicts: 1426000 | #Constraints: 30625
2334.39/2342.35 c #Conflicts: 1427000 | #Constraints: 31625
2522.10/2530.63 c #Conflicts: 1428000 | #Constraints: 32625
2522.10/2530.63 c #Conflicts: 1429000 | #Constraints: 33625
2522.10/2530.63 c #Conflicts: 1430000 | #Constraints: 34625
2522.10/2530.63 c #Conflicts: 1431000 | #Constraints: 35625
2522.10/2530.63 c #Conflicts: 1432000 | #Constraints: 36625
2522.10/2530.63 c #Conflicts: 1433000 | #Constraints: 37625
2522.10/2530.63 c #Conflicts: 1434000 | #Constraints: 38625
2522.10/2530.63 c #Conflicts: 1435000 | #Constraints: 39625
2522.10/2530.63 c #Conflicts: 1436000 | #Constraints: 40625
2522.10/2530.63 c #Conflicts: 1437000 | #Constraints: 41625
2522.10/2530.63 c #Conflicts: 1438000 | #Constraints: 42625
2522.10/2530.63 c #Conflicts: 1439000 | #Constraints: 43625
2522.10/2530.63 c #Conflicts: 1440000 | #Constraints: 44625
2522.10/2530.63 c #Conflicts: 1441000 | #Constraints: 45625
2522.10/2530.63 c #Conflicts: 1442000 | #Constraints: 46625
2522.10/2530.63 c #Conflicts: 1443000 | #Constraints: 47625
2522.10/2530.63 c INPROCESSING
2522.10/2530.63 c GARBAGE COLLECT
2522.10/2530.63 c #Conflicts: 1444000 | #Constraints: 24829
2522.10/2530.63 c #Conflicts: 1445000 | #Constraints: 25829
2522.10/2530.63 c #Conflicts: 1446000 | #Constraints: 26829
2522.10/2530.63 c #Conflicts: 1447000 | #Constraints: 27829
2522.10/2530.63 c #Conflicts: 1448000 | #Constraints: 28829
2522.10/2530.63 c #Conflicts: 1449000 | #Constraints: 29829
2522.10/2530.63 c #Conflicts: 1450000 | #Constraints: 30829
2522.10/2530.63 c #Conflicts: 1451000 | #Constraints: 31829
2522.10/2530.63 c #Conflicts: 1452000 | #Constraints: 32829
2522.10/2530.63 c #Conflicts: 1453000 | #Constraints: 33829
2522.10/2530.63 c #Conflicts: 1454000 | #Constraints: 34829
2522.10/2530.63 c #Conflicts: 1455000 | #Constraints: 35829
2522.10/2530.63 c #Conflicts: 1456000 | #Constraints: 36829
2522.10/2530.63 c #Conflicts: 1457000 | #Constraints: 37829
2522.10/2530.63 c #Conflicts: 1458000 | #Constraints: 38829
2522.10/2530.63 c #Conflicts: 1459000 | #Constraints: 39829
2522.10/2530.63 c #Conflicts: 1460000 | #Constraints: 40829
2522.10/2530.63 c #Conflicts: 1461000 | #Constraints: 41829
2522.10/2530.63 c #Conflicts: 1462000 | #Constraints: 42829
2522.10/2530.63 c #Conflicts: 1463000 | #Constraints: 43829
2522.10/2530.63 c #Conflicts: 1464000 | #Constraints: 44829
2522.10/2530.63 c #Conflicts: 1465000 | #Constraints: 45829
2522.10/2530.63 c #Conflicts: 1466000 | #Constraints: 46829
2522.10/2530.63 c #Conflicts: 1467000 | #Constraints: 47829
2522.10/2530.63 c INPROCESSING
2522.10/2530.63 c GARBAGE COLLECT
2522.10/2530.63 c #Conflicts: 1468000 | #Constraints: 24828
2522.10/2530.63 c #Conflicts: 1469000 | #Constraints: 25828
2522.10/2530.63 c #Conflicts: 1470000 | #Constraints: 26828
2522.10/2530.63 c #Conflicts: 1471000 | #Constraints: 27828
2522.10/2530.63 c #Conflicts: 1472000 | #Constraints: 28828
2522.10/2530.63 c #Conflicts: 1473000 | #Constraints: 29828
2522.10/2530.63 c #Conflicts: 1474000 | #Constraints: 30828
2522.10/2530.63 c #Conflicts: 1475000 | #Constraints: 31828
2522.10/2530.63 c #Conflicts: 1476000 | #Constraints: 32828
2522.10/2530.63 c #Conflicts: 1477000 | #Constraints: 33828
2522.10/2530.63 c #Conflicts: 1478000 | #Constraints: 34828
2522.10/2530.63 c #Conflicts: 1479000 | #Constraints: 35828
2522.10/2530.63 c #Conflicts: 1480000 | #Constraints: 36828
2522.10/2530.63 c #Conflicts: 1481000 | #Constraints: 37828
2522.10/2530.63 c #Conflicts: 1482000 | #Constraints: 38828
2522.10/2530.63 c #Conflicts: 1483000 | #Constraints: 39828
2522.10/2530.63 c #Conflicts: 1484000 | #Constraints: 40828
2522.10/2530.63 c #Conflicts: 1485000 | #Constraints: 41828
2522.10/2530.63 c #Conflicts: 1486000 | #Constraints: 42828
2522.10/2530.63 c #Conflicts: 1487000 | #Constraints: 43828
2522.10/2530.63 c #Conflicts: 1488000 | #Constraints: 44828
2522.10/2530.63 c #Conflicts: 1489000 | #Constraints: 45828
2522.10/2530.63 c #Conflicts: 1490000 | #Constraints: 46828
2522.10/2530.63 c #Conflicts: 1491000 | #Constraints: 47828
2522.10/2530.63 c INPROCESSING
2522.10/2530.63 c GARBAGE COLLECT
2522.10/2530.63 c #Conflicts: 1492000 | #Constraints: 24628
2522.10/2530.63 c #Conflicts: 1493000 | #Constraints: 25628
2522.10/2530.63 c #Conflicts: 1494000 | #Constraints: 26628
2522.10/2530.63 c #Conflicts: 1495000 | #Constraints: 27628
2522.10/2530.63 c #Conflicts: 1496000 | #Constraints: 28628
2522.10/2530.63 c #Conflicts: 1497000 | #Constraints: 29628
2522.10/2530.63 c #Conflicts: 1498000 | #Constraints: 30628
2522.10/2530.63 c #Conflicts: 1499000 | #Constraints: 31628
2522.10/2530.63 c #Conflicts: 1500000 | #Constraints: 32628
2522.10/2530.63 c #Conflicts: 1501000 | #Constraints: 33628
2522.10/2530.63 c #Conflicts: 1502000 | #Constraints: 34628
2522.10/2530.63 c #Conflicts: 1503000 | #Constraints: 35628
2522.10/2530.63 c #Conflicts: 1504000 | #Constraints: 36628
2718.70/2727.85 c #Conflicts: 1505000 | #Constraints: 37628
2718.70/2727.85 c #Conflicts: 1506000 | #Constraints: 38628
2718.70/2727.85 c #Conflicts: 1507000 | #Constraints: 39628
2718.70/2727.85 c #Conflicts: 1508000 | #Constraints: 40628
2718.70/2727.85 c #Conflicts: 1509000 | #Constraints: 41628
2718.70/2727.85 c #Conflicts: 1510000 | #Constraints: 42628
2718.70/2727.85 c #Conflicts: 1511000 | #Constraints: 43628
2718.70/2727.85 c #Conflicts: 1512000 | #Constraints: 44628
2718.70/2727.85 c #Conflicts: 1513000 | #Constraints: 45628
2718.70/2727.85 c #Conflicts: 1514000 | #Constraints: 46628
2718.70/2727.85 c #Conflicts: 1515000 | #Constraints: 47628
2718.70/2727.85 c #Conflicts: 1516000 | #Constraints: 48628
2718.70/2727.85 c INPROCESSING
2718.70/2727.85 c GARBAGE COLLECT
2718.70/2727.85 c #Conflicts: 1517000 | #Constraints: 25226
2718.70/2727.85 c #Conflicts: 1518000 | #Constraints: 26226
2718.70/2727.85 c #Conflicts: 1519000 | #Constraints: 27226
2718.70/2727.85 c #Conflicts: 1520000 | #Constraints: 28226
2718.70/2727.85 c #Conflicts: 1521000 | #Constraints: 29226
2718.70/2727.85 c #Conflicts: 1522000 | #Constraints: 30226
2718.70/2727.85 c #Conflicts: 1523000 | #Constraints: 31226
2718.70/2727.85 c #Conflicts: 1524000 | #Constraints: 32226
2718.70/2727.85 c #Conflicts: 1525000 | #Constraints: 33226
2718.70/2727.85 c #Conflicts: 1526000 | #Constraints: 34226
2718.70/2727.85 c #Conflicts: 1527000 | #Constraints: 35226
2718.70/2727.85 c #Conflicts: 1528000 | #Constraints: 36226
2718.70/2727.85 c #Conflicts: 1529000 | #Constraints: 37226
2718.70/2727.85 c #Conflicts: 1530000 | #Constraints: 38226
2718.70/2727.85 c #Conflicts: 1531000 | #Constraints: 39226
2718.70/2727.85 c #Conflicts: 1532000 | #Constraints: 40226
2718.70/2727.85 c #Conflicts: 1533000 | #Constraints: 41226
2718.70/2727.85 c #Conflicts: 1534000 | #Constraints: 42226
2718.70/2727.85 c #Conflicts: 1535000 | #Constraints: 43226
2718.70/2727.85 c #Conflicts: 1536000 | #Constraints: 44226
2718.70/2727.85 c #Conflicts: 1537000 | #Constraints: 45226
2718.70/2727.85 c #Conflicts: 1538000 | #Constraints: 46226
2718.70/2727.85 c #Conflicts: 1539000 | #Constraints: 47226
2718.70/2727.85 c #Conflicts: 1540000 | #Constraints: 48226
2718.70/2727.85 c #Conflicts: 1541000 | #Constraints: 49226
2718.70/2727.85 c INPROCESSING
2718.70/2727.85 c GARBAGE COLLECT
2718.70/2727.85 c #Conflicts: 1542000 | #Constraints: 25626
2718.70/2727.85 c #Conflicts: 1543000 | #Constraints: 26626
2718.70/2727.85 c #Conflicts: 1544000 | #Constraints: 27626
2718.70/2727.85 c #Conflicts: 1545000 | #Constraints: 28626
2718.70/2727.85 c #Conflicts: 1546000 | #Constraints: 29626
2718.70/2727.85 c #Conflicts: 1547000 | #Constraints: 30626
2718.70/2727.85 c #Conflicts: 1548000 | #Constraints: 31626
2718.70/2727.85 c #Conflicts: 1549000 | #Constraints: 32626
2718.70/2727.85 c #Conflicts: 1550000 | #Constraints: 33626
2718.70/2727.85 c #Conflicts: 1551000 | #Constraints: 34626
2718.70/2727.85 c #Conflicts: 1552000 | #Constraints: 35626
2718.70/2727.85 c #Conflicts: 1553000 | #Constraints: 36626
2718.70/2727.85 c #Conflicts: 1554000 | #Constraints: 37626
2718.70/2727.85 c #Conflicts: 1555000 | #Constraints: 38626
2718.70/2727.85 c #Conflicts: 1556000 | #Constraints: 39626
2718.70/2727.85 c #Conflicts: 1557000 | #Constraints: 40626
2718.70/2727.85 c #Conflicts: 1558000 | #Constraints: 41626
2718.70/2727.85 c #Conflicts: 1559000 | #Constraints: 42626
2718.70/2727.85 c #Conflicts: 1560000 | #Constraints: 43626
2718.70/2727.85 c #Conflicts: 1561000 | #Constraints: 44626
2718.70/2727.85 c #Conflicts: 1562000 | #Constraints: 45626
2718.70/2727.85 c #Conflicts: 1563000 | #Constraints: 46626
2718.70/2727.85 c #Conflicts: 1564000 | #Constraints: 47626
2718.70/2727.85 c #Conflicts: 1565000 | #Constraints: 48626
2718.70/2727.85 c #Conflicts: 1566000 | #Constraints: 49626
2718.70/2727.85 c INPROCESSING
2718.70/2727.85 c GARBAGE COLLECT
2718.70/2727.85 c #Conflicts: 1567000 | #Constraints: 25827
2718.70/2727.85 c #Conflicts: 1568000 | #Constraints: 26827
2718.70/2727.85 c #Conflicts: 1569000 | #Constraints: 27827
2718.70/2727.85 c #Conflicts: 1570000 | #Constraints: 28827
2718.70/2727.85 c #Conflicts: 1571000 | #Constraints: 29827
2718.70/2727.85 c #Conflicts: 1572000 | #Constraints: 30827
2718.70/2727.85 c #Conflicts: 1573000 | #Constraints: 31827
2718.70/2727.85 c #Conflicts: 1574000 | #Constraints: 32827
2718.70/2727.85 c #Conflicts: 1575000 | #Constraints: 33827
2718.70/2727.85 c #Conflicts: 1576000 | #Constraints: 34827
2718.70/2727.85 c #Conflicts: 1577000 | #Constraints: 35827
2718.70/2727.85 c #Conflicts: 1578000 | #Constraints: 36827
2718.70/2727.85 c #Conflicts: 1579000 | #Constraints: 37827
2718.70/2727.85 c #Conflicts: 1580000 | #Constraints: 38827
2718.70/2727.85 c #Conflicts: 1581000 | #Constraints: 39827
2937.11/2946.92 c #Conflicts: 1582000 | #Constraints: 40827
2937.11/2946.92 c #Conflicts: 1583000 | #Constraints: 41827
2937.11/2946.92 c #Conflicts: 1584000 | #Constraints: 42827
2937.11/2946.92 c #Conflicts: 1585000 | #Constraints: 43827
2937.11/2946.92 c #Conflicts: 1586000 | #Constraints: 44827
2937.11/2946.92 c #Conflicts: 1587000 | #Constraints: 45827
2937.11/2946.92 c #Conflicts: 1588000 | #Constraints: 46827
2937.11/2946.92 c #Conflicts: 1589000 | #Constraints: 47827
2937.11/2946.92 c #Conflicts: 1590000 | #Constraints: 48827
2937.11/2946.92 c #Conflicts: 1591000 | #Constraints: 49827
2937.11/2946.92 c INPROCESSING
2937.11/2946.92 c GARBAGE COLLECT
2937.11/2946.92 c #Conflicts: 1592000 | #Constraints: 25825
2937.11/2946.92 c #Conflicts: 1593000 | #Constraints: 26825
2937.11/2946.92 c #Conflicts: 1594000 | #Constraints: 27825
2937.11/2946.92 c #Conflicts: 1595000 | #Constraints: 28825
2937.11/2946.92 c #Conflicts: 1596000 | #Constraints: 29825
2937.11/2946.92 c #Conflicts: 1597000 | #Constraints: 30825
2937.11/2946.92 c #Conflicts: 1598000 | #Constraints: 31825
2937.11/2946.92 c #Conflicts: 1599000 | #Constraints: 32825
2937.11/2946.92 c #Conflicts: 1600000 | #Constraints: 33825
2937.11/2946.92 c #Conflicts: 1601000 | #Constraints: 34825
2937.11/2946.92 c #Conflicts: 1602000 | #Constraints: 35825
2937.11/2946.92 c #Conflicts: 1603000 | #Constraints: 36825
2937.11/2946.92 c #Conflicts: 1604000 | #Constraints: 37825
2937.11/2946.92 c #Conflicts: 1605000 | #Constraints: 38825
2937.11/2946.92 c #Conflicts: 1606000 | #Constraints: 39825
2937.11/2946.92 c #Conflicts: 1607000 | #Constraints: 40825
2937.11/2946.92 c #Conflicts: 1608000 | #Constraints: 41825
2937.11/2946.92 c #Conflicts: 1609000 | #Constraints: 42825
2937.11/2946.92 c #Conflicts: 1610000 | #Constraints: 43825
2937.11/2946.92 c #Conflicts: 1611000 | #Constraints: 44825
2937.11/2946.92 c #Conflicts: 1612000 | #Constraints: 45825
2937.11/2946.92 c #Conflicts: 1613000 | #Constraints: 46825
2937.11/2946.92 c #Conflicts: 1614000 | #Constraints: 47825
2937.11/2946.92 c #Conflicts: 1615000 | #Constraints: 48825
2937.11/2946.92 c #Conflicts: 1616000 | #Constraints: 49825
2937.11/2946.92 c INPROCESSING
2937.11/2946.92 c GARBAGE COLLECT
2937.11/2946.92 c #Conflicts: 1617000 | #Constraints: 25625
2937.11/2946.92 c #Conflicts: 1618000 | #Constraints: 26625
2937.11/2946.92 c #Conflicts: 1619000 | #Constraints: 27625
2937.11/2946.92 c #Conflicts: 1620000 | #Constraints: 28625
2937.11/2946.92 c #Conflicts: 1621000 | #Constraints: 29625
2937.11/2946.92 c #Conflicts: 1622000 | #Constraints: 30625
2937.11/2946.92 c #Conflicts: 1623000 | #Constraints: 31625
2937.11/2946.92 c #Conflicts: 1624000 | #Constraints: 32625
2937.11/2946.92 c #Conflicts: 1625000 | #Constraints: 33625
2937.11/2946.92 c #Conflicts: 1626000 | #Constraints: 34625
2937.11/2946.92 c #Conflicts: 1627000 | #Constraints: 35625
2937.11/2946.92 c #Conflicts: 1628000 | #Constraints: 36625
2937.11/2946.92 c #Conflicts: 1629000 | #Constraints: 37625
2937.11/2946.92 c #Conflicts: 1630000 | #Constraints: 38625
2937.11/2946.92 c #Conflicts: 1631000 | #Constraints: 39625
2937.11/2946.92 c #Conflicts: 1632000 | #Constraints: 40625
2937.11/2946.92 c #Conflicts: 1633000 | #Constraints: 41625
2937.11/2946.92 c #Conflicts: 1634000 | #Constraints: 42625
2937.11/2946.92 c #Conflicts: 1635000 | #Constraints: 43625
2937.11/2946.92 c #Conflicts: 1636000 | #Constraints: 44625
2937.11/2946.92 c #Conflicts: 1637000 | #Constraints: 45625
2937.11/2946.92 c #Conflicts: 1638000 | #Constraints: 46625
2937.11/2946.92 c #Conflicts: 1639000 | #Constraints: 47625
2937.11/2946.92 c #Conflicts: 1640000 | #Constraints: 48625
2937.11/2946.92 c #Conflicts: 1641000 | #Constraints: 49625
2937.11/2946.92 c #Conflicts: 1642000 | #Constraints: 50625
2937.11/2946.92 c INPROCESSING
2937.11/2946.92 c GARBAGE COLLECT
2937.11/2946.92 c #Conflicts: 1643000 | #Constraints: 26223
2937.11/2946.92 c #Conflicts: 1644000 | #Constraints: 27223
2937.11/2946.92 c #Conflicts: 1645000 | #Constraints: 28223
2937.11/2946.92 c #Conflicts: 1646000 | #Constraints: 29223
2937.11/2946.92 c #Conflicts: 1647000 | #Constraints: 30223
2937.11/2946.92 c #Conflicts: 1648000 | #Constraints: 31223
2937.11/2946.92 c #Conflicts: 1649000 | #Constraints: 32223
2937.11/2946.92 c #Conflicts: 1650000 | #Constraints: 33223
2937.11/2946.92 c #Conflicts: 1651000 | #Constraints: 34223
2937.11/2946.92 c #Conflicts: 1652000 | #Constraints: 35223
2937.11/2946.92 c #Conflicts: 1653000 | #Constraints: 36223
2937.11/2946.92 c #Conflicts: 1654000 | #Constraints: 37223
2937.11/2946.92 c #Conflicts: 1655000 | #Constraints: 38223
2937.11/2946.92 c #Conflicts: 1656000 | #Constraints: 39223
2937.11/2946.92 c #Conflicts: 1657000 | #Constraints: 40223
2937.11/2946.92 c #Conflicts: 1658000 | #Constraints: 41223
3144.76/3155.26 c #Conflicts: 1659000 | #Constraints: 42223
3144.76/3155.26 c #Conflicts: 1660000 | #Constraints: 43223
3144.76/3155.26 c #Conflicts: 1661000 | #Constraints: 44223
3144.76/3155.26 c #Conflicts: 1662000 | #Constraints: 45223
3144.76/3155.26 c #Conflicts: 1663000 | #Constraints: 46223
3144.76/3155.26 c #Conflicts: 1664000 | #Constraints: 47223
3144.76/3155.26 c #Conflicts: 1665000 | #Constraints: 48223
3144.76/3155.26 c #Conflicts: 1666000 | #Constraints: 49223
3144.76/3155.26 c #Conflicts: 1667000 | #Constraints: 50223
3144.76/3155.26 c #Conflicts: 1668000 | #Constraints: 51223
3144.76/3155.26 c INPROCESSING
3144.76/3155.26 c GARBAGE COLLECT
3144.76/3155.26 c #Conflicts: 1669000 | #Constraints: 26623
3144.76/3155.26 c #Conflicts: 1670000 | #Constraints: 27623
3144.76/3155.26 c #Conflicts: 1671000 | #Constraints: 28623
3144.76/3155.26 c #Conflicts: 1672000 | #Constraints: 29623
3144.76/3155.26 c #Conflicts: 1673000 | #Constraints: 30623
3144.76/3155.26 c #Conflicts: 1674000 | #Constraints: 31623
3144.76/3155.26 c #Conflicts: 1675000 | #Constraints: 32623
3144.76/3155.26 c #Conflicts: 1676000 | #Constraints: 33623
3144.76/3155.26 c #Conflicts: 1677000 | #Constraints: 34623
3144.76/3155.26 c #Conflicts: 1678000 | #Constraints: 35623
3144.76/3155.26 c #Conflicts: 1679000 | #Constraints: 36623
3144.76/3155.26 c #Conflicts: 1680000 | #Constraints: 37623
3144.76/3155.26 c #Conflicts: 1681000 | #Constraints: 38623
3144.76/3155.26 c #Conflicts: 1682000 | #Constraints: 39623
3144.76/3155.26 c #Conflicts: 1683000 | #Constraints: 40623
3144.76/3155.26 c #Conflicts: 1684000 | #Constraints: 41623
3144.76/3155.26 c #Conflicts: 1685000 | #Constraints: 42623
3144.76/3155.26 c #Conflicts: 1686000 | #Constraints: 43623
3144.76/3155.26 c #Conflicts: 1687000 | #Constraints: 44623
3144.76/3155.26 c #Conflicts: 1688000 | #Constraints: 45623
3144.76/3155.26 c #Conflicts: 1689000 | #Constraints: 46623
3144.76/3155.26 c #Conflicts: 1690000 | #Constraints: 47623
3144.76/3155.26 c #Conflicts: 1691000 | #Constraints: 48623
3144.76/3155.26 c #Conflicts: 1692000 | #Constraints: 49623
3144.76/3155.26 c #Conflicts: 1693000 | #Constraints: 50623
3144.76/3155.26 c #Conflicts: 1694000 | #Constraints: 51623
3144.76/3155.26 c INPROCESSING
3144.76/3155.26 c GARBAGE COLLECT
3144.76/3155.26 c #Conflicts: 1695000 | #Constraints: 26820
3144.76/3155.26 c #Conflicts: 1696000 | #Constraints: 27820
3144.76/3155.26 c #Conflicts: 1697000 | #Constraints: 28820
3144.76/3155.26 c #Conflicts: 1698000 | #Constraints: 29820
3144.76/3155.26 c #Conflicts: 1699000 | #Constraints: 30820
3144.76/3155.26 c #Conflicts: 1700000 | #Constraints: 31820
3144.76/3155.26 c #Conflicts: 1701000 | #Constraints: 32820
3144.76/3155.26 c #Conflicts: 1702000 | #Constraints: 33820
3144.76/3155.26 c #Conflicts: 1703000 | #Constraints: 34820
3144.76/3155.26 c #Conflicts: 1704000 | #Constraints: 35820
3144.76/3155.26 c #Conflicts: 1705000 | #Constraints: 36820
3144.76/3155.26 c #Conflicts: 1706000 | #Constraints: 37820
3144.76/3155.26 c #Conflicts: 1707000 | #Constraints: 38820
3144.76/3155.26 c #Conflicts: 1708000 | #Constraints: 39820
3144.76/3155.26 c #Conflicts: 1709000 | #Constraints: 40820
3144.76/3155.26 c #Conflicts: 1710000 | #Constraints: 41820
3144.76/3155.26 c #Conflicts: 1711000 | #Constraints: 42820
3144.76/3155.26 c #Conflicts: 1712000 | #Constraints: 43820
3144.76/3155.26 c #Conflicts: 1713000 | #Constraints: 44820
3144.76/3155.26 c #Conflicts: 1714000 | #Constraints: 45820
3144.76/3155.26 c #Conflicts: 1715000 | #Constraints: 46820
3144.76/3155.26 c #Conflicts: 1716000 | #Constraints: 47820
3144.76/3155.26 c #Conflicts: 1717000 | #Constraints: 48820
3144.76/3155.26 c #Conflicts: 1718000 | #Constraints: 49820
3144.76/3155.26 c #Conflicts: 1719000 | #Constraints: 50820
3144.76/3155.26 c #Conflicts: 1720000 | #Constraints: 51820
3144.76/3155.26 c INPROCESSING
3144.76/3155.26 c GARBAGE COLLECT
3144.76/3155.26 c #Conflicts: 1721000 | #Constraints: 26821
3144.76/3155.26 c #Conflicts: 1722000 | #Constraints: 27821
3144.76/3155.26 c #Conflicts: 1723000 | #Constraints: 28821
3144.76/3155.26 c #Conflicts: 1724000 | #Constraints: 29821
3144.76/3155.26 c #Conflicts: 1725000 | #Constraints: 30821
3144.76/3155.26 c #Conflicts: 1726000 | #Constraints: 31821
3144.76/3155.26 c #Conflicts: 1727000 | #Constraints: 32821
3144.76/3155.26 c #Conflicts: 1728000 | #Constraints: 33821
3144.76/3155.26 c #Conflicts: 1729000 | #Constraints: 34821
3144.76/3155.26 c #Conflicts: 1730000 | #Constraints: 35821
3144.76/3155.26 c #Conflicts: 1731000 | #Constraints: 36821
3144.76/3155.26 c #Conflicts: 1732000 | #Constraints: 37821
3144.76/3155.26 c #Conflicts: 1733000 | #Constraints: 38821
3144.76/3155.26 c #Conflicts: 1734000 | #Constraints: 39821
3144.76/3155.26 c #Conflicts: 1735000 | #Constraints: 40821
3354.80/3365.94 c #Conflicts: 1736000 | #Constraints: 41821
3354.80/3365.94 c #Conflicts: 1737000 | #Constraints: 42821
3354.80/3365.94 c #Conflicts: 1738000 | #Constraints: 43821
3354.80/3365.94 c #Conflicts: 1739000 | #Constraints: 44821
3354.80/3365.94 c #Conflicts: 1740000 | #Constraints: 45821
3354.80/3365.94 c #Conflicts: 1741000 | #Constraints: 46821
3354.80/3365.94 c #Conflicts: 1742000 | #Constraints: 47821
3354.80/3365.94 c #Conflicts: 1743000 | #Constraints: 48821
3354.80/3365.94 c #Conflicts: 1744000 | #Constraints: 49821
3354.80/3365.94 c #Conflicts: 1745000 | #Constraints: 50821
3354.80/3365.94 c #Conflicts: 1746000 | #Constraints: 51821
3354.80/3365.94 c INPROCESSING
3354.80/3365.94 c GARBAGE COLLECT
3354.80/3365.94 c #Conflicts: 1747000 | #Constraints: 26624
3354.80/3365.94 c #Conflicts: 1748000 | #Constraints: 27624
3354.80/3365.94 c #Conflicts: 1749000 | #Constraints: 28624
3354.80/3365.94 c #Conflicts: 1750000 | #Constraints: 29624
3354.80/3365.94 c #Conflicts: 1751000 | #Constraints: 30624
3354.80/3365.94 c #Conflicts: 1752000 | #Constraints: 31624
3354.80/3365.94 c #Conflicts: 1753000 | #Constraints: 32624
3354.80/3365.94 c #Conflicts: 1754000 | #Constraints: 33624
3354.80/3365.94 c #Conflicts: 1755000 | #Constraints: 34624
3354.80/3365.94 c #Conflicts: 1756000 | #Constraints: 35624
3354.80/3365.94 c #Conflicts: 1757000 | #Constraints: 36624
3354.80/3365.94 c #Conflicts: 1758000 | #Constraints: 37624
3354.80/3365.94 c #Conflicts: 1759000 | #Constraints: 38624
3354.80/3365.94 c #Conflicts: 1760000 | #Constraints: 39624
3354.80/3365.94 c #Conflicts: 1761000 | #Constraints: 40624
3354.80/3365.94 c #Conflicts: 1762000 | #Constraints: 41624
3354.80/3365.94 c #Conflicts: 1763000 | #Constraints: 42624
3354.80/3365.94 c #Conflicts: 1764000 | #Constraints: 43624
3354.80/3365.94 c #Conflicts: 1765000 | #Constraints: 44624
3354.80/3365.94 c #Conflicts: 1766000 | #Constraints: 45624
3354.80/3365.94 c #Conflicts: 1767000 | #Constraints: 46624
3354.80/3365.94 c #Conflicts: 1768000 | #Constraints: 47624
3354.80/3365.94 c #Conflicts: 1769000 | #Constraints: 48624
3354.80/3365.94 c #Conflicts: 1770000 | #Constraints: 49624
3354.80/3365.94 c #Conflicts: 1771000 | #Constraints: 50624
3354.80/3365.94 c #Conflicts: 1772000 | #Constraints: 51624
3354.80/3365.94 c #Conflicts: 1773000 | #Constraints: 52624
3354.80/3365.94 c INPROCESSING
3354.80/3365.94 c GARBAGE COLLECT
3354.80/3365.94 c #Conflicts: 1774000 | #Constraints: 27223
3354.80/3365.94 c #Conflicts: 1775000 | #Constraints: 28223
3354.80/3365.94 c #Conflicts: 1776000 | #Constraints: 29223
3354.80/3365.94 c #Conflicts: 1777000 | #Constraints: 30223
3354.80/3365.94 c #Conflicts: 1778000 | #Constraints: 31223
3354.80/3365.94 c #Conflicts: 1779000 | #Constraints: 32223
3354.80/3365.94 c #Conflicts: 1780000 | #Constraints: 33223
3354.80/3365.94 c #Conflicts: 1781000 | #Constraints: 34223
3354.80/3365.94 c #Conflicts: 1782000 | #Constraints: 35223
3354.80/3365.94 c #Conflicts: 1783000 | #Constraints: 36223
3354.80/3365.94 c #Conflicts: 1784000 | #Constraints: 37223
3354.80/3365.94 c #Conflicts: 1785000 | #Constraints: 38223
3354.80/3365.94 c #Conflicts: 1786000 | #Constraints: 39223
3354.80/3365.94 c #Conflicts: 1787000 | #Constraints: 40223
3354.80/3365.94 c #Conflicts: 1788000 | #Constraints: 41223
3354.80/3365.94 c #Conflicts: 1789000 | #Constraints: 42223
3354.80/3365.94 c #Conflicts: 1790000 | #Constraints: 43223
3354.80/3365.94 c #Conflicts: 1791000 | #Constraints: 44223
3354.80/3365.94 c #Conflicts: 1792000 | #Constraints: 45223
3354.80/3365.94 c #Conflicts: 1793000 | #Constraints: 46223
3354.80/3365.94 c #Conflicts: 1794000 | #Constraints: 47223
3354.80/3365.94 c #Conflicts: 1795000 | #Constraints: 48223
3354.80/3365.94 c #Conflicts: 1796000 | #Constraints: 49223
3354.80/3365.94 c #Conflicts: 1797000 | #Constraints: 50223
3354.80/3365.94 c #Conflicts: 1798000 | #Constraints: 51223
3354.80/3365.94 c #Conflicts: 1799000 | #Constraints: 52223
3354.80/3365.94 c #Conflicts: 1800000 | #Constraints: 53223
3354.80/3365.94 c INPROCESSING
3354.80/3365.94 c GARBAGE COLLECT
3354.80/3365.94 c #Conflicts: 1801000 | #Constraints: 27622
3354.80/3365.94 c #Conflicts: 1802000 | #Constraints: 28622
3354.80/3365.94 c #Conflicts: 1803000 | #Constraints: 29622
3354.80/3365.94 c #Conflicts: 1804000 | #Constraints: 30622
3354.80/3365.94 c #Conflicts: 1805000 | #Constraints: 31622
3354.80/3365.94 c #Conflicts: 1806000 | #Constraints: 32622
3354.80/3365.94 c #Conflicts: 1807000 | #Constraints: 33622
3354.80/3365.94 c #Conflicts: 1808000 | #Constraints: 34622
3354.80/3365.94 c #Conflicts: 1809000 | #Constraints: 35622
3354.80/3365.94 c #Conflicts: 1810000 | #Constraints: 36622
3354.80/3365.94 c #Conflicts: 1811000 | #Constraints: 37622
3354.80/3365.94 c #Conflicts: 1812000 | #Constraints: 38622
3580.49/3592.36 c #Conflicts: 1813000 | #Constraints: 39622
3580.49/3592.36 c #Conflicts: 1814000 | #Constraints: 40622
3580.49/3592.36 c #Conflicts: 1815000 | #Constraints: 41622
3580.49/3592.36 c #Conflicts: 1816000 | #Constraints: 42622
3580.49/3592.36 c #Conflicts: 1817000 | #Constraints: 43622
3580.49/3592.36 c #Conflicts: 1818000 | #Constraints: 44622
3580.49/3592.36 c #Conflicts: 1819000 | #Constraints: 45622
3580.49/3592.36 c #Conflicts: 1820000 | #Constraints: 46622
3580.49/3592.36 c #Conflicts: 1821000 | #Constraints: 47622
3580.49/3592.36 c #Conflicts: 1822000 | #Constraints: 48622
3580.49/3592.36 c #Conflicts: 1823000 | #Constraints: 49622
3580.49/3592.36 c #Conflicts: 1824000 | #Constraints: 50622
3580.49/3592.36 c #Conflicts: 1825000 | #Constraints: 51622
3580.49/3592.36 c #Conflicts: 1826000 | #Constraints: 52622
3580.49/3592.36 c #Conflicts: 1827000 | #Constraints: 53622
3580.49/3592.36 c INPROCESSING
3580.49/3592.36 c GARBAGE COLLECT
3580.49/3592.36 c #Conflicts: 1828000 | #Constraints: 27826
3580.49/3592.36 c #Conflicts: 1829000 | #Constraints: 28826
3580.49/3592.36 c #Conflicts: 1830000 | #Constraints: 29826
3580.49/3592.36 c #Conflicts: 1831000 | #Constraints: 30826
3580.49/3592.36 c #Conflicts: 1832000 | #Constraints: 31826
3580.49/3592.36 c #Conflicts: 1833000 | #Constraints: 32826
3580.49/3592.36 c #Conflicts: 1834000 | #Constraints: 33826
3580.49/3592.36 c #Conflicts: 1835000 | #Constraints: 34826
3580.49/3592.36 c #Conflicts: 1836000 | #Constraints: 35826
3580.49/3592.36 c #Conflicts: 1837000 | #Constraints: 36826
3580.49/3592.36 c #Conflicts: 1838000 | #Constraints: 37826
3580.49/3592.36 c #Conflicts: 1839000 | #Constraints: 38826
3580.49/3592.36 c #Conflicts: 1840000 | #Constraints: 39826
3580.49/3592.36 c #Conflicts: 1841000 | #Constraints: 40826
3580.49/3592.36 c #Conflicts: 1842000 | #Constraints: 41826
3580.49/3592.36 c #Conflicts: 1843000 | #Constraints: 42826
3580.49/3592.36 c #Conflicts: 1844000 | #Constraints: 43826
3580.49/3592.36 c #Conflicts: 1845000 | #Constraints: 44826
3580.49/3592.36 c #Conflicts: 1846000 | #Constraints: 45826
3580.49/3592.36 c #Conflicts: 1847000 | #Constraints: 46826
3580.49/3592.36 c #Conflicts: 1848000 | #Constraints: 47826
3580.49/3592.36 c #Conflicts: 1849000 | #Constraints: 48826
3580.49/3592.36 c #Conflicts: 1850000 | #Constraints: 49826
3580.49/3592.36 c #Conflicts: 1851000 | #Constraints: 50826
3580.49/3592.36 c #Conflicts: 1852000 | #Constraints: 51826
3580.49/3592.36 c #Conflicts: 1853000 | #Constraints: 52826
3580.49/3592.36 c #Conflicts: 1854000 | #Constraints: 53826
3580.49/3592.36 c INPROCESSING
3580.49/3592.36 c GARBAGE COLLECT
3580.49/3592.36 c #Conflicts: 1855000 | #Constraints: 27826
3580.49/3592.36 c #Conflicts: 1856000 | #Constraints: 28826
3580.49/3592.36 c #Conflicts: 1857000 | #Constraints: 29826
3580.49/3592.36 c #Conflicts: 1858000 | #Constraints: 30826
3580.49/3592.36 c #Conflicts: 1859000 | #Constraints: 31826
3580.49/3592.36 c #Conflicts: 1860000 | #Constraints: 32826
3580.49/3592.36 c #Conflicts: 1861000 | #Constraints: 33826
3580.49/3592.36 c #Conflicts: 1862000 | #Constraints: 34826
3580.49/3592.36 c #Conflicts: 1863000 | #Constraints: 35826
3580.49/3592.36 c #Conflicts: 1864000 | #Constraints: 36826
3580.49/3592.36 c #Conflicts: 1865000 | #Constraints: 37826
3580.49/3592.36 c #Conflicts: 1866000 | #Constraints: 38826
3580.49/3592.36 c #Conflicts: 1867000 | #Constraints: 39826
3580.49/3592.36 c #Conflicts: 1868000 | #Constraints: 40826
3580.49/3592.36 c #Conflicts: 1869000 | #Constraints: 41826
3580.49/3592.36 c #Conflicts: 1870000 | #Constraints: 42826
3580.49/3592.36 c #Conflicts: 1871000 | #Constraints: 43826
3580.49/3592.36 c #Conflicts: 1872000 | #Constraints: 44826
3580.49/3592.36 c #Conflicts: 1873000 | #Constraints: 45826
3580.49/3592.36 c #Conflicts: 1874000 | #Constraints: 46826
3580.49/3592.36 c #Conflicts: 1875000 | #Constraints: 47826
3580.49/3592.36 c #Conflicts: 1876000 | #Constraints: 48826
3580.49/3592.36 c #Conflicts: 1877000 | #Constraints: 49826
3580.49/3592.36 c #Conflicts: 1878000 | #Constraints: 50826
3580.49/3592.36 c #Conflicts: 1879000 | #Constraints: 51826
3580.49/3592.36 c #Conflicts: 1880000 | #Constraints: 52826
3580.49/3592.36 c #Conflicts: 1881000 | #Constraints: 53826
3580.49/3592.36 c INPROCESSING
3580.49/3592.36 c GARBAGE COLLECT
3580.49/3592.36 c #Conflicts: 1882000 | #Constraints: 27625
3580.49/3592.36 c #Conflicts: 1883000 | #Constraints: 28625
3580.49/3592.36 c #Conflicts: 1884000 | #Constraints: 29625
3580.49/3592.36 c #Conflicts: 1885000 | #Constraints: 30625
3580.49/3592.36 c #Conflicts: 1886000 | #Constraints: 31625
3580.49/3592.36 c #Conflicts: 1887000 | #Constraints: 32625
3580.49/3592.36 c #Conflicts: 1888000 | #Constraints: 33625
3600.03/3611.90 c #Conflicts: 1889000 | #Constraints: 34625
3600.03/3611.90 c #Conflicts: 1890000 | #Constraints: 35625
3600.03/3611.90 c #Conflicts: 1891000 | #Constraints: 36625
3600.03/3611.90 c #Conflicts: 1892000 | #Constraints: 37625
3600.03/3611.90 c #Conflicts: 1893000 | #Constraints: 38625
3600.03/3611.90 c #Conflicts: 1894000 | #Constraints: 39625
3600.03/3611.90 c #Conflicts: 1895000 | #Constraints: 40625
3600.03/3611.90 c Program interrupted by user.
3600.03/3611.90 c cpu time 3591.58 s
3600.03/3611.90 c deterministic time 459104136908 4.59e+11
3600.03/3611.90 c optimization time 39.5592 s
3600.03/3611.90 c total solve time 3253.35 s
3600.03/3611.90 c core-guided solve time 0 s
3600.03/3611.90 c propagation time 3131.08 s
3600.03/3611.90 c conflict analysis time 148.392 s
3600.03/3611.90 c propagations 20264620
3600.03/3611.90 c resolve steps 8998138
3600.03/3611.90 c decisions 3035704
3600.03/3611.90 c conflicts 1895792
3600.03/3611.90 c restarts 3673
3600.03/3611.90 c inprocessing phases 128
3600.03/3611.90 c input clauses 0
3600.03/3611.90 c input cardinalities 0
3600.03/3611.90 c input general constraints 12
3600.03/3611.90 c input average constraint length 50.00
3600.03/3611.90 c input average constraint degree 1181.17
3600.03/3611.90 c learned clauses 1087423
3600.03/3611.90 c learned cardinalities 0
3600.03/3611.90 c learned general constraints 808368
3600.03/3611.90 c learned average constraint length 34.87
3600.03/3611.90 c learned average constraint degree 252041.03
3600.03/3611.90 c watched constraints 783635
3600.03/3611.90 c counting constraints 24745
3600.03/3611.90 c gcd simplifications 991428
3600.03/3611.90 c detected cardinalities 0
3600.03/3611.90 c weakened non-implied lits 16208303
3600.03/3611.90 c weakened non-implying lits 830418
3600.03/3611.90 c original variables 51
3600.03/3611.90 c clausal propagations 319272
3600.03/3611.90 c cardinality propagations 0
3600.03/3611.90 c watched propagations 7417017
3600.03/3611.90 c counting propagations 11010848
3600.03/3611.90 c watch lookups 35657365183
3600.03/3611.90 c watch backjump lookups 18569342284
3600.03/3611.90 c watch checks 330496712111
3600.03/3611.90 c propagation checks 73834363062
3600.03/3611.90 c constraint additions 497857877
3600.03/3611.90 c trail pops 25196066
3600.03/3611.90 c formula constraints 12
3600.03/3611.90 c learned constraints 1895791
3600.03/3611.90 c bound constraints 0
3600.03/3611.90 c core-guided constraints 0
3600.03/3611.90 c encountered formula constraints 2879392
3600.03/3611.90 c encountered learned constraints 8014538
3600.03/3611.90 c encountered bound constraints 0
3600.03/3611.90 c encountered core-guided constraints 0
3600.03/3611.90 c LP total time 0 s
3600.03/3611.90 c LP solve time 0 s
3600.03/3611.90 c LP constraints added 0
3600.03/3611.90 c LP constraints removed 0
3600.03/3611.90 c LP pivots internal 0
3600.03/3611.90 c LP pivots root 0
3600.03/3611.90 c LP calls 0
3600.03/3611.90 c LP optimalities 0
3600.03/3611.90 c LP no pivot count 0
3600.03/3611.90 c LP infeasibilities 0
3600.03/3611.90 c LP valid Farkas constraints 0
3600.03/3611.90 c LP learned Farkas constraints 0
3600.03/3611.90 c LP basis resets 0
3600.03/3611.90 c LP cycling count 0
3600.03/3611.90 c LP singular count 0
3600.03/3611.90 c LP no primal count 0
3600.03/3611.90 c LP no farkas count 0
3600.03/3611.90 c LP other issue count 0
3600.03/3611.90 c LP Gomory cuts 0
3600.03/3611.90 c LP learned cuts 0
3600.03/3611.90 c LP deleted cuts 0
3600.03/3611.90 c LP encountered Gomory constraints 0
3600.03/3611.90 c LP encountered Farkas constraints 0
3600.03/3611.90 c LP encountered learned Farkas constraints 0
3600.03/3611.90 c CG auxiliary variables introduced 0
3600.03/3611.90 c CG solutions found 0
3600.03/3611.90 c CG cores constructed 0
3600.03/3611.90 c CG core cardinality constraints returned 0
3600.03/3611.90 c CG unit cores 0
3600.03/3611.90 c CG single cores 0
3600.03/3611.90 c CG blocks removed during cardinality reduction 0
3600.03/3611.90 c CG first core best 0
3600.03/3611.90 c CG decision core best 0
3600.03/3611.90 c CG core reduction tie 0
3600.03/3611.90 c CG core degree average 0.00
3600.03/3611.90 c CG core slack average 0.00
3600.03/3611.90 c CG exhausted 0
3600.03/3611.90 c CG exhaust time 0 s
3600.03/3611.90 c CG trimmed 0
3600.03/3611.90 c CG trim time 0 s
3600.03/3611.90 c CG minimized 0
3600.03/3611.90 c CG minimize time 0 s
3600.03/3611.90 c CG am1 prop time 0 s
3600.03/3611.90 c CG # am1s reformulated 0
3600.03/3611.90 c CG lower bound derived from am1s 0
3600.03/3611.90 c CG # clausal cores 0
3600.03/3611.90 c CG # cardinality cores 0
3600.03/3611.90 c CG # pb cores 0
3600.03/3611.90 c CG # pb reforms 0
3600.03/3611.90 c CG # cores discarded because of pb reform 0
3600.03/3611.90 d LOWERBOUND 0
3600.03/3611.90 d NCORES 0
3600.03/3611.90 d NPBCORES 0
3600.03/3611.90 d NPBREFORM 0
3600.03/3611.90 d NTRIMMED 0
3600.03/3611.90 d NEXHAUSTED 0
3600.03/3611.90 d NAM1S 0
3600.03/3611.90 d AM1LB 0
3600.03/3611.90 c [Papilo Statistics]
3600.03/3611.90 c prepro time 0.000276983s
3600.03/3611.90 c # tsx applied 6
3600.03/3611.90 c # tsx conflicts 0
3600.03/3611.90 c # bound changes 1
3600.03/3611.90 c # side changes 6
3600.03/3611.90 c # coef changes 0
3600.03/3611.90 c # rounds 2
3600.03/3611.90 c # deted vars 1
3600.03/3611.90 c # deted constrs 7
3600.03/3611.90 c # consecutive rounds of only bound changes 0
3600.03/3611.90 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: 63708 MiB (61459 MiB free)
memory of node 1: 64465 MiB (62485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490647-1751375766/watcher-4490647-1751375766 -o /tmp/evaluation-result-4490647-1751375766/solver-4490647-1751375766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60450 --watchdog 3760 mixed-bag HOME/instance-4490647-1751375766.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=60507, runsolver pid=60492
[startup+0.100058 s]*
/proc/loadavg: 0.78 1.07 1.90 4/264 60508
/proc/meminfo: memFree=126920164/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=81628 memory=9600 CPUtime=0 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) D 60492 60507 60438 0 -1 4194304 539 0 7 0 0 0 0 0 20 0 1 0 53255401 83587072 2400 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 20407 2400 2144 2842 0 2640 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 81628 KiB
Current children cumulated memory: 9600 KiB
[startup+0.204491 s]*
/proc/loadavg: 0.78 1.07 1.90 8/264 60508
/proc/meminfo: memFree=126904124/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=100912 memory=26240 CPUtime=0.07 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 2741 0 9 0 7 0 0 0 20 0 1 0 53255401 103333888 6560 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 25228 6560 4256 2842 0 6922 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 100912 KiB
Current children cumulated memory: 26240 KiB
[startup+0.304548 s]*
/proc/loadavg: 0.78 1.07 1.90 8/264 60508
/proc/meminfo: memFree=126896312/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=102660 memory=28032 CPUtime=0.17 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 3244 0 9 0 17 0 0 0 20 0 1 0 53255401 105123840 7008 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 25665 7008 4256 2842 0 7359 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 102660 KiB
Current children cumulated memory: 28032 KiB
[startup+0.700133 s]
/proc/loadavg: 0.78 1.07 1.90 8/264 60508
/proc/meminfo: memFree=126891788/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=108408 memory=33280 CPUtime=0.56 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 4599 0 9 0 55 1 0 0 20 0 1 0 53255401 111009792 8320 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 27102 8320 4256 2842 0 8796 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 108408 KiB
Current children cumulated memory: 33280 KiB
[startup+1.50013 s]
/proc/loadavg: 0.78 1.07 1.90 8/264 60508
/proc/meminfo: memFree=126870484/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=109056 memory=34432 CPUtime=1.36 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 4877 0 9 0 135 1 0 0 20 0 1 0 53255401 111673344 8608 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 27264 8608 4256 2842 0 8958 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 109056 KiB
Current children cumulated memory: 34432 KiB
[startup+3.10447 s]
/proc/loadavg: 1.03 1.12 1.92 8/264 60508
/proc/meminfo: memFree=126849940/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=109872 memory=35840 CPUtime=2.96 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 5245 0 9 0 295 1 0 0 20 0 1 0 53255401 112508928 8960 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 27468 8960 4256 2842 0 9162 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 109872 KiB
Current children cumulated memory: 35840 KiB
[startup+6.30012 s]
/proc/loadavg: 1.03 1.12 1.92 8/264 60508
/proc/meminfo: memFree=126821928/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=113340 memory=38912 CPUtime=6.14 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 6023 0 9 0 613 1 0 0 20 0 1 0 53255401 116060160 9728 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 28335 9728 4256 2842 0 10029 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 113340 KiB
Current children cumulated memory: 38912 KiB
[startup+12.7002 s]
/proc/loadavg: 1.27 1.17 1.93 7/265 60554
/proc/meminfo: memFree=126577284/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=112760 memory=39160 CPUtime=12.5 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 6380 0 9 0 1249 1 0 0 20 0 1 0 53255401 115466240 9790 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 28190 9790 4256 2842 0 9884 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 112760 KiB
Current children cumulated memory: 39160 KiB
[startup+25.5002 s]
/proc/loadavg: 1.88 1.31 1.96 7/266 60556
/proc/meminfo: memFree=126214008/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=122060 memory=48504 CPUtime=25.24 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 8713 0 9 0 2522 2 0 0 20 0 1 0 53255401 124989440 12126 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 30515 12126 4256 2842 0 12209 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 122060 KiB
Current children cumulated memory: 48504 KiB
[startup+51.1052 s]
/proc/loadavg: 2.60 1.53 2.02 7/266 60556
/proc/meminfo: memFree=126069088/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=137900 memory=64760 CPUtime=50.72 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 12791 0 9 0 5070 2 0 0 20 0 1 0 53255401 141209600 16190 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 34475 16190 4256 2842 0 16169 0
Current children cumulated CPU time: 50.72 s
Current children cumulated vsize: 137900 KiB
Current children cumulated memory: 64760 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.93 2.13 7/266 60558
/proc/meminfo: memFree=125862832/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=172268 memory=97912 CPUtime=101.66 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 21088 0 9 0 10162 4 0 0 20 0 1 0 53255401 176402432 24478 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 43067 24478 4256 2842 0 24761 0
Current children cumulated CPU time: 101.66 s
Current children cumulated vsize: 172268 KiB
Current children cumulated memory: 97912 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.32 2.25 7/266 60560
/proc/meminfo: memFree=125653704/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=212628 memory=136952 CPUtime=161.37 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 30945 0 9 0 16131 6 0 0 20 0 1 0 53255401 217731072 34238 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 53157 34238 4256 2842 0 34851 0
Current children cumulated CPU time: 161.37 s
Current children cumulated vsize: 212628 KiB
Current children cumulated memory: 136952 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.66 2.38 7/266 60562
/proc/meminfo: memFree=125475716/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=251856 memory=172408 CPUtime=221.07 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 39779 0 9 0 22099 8 0 0 20 0 1 0 53255401 257900544 43102 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 62964 43102 4256 2842 0 44658 0
Current children cumulated CPU time: 221.07 s
Current children cumulated vsize: 251856 KiB
Current children cumulated memory: 172408 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.92 2.49 7/265 60564
/proc/meminfo: memFree=125356184/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=281000 memory=201848 CPUtime=280.78 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 47139 0 9 0 28068 10 0 0 20 0 1 0 53255401 287744000 50462 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 70250 50462 4256 2842 0 51944 0
Current children cumulated CPU time: 280.78 s
Current children cumulated vsize: 281000 KiB
Current children cumulated memory: 201848 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.15 2.59 5/262 60566
/proc/meminfo: memFree=125698324/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=217416 memory=149848 CPUtime=340.58 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 49289 0 9 0 34006 52 0 0 20 0 1 0 53255401 222633984 37462 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 54354 37462 4352 2842 0 36048 0
Current children cumulated CPU time: 340.58 s
Current children cumulated vsize: 217416 KiB
Current children cumulated memory: 149848 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.32 2.69 7/263 60569
/proc/meminfo: memFree=125695452/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=220136 memory=155096 CPUtime=400.42 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 49495 0 9 0 39954 88 0 0 20 0 1 0 53255401 225419264 38774 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 55034 38774 4352 2842 0 36728 0
Current children cumulated CPU time: 400.42 s
Current children cumulated vsize: 220136 KiB
Current children cumulated memory: 155096 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.46 2.78 7/264 60572
/proc/meminfo: memFree=125694808/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=220136 memory=155992 CPUtime=460.24 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 49702 0 9 0 45904 120 0 0 20 0 1 0 53255401 225419264 38998 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 55034 38998 4352 2842 0 36728 0
Current children cumulated CPU time: 460.24 s
################
# More data... #
################
Current children cumulated memory: 164944 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.15 4.09 7/263 60705
/proc/meminfo: memFree=125632052/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=164944 CPUtime=2912.59 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50631 0 9 0 290530 729 0 0 20 0 1 0 53255401 237297664 41236 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41236 4352 2842 0 39628 0
Current children cumulated CPU time: 2912.59 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 164944 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.09 7/264 60714
/proc/meminfo: memFree=125631880/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=164944 CPUtime=2972.4 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50631 0 9 0 296501 739 0 0 20 0 1 0 53255401 237297664 41236 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41236 4352 2842 0 39628 0
Current children cumulated CPU time: 2972.4 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 164944 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.12 4.09 7/264 60716
/proc/meminfo: memFree=125632572/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=164944 CPUtime=3032.21 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50631 0 9 0 302471 750 0 0 20 0 1 0 53255401 237297664 41236 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41236 4352 2842 0 39628 0
Current children cumulated CPU time: 3032.21 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 164944 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.11 4.09 7/264 60718
/proc/meminfo: memFree=125628704/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=166992 CPUtime=3092.02 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50632 0 9 0 308441 761 0 0 20 0 1 0 53255401 237297664 41748 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41748 4352 2842 0 39628 0
Current children cumulated CPU time: 3092.02 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 166992 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.09 7/264 60720
/proc/meminfo: memFree=125627776/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=166992 CPUtime=3151.83 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50632 0 9 0 314413 770 0 0 20 0 1 0 53255401 237297664 41748 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41748 4352 2842 0 39628 0
Current children cumulated CPU time: 3151.83 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 166992 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 7/263 60722
/proc/meminfo: memFree=125627508/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=166992 CPUtime=3211.65 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50632 0 9 0 320384 781 0 0 20 0 1 0 53255401 237297664 41748 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41748 4352 2842 0 39628 0
Current children cumulated CPU time: 3211.65 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 166992 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 7/262 60724
/proc/meminfo: memFree=125628276/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=166992 CPUtime=3271.47 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50632 0 9 0 326354 793 0 0 20 0 1 0 53255401 237297664 41748 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41748 4352 2842 0 39628 0
Current children cumulated CPU time: 3271.47 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 166992 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.08 7/263 60727
/proc/meminfo: memFree=125627928/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=166992 CPUtime=3331.28 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50632 0 9 0 332325 803 0 0 20 0 1 0 53255401 237297664 41748 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41748 4352 2842 0 39628 0
Current children cumulated CPU time: 3331.28 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 166992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 7/263 60729
/proc/meminfo: memFree=125624140/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=166992 CPUtime=3391.09 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50632 0 9 0 338297 812 0 0 20 0 1 0 53255401 237297664 41748 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41748 4352 2842 0 39628 0
Current children cumulated CPU time: 3391.09 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 166992 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 7/263 60731
/proc/meminfo: memFree=125623568/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=166992 CPUtime=3450.9 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50632 0 9 0 344268 822 0 0 20 0 1 0 53255401 237297664 41748 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41748 4352 2842 0 39628 0
Current children cumulated CPU time: 3450.9 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 166992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 7/263 60733
/proc/meminfo: memFree=125623956/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=166992 CPUtime=3510.7 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50632 0 9 0 350239 831 0 0 20 0 1 0 53255401 237297664 41748 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41748 4352 2842 0 39628 0
Current children cumulated CPU time: 3510.7 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 166992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 7/264 60742
/proc/meminfo: memFree=125624932/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=166992 CPUtime=3570.52 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50632 0 9 0 356212 840 0 0 20 0 1 0 53255401 237297664 41748 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41748 4352 2842 0 39628 0
Current children cumulated CPU time: 3570.52 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 166992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.12 4.09 4.09 3/255 60758
/proc/meminfo: memFree=126092736/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=166992 CPUtime=3600.03 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50651 0 9 0 359158 845 0 0 20 0 1 0 53255401 237297664 41748 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41748 4352 2842 0 39628 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 166992 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.9 s]
# the end of solver process 60507 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.58 s, system=8.45847 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.12 4.09 4.09 3/255 60758
/proc/meminfo: memFree=126092736/131249992 swapFree=33010684/33010684
[pid=60507] ppid=60492 vsize=231736 memory=166992 CPUtime=3600.03 cores=1,3
/proc/60507/stat : 60507 (mixed-bag) R 60492 60507 60438 0 -1 4194304 50651 0 9 0 359158 845 0 0 20 0 1 0 53255401 237297664 41748 18446744073709551615 4235264 15874749 140723319281584 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 24219648 140723319286172 140723319286249 140723319286249 140723319291851 0
/proc/60507/statm: 57934 41748 4352 2842 0 39628 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 231736 KiB
Current children cumulated memory: 166992 KiB
Child status: 0
Real time (s): 3611.9
CPU time (s): 3600.04
CPU user time (s): 3591.58
CPU system time (s): 8.45847
CPU usage (%): 99.6716
Max. virtual memory (cumulated for all children) (KiB): 291172
Max. memory (cumulated for all children) (KiB): 210168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.58
system time used= 8.45847
maximum resident set size= 210168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50684
page faults= 9
swaps= 0
block input operations= 32
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216
involuntary context switches= 4912
# summary of solver processes directly reported to runsolver:
# pid: 60507
# total CPU time (s): 3600.04
# total CPU user time (s): 3591.58
# total CPU system time (s): 8.45847
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52177 second user time and 15.94 second system time
The end
Begin job on nodeC025 at 2025-07-01 15:16:06
IDJOB=4490647
IDBENCH=147604
IDSOLVER=3340
FILE ID=nodeC025/4490647-1751375766
RUNJOBID= nodeC025-1751375766-60450
SLURM_JOB_ID= 9598215
Free space on /tmp= 433064 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490647-1751375766/watcher-4490647-1751375766 -o /tmp/evaluation-result-4490647-1751375766/solver-4490647-1751375766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60450 --watchdog 3760 mixed-bag HOME/instance-4490647-1751375766.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24a8c00bfc22332d2e87e9d19ffbf58d
RANDOM SEED=1790771819
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3532.391
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.421
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.836
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.837
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.557
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.802
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3532.074
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126907916 kB
MemAvailable: 129697676 kB
Buffers: 3280 kB
Cached: 3587928 kB
SwapCached: 0 kB
Active: 409464 kB
Inactive: 3248760 kB
Active(anon): 85108 kB
Inactive(anon): 0 kB
Active(file): 324356 kB
Inactive(file): 3248760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 62200 kB
Writeback: 8 kB
AnonPages: 70524 kB
Mapped: 103012 kB
Shmem: 18084 kB
KReclaimable: 111768 kB
Slab: 199736 kB
SReclaimable: 111768 kB
SUnreclaim: 87968 kB
KernelStack: 3892 kB
PageTables: 2728 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 329416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150344 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432996 MiB
End job on nodeC025 at 2025-07-01 16:16:19