0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
298.71/300.09 c [STEP] preprocessing done, loading into solver
298.71/300.09 c [STEP] solving
298.71/300.09 c #variables 121 #constraints 10
298.71/300.09 c SMALL=int, LARGE=long long
298.71/300.09 d SCIPUB 2
298.71/300.09 c bounds - >= 0 @ 298.766
298.71/300.09 c stratification level: 1
312.16/313.50 c #Conflicts: 1000 | #Constraints: 1010
312.16/313.50 c #Conflicts: 2000 | #Constraints: 2010
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 3000 | #Constraints: 2014
312.16/313.50 c #Conflicts: 4000 | #Constraints: 3014
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 5000 | #Constraints: 2416
312.16/313.50 c #Conflicts: 6000 | #Constraints: 3416
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 7000 | #Constraints: 2418
312.16/313.50 c #Conflicts: 8000 | #Constraints: 3418
312.16/313.50 c #Conflicts: 9000 | #Constraints: 4418
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 10000 | #Constraints: 3119
312.16/313.50 c #Conflicts: 11000 | #Constraints: 4119
312.16/313.50 c #Conflicts: 12000 | #Constraints: 5119
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 13000 | #Constraints: 3571
312.16/313.50 c #Conflicts: 14000 | #Constraints: 4571
312.16/313.50 c #Conflicts: 15000 | #Constraints: 5571
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 16000 | #Constraints: 3797
312.16/313.50 c #Conflicts: 17000 | #Constraints: 4797
312.16/313.50 c #Conflicts: 18000 | #Constraints: 5797
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 19000 | #Constraints: 3810
312.16/313.50 c #Conflicts: 20000 | #Constraints: 4810
312.16/313.50 c #Conflicts: 21000 | #Constraints: 5810
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 22000 | #Constraints: 3614
312.16/313.50 c #Conflicts: 23000 | #Constraints: 4614
312.16/313.50 c #Conflicts: 24000 | #Constraints: 5614
312.16/313.50 c #Conflicts: 25000 | #Constraints: 6614
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 26000 | #Constraints: 4219
312.16/313.50 c #Conflicts: 27000 | #Constraints: 5219
312.16/313.50 c #Conflicts: 28000 | #Constraints: 6219
312.16/313.50 c #Conflicts: 29000 | #Constraints: 7219
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 30000 | #Constraints: 4619
312.16/313.50 c #Conflicts: 31000 | #Constraints: 5619
312.16/313.50 c #Conflicts: 32000 | #Constraints: 6619
312.16/313.50 c #Conflicts: 33000 | #Constraints: 7619
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 34000 | #Constraints: 4822
312.16/313.50 c #Conflicts: 35000 | #Constraints: 5822
312.16/313.50 c #Conflicts: 36000 | #Constraints: 6822
312.16/313.50 c #Conflicts: 37000 | #Constraints: 7822
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 38000 | #Constraints: 4822
312.16/313.50 c #Conflicts: 39000 | #Constraints: 5822
312.16/313.50 c #Conflicts: 40000 | #Constraints: 6822
312.16/313.50 c #Conflicts: 41000 | #Constraints: 7822
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 42000 | #Constraints: 4623
312.16/313.50 c #Conflicts: 43000 | #Constraints: 5623
312.16/313.50 c #Conflicts: 44000 | #Constraints: 6623
312.16/313.50 c #Conflicts: 45000 | #Constraints: 7623
312.16/313.50 c #Conflicts: 46000 | #Constraints: 8623
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 47000 | #Constraints: 5221
312.16/313.50 c #Conflicts: 48000 | #Constraints: 6221
312.16/313.50 c #Conflicts: 49000 | #Constraints: 7221
312.16/313.50 c #Conflicts: 50000 | #Constraints: 8221
312.16/313.50 c #Conflicts: 51000 | #Constraints: 9221
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 52000 | #Constraints: 5622
312.16/313.50 c #Conflicts: 53000 | #Constraints: 6622
312.16/313.50 c #Conflicts: 54000 | #Constraints: 7622
312.16/313.50 c #Conflicts: 55000 | #Constraints: 8622
312.16/313.50 c #Conflicts: 56000 | #Constraints: 9622
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 57000 | #Constraints: 5819
312.16/313.50 c #Conflicts: 58000 | #Constraints: 6819
312.16/313.50 c #Conflicts: 59000 | #Constraints: 7819
312.16/313.50 c #Conflicts: 60000 | #Constraints: 8819
312.16/313.50 c #Conflicts: 61000 | #Constraints: 9819
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 62000 | #Constraints: 5821
312.16/313.50 c #Conflicts: 63000 | #Constraints: 6821
312.16/313.50 c #Conflicts: 64000 | #Constraints: 7821
312.16/313.50 c #Conflicts: 65000 | #Constraints: 8821
312.16/313.50 c #Conflicts: 66000 | #Constraints: 9821
312.16/313.50 c INPROCESSING
312.16/313.50 c GARBAGE COLLECT
312.16/313.50 c #Conflicts: 67000 | #Constraints: 5621
312.16/313.50 c #Conflicts: 68000 | #Constraints: 6621
337.49/338.91 c #Conflicts: 69000 | #Constraints: 7621
337.49/338.91 c #Conflicts: 70000 | #Constraints: 8621
337.49/338.91 c #Conflicts: 71000 | #Constraints: 9621
337.49/338.91 c #Conflicts: 72000 | #Constraints: 10621
337.49/338.91 c INPROCESSING
337.49/338.91 c GARBAGE COLLECT
337.49/338.91 c #Conflicts: 73000 | #Constraints: 6220
337.49/338.91 c #Conflicts: 74000 | #Constraints: 7220
337.49/338.91 c #Conflicts: 75000 | #Constraints: 8220
337.49/338.91 c #Conflicts: 76000 | #Constraints: 9220
337.49/338.91 c #Conflicts: 77000 | #Constraints: 10220
337.49/338.91 c #Conflicts: 78000 | #Constraints: 11220
337.49/338.91 c INPROCESSING
337.49/338.91 c GARBAGE COLLECT
337.49/338.91 c #Conflicts: 79000 | #Constraints: 6621
337.49/338.91 c #Conflicts: 80000 | #Constraints: 7621
337.49/338.91 c #Conflicts: 81000 | #Constraints: 8621
337.49/338.91 c #Conflicts: 82000 | #Constraints: 9621
337.49/338.91 c #Conflicts: 83000 | #Constraints: 10621
337.49/338.91 c #Conflicts: 84000 | #Constraints: 11621
337.49/338.91 c INPROCESSING
337.49/338.91 c GARBAGE COLLECT
337.49/338.91 c #Conflicts: 85000 | #Constraints: 6820
337.49/338.91 c #Conflicts: 86000 | #Constraints: 7820
337.49/338.91 c #Conflicts: 87000 | #Constraints: 8820
337.49/338.91 c #Conflicts: 88000 | #Constraints: 9820
337.49/338.91 c #Conflicts: 89000 | #Constraints: 10820
337.49/338.91 c #Conflicts: 90000 | #Constraints: 11820
337.49/338.91 c INPROCESSING
337.49/338.91 c GARBAGE COLLECT
337.49/338.91 c #Conflicts: 91000 | #Constraints: 6820
337.49/338.91 c #Conflicts: 92000 | #Constraints: 7820
337.49/338.91 c #Conflicts: 93000 | #Constraints: 8820
337.49/338.91 c #Conflicts: 94000 | #Constraints: 9820
337.49/338.91 c #Conflicts: 95000 | #Constraints: 10820
337.49/338.91 c #Conflicts: 96000 | #Constraints: 11820
337.49/338.91 c INPROCESSING
337.49/338.91 c GARBAGE COLLECT
337.49/338.91 c #Conflicts: 97000 | #Constraints: 6620
337.49/338.91 c #Conflicts: 98000 | #Constraints: 7620
337.49/338.91 c #Conflicts: 99000 | #Constraints: 8620
337.49/338.91 c #Conflicts: 100000 | #Constraints: 9620
337.49/338.91 c #Conflicts: 101000 | #Constraints: 10620
337.49/338.91 c #Conflicts: 102000 | #Constraints: 11620
337.49/338.91 c #Conflicts: 103000 | #Constraints: 12620
337.49/338.91 c INPROCESSING
337.49/338.91 c GARBAGE COLLECT
337.49/338.91 c #Conflicts: 104000 | #Constraints: 7221
337.49/338.91 c #Conflicts: 105000 | #Constraints: 8221
337.49/338.91 c #Conflicts: 106000 | #Constraints: 9221
337.49/338.91 c #Conflicts: 107000 | #Constraints: 10221
337.49/338.91 c #Conflicts: 108000 | #Constraints: 11221
337.49/338.91 c #Conflicts: 109000 | #Constraints: 12221
337.49/338.91 c #Conflicts: 110000 | #Constraints: 13221
337.49/338.91 c INPROCESSING
337.49/338.91 c GARBAGE COLLECT
337.49/338.91 c #Conflicts: 111000 | #Constraints: 7620
337.49/338.91 c #Conflicts: 112000 | #Constraints: 8620
337.49/338.91 c #Conflicts: 113000 | #Constraints: 9620
337.49/338.91 c #Conflicts: 114000 | #Constraints: 10620
337.49/338.91 c #Conflicts: 115000 | #Constraints: 11620
337.49/338.91 c #Conflicts: 116000 | #Constraints: 12620
337.49/338.91 c #Conflicts: 117000 | #Constraints: 13620
337.49/338.91 c INPROCESSING
337.49/338.91 c GARBAGE COLLECT
337.49/338.91 c #Conflicts: 118000 | #Constraints: 7818
337.49/338.91 c #Conflicts: 119000 | #Constraints: 8818
337.49/338.91 c #Conflicts: 120000 | #Constraints: 9818
337.49/338.91 c #Conflicts: 121000 | #Constraints: 10818
337.49/338.91 c #Conflicts: 122000 | #Constraints: 11818
337.49/338.91 c #Conflicts: 123000 | #Constraints: 12818
337.49/338.91 c #Conflicts: 124000 | #Constraints: 13818
337.49/338.91 c INPROCESSING
337.49/338.91 c GARBAGE COLLECT
337.49/338.91 c #Conflicts: 125000 | #Constraints: 7819
337.49/338.91 c #Conflicts: 126000 | #Constraints: 8819
337.49/338.91 c #Conflicts: 127000 | #Constraints: 9819
337.49/338.91 c #Conflicts: 128000 | #Constraints: 10819
337.49/338.91 c #Conflicts: 129000 | #Constraints: 11819
337.49/338.91 c #Conflicts: 130000 | #Constraints: 12819
337.49/338.91 c #Conflicts: 131000 | #Constraints: 13819
337.49/338.91 c INPROCESSING
337.49/338.91 c GARBAGE COLLECT
337.49/338.91 c #Conflicts: 132000 | #Constraints: 7620
337.49/338.91 c #Conflicts: 133000 | #Constraints: 8620
337.49/338.91 c #Conflicts: 134000 | #Constraints: 9620
337.49/338.91 c #Conflicts: 135000 | #Constraints: 10620
337.49/338.91 c #Conflicts: 136000 | #Constraints: 11620
337.49/338.91 c #Conflicts: 137000 | #Constraints: 12620
337.49/338.91 c #Conflicts: 138000 | #Constraints: 13620
337.49/338.91 c #Conflicts: 139000 | #Constraints: 14620
337.49/338.91 c INPROCESSING
337.49/338.91 c GARBAGE COLLECT
337.49/338.91 c #Conflicts: 140000 | #Constraints: 8220
371.70/373.24 c #Conflicts: 141000 | #Constraints: 9220
371.70/373.24 c #Conflicts: 142000 | #Constraints: 10220
371.70/373.24 c #Conflicts: 143000 | #Constraints: 11220
371.70/373.24 c #Conflicts: 144000 | #Constraints: 12220
371.70/373.24 c #Conflicts: 145000 | #Constraints: 13220
371.70/373.24 c #Conflicts: 146000 | #Constraints: 14220
371.70/373.24 c #Conflicts: 147000 | #Constraints: 15220
371.70/373.24 c INPROCESSING
371.70/373.24 c GARBAGE COLLECT
371.70/373.24 c #Conflicts: 148000 | #Constraints: 8624
371.70/373.24 c #Conflicts: 149000 | #Constraints: 9624
371.70/373.24 c #Conflicts: 150000 | #Constraints: 10624
371.70/373.24 c #Conflicts: 151000 | #Constraints: 11624
371.70/373.24 c #Conflicts: 152000 | #Constraints: 12624
371.70/373.24 c #Conflicts: 153000 | #Constraints: 13624
371.70/373.24 c #Conflicts: 154000 | #Constraints: 14624
371.70/373.24 c #Conflicts: 155000 | #Constraints: 15624
371.70/373.24 c INPROCESSING
371.70/373.24 c GARBAGE COLLECT
371.70/373.24 c #Conflicts: 156000 | #Constraints: 8823
371.70/373.24 c #Conflicts: 157000 | #Constraints: 9823
371.70/373.24 c #Conflicts: 158000 | #Constraints: 10823
371.70/373.24 c #Conflicts: 159000 | #Constraints: 11823
371.70/373.24 c #Conflicts: 160000 | #Constraints: 12823
371.70/373.24 c #Conflicts: 161000 | #Constraints: 13823
371.70/373.24 c #Conflicts: 162000 | #Constraints: 14823
371.70/373.24 c #Conflicts: 163000 | #Constraints: 15823
371.70/373.24 c INPROCESSING
371.70/373.24 c GARBAGE COLLECT
371.70/373.24 c #Conflicts: 164000 | #Constraints: 8822
371.70/373.24 c #Conflicts: 165000 | #Constraints: 9822
371.70/373.24 c #Conflicts: 166000 | #Constraints: 10822
371.70/373.24 c #Conflicts: 167000 | #Constraints: 11822
371.70/373.24 c #Conflicts: 168000 | #Constraints: 12822
371.70/373.24 c #Conflicts: 169000 | #Constraints: 13822
371.70/373.24 c #Conflicts: 170000 | #Constraints: 14822
371.70/373.24 c #Conflicts: 171000 | #Constraints: 15822
371.70/373.24 c INPROCESSING
371.70/373.24 c GARBAGE COLLECT
371.70/373.24 c #Conflicts: 172000 | #Constraints: 8621
371.70/373.24 c #Conflicts: 173000 | #Constraints: 9621
371.70/373.24 c #Conflicts: 174000 | #Constraints: 10621
371.70/373.24 c #Conflicts: 175000 | #Constraints: 11621
371.70/373.24 c #Conflicts: 176000 | #Constraints: 12621
371.70/373.24 c #Conflicts: 177000 | #Constraints: 13621
371.70/373.24 c #Conflicts: 178000 | #Constraints: 14621
371.70/373.24 c #Conflicts: 179000 | #Constraints: 15621
371.70/373.24 c #Conflicts: 180000 | #Constraints: 16621
371.70/373.24 c INPROCESSING
371.70/373.24 c GARBAGE COLLECT
371.70/373.24 c #Conflicts: 181000 | #Constraints: 9219
371.70/373.24 c #Conflicts: 182000 | #Constraints: 10219
371.70/373.24 c #Conflicts: 183000 | #Constraints: 11219
371.70/373.24 c #Conflicts: 184000 | #Constraints: 12219
371.70/373.24 c #Conflicts: 185000 | #Constraints: 13219
371.70/373.24 c #Conflicts: 186000 | #Constraints: 14219
371.70/373.24 c #Conflicts: 187000 | #Constraints: 15219
371.70/373.24 c #Conflicts: 188000 | #Constraints: 16219
371.70/373.24 c #Conflicts: 189000 | #Constraints: 17219
371.70/373.24 c INPROCESSING
371.70/373.24 c GARBAGE COLLECT
371.70/373.24 c #Conflicts: 190000 | #Constraints: 9621
371.70/373.24 c #Conflicts: 191000 | #Constraints: 10621
371.70/373.24 c #Conflicts: 192000 | #Constraints: 11621
371.70/373.24 c #Conflicts: 193000 | #Constraints: 12621
371.70/373.24 c #Conflicts: 194000 | #Constraints: 13621
371.70/373.24 c #Conflicts: 195000 | #Constraints: 14621
371.70/373.24 c #Conflicts: 196000 | #Constraints: 15621
371.70/373.24 c #Conflicts: 197000 | #Constraints: 16621
371.70/373.24 c #Conflicts: 198000 | #Constraints: 17621
371.70/373.24 c INPROCESSING
371.70/373.24 c GARBAGE COLLECT
371.70/373.24 c #Conflicts: 199000 | #Constraints: 9822
371.70/373.24 c #Conflicts: 200000 | #Constraints: 10822
371.70/373.24 c #Conflicts: 201000 | #Constraints: 11822
371.70/373.24 c #Conflicts: 202000 | #Constraints: 12822
371.70/373.24 c #Conflicts: 203000 | #Constraints: 13822
371.70/373.24 c #Conflicts: 204000 | #Constraints: 14822
371.70/373.24 c #Conflicts: 205000 | #Constraints: 15822
371.70/373.24 c #Conflicts: 206000 | #Constraints: 16822
371.70/373.24 c #Conflicts: 207000 | #Constraints: 17822
371.70/373.24 c INPROCESSING
371.70/373.24 c GARBAGE COLLECT
371.70/373.24 c #Conflicts: 208000 | #Constraints: 9822
371.70/373.24 c #Conflicts: 209000 | #Constraints: 10822
371.70/373.24 c #Conflicts: 210000 | #Constraints: 11822
371.70/373.24 c #Conflicts: 211000 | #Constraints: 12822
371.70/373.24 c #Conflicts: 212000 | #Constraints: 13822
371.70/373.24 c #Conflicts: 213000 | #Constraints: 14822
414.27/415.98 c #Conflicts: 214000 | #Constraints: 15822
414.27/415.98 c #Conflicts: 215000 | #Constraints: 16822
414.27/415.98 c #Conflicts: 216000 | #Constraints: 17822
414.27/415.98 c INPROCESSING
414.27/415.98 c GARBAGE COLLECT
414.27/415.98 c #Conflicts: 217000 | #Constraints: 9621
414.27/415.98 c #Conflicts: 218000 | #Constraints: 10621
414.27/415.98 c #Conflicts: 219000 | #Constraints: 11621
414.27/415.98 c #Conflicts: 220000 | #Constraints: 12621
414.27/415.98 c #Conflicts: 221000 | #Constraints: 13621
414.27/415.98 c #Conflicts: 222000 | #Constraints: 14621
414.27/415.98 c #Conflicts: 223000 | #Constraints: 15621
414.27/415.98 c #Conflicts: 224000 | #Constraints: 16621
414.27/415.98 c #Conflicts: 225000 | #Constraints: 17621
414.27/415.98 c #Conflicts: 226000 | #Constraints: 18621
414.27/415.98 c INPROCESSING
414.27/415.98 c GARBAGE COLLECT
414.27/415.98 c #Conflicts: 227000 | #Constraints: 10221
414.27/415.98 c #Conflicts: 228000 | #Constraints: 11221
414.27/415.98 c #Conflicts: 229000 | #Constraints: 12221
414.27/415.98 c #Conflicts: 230000 | #Constraints: 13221
414.27/415.98 c #Conflicts: 231000 | #Constraints: 14221
414.27/415.98 c #Conflicts: 232000 | #Constraints: 15221
414.27/415.98 c #Conflicts: 233000 | #Constraints: 16221
414.27/415.98 c #Conflicts: 234000 | #Constraints: 17221
414.27/415.98 c #Conflicts: 235000 | #Constraints: 18221
414.27/415.98 c #Conflicts: 236000 | #Constraints: 19221
414.27/415.98 c INPROCESSING
414.27/415.98 c GARBAGE COLLECT
414.27/415.98 c #Conflicts: 237000 | #Constraints: 10619
414.27/415.98 c #Conflicts: 238000 | #Constraints: 11619
414.27/415.98 c #Conflicts: 239000 | #Constraints: 12619
414.27/415.98 c #Conflicts: 240000 | #Constraints: 13619
414.27/415.98 c #Conflicts: 241000 | #Constraints: 14619
414.27/415.98 c #Conflicts: 242000 | #Constraints: 15619
414.27/415.98 c #Conflicts: 243000 | #Constraints: 16619
414.27/415.98 c #Conflicts: 244000 | #Constraints: 17619
414.27/415.98 c #Conflicts: 245000 | #Constraints: 18619
414.27/415.98 c #Conflicts: 246000 | #Constraints: 19619
414.27/415.98 c INPROCESSING
414.27/415.98 c GARBAGE COLLECT
414.27/415.98 c #Conflicts: 247000 | #Constraints: 10821
414.27/415.98 c #Conflicts: 248000 | #Constraints: 11821
414.27/415.98 c #Conflicts: 249000 | #Constraints: 12821
414.27/415.98 c #Conflicts: 250000 | #Constraints: 13821
414.27/415.98 c #Conflicts: 251000 | #Constraints: 14821
414.27/415.98 c #Conflicts: 252000 | #Constraints: 15821
414.27/415.98 c #Conflicts: 253000 | #Constraints: 16821
414.27/415.98 c #Conflicts: 254000 | #Constraints: 17821
414.27/415.98 c #Conflicts: 255000 | #Constraints: 18821
414.27/415.98 c #Conflicts: 256000 | #Constraints: 19821
414.27/415.98 c INPROCESSING
414.27/415.98 c GARBAGE COLLECT
414.27/415.98 c #Conflicts: 257000 | #Constraints: 10822
414.27/415.98 c #Conflicts: 258000 | #Constraints: 11822
414.27/415.98 c #Conflicts: 259000 | #Constraints: 12822
414.27/415.98 c #Conflicts: 260000 | #Constraints: 13822
414.27/415.98 c #Conflicts: 261000 | #Constraints: 14822
414.27/415.98 c #Conflicts: 262000 | #Constraints: 15822
414.27/415.98 c #Conflicts: 263000 | #Constraints: 16822
414.27/415.98 c #Conflicts: 264000 | #Constraints: 17822
414.27/415.98 c #Conflicts: 265000 | #Constraints: 18822
414.27/415.98 c #Conflicts: 266000 | #Constraints: 19822
414.27/415.98 c INPROCESSING
414.27/415.98 c GARBAGE COLLECT
414.27/415.98 c #Conflicts: 267000 | #Constraints: 10622
414.27/415.98 c #Conflicts: 268000 | #Constraints: 11622
414.27/415.98 c #Conflicts: 269000 | #Constraints: 12622
414.27/415.98 c #Conflicts: 270000 | #Constraints: 13622
414.27/415.98 c #Conflicts: 271000 | #Constraints: 14622
414.27/415.98 c #Conflicts: 272000 | #Constraints: 15622
414.27/415.98 c #Conflicts: 273000 | #Constraints: 16622
414.27/415.98 c #Conflicts: 274000 | #Constraints: 17622
414.27/415.98 c #Conflicts: 275000 | #Constraints: 18622
414.27/415.98 c #Conflicts: 276000 | #Constraints: 19622
414.27/415.98 c #Conflicts: 277000 | #Constraints: 20622
414.27/415.98 c INPROCESSING
414.27/415.98 c GARBAGE COLLECT
414.27/415.98 c #Conflicts: 278000 | #Constraints: 11221
414.27/415.98 c #Conflicts: 279000 | #Constraints: 12221
414.27/415.98 c #Conflicts: 280000 | #Constraints: 13221
414.27/415.98 c #Conflicts: 281000 | #Constraints: 14221
414.27/415.98 c #Conflicts: 282000 | #Constraints: 15221
414.27/415.98 c #Conflicts: 283000 | #Constraints: 16221
414.27/415.98 c #Conflicts: 284000 | #Constraints: 17221
414.27/415.98 c #Conflicts: 285000 | #Constraints: 18221
414.27/415.98 c #Conflicts: 286000 | #Constraints: 19221
414.27/415.98 c #Conflicts: 287000 | #Constraints: 20221
414.27/415.98 c #Conflicts: 288000 | #Constraints: 21221
463.24/465.09 c INPROCESSING
463.24/465.09 c GARBAGE COLLECT
463.24/465.09 c #Conflicts: 289000 | #Constraints: 11620
463.24/465.09 c #Conflicts: 290000 | #Constraints: 12620
463.24/465.09 c #Conflicts: 291000 | #Constraints: 13620
463.24/465.09 c #Conflicts: 292000 | #Constraints: 14620
463.24/465.09 c #Conflicts: 293000 | #Constraints: 15620
463.24/465.09 c #Conflicts: 294000 | #Constraints: 16620
463.24/465.09 c #Conflicts: 295000 | #Constraints: 17620
463.24/465.09 c #Conflicts: 296000 | #Constraints: 18620
463.24/465.09 c #Conflicts: 297000 | #Constraints: 19620
463.24/465.09 c #Conflicts: 298000 | #Constraints: 20620
463.24/465.09 c #Conflicts: 299000 | #Constraints: 21620
463.24/465.09 c INPROCESSING
463.24/465.09 c GARBAGE COLLECT
463.24/465.09 c #Conflicts: 300000 | #Constraints: 11824
463.24/465.09 c #Conflicts: 301000 | #Constraints: 12824
463.24/465.09 c #Conflicts: 302000 | #Constraints: 13824
463.24/465.09 c #Conflicts: 303000 | #Constraints: 14824
463.24/465.09 c #Conflicts: 304000 | #Constraints: 15824
463.24/465.09 c #Conflicts: 305000 | #Constraints: 16824
463.24/465.09 c #Conflicts: 306000 | #Constraints: 17824
463.24/465.09 c #Conflicts: 307000 | #Constraints: 18824
463.24/465.09 c #Conflicts: 308000 | #Constraints: 19824
463.24/465.09 c #Conflicts: 309000 | #Constraints: 20824
463.24/465.09 c #Conflicts: 310000 | #Constraints: 21824
463.24/465.09 c INPROCESSING
463.24/465.09 c GARBAGE COLLECT
463.24/465.09 c #Conflicts: 311000 | #Constraints: 11824
463.24/465.09 c #Conflicts: 312000 | #Constraints: 12824
463.24/465.09 c #Conflicts: 313000 | #Constraints: 13824
463.24/465.09 c #Conflicts: 314000 | #Constraints: 14824
463.24/465.09 c #Conflicts: 315000 | #Constraints: 15824
463.24/465.09 c #Conflicts: 316000 | #Constraints: 16824
463.24/465.09 c #Conflicts: 317000 | #Constraints: 17824
463.24/465.09 c #Conflicts: 318000 | #Constraints: 18824
463.24/465.09 c #Conflicts: 319000 | #Constraints: 19824
463.24/465.09 c #Conflicts: 320000 | #Constraints: 20824
463.24/465.09 c #Conflicts: 321000 | #Constraints: 21824
463.24/465.09 c INPROCESSING
463.24/465.09 c GARBAGE COLLECT
463.24/465.09 c #Conflicts: 322000 | #Constraints: 11622
463.24/465.09 c #Conflicts: 323000 | #Constraints: 12622
463.24/465.09 c #Conflicts: 324000 | #Constraints: 13622
463.24/465.09 c #Conflicts: 325000 | #Constraints: 14622
463.24/465.09 c #Conflicts: 326000 | #Constraints: 15622
463.24/465.09 c #Conflicts: 327000 | #Constraints: 16622
463.24/465.09 c #Conflicts: 328000 | #Constraints: 17622
463.24/465.09 c #Conflicts: 329000 | #Constraints: 18622
463.24/465.09 c #Conflicts: 330000 | #Constraints: 19622
463.24/465.09 c #Conflicts: 331000 | #Constraints: 20622
463.24/465.09 c #Conflicts: 332000 | #Constraints: 21622
463.24/465.09 c #Conflicts: 333000 | #Constraints: 22622
463.24/465.09 c INPROCESSING
463.24/465.09 c GARBAGE COLLECT
463.24/465.09 c #Conflicts: 334000 | #Constraints: 12221
463.24/465.09 c #Conflicts: 335000 | #Constraints: 13221
463.24/465.09 c #Conflicts: 336000 | #Constraints: 14221
463.24/465.09 c #Conflicts: 337000 | #Constraints: 15221
463.24/465.09 c #Conflicts: 338000 | #Constraints: 16221
463.24/465.09 c #Conflicts: 339000 | #Constraints: 17221
463.24/465.09 c #Conflicts: 340000 | #Constraints: 18221
463.24/465.09 c #Conflicts: 341000 | #Constraints: 19221
463.24/465.09 c #Conflicts: 342000 | #Constraints: 20221
463.24/465.09 c #Conflicts: 343000 | #Constraints: 21221
463.24/465.09 c #Conflicts: 344000 | #Constraints: 22221
463.24/465.09 c #Conflicts: 345000 | #Constraints: 23221
463.24/465.09 c INPROCESSING
463.24/465.09 c GARBAGE COLLECT
463.24/465.09 c #Conflicts: 346000 | #Constraints: 12620
463.24/465.09 c #Conflicts: 347000 | #Constraints: 13620
463.24/465.09 c #Conflicts: 348000 | #Constraints: 14620
463.24/465.09 c #Conflicts: 349000 | #Constraints: 15620
463.24/465.09 c #Conflicts: 350000 | #Constraints: 16620
463.24/465.09 c #Conflicts: 351000 | #Constraints: 17620
463.24/465.09 c #Conflicts: 352000 | #Constraints: 18620
463.24/465.09 c #Conflicts: 353000 | #Constraints: 19620
463.24/465.09 c #Conflicts: 354000 | #Constraints: 20620
463.24/465.09 c #Conflicts: 355000 | #Constraints: 21620
463.24/465.09 c #Conflicts: 356000 | #Constraints: 22620
463.24/465.09 c #Conflicts: 357000 | #Constraints: 23620
463.24/465.09 c INPROCESSING
463.24/465.09 c GARBAGE COLLECT
463.24/465.09 c #Conflicts: 358000 | #Constraints: 12819
463.24/465.09 c #Conflicts: 359000 | #Constraints: 13819
463.24/465.09 c #Conflicts: 360000 | #Constraints: 14819
463.24/465.09 c #Conflicts: 361000 | #Constraints: 15819
463.24/465.09 c #Conflicts: 362000 | #Constraints: 16819
517.88/519.81 c #Conflicts: 363000 | #Constraints: 17819
517.88/519.81 c #Conflicts: 364000 | #Constraints: 18819
517.88/519.81 c #Conflicts: 365000 | #Constraints: 19819
517.88/519.81 c #Conflicts: 366000 | #Constraints: 20819
517.88/519.81 c #Conflicts: 367000 | #Constraints: 21819
517.88/519.81 c #Conflicts: 368000 | #Constraints: 22819
517.88/519.81 c #Conflicts: 369000 | #Constraints: 23819
517.88/519.81 c INPROCESSING
517.88/519.81 c GARBAGE COLLECT
517.88/519.81 c #Conflicts: 370000 | #Constraints: 12822
517.88/519.81 c #Conflicts: 371000 | #Constraints: 13822
517.88/519.81 c #Conflicts: 372000 | #Constraints: 14822
517.88/519.81 c #Conflicts: 373000 | #Constraints: 15822
517.88/519.81 c #Conflicts: 374000 | #Constraints: 16822
517.88/519.81 c #Conflicts: 375000 | #Constraints: 17822
517.88/519.81 c #Conflicts: 376000 | #Constraints: 18822
517.88/519.81 c #Conflicts: 377000 | #Constraints: 19822
517.88/519.81 c #Conflicts: 378000 | #Constraints: 20822
517.88/519.81 c #Conflicts: 379000 | #Constraints: 21822
517.88/519.81 c #Conflicts: 380000 | #Constraints: 22822
517.88/519.81 c #Conflicts: 381000 | #Constraints: 23822
517.88/519.81 c INPROCESSING
517.88/519.81 c GARBAGE COLLECT
517.88/519.81 c #Conflicts: 382000 | #Constraints: 12624
517.88/519.81 c #Conflicts: 383000 | #Constraints: 13624
517.88/519.81 c #Conflicts: 384000 | #Constraints: 14624
517.88/519.81 c #Conflicts: 385000 | #Constraints: 15624
517.88/519.81 c #Conflicts: 386000 | #Constraints: 16624
517.88/519.81 c #Conflicts: 387000 | #Constraints: 17624
517.88/519.81 c #Conflicts: 388000 | #Constraints: 18624
517.88/519.81 c #Conflicts: 389000 | #Constraints: 19624
517.88/519.81 c #Conflicts: 390000 | #Constraints: 20624
517.88/519.81 c #Conflicts: 391000 | #Constraints: 21624
517.88/519.81 c #Conflicts: 392000 | #Constraints: 22624
517.88/519.81 c #Conflicts: 393000 | #Constraints: 23624
517.88/519.81 c #Conflicts: 394000 | #Constraints: 24624
517.88/519.81 c INPROCESSING
517.88/519.81 c GARBAGE COLLECT
517.88/519.81 c #Conflicts: 395000 | #Constraints: 13224
517.88/519.81 c #Conflicts: 396000 | #Constraints: 14224
517.88/519.81 c #Conflicts: 397000 | #Constraints: 15224
517.88/519.81 c #Conflicts: 398000 | #Constraints: 16224
517.88/519.81 c #Conflicts: 399000 | #Constraints: 17224
517.88/519.81 c #Conflicts: 400000 | #Constraints: 18224
517.88/519.81 c #Conflicts: 401000 | #Constraints: 19224
517.88/519.81 c #Conflicts: 402000 | #Constraints: 20224
517.88/519.81 c #Conflicts: 403000 | #Constraints: 21224
517.88/519.81 c #Conflicts: 404000 | #Constraints: 22224
517.88/519.81 c #Conflicts: 405000 | #Constraints: 23224
517.88/519.81 c #Conflicts: 406000 | #Constraints: 24224
517.88/519.81 c #Conflicts: 407000 | #Constraints: 25224
517.88/519.81 c INPROCESSING
517.88/519.81 c GARBAGE COLLECT
517.88/519.81 c #Conflicts: 408000 | #Constraints: 13622
517.88/519.81 c #Conflicts: 409000 | #Constraints: 14622
517.88/519.81 c #Conflicts: 410000 | #Constraints: 15622
517.88/519.81 c #Conflicts: 411000 | #Constraints: 16622
517.88/519.81 c #Conflicts: 412000 | #Constraints: 17622
517.88/519.81 c #Conflicts: 413000 | #Constraints: 18622
517.88/519.81 c #Conflicts: 414000 | #Constraints: 19622
517.88/519.81 c #Conflicts: 415000 | #Constraints: 20622
517.88/519.81 c #Conflicts: 416000 | #Constraints: 21622
517.88/519.81 c #Conflicts: 417000 | #Constraints: 22622
517.88/519.81 c #Conflicts: 418000 | #Constraints: 23622
517.88/519.81 c #Conflicts: 419000 | #Constraints: 24622
517.88/519.81 c #Conflicts: 420000 | #Constraints: 25622
517.88/519.81 c INPROCESSING
517.88/519.81 c GARBAGE COLLECT
517.88/519.81 c #Conflicts: 421000 | #Constraints: 13823
517.88/519.81 c #Conflicts: 422000 | #Constraints: 14823
517.88/519.81 c #Conflicts: 423000 | #Constraints: 15823
517.88/519.81 c #Conflicts: 424000 | #Constraints: 16823
517.88/519.81 c #Conflicts: 425000 | #Constraints: 17823
517.88/519.81 c #Conflicts: 426000 | #Constraints: 18823
517.88/519.81 c #Conflicts: 427000 | #Constraints: 19823
517.88/519.81 c #Conflicts: 428000 | #Constraints: 20823
517.88/519.81 c #Conflicts: 429000 | #Constraints: 21823
517.88/519.81 c #Conflicts: 430000 | #Constraints: 22823
517.88/519.81 c #Conflicts: 431000 | #Constraints: 23823
517.88/519.81 c #Conflicts: 432000 | #Constraints: 24823
517.88/519.81 c #Conflicts: 433000 | #Constraints: 25823
517.88/519.81 c INPROCESSING
517.88/519.81 c GARBAGE COLLECT
517.88/519.81 c #Conflicts: 434000 | #Constraints: 13824
517.88/519.81 c #Conflicts: 435000 | #Constraints: 14824
517.88/519.81 c #Conflicts: 436000 | #Constraints: 15824
517.88/519.81 c #Conflicts: 437000 | #Constraints: 16824
584.48/586.67 c #Conflicts: 438000 | #Constraints: 17824
584.48/586.67 c #Conflicts: 439000 | #Constraints: 18824
584.48/586.67 c #Conflicts: 440000 | #Constraints: 19824
584.48/586.67 c #Conflicts: 441000 | #Constraints: 20824
584.48/586.67 c #Conflicts: 442000 | #Constraints: 21824
584.48/586.67 c #Conflicts: 443000 | #Constraints: 22824
584.48/586.67 c #Conflicts: 444000 | #Constraints: 23824
584.48/586.67 c #Conflicts: 445000 | #Constraints: 24824
584.48/586.67 c #Conflicts: 446000 | #Constraints: 25824
584.48/586.67 c INPROCESSING
584.48/586.67 c GARBAGE COLLECT
584.48/586.67 c #Conflicts: 447000 | #Constraints: 13624
584.48/586.67 c #Conflicts: 448000 | #Constraints: 14624
584.48/586.67 c #Conflicts: 449000 | #Constraints: 15624
584.48/586.67 c #Conflicts: 450000 | #Constraints: 16624
584.48/586.67 c #Conflicts: 451000 | #Constraints: 17624
584.48/586.67 c #Conflicts: 452000 | #Constraints: 18624
584.48/586.67 c #Conflicts: 453000 | #Constraints: 19624
584.48/586.67 c #Conflicts: 454000 | #Constraints: 20624
584.48/586.67 c #Conflicts: 455000 | #Constraints: 21624
584.48/586.67 c #Conflicts: 456000 | #Constraints: 22624
584.48/586.67 c #Conflicts: 457000 | #Constraints: 23624
584.48/586.67 c #Conflicts: 458000 | #Constraints: 24624
584.48/586.67 c #Conflicts: 459000 | #Constraints: 25624
584.48/586.67 c #Conflicts: 460000 | #Constraints: 26624
584.48/586.67 c INPROCESSING
584.48/586.67 c GARBAGE COLLECT
584.48/586.67 c #Conflicts: 461000 | #Constraints: 14224
584.48/586.67 c #Conflicts: 462000 | #Constraints: 15224
584.48/586.67 c #Conflicts: 463000 | #Constraints: 16224
584.48/586.67 c #Conflicts: 464000 | #Constraints: 17224
584.48/586.67 c #Conflicts: 465000 | #Constraints: 18224
584.48/586.67 c #Conflicts: 466000 | #Constraints: 19224
584.48/586.67 c #Conflicts: 467000 | #Constraints: 20224
584.48/586.67 c #Conflicts: 468000 | #Constraints: 21224
584.48/586.67 c #Conflicts: 469000 | #Constraints: 22224
584.48/586.67 c #Conflicts: 470000 | #Constraints: 23224
584.48/586.67 c #Conflicts: 471000 | #Constraints: 24224
584.48/586.67 c #Conflicts: 472000 | #Constraints: 25224
584.48/586.67 c #Conflicts: 473000 | #Constraints: 26224
584.48/586.67 c #Conflicts: 474000 | #Constraints: 27224
584.48/586.67 c INPROCESSING
584.48/586.67 c GARBAGE COLLECT
584.48/586.67 c #Conflicts: 475000 | #Constraints: 14626
584.48/586.67 c #Conflicts: 476000 | #Constraints: 15626
584.48/586.67 c #Conflicts: 477000 | #Constraints: 16626
584.48/586.67 c #Conflicts: 478000 | #Constraints: 17626
584.48/586.67 c #Conflicts: 479000 | #Constraints: 18626
584.48/586.67 c #Conflicts: 480000 | #Constraints: 19626
584.48/586.67 c #Conflicts: 481000 | #Constraints: 20626
584.48/586.67 c #Conflicts: 482000 | #Constraints: 21626
584.48/586.67 c #Conflicts: 483000 | #Constraints: 22626
584.48/586.67 c #Conflicts: 484000 | #Constraints: 23626
584.48/586.67 c #Conflicts: 485000 | #Constraints: 24626
584.48/586.67 c #Conflicts: 486000 | #Constraints: 25626
584.48/586.67 c #Conflicts: 487000 | #Constraints: 26626
584.48/586.67 c #Conflicts: 488000 | #Constraints: 27626
584.48/586.67 c INPROCESSING
584.48/586.67 c GARBAGE COLLECT
584.48/586.67 c #Conflicts: 489000 | #Constraints: 14825
584.48/586.67 c #Conflicts: 490000 | #Constraints: 15825
584.48/586.67 c #Conflicts: 491000 | #Constraints: 16825
584.48/586.67 c #Conflicts: 492000 | #Constraints: 17825
584.48/586.67 c #Conflicts: 493000 | #Constraints: 18825
584.48/586.67 c #Conflicts: 494000 | #Constraints: 19825
584.48/586.67 c #Conflicts: 495000 | #Constraints: 20825
584.48/586.67 c #Conflicts: 496000 | #Constraints: 21825
584.48/586.67 c #Conflicts: 497000 | #Constraints: 22825
584.48/586.67 c #Conflicts: 498000 | #Constraints: 23825
584.48/586.67 c #Conflicts: 499000 | #Constraints: 24825
584.48/586.67 c #Conflicts: 500000 | #Constraints: 25825
584.48/586.67 c #Conflicts: 501000 | #Constraints: 26825
584.48/586.67 c #Conflicts: 502000 | #Constraints: 27825
584.48/586.67 c INPROCESSING
584.48/586.67 c GARBAGE COLLECT
584.48/586.67 c #Conflicts: 503000 | #Constraints: 14825
584.48/586.67 c #Conflicts: 504000 | #Constraints: 15825
584.48/586.67 c #Conflicts: 505000 | #Constraints: 16825
584.48/586.67 c #Conflicts: 506000 | #Constraints: 17825
584.48/586.67 c #Conflicts: 507000 | #Constraints: 18825
584.48/586.67 c #Conflicts: 508000 | #Constraints: 19825
584.48/586.67 c #Conflicts: 509000 | #Constraints: 20825
584.48/586.67 c #Conflicts: 510000 | #Constraints: 21825
584.48/586.67 c #Conflicts: 511000 | #Constraints: 22825
584.48/586.67 c #Conflicts: 512000 | #Constraints: 23825
584.48/586.67 c #Conflicts: 513000 | #Constraints: 24825
649.68/652.07 c #Conflicts: 514000 | #Constraints: 25825
649.68/652.07 c #Conflicts: 515000 | #Constraints: 26825
649.68/652.07 c #Conflicts: 516000 | #Constraints: 27825
649.68/652.07 c INPROCESSING
649.68/652.07 c GARBAGE COLLECT
649.68/652.07 c #Conflicts: 517000 | #Constraints: 14625
649.68/652.07 c #Conflicts: 518000 | #Constraints: 15625
649.68/652.07 c #Conflicts: 519000 | #Constraints: 16625
649.68/652.07 c #Conflicts: 520000 | #Constraints: 17625
649.68/652.07 c #Conflicts: 521000 | #Constraints: 18625
649.68/652.07 c #Conflicts: 522000 | #Constraints: 19625
649.68/652.07 c #Conflicts: 523000 | #Constraints: 20625
649.68/652.07 c #Conflicts: 524000 | #Constraints: 21625
649.68/652.07 c #Conflicts: 525000 | #Constraints: 22625
649.68/652.07 c #Conflicts: 526000 | #Constraints: 23625
649.68/652.07 c #Conflicts: 527000 | #Constraints: 24625
649.68/652.07 c #Conflicts: 528000 | #Constraints: 25625
649.68/652.07 c #Conflicts: 529000 | #Constraints: 26625
649.68/652.07 c #Conflicts: 530000 | #Constraints: 27625
649.68/652.07 c #Conflicts: 531000 | #Constraints: 28625
649.68/652.07 c INPROCESSING
649.68/652.07 c GARBAGE COLLECT
649.68/652.07 c #Conflicts: 532000 | #Constraints: 15224
649.68/652.07 c #Conflicts: 533000 | #Constraints: 16224
649.68/652.07 c #Conflicts: 534000 | #Constraints: 17224
649.68/652.07 c #Conflicts: 535000 | #Constraints: 18224
649.68/652.07 c #Conflicts: 536000 | #Constraints: 19224
649.68/652.07 c #Conflicts: 537000 | #Constraints: 20224
649.68/652.07 c #Conflicts: 538000 | #Constraints: 21224
649.68/652.07 c #Conflicts: 539000 | #Constraints: 22224
649.68/652.07 c #Conflicts: 540000 | #Constraints: 23224
649.68/652.07 c #Conflicts: 541000 | #Constraints: 24224
649.68/652.07 c #Conflicts: 542000 | #Constraints: 25224
649.68/652.07 c #Conflicts: 543000 | #Constraints: 26224
649.68/652.07 c #Conflicts: 544000 | #Constraints: 27224
649.68/652.07 c #Conflicts: 545000 | #Constraints: 28224
649.68/652.07 c #Conflicts: 546000 | #Constraints: 29224
649.68/652.07 c INPROCESSING
649.68/652.07 c GARBAGE COLLECT
649.68/652.07 c #Conflicts: 547000 | #Constraints: 15625
649.68/652.07 c #Conflicts: 548000 | #Constraints: 16625
649.68/652.07 c #Conflicts: 549000 | #Constraints: 17625
649.68/652.07 c #Conflicts: 550000 | #Constraints: 18625
649.68/652.07 c #Conflicts: 551000 | #Constraints: 19625
649.68/652.07 c #Conflicts: 552000 | #Constraints: 20625
649.68/652.07 c #Conflicts: 553000 | #Constraints: 21625
649.68/652.07 c #Conflicts: 554000 | #Constraints: 22625
649.68/652.07 c #Conflicts: 555000 | #Constraints: 23625
649.68/652.07 c #Conflicts: 556000 | #Constraints: 24625
649.68/652.07 c #Conflicts: 557000 | #Constraints: 25625
649.68/652.07 c #Conflicts: 558000 | #Constraints: 26625
649.68/652.07 c #Conflicts: 559000 | #Constraints: 27625
649.68/652.07 c #Conflicts: 560000 | #Constraints: 28625
649.68/652.07 c #Conflicts: 561000 | #Constraints: 29625
649.68/652.07 c INPROCESSING
649.68/652.07 c GARBAGE COLLECT
649.68/652.07 c #Conflicts: 562000 | #Constraints: 15821
649.68/652.07 c #Conflicts: 563000 | #Constraints: 16821
649.68/652.07 c #Conflicts: 564000 | #Constraints: 17821
649.68/652.07 c #Conflicts: 565000 | #Constraints: 18821
649.68/652.07 c #Conflicts: 566000 | #Constraints: 19821
649.68/652.07 c #Conflicts: 567000 | #Constraints: 20821
649.68/652.07 c #Conflicts: 568000 | #Constraints: 21821
649.68/652.07 c #Conflicts: 569000 | #Constraints: 22821
649.68/652.07 c #Conflicts: 570000 | #Constraints: 23821
649.68/652.07 c #Conflicts: 571000 | #Constraints: 24821
649.68/652.07 c #Conflicts: 572000 | #Constraints: 25821
649.68/652.07 c #Conflicts: 573000 | #Constraints: 26821
649.68/652.07 c #Conflicts: 574000 | #Constraints: 27821
649.68/652.07 c #Conflicts: 575000 | #Constraints: 28821
649.68/652.07 c #Conflicts: 576000 | #Constraints: 29821
649.68/652.07 c INPROCESSING
649.68/652.07 c GARBAGE COLLECT
649.68/652.07 c #Conflicts: 577000 | #Constraints: 15821
649.68/652.07 c #Conflicts: 578000 | #Constraints: 16821
649.68/652.07 c #Conflicts: 579000 | #Constraints: 17821
649.68/652.07 c #Conflicts: 580000 | #Constraints: 18821
649.68/652.07 c #Conflicts: 581000 | #Constraints: 19821
649.68/652.07 c #Conflicts: 582000 | #Constraints: 20821
649.68/652.07 c #Conflicts: 583000 | #Constraints: 21821
649.68/652.07 c #Conflicts: 584000 | #Constraints: 22821
649.68/652.07 c #Conflicts: 585000 | #Constraints: 23821
649.68/652.07 c #Conflicts: 586000 | #Constraints: 24821
649.68/652.07 c #Conflicts: 587000 | #Constraints: 25821
649.68/652.07 c #Conflicts: 588000 | #Constraints: 26821
720.57/723.15 c #Conflicts: 589000 | #Constraints: 27821
720.57/723.15 c #Conflicts: 590000 | #Constraints: 28821
720.57/723.15 c #Conflicts: 591000 | #Constraints: 29821
720.57/723.15 c INPROCESSING
720.57/723.15 c GARBAGE COLLECT
720.57/723.15 c #Conflicts: 592000 | #Constraints: 15622
720.57/723.15 c #Conflicts: 593000 | #Constraints: 16622
720.57/723.15 c #Conflicts: 594000 | #Constraints: 17622
720.57/723.15 c #Conflicts: 595000 | #Constraints: 18622
720.57/723.15 c #Conflicts: 596000 | #Constraints: 19622
720.57/723.15 c #Conflicts: 597000 | #Constraints: 20622
720.57/723.15 c #Conflicts: 598000 | #Constraints: 21622
720.57/723.15 c #Conflicts: 599000 | #Constraints: 22622
720.57/723.15 c #Conflicts: 600000 | #Constraints: 23622
720.57/723.15 c #Conflicts: 601000 | #Constraints: 24622
720.57/723.15 c #Conflicts: 602000 | #Constraints: 25622
720.57/723.15 c #Conflicts: 603000 | #Constraints: 26622
720.57/723.15 c #Conflicts: 604000 | #Constraints: 27622
720.57/723.15 c #Conflicts: 605000 | #Constraints: 28622
720.57/723.15 c #Conflicts: 606000 | #Constraints: 29622
720.57/723.15 c #Conflicts: 607000 | #Constraints: 30622
720.57/723.15 c INPROCESSING
720.57/723.15 c GARBAGE COLLECT
720.57/723.15 c #Conflicts: 608000 | #Constraints: 16225
720.57/723.15 c #Conflicts: 609000 | #Constraints: 17225
720.57/723.15 c #Conflicts: 610000 | #Constraints: 18225
720.57/723.15 c #Conflicts: 611000 | #Constraints: 19225
720.57/723.15 c #Conflicts: 612000 | #Constraints: 20225
720.57/723.15 c #Conflicts: 613000 | #Constraints: 21225
720.57/723.15 c #Conflicts: 614000 | #Constraints: 22225
720.57/723.15 c #Conflicts: 615000 | #Constraints: 23225
720.57/723.15 c #Conflicts: 616000 | #Constraints: 24225
720.57/723.15 c #Conflicts: 617000 | #Constraints: 25225
720.57/723.15 c #Conflicts: 618000 | #Constraints: 26225
720.57/723.15 c #Conflicts: 619000 | #Constraints: 27225
720.57/723.15 c #Conflicts: 620000 | #Constraints: 28225
720.57/723.15 c #Conflicts: 621000 | #Constraints: 29225
720.57/723.15 c #Conflicts: 622000 | #Constraints: 30225
720.57/723.15 c #Conflicts: 623000 | #Constraints: 31225
720.57/723.15 c INPROCESSING
720.57/723.15 c GARBAGE COLLECT
720.57/723.15 c #Conflicts: 624000 | #Constraints: 16623
720.57/723.15 c #Conflicts: 625000 | #Constraints: 17623
720.57/723.15 c #Conflicts: 626000 | #Constraints: 18623
720.57/723.15 c #Conflicts: 627000 | #Constraints: 19623
720.57/723.15 c #Conflicts: 628000 | #Constraints: 20623
720.57/723.15 c #Conflicts: 629000 | #Constraints: 21623
720.57/723.15 c #Conflicts: 630000 | #Constraints: 22623
720.57/723.15 c #Conflicts: 631000 | #Constraints: 23623
720.57/723.15 c #Conflicts: 632000 | #Constraints: 24623
720.57/723.15 c #Conflicts: 633000 | #Constraints: 25623
720.57/723.15 c #Conflicts: 634000 | #Constraints: 26623
720.57/723.15 c #Conflicts: 635000 | #Constraints: 27623
720.57/723.15 c #Conflicts: 636000 | #Constraints: 28623
720.57/723.15 c #Conflicts: 637000 | #Constraints: 29623
720.57/723.15 c #Conflicts: 638000 | #Constraints: 30623
720.57/723.15 c #Conflicts: 639000 | #Constraints: 31623
720.57/723.15 c INPROCESSING
720.57/723.15 c GARBAGE COLLECT
720.57/723.15 c #Conflicts: 640000 | #Constraints: 16823
720.57/723.15 c #Conflicts: 641000 | #Constraints: 17823
720.57/723.15 c #Conflicts: 642000 | #Constraints: 18823
720.57/723.15 c #Conflicts: 643000 | #Constraints: 19823
720.57/723.15 c #Conflicts: 644000 | #Constraints: 20823
720.57/723.15 c #Conflicts: 645000 | #Constraints: 21823
720.57/723.15 c #Conflicts: 646000 | #Constraints: 22823
720.57/723.15 c #Conflicts: 647000 | #Constraints: 23823
720.57/723.15 c #Conflicts: 648000 | #Constraints: 24823
720.57/723.15 c #Conflicts: 649000 | #Constraints: 25823
720.57/723.15 c #Conflicts: 650000 | #Constraints: 26823
720.57/723.15 c #Conflicts: 651000 | #Constraints: 27823
720.57/723.15 c #Conflicts: 652000 | #Constraints: 28823
720.57/723.15 c #Conflicts: 653000 | #Constraints: 29823
720.57/723.15 c #Conflicts: 654000 | #Constraints: 30823
720.57/723.15 c #Conflicts: 655000 | #Constraints: 31823
720.57/723.15 c INPROCESSING
720.57/723.15 c GARBAGE COLLECT
720.57/723.15 c #Conflicts: 656000 | #Constraints: 16827
720.57/723.15 c #Conflicts: 657000 | #Constraints: 17827
720.57/723.15 c #Conflicts: 658000 | #Constraints: 18827
720.57/723.15 c #Conflicts: 659000 | #Constraints: 19827
720.57/723.15 c #Conflicts: 660000 | #Constraints: 20827
720.57/723.15 c #Conflicts: 661000 | #Constraints: 21827
720.57/723.15 c #Conflicts: 662000 | #Constraints: 22827
720.57/723.15 c #Conflicts: 663000 | #Constraints: 23827
720.57/723.15 c #Conflicts: 664000 | #Constraints: 24827
793.88/796.61 c #Conflicts: 665000 | #Constraints: 25827
793.88/796.61 c #Conflicts: 666000 | #Constraints: 26827
793.88/796.61 c #Conflicts: 667000 | #Constraints: 27827
793.88/796.61 c #Conflicts: 668000 | #Constraints: 28827
793.88/796.61 c #Conflicts: 669000 | #Constraints: 29827
793.88/796.61 c #Conflicts: 670000 | #Constraints: 30827
793.88/796.61 c #Conflicts: 671000 | #Constraints: 31827
793.88/796.61 c INPROCESSING
793.88/796.61 c GARBAGE COLLECT
793.88/796.61 c #Conflicts: 672000 | #Constraints: 16625
793.88/796.61 c #Conflicts: 673000 | #Constraints: 17625
793.88/796.61 c #Conflicts: 674000 | #Constraints: 18625
793.88/796.61 c #Conflicts: 675000 | #Constraints: 19625
793.88/796.61 c #Conflicts: 676000 | #Constraints: 20625
793.88/796.61 c #Conflicts: 677000 | #Constraints: 21625
793.88/796.61 c #Conflicts: 678000 | #Constraints: 22625
793.88/796.61 c #Conflicts: 679000 | #Constraints: 23625
793.88/796.61 c #Conflicts: 680000 | #Constraints: 24625
793.88/796.61 c #Conflicts: 681000 | #Constraints: 25625
793.88/796.61 c #Conflicts: 682000 | #Constraints: 26625
793.88/796.61 c #Conflicts: 683000 | #Constraints: 27625
793.88/796.61 c #Conflicts: 684000 | #Constraints: 28625
793.88/796.61 c #Conflicts: 685000 | #Constraints: 29625
793.88/796.61 c #Conflicts: 686000 | #Constraints: 30625
793.88/796.61 c #Conflicts: 687000 | #Constraints: 31625
793.88/796.61 c #Conflicts: 688000 | #Constraints: 32625
793.88/796.61 c INPROCESSING
793.88/796.61 c GARBAGE COLLECT
793.88/796.61 c #Conflicts: 689000 | #Constraints: 17223
793.88/796.61 c #Conflicts: 690000 | #Constraints: 18223
793.88/796.61 c #Conflicts: 691000 | #Constraints: 19223
793.88/796.61 c #Conflicts: 692000 | #Constraints: 20223
793.88/796.61 c #Conflicts: 693000 | #Constraints: 21223
793.88/796.61 c #Conflicts: 694000 | #Constraints: 22223
793.88/796.61 c #Conflicts: 695000 | #Constraints: 23223
793.88/796.61 c #Conflicts: 696000 | #Constraints: 24223
793.88/796.61 c #Conflicts: 697000 | #Constraints: 25223
793.88/796.61 c #Conflicts: 698000 | #Constraints: 26223
793.88/796.61 c #Conflicts: 699000 | #Constraints: 27223
793.88/796.61 c #Conflicts: 700000 | #Constraints: 28223
793.88/796.61 c #Conflicts: 701000 | #Constraints: 29223
793.88/796.61 c #Conflicts: 702000 | #Constraints: 30223
793.88/796.61 c #Conflicts: 703000 | #Constraints: 31223
793.88/796.61 c #Conflicts: 704000 | #Constraints: 32223
793.88/796.61 c #Conflicts: 705000 | #Constraints: 33223
793.88/796.61 c INPROCESSING
793.88/796.61 c GARBAGE COLLECT
793.88/796.61 c #Conflicts: 706000 | #Constraints: 17623
793.88/796.61 c #Conflicts: 707000 | #Constraints: 18623
793.88/796.61 c #Conflicts: 708000 | #Constraints: 19623
793.88/796.61 c #Conflicts: 709000 | #Constraints: 20623
793.88/796.61 c #Conflicts: 710000 | #Constraints: 21623
793.88/796.61 c #Conflicts: 711000 | #Constraints: 22623
793.88/796.61 c #Conflicts: 712000 | #Constraints: 23623
793.88/796.61 c #Conflicts: 713000 | #Constraints: 24623
793.88/796.61 c #Conflicts: 714000 | #Constraints: 25623
793.88/796.61 c #Conflicts: 715000 | #Constraints: 26623
793.88/796.61 c #Conflicts: 716000 | #Constraints: 27623
793.88/796.61 c #Conflicts: 717000 | #Constraints: 28623
793.88/796.61 c #Conflicts: 718000 | #Constraints: 29623
793.88/796.61 c #Conflicts: 719000 | #Constraints: 30623
793.88/796.61 c #Conflicts: 720000 | #Constraints: 31623
793.88/796.61 c #Conflicts: 721000 | #Constraints: 32623
793.88/796.61 c #Conflicts: 722000 | #Constraints: 33623
793.88/796.61 c INPROCESSING
793.88/796.61 c GARBAGE COLLECT
793.88/796.61 c #Conflicts: 723000 | #Constraints: 17823
793.88/796.61 c #Conflicts: 724000 | #Constraints: 18823
793.88/796.61 c #Conflicts: 725000 | #Constraints: 19823
793.88/796.61 c #Conflicts: 726000 | #Constraints: 20823
793.88/796.61 c #Conflicts: 727000 | #Constraints: 21823
793.88/796.61 c #Conflicts: 728000 | #Constraints: 22823
793.88/796.61 c #Conflicts: 729000 | #Constraints: 23823
793.88/796.61 c #Conflicts: 730000 | #Constraints: 24823
793.88/796.61 c #Conflicts: 731000 | #Constraints: 25823
793.88/796.61 c #Conflicts: 732000 | #Constraints: 26823
793.88/796.61 c #Conflicts: 733000 | #Constraints: 27823
793.88/796.61 c #Conflicts: 734000 | #Constraints: 28823
793.88/796.61 c #Conflicts: 735000 | #Constraints: 29823
793.88/796.61 c #Conflicts: 736000 | #Constraints: 30823
793.88/796.61 c #Conflicts: 737000 | #Constraints: 31823
793.88/796.61 c #Conflicts: 738000 | #Constraints: 32823
793.88/796.61 c #Conflicts: 739000 | #Constraints: 33823
793.88/796.61 c INPROCESSING
793.88/796.61 c GARBAGE COLLECT
870.85/873.88 c #Conflicts: 740000 | #Constraints: 17824
870.85/873.88 c #Conflicts: 741000 | #Constraints: 18824
870.85/873.88 c #Conflicts: 742000 | #Constraints: 19824
870.85/873.88 c #Conflicts: 743000 | #Constraints: 20824
870.85/873.88 c #Conflicts: 744000 | #Constraints: 21824
870.85/873.88 c #Conflicts: 745000 | #Constraints: 22824
870.85/873.88 c #Conflicts: 746000 | #Constraints: 23824
870.85/873.88 c #Conflicts: 747000 | #Constraints: 24824
870.85/873.88 c #Conflicts: 748000 | #Constraints: 25824
870.85/873.88 c #Conflicts: 749000 | #Constraints: 26824
870.85/873.88 c #Conflicts: 750000 | #Constraints: 27824
870.85/873.88 c #Conflicts: 751000 | #Constraints: 28824
870.85/873.88 c #Conflicts: 752000 | #Constraints: 29824
870.85/873.88 c #Conflicts: 753000 | #Constraints: 30824
870.85/873.88 c #Conflicts: 754000 | #Constraints: 31824
870.85/873.88 c #Conflicts: 755000 | #Constraints: 32824
870.85/873.88 c #Conflicts: 756000 | #Constraints: 33824
870.85/873.88 c INPROCESSING
870.85/873.88 c GARBAGE COLLECT
870.85/873.88 c #Conflicts: 757000 | #Constraints: 17624
870.85/873.88 c #Conflicts: 758000 | #Constraints: 18624
870.85/873.88 c #Conflicts: 759000 | #Constraints: 19624
870.85/873.88 c #Conflicts: 760000 | #Constraints: 20624
870.85/873.88 c #Conflicts: 761000 | #Constraints: 21624
870.85/873.88 c #Conflicts: 762000 | #Constraints: 22624
870.85/873.88 c #Conflicts: 763000 | #Constraints: 23624
870.85/873.88 c #Conflicts: 764000 | #Constraints: 24624
870.85/873.88 c #Conflicts: 765000 | #Constraints: 25624
870.85/873.88 c #Conflicts: 766000 | #Constraints: 26624
870.85/873.88 c #Conflicts: 767000 | #Constraints: 27624
870.85/873.88 c #Conflicts: 768000 | #Constraints: 28624
870.85/873.88 c #Conflicts: 769000 | #Constraints: 29624
870.85/873.88 c #Conflicts: 770000 | #Constraints: 30624
870.85/873.88 c #Conflicts: 771000 | #Constraints: 31624
870.85/873.88 c #Conflicts: 772000 | #Constraints: 32624
870.85/873.88 c #Conflicts: 773000 | #Constraints: 33624
870.85/873.88 c #Conflicts: 774000 | #Constraints: 34624
870.85/873.88 c INPROCESSING
870.85/873.88 c GARBAGE COLLECT
870.85/873.88 c #Conflicts: 775000 | #Constraints: 18221
870.85/873.88 c #Conflicts: 776000 | #Constraints: 19221
870.85/873.88 c #Conflicts: 777000 | #Constraints: 20221
870.85/873.88 c #Conflicts: 778000 | #Constraints: 21221
870.85/873.88 c #Conflicts: 779000 | #Constraints: 22221
870.85/873.88 c #Conflicts: 780000 | #Constraints: 23221
870.85/873.88 c #Conflicts: 781000 | #Constraints: 24221
870.85/873.88 c #Conflicts: 782000 | #Constraints: 25221
870.85/873.88 c #Conflicts: 783000 | #Constraints: 26221
870.85/873.88 c #Conflicts: 784000 | #Constraints: 27221
870.85/873.88 c #Conflicts: 785000 | #Constraints: 28221
870.85/873.88 c #Conflicts: 786000 | #Constraints: 29221
870.85/873.88 c #Conflicts: 787000 | #Constraints: 30221
870.85/873.88 c #Conflicts: 788000 | #Constraints: 31221
870.85/873.88 c #Conflicts: 789000 | #Constraints: 32221
870.85/873.88 c #Conflicts: 790000 | #Constraints: 33221
870.85/873.88 c #Conflicts: 791000 | #Constraints: 34221
870.85/873.88 c #Conflicts: 792000 | #Constraints: 35221
870.85/873.88 c INPROCESSING
870.85/873.88 c GARBAGE COLLECT
870.85/873.88 c #Conflicts: 793000 | #Constraints: 18621
870.85/873.88 c #Conflicts: 794000 | #Constraints: 19621
870.85/873.88 c #Conflicts: 795000 | #Constraints: 20621
870.85/873.88 c #Conflicts: 796000 | #Constraints: 21621
870.85/873.88 c #Conflicts: 797000 | #Constraints: 22621
870.85/873.88 c #Conflicts: 798000 | #Constraints: 23621
870.85/873.88 c #Conflicts: 799000 | #Constraints: 24621
870.85/873.88 c #Conflicts: 800000 | #Constraints: 25621
870.85/873.88 c #Conflicts: 801000 | #Constraints: 26621
870.85/873.88 c #Conflicts: 802000 | #Constraints: 27621
870.85/873.88 c #Conflicts: 803000 | #Constraints: 28621
870.85/873.88 c #Conflicts: 804000 | #Constraints: 29621
870.85/873.88 c #Conflicts: 805000 | #Constraints: 30621
870.85/873.88 c #Conflicts: 806000 | #Constraints: 31621
870.85/873.88 c #Conflicts: 807000 | #Constraints: 32621
870.85/873.88 c #Conflicts: 808000 | #Constraints: 33621
870.85/873.88 c #Conflicts: 809000 | #Constraints: 34621
870.85/873.88 c #Conflicts: 810000 | #Constraints: 35621
870.85/873.88 c INPROCESSING
870.85/873.88 c GARBAGE COLLECT
870.85/873.88 c #Conflicts: 811000 | #Constraints: 18819
870.85/873.88 c #Conflicts: 812000 | #Constraints: 19819
870.85/873.88 c #Conflicts: 813000 | #Constraints: 20819
870.85/873.88 c #Conflicts: 814000 | #Constraints: 21819
870.85/873.88 c #Conflicts: 815000 | #Constraints: 22819
870.85/873.88 c #Conflicts: 816000 | #Constraints: 23819
952.61/955.87 c #Conflicts: 817000 | #Constraints: 24819
952.61/955.87 c #Conflicts: 818000 | #Constraints: 25819
952.61/955.87 c #Conflicts: 819000 | #Constraints: 26819
952.61/955.87 c #Conflicts: 820000 | #Constraints: 27819
952.61/955.87 c #Conflicts: 821000 | #Constraints: 28819
952.61/955.87 c #Conflicts: 822000 | #Constraints: 29819
952.61/955.87 c #Conflicts: 823000 | #Constraints: 30819
952.61/955.87 c #Conflicts: 824000 | #Constraints: 31819
952.61/955.87 c #Conflicts: 825000 | #Constraints: 32819
952.61/955.87 c #Conflicts: 826000 | #Constraints: 33819
952.61/955.87 c #Conflicts: 827000 | #Constraints: 34819
952.61/955.87 c #Conflicts: 828000 | #Constraints: 35819
952.61/955.87 c INPROCESSING
952.61/955.87 c GARBAGE COLLECT
952.61/955.87 c #Conflicts: 829000 | #Constraints: 18821
952.61/955.87 c #Conflicts: 830000 | #Constraints: 19821
952.61/955.87 c #Conflicts: 831000 | #Constraints: 20821
952.61/955.87 c #Conflicts: 832000 | #Constraints: 21821
952.61/955.87 c #Conflicts: 833000 | #Constraints: 22821
952.61/955.87 c #Conflicts: 834000 | #Constraints: 23821
952.61/955.87 c #Conflicts: 835000 | #Constraints: 24821
952.61/955.87 c #Conflicts: 836000 | #Constraints: 25821
952.61/955.87 c #Conflicts: 837000 | #Constraints: 26821
952.61/955.87 c #Conflicts: 838000 | #Constraints: 27821
952.61/955.87 c #Conflicts: 839000 | #Constraints: 28821
952.61/955.87 c #Conflicts: 840000 | #Constraints: 29821
952.61/955.87 c #Conflicts: 841000 | #Constraints: 30821
952.61/955.87 c #Conflicts: 842000 | #Constraints: 31821
952.61/955.87 c #Conflicts: 843000 | #Constraints: 32821
952.61/955.87 c #Conflicts: 844000 | #Constraints: 33821
952.61/955.87 c #Conflicts: 845000 | #Constraints: 34821
952.61/955.87 c #Conflicts: 846000 | #Constraints: 35821
952.61/955.87 c INPROCESSING
952.61/955.87 c GARBAGE COLLECT
952.61/955.87 c #Conflicts: 847000 | #Constraints: 18619
952.61/955.87 c #Conflicts: 848000 | #Constraints: 19619
952.61/955.87 c #Conflicts: 849000 | #Constraints: 20619
952.61/955.87 c #Conflicts: 850000 | #Constraints: 21619
952.61/955.87 c #Conflicts: 851000 | #Constraints: 22619
952.61/955.87 c #Conflicts: 852000 | #Constraints: 23619
952.61/955.87 c #Conflicts: 853000 | #Constraints: 24619
952.61/955.87 c #Conflicts: 854000 | #Constraints: 25619
952.61/955.87 c #Conflicts: 855000 | #Constraints: 26619
952.61/955.87 c #Conflicts: 856000 | #Constraints: 27619
952.61/955.87 c #Conflicts: 857000 | #Constraints: 28619
952.61/955.87 c #Conflicts: 858000 | #Constraints: 29619
952.61/955.87 c #Conflicts: 859000 | #Constraints: 30619
952.61/955.87 c #Conflicts: 860000 | #Constraints: 31619
952.61/955.87 c #Conflicts: 861000 | #Constraints: 32619
952.61/955.87 c #Conflicts: 862000 | #Constraints: 33619
952.61/955.87 c #Conflicts: 863000 | #Constraints: 34619
952.61/955.87 c #Conflicts: 864000 | #Constraints: 35619
952.61/955.87 c #Conflicts: 865000 | #Constraints: 36619
952.61/955.87 c INPROCESSING
952.61/955.87 c GARBAGE COLLECT
952.61/955.87 c #Conflicts: 866000 | #Constraints: 19221
952.61/955.87 c #Conflicts: 867000 | #Constraints: 20221
952.61/955.87 c #Conflicts: 868000 | #Constraints: 21221
952.61/955.87 c #Conflicts: 869000 | #Constraints: 22221
952.61/955.87 c #Conflicts: 870000 | #Constraints: 23221
952.61/955.87 c #Conflicts: 871000 | #Constraints: 24221
952.61/955.87 c #Conflicts: 872000 | #Constraints: 25221
952.61/955.87 c #Conflicts: 873000 | #Constraints: 26221
952.61/955.87 c #Conflicts: 874000 | #Constraints: 27221
952.61/955.87 c #Conflicts: 875000 | #Constraints: 28221
952.61/955.87 c #Conflicts: 876000 | #Constraints: 29221
952.61/955.87 c #Conflicts: 877000 | #Constraints: 30221
952.61/955.87 c #Conflicts: 878000 | #Constraints: 31221
952.61/955.87 c #Conflicts: 879000 | #Constraints: 32221
952.61/955.87 c #Conflicts: 880000 | #Constraints: 33221
952.61/955.87 c #Conflicts: 881000 | #Constraints: 34221
952.61/955.87 c #Conflicts: 882000 | #Constraints: 35221
952.61/955.87 c #Conflicts: 883000 | #Constraints: 36221
952.61/955.87 c #Conflicts: 884000 | #Constraints: 37221
952.61/955.87 c INPROCESSING
952.61/955.87 c GARBAGE COLLECT
952.61/955.87 c #Conflicts: 885000 | #Constraints: 19623
952.61/955.87 c #Conflicts: 886000 | #Constraints: 20623
952.61/955.87 c #Conflicts: 887000 | #Constraints: 21623
952.61/955.87 c #Conflicts: 888000 | #Constraints: 22623
952.61/955.87 c #Conflicts: 889000 | #Constraints: 23623
952.61/955.87 c #Conflicts: 890000 | #Constraints: 24623
952.61/955.87 c #Conflicts: 891000 | #Constraints: 25623
952.61/955.87 c #Conflicts: 892000 | #Constraints: 26623
1036.86/1040.35 c #Conflicts: 893000 | #Constraints: 27623
1036.86/1040.35 c #Conflicts: 894000 | #Constraints: 28623
1036.86/1040.35 c #Conflicts: 895000 | #Constraints: 29623
1036.86/1040.35 c #Conflicts: 896000 | #Constraints: 30623
1036.86/1040.35 c #Conflicts: 897000 | #Constraints: 31623
1036.86/1040.35 c #Conflicts: 898000 | #Constraints: 32623
1036.86/1040.35 c #Conflicts: 899000 | #Constraints: 33623
1036.86/1040.35 c #Conflicts: 900000 | #Constraints: 34623
1036.86/1040.35 c #Conflicts: 901000 | #Constraints: 35623
1036.86/1040.35 c #Conflicts: 902000 | #Constraints: 36623
1036.86/1040.35 c #Conflicts: 903000 | #Constraints: 37623
1036.86/1040.35 c INPROCESSING
1036.86/1040.35 c GARBAGE COLLECT
1036.86/1040.35 c #Conflicts: 904000 | #Constraints: 19820
1036.86/1040.35 c #Conflicts: 905000 | #Constraints: 20820
1036.86/1040.35 c #Conflicts: 906000 | #Constraints: 21820
1036.86/1040.35 c #Conflicts: 907000 | #Constraints: 22820
1036.86/1040.35 c #Conflicts: 908000 | #Constraints: 23820
1036.86/1040.35 c #Conflicts: 909000 | #Constraints: 24820
1036.86/1040.35 c #Conflicts: 910000 | #Constraints: 25820
1036.86/1040.35 c #Conflicts: 911000 | #Constraints: 26820
1036.86/1040.35 c #Conflicts: 912000 | #Constraints: 27820
1036.86/1040.35 c #Conflicts: 913000 | #Constraints: 28820
1036.86/1040.35 c #Conflicts: 914000 | #Constraints: 29820
1036.86/1040.35 c #Conflicts: 915000 | #Constraints: 30820
1036.86/1040.35 c #Conflicts: 916000 | #Constraints: 31820
1036.86/1040.35 c #Conflicts: 917000 | #Constraints: 32820
1036.86/1040.35 c #Conflicts: 918000 | #Constraints: 33820
1036.86/1040.35 c #Conflicts: 919000 | #Constraints: 34820
1036.86/1040.35 c #Conflicts: 920000 | #Constraints: 35820
1036.86/1040.35 c #Conflicts: 921000 | #Constraints: 36820
1036.86/1040.35 c #Conflicts: 922000 | #Constraints: 37820
1036.86/1040.35 c INPROCESSING
1036.86/1040.35 c GARBAGE COLLECT
1036.86/1040.35 c #Conflicts: 923000 | #Constraints: 19822
1036.86/1040.35 c #Conflicts: 924000 | #Constraints: 20822
1036.86/1040.35 c #Conflicts: 925000 | #Constraints: 21822
1036.86/1040.35 c #Conflicts: 926000 | #Constraints: 22822
1036.86/1040.35 c #Conflicts: 927000 | #Constraints: 23822
1036.86/1040.35 c #Conflicts: 928000 | #Constraints: 24822
1036.86/1040.35 c #Conflicts: 929000 | #Constraints: 25822
1036.86/1040.35 c #Conflicts: 930000 | #Constraints: 26822
1036.86/1040.35 c #Conflicts: 931000 | #Constraints: 27822
1036.86/1040.35 c #Conflicts: 932000 | #Constraints: 28822
1036.86/1040.35 c #Conflicts: 933000 | #Constraints: 29822
1036.86/1040.35 c #Conflicts: 934000 | #Constraints: 30822
1036.86/1040.35 c #Conflicts: 935000 | #Constraints: 31822
1036.86/1040.35 c #Conflicts: 936000 | #Constraints: 32822
1036.86/1040.35 c #Conflicts: 937000 | #Constraints: 33822
1036.86/1040.35 c #Conflicts: 938000 | #Constraints: 34822
1036.86/1040.35 c #Conflicts: 939000 | #Constraints: 35822
1036.86/1040.35 c #Conflicts: 940000 | #Constraints: 36822
1036.86/1040.35 c #Conflicts: 941000 | #Constraints: 37822
1036.86/1040.35 c INPROCESSING
1036.86/1040.35 c GARBAGE COLLECT
1036.86/1040.35 c #Conflicts: 942000 | #Constraints: 19622
1036.86/1040.35 c #Conflicts: 943000 | #Constraints: 20622
1036.86/1040.35 c #Conflicts: 944000 | #Constraints: 21622
1036.86/1040.35 c #Conflicts: 945000 | #Constraints: 22622
1036.86/1040.35 c #Conflicts: 946000 | #Constraints: 23622
1036.86/1040.35 c #Conflicts: 947000 | #Constraints: 24622
1036.86/1040.35 c #Conflicts: 948000 | #Constraints: 25622
1036.86/1040.35 c #Conflicts: 949000 | #Constraints: 26622
1036.86/1040.35 c #Conflicts: 950000 | #Constraints: 27622
1036.86/1040.35 c #Conflicts: 951000 | #Constraints: 28622
1036.86/1040.35 c #Conflicts: 952000 | #Constraints: 29622
1036.86/1040.35 c #Conflicts: 953000 | #Constraints: 30622
1036.86/1040.35 c #Conflicts: 954000 | #Constraints: 31622
1036.86/1040.35 c #Conflicts: 955000 | #Constraints: 32622
1036.86/1040.35 c #Conflicts: 956000 | #Constraints: 33622
1036.86/1040.35 c #Conflicts: 957000 | #Constraints: 34622
1036.86/1040.35 c #Conflicts: 958000 | #Constraints: 35622
1036.86/1040.35 c #Conflicts: 959000 | #Constraints: 36622
1036.86/1040.35 c #Conflicts: 960000 | #Constraints: 37622
1036.86/1040.35 c #Conflicts: 961000 | #Constraints: 38622
1036.86/1040.35 c INPROCESSING
1036.86/1040.35 c GARBAGE COLLECT
1036.86/1040.35 c #Conflicts: 962000 | #Constraints: 20223
1036.86/1040.35 c #Conflicts: 963000 | #Constraints: 21223
1036.86/1040.35 c #Conflicts: 964000 | #Constraints: 22223
1036.86/1040.35 c #Conflicts: 965000 | #Constraints: 23223
1036.86/1040.35 c #Conflicts: 966000 | #Constraints: 24223
1036.86/1040.35 c #Conflicts: 967000 | #Constraints: 25223
1036.86/1040.35 c #Conflicts: 968000 | #Constraints: 26223
1129.18/1132.98 c #Conflicts: 969000 | #Constraints: 27223
1129.18/1132.98 c #Conflicts: 970000 | #Constraints: 28223
1129.18/1132.98 c #Conflicts: 971000 | #Constraints: 29223
1129.18/1132.98 c #Conflicts: 972000 | #Constraints: 30223
1129.18/1132.98 c #Conflicts: 973000 | #Constraints: 31223
1129.18/1132.98 c #Conflicts: 974000 | #Constraints: 32223
1129.18/1132.98 c #Conflicts: 975000 | #Constraints: 33223
1129.18/1132.98 c #Conflicts: 976000 | #Constraints: 34223
1129.18/1132.98 c #Conflicts: 977000 | #Constraints: 35223
1129.18/1132.98 c #Conflicts: 978000 | #Constraints: 36223
1129.18/1132.98 c #Conflicts: 979000 | #Constraints: 37223
1129.18/1132.98 c #Conflicts: 980000 | #Constraints: 38223
1129.18/1132.98 c #Conflicts: 981000 | #Constraints: 39223
1129.18/1132.98 c INPROCESSING
1129.18/1132.98 c GARBAGE COLLECT
1129.18/1132.98 c #Conflicts: 982000 | #Constraints: 20624
1129.18/1132.98 c #Conflicts: 983000 | #Constraints: 21624
1129.18/1132.98 c #Conflicts: 984000 | #Constraints: 22624
1129.18/1132.98 c #Conflicts: 985000 | #Constraints: 23624
1129.18/1132.98 c #Conflicts: 986000 | #Constraints: 24624
1129.18/1132.98 c #Conflicts: 987000 | #Constraints: 25624
1129.18/1132.98 c #Conflicts: 988000 | #Constraints: 26624
1129.18/1132.98 c #Conflicts: 989000 | #Constraints: 27624
1129.18/1132.98 c #Conflicts: 990000 | #Constraints: 28624
1129.18/1132.98 c #Conflicts: 991000 | #Constraints: 29624
1129.18/1132.98 c #Conflicts: 992000 | #Constraints: 30624
1129.18/1132.98 c #Conflicts: 993000 | #Constraints: 31624
1129.18/1132.98 c #Conflicts: 994000 | #Constraints: 32624
1129.18/1132.98 c #Conflicts: 995000 | #Constraints: 33624
1129.18/1132.98 c #Conflicts: 996000 | #Constraints: 34624
1129.18/1132.98 c #Conflicts: 997000 | #Constraints: 35624
1129.18/1132.98 c #Conflicts: 998000 | #Constraints: 36624
1129.18/1132.98 c #Conflicts: 999000 | #Constraints: 37624
1129.18/1132.98 c #Conflicts: 1000000 | #Constraints: 38624
1129.18/1132.98 c #Conflicts: 1001000 | #Constraints: 39624
1129.18/1132.98 c INPROCESSING
1129.18/1132.98 c GARBAGE COLLECT
1129.18/1132.98 c #Conflicts: 1002000 | #Constraints: 20826
1129.18/1132.98 c #Conflicts: 1003000 | #Constraints: 21826
1129.18/1132.98 c #Conflicts: 1004000 | #Constraints: 22826
1129.18/1132.98 c #Conflicts: 1005000 | #Constraints: 23826
1129.18/1132.98 c #Conflicts: 1006000 | #Constraints: 24826
1129.18/1132.98 c #Conflicts: 1007000 | #Constraints: 25826
1129.18/1132.98 c #Conflicts: 1008000 | #Constraints: 26826
1129.18/1132.98 c #Conflicts: 1009000 | #Constraints: 27826
1129.18/1132.98 c #Conflicts: 1010000 | #Constraints: 28826
1129.18/1132.98 c #Conflicts: 1011000 | #Constraints: 29826
1129.18/1132.98 c #Conflicts: 1012000 | #Constraints: 30826
1129.18/1132.98 c #Conflicts: 1013000 | #Constraints: 31826
1129.18/1132.98 c #Conflicts: 1014000 | #Constraints: 32826
1129.18/1132.98 c #Conflicts: 1015000 | #Constraints: 33826
1129.18/1132.98 c #Conflicts: 1016000 | #Constraints: 34826
1129.18/1132.98 c #Conflicts: 1017000 | #Constraints: 35826
1129.18/1132.98 c #Conflicts: 1018000 | #Constraints: 36826
1129.18/1132.98 c #Conflicts: 1019000 | #Constraints: 37826
1129.18/1132.98 c #Conflicts: 1020000 | #Constraints: 38826
1129.18/1132.98 c #Conflicts: 1021000 | #Constraints: 39826
1129.18/1132.98 c INPROCESSING
1129.18/1132.98 c GARBAGE COLLECT
1129.18/1132.98 c #Conflicts: 1022000 | #Constraints: 20828
1129.18/1132.98 c #Conflicts: 1023000 | #Constraints: 21828
1129.18/1132.98 c #Conflicts: 1024000 | #Constraints: 22828
1129.18/1132.98 c #Conflicts: 1025000 | #Constraints: 23828
1129.18/1132.98 c #Conflicts: 1026000 | #Constraints: 24828
1129.18/1132.98 c #Conflicts: 1027000 | #Constraints: 25828
1129.18/1132.98 c #Conflicts: 1028000 | #Constraints: 26828
1129.18/1132.98 c #Conflicts: 1029000 | #Constraints: 27828
1129.18/1132.98 c #Conflicts: 1030000 | #Constraints: 28828
1129.18/1132.98 c #Conflicts: 1031000 | #Constraints: 29828
1129.18/1132.98 c #Conflicts: 1032000 | #Constraints: 30828
1129.18/1132.98 c #Conflicts: 1033000 | #Constraints: 31828
1129.18/1132.98 c #Conflicts: 1034000 | #Constraints: 32828
1129.18/1132.98 c #Conflicts: 1035000 | #Constraints: 33828
1129.18/1132.98 c #Conflicts: 1036000 | #Constraints: 34828
1129.18/1132.98 c #Conflicts: 1037000 | #Constraints: 35828
1129.18/1132.98 c #Conflicts: 1038000 | #Constraints: 36828
1129.18/1132.98 c #Conflicts: 1039000 | #Constraints: 37828
1129.18/1132.98 c #Conflicts: 1040000 | #Constraints: 38828
1129.18/1132.98 c #Conflicts: 1041000 | #Constraints: 39828
1129.18/1132.98 c INPROCESSING
1129.18/1132.98 c GARBAGE COLLECT
1129.18/1132.98 c #Conflicts: 1042000 | #Constraints: 20628
1129.18/1132.98 c #Conflicts: 1043000 | #Constraints: 21628
1129.18/1132.98 c #Conflicts: 1044000 | #Constraints: 22628
1228.99/1233.02 c #Conflicts: 1045000 | #Constraints: 23628
1228.99/1233.02 c #Conflicts: 1046000 | #Constraints: 24628
1228.99/1233.02 c #Conflicts: 1047000 | #Constraints: 25628
1228.99/1233.02 c #Conflicts: 1048000 | #Constraints: 26628
1228.99/1233.02 c #Conflicts: 1049000 | #Constraints: 27628
1228.99/1233.02 c #Conflicts: 1050000 | #Constraints: 28628
1228.99/1233.02 c #Conflicts: 1051000 | #Constraints: 29628
1228.99/1233.02 c #Conflicts: 1052000 | #Constraints: 30628
1228.99/1233.02 c #Conflicts: 1053000 | #Constraints: 31628
1228.99/1233.02 c #Conflicts: 1054000 | #Constraints: 32628
1228.99/1233.02 c #Conflicts: 1055000 | #Constraints: 33628
1228.99/1233.02 c #Conflicts: 1056000 | #Constraints: 34628
1228.99/1233.02 c #Conflicts: 1057000 | #Constraints: 35628
1228.99/1233.02 c #Conflicts: 1058000 | #Constraints: 36628
1228.99/1233.02 c #Conflicts: 1059000 | #Constraints: 37628
1228.99/1233.02 c #Conflicts: 1060000 | #Constraints: 38628
1228.99/1233.02 c #Conflicts: 1061000 | #Constraints: 39628
1228.99/1233.02 c #Conflicts: 1062000 | #Constraints: 40628
1228.99/1233.02 c INPROCESSING
1228.99/1233.02 c GARBAGE COLLECT
1228.99/1233.02 c #Conflicts: 1063000 | #Constraints: 21229
1228.99/1233.02 c #Conflicts: 1064000 | #Constraints: 22229
1228.99/1233.02 c #Conflicts: 1065000 | #Constraints: 23229
1228.99/1233.02 c #Conflicts: 1066000 | #Constraints: 24229
1228.99/1233.02 c #Conflicts: 1067000 | #Constraints: 25229
1228.99/1233.02 c #Conflicts: 1068000 | #Constraints: 26229
1228.99/1233.02 c #Conflicts: 1069000 | #Constraints: 27229
1228.99/1233.02 c #Conflicts: 1070000 | #Constraints: 28229
1228.99/1233.02 c #Conflicts: 1071000 | #Constraints: 29229
1228.99/1233.02 c #Conflicts: 1072000 | #Constraints: 30229
1228.99/1233.02 c #Conflicts: 1073000 | #Constraints: 31229
1228.99/1233.02 c #Conflicts: 1074000 | #Constraints: 32229
1228.99/1233.02 c #Conflicts: 1075000 | #Constraints: 33229
1228.99/1233.02 c #Conflicts: 1076000 | #Constraints: 34229
1228.99/1233.02 c #Conflicts: 1077000 | #Constraints: 35229
1228.99/1233.02 c #Conflicts: 1078000 | #Constraints: 36229
1228.99/1233.02 c #Conflicts: 1079000 | #Constraints: 37229
1228.99/1233.02 c #Conflicts: 1080000 | #Constraints: 38229
1228.99/1233.02 c #Conflicts: 1081000 | #Constraints: 39229
1228.99/1233.02 c #Conflicts: 1082000 | #Constraints: 40229
1228.99/1233.02 c #Conflicts: 1083000 | #Constraints: 41229
1228.99/1233.02 c INPROCESSING
1228.99/1233.02 c GARBAGE COLLECT
1228.99/1233.02 c #Conflicts: 1084000 | #Constraints: 21627
1228.99/1233.02 c #Conflicts: 1085000 | #Constraints: 22627
1228.99/1233.02 c #Conflicts: 1086000 | #Constraints: 23627
1228.99/1233.02 c #Conflicts: 1087000 | #Constraints: 24627
1228.99/1233.02 c #Conflicts: 1088000 | #Constraints: 25627
1228.99/1233.02 c #Conflicts: 1089000 | #Constraints: 26627
1228.99/1233.02 c #Conflicts: 1090000 | #Constraints: 27627
1228.99/1233.02 c #Conflicts: 1091000 | #Constraints: 28627
1228.99/1233.02 c #Conflicts: 1092000 | #Constraints: 29627
1228.99/1233.02 c #Conflicts: 1093000 | #Constraints: 30627
1228.99/1233.02 c #Conflicts: 1094000 | #Constraints: 31627
1228.99/1233.02 c #Conflicts: 1095000 | #Constraints: 32627
1228.99/1233.02 c #Conflicts: 1096000 | #Constraints: 33627
1228.99/1233.02 c #Conflicts: 1097000 | #Constraints: 34627
1228.99/1233.02 c #Conflicts: 1098000 | #Constraints: 35627
1228.99/1233.02 c #Conflicts: 1099000 | #Constraints: 36627
1228.99/1233.02 c #Conflicts: 1100000 | #Constraints: 37627
1228.99/1233.02 c #Conflicts: 1101000 | #Constraints: 38627
1228.99/1233.02 c #Conflicts: 1102000 | #Constraints: 39627
1228.99/1233.02 c #Conflicts: 1103000 | #Constraints: 40627
1228.99/1233.02 c #Conflicts: 1104000 | #Constraints: 41627
1228.99/1233.02 c INPROCESSING
1228.99/1233.02 c GARBAGE COLLECT
1228.99/1233.02 c #Conflicts: 1105000 | #Constraints: 21827
1228.99/1233.02 c #Conflicts: 1106000 | #Constraints: 22827
1228.99/1233.02 c #Conflicts: 1107000 | #Constraints: 23827
1228.99/1233.02 c #Conflicts: 1108000 | #Constraints: 24827
1228.99/1233.02 c #Conflicts: 1109000 | #Constraints: 25827
1228.99/1233.02 c #Conflicts: 1110000 | #Constraints: 26827
1228.99/1233.02 c #Conflicts: 1111000 | #Constraints: 27827
1228.99/1233.02 c #Conflicts: 1112000 | #Constraints: 28827
1228.99/1233.02 c #Conflicts: 1113000 | #Constraints: 29827
1228.99/1233.02 c #Conflicts: 1114000 | #Constraints: 30827
1228.99/1233.02 c #Conflicts: 1115000 | #Constraints: 31827
1228.99/1233.02 c #Conflicts: 1116000 | #Constraints: 32827
1228.99/1233.02 c #Conflicts: 1117000 | #Constraints: 33827
1228.99/1233.02 c #Conflicts: 1118000 | #Constraints: 34827
1228.99/1233.02 c #Conflicts: 1119000 | #Constraints: 35827
1228.99/1233.02 c #Conflicts: 1120000 | #Constraints: 36827
1228.99/1233.02 c #Conflicts: 1121000 | #Constraints: 37827
1326.40/1330.73 c #Conflicts: 1122000 | #Constraints: 38827
1326.40/1330.73 c #Conflicts: 1123000 | #Constraints: 39827
1326.40/1330.73 c #Conflicts: 1124000 | #Constraints: 40827
1326.40/1330.73 c #Conflicts: 1125000 | #Constraints: 41827
1326.40/1330.73 c INPROCESSING
1326.40/1330.73 c GARBAGE COLLECT
1326.40/1330.73 c #Conflicts: 1126000 | #Constraints: 21827
1326.40/1330.73 c #Conflicts: 1127000 | #Constraints: 22827
1326.40/1330.73 c #Conflicts: 1128000 | #Constraints: 23827
1326.40/1330.73 c #Conflicts: 1129000 | #Constraints: 24827
1326.40/1330.73 c #Conflicts: 1130000 | #Constraints: 25827
1326.40/1330.73 c #Conflicts: 1131000 | #Constraints: 26827
1326.40/1330.73 c #Conflicts: 1132000 | #Constraints: 27827
1326.40/1330.73 c #Conflicts: 1133000 | #Constraints: 28827
1326.40/1330.73 c #Conflicts: 1134000 | #Constraints: 29827
1326.40/1330.73 c #Conflicts: 1135000 | #Constraints: 30827
1326.40/1330.73 c #Conflicts: 1136000 | #Constraints: 31827
1326.40/1330.73 c #Conflicts: 1137000 | #Constraints: 32827
1326.40/1330.73 c #Conflicts: 1138000 | #Constraints: 33827
1326.40/1330.73 c #Conflicts: 1139000 | #Constraints: 34827
1326.40/1330.73 c #Conflicts: 1140000 | #Constraints: 35827
1326.40/1330.73 c #Conflicts: 1141000 | #Constraints: 36827
1326.40/1330.73 c #Conflicts: 1142000 | #Constraints: 37827
1326.40/1330.73 c #Conflicts: 1143000 | #Constraints: 38827
1326.40/1330.73 c #Conflicts: 1144000 | #Constraints: 39827
1326.40/1330.73 c #Conflicts: 1145000 | #Constraints: 40827
1326.40/1330.73 c #Conflicts: 1146000 | #Constraints: 41827
1326.40/1330.73 c INPROCESSING
1326.40/1330.73 c GARBAGE COLLECT
1326.40/1330.73 c #Conflicts: 1147000 | #Constraints: 21627
1326.40/1330.73 c #Conflicts: 1148000 | #Constraints: 22627
1326.40/1330.73 c #Conflicts: 1149000 | #Constraints: 23627
1326.40/1330.73 c #Conflicts: 1150000 | #Constraints: 24627
1326.40/1330.73 c #Conflicts: 1151000 | #Constraints: 25627
1326.40/1330.73 c #Conflicts: 1152000 | #Constraints: 26627
1326.40/1330.73 c #Conflicts: 1153000 | #Constraints: 27627
1326.40/1330.73 c #Conflicts: 1154000 | #Constraints: 28627
1326.40/1330.73 c #Conflicts: 1155000 | #Constraints: 29627
1326.40/1330.73 c #Conflicts: 1156000 | #Constraints: 30627
1326.40/1330.73 c #Conflicts: 1157000 | #Constraints: 31627
1326.40/1330.73 c #Conflicts: 1158000 | #Constraints: 32627
1326.40/1330.73 c #Conflicts: 1159000 | #Constraints: 33627
1326.40/1330.73 c #Conflicts: 1160000 | #Constraints: 34627
1326.40/1330.73 c #Conflicts: 1161000 | #Constraints: 35627
1326.40/1330.73 c #Conflicts: 1162000 | #Constraints: 36627
1326.40/1330.73 c #Conflicts: 1163000 | #Constraints: 37627
1326.40/1330.73 c #Conflicts: 1164000 | #Constraints: 38627
1326.40/1330.73 c #Conflicts: 1165000 | #Constraints: 39627
1326.40/1330.73 c #Conflicts: 1166000 | #Constraints: 40627
1326.40/1330.73 c #Conflicts: 1167000 | #Constraints: 41627
1326.40/1330.73 c #Conflicts: 1168000 | #Constraints: 42627
1326.40/1330.73 c INPROCESSING
1326.40/1330.73 c GARBAGE COLLECT
1326.40/1330.73 c #Conflicts: 1169000 | #Constraints: 22226
1326.40/1330.73 c #Conflicts: 1170000 | #Constraints: 23226
1326.40/1330.73 c #Conflicts: 1171000 | #Constraints: 24226
1326.40/1330.73 c #Conflicts: 1172000 | #Constraints: 25226
1326.40/1330.73 c #Conflicts: 1173000 | #Constraints: 26226
1326.40/1330.73 c #Conflicts: 1174000 | #Constraints: 27226
1326.40/1330.73 c #Conflicts: 1175000 | #Constraints: 28226
1326.40/1330.73 c #Conflicts: 1176000 | #Constraints: 29226
1326.40/1330.73 c #Conflicts: 1177000 | #Constraints: 30226
1326.40/1330.73 c #Conflicts: 1178000 | #Constraints: 31226
1326.40/1330.73 c #Conflicts: 1179000 | #Constraints: 32226
1326.40/1330.73 c #Conflicts: 1180000 | #Constraints: 33226
1326.40/1330.73 c #Conflicts: 1181000 | #Constraints: 34226
1326.40/1330.73 c #Conflicts: 1182000 | #Constraints: 35226
1326.40/1330.73 c #Conflicts: 1183000 | #Constraints: 36226
1326.40/1330.73 c #Conflicts: 1184000 | #Constraints: 37226
1326.40/1330.73 c #Conflicts: 1185000 | #Constraints: 38226
1326.40/1330.73 c #Conflicts: 1186000 | #Constraints: 39226
1326.40/1330.73 c #Conflicts: 1187000 | #Constraints: 40226
1326.40/1330.73 c #Conflicts: 1188000 | #Constraints: 41226
1326.40/1330.73 c #Conflicts: 1189000 | #Constraints: 42226
1326.40/1330.73 c #Conflicts: 1190000 | #Constraints: 43226
1326.40/1330.73 c INPROCESSING
1326.40/1330.73 c GARBAGE COLLECT
1326.40/1330.73 c #Conflicts: 1191000 | #Constraints: 22624
1326.40/1330.73 c #Conflicts: 1192000 | #Constraints: 23624
1326.40/1330.73 c #Conflicts: 1193000 | #Constraints: 24624
1326.40/1330.73 c #Conflicts: 1194000 | #Constraints: 25624
1326.40/1330.73 c #Conflicts: 1195000 | #Constraints: 26624
1326.40/1330.73 c #Conflicts: 1196000 | #Constraints: 27624
1326.40/1330.73 c #Conflicts: 1197000 | #Constraints: 28624
1427.80/1432.41 c #Conflicts: 1198000 | #Constraints: 29624
1427.80/1432.41 c #Conflicts: 1199000 | #Constraints: 30624
1427.80/1432.41 c #Conflicts: 1200000 | #Constraints: 31624
1427.80/1432.41 c #Conflicts: 1201000 | #Constraints: 32624
1427.80/1432.41 c #Conflicts: 1202000 | #Constraints: 33624
1427.80/1432.41 c #Conflicts: 1203000 | #Constraints: 34624
1427.80/1432.41 c #Conflicts: 1204000 | #Constraints: 35624
1427.80/1432.41 c #Conflicts: 1205000 | #Constraints: 36624
1427.80/1432.41 c #Conflicts: 1206000 | #Constraints: 37624
1427.80/1432.41 c #Conflicts: 1207000 | #Constraints: 38624
1427.80/1432.41 c #Conflicts: 1208000 | #Constraints: 39624
1427.80/1432.41 c #Conflicts: 1209000 | #Constraints: 40624
1427.80/1432.41 c #Conflicts: 1210000 | #Constraints: 41624
1427.80/1432.41 c #Conflicts: 1211000 | #Constraints: 42624
1427.80/1432.41 c #Conflicts: 1212000 | #Constraints: 43624
1427.80/1432.41 c INPROCESSING
1427.80/1432.41 c GARBAGE COLLECT
1427.80/1432.41 c #Conflicts: 1213000 | #Constraints: 22826
1427.80/1432.41 c #Conflicts: 1214000 | #Constraints: 23826
1427.80/1432.41 c #Conflicts: 1215000 | #Constraints: 24826
1427.80/1432.41 c #Conflicts: 1216000 | #Constraints: 25826
1427.80/1432.41 c #Conflicts: 1217000 | #Constraints: 26826
1427.80/1432.41 c #Conflicts: 1218000 | #Constraints: 27826
1427.80/1432.41 c #Conflicts: 1219000 | #Constraints: 28826
1427.80/1432.41 c #Conflicts: 1220000 | #Constraints: 29826
1427.80/1432.41 c #Conflicts: 1221000 | #Constraints: 30826
1427.80/1432.41 c #Conflicts: 1222000 | #Constraints: 31826
1427.80/1432.41 c #Conflicts: 1223000 | #Constraints: 32826
1427.80/1432.41 c #Conflicts: 1224000 | #Constraints: 33826
1427.80/1432.41 c #Conflicts: 1225000 | #Constraints: 34826
1427.80/1432.41 c #Conflicts: 1226000 | #Constraints: 35826
1427.80/1432.41 c #Conflicts: 1227000 | #Constraints: 36826
1427.80/1432.41 c #Conflicts: 1228000 | #Constraints: 37826
1427.80/1432.41 c #Conflicts: 1229000 | #Constraints: 38826
1427.80/1432.41 c #Conflicts: 1230000 | #Constraints: 39826
1427.80/1432.41 c #Conflicts: 1231000 | #Constraints: 40826
1427.80/1432.41 c #Conflicts: 1232000 | #Constraints: 41826
1427.80/1432.41 c #Conflicts: 1233000 | #Constraints: 42826
1427.80/1432.41 c #Conflicts: 1234000 | #Constraints: 43826
1427.80/1432.41 c INPROCESSING
1427.80/1432.41 c GARBAGE COLLECT
1427.80/1432.41 c #Conflicts: 1235000 | #Constraints: 22827
1427.80/1432.41 c #Conflicts: 1236000 | #Constraints: 23827
1427.80/1432.41 c #Conflicts: 1237000 | #Constraints: 24827
1427.80/1432.41 c #Conflicts: 1238000 | #Constraints: 25827
1427.80/1432.41 c #Conflicts: 1239000 | #Constraints: 26827
1427.80/1432.41 c #Conflicts: 1240000 | #Constraints: 27827
1427.80/1432.41 c #Conflicts: 1241000 | #Constraints: 28827
1427.80/1432.41 c #Conflicts: 1242000 | #Constraints: 29827
1427.80/1432.41 c #Conflicts: 1243000 | #Constraints: 30827
1427.80/1432.41 c #Conflicts: 1244000 | #Constraints: 31827
1427.80/1432.41 c #Conflicts: 1245000 | #Constraints: 32827
1427.80/1432.41 c #Conflicts: 1246000 | #Constraints: 33827
1427.80/1432.41 c #Conflicts: 1247000 | #Constraints: 34827
1427.80/1432.41 c #Conflicts: 1248000 | #Constraints: 35827
1427.80/1432.41 c #Conflicts: 1249000 | #Constraints: 36827
1427.80/1432.41 c #Conflicts: 1250000 | #Constraints: 37827
1427.80/1432.41 c #Conflicts: 1251000 | #Constraints: 38827
1427.80/1432.41 c #Conflicts: 1252000 | #Constraints: 39827
1427.80/1432.41 c #Conflicts: 1253000 | #Constraints: 40827
1427.80/1432.41 c #Conflicts: 1254000 | #Constraints: 41827
1427.80/1432.41 c #Conflicts: 1255000 | #Constraints: 42827
1427.80/1432.41 c #Conflicts: 1256000 | #Constraints: 43827
1427.80/1432.41 c INPROCESSING
1427.80/1432.41 c GARBAGE COLLECT
1427.80/1432.41 c #Conflicts: 1257000 | #Constraints: 22625
1427.80/1432.41 c #Conflicts: 1258000 | #Constraints: 23625
1427.80/1432.41 c #Conflicts: 1259000 | #Constraints: 24625
1427.80/1432.41 c #Conflicts: 1260000 | #Constraints: 25625
1427.80/1432.41 c #Conflicts: 1261000 | #Constraints: 26625
1427.80/1432.41 c #Conflicts: 1262000 | #Constraints: 27625
1427.80/1432.41 c #Conflicts: 1263000 | #Constraints: 28625
1427.80/1432.41 c #Conflicts: 1264000 | #Constraints: 29625
1427.80/1432.41 c #Conflicts: 1265000 | #Constraints: 30625
1427.80/1432.41 c #Conflicts: 1266000 | #Constraints: 31625
1427.80/1432.41 c #Conflicts: 1267000 | #Constraints: 32625
1427.80/1432.41 c #Conflicts: 1268000 | #Constraints: 33625
1427.80/1432.41 c #Conflicts: 1269000 | #Constraints: 34625
1427.80/1432.41 c #Conflicts: 1270000 | #Constraints: 35625
1427.80/1432.41 c #Conflicts: 1271000 | #Constraints: 36625
1427.80/1432.41 c #Conflicts: 1272000 | #Constraints: 37625
1427.80/1432.41 c #Conflicts: 1273000 | #Constraints: 38625
1427.80/1432.41 c #Conflicts: 1274000 | #Constraints: 39625
1531.20/1536.14 c #Conflicts: 1275000 | #Constraints: 40625
1531.20/1536.14 c #Conflicts: 1276000 | #Constraints: 41625
1531.20/1536.14 c #Conflicts: 1277000 | #Constraints: 42625
1531.20/1536.14 c #Conflicts: 1278000 | #Constraints: 43625
1531.20/1536.14 c #Conflicts: 1279000 | #Constraints: 44625
1531.20/1536.14 c INPROCESSING
1531.20/1536.14 c GARBAGE COLLECT
1531.20/1536.14 c #Conflicts: 1280000 | #Constraints: 23223
1531.20/1536.14 c #Conflicts: 1281000 | #Constraints: 24223
1531.20/1536.14 c #Conflicts: 1282000 | #Constraints: 25223
1531.20/1536.14 c #Conflicts: 1283000 | #Constraints: 26223
1531.20/1536.14 c #Conflicts: 1284000 | #Constraints: 27223
1531.20/1536.14 c #Conflicts: 1285000 | #Constraints: 28223
1531.20/1536.14 c #Conflicts: 1286000 | #Constraints: 29223
1531.20/1536.14 c #Conflicts: 1287000 | #Constraints: 30223
1531.20/1536.14 c #Conflicts: 1288000 | #Constraints: 31223
1531.20/1536.14 c #Conflicts: 1289000 | #Constraints: 32223
1531.20/1536.14 c #Conflicts: 1290000 | #Constraints: 33223
1531.20/1536.14 c #Conflicts: 1291000 | #Constraints: 34223
1531.20/1536.14 c #Conflicts: 1292000 | #Constraints: 35223
1531.20/1536.14 c #Conflicts: 1293000 | #Constraints: 36223
1531.20/1536.14 c #Conflicts: 1294000 | #Constraints: 37223
1531.20/1536.14 c #Conflicts: 1295000 | #Constraints: 38223
1531.20/1536.14 c #Conflicts: 1296000 | #Constraints: 39223
1531.20/1536.14 c #Conflicts: 1297000 | #Constraints: 40223
1531.20/1536.14 c #Conflicts: 1298000 | #Constraints: 41223
1531.20/1536.14 c #Conflicts: 1299000 | #Constraints: 42223
1531.20/1536.14 c #Conflicts: 1300000 | #Constraints: 43223
1531.20/1536.14 c #Conflicts: 1301000 | #Constraints: 44223
1531.20/1536.14 c #Conflicts: 1302000 | #Constraints: 45223
1531.20/1536.14 c INPROCESSING
1531.20/1536.14 c GARBAGE COLLECT
1531.20/1536.14 c #Conflicts: 1303000 | #Constraints: 23625
1531.20/1536.14 c #Conflicts: 1304000 | #Constraints: 24625
1531.20/1536.14 c #Conflicts: 1305000 | #Constraints: 25625
1531.20/1536.14 c #Conflicts: 1306000 | #Constraints: 26625
1531.20/1536.14 c #Conflicts: 1307000 | #Constraints: 27625
1531.20/1536.14 c #Conflicts: 1308000 | #Constraints: 28625
1531.20/1536.14 c #Conflicts: 1309000 | #Constraints: 29625
1531.20/1536.14 c #Conflicts: 1310000 | #Constraints: 30625
1531.20/1536.14 c #Conflicts: 1311000 | #Constraints: 31625
1531.20/1536.14 c #Conflicts: 1312000 | #Constraints: 32625
1531.20/1536.14 c #Conflicts: 1313000 | #Constraints: 33625
1531.20/1536.14 c #Conflicts: 1314000 | #Constraints: 34625
1531.20/1536.14 c #Conflicts: 1315000 | #Constraints: 35625
1531.20/1536.14 c #Conflicts: 1316000 | #Constraints: 36625
1531.20/1536.14 c #Conflicts: 1317000 | #Constraints: 37625
1531.20/1536.14 c #Conflicts: 1318000 | #Constraints: 38625
1531.20/1536.14 c #Conflicts: 1319000 | #Constraints: 39625
1531.20/1536.14 c #Conflicts: 1320000 | #Constraints: 40625
1531.20/1536.14 c #Conflicts: 1321000 | #Constraints: 41625
1531.20/1536.14 c #Conflicts: 1322000 | #Constraints: 42625
1531.20/1536.14 c #Conflicts: 1323000 | #Constraints: 43625
1531.20/1536.14 c #Conflicts: 1324000 | #Constraints: 44625
1531.20/1536.14 c #Conflicts: 1325000 | #Constraints: 45625
1531.20/1536.14 c INPROCESSING
1531.20/1536.14 c GARBAGE COLLECT
1531.20/1536.14 c #Conflicts: 1326000 | #Constraints: 23824
1531.20/1536.14 c #Conflicts: 1327000 | #Constraints: 24824
1531.20/1536.14 c #Conflicts: 1328000 | #Constraints: 25824
1531.20/1536.14 c #Conflicts: 1329000 | #Constraints: 26824
1531.20/1536.14 c #Conflicts: 1330000 | #Constraints: 27824
1531.20/1536.14 c #Conflicts: 1331000 | #Constraints: 28824
1531.20/1536.14 c #Conflicts: 1332000 | #Constraints: 29824
1531.20/1536.14 c #Conflicts: 1333000 | #Constraints: 30824
1531.20/1536.14 c #Conflicts: 1334000 | #Constraints: 31824
1531.20/1536.14 c #Conflicts: 1335000 | #Constraints: 32824
1531.20/1536.14 c #Conflicts: 1336000 | #Constraints: 33824
1531.20/1536.14 c #Conflicts: 1337000 | #Constraints: 34824
1531.20/1536.14 c #Conflicts: 1338000 | #Constraints: 35824
1531.20/1536.14 c #Conflicts: 1339000 | #Constraints: 36824
1531.20/1536.14 c #Conflicts: 1340000 | #Constraints: 37824
1531.20/1536.14 c #Conflicts: 1341000 | #Constraints: 38824
1531.20/1536.14 c #Conflicts: 1342000 | #Constraints: 39824
1531.20/1536.14 c #Conflicts: 1343000 | #Constraints: 40824
1531.20/1536.14 c #Conflicts: 1344000 | #Constraints: 41824
1531.20/1536.14 c #Conflicts: 1345000 | #Constraints: 42824
1531.20/1536.14 c #Conflicts: 1346000 | #Constraints: 43824
1531.20/1536.14 c #Conflicts: 1347000 | #Constraints: 44824
1531.20/1536.14 c #Conflicts: 1348000 | #Constraints: 45824
1531.20/1536.14 c INPROCESSING
1531.20/1536.14 c GARBAGE COLLECT
1531.20/1536.14 c #Conflicts: 1349000 | #Constraints: 23825
1531.20/1536.14 c #Conflicts: 1350000 | #Constraints: 24825
1639.37/1644.62 c #Conflicts: 1351000 | #Constraints: 25825
1639.37/1644.62 c #Conflicts: 1352000 | #Constraints: 26825
1639.37/1644.62 c #Conflicts: 1353000 | #Constraints: 27825
1639.37/1644.62 c #Conflicts: 1354000 | #Constraints: 28825
1639.37/1644.62 c #Conflicts: 1355000 | #Constraints: 29825
1639.37/1644.62 c #Conflicts: 1356000 | #Constraints: 30825
1639.37/1644.62 c #Conflicts: 1357000 | #Constraints: 31825
1639.37/1644.62 c #Conflicts: 1358000 | #Constraints: 32825
1639.37/1644.62 c #Conflicts: 1359000 | #Constraints: 33825
1639.37/1644.62 c #Conflicts: 1360000 | #Constraints: 34825
1639.37/1644.62 c #Conflicts: 1361000 | #Constraints: 35825
1639.37/1644.62 c #Conflicts: 1362000 | #Constraints: 36825
1639.37/1644.62 c #Conflicts: 1363000 | #Constraints: 37825
1639.37/1644.62 c #Conflicts: 1364000 | #Constraints: 38825
1639.37/1644.62 c #Conflicts: 1365000 | #Constraints: 39825
1639.37/1644.62 c #Conflicts: 1366000 | #Constraints: 40825
1639.37/1644.62 c #Conflicts: 1367000 | #Constraints: 41825
1639.37/1644.62 c #Conflicts: 1368000 | #Constraints: 42825
1639.37/1644.62 c #Conflicts: 1369000 | #Constraints: 43825
1639.37/1644.62 c #Conflicts: 1370000 | #Constraints: 44825
1639.37/1644.62 c #Conflicts: 1371000 | #Constraints: 45825
1639.37/1644.62 c INPROCESSING
1639.37/1644.62 c GARBAGE COLLECT
1639.37/1644.62 c #Conflicts: 1372000 | #Constraints: 23622
1639.37/1644.62 c #Conflicts: 1373000 | #Constraints: 24622
1639.37/1644.62 c #Conflicts: 1374000 | #Constraints: 25622
1639.37/1644.62 c #Conflicts: 1375000 | #Constraints: 26622
1639.37/1644.62 c #Conflicts: 1376000 | #Constraints: 27622
1639.37/1644.62 c #Conflicts: 1377000 | #Constraints: 28622
1639.37/1644.62 c #Conflicts: 1378000 | #Constraints: 29622
1639.37/1644.62 c #Conflicts: 1379000 | #Constraints: 30622
1639.37/1644.62 c #Conflicts: 1380000 | #Constraints: 31622
1639.37/1644.62 c #Conflicts: 1381000 | #Constraints: 32622
1639.37/1644.62 c #Conflicts: 1382000 | #Constraints: 33622
1639.37/1644.62 c #Conflicts: 1383000 | #Constraints: 34622
1639.37/1644.62 c #Conflicts: 1384000 | #Constraints: 35622
1639.37/1644.62 c #Conflicts: 1385000 | #Constraints: 36622
1639.37/1644.62 c #Conflicts: 1386000 | #Constraints: 37622
1639.37/1644.62 c #Conflicts: 1387000 | #Constraints: 38622
1639.37/1644.62 c #Conflicts: 1388000 | #Constraints: 39622
1639.37/1644.62 c #Conflicts: 1389000 | #Constraints: 40622
1639.37/1644.62 c #Conflicts: 1390000 | #Constraints: 41622
1639.37/1644.62 c #Conflicts: 1391000 | #Constraints: 42622
1639.37/1644.62 c #Conflicts: 1392000 | #Constraints: 43622
1639.37/1644.62 c #Conflicts: 1393000 | #Constraints: 44622
1639.37/1644.62 c #Conflicts: 1394000 | #Constraints: 45622
1639.37/1644.62 c #Conflicts: 1395000 | #Constraints: 46622
1639.37/1644.62 c INPROCESSING
1639.37/1644.62 c GARBAGE COLLECT
1639.37/1644.62 c #Conflicts: 1396000 | #Constraints: 24222
1639.37/1644.62 c #Conflicts: 1397000 | #Constraints: 25222
1639.37/1644.62 c #Conflicts: 1398000 | #Constraints: 26222
1639.37/1644.62 c #Conflicts: 1399000 | #Constraints: 27222
1639.37/1644.62 c #Conflicts: 1400000 | #Constraints: 28222
1639.37/1644.62 c #Conflicts: 1401000 | #Constraints: 29222
1639.37/1644.62 c #Conflicts: 1402000 | #Constraints: 30222
1639.37/1644.62 c #Conflicts: 1403000 | #Constraints: 31222
1639.37/1644.62 c #Conflicts: 1404000 | #Constraints: 32222
1639.37/1644.62 c #Conflicts: 1405000 | #Constraints: 33222
1639.37/1644.62 c #Conflicts: 1406000 | #Constraints: 34222
1639.37/1644.62 c #Conflicts: 1407000 | #Constraints: 35222
1639.37/1644.62 c #Conflicts: 1408000 | #Constraints: 36222
1639.37/1644.62 c #Conflicts: 1409000 | #Constraints: 37222
1639.37/1644.62 c #Conflicts: 1410000 | #Constraints: 38222
1639.37/1644.62 c #Conflicts: 1411000 | #Constraints: 39222
1639.37/1644.62 c #Conflicts: 1412000 | #Constraints: 40222
1639.37/1644.62 c #Conflicts: 1413000 | #Constraints: 41222
1639.37/1644.62 c #Conflicts: 1414000 | #Constraints: 42222
1639.37/1644.62 c #Conflicts: 1415000 | #Constraints: 43222
1639.37/1644.62 c #Conflicts: 1416000 | #Constraints: 44222
1639.37/1644.62 c #Conflicts: 1417000 | #Constraints: 45222
1639.37/1644.62 c #Conflicts: 1418000 | #Constraints: 46222
1639.37/1644.62 c #Conflicts: 1419000 | #Constraints: 47222
1639.37/1644.62 c INPROCESSING
1639.37/1644.62 c GARBAGE COLLECT
1639.37/1644.62 c #Conflicts: 1420000 | #Constraints: 24625
1639.37/1644.62 c #Conflicts: 1421000 | #Constraints: 25625
1639.37/1644.62 c #Conflicts: 1422000 | #Constraints: 26625
1639.37/1644.62 c #Conflicts: 1423000 | #Constraints: 27625
1639.37/1644.62 c #Conflicts: 1424000 | #Constraints: 28625
1639.37/1644.62 c #Conflicts: 1425000 | #Constraints: 29625
1639.37/1644.62 c #Conflicts: 1426000 | #Constraints: 30625
1639.37/1644.62 c #Conflicts: 1427000 | #Constraints: 31625
1751.54/1757.11 c #Conflicts: 1428000 | #Constraints: 32625
1751.54/1757.11 c #Conflicts: 1429000 | #Constraints: 33625
1751.54/1757.11 c #Conflicts: 1430000 | #Constraints: 34625
1751.54/1757.11 c #Conflicts: 1431000 | #Constraints: 35625
1751.54/1757.11 c #Conflicts: 1432000 | #Constraints: 36625
1751.54/1757.11 c #Conflicts: 1433000 | #Constraints: 37625
1751.54/1757.11 c #Conflicts: 1434000 | #Constraints: 38625
1751.54/1757.11 c #Conflicts: 1435000 | #Constraints: 39625
1751.54/1757.11 c #Conflicts: 1436000 | #Constraints: 40625
1751.54/1757.11 c #Conflicts: 1437000 | #Constraints: 41625
1751.54/1757.11 c #Conflicts: 1438000 | #Constraints: 42625
1751.54/1757.11 c #Conflicts: 1439000 | #Constraints: 43625
1751.54/1757.11 c #Conflicts: 1440000 | #Constraints: 44625
1751.54/1757.11 c #Conflicts: 1441000 | #Constraints: 45625
1751.54/1757.11 c #Conflicts: 1442000 | #Constraints: 46625
1751.54/1757.11 c #Conflicts: 1443000 | #Constraints: 47625
1751.54/1757.11 c INPROCESSING
1751.54/1757.11 c GARBAGE COLLECT
1751.54/1757.11 c #Conflicts: 1444000 | #Constraints: 24822
1751.54/1757.11 c #Conflicts: 1445000 | #Constraints: 25822
1751.54/1757.11 c #Conflicts: 1446000 | #Constraints: 26822
1751.54/1757.11 c #Conflicts: 1447000 | #Constraints: 27822
1751.54/1757.11 c #Conflicts: 1448000 | #Constraints: 28822
1751.54/1757.11 c #Conflicts: 1449000 | #Constraints: 29822
1751.54/1757.11 c #Conflicts: 1450000 | #Constraints: 30822
1751.54/1757.11 c #Conflicts: 1451000 | #Constraints: 31822
1751.54/1757.11 c #Conflicts: 1452000 | #Constraints: 32822
1751.54/1757.11 c #Conflicts: 1453000 | #Constraints: 33822
1751.54/1757.11 c #Conflicts: 1454000 | #Constraints: 34822
1751.54/1757.11 c #Conflicts: 1455000 | #Constraints: 35822
1751.54/1757.11 c #Conflicts: 1456000 | #Constraints: 36822
1751.54/1757.11 c #Conflicts: 1457000 | #Constraints: 37822
1751.54/1757.11 c #Conflicts: 1458000 | #Constraints: 38822
1751.54/1757.11 c #Conflicts: 1459000 | #Constraints: 39822
1751.54/1757.11 c #Conflicts: 1460000 | #Constraints: 40822
1751.54/1757.11 c #Conflicts: 1461000 | #Constraints: 41822
1751.54/1757.11 c #Conflicts: 1462000 | #Constraints: 42822
1751.54/1757.11 c #Conflicts: 1463000 | #Constraints: 43822
1751.54/1757.11 c #Conflicts: 1464000 | #Constraints: 44822
1751.54/1757.11 c #Conflicts: 1465000 | #Constraints: 45822
1751.54/1757.11 c #Conflicts: 1466000 | #Constraints: 46822
1751.54/1757.11 c #Conflicts: 1467000 | #Constraints: 47822
1751.54/1757.11 c INPROCESSING
1751.54/1757.11 c GARBAGE COLLECT
1751.54/1757.11 c #Conflicts: 1468000 | #Constraints: 24822
1751.54/1757.11 c #Conflicts: 1469000 | #Constraints: 25822
1751.54/1757.11 c #Conflicts: 1470000 | #Constraints: 26822
1751.54/1757.11 c #Conflicts: 1471000 | #Constraints: 27822
1751.54/1757.11 c #Conflicts: 1472000 | #Constraints: 28822
1751.54/1757.11 c #Conflicts: 1473000 | #Constraints: 29822
1751.54/1757.11 c #Conflicts: 1474000 | #Constraints: 30822
1751.54/1757.11 c #Conflicts: 1475000 | #Constraints: 31822
1751.54/1757.11 c #Conflicts: 1476000 | #Constraints: 32822
1751.54/1757.11 c #Conflicts: 1477000 | #Constraints: 33822
1751.54/1757.11 c #Conflicts: 1478000 | #Constraints: 34822
1751.54/1757.11 c #Conflicts: 1479000 | #Constraints: 35822
1751.54/1757.11 c #Conflicts: 1480000 | #Constraints: 36822
1751.54/1757.11 c #Conflicts: 1481000 | #Constraints: 37822
1751.54/1757.11 c #Conflicts: 1482000 | #Constraints: 38822
1751.54/1757.11 c #Conflicts: 1483000 | #Constraints: 39822
1751.54/1757.11 c #Conflicts: 1484000 | #Constraints: 40822
1751.54/1757.11 c #Conflicts: 1485000 | #Constraints: 41822
1751.54/1757.11 c #Conflicts: 1486000 | #Constraints: 42822
1751.54/1757.11 c #Conflicts: 1487000 | #Constraints: 43822
1751.54/1757.11 c #Conflicts: 1488000 | #Constraints: 44822
1751.54/1757.11 c #Conflicts: 1489000 | #Constraints: 45822
1751.54/1757.11 c #Conflicts: 1490000 | #Constraints: 46822
1751.54/1757.11 c #Conflicts: 1491000 | #Constraints: 47822
1751.54/1757.11 c INPROCESSING
1751.54/1757.11 c GARBAGE COLLECT
1751.54/1757.11 c #Conflicts: 1492000 | #Constraints: 24622
1751.54/1757.11 c #Conflicts: 1493000 | #Constraints: 25622
1751.54/1757.11 c #Conflicts: 1494000 | #Constraints: 26622
1751.54/1757.11 c #Conflicts: 1495000 | #Constraints: 27622
1751.54/1757.11 c #Conflicts: 1496000 | #Constraints: 28622
1751.54/1757.11 c #Conflicts: 1497000 | #Constraints: 29622
1751.54/1757.11 c #Conflicts: 1498000 | #Constraints: 30622
1751.54/1757.11 c #Conflicts: 1499000 | #Constraints: 31622
1751.54/1757.11 c #Conflicts: 1500000 | #Constraints: 32622
1751.54/1757.11 c #Conflicts: 1501000 | #Constraints: 33622
1751.54/1757.11 c #Conflicts: 1502000 | #Constraints: 34622
1751.54/1757.11 c #Conflicts: 1503000 | #Constraints: 35622
1751.54/1757.11 c #Conflicts: 1504000 | #Constraints: 36622
1873.64/1879.69 c #Conflicts: 1505000 | #Constraints: 37622
1873.64/1879.69 c #Conflicts: 1506000 | #Constraints: 38622
1873.64/1879.69 c #Conflicts: 1507000 | #Constraints: 39622
1873.64/1879.69 c #Conflicts: 1508000 | #Constraints: 40622
1873.64/1879.69 c #Conflicts: 1509000 | #Constraints: 41622
1873.64/1879.69 c #Conflicts: 1510000 | #Constraints: 42622
1873.64/1879.69 c #Conflicts: 1511000 | #Constraints: 43622
1873.64/1879.69 c #Conflicts: 1512000 | #Constraints: 44622
1873.64/1879.69 c #Conflicts: 1513000 | #Constraints: 45622
1873.64/1879.69 c #Conflicts: 1514000 | #Constraints: 46622
1873.64/1879.69 c #Conflicts: 1515000 | #Constraints: 47622
1873.64/1879.69 c #Conflicts: 1516000 | #Constraints: 48622
1873.64/1879.69 c INPROCESSING
1873.64/1879.69 c GARBAGE COLLECT
1873.64/1879.69 c #Conflicts: 1517000 | #Constraints: 25220
1873.64/1879.69 c #Conflicts: 1518000 | #Constraints: 26220
1873.64/1879.69 c #Conflicts: 1519000 | #Constraints: 27220
1873.64/1879.69 c #Conflicts: 1520000 | #Constraints: 28220
1873.64/1879.69 c #Conflicts: 1521000 | #Constraints: 29220
1873.64/1879.69 c #Conflicts: 1522000 | #Constraints: 30220
1873.64/1879.69 c #Conflicts: 1523000 | #Constraints: 31220
1873.64/1879.69 c #Conflicts: 1524000 | #Constraints: 32220
1873.64/1879.69 c #Conflicts: 1525000 | #Constraints: 33220
1873.64/1879.69 c #Conflicts: 1526000 | #Constraints: 34220
1873.64/1879.69 c #Conflicts: 1527000 | #Constraints: 35220
1873.64/1879.69 c #Conflicts: 1528000 | #Constraints: 36220
1873.64/1879.69 c #Conflicts: 1529000 | #Constraints: 37220
1873.64/1879.69 c #Conflicts: 1530000 | #Constraints: 38220
1873.64/1879.69 c #Conflicts: 1531000 | #Constraints: 39220
1873.64/1879.69 c #Conflicts: 1532000 | #Constraints: 40220
1873.64/1879.69 c #Conflicts: 1533000 | #Constraints: 41220
1873.64/1879.69 c #Conflicts: 1534000 | #Constraints: 42220
1873.64/1879.69 c #Conflicts: 1535000 | #Constraints: 43220
1873.64/1879.69 c #Conflicts: 1536000 | #Constraints: 44220
1873.64/1879.69 c #Conflicts: 1537000 | #Constraints: 45220
1873.64/1879.69 c #Conflicts: 1538000 | #Constraints: 46220
1873.64/1879.69 c #Conflicts: 1539000 | #Constraints: 47220
1873.64/1879.69 c #Conflicts: 1540000 | #Constraints: 48220
1873.64/1879.69 c #Conflicts: 1541000 | #Constraints: 49220
1873.64/1879.69 c INPROCESSING
1873.64/1879.69 c GARBAGE COLLECT
1873.64/1879.69 c #Conflicts: 1542000 | #Constraints: 25619
1873.64/1879.69 c #Conflicts: 1543000 | #Constraints: 26619
1873.64/1879.69 c #Conflicts: 1544000 | #Constraints: 27619
1873.64/1879.69 c #Conflicts: 1545000 | #Constraints: 28619
1873.64/1879.69 c #Conflicts: 1546000 | #Constraints: 29619
1873.64/1879.69 c #Conflicts: 1547000 | #Constraints: 30619
1873.64/1879.69 c #Conflicts: 1548000 | #Constraints: 31619
1873.64/1879.69 c #Conflicts: 1549000 | #Constraints: 32619
1873.64/1879.69 c #Conflicts: 1550000 | #Constraints: 33619
1873.64/1879.69 c #Conflicts: 1551000 | #Constraints: 34619
1873.64/1879.69 c #Conflicts: 1552000 | #Constraints: 35619
1873.64/1879.69 c #Conflicts: 1553000 | #Constraints: 36619
1873.64/1879.69 c #Conflicts: 1554000 | #Constraints: 37619
1873.64/1879.69 c #Conflicts: 1555000 | #Constraints: 38619
1873.64/1879.69 c #Conflicts: 1556000 | #Constraints: 39619
1873.64/1879.69 c #Conflicts: 1557000 | #Constraints: 40619
1873.64/1879.69 c #Conflicts: 1558000 | #Constraints: 41619
1873.64/1879.69 c #Conflicts: 1559000 | #Constraints: 42619
1873.64/1879.69 c #Conflicts: 1560000 | #Constraints: 43619
1873.64/1879.69 c #Conflicts: 1561000 | #Constraints: 44619
1873.64/1879.69 c #Conflicts: 1562000 | #Constraints: 45619
1873.64/1879.69 c #Conflicts: 1563000 | #Constraints: 46619
1873.64/1879.69 c #Conflicts: 1564000 | #Constraints: 47619
1873.64/1879.69 c #Conflicts: 1565000 | #Constraints: 48619
1873.64/1879.69 c #Conflicts: 1566000 | #Constraints: 49619
1873.64/1879.69 c INPROCESSING
1873.64/1879.69 c GARBAGE COLLECT
1873.64/1879.69 c #Conflicts: 1567000 | #Constraints: 25821
1873.64/1879.69 c #Conflicts: 1568000 | #Constraints: 26821
1873.64/1879.69 c #Conflicts: 1569000 | #Constraints: 27821
1873.64/1879.69 c #Conflicts: 1570000 | #Constraints: 28821
1873.64/1879.69 c #Conflicts: 1571000 | #Constraints: 29821
1873.64/1879.69 c #Conflicts: 1572000 | #Constraints: 30821
1873.64/1879.69 c #Conflicts: 1573000 | #Constraints: 31821
1873.64/1879.69 c #Conflicts: 1574000 | #Constraints: 32821
1873.64/1879.69 c #Conflicts: 1575000 | #Constraints: 33821
1873.64/1879.69 c #Conflicts: 1576000 | #Constraints: 34821
1873.64/1879.69 c #Conflicts: 1577000 | #Constraints: 35821
1873.64/1879.69 c #Conflicts: 1578000 | #Constraints: 36821
1873.64/1879.69 c #Conflicts: 1579000 | #Constraints: 37821
1873.64/1879.69 c #Conflicts: 1580000 | #Constraints: 38821
1873.64/1879.69 c #Conflicts: 1581000 | #Constraints: 39821
2004.11/2010.53 c #Conflicts: 1582000 | #Constraints: 40821
2004.11/2010.53 c #Conflicts: 1583000 | #Constraints: 41821
2004.11/2010.53 c #Conflicts: 1584000 | #Constraints: 42821
2004.11/2010.53 c #Conflicts: 1585000 | #Constraints: 43821
2004.11/2010.53 c #Conflicts: 1586000 | #Constraints: 44821
2004.11/2010.53 c #Conflicts: 1587000 | #Constraints: 45821
2004.11/2010.53 c #Conflicts: 1588000 | #Constraints: 46821
2004.11/2010.53 c #Conflicts: 1589000 | #Constraints: 47821
2004.11/2010.53 c #Conflicts: 1590000 | #Constraints: 48821
2004.11/2010.53 c #Conflicts: 1591000 | #Constraints: 49821
2004.11/2010.53 c INPROCESSING
2004.11/2010.53 c GARBAGE COLLECT
2004.11/2010.53 c #Conflicts: 1592000 | #Constraints: 25823
2004.11/2010.53 c #Conflicts: 1593000 | #Constraints: 26823
2004.11/2010.53 c #Conflicts: 1594000 | #Constraints: 27823
2004.11/2010.53 c #Conflicts: 1595000 | #Constraints: 28823
2004.11/2010.53 c #Conflicts: 1596000 | #Constraints: 29823
2004.11/2010.53 c #Conflicts: 1597000 | #Constraints: 30823
2004.11/2010.53 c #Conflicts: 1598000 | #Constraints: 31823
2004.11/2010.53 c #Conflicts: 1599000 | #Constraints: 32823
2004.11/2010.53 c #Conflicts: 1600000 | #Constraints: 33823
2004.11/2010.53 c #Conflicts: 1601000 | #Constraints: 34823
2004.11/2010.53 c #Conflicts: 1602000 | #Constraints: 35823
2004.11/2010.53 c #Conflicts: 1603000 | #Constraints: 36823
2004.11/2010.53 c #Conflicts: 1604000 | #Constraints: 37823
2004.11/2010.53 c #Conflicts: 1605000 | #Constraints: 38823
2004.11/2010.53 c #Conflicts: 1606000 | #Constraints: 39823
2004.11/2010.53 c #Conflicts: 1607000 | #Constraints: 40823
2004.11/2010.53 c #Conflicts: 1608000 | #Constraints: 41823
2004.11/2010.53 c #Conflicts: 1609000 | #Constraints: 42823
2004.11/2010.53 c #Conflicts: 1610000 | #Constraints: 43823
2004.11/2010.53 c #Conflicts: 1611000 | #Constraints: 44823
2004.11/2010.53 c #Conflicts: 1612000 | #Constraints: 45823
2004.11/2010.53 c #Conflicts: 1613000 | #Constraints: 46823
2004.11/2010.53 c #Conflicts: 1614000 | #Constraints: 47823
2004.11/2010.53 c #Conflicts: 1615000 | #Constraints: 48823
2004.11/2010.53 c #Conflicts: 1616000 | #Constraints: 49823
2004.11/2010.53 c INPROCESSING
2004.11/2010.53 c GARBAGE COLLECT
2004.11/2010.53 c #Conflicts: 1617000 | #Constraints: 25625
2004.11/2010.53 c #Conflicts: 1618000 | #Constraints: 26625
2004.11/2010.53 c #Conflicts: 1619000 | #Constraints: 27625
2004.11/2010.53 c #Conflicts: 1620000 | #Constraints: 28625
2004.11/2010.53 c #Conflicts: 1621000 | #Constraints: 29625
2004.11/2010.53 c #Conflicts: 1622000 | #Constraints: 30625
2004.11/2010.53 c #Conflicts: 1623000 | #Constraints: 31625
2004.11/2010.53 c #Conflicts: 1624000 | #Constraints: 32625
2004.11/2010.53 c #Conflicts: 1625000 | #Constraints: 33625
2004.11/2010.53 c #Conflicts: 1626000 | #Constraints: 34625
2004.11/2010.53 c #Conflicts: 1627000 | #Constraints: 35625
2004.11/2010.53 c #Conflicts: 1628000 | #Constraints: 36625
2004.11/2010.53 c #Conflicts: 1629000 | #Constraints: 37625
2004.11/2010.53 c #Conflicts: 1630000 | #Constraints: 38625
2004.11/2010.53 c #Conflicts: 1631000 | #Constraints: 39625
2004.11/2010.53 c #Conflicts: 1632000 | #Constraints: 40625
2004.11/2010.53 c #Conflicts: 1633000 | #Constraints: 41625
2004.11/2010.53 c #Conflicts: 1634000 | #Constraints: 42625
2004.11/2010.53 c #Conflicts: 1635000 | #Constraints: 43625
2004.11/2010.53 c #Conflicts: 1636000 | #Constraints: 44625
2004.11/2010.53 c #Conflicts: 1637000 | #Constraints: 45625
2004.11/2010.53 c #Conflicts: 1638000 | #Constraints: 46625
2004.11/2010.53 c #Conflicts: 1639000 | #Constraints: 47625
2004.11/2010.53 c #Conflicts: 1640000 | #Constraints: 48625
2004.11/2010.53 c #Conflicts: 1641000 | #Constraints: 49625
2004.11/2010.53 c #Conflicts: 1642000 | #Constraints: 50625
2004.11/2010.53 c INPROCESSING
2004.11/2010.53 c GARBAGE COLLECT
2004.11/2010.53 c #Conflicts: 1643000 | #Constraints: 26224
2004.11/2010.53 c #Conflicts: 1644000 | #Constraints: 27224
2004.11/2010.53 c #Conflicts: 1645000 | #Constraints: 28224
2004.11/2010.53 c #Conflicts: 1646000 | #Constraints: 29224
2004.11/2010.53 c #Conflicts: 1647000 | #Constraints: 30224
2004.11/2010.53 c #Conflicts: 1648000 | #Constraints: 31224
2004.11/2010.53 c #Conflicts: 1649000 | #Constraints: 32224
2004.11/2010.53 c #Conflicts: 1650000 | #Constraints: 33224
2004.11/2010.53 c #Conflicts: 1651000 | #Constraints: 34224
2004.11/2010.53 c #Conflicts: 1652000 | #Constraints: 35224
2004.11/2010.53 c #Conflicts: 1653000 | #Constraints: 36224
2004.11/2010.53 c #Conflicts: 1654000 | #Constraints: 37224
2004.11/2010.53 c #Conflicts: 1655000 | #Constraints: 38224
2004.11/2010.53 c #Conflicts: 1656000 | #Constraints: 39224
2004.11/2010.53 c #Conflicts: 1657000 | #Constraints: 40224
2004.11/2010.53 c #Conflicts: 1658000 | #Constraints: 41224
2133.33/2140.17 c #Conflicts: 1659000 | #Constraints: 42224
2133.33/2140.17 c #Conflicts: 1660000 | #Constraints: 43224
2133.33/2140.17 c #Conflicts: 1661000 | #Constraints: 44224
2133.33/2140.17 c #Conflicts: 1662000 | #Constraints: 45224
2133.33/2140.17 c #Conflicts: 1663000 | #Constraints: 46224
2133.33/2140.17 c #Conflicts: 1664000 | #Constraints: 47224
2133.33/2140.17 c #Conflicts: 1665000 | #Constraints: 48224
2133.33/2140.17 c #Conflicts: 1666000 | #Constraints: 49224
2133.33/2140.17 c #Conflicts: 1667000 | #Constraints: 50224
2133.33/2140.17 c #Conflicts: 1668000 | #Constraints: 51224
2133.33/2140.17 c INPROCESSING
2133.33/2140.17 c GARBAGE COLLECT
2133.33/2140.17 c #Conflicts: 1669000 | #Constraints: 26621
2133.33/2140.17 c #Conflicts: 1670000 | #Constraints: 27621
2133.33/2140.17 c #Conflicts: 1671000 | #Constraints: 28621
2133.33/2140.17 c #Conflicts: 1672000 | #Constraints: 29621
2133.33/2140.17 c #Conflicts: 1673000 | #Constraints: 30621
2133.33/2140.17 c #Conflicts: 1674000 | #Constraints: 31621
2133.33/2140.17 c #Conflicts: 1675000 | #Constraints: 32621
2133.33/2140.17 c #Conflicts: 1676000 | #Constraints: 33621
2133.33/2140.17 c #Conflicts: 1677000 | #Constraints: 34621
2133.33/2140.17 c #Conflicts: 1678000 | #Constraints: 35621
2133.33/2140.17 c #Conflicts: 1679000 | #Constraints: 36621
2133.33/2140.17 c #Conflicts: 1680000 | #Constraints: 37621
2133.33/2140.17 c #Conflicts: 1681000 | #Constraints: 38621
2133.33/2140.17 c #Conflicts: 1682000 | #Constraints: 39621
2133.33/2140.17 c #Conflicts: 1683000 | #Constraints: 40621
2133.33/2140.17 c #Conflicts: 1684000 | #Constraints: 41621
2133.33/2140.17 c #Conflicts: 1685000 | #Constraints: 42621
2133.33/2140.17 c #Conflicts: 1686000 | #Constraints: 43621
2133.33/2140.17 c #Conflicts: 1687000 | #Constraints: 44621
2133.33/2140.17 c #Conflicts: 1688000 | #Constraints: 45621
2133.33/2140.17 c #Conflicts: 1689000 | #Constraints: 46621
2133.33/2140.17 c #Conflicts: 1690000 | #Constraints: 47621
2133.33/2140.17 c #Conflicts: 1691000 | #Constraints: 48621
2133.33/2140.17 c #Conflicts: 1692000 | #Constraints: 49621
2133.33/2140.17 c #Conflicts: 1693000 | #Constraints: 50621
2133.33/2140.17 c #Conflicts: 1694000 | #Constraints: 51621
2133.33/2140.17 c INPROCESSING
2133.33/2140.17 c GARBAGE COLLECT
2133.33/2140.17 c #Conflicts: 1695000 | #Constraints: 26821
2133.33/2140.17 c #Conflicts: 1696000 | #Constraints: 27821
2133.33/2140.17 c #Conflicts: 1697000 | #Constraints: 28821
2133.33/2140.17 c #Conflicts: 1698000 | #Constraints: 29821
2133.33/2140.17 c #Conflicts: 1699000 | #Constraints: 30821
2133.33/2140.17 c #Conflicts: 1700000 | #Constraints: 31821
2133.33/2140.17 c #Conflicts: 1701000 | #Constraints: 32821
2133.33/2140.17 c #Conflicts: 1702000 | #Constraints: 33821
2133.33/2140.17 c #Conflicts: 1703000 | #Constraints: 34821
2133.33/2140.17 c #Conflicts: 1704000 | #Constraints: 35821
2133.33/2140.17 c #Conflicts: 1705000 | #Constraints: 36821
2133.33/2140.17 c #Conflicts: 1706000 | #Constraints: 37821
2133.33/2140.17 c #Conflicts: 1707000 | #Constraints: 38821
2133.33/2140.17 c #Conflicts: 1708000 | #Constraints: 39821
2133.33/2140.17 c #Conflicts: 1709000 | #Constraints: 40821
2133.33/2140.17 c #Conflicts: 1710000 | #Constraints: 41821
2133.33/2140.17 c #Conflicts: 1711000 | #Constraints: 42821
2133.33/2140.17 c #Conflicts: 1712000 | #Constraints: 43821
2133.33/2140.17 c #Conflicts: 1713000 | #Constraints: 44821
2133.33/2140.17 c #Conflicts: 1714000 | #Constraints: 45821
2133.33/2140.17 c #Conflicts: 1715000 | #Constraints: 46821
2133.33/2140.17 c #Conflicts: 1716000 | #Constraints: 47821
2133.33/2140.17 c #Conflicts: 1717000 | #Constraints: 48821
2133.33/2140.17 c #Conflicts: 1718000 | #Constraints: 49821
2133.33/2140.17 c #Conflicts: 1719000 | #Constraints: 50821
2133.33/2140.17 c #Conflicts: 1720000 | #Constraints: 51821
2133.33/2140.17 c INPROCESSING
2133.33/2140.17 c GARBAGE COLLECT
2133.33/2140.17 c #Conflicts: 1721000 | #Constraints: 26826
2133.33/2140.17 c #Conflicts: 1722000 | #Constraints: 27826
2133.33/2140.17 c #Conflicts: 1723000 | #Constraints: 28826
2133.33/2140.17 c #Conflicts: 1724000 | #Constraints: 29826
2133.33/2140.17 c #Conflicts: 1725000 | #Constraints: 30826
2133.33/2140.17 c #Conflicts: 1726000 | #Constraints: 31826
2133.33/2140.17 c #Conflicts: 1727000 | #Constraints: 32826
2133.33/2140.17 c #Conflicts: 1728000 | #Constraints: 33826
2133.33/2140.17 c #Conflicts: 1729000 | #Constraints: 34826
2133.33/2140.17 c #Conflicts: 1730000 | #Constraints: 35826
2133.33/2140.17 c #Conflicts: 1731000 | #Constraints: 36826
2133.33/2140.17 c #Conflicts: 1732000 | #Constraints: 37826
2133.33/2140.17 c #Conflicts: 1733000 | #Constraints: 38826
2133.33/2140.17 c #Conflicts: 1734000 | #Constraints: 39826
2133.33/2140.17 c #Conflicts: 1735000 | #Constraints: 40826
2260.30/2267.45 c #Conflicts: 1736000 | #Constraints: 41826
2260.30/2267.45 c #Conflicts: 1737000 | #Constraints: 42826
2260.30/2267.45 c #Conflicts: 1738000 | #Constraints: 43826
2260.30/2267.45 c #Conflicts: 1739000 | #Constraints: 44826
2260.30/2267.45 c #Conflicts: 1740000 | #Constraints: 45826
2260.30/2267.45 c #Conflicts: 1741000 | #Constraints: 46826
2260.30/2267.45 c #Conflicts: 1742000 | #Constraints: 47826
2260.30/2267.45 c #Conflicts: 1743000 | #Constraints: 48826
2260.30/2267.45 c #Conflicts: 1744000 | #Constraints: 49826
2260.30/2267.45 c #Conflicts: 1745000 | #Constraints: 50826
2260.30/2267.45 c #Conflicts: 1746000 | #Constraints: 51826
2260.30/2267.45 c INPROCESSING
2260.30/2267.45 c GARBAGE COLLECT
2260.30/2267.45 c #Conflicts: 1747000 | #Constraints: 26625
2260.30/2267.45 c #Conflicts: 1748000 | #Constraints: 27625
2260.30/2267.45 c #Conflicts: 1749000 | #Constraints: 28625
2260.30/2267.45 c #Conflicts: 1750000 | #Constraints: 29625
2260.30/2267.45 c #Conflicts: 1751000 | #Constraints: 30625
2260.30/2267.45 c #Conflicts: 1752000 | #Constraints: 31625
2260.30/2267.45 c #Conflicts: 1753000 | #Constraints: 32625
2260.30/2267.45 c #Conflicts: 1754000 | #Constraints: 33625
2260.30/2267.45 c #Conflicts: 1755000 | #Constraints: 34625
2260.30/2267.45 c #Conflicts: 1756000 | #Constraints: 35625
2260.30/2267.45 c #Conflicts: 1757000 | #Constraints: 36625
2260.30/2267.45 c #Conflicts: 1758000 | #Constraints: 37625
2260.30/2267.45 c #Conflicts: 1759000 | #Constraints: 38625
2260.30/2267.45 c #Conflicts: 1760000 | #Constraints: 39625
2260.30/2267.45 c #Conflicts: 1761000 | #Constraints: 40625
2260.30/2267.45 c #Conflicts: 1762000 | #Constraints: 41625
2260.30/2267.45 c #Conflicts: 1763000 | #Constraints: 42625
2260.30/2267.45 c #Conflicts: 1764000 | #Constraints: 43625
2260.30/2267.45 c #Conflicts: 1765000 | #Constraints: 44625
2260.30/2267.45 c #Conflicts: 1766000 | #Constraints: 45625
2260.30/2267.45 c #Conflicts: 1767000 | #Constraints: 46625
2260.30/2267.45 c #Conflicts: 1768000 | #Constraints: 47625
2260.30/2267.45 c #Conflicts: 1769000 | #Constraints: 48625
2260.30/2267.45 c #Conflicts: 1770000 | #Constraints: 49625
2260.30/2267.45 c #Conflicts: 1771000 | #Constraints: 50625
2260.30/2267.45 c #Conflicts: 1772000 | #Constraints: 51625
2260.30/2267.45 c #Conflicts: 1773000 | #Constraints: 52625
2260.30/2267.45 c INPROCESSING
2260.30/2267.45 c GARBAGE COLLECT
2260.30/2267.45 c #Conflicts: 1774000 | #Constraints: 27225
2260.30/2267.45 c #Conflicts: 1775000 | #Constraints: 28225
2260.30/2267.45 c #Conflicts: 1776000 | #Constraints: 29225
2260.30/2267.45 c #Conflicts: 1777000 | #Constraints: 30225
2260.30/2267.45 c #Conflicts: 1778000 | #Constraints: 31225
2260.30/2267.45 c #Conflicts: 1779000 | #Constraints: 32225
2260.30/2267.45 c #Conflicts: 1780000 | #Constraints: 33225
2260.30/2267.45 c #Conflicts: 1781000 | #Constraints: 34225
2260.30/2267.45 c #Conflicts: 1782000 | #Constraints: 35225
2260.30/2267.45 c #Conflicts: 1783000 | #Constraints: 36225
2260.30/2267.45 c #Conflicts: 1784000 | #Constraints: 37225
2260.30/2267.45 c #Conflicts: 1785000 | #Constraints: 38225
2260.30/2267.45 c #Conflicts: 1786000 | #Constraints: 39225
2260.30/2267.45 c #Conflicts: 1787000 | #Constraints: 40225
2260.30/2267.45 c #Conflicts: 1788000 | #Constraints: 41225
2260.30/2267.45 c #Conflicts: 1789000 | #Constraints: 42225
2260.30/2267.45 c #Conflicts: 1790000 | #Constraints: 43225
2260.30/2267.45 c #Conflicts: 1791000 | #Constraints: 44225
2260.30/2267.45 c #Conflicts: 1792000 | #Constraints: 45225
2260.30/2267.45 c #Conflicts: 1793000 | #Constraints: 46225
2260.30/2267.45 c #Conflicts: 1794000 | #Constraints: 47225
2260.30/2267.45 c #Conflicts: 1795000 | #Constraints: 48225
2260.30/2267.45 c #Conflicts: 1796000 | #Constraints: 49225
2260.30/2267.45 c #Conflicts: 1797000 | #Constraints: 50225
2260.30/2267.45 c #Conflicts: 1798000 | #Constraints: 51225
2260.30/2267.45 c #Conflicts: 1799000 | #Constraints: 52225
2260.30/2267.45 c #Conflicts: 1800000 | #Constraints: 53225
2260.30/2267.45 c INPROCESSING
2260.30/2267.45 c GARBAGE COLLECT
2260.30/2267.45 c #Conflicts: 1801000 | #Constraints: 27622
2260.30/2267.45 c #Conflicts: 1802000 | #Constraints: 28622
2260.30/2267.45 c #Conflicts: 1803000 | #Constraints: 29622
2260.30/2267.45 c #Conflicts: 1804000 | #Constraints: 30622
2260.30/2267.45 c #Conflicts: 1805000 | #Constraints: 31622
2260.30/2267.45 c #Conflicts: 1806000 | #Constraints: 32622
2260.30/2267.45 c #Conflicts: 1807000 | #Constraints: 33622
2260.30/2267.45 c #Conflicts: 1808000 | #Constraints: 34622
2260.30/2267.45 c #Conflicts: 1809000 | #Constraints: 35622
2260.30/2267.45 c #Conflicts: 1810000 | #Constraints: 36622
2260.30/2267.45 c #Conflicts: 1811000 | #Constraints: 37622
2260.30/2267.45 c #Conflicts: 1812000 | #Constraints: 38622
2392.87/2400.39 c #Conflicts: 1813000 | #Constraints: 39622
2392.87/2400.39 c #Conflicts: 1814000 | #Constraints: 40622
2392.87/2400.39 c #Conflicts: 1815000 | #Constraints: 41622
2392.87/2400.39 c #Conflicts: 1816000 | #Constraints: 42622
2392.87/2400.39 c #Conflicts: 1817000 | #Constraints: 43622
2392.87/2400.39 c #Conflicts: 1818000 | #Constraints: 44622
2392.87/2400.39 c #Conflicts: 1819000 | #Constraints: 45622
2392.87/2400.39 c #Conflicts: 1820000 | #Constraints: 46622
2392.87/2400.39 c #Conflicts: 1821000 | #Constraints: 47622
2392.87/2400.39 c #Conflicts: 1822000 | #Constraints: 48622
2392.87/2400.39 c #Conflicts: 1823000 | #Constraints: 49622
2392.87/2400.39 c #Conflicts: 1824000 | #Constraints: 50622
2392.87/2400.39 c #Conflicts: 1825000 | #Constraints: 51622
2392.87/2400.39 c #Conflicts: 1826000 | #Constraints: 52622
2392.87/2400.39 c #Conflicts: 1827000 | #Constraints: 53622
2392.87/2400.39 c INPROCESSING
2392.87/2400.39 c GARBAGE COLLECT
2392.87/2400.39 c #Conflicts: 1828000 | #Constraints: 27825
2392.87/2400.39 c #Conflicts: 1829000 | #Constraints: 28825
2392.87/2400.39 c #Conflicts: 1830000 | #Constraints: 29825
2392.87/2400.39 c #Conflicts: 1831000 | #Constraints: 30825
2392.87/2400.39 c #Conflicts: 1832000 | #Constraints: 31825
2392.87/2400.39 c #Conflicts: 1833000 | #Constraints: 32825
2392.87/2400.39 c #Conflicts: 1834000 | #Constraints: 33825
2392.87/2400.39 c #Conflicts: 1835000 | #Constraints: 34825
2392.87/2400.39 c #Conflicts: 1836000 | #Constraints: 35825
2392.87/2400.39 c #Conflicts: 1837000 | #Constraints: 36825
2392.87/2400.39 c #Conflicts: 1838000 | #Constraints: 37825
2392.87/2400.39 c #Conflicts: 1839000 | #Constraints: 38825
2392.87/2400.39 c #Conflicts: 1840000 | #Constraints: 39825
2392.87/2400.39 c #Conflicts: 1841000 | #Constraints: 40825
2392.87/2400.39 c #Conflicts: 1842000 | #Constraints: 41825
2392.87/2400.39 c #Conflicts: 1843000 | #Constraints: 42825
2392.87/2400.39 c #Conflicts: 1844000 | #Constraints: 43825
2392.87/2400.39 c #Conflicts: 1845000 | #Constraints: 44825
2392.87/2400.39 c #Conflicts: 1846000 | #Constraints: 45825
2392.87/2400.39 c #Conflicts: 1847000 | #Constraints: 46825
2392.87/2400.39 c #Conflicts: 1848000 | #Constraints: 47825
2392.87/2400.39 c #Conflicts: 1849000 | #Constraints: 48825
2392.87/2400.39 c #Conflicts: 1850000 | #Constraints: 49825
2392.87/2400.39 c #Conflicts: 1851000 | #Constraints: 50825
2392.87/2400.39 c #Conflicts: 1852000 | #Constraints: 51825
2392.87/2400.39 c #Conflicts: 1853000 | #Constraints: 52825
2392.87/2400.39 c #Conflicts: 1854000 | #Constraints: 53825
2392.87/2400.39 c INPROCESSING
2392.87/2400.39 c GARBAGE COLLECT
2392.87/2400.39 c #Conflicts: 1855000 | #Constraints: 27826
2392.87/2400.39 c #Conflicts: 1856000 | #Constraints: 28826
2392.87/2400.39 c #Conflicts: 1857000 | #Constraints: 29826
2392.87/2400.39 c #Conflicts: 1858000 | #Constraints: 30826
2392.87/2400.39 c #Conflicts: 1859000 | #Constraints: 31826
2392.87/2400.39 c #Conflicts: 1860000 | #Constraints: 32826
2392.87/2400.39 c #Conflicts: 1861000 | #Constraints: 33826
2392.87/2400.39 c #Conflicts: 1862000 | #Constraints: 34826
2392.87/2400.39 c #Conflicts: 1863000 | #Constraints: 35826
2392.87/2400.39 c #Conflicts: 1864000 | #Constraints: 36826
2392.87/2400.39 c #Conflicts: 1865000 | #Constraints: 37826
2392.87/2400.39 c #Conflicts: 1866000 | #Constraints: 38826
2392.87/2400.39 c #Conflicts: 1867000 | #Constraints: 39826
2392.87/2400.39 c #Conflicts: 1868000 | #Constraints: 40826
2392.87/2400.39 c #Conflicts: 1869000 | #Constraints: 41826
2392.87/2400.39 c #Conflicts: 1870000 | #Constraints: 42826
2392.87/2400.39 c #Conflicts: 1871000 | #Constraints: 43826
2392.87/2400.39 c #Conflicts: 1872000 | #Constraints: 44826
2392.87/2400.39 c #Conflicts: 1873000 | #Constraints: 45826
2392.87/2400.39 c #Conflicts: 1874000 | #Constraints: 46826
2392.87/2400.39 c #Conflicts: 1875000 | #Constraints: 47826
2392.87/2400.39 c #Conflicts: 1876000 | #Constraints: 48826
2392.87/2400.39 c #Conflicts: 1877000 | #Constraints: 49826
2392.87/2400.39 c #Conflicts: 1878000 | #Constraints: 50826
2392.87/2400.39 c #Conflicts: 1879000 | #Constraints: 51826
2392.87/2400.39 c #Conflicts: 1880000 | #Constraints: 52826
2392.87/2400.39 c #Conflicts: 1881000 | #Constraints: 53826
2392.87/2400.39 c INPROCESSING
2392.87/2400.39 c GARBAGE COLLECT
2392.87/2400.39 c #Conflicts: 1882000 | #Constraints: 27624
2392.87/2400.39 c #Conflicts: 1883000 | #Constraints: 28624
2392.87/2400.39 c #Conflicts: 1884000 | #Constraints: 29624
2392.87/2400.39 c #Conflicts: 1885000 | #Constraints: 30624
2392.87/2400.39 c #Conflicts: 1886000 | #Constraints: 31624
2392.87/2400.39 c #Conflicts: 1887000 | #Constraints: 32624
2392.87/2400.39 c #Conflicts: 1888000 | #Constraints: 33624
2524.94/2532.70 c #Conflicts: 1889000 | #Constraints: 34624
2524.94/2532.70 c #Conflicts: 1890000 | #Constraints: 35624
2524.94/2532.70 c #Conflicts: 1891000 | #Constraints: 36624
2524.94/2532.70 c #Conflicts: 1892000 | #Constraints: 37624
2524.94/2532.70 c #Conflicts: 1893000 | #Constraints: 38624
2524.94/2532.70 c #Conflicts: 1894000 | #Constraints: 39624
2524.94/2532.70 c #Conflicts: 1895000 | #Constraints: 40624
2524.94/2532.70 c #Conflicts: 1896000 | #Constraints: 41624
2524.94/2532.70 c #Conflicts: 1897000 | #Constraints: 42624
2524.94/2532.70 c #Conflicts: 1898000 | #Constraints: 43624
2524.94/2532.70 c #Conflicts: 1899000 | #Constraints: 44624
2524.94/2532.70 c #Conflicts: 1900000 | #Constraints: 45624
2524.94/2532.70 c #Conflicts: 1901000 | #Constraints: 46624
2524.94/2532.70 c #Conflicts: 1902000 | #Constraints: 47624
2524.94/2532.70 c #Conflicts: 1903000 | #Constraints: 48624
2524.94/2532.70 c #Conflicts: 1904000 | #Constraints: 49624
2524.94/2532.70 c #Conflicts: 1905000 | #Constraints: 50624
2524.94/2532.70 c #Conflicts: 1906000 | #Constraints: 51624
2524.94/2532.70 c #Conflicts: 1907000 | #Constraints: 52624
2524.94/2532.70 c #Conflicts: 1908000 | #Constraints: 53624
2524.94/2532.70 c #Conflicts: 1909000 | #Constraints: 54624
2524.94/2532.70 c INPROCESSING
2524.94/2532.70 c GARBAGE COLLECT
2524.94/2532.70 c #Conflicts: 1910000 | #Constraints: 28226
2524.94/2532.70 c #Conflicts: 1911000 | #Constraints: 29226
2524.94/2532.70 c #Conflicts: 1912000 | #Constraints: 30226
2524.94/2532.70 c #Conflicts: 1913000 | #Constraints: 31226
2524.94/2532.70 c #Conflicts: 1914000 | #Constraints: 32226
2524.94/2532.70 c #Conflicts: 1915000 | #Constraints: 33226
2524.94/2532.70 c #Conflicts: 1916000 | #Constraints: 34226
2524.94/2532.70 c #Conflicts: 1917000 | #Constraints: 35226
2524.94/2532.70 c #Conflicts: 1918000 | #Constraints: 36226
2524.94/2532.70 c #Conflicts: 1919000 | #Constraints: 37226
2524.94/2532.70 c #Conflicts: 1920000 | #Constraints: 38226
2524.94/2532.70 c #Conflicts: 1921000 | #Constraints: 39226
2524.94/2532.70 c #Conflicts: 1922000 | #Constraints: 40226
2524.94/2532.70 c #Conflicts: 1923000 | #Constraints: 41226
2524.94/2532.70 c #Conflicts: 1924000 | #Constraints: 42226
2524.94/2532.70 c #Conflicts: 1925000 | #Constraints: 43226
2524.94/2532.70 c #Conflicts: 1926000 | #Constraints: 44226
2524.94/2532.70 c #Conflicts: 1927000 | #Constraints: 45226
2524.94/2532.70 c #Conflicts: 1928000 | #Constraints: 46226
2524.94/2532.70 c #Conflicts: 1929000 | #Constraints: 47226
2524.94/2532.70 c #Conflicts: 1930000 | #Constraints: 48226
2524.94/2532.70 c #Conflicts: 1931000 | #Constraints: 49226
2524.94/2532.70 c #Conflicts: 1932000 | #Constraints: 50226
2524.94/2532.70 c #Conflicts: 1933000 | #Constraints: 51226
2524.94/2532.70 c #Conflicts: 1934000 | #Constraints: 52226
2524.94/2532.70 c #Conflicts: 1935000 | #Constraints: 53226
2524.94/2532.70 c #Conflicts: 1936000 | #Constraints: 54226
2524.94/2532.70 c #Conflicts: 1937000 | #Constraints: 55226
2524.94/2532.70 c INPROCESSING
2524.94/2532.70 c GARBAGE COLLECT
2524.94/2532.70 c #Conflicts: 1938000 | #Constraints: 28625
2524.94/2532.70 c #Conflicts: 1939000 | #Constraints: 29625
2524.94/2532.70 c #Conflicts: 1940000 | #Constraints: 30625
2524.94/2532.70 c #Conflicts: 1941000 | #Constraints: 31625
2524.94/2532.70 c #Conflicts: 1942000 | #Constraints: 32625
2524.94/2532.70 c #Conflicts: 1943000 | #Constraints: 33625
2524.94/2532.70 c #Conflicts: 1944000 | #Constraints: 34625
2524.94/2532.70 c #Conflicts: 1945000 | #Constraints: 35625
2524.94/2532.70 c #Conflicts: 1946000 | #Constraints: 36625
2524.94/2532.70 c #Conflicts: 1947000 | #Constraints: 37625
2524.94/2532.70 c #Conflicts: 1948000 | #Constraints: 38625
2524.94/2532.70 c #Conflicts: 1949000 | #Constraints: 39625
2524.94/2532.70 c #Conflicts: 1950000 | #Constraints: 40625
2524.94/2532.70 c #Conflicts: 1951000 | #Constraints: 41625
2524.94/2532.70 c #Conflicts: 1952000 | #Constraints: 42625
2524.94/2532.70 c #Conflicts: 1953000 | #Constraints: 43625
2524.94/2532.70 c #Conflicts: 1954000 | #Constraints: 44625
2524.94/2532.70 c #Conflicts: 1955000 | #Constraints: 45625
2524.94/2532.70 c #Conflicts: 1956000 | #Constraints: 46625
2524.94/2532.70 c #Conflicts: 1957000 | #Constraints: 47625
2524.94/2532.70 c #Conflicts: 1958000 | #Constraints: 48625
2524.94/2532.70 c #Conflicts: 1959000 | #Constraints: 49625
2524.94/2532.70 c #Conflicts: 1960000 | #Constraints: 50625
2524.94/2532.70 c #Conflicts: 1961000 | #Constraints: 51625
2524.94/2532.70 c #Conflicts: 1962000 | #Constraints: 52625
2524.94/2532.70 c #Conflicts: 1963000 | #Constraints: 53625
2524.94/2532.70 c #Conflicts: 1964000 | #Constraints: 54625
2524.94/2532.70 c #Conflicts: 1965000 | #Constraints: 55625
2524.94/2532.70 c INPROCESSING
2524.94/2532.70 c GARBAGE COLLECT
2662.00/2670.17 c #Conflicts: 1966000 | #Constraints: 28824
2662.00/2670.17 c #Conflicts: 1967000 | #Constraints: 29824
2662.00/2670.17 c #Conflicts: 1968000 | #Constraints: 30824
2662.00/2670.17 c #Conflicts: 1969000 | #Constraints: 31824
2662.00/2670.17 c #Conflicts: 1970000 | #Constraints: 32824
2662.00/2670.17 c #Conflicts: 1971000 | #Constraints: 33824
2662.00/2670.17 c #Conflicts: 1972000 | #Constraints: 34824
2662.00/2670.17 c #Conflicts: 1973000 | #Constraints: 35824
2662.00/2670.17 c #Conflicts: 1974000 | #Constraints: 36824
2662.00/2670.17 c #Conflicts: 1975000 | #Constraints: 37824
2662.00/2670.17 c #Conflicts: 1976000 | #Constraints: 38824
2662.00/2670.17 c #Conflicts: 1977000 | #Constraints: 39824
2662.00/2670.17 c #Conflicts: 1978000 | #Constraints: 40824
2662.00/2670.17 c #Conflicts: 1979000 | #Constraints: 41824
2662.00/2670.17 c #Conflicts: 1980000 | #Constraints: 42824
2662.00/2670.17 c #Conflicts: 1981000 | #Constraints: 43824
2662.00/2670.17 c #Conflicts: 1982000 | #Constraints: 44824
2662.00/2670.17 c #Conflicts: 1983000 | #Constraints: 45824
2662.00/2670.17 c #Conflicts: 1984000 | #Constraints: 46824
2662.00/2670.17 c #Conflicts: 1985000 | #Constraints: 47824
2662.00/2670.17 c #Conflicts: 1986000 | #Constraints: 48824
2662.00/2670.17 c #Conflicts: 1987000 | #Constraints: 49824
2662.00/2670.17 c #Conflicts: 1988000 | #Constraints: 50824
2662.00/2670.17 c #Conflicts: 1989000 | #Constraints: 51824
2662.00/2670.17 c #Conflicts: 1990000 | #Constraints: 52824
2662.00/2670.17 c #Conflicts: 1991000 | #Constraints: 53824
2662.00/2670.17 c #Conflicts: 1992000 | #Constraints: 54824
2662.00/2670.17 c #Conflicts: 1993000 | #Constraints: 55824
2662.00/2670.17 c INPROCESSING
2662.00/2670.17 c GARBAGE COLLECT
2662.00/2670.17 c #Conflicts: 1994000 | #Constraints: 28822
2662.00/2670.17 c #Conflicts: 1995000 | #Constraints: 29822
2662.00/2670.17 c #Conflicts: 1996000 | #Constraints: 30822
2662.00/2670.17 c #Conflicts: 1997000 | #Constraints: 31822
2662.00/2670.17 c #Conflicts: 1998000 | #Constraints: 32822
2662.00/2670.17 c #Conflicts: 1999000 | #Constraints: 33822
2662.00/2670.17 c #Conflicts: 2000000 | #Constraints: 34822
2662.00/2670.17 c #Conflicts: 2001000 | #Constraints: 35822
2662.00/2670.17 c #Conflicts: 2002000 | #Constraints: 36822
2662.00/2670.17 c #Conflicts: 2003000 | #Constraints: 37822
2662.00/2670.17 c #Conflicts: 2004000 | #Constraints: 38822
2662.00/2670.17 c #Conflicts: 2005000 | #Constraints: 39822
2662.00/2670.17 c #Conflicts: 2006000 | #Constraints: 40822
2662.00/2670.17 c #Conflicts: 2007000 | #Constraints: 41822
2662.00/2670.17 c #Conflicts: 2008000 | #Constraints: 42822
2662.00/2670.17 c #Conflicts: 2009000 | #Constraints: 43822
2662.00/2670.17 c #Conflicts: 2010000 | #Constraints: 44822
2662.00/2670.17 c #Conflicts: 2011000 | #Constraints: 45822
2662.00/2670.17 c #Conflicts: 2012000 | #Constraints: 46822
2662.00/2670.17 c #Conflicts: 2013000 | #Constraints: 47822
2662.00/2670.17 c #Conflicts: 2014000 | #Constraints: 48822
2662.00/2670.17 c #Conflicts: 2015000 | #Constraints: 49822
2662.00/2670.17 c #Conflicts: 2016000 | #Constraints: 50822
2662.00/2670.17 c #Conflicts: 2017000 | #Constraints: 51822
2662.00/2670.17 c #Conflicts: 2018000 | #Constraints: 52822
2662.00/2670.17 c #Conflicts: 2019000 | #Constraints: 53822
2662.00/2670.17 c #Conflicts: 2020000 | #Constraints: 54822
2662.00/2670.17 c #Conflicts: 2021000 | #Constraints: 55822
2662.00/2670.17 c INPROCESSING
2662.00/2670.17 c GARBAGE COLLECT
2662.00/2670.17 c #Conflicts: 2022000 | #Constraints: 28623
2662.00/2670.17 c #Conflicts: 2023000 | #Constraints: 29623
2662.00/2670.17 c #Conflicts: 2024000 | #Constraints: 30623
2662.00/2670.17 c #Conflicts: 2025000 | #Constraints: 31623
2662.00/2670.17 c #Conflicts: 2026000 | #Constraints: 32623
2662.00/2670.17 c #Conflicts: 2027000 | #Constraints: 33623
2662.00/2670.17 c #Conflicts: 2028000 | #Constraints: 34623
2662.00/2670.17 c #Conflicts: 2029000 | #Constraints: 35623
2662.00/2670.17 c #Conflicts: 2030000 | #Constraints: 36623
2662.00/2670.17 c #Conflicts: 2031000 | #Constraints: 37623
2662.00/2670.17 c #Conflicts: 2032000 | #Constraints: 38623
2662.00/2670.17 c #Conflicts: 2033000 | #Constraints: 39623
2662.00/2670.17 c #Conflicts: 2034000 | #Constraints: 40623
2662.00/2670.17 c #Conflicts: 2035000 | #Constraints: 41623
2662.00/2670.17 c #Conflicts: 2036000 | #Constraints: 42623
2662.00/2670.17 c #Conflicts: 2037000 | #Constraints: 43623
2662.00/2670.17 c #Conflicts: 2038000 | #Constraints: 44623
2662.00/2670.17 c #Conflicts: 2039000 | #Constraints: 45623
2662.00/2670.17 c #Conflicts: 2040000 | #Constraints: 46623
2662.00/2670.17 c #Conflicts: 2041000 | #Constraints: 47623
2662.00/2670.17 c #Conflicts: 2042000 | #Constraints: 48623
2662.00/2670.17 c #Conflicts: 2043000 | #Constraints: 49623
2804.43/2812.94 c #Conflicts: 2044000 | #Constraints: 50623
2804.43/2812.94 c #Conflicts: 2045000 | #Constraints: 51623
2804.43/2812.94 c #Conflicts: 2046000 | #Constraints: 52623
2804.43/2812.94 c #Conflicts: 2047000 | #Constraints: 53623
2804.43/2812.94 c #Conflicts: 2048000 | #Constraints: 54623
2804.43/2812.94 c #Conflicts: 2049000 | #Constraints: 55623
2804.43/2812.94 c #Conflicts: 2050000 | #Constraints: 56623
2804.43/2812.94 c INPROCESSING
2804.43/2812.94 c GARBAGE COLLECT
2804.43/2812.94 c #Conflicts: 2051000 | #Constraints: 29222
2804.43/2812.94 c #Conflicts: 2052000 | #Constraints: 30222
2804.43/2812.94 c #Conflicts: 2053000 | #Constraints: 31222
2804.43/2812.94 c #Conflicts: 2054000 | #Constraints: 32222
2804.43/2812.94 c #Conflicts: 2055000 | #Constraints: 33222
2804.43/2812.94 c #Conflicts: 2056000 | #Constraints: 34222
2804.43/2812.94 c #Conflicts: 2057000 | #Constraints: 35222
2804.43/2812.94 c #Conflicts: 2058000 | #Constraints: 36222
2804.43/2812.94 c #Conflicts: 2059000 | #Constraints: 37222
2804.43/2812.94 c #Conflicts: 2060000 | #Constraints: 38222
2804.43/2812.94 c #Conflicts: 2061000 | #Constraints: 39222
2804.43/2812.94 c #Conflicts: 2062000 | #Constraints: 40222
2804.43/2812.94 c #Conflicts: 2063000 | #Constraints: 41222
2804.43/2812.94 c #Conflicts: 2064000 | #Constraints: 42222
2804.43/2812.94 c #Conflicts: 2065000 | #Constraints: 43222
2804.43/2812.94 c #Conflicts: 2066000 | #Constraints: 44222
2804.43/2812.94 c #Conflicts: 2067000 | #Constraints: 45222
2804.43/2812.94 c #Conflicts: 2068000 | #Constraints: 46222
2804.43/2812.94 c #Conflicts: 2069000 | #Constraints: 47222
2804.43/2812.94 c #Conflicts: 2070000 | #Constraints: 48222
2804.43/2812.94 c #Conflicts: 2071000 | #Constraints: 49222
2804.43/2812.94 c #Conflicts: 2072000 | #Constraints: 50222
2804.43/2812.94 c #Conflicts: 2073000 | #Constraints: 51222
2804.43/2812.94 c #Conflicts: 2074000 | #Constraints: 52222
2804.43/2812.94 c #Conflicts: 2075000 | #Constraints: 53222
2804.43/2812.94 c #Conflicts: 2076000 | #Constraints: 54222
2804.43/2812.94 c #Conflicts: 2077000 | #Constraints: 55222
2804.43/2812.94 c #Conflicts: 2078000 | #Constraints: 56222
2804.43/2812.94 c #Conflicts: 2079000 | #Constraints: 57222
2804.43/2812.94 c INPROCESSING
2804.43/2812.94 c GARBAGE COLLECT
2804.43/2812.94 c #Conflicts: 2080000 | #Constraints: 29623
2804.43/2812.94 c #Conflicts: 2081000 | #Constraints: 30623
2804.43/2812.94 c #Conflicts: 2082000 | #Constraints: 31623
2804.43/2812.94 c #Conflicts: 2083000 | #Constraints: 32623
2804.43/2812.94 c #Conflicts: 2084000 | #Constraints: 33623
2804.43/2812.94 c #Conflicts: 2085000 | #Constraints: 34623
2804.43/2812.94 c #Conflicts: 2086000 | #Constraints: 35623
2804.43/2812.94 c #Conflicts: 2087000 | #Constraints: 36623
2804.43/2812.94 c #Conflicts: 2088000 | #Constraints: 37623
2804.43/2812.94 c #Conflicts: 2089000 | #Constraints: 38623
2804.43/2812.94 c #Conflicts: 2090000 | #Constraints: 39623
2804.43/2812.94 c #Conflicts: 2091000 | #Constraints: 40623
2804.43/2812.94 c #Conflicts: 2092000 | #Constraints: 41623
2804.43/2812.94 c #Conflicts: 2093000 | #Constraints: 42623
2804.43/2812.94 c #Conflicts: 2094000 | #Constraints: 43623
2804.43/2812.94 c #Conflicts: 2095000 | #Constraints: 44623
2804.43/2812.94 c #Conflicts: 2096000 | #Constraints: 45623
2804.43/2812.94 c #Conflicts: 2097000 | #Constraints: 46623
2804.43/2812.94 c #Conflicts: 2098000 | #Constraints: 47623
2804.43/2812.94 c #Conflicts: 2099000 | #Constraints: 48623
2804.43/2812.94 c #Conflicts: 2100000 | #Constraints: 49623
2804.43/2812.94 c #Conflicts: 2101000 | #Constraints: 50623
2804.43/2812.94 c #Conflicts: 2102000 | #Constraints: 51623
2804.43/2812.94 c #Conflicts: 2103000 | #Constraints: 52623
2804.43/2812.94 c #Conflicts: 2104000 | #Constraints: 53623
2804.43/2812.94 c #Conflicts: 2105000 | #Constraints: 54623
2804.43/2812.94 c #Conflicts: 2106000 | #Constraints: 55623
2804.43/2812.94 c #Conflicts: 2107000 | #Constraints: 56623
2804.43/2812.94 c #Conflicts: 2108000 | #Constraints: 57623
2804.43/2812.94 c INPROCESSING
2804.43/2812.94 c GARBAGE COLLECT
2804.43/2812.94 c #Conflicts: 2109000 | #Constraints: 29825
2804.43/2812.94 c #Conflicts: 2110000 | #Constraints: 30825
2804.43/2812.94 c #Conflicts: 2111000 | #Constraints: 31825
2804.43/2812.94 c #Conflicts: 2112000 | #Constraints: 32825
2804.43/2812.94 c #Conflicts: 2113000 | #Constraints: 33825
2804.43/2812.94 c #Conflicts: 2114000 | #Constraints: 34825
2804.43/2812.94 c #Conflicts: 2115000 | #Constraints: 35825
2804.43/2812.94 c #Conflicts: 2116000 | #Constraints: 36825
2804.43/2812.94 c #Conflicts: 2117000 | #Constraints: 37825
2804.43/2812.94 c #Conflicts: 2118000 | #Constraints: 38825
2804.43/2812.94 c #Conflicts: 2119000 | #Constraints: 39825
2804.43/2812.94 c #Conflicts: 2120000 | #Constraints: 40825
2955.05/2963.90 c #Conflicts: 2121000 | #Constraints: 41825
2955.05/2963.90 c #Conflicts: 2122000 | #Constraints: 42825
2955.05/2963.90 c #Conflicts: 2123000 | #Constraints: 43825
2955.05/2963.90 c #Conflicts: 2124000 | #Constraints: 44825
2955.05/2963.90 c #Conflicts: 2125000 | #Constraints: 45825
2955.05/2963.90 c #Conflicts: 2126000 | #Constraints: 46825
2955.05/2963.90 c #Conflicts: 2127000 | #Constraints: 47825
2955.05/2963.90 c #Conflicts: 2128000 | #Constraints: 48825
2955.05/2963.90 c #Conflicts: 2129000 | #Constraints: 49825
2955.05/2963.90 c #Conflicts: 2130000 | #Constraints: 50825
2955.05/2963.90 c #Conflicts: 2131000 | #Constraints: 51825
2955.05/2963.90 c #Conflicts: 2132000 | #Constraints: 52825
2955.05/2963.90 c #Conflicts: 2133000 | #Constraints: 53825
2955.05/2963.90 c #Conflicts: 2134000 | #Constraints: 54825
2955.05/2963.90 c #Conflicts: 2135000 | #Constraints: 55825
2955.05/2963.90 c #Conflicts: 2136000 | #Constraints: 56825
2955.05/2963.90 c #Conflicts: 2137000 | #Constraints: 57825
2955.05/2963.90 c INPROCESSING
2955.05/2963.90 c GARBAGE COLLECT
2955.05/2963.90 c #Conflicts: 2138000 | #Constraints: 29826
2955.05/2963.90 c #Conflicts: 2139000 | #Constraints: 30826
2955.05/2963.90 c #Conflicts: 2140000 | #Constraints: 31826
2955.05/2963.90 c #Conflicts: 2141000 | #Constraints: 32826
2955.05/2963.90 c #Conflicts: 2142000 | #Constraints: 33826
2955.05/2963.90 c #Conflicts: 2143000 | #Constraints: 34826
2955.05/2963.90 c #Conflicts: 2144000 | #Constraints: 35826
2955.05/2963.90 c #Conflicts: 2145000 | #Constraints: 36826
2955.05/2963.90 c #Conflicts: 2146000 | #Constraints: 37826
2955.05/2963.90 c #Conflicts: 2147000 | #Constraints: 38826
2955.05/2963.90 c #Conflicts: 2148000 | #Constraints: 39826
2955.05/2963.90 c #Conflicts: 2149000 | #Constraints: 40826
2955.05/2963.90 c #Conflicts: 2150000 | #Constraints: 41826
2955.05/2963.90 c #Conflicts: 2151000 | #Constraints: 42826
2955.05/2963.90 c #Conflicts: 2152000 | #Constraints: 43826
2955.05/2963.90 c #Conflicts: 2153000 | #Constraints: 44826
2955.05/2963.90 c #Conflicts: 2154000 | #Constraints: 45826
2955.05/2963.90 c #Conflicts: 2155000 | #Constraints: 46826
2955.05/2963.90 c #Conflicts: 2156000 | #Constraints: 47826
2955.05/2963.90 c #Conflicts: 2157000 | #Constraints: 48826
2955.05/2963.90 c #Conflicts: 2158000 | #Constraints: 49826
2955.05/2963.90 c #Conflicts: 2159000 | #Constraints: 50826
2955.05/2963.90 c #Conflicts: 2160000 | #Constraints: 51826
2955.05/2963.90 c #Conflicts: 2161000 | #Constraints: 52826
2955.05/2963.90 c #Conflicts: 2162000 | #Constraints: 53826
2955.05/2963.90 c #Conflicts: 2163000 | #Constraints: 54826
2955.05/2963.90 c #Conflicts: 2164000 | #Constraints: 55826
2955.05/2963.90 c #Conflicts: 2165000 | #Constraints: 56826
2955.05/2963.90 c #Conflicts: 2166000 | #Constraints: 57826
2955.05/2963.90 c INPROCESSING
2955.05/2963.90 c GARBAGE COLLECT
2955.05/2963.90 c #Conflicts: 2167000 | #Constraints: 29626
2955.05/2963.90 c #Conflicts: 2168000 | #Constraints: 30626
2955.05/2963.90 c #Conflicts: 2169000 | #Constraints: 31626
2955.05/2963.90 c #Conflicts: 2170000 | #Constraints: 32626
2955.05/2963.90 c #Conflicts: 2171000 | #Constraints: 33626
2955.05/2963.90 c #Conflicts: 2172000 | #Constraints: 34626
2955.05/2963.90 c #Conflicts: 2173000 | #Constraints: 35626
2955.05/2963.90 c #Conflicts: 2174000 | #Constraints: 36626
2955.05/2963.90 c #Conflicts: 2175000 | #Constraints: 37626
2955.05/2963.90 c #Conflicts: 2176000 | #Constraints: 38626
2955.05/2963.90 c #Conflicts: 2177000 | #Constraints: 39626
2955.05/2963.90 c #Conflicts: 2178000 | #Constraints: 40626
2955.05/2963.90 c #Conflicts: 2179000 | #Constraints: 41626
2955.05/2963.90 c #Conflicts: 2180000 | #Constraints: 42626
2955.05/2963.90 c #Conflicts: 2181000 | #Constraints: 43626
2955.05/2963.90 c #Conflicts: 2182000 | #Constraints: 44626
2955.05/2963.90 c #Conflicts: 2183000 | #Constraints: 45626
2955.05/2963.90 c #Conflicts: 2184000 | #Constraints: 46626
2955.05/2963.90 c #Conflicts: 2185000 | #Constraints: 47626
2955.05/2963.90 c #Conflicts: 2186000 | #Constraints: 48626
2955.05/2963.90 c #Conflicts: 2187000 | #Constraints: 49626
2955.05/2963.90 c #Conflicts: 2188000 | #Constraints: 50626
2955.05/2963.90 c #Conflicts: 2189000 | #Constraints: 51626
2955.05/2963.90 c #Conflicts: 2190000 | #Constraints: 52626
2955.05/2963.90 c #Conflicts: 2191000 | #Constraints: 53626
2955.05/2963.90 c #Conflicts: 2192000 | #Constraints: 54626
2955.05/2963.90 c #Conflicts: 2193000 | #Constraints: 55626
2955.05/2963.90 c #Conflicts: 2194000 | #Constraints: 56626
2955.05/2963.90 c #Conflicts: 2195000 | #Constraints: 57626
2955.05/2963.90 c #Conflicts: 2196000 | #Constraints: 58626
2955.05/2963.90 c INPROCESSING
2955.05/2963.90 c GARBAGE COLLECT
2955.05/2963.90 c #Conflicts: 2197000 | #Constraints: 30225
3110.26/3119.56 c #Conflicts: 2198000 | #Constraints: 31225
3110.26/3119.56 c #Conflicts: 2199000 | #Constraints: 32225
3110.26/3119.56 c #Conflicts: 2200000 | #Constraints: 33225
3110.26/3119.56 c #Conflicts: 2201000 | #Constraints: 34225
3110.26/3119.56 c #Conflicts: 2202000 | #Constraints: 35225
3110.26/3119.56 c #Conflicts: 2203000 | #Constraints: 36225
3110.26/3119.56 c #Conflicts: 2204000 | #Constraints: 37225
3110.26/3119.56 c #Conflicts: 2205000 | #Constraints: 38225
3110.26/3119.56 c #Conflicts: 2206000 | #Constraints: 39225
3110.26/3119.56 c #Conflicts: 2207000 | #Constraints: 40225
3110.26/3119.56 c #Conflicts: 2208000 | #Constraints: 41225
3110.26/3119.56 c #Conflicts: 2209000 | #Constraints: 42225
3110.26/3119.56 c #Conflicts: 2210000 | #Constraints: 43225
3110.26/3119.56 c #Conflicts: 2211000 | #Constraints: 44225
3110.26/3119.56 c #Conflicts: 2212000 | #Constraints: 45225
3110.26/3119.56 c #Conflicts: 2213000 | #Constraints: 46225
3110.26/3119.56 c #Conflicts: 2214000 | #Constraints: 47225
3110.26/3119.56 c #Conflicts: 2215000 | #Constraints: 48225
3110.26/3119.56 c #Conflicts: 2216000 | #Constraints: 49225
3110.26/3119.56 c #Conflicts: 2217000 | #Constraints: 50225
3110.26/3119.56 c #Conflicts: 2218000 | #Constraints: 51225
3110.26/3119.56 c #Conflicts: 2219000 | #Constraints: 52225
3110.26/3119.56 c #Conflicts: 2220000 | #Constraints: 53225
3110.26/3119.56 c #Conflicts: 2221000 | #Constraints: 54225
3110.26/3119.56 c #Conflicts: 2222000 | #Constraints: 55225
3110.26/3119.56 c #Conflicts: 2223000 | #Constraints: 56225
3110.26/3119.56 c #Conflicts: 2224000 | #Constraints: 57225
3110.26/3119.56 c #Conflicts: 2225000 | #Constraints: 58225
3110.26/3119.56 c #Conflicts: 2226000 | #Constraints: 59225
3110.26/3119.56 c INPROCESSING
3110.26/3119.56 c GARBAGE COLLECT
3110.26/3119.56 c #Conflicts: 2227000 | #Constraints: 30626
3110.26/3119.56 c #Conflicts: 2228000 | #Constraints: 31626
3110.26/3119.56 c #Conflicts: 2229000 | #Constraints: 32626
3110.26/3119.56 c #Conflicts: 2230000 | #Constraints: 33626
3110.26/3119.56 c #Conflicts: 2231000 | #Constraints: 34626
3110.26/3119.56 c #Conflicts: 2232000 | #Constraints: 35626
3110.26/3119.56 c #Conflicts: 2233000 | #Constraints: 36626
3110.26/3119.56 c #Conflicts: 2234000 | #Constraints: 37626
3110.26/3119.56 c #Conflicts: 2235000 | #Constraints: 38626
3110.26/3119.56 c #Conflicts: 2236000 | #Constraints: 39626
3110.26/3119.56 c #Conflicts: 2237000 | #Constraints: 40626
3110.26/3119.56 c #Conflicts: 2238000 | #Constraints: 41626
3110.26/3119.56 c #Conflicts: 2239000 | #Constraints: 42626
3110.26/3119.56 c #Conflicts: 2240000 | #Constraints: 43626
3110.26/3119.56 c #Conflicts: 2241000 | #Constraints: 44626
3110.26/3119.56 c #Conflicts: 2242000 | #Constraints: 45626
3110.26/3119.56 c #Conflicts: 2243000 | #Constraints: 46626
3110.26/3119.56 c #Conflicts: 2244000 | #Constraints: 47626
3110.26/3119.56 c #Conflicts: 2245000 | #Constraints: 48626
3110.26/3119.56 c #Conflicts: 2246000 | #Constraints: 49626
3110.26/3119.56 c #Conflicts: 2247000 | #Constraints: 50626
3110.26/3119.56 c #Conflicts: 2248000 | #Constraints: 51626
3110.26/3119.56 c #Conflicts: 2249000 | #Constraints: 52626
3110.26/3119.56 c #Conflicts: 2250000 | #Constraints: 53626
3110.26/3119.56 c #Conflicts: 2251000 | #Constraints: 54626
3110.26/3119.56 c #Conflicts: 2252000 | #Constraints: 55626
3110.26/3119.56 c #Conflicts: 2253000 | #Constraints: 56626
3110.26/3119.56 c #Conflicts: 2254000 | #Constraints: 57626
3110.26/3119.56 c #Conflicts: 2255000 | #Constraints: 58626
3110.26/3119.56 c #Conflicts: 2256000 | #Constraints: 59626
3110.26/3119.56 c INPROCESSING
3110.26/3119.56 c GARBAGE COLLECT
3110.26/3119.56 c #Conflicts: 2257000 | #Constraints: 30824
3110.26/3119.56 c #Conflicts: 2258000 | #Constraints: 31824
3110.26/3119.56 c #Conflicts: 2259000 | #Constraints: 32824
3110.26/3119.56 c #Conflicts: 2260000 | #Constraints: 33824
3110.26/3119.56 c #Conflicts: 2261000 | #Constraints: 34824
3110.26/3119.56 c #Conflicts: 2262000 | #Constraints: 35824
3110.26/3119.56 c #Conflicts: 2263000 | #Constraints: 36824
3110.26/3119.56 c #Conflicts: 2264000 | #Constraints: 37824
3110.26/3119.56 c #Conflicts: 2265000 | #Constraints: 38824
3110.26/3119.56 c #Conflicts: 2266000 | #Constraints: 39824
3110.26/3119.56 c #Conflicts: 2267000 | #Constraints: 40824
3110.26/3119.56 c #Conflicts: 2268000 | #Constraints: 41824
3110.26/3119.56 c #Conflicts: 2269000 | #Constraints: 42824
3110.26/3119.56 c #Conflicts: 2270000 | #Constraints: 43824
3110.26/3119.56 c #Conflicts: 2271000 | #Constraints: 44824
3110.26/3119.56 c #Conflicts: 2272000 | #Constraints: 45824
3110.26/3119.56 c #Conflicts: 2273000 | #Constraints: 46824
3110.26/3119.56 c #Conflicts: 2274000 | #Constraints: 47824
3271.16/3280.82 c #Conflicts: 2275000 | #Constraints: 48824
3271.16/3280.82 c #Conflicts: 2276000 | #Constraints: 49824
3271.16/3280.82 c #Conflicts: 2277000 | #Constraints: 50824
3271.16/3280.82 c #Conflicts: 2278000 | #Constraints: 51824
3271.16/3280.82 c #Conflicts: 2279000 | #Constraints: 52824
3271.16/3280.82 c #Conflicts: 2280000 | #Constraints: 53824
3271.16/3280.82 c #Conflicts: 2281000 | #Constraints: 54824
3271.16/3280.82 c #Conflicts: 2282000 | #Constraints: 55824
3271.16/3280.82 c #Conflicts: 2283000 | #Constraints: 56824
3271.16/3280.82 c #Conflicts: 2284000 | #Constraints: 57824
3271.16/3280.82 c #Conflicts: 2285000 | #Constraints: 58824
3271.16/3280.82 c #Conflicts: 2286000 | #Constraints: 59824
3271.16/3280.82 c INPROCESSING
3271.16/3280.82 c GARBAGE COLLECT
3271.16/3280.82 c #Conflicts: 2287000 | #Constraints: 30825
3271.16/3280.82 c #Conflicts: 2288000 | #Constraints: 31825
3271.16/3280.82 c #Conflicts: 2289000 | #Constraints: 32825
3271.16/3280.82 c #Conflicts: 2290000 | #Constraints: 33825
3271.16/3280.82 c #Conflicts: 2291000 | #Constraints: 34825
3271.16/3280.82 c #Conflicts: 2292000 | #Constraints: 35825
3271.16/3280.82 c #Conflicts: 2293000 | #Constraints: 36825
3271.16/3280.82 c #Conflicts: 2294000 | #Constraints: 37825
3271.16/3280.82 c #Conflicts: 2295000 | #Constraints: 38825
3271.16/3280.82 c #Conflicts: 2296000 | #Constraints: 39825
3271.16/3280.82 c #Conflicts: 2297000 | #Constraints: 40825
3271.16/3280.82 c #Conflicts: 2298000 | #Constraints: 41825
3271.16/3280.82 c #Conflicts: 2299000 | #Constraints: 42825
3271.16/3280.82 c #Conflicts: 2300000 | #Constraints: 43825
3271.16/3280.82 c #Conflicts: 2301000 | #Constraints: 44825
3271.16/3280.82 c #Conflicts: 2302000 | #Constraints: 45825
3271.16/3280.82 c #Conflicts: 2303000 | #Constraints: 46825
3271.16/3280.82 c #Conflicts: 2304000 | #Constraints: 47825
3271.16/3280.82 c #Conflicts: 2305000 | #Constraints: 48825
3271.16/3280.82 c #Conflicts: 2306000 | #Constraints: 49825
3271.16/3280.82 c #Conflicts: 2307000 | #Constraints: 50825
3271.16/3280.82 c #Conflicts: 2308000 | #Constraints: 51825
3271.16/3280.82 c #Conflicts: 2309000 | #Constraints: 52825
3271.16/3280.82 c #Conflicts: 2310000 | #Constraints: 53825
3271.16/3280.82 c #Conflicts: 2311000 | #Constraints: 54825
3271.16/3280.82 c #Conflicts: 2312000 | #Constraints: 55825
3271.16/3280.82 c #Conflicts: 2313000 | #Constraints: 56825
3271.16/3280.82 c #Conflicts: 2314000 | #Constraints: 57825
3271.16/3280.82 c #Conflicts: 2315000 | #Constraints: 58825
3271.16/3280.82 c #Conflicts: 2316000 | #Constraints: 59825
3271.16/3280.82 c INPROCESSING
3271.16/3280.82 c GARBAGE COLLECT
3271.16/3280.82 c #Conflicts: 2317000 | #Constraints: 30624
3271.16/3280.82 c #Conflicts: 2318000 | #Constraints: 31624
3271.16/3280.82 c #Conflicts: 2319000 | #Constraints: 32624
3271.16/3280.82 c #Conflicts: 2320000 | #Constraints: 33624
3271.16/3280.82 c #Conflicts: 2321000 | #Constraints: 34624
3271.16/3280.82 c #Conflicts: 2322000 | #Constraints: 35624
3271.16/3280.82 c #Conflicts: 2323000 | #Constraints: 36624
3271.16/3280.82 c #Conflicts: 2324000 | #Constraints: 37624
3271.16/3280.82 c #Conflicts: 2325000 | #Constraints: 38624
3271.16/3280.82 c #Conflicts: 2326000 | #Constraints: 39624
3271.16/3280.82 c #Conflicts: 2327000 | #Constraints: 40624
3271.16/3280.82 c #Conflicts: 2328000 | #Constraints: 41624
3271.16/3280.82 c #Conflicts: 2329000 | #Constraints: 42624
3271.16/3280.82 c #Conflicts: 2330000 | #Constraints: 43624
3271.16/3280.82 c #Conflicts: 2331000 | #Constraints: 44624
3271.16/3280.82 c #Conflicts: 2332000 | #Constraints: 45624
3271.16/3280.82 c #Conflicts: 2333000 | #Constraints: 46624
3271.16/3280.82 c #Conflicts: 2334000 | #Constraints: 47624
3271.16/3280.82 c #Conflicts: 2335000 | #Constraints: 48624
3271.16/3280.82 c #Conflicts: 2336000 | #Constraints: 49624
3271.16/3280.82 c #Conflicts: 2337000 | #Constraints: 50624
3271.16/3280.82 c #Conflicts: 2338000 | #Constraints: 51624
3271.16/3280.82 c #Conflicts: 2339000 | #Constraints: 52624
3271.16/3280.82 c #Conflicts: 2340000 | #Constraints: 53624
3271.16/3280.82 c #Conflicts: 2341000 | #Constraints: 54624
3271.16/3280.82 c #Conflicts: 2342000 | #Constraints: 55624
3271.16/3280.82 c #Conflicts: 2343000 | #Constraints: 56624
3271.16/3280.82 c #Conflicts: 2344000 | #Constraints: 57624
3271.16/3280.82 c #Conflicts: 2345000 | #Constraints: 58624
3271.16/3280.82 c #Conflicts: 2346000 | #Constraints: 59624
3271.16/3280.82 c #Conflicts: 2347000 | #Constraints: 60624
3271.16/3280.82 c INPROCESSING
3271.16/3280.82 c GARBAGE COLLECT
3271.16/3280.82 c #Conflicts: 2348000 | #Constraints: 31227
3271.16/3280.82 c #Conflicts: 2349000 | #Constraints: 32227
3271.16/3280.82 c #Conflicts: 2350000 | #Constraints: 33227
3271.16/3280.82 c #Conflicts: 2351000 | #Constraints: 34227
3435.84/3445.92 c #Conflicts: 2352000 | #Constraints: 35227
3435.84/3445.92 c #Conflicts: 2353000 | #Constraints: 36227
3435.84/3445.92 c #Conflicts: 2354000 | #Constraints: 37227
3435.84/3445.92 c #Conflicts: 2355000 | #Constraints: 38227
3435.84/3445.92 c #Conflicts: 2356000 | #Constraints: 39227
3435.84/3445.92 c #Conflicts: 2357000 | #Constraints: 40227
3435.84/3445.92 c #Conflicts: 2358000 | #Constraints: 41227
3435.84/3445.92 c #Conflicts: 2359000 | #Constraints: 42227
3435.84/3445.92 c #Conflicts: 2360000 | #Constraints: 43227
3435.84/3445.92 c #Conflicts: 2361000 | #Constraints: 44227
3435.84/3445.92 c #Conflicts: 2362000 | #Constraints: 45227
3435.84/3445.92 c #Conflicts: 2363000 | #Constraints: 46227
3435.84/3445.92 c #Conflicts: 2364000 | #Constraints: 47227
3435.84/3445.92 c #Conflicts: 2365000 | #Constraints: 48227
3435.84/3445.92 c #Conflicts: 2366000 | #Constraints: 49227
3435.84/3445.92 c #Conflicts: 2367000 | #Constraints: 50227
3435.84/3445.92 c #Conflicts: 2368000 | #Constraints: 51227
3435.84/3445.92 c #Conflicts: 2369000 | #Constraints: 52227
3435.84/3445.92 c #Conflicts: 2370000 | #Constraints: 53227
3435.84/3445.92 c #Conflicts: 2371000 | #Constraints: 54227
3435.84/3445.92 c #Conflicts: 2372000 | #Constraints: 55227
3435.84/3445.92 c #Conflicts: 2373000 | #Constraints: 56227
3435.84/3445.92 c #Conflicts: 2374000 | #Constraints: 57227
3435.84/3445.92 c #Conflicts: 2375000 | #Constraints: 58227
3435.84/3445.92 c #Conflicts: 2376000 | #Constraints: 59227
3435.84/3445.92 c #Conflicts: 2377000 | #Constraints: 60227
3435.84/3445.92 c #Conflicts: 2378000 | #Constraints: 61227
3435.84/3445.92 c INPROCESSING
3435.84/3445.92 c GARBAGE COLLECT
3435.84/3445.92 c #Conflicts: 2379000 | #Constraints: 31630
3435.84/3445.92 c #Conflicts: 2380000 | #Constraints: 32630
3435.84/3445.92 c #Conflicts: 2381000 | #Constraints: 33630
3435.84/3445.92 c #Conflicts: 2382000 | #Constraints: 34630
3435.84/3445.92 c #Conflicts: 2383000 | #Constraints: 35630
3435.84/3445.92 c #Conflicts: 2384000 | #Constraints: 36630
3435.84/3445.92 c #Conflicts: 2385000 | #Constraints: 37630
3435.84/3445.92 c #Conflicts: 2386000 | #Constraints: 38630
3435.84/3445.92 c #Conflicts: 2387000 | #Constraints: 39630
3435.84/3445.92 c #Conflicts: 2388000 | #Constraints: 40630
3435.84/3445.92 c #Conflicts: 2389000 | #Constraints: 41630
3435.84/3445.92 c #Conflicts: 2390000 | #Constraints: 42630
3435.84/3445.92 c #Conflicts: 2391000 | #Constraints: 43630
3435.84/3445.92 c #Conflicts: 2392000 | #Constraints: 44630
3435.84/3445.92 c #Conflicts: 2393000 | #Constraints: 45630
3435.84/3445.92 c #Conflicts: 2394000 | #Constraints: 46630
3435.84/3445.92 c #Conflicts: 2395000 | #Constraints: 47630
3435.84/3445.92 c #Conflicts: 2396000 | #Constraints: 48630
3435.84/3445.92 c #Conflicts: 2397000 | #Constraints: 49630
3435.84/3445.92 c #Conflicts: 2398000 | #Constraints: 50630
3435.84/3445.92 c #Conflicts: 2399000 | #Constraints: 51630
3435.84/3445.92 c #Conflicts: 2400000 | #Constraints: 52630
3435.84/3445.92 c #Conflicts: 2401000 | #Constraints: 53630
3435.84/3445.92 c #Conflicts: 2402000 | #Constraints: 54630
3435.84/3445.92 c #Conflicts: 2403000 | #Constraints: 55630
3435.84/3445.92 c #Conflicts: 2404000 | #Constraints: 56630
3435.84/3445.92 c #Conflicts: 2405000 | #Constraints: 57630
3435.84/3445.92 c #Conflicts: 2406000 | #Constraints: 58630
3435.84/3445.92 c #Conflicts: 2407000 | #Constraints: 59630
3435.84/3445.92 c #Conflicts: 2408000 | #Constraints: 60630
3435.84/3445.92 c #Conflicts: 2409000 | #Constraints: 61630
3435.84/3445.92 c INPROCESSING
3435.84/3445.92 c GARBAGE COLLECT
3435.84/3445.92 c #Conflicts: 2410000 | #Constraints: 31828
3435.84/3445.92 c #Conflicts: 2411000 | #Constraints: 32828
3435.84/3445.92 c #Conflicts: 2412000 | #Constraints: 33828
3435.84/3445.92 c #Conflicts: 2413000 | #Constraints: 34828
3435.84/3445.92 c #Conflicts: 2414000 | #Constraints: 35828
3435.84/3445.92 c #Conflicts: 2415000 | #Constraints: 36828
3435.84/3445.92 c #Conflicts: 2416000 | #Constraints: 37828
3435.84/3445.92 c #Conflicts: 2417000 | #Constraints: 38828
3435.84/3445.92 c #Conflicts: 2418000 | #Constraints: 39828
3435.84/3445.92 c #Conflicts: 2419000 | #Constraints: 40828
3435.84/3445.92 c #Conflicts: 2420000 | #Constraints: 41828
3435.84/3445.92 c #Conflicts: 2421000 | #Constraints: 42828
3435.84/3445.92 c #Conflicts: 2422000 | #Constraints: 43828
3435.84/3445.92 c #Conflicts: 2423000 | #Constraints: 44828
3435.84/3445.92 c #Conflicts: 2424000 | #Constraints: 45828
3435.84/3445.92 c #Conflicts: 2425000 | #Constraints: 46828
3435.84/3445.92 c #Conflicts: 2426000 | #Constraints: 47828
3435.84/3445.92 c #Conflicts: 2427000 | #Constraints: 48828
3435.84/3445.92 c #Conflicts: 2428000 | #Constraints: 49828
3600.03/3610.50 c #Conflicts: 2429000 | #Constraints: 50828
3600.03/3610.50 c #Conflicts: 2430000 | #Constraints: 51828
3600.03/3610.50 c #Conflicts: 2431000 | #Constraints: 52828
3600.03/3610.50 c #Conflicts: 2432000 | #Constraints: 53828
3600.03/3610.50 c #Conflicts: 2433000 | #Constraints: 54828
3600.03/3610.50 c #Conflicts: 2434000 | #Constraints: 55828
3600.03/3610.50 c #Conflicts: 2435000 | #Constraints: 56828
3600.03/3610.50 c #Conflicts: 2436000 | #Constraints: 57828
3600.03/3610.50 c #Conflicts: 2437000 | #Constraints: 58828
3600.03/3610.50 c #Conflicts: 2438000 | #Constraints: 59828
3600.03/3610.50 c #Conflicts: 2439000 | #Constraints: 60828
3600.03/3610.50 c #Conflicts: 2440000 | #Constraints: 61828
3600.03/3610.50 c INPROCESSING
3600.03/3610.50 c GARBAGE COLLECT
3600.03/3610.50 c #Conflicts: 2441000 | #Constraints: 31824
3600.03/3610.50 c #Conflicts: 2442000 | #Constraints: 32824
3600.03/3610.50 c #Conflicts: 2443000 | #Constraints: 33824
3600.03/3610.50 c #Conflicts: 2444000 | #Constraints: 34824
3600.03/3610.50 c #Conflicts: 2445000 | #Constraints: 35824
3600.03/3610.50 c #Conflicts: 2446000 | #Constraints: 36824
3600.03/3610.50 c #Conflicts: 2447000 | #Constraints: 37824
3600.03/3610.50 c #Conflicts: 2448000 | #Constraints: 38824
3600.03/3610.50 c #Conflicts: 2449000 | #Constraints: 39824
3600.03/3610.50 c #Conflicts: 2450000 | #Constraints: 40824
3600.03/3610.50 c #Conflicts: 2451000 | #Constraints: 41824
3600.03/3610.50 c #Conflicts: 2452000 | #Constraints: 42824
3600.03/3610.50 c #Conflicts: 2453000 | #Constraints: 43824
3600.03/3610.50 c #Conflicts: 2454000 | #Constraints: 44824
3600.03/3610.50 c #Conflicts: 2455000 | #Constraints: 45824
3600.03/3610.50 c #Conflicts: 2456000 | #Constraints: 46824
3600.03/3610.50 c #Conflicts: 2457000 | #Constraints: 47824
3600.03/3610.50 c #Conflicts: 2458000 | #Constraints: 48824
3600.03/3610.50 c #Conflicts: 2459000 | #Constraints: 49824
3600.03/3610.50 c #Conflicts: 2460000 | #Constraints: 50824
3600.03/3610.50 c #Conflicts: 2461000 | #Constraints: 51824
3600.03/3610.50 c #Conflicts: 2462000 | #Constraints: 52824
3600.03/3610.50 c #Conflicts: 2463000 | #Constraints: 53824
3600.03/3610.50 c #Conflicts: 2464000 | #Constraints: 54824
3600.03/3610.50 c #Conflicts: 2465000 | #Constraints: 55824
3600.03/3610.50 c #Conflicts: 2466000 | #Constraints: 56824
3600.03/3610.50 c #Conflicts: 2467000 | #Constraints: 57824
3600.03/3610.50 c #Conflicts: 2468000 | #Constraints: 58824
3600.03/3610.50 c #Conflicts: 2469000 | #Constraints: 59824
3600.03/3610.50 c #Conflicts: 2470000 | #Constraints: 60824
3600.03/3610.50 c #Conflicts: 2471000 | #Constraints: 61824
3600.03/3610.50 c INPROCESSING
3600.03/3610.50 c GARBAGE COLLECT
3600.03/3610.50 c #Conflicts: 2472000 | #Constraints: 31623
3600.03/3610.50 c #Conflicts: 2473000 | #Constraints: 32623
3600.03/3610.50 c #Conflicts: 2474000 | #Constraints: 33623
3600.03/3610.50 c #Conflicts: 2475000 | #Constraints: 34623
3600.03/3610.50 c #Conflicts: 2476000 | #Constraints: 35623
3600.03/3610.50 c #Conflicts: 2477000 | #Constraints: 36623
3600.03/3610.50 c #Conflicts: 2478000 | #Constraints: 37623
3600.03/3610.50 c #Conflicts: 2479000 | #Constraints: 38623
3600.03/3610.50 c #Conflicts: 2480000 | #Constraints: 39623
3600.03/3610.50 c #Conflicts: 2481000 | #Constraints: 40623
3600.03/3610.50 c #Conflicts: 2482000 | #Constraints: 41623
3600.03/3610.50 c #Conflicts: 2483000 | #Constraints: 42623
3600.03/3610.50 c #Conflicts: 2484000 | #Constraints: 43623
3600.03/3610.50 c #Conflicts: 2485000 | #Constraints: 44623
3600.03/3610.50 c #Conflicts: 2486000 | #Constraints: 45623
3600.03/3610.50 c #Conflicts: 2487000 | #Constraints: 46623
3600.03/3610.50 c #Conflicts: 2488000 | #Constraints: 47623
3600.03/3610.50 c #Conflicts: 2489000 | #Constraints: 48623
3600.03/3610.50 c #Conflicts: 2490000 | #Constraints: 49623
3600.03/3610.50 c #Conflicts: 2491000 | #Constraints: 50623
3600.03/3610.50 c #Conflicts: 2492000 | #Constraints: 51623
3600.03/3610.50 c #Conflicts: 2493000 | #Constraints: 52623
3600.03/3610.50 c #Conflicts: 2494000 | #Constraints: 53623
3600.03/3610.50 c #Conflicts: 2495000 | #Constraints: 54623
3600.03/3610.50 c #Conflicts: 2496000 | #Constraints: 55623
3600.03/3610.50 c #Conflicts: 2497000 | #Constraints: 56623
3600.03/3610.50 c #Conflicts: 2498000 | #Constraints: 57623
3600.03/3610.50 c #Conflicts: 2499000 | #Constraints: 58623
3600.03/3610.50 c #Conflicts: 2500000 | #Constraints: 59623
3600.03/3610.50 c #Conflicts: 2501000 | #Constraints: 60623
3600.03/3610.50 c #Conflicts: 2502000 | #Constraints: 61623
3600.03/3610.50 c #Conflicts: 2503000 | #Constraints: 62623
3600.03/3610.50 c INPROCESSING
3600.03/3610.50 c GARBAGE COLLECT
3600.03/3610.50 c Program interrupted by user.
3600.03/3610.50 c cpu time 3589.69 s
3600.03/3610.50 c deterministic time 514766015363 5.15e+11
3600.03/3610.50 c optimization time 1.19597 s
3600.03/3610.50 c total solve time 3289.73 s
3600.03/3610.50 c core-guided solve time 3289.73 s
3600.03/3610.50 c propagation time 3106.67 s
3600.03/3610.50 c conflict analysis time 170.12 s
3600.03/3610.50 c propagations 24858561
3600.03/3610.50 c resolve steps 11990427
3600.03/3610.50 c decisions 3583680
3600.03/3610.50 c conflicts 2503816
3600.03/3610.50 c restarts 4221
3600.03/3610.50 c inprocessing phases 149
3600.03/3610.50 c input clauses 0
3600.03/3610.50 c input cardinalities 0
3600.03/3610.50 c input general constraints 11
3600.03/3610.50 c input average constraint length 58.00
3600.03/3610.50 c input average constraint degree 1329.82
3600.03/3610.50 c learned clauses 1645178
3600.03/3610.50 c learned cardinalities 0
3600.03/3610.50 c learned general constraints 858637
3600.03/3610.50 c learned average constraint length 32.37
3600.03/3610.50 c learned average constraint degree 7444.04
3600.03/3610.50 c watched constraints 847578
3600.03/3610.50 c counting constraints 11070
3600.03/3610.50 c gcd simplifications 1448521
3600.03/3610.50 c detected cardinalities 0
3600.03/3610.50 c weakened non-implied lits 18979644
3600.03/3610.50 c weakened non-implying lits 2013517
3600.03/3610.50 c original variables 120
3600.03/3610.50 c clausal propagations 358503
3600.03/3610.50 c cardinality propagations 0
3600.03/3610.50 c watched propagations 9960808
3600.03/3610.50 c counting propagations 12403114
3600.03/3610.50 c watch lookups 48702798691
3600.03/3610.50 c watch backjump lookups 26595495701
3600.03/3610.50 c watch checks 367417611739
3600.03/3610.50 c propagation checks 71360334923
3600.03/3610.50 c constraint additions 630386127
3600.03/3610.50 c trail pops 30945940
3600.03/3610.50 c formula constraints 10
3600.03/3610.50 c learned constraints 2503815
3600.03/3610.50 c bound constraints 1
3600.03/3610.50 c core-guided constraints 0
3600.03/3610.50 c encountered formula constraints 4292860
3600.03/3610.50 c encountered learned constraints 10201383
3600.03/3610.50 c encountered bound constraints 0
3600.03/3610.50 c encountered core-guided constraints 0
3600.03/3610.50 c LP total time 0 s
3600.03/3610.50 c LP solve time 0 s
3600.03/3610.50 c LP constraints added 0
3600.03/3610.50 c LP constraints removed 0
3600.03/3610.50 c LP pivots internal 0
3600.03/3610.50 c LP pivots root 0
3600.03/3610.50 c LP calls 0
3600.03/3610.50 c LP optimalities 0
3600.03/3610.50 c LP no pivot count 0
3600.03/3610.50 c LP infeasibilities 0
3600.03/3610.50 c LP valid Farkas constraints 0
3600.03/3610.50 c LP learned Farkas constraints 0
3600.03/3610.50 c LP basis resets 0
3600.03/3610.50 c LP cycling count 0
3600.03/3610.50 c LP singular count 0
3600.03/3610.50 c LP no primal count 0
3600.03/3610.50 c LP no farkas count 0
3600.03/3610.50 c LP other issue count 0
3600.03/3610.50 c LP Gomory cuts 0
3600.03/3610.50 c LP learned cuts 0
3600.03/3610.50 c LP deleted cuts 0
3600.03/3610.50 c LP encountered Gomory constraints 0
3600.03/3610.50 c LP encountered Farkas constraints 0
3600.03/3610.50 c LP encountered learned Farkas constraints 0
3600.03/3610.50 c CG auxiliary variables introduced 0
3600.03/3610.50 c CG solutions found 0
3600.03/3610.50 c CG cores constructed 0
3600.03/3610.50 c CG core cardinality constraints returned 0
3600.03/3610.50 c CG unit cores 0
3600.03/3610.50 c CG single cores 0
3600.03/3610.50 c CG blocks removed during cardinality reduction 0
3600.03/3610.50 c CG first core best 0
3600.03/3610.50 c CG decision core best 0
3600.03/3610.50 c CG core reduction tie 0
3600.03/3610.50 c CG core degree average 0.00
3600.03/3610.50 c CG core slack average 0.00
3600.03/3610.50 c CG exhausted 0
3600.03/3610.50 c CG exhaust time 0 s
3600.03/3610.50 c CG trimmed 0
3600.03/3610.50 c CG trim time 0 s
3600.03/3610.50 c CG minimized 0
3600.03/3610.50 c CG minimize time 0 s
3600.03/3610.50 c CG am1 prop time 1.7e-05 s
3600.03/3610.50 c CG # am1s reformulated 0
3600.03/3610.50 c CG lower bound derived from am1s 0
3600.03/3610.50 c CG # clausal cores 0
3600.03/3610.50 c CG # cardinality cores 0
3600.03/3610.50 c CG # pb cores 0
3600.03/3610.50 c CG # pb reforms 0
3600.03/3610.50 c CG # cores discarded because of pb reform 0
3600.03/3610.50 d LOWERBOUND 0
3600.03/3610.50 d NCORES 0
3600.03/3610.50 d NPBCORES 0
3600.03/3610.50 d NPBREFORM 0
3600.03/3610.50 d NTRIMMED 0
3600.03/3610.50 d NEXHAUSTED 0
3600.03/3610.50 d NAM1S 0
3600.03/3610.50 d AM1LB 0
3600.03/3610.50 c [Papilo Statistics]
3600.03/3610.50 c prepro time 0.000295771s
3600.03/3610.50 c # tsx applied 5
3600.03/3610.50 c # tsx conflicts 0
3600.03/3610.50 c # bound changes 0
3600.03/3610.50 c # side changes 5
3600.03/3610.50 c # coef changes 0
3600.03/3610.50 c # rounds 2
3600.03/3610.50 c # deted vars 0
3600.03/3610.50 c # deted constrs 5
3600.03/3610.50 c # consecutive rounds of only bound changes 0
3600.03/3610.50 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: 63968 MiB (62342 MiB free)
memory of node 1: 64473 MiB (62600 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454758-1721470506/watcher-4454758-1721470506 -o /tmp/evaluation-result-4454758-1721470506/solver-4454758-1721470506 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721470207-1060044 --watchdog 3760 mixed-bag HOME/instance-4454758-1721470506.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1060246, runsolver pid=1060243
[startup+0.100131 s]*
/proc/loadavg: 4.06 3.25 3.12 5/251 1060247
/proc/meminfo: memFree=127927536/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=98048 memory=30156 CPUtime=0.09 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 3816 0 0 0 9 0 0 0 20 0 1 0 199215549 100401152 7539 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 24512 7539 4107 3002 0 8261 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98048 KiB
Current children cumulated memory: 30156 KiB
[startup+0.205498 s]*
/proc/loadavg: 4.06 3.25 3.12 5/251 1060247
/proc/meminfo: memFree=127926204/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=98664 memory=30948 CPUtime=0.19 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 4024 0 0 0 19 0 0 0 20 0 1 0 199215549 101031936 7737 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 24666 7737 4107 3002 0 8415 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 98664 KiB
Current children cumulated memory: 30948 KiB
[startup+0.304337 s]*
/proc/loadavg: 4.06 3.25 3.12 5/251 1060247
/proc/meminfo: memFree=127926264/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=98664 memory=30948 CPUtime=0.29 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 4026 0 0 0 29 0 0 0 20 0 1 0 199215549 101031936 7737 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 24666 7737 4107 3002 0 8415 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98664 KiB
Current children cumulated memory: 30948 KiB
[startup+0.700158 s]
/proc/loadavg: 4.06 3.25 3.12 5/251 1060247
/proc/meminfo: memFree=127925928/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=98664 memory=31740 CPUtime=0.68 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 4238 0 0 0 68 0 0 0 20 0 1 0 199215549 101031936 7935 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 24666 7935 4107 3002 0 8415 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98664 KiB
Current children cumulated memory: 31740 KiB
[startup+1.50018 s]
/proc/loadavg: 4.06 3.25 3.12 5/251 1060247
/proc/meminfo: memFree=127924248/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=100720 memory=34116 CPUtime=1.48 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 4840 0 0 0 148 0 0 0 20 0 1 0 199215549 103137280 8529 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 25180 8529 4107 3002 0 8929 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100720 KiB
Current children cumulated memory: 34116 KiB
[startup+3.10538 s]
/proc/loadavg: 4.05 3.27 3.13 4/252 1060279
/proc/meminfo: memFree=127941556/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=106124 memory=38192 CPUtime=3.08 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 6033 0 0 0 307 1 0 0 20 0 1 0 199215549 108670976 9548 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 26531 9548 4107 3002 0 10280 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106124 KiB
Current children cumulated memory: 38192 KiB
[startup+6.30019 s]
/proc/loadavg: 4.05 3.27 3.13 5/257 1060343
/proc/meminfo: memFree=128003752/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=110444 memory=43940 CPUtime=6.26 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 7515 0 0 0 625 1 0 0 20 0 1 0 199215549 113094656 10985 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 27611 10985 4107 3002 0 11360 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 110444 KiB
Current children cumulated memory: 43940 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 3.28 3.13 5/257 1060344
/proc/meminfo: memFree=127944488/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=117424 memory=51556 CPUtime=12.63 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 9497 0 0 0 1262 1 0 0 20 0 1 0 199215549 120242176 12889 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 29356 12889 4107 3002 0 13105 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 51556 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 3.33 3.15 5/254 1060346
/proc/meminfo: memFree=127872144/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=130252 memory=64096 CPUtime=25.39 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 12623 0 0 0 2537 2 0 0 20 0 1 0 199215549 133378048 16024 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 32563 16024 4107 3002 0 16312 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 130252 KiB
Current children cumulated memory: 64096 KiB
[startup+51.105 s]
/proc/loadavg: 4.07 3.39 3.18 5/254 1060352
/proc/meminfo: memFree=127714328/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=138876 memory=78904 CPUtime=50.88 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 15126 0 0 0 5086 2 0 0 20 0 1 0 199215549 142209024 19726 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 34719 19726 4237 3002 0 18468 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 138876 KiB
Current children cumulated memory: 78904 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.50 3.23 5/255 1060361
/proc/meminfo: memFree=127521784/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=147024 memory=87100 CPUtime=101.86 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 17228 0 0 0 10183 3 0 0 20 0 1 0 199215549 150552576 21775 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 36756 21775 4237 3002 0 20505 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 147024 KiB
Current children cumulated memory: 87100 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.62 3.29 5/255 1060371
/proc/meminfo: memFree=127337436/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=150980 memory=90712 CPUtime=161.6 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 18169 0 0 0 16157 3 0 0 20 0 1 0 199215549 154603520 22678 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 37745 22678 4237 3002 0 21494 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 150980 KiB
Current children cumulated memory: 90712 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.71 3.34 5/255 1060381
/proc/meminfo: memFree=127188948/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=150980 memory=90892 CPUtime=221.34 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 18265 0 0 0 22131 3 0 0 20 0 1 0 199215549 154603520 22723 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 37745 22723 4237 3002 0 21494 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 150980 KiB
Current children cumulated memory: 90892 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 3.79 3.39 5/255 1060392
/proc/meminfo: memFree=127066408/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=153804 memory=93448 CPUtime=281.08 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 18914 0 0 0 28105 3 0 0 20 0 1 0 199215549 157495296 23362 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 38451 23362 4237 3002 0 22200 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 153804 KiB
Current children cumulated memory: 93448 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.85 3.44 5/257 1060407
/proc/meminfo: memFree=127433960/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=150136 memory=95144 CPUtime=340.89 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 23631 0 0 0 34037 52 0 0 20 0 1 0 199215549 153739264 23786 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 37534 23786 4348 3002 0 21283 0
Current children cumulated CPU time: 340.89 s
Current children cumulated vsize: 150136 KiB
Current children cumulated memory: 95144 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.89 3.48 5/257 1060418
/proc/meminfo: memFree=127419580/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=152856 memory=96132 CPUtime=400.71 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 23901 0 0 0 39975 96 0 0 20 0 1 0 199215549 156524544 24033 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 38214 24033 4348 3002 0 21963 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 152856 KiB
Current children cumulated memory: 96132 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.94 3.53 5/257 1060429
/proc/meminfo: memFree=127406872/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=152856 memory=96860 CPUtime=460.54 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 24151 0 0 0 45918 136 0 0 20 0 1 0 199215549 156524544 24215 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 38214 24215 4348 3002 0 21963 0
################
# More data... #
################
Current children cumulated memory: 107056 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 1062053
/proc/meminfo: memFree=127328300/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=2913.55 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26193 0 0 0 290452 903 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 2913.55 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 1062065
/proc/meminfo: memFree=127327836/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=2973.4 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26228 0 0 0 296425 915 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 2973.4 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 1062076
/proc/meminfo: memFree=127327308/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3033.25 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26263 0 0 0 302398 927 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3033.25 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/254 1062086
/proc/meminfo: memFree=127327088/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3093.1 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26298 0 0 0 308372 938 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3093.1 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 1062097
/proc/meminfo: memFree=127326444/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3152.95 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26333 0 0 0 314346 949 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3152.95 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 1062108
/proc/meminfo: memFree=127325896/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3212.8 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26368 0 0 0 320320 960 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3212.8 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 1062118
/proc/meminfo: memFree=127324496/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3272.65 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26407 0 0 0 326295 970 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3272.65 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1062133
/proc/meminfo: memFree=127324128/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3332.5 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26442 0 0 0 332269 981 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3332.5 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 1062143
/proc/meminfo: memFree=127323736/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3392.34 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26477 0 0 0 338242 992 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3392.34 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1062153
/proc/meminfo: memFree=127321340/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3452.2 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26510 0 0 0 344215 1005 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3452.2 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
[startup+3522.3 s]
/proc/loadavg: 4.48 4.21 4.12 5/256 1062164
/proc/meminfo: memFree=127318728/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3512.04 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26546 0 0 0 350187 1017 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3512.04 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/256 1062175
/proc/meminfo: memFree=127318392/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3571.9 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26579 0 0 0 356161 1029 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.28 4.20 4.12 5/256 1062180
/proc/meminfo: memFree=127317908/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3600.03 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26582 0 0 0 358969 1034 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 1060246 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.7 s, system=10.3445 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.28 4.20 4.12 5/256 1062180
/proc/meminfo: memFree=127317908/131524600 swapFree=131070704/131071996
[pid=1060246] ppid=1060243 vsize=164456 memory=107056 CPUtime=3600.03 cores=5,7
/proc/1060246/stat : 1060246 (mixed-bag) R 1060243 1060246 1060031 0 -1 4194304 26582 0 0 0 358969 1034 0 0 20 0 1 0 199215549 168402944 26764 134679101440 4194304 16488053 140733681046880 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40296448 140733681050645 140733681050722 140733681050722 140733681057739 0
/proc/1060246/statm: 41114 26764 4348 3002 0 24863 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 164456 KiB
Current children cumulated memory: 107056 KiB
Child status: 0
Real time (s): 3610.5
CPU time (s): 3600.04
CPU user time (s): 3589.7
CPU system time (s): 10.3445
CPU usage (%): 99.7102
Max. virtual memory (cumulated for all children) (KiB): 171692
Max. memory (cumulated for all children) (KiB): 110520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.7
system time used= 10.3445
maximum resident set size= 110520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26600
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= 52
involuntary context switches= 1309
# summary of solver processes directly reported to runsolver:
# pid: 1060246
# total CPU time (s): 3600.04
# total CPU user time (s): 3589.7
# total CPU system time (s): 10.3445
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.58279 second user time and 16.1498 second system time
The end
Begin job on nodeC023 at 2024-07-20 12:15:18
IDJOB=4454758
IDBENCH=147580
IDSOLVER=3083
FILE ID=nodeC023/4454758-1721470506
RUNJOBID= nodeC023-1721470207-1060044
SLURM_JOB_ID= 7545734
Free space on /tmp= 889864 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454758-1721470506/watcher-4454758-1721470506 -o /tmp/evaluation-result-4454758-1721470506/solver-4454758-1721470506 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721470207-1060044 --watchdog 3760 mixed-bag HOME/instance-4454758-1721470506.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9
RANDOM SEED=395340864
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.219
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3682.838
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.897
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3616.696
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.239
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.132
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.087
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.398
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127941908 kB
MemAvailable: 129753076 kB
Buffers: 603112 kB
Cached: 2051120 kB
SwapCached: 80 kB
Active: 1481956 kB
Inactive: 1547796 kB
Active(anon): 1588 kB
Inactive(anon): 419656 kB
Active(file): 1480368 kB
Inactive(file): 1128140 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 17044 kB
Writeback: 68 kB
AnonPages: 375496 kB
Mapped: 107076 kB
Shmem: 45728 kB
KReclaimable: 84968 kB
Slab: 177276 kB
SReclaimable: 84968 kB
SUnreclaim: 92308 kB
KernelStack: 3984 kB
PageTables: 9992 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 685768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC023 at 2024-07-20 13:15:29