0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
298.75/300.23 c [STEP] preprocessing done, loading into solver
298.75/300.23 c [STEP] solving
298.75/300.23 c #variables 51 #constraints 12
314.89/316.49 c #Conflicts: 1000 | #Constraints: 1011
314.89/316.49 c #Conflicts: 2000 | #Constraints: 2011
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 3000 | #Constraints: 2015
314.89/316.49 c #Conflicts: 4000 | #Constraints: 3015
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 5000 | #Constraints: 2419
314.89/316.49 c #Conflicts: 6000 | #Constraints: 3419
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 7000 | #Constraints: 2420
314.89/316.49 c #Conflicts: 8000 | #Constraints: 3420
314.89/316.49 c #Conflicts: 9000 | #Constraints: 4420
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 10000 | #Constraints: 3119
314.89/316.49 c #Conflicts: 11000 | #Constraints: 4119
314.89/316.49 c #Conflicts: 12000 | #Constraints: 5119
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 13000 | #Constraints: 3570
314.89/316.49 c #Conflicts: 14000 | #Constraints: 4570
314.89/316.49 c #Conflicts: 15000 | #Constraints: 5570
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 16000 | #Constraints: 3796
314.89/316.49 c #Conflicts: 17000 | #Constraints: 4796
314.89/316.49 c #Conflicts: 18000 | #Constraints: 5796
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 19000 | #Constraints: 3810
314.89/316.49 c #Conflicts: 20000 | #Constraints: 4810
314.89/316.49 c #Conflicts: 21000 | #Constraints: 5810
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 22000 | #Constraints: 3618
314.89/316.49 c #Conflicts: 23000 | #Constraints: 4618
314.89/316.49 c #Conflicts: 24000 | #Constraints: 5618
314.89/316.49 c #Conflicts: 25000 | #Constraints: 6618
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 26000 | #Constraints: 4222
314.89/316.49 c #Conflicts: 27000 | #Constraints: 5222
314.89/316.49 c #Conflicts: 28000 | #Constraints: 6222
314.89/316.49 c #Conflicts: 29000 | #Constraints: 7222
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 30000 | #Constraints: 4621
314.89/316.49 c #Conflicts: 31000 | #Constraints: 5621
314.89/316.49 c #Conflicts: 32000 | #Constraints: 6621
314.89/316.49 c #Conflicts: 33000 | #Constraints: 7621
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 34000 | #Constraints: 4822
314.89/316.49 c #Conflicts: 35000 | #Constraints: 5822
314.89/316.49 c #Conflicts: 36000 | #Constraints: 6822
314.89/316.49 c #Conflicts: 37000 | #Constraints: 7822
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 38000 | #Constraints: 4822
314.89/316.49 c #Conflicts: 39000 | #Constraints: 5822
314.89/316.49 c #Conflicts: 40000 | #Constraints: 6822
314.89/316.49 c #Conflicts: 41000 | #Constraints: 7822
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 42000 | #Constraints: 4623
314.89/316.49 c #Conflicts: 43000 | #Constraints: 5623
314.89/316.49 c #Conflicts: 44000 | #Constraints: 6623
314.89/316.49 c #Conflicts: 45000 | #Constraints: 7623
314.89/316.49 c #Conflicts: 46000 | #Constraints: 8623
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 47000 | #Constraints: 5221
314.89/316.49 c #Conflicts: 48000 | #Constraints: 6221
314.89/316.49 c #Conflicts: 49000 | #Constraints: 7221
314.89/316.49 c #Conflicts: 50000 | #Constraints: 8221
314.89/316.49 c #Conflicts: 51000 | #Constraints: 9221
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 52000 | #Constraints: 5623
314.89/316.49 c #Conflicts: 53000 | #Constraints: 6623
314.89/316.49 c #Conflicts: 54000 | #Constraints: 7623
314.89/316.49 c #Conflicts: 55000 | #Constraints: 8623
314.89/316.49 c #Conflicts: 56000 | #Constraints: 9623
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 57000 | #Constraints: 5823
314.89/316.49 c #Conflicts: 58000 | #Constraints: 6823
314.89/316.49 c #Conflicts: 59000 | #Constraints: 7823
314.89/316.49 c #Conflicts: 60000 | #Constraints: 8823
314.89/316.49 c #Conflicts: 61000 | #Constraints: 9823
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 62000 | #Constraints: 5822
314.89/316.49 c #Conflicts: 63000 | #Constraints: 6822
314.89/316.49 c #Conflicts: 64000 | #Constraints: 7822
314.89/316.49 c #Conflicts: 65000 | #Constraints: 8822
314.89/316.49 c #Conflicts: 66000 | #Constraints: 9822
314.89/316.49 c INPROCESSING
314.89/316.49 c GARBAGE COLLECT
314.89/316.49 c #Conflicts: 67000 | #Constraints: 5623
314.89/316.49 c #Conflicts: 68000 | #Constraints: 6623
345.42/347.01 c #Conflicts: 69000 | #Constraints: 7623
345.42/347.01 c #Conflicts: 70000 | #Constraints: 8623
345.42/347.01 c #Conflicts: 71000 | #Constraints: 9623
345.42/347.01 c #Conflicts: 72000 | #Constraints: 10623
345.42/347.01 c INPROCESSING
345.42/347.01 c GARBAGE COLLECT
345.42/347.01 c #Conflicts: 73000 | #Constraints: 6221
345.42/347.01 c #Conflicts: 74000 | #Constraints: 7221
345.42/347.01 c #Conflicts: 75000 | #Constraints: 8221
345.42/347.01 c #Conflicts: 76000 | #Constraints: 9221
345.42/347.01 c #Conflicts: 77000 | #Constraints: 10221
345.42/347.01 c #Conflicts: 78000 | #Constraints: 11221
345.42/347.01 c INPROCESSING
345.42/347.01 c GARBAGE COLLECT
345.42/347.01 c #Conflicts: 79000 | #Constraints: 6621
345.42/347.01 c #Conflicts: 80000 | #Constraints: 7621
345.42/347.01 c #Conflicts: 81000 | #Constraints: 8621
345.42/347.01 c #Conflicts: 82000 | #Constraints: 9621
345.42/347.01 c #Conflicts: 83000 | #Constraints: 10621
345.42/347.01 c #Conflicts: 84000 | #Constraints: 11621
345.42/347.01 c INPROCESSING
345.42/347.01 c GARBAGE COLLECT
345.42/347.01 c #Conflicts: 85000 | #Constraints: 6823
345.42/347.01 c #Conflicts: 86000 | #Constraints: 7823
345.42/347.01 c #Conflicts: 87000 | #Constraints: 8823
345.42/347.01 c #Conflicts: 88000 | #Constraints: 9823
345.42/347.01 c #Conflicts: 89000 | #Constraints: 10823
345.42/347.01 c #Conflicts: 90000 | #Constraints: 11823
345.42/347.01 c INPROCESSING
345.42/347.01 c GARBAGE COLLECT
345.42/347.01 c #Conflicts: 91000 | #Constraints: 6823
345.42/347.01 c #Conflicts: 92000 | #Constraints: 7823
345.42/347.01 c #Conflicts: 93000 | #Constraints: 8823
345.42/347.01 c #Conflicts: 94000 | #Constraints: 9823
345.42/347.01 c #Conflicts: 95000 | #Constraints: 10823
345.42/347.01 c #Conflicts: 96000 | #Constraints: 11823
345.42/347.01 c INPROCESSING
345.42/347.01 c GARBAGE COLLECT
345.42/347.01 c #Conflicts: 97000 | #Constraints: 6623
345.42/347.01 c #Conflicts: 98000 | #Constraints: 7623
345.42/347.01 c #Conflicts: 99000 | #Constraints: 8623
345.42/347.01 c #Conflicts: 100000 | #Constraints: 9623
345.42/347.01 c #Conflicts: 101000 | #Constraints: 10623
345.42/347.01 c #Conflicts: 102000 | #Constraints: 11623
345.42/347.01 c #Conflicts: 103000 | #Constraints: 12623
345.42/347.01 c INPROCESSING
345.42/347.01 c GARBAGE COLLECT
345.42/347.01 c #Conflicts: 104000 | #Constraints: 7220
345.42/347.01 c #Conflicts: 105000 | #Constraints: 8220
345.42/347.01 c #Conflicts: 106000 | #Constraints: 9220
345.42/347.01 c #Conflicts: 107000 | #Constraints: 10220
345.42/347.01 c #Conflicts: 108000 | #Constraints: 11220
345.42/347.01 c #Conflicts: 109000 | #Constraints: 12220
345.42/347.01 c #Conflicts: 110000 | #Constraints: 13220
345.42/347.01 c INPROCESSING
345.42/347.01 c GARBAGE COLLECT
345.42/347.01 c #Conflicts: 111000 | #Constraints: 7622
345.42/347.01 c #Conflicts: 112000 | #Constraints: 8622
345.42/347.01 c #Conflicts: 113000 | #Constraints: 9622
345.42/347.01 c #Conflicts: 114000 | #Constraints: 10622
345.42/347.01 c #Conflicts: 115000 | #Constraints: 11622
345.42/347.01 c #Conflicts: 116000 | #Constraints: 12622
345.42/347.01 c #Conflicts: 117000 | #Constraints: 13622
345.42/347.01 c INPROCESSING
345.42/347.01 c GARBAGE COLLECT
345.42/347.01 c #Conflicts: 118000 | #Constraints: 7820
345.42/347.01 c #Conflicts: 119000 | #Constraints: 8820
345.42/347.01 c #Conflicts: 120000 | #Constraints: 9820
345.42/347.01 c #Conflicts: 121000 | #Constraints: 10820
345.42/347.01 c #Conflicts: 122000 | #Constraints: 11820
345.42/347.01 c #Conflicts: 123000 | #Constraints: 12820
345.42/347.01 c #Conflicts: 124000 | #Constraints: 13820
345.42/347.01 c INPROCESSING
345.42/347.01 c GARBAGE COLLECT
345.42/347.01 c #Conflicts: 125000 | #Constraints: 7820
345.42/347.01 c #Conflicts: 126000 | #Constraints: 8820
345.42/347.01 c #Conflicts: 127000 | #Constraints: 9820
345.42/347.01 c #Conflicts: 128000 | #Constraints: 10820
345.42/347.01 c #Conflicts: 129000 | #Constraints: 11820
345.42/347.01 c #Conflicts: 130000 | #Constraints: 12820
345.42/347.01 c #Conflicts: 131000 | #Constraints: 13820
345.42/347.01 c INPROCESSING
345.42/347.01 c GARBAGE COLLECT
345.42/347.01 c #Conflicts: 132000 | #Constraints: 7621
345.42/347.01 c #Conflicts: 133000 | #Constraints: 8621
345.42/347.01 c #Conflicts: 134000 | #Constraints: 9621
345.42/347.01 c #Conflicts: 135000 | #Constraints: 10621
345.42/347.01 c #Conflicts: 136000 | #Constraints: 11621
345.42/347.01 c #Conflicts: 137000 | #Constraints: 12621
345.42/347.01 c #Conflicts: 138000 | #Constraints: 13621
345.42/347.01 c #Conflicts: 139000 | #Constraints: 14621
345.42/347.01 c INPROCESSING
345.42/347.01 c GARBAGE COLLECT
345.42/347.01 c #Conflicts: 140000 | #Constraints: 8222
388.22/389.97 c #Conflicts: 141000 | #Constraints: 9222
388.22/389.97 c #Conflicts: 142000 | #Constraints: 10222
388.22/389.97 c #Conflicts: 143000 | #Constraints: 11222
388.22/389.97 c #Conflicts: 144000 | #Constraints: 12222
388.22/389.97 c #Conflicts: 145000 | #Constraints: 13222
388.22/389.97 c #Conflicts: 146000 | #Constraints: 14222
388.22/389.97 c #Conflicts: 147000 | #Constraints: 15222
388.22/389.97 c INPROCESSING
388.22/389.97 c GARBAGE COLLECT
388.22/389.97 c #Conflicts: 148000 | #Constraints: 8624
388.22/389.97 c #Conflicts: 149000 | #Constraints: 9624
388.22/389.97 c #Conflicts: 150000 | #Constraints: 10624
388.22/389.97 c #Conflicts: 151000 | #Constraints: 11624
388.22/389.97 c #Conflicts: 152000 | #Constraints: 12624
388.22/389.97 c #Conflicts: 153000 | #Constraints: 13624
388.22/389.97 c #Conflicts: 154000 | #Constraints: 14624
388.22/389.97 c #Conflicts: 155000 | #Constraints: 15624
388.22/389.97 c INPROCESSING
388.22/389.97 c GARBAGE COLLECT
388.22/389.97 c #Conflicts: 156000 | #Constraints: 8825
388.22/389.97 c #Conflicts: 157000 | #Constraints: 9825
388.22/389.97 c #Conflicts: 158000 | #Constraints: 10825
388.22/389.97 c #Conflicts: 159000 | #Constraints: 11825
388.22/389.97 c #Conflicts: 160000 | #Constraints: 12825
388.22/389.97 c #Conflicts: 161000 | #Constraints: 13825
388.22/389.97 c #Conflicts: 162000 | #Constraints: 14825
388.22/389.97 c #Conflicts: 163000 | #Constraints: 15825
388.22/389.97 c INPROCESSING
388.22/389.97 c GARBAGE COLLECT
388.22/389.97 c #Conflicts: 164000 | #Constraints: 8824
388.22/389.97 c #Conflicts: 165000 | #Constraints: 9824
388.22/389.97 c #Conflicts: 166000 | #Constraints: 10824
388.22/389.97 c #Conflicts: 167000 | #Constraints: 11824
388.22/389.97 c #Conflicts: 168000 | #Constraints: 12824
388.22/389.97 c #Conflicts: 169000 | #Constraints: 13824
388.22/389.97 c #Conflicts: 170000 | #Constraints: 14824
388.22/389.97 c #Conflicts: 171000 | #Constraints: 15824
388.22/389.97 c INPROCESSING
388.22/389.97 c GARBAGE COLLECT
388.22/389.97 c #Conflicts: 172000 | #Constraints: 8621
388.22/389.97 c #Conflicts: 173000 | #Constraints: 9621
388.22/389.97 c #Conflicts: 174000 | #Constraints: 10621
388.22/389.97 c #Conflicts: 175000 | #Constraints: 11621
388.22/389.97 c #Conflicts: 176000 | #Constraints: 12621
388.22/389.97 c #Conflicts: 177000 | #Constraints: 13621
388.22/389.97 c #Conflicts: 178000 | #Constraints: 14621
388.22/389.97 c #Conflicts: 179000 | #Constraints: 15621
388.22/389.97 c #Conflicts: 180000 | #Constraints: 16621
388.22/389.97 c INPROCESSING
388.22/389.97 c GARBAGE COLLECT
388.22/389.97 c #Conflicts: 181000 | #Constraints: 9221
388.22/389.97 c #Conflicts: 182000 | #Constraints: 10221
388.22/389.97 c #Conflicts: 183000 | #Constraints: 11221
388.22/389.97 c #Conflicts: 184000 | #Constraints: 12221
388.22/389.97 c #Conflicts: 185000 | #Constraints: 13221
388.22/389.97 c #Conflicts: 186000 | #Constraints: 14221
388.22/389.97 c #Conflicts: 187000 | #Constraints: 15221
388.22/389.97 c #Conflicts: 188000 | #Constraints: 16221
388.22/389.97 c #Conflicts: 189000 | #Constraints: 17221
388.22/389.97 c INPROCESSING
388.22/389.97 c GARBAGE COLLECT
388.22/389.97 c #Conflicts: 190000 | #Constraints: 9622
388.22/389.97 c #Conflicts: 191000 | #Constraints: 10622
388.22/389.97 c #Conflicts: 192000 | #Constraints: 11622
388.22/389.97 c #Conflicts: 193000 | #Constraints: 12622
388.22/389.97 c #Conflicts: 194000 | #Constraints: 13622
388.22/389.97 c #Conflicts: 195000 | #Constraints: 14622
388.22/389.97 c #Conflicts: 196000 | #Constraints: 15622
388.22/389.97 c #Conflicts: 197000 | #Constraints: 16622
388.22/389.97 c #Conflicts: 198000 | #Constraints: 17622
388.22/389.97 c INPROCESSING
388.22/389.97 c GARBAGE COLLECT
388.22/389.97 c #Conflicts: 199000 | #Constraints: 9826
388.22/389.97 c #Conflicts: 200000 | #Constraints: 10826
388.22/389.97 c #Conflicts: 201000 | #Constraints: 11826
388.22/389.97 c #Conflicts: 202000 | #Constraints: 12826
388.22/389.97 c #Conflicts: 203000 | #Constraints: 13826
388.22/389.97 c #Conflicts: 204000 | #Constraints: 14826
388.22/389.97 c #Conflicts: 205000 | #Constraints: 15826
388.22/389.97 c #Conflicts: 206000 | #Constraints: 16826
388.22/389.97 c #Conflicts: 207000 | #Constraints: 17826
388.22/389.97 c INPROCESSING
388.22/389.97 c GARBAGE COLLECT
388.22/389.97 c #Conflicts: 208000 | #Constraints: 9827
388.22/389.97 c #Conflicts: 209000 | #Constraints: 10827
388.22/389.97 c #Conflicts: 210000 | #Constraints: 11827
388.22/389.97 c #Conflicts: 211000 | #Constraints: 12827
388.22/389.97 c #Conflicts: 212000 | #Constraints: 13827
388.22/389.97 c #Conflicts: 213000 | #Constraints: 14827
439.89/441.76 c #Conflicts: 214000 | #Constraints: 15827
439.89/441.76 c #Conflicts: 215000 | #Constraints: 16827
439.89/441.76 c #Conflicts: 216000 | #Constraints: 17827
439.89/441.76 c INPROCESSING
439.89/441.76 c GARBAGE COLLECT
439.89/441.76 c #Conflicts: 217000 | #Constraints: 9627
439.89/441.76 c #Conflicts: 218000 | #Constraints: 10627
439.89/441.76 c #Conflicts: 219000 | #Constraints: 11627
439.89/441.76 c #Conflicts: 220000 | #Constraints: 12627
439.89/441.76 c #Conflicts: 221000 | #Constraints: 13627
439.89/441.76 c #Conflicts: 222000 | #Constraints: 14627
439.89/441.76 c #Conflicts: 223000 | #Constraints: 15627
439.89/441.76 c #Conflicts: 224000 | #Constraints: 16627
439.89/441.76 c #Conflicts: 225000 | #Constraints: 17627
439.89/441.76 c #Conflicts: 226000 | #Constraints: 18627
439.89/441.76 c INPROCESSING
439.89/441.76 c GARBAGE COLLECT
439.89/441.76 c #Conflicts: 227000 | #Constraints: 10227
439.89/441.76 c #Conflicts: 228000 | #Constraints: 11227
439.89/441.76 c #Conflicts: 229000 | #Constraints: 12227
439.89/441.76 c #Conflicts: 230000 | #Constraints: 13227
439.89/441.76 c #Conflicts: 231000 | #Constraints: 14227
439.89/441.76 c #Conflicts: 232000 | #Constraints: 15227
439.89/441.76 c #Conflicts: 233000 | #Constraints: 16227
439.89/441.76 c #Conflicts: 234000 | #Constraints: 17227
439.89/441.76 c #Conflicts: 235000 | #Constraints: 18227
439.89/441.76 c #Conflicts: 236000 | #Constraints: 19227
439.89/441.76 c INPROCESSING
439.89/441.76 c GARBAGE COLLECT
439.89/441.76 c #Conflicts: 237000 | #Constraints: 10626
439.89/441.76 c #Conflicts: 238000 | #Constraints: 11626
439.89/441.76 c #Conflicts: 239000 | #Constraints: 12626
439.89/441.76 c #Conflicts: 240000 | #Constraints: 13626
439.89/441.76 c #Conflicts: 241000 | #Constraints: 14626
439.89/441.76 c #Conflicts: 242000 | #Constraints: 15626
439.89/441.76 c #Conflicts: 243000 | #Constraints: 16626
439.89/441.76 c #Conflicts: 244000 | #Constraints: 17626
439.89/441.76 c #Conflicts: 245000 | #Constraints: 18626
439.89/441.76 c #Conflicts: 246000 | #Constraints: 19626
439.89/441.76 c INPROCESSING
439.89/441.76 c GARBAGE COLLECT
439.89/441.76 c #Conflicts: 247000 | #Constraints: 10825
439.89/441.76 c #Conflicts: 248000 | #Constraints: 11825
439.89/441.76 c #Conflicts: 249000 | #Constraints: 12825
439.89/441.76 c #Conflicts: 250000 | #Constraints: 13825
439.89/441.76 c #Conflicts: 251000 | #Constraints: 14825
439.89/441.76 c #Conflicts: 252000 | #Constraints: 15825
439.89/441.76 c #Conflicts: 253000 | #Constraints: 16825
439.89/441.76 c #Conflicts: 254000 | #Constraints: 17825
439.89/441.76 c #Conflicts: 255000 | #Constraints: 18825
439.89/441.76 c #Conflicts: 256000 | #Constraints: 19825
439.89/441.76 c INPROCESSING
439.89/441.76 c GARBAGE COLLECT
439.89/441.76 c #Conflicts: 257000 | #Constraints: 10822
439.89/441.76 c #Conflicts: 258000 | #Constraints: 11822
439.89/441.76 c #Conflicts: 259000 | #Constraints: 12822
439.89/441.76 c #Conflicts: 260000 | #Constraints: 13822
439.89/441.76 c #Conflicts: 261000 | #Constraints: 14822
439.89/441.76 c #Conflicts: 262000 | #Constraints: 15822
439.89/441.76 c #Conflicts: 263000 | #Constraints: 16822
439.89/441.76 c #Conflicts: 264000 | #Constraints: 17822
439.89/441.76 c #Conflicts: 265000 | #Constraints: 18822
439.89/441.76 c #Conflicts: 266000 | #Constraints: 19822
439.89/441.76 c INPROCESSING
439.89/441.76 c GARBAGE COLLECT
439.89/441.76 c #Conflicts: 267000 | #Constraints: 10620
439.89/441.76 c #Conflicts: 268000 | #Constraints: 11620
439.89/441.76 c #Conflicts: 269000 | #Constraints: 12620
439.89/441.76 c #Conflicts: 270000 | #Constraints: 13620
439.89/441.76 c #Conflicts: 271000 | #Constraints: 14620
439.89/441.76 c #Conflicts: 272000 | #Constraints: 15620
439.89/441.76 c #Conflicts: 273000 | #Constraints: 16620
439.89/441.76 c #Conflicts: 274000 | #Constraints: 17620
439.89/441.76 c #Conflicts: 275000 | #Constraints: 18620
439.89/441.76 c #Conflicts: 276000 | #Constraints: 19620
439.89/441.76 c #Conflicts: 277000 | #Constraints: 20620
439.89/441.76 c INPROCESSING
439.89/441.76 c GARBAGE COLLECT
439.89/441.76 c #Conflicts: 278000 | #Constraints: 11221
439.89/441.76 c #Conflicts: 279000 | #Constraints: 12221
439.89/441.76 c #Conflicts: 280000 | #Constraints: 13221
439.89/441.76 c #Conflicts: 281000 | #Constraints: 14221
439.89/441.76 c #Conflicts: 282000 | #Constraints: 15221
439.89/441.76 c #Conflicts: 283000 | #Constraints: 16221
439.89/441.76 c #Conflicts: 284000 | #Constraints: 17221
439.89/441.76 c #Conflicts: 285000 | #Constraints: 18221
439.89/441.76 c #Conflicts: 286000 | #Constraints: 19221
439.89/441.76 c #Conflicts: 287000 | #Constraints: 20221
439.89/441.76 c #Conflicts: 288000 | #Constraints: 21221
496.84/498.85 c INPROCESSING
496.84/498.85 c GARBAGE COLLECT
496.84/498.85 c #Conflicts: 289000 | #Constraints: 11620
496.84/498.85 c #Conflicts: 290000 | #Constraints: 12620
496.84/498.85 c #Conflicts: 291000 | #Constraints: 13620
496.84/498.85 c #Conflicts: 292000 | #Constraints: 14620
496.84/498.85 c #Conflicts: 293000 | #Constraints: 15620
496.84/498.85 c #Conflicts: 294000 | #Constraints: 16620
496.84/498.85 c #Conflicts: 295000 | #Constraints: 17620
496.84/498.85 c #Conflicts: 296000 | #Constraints: 18620
496.84/498.85 c #Conflicts: 297000 | #Constraints: 19620
496.84/498.85 c #Conflicts: 298000 | #Constraints: 20620
496.84/498.85 c #Conflicts: 299000 | #Constraints: 21620
496.84/498.85 c INPROCESSING
496.84/498.85 c GARBAGE COLLECT
496.84/498.85 c #Conflicts: 300000 | #Constraints: 11820
496.84/498.85 c #Conflicts: 301000 | #Constraints: 12820
496.84/498.85 c #Conflicts: 302000 | #Constraints: 13820
496.84/498.85 c #Conflicts: 303000 | #Constraints: 14820
496.84/498.85 c #Conflicts: 304000 | #Constraints: 15820
496.84/498.85 c #Conflicts: 305000 | #Constraints: 16820
496.84/498.85 c #Conflicts: 306000 | #Constraints: 17820
496.84/498.85 c #Conflicts: 307000 | #Constraints: 18820
496.84/498.85 c #Conflicts: 308000 | #Constraints: 19820
496.84/498.85 c #Conflicts: 309000 | #Constraints: 20820
496.84/498.85 c #Conflicts: 310000 | #Constraints: 21820
496.84/498.85 c INPROCESSING
496.84/498.85 c GARBAGE COLLECT
496.84/498.85 c #Conflicts: 311000 | #Constraints: 11821
496.84/498.85 c #Conflicts: 312000 | #Constraints: 12821
496.84/498.85 c #Conflicts: 313000 | #Constraints: 13821
496.84/498.85 c #Conflicts: 314000 | #Constraints: 14821
496.84/498.85 c #Conflicts: 315000 | #Constraints: 15821
496.84/498.85 c #Conflicts: 316000 | #Constraints: 16821
496.84/498.85 c #Conflicts: 317000 | #Constraints: 17821
496.84/498.85 c #Conflicts: 318000 | #Constraints: 18821
496.84/498.85 c #Conflicts: 319000 | #Constraints: 19821
496.84/498.85 c #Conflicts: 320000 | #Constraints: 20821
496.84/498.85 c #Conflicts: 321000 | #Constraints: 21821
496.84/498.85 c INPROCESSING
496.84/498.85 c GARBAGE COLLECT
496.84/498.85 c #Conflicts: 322000 | #Constraints: 11623
496.84/498.85 c #Conflicts: 323000 | #Constraints: 12623
496.84/498.85 c #Conflicts: 324000 | #Constraints: 13623
496.84/498.85 c #Conflicts: 325000 | #Constraints: 14623
496.84/498.85 c #Conflicts: 326000 | #Constraints: 15623
496.84/498.85 c #Conflicts: 327000 | #Constraints: 16623
496.84/498.85 c #Conflicts: 328000 | #Constraints: 17623
496.84/498.85 c #Conflicts: 329000 | #Constraints: 18623
496.84/498.85 c #Conflicts: 330000 | #Constraints: 19623
496.84/498.85 c #Conflicts: 331000 | #Constraints: 20623
496.84/498.85 c #Conflicts: 332000 | #Constraints: 21623
496.84/498.85 c #Conflicts: 333000 | #Constraints: 22623
496.84/498.85 c INPROCESSING
496.84/498.85 c GARBAGE COLLECT
496.84/498.85 c #Conflicts: 334000 | #Constraints: 12222
496.84/498.85 c #Conflicts: 335000 | #Constraints: 13222
496.84/498.85 c #Conflicts: 336000 | #Constraints: 14222
496.84/498.85 c #Conflicts: 337000 | #Constraints: 15222
496.84/498.85 c #Conflicts: 338000 | #Constraints: 16222
496.84/498.85 c #Conflicts: 339000 | #Constraints: 17222
496.84/498.85 c #Conflicts: 340000 | #Constraints: 18222
496.84/498.85 c #Conflicts: 341000 | #Constraints: 19222
496.84/498.85 c #Conflicts: 342000 | #Constraints: 20222
496.84/498.85 c #Conflicts: 343000 | #Constraints: 21222
496.84/498.85 c #Conflicts: 344000 | #Constraints: 22222
496.84/498.85 c #Conflicts: 345000 | #Constraints: 23222
496.84/498.85 c INPROCESSING
496.84/498.85 c GARBAGE COLLECT
496.84/498.85 c #Conflicts: 346000 | #Constraints: 12620
496.84/498.85 c #Conflicts: 347000 | #Constraints: 13620
496.84/498.85 c #Conflicts: 348000 | #Constraints: 14620
496.84/498.85 c #Conflicts: 349000 | #Constraints: 15620
496.84/498.85 c #Conflicts: 350000 | #Constraints: 16620
496.84/498.85 c #Conflicts: 351000 | #Constraints: 17620
496.84/498.85 c #Conflicts: 352000 | #Constraints: 18620
496.84/498.85 c #Conflicts: 353000 | #Constraints: 19620
496.84/498.85 c #Conflicts: 354000 | #Constraints: 20620
496.84/498.85 c #Conflicts: 355000 | #Constraints: 21620
496.84/498.85 c #Conflicts: 356000 | #Constraints: 22620
496.84/498.85 c #Conflicts: 357000 | #Constraints: 23620
496.84/498.85 c INPROCESSING
496.84/498.85 c GARBAGE COLLECT
496.84/498.85 c #Conflicts: 358000 | #Constraints: 12821
496.84/498.85 c #Conflicts: 359000 | #Constraints: 13821
496.84/498.85 c #Conflicts: 360000 | #Constraints: 14821
496.84/498.85 c #Conflicts: 361000 | #Constraints: 15821
496.84/498.85 c #Conflicts: 362000 | #Constraints: 16821
562.58/564.72 c #Conflicts: 363000 | #Constraints: 17821
562.58/564.72 c #Conflicts: 364000 | #Constraints: 18821
562.58/564.72 c #Conflicts: 365000 | #Constraints: 19821
562.58/564.72 c #Conflicts: 366000 | #Constraints: 20821
562.58/564.72 c #Conflicts: 367000 | #Constraints: 21821
562.58/564.72 c #Conflicts: 368000 | #Constraints: 22821
562.58/564.72 c #Conflicts: 369000 | #Constraints: 23821
562.58/564.72 c INPROCESSING
562.58/564.72 c GARBAGE COLLECT
562.58/564.72 c #Conflicts: 370000 | #Constraints: 12824
562.58/564.72 c #Conflicts: 371000 | #Constraints: 13824
562.58/564.72 c #Conflicts: 372000 | #Constraints: 14824
562.58/564.72 c #Conflicts: 373000 | #Constraints: 15824
562.58/564.72 c #Conflicts: 374000 | #Constraints: 16824
562.58/564.72 c #Conflicts: 375000 | #Constraints: 17824
562.58/564.72 c #Conflicts: 376000 | #Constraints: 18824
562.58/564.72 c #Conflicts: 377000 | #Constraints: 19824
562.58/564.72 c #Conflicts: 378000 | #Constraints: 20824
562.58/564.72 c #Conflicts: 379000 | #Constraints: 21824
562.58/564.72 c #Conflicts: 380000 | #Constraints: 22824
562.58/564.72 c #Conflicts: 381000 | #Constraints: 23824
562.58/564.72 c INPROCESSING
562.58/564.72 c GARBAGE COLLECT
562.58/564.72 c #Conflicts: 382000 | #Constraints: 12624
562.58/564.72 c #Conflicts: 383000 | #Constraints: 13624
562.58/564.72 c #Conflicts: 384000 | #Constraints: 14624
562.58/564.72 c #Conflicts: 385000 | #Constraints: 15624
562.58/564.72 c #Conflicts: 386000 | #Constraints: 16624
562.58/564.72 c #Conflicts: 387000 | #Constraints: 17624
562.58/564.72 c #Conflicts: 388000 | #Constraints: 18624
562.58/564.72 c #Conflicts: 389000 | #Constraints: 19624
562.58/564.72 c #Conflicts: 390000 | #Constraints: 20624
562.58/564.72 c #Conflicts: 391000 | #Constraints: 21624
562.58/564.72 c #Conflicts: 392000 | #Constraints: 22624
562.58/564.72 c #Conflicts: 393000 | #Constraints: 23624
562.58/564.72 c #Conflicts: 394000 | #Constraints: 24624
562.58/564.72 c INPROCESSING
562.58/564.72 c GARBAGE COLLECT
562.58/564.72 c #Conflicts: 395000 | #Constraints: 13224
562.58/564.72 c #Conflicts: 396000 | #Constraints: 14224
562.58/564.72 c #Conflicts: 397000 | #Constraints: 15224
562.58/564.72 c #Conflicts: 398000 | #Constraints: 16224
562.58/564.72 c #Conflicts: 399000 | #Constraints: 17224
562.58/564.72 c #Conflicts: 400000 | #Constraints: 18224
562.58/564.72 c #Conflicts: 401000 | #Constraints: 19224
562.58/564.72 c #Conflicts: 402000 | #Constraints: 20224
562.58/564.72 c #Conflicts: 403000 | #Constraints: 21224
562.58/564.72 c #Conflicts: 404000 | #Constraints: 22224
562.58/564.72 c #Conflicts: 405000 | #Constraints: 23224
562.58/564.72 c #Conflicts: 406000 | #Constraints: 24224
562.58/564.72 c #Conflicts: 407000 | #Constraints: 25224
562.58/564.72 c INPROCESSING
562.58/564.72 c GARBAGE COLLECT
562.58/564.72 c #Conflicts: 408000 | #Constraints: 13621
562.58/564.72 c #Conflicts: 409000 | #Constraints: 14621
562.58/564.72 c #Conflicts: 410000 | #Constraints: 15621
562.58/564.72 c #Conflicts: 411000 | #Constraints: 16621
562.58/564.72 c #Conflicts: 412000 | #Constraints: 17621
562.58/564.72 c #Conflicts: 413000 | #Constraints: 18621
562.58/564.72 c #Conflicts: 414000 | #Constraints: 19621
562.58/564.72 c #Conflicts: 415000 | #Constraints: 20621
562.58/564.72 c #Conflicts: 416000 | #Constraints: 21621
562.58/564.72 c #Conflicts: 417000 | #Constraints: 22621
562.58/564.72 c #Conflicts: 418000 | #Constraints: 23621
562.58/564.72 c #Conflicts: 419000 | #Constraints: 24621
562.58/564.72 c #Conflicts: 420000 | #Constraints: 25621
562.58/564.72 c INPROCESSING
562.58/564.72 c GARBAGE COLLECT
562.58/564.72 c #Conflicts: 421000 | #Constraints: 13825
562.58/564.72 c #Conflicts: 422000 | #Constraints: 14825
562.58/564.72 c #Conflicts: 423000 | #Constraints: 15825
562.58/564.72 c #Conflicts: 424000 | #Constraints: 16825
562.58/564.72 c #Conflicts: 425000 | #Constraints: 17825
562.58/564.72 c #Conflicts: 426000 | #Constraints: 18825
562.58/564.72 c #Conflicts: 427000 | #Constraints: 19825
562.58/564.72 c #Conflicts: 428000 | #Constraints: 20825
562.58/564.72 c #Conflicts: 429000 | #Constraints: 21825
562.58/564.72 c #Conflicts: 430000 | #Constraints: 22825
562.58/564.72 c #Conflicts: 431000 | #Constraints: 23825
562.58/564.72 c #Conflicts: 432000 | #Constraints: 24825
562.58/564.72 c #Conflicts: 433000 | #Constraints: 25825
562.58/564.72 c INPROCESSING
562.58/564.72 c GARBAGE COLLECT
562.58/564.72 c #Conflicts: 434000 | #Constraints: 13825
562.58/564.72 c #Conflicts: 435000 | #Constraints: 14825
562.58/564.72 c #Conflicts: 436000 | #Constraints: 15825
562.58/564.72 c #Conflicts: 437000 | #Constraints: 16825
650.85/653.24 c #Conflicts: 438000 | #Constraints: 17825
650.85/653.24 c #Conflicts: 439000 | #Constraints: 18825
650.85/653.24 c #Conflicts: 440000 | #Constraints: 19825
650.85/653.24 c #Conflicts: 441000 | #Constraints: 20825
650.85/653.24 c #Conflicts: 442000 | #Constraints: 21825
650.85/653.24 c #Conflicts: 443000 | #Constraints: 22825
650.85/653.24 c #Conflicts: 444000 | #Constraints: 23825
650.85/653.24 c #Conflicts: 445000 | #Constraints: 24825
650.85/653.24 c #Conflicts: 446000 | #Constraints: 25825
650.85/653.24 c INPROCESSING
650.85/653.24 c GARBAGE COLLECT
650.85/653.24 c #Conflicts: 447000 | #Constraints: 13628
650.85/653.24 c #Conflicts: 448000 | #Constraints: 14628
650.85/653.24 c #Conflicts: 449000 | #Constraints: 15628
650.85/653.24 c #Conflicts: 450000 | #Constraints: 16628
650.85/653.24 c #Conflicts: 451000 | #Constraints: 17628
650.85/653.24 c #Conflicts: 452000 | #Constraints: 18628
650.85/653.24 c #Conflicts: 453000 | #Constraints: 19628
650.85/653.24 c #Conflicts: 454000 | #Constraints: 20628
650.85/653.24 c #Conflicts: 455000 | #Constraints: 21628
650.85/653.24 c #Conflicts: 456000 | #Constraints: 22628
650.85/653.24 c #Conflicts: 457000 | #Constraints: 23628
650.85/653.24 c #Conflicts: 458000 | #Constraints: 24628
650.85/653.24 c #Conflicts: 459000 | #Constraints: 25628
650.85/653.24 c #Conflicts: 460000 | #Constraints: 26628
650.85/653.24 c INPROCESSING
650.85/653.24 c GARBAGE COLLECT
650.85/653.24 c #Conflicts: 461000 | #Constraints: 14228
650.85/653.24 c #Conflicts: 462000 | #Constraints: 15228
650.85/653.24 c #Conflicts: 463000 | #Constraints: 16228
650.85/653.24 c #Conflicts: 464000 | #Constraints: 17228
650.85/653.24 c #Conflicts: 465000 | #Constraints: 18228
650.85/653.24 c #Conflicts: 466000 | #Constraints: 19228
650.85/653.24 c #Conflicts: 467000 | #Constraints: 20228
650.85/653.24 c #Conflicts: 468000 | #Constraints: 21228
650.85/653.24 c #Conflicts: 469000 | #Constraints: 22228
650.85/653.24 c #Conflicts: 470000 | #Constraints: 23228
650.85/653.24 c #Conflicts: 471000 | #Constraints: 24228
650.85/653.24 c #Conflicts: 472000 | #Constraints: 25228
650.85/653.24 c #Conflicts: 473000 | #Constraints: 26228
650.85/653.24 c #Conflicts: 474000 | #Constraints: 27228
650.85/653.24 c INPROCESSING
650.85/653.24 c GARBAGE COLLECT
650.85/653.24 c #Conflicts: 475000 | #Constraints: 14628
650.85/653.24 c #Conflicts: 476000 | #Constraints: 15628
650.85/653.24 c #Conflicts: 477000 | #Constraints: 16628
650.85/653.24 c #Conflicts: 478000 | #Constraints: 17628
650.85/653.24 c #Conflicts: 479000 | #Constraints: 18628
650.85/653.24 c #Conflicts: 480000 | #Constraints: 19628
650.85/653.24 c #Conflicts: 481000 | #Constraints: 20628
650.85/653.24 c #Conflicts: 482000 | #Constraints: 21628
650.85/653.24 c #Conflicts: 483000 | #Constraints: 22628
650.85/653.24 c #Conflicts: 484000 | #Constraints: 23628
650.85/653.24 c #Conflicts: 485000 | #Constraints: 24628
650.85/653.24 c #Conflicts: 486000 | #Constraints: 25628
650.85/653.24 c #Conflicts: 487000 | #Constraints: 26628
650.85/653.24 c #Conflicts: 488000 | #Constraints: 27628
650.85/653.24 c INPROCESSING
650.85/653.24 c GARBAGE COLLECT
650.85/653.24 c #Conflicts: 489000 | #Constraints: 14827
650.85/653.24 c #Conflicts: 490000 | #Constraints: 15827
650.85/653.24 c #Conflicts: 491000 | #Constraints: 16827
650.85/653.24 c #Conflicts: 492000 | #Constraints: 17827
650.85/653.24 c #Conflicts: 493000 | #Constraints: 18827
650.85/653.24 c #Conflicts: 494000 | #Constraints: 19827
650.85/653.24 c #Conflicts: 495000 | #Constraints: 20827
650.85/653.24 c #Conflicts: 496000 | #Constraints: 21827
650.85/653.24 c #Conflicts: 497000 | #Constraints: 22827
650.85/653.24 c #Conflicts: 498000 | #Constraints: 23827
650.85/653.24 c #Conflicts: 499000 | #Constraints: 24827
650.85/653.24 c #Conflicts: 500000 | #Constraints: 25827
650.85/653.24 c #Conflicts: 501000 | #Constraints: 26827
650.85/653.24 c #Conflicts: 502000 | #Constraints: 27827
650.85/653.24 c INPROCESSING
650.85/653.24 c GARBAGE COLLECT
650.85/653.24 c #Conflicts: 503000 | #Constraints: 14827
650.85/653.24 c #Conflicts: 504000 | #Constraints: 15827
650.85/653.24 c #Conflicts: 505000 | #Constraints: 16827
650.85/653.24 c #Conflicts: 506000 | #Constraints: 17827
650.85/653.24 c #Conflicts: 507000 | #Constraints: 18827
650.85/653.24 c #Conflicts: 508000 | #Constraints: 19827
650.85/653.24 c #Conflicts: 509000 | #Constraints: 20827
650.85/653.24 c #Conflicts: 510000 | #Constraints: 21827
650.85/653.24 c #Conflicts: 511000 | #Constraints: 22827
650.85/653.24 c #Conflicts: 512000 | #Constraints: 23827
650.85/653.24 c #Conflicts: 513000 | #Constraints: 24827
732.95/735.59 c #Conflicts: 514000 | #Constraints: 25827
732.95/735.59 c #Conflicts: 515000 | #Constraints: 26827
732.95/735.59 c #Conflicts: 516000 | #Constraints: 27827
732.95/735.59 c INPROCESSING
732.95/735.59 c GARBAGE COLLECT
732.95/735.59 c #Conflicts: 517000 | #Constraints: 14624
732.95/735.59 c #Conflicts: 518000 | #Constraints: 15624
732.95/735.59 c #Conflicts: 519000 | #Constraints: 16624
732.95/735.59 c #Conflicts: 520000 | #Constraints: 17624
732.95/735.59 c #Conflicts: 521000 | #Constraints: 18624
732.95/735.59 c #Conflicts: 522000 | #Constraints: 19624
732.95/735.59 c #Conflicts: 523000 | #Constraints: 20624
732.95/735.59 c #Conflicts: 524000 | #Constraints: 21624
732.95/735.59 c #Conflicts: 525000 | #Constraints: 22624
732.95/735.59 c #Conflicts: 526000 | #Constraints: 23624
732.95/735.59 c #Conflicts: 527000 | #Constraints: 24624
732.95/735.59 c #Conflicts: 528000 | #Constraints: 25624
732.95/735.59 c #Conflicts: 529000 | #Constraints: 26624
732.95/735.59 c #Conflicts: 530000 | #Constraints: 27624
732.95/735.59 c #Conflicts: 531000 | #Constraints: 28624
732.95/735.59 c INPROCESSING
732.95/735.59 c GARBAGE COLLECT
732.95/735.59 c #Conflicts: 532000 | #Constraints: 15224
732.95/735.59 c #Conflicts: 533000 | #Constraints: 16224
732.95/735.59 c #Conflicts: 534000 | #Constraints: 17224
732.95/735.59 c #Conflicts: 535000 | #Constraints: 18224
732.95/735.59 c #Conflicts: 536000 | #Constraints: 19224
732.95/735.59 c #Conflicts: 537000 | #Constraints: 20224
732.95/735.59 c #Conflicts: 538000 | #Constraints: 21224
732.95/735.59 c #Conflicts: 539000 | #Constraints: 22224
732.95/735.59 c #Conflicts: 540000 | #Constraints: 23224
732.95/735.59 c #Conflicts: 541000 | #Constraints: 24224
732.95/735.59 c #Conflicts: 542000 | #Constraints: 25224
732.95/735.59 c #Conflicts: 543000 | #Constraints: 26224
732.95/735.59 c #Conflicts: 544000 | #Constraints: 27224
732.95/735.59 c #Conflicts: 545000 | #Constraints: 28224
732.95/735.59 c #Conflicts: 546000 | #Constraints: 29224
732.95/735.59 c INPROCESSING
732.95/735.59 c GARBAGE COLLECT
732.95/735.59 c #Conflicts: 547000 | #Constraints: 15624
732.95/735.59 c #Conflicts: 548000 | #Constraints: 16624
732.95/735.59 c #Conflicts: 549000 | #Constraints: 17624
732.95/735.59 c #Conflicts: 550000 | #Constraints: 18624
732.95/735.59 c #Conflicts: 551000 | #Constraints: 19624
732.95/735.59 c #Conflicts: 552000 | #Constraints: 20624
732.95/735.59 c #Conflicts: 553000 | #Constraints: 21624
732.95/735.59 c #Conflicts: 554000 | #Constraints: 22624
732.95/735.59 c #Conflicts: 555000 | #Constraints: 23624
732.95/735.59 c #Conflicts: 556000 | #Constraints: 24624
732.95/735.59 c #Conflicts: 557000 | #Constraints: 25624
732.95/735.59 c #Conflicts: 558000 | #Constraints: 26624
732.95/735.59 c #Conflicts: 559000 | #Constraints: 27624
732.95/735.59 c #Conflicts: 560000 | #Constraints: 28624
732.95/735.59 c #Conflicts: 561000 | #Constraints: 29624
732.95/735.59 c INPROCESSING
732.95/735.59 c GARBAGE COLLECT
732.95/735.59 c #Conflicts: 562000 | #Constraints: 15822
732.95/735.59 c #Conflicts: 563000 | #Constraints: 16822
732.95/735.59 c #Conflicts: 564000 | #Constraints: 17822
732.95/735.59 c #Conflicts: 565000 | #Constraints: 18822
732.95/735.59 c #Conflicts: 566000 | #Constraints: 19822
732.95/735.59 c #Conflicts: 567000 | #Constraints: 20822
732.95/735.59 c #Conflicts: 568000 | #Constraints: 21822
732.95/735.59 c #Conflicts: 569000 | #Constraints: 22822
732.95/735.59 c #Conflicts: 570000 | #Constraints: 23822
732.95/735.59 c #Conflicts: 571000 | #Constraints: 24822
732.95/735.59 c #Conflicts: 572000 | #Constraints: 25822
732.95/735.59 c #Conflicts: 573000 | #Constraints: 26822
732.95/735.59 c #Conflicts: 574000 | #Constraints: 27822
732.95/735.59 c #Conflicts: 575000 | #Constraints: 28822
732.95/735.59 c #Conflicts: 576000 | #Constraints: 29822
732.95/735.59 c INPROCESSING
732.95/735.59 c GARBAGE COLLECT
732.95/735.59 c #Conflicts: 577000 | #Constraints: 15824
732.95/735.59 c #Conflicts: 578000 | #Constraints: 16824
732.95/735.59 c #Conflicts: 579000 | #Constraints: 17824
732.95/735.59 c #Conflicts: 580000 | #Constraints: 18824
732.95/735.59 c #Conflicts: 581000 | #Constraints: 19824
732.95/735.59 c #Conflicts: 582000 | #Constraints: 20824
732.95/735.59 c #Conflicts: 583000 | #Constraints: 21824
732.95/735.59 c #Conflicts: 584000 | #Constraints: 22824
732.95/735.59 c #Conflicts: 585000 | #Constraints: 23824
732.95/735.59 c #Conflicts: 586000 | #Constraints: 24824
732.95/735.59 c #Conflicts: 587000 | #Constraints: 25824
732.95/735.59 c #Conflicts: 588000 | #Constraints: 26824
822.51/825.38 c #Conflicts: 589000 | #Constraints: 27824
822.51/825.38 c #Conflicts: 590000 | #Constraints: 28824
822.51/825.38 c #Conflicts: 591000 | #Constraints: 29824
822.51/825.38 c INPROCESSING
822.51/825.38 c GARBAGE COLLECT
822.51/825.38 c #Conflicts: 592000 | #Constraints: 15623
822.51/825.38 c #Conflicts: 593000 | #Constraints: 16623
822.51/825.38 c #Conflicts: 594000 | #Constraints: 17623
822.51/825.38 c #Conflicts: 595000 | #Constraints: 18623
822.51/825.38 c #Conflicts: 596000 | #Constraints: 19623
822.51/825.38 c #Conflicts: 597000 | #Constraints: 20623
822.51/825.38 c #Conflicts: 598000 | #Constraints: 21623
822.51/825.38 c #Conflicts: 599000 | #Constraints: 22623
822.51/825.38 c #Conflicts: 600000 | #Constraints: 23623
822.51/825.38 c #Conflicts: 601000 | #Constraints: 24623
822.51/825.38 c #Conflicts: 602000 | #Constraints: 25623
822.51/825.38 c #Conflicts: 603000 | #Constraints: 26623
822.51/825.38 c #Conflicts: 604000 | #Constraints: 27623
822.51/825.38 c #Conflicts: 605000 | #Constraints: 28623
822.51/825.38 c #Conflicts: 606000 | #Constraints: 29623
822.51/825.38 c #Conflicts: 607000 | #Constraints: 30623
822.51/825.38 c INPROCESSING
822.51/825.38 c GARBAGE COLLECT
822.51/825.38 c #Conflicts: 608000 | #Constraints: 16223
822.51/825.38 c #Conflicts: 609000 | #Constraints: 17223
822.51/825.38 c #Conflicts: 610000 | #Constraints: 18223
822.51/825.38 c #Conflicts: 611000 | #Constraints: 19223
822.51/825.38 c #Conflicts: 612000 | #Constraints: 20223
822.51/825.38 c #Conflicts: 613000 | #Constraints: 21223
822.51/825.38 c #Conflicts: 614000 | #Constraints: 22223
822.51/825.38 c #Conflicts: 615000 | #Constraints: 23223
822.51/825.38 c #Conflicts: 616000 | #Constraints: 24223
822.51/825.38 c #Conflicts: 617000 | #Constraints: 25223
822.51/825.38 c #Conflicts: 618000 | #Constraints: 26223
822.51/825.38 c #Conflicts: 619000 | #Constraints: 27223
822.51/825.38 c #Conflicts: 620000 | #Constraints: 28223
822.51/825.38 c #Conflicts: 621000 | #Constraints: 29223
822.51/825.38 c #Conflicts: 622000 | #Constraints: 30223
822.51/825.38 c #Conflicts: 623000 | #Constraints: 31223
822.51/825.38 c INPROCESSING
822.51/825.38 c GARBAGE COLLECT
822.51/825.38 c #Conflicts: 624000 | #Constraints: 16624
822.51/825.38 c #Conflicts: 625000 | #Constraints: 17624
822.51/825.38 c #Conflicts: 626000 | #Constraints: 18624
822.51/825.38 c #Conflicts: 627000 | #Constraints: 19624
822.51/825.38 c #Conflicts: 628000 | #Constraints: 20624
822.51/825.38 c #Conflicts: 629000 | #Constraints: 21624
822.51/825.38 c #Conflicts: 630000 | #Constraints: 22624
822.51/825.38 c #Conflicts: 631000 | #Constraints: 23624
822.51/825.38 c #Conflicts: 632000 | #Constraints: 24624
822.51/825.38 c #Conflicts: 633000 | #Constraints: 25624
822.51/825.38 c #Conflicts: 634000 | #Constraints: 26624
822.51/825.38 c #Conflicts: 635000 | #Constraints: 27624
822.51/825.38 c #Conflicts: 636000 | #Constraints: 28624
822.51/825.38 c #Conflicts: 637000 | #Constraints: 29624
822.51/825.38 c #Conflicts: 638000 | #Constraints: 30624
822.51/825.38 c #Conflicts: 639000 | #Constraints: 31624
822.51/825.38 c INPROCESSING
822.51/825.38 c GARBAGE COLLECT
822.51/825.38 c #Conflicts: 640000 | #Constraints: 16822
822.51/825.38 c #Conflicts: 641000 | #Constraints: 17822
822.51/825.38 c #Conflicts: 642000 | #Constraints: 18822
822.51/825.38 c #Conflicts: 643000 | #Constraints: 19822
822.51/825.38 c #Conflicts: 644000 | #Constraints: 20822
822.51/825.38 c #Conflicts: 645000 | #Constraints: 21822
822.51/825.38 c #Conflicts: 646000 | #Constraints: 22822
822.51/825.38 c #Conflicts: 647000 | #Constraints: 23822
822.51/825.38 c #Conflicts: 648000 | #Constraints: 24822
822.51/825.38 c #Conflicts: 649000 | #Constraints: 25822
822.51/825.38 c #Conflicts: 650000 | #Constraints: 26822
822.51/825.38 c #Conflicts: 651000 | #Constraints: 27822
822.51/825.38 c #Conflicts: 652000 | #Constraints: 28822
822.51/825.38 c #Conflicts: 653000 | #Constraints: 29822
822.51/825.38 c #Conflicts: 654000 | #Constraints: 30822
822.51/825.38 c #Conflicts: 655000 | #Constraints: 31822
822.51/825.38 c INPROCESSING
822.51/825.38 c GARBAGE COLLECT
822.51/825.38 c #Conflicts: 656000 | #Constraints: 16824
822.51/825.38 c #Conflicts: 657000 | #Constraints: 17824
822.51/825.38 c #Conflicts: 658000 | #Constraints: 18824
822.51/825.38 c #Conflicts: 659000 | #Constraints: 19824
822.51/825.38 c #Conflicts: 660000 | #Constraints: 20824
822.51/825.38 c #Conflicts: 661000 | #Constraints: 21824
822.51/825.38 c #Conflicts: 662000 | #Constraints: 22824
822.51/825.38 c #Conflicts: 663000 | #Constraints: 23824
822.51/825.38 c #Conflicts: 664000 | #Constraints: 24824
921.86/924.92 c #Conflicts: 665000 | #Constraints: 25824
921.86/924.92 c #Conflicts: 666000 | #Constraints: 26824
921.86/924.92 c #Conflicts: 667000 | #Constraints: 27824
921.86/924.92 c #Conflicts: 668000 | #Constraints: 28824
921.86/924.92 c #Conflicts: 669000 | #Constraints: 29824
921.86/924.92 c #Conflicts: 670000 | #Constraints: 30824
921.86/924.92 c #Conflicts: 671000 | #Constraints: 31824
921.86/924.92 c INPROCESSING
921.86/924.92 c GARBAGE COLLECT
921.86/924.92 c #Conflicts: 672000 | #Constraints: 16624
921.86/924.92 c #Conflicts: 673000 | #Constraints: 17624
921.86/924.92 c #Conflicts: 674000 | #Constraints: 18624
921.86/924.92 c #Conflicts: 675000 | #Constraints: 19624
921.86/924.92 c #Conflicts: 676000 | #Constraints: 20624
921.86/924.92 c #Conflicts: 677000 | #Constraints: 21624
921.86/924.92 c #Conflicts: 678000 | #Constraints: 22624
921.86/924.92 c #Conflicts: 679000 | #Constraints: 23624
921.86/924.92 c #Conflicts: 680000 | #Constraints: 24624
921.86/924.92 c #Conflicts: 681000 | #Constraints: 25624
921.86/924.92 c #Conflicts: 682000 | #Constraints: 26624
921.86/924.92 c #Conflicts: 683000 | #Constraints: 27624
921.86/924.92 c #Conflicts: 684000 | #Constraints: 28624
921.86/924.92 c #Conflicts: 685000 | #Constraints: 29624
921.86/924.92 c #Conflicts: 686000 | #Constraints: 30624
921.86/924.92 c #Conflicts: 687000 | #Constraints: 31624
921.86/924.92 c #Conflicts: 688000 | #Constraints: 32624
921.86/924.92 c INPROCESSING
921.86/924.92 c GARBAGE COLLECT
921.86/924.92 c #Conflicts: 689000 | #Constraints: 17222
921.86/924.92 c #Conflicts: 690000 | #Constraints: 18222
921.86/924.92 c #Conflicts: 691000 | #Constraints: 19222
921.86/924.92 c #Conflicts: 692000 | #Constraints: 20222
921.86/924.92 c #Conflicts: 693000 | #Constraints: 21222
921.86/924.92 c #Conflicts: 694000 | #Constraints: 22222
921.86/924.92 c #Conflicts: 695000 | #Constraints: 23222
921.86/924.92 c #Conflicts: 696000 | #Constraints: 24222
921.86/924.92 c #Conflicts: 697000 | #Constraints: 25222
921.86/924.92 c #Conflicts: 698000 | #Constraints: 26222
921.86/924.92 c #Conflicts: 699000 | #Constraints: 27222
921.86/924.92 c #Conflicts: 700000 | #Constraints: 28222
921.86/924.92 c #Conflicts: 701000 | #Constraints: 29222
921.86/924.92 c #Conflicts: 702000 | #Constraints: 30222
921.86/924.92 c #Conflicts: 703000 | #Constraints: 31222
921.86/924.92 c #Conflicts: 704000 | #Constraints: 32222
921.86/924.92 c #Conflicts: 705000 | #Constraints: 33222
921.86/924.92 c INPROCESSING
921.86/924.92 c GARBAGE COLLECT
921.86/924.92 c #Conflicts: 706000 | #Constraints: 17624
921.86/924.92 c #Conflicts: 707000 | #Constraints: 18624
921.86/924.92 c #Conflicts: 708000 | #Constraints: 19624
921.86/924.92 c #Conflicts: 709000 | #Constraints: 20624
921.86/924.92 c #Conflicts: 710000 | #Constraints: 21624
921.86/924.92 c #Conflicts: 711000 | #Constraints: 22624
921.86/924.92 c #Conflicts: 712000 | #Constraints: 23624
921.86/924.92 c #Conflicts: 713000 | #Constraints: 24624
921.86/924.92 c #Conflicts: 714000 | #Constraints: 25624
921.86/924.92 c #Conflicts: 715000 | #Constraints: 26624
921.86/924.92 c #Conflicts: 716000 | #Constraints: 27624
921.86/924.92 c #Conflicts: 717000 | #Constraints: 28624
921.86/924.92 c #Conflicts: 718000 | #Constraints: 29624
921.86/924.92 c #Conflicts: 719000 | #Constraints: 30624
921.86/924.92 c #Conflicts: 720000 | #Constraints: 31624
921.86/924.92 c #Conflicts: 721000 | #Constraints: 32624
921.86/924.92 c #Conflicts: 722000 | #Constraints: 33624
921.86/924.92 c INPROCESSING
921.86/924.92 c GARBAGE COLLECT
921.86/924.92 c #Conflicts: 723000 | #Constraints: 17826
921.86/924.92 c #Conflicts: 724000 | #Constraints: 18826
921.86/924.92 c #Conflicts: 725000 | #Constraints: 19826
921.86/924.92 c #Conflicts: 726000 | #Constraints: 20826
921.86/924.92 c #Conflicts: 727000 | #Constraints: 21826
921.86/924.92 c #Conflicts: 728000 | #Constraints: 22826
921.86/924.92 c #Conflicts: 729000 | #Constraints: 23826
921.86/924.92 c #Conflicts: 730000 | #Constraints: 24826
921.86/924.92 c #Conflicts: 731000 | #Constraints: 25826
921.86/924.92 c #Conflicts: 732000 | #Constraints: 26826
921.86/924.92 c #Conflicts: 733000 | #Constraints: 27826
921.86/924.92 c #Conflicts: 734000 | #Constraints: 28826
921.86/924.92 c #Conflicts: 735000 | #Constraints: 29826
921.86/924.92 c #Conflicts: 736000 | #Constraints: 30826
921.86/924.92 c #Conflicts: 737000 | #Constraints: 31826
921.86/924.92 c #Conflicts: 738000 | #Constraints: 32826
921.86/924.92 c #Conflicts: 739000 | #Constraints: 33826
921.86/924.92 c INPROCESSING
921.86/924.92 c GARBAGE COLLECT
1022.86/1026.25 c #Conflicts: 740000 | #Constraints: 17827
1022.86/1026.25 c #Conflicts: 741000 | #Constraints: 18827
1022.86/1026.25 c #Conflicts: 742000 | #Constraints: 19827
1022.86/1026.25 c #Conflicts: 743000 | #Constraints: 20827
1022.86/1026.25 c #Conflicts: 744000 | #Constraints: 21827
1022.86/1026.25 c #Conflicts: 745000 | #Constraints: 22827
1022.86/1026.25 c #Conflicts: 746000 | #Constraints: 23827
1022.86/1026.25 c #Conflicts: 747000 | #Constraints: 24827
1022.86/1026.25 c #Conflicts: 748000 | #Constraints: 25827
1022.86/1026.25 c #Conflicts: 749000 | #Constraints: 26827
1022.86/1026.25 c #Conflicts: 750000 | #Constraints: 27827
1022.86/1026.25 c #Conflicts: 751000 | #Constraints: 28827
1022.86/1026.25 c #Conflicts: 752000 | #Constraints: 29827
1022.86/1026.25 c #Conflicts: 753000 | #Constraints: 30827
1022.86/1026.25 c #Conflicts: 754000 | #Constraints: 31827
1022.86/1026.25 c #Conflicts: 755000 | #Constraints: 32827
1022.86/1026.25 c #Conflicts: 756000 | #Constraints: 33827
1022.86/1026.25 c INPROCESSING
1022.86/1026.25 c GARBAGE COLLECT
1022.86/1026.25 c #Conflicts: 757000 | #Constraints: 17626
1022.86/1026.25 c #Conflicts: 758000 | #Constraints: 18626
1022.86/1026.25 c #Conflicts: 759000 | #Constraints: 19626
1022.86/1026.25 c #Conflicts: 760000 | #Constraints: 20626
1022.86/1026.25 c #Conflicts: 761000 | #Constraints: 21626
1022.86/1026.25 c #Conflicts: 762000 | #Constraints: 22626
1022.86/1026.25 c #Conflicts: 763000 | #Constraints: 23626
1022.86/1026.25 c #Conflicts: 764000 | #Constraints: 24626
1022.86/1026.25 c #Conflicts: 765000 | #Constraints: 25626
1022.86/1026.25 c #Conflicts: 766000 | #Constraints: 26626
1022.86/1026.25 c #Conflicts: 767000 | #Constraints: 27626
1022.86/1026.25 c #Conflicts: 768000 | #Constraints: 28626
1022.86/1026.25 c #Conflicts: 769000 | #Constraints: 29626
1022.86/1026.25 c #Conflicts: 770000 | #Constraints: 30626
1022.86/1026.25 c #Conflicts: 771000 | #Constraints: 31626
1022.86/1026.25 c #Conflicts: 772000 | #Constraints: 32626
1022.86/1026.25 c #Conflicts: 773000 | #Constraints: 33626
1022.86/1026.25 c #Conflicts: 774000 | #Constraints: 34626
1022.86/1026.25 c INPROCESSING
1022.86/1026.25 c GARBAGE COLLECT
1022.86/1026.25 c #Conflicts: 775000 | #Constraints: 18221
1022.86/1026.25 c #Conflicts: 776000 | #Constraints: 19221
1022.86/1026.25 c #Conflicts: 777000 | #Constraints: 20221
1022.86/1026.25 c #Conflicts: 778000 | #Constraints: 21221
1022.86/1026.25 c #Conflicts: 779000 | #Constraints: 22221
1022.86/1026.25 c #Conflicts: 780000 | #Constraints: 23221
1022.86/1026.25 c #Conflicts: 781000 | #Constraints: 24221
1022.86/1026.25 c #Conflicts: 782000 | #Constraints: 25221
1022.86/1026.25 c #Conflicts: 783000 | #Constraints: 26221
1022.86/1026.25 c #Conflicts: 784000 | #Constraints: 27221
1022.86/1026.25 c #Conflicts: 785000 | #Constraints: 28221
1022.86/1026.25 c #Conflicts: 786000 | #Constraints: 29221
1022.86/1026.25 c #Conflicts: 787000 | #Constraints: 30221
1022.86/1026.25 c #Conflicts: 788000 | #Constraints: 31221
1022.86/1026.25 c #Conflicts: 789000 | #Constraints: 32221
1022.86/1026.25 c #Conflicts: 790000 | #Constraints: 33221
1022.86/1026.25 c #Conflicts: 791000 | #Constraints: 34221
1022.86/1026.25 c #Conflicts: 792000 | #Constraints: 35221
1022.86/1026.25 c INPROCESSING
1022.86/1026.25 c GARBAGE COLLECT
1022.86/1026.25 c #Conflicts: 793000 | #Constraints: 18620
1022.86/1026.25 c #Conflicts: 794000 | #Constraints: 19620
1022.86/1026.25 c #Conflicts: 795000 | #Constraints: 20620
1022.86/1026.25 c #Conflicts: 796000 | #Constraints: 21620
1022.86/1026.25 c #Conflicts: 797000 | #Constraints: 22620
1022.86/1026.25 c #Conflicts: 798000 | #Constraints: 23620
1022.86/1026.25 c #Conflicts: 799000 | #Constraints: 24620
1022.86/1026.25 c #Conflicts: 800000 | #Constraints: 25620
1022.86/1026.25 c #Conflicts: 801000 | #Constraints: 26620
1022.86/1026.25 c #Conflicts: 802000 | #Constraints: 27620
1022.86/1026.25 c #Conflicts: 803000 | #Constraints: 28620
1022.86/1026.25 c #Conflicts: 804000 | #Constraints: 29620
1022.86/1026.25 c #Conflicts: 805000 | #Constraints: 30620
1022.86/1026.25 c #Conflicts: 806000 | #Constraints: 31620
1022.86/1026.25 c #Conflicts: 807000 | #Constraints: 32620
1022.86/1026.25 c #Conflicts: 808000 | #Constraints: 33620
1022.86/1026.25 c #Conflicts: 809000 | #Constraints: 34620
1022.86/1026.25 c #Conflicts: 810000 | #Constraints: 35620
1022.86/1026.25 c INPROCESSING
1022.86/1026.25 c GARBAGE COLLECT
1022.86/1026.25 c #Conflicts: 811000 | #Constraints: 18820
1022.86/1026.25 c #Conflicts: 812000 | #Constraints: 19820
1022.86/1026.25 c #Conflicts: 813000 | #Constraints: 20820
1022.86/1026.25 c #Conflicts: 814000 | #Constraints: 21820
1022.86/1026.25 c #Conflicts: 815000 | #Constraints: 22820
1022.86/1026.25 c #Conflicts: 816000 | #Constraints: 23820
1133.53/1137.29 c #Conflicts: 817000 | #Constraints: 24820
1133.53/1137.29 c #Conflicts: 818000 | #Constraints: 25820
1133.53/1137.29 c #Conflicts: 819000 | #Constraints: 26820
1133.53/1137.29 c #Conflicts: 820000 | #Constraints: 27820
1133.53/1137.29 c #Conflicts: 821000 | #Constraints: 28820
1133.53/1137.29 c #Conflicts: 822000 | #Constraints: 29820
1133.53/1137.29 c #Conflicts: 823000 | #Constraints: 30820
1133.53/1137.29 c #Conflicts: 824000 | #Constraints: 31820
1133.53/1137.29 c #Conflicts: 825000 | #Constraints: 32820
1133.53/1137.29 c #Conflicts: 826000 | #Constraints: 33820
1133.53/1137.29 c #Conflicts: 827000 | #Constraints: 34820
1133.53/1137.29 c #Conflicts: 828000 | #Constraints: 35820
1133.53/1137.29 c INPROCESSING
1133.53/1137.29 c GARBAGE COLLECT
1133.53/1137.29 c #Conflicts: 829000 | #Constraints: 18827
1133.53/1137.29 c #Conflicts: 830000 | #Constraints: 19827
1133.53/1137.29 c #Conflicts: 831000 | #Constraints: 20827
1133.53/1137.29 c #Conflicts: 832000 | #Constraints: 21827
1133.53/1137.29 c #Conflicts: 833000 | #Constraints: 22827
1133.53/1137.29 c #Conflicts: 834000 | #Constraints: 23827
1133.53/1137.29 c #Conflicts: 835000 | #Constraints: 24827
1133.53/1137.29 c #Conflicts: 836000 | #Constraints: 25827
1133.53/1137.29 c #Conflicts: 837000 | #Constraints: 26827
1133.53/1137.29 c #Conflicts: 838000 | #Constraints: 27827
1133.53/1137.29 c #Conflicts: 839000 | #Constraints: 28827
1133.53/1137.29 c #Conflicts: 840000 | #Constraints: 29827
1133.53/1137.29 c #Conflicts: 841000 | #Constraints: 30827
1133.53/1137.29 c #Conflicts: 842000 | #Constraints: 31827
1133.53/1137.29 c #Conflicts: 843000 | #Constraints: 32827
1133.53/1137.29 c #Conflicts: 844000 | #Constraints: 33827
1133.53/1137.29 c #Conflicts: 845000 | #Constraints: 34827
1133.53/1137.29 c #Conflicts: 846000 | #Constraints: 35827
1133.53/1137.29 c INPROCESSING
1133.53/1137.29 c GARBAGE COLLECT
1133.53/1137.29 c #Conflicts: 847000 | #Constraints: 18625
1133.53/1137.29 c #Conflicts: 848000 | #Constraints: 19625
1133.53/1137.29 c #Conflicts: 849000 | #Constraints: 20625
1133.53/1137.29 c #Conflicts: 850000 | #Constraints: 21625
1133.53/1137.29 c #Conflicts: 851000 | #Constraints: 22625
1133.53/1137.29 c #Conflicts: 852000 | #Constraints: 23625
1133.53/1137.29 c #Conflicts: 853000 | #Constraints: 24625
1133.53/1137.29 c #Conflicts: 854000 | #Constraints: 25625
1133.53/1137.29 c #Conflicts: 855000 | #Constraints: 26625
1133.53/1137.29 c #Conflicts: 856000 | #Constraints: 27625
1133.53/1137.29 c #Conflicts: 857000 | #Constraints: 28625
1133.53/1137.29 c #Conflicts: 858000 | #Constraints: 29625
1133.53/1137.29 c #Conflicts: 859000 | #Constraints: 30625
1133.53/1137.29 c #Conflicts: 860000 | #Constraints: 31625
1133.53/1137.29 c #Conflicts: 861000 | #Constraints: 32625
1133.53/1137.29 c #Conflicts: 862000 | #Constraints: 33625
1133.53/1137.29 c #Conflicts: 863000 | #Constraints: 34625
1133.53/1137.29 c #Conflicts: 864000 | #Constraints: 35625
1133.53/1137.29 c #Conflicts: 865000 | #Constraints: 36625
1133.53/1137.29 c INPROCESSING
1133.53/1137.29 c GARBAGE COLLECT
1133.53/1137.29 c #Conflicts: 866000 | #Constraints: 19226
1133.53/1137.29 c #Conflicts: 867000 | #Constraints: 20226
1133.53/1137.29 c #Conflicts: 868000 | #Constraints: 21226
1133.53/1137.29 c #Conflicts: 869000 | #Constraints: 22226
1133.53/1137.29 c #Conflicts: 870000 | #Constraints: 23226
1133.53/1137.29 c #Conflicts: 871000 | #Constraints: 24226
1133.53/1137.29 c #Conflicts: 872000 | #Constraints: 25226
1133.53/1137.29 c #Conflicts: 873000 | #Constraints: 26226
1133.53/1137.29 c #Conflicts: 874000 | #Constraints: 27226
1133.53/1137.29 c #Conflicts: 875000 | #Constraints: 28226
1133.53/1137.29 c #Conflicts: 876000 | #Constraints: 29226
1133.53/1137.29 c #Conflicts: 877000 | #Constraints: 30226
1133.53/1137.29 c #Conflicts: 878000 | #Constraints: 31226
1133.53/1137.29 c #Conflicts: 879000 | #Constraints: 32226
1133.53/1137.29 c #Conflicts: 880000 | #Constraints: 33226
1133.53/1137.29 c #Conflicts: 881000 | #Constraints: 34226
1133.53/1137.29 c #Conflicts: 882000 | #Constraints: 35226
1133.53/1137.29 c #Conflicts: 883000 | #Constraints: 36226
1133.53/1137.29 c #Conflicts: 884000 | #Constraints: 37226
1133.53/1137.29 c INPROCESSING
1133.53/1137.29 c GARBAGE COLLECT
1133.53/1137.29 c #Conflicts: 885000 | #Constraints: 19627
1133.53/1137.29 c #Conflicts: 886000 | #Constraints: 20627
1133.53/1137.29 c #Conflicts: 887000 | #Constraints: 21627
1133.53/1137.29 c #Conflicts: 888000 | #Constraints: 22627
1133.53/1137.29 c #Conflicts: 889000 | #Constraints: 23627
1133.53/1137.29 c #Conflicts: 890000 | #Constraints: 24627
1133.53/1137.29 c #Conflicts: 891000 | #Constraints: 25627
1133.53/1137.29 c #Conflicts: 892000 | #Constraints: 26627
1253.81/1257.80 c #Conflicts: 893000 | #Constraints: 27627
1253.81/1257.80 c #Conflicts: 894000 | #Constraints: 28627
1253.81/1257.80 c #Conflicts: 895000 | #Constraints: 29627
1253.81/1257.80 c #Conflicts: 896000 | #Constraints: 30627
1253.81/1257.80 c #Conflicts: 897000 | #Constraints: 31627
1253.81/1257.80 c #Conflicts: 898000 | #Constraints: 32627
1253.81/1257.80 c #Conflicts: 899000 | #Constraints: 33627
1253.81/1257.80 c #Conflicts: 900000 | #Constraints: 34627
1253.81/1257.80 c #Conflicts: 901000 | #Constraints: 35627
1253.81/1257.80 c #Conflicts: 902000 | #Constraints: 36627
1253.81/1257.80 c #Conflicts: 903000 | #Constraints: 37627
1253.81/1257.80 c INPROCESSING
1253.81/1257.80 c GARBAGE COLLECT
1253.81/1257.80 c #Conflicts: 904000 | #Constraints: 19826
1253.81/1257.80 c #Conflicts: 905000 | #Constraints: 20826
1253.81/1257.80 c #Conflicts: 906000 | #Constraints: 21826
1253.81/1257.80 c #Conflicts: 907000 | #Constraints: 22826
1253.81/1257.80 c #Conflicts: 908000 | #Constraints: 23826
1253.81/1257.80 c #Conflicts: 909000 | #Constraints: 24826
1253.81/1257.80 c #Conflicts: 910000 | #Constraints: 25826
1253.81/1257.80 c #Conflicts: 911000 | #Constraints: 26826
1253.81/1257.80 c #Conflicts: 912000 | #Constraints: 27826
1253.81/1257.80 c #Conflicts: 913000 | #Constraints: 28826
1253.81/1257.80 c #Conflicts: 914000 | #Constraints: 29826
1253.81/1257.80 c #Conflicts: 915000 | #Constraints: 30826
1253.81/1257.80 c #Conflicts: 916000 | #Constraints: 31826
1253.81/1257.80 c #Conflicts: 917000 | #Constraints: 32826
1253.81/1257.80 c #Conflicts: 918000 | #Constraints: 33826
1253.81/1257.80 c #Conflicts: 919000 | #Constraints: 34826
1253.81/1257.80 c #Conflicts: 920000 | #Constraints: 35826
1253.81/1257.80 c #Conflicts: 921000 | #Constraints: 36826
1253.81/1257.80 c #Conflicts: 922000 | #Constraints: 37826
1253.81/1257.80 c INPROCESSING
1253.81/1257.80 c GARBAGE COLLECT
1253.81/1257.80 c #Conflicts: 923000 | #Constraints: 19826
1253.81/1257.80 c #Conflicts: 924000 | #Constraints: 20826
1253.81/1257.80 c #Conflicts: 925000 | #Constraints: 21826
1253.81/1257.80 c #Conflicts: 926000 | #Constraints: 22826
1253.81/1257.80 c #Conflicts: 927000 | #Constraints: 23826
1253.81/1257.80 c #Conflicts: 928000 | #Constraints: 24826
1253.81/1257.80 c #Conflicts: 929000 | #Constraints: 25826
1253.81/1257.80 c #Conflicts: 930000 | #Constraints: 26826
1253.81/1257.80 c #Conflicts: 931000 | #Constraints: 27826
1253.81/1257.80 c #Conflicts: 932000 | #Constraints: 28826
1253.81/1257.80 c #Conflicts: 933000 | #Constraints: 29826
1253.81/1257.80 c #Conflicts: 934000 | #Constraints: 30826
1253.81/1257.80 c #Conflicts: 935000 | #Constraints: 31826
1253.81/1257.80 c #Conflicts: 936000 | #Constraints: 32826
1253.81/1257.80 c #Conflicts: 937000 | #Constraints: 33826
1253.81/1257.80 c #Conflicts: 938000 | #Constraints: 34826
1253.81/1257.80 c #Conflicts: 939000 | #Constraints: 35826
1253.81/1257.80 c #Conflicts: 940000 | #Constraints: 36826
1253.81/1257.80 c #Conflicts: 941000 | #Constraints: 37826
1253.81/1257.80 c INPROCESSING
1253.81/1257.80 c GARBAGE COLLECT
1253.81/1257.80 c #Conflicts: 942000 | #Constraints: 19627
1253.81/1257.80 c #Conflicts: 943000 | #Constraints: 20627
1253.81/1257.80 c #Conflicts: 944000 | #Constraints: 21627
1253.81/1257.80 c #Conflicts: 945000 | #Constraints: 22627
1253.81/1257.80 c #Conflicts: 946000 | #Constraints: 23627
1253.81/1257.80 c #Conflicts: 947000 | #Constraints: 24627
1253.81/1257.80 c #Conflicts: 948000 | #Constraints: 25627
1253.81/1257.80 c #Conflicts: 949000 | #Constraints: 26627
1253.81/1257.80 c #Conflicts: 950000 | #Constraints: 27627
1253.81/1257.80 c #Conflicts: 951000 | #Constraints: 28627
1253.81/1257.80 c #Conflicts: 952000 | #Constraints: 29627
1253.81/1257.80 c #Conflicts: 953000 | #Constraints: 30627
1253.81/1257.80 c #Conflicts: 954000 | #Constraints: 31627
1253.81/1257.80 c #Conflicts: 955000 | #Constraints: 32627
1253.81/1257.80 c #Conflicts: 956000 | #Constraints: 33627
1253.81/1257.80 c #Conflicts: 957000 | #Constraints: 34627
1253.81/1257.80 c #Conflicts: 958000 | #Constraints: 35627
1253.81/1257.80 c #Conflicts: 959000 | #Constraints: 36627
1253.81/1257.80 c #Conflicts: 960000 | #Constraints: 37627
1253.81/1257.80 c #Conflicts: 961000 | #Constraints: 38627
1253.81/1257.80 c INPROCESSING
1253.81/1257.80 c GARBAGE COLLECT
1253.81/1257.80 c #Conflicts: 962000 | #Constraints: 20227
1253.81/1257.80 c #Conflicts: 963000 | #Constraints: 21227
1253.81/1257.80 c #Conflicts: 964000 | #Constraints: 22227
1253.81/1257.80 c #Conflicts: 965000 | #Constraints: 23227
1253.81/1257.80 c #Conflicts: 966000 | #Constraints: 24227
1253.81/1257.80 c #Conflicts: 967000 | #Constraints: 25227
1253.81/1257.80 c #Conflicts: 968000 | #Constraints: 26227
1393.04/1397.43 c #Conflicts: 969000 | #Constraints: 27227
1393.04/1397.43 c #Conflicts: 970000 | #Constraints: 28227
1393.04/1397.43 c #Conflicts: 971000 | #Constraints: 29227
1393.04/1397.43 c #Conflicts: 972000 | #Constraints: 30227
1393.04/1397.43 c #Conflicts: 973000 | #Constraints: 31227
1393.04/1397.43 c #Conflicts: 974000 | #Constraints: 32227
1393.04/1397.43 c #Conflicts: 975000 | #Constraints: 33227
1393.04/1397.43 c #Conflicts: 976000 | #Constraints: 34227
1393.04/1397.43 c #Conflicts: 977000 | #Constraints: 35227
1393.04/1397.43 c #Conflicts: 978000 | #Constraints: 36227
1393.04/1397.43 c #Conflicts: 979000 | #Constraints: 37227
1393.04/1397.43 c #Conflicts: 980000 | #Constraints: 38227
1393.04/1397.43 c #Conflicts: 981000 | #Constraints: 39227
1393.04/1397.43 c INPROCESSING
1393.04/1397.43 c GARBAGE COLLECT
1393.04/1397.43 c #Conflicts: 982000 | #Constraints: 20627
1393.04/1397.43 c #Conflicts: 983000 | #Constraints: 21627
1393.04/1397.43 c #Conflicts: 984000 | #Constraints: 22627
1393.04/1397.43 c #Conflicts: 985000 | #Constraints: 23627
1393.04/1397.43 c #Conflicts: 986000 | #Constraints: 24627
1393.04/1397.43 c #Conflicts: 987000 | #Constraints: 25627
1393.04/1397.43 c #Conflicts: 988000 | #Constraints: 26627
1393.04/1397.43 c #Conflicts: 989000 | #Constraints: 27627
1393.04/1397.43 c #Conflicts: 990000 | #Constraints: 28627
1393.04/1397.43 c #Conflicts: 991000 | #Constraints: 29627
1393.04/1397.43 c #Conflicts: 992000 | #Constraints: 30627
1393.04/1397.43 c #Conflicts: 993000 | #Constraints: 31627
1393.04/1397.43 c #Conflicts: 994000 | #Constraints: 32627
1393.04/1397.43 c #Conflicts: 995000 | #Constraints: 33627
1393.04/1397.43 c #Conflicts: 996000 | #Constraints: 34627
1393.04/1397.43 c #Conflicts: 997000 | #Constraints: 35627
1393.04/1397.43 c #Conflicts: 998000 | #Constraints: 36627
1393.04/1397.43 c #Conflicts: 999000 | #Constraints: 37627
1393.04/1397.43 c #Conflicts: 1000000 | #Constraints: 38627
1393.04/1397.43 c #Conflicts: 1001000 | #Constraints: 39627
1393.04/1397.43 c INPROCESSING
1393.04/1397.43 c GARBAGE COLLECT
1393.04/1397.43 c #Conflicts: 1002000 | #Constraints: 20829
1393.04/1397.43 c #Conflicts: 1003000 | #Constraints: 21829
1393.04/1397.43 c #Conflicts: 1004000 | #Constraints: 22829
1393.04/1397.43 c #Conflicts: 1005000 | #Constraints: 23829
1393.04/1397.43 c #Conflicts: 1006000 | #Constraints: 24829
1393.04/1397.43 c #Conflicts: 1007000 | #Constraints: 25829
1393.04/1397.43 c #Conflicts: 1008000 | #Constraints: 26829
1393.04/1397.43 c #Conflicts: 1009000 | #Constraints: 27829
1393.04/1397.43 c #Conflicts: 1010000 | #Constraints: 28829
1393.04/1397.43 c #Conflicts: 1011000 | #Constraints: 29829
1393.04/1397.43 c #Conflicts: 1012000 | #Constraints: 30829
1393.04/1397.43 c #Conflicts: 1013000 | #Constraints: 31829
1393.04/1397.43 c #Conflicts: 1014000 | #Constraints: 32829
1393.04/1397.43 c #Conflicts: 1015000 | #Constraints: 33829
1393.04/1397.43 c #Conflicts: 1016000 | #Constraints: 34829
1393.04/1397.43 c #Conflicts: 1017000 | #Constraints: 35829
1393.04/1397.43 c #Conflicts: 1018000 | #Constraints: 36829
1393.04/1397.43 c #Conflicts: 1019000 | #Constraints: 37829
1393.04/1397.43 c #Conflicts: 1020000 | #Constraints: 38829
1393.04/1397.43 c #Conflicts: 1021000 | #Constraints: 39829
1393.04/1397.43 c INPROCESSING
1393.04/1397.43 c GARBAGE COLLECT
1393.04/1397.43 c #Conflicts: 1022000 | #Constraints: 20829
1393.04/1397.43 c #Conflicts: 1023000 | #Constraints: 21829
1393.04/1397.43 c #Conflicts: 1024000 | #Constraints: 22829
1393.04/1397.43 c #Conflicts: 1025000 | #Constraints: 23829
1393.04/1397.43 c #Conflicts: 1026000 | #Constraints: 24829
1393.04/1397.43 c #Conflicts: 1027000 | #Constraints: 25829
1393.04/1397.43 c #Conflicts: 1028000 | #Constraints: 26829
1393.04/1397.43 c #Conflicts: 1029000 | #Constraints: 27829
1393.04/1397.43 c #Conflicts: 1030000 | #Constraints: 28829
1393.04/1397.43 c #Conflicts: 1031000 | #Constraints: 29829
1393.04/1397.43 c #Conflicts: 1032000 | #Constraints: 30829
1393.04/1397.43 c #Conflicts: 1033000 | #Constraints: 31829
1393.04/1397.43 c #Conflicts: 1034000 | #Constraints: 32829
1393.04/1397.43 c #Conflicts: 1035000 | #Constraints: 33829
1393.04/1397.43 c #Conflicts: 1036000 | #Constraints: 34829
1393.04/1397.43 c #Conflicts: 1037000 | #Constraints: 35829
1393.04/1397.43 c #Conflicts: 1038000 | #Constraints: 36829
1393.04/1397.43 c #Conflicts: 1039000 | #Constraints: 37829
1393.04/1397.43 c #Conflicts: 1040000 | #Constraints: 38829
1393.04/1397.43 c #Conflicts: 1041000 | #Constraints: 39829
1393.04/1397.43 c INPROCESSING
1393.04/1397.43 c GARBAGE COLLECT
1393.04/1397.43 c #Conflicts: 1042000 | #Constraints: 20626
1393.04/1397.43 c #Conflicts: 1043000 | #Constraints: 21626
1393.04/1397.43 c #Conflicts: 1044000 | #Constraints: 22626
1536.66/1541.47 c #Conflicts: 1045000 | #Constraints: 23626
1536.66/1541.47 c #Conflicts: 1046000 | #Constraints: 24626
1536.66/1541.47 c #Conflicts: 1047000 | #Constraints: 25626
1536.66/1541.47 c #Conflicts: 1048000 | #Constraints: 26626
1536.66/1541.47 c #Conflicts: 1049000 | #Constraints: 27626
1536.66/1541.47 c #Conflicts: 1050000 | #Constraints: 28626
1536.66/1541.47 c #Conflicts: 1051000 | #Constraints: 29626
1536.66/1541.47 c #Conflicts: 1052000 | #Constraints: 30626
1536.66/1541.47 c #Conflicts: 1053000 | #Constraints: 31626
1536.66/1541.47 c #Conflicts: 1054000 | #Constraints: 32626
1536.66/1541.47 c #Conflicts: 1055000 | #Constraints: 33626
1536.66/1541.47 c #Conflicts: 1056000 | #Constraints: 34626
1536.66/1541.47 c #Conflicts: 1057000 | #Constraints: 35626
1536.66/1541.47 c #Conflicts: 1058000 | #Constraints: 36626
1536.66/1541.47 c #Conflicts: 1059000 | #Constraints: 37626
1536.66/1541.47 c #Conflicts: 1060000 | #Constraints: 38626
1536.66/1541.47 c #Conflicts: 1061000 | #Constraints: 39626
1536.66/1541.47 c #Conflicts: 1062000 | #Constraints: 40626
1536.66/1541.47 c INPROCESSING
1536.66/1541.47 c GARBAGE COLLECT
1536.66/1541.47 c #Conflicts: 1063000 | #Constraints: 21228
1536.66/1541.47 c #Conflicts: 1064000 | #Constraints: 22228
1536.66/1541.47 c #Conflicts: 1065000 | #Constraints: 23228
1536.66/1541.47 c #Conflicts: 1066000 | #Constraints: 24228
1536.66/1541.47 c #Conflicts: 1067000 | #Constraints: 25228
1536.66/1541.47 c #Conflicts: 1068000 | #Constraints: 26228
1536.66/1541.47 c #Conflicts: 1069000 | #Constraints: 27228
1536.66/1541.47 c #Conflicts: 1070000 | #Constraints: 28228
1536.66/1541.47 c #Conflicts: 1071000 | #Constraints: 29228
1536.66/1541.47 c #Conflicts: 1072000 | #Constraints: 30228
1536.66/1541.47 c #Conflicts: 1073000 | #Constraints: 31228
1536.66/1541.47 c #Conflicts: 1074000 | #Constraints: 32228
1536.66/1541.47 c #Conflicts: 1075000 | #Constraints: 33228
1536.66/1541.47 c #Conflicts: 1076000 | #Constraints: 34228
1536.66/1541.47 c #Conflicts: 1077000 | #Constraints: 35228
1536.66/1541.47 c #Conflicts: 1078000 | #Constraints: 36228
1536.66/1541.47 c #Conflicts: 1079000 | #Constraints: 37228
1536.66/1541.47 c #Conflicts: 1080000 | #Constraints: 38228
1536.66/1541.47 c #Conflicts: 1081000 | #Constraints: 39228
1536.66/1541.47 c #Conflicts: 1082000 | #Constraints: 40228
1536.66/1541.47 c #Conflicts: 1083000 | #Constraints: 41228
1536.66/1541.47 c INPROCESSING
1536.66/1541.47 c GARBAGE COLLECT
1536.66/1541.47 c #Conflicts: 1084000 | #Constraints: 21627
1536.66/1541.47 c #Conflicts: 1085000 | #Constraints: 22627
1536.66/1541.47 c #Conflicts: 1086000 | #Constraints: 23627
1536.66/1541.47 c #Conflicts: 1087000 | #Constraints: 24627
1536.66/1541.47 c #Conflicts: 1088000 | #Constraints: 25627
1536.66/1541.47 c #Conflicts: 1089000 | #Constraints: 26627
1536.66/1541.47 c #Conflicts: 1090000 | #Constraints: 27627
1536.66/1541.47 c #Conflicts: 1091000 | #Constraints: 28627
1536.66/1541.47 c #Conflicts: 1092000 | #Constraints: 29627
1536.66/1541.47 c #Conflicts: 1093000 | #Constraints: 30627
1536.66/1541.47 c #Conflicts: 1094000 | #Constraints: 31627
1536.66/1541.47 c #Conflicts: 1095000 | #Constraints: 32627
1536.66/1541.47 c #Conflicts: 1096000 | #Constraints: 33627
1536.66/1541.47 c #Conflicts: 1097000 | #Constraints: 34627
1536.66/1541.47 c #Conflicts: 1098000 | #Constraints: 35627
1536.66/1541.47 c #Conflicts: 1099000 | #Constraints: 36627
1536.66/1541.47 c #Conflicts: 1100000 | #Constraints: 37627
1536.66/1541.47 c #Conflicts: 1101000 | #Constraints: 38627
1536.66/1541.47 c #Conflicts: 1102000 | #Constraints: 39627
1536.66/1541.47 c #Conflicts: 1103000 | #Constraints: 40627
1536.66/1541.47 c #Conflicts: 1104000 | #Constraints: 41627
1536.66/1541.47 c INPROCESSING
1536.66/1541.47 c GARBAGE COLLECT
1536.66/1541.47 c #Conflicts: 1105000 | #Constraints: 21828
1536.66/1541.47 c #Conflicts: 1106000 | #Constraints: 22828
1536.66/1541.47 c #Conflicts: 1107000 | #Constraints: 23828
1536.66/1541.47 c #Conflicts: 1108000 | #Constraints: 24828
1536.66/1541.47 c #Conflicts: 1109000 | #Constraints: 25828
1536.66/1541.47 c #Conflicts: 1110000 | #Constraints: 26828
1536.66/1541.47 c #Conflicts: 1111000 | #Constraints: 27828
1536.66/1541.47 c #Conflicts: 1112000 | #Constraints: 28828
1536.66/1541.47 c #Conflicts: 1113000 | #Constraints: 29828
1536.66/1541.47 c #Conflicts: 1114000 | #Constraints: 30828
1536.66/1541.47 c #Conflicts: 1115000 | #Constraints: 31828
1536.66/1541.47 c #Conflicts: 1116000 | #Constraints: 32828
1536.66/1541.47 c #Conflicts: 1117000 | #Constraints: 33828
1536.66/1541.47 c #Conflicts: 1118000 | #Constraints: 34828
1536.66/1541.47 c #Conflicts: 1119000 | #Constraints: 35828
1536.66/1541.47 c #Conflicts: 1120000 | #Constraints: 36828
1536.66/1541.47 c #Conflicts: 1121000 | #Constraints: 37828
1668.31/1673.49 c #Conflicts: 1122000 | #Constraints: 38828
1668.31/1673.49 c #Conflicts: 1123000 | #Constraints: 39828
1668.31/1673.49 c #Conflicts: 1124000 | #Constraints: 40828
1668.31/1673.49 c #Conflicts: 1125000 | #Constraints: 41828
1668.31/1673.49 c INPROCESSING
1668.31/1673.49 c GARBAGE COLLECT
1668.31/1673.49 c #Conflicts: 1126000 | #Constraints: 21827
1668.31/1673.49 c #Conflicts: 1127000 | #Constraints: 22827
1668.31/1673.49 c #Conflicts: 1128000 | #Constraints: 23827
1668.31/1673.49 c #Conflicts: 1129000 | #Constraints: 24827
1668.31/1673.49 c #Conflicts: 1130000 | #Constraints: 25827
1668.31/1673.49 c #Conflicts: 1131000 | #Constraints: 26827
1668.31/1673.49 c #Conflicts: 1132000 | #Constraints: 27827
1668.31/1673.49 c #Conflicts: 1133000 | #Constraints: 28827
1668.31/1673.49 c #Conflicts: 1134000 | #Constraints: 29827
1668.31/1673.49 c #Conflicts: 1135000 | #Constraints: 30827
1668.31/1673.49 c #Conflicts: 1136000 | #Constraints: 31827
1668.31/1673.49 c #Conflicts: 1137000 | #Constraints: 32827
1668.31/1673.49 c #Conflicts: 1138000 | #Constraints: 33827
1668.31/1673.49 c #Conflicts: 1139000 | #Constraints: 34827
1668.31/1673.49 c #Conflicts: 1140000 | #Constraints: 35827
1668.31/1673.49 c #Conflicts: 1141000 | #Constraints: 36827
1668.31/1673.49 c #Conflicts: 1142000 | #Constraints: 37827
1668.31/1673.49 c #Conflicts: 1143000 | #Constraints: 38827
1668.31/1673.49 c #Conflicts: 1144000 | #Constraints: 39827
1668.31/1673.49 c #Conflicts: 1145000 | #Constraints: 40827
1668.31/1673.49 c #Conflicts: 1146000 | #Constraints: 41827
1668.31/1673.49 c INPROCESSING
1668.31/1673.49 c GARBAGE COLLECT
1668.31/1673.49 c #Conflicts: 1147000 | #Constraints: 21627
1668.31/1673.49 c #Conflicts: 1148000 | #Constraints: 22627
1668.31/1673.49 c #Conflicts: 1149000 | #Constraints: 23627
1668.31/1673.49 c #Conflicts: 1150000 | #Constraints: 24627
1668.31/1673.49 c #Conflicts: 1151000 | #Constraints: 25627
1668.31/1673.49 c #Conflicts: 1152000 | #Constraints: 26627
1668.31/1673.49 c #Conflicts: 1153000 | #Constraints: 27627
1668.31/1673.49 c #Conflicts: 1154000 | #Constraints: 28627
1668.31/1673.49 c #Conflicts: 1155000 | #Constraints: 29627
1668.31/1673.49 c #Conflicts: 1156000 | #Constraints: 30627
1668.31/1673.49 c #Conflicts: 1157000 | #Constraints: 31627
1668.31/1673.49 c #Conflicts: 1158000 | #Constraints: 32627
1668.31/1673.49 c #Conflicts: 1159000 | #Constraints: 33627
1668.31/1673.49 c #Conflicts: 1160000 | #Constraints: 34627
1668.31/1673.49 c #Conflicts: 1161000 | #Constraints: 35627
1668.31/1673.49 c #Conflicts: 1162000 | #Constraints: 36627
1668.31/1673.49 c #Conflicts: 1163000 | #Constraints: 37627
1668.31/1673.49 c #Conflicts: 1164000 | #Constraints: 38627
1668.31/1673.49 c #Conflicts: 1165000 | #Constraints: 39627
1668.31/1673.49 c #Conflicts: 1166000 | #Constraints: 40627
1668.31/1673.49 c #Conflicts: 1167000 | #Constraints: 41627
1668.31/1673.49 c #Conflicts: 1168000 | #Constraints: 42627
1668.31/1673.49 c INPROCESSING
1668.31/1673.49 c GARBAGE COLLECT
1668.31/1673.49 c #Conflicts: 1169000 | #Constraints: 22228
1668.31/1673.49 c #Conflicts: 1170000 | #Constraints: 23228
1668.31/1673.49 c #Conflicts: 1171000 | #Constraints: 24228
1668.31/1673.49 c #Conflicts: 1172000 | #Constraints: 25228
1668.31/1673.49 c #Conflicts: 1173000 | #Constraints: 26228
1668.31/1673.49 c #Conflicts: 1174000 | #Constraints: 27228
1668.31/1673.49 c #Conflicts: 1175000 | #Constraints: 28228
1668.31/1673.49 c #Conflicts: 1176000 | #Constraints: 29228
1668.31/1673.49 c #Conflicts: 1177000 | #Constraints: 30228
1668.31/1673.49 c #Conflicts: 1178000 | #Constraints: 31228
1668.31/1673.49 c #Conflicts: 1179000 | #Constraints: 32228
1668.31/1673.49 c #Conflicts: 1180000 | #Constraints: 33228
1668.31/1673.49 c #Conflicts: 1181000 | #Constraints: 34228
1668.31/1673.49 c #Conflicts: 1182000 | #Constraints: 35228
1668.31/1673.49 c #Conflicts: 1183000 | #Constraints: 36228
1668.31/1673.49 c #Conflicts: 1184000 | #Constraints: 37228
1668.31/1673.49 c #Conflicts: 1185000 | #Constraints: 38228
1668.31/1673.49 c #Conflicts: 1186000 | #Constraints: 39228
1668.31/1673.49 c #Conflicts: 1187000 | #Constraints: 40228
1668.31/1673.49 c #Conflicts: 1188000 | #Constraints: 41228
1668.31/1673.49 c #Conflicts: 1189000 | #Constraints: 42228
1668.31/1673.49 c #Conflicts: 1190000 | #Constraints: 43228
1668.31/1673.49 c INPROCESSING
1668.31/1673.49 c GARBAGE COLLECT
1668.31/1673.49 c #Conflicts: 1191000 | #Constraints: 22627
1668.31/1673.49 c #Conflicts: 1192000 | #Constraints: 23627
1668.31/1673.49 c #Conflicts: 1193000 | #Constraints: 24627
1668.31/1673.49 c #Conflicts: 1194000 | #Constraints: 25627
1668.31/1673.49 c #Conflicts: 1195000 | #Constraints: 26627
1668.31/1673.49 c #Conflicts: 1196000 | #Constraints: 27627
1668.31/1673.49 c #Conflicts: 1197000 | #Constraints: 28627
1808.55/1814.01 c #Conflicts: 1198000 | #Constraints: 29627
1808.55/1814.01 c #Conflicts: 1199000 | #Constraints: 30627
1808.55/1814.01 c #Conflicts: 1200000 | #Constraints: 31627
1808.55/1814.01 c #Conflicts: 1201000 | #Constraints: 32627
1808.55/1814.01 c #Conflicts: 1202000 | #Constraints: 33627
1808.55/1814.01 c #Conflicts: 1203000 | #Constraints: 34627
1808.55/1814.01 c #Conflicts: 1204000 | #Constraints: 35627
1808.55/1814.01 c #Conflicts: 1205000 | #Constraints: 36627
1808.55/1814.01 c #Conflicts: 1206000 | #Constraints: 37627
1808.55/1814.01 c #Conflicts: 1207000 | #Constraints: 38627
1808.55/1814.01 c #Conflicts: 1208000 | #Constraints: 39627
1808.55/1814.01 c #Conflicts: 1209000 | #Constraints: 40627
1808.55/1814.01 c #Conflicts: 1210000 | #Constraints: 41627
1808.55/1814.01 c #Conflicts: 1211000 | #Constraints: 42627
1808.55/1814.01 c #Conflicts: 1212000 | #Constraints: 43627
1808.55/1814.01 c INPROCESSING
1808.55/1814.01 c GARBAGE COLLECT
1808.55/1814.01 c #Conflicts: 1213000 | #Constraints: 22826
1808.55/1814.01 c #Conflicts: 1214000 | #Constraints: 23826
1808.55/1814.01 c #Conflicts: 1215000 | #Constraints: 24826
1808.55/1814.01 c #Conflicts: 1216000 | #Constraints: 25826
1808.55/1814.01 c #Conflicts: 1217000 | #Constraints: 26826
1808.55/1814.01 c #Conflicts: 1218000 | #Constraints: 27826
1808.55/1814.01 c #Conflicts: 1219000 | #Constraints: 28826
1808.55/1814.01 c #Conflicts: 1220000 | #Constraints: 29826
1808.55/1814.01 c #Conflicts: 1221000 | #Constraints: 30826
1808.55/1814.01 c #Conflicts: 1222000 | #Constraints: 31826
1808.55/1814.01 c #Conflicts: 1223000 | #Constraints: 32826
1808.55/1814.01 c #Conflicts: 1224000 | #Constraints: 33826
1808.55/1814.01 c #Conflicts: 1225000 | #Constraints: 34826
1808.55/1814.01 c #Conflicts: 1226000 | #Constraints: 35826
1808.55/1814.01 c #Conflicts: 1227000 | #Constraints: 36826
1808.55/1814.01 c #Conflicts: 1228000 | #Constraints: 37826
1808.55/1814.01 c #Conflicts: 1229000 | #Constraints: 38826
1808.55/1814.01 c #Conflicts: 1230000 | #Constraints: 39826
1808.55/1814.01 c #Conflicts: 1231000 | #Constraints: 40826
1808.55/1814.01 c #Conflicts: 1232000 | #Constraints: 41826
1808.55/1814.01 c #Conflicts: 1233000 | #Constraints: 42826
1808.55/1814.01 c #Conflicts: 1234000 | #Constraints: 43826
1808.55/1814.01 c INPROCESSING
1808.55/1814.01 c GARBAGE COLLECT
1808.55/1814.01 c #Conflicts: 1235000 | #Constraints: 22826
1808.55/1814.01 c #Conflicts: 1236000 | #Constraints: 23826
1808.55/1814.01 c #Conflicts: 1237000 | #Constraints: 24826
1808.55/1814.01 c #Conflicts: 1238000 | #Constraints: 25826
1808.55/1814.01 c #Conflicts: 1239000 | #Constraints: 26826
1808.55/1814.01 c #Conflicts: 1240000 | #Constraints: 27826
1808.55/1814.01 c #Conflicts: 1241000 | #Constraints: 28826
1808.55/1814.01 c #Conflicts: 1242000 | #Constraints: 29826
1808.55/1814.01 c #Conflicts: 1243000 | #Constraints: 30826
1808.55/1814.01 c #Conflicts: 1244000 | #Constraints: 31826
1808.55/1814.01 c #Conflicts: 1245000 | #Constraints: 32826
1808.55/1814.01 c #Conflicts: 1246000 | #Constraints: 33826
1808.55/1814.01 c #Conflicts: 1247000 | #Constraints: 34826
1808.55/1814.01 c #Conflicts: 1248000 | #Constraints: 35826
1808.55/1814.01 c #Conflicts: 1249000 | #Constraints: 36826
1808.55/1814.01 c #Conflicts: 1250000 | #Constraints: 37826
1808.55/1814.01 c #Conflicts: 1251000 | #Constraints: 38826
1808.55/1814.01 c #Conflicts: 1252000 | #Constraints: 39826
1808.55/1814.01 c #Conflicts: 1253000 | #Constraints: 40826
1808.55/1814.01 c #Conflicts: 1254000 | #Constraints: 41826
1808.55/1814.01 c #Conflicts: 1255000 | #Constraints: 42826
1808.55/1814.01 c #Conflicts: 1256000 | #Constraints: 43826
1808.55/1814.01 c INPROCESSING
1808.55/1814.01 c GARBAGE COLLECT
1808.55/1814.01 c #Conflicts: 1257000 | #Constraints: 22625
1808.55/1814.01 c #Conflicts: 1258000 | #Constraints: 23625
1808.55/1814.01 c #Conflicts: 1259000 | #Constraints: 24625
1808.55/1814.01 c #Conflicts: 1260000 | #Constraints: 25625
1808.55/1814.01 c #Conflicts: 1261000 | #Constraints: 26625
1808.55/1814.01 c #Conflicts: 1262000 | #Constraints: 27625
1808.55/1814.01 c #Conflicts: 1263000 | #Constraints: 28625
1808.55/1814.01 c #Conflicts: 1264000 | #Constraints: 29625
1808.55/1814.01 c #Conflicts: 1265000 | #Constraints: 30625
1808.55/1814.01 c #Conflicts: 1266000 | #Constraints: 31625
1808.55/1814.01 c #Conflicts: 1267000 | #Constraints: 32625
1808.55/1814.01 c #Conflicts: 1268000 | #Constraints: 33625
1808.55/1814.01 c #Conflicts: 1269000 | #Constraints: 34625
1808.55/1814.01 c #Conflicts: 1270000 | #Constraints: 35625
1808.55/1814.01 c #Conflicts: 1271000 | #Constraints: 36625
1808.55/1814.01 c #Conflicts: 1272000 | #Constraints: 37625
1808.55/1814.01 c #Conflicts: 1273000 | #Constraints: 38625
1808.55/1814.01 c #Conflicts: 1274000 | #Constraints: 39625
1954.98/1960.86 c #Conflicts: 1275000 | #Constraints: 40625
1954.98/1960.86 c #Conflicts: 1276000 | #Constraints: 41625
1954.98/1960.86 c #Conflicts: 1277000 | #Constraints: 42625
1954.98/1960.86 c #Conflicts: 1278000 | #Constraints: 43625
1954.98/1960.86 c #Conflicts: 1279000 | #Constraints: 44625
1954.98/1960.86 c INPROCESSING
1954.98/1960.86 c GARBAGE COLLECT
1954.98/1960.86 c #Conflicts: 1280000 | #Constraints: 23222
1954.98/1960.86 c #Conflicts: 1281000 | #Constraints: 24222
1954.98/1960.86 c #Conflicts: 1282000 | #Constraints: 25222
1954.98/1960.86 c #Conflicts: 1283000 | #Constraints: 26222
1954.98/1960.86 c #Conflicts: 1284000 | #Constraints: 27222
1954.98/1960.86 c #Conflicts: 1285000 | #Constraints: 28222
1954.98/1960.86 c #Conflicts: 1286000 | #Constraints: 29222
1954.98/1960.86 c #Conflicts: 1287000 | #Constraints: 30222
1954.98/1960.86 c #Conflicts: 1288000 | #Constraints: 31222
1954.98/1960.86 c #Conflicts: 1289000 | #Constraints: 32222
1954.98/1960.86 c #Conflicts: 1290000 | #Constraints: 33222
1954.98/1960.86 c #Conflicts: 1291000 | #Constraints: 34222
1954.98/1960.86 c #Conflicts: 1292000 | #Constraints: 35222
1954.98/1960.86 c #Conflicts: 1293000 | #Constraints: 36222
1954.98/1960.86 c #Conflicts: 1294000 | #Constraints: 37222
1954.98/1960.86 c #Conflicts: 1295000 | #Constraints: 38222
1954.98/1960.86 c #Conflicts: 1296000 | #Constraints: 39222
1954.98/1960.86 c #Conflicts: 1297000 | #Constraints: 40222
1954.98/1960.86 c #Conflicts: 1298000 | #Constraints: 41222
1954.98/1960.86 c #Conflicts: 1299000 | #Constraints: 42222
1954.98/1960.86 c #Conflicts: 1300000 | #Constraints: 43222
1954.98/1960.86 c #Conflicts: 1301000 | #Constraints: 44222
1954.98/1960.86 c #Conflicts: 1302000 | #Constraints: 45222
1954.98/1960.86 c INPROCESSING
1954.98/1960.86 c GARBAGE COLLECT
1954.98/1960.86 c #Conflicts: 1303000 | #Constraints: 23623
1954.98/1960.86 c #Conflicts: 1304000 | #Constraints: 24623
1954.98/1960.86 c #Conflicts: 1305000 | #Constraints: 25623
1954.98/1960.86 c #Conflicts: 1306000 | #Constraints: 26623
1954.98/1960.86 c #Conflicts: 1307000 | #Constraints: 27623
1954.98/1960.86 c #Conflicts: 1308000 | #Constraints: 28623
1954.98/1960.86 c #Conflicts: 1309000 | #Constraints: 29623
1954.98/1960.86 c #Conflicts: 1310000 | #Constraints: 30623
1954.98/1960.86 c #Conflicts: 1311000 | #Constraints: 31623
1954.98/1960.86 c #Conflicts: 1312000 | #Constraints: 32623
1954.98/1960.86 c #Conflicts: 1313000 | #Constraints: 33623
1954.98/1960.86 c #Conflicts: 1314000 | #Constraints: 34623
1954.98/1960.86 c #Conflicts: 1315000 | #Constraints: 35623
1954.98/1960.86 c #Conflicts: 1316000 | #Constraints: 36623
1954.98/1960.86 c #Conflicts: 1317000 | #Constraints: 37623
1954.98/1960.86 c #Conflicts: 1318000 | #Constraints: 38623
1954.98/1960.86 c #Conflicts: 1319000 | #Constraints: 39623
1954.98/1960.86 c #Conflicts: 1320000 | #Constraints: 40623
1954.98/1960.86 c #Conflicts: 1321000 | #Constraints: 41623
1954.98/1960.86 c #Conflicts: 1322000 | #Constraints: 42623
1954.98/1960.86 c #Conflicts: 1323000 | #Constraints: 43623
1954.98/1960.86 c #Conflicts: 1324000 | #Constraints: 44623
1954.98/1960.86 c #Conflicts: 1325000 | #Constraints: 45623
1954.98/1960.86 c INPROCESSING
1954.98/1960.86 c GARBAGE COLLECT
1954.98/1960.86 c #Conflicts: 1326000 | #Constraints: 23823
1954.98/1960.86 c #Conflicts: 1327000 | #Constraints: 24823
1954.98/1960.86 c #Conflicts: 1328000 | #Constraints: 25823
1954.98/1960.86 c #Conflicts: 1329000 | #Constraints: 26823
1954.98/1960.86 c #Conflicts: 1330000 | #Constraints: 27823
1954.98/1960.86 c #Conflicts: 1331000 | #Constraints: 28823
1954.98/1960.86 c #Conflicts: 1332000 | #Constraints: 29823
1954.98/1960.86 c #Conflicts: 1333000 | #Constraints: 30823
1954.98/1960.86 c #Conflicts: 1334000 | #Constraints: 31823
1954.98/1960.86 c #Conflicts: 1335000 | #Constraints: 32823
1954.98/1960.86 c #Conflicts: 1336000 | #Constraints: 33823
1954.98/1960.86 c #Conflicts: 1337000 | #Constraints: 34823
1954.98/1960.86 c #Conflicts: 1338000 | #Constraints: 35823
1954.98/1960.86 c #Conflicts: 1339000 | #Constraints: 36823
1954.98/1960.86 c #Conflicts: 1340000 | #Constraints: 37823
1954.98/1960.86 c #Conflicts: 1341000 | #Constraints: 38823
1954.98/1960.86 c #Conflicts: 1342000 | #Constraints: 39823
1954.98/1960.86 c #Conflicts: 1343000 | #Constraints: 40823
1954.98/1960.86 c #Conflicts: 1344000 | #Constraints: 41823
1954.98/1960.86 c #Conflicts: 1345000 | #Constraints: 42823
1954.98/1960.86 c #Conflicts: 1346000 | #Constraints: 43823
1954.98/1960.86 c #Conflicts: 1347000 | #Constraints: 44823
1954.98/1960.86 c #Conflicts: 1348000 | #Constraints: 45823
1954.98/1960.86 c INPROCESSING
1954.98/1960.86 c GARBAGE COLLECT
1954.98/1960.86 c #Conflicts: 1349000 | #Constraints: 23824
1954.98/1960.86 c #Conflicts: 1350000 | #Constraints: 24824
2101.22/2107.46 c #Conflicts: 1351000 | #Constraints: 25824
2101.22/2107.46 c #Conflicts: 1352000 | #Constraints: 26824
2101.22/2107.46 c #Conflicts: 1353000 | #Constraints: 27824
2101.22/2107.46 c #Conflicts: 1354000 | #Constraints: 28824
2101.22/2107.46 c #Conflicts: 1355000 | #Constraints: 29824
2101.22/2107.46 c #Conflicts: 1356000 | #Constraints: 30824
2101.22/2107.46 c #Conflicts: 1357000 | #Constraints: 31824
2101.22/2107.46 c #Conflicts: 1358000 | #Constraints: 32824
2101.22/2107.46 c #Conflicts: 1359000 | #Constraints: 33824
2101.22/2107.46 c #Conflicts: 1360000 | #Constraints: 34824
2101.22/2107.46 c #Conflicts: 1361000 | #Constraints: 35824
2101.22/2107.46 c #Conflicts: 1362000 | #Constraints: 36824
2101.22/2107.46 c #Conflicts: 1363000 | #Constraints: 37824
2101.22/2107.46 c #Conflicts: 1364000 | #Constraints: 38824
2101.22/2107.46 c #Conflicts: 1365000 | #Constraints: 39824
2101.22/2107.46 c #Conflicts: 1366000 | #Constraints: 40824
2101.22/2107.46 c #Conflicts: 1367000 | #Constraints: 41824
2101.22/2107.46 c #Conflicts: 1368000 | #Constraints: 42824
2101.22/2107.46 c #Conflicts: 1369000 | #Constraints: 43824
2101.22/2107.46 c #Conflicts: 1370000 | #Constraints: 44824
2101.22/2107.46 c #Conflicts: 1371000 | #Constraints: 45824
2101.22/2107.46 c INPROCESSING
2101.22/2107.46 c GARBAGE COLLECT
2101.22/2107.46 c #Conflicts: 1372000 | #Constraints: 23623
2101.22/2107.46 c #Conflicts: 1373000 | #Constraints: 24623
2101.22/2107.46 c #Conflicts: 1374000 | #Constraints: 25623
2101.22/2107.46 c #Conflicts: 1375000 | #Constraints: 26623
2101.22/2107.46 c #Conflicts: 1376000 | #Constraints: 27623
2101.22/2107.46 c #Conflicts: 1377000 | #Constraints: 28623
2101.22/2107.46 c #Conflicts: 1378000 | #Constraints: 29623
2101.22/2107.46 c #Conflicts: 1379000 | #Constraints: 30623
2101.22/2107.46 c #Conflicts: 1380000 | #Constraints: 31623
2101.22/2107.46 c #Conflicts: 1381000 | #Constraints: 32623
2101.22/2107.46 c #Conflicts: 1382000 | #Constraints: 33623
2101.22/2107.46 c #Conflicts: 1383000 | #Constraints: 34623
2101.22/2107.46 c #Conflicts: 1384000 | #Constraints: 35623
2101.22/2107.46 c #Conflicts: 1385000 | #Constraints: 36623
2101.22/2107.46 c #Conflicts: 1386000 | #Constraints: 37623
2101.22/2107.46 c #Conflicts: 1387000 | #Constraints: 38623
2101.22/2107.46 c #Conflicts: 1388000 | #Constraints: 39623
2101.22/2107.46 c #Conflicts: 1389000 | #Constraints: 40623
2101.22/2107.46 c #Conflicts: 1390000 | #Constraints: 41623
2101.22/2107.46 c #Conflicts: 1391000 | #Constraints: 42623
2101.22/2107.46 c #Conflicts: 1392000 | #Constraints: 43623
2101.22/2107.46 c #Conflicts: 1393000 | #Constraints: 44623
2101.22/2107.46 c #Conflicts: 1394000 | #Constraints: 45623
2101.22/2107.46 c #Conflicts: 1395000 | #Constraints: 46623
2101.22/2107.46 c INPROCESSING
2101.22/2107.46 c GARBAGE COLLECT
2101.22/2107.46 c #Conflicts: 1396000 | #Constraints: 24226
2101.22/2107.46 c #Conflicts: 1397000 | #Constraints: 25226
2101.22/2107.46 c #Conflicts: 1398000 | #Constraints: 26226
2101.22/2107.46 c #Conflicts: 1399000 | #Constraints: 27226
2101.22/2107.46 c #Conflicts: 1400000 | #Constraints: 28226
2101.22/2107.46 c #Conflicts: 1401000 | #Constraints: 29226
2101.22/2107.46 c #Conflicts: 1402000 | #Constraints: 30226
2101.22/2107.46 c #Conflicts: 1403000 | #Constraints: 31226
2101.22/2107.46 c #Conflicts: 1404000 | #Constraints: 32226
2101.22/2107.46 c #Conflicts: 1405000 | #Constraints: 33226
2101.22/2107.46 c #Conflicts: 1406000 | #Constraints: 34226
2101.22/2107.46 c #Conflicts: 1407000 | #Constraints: 35226
2101.22/2107.46 c #Conflicts: 1408000 | #Constraints: 36226
2101.22/2107.46 c #Conflicts: 1409000 | #Constraints: 37226
2101.22/2107.46 c #Conflicts: 1410000 | #Constraints: 38226
2101.22/2107.46 c #Conflicts: 1411000 | #Constraints: 39226
2101.22/2107.46 c #Conflicts: 1412000 | #Constraints: 40226
2101.22/2107.46 c #Conflicts: 1413000 | #Constraints: 41226
2101.22/2107.46 c #Conflicts: 1414000 | #Constraints: 42226
2101.22/2107.46 c #Conflicts: 1415000 | #Constraints: 43226
2101.22/2107.46 c #Conflicts: 1416000 | #Constraints: 44226
2101.22/2107.46 c #Conflicts: 1417000 | #Constraints: 45226
2101.22/2107.46 c #Conflicts: 1418000 | #Constraints: 46226
2101.22/2107.46 c #Conflicts: 1419000 | #Constraints: 47226
2101.22/2107.46 c INPROCESSING
2101.22/2107.46 c GARBAGE COLLECT
2101.22/2107.46 c #Conflicts: 1420000 | #Constraints: 24625
2101.22/2107.46 c #Conflicts: 1421000 | #Constraints: 25625
2101.22/2107.46 c #Conflicts: 1422000 | #Constraints: 26625
2101.22/2107.46 c #Conflicts: 1423000 | #Constraints: 27625
2101.22/2107.46 c #Conflicts: 1424000 | #Constraints: 28625
2101.22/2107.46 c #Conflicts: 1425000 | #Constraints: 29625
2101.22/2107.46 c #Conflicts: 1426000 | #Constraints: 30625
2101.22/2107.46 c #Conflicts: 1427000 | #Constraints: 31625
2255.93/2262.50 c #Conflicts: 1428000 | #Constraints: 32625
2255.93/2262.50 c #Conflicts: 1429000 | #Constraints: 33625
2255.93/2262.50 c #Conflicts: 1430000 | #Constraints: 34625
2255.93/2262.50 c #Conflicts: 1431000 | #Constraints: 35625
2255.93/2262.50 c #Conflicts: 1432000 | #Constraints: 36625
2255.93/2262.50 c #Conflicts: 1433000 | #Constraints: 37625
2255.93/2262.50 c #Conflicts: 1434000 | #Constraints: 38625
2255.93/2262.50 c #Conflicts: 1435000 | #Constraints: 39625
2255.93/2262.50 c #Conflicts: 1436000 | #Constraints: 40625
2255.93/2262.50 c #Conflicts: 1437000 | #Constraints: 41625
2255.93/2262.50 c #Conflicts: 1438000 | #Constraints: 42625
2255.93/2262.50 c #Conflicts: 1439000 | #Constraints: 43625
2255.93/2262.50 c #Conflicts: 1440000 | #Constraints: 44625
2255.93/2262.50 c #Conflicts: 1441000 | #Constraints: 45625
2255.93/2262.50 c #Conflicts: 1442000 | #Constraints: 46625
2255.93/2262.50 c #Conflicts: 1443000 | #Constraints: 47625
2255.93/2262.50 c INPROCESSING
2255.93/2262.50 c GARBAGE COLLECT
2255.93/2262.50 c #Conflicts: 1444000 | #Constraints: 24829
2255.93/2262.50 c #Conflicts: 1445000 | #Constraints: 25829
2255.93/2262.50 c #Conflicts: 1446000 | #Constraints: 26829
2255.93/2262.50 c #Conflicts: 1447000 | #Constraints: 27829
2255.93/2262.50 c #Conflicts: 1448000 | #Constraints: 28829
2255.93/2262.50 c #Conflicts: 1449000 | #Constraints: 29829
2255.93/2262.50 c #Conflicts: 1450000 | #Constraints: 30829
2255.93/2262.50 c #Conflicts: 1451000 | #Constraints: 31829
2255.93/2262.50 c #Conflicts: 1452000 | #Constraints: 32829
2255.93/2262.50 c #Conflicts: 1453000 | #Constraints: 33829
2255.93/2262.50 c #Conflicts: 1454000 | #Constraints: 34829
2255.93/2262.50 c #Conflicts: 1455000 | #Constraints: 35829
2255.93/2262.50 c #Conflicts: 1456000 | #Constraints: 36829
2255.93/2262.50 c #Conflicts: 1457000 | #Constraints: 37829
2255.93/2262.50 c #Conflicts: 1458000 | #Constraints: 38829
2255.93/2262.50 c #Conflicts: 1459000 | #Constraints: 39829
2255.93/2262.50 c #Conflicts: 1460000 | #Constraints: 40829
2255.93/2262.50 c #Conflicts: 1461000 | #Constraints: 41829
2255.93/2262.50 c #Conflicts: 1462000 | #Constraints: 42829
2255.93/2262.50 c #Conflicts: 1463000 | #Constraints: 43829
2255.93/2262.50 c #Conflicts: 1464000 | #Constraints: 44829
2255.93/2262.50 c #Conflicts: 1465000 | #Constraints: 45829
2255.93/2262.50 c #Conflicts: 1466000 | #Constraints: 46829
2255.93/2262.50 c #Conflicts: 1467000 | #Constraints: 47829
2255.93/2262.50 c INPROCESSING
2255.93/2262.50 c GARBAGE COLLECT
2255.93/2262.50 c #Conflicts: 1468000 | #Constraints: 24828
2255.93/2262.50 c #Conflicts: 1469000 | #Constraints: 25828
2255.93/2262.50 c #Conflicts: 1470000 | #Constraints: 26828
2255.93/2262.50 c #Conflicts: 1471000 | #Constraints: 27828
2255.93/2262.50 c #Conflicts: 1472000 | #Constraints: 28828
2255.93/2262.50 c #Conflicts: 1473000 | #Constraints: 29828
2255.93/2262.50 c #Conflicts: 1474000 | #Constraints: 30828
2255.93/2262.50 c #Conflicts: 1475000 | #Constraints: 31828
2255.93/2262.50 c #Conflicts: 1476000 | #Constraints: 32828
2255.93/2262.50 c #Conflicts: 1477000 | #Constraints: 33828
2255.93/2262.50 c #Conflicts: 1478000 | #Constraints: 34828
2255.93/2262.50 c #Conflicts: 1479000 | #Constraints: 35828
2255.93/2262.50 c #Conflicts: 1480000 | #Constraints: 36828
2255.93/2262.50 c #Conflicts: 1481000 | #Constraints: 37828
2255.93/2262.50 c #Conflicts: 1482000 | #Constraints: 38828
2255.93/2262.50 c #Conflicts: 1483000 | #Constraints: 39828
2255.93/2262.50 c #Conflicts: 1484000 | #Constraints: 40828
2255.93/2262.50 c #Conflicts: 1485000 | #Constraints: 41828
2255.93/2262.50 c #Conflicts: 1486000 | #Constraints: 42828
2255.93/2262.50 c #Conflicts: 1487000 | #Constraints: 43828
2255.93/2262.50 c #Conflicts: 1488000 | #Constraints: 44828
2255.93/2262.50 c #Conflicts: 1489000 | #Constraints: 45828
2255.93/2262.50 c #Conflicts: 1490000 | #Constraints: 46828
2255.93/2262.50 c #Conflicts: 1491000 | #Constraints: 47828
2255.93/2262.50 c INPROCESSING
2255.93/2262.50 c GARBAGE COLLECT
2255.93/2262.50 c #Conflicts: 1492000 | #Constraints: 24628
2255.93/2262.50 c #Conflicts: 1493000 | #Constraints: 25628
2255.93/2262.50 c #Conflicts: 1494000 | #Constraints: 26628
2255.93/2262.50 c #Conflicts: 1495000 | #Constraints: 27628
2255.93/2262.50 c #Conflicts: 1496000 | #Constraints: 28628
2255.93/2262.50 c #Conflicts: 1497000 | #Constraints: 29628
2255.93/2262.50 c #Conflicts: 1498000 | #Constraints: 30628
2255.93/2262.50 c #Conflicts: 1499000 | #Constraints: 31628
2255.93/2262.50 c #Conflicts: 1500000 | #Constraints: 32628
2255.93/2262.50 c #Conflicts: 1501000 | #Constraints: 33628
2255.93/2262.50 c #Conflicts: 1502000 | #Constraints: 34628
2255.93/2262.50 c #Conflicts: 1503000 | #Constraints: 35628
2255.93/2262.50 c #Conflicts: 1504000 | #Constraints: 36628
2418.32/2425.31 c #Conflicts: 1505000 | #Constraints: 37628
2418.32/2425.31 c #Conflicts: 1506000 | #Constraints: 38628
2418.32/2425.31 c #Conflicts: 1507000 | #Constraints: 39628
2418.32/2425.31 c #Conflicts: 1508000 | #Constraints: 40628
2418.32/2425.31 c #Conflicts: 1509000 | #Constraints: 41628
2418.32/2425.31 c #Conflicts: 1510000 | #Constraints: 42628
2418.32/2425.31 c #Conflicts: 1511000 | #Constraints: 43628
2418.32/2425.31 c #Conflicts: 1512000 | #Constraints: 44628
2418.32/2425.31 c #Conflicts: 1513000 | #Constraints: 45628
2418.32/2425.31 c #Conflicts: 1514000 | #Constraints: 46628
2418.32/2425.31 c #Conflicts: 1515000 | #Constraints: 47628
2418.32/2425.31 c #Conflicts: 1516000 | #Constraints: 48628
2418.32/2425.31 c INPROCESSING
2418.32/2425.31 c GARBAGE COLLECT
2418.32/2425.31 c #Conflicts: 1517000 | #Constraints: 25226
2418.32/2425.31 c #Conflicts: 1518000 | #Constraints: 26226
2418.32/2425.31 c #Conflicts: 1519000 | #Constraints: 27226
2418.32/2425.31 c #Conflicts: 1520000 | #Constraints: 28226
2418.32/2425.31 c #Conflicts: 1521000 | #Constraints: 29226
2418.32/2425.31 c #Conflicts: 1522000 | #Constraints: 30226
2418.32/2425.31 c #Conflicts: 1523000 | #Constraints: 31226
2418.32/2425.31 c #Conflicts: 1524000 | #Constraints: 32226
2418.32/2425.31 c #Conflicts: 1525000 | #Constraints: 33226
2418.32/2425.31 c #Conflicts: 1526000 | #Constraints: 34226
2418.32/2425.31 c #Conflicts: 1527000 | #Constraints: 35226
2418.32/2425.31 c #Conflicts: 1528000 | #Constraints: 36226
2418.32/2425.31 c #Conflicts: 1529000 | #Constraints: 37226
2418.32/2425.31 c #Conflicts: 1530000 | #Constraints: 38226
2418.32/2425.31 c #Conflicts: 1531000 | #Constraints: 39226
2418.32/2425.31 c #Conflicts: 1532000 | #Constraints: 40226
2418.32/2425.31 c #Conflicts: 1533000 | #Constraints: 41226
2418.32/2425.31 c #Conflicts: 1534000 | #Constraints: 42226
2418.32/2425.31 c #Conflicts: 1535000 | #Constraints: 43226
2418.32/2425.31 c #Conflicts: 1536000 | #Constraints: 44226
2418.32/2425.31 c #Conflicts: 1537000 | #Constraints: 45226
2418.32/2425.31 c #Conflicts: 1538000 | #Constraints: 46226
2418.32/2425.31 c #Conflicts: 1539000 | #Constraints: 47226
2418.32/2425.31 c #Conflicts: 1540000 | #Constraints: 48226
2418.32/2425.31 c #Conflicts: 1541000 | #Constraints: 49226
2418.32/2425.31 c INPROCESSING
2418.32/2425.31 c GARBAGE COLLECT
2418.32/2425.31 c #Conflicts: 1542000 | #Constraints: 25626
2418.32/2425.31 c #Conflicts: 1543000 | #Constraints: 26626
2418.32/2425.31 c #Conflicts: 1544000 | #Constraints: 27626
2418.32/2425.31 c #Conflicts: 1545000 | #Constraints: 28626
2418.32/2425.31 c #Conflicts: 1546000 | #Constraints: 29626
2418.32/2425.31 c #Conflicts: 1547000 | #Constraints: 30626
2418.32/2425.31 c #Conflicts: 1548000 | #Constraints: 31626
2418.32/2425.31 c #Conflicts: 1549000 | #Constraints: 32626
2418.32/2425.31 c #Conflicts: 1550000 | #Constraints: 33626
2418.32/2425.31 c #Conflicts: 1551000 | #Constraints: 34626
2418.32/2425.31 c #Conflicts: 1552000 | #Constraints: 35626
2418.32/2425.31 c #Conflicts: 1553000 | #Constraints: 36626
2418.32/2425.31 c #Conflicts: 1554000 | #Constraints: 37626
2418.32/2425.31 c #Conflicts: 1555000 | #Constraints: 38626
2418.32/2425.31 c #Conflicts: 1556000 | #Constraints: 39626
2418.32/2425.31 c #Conflicts: 1557000 | #Constraints: 40626
2418.32/2425.31 c #Conflicts: 1558000 | #Constraints: 41626
2418.32/2425.31 c #Conflicts: 1559000 | #Constraints: 42626
2418.32/2425.31 c #Conflicts: 1560000 | #Constraints: 43626
2418.32/2425.31 c #Conflicts: 1561000 | #Constraints: 44626
2418.32/2425.31 c #Conflicts: 1562000 | #Constraints: 45626
2418.32/2425.31 c #Conflicts: 1563000 | #Constraints: 46626
2418.32/2425.31 c #Conflicts: 1564000 | #Constraints: 47626
2418.32/2425.31 c #Conflicts: 1565000 | #Constraints: 48626
2418.32/2425.31 c #Conflicts: 1566000 | #Constraints: 49626
2418.32/2425.31 c INPROCESSING
2418.32/2425.31 c GARBAGE COLLECT
2418.32/2425.31 c #Conflicts: 1567000 | #Constraints: 25827
2418.32/2425.31 c #Conflicts: 1568000 | #Constraints: 26827
2418.32/2425.31 c #Conflicts: 1569000 | #Constraints: 27827
2418.32/2425.31 c #Conflicts: 1570000 | #Constraints: 28827
2418.32/2425.31 c #Conflicts: 1571000 | #Constraints: 29827
2418.32/2425.31 c #Conflicts: 1572000 | #Constraints: 30827
2418.32/2425.31 c #Conflicts: 1573000 | #Constraints: 31827
2418.32/2425.31 c #Conflicts: 1574000 | #Constraints: 32827
2418.32/2425.31 c #Conflicts: 1575000 | #Constraints: 33827
2418.32/2425.31 c #Conflicts: 1576000 | #Constraints: 34827
2418.32/2425.31 c #Conflicts: 1577000 | #Constraints: 35827
2418.32/2425.31 c #Conflicts: 1578000 | #Constraints: 36827
2418.32/2425.31 c #Conflicts: 1579000 | #Constraints: 37827
2418.32/2425.31 c #Conflicts: 1580000 | #Constraints: 38827
2418.32/2425.31 c #Conflicts: 1581000 | #Constraints: 39827
2598.18/2605.62 c #Conflicts: 1582000 | #Constraints: 40827
2598.18/2605.62 c #Conflicts: 1583000 | #Constraints: 41827
2598.18/2605.62 c #Conflicts: 1584000 | #Constraints: 42827
2598.18/2605.62 c #Conflicts: 1585000 | #Constraints: 43827
2598.18/2605.62 c #Conflicts: 1586000 | #Constraints: 44827
2598.18/2605.62 c #Conflicts: 1587000 | #Constraints: 45827
2598.18/2605.62 c #Conflicts: 1588000 | #Constraints: 46827
2598.18/2605.62 c #Conflicts: 1589000 | #Constraints: 47827
2598.18/2605.62 c #Conflicts: 1590000 | #Constraints: 48827
2598.18/2605.62 c #Conflicts: 1591000 | #Constraints: 49827
2598.18/2605.62 c INPROCESSING
2598.18/2605.62 c GARBAGE COLLECT
2598.18/2605.62 c #Conflicts: 1592000 | #Constraints: 25825
2598.18/2605.62 c #Conflicts: 1593000 | #Constraints: 26825
2598.18/2605.62 c #Conflicts: 1594000 | #Constraints: 27825
2598.18/2605.62 c #Conflicts: 1595000 | #Constraints: 28825
2598.18/2605.62 c #Conflicts: 1596000 | #Constraints: 29825
2598.18/2605.62 c #Conflicts: 1597000 | #Constraints: 30825
2598.18/2605.62 c #Conflicts: 1598000 | #Constraints: 31825
2598.18/2605.62 c #Conflicts: 1599000 | #Constraints: 32825
2598.18/2605.62 c #Conflicts: 1600000 | #Constraints: 33825
2598.18/2605.62 c #Conflicts: 1601000 | #Constraints: 34825
2598.18/2605.62 c #Conflicts: 1602000 | #Constraints: 35825
2598.18/2605.62 c #Conflicts: 1603000 | #Constraints: 36825
2598.18/2605.62 c #Conflicts: 1604000 | #Constraints: 37825
2598.18/2605.62 c #Conflicts: 1605000 | #Constraints: 38825
2598.18/2605.62 c #Conflicts: 1606000 | #Constraints: 39825
2598.18/2605.62 c #Conflicts: 1607000 | #Constraints: 40825
2598.18/2605.62 c #Conflicts: 1608000 | #Constraints: 41825
2598.18/2605.62 c #Conflicts: 1609000 | #Constraints: 42825
2598.18/2605.62 c #Conflicts: 1610000 | #Constraints: 43825
2598.18/2605.62 c #Conflicts: 1611000 | #Constraints: 44825
2598.18/2605.62 c #Conflicts: 1612000 | #Constraints: 45825
2598.18/2605.62 c #Conflicts: 1613000 | #Constraints: 46825
2598.18/2605.62 c #Conflicts: 1614000 | #Constraints: 47825
2598.18/2605.62 c #Conflicts: 1615000 | #Constraints: 48825
2598.18/2605.62 c #Conflicts: 1616000 | #Constraints: 49825
2598.18/2605.62 c INPROCESSING
2598.18/2605.62 c GARBAGE COLLECT
2598.18/2605.62 c #Conflicts: 1617000 | #Constraints: 25625
2598.18/2605.62 c #Conflicts: 1618000 | #Constraints: 26625
2598.18/2605.62 c #Conflicts: 1619000 | #Constraints: 27625
2598.18/2605.62 c #Conflicts: 1620000 | #Constraints: 28625
2598.18/2605.62 c #Conflicts: 1621000 | #Constraints: 29625
2598.18/2605.62 c #Conflicts: 1622000 | #Constraints: 30625
2598.18/2605.62 c #Conflicts: 1623000 | #Constraints: 31625
2598.18/2605.62 c #Conflicts: 1624000 | #Constraints: 32625
2598.18/2605.62 c #Conflicts: 1625000 | #Constraints: 33625
2598.18/2605.62 c #Conflicts: 1626000 | #Constraints: 34625
2598.18/2605.62 c #Conflicts: 1627000 | #Constraints: 35625
2598.18/2605.62 c #Conflicts: 1628000 | #Constraints: 36625
2598.18/2605.62 c #Conflicts: 1629000 | #Constraints: 37625
2598.18/2605.62 c #Conflicts: 1630000 | #Constraints: 38625
2598.18/2605.62 c #Conflicts: 1631000 | #Constraints: 39625
2598.18/2605.62 c #Conflicts: 1632000 | #Constraints: 40625
2598.18/2605.62 c #Conflicts: 1633000 | #Constraints: 41625
2598.18/2605.62 c #Conflicts: 1634000 | #Constraints: 42625
2598.18/2605.62 c #Conflicts: 1635000 | #Constraints: 43625
2598.18/2605.62 c #Conflicts: 1636000 | #Constraints: 44625
2598.18/2605.62 c #Conflicts: 1637000 | #Constraints: 45625
2598.18/2605.62 c #Conflicts: 1638000 | #Constraints: 46625
2598.18/2605.62 c #Conflicts: 1639000 | #Constraints: 47625
2598.18/2605.62 c #Conflicts: 1640000 | #Constraints: 48625
2598.18/2605.62 c #Conflicts: 1641000 | #Constraints: 49625
2598.18/2605.62 c #Conflicts: 1642000 | #Constraints: 50625
2598.18/2605.62 c INPROCESSING
2598.18/2605.62 c GARBAGE COLLECT
2598.18/2605.62 c #Conflicts: 1643000 | #Constraints: 26223
2598.18/2605.62 c #Conflicts: 1644000 | #Constraints: 27223
2598.18/2605.62 c #Conflicts: 1645000 | #Constraints: 28223
2598.18/2605.62 c #Conflicts: 1646000 | #Constraints: 29223
2598.18/2605.62 c #Conflicts: 1647000 | #Constraints: 30223
2598.18/2605.62 c #Conflicts: 1648000 | #Constraints: 31223
2598.18/2605.62 c #Conflicts: 1649000 | #Constraints: 32223
2598.18/2605.62 c #Conflicts: 1650000 | #Constraints: 33223
2598.18/2605.62 c #Conflicts: 1651000 | #Constraints: 34223
2598.18/2605.62 c #Conflicts: 1652000 | #Constraints: 35223
2598.18/2605.62 c #Conflicts: 1653000 | #Constraints: 36223
2598.18/2605.62 c #Conflicts: 1654000 | #Constraints: 37223
2598.18/2605.62 c #Conflicts: 1655000 | #Constraints: 38223
2598.18/2605.62 c #Conflicts: 1656000 | #Constraints: 39223
2598.18/2605.62 c #Conflicts: 1657000 | #Constraints: 40223
2598.18/2605.62 c #Conflicts: 1658000 | #Constraints: 41223
2766.27/2774.18 c #Conflicts: 1659000 | #Constraints: 42223
2766.27/2774.18 c #Conflicts: 1660000 | #Constraints: 43223
2766.27/2774.18 c #Conflicts: 1661000 | #Constraints: 44223
2766.27/2774.18 c #Conflicts: 1662000 | #Constraints: 45223
2766.27/2774.18 c #Conflicts: 1663000 | #Constraints: 46223
2766.27/2774.18 c #Conflicts: 1664000 | #Constraints: 47223
2766.27/2774.18 c #Conflicts: 1665000 | #Constraints: 48223
2766.27/2774.18 c #Conflicts: 1666000 | #Constraints: 49223
2766.27/2774.18 c #Conflicts: 1667000 | #Constraints: 50223
2766.27/2774.18 c #Conflicts: 1668000 | #Constraints: 51223
2766.27/2774.18 c INPROCESSING
2766.27/2774.18 c GARBAGE COLLECT
2766.27/2774.18 c #Conflicts: 1669000 | #Constraints: 26623
2766.27/2774.18 c #Conflicts: 1670000 | #Constraints: 27623
2766.27/2774.18 c #Conflicts: 1671000 | #Constraints: 28623
2766.27/2774.18 c #Conflicts: 1672000 | #Constraints: 29623
2766.27/2774.18 c #Conflicts: 1673000 | #Constraints: 30623
2766.27/2774.18 c #Conflicts: 1674000 | #Constraints: 31623
2766.27/2774.18 c #Conflicts: 1675000 | #Constraints: 32623
2766.27/2774.18 c #Conflicts: 1676000 | #Constraints: 33623
2766.27/2774.18 c #Conflicts: 1677000 | #Constraints: 34623
2766.27/2774.18 c #Conflicts: 1678000 | #Constraints: 35623
2766.27/2774.18 c #Conflicts: 1679000 | #Constraints: 36623
2766.27/2774.18 c #Conflicts: 1680000 | #Constraints: 37623
2766.27/2774.18 c #Conflicts: 1681000 | #Constraints: 38623
2766.27/2774.18 c #Conflicts: 1682000 | #Constraints: 39623
2766.27/2774.18 c #Conflicts: 1683000 | #Constraints: 40623
2766.27/2774.18 c #Conflicts: 1684000 | #Constraints: 41623
2766.27/2774.18 c #Conflicts: 1685000 | #Constraints: 42623
2766.27/2774.18 c #Conflicts: 1686000 | #Constraints: 43623
2766.27/2774.18 c #Conflicts: 1687000 | #Constraints: 44623
2766.27/2774.18 c #Conflicts: 1688000 | #Constraints: 45623
2766.27/2774.18 c #Conflicts: 1689000 | #Constraints: 46623
2766.27/2774.18 c #Conflicts: 1690000 | #Constraints: 47623
2766.27/2774.18 c #Conflicts: 1691000 | #Constraints: 48623
2766.27/2774.18 c #Conflicts: 1692000 | #Constraints: 49623
2766.27/2774.18 c #Conflicts: 1693000 | #Constraints: 50623
2766.27/2774.18 c #Conflicts: 1694000 | #Constraints: 51623
2766.27/2774.18 c INPROCESSING
2766.27/2774.18 c GARBAGE COLLECT
2766.27/2774.18 c #Conflicts: 1695000 | #Constraints: 26820
2766.27/2774.18 c #Conflicts: 1696000 | #Constraints: 27820
2766.27/2774.18 c #Conflicts: 1697000 | #Constraints: 28820
2766.27/2774.18 c #Conflicts: 1698000 | #Constraints: 29820
2766.27/2774.18 c #Conflicts: 1699000 | #Constraints: 30820
2766.27/2774.18 c #Conflicts: 1700000 | #Constraints: 31820
2766.27/2774.18 c #Conflicts: 1701000 | #Constraints: 32820
2766.27/2774.18 c #Conflicts: 1702000 | #Constraints: 33820
2766.27/2774.18 c #Conflicts: 1703000 | #Constraints: 34820
2766.27/2774.18 c #Conflicts: 1704000 | #Constraints: 35820
2766.27/2774.18 c #Conflicts: 1705000 | #Constraints: 36820
2766.27/2774.18 c #Conflicts: 1706000 | #Constraints: 37820
2766.27/2774.18 c #Conflicts: 1707000 | #Constraints: 38820
2766.27/2774.18 c #Conflicts: 1708000 | #Constraints: 39820
2766.27/2774.18 c #Conflicts: 1709000 | #Constraints: 40820
2766.27/2774.18 c #Conflicts: 1710000 | #Constraints: 41820
2766.27/2774.18 c #Conflicts: 1711000 | #Constraints: 42820
2766.27/2774.18 c #Conflicts: 1712000 | #Constraints: 43820
2766.27/2774.18 c #Conflicts: 1713000 | #Constraints: 44820
2766.27/2774.18 c #Conflicts: 1714000 | #Constraints: 45820
2766.27/2774.18 c #Conflicts: 1715000 | #Constraints: 46820
2766.27/2774.18 c #Conflicts: 1716000 | #Constraints: 47820
2766.27/2774.18 c #Conflicts: 1717000 | #Constraints: 48820
2766.27/2774.18 c #Conflicts: 1718000 | #Constraints: 49820
2766.27/2774.18 c #Conflicts: 1719000 | #Constraints: 50820
2766.27/2774.18 c #Conflicts: 1720000 | #Constraints: 51820
2766.27/2774.18 c INPROCESSING
2766.27/2774.18 c GARBAGE COLLECT
2766.27/2774.18 c #Conflicts: 1721000 | #Constraints: 26821
2766.27/2774.18 c #Conflicts: 1722000 | #Constraints: 27821
2766.27/2774.18 c #Conflicts: 1723000 | #Constraints: 28821
2766.27/2774.18 c #Conflicts: 1724000 | #Constraints: 29821
2766.27/2774.18 c #Conflicts: 1725000 | #Constraints: 30821
2766.27/2774.18 c #Conflicts: 1726000 | #Constraints: 31821
2766.27/2774.18 c #Conflicts: 1727000 | #Constraints: 32821
2766.27/2774.18 c #Conflicts: 1728000 | #Constraints: 33821
2766.27/2774.18 c #Conflicts: 1729000 | #Constraints: 34821
2766.27/2774.18 c #Conflicts: 1730000 | #Constraints: 35821
2766.27/2774.18 c #Conflicts: 1731000 | #Constraints: 36821
2766.27/2774.18 c #Conflicts: 1732000 | #Constraints: 37821
2766.27/2774.18 c #Conflicts: 1733000 | #Constraints: 38821
2766.27/2774.18 c #Conflicts: 1734000 | #Constraints: 39821
2766.27/2774.18 c #Conflicts: 1735000 | #Constraints: 40821
2938.93/2947.23 c #Conflicts: 1736000 | #Constraints: 41821
2938.93/2947.23 c #Conflicts: 1737000 | #Constraints: 42821
2938.93/2947.23 c #Conflicts: 1738000 | #Constraints: 43821
2938.93/2947.23 c #Conflicts: 1739000 | #Constraints: 44821
2938.93/2947.23 c #Conflicts: 1740000 | #Constraints: 45821
2938.93/2947.23 c #Conflicts: 1741000 | #Constraints: 46821
2938.93/2947.23 c #Conflicts: 1742000 | #Constraints: 47821
2938.93/2947.23 c #Conflicts: 1743000 | #Constraints: 48821
2938.93/2947.23 c #Conflicts: 1744000 | #Constraints: 49821
2938.93/2947.23 c #Conflicts: 1745000 | #Constraints: 50821
2938.93/2947.23 c #Conflicts: 1746000 | #Constraints: 51821
2938.93/2947.23 c INPROCESSING
2938.93/2947.23 c GARBAGE COLLECT
2938.93/2947.23 c #Conflicts: 1747000 | #Constraints: 26624
2938.93/2947.23 c #Conflicts: 1748000 | #Constraints: 27624
2938.93/2947.23 c #Conflicts: 1749000 | #Constraints: 28624
2938.93/2947.23 c #Conflicts: 1750000 | #Constraints: 29624
2938.93/2947.23 c #Conflicts: 1751000 | #Constraints: 30624
2938.93/2947.23 c #Conflicts: 1752000 | #Constraints: 31624
2938.93/2947.23 c #Conflicts: 1753000 | #Constraints: 32624
2938.93/2947.23 c #Conflicts: 1754000 | #Constraints: 33624
2938.93/2947.23 c #Conflicts: 1755000 | #Constraints: 34624
2938.93/2947.23 c #Conflicts: 1756000 | #Constraints: 35624
2938.93/2947.23 c #Conflicts: 1757000 | #Constraints: 36624
2938.93/2947.23 c #Conflicts: 1758000 | #Constraints: 37624
2938.93/2947.23 c #Conflicts: 1759000 | #Constraints: 38624
2938.93/2947.23 c #Conflicts: 1760000 | #Constraints: 39624
2938.93/2947.23 c #Conflicts: 1761000 | #Constraints: 40624
2938.93/2947.23 c #Conflicts: 1762000 | #Constraints: 41624
2938.93/2947.23 c #Conflicts: 1763000 | #Constraints: 42624
2938.93/2947.23 c #Conflicts: 1764000 | #Constraints: 43624
2938.93/2947.23 c #Conflicts: 1765000 | #Constraints: 44624
2938.93/2947.23 c #Conflicts: 1766000 | #Constraints: 45624
2938.93/2947.23 c #Conflicts: 1767000 | #Constraints: 46624
2938.93/2947.23 c #Conflicts: 1768000 | #Constraints: 47624
2938.93/2947.23 c #Conflicts: 1769000 | #Constraints: 48624
2938.93/2947.23 c #Conflicts: 1770000 | #Constraints: 49624
2938.93/2947.23 c #Conflicts: 1771000 | #Constraints: 50624
2938.93/2947.23 c #Conflicts: 1772000 | #Constraints: 51624
2938.93/2947.23 c #Conflicts: 1773000 | #Constraints: 52624
2938.93/2947.23 c INPROCESSING
2938.93/2947.23 c GARBAGE COLLECT
2938.93/2947.23 c #Conflicts: 1774000 | #Constraints: 27223
2938.93/2947.23 c #Conflicts: 1775000 | #Constraints: 28223
2938.93/2947.23 c #Conflicts: 1776000 | #Constraints: 29223
2938.93/2947.23 c #Conflicts: 1777000 | #Constraints: 30223
2938.93/2947.23 c #Conflicts: 1778000 | #Constraints: 31223
2938.93/2947.23 c #Conflicts: 1779000 | #Constraints: 32223
2938.93/2947.23 c #Conflicts: 1780000 | #Constraints: 33223
2938.93/2947.23 c #Conflicts: 1781000 | #Constraints: 34223
2938.93/2947.23 c #Conflicts: 1782000 | #Constraints: 35223
2938.93/2947.23 c #Conflicts: 1783000 | #Constraints: 36223
2938.93/2947.23 c #Conflicts: 1784000 | #Constraints: 37223
2938.93/2947.23 c #Conflicts: 1785000 | #Constraints: 38223
2938.93/2947.23 c #Conflicts: 1786000 | #Constraints: 39223
2938.93/2947.23 c #Conflicts: 1787000 | #Constraints: 40223
2938.93/2947.23 c #Conflicts: 1788000 | #Constraints: 41223
2938.93/2947.23 c #Conflicts: 1789000 | #Constraints: 42223
2938.93/2947.23 c #Conflicts: 1790000 | #Constraints: 43223
2938.93/2947.23 c #Conflicts: 1791000 | #Constraints: 44223
2938.93/2947.23 c #Conflicts: 1792000 | #Constraints: 45223
2938.93/2947.23 c #Conflicts: 1793000 | #Constraints: 46223
2938.93/2947.23 c #Conflicts: 1794000 | #Constraints: 47223
2938.93/2947.23 c #Conflicts: 1795000 | #Constraints: 48223
2938.93/2947.23 c #Conflicts: 1796000 | #Constraints: 49223
2938.93/2947.23 c #Conflicts: 1797000 | #Constraints: 50223
2938.93/2947.23 c #Conflicts: 1798000 | #Constraints: 51223
2938.93/2947.23 c #Conflicts: 1799000 | #Constraints: 52223
2938.93/2947.23 c #Conflicts: 1800000 | #Constraints: 53223
2938.93/2947.23 c INPROCESSING
2938.93/2947.23 c GARBAGE COLLECT
2938.93/2947.23 c #Conflicts: 1801000 | #Constraints: 27622
2938.93/2947.23 c #Conflicts: 1802000 | #Constraints: 28622
2938.93/2947.23 c #Conflicts: 1803000 | #Constraints: 29622
2938.93/2947.23 c #Conflicts: 1804000 | #Constraints: 30622
2938.93/2947.23 c #Conflicts: 1805000 | #Constraints: 31622
2938.93/2947.23 c #Conflicts: 1806000 | #Constraints: 32622
2938.93/2947.23 c #Conflicts: 1807000 | #Constraints: 33622
2938.93/2947.23 c #Conflicts: 1808000 | #Constraints: 34622
2938.93/2947.23 c #Conflicts: 1809000 | #Constraints: 35622
2938.93/2947.23 c #Conflicts: 1810000 | #Constraints: 36622
2938.93/2947.23 c #Conflicts: 1811000 | #Constraints: 37622
2938.93/2947.23 c #Conflicts: 1812000 | #Constraints: 38622
3122.18/3130.90 c #Conflicts: 1813000 | #Constraints: 39622
3122.18/3130.90 c #Conflicts: 1814000 | #Constraints: 40622
3122.18/3130.90 c #Conflicts: 1815000 | #Constraints: 41622
3122.18/3130.90 c #Conflicts: 1816000 | #Constraints: 42622
3122.18/3130.90 c #Conflicts: 1817000 | #Constraints: 43622
3122.18/3130.90 c #Conflicts: 1818000 | #Constraints: 44622
3122.18/3130.90 c #Conflicts: 1819000 | #Constraints: 45622
3122.18/3130.90 c #Conflicts: 1820000 | #Constraints: 46622
3122.18/3130.90 c #Conflicts: 1821000 | #Constraints: 47622
3122.18/3130.90 c #Conflicts: 1822000 | #Constraints: 48622
3122.18/3130.90 c #Conflicts: 1823000 | #Constraints: 49622
3122.18/3130.90 c #Conflicts: 1824000 | #Constraints: 50622
3122.18/3130.90 c #Conflicts: 1825000 | #Constraints: 51622
3122.18/3130.90 c #Conflicts: 1826000 | #Constraints: 52622
3122.18/3130.90 c #Conflicts: 1827000 | #Constraints: 53622
3122.18/3130.90 c INPROCESSING
3122.18/3130.90 c GARBAGE COLLECT
3122.18/3130.90 c #Conflicts: 1828000 | #Constraints: 27826
3122.18/3130.90 c #Conflicts: 1829000 | #Constraints: 28826
3122.18/3130.90 c #Conflicts: 1830000 | #Constraints: 29826
3122.18/3130.90 c #Conflicts: 1831000 | #Constraints: 30826
3122.18/3130.90 c #Conflicts: 1832000 | #Constraints: 31826
3122.18/3130.90 c #Conflicts: 1833000 | #Constraints: 32826
3122.18/3130.90 c #Conflicts: 1834000 | #Constraints: 33826
3122.18/3130.90 c #Conflicts: 1835000 | #Constraints: 34826
3122.18/3130.90 c #Conflicts: 1836000 | #Constraints: 35826
3122.18/3130.90 c #Conflicts: 1837000 | #Constraints: 36826
3122.18/3130.90 c #Conflicts: 1838000 | #Constraints: 37826
3122.18/3130.90 c #Conflicts: 1839000 | #Constraints: 38826
3122.18/3130.90 c #Conflicts: 1840000 | #Constraints: 39826
3122.18/3130.90 c #Conflicts: 1841000 | #Constraints: 40826
3122.18/3130.90 c #Conflicts: 1842000 | #Constraints: 41826
3122.18/3130.90 c #Conflicts: 1843000 | #Constraints: 42826
3122.18/3130.90 c #Conflicts: 1844000 | #Constraints: 43826
3122.18/3130.90 c #Conflicts: 1845000 | #Constraints: 44826
3122.18/3130.90 c #Conflicts: 1846000 | #Constraints: 45826
3122.18/3130.90 c #Conflicts: 1847000 | #Constraints: 46826
3122.18/3130.90 c #Conflicts: 1848000 | #Constraints: 47826
3122.18/3130.90 c #Conflicts: 1849000 | #Constraints: 48826
3122.18/3130.90 c #Conflicts: 1850000 | #Constraints: 49826
3122.18/3130.90 c #Conflicts: 1851000 | #Constraints: 50826
3122.18/3130.90 c #Conflicts: 1852000 | #Constraints: 51826
3122.18/3130.90 c #Conflicts: 1853000 | #Constraints: 52826
3122.18/3130.90 c #Conflicts: 1854000 | #Constraints: 53826
3122.18/3130.90 c INPROCESSING
3122.18/3130.90 c GARBAGE COLLECT
3122.18/3130.90 c #Conflicts: 1855000 | #Constraints: 27826
3122.18/3130.90 c #Conflicts: 1856000 | #Constraints: 28826
3122.18/3130.90 c #Conflicts: 1857000 | #Constraints: 29826
3122.18/3130.90 c #Conflicts: 1858000 | #Constraints: 30826
3122.18/3130.90 c #Conflicts: 1859000 | #Constraints: 31826
3122.18/3130.90 c #Conflicts: 1860000 | #Constraints: 32826
3122.18/3130.90 c #Conflicts: 1861000 | #Constraints: 33826
3122.18/3130.90 c #Conflicts: 1862000 | #Constraints: 34826
3122.18/3130.90 c #Conflicts: 1863000 | #Constraints: 35826
3122.18/3130.90 c #Conflicts: 1864000 | #Constraints: 36826
3122.18/3130.90 c #Conflicts: 1865000 | #Constraints: 37826
3122.18/3130.90 c #Conflicts: 1866000 | #Constraints: 38826
3122.18/3130.90 c #Conflicts: 1867000 | #Constraints: 39826
3122.18/3130.90 c #Conflicts: 1868000 | #Constraints: 40826
3122.18/3130.90 c #Conflicts: 1869000 | #Constraints: 41826
3122.18/3130.90 c #Conflicts: 1870000 | #Constraints: 42826
3122.18/3130.90 c #Conflicts: 1871000 | #Constraints: 43826
3122.18/3130.90 c #Conflicts: 1872000 | #Constraints: 44826
3122.18/3130.90 c #Conflicts: 1873000 | #Constraints: 45826
3122.18/3130.90 c #Conflicts: 1874000 | #Constraints: 46826
3122.18/3130.90 c #Conflicts: 1875000 | #Constraints: 47826
3122.18/3130.90 c #Conflicts: 1876000 | #Constraints: 48826
3122.18/3130.90 c #Conflicts: 1877000 | #Constraints: 49826
3122.18/3130.90 c #Conflicts: 1878000 | #Constraints: 50826
3122.18/3130.90 c #Conflicts: 1879000 | #Constraints: 51826
3122.18/3130.90 c #Conflicts: 1880000 | #Constraints: 52826
3122.18/3130.90 c #Conflicts: 1881000 | #Constraints: 53826
3122.18/3130.90 c INPROCESSING
3122.18/3130.90 c GARBAGE COLLECT
3122.18/3130.90 c #Conflicts: 1882000 | #Constraints: 27625
3122.18/3130.90 c #Conflicts: 1883000 | #Constraints: 28625
3122.18/3130.90 c #Conflicts: 1884000 | #Constraints: 29625
3122.18/3130.90 c #Conflicts: 1885000 | #Constraints: 30625
3122.18/3130.90 c #Conflicts: 1886000 | #Constraints: 31625
3122.18/3130.90 c #Conflicts: 1887000 | #Constraints: 32625
3122.18/3130.90 c #Conflicts: 1888000 | #Constraints: 33625
3299.24/3308.49 c #Conflicts: 1889000 | #Constraints: 34625
3299.24/3308.49 c #Conflicts: 1890000 | #Constraints: 35625
3299.24/3308.49 c #Conflicts: 1891000 | #Constraints: 36625
3299.24/3308.49 c #Conflicts: 1892000 | #Constraints: 37625
3299.24/3308.49 c #Conflicts: 1893000 | #Constraints: 38625
3299.24/3308.49 c #Conflicts: 1894000 | #Constraints: 39625
3299.24/3308.49 c #Conflicts: 1895000 | #Constraints: 40625
3299.24/3308.49 c #Conflicts: 1896000 | #Constraints: 41625
3299.24/3308.49 c #Conflicts: 1897000 | #Constraints: 42625
3299.24/3308.49 c #Conflicts: 1898000 | #Constraints: 43625
3299.24/3308.49 c #Conflicts: 1899000 | #Constraints: 44625
3299.24/3308.49 c #Conflicts: 1900000 | #Constraints: 45625
3299.24/3308.49 c #Conflicts: 1901000 | #Constraints: 46625
3299.24/3308.49 c #Conflicts: 1902000 | #Constraints: 47625
3299.24/3308.49 c #Conflicts: 1903000 | #Constraints: 48625
3299.24/3308.49 c #Conflicts: 1904000 | #Constraints: 49625
3299.24/3308.49 c #Conflicts: 1905000 | #Constraints: 50625
3299.24/3308.49 c #Conflicts: 1906000 | #Constraints: 51625
3299.24/3308.49 c #Conflicts: 1907000 | #Constraints: 52625
3299.24/3308.49 c #Conflicts: 1908000 | #Constraints: 53625
3299.24/3308.49 c #Conflicts: 1909000 | #Constraints: 54625
3299.24/3308.49 c INPROCESSING
3299.24/3308.49 c GARBAGE COLLECT
3299.24/3308.49 c #Conflicts: 1910000 | #Constraints: 28224
3299.24/3308.49 c #Conflicts: 1911000 | #Constraints: 29224
3299.24/3308.49 c #Conflicts: 1912000 | #Constraints: 30224
3299.24/3308.49 c #Conflicts: 1913000 | #Constraints: 31224
3299.24/3308.49 c #Conflicts: 1914000 | #Constraints: 32224
3299.24/3308.49 c #Conflicts: 1915000 | #Constraints: 33224
3299.24/3308.49 c #Conflicts: 1916000 | #Constraints: 34224
3299.24/3308.49 c #Conflicts: 1917000 | #Constraints: 35224
3299.24/3308.49 c #Conflicts: 1918000 | #Constraints: 36224
3299.24/3308.49 c #Conflicts: 1919000 | #Constraints: 37224
3299.24/3308.49 c #Conflicts: 1920000 | #Constraints: 38224
3299.24/3308.49 c #Conflicts: 1921000 | #Constraints: 39224
3299.24/3308.49 c #Conflicts: 1922000 | #Constraints: 40224
3299.24/3308.49 c #Conflicts: 1923000 | #Constraints: 41224
3299.24/3308.49 c #Conflicts: 1924000 | #Constraints: 42224
3299.24/3308.49 c #Conflicts: 1925000 | #Constraints: 43224
3299.24/3308.49 c #Conflicts: 1926000 | #Constraints: 44224
3299.24/3308.49 c #Conflicts: 1927000 | #Constraints: 45224
3299.24/3308.49 c #Conflicts: 1928000 | #Constraints: 46224
3299.24/3308.49 c #Conflicts: 1929000 | #Constraints: 47224
3299.24/3308.49 c #Conflicts: 1930000 | #Constraints: 48224
3299.24/3308.49 c #Conflicts: 1931000 | #Constraints: 49224
3299.24/3308.49 c #Conflicts: 1932000 | #Constraints: 50224
3299.24/3308.49 c #Conflicts: 1933000 | #Constraints: 51224
3299.24/3308.49 c #Conflicts: 1934000 | #Constraints: 52224
3299.24/3308.49 c #Conflicts: 1935000 | #Constraints: 53224
3299.24/3308.49 c #Conflicts: 1936000 | #Constraints: 54224
3299.24/3308.49 c #Conflicts: 1937000 | #Constraints: 55224
3299.24/3308.49 c INPROCESSING
3299.24/3308.49 c GARBAGE COLLECT
3299.24/3308.49 c #Conflicts: 1938000 | #Constraints: 28624
3299.24/3308.49 c #Conflicts: 1939000 | #Constraints: 29624
3299.24/3308.49 c #Conflicts: 1940000 | #Constraints: 30624
3299.24/3308.49 c #Conflicts: 1941000 | #Constraints: 31624
3299.24/3308.49 c #Conflicts: 1942000 | #Constraints: 32624
3299.24/3308.49 c #Conflicts: 1943000 | #Constraints: 33624
3299.24/3308.49 c #Conflicts: 1944000 | #Constraints: 34624
3299.24/3308.49 c #Conflicts: 1945000 | #Constraints: 35624
3299.24/3308.49 c #Conflicts: 1946000 | #Constraints: 36624
3299.24/3308.49 c #Conflicts: 1947000 | #Constraints: 37624
3299.24/3308.49 c #Conflicts: 1948000 | #Constraints: 38624
3299.24/3308.49 c #Conflicts: 1949000 | #Constraints: 39624
3299.24/3308.49 c #Conflicts: 1950000 | #Constraints: 40624
3299.24/3308.49 c #Conflicts: 1951000 | #Constraints: 41624
3299.24/3308.49 c #Conflicts: 1952000 | #Constraints: 42624
3299.24/3308.49 c #Conflicts: 1953000 | #Constraints: 43624
3299.24/3308.49 c #Conflicts: 1954000 | #Constraints: 44624
3299.24/3308.49 c #Conflicts: 1955000 | #Constraints: 45624
3299.24/3308.49 c #Conflicts: 1956000 | #Constraints: 46624
3299.24/3308.49 c #Conflicts: 1957000 | #Constraints: 47624
3299.24/3308.49 c #Conflicts: 1958000 | #Constraints: 48624
3299.24/3308.49 c #Conflicts: 1959000 | #Constraints: 49624
3299.24/3308.49 c #Conflicts: 1960000 | #Constraints: 50624
3299.24/3308.49 c #Conflicts: 1961000 | #Constraints: 51624
3299.24/3308.49 c #Conflicts: 1962000 | #Constraints: 52624
3299.24/3308.49 c #Conflicts: 1963000 | #Constraints: 53624
3299.24/3308.49 c #Conflicts: 1964000 | #Constraints: 54624
3299.24/3308.49 c #Conflicts: 1965000 | #Constraints: 55624
3299.24/3308.49 c INPROCESSING
3299.24/3308.49 c GARBAGE COLLECT
3487.88/3497.57 c #Conflicts: 1966000 | #Constraints: 28825
3487.88/3497.57 c #Conflicts: 1967000 | #Constraints: 29825
3487.88/3497.57 c #Conflicts: 1968000 | #Constraints: 30825
3487.88/3497.57 c #Conflicts: 1969000 | #Constraints: 31825
3487.88/3497.57 c #Conflicts: 1970000 | #Constraints: 32825
3487.88/3497.57 c #Conflicts: 1971000 | #Constraints: 33825
3487.88/3497.57 c #Conflicts: 1972000 | #Constraints: 34825
3487.88/3497.57 c #Conflicts: 1973000 | #Constraints: 35825
3487.88/3497.57 c #Conflicts: 1974000 | #Constraints: 36825
3487.88/3497.57 c #Conflicts: 1975000 | #Constraints: 37825
3487.88/3497.57 c #Conflicts: 1976000 | #Constraints: 38825
3487.88/3497.57 c #Conflicts: 1977000 | #Constraints: 39825
3487.88/3497.57 c #Conflicts: 1978000 | #Constraints: 40825
3487.88/3497.57 c #Conflicts: 1979000 | #Constraints: 41825
3487.88/3497.57 c #Conflicts: 1980000 | #Constraints: 42825
3487.88/3497.57 c #Conflicts: 1981000 | #Constraints: 43825
3487.88/3497.57 c #Conflicts: 1982000 | #Constraints: 44825
3487.88/3497.57 c #Conflicts: 1983000 | #Constraints: 45825
3487.88/3497.57 c #Conflicts: 1984000 | #Constraints: 46825
3487.88/3497.57 c #Conflicts: 1985000 | #Constraints: 47825
3487.88/3497.57 c #Conflicts: 1986000 | #Constraints: 48825
3487.88/3497.57 c #Conflicts: 1987000 | #Constraints: 49825
3487.88/3497.57 c #Conflicts: 1988000 | #Constraints: 50825
3487.88/3497.57 c #Conflicts: 1989000 | #Constraints: 51825
3487.88/3497.57 c #Conflicts: 1990000 | #Constraints: 52825
3487.88/3497.57 c #Conflicts: 1991000 | #Constraints: 53825
3487.88/3497.57 c #Conflicts: 1992000 | #Constraints: 54825
3487.88/3497.57 c #Conflicts: 1993000 | #Constraints: 55825
3487.88/3497.57 c INPROCESSING
3487.88/3497.57 c GARBAGE COLLECT
3487.88/3497.57 c #Conflicts: 1994000 | #Constraints: 28823
3487.88/3497.57 c #Conflicts: 1995000 | #Constraints: 29823
3487.88/3497.57 c #Conflicts: 1996000 | #Constraints: 30823
3487.88/3497.57 c #Conflicts: 1997000 | #Constraints: 31823
3487.88/3497.57 c #Conflicts: 1998000 | #Constraints: 32823
3487.88/3497.57 c #Conflicts: 1999000 | #Constraints: 33823
3487.88/3497.57 c #Conflicts: 2000000 | #Constraints: 34823
3487.88/3497.57 c #Conflicts: 2001000 | #Constraints: 35823
3487.88/3497.57 c #Conflicts: 2002000 | #Constraints: 36823
3487.88/3497.57 c #Conflicts: 2003000 | #Constraints: 37823
3487.88/3497.57 c #Conflicts: 2004000 | #Constraints: 38823
3487.88/3497.57 c #Conflicts: 2005000 | #Constraints: 39823
3487.88/3497.57 c #Conflicts: 2006000 | #Constraints: 40823
3487.88/3497.57 c #Conflicts: 2007000 | #Constraints: 41823
3487.88/3497.57 c #Conflicts: 2008000 | #Constraints: 42823
3487.88/3497.57 c #Conflicts: 2009000 | #Constraints: 43823
3487.88/3497.57 c #Conflicts: 2010000 | #Constraints: 44823
3487.88/3497.57 c #Conflicts: 2011000 | #Constraints: 45823
3487.88/3497.57 c #Conflicts: 2012000 | #Constraints: 46823
3487.88/3497.57 c #Conflicts: 2013000 | #Constraints: 47823
3487.88/3497.57 c #Conflicts: 2014000 | #Constraints: 48823
3487.88/3497.57 c #Conflicts: 2015000 | #Constraints: 49823
3487.88/3497.57 c #Conflicts: 2016000 | #Constraints: 50823
3487.88/3497.57 c #Conflicts: 2017000 | #Constraints: 51823
3487.88/3497.57 c #Conflicts: 2018000 | #Constraints: 52823
3487.88/3497.57 c #Conflicts: 2019000 | #Constraints: 53823
3487.88/3497.57 c #Conflicts: 2020000 | #Constraints: 54823
3487.88/3497.57 c #Conflicts: 2021000 | #Constraints: 55823
3487.88/3497.57 c INPROCESSING
3487.88/3497.57 c GARBAGE COLLECT
3487.88/3497.57 c #Conflicts: 2022000 | #Constraints: 28620
3487.88/3497.57 c #Conflicts: 2023000 | #Constraints: 29620
3487.88/3497.57 c #Conflicts: 2024000 | #Constraints: 30620
3487.88/3497.57 c #Conflicts: 2025000 | #Constraints: 31620
3487.88/3497.57 c #Conflicts: 2026000 | #Constraints: 32620
3487.88/3497.57 c #Conflicts: 2027000 | #Constraints: 33620
3487.88/3497.57 c #Conflicts: 2028000 | #Constraints: 34620
3487.88/3497.57 c #Conflicts: 2029000 | #Constraints: 35620
3487.88/3497.57 c #Conflicts: 2030000 | #Constraints: 36620
3487.88/3497.57 c #Conflicts: 2031000 | #Constraints: 37620
3487.88/3497.57 c #Conflicts: 2032000 | #Constraints: 38620
3487.88/3497.57 c #Conflicts: 2033000 | #Constraints: 39620
3487.88/3497.57 c #Conflicts: 2034000 | #Constraints: 40620
3487.88/3497.57 c #Conflicts: 2035000 | #Constraints: 41620
3487.88/3497.57 c #Conflicts: 2036000 | #Constraints: 42620
3487.88/3497.57 c #Conflicts: 2037000 | #Constraints: 43620
3487.88/3497.57 c #Conflicts: 2038000 | #Constraints: 44620
3487.88/3497.57 c #Conflicts: 2039000 | #Constraints: 45620
3487.88/3497.57 c #Conflicts: 2040000 | #Constraints: 46620
3487.88/3497.57 c #Conflicts: 2041000 | #Constraints: 47620
3487.88/3497.57 c #Conflicts: 2042000 | #Constraints: 48620
3487.88/3497.57 c #Conflicts: 2043000 | #Constraints: 49620
3600.10/3610.00 c #Conflicts: 2044000 | #Constraints: 50620
3600.10/3610.00 c #Conflicts: 2045000 | #Constraints: 51620
3600.10/3610.00 c #Conflicts: 2046000 | #Constraints: 52620
3600.10/3610.00 c #Conflicts: 2047000 | #Constraints: 53620
3600.10/3610.00 c #Conflicts: 2048000 | #Constraints: 54620
3600.10/3610.00 c #Conflicts: 2049000 | #Constraints: 55620
3600.10/3610.00 c #Conflicts: 2050000 | #Constraints: 56620
3600.10/3610.00 c INPROCESSING
3600.10/3610.00 c GARBAGE COLLECT
3600.10/3610.00 c #Conflicts: 2051000 | #Constraints: 29222
3600.10/3610.00 c #Conflicts: 2052000 | #Constraints: 30222
3600.10/3610.00 c #Conflicts: 2053000 | #Constraints: 31222
3600.10/3610.00 c #Conflicts: 2054000 | #Constraints: 32222
3600.10/3610.00 c #Conflicts: 2055000 | #Constraints: 33222
3600.10/3610.00 c #Conflicts: 2056000 | #Constraints: 34222
3600.10/3610.00 c #Conflicts: 2057000 | #Constraints: 35222
3600.10/3610.00 c #Conflicts: 2058000 | #Constraints: 36222
3600.10/3610.00 c #Conflicts: 2059000 | #Constraints: 37222
3600.10/3610.00 c #Conflicts: 2060000 | #Constraints: 38222
3600.10/3610.00 c #Conflicts: 2061000 | #Constraints: 39222
3600.10/3610.00 c #Conflicts: 2062000 | #Constraints: 40222
3600.10/3610.00 c #Conflicts: 2063000 | #Constraints: 41222
3600.10/3610.00 c #Conflicts: 2064000 | #Constraints: 42222
3600.10/3610.00 c #Conflicts: 2065000 | #Constraints: 43222
3600.10/3610.00 c #Conflicts: 2066000 | #Constraints: 44222
3600.10/3610.00 c #Conflicts: 2067000 | #Constraints: 45222
3600.10/3610.00 c #Conflicts: 2068000 | #Constraints: 46222
3600.10/3610.00 c #Conflicts: 2069000 | #Constraints: 47222
3600.10/3610.00 c #Conflicts: 2070000 | #Constraints: 48222
3600.10/3610.00 c #Conflicts: 2071000 | #Constraints: 49222
3600.10/3610.00 c #Conflicts: 2072000 | #Constraints: 50222
3600.10/3610.00 c #Conflicts: 2073000 | #Constraints: 51222
3600.10/3610.00 c #Conflicts: 2074000 | #Constraints: 52222
3600.10/3610.00 c #Conflicts: 2075000 | #Constraints: 53222
3600.10/3610.00 c #Conflicts: 2076000 | #Constraints: 54222
3600.10/3610.00 c #Conflicts: 2077000 | #Constraints: 55222
3600.10/3610.00 c #Conflicts: 2078000 | #Constraints: 56222
3600.10/3610.00 c #Conflicts: 2079000 | #Constraints: 57222
3600.10/3610.00 c INPROCESSING
3600.10/3610.00 c GARBAGE COLLECT
3600.10/3610.00 c #Conflicts: 2080000 | #Constraints: 29621
3600.10/3610.00 c #Conflicts: 2081000 | #Constraints: 30621
3600.10/3610.00 c #Conflicts: 2082000 | #Constraints: 31621
3600.10/3610.00 c #Conflicts: 2083000 | #Constraints: 32621
3600.10/3610.00 c #Conflicts: 2084000 | #Constraints: 33621
3600.10/3610.00 c #Conflicts: 2085000 | #Constraints: 34621
3600.10/3610.00 c Program interrupted by user.
3600.10/3610.00 c cpu time 3591.57 s
3600.10/3610.00 c deterministic time 529144333080 5.29e+11
3600.10/3610.00 c optimization time 15.6368 s
3600.10/3610.00 c total solve time 3277.23 s
3600.10/3610.00 c core-guided solve time 0 s
3600.10/3610.00 c propagation time 3134.18 s
3600.10/3610.00 c conflict analysis time 145.642 s
3600.10/3610.00 c propagations 22314959
3600.10/3610.00 c resolve steps 9908258
3600.10/3610.00 c decisions 3342127
3600.10/3610.00 c conflicts 2085843
3600.10/3610.00 c restarts 4091
3600.10/3610.00 c inprocessing phases 135
3600.10/3610.00 c input clauses 0
3600.10/3610.00 c input cardinalities 0
3600.10/3610.00 c input general constraints 12
3600.10/3610.00 c input average constraint length 50.00
3600.10/3610.00 c input average constraint degree 1181.17
3600.10/3610.00 c learned clauses 1196756
3600.10/3610.00 c learned cardinalities 0
3600.10/3610.00 c learned general constraints 889086
3600.10/3610.00 c learned average constraint length 34.87
3600.10/3610.00 c learned average constraint degree 259760.82
3600.10/3610.00 c watched constraints 861976
3600.10/3610.00 c counting constraints 27122
3600.10/3610.00 c gcd simplifications 1091274
3600.10/3610.00 c detected cardinalities 0
3600.10/3610.00 c weakened non-implied lits 17825777
3600.10/3610.00 c weakened non-implying lits 911914
3600.10/3610.00 c original variables 51
3600.10/3610.00 c clausal propagations 351468
3600.10/3610.00 c cardinality propagations 0
3600.10/3610.00 c watched propagations 8164720
3600.10/3610.00 c counting propagations 12130206
3600.10/3610.00 c watch lookups 41266352784
3600.10/3610.00 c watch backjump lookups 21512669456
3600.10/3610.00 c watch checks 380876565827
3600.10/3610.00 c propagation checks 84887171524
3600.10/3610.00 c constraint additions 548173523
3600.10/3610.00 c trail pops 27742879
3600.10/3610.00 c formula constraints 12
3600.10/3610.00 c learned constraints 2085842
3600.10/3610.00 c bound constraints 0
3600.10/3610.00 c core-guided constraints 0
3600.10/3610.00 c encountered formula constraints 3145399
3600.10/3610.00 c encountered learned constraints 8848702
3600.10/3610.00 c encountered bound constraints 0
3600.10/3610.00 c encountered core-guided constraints 0
3600.10/3610.00 c LP total time 0 s
3600.10/3610.00 c LP solve time 0 s
3600.10/3610.00 c LP constraints added 0
3600.10/3610.00 c LP constraints removed 0
3600.10/3610.00 c LP pivots internal 0
3600.10/3610.00 c LP pivots root 0
3600.10/3610.00 c LP calls 0
3600.10/3610.00 c LP optimalities 0
3600.10/3610.00 c LP no pivot count 0
3600.10/3610.00 c LP infeasibilities 0
3600.10/3610.00 c LP valid Farkas constraints 0
3600.10/3610.00 c LP learned Farkas constraints 0
3600.10/3610.00 c LP basis resets 0
3600.10/3610.00 c LP cycling count 0
3600.10/3610.00 c LP singular count 0
3600.10/3610.00 c LP no primal count 0
3600.10/3610.00 c LP no farkas count 0
3600.10/3610.00 c LP other issue count 0
3600.10/3610.00 c LP Gomory cuts 0
3600.10/3610.00 c LP learned cuts 0
3600.10/3610.00 c LP deleted cuts 0
3600.10/3610.00 c LP encountered Gomory constraints 0
3600.10/3610.00 c LP encountered Farkas constraints 0
3600.10/3610.00 c LP encountered learned Farkas constraints 0
3600.10/3610.00 c CG auxiliary variables introduced 0
3600.10/3610.00 c CG solutions found 0
3600.10/3610.00 c CG cores constructed 0
3600.10/3610.00 c CG core cardinality constraints returned 0
3600.10/3610.00 c CG unit cores 0
3600.10/3610.00 c CG single cores 0
3600.10/3610.00 c CG blocks removed during cardinality reduction 0
3600.10/3610.00 c CG first core best 0
3600.10/3610.00 c CG decision core best 0
3600.10/3610.00 c CG core reduction tie 0
3600.10/3610.00 c CG core degree average 0.00
3600.10/3610.00 c CG core slack average 0.00
3600.10/3610.00 c CG exhausted 0
3600.10/3610.00 c CG exhaust time 0 s
3600.10/3610.00 c CG trimmed 0
3600.10/3610.00 c CG trim time 0 s
3600.10/3610.00 c CG minimized 0
3600.10/3610.00 c CG minimize time 0 s
3600.10/3610.00 c CG am1 prop time 0 s
3600.10/3610.00 c CG # am1s reformulated 0
3600.10/3610.00 c CG lower bound derived from am1s 0
3600.10/3610.00 c CG # clausal cores 0
3600.10/3610.00 c CG # cardinality cores 0
3600.10/3610.00 c CG # pb cores 0
3600.10/3610.00 c CG # pb reforms 0
3600.10/3610.00 c CG # cores discarded because of pb reform 0
3600.10/3610.00 d LOWERBOUND 0
3600.10/3610.00 d NCORES 0
3600.10/3610.00 d NPBCORES 0
3600.10/3610.00 d NPBREFORM 0
3600.10/3610.00 d NTRIMMED 0
3600.10/3610.00 d NEXHAUSTED 0
3600.10/3610.00 d NAM1S 0
3600.10/3610.00 d AM1LB 0
3600.10/3610.00 c [Papilo Statistics]
3600.10/3610.00 c prepro time 0.000266436s
3600.10/3610.00 c # tsx applied 6
3600.10/3610.00 c # tsx conflicts 0
3600.10/3610.00 c # bound changes 1
3600.10/3610.00 c # side changes 6
3600.10/3610.00 c # coef changes 0
3600.10/3610.00 c # rounds 2
3600.10/3610.00 c # deted vars 1
3600.10/3610.00 c # deted constrs 7
3600.10/3610.00 c # consecutive rounds of only bound changes 0
3600.10/3610.00 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 (62068 MiB free)
memory of node 1: 64465 MiB (63594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528959-1752257735/watcher-4528959-1752257735 -o /tmp/evaluation-result-4528959-1752257735/solver-4528959-1752257735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122697 --watchdog 3760 mixed-bag HOME/instance-4528959-1752257735.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=123364, runsolver pid=123361
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.01 4.14 4.11 5/264 123365
/proc/meminfo: memFree=128665868/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=98788 memory=26752 CPUtime=0.09 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 2801 0 0 0 9 0 0 0 20 0 1 0 141450962 101158912 6688 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 24697 6688 4320 2834 0 6902 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98788 KiB
Current children cumulated memory: 26752 KiB
[startup+0.205489 s]*
/proc/loadavg: 4.01 4.14 4.11 5/264 123365
/proc/meminfo: memFree=128665868/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=100544 memory=28416 CPUtime=0.19 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 3234 0 0 0 19 0 0 0 20 0 1 0 141450962 102957056 7104 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 25136 7104 4320 2834 0 7341 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100544 KiB
Current children cumulated memory: 28416 KiB
[startup+0.305423 s]*
/proc/loadavg: 4.01 4.14 4.11 5/264 123365
/proc/meminfo: memFree=128665868/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=100388 memory=29184 CPUtime=0.29 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 3445 0 0 0 29 0 0 0 20 0 1 0 141450962 102797312 7296 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 25097 7296 4320 2834 0 7302 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100388 KiB
Current children cumulated memory: 29184 KiB
[startup+0.700136 s]
/proc/loadavg: 4.01 4.14 4.11 5/264 123365
/proc/meminfo: memFree=128664608/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=106464 memory=34048 CPUtime=0.68 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 4698 0 0 0 68 0 0 0 20 0 1 0 141450962 109019136 8512 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 26616 8512 4320 2834 0 8821 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 106464 KiB
Current children cumulated memory: 34048 KiB
[startup+1.50016 s]
/proc/loadavg: 4.01 4.14 4.11 5/264 123365
/proc/meminfo: memFree=128659568/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=107364 memory=34792 CPUtime=1.47 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 5000 0 0 0 147 0 0 0 20 0 1 0 141450962 109940736 8698 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 26841 8698 4320 2834 0 9046 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 107364 KiB
Current children cumulated memory: 34792 KiB
[startup+3.10532 s]
/proc/loadavg: 4.01 4.14 4.11 5/264 123365
/proc/meminfo: memFree=128643520/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=107936 memory=36048 CPUtime=3.07 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 5415 0 0 0 307 0 0 0 20 0 1 0 141450962 110526464 9012 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 26984 9012 4320 2834 0 9189 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 107936 KiB
Current children cumulated memory: 36048 KiB
[startup+6.30016 s]
/proc/loadavg: 4.01 4.14 4.10 6/263 123396
/proc/meminfo: memFree=128699988/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=110708 memory=39248 CPUtime=6.25 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 6243 0 0 0 625 0 0 0 20 0 1 0 141450962 113364992 9812 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 27677 9812 4320 2834 0 9882 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 110708 KiB
Current children cumulated memory: 39248 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.15 4.11 5/262 123396
/proc/meminfo: memFree=128629416/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=110728 memory=39524 CPUtime=12.63 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 6743 0 0 0 1262 1 0 0 20 0 1 0 141450962 113385472 9881 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 27682 9881 4320 2834 0 9887 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 110728 KiB
Current children cumulated memory: 39524 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.15 4.11 5/262 123396
/proc/meminfo: memFree=128533024/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=118236 memory=47204 CPUtime=25.36 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 8656 0 0 0 2535 1 0 0 20 0 1 0 141450962 121073664 11801 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 29559 11801 4320 2834 0 11764 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 118236 KiB
Current children cumulated memory: 47204 KiB
[startup+51.1053 s]
/proc/loadavg: 4.11 4.15 4.11 5/262 123397
/proc/meminfo: memFree=128334284/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=136972 memory=65892 CPUtime=50.85 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 13389 0 0 0 5083 2 0 0 20 0 1 0 141450962 140259328 16473 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 34243 16473 4320 2834 0 16448 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 136972 KiB
Current children cumulated memory: 65892 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 123400
/proc/meminfo: memFree=128065092/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=171108 memory=98148 CPUtime=101.79 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 21443 0 0 0 10175 4 0 0 20 0 1 0 141450962 175214592 24537 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 42777 24537 4320 2834 0 24982 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 171108 KiB
Current children cumulated memory: 98148 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/266 123411
/proc/meminfo: memFree=127829704/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=200360 memory=127716 CPUtime=161.5 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 28900 0 0 0 16145 5 0 0 20 0 1 0 141450962 205168640 31929 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 50090 31929 4320 2834 0 32295 0
Current children cumulated CPU time: 161.5 s
Current children cumulated vsize: 200360 KiB
Current children cumulated memory: 127716 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/266 123413
/proc/meminfo: memFree=127572920/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=236856 memory=161252 CPUtime=221.21 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 37320 0 0 0 22115 6 0 0 20 0 1 0 141450962 242540544 40313 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 59214 40313 4320 2834 0 41419 0
Current children cumulated CPU time: 221.21 s
Current children cumulated vsize: 236856 KiB
Current children cumulated memory: 161252 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/266 123415
/proc/meminfo: memFree=127410508/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=268784 memory=194404 CPUtime=280.93 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 45582 0 0 0 28085 8 0 0 20 0 1 0 141450962 275234816 48601 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 67196 48601 4320 2834 0 49401 0
Current children cumulated CPU time: 280.93 s
Current children cumulated vsize: 268784 KiB
Current children cumulated memory: 194404 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/266 123417
/proc/meminfo: memFree=127946084/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=252836 memory=187728 CPUtime=340.73 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 48011 0 0 0 34022 51 0 0 20 0 1 0 141450962 258904064 46932 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 63209 46932 4416 2834 0 45414 0
Current children cumulated CPU time: 340.73 s
Current children cumulated vsize: 252836 KiB
Current children cumulated memory: 187728 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 123419
/proc/meminfo: memFree=127950172/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=255556 memory=188880 CPUtime=400.59 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 48280 0 0 0 39974 85 0 0 20 0 1 0 141450962 261689344 47220 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 63889 47220 4416 2834 0 46094 0
Current children cumulated CPU time: 400.59 s
Current children cumulated vsize: 255556 KiB
Current children cumulated memory: 188880 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 123421
/proc/meminfo: memFree=127931544/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=255556 memory=193744 CPUtime=460.44 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 48521 0 0 0 45930 114 0 0 20 0 1 0 141450962 261689344 48436 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 63889 48436 4416 2834 0 46094 0
################
# More data... #
################
Current children cumulated memory: 204768 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 123547
/proc/meminfo: memFree=127928084/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=2854.24 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49849 0 0 0 284694 730 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 2854.24 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+2922.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 123550
/proc/meminfo: memFree=127922616/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=2914.1 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49849 0 0 0 290668 742 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 123552
/proc/meminfo: memFree=127925832/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=2973.94 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49849 0 0 0 296641 753 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 2973.94 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+3042.3 s]
/proc/loadavg: 4.26 4.12 4.10 5/262 123554
/proc/meminfo: memFree=127921128/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=3033.79 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49849 0 0 0 302616 763 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+3102.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/263 123557
/proc/meminfo: memFree=127921272/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=3093.65 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49863 0 0 0 308593 772 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 3093.65 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/264 123565
/proc/meminfo: memFree=127921504/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=3153.5 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49873 0 0 0 314566 784 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 123567
/proc/meminfo: memFree=127921488/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=3213.35 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49873 0 0 0 320541 794 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 123569
/proc/meminfo: memFree=127921128/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=3273.2 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49873 0 0 0 326517 803 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/264 123571
/proc/meminfo: memFree=127921736/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=3333.05 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49873 0 0 0 332492 813 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/263 123573
/proc/meminfo: memFree=127916760/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=3392.91 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49873 0 0 0 338467 824 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/262 123575
/proc/meminfo: memFree=127917868/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=3452.76 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49873 0 0 0 344443 833 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 123578
/proc/meminfo: memFree=127916792/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=3512.61 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49873 0 0 0 350419 842 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
[startup+3582.3 s]
/proc/loadavg: 4.44 4.21 4.12 5/263 123580
/proc/meminfo: memFree=127917812/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=3572.46 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49873 0 0 0 356396 850 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.18 4.17 4.11 5/261 123662
/proc/meminfo: memFree=128207056/131249996 swapFree=33006296/33010684
[pid=123364] ppid=123361 vsize=267156 memory=204768 CPUtime=3600.1 cores=5,7
/proc/123364/stat : 123364 (mixed-bag) R 123361 123364 122684 0 -1 4194304 49873 0 0 0 359157 853 0 0 20 0 1 0 141450962 273567744 51192 18446744073709551615 4235264 15840557 140723303839968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 51916800 140723303844250 140723303844327 140723303844327 140723303849931 0
/proc/123364/statm: 66789 51192 4416 2834 0 48994 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 267156 KiB
Current children cumulated memory: 204768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 123364 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.57 s, system=8.53791 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.11
CPU user time (s): 3591.57
CPU system time (s): 8.53791
CPU usage (%): 99.7259
Max. virtual memory (cumulated for all children) (KiB): 279076
Max. memory (cumulated for all children) (KiB): 204768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.57
system time used= 8.53791
maximum resident set size= 205536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49907
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119
involuntary context switches= 1476
# summary of solver processes directly reported to runsolver:
# pid: 123364
# total CPU time (s): 3600.11
# total CPU user time (s): 3591.57
# total CPU system time (s): 8.53791
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63019 second user time and 15.4279 second system time
The end
Begin job on nodeC015 at 2025-07-11 20:15:35
IDJOB=4528959
IDBENCH=147604
IDSOLVER=3386
FILE ID=nodeC015/4528959-1752257735
RUNJOBID= nodeC015-1752253809-122697
SLURM_JOB_ID= 9682590
Free space on /tmp= 432304 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
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-4528959-1752257735/watcher-4528959-1752257735 -o /tmp/evaluation-result-4528959-1752257735/solver-4528959-1752257735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122697 --watchdog 3760 mixed-bag HOME/instance-4528959-1752257735.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24a8c00bfc22332d2e87e9d19ffbf58d
RANDOM SEED=1166901759
nodeC015 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 : 3600.073
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 : 7000.14
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.065
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 : 7000.14
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 : 3603.702
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 : 7000.14
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.724
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 : 7000.14
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 : 3600.064
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 : 7000.14
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 : 3691.638
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 : 7000.14
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 : 3700.000
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 : 7000.14
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 : 3600.068
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128678120 kB
MemAvailable: 129667044 kB
Buffers: 1508 kB
Cached: 1768056 kB
SwapCached: 3880 kB
Active: 409012 kB
Inactive: 1518636 kB
Active(anon): 123516 kB
Inactive(anon): 48724 kB
Active(file): 285496 kB
Inactive(file): 1469912 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 34260 kB
Writeback: 0 kB
AnonPages: 157376 kB
Mapped: 126616 kB
Shmem: 14152 kB
KReclaimable: 145508 kB
Slab: 238932 kB
SReclaimable: 145508 kB
SUnreclaim: 93424 kB
KernelStack: 4256 kB
PageTables: 3596 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 512280 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432312 MiB
End job on nodeC015 at 2025-07-11 21:15:45