0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 61 #constraints 15
0.00/0.01 c SMALL=int, LARGE=long long
16.52/16.65 c bounds - >= 0 @ 0.000181
16.52/16.65 c #Conflicts: 1000 | #Constraints: 1014
16.52/16.65 c #Conflicts: 2000 | #Constraints: 2014
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 3000 | #Constraints: 2016
16.52/16.65 c #Conflicts: 4000 | #Constraints: 3016
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 5000 | #Constraints: 2422
16.52/16.65 c #Conflicts: 6000 | #Constraints: 3422
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 7000 | #Constraints: 2421
16.52/16.65 c #Conflicts: 8000 | #Constraints: 3421
16.52/16.65 c #Conflicts: 9000 | #Constraints: 4421
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 10000 | #Constraints: 3120
16.52/16.65 c #Conflicts: 11000 | #Constraints: 4120
16.52/16.65 c #Conflicts: 12000 | #Constraints: 5120
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 13000 | #Constraints: 3570
16.52/16.65 c #Conflicts: 14000 | #Constraints: 4570
16.52/16.65 c #Conflicts: 15000 | #Constraints: 5570
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 16000 | #Constraints: 3796
16.52/16.65 c #Conflicts: 17000 | #Constraints: 4796
16.52/16.65 c #Conflicts: 18000 | #Constraints: 5796
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 19000 | #Constraints: 3809
16.52/16.65 c #Conflicts: 20000 | #Constraints: 4809
16.52/16.65 c #Conflicts: 21000 | #Constraints: 5809
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 22000 | #Constraints: 3615
16.52/16.65 c #Conflicts: 23000 | #Constraints: 4615
16.52/16.65 c #Conflicts: 24000 | #Constraints: 5615
16.52/16.65 c #Conflicts: 25000 | #Constraints: 6615
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 26000 | #Constraints: 4220
16.52/16.65 c #Conflicts: 27000 | #Constraints: 5220
16.52/16.65 c #Conflicts: 28000 | #Constraints: 6220
16.52/16.65 c #Conflicts: 29000 | #Constraints: 7220
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 30000 | #Constraints: 4620
16.52/16.65 c #Conflicts: 31000 | #Constraints: 5620
16.52/16.65 c #Conflicts: 32000 | #Constraints: 6620
16.52/16.65 c #Conflicts: 33000 | #Constraints: 7620
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 34000 | #Constraints: 4822
16.52/16.65 c #Conflicts: 35000 | #Constraints: 5822
16.52/16.65 c #Conflicts: 36000 | #Constraints: 6822
16.52/16.65 c #Conflicts: 37000 | #Constraints: 7822
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 38000 | #Constraints: 4824
16.52/16.65 c #Conflicts: 39000 | #Constraints: 5824
16.52/16.65 c #Conflicts: 40000 | #Constraints: 6824
16.52/16.65 c #Conflicts: 41000 | #Constraints: 7824
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 42000 | #Constraints: 4625
16.52/16.65 c #Conflicts: 43000 | #Constraints: 5625
16.52/16.65 c #Conflicts: 44000 | #Constraints: 6625
16.52/16.65 c #Conflicts: 45000 | #Constraints: 7625
16.52/16.65 c #Conflicts: 46000 | #Constraints: 8625
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 47000 | #Constraints: 5222
16.52/16.65 c #Conflicts: 48000 | #Constraints: 6222
16.52/16.65 c #Conflicts: 49000 | #Constraints: 7222
16.52/16.65 c #Conflicts: 50000 | #Constraints: 8222
16.52/16.65 c #Conflicts: 51000 | #Constraints: 9222
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 52000 | #Constraints: 5622
16.52/16.65 c #Conflicts: 53000 | #Constraints: 6622
16.52/16.65 c #Conflicts: 54000 | #Constraints: 7622
16.52/16.65 c #Conflicts: 55000 | #Constraints: 8622
16.52/16.65 c #Conflicts: 56000 | #Constraints: 9622
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 57000 | #Constraints: 5821
16.52/16.65 c #Conflicts: 58000 | #Constraints: 6821
16.52/16.65 c #Conflicts: 59000 | #Constraints: 7821
16.52/16.65 c #Conflicts: 60000 | #Constraints: 8821
16.52/16.65 c #Conflicts: 61000 | #Constraints: 9821
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 62000 | #Constraints: 5822
16.52/16.65 c #Conflicts: 63000 | #Constraints: 6822
16.52/16.65 c #Conflicts: 64000 | #Constraints: 7822
16.52/16.65 c #Conflicts: 65000 | #Constraints: 8822
16.52/16.65 c #Conflicts: 66000 | #Constraints: 9822
16.52/16.65 c INPROCESSING
16.52/16.65 c GARBAGE COLLECT
16.52/16.65 c #Conflicts: 67000 | #Constraints: 5621
48.14/48.35 c #Conflicts: 68000 | #Constraints: 6621
48.14/48.35 c #Conflicts: 69000 | #Constraints: 7621
48.14/48.35 c #Conflicts: 70000 | #Constraints: 8621
48.14/48.35 c #Conflicts: 71000 | #Constraints: 9621
48.14/48.35 c #Conflicts: 72000 | #Constraints: 10621
48.14/48.35 c INPROCESSING
48.14/48.35 c GARBAGE COLLECT
48.14/48.35 c #Conflicts: 73000 | #Constraints: 6219
48.14/48.35 c #Conflicts: 74000 | #Constraints: 7219
48.14/48.35 c #Conflicts: 75000 | #Constraints: 8219
48.14/48.35 c #Conflicts: 76000 | #Constraints: 9219
48.14/48.35 c #Conflicts: 77000 | #Constraints: 10219
48.14/48.35 c #Conflicts: 78000 | #Constraints: 11219
48.14/48.35 c INPROCESSING
48.14/48.35 c GARBAGE COLLECT
48.14/48.35 c #Conflicts: 79000 | #Constraints: 6621
48.14/48.35 c #Conflicts: 80000 | #Constraints: 7621
48.14/48.35 c #Conflicts: 81000 | #Constraints: 8621
48.14/48.35 c #Conflicts: 82000 | #Constraints: 9621
48.14/48.35 c #Conflicts: 83000 | #Constraints: 10621
48.14/48.35 c #Conflicts: 84000 | #Constraints: 11621
48.14/48.35 c INPROCESSING
48.14/48.35 c GARBAGE COLLECT
48.14/48.35 c #Conflicts: 85000 | #Constraints: 6825
48.14/48.35 c #Conflicts: 86000 | #Constraints: 7825
48.14/48.35 c #Conflicts: 87000 | #Constraints: 8825
48.14/48.35 c #Conflicts: 88000 | #Constraints: 9825
48.14/48.35 c #Conflicts: 89000 | #Constraints: 10825
48.14/48.35 c #Conflicts: 90000 | #Constraints: 11825
48.14/48.35 c INPROCESSING
48.14/48.35 c GARBAGE COLLECT
48.14/48.35 c #Conflicts: 91000 | #Constraints: 6824
48.14/48.35 c #Conflicts: 92000 | #Constraints: 7824
48.14/48.35 c #Conflicts: 93000 | #Constraints: 8824
48.14/48.35 c #Conflicts: 94000 | #Constraints: 9824
48.14/48.35 c #Conflicts: 95000 | #Constraints: 10824
48.14/48.35 c #Conflicts: 96000 | #Constraints: 11824
48.14/48.35 c INPROCESSING
48.14/48.35 c GARBAGE COLLECT
48.14/48.35 c #Conflicts: 97000 | #Constraints: 6626
48.14/48.35 c #Conflicts: 98000 | #Constraints: 7626
48.14/48.35 c #Conflicts: 99000 | #Constraints: 8626
48.14/48.35 c #Conflicts: 100000 | #Constraints: 9626
48.14/48.35 c #Conflicts: 101000 | #Constraints: 10626
48.14/48.35 c #Conflicts: 102000 | #Constraints: 11626
48.14/48.35 c #Conflicts: 103000 | #Constraints: 12626
48.14/48.35 c INPROCESSING
48.14/48.35 c GARBAGE COLLECT
48.14/48.35 c #Conflicts: 104000 | #Constraints: 7226
48.14/48.35 c #Conflicts: 105000 | #Constraints: 8226
48.14/48.35 c #Conflicts: 106000 | #Constraints: 9226
48.14/48.35 c #Conflicts: 107000 | #Constraints: 10226
48.14/48.35 c #Conflicts: 108000 | #Constraints: 11226
48.14/48.35 c #Conflicts: 109000 | #Constraints: 12226
48.14/48.35 c #Conflicts: 110000 | #Constraints: 13226
48.14/48.35 c INPROCESSING
48.14/48.35 c GARBAGE COLLECT
48.14/48.35 c #Conflicts: 111000 | #Constraints: 7626
48.14/48.35 c #Conflicts: 112000 | #Constraints: 8626
48.14/48.35 c #Conflicts: 113000 | #Constraints: 9626
48.14/48.35 c #Conflicts: 114000 | #Constraints: 10626
48.14/48.35 c #Conflicts: 115000 | #Constraints: 11626
48.14/48.35 c #Conflicts: 116000 | #Constraints: 12626
48.14/48.35 c #Conflicts: 117000 | #Constraints: 13626
48.14/48.35 c INPROCESSING
48.14/48.35 c GARBAGE COLLECT
48.14/48.35 c #Conflicts: 118000 | #Constraints: 7825
48.14/48.35 c #Conflicts: 119000 | #Constraints: 8825
48.14/48.35 c #Conflicts: 120000 | #Constraints: 9825
48.14/48.35 c #Conflicts: 121000 | #Constraints: 10825
48.14/48.35 c #Conflicts: 122000 | #Constraints: 11825
48.14/48.35 c #Conflicts: 123000 | #Constraints: 12825
48.14/48.35 c #Conflicts: 124000 | #Constraints: 13825
48.14/48.35 c INPROCESSING
48.14/48.35 c GARBAGE COLLECT
48.14/48.35 c #Conflicts: 125000 | #Constraints: 7823
48.14/48.35 c #Conflicts: 126000 | #Constraints: 8823
48.14/48.35 c #Conflicts: 127000 | #Constraints: 9823
48.14/48.35 c #Conflicts: 128000 | #Constraints: 10823
48.14/48.35 c #Conflicts: 129000 | #Constraints: 11823
48.14/48.35 c #Conflicts: 130000 | #Constraints: 12823
48.14/48.35 c #Conflicts: 131000 | #Constraints: 13823
48.14/48.35 c INPROCESSING
48.14/48.35 c GARBAGE COLLECT
48.14/48.35 c #Conflicts: 132000 | #Constraints: 7622
48.14/48.35 c #Conflicts: 133000 | #Constraints: 8622
48.14/48.35 c #Conflicts: 134000 | #Constraints: 9622
48.14/48.35 c #Conflicts: 135000 | #Constraints: 10622
48.14/48.35 c #Conflicts: 136000 | #Constraints: 11622
48.14/48.35 c #Conflicts: 137000 | #Constraints: 12622
48.14/48.35 c #Conflicts: 138000 | #Constraints: 13622
48.14/48.35 c #Conflicts: 139000 | #Constraints: 14622
48.14/48.35 c INPROCESSING
86.32/86.69 c GARBAGE COLLECT
86.32/86.69 c #Conflicts: 140000 | #Constraints: 8224
86.32/86.69 c #Conflicts: 141000 | #Constraints: 9224
86.32/86.69 c #Conflicts: 142000 | #Constraints: 10224
86.32/86.69 c #Conflicts: 143000 | #Constraints: 11224
86.32/86.69 c #Conflicts: 144000 | #Constraints: 12224
86.32/86.69 c #Conflicts: 145000 | #Constraints: 13224
86.32/86.69 c #Conflicts: 146000 | #Constraints: 14224
86.32/86.69 c #Conflicts: 147000 | #Constraints: 15224
86.32/86.69 c INPROCESSING
86.32/86.69 c GARBAGE COLLECT
86.32/86.69 c #Conflicts: 148000 | #Constraints: 8625
86.32/86.69 c #Conflicts: 149000 | #Constraints: 9625
86.32/86.69 c #Conflicts: 150000 | #Constraints: 10625
86.32/86.69 c #Conflicts: 151000 | #Constraints: 11625
86.32/86.69 c #Conflicts: 152000 | #Constraints: 12625
86.32/86.69 c #Conflicts: 153000 | #Constraints: 13625
86.32/86.69 c #Conflicts: 154000 | #Constraints: 14625
86.32/86.69 c #Conflicts: 155000 | #Constraints: 15625
86.32/86.69 c INPROCESSING
86.32/86.69 c GARBAGE COLLECT
86.32/86.69 c #Conflicts: 156000 | #Constraints: 8824
86.32/86.69 c #Conflicts: 157000 | #Constraints: 9824
86.32/86.69 c #Conflicts: 158000 | #Constraints: 10824
86.32/86.69 c #Conflicts: 159000 | #Constraints: 11824
86.32/86.69 c #Conflicts: 160000 | #Constraints: 12824
86.32/86.69 c #Conflicts: 161000 | #Constraints: 13824
86.32/86.69 c #Conflicts: 162000 | #Constraints: 14824
86.32/86.69 c #Conflicts: 163000 | #Constraints: 15824
86.32/86.69 c INPROCESSING
86.32/86.69 c GARBAGE COLLECT
86.32/86.69 c #Conflicts: 164000 | #Constraints: 8826
86.32/86.69 c #Conflicts: 165000 | #Constraints: 9826
86.32/86.69 c #Conflicts: 166000 | #Constraints: 10826
86.32/86.69 c #Conflicts: 167000 | #Constraints: 11826
86.32/86.69 c #Conflicts: 168000 | #Constraints: 12826
86.32/86.69 c #Conflicts: 169000 | #Constraints: 13826
86.32/86.69 c #Conflicts: 170000 | #Constraints: 14826
86.32/86.69 c #Conflicts: 171000 | #Constraints: 15826
86.32/86.69 c INPROCESSING
86.32/86.69 c GARBAGE COLLECT
86.32/86.69 c #Conflicts: 172000 | #Constraints: 8622
86.32/86.69 c #Conflicts: 173000 | #Constraints: 9622
86.32/86.69 c #Conflicts: 174000 | #Constraints: 10622
86.32/86.69 c #Conflicts: 175000 | #Constraints: 11622
86.32/86.69 c #Conflicts: 176000 | #Constraints: 12622
86.32/86.69 c #Conflicts: 177000 | #Constraints: 13622
86.32/86.69 c #Conflicts: 178000 | #Constraints: 14622
86.32/86.69 c #Conflicts: 179000 | #Constraints: 15622
86.32/86.69 c #Conflicts: 180000 | #Constraints: 16622
86.32/86.69 c INPROCESSING
86.32/86.69 c GARBAGE COLLECT
86.32/86.69 c #Conflicts: 181000 | #Constraints: 9222
86.32/86.69 c #Conflicts: 182000 | #Constraints: 10222
86.32/86.69 c #Conflicts: 183000 | #Constraints: 11222
86.32/86.69 c #Conflicts: 184000 | #Constraints: 12222
86.32/86.69 c #Conflicts: 185000 | #Constraints: 13222
86.32/86.69 c #Conflicts: 186000 | #Constraints: 14222
86.32/86.69 c #Conflicts: 187000 | #Constraints: 15222
86.32/86.69 c #Conflicts: 188000 | #Constraints: 16222
86.32/86.69 c #Conflicts: 189000 | #Constraints: 17222
86.32/86.69 c INPROCESSING
86.32/86.69 c GARBAGE COLLECT
86.32/86.69 c #Conflicts: 190000 | #Constraints: 9624
86.32/86.69 c #Conflicts: 191000 | #Constraints: 10624
86.32/86.69 c #Conflicts: 192000 | #Constraints: 11624
86.32/86.69 c #Conflicts: 193000 | #Constraints: 12624
86.32/86.69 c #Conflicts: 194000 | #Constraints: 13624
86.32/86.69 c #Conflicts: 195000 | #Constraints: 14624
86.32/86.69 c #Conflicts: 196000 | #Constraints: 15624
86.32/86.69 c #Conflicts: 197000 | #Constraints: 16624
86.32/86.69 c #Conflicts: 198000 | #Constraints: 17624
86.32/86.69 c INPROCESSING
86.32/86.69 c GARBAGE COLLECT
86.32/86.69 c #Conflicts: 199000 | #Constraints: 9825
86.32/86.69 c #Conflicts: 200000 | #Constraints: 10825
86.32/86.69 c #Conflicts: 201000 | #Constraints: 11825
86.32/86.69 c #Conflicts: 202000 | #Constraints: 12825
86.32/86.69 c #Conflicts: 203000 | #Constraints: 13825
86.32/86.69 c #Conflicts: 204000 | #Constraints: 14825
86.32/86.69 c #Conflicts: 205000 | #Constraints: 15825
86.32/86.69 c #Conflicts: 206000 | #Constraints: 16825
86.32/86.69 c #Conflicts: 207000 | #Constraints: 17825
86.32/86.69 c INPROCESSING
86.32/86.69 c GARBAGE COLLECT
86.32/86.69 c #Conflicts: 208000 | #Constraints: 9826
86.32/86.69 c #Conflicts: 209000 | #Constraints: 10826
86.32/86.69 c #Conflicts: 210000 | #Constraints: 11826
86.32/86.69 c #Conflicts: 211000 | #Constraints: 12826
86.32/86.69 c #Conflicts: 212000 | #Constraints: 13826
86.32/86.69 c #Conflicts: 213000 | #Constraints: 14826
131.72/132.19 c #Conflicts: 214000 | #Constraints: 15826
131.72/132.19 c #Conflicts: 215000 | #Constraints: 16826
131.72/132.19 c #Conflicts: 216000 | #Constraints: 17826
131.72/132.19 c INPROCESSING
131.72/132.19 c GARBAGE COLLECT
131.72/132.19 c #Conflicts: 217000 | #Constraints: 9626
131.72/132.19 c #Conflicts: 218000 | #Constraints: 10626
131.72/132.19 c #Conflicts: 219000 | #Constraints: 11626
131.72/132.19 c #Conflicts: 220000 | #Constraints: 12626
131.72/132.19 c #Conflicts: 221000 | #Constraints: 13626
131.72/132.19 c #Conflicts: 222000 | #Constraints: 14626
131.72/132.19 c #Conflicts: 223000 | #Constraints: 15626
131.72/132.19 c #Conflicts: 224000 | #Constraints: 16626
131.72/132.19 c #Conflicts: 225000 | #Constraints: 17626
131.72/132.19 c #Conflicts: 226000 | #Constraints: 18626
131.72/132.19 c INPROCESSING
131.72/132.19 c GARBAGE COLLECT
131.72/132.19 c #Conflicts: 227000 | #Constraints: 10230
131.72/132.19 c #Conflicts: 228000 | #Constraints: 11230
131.72/132.19 c #Conflicts: 229000 | #Constraints: 12230
131.72/132.19 c #Conflicts: 230000 | #Constraints: 13230
131.72/132.19 c #Conflicts: 231000 | #Constraints: 14230
131.72/132.19 c #Conflicts: 232000 | #Constraints: 15230
131.72/132.19 c #Conflicts: 233000 | #Constraints: 16230
131.72/132.19 c #Conflicts: 234000 | #Constraints: 17230
131.72/132.19 c #Conflicts: 235000 | #Constraints: 18230
131.72/132.19 c #Conflicts: 236000 | #Constraints: 19230
131.72/132.19 c INPROCESSING
131.72/132.19 c GARBAGE COLLECT
131.72/132.19 c #Conflicts: 237000 | #Constraints: 10626
131.72/132.19 c #Conflicts: 238000 | #Constraints: 11626
131.72/132.19 c #Conflicts: 239000 | #Constraints: 12626
131.72/132.19 c #Conflicts: 240000 | #Constraints: 13626
131.72/132.19 c #Conflicts: 241000 | #Constraints: 14626
131.72/132.19 c #Conflicts: 242000 | #Constraints: 15626
131.72/132.19 c #Conflicts: 243000 | #Constraints: 16626
131.72/132.19 c #Conflicts: 244000 | #Constraints: 17626
131.72/132.19 c #Conflicts: 245000 | #Constraints: 18626
131.72/132.19 c #Conflicts: 246000 | #Constraints: 19626
131.72/132.19 c INPROCESSING
131.72/132.19 c GARBAGE COLLECT
131.72/132.19 c #Conflicts: 247000 | #Constraints: 10825
131.72/132.19 c #Conflicts: 248000 | #Constraints: 11825
131.72/132.19 c #Conflicts: 249000 | #Constraints: 12825
131.72/132.19 c #Conflicts: 250000 | #Constraints: 13825
131.72/132.19 c #Conflicts: 251000 | #Constraints: 14825
131.72/132.19 c #Conflicts: 252000 | #Constraints: 15825
131.72/132.19 c #Conflicts: 253000 | #Constraints: 16825
131.72/132.19 c #Conflicts: 254000 | #Constraints: 17825
131.72/132.19 c #Conflicts: 255000 | #Constraints: 18825
131.72/132.19 c #Conflicts: 256000 | #Constraints: 19825
131.72/132.19 c INPROCESSING
131.72/132.19 c GARBAGE COLLECT
131.72/132.19 c #Conflicts: 257000 | #Constraints: 10824
131.72/132.19 c #Conflicts: 258000 | #Constraints: 11824
131.72/132.19 c #Conflicts: 259000 | #Constraints: 12824
131.72/132.19 c #Conflicts: 260000 | #Constraints: 13824
131.72/132.19 c #Conflicts: 261000 | #Constraints: 14824
131.72/132.19 c #Conflicts: 262000 | #Constraints: 15824
131.72/132.19 c #Conflicts: 263000 | #Constraints: 16824
131.72/132.19 c #Conflicts: 264000 | #Constraints: 17824
131.72/132.19 c #Conflicts: 265000 | #Constraints: 18824
131.72/132.19 c #Conflicts: 266000 | #Constraints: 19824
131.72/132.19 c INPROCESSING
131.72/132.19 c GARBAGE COLLECT
131.72/132.19 c #Conflicts: 267000 | #Constraints: 10625
131.72/132.19 c #Conflicts: 268000 | #Constraints: 11625
131.72/132.19 c #Conflicts: 269000 | #Constraints: 12625
131.72/132.19 c #Conflicts: 270000 | #Constraints: 13625
131.72/132.19 c #Conflicts: 271000 | #Constraints: 14625
131.72/132.19 c #Conflicts: 272000 | #Constraints: 15625
131.72/132.19 c #Conflicts: 273000 | #Constraints: 16625
131.72/132.19 c #Conflicts: 274000 | #Constraints: 17625
131.72/132.19 c #Conflicts: 275000 | #Constraints: 18625
131.72/132.19 c #Conflicts: 276000 | #Constraints: 19625
131.72/132.19 c #Conflicts: 277000 | #Constraints: 20625
131.72/132.19 c INPROCESSING
131.72/132.19 c GARBAGE COLLECT
131.72/132.19 c #Conflicts: 278000 | #Constraints: 11222
131.72/132.19 c #Conflicts: 279000 | #Constraints: 12222
131.72/132.19 c #Conflicts: 280000 | #Constraints: 13222
131.72/132.19 c #Conflicts: 281000 | #Constraints: 14222
131.72/132.19 c #Conflicts: 282000 | #Constraints: 15222
131.72/132.19 c #Conflicts: 283000 | #Constraints: 16222
131.72/132.19 c #Conflicts: 284000 | #Constraints: 17222
131.72/132.19 c #Conflicts: 285000 | #Constraints: 18222
131.72/132.19 c #Conflicts: 286000 | #Constraints: 19222
131.72/132.19 c #Conflicts: 287000 | #Constraints: 20222
184.96/185.54 c #Conflicts: 288000 | #Constraints: 21222
184.96/185.54 c INPROCESSING
184.96/185.54 c GARBAGE COLLECT
184.96/185.54 c #Conflicts: 289000 | #Constraints: 11622
184.96/185.54 c #Conflicts: 290000 | #Constraints: 12622
184.96/185.54 c #Conflicts: 291000 | #Constraints: 13622
184.96/185.54 c #Conflicts: 292000 | #Constraints: 14622
184.96/185.54 c #Conflicts: 293000 | #Constraints: 15622
184.96/185.54 c #Conflicts: 294000 | #Constraints: 16622
184.96/185.54 c #Conflicts: 295000 | #Constraints: 17622
184.96/185.54 c #Conflicts: 296000 | #Constraints: 18622
184.96/185.54 c #Conflicts: 297000 | #Constraints: 19622
184.96/185.54 c #Conflicts: 298000 | #Constraints: 20622
184.96/185.54 c #Conflicts: 299000 | #Constraints: 21622
184.96/185.54 c INPROCESSING
184.96/185.54 c GARBAGE COLLECT
184.96/185.54 c #Conflicts: 300000 | #Constraints: 11822
184.96/185.54 c #Conflicts: 301000 | #Constraints: 12822
184.96/185.54 c #Conflicts: 302000 | #Constraints: 13822
184.96/185.54 c #Conflicts: 303000 | #Constraints: 14822
184.96/185.54 c #Conflicts: 304000 | #Constraints: 15822
184.96/185.54 c #Conflicts: 305000 | #Constraints: 16822
184.96/185.54 c #Conflicts: 306000 | #Constraints: 17822
184.96/185.54 c #Conflicts: 307000 | #Constraints: 18822
184.96/185.54 c #Conflicts: 308000 | #Constraints: 19822
184.96/185.54 c #Conflicts: 309000 | #Constraints: 20822
184.96/185.54 c #Conflicts: 310000 | #Constraints: 21822
184.96/185.54 c INPROCESSING
184.96/185.54 c GARBAGE COLLECT
184.96/185.54 c #Conflicts: 311000 | #Constraints: 11823
184.96/185.54 c #Conflicts: 312000 | #Constraints: 12823
184.96/185.54 c #Conflicts: 313000 | #Constraints: 13823
184.96/185.54 c #Conflicts: 314000 | #Constraints: 14823
184.96/185.54 c #Conflicts: 315000 | #Constraints: 15823
184.96/185.54 c #Conflicts: 316000 | #Constraints: 16823
184.96/185.54 c #Conflicts: 317000 | #Constraints: 17823
184.96/185.54 c #Conflicts: 318000 | #Constraints: 18823
184.96/185.54 c #Conflicts: 319000 | #Constraints: 19823
184.96/185.54 c #Conflicts: 320000 | #Constraints: 20823
184.96/185.54 c #Conflicts: 321000 | #Constraints: 21823
184.96/185.54 c INPROCESSING
184.96/185.54 c GARBAGE COLLECT
184.96/185.54 c #Conflicts: 322000 | #Constraints: 11625
184.96/185.54 c #Conflicts: 323000 | #Constraints: 12625
184.96/185.54 c #Conflicts: 324000 | #Constraints: 13625
184.96/185.54 c #Conflicts: 325000 | #Constraints: 14625
184.96/185.54 c #Conflicts: 326000 | #Constraints: 15625
184.96/185.54 c #Conflicts: 327000 | #Constraints: 16625
184.96/185.54 c #Conflicts: 328000 | #Constraints: 17625
184.96/185.54 c #Conflicts: 329000 | #Constraints: 18625
184.96/185.54 c #Conflicts: 330000 | #Constraints: 19625
184.96/185.54 c #Conflicts: 331000 | #Constraints: 20625
184.96/185.54 c #Conflicts: 332000 | #Constraints: 21625
184.96/185.54 c #Conflicts: 333000 | #Constraints: 22625
184.96/185.54 c INPROCESSING
184.96/185.54 c GARBAGE COLLECT
184.96/185.54 c #Conflicts: 334000 | #Constraints: 12227
184.96/185.54 c #Conflicts: 335000 | #Constraints: 13227
184.96/185.54 c #Conflicts: 336000 | #Constraints: 14227
184.96/185.54 c #Conflicts: 337000 | #Constraints: 15227
184.96/185.54 c #Conflicts: 338000 | #Constraints: 16227
184.96/185.54 c #Conflicts: 339000 | #Constraints: 17227
184.96/185.54 c #Conflicts: 340000 | #Constraints: 18227
184.96/185.54 c #Conflicts: 341000 | #Constraints: 19227
184.96/185.54 c #Conflicts: 342000 | #Constraints: 20227
184.96/185.54 c #Conflicts: 343000 | #Constraints: 21227
184.96/185.54 c #Conflicts: 344000 | #Constraints: 22227
184.96/185.54 c #Conflicts: 345000 | #Constraints: 23227
184.96/185.54 c INPROCESSING
184.96/185.54 c GARBAGE COLLECT
184.96/185.54 c #Conflicts: 346000 | #Constraints: 12626
184.96/185.54 c #Conflicts: 347000 | #Constraints: 13626
184.96/185.54 c #Conflicts: 348000 | #Constraints: 14626
184.96/185.54 c #Conflicts: 349000 | #Constraints: 15626
184.96/185.54 c #Conflicts: 350000 | #Constraints: 16626
184.96/185.54 c #Conflicts: 351000 | #Constraints: 17626
184.96/185.54 c #Conflicts: 352000 | #Constraints: 18626
184.96/185.54 c #Conflicts: 353000 | #Constraints: 19626
184.96/185.54 c #Conflicts: 354000 | #Constraints: 20626
184.96/185.54 c #Conflicts: 355000 | #Constraints: 21626
184.96/185.54 c #Conflicts: 356000 | #Constraints: 22626
184.96/185.54 c #Conflicts: 357000 | #Constraints: 23626
184.96/185.54 c INPROCESSING
184.96/185.54 c GARBAGE COLLECT
184.96/185.54 c #Conflicts: 358000 | #Constraints: 12826
184.96/185.54 c #Conflicts: 359000 | #Constraints: 13826
184.96/185.54 c #Conflicts: 360000 | #Constraints: 14826
184.96/185.54 c #Conflicts: 361000 | #Constraints: 15826
245.01/245.74 c #Conflicts: 362000 | #Constraints: 16826
245.01/245.74 c #Conflicts: 363000 | #Constraints: 17826
245.01/245.74 c #Conflicts: 364000 | #Constraints: 18826
245.01/245.74 c #Conflicts: 365000 | #Constraints: 19826
245.01/245.74 c #Conflicts: 366000 | #Constraints: 20826
245.01/245.74 c #Conflicts: 367000 | #Constraints: 21826
245.01/245.74 c #Conflicts: 368000 | #Constraints: 22826
245.01/245.74 c #Conflicts: 369000 | #Constraints: 23826
245.01/245.74 c INPROCESSING
245.01/245.74 c GARBAGE COLLECT
245.01/245.74 c #Conflicts: 370000 | #Constraints: 12823
245.01/245.74 c #Conflicts: 371000 | #Constraints: 13823
245.01/245.74 c #Conflicts: 372000 | #Constraints: 14823
245.01/245.74 c #Conflicts: 373000 | #Constraints: 15823
245.01/245.74 c #Conflicts: 374000 | #Constraints: 16823
245.01/245.74 c #Conflicts: 375000 | #Constraints: 17823
245.01/245.74 c #Conflicts: 376000 | #Constraints: 18823
245.01/245.74 c #Conflicts: 377000 | #Constraints: 19823
245.01/245.74 c #Conflicts: 378000 | #Constraints: 20823
245.01/245.74 c #Conflicts: 379000 | #Constraints: 21823
245.01/245.74 c #Conflicts: 380000 | #Constraints: 22823
245.01/245.74 c #Conflicts: 381000 | #Constraints: 23823
245.01/245.74 c INPROCESSING
245.01/245.74 c GARBAGE COLLECT
245.01/245.74 c #Conflicts: 382000 | #Constraints: 12620
245.01/245.74 c #Conflicts: 383000 | #Constraints: 13620
245.01/245.74 c #Conflicts: 384000 | #Constraints: 14620
245.01/245.74 c #Conflicts: 385000 | #Constraints: 15620
245.01/245.74 c #Conflicts: 386000 | #Constraints: 16620
245.01/245.74 c #Conflicts: 387000 | #Constraints: 17620
245.01/245.74 c #Conflicts: 388000 | #Constraints: 18620
245.01/245.74 c #Conflicts: 389000 | #Constraints: 19620
245.01/245.74 c #Conflicts: 390000 | #Constraints: 20620
245.01/245.74 c #Conflicts: 391000 | #Constraints: 21620
245.01/245.74 c #Conflicts: 392000 | #Constraints: 22620
245.01/245.74 c #Conflicts: 393000 | #Constraints: 23620
245.01/245.74 c #Conflicts: 394000 | #Constraints: 24620
245.01/245.74 c INPROCESSING
245.01/245.74 c GARBAGE COLLECT
245.01/245.74 c #Conflicts: 395000 | #Constraints: 13220
245.01/245.74 c #Conflicts: 396000 | #Constraints: 14220
245.01/245.74 c #Conflicts: 397000 | #Constraints: 15220
245.01/245.74 c #Conflicts: 398000 | #Constraints: 16220
245.01/245.74 c #Conflicts: 399000 | #Constraints: 17220
245.01/245.74 c #Conflicts: 400000 | #Constraints: 18220
245.01/245.74 c #Conflicts: 401000 | #Constraints: 19220
245.01/245.74 c #Conflicts: 402000 | #Constraints: 20220
245.01/245.74 c #Conflicts: 403000 | #Constraints: 21220
245.01/245.74 c #Conflicts: 404000 | #Constraints: 22220
245.01/245.74 c #Conflicts: 405000 | #Constraints: 23220
245.01/245.74 c #Conflicts: 406000 | #Constraints: 24220
245.01/245.74 c #Conflicts: 407000 | #Constraints: 25220
245.01/245.74 c INPROCESSING
245.01/245.74 c GARBAGE COLLECT
245.01/245.74 c #Conflicts: 408000 | #Constraints: 13621
245.01/245.74 c #Conflicts: 409000 | #Constraints: 14621
245.01/245.74 c #Conflicts: 410000 | #Constraints: 15621
245.01/245.74 c #Conflicts: 411000 | #Constraints: 16621
245.01/245.74 c #Conflicts: 412000 | #Constraints: 17621
245.01/245.74 c #Conflicts: 413000 | #Constraints: 18621
245.01/245.74 c #Conflicts: 414000 | #Constraints: 19621
245.01/245.74 c #Conflicts: 415000 | #Constraints: 20621
245.01/245.74 c #Conflicts: 416000 | #Constraints: 21621
245.01/245.74 c #Conflicts: 417000 | #Constraints: 22621
245.01/245.74 c #Conflicts: 418000 | #Constraints: 23621
245.01/245.74 c #Conflicts: 419000 | #Constraints: 24621
245.01/245.74 c #Conflicts: 420000 | #Constraints: 25621
245.01/245.74 c INPROCESSING
245.01/245.74 c GARBAGE COLLECT
245.01/245.74 c #Conflicts: 421000 | #Constraints: 13822
245.01/245.74 c #Conflicts: 422000 | #Constraints: 14822
245.01/245.74 c #Conflicts: 423000 | #Constraints: 15822
245.01/245.74 c #Conflicts: 424000 | #Constraints: 16822
245.01/245.74 c #Conflicts: 425000 | #Constraints: 17822
245.01/245.74 c #Conflicts: 426000 | #Constraints: 18822
245.01/245.74 c #Conflicts: 427000 | #Constraints: 19822
245.01/245.74 c #Conflicts: 428000 | #Constraints: 20822
245.01/245.74 c #Conflicts: 429000 | #Constraints: 21822
245.01/245.74 c #Conflicts: 430000 | #Constraints: 22822
245.01/245.74 c #Conflicts: 431000 | #Constraints: 23822
245.01/245.74 c #Conflicts: 432000 | #Constraints: 24822
245.01/245.74 c #Conflicts: 433000 | #Constraints: 25822
245.01/245.74 c INPROCESSING
245.01/245.74 c GARBAGE COLLECT
245.01/245.74 c #Conflicts: 434000 | #Constraints: 13828
245.01/245.74 c #Conflicts: 435000 | #Constraints: 14828
245.01/245.74 c #Conflicts: 436000 | #Constraints: 15828
317.92/318.87 c #Conflicts: 437000 | #Constraints: 16828
317.92/318.87 c #Conflicts: 438000 | #Constraints: 17828
317.92/318.87 c #Conflicts: 439000 | #Constraints: 18828
317.92/318.87 c #Conflicts: 440000 | #Constraints: 19828
317.92/318.87 c #Conflicts: 441000 | #Constraints: 20828
317.92/318.87 c #Conflicts: 442000 | #Constraints: 21828
317.92/318.87 c #Conflicts: 443000 | #Constraints: 22828
317.92/318.87 c #Conflicts: 444000 | #Constraints: 23828
317.92/318.87 c #Conflicts: 445000 | #Constraints: 24828
317.92/318.87 c #Conflicts: 446000 | #Constraints: 25828
317.92/318.87 c INPROCESSING
317.92/318.87 c GARBAGE COLLECT
317.92/318.87 c #Conflicts: 447000 | #Constraints: 13629
317.92/318.87 c #Conflicts: 448000 | #Constraints: 14629
317.92/318.87 c #Conflicts: 449000 | #Constraints: 15629
317.92/318.87 c #Conflicts: 450000 | #Constraints: 16629
317.92/318.87 c #Conflicts: 451000 | #Constraints: 17629
317.92/318.87 c #Conflicts: 452000 | #Constraints: 18629
317.92/318.87 c #Conflicts: 453000 | #Constraints: 19629
317.92/318.87 c #Conflicts: 454000 | #Constraints: 20629
317.92/318.87 c #Conflicts: 455000 | #Constraints: 21629
317.92/318.87 c #Conflicts: 456000 | #Constraints: 22629
317.92/318.87 c #Conflicts: 457000 | #Constraints: 23629
317.92/318.87 c #Conflicts: 458000 | #Constraints: 24629
317.92/318.87 c #Conflicts: 459000 | #Constraints: 25629
317.92/318.87 c #Conflicts: 460000 | #Constraints: 26629
317.92/318.87 c INPROCESSING
317.92/318.87 c GARBAGE COLLECT
317.92/318.87 c #Conflicts: 461000 | #Constraints: 14229
317.92/318.87 c #Conflicts: 462000 | #Constraints: 15229
317.92/318.87 c #Conflicts: 463000 | #Constraints: 16229
317.92/318.87 c #Conflicts: 464000 | #Constraints: 17229
317.92/318.87 c #Conflicts: 465000 | #Constraints: 18229
317.92/318.87 c #Conflicts: 466000 | #Constraints: 19229
317.92/318.87 c #Conflicts: 467000 | #Constraints: 20229
317.92/318.87 c #Conflicts: 468000 | #Constraints: 21229
317.92/318.87 c #Conflicts: 469000 | #Constraints: 22229
317.92/318.87 c #Conflicts: 470000 | #Constraints: 23229
317.92/318.87 c #Conflicts: 471000 | #Constraints: 24229
317.92/318.87 c #Conflicts: 472000 | #Constraints: 25229
317.92/318.87 c #Conflicts: 473000 | #Constraints: 26229
317.92/318.87 c #Conflicts: 474000 | #Constraints: 27229
317.92/318.87 c INPROCESSING
317.92/318.87 c GARBAGE COLLECT
317.92/318.87 c #Conflicts: 475000 | #Constraints: 14630
317.92/318.87 c #Conflicts: 476000 | #Constraints: 15630
317.92/318.87 c #Conflicts: 477000 | #Constraints: 16630
317.92/318.87 c #Conflicts: 478000 | #Constraints: 17630
317.92/318.87 c #Conflicts: 479000 | #Constraints: 18630
317.92/318.87 c #Conflicts: 480000 | #Constraints: 19630
317.92/318.87 c #Conflicts: 481000 | #Constraints: 20630
317.92/318.87 c #Conflicts: 482000 | #Constraints: 21630
317.92/318.87 c #Conflicts: 483000 | #Constraints: 22630
317.92/318.87 c #Conflicts: 484000 | #Constraints: 23630
317.92/318.87 c #Conflicts: 485000 | #Constraints: 24630
317.92/318.87 c #Conflicts: 486000 | #Constraints: 25630
317.92/318.87 c #Conflicts: 487000 | #Constraints: 26630
317.92/318.87 c #Conflicts: 488000 | #Constraints: 27630
317.92/318.87 c INPROCESSING
317.92/318.87 c GARBAGE COLLECT
317.92/318.87 c #Conflicts: 489000 | #Constraints: 14826
317.92/318.87 c #Conflicts: 490000 | #Constraints: 15826
317.92/318.87 c #Conflicts: 491000 | #Constraints: 16826
317.92/318.87 c #Conflicts: 492000 | #Constraints: 17826
317.92/318.87 c #Conflicts: 493000 | #Constraints: 18826
317.92/318.87 c #Conflicts: 494000 | #Constraints: 19826
317.92/318.87 c #Conflicts: 495000 | #Constraints: 20826
317.92/318.87 c #Conflicts: 496000 | #Constraints: 21826
317.92/318.87 c #Conflicts: 497000 | #Constraints: 22826
317.92/318.87 c #Conflicts: 498000 | #Constraints: 23826
317.92/318.87 c #Conflicts: 499000 | #Constraints: 24826
317.92/318.87 c #Conflicts: 500000 | #Constraints: 25826
317.92/318.87 c #Conflicts: 501000 | #Constraints: 26826
317.92/318.87 c #Conflicts: 502000 | #Constraints: 27826
317.92/318.87 c INPROCESSING
317.92/318.87 c GARBAGE COLLECT
317.92/318.87 c #Conflicts: 503000 | #Constraints: 14828
317.92/318.87 c #Conflicts: 504000 | #Constraints: 15828
317.92/318.87 c #Conflicts: 505000 | #Constraints: 16828
317.92/318.87 c #Conflicts: 506000 | #Constraints: 17828
317.92/318.87 c #Conflicts: 507000 | #Constraints: 18828
317.92/318.87 c #Conflicts: 508000 | #Constraints: 19828
317.92/318.87 c #Conflicts: 509000 | #Constraints: 20828
317.92/318.87 c #Conflicts: 510000 | #Constraints: 21828
317.92/318.87 c #Conflicts: 511000 | #Constraints: 22828
317.92/318.87 c #Conflicts: 512000 | #Constraints: 23828
383.65/384.71 c #Conflicts: 513000 | #Constraints: 24828
383.65/384.71 c #Conflicts: 514000 | #Constraints: 25828
383.65/384.71 c #Conflicts: 515000 | #Constraints: 26828
383.65/384.71 c #Conflicts: 516000 | #Constraints: 27828
383.65/384.71 c INPROCESSING
383.65/384.71 c GARBAGE COLLECT
383.65/384.71 c #Conflicts: 517000 | #Constraints: 14628
383.65/384.71 c #Conflicts: 518000 | #Constraints: 15628
383.65/384.71 c #Conflicts: 519000 | #Constraints: 16628
383.65/384.71 c #Conflicts: 520000 | #Constraints: 17628
383.65/384.71 c #Conflicts: 521000 | #Constraints: 18628
383.65/384.71 c #Conflicts: 522000 | #Constraints: 19628
383.65/384.71 c #Conflicts: 523000 | #Constraints: 20628
383.65/384.71 c #Conflicts: 524000 | #Constraints: 21628
383.65/384.71 c #Conflicts: 525000 | #Constraints: 22628
383.65/384.71 c #Conflicts: 526000 | #Constraints: 23628
383.65/384.71 c #Conflicts: 527000 | #Constraints: 24628
383.65/384.71 c #Conflicts: 528000 | #Constraints: 25628
383.65/384.71 c #Conflicts: 529000 | #Constraints: 26628
383.65/384.71 c #Conflicts: 530000 | #Constraints: 27628
383.65/384.71 c #Conflicts: 531000 | #Constraints: 28628
383.65/384.71 c INPROCESSING
383.65/384.71 c GARBAGE COLLECT
383.65/384.71 c #Conflicts: 532000 | #Constraints: 15225
383.65/384.71 c #Conflicts: 533000 | #Constraints: 16225
383.65/384.71 c #Conflicts: 534000 | #Constraints: 17225
383.65/384.71 c #Conflicts: 535000 | #Constraints: 18225
383.65/384.71 c #Conflicts: 536000 | #Constraints: 19225
383.65/384.71 c #Conflicts: 537000 | #Constraints: 20225
383.65/384.71 c #Conflicts: 538000 | #Constraints: 21225
383.65/384.71 c #Conflicts: 539000 | #Constraints: 22225
383.65/384.71 c #Conflicts: 540000 | #Constraints: 23225
383.65/384.71 c #Conflicts: 541000 | #Constraints: 24225
383.65/384.71 c #Conflicts: 542000 | #Constraints: 25225
383.65/384.71 c #Conflicts: 543000 | #Constraints: 26225
383.65/384.71 c #Conflicts: 544000 | #Constraints: 27225
383.65/384.71 c #Conflicts: 545000 | #Constraints: 28225
383.65/384.71 c #Conflicts: 546000 | #Constraints: 29225
383.65/384.71 c INPROCESSING
383.65/384.71 c GARBAGE COLLECT
383.65/384.71 c #Conflicts: 547000 | #Constraints: 15623
383.65/384.71 c #Conflicts: 548000 | #Constraints: 16623
383.65/384.71 c #Conflicts: 549000 | #Constraints: 17623
383.65/384.71 c #Conflicts: 550000 | #Constraints: 18623
383.65/384.71 c #Conflicts: 551000 | #Constraints: 19623
383.65/384.71 c #Conflicts: 552000 | #Constraints: 20623
383.65/384.71 c #Conflicts: 553000 | #Constraints: 21623
383.65/384.71 c #Conflicts: 554000 | #Constraints: 22623
383.65/384.71 c #Conflicts: 555000 | #Constraints: 23623
383.65/384.71 c #Conflicts: 556000 | #Constraints: 24623
383.65/384.71 c #Conflicts: 557000 | #Constraints: 25623
383.65/384.71 c #Conflicts: 558000 | #Constraints: 26623
383.65/384.71 c #Conflicts: 559000 | #Constraints: 27623
383.65/384.71 c #Conflicts: 560000 | #Constraints: 28623
383.65/384.71 c #Conflicts: 561000 | #Constraints: 29623
383.65/384.71 c INPROCESSING
383.65/384.71 c GARBAGE COLLECT
383.65/384.71 c #Conflicts: 562000 | #Constraints: 15823
383.65/384.71 c #Conflicts: 563000 | #Constraints: 16823
383.65/384.71 c #Conflicts: 564000 | #Constraints: 17823
383.65/384.71 c #Conflicts: 565000 | #Constraints: 18823
383.65/384.71 c #Conflicts: 566000 | #Constraints: 19823
383.65/384.71 c #Conflicts: 567000 | #Constraints: 20823
383.65/384.71 c #Conflicts: 568000 | #Constraints: 21823
383.65/384.71 c #Conflicts: 569000 | #Constraints: 22823
383.65/384.71 c #Conflicts: 570000 | #Constraints: 23823
383.65/384.71 c #Conflicts: 571000 | #Constraints: 24823
383.65/384.71 c #Conflicts: 572000 | #Constraints: 25823
383.65/384.71 c #Conflicts: 573000 | #Constraints: 26823
383.65/384.71 c #Conflicts: 574000 | #Constraints: 27823
383.65/384.71 c #Conflicts: 575000 | #Constraints: 28823
383.65/384.71 c #Conflicts: 576000 | #Constraints: 29823
383.65/384.71 c INPROCESSING
383.65/384.71 c GARBAGE COLLECT
383.65/384.71 c #Conflicts: 577000 | #Constraints: 15824
383.65/384.71 c #Conflicts: 578000 | #Constraints: 16824
383.65/384.71 c #Conflicts: 579000 | #Constraints: 17824
383.65/384.71 c #Conflicts: 580000 | #Constraints: 18824
383.65/384.71 c #Conflicts: 581000 | #Constraints: 19824
383.65/384.71 c #Conflicts: 582000 | #Constraints: 20824
383.65/384.71 c #Conflicts: 583000 | #Constraints: 21824
383.65/384.71 c #Conflicts: 584000 | #Constraints: 22824
383.65/384.71 c #Conflicts: 585000 | #Constraints: 23824
383.65/384.71 c #Conflicts: 586000 | #Constraints: 24824
383.65/384.71 c #Conflicts: 587000 | #Constraints: 25824
383.65/384.71 c #Conflicts: 588000 | #Constraints: 26824
453.97/455.23 c #Conflicts: 589000 | #Constraints: 27824
453.97/455.23 c #Conflicts: 590000 | #Constraints: 28824
453.97/455.23 c #Conflicts: 591000 | #Constraints: 29824
453.97/455.23 c INPROCESSING
453.97/455.23 c GARBAGE COLLECT
453.97/455.23 c #Conflicts: 592000 | #Constraints: 15629
453.97/455.23 c #Conflicts: 593000 | #Constraints: 16629
453.97/455.23 c #Conflicts: 594000 | #Constraints: 17629
453.97/455.23 c #Conflicts: 595000 | #Constraints: 18629
453.97/455.23 c #Conflicts: 596000 | #Constraints: 19629
453.97/455.23 c #Conflicts: 597000 | #Constraints: 20629
453.97/455.23 c #Conflicts: 598000 | #Constraints: 21629
453.97/455.23 c #Conflicts: 599000 | #Constraints: 22629
453.97/455.23 c #Conflicts: 600000 | #Constraints: 23629
453.97/455.23 c #Conflicts: 601000 | #Constraints: 24629
453.97/455.23 c #Conflicts: 602000 | #Constraints: 25629
453.97/455.23 c #Conflicts: 603000 | #Constraints: 26629
453.97/455.23 c #Conflicts: 604000 | #Constraints: 27629
453.97/455.23 c #Conflicts: 605000 | #Constraints: 28629
453.97/455.23 c #Conflicts: 606000 | #Constraints: 29629
453.97/455.23 c #Conflicts: 607000 | #Constraints: 30629
453.97/455.23 c INPROCESSING
453.97/455.23 c GARBAGE COLLECT
453.97/455.23 c #Conflicts: 608000 | #Constraints: 16227
453.97/455.23 c #Conflicts: 609000 | #Constraints: 17227
453.97/455.23 c #Conflicts: 610000 | #Constraints: 18227
453.97/455.23 c #Conflicts: 611000 | #Constraints: 19227
453.97/455.23 c #Conflicts: 612000 | #Constraints: 20227
453.97/455.23 c #Conflicts: 613000 | #Constraints: 21227
453.97/455.23 c #Conflicts: 614000 | #Constraints: 22227
453.97/455.23 c #Conflicts: 615000 | #Constraints: 23227
453.97/455.23 c #Conflicts: 616000 | #Constraints: 24227
453.97/455.23 c #Conflicts: 617000 | #Constraints: 25227
453.97/455.23 c #Conflicts: 618000 | #Constraints: 26227
453.97/455.23 c #Conflicts: 619000 | #Constraints: 27227
453.97/455.23 c #Conflicts: 620000 | #Constraints: 28227
453.97/455.23 c #Conflicts: 621000 | #Constraints: 29227
453.97/455.23 c #Conflicts: 622000 | #Constraints: 30227
453.97/455.23 c #Conflicts: 623000 | #Constraints: 31227
453.97/455.23 c INPROCESSING
453.97/455.23 c GARBAGE COLLECT
453.97/455.23 c #Conflicts: 624000 | #Constraints: 16625
453.97/455.23 c #Conflicts: 625000 | #Constraints: 17625
453.97/455.23 c #Conflicts: 626000 | #Constraints: 18625
453.97/455.23 c #Conflicts: 627000 | #Constraints: 19625
453.97/455.23 c #Conflicts: 628000 | #Constraints: 20625
453.97/455.23 c #Conflicts: 629000 | #Constraints: 21625
453.97/455.23 c #Conflicts: 630000 | #Constraints: 22625
453.97/455.23 c #Conflicts: 631000 | #Constraints: 23625
453.97/455.23 c #Conflicts: 632000 | #Constraints: 24625
453.97/455.23 c #Conflicts: 633000 | #Constraints: 25625
453.97/455.23 c #Conflicts: 634000 | #Constraints: 26625
453.97/455.23 c #Conflicts: 635000 | #Constraints: 27625
453.97/455.23 c #Conflicts: 636000 | #Constraints: 28625
453.97/455.23 c #Conflicts: 637000 | #Constraints: 29625
453.97/455.23 c #Conflicts: 638000 | #Constraints: 30625
453.97/455.23 c #Conflicts: 639000 | #Constraints: 31625
453.97/455.23 c INPROCESSING
453.97/455.23 c GARBAGE COLLECT
453.97/455.23 c #Conflicts: 640000 | #Constraints: 16825
453.97/455.23 c #Conflicts: 641000 | #Constraints: 17825
453.97/455.23 c #Conflicts: 642000 | #Constraints: 18825
453.97/455.23 c #Conflicts: 643000 | #Constraints: 19825
453.97/455.23 c #Conflicts: 644000 | #Constraints: 20825
453.97/455.23 c #Conflicts: 645000 | #Constraints: 21825
453.97/455.23 c #Conflicts: 646000 | #Constraints: 22825
453.97/455.23 c #Conflicts: 647000 | #Constraints: 23825
453.97/455.23 c #Conflicts: 648000 | #Constraints: 24825
453.97/455.23 c #Conflicts: 649000 | #Constraints: 25825
453.97/455.23 c #Conflicts: 650000 | #Constraints: 26825
453.97/455.23 c #Conflicts: 651000 | #Constraints: 27825
453.97/455.23 c #Conflicts: 652000 | #Constraints: 28825
453.97/455.23 c #Conflicts: 653000 | #Constraints: 29825
453.97/455.23 c #Conflicts: 654000 | #Constraints: 30825
453.97/455.23 c #Conflicts: 655000 | #Constraints: 31825
453.97/455.23 c INPROCESSING
453.97/455.23 c GARBAGE COLLECT
453.97/455.23 c #Conflicts: 656000 | #Constraints: 16826
453.97/455.23 c #Conflicts: 657000 | #Constraints: 17826
453.97/455.23 c #Conflicts: 658000 | #Constraints: 18826
453.97/455.23 c #Conflicts: 659000 | #Constraints: 19826
453.97/455.23 c #Conflicts: 660000 | #Constraints: 20826
453.97/455.23 c #Conflicts: 661000 | #Constraints: 21826
453.97/455.23 c #Conflicts: 662000 | #Constraints: 22826
453.97/455.23 c #Conflicts: 663000 | #Constraints: 23826
530.27/531.78 c #Conflicts: 664000 | #Constraints: 24826
530.27/531.78 c #Conflicts: 665000 | #Constraints: 25826
530.27/531.78 c #Conflicts: 666000 | #Constraints: 26826
530.27/531.78 c #Conflicts: 667000 | #Constraints: 27826
530.27/531.78 c #Conflicts: 668000 | #Constraints: 28826
530.27/531.78 c #Conflicts: 669000 | #Constraints: 29826
530.27/531.78 c #Conflicts: 670000 | #Constraints: 30826
530.27/531.78 c #Conflicts: 671000 | #Constraints: 31826
530.27/531.78 c INPROCESSING
530.27/531.78 c GARBAGE COLLECT
530.27/531.78 c #Conflicts: 672000 | #Constraints: 16626
530.27/531.78 c #Conflicts: 673000 | #Constraints: 17626
530.27/531.78 c #Conflicts: 674000 | #Constraints: 18626
530.27/531.78 c #Conflicts: 675000 | #Constraints: 19626
530.27/531.78 c #Conflicts: 676000 | #Constraints: 20626
530.27/531.78 c #Conflicts: 677000 | #Constraints: 21626
530.27/531.78 c #Conflicts: 678000 | #Constraints: 22626
530.27/531.78 c #Conflicts: 679000 | #Constraints: 23626
530.27/531.78 c #Conflicts: 680000 | #Constraints: 24626
530.27/531.78 c #Conflicts: 681000 | #Constraints: 25626
530.27/531.78 c #Conflicts: 682000 | #Constraints: 26626
530.27/531.78 c #Conflicts: 683000 | #Constraints: 27626
530.27/531.78 c #Conflicts: 684000 | #Constraints: 28626
530.27/531.78 c #Conflicts: 685000 | #Constraints: 29626
530.27/531.78 c #Conflicts: 686000 | #Constraints: 30626
530.27/531.78 c #Conflicts: 687000 | #Constraints: 31626
530.27/531.78 c #Conflicts: 688000 | #Constraints: 32626
530.27/531.78 c INPROCESSING
530.27/531.78 c GARBAGE COLLECT
530.27/531.78 c #Conflicts: 689000 | #Constraints: 17224
530.27/531.78 c #Conflicts: 690000 | #Constraints: 18224
530.27/531.78 c #Conflicts: 691000 | #Constraints: 19224
530.27/531.78 c #Conflicts: 692000 | #Constraints: 20224
530.27/531.78 c #Conflicts: 693000 | #Constraints: 21224
530.27/531.78 c #Conflicts: 694000 | #Constraints: 22224
530.27/531.78 c #Conflicts: 695000 | #Constraints: 23224
530.27/531.78 c #Conflicts: 696000 | #Constraints: 24224
530.27/531.78 c #Conflicts: 697000 | #Constraints: 25224
530.27/531.78 c #Conflicts: 698000 | #Constraints: 26224
530.27/531.78 c #Conflicts: 699000 | #Constraints: 27224
530.27/531.78 c #Conflicts: 700000 | #Constraints: 28224
530.27/531.78 c #Conflicts: 701000 | #Constraints: 29224
530.27/531.78 c #Conflicts: 702000 | #Constraints: 30224
530.27/531.78 c #Conflicts: 703000 | #Constraints: 31224
530.27/531.78 c #Conflicts: 704000 | #Constraints: 32224
530.27/531.78 c #Conflicts: 705000 | #Constraints: 33224
530.27/531.78 c INPROCESSING
530.27/531.78 c GARBAGE COLLECT
530.27/531.78 c #Conflicts: 706000 | #Constraints: 17623
530.27/531.78 c #Conflicts: 707000 | #Constraints: 18623
530.27/531.78 c #Conflicts: 708000 | #Constraints: 19623
530.27/531.78 c #Conflicts: 709000 | #Constraints: 20623
530.27/531.78 c #Conflicts: 710000 | #Constraints: 21623
530.27/531.78 c #Conflicts: 711000 | #Constraints: 22623
530.27/531.78 c #Conflicts: 712000 | #Constraints: 23623
530.27/531.78 c #Conflicts: 713000 | #Constraints: 24623
530.27/531.78 c #Conflicts: 714000 | #Constraints: 25623
530.27/531.78 c #Conflicts: 715000 | #Constraints: 26623
530.27/531.78 c #Conflicts: 716000 | #Constraints: 27623
530.27/531.78 c #Conflicts: 717000 | #Constraints: 28623
530.27/531.78 c #Conflicts: 718000 | #Constraints: 29623
530.27/531.78 c #Conflicts: 719000 | #Constraints: 30623
530.27/531.78 c #Conflicts: 720000 | #Constraints: 31623
530.27/531.78 c #Conflicts: 721000 | #Constraints: 32623
530.27/531.78 c #Conflicts: 722000 | #Constraints: 33623
530.27/531.78 c INPROCESSING
530.27/531.78 c GARBAGE COLLECT
530.27/531.78 c #Conflicts: 723000 | #Constraints: 17823
530.27/531.78 c #Conflicts: 724000 | #Constraints: 18823
530.27/531.78 c #Conflicts: 725000 | #Constraints: 19823
530.27/531.78 c #Conflicts: 726000 | #Constraints: 20823
530.27/531.78 c #Conflicts: 727000 | #Constraints: 21823
530.27/531.78 c #Conflicts: 728000 | #Constraints: 22823
530.27/531.78 c #Conflicts: 729000 | #Constraints: 23823
530.27/531.78 c #Conflicts: 730000 | #Constraints: 24823
530.27/531.78 c #Conflicts: 731000 | #Constraints: 25823
530.27/531.78 c #Conflicts: 732000 | #Constraints: 26823
530.27/531.78 c #Conflicts: 733000 | #Constraints: 27823
530.27/531.78 c #Conflicts: 734000 | #Constraints: 28823
530.27/531.78 c #Conflicts: 735000 | #Constraints: 29823
530.27/531.78 c #Conflicts: 736000 | #Constraints: 30823
530.27/531.78 c #Conflicts: 737000 | #Constraints: 31823
530.27/531.78 c #Conflicts: 738000 | #Constraints: 32823
530.27/531.78 c #Conflicts: 739000 | #Constraints: 33823
608.56/610.23 c INPROCESSING
608.56/610.23 c GARBAGE COLLECT
608.56/610.23 c #Conflicts: 740000 | #Constraints: 17828
608.56/610.23 c #Conflicts: 741000 | #Constraints: 18828
608.56/610.23 c #Conflicts: 742000 | #Constraints: 19828
608.56/610.23 c #Conflicts: 743000 | #Constraints: 20828
608.56/610.23 c #Conflicts: 744000 | #Constraints: 21828
608.56/610.23 c #Conflicts: 745000 | #Constraints: 22828
608.56/610.23 c #Conflicts: 746000 | #Constraints: 23828
608.56/610.23 c #Conflicts: 747000 | #Constraints: 24828
608.56/610.23 c #Conflicts: 748000 | #Constraints: 25828
608.56/610.23 c #Conflicts: 749000 | #Constraints: 26828
608.56/610.23 c #Conflicts: 750000 | #Constraints: 27828
608.56/610.23 c #Conflicts: 751000 | #Constraints: 28828
608.56/610.23 c #Conflicts: 752000 | #Constraints: 29828
608.56/610.23 c #Conflicts: 753000 | #Constraints: 30828
608.56/610.23 c #Conflicts: 754000 | #Constraints: 31828
608.56/610.23 c #Conflicts: 755000 | #Constraints: 32828
608.56/610.23 c #Conflicts: 756000 | #Constraints: 33828
608.56/610.23 c INPROCESSING
608.56/610.23 c GARBAGE COLLECT
608.56/610.23 c #Conflicts: 757000 | #Constraints: 17625
608.56/610.23 c #Conflicts: 758000 | #Constraints: 18625
608.56/610.23 c #Conflicts: 759000 | #Constraints: 19625
608.56/610.23 c #Conflicts: 760000 | #Constraints: 20625
608.56/610.23 c #Conflicts: 761000 | #Constraints: 21625
608.56/610.23 c #Conflicts: 762000 | #Constraints: 22625
608.56/610.23 c #Conflicts: 763000 | #Constraints: 23625
608.56/610.23 c #Conflicts: 764000 | #Constraints: 24625
608.56/610.23 c #Conflicts: 765000 | #Constraints: 25625
608.56/610.23 c #Conflicts: 766000 | #Constraints: 26625
608.56/610.23 c #Conflicts: 767000 | #Constraints: 27625
608.56/610.23 c #Conflicts: 768000 | #Constraints: 28625
608.56/610.23 c #Conflicts: 769000 | #Constraints: 29625
608.56/610.23 c #Conflicts: 770000 | #Constraints: 30625
608.56/610.23 c #Conflicts: 771000 | #Constraints: 31625
608.56/610.23 c #Conflicts: 772000 | #Constraints: 32625
608.56/610.23 c #Conflicts: 773000 | #Constraints: 33625
608.56/610.23 c #Conflicts: 774000 | #Constraints: 34625
608.56/610.23 c INPROCESSING
608.56/610.23 c GARBAGE COLLECT
608.56/610.23 c #Conflicts: 775000 | #Constraints: 18222
608.56/610.23 c #Conflicts: 776000 | #Constraints: 19222
608.56/610.23 c #Conflicts: 777000 | #Constraints: 20222
608.56/610.23 c #Conflicts: 778000 | #Constraints: 21222
608.56/610.23 c #Conflicts: 779000 | #Constraints: 22222
608.56/610.23 c #Conflicts: 780000 | #Constraints: 23222
608.56/610.23 c #Conflicts: 781000 | #Constraints: 24222
608.56/610.23 c #Conflicts: 782000 | #Constraints: 25222
608.56/610.23 c #Conflicts: 783000 | #Constraints: 26222
608.56/610.23 c #Conflicts: 784000 | #Constraints: 27222
608.56/610.23 c #Conflicts: 785000 | #Constraints: 28222
608.56/610.23 c #Conflicts: 786000 | #Constraints: 29222
608.56/610.23 c #Conflicts: 787000 | #Constraints: 30222
608.56/610.23 c #Conflicts: 788000 | #Constraints: 31222
608.56/610.23 c #Conflicts: 789000 | #Constraints: 32222
608.56/610.23 c #Conflicts: 790000 | #Constraints: 33222
608.56/610.23 c #Conflicts: 791000 | #Constraints: 34222
608.56/610.23 c #Conflicts: 792000 | #Constraints: 35222
608.56/610.23 c INPROCESSING
608.56/610.23 c GARBAGE COLLECT
608.56/610.23 c #Conflicts: 793000 | #Constraints: 18624
608.56/610.23 c #Conflicts: 794000 | #Constraints: 19624
608.56/610.23 c #Conflicts: 795000 | #Constraints: 20624
608.56/610.23 c #Conflicts: 796000 | #Constraints: 21624
608.56/610.23 c #Conflicts: 797000 | #Constraints: 22624
608.56/610.23 c #Conflicts: 798000 | #Constraints: 23624
608.56/610.23 c #Conflicts: 799000 | #Constraints: 24624
608.56/610.23 c #Conflicts: 800000 | #Constraints: 25624
608.56/610.23 c #Conflicts: 801000 | #Constraints: 26624
608.56/610.23 c #Conflicts: 802000 | #Constraints: 27624
608.56/610.23 c #Conflicts: 803000 | #Constraints: 28624
608.56/610.23 c #Conflicts: 804000 | #Constraints: 29624
608.56/610.23 c #Conflicts: 805000 | #Constraints: 30624
608.56/610.23 c #Conflicts: 806000 | #Constraints: 31624
608.56/610.23 c #Conflicts: 807000 | #Constraints: 32624
608.56/610.23 c #Conflicts: 808000 | #Constraints: 33624
608.56/610.23 c #Conflicts: 809000 | #Constraints: 34624
608.56/610.23 c #Conflicts: 810000 | #Constraints: 35624
608.56/610.23 c INPROCESSING
608.56/610.23 c GARBAGE COLLECT
608.56/610.23 c #Conflicts: 811000 | #Constraints: 18825
608.56/610.23 c #Conflicts: 812000 | #Constraints: 19825
608.56/610.23 c #Conflicts: 813000 | #Constraints: 20825
608.56/610.23 c #Conflicts: 814000 | #Constraints: 21825
608.56/610.23 c #Conflicts: 815000 | #Constraints: 22825
696.24/698.14 c #Conflicts: 816000 | #Constraints: 23825
696.24/698.14 c #Conflicts: 817000 | #Constraints: 24825
696.24/698.14 c #Conflicts: 818000 | #Constraints: 25825
696.24/698.14 c #Conflicts: 819000 | #Constraints: 26825
696.24/698.14 c #Conflicts: 820000 | #Constraints: 27825
696.24/698.14 c #Conflicts: 821000 | #Constraints: 28825
696.24/698.14 c #Conflicts: 822000 | #Constraints: 29825
696.24/698.14 c #Conflicts: 823000 | #Constraints: 30825
696.24/698.14 c #Conflicts: 824000 | #Constraints: 31825
696.24/698.14 c #Conflicts: 825000 | #Constraints: 32825
696.24/698.14 c #Conflicts: 826000 | #Constraints: 33825
696.24/698.14 c #Conflicts: 827000 | #Constraints: 34825
696.24/698.14 c #Conflicts: 828000 | #Constraints: 35825
696.24/698.14 c INPROCESSING
696.24/698.14 c GARBAGE COLLECT
696.24/698.14 c #Conflicts: 829000 | #Constraints: 18827
696.24/698.14 c #Conflicts: 830000 | #Constraints: 19827
696.24/698.14 c #Conflicts: 831000 | #Constraints: 20827
696.24/698.14 c #Conflicts: 832000 | #Constraints: 21827
696.24/698.14 c #Conflicts: 833000 | #Constraints: 22827
696.24/698.14 c #Conflicts: 834000 | #Constraints: 23827
696.24/698.14 c #Conflicts: 835000 | #Constraints: 24827
696.24/698.14 c #Conflicts: 836000 | #Constraints: 25827
696.24/698.14 c #Conflicts: 837000 | #Constraints: 26827
696.24/698.14 c #Conflicts: 838000 | #Constraints: 27827
696.24/698.14 c #Conflicts: 839000 | #Constraints: 28827
696.24/698.14 c #Conflicts: 840000 | #Constraints: 29827
696.24/698.14 c #Conflicts: 841000 | #Constraints: 30827
696.24/698.14 c #Conflicts: 842000 | #Constraints: 31827
696.24/698.14 c #Conflicts: 843000 | #Constraints: 32827
696.24/698.14 c #Conflicts: 844000 | #Constraints: 33827
696.24/698.14 c #Conflicts: 845000 | #Constraints: 34827
696.24/698.14 c #Conflicts: 846000 | #Constraints: 35827
696.24/698.14 c INPROCESSING
696.24/698.14 c GARBAGE COLLECT
696.24/698.14 c #Conflicts: 847000 | #Constraints: 18629
696.24/698.14 c #Conflicts: 848000 | #Constraints: 19629
696.24/698.14 c #Conflicts: 849000 | #Constraints: 20629
696.24/698.14 c #Conflicts: 850000 | #Constraints: 21629
696.24/698.14 c #Conflicts: 851000 | #Constraints: 22629
696.24/698.14 c #Conflicts: 852000 | #Constraints: 23629
696.24/698.14 c #Conflicts: 853000 | #Constraints: 24629
696.24/698.14 c #Conflicts: 854000 | #Constraints: 25629
696.24/698.14 c #Conflicts: 855000 | #Constraints: 26629
696.24/698.14 c #Conflicts: 856000 | #Constraints: 27629
696.24/698.14 c #Conflicts: 857000 | #Constraints: 28629
696.24/698.14 c #Conflicts: 858000 | #Constraints: 29629
696.24/698.14 c #Conflicts: 859000 | #Constraints: 30629
696.24/698.14 c #Conflicts: 860000 | #Constraints: 31629
696.24/698.14 c #Conflicts: 861000 | #Constraints: 32629
696.24/698.14 c #Conflicts: 862000 | #Constraints: 33629
696.24/698.14 c #Conflicts: 863000 | #Constraints: 34629
696.24/698.14 c #Conflicts: 864000 | #Constraints: 35629
696.24/698.14 c #Conflicts: 865000 | #Constraints: 36629
696.24/698.14 c INPROCESSING
696.24/698.14 c GARBAGE COLLECT
696.24/698.14 c #Conflicts: 866000 | #Constraints: 19225
696.24/698.14 c #Conflicts: 867000 | #Constraints: 20225
696.24/698.14 c #Conflicts: 868000 | #Constraints: 21225
696.24/698.14 c #Conflicts: 869000 | #Constraints: 22225
696.24/698.14 c #Conflicts: 870000 | #Constraints: 23225
696.24/698.14 c #Conflicts: 871000 | #Constraints: 24225
696.24/698.14 c #Conflicts: 872000 | #Constraints: 25225
696.24/698.14 c #Conflicts: 873000 | #Constraints: 26225
696.24/698.14 c #Conflicts: 874000 | #Constraints: 27225
696.24/698.14 c #Conflicts: 875000 | #Constraints: 28225
696.24/698.14 c #Conflicts: 876000 | #Constraints: 29225
696.24/698.14 c #Conflicts: 877000 | #Constraints: 30225
696.24/698.14 c #Conflicts: 878000 | #Constraints: 31225
696.24/698.14 c #Conflicts: 879000 | #Constraints: 32225
696.24/698.14 c #Conflicts: 880000 | #Constraints: 33225
696.24/698.14 c #Conflicts: 881000 | #Constraints: 34225
696.24/698.14 c #Conflicts: 882000 | #Constraints: 35225
696.24/698.14 c #Conflicts: 883000 | #Constraints: 36225
696.24/698.14 c #Conflicts: 884000 | #Constraints: 37225
696.24/698.14 c INPROCESSING
696.24/698.14 c GARBAGE COLLECT
696.24/698.14 c #Conflicts: 885000 | #Constraints: 19622
696.24/698.14 c #Conflicts: 886000 | #Constraints: 20622
696.24/698.14 c #Conflicts: 887000 | #Constraints: 21622
696.24/698.14 c #Conflicts: 888000 | #Constraints: 22622
696.24/698.14 c #Conflicts: 889000 | #Constraints: 23622
696.24/698.14 c #Conflicts: 890000 | #Constraints: 24622
696.24/698.14 c #Conflicts: 891000 | #Constraints: 25622
785.48/787.62 c #Conflicts: 892000 | #Constraints: 26622
785.48/787.62 c #Conflicts: 893000 | #Constraints: 27622
785.48/787.62 c #Conflicts: 894000 | #Constraints: 28622
785.48/787.62 c #Conflicts: 895000 | #Constraints: 29622
785.48/787.62 c #Conflicts: 896000 | #Constraints: 30622
785.48/787.62 c #Conflicts: 897000 | #Constraints: 31622
785.48/787.62 c #Conflicts: 898000 | #Constraints: 32622
785.48/787.62 c #Conflicts: 899000 | #Constraints: 33622
785.48/787.62 c #Conflicts: 900000 | #Constraints: 34622
785.48/787.62 c #Conflicts: 901000 | #Constraints: 35622
785.48/787.62 c #Conflicts: 902000 | #Constraints: 36622
785.48/787.62 c #Conflicts: 903000 | #Constraints: 37622
785.48/787.62 c INPROCESSING
785.48/787.62 c GARBAGE COLLECT
785.48/787.62 c #Conflicts: 904000 | #Constraints: 19821
785.48/787.62 c #Conflicts: 905000 | #Constraints: 20821
785.48/787.62 c #Conflicts: 906000 | #Constraints: 21821
785.48/787.62 c #Conflicts: 907000 | #Constraints: 22821
785.48/787.62 c #Conflicts: 908000 | #Constraints: 23821
785.48/787.62 c #Conflicts: 909000 | #Constraints: 24821
785.48/787.62 c #Conflicts: 910000 | #Constraints: 25821
785.48/787.62 c #Conflicts: 911000 | #Constraints: 26821
785.48/787.62 c #Conflicts: 912000 | #Constraints: 27821
785.48/787.62 c #Conflicts: 913000 | #Constraints: 28821
785.48/787.62 c #Conflicts: 914000 | #Constraints: 29821
785.48/787.62 c #Conflicts: 915000 | #Constraints: 30821
785.48/787.62 c #Conflicts: 916000 | #Constraints: 31821
785.48/787.62 c #Conflicts: 917000 | #Constraints: 32821
785.48/787.62 c #Conflicts: 918000 | #Constraints: 33821
785.48/787.62 c #Conflicts: 919000 | #Constraints: 34821
785.48/787.62 c #Conflicts: 920000 | #Constraints: 35821
785.48/787.62 c #Conflicts: 921000 | #Constraints: 36821
785.48/787.62 c #Conflicts: 922000 | #Constraints: 37821
785.48/787.62 c INPROCESSING
785.48/787.62 c GARBAGE COLLECT
785.48/787.62 c #Conflicts: 923000 | #Constraints: 19821
785.48/787.62 c #Conflicts: 924000 | #Constraints: 20821
785.48/787.62 c #Conflicts: 925000 | #Constraints: 21821
785.48/787.62 c #Conflicts: 926000 | #Constraints: 22821
785.48/787.62 c #Conflicts: 927000 | #Constraints: 23821
785.48/787.62 c #Conflicts: 928000 | #Constraints: 24821
785.48/787.62 c #Conflicts: 929000 | #Constraints: 25821
785.48/787.62 c #Conflicts: 930000 | #Constraints: 26821
785.48/787.62 c #Conflicts: 931000 | #Constraints: 27821
785.48/787.62 c #Conflicts: 932000 | #Constraints: 28821
785.48/787.62 c #Conflicts: 933000 | #Constraints: 29821
785.48/787.62 c #Conflicts: 934000 | #Constraints: 30821
785.48/787.62 c #Conflicts: 935000 | #Constraints: 31821
785.48/787.62 c #Conflicts: 936000 | #Constraints: 32821
785.48/787.62 c #Conflicts: 937000 | #Constraints: 33821
785.48/787.62 c #Conflicts: 938000 | #Constraints: 34821
785.48/787.62 c #Conflicts: 939000 | #Constraints: 35821
785.48/787.62 c #Conflicts: 940000 | #Constraints: 36821
785.48/787.62 c #Conflicts: 941000 | #Constraints: 37821
785.48/787.62 c INPROCESSING
785.48/787.62 c GARBAGE COLLECT
785.48/787.62 c #Conflicts: 942000 | #Constraints: 19624
785.48/787.62 c #Conflicts: 943000 | #Constraints: 20624
785.48/787.62 c #Conflicts: 944000 | #Constraints: 21624
785.48/787.62 c #Conflicts: 945000 | #Constraints: 22624
785.48/787.62 c #Conflicts: 946000 | #Constraints: 23624
785.48/787.62 c #Conflicts: 947000 | #Constraints: 24624
785.48/787.62 c #Conflicts: 948000 | #Constraints: 25624
785.48/787.62 c #Conflicts: 949000 | #Constraints: 26624
785.48/787.62 c #Conflicts: 950000 | #Constraints: 27624
785.48/787.62 c #Conflicts: 951000 | #Constraints: 28624
785.48/787.62 c #Conflicts: 952000 | #Constraints: 29624
785.48/787.62 c #Conflicts: 953000 | #Constraints: 30624
785.48/787.62 c #Conflicts: 954000 | #Constraints: 31624
785.48/787.62 c #Conflicts: 955000 | #Constraints: 32624
785.48/787.62 c #Conflicts: 956000 | #Constraints: 33624
785.48/787.62 c #Conflicts: 957000 | #Constraints: 34624
785.48/787.62 c #Conflicts: 958000 | #Constraints: 35624
785.48/787.62 c #Conflicts: 959000 | #Constraints: 36624
785.48/787.62 c #Conflicts: 960000 | #Constraints: 37624
785.48/787.62 c #Conflicts: 961000 | #Constraints: 38624
785.48/787.62 c INPROCESSING
785.48/787.62 c GARBAGE COLLECT
785.48/787.62 c #Conflicts: 962000 | #Constraints: 20227
785.48/787.62 c #Conflicts: 963000 | #Constraints: 21227
785.48/787.62 c #Conflicts: 964000 | #Constraints: 22227
785.48/787.62 c #Conflicts: 965000 | #Constraints: 23227
785.48/787.62 c #Conflicts: 966000 | #Constraints: 24227
785.48/787.62 c #Conflicts: 967000 | #Constraints: 25227
895.10/897.56 c #Conflicts: 968000 | #Constraints: 26227
895.10/897.56 c #Conflicts: 969000 | #Constraints: 27227
895.10/897.56 c #Conflicts: 970000 | #Constraints: 28227
895.10/897.56 c #Conflicts: 971000 | #Constraints: 29227
895.10/897.56 c #Conflicts: 972000 | #Constraints: 30227
895.10/897.56 c #Conflicts: 973000 | #Constraints: 31227
895.10/897.56 c #Conflicts: 974000 | #Constraints: 32227
895.10/897.56 c #Conflicts: 975000 | #Constraints: 33227
895.10/897.56 c #Conflicts: 976000 | #Constraints: 34227
895.10/897.56 c #Conflicts: 977000 | #Constraints: 35227
895.10/897.56 c #Conflicts: 978000 | #Constraints: 36227
895.10/897.56 c #Conflicts: 979000 | #Constraints: 37227
895.10/897.56 c #Conflicts: 980000 | #Constraints: 38227
895.10/897.56 c #Conflicts: 981000 | #Constraints: 39227
895.10/897.56 c INPROCESSING
895.10/897.56 c GARBAGE COLLECT
895.10/897.56 c #Conflicts: 982000 | #Constraints: 20626
895.10/897.56 c #Conflicts: 983000 | #Constraints: 21626
895.10/897.56 c #Conflicts: 984000 | #Constraints: 22626
895.10/897.56 c #Conflicts: 985000 | #Constraints: 23626
895.10/897.56 c #Conflicts: 986000 | #Constraints: 24626
895.10/897.56 c #Conflicts: 987000 | #Constraints: 25626
895.10/897.56 c #Conflicts: 988000 | #Constraints: 26626
895.10/897.56 c #Conflicts: 989000 | #Constraints: 27626
895.10/897.56 c #Conflicts: 990000 | #Constraints: 28626
895.10/897.56 c #Conflicts: 991000 | #Constraints: 29626
895.10/897.56 c #Conflicts: 992000 | #Constraints: 30626
895.10/897.56 c #Conflicts: 993000 | #Constraints: 31626
895.10/897.56 c #Conflicts: 994000 | #Constraints: 32626
895.10/897.56 c #Conflicts: 995000 | #Constraints: 33626
895.10/897.56 c #Conflicts: 996000 | #Constraints: 34626
895.10/897.56 c #Conflicts: 997000 | #Constraints: 35626
895.10/897.56 c #Conflicts: 998000 | #Constraints: 36626
895.10/897.56 c #Conflicts: 999000 | #Constraints: 37626
895.10/897.56 c #Conflicts: 1000000 | #Constraints: 38626
895.10/897.56 c #Conflicts: 1001000 | #Constraints: 39626
895.10/897.56 c INPROCESSING
895.10/897.56 c GARBAGE COLLECT
895.10/897.56 c #Conflicts: 1002000 | #Constraints: 20828
895.10/897.56 c #Conflicts: 1003000 | #Constraints: 21828
895.10/897.56 c #Conflicts: 1004000 | #Constraints: 22828
895.10/897.56 c #Conflicts: 1005000 | #Constraints: 23828
895.10/897.56 c #Conflicts: 1006000 | #Constraints: 24828
895.10/897.56 c #Conflicts: 1007000 | #Constraints: 25828
895.10/897.56 c #Conflicts: 1008000 | #Constraints: 26828
895.10/897.56 c #Conflicts: 1009000 | #Constraints: 27828
895.10/897.56 c #Conflicts: 1010000 | #Constraints: 28828
895.10/897.56 c #Conflicts: 1011000 | #Constraints: 29828
895.10/897.56 c #Conflicts: 1012000 | #Constraints: 30828
895.10/897.56 c #Conflicts: 1013000 | #Constraints: 31828
895.10/897.56 c #Conflicts: 1014000 | #Constraints: 32828
895.10/897.56 c #Conflicts: 1015000 | #Constraints: 33828
895.10/897.56 c #Conflicts: 1016000 | #Constraints: 34828
895.10/897.56 c #Conflicts: 1017000 | #Constraints: 35828
895.10/897.56 c #Conflicts: 1018000 | #Constraints: 36828
895.10/897.56 c #Conflicts: 1019000 | #Constraints: 37828
895.10/897.56 c #Conflicts: 1020000 | #Constraints: 38828
895.10/897.56 c #Conflicts: 1021000 | #Constraints: 39828
895.10/897.56 c INPROCESSING
895.10/897.56 c GARBAGE COLLECT
895.10/897.56 c #Conflicts: 1022000 | #Constraints: 20830
895.10/897.56 c #Conflicts: 1023000 | #Constraints: 21830
895.10/897.56 c #Conflicts: 1024000 | #Constraints: 22830
895.10/897.56 c #Conflicts: 1025000 | #Constraints: 23830
895.10/897.56 c #Conflicts: 1026000 | #Constraints: 24830
895.10/897.56 c #Conflicts: 1027000 | #Constraints: 25830
895.10/897.56 c #Conflicts: 1028000 | #Constraints: 26830
895.10/897.56 c #Conflicts: 1029000 | #Constraints: 27830
895.10/897.56 c #Conflicts: 1030000 | #Constraints: 28830
895.10/897.56 c #Conflicts: 1031000 | #Constraints: 29830
895.10/897.56 c #Conflicts: 1032000 | #Constraints: 30830
895.10/897.56 c #Conflicts: 1033000 | #Constraints: 31830
895.10/897.56 c #Conflicts: 1034000 | #Constraints: 32830
895.10/897.56 c #Conflicts: 1035000 | #Constraints: 33830
895.10/897.56 c #Conflicts: 1036000 | #Constraints: 34830
895.10/897.56 c #Conflicts: 1037000 | #Constraints: 35830
895.10/897.56 c #Conflicts: 1038000 | #Constraints: 36830
895.10/897.56 c #Conflicts: 1039000 | #Constraints: 37830
895.10/897.56 c #Conflicts: 1040000 | #Constraints: 38830
895.10/897.56 c #Conflicts: 1041000 | #Constraints: 39830
895.10/897.56 c INPROCESSING
895.10/897.56 c GARBAGE COLLECT
895.10/897.56 c #Conflicts: 1042000 | #Constraints: 20628
895.10/897.56 c #Conflicts: 1043000 | #Constraints: 21628
895.10/897.56 c #Conflicts: 1044000 | #Constraints: 22628
1011.69/1014.41 c #Conflicts: 1045000 | #Constraints: 23628
1011.69/1014.41 c #Conflicts: 1046000 | #Constraints: 24628
1011.69/1014.41 c #Conflicts: 1047000 | #Constraints: 25628
1011.69/1014.41 c #Conflicts: 1048000 | #Constraints: 26628
1011.69/1014.41 c #Conflicts: 1049000 | #Constraints: 27628
1011.69/1014.41 c #Conflicts: 1050000 | #Constraints: 28628
1011.69/1014.41 c #Conflicts: 1051000 | #Constraints: 29628
1011.69/1014.41 c #Conflicts: 1052000 | #Constraints: 30628
1011.69/1014.41 c #Conflicts: 1053000 | #Constraints: 31628
1011.69/1014.41 c #Conflicts: 1054000 | #Constraints: 32628
1011.69/1014.41 c #Conflicts: 1055000 | #Constraints: 33628
1011.69/1014.41 c #Conflicts: 1056000 | #Constraints: 34628
1011.69/1014.41 c #Conflicts: 1057000 | #Constraints: 35628
1011.69/1014.41 c #Conflicts: 1058000 | #Constraints: 36628
1011.69/1014.41 c #Conflicts: 1059000 | #Constraints: 37628
1011.69/1014.41 c #Conflicts: 1060000 | #Constraints: 38628
1011.69/1014.41 c #Conflicts: 1061000 | #Constraints: 39628
1011.69/1014.41 c #Conflicts: 1062000 | #Constraints: 40628
1011.69/1014.41 c INPROCESSING
1011.69/1014.41 c GARBAGE COLLECT
1011.69/1014.41 c #Conflicts: 1063000 | #Constraints: 21229
1011.69/1014.41 c #Conflicts: 1064000 | #Constraints: 22229
1011.69/1014.41 c #Conflicts: 1065000 | #Constraints: 23229
1011.69/1014.41 c #Conflicts: 1066000 | #Constraints: 24229
1011.69/1014.41 c #Conflicts: 1067000 | #Constraints: 25229
1011.69/1014.41 c #Conflicts: 1068000 | #Constraints: 26229
1011.69/1014.41 c #Conflicts: 1069000 | #Constraints: 27229
1011.69/1014.41 c #Conflicts: 1070000 | #Constraints: 28229
1011.69/1014.41 c #Conflicts: 1071000 | #Constraints: 29229
1011.69/1014.41 c #Conflicts: 1072000 | #Constraints: 30229
1011.69/1014.41 c #Conflicts: 1073000 | #Constraints: 31229
1011.69/1014.41 c #Conflicts: 1074000 | #Constraints: 32229
1011.69/1014.41 c #Conflicts: 1075000 | #Constraints: 33229
1011.69/1014.41 c #Conflicts: 1076000 | #Constraints: 34229
1011.69/1014.41 c #Conflicts: 1077000 | #Constraints: 35229
1011.69/1014.41 c #Conflicts: 1078000 | #Constraints: 36229
1011.69/1014.41 c #Conflicts: 1079000 | #Constraints: 37229
1011.69/1014.41 c #Conflicts: 1080000 | #Constraints: 38229
1011.69/1014.41 c #Conflicts: 1081000 | #Constraints: 39229
1011.69/1014.41 c #Conflicts: 1082000 | #Constraints: 40229
1011.69/1014.41 c #Conflicts: 1083000 | #Constraints: 41229
1011.69/1014.41 c INPROCESSING
1011.69/1014.41 c GARBAGE COLLECT
1011.69/1014.41 c #Conflicts: 1084000 | #Constraints: 21626
1011.69/1014.41 c #Conflicts: 1085000 | #Constraints: 22626
1011.69/1014.41 c #Conflicts: 1086000 | #Constraints: 23626
1011.69/1014.41 c #Conflicts: 1087000 | #Constraints: 24626
1011.69/1014.41 c #Conflicts: 1088000 | #Constraints: 25626
1011.69/1014.41 c #Conflicts: 1089000 | #Constraints: 26626
1011.69/1014.41 c #Conflicts: 1090000 | #Constraints: 27626
1011.69/1014.41 c #Conflicts: 1091000 | #Constraints: 28626
1011.69/1014.41 c #Conflicts: 1092000 | #Constraints: 29626
1011.69/1014.41 c #Conflicts: 1093000 | #Constraints: 30626
1011.69/1014.41 c #Conflicts: 1094000 | #Constraints: 31626
1011.69/1014.41 c #Conflicts: 1095000 | #Constraints: 32626
1011.69/1014.41 c #Conflicts: 1096000 | #Constraints: 33626
1011.69/1014.41 c #Conflicts: 1097000 | #Constraints: 34626
1011.69/1014.41 c #Conflicts: 1098000 | #Constraints: 35626
1011.69/1014.41 c #Conflicts: 1099000 | #Constraints: 36626
1011.69/1014.41 c #Conflicts: 1100000 | #Constraints: 37626
1011.69/1014.41 c #Conflicts: 1101000 | #Constraints: 38626
1011.69/1014.41 c #Conflicts: 1102000 | #Constraints: 39626
1011.69/1014.41 c #Conflicts: 1103000 | #Constraints: 40626
1011.69/1014.41 c #Conflicts: 1104000 | #Constraints: 41626
1011.69/1014.41 c INPROCESSING
1011.69/1014.41 c GARBAGE COLLECT
1011.69/1014.41 c #Conflicts: 1105000 | #Constraints: 21827
1011.69/1014.41 c #Conflicts: 1106000 | #Constraints: 22827
1011.69/1014.41 c #Conflicts: 1107000 | #Constraints: 23827
1011.69/1014.41 c #Conflicts: 1108000 | #Constraints: 24827
1011.69/1014.41 c #Conflicts: 1109000 | #Constraints: 25827
1011.69/1014.41 c #Conflicts: 1110000 | #Constraints: 26827
1011.69/1014.41 c #Conflicts: 1111000 | #Constraints: 27827
1011.69/1014.41 c #Conflicts: 1112000 | #Constraints: 28827
1011.69/1014.41 c #Conflicts: 1113000 | #Constraints: 29827
1011.69/1014.41 c #Conflicts: 1114000 | #Constraints: 30827
1011.69/1014.41 c #Conflicts: 1115000 | #Constraints: 31827
1011.69/1014.41 c #Conflicts: 1116000 | #Constraints: 32827
1011.69/1014.41 c #Conflicts: 1117000 | #Constraints: 33827
1011.69/1014.41 c #Conflicts: 1118000 | #Constraints: 34827
1011.69/1014.41 c #Conflicts: 1119000 | #Constraints: 35827
1011.69/1014.41 c #Conflicts: 1120000 | #Constraints: 36827
1011.69/1014.41 c #Conflicts: 1121000 | #Constraints: 37827
1117.80/1120.80 c #Conflicts: 1122000 | #Constraints: 38827
1117.80/1120.80 c #Conflicts: 1123000 | #Constraints: 39827
1117.80/1120.80 c #Conflicts: 1124000 | #Constraints: 40827
1117.80/1120.80 c #Conflicts: 1125000 | #Constraints: 41827
1117.80/1120.80 c INPROCESSING
1117.80/1120.80 c GARBAGE COLLECT
1117.80/1120.80 c #Conflicts: 1126000 | #Constraints: 21825
1117.80/1120.80 c #Conflicts: 1127000 | #Constraints: 22825
1117.80/1120.80 c #Conflicts: 1128000 | #Constraints: 23825
1117.80/1120.80 c #Conflicts: 1129000 | #Constraints: 24825
1117.80/1120.80 c #Conflicts: 1130000 | #Constraints: 25825
1117.80/1120.80 c #Conflicts: 1131000 | #Constraints: 26825
1117.80/1120.80 c #Conflicts: 1132000 | #Constraints: 27825
1117.80/1120.80 c #Conflicts: 1133000 | #Constraints: 28825
1117.80/1120.80 c #Conflicts: 1134000 | #Constraints: 29825
1117.80/1120.80 c #Conflicts: 1135000 | #Constraints: 30825
1117.80/1120.80 c #Conflicts: 1136000 | #Constraints: 31825
1117.80/1120.80 c #Conflicts: 1137000 | #Constraints: 32825
1117.80/1120.80 c #Conflicts: 1138000 | #Constraints: 33825
1117.80/1120.80 c #Conflicts: 1139000 | #Constraints: 34825
1117.80/1120.80 c #Conflicts: 1140000 | #Constraints: 35825
1117.80/1120.80 c #Conflicts: 1141000 | #Constraints: 36825
1117.80/1120.80 c #Conflicts: 1142000 | #Constraints: 37825
1117.80/1120.80 c #Conflicts: 1143000 | #Constraints: 38825
1117.80/1120.80 c #Conflicts: 1144000 | #Constraints: 39825
1117.80/1120.80 c #Conflicts: 1145000 | #Constraints: 40825
1117.80/1120.80 c #Conflicts: 1146000 | #Constraints: 41825
1117.80/1120.80 c INPROCESSING
1117.80/1120.80 c GARBAGE COLLECT
1117.80/1120.80 c #Conflicts: 1147000 | #Constraints: 21622
1117.80/1120.80 c #Conflicts: 1148000 | #Constraints: 22622
1117.80/1120.80 c #Conflicts: 1149000 | #Constraints: 23622
1117.80/1120.80 c #Conflicts: 1150000 | #Constraints: 24622
1117.80/1120.80 c #Conflicts: 1151000 | #Constraints: 25622
1117.80/1120.80 c #Conflicts: 1152000 | #Constraints: 26622
1117.80/1120.80 c #Conflicts: 1153000 | #Constraints: 27622
1117.80/1120.80 c #Conflicts: 1154000 | #Constraints: 28622
1117.80/1120.80 c #Conflicts: 1155000 | #Constraints: 29622
1117.80/1120.80 c #Conflicts: 1156000 | #Constraints: 30622
1117.80/1120.80 c #Conflicts: 1157000 | #Constraints: 31622
1117.80/1120.80 c #Conflicts: 1158000 | #Constraints: 32622
1117.80/1120.80 c #Conflicts: 1159000 | #Constraints: 33622
1117.80/1120.80 c #Conflicts: 1160000 | #Constraints: 34622
1117.80/1120.80 c #Conflicts: 1161000 | #Constraints: 35622
1117.80/1120.80 c #Conflicts: 1162000 | #Constraints: 36622
1117.80/1120.80 c #Conflicts: 1163000 | #Constraints: 37622
1117.80/1120.80 c #Conflicts: 1164000 | #Constraints: 38622
1117.80/1120.80 c #Conflicts: 1165000 | #Constraints: 39622
1117.80/1120.80 c #Conflicts: 1166000 | #Constraints: 40622
1117.80/1120.80 c #Conflicts: 1167000 | #Constraints: 41622
1117.80/1120.80 c #Conflicts: 1168000 | #Constraints: 42622
1117.80/1120.80 c INPROCESSING
1117.80/1120.80 c GARBAGE COLLECT
1117.80/1120.80 c #Conflicts: 1169000 | #Constraints: 22225
1117.80/1120.80 c #Conflicts: 1170000 | #Constraints: 23225
1117.80/1120.80 c #Conflicts: 1171000 | #Constraints: 24225
1117.80/1120.80 c #Conflicts: 1172000 | #Constraints: 25225
1117.80/1120.80 c #Conflicts: 1173000 | #Constraints: 26225
1117.80/1120.80 c #Conflicts: 1174000 | #Constraints: 27225
1117.80/1120.80 c #Conflicts: 1175000 | #Constraints: 28225
1117.80/1120.80 c #Conflicts: 1176000 | #Constraints: 29225
1117.80/1120.80 c #Conflicts: 1177000 | #Constraints: 30225
1117.80/1120.80 c #Conflicts: 1178000 | #Constraints: 31225
1117.80/1120.80 c #Conflicts: 1179000 | #Constraints: 32225
1117.80/1120.80 c #Conflicts: 1180000 | #Constraints: 33225
1117.80/1120.80 c #Conflicts: 1181000 | #Constraints: 34225
1117.80/1120.80 c #Conflicts: 1182000 | #Constraints: 35225
1117.80/1120.80 c #Conflicts: 1183000 | #Constraints: 36225
1117.80/1120.80 c #Conflicts: 1184000 | #Constraints: 37225
1117.80/1120.80 c #Conflicts: 1185000 | #Constraints: 38225
1117.80/1120.80 c #Conflicts: 1186000 | #Constraints: 39225
1117.80/1120.80 c #Conflicts: 1187000 | #Constraints: 40225
1117.80/1120.80 c #Conflicts: 1188000 | #Constraints: 41225
1117.80/1120.80 c #Conflicts: 1189000 | #Constraints: 42225
1117.80/1120.80 c #Conflicts: 1190000 | #Constraints: 43225
1117.80/1120.80 c INPROCESSING
1117.80/1120.80 c GARBAGE COLLECT
1117.80/1120.80 c #Conflicts: 1191000 | #Constraints: 22624
1117.80/1120.80 c #Conflicts: 1192000 | #Constraints: 23624
1117.80/1120.80 c #Conflicts: 1193000 | #Constraints: 24624
1117.80/1120.80 c #Conflicts: 1194000 | #Constraints: 25624
1117.80/1120.80 c #Conflicts: 1195000 | #Constraints: 26624
1117.80/1120.80 c #Conflicts: 1196000 | #Constraints: 27624
1117.80/1120.80 c #Conflicts: 1197000 | #Constraints: 28624
1231.39/1234.76 c #Conflicts: 1198000 | #Constraints: 29624
1231.39/1234.76 c #Conflicts: 1199000 | #Constraints: 30624
1231.39/1234.76 c #Conflicts: 1200000 | #Constraints: 31624
1231.39/1234.76 c #Conflicts: 1201000 | #Constraints: 32624
1231.39/1234.76 c #Conflicts: 1202000 | #Constraints: 33624
1231.39/1234.76 c #Conflicts: 1203000 | #Constraints: 34624
1231.39/1234.76 c #Conflicts: 1204000 | #Constraints: 35624
1231.39/1234.76 c #Conflicts: 1205000 | #Constraints: 36624
1231.39/1234.76 c #Conflicts: 1206000 | #Constraints: 37624
1231.39/1234.76 c #Conflicts: 1207000 | #Constraints: 38624
1231.39/1234.76 c #Conflicts: 1208000 | #Constraints: 39624
1231.39/1234.76 c #Conflicts: 1209000 | #Constraints: 40624
1231.39/1234.76 c #Conflicts: 1210000 | #Constraints: 41624
1231.39/1234.76 c #Conflicts: 1211000 | #Constraints: 42624
1231.39/1234.76 c #Conflicts: 1212000 | #Constraints: 43624
1231.39/1234.76 c INPROCESSING
1231.39/1234.76 c GARBAGE COLLECT
1231.39/1234.76 c #Conflicts: 1213000 | #Constraints: 22828
1231.39/1234.76 c #Conflicts: 1214000 | #Constraints: 23828
1231.39/1234.76 c #Conflicts: 1215000 | #Constraints: 24828
1231.39/1234.76 c #Conflicts: 1216000 | #Constraints: 25828
1231.39/1234.76 c #Conflicts: 1217000 | #Constraints: 26828
1231.39/1234.76 c #Conflicts: 1218000 | #Constraints: 27828
1231.39/1234.76 c #Conflicts: 1219000 | #Constraints: 28828
1231.39/1234.76 c #Conflicts: 1220000 | #Constraints: 29828
1231.39/1234.76 c #Conflicts: 1221000 | #Constraints: 30828
1231.39/1234.76 c #Conflicts: 1222000 | #Constraints: 31828
1231.39/1234.76 c #Conflicts: 1223000 | #Constraints: 32828
1231.39/1234.76 c #Conflicts: 1224000 | #Constraints: 33828
1231.39/1234.76 c #Conflicts: 1225000 | #Constraints: 34828
1231.39/1234.76 c #Conflicts: 1226000 | #Constraints: 35828
1231.39/1234.76 c #Conflicts: 1227000 | #Constraints: 36828
1231.39/1234.76 c #Conflicts: 1228000 | #Constraints: 37828
1231.39/1234.76 c #Conflicts: 1229000 | #Constraints: 38828
1231.39/1234.76 c #Conflicts: 1230000 | #Constraints: 39828
1231.39/1234.76 c #Conflicts: 1231000 | #Constraints: 40828
1231.39/1234.76 c #Conflicts: 1232000 | #Constraints: 41828
1231.39/1234.76 c #Conflicts: 1233000 | #Constraints: 42828
1231.39/1234.76 c #Conflicts: 1234000 | #Constraints: 43828
1231.39/1234.76 c INPROCESSING
1231.39/1234.76 c GARBAGE COLLECT
1231.39/1234.76 c #Conflicts: 1235000 | #Constraints: 22825
1231.39/1234.76 c #Conflicts: 1236000 | #Constraints: 23825
1231.39/1234.76 c #Conflicts: 1237000 | #Constraints: 24825
1231.39/1234.76 c #Conflicts: 1238000 | #Constraints: 25825
1231.39/1234.76 c #Conflicts: 1239000 | #Constraints: 26825
1231.39/1234.76 c #Conflicts: 1240000 | #Constraints: 27825
1231.39/1234.76 c #Conflicts: 1241000 | #Constraints: 28825
1231.39/1234.76 c #Conflicts: 1242000 | #Constraints: 29825
1231.39/1234.76 c #Conflicts: 1243000 | #Constraints: 30825
1231.39/1234.76 c #Conflicts: 1244000 | #Constraints: 31825
1231.39/1234.76 c #Conflicts: 1245000 | #Constraints: 32825
1231.39/1234.76 c #Conflicts: 1246000 | #Constraints: 33825
1231.39/1234.76 c #Conflicts: 1247000 | #Constraints: 34825
1231.39/1234.76 c #Conflicts: 1248000 | #Constraints: 35825
1231.39/1234.76 c #Conflicts: 1249000 | #Constraints: 36825
1231.39/1234.76 c #Conflicts: 1250000 | #Constraints: 37825
1231.39/1234.76 c #Conflicts: 1251000 | #Constraints: 38825
1231.39/1234.76 c #Conflicts: 1252000 | #Constraints: 39825
1231.39/1234.76 c #Conflicts: 1253000 | #Constraints: 40825
1231.39/1234.76 c #Conflicts: 1254000 | #Constraints: 41825
1231.39/1234.76 c #Conflicts: 1255000 | #Constraints: 42825
1231.39/1234.76 c #Conflicts: 1256000 | #Constraints: 43825
1231.39/1234.76 c INPROCESSING
1231.39/1234.76 c GARBAGE COLLECT
1231.39/1234.76 c #Conflicts: 1257000 | #Constraints: 22625
1231.39/1234.76 c #Conflicts: 1258000 | #Constraints: 23625
1231.39/1234.76 c #Conflicts: 1259000 | #Constraints: 24625
1231.39/1234.76 c #Conflicts: 1260000 | #Constraints: 25625
1231.39/1234.76 c #Conflicts: 1261000 | #Constraints: 26625
1231.39/1234.76 c #Conflicts: 1262000 | #Constraints: 27625
1231.39/1234.76 c #Conflicts: 1263000 | #Constraints: 28625
1231.39/1234.76 c #Conflicts: 1264000 | #Constraints: 29625
1231.39/1234.76 c #Conflicts: 1265000 | #Constraints: 30625
1231.39/1234.76 c #Conflicts: 1266000 | #Constraints: 31625
1231.39/1234.76 c #Conflicts: 1267000 | #Constraints: 32625
1231.39/1234.76 c #Conflicts: 1268000 | #Constraints: 33625
1231.39/1234.76 c #Conflicts: 1269000 | #Constraints: 34625
1231.39/1234.76 c #Conflicts: 1270000 | #Constraints: 35625
1231.39/1234.76 c #Conflicts: 1271000 | #Constraints: 36625
1231.39/1234.76 c #Conflicts: 1272000 | #Constraints: 37625
1231.39/1234.76 c #Conflicts: 1273000 | #Constraints: 38625
1231.39/1234.76 c #Conflicts: 1274000 | #Constraints: 39625
1348.59/1352.26 c #Conflicts: 1275000 | #Constraints: 40625
1348.59/1352.26 c #Conflicts: 1276000 | #Constraints: 41625
1348.59/1352.26 c #Conflicts: 1277000 | #Constraints: 42625
1348.59/1352.26 c #Conflicts: 1278000 | #Constraints: 43625
1348.59/1352.26 c #Conflicts: 1279000 | #Constraints: 44625
1348.59/1352.26 c INPROCESSING
1348.59/1352.26 c GARBAGE COLLECT
1348.59/1352.26 c #Conflicts: 1280000 | #Constraints: 23223
1348.59/1352.26 c #Conflicts: 1281000 | #Constraints: 24223
1348.59/1352.26 c #Conflicts: 1282000 | #Constraints: 25223
1348.59/1352.26 c #Conflicts: 1283000 | #Constraints: 26223
1348.59/1352.26 c #Conflicts: 1284000 | #Constraints: 27223
1348.59/1352.26 c #Conflicts: 1285000 | #Constraints: 28223
1348.59/1352.26 c #Conflicts: 1286000 | #Constraints: 29223
1348.59/1352.26 c #Conflicts: 1287000 | #Constraints: 30223
1348.59/1352.26 c #Conflicts: 1288000 | #Constraints: 31223
1348.59/1352.26 c #Conflicts: 1289000 | #Constraints: 32223
1348.59/1352.26 c #Conflicts: 1290000 | #Constraints: 33223
1348.59/1352.26 c #Conflicts: 1291000 | #Constraints: 34223
1348.59/1352.26 c #Conflicts: 1292000 | #Constraints: 35223
1348.59/1352.26 c #Conflicts: 1293000 | #Constraints: 36223
1348.59/1352.26 c #Conflicts: 1294000 | #Constraints: 37223
1348.59/1352.26 c #Conflicts: 1295000 | #Constraints: 38223
1348.59/1352.26 c #Conflicts: 1296000 | #Constraints: 39223
1348.59/1352.26 c #Conflicts: 1297000 | #Constraints: 40223
1348.59/1352.26 c #Conflicts: 1298000 | #Constraints: 41223
1348.59/1352.26 c #Conflicts: 1299000 | #Constraints: 42223
1348.59/1352.26 c #Conflicts: 1300000 | #Constraints: 43223
1348.59/1352.26 c #Conflicts: 1301000 | #Constraints: 44223
1348.59/1352.26 c #Conflicts: 1302000 | #Constraints: 45223
1348.59/1352.26 c INPROCESSING
1348.59/1352.26 c GARBAGE COLLECT
1348.59/1352.26 c #Conflicts: 1303000 | #Constraints: 23621
1348.59/1352.26 c #Conflicts: 1304000 | #Constraints: 24621
1348.59/1352.26 c #Conflicts: 1305000 | #Constraints: 25621
1348.59/1352.26 c #Conflicts: 1306000 | #Constraints: 26621
1348.59/1352.26 c #Conflicts: 1307000 | #Constraints: 27621
1348.59/1352.26 c #Conflicts: 1308000 | #Constraints: 28621
1348.59/1352.26 c #Conflicts: 1309000 | #Constraints: 29621
1348.59/1352.26 c #Conflicts: 1310000 | #Constraints: 30621
1348.59/1352.26 c #Conflicts: 1311000 | #Constraints: 31621
1348.59/1352.26 c #Conflicts: 1312000 | #Constraints: 32621
1348.59/1352.26 c #Conflicts: 1313000 | #Constraints: 33621
1348.59/1352.26 c #Conflicts: 1314000 | #Constraints: 34621
1348.59/1352.26 c #Conflicts: 1315000 | #Constraints: 35621
1348.59/1352.26 c #Conflicts: 1316000 | #Constraints: 36621
1348.59/1352.26 c #Conflicts: 1317000 | #Constraints: 37621
1348.59/1352.26 c #Conflicts: 1318000 | #Constraints: 38621
1348.59/1352.26 c #Conflicts: 1319000 | #Constraints: 39621
1348.59/1352.26 c #Conflicts: 1320000 | #Constraints: 40621
1348.59/1352.26 c #Conflicts: 1321000 | #Constraints: 41621
1348.59/1352.26 c #Conflicts: 1322000 | #Constraints: 42621
1348.59/1352.26 c #Conflicts: 1323000 | #Constraints: 43621
1348.59/1352.26 c #Conflicts: 1324000 | #Constraints: 44621
1348.59/1352.26 c #Conflicts: 1325000 | #Constraints: 45621
1348.59/1352.26 c INPROCESSING
1348.59/1352.26 c GARBAGE COLLECT
1348.59/1352.26 c #Conflicts: 1326000 | #Constraints: 23822
1348.59/1352.26 c #Conflicts: 1327000 | #Constraints: 24822
1348.59/1352.26 c #Conflicts: 1328000 | #Constraints: 25822
1348.59/1352.26 c #Conflicts: 1329000 | #Constraints: 26822
1348.59/1352.26 c #Conflicts: 1330000 | #Constraints: 27822
1348.59/1352.26 c #Conflicts: 1331000 | #Constraints: 28822
1348.59/1352.26 c #Conflicts: 1332000 | #Constraints: 29822
1348.59/1352.26 c #Conflicts: 1333000 | #Constraints: 30822
1348.59/1352.26 c #Conflicts: 1334000 | #Constraints: 31822
1348.59/1352.26 c #Conflicts: 1335000 | #Constraints: 32822
1348.59/1352.26 c #Conflicts: 1336000 | #Constraints: 33822
1348.59/1352.26 c #Conflicts: 1337000 | #Constraints: 34822
1348.59/1352.26 c #Conflicts: 1338000 | #Constraints: 35822
1348.59/1352.26 c #Conflicts: 1339000 | #Constraints: 36822
1348.59/1352.26 c #Conflicts: 1340000 | #Constraints: 37822
1348.59/1352.26 c #Conflicts: 1341000 | #Constraints: 38822
1348.59/1352.26 c #Conflicts: 1342000 | #Constraints: 39822
1348.59/1352.26 c #Conflicts: 1343000 | #Constraints: 40822
1348.59/1352.26 c #Conflicts: 1344000 | #Constraints: 41822
1348.59/1352.26 c #Conflicts: 1345000 | #Constraints: 42822
1348.59/1352.26 c #Conflicts: 1346000 | #Constraints: 43822
1348.59/1352.26 c #Conflicts: 1347000 | #Constraints: 44822
1348.59/1352.26 c #Conflicts: 1348000 | #Constraints: 45822
1348.59/1352.26 c INPROCESSING
1348.59/1352.26 c GARBAGE COLLECT
1348.59/1352.26 c #Conflicts: 1349000 | #Constraints: 23827
1348.59/1352.26 c #Conflicts: 1350000 | #Constraints: 24827
1468.19/1472.18 c #Conflicts: 1351000 | #Constraints: 25827
1468.19/1472.18 c #Conflicts: 1352000 | #Constraints: 26827
1468.19/1472.18 c #Conflicts: 1353000 | #Constraints: 27827
1468.19/1472.18 c #Conflicts: 1354000 | #Constraints: 28827
1468.19/1472.18 c #Conflicts: 1355000 | #Constraints: 29827
1468.19/1472.18 c #Conflicts: 1356000 | #Constraints: 30827
1468.19/1472.18 c #Conflicts: 1357000 | #Constraints: 31827
1468.19/1472.18 c #Conflicts: 1358000 | #Constraints: 32827
1468.19/1472.18 c #Conflicts: 1359000 | #Constraints: 33827
1468.19/1472.18 c #Conflicts: 1360000 | #Constraints: 34827
1468.19/1472.18 c #Conflicts: 1361000 | #Constraints: 35827
1468.19/1472.18 c #Conflicts: 1362000 | #Constraints: 36827
1468.19/1472.18 c #Conflicts: 1363000 | #Constraints: 37827
1468.19/1472.18 c #Conflicts: 1364000 | #Constraints: 38827
1468.19/1472.18 c #Conflicts: 1365000 | #Constraints: 39827
1468.19/1472.18 c #Conflicts: 1366000 | #Constraints: 40827
1468.19/1472.18 c #Conflicts: 1367000 | #Constraints: 41827
1468.19/1472.18 c #Conflicts: 1368000 | #Constraints: 42827
1468.19/1472.18 c #Conflicts: 1369000 | #Constraints: 43827
1468.19/1472.18 c #Conflicts: 1370000 | #Constraints: 44827
1468.19/1472.18 c #Conflicts: 1371000 | #Constraints: 45827
1468.19/1472.18 c INPROCESSING
1468.19/1472.18 c GARBAGE COLLECT
1468.19/1472.18 c #Conflicts: 1372000 | #Constraints: 23628
1468.19/1472.18 c #Conflicts: 1373000 | #Constraints: 24628
1468.19/1472.18 c #Conflicts: 1374000 | #Constraints: 25628
1468.19/1472.18 c #Conflicts: 1375000 | #Constraints: 26628
1468.19/1472.18 c #Conflicts: 1376000 | #Constraints: 27628
1468.19/1472.18 c #Conflicts: 1377000 | #Constraints: 28628
1468.19/1472.18 c #Conflicts: 1378000 | #Constraints: 29628
1468.19/1472.18 c #Conflicts: 1379000 | #Constraints: 30628
1468.19/1472.18 c #Conflicts: 1380000 | #Constraints: 31628
1468.19/1472.18 c #Conflicts: 1381000 | #Constraints: 32628
1468.19/1472.18 c #Conflicts: 1382000 | #Constraints: 33628
1468.19/1472.18 c #Conflicts: 1383000 | #Constraints: 34628
1468.19/1472.18 c #Conflicts: 1384000 | #Constraints: 35628
1468.19/1472.18 c #Conflicts: 1385000 | #Constraints: 36628
1468.19/1472.18 c #Conflicts: 1386000 | #Constraints: 37628
1468.19/1472.18 c #Conflicts: 1387000 | #Constraints: 38628
1468.19/1472.18 c #Conflicts: 1388000 | #Constraints: 39628
1468.19/1472.18 c #Conflicts: 1389000 | #Constraints: 40628
1468.19/1472.18 c #Conflicts: 1390000 | #Constraints: 41628
1468.19/1472.18 c #Conflicts: 1391000 | #Constraints: 42628
1468.19/1472.18 c #Conflicts: 1392000 | #Constraints: 43628
1468.19/1472.18 c #Conflicts: 1393000 | #Constraints: 44628
1468.19/1472.18 c #Conflicts: 1394000 | #Constraints: 45628
1468.19/1472.18 c #Conflicts: 1395000 | #Constraints: 46628
1468.19/1472.18 c INPROCESSING
1468.19/1472.18 c GARBAGE COLLECT
1468.19/1472.18 c #Conflicts: 1396000 | #Constraints: 24225
1468.19/1472.18 c #Conflicts: 1397000 | #Constraints: 25225
1468.19/1472.18 c #Conflicts: 1398000 | #Constraints: 26225
1468.19/1472.18 c #Conflicts: 1399000 | #Constraints: 27225
1468.19/1472.18 c #Conflicts: 1400000 | #Constraints: 28225
1468.19/1472.18 c #Conflicts: 1401000 | #Constraints: 29225
1468.19/1472.18 c #Conflicts: 1402000 | #Constraints: 30225
1468.19/1472.18 c #Conflicts: 1403000 | #Constraints: 31225
1468.19/1472.18 c #Conflicts: 1404000 | #Constraints: 32225
1468.19/1472.18 c #Conflicts: 1405000 | #Constraints: 33225
1468.19/1472.18 c #Conflicts: 1406000 | #Constraints: 34225
1468.19/1472.18 c #Conflicts: 1407000 | #Constraints: 35225
1468.19/1472.18 c #Conflicts: 1408000 | #Constraints: 36225
1468.19/1472.18 c #Conflicts: 1409000 | #Constraints: 37225
1468.19/1472.18 c #Conflicts: 1410000 | #Constraints: 38225
1468.19/1472.18 c #Conflicts: 1411000 | #Constraints: 39225
1468.19/1472.18 c #Conflicts: 1412000 | #Constraints: 40225
1468.19/1472.18 c #Conflicts: 1413000 | #Constraints: 41225
1468.19/1472.18 c #Conflicts: 1414000 | #Constraints: 42225
1468.19/1472.18 c #Conflicts: 1415000 | #Constraints: 43225
1468.19/1472.18 c #Conflicts: 1416000 | #Constraints: 44225
1468.19/1472.18 c #Conflicts: 1417000 | #Constraints: 45225
1468.19/1472.18 c #Conflicts: 1418000 | #Constraints: 46225
1468.19/1472.18 c #Conflicts: 1419000 | #Constraints: 47225
1468.19/1472.18 c INPROCESSING
1468.19/1472.18 c GARBAGE COLLECT
1468.19/1472.18 c #Conflicts: 1420000 | #Constraints: 24628
1468.19/1472.18 c #Conflicts: 1421000 | #Constraints: 25628
1468.19/1472.18 c #Conflicts: 1422000 | #Constraints: 26628
1468.19/1472.18 c #Conflicts: 1423000 | #Constraints: 27628
1468.19/1472.18 c #Conflicts: 1424000 | #Constraints: 28628
1468.19/1472.18 c #Conflicts: 1425000 | #Constraints: 29628
1468.19/1472.18 c #Conflicts: 1426000 | #Constraints: 30628
1468.19/1472.18 c #Conflicts: 1427000 | #Constraints: 31628
1595.85/1600.19 c #Conflicts: 1428000 | #Constraints: 32628
1595.85/1600.19 c #Conflicts: 1429000 | #Constraints: 33628
1595.85/1600.19 c #Conflicts: 1430000 | #Constraints: 34628
1595.85/1600.19 c #Conflicts: 1431000 | #Constraints: 35628
1595.85/1600.19 c #Conflicts: 1432000 | #Constraints: 36628
1595.85/1600.19 c #Conflicts: 1433000 | #Constraints: 37628
1595.85/1600.19 c #Conflicts: 1434000 | #Constraints: 38628
1595.85/1600.19 c #Conflicts: 1435000 | #Constraints: 39628
1595.85/1600.19 c #Conflicts: 1436000 | #Constraints: 40628
1595.85/1600.19 c #Conflicts: 1437000 | #Constraints: 41628
1595.85/1600.19 c #Conflicts: 1438000 | #Constraints: 42628
1595.85/1600.19 c #Conflicts: 1439000 | #Constraints: 43628
1595.85/1600.19 c #Conflicts: 1440000 | #Constraints: 44628
1595.85/1600.19 c #Conflicts: 1441000 | #Constraints: 45628
1595.85/1600.19 c #Conflicts: 1442000 | #Constraints: 46628
1595.85/1600.19 c #Conflicts: 1443000 | #Constraints: 47628
1595.85/1600.19 c INPROCESSING
1595.85/1600.19 c GARBAGE COLLECT
1595.85/1600.19 c #Conflicts: 1444000 | #Constraints: 24829
1595.85/1600.19 c #Conflicts: 1445000 | #Constraints: 25829
1595.85/1600.19 c #Conflicts: 1446000 | #Constraints: 26829
1595.85/1600.19 c #Conflicts: 1447000 | #Constraints: 27829
1595.85/1600.19 c #Conflicts: 1448000 | #Constraints: 28829
1595.85/1600.19 c #Conflicts: 1449000 | #Constraints: 29829
1595.85/1600.19 c #Conflicts: 1450000 | #Constraints: 30829
1595.85/1600.19 c #Conflicts: 1451000 | #Constraints: 31829
1595.85/1600.19 c #Conflicts: 1452000 | #Constraints: 32829
1595.85/1600.19 c #Conflicts: 1453000 | #Constraints: 33829
1595.85/1600.19 c #Conflicts: 1454000 | #Constraints: 34829
1595.85/1600.19 c #Conflicts: 1455000 | #Constraints: 35829
1595.85/1600.19 c #Conflicts: 1456000 | #Constraints: 36829
1595.85/1600.19 c #Conflicts: 1457000 | #Constraints: 37829
1595.85/1600.19 c #Conflicts: 1458000 | #Constraints: 38829
1595.85/1600.19 c #Conflicts: 1459000 | #Constraints: 39829
1595.85/1600.19 c #Conflicts: 1460000 | #Constraints: 40829
1595.85/1600.19 c #Conflicts: 1461000 | #Constraints: 41829
1595.85/1600.19 c #Conflicts: 1462000 | #Constraints: 42829
1595.85/1600.19 c #Conflicts: 1463000 | #Constraints: 43829
1595.85/1600.19 c #Conflicts: 1464000 | #Constraints: 44829
1595.85/1600.19 c #Conflicts: 1465000 | #Constraints: 45829
1595.85/1600.19 c #Conflicts: 1466000 | #Constraints: 46829
1595.85/1600.19 c #Conflicts: 1467000 | #Constraints: 47829
1595.85/1600.19 c INPROCESSING
1595.85/1600.19 c GARBAGE COLLECT
1595.85/1600.19 c #Conflicts: 1468000 | #Constraints: 24826
1595.85/1600.19 c #Conflicts: 1469000 | #Constraints: 25826
1595.85/1600.19 c #Conflicts: 1470000 | #Constraints: 26826
1595.85/1600.19 c #Conflicts: 1471000 | #Constraints: 27826
1595.85/1600.19 c #Conflicts: 1472000 | #Constraints: 28826
1595.85/1600.19 c #Conflicts: 1473000 | #Constraints: 29826
1595.85/1600.19 c #Conflicts: 1474000 | #Constraints: 30826
1595.85/1600.19 c #Conflicts: 1475000 | #Constraints: 31826
1595.85/1600.19 c #Conflicts: 1476000 | #Constraints: 32826
1595.85/1600.19 c #Conflicts: 1477000 | #Constraints: 33826
1595.85/1600.19 c #Conflicts: 1478000 | #Constraints: 34826
1595.85/1600.19 c #Conflicts: 1479000 | #Constraints: 35826
1595.85/1600.19 c #Conflicts: 1480000 | #Constraints: 36826
1595.85/1600.19 c #Conflicts: 1481000 | #Constraints: 37826
1595.85/1600.19 c #Conflicts: 1482000 | #Constraints: 38826
1595.85/1600.19 c #Conflicts: 1483000 | #Constraints: 39826
1595.85/1600.19 c #Conflicts: 1484000 | #Constraints: 40826
1595.85/1600.19 c #Conflicts: 1485000 | #Constraints: 41826
1595.85/1600.19 c #Conflicts: 1486000 | #Constraints: 42826
1595.85/1600.19 c #Conflicts: 1487000 | #Constraints: 43826
1595.85/1600.19 c #Conflicts: 1488000 | #Constraints: 44826
1595.85/1600.19 c #Conflicts: 1489000 | #Constraints: 45826
1595.85/1600.19 c #Conflicts: 1490000 | #Constraints: 46826
1595.85/1600.19 c #Conflicts: 1491000 | #Constraints: 47826
1595.85/1600.19 c INPROCESSING
1595.85/1600.19 c GARBAGE COLLECT
1595.85/1600.19 c #Conflicts: 1492000 | #Constraints: 24623
1595.85/1600.19 c #Conflicts: 1493000 | #Constraints: 25623
1595.85/1600.19 c #Conflicts: 1494000 | #Constraints: 26623
1595.85/1600.19 c #Conflicts: 1495000 | #Constraints: 27623
1595.85/1600.19 c #Conflicts: 1496000 | #Constraints: 28623
1595.85/1600.19 c #Conflicts: 1497000 | #Constraints: 29623
1595.85/1600.19 c #Conflicts: 1498000 | #Constraints: 30623
1595.85/1600.19 c #Conflicts: 1499000 | #Constraints: 31623
1595.85/1600.19 c #Conflicts: 1500000 | #Constraints: 32623
1595.85/1600.19 c #Conflicts: 1501000 | #Constraints: 33623
1595.85/1600.19 c #Conflicts: 1502000 | #Constraints: 34623
1595.85/1600.19 c #Conflicts: 1503000 | #Constraints: 35623
1595.85/1600.19 c #Conflicts: 1504000 | #Constraints: 36623
1731.68/1736.30 c #Conflicts: 1505000 | #Constraints: 37623
1731.68/1736.30 c #Conflicts: 1506000 | #Constraints: 38623
1731.68/1736.30 c #Conflicts: 1507000 | #Constraints: 39623
1731.68/1736.30 c #Conflicts: 1508000 | #Constraints: 40623
1731.68/1736.30 c #Conflicts: 1509000 | #Constraints: 41623
1731.68/1736.30 c #Conflicts: 1510000 | #Constraints: 42623
1731.68/1736.30 c #Conflicts: 1511000 | #Constraints: 43623
1731.68/1736.30 c #Conflicts: 1512000 | #Constraints: 44623
1731.68/1736.30 c #Conflicts: 1513000 | #Constraints: 45623
1731.68/1736.30 c #Conflicts: 1514000 | #Constraints: 46623
1731.68/1736.30 c #Conflicts: 1515000 | #Constraints: 47623
1731.68/1736.30 c #Conflicts: 1516000 | #Constraints: 48623
1731.68/1736.30 c INPROCESSING
1731.68/1736.30 c GARBAGE COLLECT
1731.68/1736.30 c #Conflicts: 1517000 | #Constraints: 25224
1731.68/1736.30 c #Conflicts: 1518000 | #Constraints: 26224
1731.68/1736.30 c #Conflicts: 1519000 | #Constraints: 27224
1731.68/1736.30 c #Conflicts: 1520000 | #Constraints: 28224
1731.68/1736.30 c #Conflicts: 1521000 | #Constraints: 29224
1731.68/1736.30 c #Conflicts: 1522000 | #Constraints: 30224
1731.68/1736.30 c #Conflicts: 1523000 | #Constraints: 31224
1731.68/1736.30 c #Conflicts: 1524000 | #Constraints: 32224
1731.68/1736.30 c #Conflicts: 1525000 | #Constraints: 33224
1731.68/1736.30 c #Conflicts: 1526000 | #Constraints: 34224
1731.68/1736.30 c #Conflicts: 1527000 | #Constraints: 35224
1731.68/1736.30 c #Conflicts: 1528000 | #Constraints: 36224
1731.68/1736.30 c #Conflicts: 1529000 | #Constraints: 37224
1731.68/1736.30 c #Conflicts: 1530000 | #Constraints: 38224
1731.68/1736.30 c #Conflicts: 1531000 | #Constraints: 39224
1731.68/1736.30 c #Conflicts: 1532000 | #Constraints: 40224
1731.68/1736.30 c #Conflicts: 1533000 | #Constraints: 41224
1731.68/1736.30 c #Conflicts: 1534000 | #Constraints: 42224
1731.68/1736.30 c #Conflicts: 1535000 | #Constraints: 43224
1731.68/1736.30 c #Conflicts: 1536000 | #Constraints: 44224
1731.68/1736.30 c #Conflicts: 1537000 | #Constraints: 45224
1731.68/1736.30 c #Conflicts: 1538000 | #Constraints: 46224
1731.68/1736.30 c #Conflicts: 1539000 | #Constraints: 47224
1731.68/1736.30 c #Conflicts: 1540000 | #Constraints: 48224
1731.68/1736.30 c #Conflicts: 1541000 | #Constraints: 49224
1731.68/1736.30 c INPROCESSING
1731.68/1736.30 c GARBAGE COLLECT
1731.68/1736.30 c #Conflicts: 1542000 | #Constraints: 25622
1731.68/1736.30 c #Conflicts: 1543000 | #Constraints: 26622
1731.68/1736.30 c #Conflicts: 1544000 | #Constraints: 27622
1731.68/1736.30 c #Conflicts: 1545000 | #Constraints: 28622
1731.68/1736.30 c #Conflicts: 1546000 | #Constraints: 29622
1731.68/1736.30 c #Conflicts: 1547000 | #Constraints: 30622
1731.68/1736.30 c #Conflicts: 1548000 | #Constraints: 31622
1731.68/1736.30 c #Conflicts: 1549000 | #Constraints: 32622
1731.68/1736.30 c #Conflicts: 1550000 | #Constraints: 33622
1731.68/1736.30 c #Conflicts: 1551000 | #Constraints: 34622
1731.68/1736.30 c #Conflicts: 1552000 | #Constraints: 35622
1731.68/1736.30 c #Conflicts: 1553000 | #Constraints: 36622
1731.68/1736.30 c #Conflicts: 1554000 | #Constraints: 37622
1731.68/1736.30 c #Conflicts: 1555000 | #Constraints: 38622
1731.68/1736.30 c #Conflicts: 1556000 | #Constraints: 39622
1731.68/1736.30 c #Conflicts: 1557000 | #Constraints: 40622
1731.68/1736.30 c #Conflicts: 1558000 | #Constraints: 41622
1731.68/1736.30 c #Conflicts: 1559000 | #Constraints: 42622
1731.68/1736.30 c #Conflicts: 1560000 | #Constraints: 43622
1731.68/1736.30 c #Conflicts: 1561000 | #Constraints: 44622
1731.68/1736.30 c #Conflicts: 1562000 | #Constraints: 45622
1731.68/1736.30 c #Conflicts: 1563000 | #Constraints: 46622
1731.68/1736.30 c #Conflicts: 1564000 | #Constraints: 47622
1731.68/1736.30 c #Conflicts: 1565000 | #Constraints: 48622
1731.68/1736.30 c #Conflicts: 1566000 | #Constraints: 49622
1731.68/1736.30 c INPROCESSING
1731.68/1736.30 c GARBAGE COLLECT
1731.68/1736.30 c #Conflicts: 1567000 | #Constraints: 25827
1731.68/1736.30 c #Conflicts: 1568000 | #Constraints: 26827
1731.68/1736.30 c #Conflicts: 1569000 | #Constraints: 27827
1731.68/1736.30 c #Conflicts: 1570000 | #Constraints: 28827
1731.68/1736.30 c #Conflicts: 1571000 | #Constraints: 29827
1731.68/1736.30 c #Conflicts: 1572000 | #Constraints: 30827
1731.68/1736.30 c #Conflicts: 1573000 | #Constraints: 31827
1731.68/1736.30 c #Conflicts: 1574000 | #Constraints: 32827
1731.68/1736.30 c #Conflicts: 1575000 | #Constraints: 33827
1731.68/1736.30 c #Conflicts: 1576000 | #Constraints: 34827
1731.68/1736.30 c #Conflicts: 1577000 | #Constraints: 35827
1731.68/1736.30 c #Conflicts: 1578000 | #Constraints: 36827
1731.68/1736.30 c #Conflicts: 1579000 | #Constraints: 37827
1731.68/1736.30 c #Conflicts: 1580000 | #Constraints: 38827
1731.68/1736.30 c #Conflicts: 1581000 | #Constraints: 39827
1887.92/1893.05 c #Conflicts: 1582000 | #Constraints: 40827
1887.92/1893.05 c #Conflicts: 1583000 | #Constraints: 41827
1887.92/1893.05 c #Conflicts: 1584000 | #Constraints: 42827
1887.92/1893.05 c #Conflicts: 1585000 | #Constraints: 43827
1887.92/1893.05 c #Conflicts: 1586000 | #Constraints: 44827
1887.92/1893.05 c #Conflicts: 1587000 | #Constraints: 45827
1887.92/1893.05 c #Conflicts: 1588000 | #Constraints: 46827
1887.92/1893.05 c #Conflicts: 1589000 | #Constraints: 47827
1887.92/1893.05 c #Conflicts: 1590000 | #Constraints: 48827
1887.92/1893.05 c #Conflicts: 1591000 | #Constraints: 49827
1887.92/1893.05 c INPROCESSING
1887.92/1893.05 c GARBAGE COLLECT
1887.92/1893.05 c #Conflicts: 1592000 | #Constraints: 25830
1887.92/1893.05 c #Conflicts: 1593000 | #Constraints: 26830
1887.92/1893.05 c #Conflicts: 1594000 | #Constraints: 27830
1887.92/1893.05 c #Conflicts: 1595000 | #Constraints: 28830
1887.92/1893.05 c #Conflicts: 1596000 | #Constraints: 29830
1887.92/1893.05 c #Conflicts: 1597000 | #Constraints: 30830
1887.92/1893.05 c #Conflicts: 1598000 | #Constraints: 31830
1887.92/1893.05 c #Conflicts: 1599000 | #Constraints: 32830
1887.92/1893.05 c #Conflicts: 1600000 | #Constraints: 33830
1887.92/1893.05 c #Conflicts: 1601000 | #Constraints: 34830
1887.92/1893.05 c #Conflicts: 1602000 | #Constraints: 35830
1887.92/1893.05 c #Conflicts: 1603000 | #Constraints: 36830
1887.92/1893.05 c #Conflicts: 1604000 | #Constraints: 37830
1887.92/1893.05 c #Conflicts: 1605000 | #Constraints: 38830
1887.92/1893.05 c #Conflicts: 1606000 | #Constraints: 39830
1887.92/1893.05 c #Conflicts: 1607000 | #Constraints: 40830
1887.92/1893.05 c #Conflicts: 1608000 | #Constraints: 41830
1887.92/1893.05 c #Conflicts: 1609000 | #Constraints: 42830
1887.92/1893.05 c #Conflicts: 1610000 | #Constraints: 43830
1887.92/1893.05 c #Conflicts: 1611000 | #Constraints: 44830
1887.92/1893.05 c #Conflicts: 1612000 | #Constraints: 45830
1887.92/1893.05 c #Conflicts: 1613000 | #Constraints: 46830
1887.92/1893.05 c #Conflicts: 1614000 | #Constraints: 47830
1887.92/1893.05 c #Conflicts: 1615000 | #Constraints: 48830
1887.92/1893.05 c #Conflicts: 1616000 | #Constraints: 49830
1887.92/1893.05 c INPROCESSING
1887.92/1893.05 c GARBAGE COLLECT
1887.92/1893.05 c #Conflicts: 1617000 | #Constraints: 25631
1887.92/1893.05 c #Conflicts: 1618000 | #Constraints: 26631
1887.92/1893.05 c #Conflicts: 1619000 | #Constraints: 27631
1887.92/1893.05 c #Conflicts: 1620000 | #Constraints: 28631
1887.92/1893.05 c #Conflicts: 1621000 | #Constraints: 29631
1887.92/1893.05 c #Conflicts: 1622000 | #Constraints: 30631
1887.92/1893.05 c #Conflicts: 1623000 | #Constraints: 31631
1887.92/1893.05 c #Conflicts: 1624000 | #Constraints: 32631
1887.92/1893.05 c #Conflicts: 1625000 | #Constraints: 33631
1887.92/1893.05 c #Conflicts: 1626000 | #Constraints: 34631
1887.92/1893.05 c #Conflicts: 1627000 | #Constraints: 35631
1887.92/1893.05 c #Conflicts: 1628000 | #Constraints: 36631
1887.92/1893.05 c #Conflicts: 1629000 | #Constraints: 37631
1887.92/1893.05 c #Conflicts: 1630000 | #Constraints: 38631
1887.92/1893.05 c #Conflicts: 1631000 | #Constraints: 39631
1887.92/1893.05 c #Conflicts: 1632000 | #Constraints: 40631
1887.92/1893.05 c #Conflicts: 1633000 | #Constraints: 41631
1887.92/1893.05 c #Conflicts: 1634000 | #Constraints: 42631
1887.92/1893.05 c #Conflicts: 1635000 | #Constraints: 43631
1887.92/1893.05 c #Conflicts: 1636000 | #Constraints: 44631
1887.92/1893.05 c #Conflicts: 1637000 | #Constraints: 45631
1887.92/1893.05 c #Conflicts: 1638000 | #Constraints: 46631
1887.92/1893.05 c #Conflicts: 1639000 | #Constraints: 47631
1887.92/1893.05 c #Conflicts: 1640000 | #Constraints: 48631
1887.92/1893.05 c #Conflicts: 1641000 | #Constraints: 49631
1887.92/1893.05 c #Conflicts: 1642000 | #Constraints: 50631
1887.92/1893.05 c INPROCESSING
1887.92/1893.05 c GARBAGE COLLECT
1887.92/1893.05 c #Conflicts: 1643000 | #Constraints: 26226
1887.92/1893.05 c #Conflicts: 1644000 | #Constraints: 27226
1887.92/1893.05 c #Conflicts: 1645000 | #Constraints: 28226
1887.92/1893.05 c #Conflicts: 1646000 | #Constraints: 29226
1887.92/1893.05 c #Conflicts: 1647000 | #Constraints: 30226
1887.92/1893.05 c #Conflicts: 1648000 | #Constraints: 31226
1887.92/1893.05 c #Conflicts: 1649000 | #Constraints: 32226
1887.92/1893.05 c #Conflicts: 1650000 | #Constraints: 33226
1887.92/1893.05 c #Conflicts: 1651000 | #Constraints: 34226
1887.92/1893.05 c #Conflicts: 1652000 | #Constraints: 35226
1887.92/1893.05 c #Conflicts: 1653000 | #Constraints: 36226
1887.92/1893.05 c #Conflicts: 1654000 | #Constraints: 37226
1887.92/1893.05 c #Conflicts: 1655000 | #Constraints: 38226
1887.92/1893.05 c #Conflicts: 1656000 | #Constraints: 39226
1887.92/1893.05 c #Conflicts: 1657000 | #Constraints: 40226
2030.65/2036.16 c #Conflicts: 1658000 | #Constraints: 41226
2030.65/2036.16 c #Conflicts: 1659000 | #Constraints: 42226
2030.65/2036.16 c #Conflicts: 1660000 | #Constraints: 43226
2030.65/2036.16 c #Conflicts: 1661000 | #Constraints: 44226
2030.65/2036.16 c #Conflicts: 1662000 | #Constraints: 45226
2030.65/2036.16 c #Conflicts: 1663000 | #Constraints: 46226
2030.65/2036.16 c #Conflicts: 1664000 | #Constraints: 47226
2030.65/2036.16 c #Conflicts: 1665000 | #Constraints: 48226
2030.65/2036.16 c #Conflicts: 1666000 | #Constraints: 49226
2030.65/2036.16 c #Conflicts: 1667000 | #Constraints: 50226
2030.65/2036.16 c #Conflicts: 1668000 | #Constraints: 51226
2030.65/2036.16 c INPROCESSING
2030.65/2036.16 c GARBAGE COLLECT
2030.65/2036.16 c #Conflicts: 1669000 | #Constraints: 26625
2030.65/2036.16 c #Conflicts: 1670000 | #Constraints: 27625
2030.65/2036.16 c #Conflicts: 1671000 | #Constraints: 28625
2030.65/2036.16 c #Conflicts: 1672000 | #Constraints: 29625
2030.65/2036.16 c #Conflicts: 1673000 | #Constraints: 30625
2030.65/2036.16 c #Conflicts: 1674000 | #Constraints: 31625
2030.65/2036.16 c #Conflicts: 1675000 | #Constraints: 32625
2030.65/2036.16 c #Conflicts: 1676000 | #Constraints: 33625
2030.65/2036.16 c #Conflicts: 1677000 | #Constraints: 34625
2030.65/2036.16 c #Conflicts: 1678000 | #Constraints: 35625
2030.65/2036.16 c #Conflicts: 1679000 | #Constraints: 36625
2030.65/2036.16 c #Conflicts: 1680000 | #Constraints: 37625
2030.65/2036.16 c #Conflicts: 1681000 | #Constraints: 38625
2030.65/2036.16 c #Conflicts: 1682000 | #Constraints: 39625
2030.65/2036.16 c #Conflicts: 1683000 | #Constraints: 40625
2030.65/2036.16 c #Conflicts: 1684000 | #Constraints: 41625
2030.65/2036.16 c #Conflicts: 1685000 | #Constraints: 42625
2030.65/2036.16 c #Conflicts: 1686000 | #Constraints: 43625
2030.65/2036.16 c #Conflicts: 1687000 | #Constraints: 44625
2030.65/2036.16 c #Conflicts: 1688000 | #Constraints: 45625
2030.65/2036.16 c #Conflicts: 1689000 | #Constraints: 46625
2030.65/2036.16 c #Conflicts: 1690000 | #Constraints: 47625
2030.65/2036.16 c #Conflicts: 1691000 | #Constraints: 48625
2030.65/2036.16 c #Conflicts: 1692000 | #Constraints: 49625
2030.65/2036.16 c #Conflicts: 1693000 | #Constraints: 50625
2030.65/2036.16 c #Conflicts: 1694000 | #Constraints: 51625
2030.65/2036.16 c INPROCESSING
2030.65/2036.16 c GARBAGE COLLECT
2030.65/2036.16 c #Conflicts: 1695000 | #Constraints: 26826
2030.65/2036.16 c #Conflicts: 1696000 | #Constraints: 27826
2030.65/2036.16 c #Conflicts: 1697000 | #Constraints: 28826
2030.65/2036.16 c #Conflicts: 1698000 | #Constraints: 29826
2030.65/2036.16 c #Conflicts: 1699000 | #Constraints: 30826
2030.65/2036.16 c #Conflicts: 1700000 | #Constraints: 31826
2030.65/2036.16 c #Conflicts: 1701000 | #Constraints: 32826
2030.65/2036.16 c #Conflicts: 1702000 | #Constraints: 33826
2030.65/2036.16 c #Conflicts: 1703000 | #Constraints: 34826
2030.65/2036.16 c #Conflicts: 1704000 | #Constraints: 35826
2030.65/2036.16 c #Conflicts: 1705000 | #Constraints: 36826
2030.65/2036.16 c #Conflicts: 1706000 | #Constraints: 37826
2030.65/2036.16 c #Conflicts: 1707000 | #Constraints: 38826
2030.65/2036.16 c #Conflicts: 1708000 | #Constraints: 39826
2030.65/2036.16 c #Conflicts: 1709000 | #Constraints: 40826
2030.65/2036.16 c #Conflicts: 1710000 | #Constraints: 41826
2030.65/2036.16 c #Conflicts: 1711000 | #Constraints: 42826
2030.65/2036.16 c #Conflicts: 1712000 | #Constraints: 43826
2030.65/2036.16 c #Conflicts: 1713000 | #Constraints: 44826
2030.65/2036.16 c #Conflicts: 1714000 | #Constraints: 45826
2030.65/2036.16 c #Conflicts: 1715000 | #Constraints: 46826
2030.65/2036.16 c #Conflicts: 1716000 | #Constraints: 47826
2030.65/2036.16 c #Conflicts: 1717000 | #Constraints: 48826
2030.65/2036.16 c #Conflicts: 1718000 | #Constraints: 49826
2030.65/2036.16 c #Conflicts: 1719000 | #Constraints: 50826
2030.65/2036.16 c #Conflicts: 1720000 | #Constraints: 51826
2030.65/2036.16 c INPROCESSING
2030.65/2036.16 c GARBAGE COLLECT
2030.65/2036.16 c #Conflicts: 1721000 | #Constraints: 26823
2030.65/2036.16 c #Conflicts: 1722000 | #Constraints: 27823
2030.65/2036.16 c #Conflicts: 1723000 | #Constraints: 28823
2030.65/2036.16 c #Conflicts: 1724000 | #Constraints: 29823
2030.65/2036.16 c #Conflicts: 1725000 | #Constraints: 30823
2030.65/2036.16 c #Conflicts: 1726000 | #Constraints: 31823
2030.65/2036.16 c #Conflicts: 1727000 | #Constraints: 32823
2030.65/2036.16 c #Conflicts: 1728000 | #Constraints: 33823
2030.65/2036.16 c #Conflicts: 1729000 | #Constraints: 34823
2030.65/2036.16 c #Conflicts: 1730000 | #Constraints: 35823
2030.65/2036.16 c #Conflicts: 1731000 | #Constraints: 36823
2030.65/2036.16 c #Conflicts: 1732000 | #Constraints: 37823
2030.65/2036.16 c #Conflicts: 1733000 | #Constraints: 38823
2030.65/2036.16 c #Conflicts: 1734000 | #Constraints: 39823
2175.04/2180.96 c #Conflicts: 1735000 | #Constraints: 40823
2175.04/2180.96 c #Conflicts: 1736000 | #Constraints: 41823
2175.04/2180.96 c #Conflicts: 1737000 | #Constraints: 42823
2175.04/2180.96 c #Conflicts: 1738000 | #Constraints: 43823
2175.04/2180.96 c #Conflicts: 1739000 | #Constraints: 44823
2175.04/2180.96 c #Conflicts: 1740000 | #Constraints: 45823
2175.04/2180.96 c #Conflicts: 1741000 | #Constraints: 46823
2175.04/2180.96 c #Conflicts: 1742000 | #Constraints: 47823
2175.04/2180.96 c #Conflicts: 1743000 | #Constraints: 48823
2175.04/2180.96 c #Conflicts: 1744000 | #Constraints: 49823
2175.04/2180.96 c #Conflicts: 1745000 | #Constraints: 50823
2175.04/2180.96 c #Conflicts: 1746000 | #Constraints: 51823
2175.04/2180.96 c INPROCESSING
2175.04/2180.96 c GARBAGE COLLECT
2175.04/2180.96 c #Conflicts: 1747000 | #Constraints: 26622
2175.04/2180.96 c #Conflicts: 1748000 | #Constraints: 27622
2175.04/2180.96 c #Conflicts: 1749000 | #Constraints: 28622
2175.04/2180.96 c #Conflicts: 1750000 | #Constraints: 29622
2175.04/2180.96 c #Conflicts: 1751000 | #Constraints: 30622
2175.04/2180.96 c #Conflicts: 1752000 | #Constraints: 31622
2175.04/2180.96 c #Conflicts: 1753000 | #Constraints: 32622
2175.04/2180.96 c #Conflicts: 1754000 | #Constraints: 33622
2175.04/2180.96 c #Conflicts: 1755000 | #Constraints: 34622
2175.04/2180.96 c #Conflicts: 1756000 | #Constraints: 35622
2175.04/2180.96 c #Conflicts: 1757000 | #Constraints: 36622
2175.04/2180.96 c #Conflicts: 1758000 | #Constraints: 37622
2175.04/2180.96 c #Conflicts: 1759000 | #Constraints: 38622
2175.04/2180.96 c #Conflicts: 1760000 | #Constraints: 39622
2175.04/2180.96 c #Conflicts: 1761000 | #Constraints: 40622
2175.04/2180.96 c #Conflicts: 1762000 | #Constraints: 41622
2175.04/2180.96 c #Conflicts: 1763000 | #Constraints: 42622
2175.04/2180.96 c #Conflicts: 1764000 | #Constraints: 43622
2175.04/2180.96 c #Conflicts: 1765000 | #Constraints: 44622
2175.04/2180.96 c #Conflicts: 1766000 | #Constraints: 45622
2175.04/2180.96 c #Conflicts: 1767000 | #Constraints: 46622
2175.04/2180.96 c #Conflicts: 1768000 | #Constraints: 47622
2175.04/2180.96 c #Conflicts: 1769000 | #Constraints: 48622
2175.04/2180.96 c #Conflicts: 1770000 | #Constraints: 49622
2175.04/2180.96 c #Conflicts: 1771000 | #Constraints: 50622
2175.04/2180.96 c #Conflicts: 1772000 | #Constraints: 51622
2175.04/2180.96 c #Conflicts: 1773000 | #Constraints: 52622
2175.04/2180.96 c INPROCESSING
2175.04/2180.96 c GARBAGE COLLECT
2175.04/2180.96 c #Conflicts: 1774000 | #Constraints: 27225
2175.04/2180.96 c #Conflicts: 1775000 | #Constraints: 28225
2175.04/2180.96 c #Conflicts: 1776000 | #Constraints: 29225
2175.04/2180.96 c #Conflicts: 1777000 | #Constraints: 30225
2175.04/2180.96 c #Conflicts: 1778000 | #Constraints: 31225
2175.04/2180.96 c #Conflicts: 1779000 | #Constraints: 32225
2175.04/2180.96 c #Conflicts: 1780000 | #Constraints: 33225
2175.04/2180.96 c #Conflicts: 1781000 | #Constraints: 34225
2175.04/2180.96 c #Conflicts: 1782000 | #Constraints: 35225
2175.04/2180.96 c #Conflicts: 1783000 | #Constraints: 36225
2175.04/2180.96 c #Conflicts: 1784000 | #Constraints: 37225
2175.04/2180.96 c #Conflicts: 1785000 | #Constraints: 38225
2175.04/2180.96 c #Conflicts: 1786000 | #Constraints: 39225
2175.04/2180.96 c #Conflicts: 1787000 | #Constraints: 40225
2175.04/2180.96 c #Conflicts: 1788000 | #Constraints: 41225
2175.04/2180.96 c #Conflicts: 1789000 | #Constraints: 42225
2175.04/2180.96 c #Conflicts: 1790000 | #Constraints: 43225
2175.04/2180.96 c #Conflicts: 1791000 | #Constraints: 44225
2175.04/2180.96 c #Conflicts: 1792000 | #Constraints: 45225
2175.04/2180.96 c #Conflicts: 1793000 | #Constraints: 46225
2175.04/2180.96 c #Conflicts: 1794000 | #Constraints: 47225
2175.04/2180.96 c #Conflicts: 1795000 | #Constraints: 48225
2175.04/2180.96 c #Conflicts: 1796000 | #Constraints: 49225
2175.04/2180.96 c #Conflicts: 1797000 | #Constraints: 50225
2175.04/2180.96 c #Conflicts: 1798000 | #Constraints: 51225
2175.04/2180.96 c #Conflicts: 1799000 | #Constraints: 52225
2175.04/2180.96 c #Conflicts: 1800000 | #Constraints: 53225
2175.04/2180.96 c INPROCESSING
2175.04/2180.96 c GARBAGE COLLECT
2175.04/2180.96 c #Conflicts: 1801000 | #Constraints: 27621
2175.04/2180.96 c #Conflicts: 1802000 | #Constraints: 28621
2175.04/2180.96 c #Conflicts: 1803000 | #Constraints: 29621
2175.04/2180.96 c #Conflicts: 1804000 | #Constraints: 30621
2175.04/2180.96 c #Conflicts: 1805000 | #Constraints: 31621
2175.04/2180.96 c #Conflicts: 1806000 | #Constraints: 32621
2175.04/2180.96 c #Conflicts: 1807000 | #Constraints: 33621
2175.04/2180.96 c #Conflicts: 1808000 | #Constraints: 34621
2175.04/2180.96 c #Conflicts: 1809000 | #Constraints: 35621
2175.04/2180.96 c #Conflicts: 1810000 | #Constraints: 36621
2175.04/2180.96 c #Conflicts: 1811000 | #Constraints: 37621
2322.45/2328.72 c #Conflicts: 1812000 | #Constraints: 38621
2322.45/2328.72 c #Conflicts: 1813000 | #Constraints: 39621
2322.45/2328.72 c #Conflicts: 1814000 | #Constraints: 40621
2322.45/2328.72 c #Conflicts: 1815000 | #Constraints: 41621
2322.45/2328.72 c #Conflicts: 1816000 | #Constraints: 42621
2322.45/2328.72 c #Conflicts: 1817000 | #Constraints: 43621
2322.45/2328.72 c #Conflicts: 1818000 | #Constraints: 44621
2322.45/2328.72 c #Conflicts: 1819000 | #Constraints: 45621
2322.45/2328.72 c #Conflicts: 1820000 | #Constraints: 46621
2322.45/2328.72 c #Conflicts: 1821000 | #Constraints: 47621
2322.45/2328.72 c #Conflicts: 1822000 | #Constraints: 48621
2322.45/2328.72 c #Conflicts: 1823000 | #Constraints: 49621
2322.45/2328.72 c #Conflicts: 1824000 | #Constraints: 50621
2322.45/2328.72 c #Conflicts: 1825000 | #Constraints: 51621
2322.45/2328.72 c #Conflicts: 1826000 | #Constraints: 52621
2322.45/2328.72 c #Conflicts: 1827000 | #Constraints: 53621
2322.45/2328.72 c INPROCESSING
2322.45/2328.72 c GARBAGE COLLECT
2322.45/2328.72 c #Conflicts: 1828000 | #Constraints: 27825
2322.45/2328.72 c #Conflicts: 1829000 | #Constraints: 28825
2322.45/2328.72 c #Conflicts: 1830000 | #Constraints: 29825
2322.45/2328.72 c #Conflicts: 1831000 | #Constraints: 30825
2322.45/2328.72 c #Conflicts: 1832000 | #Constraints: 31825
2322.45/2328.72 c #Conflicts: 1833000 | #Constraints: 32825
2322.45/2328.72 c #Conflicts: 1834000 | #Constraints: 33825
2322.45/2328.72 c #Conflicts: 1835000 | #Constraints: 34825
2322.45/2328.72 c #Conflicts: 1836000 | #Constraints: 35825
2322.45/2328.72 c #Conflicts: 1837000 | #Constraints: 36825
2322.45/2328.72 c #Conflicts: 1838000 | #Constraints: 37825
2322.45/2328.72 c #Conflicts: 1839000 | #Constraints: 38825
2322.45/2328.72 c #Conflicts: 1840000 | #Constraints: 39825
2322.45/2328.72 c #Conflicts: 1841000 | #Constraints: 40825
2322.45/2328.72 c #Conflicts: 1842000 | #Constraints: 41825
2322.45/2328.72 c #Conflicts: 1843000 | #Constraints: 42825
2322.45/2328.72 c #Conflicts: 1844000 | #Constraints: 43825
2322.45/2328.72 c #Conflicts: 1845000 | #Constraints: 44825
2322.45/2328.72 c #Conflicts: 1846000 | #Constraints: 45825
2322.45/2328.72 c #Conflicts: 1847000 | #Constraints: 46825
2322.45/2328.72 c #Conflicts: 1848000 | #Constraints: 47825
2322.45/2328.72 c #Conflicts: 1849000 | #Constraints: 48825
2322.45/2328.72 c #Conflicts: 1850000 | #Constraints: 49825
2322.45/2328.72 c #Conflicts: 1851000 | #Constraints: 50825
2322.45/2328.72 c #Conflicts: 1852000 | #Constraints: 51825
2322.45/2328.72 c #Conflicts: 1853000 | #Constraints: 52825
2322.45/2328.72 c #Conflicts: 1854000 | #Constraints: 53825
2322.45/2328.72 c INPROCESSING
2322.45/2328.72 c GARBAGE COLLECT
2322.45/2328.72 c #Conflicts: 1855000 | #Constraints: 27828
2322.45/2328.72 c #Conflicts: 1856000 | #Constraints: 28828
2322.45/2328.72 c #Conflicts: 1857000 | #Constraints: 29828
2322.45/2328.72 c #Conflicts: 1858000 | #Constraints: 30828
2322.45/2328.72 c #Conflicts: 1859000 | #Constraints: 31828
2322.45/2328.72 c #Conflicts: 1860000 | #Constraints: 32828
2322.45/2328.72 c #Conflicts: 1861000 | #Constraints: 33828
2322.45/2328.72 c #Conflicts: 1862000 | #Constraints: 34828
2322.45/2328.72 c #Conflicts: 1863000 | #Constraints: 35828
2322.45/2328.72 c #Conflicts: 1864000 | #Constraints: 36828
2322.45/2328.72 c #Conflicts: 1865000 | #Constraints: 37828
2322.45/2328.72 c #Conflicts: 1866000 | #Constraints: 38828
2322.45/2328.72 c #Conflicts: 1867000 | #Constraints: 39828
2322.45/2328.72 c #Conflicts: 1868000 | #Constraints: 40828
2322.45/2328.72 c #Conflicts: 1869000 | #Constraints: 41828
2322.45/2328.72 c #Conflicts: 1870000 | #Constraints: 42828
2322.45/2328.72 c #Conflicts: 1871000 | #Constraints: 43828
2322.45/2328.72 c #Conflicts: 1872000 | #Constraints: 44828
2322.45/2328.72 c #Conflicts: 1873000 | #Constraints: 45828
2322.45/2328.72 c #Conflicts: 1874000 | #Constraints: 46828
2322.45/2328.72 c #Conflicts: 1875000 | #Constraints: 47828
2322.45/2328.72 c #Conflicts: 1876000 | #Constraints: 48828
2322.45/2328.72 c #Conflicts: 1877000 | #Constraints: 49828
2322.45/2328.72 c #Conflicts: 1878000 | #Constraints: 50828
2322.45/2328.72 c #Conflicts: 1879000 | #Constraints: 51828
2322.45/2328.72 c #Conflicts: 1880000 | #Constraints: 52828
2322.45/2328.72 c #Conflicts: 1881000 | #Constraints: 53828
2322.45/2328.72 c INPROCESSING
2322.45/2328.72 c GARBAGE COLLECT
2322.45/2328.72 c #Conflicts: 1882000 | #Constraints: 27626
2322.45/2328.72 c #Conflicts: 1883000 | #Constraints: 28626
2322.45/2328.72 c #Conflicts: 1884000 | #Constraints: 29626
2322.45/2328.72 c #Conflicts: 1885000 | #Constraints: 30626
2322.45/2328.72 c #Conflicts: 1886000 | #Constraints: 31626
2322.45/2328.72 c #Conflicts: 1887000 | #Constraints: 32626
2322.45/2328.72 c #Conflicts: 1888000 | #Constraints: 33626
2478.63/2485.33 c #Conflicts: 1889000 | #Constraints: 34626
2478.63/2485.33 c #Conflicts: 1890000 | #Constraints: 35626
2478.63/2485.33 c #Conflicts: 1891000 | #Constraints: 36626
2478.63/2485.33 c #Conflicts: 1892000 | #Constraints: 37626
2478.63/2485.33 c #Conflicts: 1893000 | #Constraints: 38626
2478.63/2485.33 c #Conflicts: 1894000 | #Constraints: 39626
2478.63/2485.33 c #Conflicts: 1895000 | #Constraints: 40626
2478.63/2485.33 c #Conflicts: 1896000 | #Constraints: 41626
2478.63/2485.33 c #Conflicts: 1897000 | #Constraints: 42626
2478.63/2485.33 c #Conflicts: 1898000 | #Constraints: 43626
2478.63/2485.33 c #Conflicts: 1899000 | #Constraints: 44626
2478.63/2485.33 c #Conflicts: 1900000 | #Constraints: 45626
2478.63/2485.33 c #Conflicts: 1901000 | #Constraints: 46626
2478.63/2485.33 c #Conflicts: 1902000 | #Constraints: 47626
2478.63/2485.33 c #Conflicts: 1903000 | #Constraints: 48626
2478.63/2485.33 c #Conflicts: 1904000 | #Constraints: 49626
2478.63/2485.33 c #Conflicts: 1905000 | #Constraints: 50626
2478.63/2485.33 c #Conflicts: 1906000 | #Constraints: 51626
2478.63/2485.33 c #Conflicts: 1907000 | #Constraints: 52626
2478.63/2485.33 c #Conflicts: 1908000 | #Constraints: 53626
2478.63/2485.33 c #Conflicts: 1909000 | #Constraints: 54626
2478.63/2485.33 c INPROCESSING
2478.63/2485.33 c GARBAGE COLLECT
2478.63/2485.33 c #Conflicts: 1910000 | #Constraints: 28226
2478.63/2485.33 c #Conflicts: 1911000 | #Constraints: 29226
2478.63/2485.33 c #Conflicts: 1912000 | #Constraints: 30226
2478.63/2485.33 c #Conflicts: 1913000 | #Constraints: 31226
2478.63/2485.33 c #Conflicts: 1914000 | #Constraints: 32226
2478.63/2485.33 c #Conflicts: 1915000 | #Constraints: 33226
2478.63/2485.33 c #Conflicts: 1916000 | #Constraints: 34226
2478.63/2485.33 c #Conflicts: 1917000 | #Constraints: 35226
2478.63/2485.33 c #Conflicts: 1918000 | #Constraints: 36226
2478.63/2485.33 c #Conflicts: 1919000 | #Constraints: 37226
2478.63/2485.33 c #Conflicts: 1920000 | #Constraints: 38226
2478.63/2485.33 c #Conflicts: 1921000 | #Constraints: 39226
2478.63/2485.33 c #Conflicts: 1922000 | #Constraints: 40226
2478.63/2485.33 c #Conflicts: 1923000 | #Constraints: 41226
2478.63/2485.33 c #Conflicts: 1924000 | #Constraints: 42226
2478.63/2485.33 c #Conflicts: 1925000 | #Constraints: 43226
2478.63/2485.33 c #Conflicts: 1926000 | #Constraints: 44226
2478.63/2485.33 c #Conflicts: 1927000 | #Constraints: 45226
2478.63/2485.33 c #Conflicts: 1928000 | #Constraints: 46226
2478.63/2485.33 c #Conflicts: 1929000 | #Constraints: 47226
2478.63/2485.33 c #Conflicts: 1930000 | #Constraints: 48226
2478.63/2485.33 c #Conflicts: 1931000 | #Constraints: 49226
2478.63/2485.33 c #Conflicts: 1932000 | #Constraints: 50226
2478.63/2485.33 c #Conflicts: 1933000 | #Constraints: 51226
2478.63/2485.33 c #Conflicts: 1934000 | #Constraints: 52226
2478.63/2485.33 c #Conflicts: 1935000 | #Constraints: 53226
2478.63/2485.33 c #Conflicts: 1936000 | #Constraints: 54226
2478.63/2485.33 c #Conflicts: 1937000 | #Constraints: 55226
2478.63/2485.33 c INPROCESSING
2478.63/2485.33 c GARBAGE COLLECT
2478.63/2485.33 c #Conflicts: 1938000 | #Constraints: 28625
2478.63/2485.33 c #Conflicts: 1939000 | #Constraints: 29625
2478.63/2485.33 c #Conflicts: 1940000 | #Constraints: 30625
2478.63/2485.33 c #Conflicts: 1941000 | #Constraints: 31625
2478.63/2485.33 c #Conflicts: 1942000 | #Constraints: 32625
2478.63/2485.33 c #Conflicts: 1943000 | #Constraints: 33625
2478.63/2485.33 c #Conflicts: 1944000 | #Constraints: 34625
2478.63/2485.33 c #Conflicts: 1945000 | #Constraints: 35625
2478.63/2485.33 c #Conflicts: 1946000 | #Constraints: 36625
2478.63/2485.33 c #Conflicts: 1947000 | #Constraints: 37625
2478.63/2485.33 c #Conflicts: 1948000 | #Constraints: 38625
2478.63/2485.33 c #Conflicts: 1949000 | #Constraints: 39625
2478.63/2485.33 c #Conflicts: 1950000 | #Constraints: 40625
2478.63/2485.33 c #Conflicts: 1951000 | #Constraints: 41625
2478.63/2485.33 c #Conflicts: 1952000 | #Constraints: 42625
2478.63/2485.33 c #Conflicts: 1953000 | #Constraints: 43625
2478.63/2485.33 c #Conflicts: 1954000 | #Constraints: 44625
2478.63/2485.33 c #Conflicts: 1955000 | #Constraints: 45625
2478.63/2485.33 c #Conflicts: 1956000 | #Constraints: 46625
2478.63/2485.33 c #Conflicts: 1957000 | #Constraints: 47625
2478.63/2485.33 c #Conflicts: 1958000 | #Constraints: 48625
2478.63/2485.33 c #Conflicts: 1959000 | #Constraints: 49625
2478.63/2485.33 c #Conflicts: 1960000 | #Constraints: 50625
2478.63/2485.33 c #Conflicts: 1961000 | #Constraints: 51625
2478.63/2485.33 c #Conflicts: 1962000 | #Constraints: 52625
2478.63/2485.33 c #Conflicts: 1963000 | #Constraints: 53625
2478.63/2485.33 c #Conflicts: 1964000 | #Constraints: 54625
2478.63/2485.33 c #Conflicts: 1965000 | #Constraints: 55625
2638.10/2645.20 c INPROCESSING
2638.10/2645.20 c GARBAGE COLLECT
2638.10/2645.20 c #Conflicts: 1966000 | #Constraints: 28827
2638.10/2645.20 c #Conflicts: 1967000 | #Constraints: 29827
2638.10/2645.20 c #Conflicts: 1968000 | #Constraints: 30827
2638.10/2645.20 c #Conflicts: 1969000 | #Constraints: 31827
2638.10/2645.20 c #Conflicts: 1970000 | #Constraints: 32827
2638.10/2645.20 c #Conflicts: 1971000 | #Constraints: 33827
2638.10/2645.20 c #Conflicts: 1972000 | #Constraints: 34827
2638.10/2645.20 c #Conflicts: 1973000 | #Constraints: 35827
2638.10/2645.20 c #Conflicts: 1974000 | #Constraints: 36827
2638.10/2645.20 c #Conflicts: 1975000 | #Constraints: 37827
2638.10/2645.20 c #Conflicts: 1976000 | #Constraints: 38827
2638.10/2645.20 c #Conflicts: 1977000 | #Constraints: 39827
2638.10/2645.20 c #Conflicts: 1978000 | #Constraints: 40827
2638.10/2645.20 c #Conflicts: 1979000 | #Constraints: 41827
2638.10/2645.20 c #Conflicts: 1980000 | #Constraints: 42827
2638.10/2645.20 c #Conflicts: 1981000 | #Constraints: 43827
2638.10/2645.20 c #Conflicts: 1982000 | #Constraints: 44827
2638.10/2645.20 c #Conflicts: 1983000 | #Constraints: 45827
2638.10/2645.20 c #Conflicts: 1984000 | #Constraints: 46827
2638.10/2645.20 c #Conflicts: 1985000 | #Constraints: 47827
2638.10/2645.20 c #Conflicts: 1986000 | #Constraints: 48827
2638.10/2645.20 c #Conflicts: 1987000 | #Constraints: 49827
2638.10/2645.20 c #Conflicts: 1988000 | #Constraints: 50827
2638.10/2645.20 c #Conflicts: 1989000 | #Constraints: 51827
2638.10/2645.20 c #Conflicts: 1990000 | #Constraints: 52827
2638.10/2645.20 c #Conflicts: 1991000 | #Constraints: 53827
2638.10/2645.20 c #Conflicts: 1992000 | #Constraints: 54827
2638.10/2645.20 c #Conflicts: 1993000 | #Constraints: 55827
2638.10/2645.20 c INPROCESSING
2638.10/2645.20 c GARBAGE COLLECT
2638.10/2645.20 c #Conflicts: 1994000 | #Constraints: 28828
2638.10/2645.20 c #Conflicts: 1995000 | #Constraints: 29828
2638.10/2645.20 c #Conflicts: 1996000 | #Constraints: 30828
2638.10/2645.20 c #Conflicts: 1997000 | #Constraints: 31828
2638.10/2645.20 c #Conflicts: 1998000 | #Constraints: 32828
2638.10/2645.20 c #Conflicts: 1999000 | #Constraints: 33828
2638.10/2645.20 c #Conflicts: 2000000 | #Constraints: 34828
2638.10/2645.20 c #Conflicts: 2001000 | #Constraints: 35828
2638.10/2645.20 c #Conflicts: 2002000 | #Constraints: 36828
2638.10/2645.20 c #Conflicts: 2003000 | #Constraints: 37828
2638.10/2645.20 c #Conflicts: 2004000 | #Constraints: 38828
2638.10/2645.20 c #Conflicts: 2005000 | #Constraints: 39828
2638.10/2645.20 c #Conflicts: 2006000 | #Constraints: 40828
2638.10/2645.20 c #Conflicts: 2007000 | #Constraints: 41828
2638.10/2645.20 c #Conflicts: 2008000 | #Constraints: 42828
2638.10/2645.20 c #Conflicts: 2009000 | #Constraints: 43828
2638.10/2645.20 c #Conflicts: 2010000 | #Constraints: 44828
2638.10/2645.20 c #Conflicts: 2011000 | #Constraints: 45828
2638.10/2645.20 c #Conflicts: 2012000 | #Constraints: 46828
2638.10/2645.20 c #Conflicts: 2013000 | #Constraints: 47828
2638.10/2645.20 c #Conflicts: 2014000 | #Constraints: 48828
2638.10/2645.20 c #Conflicts: 2015000 | #Constraints: 49828
2638.10/2645.20 c #Conflicts: 2016000 | #Constraints: 50828
2638.10/2645.20 c #Conflicts: 2017000 | #Constraints: 51828
2638.10/2645.20 c #Conflicts: 2018000 | #Constraints: 52828
2638.10/2645.20 c #Conflicts: 2019000 | #Constraints: 53828
2638.10/2645.20 c #Conflicts: 2020000 | #Constraints: 54828
2638.10/2645.20 c #Conflicts: 2021000 | #Constraints: 55828
2638.10/2645.20 c INPROCESSING
2638.10/2645.20 c GARBAGE COLLECT
2638.10/2645.20 c #Conflicts: 2022000 | #Constraints: 28625
2638.10/2645.20 c #Conflicts: 2023000 | #Constraints: 29625
2638.10/2645.20 c #Conflicts: 2024000 | #Constraints: 30625
2638.10/2645.20 c #Conflicts: 2025000 | #Constraints: 31625
2638.10/2645.20 c #Conflicts: 2026000 | #Constraints: 32625
2638.10/2645.20 c #Conflicts: 2027000 | #Constraints: 33625
2638.10/2645.20 c #Conflicts: 2028000 | #Constraints: 34625
2638.10/2645.20 c #Conflicts: 2029000 | #Constraints: 35625
2638.10/2645.20 c #Conflicts: 2030000 | #Constraints: 36625
2638.10/2645.20 c #Conflicts: 2031000 | #Constraints: 37625
2638.10/2645.20 c #Conflicts: 2032000 | #Constraints: 38625
2638.10/2645.20 c #Conflicts: 2033000 | #Constraints: 39625
2638.10/2645.20 c #Conflicts: 2034000 | #Constraints: 40625
2638.10/2645.20 c #Conflicts: 2035000 | #Constraints: 41625
2638.10/2645.20 c #Conflicts: 2036000 | #Constraints: 42625
2638.10/2645.20 c #Conflicts: 2037000 | #Constraints: 43625
2638.10/2645.20 c #Conflicts: 2038000 | #Constraints: 44625
2638.10/2645.20 c #Conflicts: 2039000 | #Constraints: 45625
2638.10/2645.20 c #Conflicts: 2040000 | #Constraints: 46625
2638.10/2645.20 c #Conflicts: 2041000 | #Constraints: 47625
2638.10/2645.20 c #Conflicts: 2042000 | #Constraints: 48625
2813.03/2820.62 c #Conflicts: 2043000 | #Constraints: 49625
2813.03/2820.62 c #Conflicts: 2044000 | #Constraints: 50625
2813.03/2820.62 c #Conflicts: 2045000 | #Constraints: 51625
2813.03/2820.62 c #Conflicts: 2046000 | #Constraints: 52625
2813.03/2820.62 c #Conflicts: 2047000 | #Constraints: 53625
2813.03/2820.62 c #Conflicts: 2048000 | #Constraints: 54625
2813.03/2820.62 c #Conflicts: 2049000 | #Constraints: 55625
2813.03/2820.62 c #Conflicts: 2050000 | #Constraints: 56625
2813.03/2820.62 c INPROCESSING
2813.03/2820.62 c GARBAGE COLLECT
2813.03/2820.62 c #Conflicts: 2051000 | #Constraints: 29223
2813.03/2820.62 c #Conflicts: 2052000 | #Constraints: 30223
2813.03/2820.62 c #Conflicts: 2053000 | #Constraints: 31223
2813.03/2820.62 c #Conflicts: 2054000 | #Constraints: 32223
2813.03/2820.62 c #Conflicts: 2055000 | #Constraints: 33223
2813.03/2820.62 c #Conflicts: 2056000 | #Constraints: 34223
2813.03/2820.62 c #Conflicts: 2057000 | #Constraints: 35223
2813.03/2820.62 c #Conflicts: 2058000 | #Constraints: 36223
2813.03/2820.62 c #Conflicts: 2059000 | #Constraints: 37223
2813.03/2820.62 c #Conflicts: 2060000 | #Constraints: 38223
2813.03/2820.62 c #Conflicts: 2061000 | #Constraints: 39223
2813.03/2820.62 c #Conflicts: 2062000 | #Constraints: 40223
2813.03/2820.62 c #Conflicts: 2063000 | #Constraints: 41223
2813.03/2820.62 c #Conflicts: 2064000 | #Constraints: 42223
2813.03/2820.62 c #Conflicts: 2065000 | #Constraints: 43223
2813.03/2820.62 c #Conflicts: 2066000 | #Constraints: 44223
2813.03/2820.62 c #Conflicts: 2067000 | #Constraints: 45223
2813.03/2820.62 c #Conflicts: 2068000 | #Constraints: 46223
2813.03/2820.62 c #Conflicts: 2069000 | #Constraints: 47223
2813.03/2820.62 c #Conflicts: 2070000 | #Constraints: 48223
2813.03/2820.62 c #Conflicts: 2071000 | #Constraints: 49223
2813.03/2820.62 c #Conflicts: 2072000 | #Constraints: 50223
2813.03/2820.62 c #Conflicts: 2073000 | #Constraints: 51223
2813.03/2820.62 c #Conflicts: 2074000 | #Constraints: 52223
2813.03/2820.62 c #Conflicts: 2075000 | #Constraints: 53223
2813.03/2820.62 c #Conflicts: 2076000 | #Constraints: 54223
2813.03/2820.62 c #Conflicts: 2077000 | #Constraints: 55223
2813.03/2820.62 c #Conflicts: 2078000 | #Constraints: 56223
2813.03/2820.62 c #Conflicts: 2079000 | #Constraints: 57223
2813.03/2820.62 c INPROCESSING
2813.03/2820.62 c GARBAGE COLLECT
2813.03/2820.62 c #Conflicts: 2080000 | #Constraints: 29628
2813.03/2820.62 c #Conflicts: 2081000 | #Constraints: 30628
2813.03/2820.62 c #Conflicts: 2082000 | #Constraints: 31628
2813.03/2820.62 c #Conflicts: 2083000 | #Constraints: 32628
2813.03/2820.62 c #Conflicts: 2084000 | #Constraints: 33628
2813.03/2820.62 c #Conflicts: 2085000 | #Constraints: 34628
2813.03/2820.62 c #Conflicts: 2086000 | #Constraints: 35628
2813.03/2820.62 c #Conflicts: 2087000 | #Constraints: 36628
2813.03/2820.62 c #Conflicts: 2088000 | #Constraints: 37628
2813.03/2820.62 c #Conflicts: 2089000 | #Constraints: 38628
2813.03/2820.62 c #Conflicts: 2090000 | #Constraints: 39628
2813.03/2820.62 c #Conflicts: 2091000 | #Constraints: 40628
2813.03/2820.62 c #Conflicts: 2092000 | #Constraints: 41628
2813.03/2820.62 c #Conflicts: 2093000 | #Constraints: 42628
2813.03/2820.62 c #Conflicts: 2094000 | #Constraints: 43628
2813.03/2820.62 c #Conflicts: 2095000 | #Constraints: 44628
2813.03/2820.62 c #Conflicts: 2096000 | #Constraints: 45628
2813.03/2820.62 c #Conflicts: 2097000 | #Constraints: 46628
2813.03/2820.62 c #Conflicts: 2098000 | #Constraints: 47628
2813.03/2820.62 c #Conflicts: 2099000 | #Constraints: 48628
2813.03/2820.62 c #Conflicts: 2100000 | #Constraints: 49628
2813.03/2820.62 c #Conflicts: 2101000 | #Constraints: 50628
2813.03/2820.62 c #Conflicts: 2102000 | #Constraints: 51628
2813.03/2820.62 c #Conflicts: 2103000 | #Constraints: 52628
2813.03/2820.62 c #Conflicts: 2104000 | #Constraints: 53628
2813.03/2820.62 c #Conflicts: 2105000 | #Constraints: 54628
2813.03/2820.62 c #Conflicts: 2106000 | #Constraints: 55628
2813.03/2820.62 c #Conflicts: 2107000 | #Constraints: 56628
2813.03/2820.62 c #Conflicts: 2108000 | #Constraints: 57628
2813.03/2820.62 c INPROCESSING
2813.03/2820.62 c GARBAGE COLLECT
2813.03/2820.62 c #Conflicts: 2109000 | #Constraints: 29828
2813.03/2820.62 c #Conflicts: 2110000 | #Constraints: 30828
2813.03/2820.62 c #Conflicts: 2111000 | #Constraints: 31828
2813.03/2820.62 c #Conflicts: 2112000 | #Constraints: 32828
2813.03/2820.62 c #Conflicts: 2113000 | #Constraints: 33828
2813.03/2820.62 c #Conflicts: 2114000 | #Constraints: 34828
2813.03/2820.62 c #Conflicts: 2115000 | #Constraints: 35828
2813.03/2820.62 c #Conflicts: 2116000 | #Constraints: 36828
2813.03/2820.62 c #Conflicts: 2117000 | #Constraints: 37828
2813.03/2820.62 c #Conflicts: 2118000 | #Constraints: 38828
2813.03/2820.62 c #Conflicts: 2119000 | #Constraints: 39828
3017.99/3026.14 c #Conflicts: 2120000 | #Constraints: 40828
3017.99/3026.14 c #Conflicts: 2121000 | #Constraints: 41828
3017.99/3026.14 c #Conflicts: 2122000 | #Constraints: 42828
3017.99/3026.14 c #Conflicts: 2123000 | #Constraints: 43828
3017.99/3026.14 c #Conflicts: 2124000 | #Constraints: 44828
3017.99/3026.14 c #Conflicts: 2125000 | #Constraints: 45828
3017.99/3026.14 c #Conflicts: 2126000 | #Constraints: 46828
3017.99/3026.14 c #Conflicts: 2127000 | #Constraints: 47828
3017.99/3026.14 c #Conflicts: 2128000 | #Constraints: 48828
3017.99/3026.14 c #Conflicts: 2129000 | #Constraints: 49828
3017.99/3026.14 c #Conflicts: 2130000 | #Constraints: 50828
3017.99/3026.14 c #Conflicts: 2131000 | #Constraints: 51828
3017.99/3026.14 c #Conflicts: 2132000 | #Constraints: 52828
3017.99/3026.14 c #Conflicts: 2133000 | #Constraints: 53828
3017.99/3026.14 c #Conflicts: 2134000 | #Constraints: 54828
3017.99/3026.14 c #Conflicts: 2135000 | #Constraints: 55828
3017.99/3026.14 c #Conflicts: 2136000 | #Constraints: 56828
3017.99/3026.14 c #Conflicts: 2137000 | #Constraints: 57828
3017.99/3026.14 c INPROCESSING
3017.99/3026.14 c GARBAGE COLLECT
3017.99/3026.14 c #Conflicts: 2138000 | #Constraints: 29825
3017.99/3026.14 c #Conflicts: 2139000 | #Constraints: 30825
3017.99/3026.14 c #Conflicts: 2140000 | #Constraints: 31825
3017.99/3026.14 c #Conflicts: 2141000 | #Constraints: 32825
3017.99/3026.14 c #Conflicts: 2142000 | #Constraints: 33825
3017.99/3026.14 c #Conflicts: 2143000 | #Constraints: 34825
3017.99/3026.14 c #Conflicts: 2144000 | #Constraints: 35825
3017.99/3026.14 c #Conflicts: 2145000 | #Constraints: 36825
3017.99/3026.14 c #Conflicts: 2146000 | #Constraints: 37825
3017.99/3026.14 c #Conflicts: 2147000 | #Constraints: 38825
3017.99/3026.14 c #Conflicts: 2148000 | #Constraints: 39825
3017.99/3026.14 c #Conflicts: 2149000 | #Constraints: 40825
3017.99/3026.14 c #Conflicts: 2150000 | #Constraints: 41825
3017.99/3026.14 c #Conflicts: 2151000 | #Constraints: 42825
3017.99/3026.14 c #Conflicts: 2152000 | #Constraints: 43825
3017.99/3026.14 c #Conflicts: 2153000 | #Constraints: 44825
3017.99/3026.14 c #Conflicts: 2154000 | #Constraints: 45825
3017.99/3026.14 c #Conflicts: 2155000 | #Constraints: 46825
3017.99/3026.14 c #Conflicts: 2156000 | #Constraints: 47825
3017.99/3026.14 c #Conflicts: 2157000 | #Constraints: 48825
3017.99/3026.14 c #Conflicts: 2158000 | #Constraints: 49825
3017.99/3026.14 c #Conflicts: 2159000 | #Constraints: 50825
3017.99/3026.14 c #Conflicts: 2160000 | #Constraints: 51825
3017.99/3026.14 c #Conflicts: 2161000 | #Constraints: 52825
3017.99/3026.14 c #Conflicts: 2162000 | #Constraints: 53825
3017.99/3026.14 c #Conflicts: 2163000 | #Constraints: 54825
3017.99/3026.14 c #Conflicts: 2164000 | #Constraints: 55825
3017.99/3026.14 c #Conflicts: 2165000 | #Constraints: 56825
3017.99/3026.14 c #Conflicts: 2166000 | #Constraints: 57825
3017.99/3026.14 c INPROCESSING
3017.99/3026.14 c GARBAGE COLLECT
3017.99/3026.14 c #Conflicts: 2167000 | #Constraints: 29629
3017.99/3026.14 c #Conflicts: 2168000 | #Constraints: 30629
3017.99/3026.14 c #Conflicts: 2169000 | #Constraints: 31629
3017.99/3026.14 c #Conflicts: 2170000 | #Constraints: 32629
3017.99/3026.14 c #Conflicts: 2171000 | #Constraints: 33629
3017.99/3026.14 c #Conflicts: 2172000 | #Constraints: 34629
3017.99/3026.14 c #Conflicts: 2173000 | #Constraints: 35629
3017.99/3026.14 c #Conflicts: 2174000 | #Constraints: 36629
3017.99/3026.14 c #Conflicts: 2175000 | #Constraints: 37629
3017.99/3026.14 c #Conflicts: 2176000 | #Constraints: 38629
3017.99/3026.14 c #Conflicts: 2177000 | #Constraints: 39629
3017.99/3026.14 c #Conflicts: 2178000 | #Constraints: 40629
3017.99/3026.14 c #Conflicts: 2179000 | #Constraints: 41629
3017.99/3026.14 c #Conflicts: 2180000 | #Constraints: 42629
3017.99/3026.14 c #Conflicts: 2181000 | #Constraints: 43629
3017.99/3026.14 c #Conflicts: 2182000 | #Constraints: 44629
3017.99/3026.14 c #Conflicts: 2183000 | #Constraints: 45629
3017.99/3026.14 c #Conflicts: 2184000 | #Constraints: 46629
3017.99/3026.14 c #Conflicts: 2185000 | #Constraints: 47629
3017.99/3026.14 c #Conflicts: 2186000 | #Constraints: 48629
3017.99/3026.14 c #Conflicts: 2187000 | #Constraints: 49629
3017.99/3026.14 c #Conflicts: 2188000 | #Constraints: 50629
3017.99/3026.14 c #Conflicts: 2189000 | #Constraints: 51629
3017.99/3026.14 c #Conflicts: 2190000 | #Constraints: 52629
3017.99/3026.14 c #Conflicts: 2191000 | #Constraints: 53629
3017.99/3026.14 c #Conflicts: 2192000 | #Constraints: 54629
3017.99/3026.14 c #Conflicts: 2193000 | #Constraints: 55629
3017.99/3026.14 c #Conflicts: 2194000 | #Constraints: 56629
3017.99/3026.14 c #Conflicts: 2195000 | #Constraints: 57629
3017.99/3026.14 c #Conflicts: 2196000 | #Constraints: 58629
3017.99/3026.14 c INPROCESSING
3227.81/3236.50 c GARBAGE COLLECT
3227.81/3236.50 c #Conflicts: 2197000 | #Constraints: 30229
3227.81/3236.50 c #Conflicts: 2198000 | #Constraints: 31229
3227.81/3236.50 c #Conflicts: 2199000 | #Constraints: 32229
3227.81/3236.50 c #Conflicts: 2200000 | #Constraints: 33229
3227.81/3236.50 c #Conflicts: 2201000 | #Constraints: 34229
3227.81/3236.50 c #Conflicts: 2202000 | #Constraints: 35229
3227.81/3236.50 c #Conflicts: 2203000 | #Constraints: 36229
3227.81/3236.50 c #Conflicts: 2204000 | #Constraints: 37229
3227.81/3236.50 c #Conflicts: 2205000 | #Constraints: 38229
3227.81/3236.50 c #Conflicts: 2206000 | #Constraints: 39229
3227.81/3236.50 c #Conflicts: 2207000 | #Constraints: 40229
3227.81/3236.50 c #Conflicts: 2208000 | #Constraints: 41229
3227.81/3236.50 c #Conflicts: 2209000 | #Constraints: 42229
3227.81/3236.50 c #Conflicts: 2210000 | #Constraints: 43229
3227.81/3236.50 c #Conflicts: 2211000 | #Constraints: 44229
3227.81/3236.50 c #Conflicts: 2212000 | #Constraints: 45229
3227.81/3236.50 c #Conflicts: 2213000 | #Constraints: 46229
3227.81/3236.50 c #Conflicts: 2214000 | #Constraints: 47229
3227.81/3236.50 c #Conflicts: 2215000 | #Constraints: 48229
3227.81/3236.50 c #Conflicts: 2216000 | #Constraints: 49229
3227.81/3236.50 c #Conflicts: 2217000 | #Constraints: 50229
3227.81/3236.50 c #Conflicts: 2218000 | #Constraints: 51229
3227.81/3236.50 c #Conflicts: 2219000 | #Constraints: 52229
3227.81/3236.50 c #Conflicts: 2220000 | #Constraints: 53229
3227.81/3236.50 c #Conflicts: 2221000 | #Constraints: 54229
3227.81/3236.50 c #Conflicts: 2222000 | #Constraints: 55229
3227.81/3236.50 c #Conflicts: 2223000 | #Constraints: 56229
3227.81/3236.50 c #Conflicts: 2224000 | #Constraints: 57229
3227.81/3236.50 c #Conflicts: 2225000 | #Constraints: 58229
3227.81/3236.50 c #Conflicts: 2226000 | #Constraints: 59229
3227.81/3236.50 c INPROCESSING
3227.81/3236.50 c GARBAGE COLLECT
3227.81/3236.50 c #Conflicts: 2227000 | #Constraints: 30629
3227.81/3236.50 c #Conflicts: 2228000 | #Constraints: 31629
3227.81/3236.50 c #Conflicts: 2229000 | #Constraints: 32629
3227.81/3236.50 c #Conflicts: 2230000 | #Constraints: 33629
3227.81/3236.50 c #Conflicts: 2231000 | #Constraints: 34629
3227.81/3236.50 c #Conflicts: 2232000 | #Constraints: 35629
3227.81/3236.50 c #Conflicts: 2233000 | #Constraints: 36629
3227.81/3236.50 c #Conflicts: 2234000 | #Constraints: 37629
3227.81/3236.50 c #Conflicts: 2235000 | #Constraints: 38629
3227.81/3236.50 c #Conflicts: 2236000 | #Constraints: 39629
3227.81/3236.50 c #Conflicts: 2237000 | #Constraints: 40629
3227.81/3236.50 c #Conflicts: 2238000 | #Constraints: 41629
3227.81/3236.50 c #Conflicts: 2239000 | #Constraints: 42629
3227.81/3236.50 c #Conflicts: 2240000 | #Constraints: 43629
3227.81/3236.50 c #Conflicts: 2241000 | #Constraints: 44629
3227.81/3236.50 c #Conflicts: 2242000 | #Constraints: 45629
3227.81/3236.50 c #Conflicts: 2243000 | #Constraints: 46629
3227.81/3236.50 c #Conflicts: 2244000 | #Constraints: 47629
3227.81/3236.50 c #Conflicts: 2245000 | #Constraints: 48629
3227.81/3236.50 c #Conflicts: 2246000 | #Constraints: 49629
3227.81/3236.50 c #Conflicts: 2247000 | #Constraints: 50629
3227.81/3236.50 c #Conflicts: 2248000 | #Constraints: 51629
3227.81/3236.50 c #Conflicts: 2249000 | #Constraints: 52629
3227.81/3236.50 c #Conflicts: 2250000 | #Constraints: 53629
3227.81/3236.50 c #Conflicts: 2251000 | #Constraints: 54629
3227.81/3236.50 c #Conflicts: 2252000 | #Constraints: 55629
3227.81/3236.50 c #Conflicts: 2253000 | #Constraints: 56629
3227.81/3236.50 c #Conflicts: 2254000 | #Constraints: 57629
3227.81/3236.50 c #Conflicts: 2255000 | #Constraints: 58629
3227.81/3236.50 c #Conflicts: 2256000 | #Constraints: 59629
3227.81/3236.50 c INPROCESSING
3227.81/3236.50 c GARBAGE COLLECT
3227.81/3236.50 c #Conflicts: 2257000 | #Constraints: 30827
3227.81/3236.50 c #Conflicts: 2258000 | #Constraints: 31827
3227.81/3236.50 c #Conflicts: 2259000 | #Constraints: 32827
3227.81/3236.50 c #Conflicts: 2260000 | #Constraints: 33827
3227.81/3236.50 c #Conflicts: 2261000 | #Constraints: 34827
3227.81/3236.50 c #Conflicts: 2262000 | #Constraints: 35827
3227.81/3236.50 c #Conflicts: 2263000 | #Constraints: 36827
3227.81/3236.50 c #Conflicts: 2264000 | #Constraints: 37827
3227.81/3236.50 c #Conflicts: 2265000 | #Constraints: 38827
3227.81/3236.50 c #Conflicts: 2266000 | #Constraints: 39827
3227.81/3236.50 c #Conflicts: 2267000 | #Constraints: 40827
3227.81/3236.50 c #Conflicts: 2268000 | #Constraints: 41827
3227.81/3236.50 c #Conflicts: 2269000 | #Constraints: 42827
3227.81/3236.50 c #Conflicts: 2270000 | #Constraints: 43827
3227.81/3236.50 c #Conflicts: 2271000 | #Constraints: 44827
3227.81/3236.50 c #Conflicts: 2272000 | #Constraints: 45827
3227.81/3236.50 c #Conflicts: 2273000 | #Constraints: 46827
3227.81/3236.50 c #Conflicts: 2274000 | #Constraints: 47827
3447.74/3457.09 c #Conflicts: 2275000 | #Constraints: 48827
3447.74/3457.09 c #Conflicts: 2276000 | #Constraints: 49827
3447.74/3457.09 c #Conflicts: 2277000 | #Constraints: 50827
3447.74/3457.09 c #Conflicts: 2278000 | #Constraints: 51827
3447.74/3457.09 c #Conflicts: 2279000 | #Constraints: 52827
3447.74/3457.09 c #Conflicts: 2280000 | #Constraints: 53827
3447.74/3457.09 c #Conflicts: 2281000 | #Constraints: 54827
3447.74/3457.09 c #Conflicts: 2282000 | #Constraints: 55827
3447.74/3457.09 c #Conflicts: 2283000 | #Constraints: 56827
3447.74/3457.09 c #Conflicts: 2284000 | #Constraints: 57827
3447.74/3457.09 c #Conflicts: 2285000 | #Constraints: 58827
3447.74/3457.09 c #Conflicts: 2286000 | #Constraints: 59827
3447.74/3457.09 c INPROCESSING
3447.74/3457.09 c GARBAGE COLLECT
3447.74/3457.09 c #Conflicts: 2287000 | #Constraints: 30828
3447.74/3457.09 c #Conflicts: 2288000 | #Constraints: 31828
3447.74/3457.09 c #Conflicts: 2289000 | #Constraints: 32828
3447.74/3457.09 c #Conflicts: 2290000 | #Constraints: 33828
3447.74/3457.09 c #Conflicts: 2291000 | #Constraints: 34828
3447.74/3457.09 c #Conflicts: 2292000 | #Constraints: 35828
3447.74/3457.09 c #Conflicts: 2293000 | #Constraints: 36828
3447.74/3457.09 c #Conflicts: 2294000 | #Constraints: 37828
3447.74/3457.09 c #Conflicts: 2295000 | #Constraints: 38828
3447.74/3457.09 c #Conflicts: 2296000 | #Constraints: 39828
3447.74/3457.09 c #Conflicts: 2297000 | #Constraints: 40828
3447.74/3457.09 c #Conflicts: 2298000 | #Constraints: 41828
3447.74/3457.09 c #Conflicts: 2299000 | #Constraints: 42828
3447.74/3457.09 c #Conflicts: 2300000 | #Constraints: 43828
3447.74/3457.09 c #Conflicts: 2301000 | #Constraints: 44828
3447.74/3457.09 c #Conflicts: 2302000 | #Constraints: 45828
3447.74/3457.09 c #Conflicts: 2303000 | #Constraints: 46828
3447.74/3457.09 c #Conflicts: 2304000 | #Constraints: 47828
3447.74/3457.09 c #Conflicts: 2305000 | #Constraints: 48828
3447.74/3457.09 c #Conflicts: 2306000 | #Constraints: 49828
3447.74/3457.09 c #Conflicts: 2307000 | #Constraints: 50828
3447.74/3457.09 c #Conflicts: 2308000 | #Constraints: 51828
3447.74/3457.09 c #Conflicts: 2309000 | #Constraints: 52828
3447.74/3457.09 c #Conflicts: 2310000 | #Constraints: 53828
3447.74/3457.09 c #Conflicts: 2311000 | #Constraints: 54828
3447.74/3457.09 c #Conflicts: 2312000 | #Constraints: 55828
3447.74/3457.09 c #Conflicts: 2313000 | #Constraints: 56828
3447.74/3457.09 c #Conflicts: 2314000 | #Constraints: 57828
3447.74/3457.09 c #Conflicts: 2315000 | #Constraints: 58828
3447.74/3457.09 c #Conflicts: 2316000 | #Constraints: 59828
3447.74/3457.09 c INPROCESSING
3447.74/3457.09 c GARBAGE COLLECT
3447.74/3457.09 c #Conflicts: 2317000 | #Constraints: 30628
3447.74/3457.09 c #Conflicts: 2318000 | #Constraints: 31628
3447.74/3457.09 c #Conflicts: 2319000 | #Constraints: 32628
3447.74/3457.09 c #Conflicts: 2320000 | #Constraints: 33628
3447.74/3457.09 c #Conflicts: 2321000 | #Constraints: 34628
3447.74/3457.09 c #Conflicts: 2322000 | #Constraints: 35628
3447.74/3457.09 c #Conflicts: 2323000 | #Constraints: 36628
3447.74/3457.09 c #Conflicts: 2324000 | #Constraints: 37628
3447.74/3457.09 c #Conflicts: 2325000 | #Constraints: 38628
3447.74/3457.09 c #Conflicts: 2326000 | #Constraints: 39628
3447.74/3457.09 c #Conflicts: 2327000 | #Constraints: 40628
3447.74/3457.09 c #Conflicts: 2328000 | #Constraints: 41628
3447.74/3457.09 c #Conflicts: 2329000 | #Constraints: 42628
3447.74/3457.09 c #Conflicts: 2330000 | #Constraints: 43628
3447.74/3457.09 c #Conflicts: 2331000 | #Constraints: 44628
3447.74/3457.09 c #Conflicts: 2332000 | #Constraints: 45628
3447.74/3457.09 c #Conflicts: 2333000 | #Constraints: 46628
3447.74/3457.09 c #Conflicts: 2334000 | #Constraints: 47628
3447.74/3457.09 c #Conflicts: 2335000 | #Constraints: 48628
3447.74/3457.09 c #Conflicts: 2336000 | #Constraints: 49628
3447.74/3457.09 c #Conflicts: 2337000 | #Constraints: 50628
3447.74/3457.09 c #Conflicts: 2338000 | #Constraints: 51628
3447.74/3457.09 c #Conflicts: 2339000 | #Constraints: 52628
3447.74/3457.09 c #Conflicts: 2340000 | #Constraints: 53628
3447.74/3457.09 c #Conflicts: 2341000 | #Constraints: 54628
3447.74/3457.09 c #Conflicts: 2342000 | #Constraints: 55628
3447.74/3457.09 c #Conflicts: 2343000 | #Constraints: 56628
3447.74/3457.09 c #Conflicts: 2344000 | #Constraints: 57628
3447.74/3457.09 c #Conflicts: 2345000 | #Constraints: 58628
3447.74/3457.09 c #Conflicts: 2346000 | #Constraints: 59628
3447.74/3457.09 c #Conflicts: 2347000 | #Constraints: 60628
3447.74/3457.09 c INPROCESSING
3447.74/3457.09 c GARBAGE COLLECT
3447.74/3457.09 c #Conflicts: 2348000 | #Constraints: 31227
3447.74/3457.09 c #Conflicts: 2349000 | #Constraints: 32227
3447.74/3457.09 c #Conflicts: 2350000 | #Constraints: 33227
3600.01/3609.70 c #Conflicts: 2351000 | #Constraints: 34227
3600.01/3609.70 c #Conflicts: 2352000 | #Constraints: 35227
3600.01/3609.70 c #Conflicts: 2353000 | #Constraints: 36227
3600.01/3609.70 c #Conflicts: 2354000 | #Constraints: 37227
3600.01/3609.70 c #Conflicts: 2355000 | #Constraints: 38227
3600.01/3609.70 c #Conflicts: 2356000 | #Constraints: 39227
3600.01/3609.70 c #Conflicts: 2357000 | #Constraints: 40227
3600.01/3609.70 c #Conflicts: 2358000 | #Constraints: 41227
3600.01/3609.70 c #Conflicts: 2359000 | #Constraints: 42227
3600.01/3609.70 c #Conflicts: 2360000 | #Constraints: 43227
3600.01/3609.70 c #Conflicts: 2361000 | #Constraints: 44227
3600.01/3609.70 c #Conflicts: 2362000 | #Constraints: 45227
3600.01/3609.70 c #Conflicts: 2363000 | #Constraints: 46227
3600.01/3609.70 c #Conflicts: 2364000 | #Constraints: 47227
3600.01/3609.70 c #Conflicts: 2365000 | #Constraints: 48227
3600.01/3609.70 c #Conflicts: 2366000 | #Constraints: 49227
3600.01/3609.70 c #Conflicts: 2367000 | #Constraints: 50227
3600.01/3609.70 c #Conflicts: 2368000 | #Constraints: 51227
3600.01/3609.70 c #Conflicts: 2369000 | #Constraints: 52227
3600.01/3609.70 c #Conflicts: 2370000 | #Constraints: 53227
3600.01/3609.70 c #Conflicts: 2371000 | #Constraints: 54227
3600.01/3609.70 c #Conflicts: 2372000 | #Constraints: 55227
3600.01/3609.70 c #Conflicts: 2373000 | #Constraints: 56227
3600.01/3609.70 c #Conflicts: 2374000 | #Constraints: 57227
3600.01/3609.70 c #Conflicts: 2375000 | #Constraints: 58227
3600.01/3609.70 c #Conflicts: 2376000 | #Constraints: 59227
3600.01/3609.70 c #Conflicts: 2377000 | #Constraints: 60227
3600.01/3609.70 c #Conflicts: 2378000 | #Constraints: 61227
3600.01/3609.70 c INPROCESSING
3600.01/3609.70 c GARBAGE COLLECT
3600.01/3609.70 c #Conflicts: 2379000 | #Constraints: 31630
3600.01/3609.70 c #Conflicts: 2380000 | #Constraints: 32630
3600.01/3609.70 c #Conflicts: 2381000 | #Constraints: 33630
3600.01/3609.70 c #Conflicts: 2382000 | #Constraints: 34630
3600.01/3609.70 c #Conflicts: 2383000 | #Constraints: 35630
3600.01/3609.70 c #Conflicts: 2384000 | #Constraints: 36630
3600.01/3609.70 c #Conflicts: 2385000 | #Constraints: 37630
3600.01/3609.70 c #Conflicts: 2386000 | #Constraints: 38630
3600.01/3609.70 c #Conflicts: 2387000 | #Constraints: 39630
3600.01/3609.70 c #Conflicts: 2388000 | #Constraints: 40630
3600.01/3609.70 c #Conflicts: 2389000 | #Constraints: 41630
3600.01/3609.70 c #Conflicts: 2390000 | #Constraints: 42630
3600.01/3609.70 c #Conflicts: 2391000 | #Constraints: 43630
3600.01/3609.70 c #Conflicts: 2392000 | #Constraints: 44630
3600.01/3609.70 c #Conflicts: 2393000 | #Constraints: 45630
3600.01/3609.70 c #Conflicts: 2394000 | #Constraints: 46630
3600.01/3609.70 c #Conflicts: 2395000 | #Constraints: 47630
3600.01/3609.70 c #Conflicts: 2396000 | #Constraints: 48630
3600.01/3609.70 c #Conflicts: 2397000 | #Constraints: 49630
3600.01/3609.70 c #Conflicts: 2398000 | #Constraints: 50630
3600.01/3609.70 c #Conflicts: 2399000 | #Constraints: 51630
3600.01/3609.70 c #Conflicts: 2400000 | #Constraints: 52630
3600.01/3609.70 c #Conflicts: 2401000 | #Constraints: 53630
3600.01/3609.70 c #Conflicts: 2402000 | #Constraints: 54630
3600.01/3609.70 c #Conflicts: 2403000 | #Constraints: 55630
3600.01/3609.70 c #Conflicts: 2404000 | #Constraints: 56630
3600.01/3609.70 c #Conflicts: 2405000 | #Constraints: 57630
3600.01/3609.70 c #Conflicts: 2406000 | #Constraints: 58630
3600.01/3609.70 c Program interrupted by user.
3600.01/3609.70 c cpu time 3590.33 s
3600.01/3609.70 c deterministic time 526901248802 5.27e+11
3600.01/3609.70 c optimization time 68.7266 s
3600.01/3609.70 c total solve time 3521.6 s
3600.01/3609.70 c core-guided solve time 3521.6 s
3600.01/3609.70 c propagation time 3231.71 s
3600.01/3609.70 c conflict analysis time 336.267 s
3600.01/3609.70 c propagations 27524474
3600.01/3609.70 c resolve steps 11379495
3600.01/3609.70 c decisions 4279026
3600.01/3609.70 c conflicts 2406588
3600.01/3609.70 c restarts 4094
3600.01/3609.70 c inprocessing phases 145
3600.01/3609.70 c input clauses 1
3600.01/3609.70 c input cardinalities 0
3600.01/3609.70 c input general constraints 14
3600.01/3609.70 c input average constraint length 55.67
3600.01/3609.70 c input average constraint degree 1434.33
3600.01/3609.70 c learned clauses 1266731
3600.01/3609.70 c learned cardinalities 0
3600.01/3609.70 c learned general constraints 1139857
3600.01/3609.70 c learned average constraint length 43.22
3600.01/3609.70 c learned average constraint degree 56415.83
3600.01/3609.70 c watched constraints 992514
3600.01/3609.70 c counting constraints 147357
3600.01/3609.70 c gcd simplifications 1139978
3600.01/3609.70 c detected cardinalities 0
3600.01/3609.70 c weakened non-implied lits 24193768
3600.01/3609.70 c weakened non-implying lits 1194239
3600.01/3609.70 c original variables 61
3600.01/3609.70 c clausal propagations 461438
3600.01/3609.70 c cardinality propagations 0
3600.01/3609.70 c watched propagations 8364794
3600.01/3609.70 c counting propagations 16801169
3600.01/3609.70 c watch lookups 76074415529
3600.01/3609.70 c watch backjump lookups 62074500013
3600.01/3609.70 c watch checks 245203060983
3600.01/3609.70 c propagation checks 142720885633
3600.01/3609.70 c constraint additions 762373101
3600.01/3609.70 c trail pops 34210042
3600.01/3609.70 c formula constraints 15
3600.01/3609.70 c learned constraints 2406588
3600.01/3609.70 c bound constraints 0
3600.01/3609.70 c core-guided constraints 0
3600.01/3609.70 c encountered formula constraints 4575153
3600.01/3609.70 c encountered learned constraints 9210930
3600.01/3609.70 c encountered bound constraints 0
3600.01/3609.70 c encountered core-guided constraints 0
3600.01/3609.70 c LP total time 0 s
3600.01/3609.70 c LP solve time 0 s
3600.01/3609.70 c LP constraints added 0
3600.01/3609.70 c LP constraints removed 0
3600.01/3609.70 c LP pivots internal 0
3600.01/3609.70 c LP pivots root 0
3600.01/3609.70 c LP calls 0
3600.01/3609.70 c LP optimalities 0
3600.01/3609.70 c LP no pivot count 0
3600.01/3609.70 c LP infeasibilities 0
3600.01/3609.70 c LP valid Farkas constraints 0
3600.01/3609.70 c LP learned Farkas constraints 0
3600.01/3609.70 c LP basis resets 0
3600.01/3609.70 c LP cycling count 0
3600.01/3609.70 c LP singular count 0
3600.01/3609.70 c LP no primal count 0
3600.01/3609.70 c LP no farkas count 0
3600.01/3609.70 c LP other issue count 0
3600.01/3609.70 c LP Gomory cuts 0
3600.01/3609.70 c LP learned cuts 0
3600.01/3609.70 c LP deleted cuts 0
3600.01/3609.70 c LP encountered Gomory constraints 0
3600.01/3609.70 c LP encountered Farkas constraints 0
3600.01/3609.70 c LP encountered learned Farkas constraints 0
3600.01/3609.70 c CG auxiliary variables introduced 0
3600.01/3609.70 c CG solutions found 0
3600.01/3609.70 c CG cores constructed 0
3600.01/3609.70 c CG core cardinality constraints returned 0
3600.01/3609.70 c CG unit cores 0
3600.01/3609.70 c CG single cores 0
3600.01/3609.70 c CG blocks removed during cardinality reduction 0
3600.01/3609.70 c CG first core best 0
3600.01/3609.70 c CG decision core best 0
3600.01/3609.70 c CG core reduction tie 0
3600.01/3609.70 c CG core degree average 0.00
3600.01/3609.70 c CG core slack average 0.00
3600.01/3609.70 c CG exhausted 0
3600.01/3609.70 c CG exhaust time 0 s
3600.01/3609.70 c CG trimmed 0
3600.01/3609.70 c CG trim time 0 s
3600.01/3609.70 c CG minimized 0
3600.01/3609.70 c CG minimize time 0 s
3600.01/3609.70 c CG am1 prop time 0 s
3600.01/3609.70 c CG # am1s reformulated 0
3600.01/3609.70 c CG lower bound derived from am1s 0
3600.01/3609.70 c CG # clausal cores 0
3600.01/3609.70 c CG # cardinality cores 0
3600.01/3609.70 c CG # pb cores 0
3600.01/3609.70 c CG # pb reforms 0
3600.01/3609.70 c CG # cores discarded because of pb reform 0
3600.01/3609.70 d LOWERBOUND 0
3600.01/3609.70 d NCORES 0
3600.01/3609.70 d NPBCORES 0
3600.01/3609.70 d NPBREFORM 0
3600.01/3609.70 d NTRIMMED 0
3600.01/3609.70 d NEXHAUSTED 0
3600.01/3609.70 d NAM1S 0
3600.01/3609.70 d AM1LB 0
3600.01/3609.70 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (62982 MiB free)
memory of node 1: 64465 MiB (63658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490606-1751367512/watcher-4490606-1751367512 -o /tmp/evaluation-result-4490606-1751367512/solver-4490606-1751367512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751360282-61298 --watchdog 3760 pb-oll-rs HOME/instance-4490606-1751367512.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=62405, runsolver pid=62402
[startup+0.100064 s]*
/proc/loadavg: 4.31 4.28 4.17 5/250 62406
/proc/meminfo: memFree=129675824/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=20080 memory=6016 CPUtime=0.08 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 345 0 0 0 7 1 0 0 20 0 1 0 52430297 20561920 1504 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 5020 1504 1344 243 0 1269 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20080 KiB
Current children cumulated memory: 6016 KiB
[startup+0.220497 s]*
/proc/loadavg: 4.31 4.28 4.17 5/250 62406
/proc/meminfo: memFree=129675824/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=20212 memory=8200 CPUtime=0.2 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 407 0 0 0 19 1 0 0 20 0 1 0 52430297 20697088 2050 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 5053 2050 1344 243 0 1302 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20212 KiB
Current children cumulated memory: 8200 KiB
[startup+0.312422 s]*
/proc/loadavg: 4.31 4.28 4.17 5/250 62406
/proc/meminfo: memFree=129675824/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=20476 memory=8456 CPUtime=0.29 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 460 0 0 0 27 2 0 0 20 0 1 0 52430297 20967424 2114 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 5119 2114 1344 243 0 1368 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20476 KiB
Current children cumulated memory: 8456 KiB
[startup+0.700245 s]
/proc/loadavg: 4.31 4.28 4.17 5/250 62406
/proc/meminfo: memFree=129675824/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=20720 memory=8712 CPUtime=0.66 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 539 0 0 0 64 2 0 0 20 0 1 0 52430297 21217280 2178 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 5180 2178 1344 243 0 1429 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 20720 KiB
Current children cumulated memory: 8712 KiB
[startup+1.50028 s]
/proc/loadavg: 4.31 4.28 4.17 5/250 62406
/proc/meminfo: memFree=129675848/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=21280 memory=9096 CPUtime=1.47 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 641 0 0 0 142 5 0 0 20 0 1 0 52430297 21790720 2274 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 5320 2274 1344 243 0 1569 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 21280 KiB
Current children cumulated memory: 9096 KiB
[startup+3.11212 s]
/proc/loadavg: 4.28 4.28 4.16 5/250 62406
/proc/meminfo: memFree=129676556/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=21840 memory=9736 CPUtime=3.08 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 803 0 0 0 299 9 0 0 20 0 1 0 52430297 22364160 2434 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 5460 2434 1344 243 0 1709 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 21840 KiB
Current children cumulated memory: 9736 KiB
[startup+6.30029 s]
/proc/loadavg: 4.28 4.28 4.16 5/250 62406
/proc/meminfo: memFree=129676808/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=22352 memory=12332 CPUtime=6.25 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 928 0 0 0 611 14 0 0 20 0 1 0 52430297 22888448 3083 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 5588 3083 1344 243 0 1837 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 22352 KiB
Current children cumulated memory: 12332 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.27 4.16 5/250 62406
/proc/meminfo: memFree=129673400/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=23436 memory=13228 CPUtime=12.63 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 1158 0 0 0 1243 20 0 0 20 0 1 0 52430297 23998464 3307 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 5859 3307 1344 243 0 2108 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 23436 KiB
Current children cumulated memory: 13228 KiB
[startup+25.5004 s]
/proc/loadavg: 4.20 4.26 4.16 5/250 62406
/proc/meminfo: memFree=129669336/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=24716 memory=14380 CPUtime=25.41 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 1466 0 0 0 2508 33 0 0 20 0 1 0 52430297 25309184 3595 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 6179 3595 1344 243 0 2428 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 24716 KiB
Current children cumulated memory: 14380 KiB
[startup+51.1125 s]
/proc/loadavg: 4.19 4.25 4.16 5/250 62406
/proc/meminfo: memFree=129667740/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=28652 memory=16428 CPUtime=50.94 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 1986 0 0 0 5041 53 0 0 20 0 1 0 52430297 29339648 4107 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 7163 4107 1344 243 0 3412 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 28652 KiB
Current children cumulated memory: 16428 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.26 4.17 5/249 62453
/proc/meminfo: memFree=129662952/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=30632 memory=20268 CPUtime=101.98 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 2923 0 0 0 10106 92 0 0 20 0 1 0 52430297 31367168 5067 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 7658 5067 1344 243 0 3907 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 30632 KiB
Current children cumulated memory: 20268 KiB
[startup+162.3 s]
/proc/loadavg: 4.69 4.39 4.22 5/249 62466
/proc/meminfo: memFree=129660044/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=35180 memory=21676 CPUtime=161.83 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 3440 0 0 0 16048 135 0 0 20 0 1 0 52430297 36024320 5419 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 8795 5419 1344 243 0 5044 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 35180 KiB
Current children cumulated memory: 21676 KiB
[startup+222.3 s]
/proc/loadavg: 4.34 4.35 4.22 5/250 62471
/proc/meminfo: memFree=129634148/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=35596 memory=24660 CPUtime=221.67 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 3688 0 0 0 21991 176 0 0 20 0 1 0 52430297 36450304 6165 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 8899 6165 1344 243 0 5148 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 35596 KiB
Current children cumulated memory: 24660 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.30 4.21 5/250 62473
/proc/meminfo: memFree=129627020/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=38284 memory=26324 CPUtime=281.52 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 4101 0 0 0 27952 200 0 0 20 0 1 0 52430297 39202816 6581 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 9571 6581 1344 243 0 5820 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 38284 KiB
Current children cumulated memory: 26324 KiB
[startup+342.3 s]
/proc/loadavg: 4.75 4.43 4.26 5/250 62475
/proc/meminfo: memFree=129630224/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=40588 memory=27988 CPUtime=341.35 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 4503 0 0 0 33914 221 0 0 20 0 1 0 52430297 41562112 6997 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 10147 6997 1344 243 0 6396 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 40588 KiB
Current children cumulated memory: 27988 KiB
[startup+402.3 s]
/proc/loadavg: 4.44 4.41 4.26 5/250 62481
/proc/meminfo: memFree=129616236/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=40832 memory=30036 CPUtime=401.2 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 4678 0 0 0 39872 248 0 0 20 0 1 0 52430297 41811968 7509 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 10208 7509 1344 243 0 6457 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 40832 KiB
Current children cumulated memory: 30036 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.33 4.25 5/250 62483
/proc/meminfo: memFree=129615440/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=48012 memory=30676 CPUtime=461.04 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 4834 0 0 0 45832 272 0 0 20 0 1 0 52430297 49164288 7669 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 12003 7669 1344 243 0 8252 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
Current children cumulated memory: 52828 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/249 62598
/proc/meminfo: memFree=129610284/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=72548 memory=53340 CPUtime=2914.46 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9281 0 0 0 290578 868 0 0 20 0 1 0 52430297 74289152 13335 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18137 13335 1344 243 0 14386 0
Current children cumulated CPU time: 2914.46 s
Current children cumulated vsize: 72548 KiB
Current children cumulated memory: 53340 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 62600
/proc/meminfo: memFree=129610300/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=72548 memory=53340 CPUtime=2974.29 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9282 0 0 0 296553 876 0 0 20 0 1 0 52430297 74289152 13335 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18137 13335 1344 243 0 14386 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 72548 KiB
Current children cumulated memory: 53340 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/249 62602
/proc/meminfo: memFree=129608428/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=73316 memory=54620 CPUtime=3034.13 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9426 0 0 0 302529 884 0 0 20 0 1 0 52430297 75075584 13655 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18329 13655 1344 243 0 14578 0
Current children cumulated CPU time: 3034.13 s
Current children cumulated vsize: 73316 KiB
Current children cumulated memory: 54620 KiB
[startup+3102.3 s]
/proc/loadavg: 4.53 4.21 4.13 5/249 62604
/proc/meminfo: memFree=129608648/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=73316 memory=54620 CPUtime=3093.97 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9426 0 0 0 308504 893 0 0 20 0 1 0 52430297 75075584 13655 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18329 13655 1344 243 0 14578 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 73316 KiB
Current children cumulated memory: 54620 KiB
[startup+3162.3 s]
/proc/loadavg: 4.57 4.29 4.16 5/249 62606
/proc/meminfo: memFree=129607408/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=73316 memory=54620 CPUtime=3153.8 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9426 0 0 0 314477 903 0 0 20 0 1 0 52430297 75075584 13655 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18329 13655 1344 243 0 14578 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 73316 KiB
Current children cumulated memory: 54620 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.25 4.15 5/249 62610
/proc/meminfo: memFree=129601848/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=73316 memory=54620 CPUtime=3213.65 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9427 0 0 0 320452 913 0 0 20 0 1 0 52430297 75075584 13655 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18329 13655 1344 243 0 14578 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 73316 KiB
Current children cumulated memory: 54620 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.23 4.15 5/248 62612
/proc/meminfo: memFree=129602368/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=73828 memory=55004 CPUtime=3273.49 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9529 0 0 0 326428 921 0 0 20 0 1 0 52430297 75599872 13751 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18457 13751 1344 243 0 14706 0
Current children cumulated CPU time: 3273.49 s
Current children cumulated vsize: 73828 KiB
Current children cumulated memory: 55004 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.22 4.15 5/248 62614
/proc/meminfo: memFree=129604000/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=73828 memory=55004 CPUtime=3333.32 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9529 0 0 0 332403 929 0 0 20 0 1 0 52430297 75599872 13751 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18457 13751 1344 243 0 14706 0
Current children cumulated CPU time: 3333.32 s
Current children cumulated vsize: 73828 KiB
Current children cumulated memory: 55004 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/249 62621
/proc/meminfo: memFree=129601672/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=74596 memory=55644 CPUtime=3393.17 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9673 0 0 0 338379 938 0 0 20 0 1 0 52430297 76386304 13911 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18649 13911 1344 243 0 14898 0
Current children cumulated CPU time: 3393.17 s
Current children cumulated vsize: 74596 KiB
Current children cumulated memory: 55644 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.15 5/249 62623
/proc/meminfo: memFree=129601588/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=75108 memory=56028 CPUtime=3453.01 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9772 0 0 0 344354 947 0 0 20 0 1 0 52430297 76910592 14007 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18777 14007 1344 243 0 15026 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 75108 KiB
Current children cumulated memory: 56028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.15 5/249 62625
/proc/meminfo: memFree=129600852/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=75108 memory=56540 CPUtime=3512.84 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9773 0 0 0 350328 956 0 0 20 0 1 0 52430297 76910592 14135 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18777 14135 1344 243 0 15026 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 75108 KiB
Current children cumulated memory: 56540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/249 62627
/proc/meminfo: memFree=129599860/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=75108 memory=56540 CPUtime=3572.68 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9773 0 0 0 356304 964 0 0 20 0 1 0 52430297 76910592 14135 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18777 14135 1344 243 0 15026 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 75108 KiB
Current children cumulated memory: 56540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.15 4.16 4.14 6/242 62637
/proc/meminfo: memFree=129660884/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=75108 memory=56540 CPUtime=3600.01 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9773 0 0 0 359033 968 0 0 20 0 1 0 52430297 76910592 14135 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18777 14135 1344 243 0 15026 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 75108 KiB
Current children cumulated memory: 56540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.7 s]
# the end of solver process 62405 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.33 s, system=9.68987 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.15 4.16 4.14 6/242 62637
/proc/meminfo: memFree=129660884/131382112 swapFree=33010684/33010684
[pid=62405] ppid=62402 vsize=75108 memory=56540 CPUtime=3600.01 cores=5,7
/proc/62405/stat : 62405 (pb-oll-rs) R 62402 62405 61285 0 -1 4194304 9773 0 0 0 359033 968 0 0 20 0 1 0 52430297 76910592 14135 18446744073709551615 4218880 5211445 140728554526192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 18550784 140728554535324 140728554535401 140728554535401 140728554541003 0
/proc/62405/statm: 18777 14135 1344 243 0 15026 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 75108 KiB
Current children cumulated memory: 56540 KiB
Child status: 0
Real time (s): 3609.7
CPU time (s): 3600.02
CPU user time (s): 3590.33
CPU system time (s): 9.68987
CPU usage (%): 99.7318
Max. virtual memory (cumulated for all children) (KiB): 75108
Max. memory (cumulated for all children) (KiB): 56540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.33
system time used= 9.68987
maximum resident set size= 56668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9787
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= 105
involuntary context switches= 1663
# summary of solver processes directly reported to runsolver:
# pid: 62405
# total CPU time (s): 3600.02
# total CPU user time (s): 3590.33
# total CPU system time (s): 9.68987
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3272 second user time and 31.9964 second system time
The end
Begin job on nodeC007 at 2025-07-01 12:58:32
IDJOB=4490606
IDBENCH=147597
IDSOLVER=3345
FILE ID=nodeC007/4490606-1751367512
RUNJOBID= nodeC007-1751360282-61298
SLURM_JOB_ID= 9598160
Free space on /tmp= 433012 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490606-1751367512/watcher-4490606-1751367512 -o /tmp/evaluation-result-4490606-1751367512/solver-4490606-1751367512 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751360282-61298 --watchdog 3760 pb-oll-rs HOME/instance-4490606-1751367512.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5da80f5858be2a333e7d6bf1625fcb5c
RANDOM SEED=959876198
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.851
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.603
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.514
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.383
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1396.738
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.848
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1196.791
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129680160 kB
MemAvailable: 129884800 kB
Buffers: 3280 kB
Cached: 1011140 kB
SwapCached: 0 kB
Active: 358952 kB
Inactive: 764504 kB
Active(anon): 127000 kB
Inactive(anon): 0 kB
Active(file): 231952 kB
Inactive(file): 764504 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5360 kB
Writeback: 0 kB
AnonPages: 111072 kB
Mapped: 106484 kB
Shmem: 17960 kB
KReclaimable: 95620 kB
Slab: 179144 kB
SReclaimable: 95620 kB
SUnreclaim: 83524 kB
KernelStack: 4048 kB
PageTables: 3236 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 453124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 38912 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC007 at 2025-07-01 13:58:42