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.74/300.08 c [STEP] preprocessing done, loading into solver
298.74/300.08 c [STEP] solving
298.74/300.08 c #variables 121 #constraints 10
298.74/300.08 c SMALL=int, LARGE=long long
298.74/300.08 c bounds - >= 0 @ 298.787
298.74/300.08 c stratification level: 1
312.01/313.39 c #Conflicts: 1000 | #Constraints: 1010
312.01/313.39 c #Conflicts: 2000 | #Constraints: 2010
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 3000 | #Constraints: 2014
312.01/313.39 c #Conflicts: 4000 | #Constraints: 3014
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 5000 | #Constraints: 2416
312.01/313.39 c #Conflicts: 6000 | #Constraints: 3416
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 7000 | #Constraints: 2418
312.01/313.39 c #Conflicts: 8000 | #Constraints: 3418
312.01/313.39 c #Conflicts: 9000 | #Constraints: 4418
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 10000 | #Constraints: 3119
312.01/313.39 c #Conflicts: 11000 | #Constraints: 4119
312.01/313.39 c #Conflicts: 12000 | #Constraints: 5119
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 13000 | #Constraints: 3571
312.01/313.39 c #Conflicts: 14000 | #Constraints: 4571
312.01/313.39 c #Conflicts: 15000 | #Constraints: 5571
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 16000 | #Constraints: 3797
312.01/313.39 c #Conflicts: 17000 | #Constraints: 4797
312.01/313.39 c #Conflicts: 18000 | #Constraints: 5797
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 19000 | #Constraints: 3810
312.01/313.39 c #Conflicts: 20000 | #Constraints: 4810
312.01/313.39 c #Conflicts: 21000 | #Constraints: 5810
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 22000 | #Constraints: 3614
312.01/313.39 c #Conflicts: 23000 | #Constraints: 4614
312.01/313.39 c #Conflicts: 24000 | #Constraints: 5614
312.01/313.39 c #Conflicts: 25000 | #Constraints: 6614
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 26000 | #Constraints: 4219
312.01/313.39 c #Conflicts: 27000 | #Constraints: 5219
312.01/313.39 c #Conflicts: 28000 | #Constraints: 6219
312.01/313.39 c #Conflicts: 29000 | #Constraints: 7219
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 30000 | #Constraints: 4619
312.01/313.39 c #Conflicts: 31000 | #Constraints: 5619
312.01/313.39 c #Conflicts: 32000 | #Constraints: 6619
312.01/313.39 c #Conflicts: 33000 | #Constraints: 7619
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 34000 | #Constraints: 4822
312.01/313.39 c #Conflicts: 35000 | #Constraints: 5822
312.01/313.39 c #Conflicts: 36000 | #Constraints: 6822
312.01/313.39 c #Conflicts: 37000 | #Constraints: 7822
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 38000 | #Constraints: 4822
312.01/313.39 c #Conflicts: 39000 | #Constraints: 5822
312.01/313.39 c #Conflicts: 40000 | #Constraints: 6822
312.01/313.39 c #Conflicts: 41000 | #Constraints: 7822
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 42000 | #Constraints: 4623
312.01/313.39 c #Conflicts: 43000 | #Constraints: 5623
312.01/313.39 c #Conflicts: 44000 | #Constraints: 6623
312.01/313.39 c #Conflicts: 45000 | #Constraints: 7623
312.01/313.39 c #Conflicts: 46000 | #Constraints: 8623
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 47000 | #Constraints: 5221
312.01/313.39 c #Conflicts: 48000 | #Constraints: 6221
312.01/313.39 c #Conflicts: 49000 | #Constraints: 7221
312.01/313.39 c #Conflicts: 50000 | #Constraints: 8221
312.01/313.39 c #Conflicts: 51000 | #Constraints: 9221
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 52000 | #Constraints: 5622
312.01/313.39 c #Conflicts: 53000 | #Constraints: 6622
312.01/313.39 c #Conflicts: 54000 | #Constraints: 7622
312.01/313.39 c #Conflicts: 55000 | #Constraints: 8622
312.01/313.39 c #Conflicts: 56000 | #Constraints: 9622
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 57000 | #Constraints: 5819
312.01/313.39 c #Conflicts: 58000 | #Constraints: 6819
312.01/313.39 c #Conflicts: 59000 | #Constraints: 7819
312.01/313.39 c #Conflicts: 60000 | #Constraints: 8819
312.01/313.39 c #Conflicts: 61000 | #Constraints: 9819
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 62000 | #Constraints: 5821
312.01/313.39 c #Conflicts: 63000 | #Constraints: 6821
312.01/313.39 c #Conflicts: 64000 | #Constraints: 7821
312.01/313.39 c #Conflicts: 65000 | #Constraints: 8821
312.01/313.39 c #Conflicts: 66000 | #Constraints: 9821
312.01/313.39 c INPROCESSING
312.01/313.39 c GARBAGE COLLECT
312.01/313.39 c #Conflicts: 67000 | #Constraints: 5621
312.01/313.39 c #Conflicts: 68000 | #Constraints: 6621
337.15/338.54 c #Conflicts: 69000 | #Constraints: 7621
337.15/338.54 c #Conflicts: 70000 | #Constraints: 8621
337.15/338.54 c #Conflicts: 71000 | #Constraints: 9621
337.15/338.54 c #Conflicts: 72000 | #Constraints: 10621
337.15/338.54 c INPROCESSING
337.15/338.54 c GARBAGE COLLECT
337.15/338.54 c #Conflicts: 73000 | #Constraints: 6220
337.15/338.54 c #Conflicts: 74000 | #Constraints: 7220
337.15/338.54 c #Conflicts: 75000 | #Constraints: 8220
337.15/338.54 c #Conflicts: 76000 | #Constraints: 9220
337.15/338.54 c #Conflicts: 77000 | #Constraints: 10220
337.15/338.54 c #Conflicts: 78000 | #Constraints: 11220
337.15/338.54 c INPROCESSING
337.15/338.54 c GARBAGE COLLECT
337.15/338.54 c #Conflicts: 79000 | #Constraints: 6621
337.15/338.54 c #Conflicts: 80000 | #Constraints: 7621
337.15/338.54 c #Conflicts: 81000 | #Constraints: 8621
337.15/338.54 c #Conflicts: 82000 | #Constraints: 9621
337.15/338.54 c #Conflicts: 83000 | #Constraints: 10621
337.15/338.54 c #Conflicts: 84000 | #Constraints: 11621
337.15/338.54 c INPROCESSING
337.15/338.54 c GARBAGE COLLECT
337.15/338.54 c #Conflicts: 85000 | #Constraints: 6820
337.15/338.54 c #Conflicts: 86000 | #Constraints: 7820
337.15/338.54 c #Conflicts: 87000 | #Constraints: 8820
337.15/338.54 c #Conflicts: 88000 | #Constraints: 9820
337.15/338.54 c #Conflicts: 89000 | #Constraints: 10820
337.15/338.54 c #Conflicts: 90000 | #Constraints: 11820
337.15/338.54 c INPROCESSING
337.15/338.54 c GARBAGE COLLECT
337.15/338.54 c #Conflicts: 91000 | #Constraints: 6820
337.15/338.54 c #Conflicts: 92000 | #Constraints: 7820
337.15/338.54 c #Conflicts: 93000 | #Constraints: 8820
337.15/338.54 c #Conflicts: 94000 | #Constraints: 9820
337.15/338.54 c #Conflicts: 95000 | #Constraints: 10820
337.15/338.54 c #Conflicts: 96000 | #Constraints: 11820
337.15/338.54 c INPROCESSING
337.15/338.54 c GARBAGE COLLECT
337.15/338.54 c #Conflicts: 97000 | #Constraints: 6620
337.15/338.54 c #Conflicts: 98000 | #Constraints: 7620
337.15/338.54 c #Conflicts: 99000 | #Constraints: 8620
337.15/338.54 c #Conflicts: 100000 | #Constraints: 9620
337.15/338.54 c #Conflicts: 101000 | #Constraints: 10620
337.15/338.54 c #Conflicts: 102000 | #Constraints: 11620
337.15/338.54 c #Conflicts: 103000 | #Constraints: 12620
337.15/338.54 c INPROCESSING
337.15/338.54 c GARBAGE COLLECT
337.15/338.54 c #Conflicts: 104000 | #Constraints: 7221
337.15/338.54 c #Conflicts: 105000 | #Constraints: 8221
337.15/338.54 c #Conflicts: 106000 | #Constraints: 9221
337.15/338.54 c #Conflicts: 107000 | #Constraints: 10221
337.15/338.54 c #Conflicts: 108000 | #Constraints: 11221
337.15/338.54 c #Conflicts: 109000 | #Constraints: 12221
337.15/338.54 c #Conflicts: 110000 | #Constraints: 13221
337.15/338.54 c INPROCESSING
337.15/338.54 c GARBAGE COLLECT
337.15/338.54 c #Conflicts: 111000 | #Constraints: 7620
337.15/338.54 c #Conflicts: 112000 | #Constraints: 8620
337.15/338.54 c #Conflicts: 113000 | #Constraints: 9620
337.15/338.54 c #Conflicts: 114000 | #Constraints: 10620
337.15/338.54 c #Conflicts: 115000 | #Constraints: 11620
337.15/338.54 c #Conflicts: 116000 | #Constraints: 12620
337.15/338.54 c #Conflicts: 117000 | #Constraints: 13620
337.15/338.54 c INPROCESSING
337.15/338.54 c GARBAGE COLLECT
337.15/338.54 c #Conflicts: 118000 | #Constraints: 7818
337.15/338.54 c #Conflicts: 119000 | #Constraints: 8818
337.15/338.54 c #Conflicts: 120000 | #Constraints: 9818
337.15/338.54 c #Conflicts: 121000 | #Constraints: 10818
337.15/338.54 c #Conflicts: 122000 | #Constraints: 11818
337.15/338.54 c #Conflicts: 123000 | #Constraints: 12818
337.15/338.54 c #Conflicts: 124000 | #Constraints: 13818
337.15/338.54 c INPROCESSING
337.15/338.54 c GARBAGE COLLECT
337.15/338.54 c #Conflicts: 125000 | #Constraints: 7819
337.15/338.54 c #Conflicts: 126000 | #Constraints: 8819
337.15/338.54 c #Conflicts: 127000 | #Constraints: 9819
337.15/338.54 c #Conflicts: 128000 | #Constraints: 10819
337.15/338.54 c #Conflicts: 129000 | #Constraints: 11819
337.15/338.54 c #Conflicts: 130000 | #Constraints: 12819
337.15/338.54 c #Conflicts: 131000 | #Constraints: 13819
337.15/338.54 c INPROCESSING
337.15/338.54 c GARBAGE COLLECT
337.15/338.54 c #Conflicts: 132000 | #Constraints: 7620
337.15/338.54 c #Conflicts: 133000 | #Constraints: 8620
337.15/338.54 c #Conflicts: 134000 | #Constraints: 9620
337.15/338.54 c #Conflicts: 135000 | #Constraints: 10620
337.15/338.54 c #Conflicts: 136000 | #Constraints: 11620
337.15/338.54 c #Conflicts: 137000 | #Constraints: 12620
337.15/338.54 c #Conflicts: 138000 | #Constraints: 13620
337.15/338.54 c #Conflicts: 139000 | #Constraints: 14620
337.15/338.54 c INPROCESSING
337.15/338.54 c GARBAGE COLLECT
337.15/338.54 c #Conflicts: 140000 | #Constraints: 8220
371.17/372.60 c #Conflicts: 141000 | #Constraints: 9220
371.17/372.60 c #Conflicts: 142000 | #Constraints: 10220
371.17/372.60 c #Conflicts: 143000 | #Constraints: 11220
371.17/372.60 c #Conflicts: 144000 | #Constraints: 12220
371.17/372.60 c #Conflicts: 145000 | #Constraints: 13220
371.17/372.60 c #Conflicts: 146000 | #Constraints: 14220
371.17/372.60 c #Conflicts: 147000 | #Constraints: 15220
371.17/372.60 c INPROCESSING
371.17/372.60 c GARBAGE COLLECT
371.17/372.60 c #Conflicts: 148000 | #Constraints: 8624
371.17/372.60 c #Conflicts: 149000 | #Constraints: 9624
371.17/372.60 c #Conflicts: 150000 | #Constraints: 10624
371.17/372.60 c #Conflicts: 151000 | #Constraints: 11624
371.17/372.60 c #Conflicts: 152000 | #Constraints: 12624
371.17/372.60 c #Conflicts: 153000 | #Constraints: 13624
371.17/372.60 c #Conflicts: 154000 | #Constraints: 14624
371.17/372.60 c #Conflicts: 155000 | #Constraints: 15624
371.17/372.60 c INPROCESSING
371.17/372.60 c GARBAGE COLLECT
371.17/372.60 c #Conflicts: 156000 | #Constraints: 8823
371.17/372.60 c #Conflicts: 157000 | #Constraints: 9823
371.17/372.60 c #Conflicts: 158000 | #Constraints: 10823
371.17/372.60 c #Conflicts: 159000 | #Constraints: 11823
371.17/372.60 c #Conflicts: 160000 | #Constraints: 12823
371.17/372.60 c #Conflicts: 161000 | #Constraints: 13823
371.17/372.60 c #Conflicts: 162000 | #Constraints: 14823
371.17/372.60 c #Conflicts: 163000 | #Constraints: 15823
371.17/372.60 c INPROCESSING
371.17/372.60 c GARBAGE COLLECT
371.17/372.60 c #Conflicts: 164000 | #Constraints: 8822
371.17/372.60 c #Conflicts: 165000 | #Constraints: 9822
371.17/372.60 c #Conflicts: 166000 | #Constraints: 10822
371.17/372.60 c #Conflicts: 167000 | #Constraints: 11822
371.17/372.60 c #Conflicts: 168000 | #Constraints: 12822
371.17/372.60 c #Conflicts: 169000 | #Constraints: 13822
371.17/372.60 c #Conflicts: 170000 | #Constraints: 14822
371.17/372.60 c #Conflicts: 171000 | #Constraints: 15822
371.17/372.60 c INPROCESSING
371.17/372.60 c GARBAGE COLLECT
371.17/372.60 c #Conflicts: 172000 | #Constraints: 8621
371.17/372.60 c #Conflicts: 173000 | #Constraints: 9621
371.17/372.60 c #Conflicts: 174000 | #Constraints: 10621
371.17/372.60 c #Conflicts: 175000 | #Constraints: 11621
371.17/372.60 c #Conflicts: 176000 | #Constraints: 12621
371.17/372.60 c #Conflicts: 177000 | #Constraints: 13621
371.17/372.60 c #Conflicts: 178000 | #Constraints: 14621
371.17/372.60 c #Conflicts: 179000 | #Constraints: 15621
371.17/372.60 c #Conflicts: 180000 | #Constraints: 16621
371.17/372.60 c INPROCESSING
371.17/372.60 c GARBAGE COLLECT
371.17/372.60 c #Conflicts: 181000 | #Constraints: 9219
371.17/372.60 c #Conflicts: 182000 | #Constraints: 10219
371.17/372.60 c #Conflicts: 183000 | #Constraints: 11219
371.17/372.60 c #Conflicts: 184000 | #Constraints: 12219
371.17/372.60 c #Conflicts: 185000 | #Constraints: 13219
371.17/372.60 c #Conflicts: 186000 | #Constraints: 14219
371.17/372.60 c #Conflicts: 187000 | #Constraints: 15219
371.17/372.60 c #Conflicts: 188000 | #Constraints: 16219
371.17/372.60 c #Conflicts: 189000 | #Constraints: 17219
371.17/372.60 c INPROCESSING
371.17/372.60 c GARBAGE COLLECT
371.17/372.60 c #Conflicts: 190000 | #Constraints: 9621
371.17/372.60 c #Conflicts: 191000 | #Constraints: 10621
371.17/372.60 c #Conflicts: 192000 | #Constraints: 11621
371.17/372.60 c #Conflicts: 193000 | #Constraints: 12621
371.17/372.60 c #Conflicts: 194000 | #Constraints: 13621
371.17/372.60 c #Conflicts: 195000 | #Constraints: 14621
371.17/372.60 c #Conflicts: 196000 | #Constraints: 15621
371.17/372.60 c #Conflicts: 197000 | #Constraints: 16621
371.17/372.60 c #Conflicts: 198000 | #Constraints: 17621
371.17/372.60 c INPROCESSING
371.17/372.60 c GARBAGE COLLECT
371.17/372.60 c #Conflicts: 199000 | #Constraints: 9822
371.17/372.60 c #Conflicts: 200000 | #Constraints: 10822
371.17/372.60 c #Conflicts: 201000 | #Constraints: 11822
371.17/372.60 c #Conflicts: 202000 | #Constraints: 12822
371.17/372.60 c #Conflicts: 203000 | #Constraints: 13822
371.17/372.60 c #Conflicts: 204000 | #Constraints: 14822
371.17/372.60 c #Conflicts: 205000 | #Constraints: 15822
371.17/372.60 c #Conflicts: 206000 | #Constraints: 16822
371.17/372.60 c #Conflicts: 207000 | #Constraints: 17822
371.17/372.60 c INPROCESSING
371.17/372.60 c GARBAGE COLLECT
371.17/372.60 c #Conflicts: 208000 | #Constraints: 9822
371.17/372.60 c #Conflicts: 209000 | #Constraints: 10822
371.17/372.60 c #Conflicts: 210000 | #Constraints: 11822
371.17/372.60 c #Conflicts: 211000 | #Constraints: 12822
371.17/372.60 c #Conflicts: 212000 | #Constraints: 13822
371.17/372.60 c #Conflicts: 213000 | #Constraints: 14822
413.69/415.28 c #Conflicts: 214000 | #Constraints: 15822
413.69/415.28 c #Conflicts: 215000 | #Constraints: 16822
413.69/415.28 c #Conflicts: 216000 | #Constraints: 17822
413.69/415.28 c INPROCESSING
413.69/415.28 c GARBAGE COLLECT
413.69/415.28 c #Conflicts: 217000 | #Constraints: 9621
413.69/415.28 c #Conflicts: 218000 | #Constraints: 10621
413.69/415.28 c #Conflicts: 219000 | #Constraints: 11621
413.69/415.28 c #Conflicts: 220000 | #Constraints: 12621
413.69/415.28 c #Conflicts: 221000 | #Constraints: 13621
413.69/415.28 c #Conflicts: 222000 | #Constraints: 14621
413.69/415.28 c #Conflicts: 223000 | #Constraints: 15621
413.69/415.28 c #Conflicts: 224000 | #Constraints: 16621
413.69/415.28 c #Conflicts: 225000 | #Constraints: 17621
413.69/415.28 c #Conflicts: 226000 | #Constraints: 18621
413.69/415.28 c INPROCESSING
413.69/415.28 c GARBAGE COLLECT
413.69/415.28 c #Conflicts: 227000 | #Constraints: 10221
413.69/415.28 c #Conflicts: 228000 | #Constraints: 11221
413.69/415.28 c #Conflicts: 229000 | #Constraints: 12221
413.69/415.28 c #Conflicts: 230000 | #Constraints: 13221
413.69/415.28 c #Conflicts: 231000 | #Constraints: 14221
413.69/415.28 c #Conflicts: 232000 | #Constraints: 15221
413.69/415.28 c #Conflicts: 233000 | #Constraints: 16221
413.69/415.28 c #Conflicts: 234000 | #Constraints: 17221
413.69/415.28 c #Conflicts: 235000 | #Constraints: 18221
413.69/415.28 c #Conflicts: 236000 | #Constraints: 19221
413.69/415.28 c INPROCESSING
413.69/415.28 c GARBAGE COLLECT
413.69/415.28 c #Conflicts: 237000 | #Constraints: 10619
413.69/415.28 c #Conflicts: 238000 | #Constraints: 11619
413.69/415.28 c #Conflicts: 239000 | #Constraints: 12619
413.69/415.28 c #Conflicts: 240000 | #Constraints: 13619
413.69/415.28 c #Conflicts: 241000 | #Constraints: 14619
413.69/415.28 c #Conflicts: 242000 | #Constraints: 15619
413.69/415.28 c #Conflicts: 243000 | #Constraints: 16619
413.69/415.28 c #Conflicts: 244000 | #Constraints: 17619
413.69/415.28 c #Conflicts: 245000 | #Constraints: 18619
413.69/415.28 c #Conflicts: 246000 | #Constraints: 19619
413.69/415.28 c INPROCESSING
413.69/415.28 c GARBAGE COLLECT
413.69/415.28 c #Conflicts: 247000 | #Constraints: 10821
413.69/415.28 c #Conflicts: 248000 | #Constraints: 11821
413.69/415.28 c #Conflicts: 249000 | #Constraints: 12821
413.69/415.28 c #Conflicts: 250000 | #Constraints: 13821
413.69/415.28 c #Conflicts: 251000 | #Constraints: 14821
413.69/415.28 c #Conflicts: 252000 | #Constraints: 15821
413.69/415.28 c #Conflicts: 253000 | #Constraints: 16821
413.69/415.28 c #Conflicts: 254000 | #Constraints: 17821
413.69/415.28 c #Conflicts: 255000 | #Constraints: 18821
413.69/415.28 c #Conflicts: 256000 | #Constraints: 19821
413.69/415.28 c INPROCESSING
413.69/415.28 c GARBAGE COLLECT
413.69/415.28 c #Conflicts: 257000 | #Constraints: 10822
413.69/415.28 c #Conflicts: 258000 | #Constraints: 11822
413.69/415.28 c #Conflicts: 259000 | #Constraints: 12822
413.69/415.28 c #Conflicts: 260000 | #Constraints: 13822
413.69/415.28 c #Conflicts: 261000 | #Constraints: 14822
413.69/415.28 c #Conflicts: 262000 | #Constraints: 15822
413.69/415.28 c #Conflicts: 263000 | #Constraints: 16822
413.69/415.28 c #Conflicts: 264000 | #Constraints: 17822
413.69/415.28 c #Conflicts: 265000 | #Constraints: 18822
413.69/415.28 c #Conflicts: 266000 | #Constraints: 19822
413.69/415.28 c INPROCESSING
413.69/415.28 c GARBAGE COLLECT
413.69/415.28 c #Conflicts: 267000 | #Constraints: 10622
413.69/415.28 c #Conflicts: 268000 | #Constraints: 11622
413.69/415.28 c #Conflicts: 269000 | #Constraints: 12622
413.69/415.28 c #Conflicts: 270000 | #Constraints: 13622
413.69/415.28 c #Conflicts: 271000 | #Constraints: 14622
413.69/415.28 c #Conflicts: 272000 | #Constraints: 15622
413.69/415.28 c #Conflicts: 273000 | #Constraints: 16622
413.69/415.28 c #Conflicts: 274000 | #Constraints: 17622
413.69/415.28 c #Conflicts: 275000 | #Constraints: 18622
413.69/415.28 c #Conflicts: 276000 | #Constraints: 19622
413.69/415.28 c #Conflicts: 277000 | #Constraints: 20622
413.69/415.28 c INPROCESSING
413.69/415.28 c GARBAGE COLLECT
413.69/415.28 c #Conflicts: 278000 | #Constraints: 11221
413.69/415.28 c #Conflicts: 279000 | #Constraints: 12221
413.69/415.28 c #Conflicts: 280000 | #Constraints: 13221
413.69/415.28 c #Conflicts: 281000 | #Constraints: 14221
413.69/415.28 c #Conflicts: 282000 | #Constraints: 15221
413.69/415.28 c #Conflicts: 283000 | #Constraints: 16221
413.69/415.28 c #Conflicts: 284000 | #Constraints: 17221
413.69/415.28 c #Conflicts: 285000 | #Constraints: 18221
413.69/415.28 c #Conflicts: 286000 | #Constraints: 19221
413.69/415.28 c #Conflicts: 287000 | #Constraints: 20221
413.69/415.28 c #Conflicts: 288000 | #Constraints: 21221
462.67/464.34 c INPROCESSING
462.67/464.34 c GARBAGE COLLECT
462.67/464.34 c #Conflicts: 289000 | #Constraints: 11620
462.67/464.34 c #Conflicts: 290000 | #Constraints: 12620
462.67/464.34 c #Conflicts: 291000 | #Constraints: 13620
462.67/464.34 c #Conflicts: 292000 | #Constraints: 14620
462.67/464.34 c #Conflicts: 293000 | #Constraints: 15620
462.67/464.34 c #Conflicts: 294000 | #Constraints: 16620
462.67/464.34 c #Conflicts: 295000 | #Constraints: 17620
462.67/464.34 c #Conflicts: 296000 | #Constraints: 18620
462.67/464.34 c #Conflicts: 297000 | #Constraints: 19620
462.67/464.34 c #Conflicts: 298000 | #Constraints: 20620
462.67/464.34 c #Conflicts: 299000 | #Constraints: 21620
462.67/464.34 c INPROCESSING
462.67/464.34 c GARBAGE COLLECT
462.67/464.34 c #Conflicts: 300000 | #Constraints: 11824
462.67/464.34 c #Conflicts: 301000 | #Constraints: 12824
462.67/464.34 c #Conflicts: 302000 | #Constraints: 13824
462.67/464.34 c #Conflicts: 303000 | #Constraints: 14824
462.67/464.34 c #Conflicts: 304000 | #Constraints: 15824
462.67/464.34 c #Conflicts: 305000 | #Constraints: 16824
462.67/464.34 c #Conflicts: 306000 | #Constraints: 17824
462.67/464.34 c #Conflicts: 307000 | #Constraints: 18824
462.67/464.34 c #Conflicts: 308000 | #Constraints: 19824
462.67/464.34 c #Conflicts: 309000 | #Constraints: 20824
462.67/464.34 c #Conflicts: 310000 | #Constraints: 21824
462.67/464.34 c INPROCESSING
462.67/464.34 c GARBAGE COLLECT
462.67/464.34 c #Conflicts: 311000 | #Constraints: 11824
462.67/464.34 c #Conflicts: 312000 | #Constraints: 12824
462.67/464.34 c #Conflicts: 313000 | #Constraints: 13824
462.67/464.34 c #Conflicts: 314000 | #Constraints: 14824
462.67/464.34 c #Conflicts: 315000 | #Constraints: 15824
462.67/464.34 c #Conflicts: 316000 | #Constraints: 16824
462.67/464.34 c #Conflicts: 317000 | #Constraints: 17824
462.67/464.34 c #Conflicts: 318000 | #Constraints: 18824
462.67/464.34 c #Conflicts: 319000 | #Constraints: 19824
462.67/464.34 c #Conflicts: 320000 | #Constraints: 20824
462.67/464.34 c #Conflicts: 321000 | #Constraints: 21824
462.67/464.34 c INPROCESSING
462.67/464.34 c GARBAGE COLLECT
462.67/464.34 c #Conflicts: 322000 | #Constraints: 11622
462.67/464.34 c #Conflicts: 323000 | #Constraints: 12622
462.67/464.34 c #Conflicts: 324000 | #Constraints: 13622
462.67/464.34 c #Conflicts: 325000 | #Constraints: 14622
462.67/464.34 c #Conflicts: 326000 | #Constraints: 15622
462.67/464.34 c #Conflicts: 327000 | #Constraints: 16622
462.67/464.34 c #Conflicts: 328000 | #Constraints: 17622
462.67/464.34 c #Conflicts: 329000 | #Constraints: 18622
462.67/464.34 c #Conflicts: 330000 | #Constraints: 19622
462.67/464.34 c #Conflicts: 331000 | #Constraints: 20622
462.67/464.34 c #Conflicts: 332000 | #Constraints: 21622
462.67/464.34 c #Conflicts: 333000 | #Constraints: 22622
462.67/464.34 c INPROCESSING
462.67/464.34 c GARBAGE COLLECT
462.67/464.34 c #Conflicts: 334000 | #Constraints: 12221
462.67/464.34 c #Conflicts: 335000 | #Constraints: 13221
462.67/464.34 c #Conflicts: 336000 | #Constraints: 14221
462.67/464.34 c #Conflicts: 337000 | #Constraints: 15221
462.67/464.34 c #Conflicts: 338000 | #Constraints: 16221
462.67/464.34 c #Conflicts: 339000 | #Constraints: 17221
462.67/464.34 c #Conflicts: 340000 | #Constraints: 18221
462.67/464.34 c #Conflicts: 341000 | #Constraints: 19221
462.67/464.34 c #Conflicts: 342000 | #Constraints: 20221
462.67/464.34 c #Conflicts: 343000 | #Constraints: 21221
462.67/464.34 c #Conflicts: 344000 | #Constraints: 22221
462.67/464.34 c #Conflicts: 345000 | #Constraints: 23221
462.67/464.34 c INPROCESSING
462.67/464.34 c GARBAGE COLLECT
462.67/464.34 c #Conflicts: 346000 | #Constraints: 12620
462.67/464.34 c #Conflicts: 347000 | #Constraints: 13620
462.67/464.34 c #Conflicts: 348000 | #Constraints: 14620
462.67/464.34 c #Conflicts: 349000 | #Constraints: 15620
462.67/464.34 c #Conflicts: 350000 | #Constraints: 16620
462.67/464.34 c #Conflicts: 351000 | #Constraints: 17620
462.67/464.34 c #Conflicts: 352000 | #Constraints: 18620
462.67/464.34 c #Conflicts: 353000 | #Constraints: 19620
462.67/464.34 c #Conflicts: 354000 | #Constraints: 20620
462.67/464.34 c #Conflicts: 355000 | #Constraints: 21620
462.67/464.34 c #Conflicts: 356000 | #Constraints: 22620
462.67/464.34 c #Conflicts: 357000 | #Constraints: 23620
462.67/464.34 c INPROCESSING
462.67/464.34 c GARBAGE COLLECT
462.67/464.34 c #Conflicts: 358000 | #Constraints: 12819
462.67/464.34 c #Conflicts: 359000 | #Constraints: 13819
462.67/464.34 c #Conflicts: 360000 | #Constraints: 14819
462.67/464.34 c #Conflicts: 361000 | #Constraints: 15819
462.67/464.34 c #Conflicts: 362000 | #Constraints: 16819
517.26/519.06 c #Conflicts: 363000 | #Constraints: 17819
517.26/519.06 c #Conflicts: 364000 | #Constraints: 18819
517.26/519.06 c #Conflicts: 365000 | #Constraints: 19819
517.26/519.06 c #Conflicts: 366000 | #Constraints: 20819
517.26/519.06 c #Conflicts: 367000 | #Constraints: 21819
517.26/519.06 c #Conflicts: 368000 | #Constraints: 22819
517.26/519.06 c #Conflicts: 369000 | #Constraints: 23819
517.26/519.06 c INPROCESSING
517.26/519.06 c GARBAGE COLLECT
517.26/519.06 c #Conflicts: 370000 | #Constraints: 12822
517.26/519.06 c #Conflicts: 371000 | #Constraints: 13822
517.26/519.06 c #Conflicts: 372000 | #Constraints: 14822
517.26/519.06 c #Conflicts: 373000 | #Constraints: 15822
517.26/519.06 c #Conflicts: 374000 | #Constraints: 16822
517.26/519.06 c #Conflicts: 375000 | #Constraints: 17822
517.26/519.06 c #Conflicts: 376000 | #Constraints: 18822
517.26/519.06 c #Conflicts: 377000 | #Constraints: 19822
517.26/519.06 c #Conflicts: 378000 | #Constraints: 20822
517.26/519.06 c #Conflicts: 379000 | #Constraints: 21822
517.26/519.06 c #Conflicts: 380000 | #Constraints: 22822
517.26/519.06 c #Conflicts: 381000 | #Constraints: 23822
517.26/519.06 c INPROCESSING
517.26/519.06 c GARBAGE COLLECT
517.26/519.06 c #Conflicts: 382000 | #Constraints: 12624
517.26/519.06 c #Conflicts: 383000 | #Constraints: 13624
517.26/519.06 c #Conflicts: 384000 | #Constraints: 14624
517.26/519.06 c #Conflicts: 385000 | #Constraints: 15624
517.26/519.06 c #Conflicts: 386000 | #Constraints: 16624
517.26/519.06 c #Conflicts: 387000 | #Constraints: 17624
517.26/519.06 c #Conflicts: 388000 | #Constraints: 18624
517.26/519.06 c #Conflicts: 389000 | #Constraints: 19624
517.26/519.06 c #Conflicts: 390000 | #Constraints: 20624
517.26/519.06 c #Conflicts: 391000 | #Constraints: 21624
517.26/519.06 c #Conflicts: 392000 | #Constraints: 22624
517.26/519.06 c #Conflicts: 393000 | #Constraints: 23624
517.26/519.06 c #Conflicts: 394000 | #Constraints: 24624
517.26/519.06 c INPROCESSING
517.26/519.06 c GARBAGE COLLECT
517.26/519.06 c #Conflicts: 395000 | #Constraints: 13224
517.26/519.06 c #Conflicts: 396000 | #Constraints: 14224
517.26/519.06 c #Conflicts: 397000 | #Constraints: 15224
517.26/519.06 c #Conflicts: 398000 | #Constraints: 16224
517.26/519.06 c #Conflicts: 399000 | #Constraints: 17224
517.26/519.06 c #Conflicts: 400000 | #Constraints: 18224
517.26/519.06 c #Conflicts: 401000 | #Constraints: 19224
517.26/519.06 c #Conflicts: 402000 | #Constraints: 20224
517.26/519.06 c #Conflicts: 403000 | #Constraints: 21224
517.26/519.06 c #Conflicts: 404000 | #Constraints: 22224
517.26/519.06 c #Conflicts: 405000 | #Constraints: 23224
517.26/519.06 c #Conflicts: 406000 | #Constraints: 24224
517.26/519.06 c #Conflicts: 407000 | #Constraints: 25224
517.26/519.06 c INPROCESSING
517.26/519.06 c GARBAGE COLLECT
517.26/519.06 c #Conflicts: 408000 | #Constraints: 13622
517.26/519.06 c #Conflicts: 409000 | #Constraints: 14622
517.26/519.06 c #Conflicts: 410000 | #Constraints: 15622
517.26/519.06 c #Conflicts: 411000 | #Constraints: 16622
517.26/519.06 c #Conflicts: 412000 | #Constraints: 17622
517.26/519.06 c #Conflicts: 413000 | #Constraints: 18622
517.26/519.06 c #Conflicts: 414000 | #Constraints: 19622
517.26/519.06 c #Conflicts: 415000 | #Constraints: 20622
517.26/519.06 c #Conflicts: 416000 | #Constraints: 21622
517.26/519.06 c #Conflicts: 417000 | #Constraints: 22622
517.26/519.06 c #Conflicts: 418000 | #Constraints: 23622
517.26/519.06 c #Conflicts: 419000 | #Constraints: 24622
517.26/519.06 c #Conflicts: 420000 | #Constraints: 25622
517.26/519.06 c INPROCESSING
517.26/519.06 c GARBAGE COLLECT
517.26/519.06 c #Conflicts: 421000 | #Constraints: 13823
517.26/519.06 c #Conflicts: 422000 | #Constraints: 14823
517.26/519.06 c #Conflicts: 423000 | #Constraints: 15823
517.26/519.06 c #Conflicts: 424000 | #Constraints: 16823
517.26/519.06 c #Conflicts: 425000 | #Constraints: 17823
517.26/519.06 c #Conflicts: 426000 | #Constraints: 18823
517.26/519.06 c #Conflicts: 427000 | #Constraints: 19823
517.26/519.06 c #Conflicts: 428000 | #Constraints: 20823
517.26/519.06 c #Conflicts: 429000 | #Constraints: 21823
517.26/519.06 c #Conflicts: 430000 | #Constraints: 22823
517.26/519.06 c #Conflicts: 431000 | #Constraints: 23823
517.26/519.06 c #Conflicts: 432000 | #Constraints: 24823
517.26/519.06 c #Conflicts: 433000 | #Constraints: 25823
517.26/519.06 c INPROCESSING
517.26/519.06 c GARBAGE COLLECT
517.26/519.06 c #Conflicts: 434000 | #Constraints: 13824
517.26/519.06 c #Conflicts: 435000 | #Constraints: 14824
517.26/519.06 c #Conflicts: 436000 | #Constraints: 15824
517.26/519.06 c #Conflicts: 437000 | #Constraints: 16824
584.21/586.11 c #Conflicts: 438000 | #Constraints: 17824
584.21/586.11 c #Conflicts: 439000 | #Constraints: 18824
584.21/586.11 c #Conflicts: 440000 | #Constraints: 19824
584.21/586.11 c #Conflicts: 441000 | #Constraints: 20824
584.21/586.11 c #Conflicts: 442000 | #Constraints: 21824
584.21/586.11 c #Conflicts: 443000 | #Constraints: 22824
584.21/586.11 c #Conflicts: 444000 | #Constraints: 23824
584.21/586.11 c #Conflicts: 445000 | #Constraints: 24824
584.21/586.11 c #Conflicts: 446000 | #Constraints: 25824
584.21/586.11 c INPROCESSING
584.21/586.11 c GARBAGE COLLECT
584.21/586.11 c #Conflicts: 447000 | #Constraints: 13624
584.21/586.11 c #Conflicts: 448000 | #Constraints: 14624
584.21/586.11 c #Conflicts: 449000 | #Constraints: 15624
584.21/586.11 c #Conflicts: 450000 | #Constraints: 16624
584.21/586.11 c #Conflicts: 451000 | #Constraints: 17624
584.21/586.11 c #Conflicts: 452000 | #Constraints: 18624
584.21/586.11 c #Conflicts: 453000 | #Constraints: 19624
584.21/586.11 c #Conflicts: 454000 | #Constraints: 20624
584.21/586.11 c #Conflicts: 455000 | #Constraints: 21624
584.21/586.11 c #Conflicts: 456000 | #Constraints: 22624
584.21/586.11 c #Conflicts: 457000 | #Constraints: 23624
584.21/586.11 c #Conflicts: 458000 | #Constraints: 24624
584.21/586.11 c #Conflicts: 459000 | #Constraints: 25624
584.21/586.11 c #Conflicts: 460000 | #Constraints: 26624
584.21/586.11 c INPROCESSING
584.21/586.11 c GARBAGE COLLECT
584.21/586.11 c #Conflicts: 461000 | #Constraints: 14224
584.21/586.11 c #Conflicts: 462000 | #Constraints: 15224
584.21/586.11 c #Conflicts: 463000 | #Constraints: 16224
584.21/586.11 c #Conflicts: 464000 | #Constraints: 17224
584.21/586.11 c #Conflicts: 465000 | #Constraints: 18224
584.21/586.11 c #Conflicts: 466000 | #Constraints: 19224
584.21/586.11 c #Conflicts: 467000 | #Constraints: 20224
584.21/586.11 c #Conflicts: 468000 | #Constraints: 21224
584.21/586.11 c #Conflicts: 469000 | #Constraints: 22224
584.21/586.11 c #Conflicts: 470000 | #Constraints: 23224
584.21/586.11 c #Conflicts: 471000 | #Constraints: 24224
584.21/586.11 c #Conflicts: 472000 | #Constraints: 25224
584.21/586.11 c #Conflicts: 473000 | #Constraints: 26224
584.21/586.11 c #Conflicts: 474000 | #Constraints: 27224
584.21/586.11 c INPROCESSING
584.21/586.11 c GARBAGE COLLECT
584.21/586.11 c #Conflicts: 475000 | #Constraints: 14626
584.21/586.11 c #Conflicts: 476000 | #Constraints: 15626
584.21/586.11 c #Conflicts: 477000 | #Constraints: 16626
584.21/586.11 c #Conflicts: 478000 | #Constraints: 17626
584.21/586.11 c #Conflicts: 479000 | #Constraints: 18626
584.21/586.11 c #Conflicts: 480000 | #Constraints: 19626
584.21/586.11 c #Conflicts: 481000 | #Constraints: 20626
584.21/586.11 c #Conflicts: 482000 | #Constraints: 21626
584.21/586.11 c #Conflicts: 483000 | #Constraints: 22626
584.21/586.11 c #Conflicts: 484000 | #Constraints: 23626
584.21/586.11 c #Conflicts: 485000 | #Constraints: 24626
584.21/586.11 c #Conflicts: 486000 | #Constraints: 25626
584.21/586.11 c #Conflicts: 487000 | #Constraints: 26626
584.21/586.11 c #Conflicts: 488000 | #Constraints: 27626
584.21/586.11 c INPROCESSING
584.21/586.11 c GARBAGE COLLECT
584.21/586.11 c #Conflicts: 489000 | #Constraints: 14825
584.21/586.11 c #Conflicts: 490000 | #Constraints: 15825
584.21/586.11 c #Conflicts: 491000 | #Constraints: 16825
584.21/586.11 c #Conflicts: 492000 | #Constraints: 17825
584.21/586.11 c #Conflicts: 493000 | #Constraints: 18825
584.21/586.11 c #Conflicts: 494000 | #Constraints: 19825
584.21/586.11 c #Conflicts: 495000 | #Constraints: 20825
584.21/586.11 c #Conflicts: 496000 | #Constraints: 21825
584.21/586.11 c #Conflicts: 497000 | #Constraints: 22825
584.21/586.11 c #Conflicts: 498000 | #Constraints: 23825
584.21/586.11 c #Conflicts: 499000 | #Constraints: 24825
584.21/586.11 c #Conflicts: 500000 | #Constraints: 25825
584.21/586.11 c #Conflicts: 501000 | #Constraints: 26825
584.21/586.11 c #Conflicts: 502000 | #Constraints: 27825
584.21/586.11 c INPROCESSING
584.21/586.11 c GARBAGE COLLECT
584.21/586.11 c #Conflicts: 503000 | #Constraints: 14825
584.21/586.11 c #Conflicts: 504000 | #Constraints: 15825
584.21/586.11 c #Conflicts: 505000 | #Constraints: 16825
584.21/586.11 c #Conflicts: 506000 | #Constraints: 17825
584.21/586.11 c #Conflicts: 507000 | #Constraints: 18825
584.21/586.11 c #Conflicts: 508000 | #Constraints: 19825
584.21/586.11 c #Conflicts: 509000 | #Constraints: 20825
584.21/586.11 c #Conflicts: 510000 | #Constraints: 21825
584.21/586.11 c #Conflicts: 511000 | #Constraints: 22825
584.21/586.11 c #Conflicts: 512000 | #Constraints: 23825
584.21/586.11 c #Conflicts: 513000 | #Constraints: 24825
649.86/651.91 c #Conflicts: 514000 | #Constraints: 25825
649.86/651.91 c #Conflicts: 515000 | #Constraints: 26825
649.86/651.91 c #Conflicts: 516000 | #Constraints: 27825
649.86/651.91 c INPROCESSING
649.86/651.91 c GARBAGE COLLECT
649.86/651.91 c #Conflicts: 517000 | #Constraints: 14625
649.86/651.91 c #Conflicts: 518000 | #Constraints: 15625
649.86/651.91 c #Conflicts: 519000 | #Constraints: 16625
649.86/651.91 c #Conflicts: 520000 | #Constraints: 17625
649.86/651.91 c #Conflicts: 521000 | #Constraints: 18625
649.86/651.91 c #Conflicts: 522000 | #Constraints: 19625
649.86/651.91 c #Conflicts: 523000 | #Constraints: 20625
649.86/651.91 c #Conflicts: 524000 | #Constraints: 21625
649.86/651.91 c #Conflicts: 525000 | #Constraints: 22625
649.86/651.91 c #Conflicts: 526000 | #Constraints: 23625
649.86/651.91 c #Conflicts: 527000 | #Constraints: 24625
649.86/651.91 c #Conflicts: 528000 | #Constraints: 25625
649.86/651.91 c #Conflicts: 529000 | #Constraints: 26625
649.86/651.91 c #Conflicts: 530000 | #Constraints: 27625
649.86/651.91 c #Conflicts: 531000 | #Constraints: 28625
649.86/651.91 c INPROCESSING
649.86/651.91 c GARBAGE COLLECT
649.86/651.91 c #Conflicts: 532000 | #Constraints: 15224
649.86/651.91 c #Conflicts: 533000 | #Constraints: 16224
649.86/651.91 c #Conflicts: 534000 | #Constraints: 17224
649.86/651.91 c #Conflicts: 535000 | #Constraints: 18224
649.86/651.91 c #Conflicts: 536000 | #Constraints: 19224
649.86/651.91 c #Conflicts: 537000 | #Constraints: 20224
649.86/651.91 c #Conflicts: 538000 | #Constraints: 21224
649.86/651.91 c #Conflicts: 539000 | #Constraints: 22224
649.86/651.91 c #Conflicts: 540000 | #Constraints: 23224
649.86/651.91 c #Conflicts: 541000 | #Constraints: 24224
649.86/651.91 c #Conflicts: 542000 | #Constraints: 25224
649.86/651.91 c #Conflicts: 543000 | #Constraints: 26224
649.86/651.91 c #Conflicts: 544000 | #Constraints: 27224
649.86/651.91 c #Conflicts: 545000 | #Constraints: 28224
649.86/651.91 c #Conflicts: 546000 | #Constraints: 29224
649.86/651.91 c INPROCESSING
649.86/651.91 c GARBAGE COLLECT
649.86/651.91 c #Conflicts: 547000 | #Constraints: 15625
649.86/651.91 c #Conflicts: 548000 | #Constraints: 16625
649.86/651.91 c #Conflicts: 549000 | #Constraints: 17625
649.86/651.91 c #Conflicts: 550000 | #Constraints: 18625
649.86/651.91 c #Conflicts: 551000 | #Constraints: 19625
649.86/651.91 c #Conflicts: 552000 | #Constraints: 20625
649.86/651.91 c #Conflicts: 553000 | #Constraints: 21625
649.86/651.91 c #Conflicts: 554000 | #Constraints: 22625
649.86/651.91 c #Conflicts: 555000 | #Constraints: 23625
649.86/651.91 c #Conflicts: 556000 | #Constraints: 24625
649.86/651.91 c #Conflicts: 557000 | #Constraints: 25625
649.86/651.91 c #Conflicts: 558000 | #Constraints: 26625
649.86/651.91 c #Conflicts: 559000 | #Constraints: 27625
649.86/651.91 c #Conflicts: 560000 | #Constraints: 28625
649.86/651.91 c #Conflicts: 561000 | #Constraints: 29625
649.86/651.91 c INPROCESSING
649.86/651.91 c GARBAGE COLLECT
649.86/651.91 c #Conflicts: 562000 | #Constraints: 15821
649.86/651.91 c #Conflicts: 563000 | #Constraints: 16821
649.86/651.91 c #Conflicts: 564000 | #Constraints: 17821
649.86/651.91 c #Conflicts: 565000 | #Constraints: 18821
649.86/651.91 c #Conflicts: 566000 | #Constraints: 19821
649.86/651.91 c #Conflicts: 567000 | #Constraints: 20821
649.86/651.91 c #Conflicts: 568000 | #Constraints: 21821
649.86/651.91 c #Conflicts: 569000 | #Constraints: 22821
649.86/651.91 c #Conflicts: 570000 | #Constraints: 23821
649.86/651.91 c #Conflicts: 571000 | #Constraints: 24821
649.86/651.91 c #Conflicts: 572000 | #Constraints: 25821
649.86/651.91 c #Conflicts: 573000 | #Constraints: 26821
649.86/651.91 c #Conflicts: 574000 | #Constraints: 27821
649.86/651.91 c #Conflicts: 575000 | #Constraints: 28821
649.86/651.91 c #Conflicts: 576000 | #Constraints: 29821
649.86/651.91 c INPROCESSING
649.86/651.91 c GARBAGE COLLECT
649.86/651.91 c #Conflicts: 577000 | #Constraints: 15821
649.86/651.91 c #Conflicts: 578000 | #Constraints: 16821
649.86/651.91 c #Conflicts: 579000 | #Constraints: 17821
649.86/651.91 c #Conflicts: 580000 | #Constraints: 18821
649.86/651.91 c #Conflicts: 581000 | #Constraints: 19821
649.86/651.91 c #Conflicts: 582000 | #Constraints: 20821
649.86/651.91 c #Conflicts: 583000 | #Constraints: 21821
649.86/651.91 c #Conflicts: 584000 | #Constraints: 22821
649.86/651.91 c #Conflicts: 585000 | #Constraints: 23821
649.86/651.91 c #Conflicts: 586000 | #Constraints: 24821
649.86/651.91 c #Conflicts: 587000 | #Constraints: 25821
649.86/651.91 c #Conflicts: 588000 | #Constraints: 26821
722.00/724.25 c #Conflicts: 589000 | #Constraints: 27821
722.00/724.25 c #Conflicts: 590000 | #Constraints: 28821
722.00/724.25 c #Conflicts: 591000 | #Constraints: 29821
722.00/724.25 c INPROCESSING
722.00/724.25 c GARBAGE COLLECT
722.00/724.25 c #Conflicts: 592000 | #Constraints: 15622
722.00/724.25 c #Conflicts: 593000 | #Constraints: 16622
722.00/724.25 c #Conflicts: 594000 | #Constraints: 17622
722.00/724.25 c #Conflicts: 595000 | #Constraints: 18622
722.00/724.25 c #Conflicts: 596000 | #Constraints: 19622
722.00/724.25 c #Conflicts: 597000 | #Constraints: 20622
722.00/724.25 c #Conflicts: 598000 | #Constraints: 21622
722.00/724.25 c #Conflicts: 599000 | #Constraints: 22622
722.00/724.25 c #Conflicts: 600000 | #Constraints: 23622
722.00/724.25 c #Conflicts: 601000 | #Constraints: 24622
722.00/724.25 c #Conflicts: 602000 | #Constraints: 25622
722.00/724.25 c #Conflicts: 603000 | #Constraints: 26622
722.00/724.25 c #Conflicts: 604000 | #Constraints: 27622
722.00/724.25 c #Conflicts: 605000 | #Constraints: 28622
722.00/724.25 c #Conflicts: 606000 | #Constraints: 29622
722.00/724.25 c #Conflicts: 607000 | #Constraints: 30622
722.00/724.25 c INPROCESSING
722.00/724.25 c GARBAGE COLLECT
722.00/724.25 c #Conflicts: 608000 | #Constraints: 16225
722.00/724.25 c #Conflicts: 609000 | #Constraints: 17225
722.00/724.25 c #Conflicts: 610000 | #Constraints: 18225
722.00/724.25 c #Conflicts: 611000 | #Constraints: 19225
722.00/724.25 c #Conflicts: 612000 | #Constraints: 20225
722.00/724.25 c #Conflicts: 613000 | #Constraints: 21225
722.00/724.25 c #Conflicts: 614000 | #Constraints: 22225
722.00/724.25 c #Conflicts: 615000 | #Constraints: 23225
722.00/724.25 c #Conflicts: 616000 | #Constraints: 24225
722.00/724.25 c #Conflicts: 617000 | #Constraints: 25225
722.00/724.25 c #Conflicts: 618000 | #Constraints: 26225
722.00/724.25 c #Conflicts: 619000 | #Constraints: 27225
722.00/724.25 c #Conflicts: 620000 | #Constraints: 28225
722.00/724.25 c #Conflicts: 621000 | #Constraints: 29225
722.00/724.25 c #Conflicts: 622000 | #Constraints: 30225
722.00/724.25 c #Conflicts: 623000 | #Constraints: 31225
722.00/724.25 c INPROCESSING
722.00/724.25 c GARBAGE COLLECT
722.00/724.25 c #Conflicts: 624000 | #Constraints: 16623
722.00/724.25 c #Conflicts: 625000 | #Constraints: 17623
722.00/724.25 c #Conflicts: 626000 | #Constraints: 18623
722.00/724.25 c #Conflicts: 627000 | #Constraints: 19623
722.00/724.25 c #Conflicts: 628000 | #Constraints: 20623
722.00/724.25 c #Conflicts: 629000 | #Constraints: 21623
722.00/724.25 c #Conflicts: 630000 | #Constraints: 22623
722.00/724.25 c #Conflicts: 631000 | #Constraints: 23623
722.00/724.25 c #Conflicts: 632000 | #Constraints: 24623
722.00/724.25 c #Conflicts: 633000 | #Constraints: 25623
722.00/724.25 c #Conflicts: 634000 | #Constraints: 26623
722.00/724.25 c #Conflicts: 635000 | #Constraints: 27623
722.00/724.25 c #Conflicts: 636000 | #Constraints: 28623
722.00/724.25 c #Conflicts: 637000 | #Constraints: 29623
722.00/724.25 c #Conflicts: 638000 | #Constraints: 30623
722.00/724.25 c #Conflicts: 639000 | #Constraints: 31623
722.00/724.25 c INPROCESSING
722.00/724.25 c GARBAGE COLLECT
722.00/724.25 c #Conflicts: 640000 | #Constraints: 16823
722.00/724.25 c #Conflicts: 641000 | #Constraints: 17823
722.00/724.25 c #Conflicts: 642000 | #Constraints: 18823
722.00/724.25 c #Conflicts: 643000 | #Constraints: 19823
722.00/724.25 c #Conflicts: 644000 | #Constraints: 20823
722.00/724.25 c #Conflicts: 645000 | #Constraints: 21823
722.00/724.25 c #Conflicts: 646000 | #Constraints: 22823
722.00/724.25 c #Conflicts: 647000 | #Constraints: 23823
722.00/724.25 c #Conflicts: 648000 | #Constraints: 24823
722.00/724.25 c #Conflicts: 649000 | #Constraints: 25823
722.00/724.25 c #Conflicts: 650000 | #Constraints: 26823
722.00/724.25 c #Conflicts: 651000 | #Constraints: 27823
722.00/724.25 c #Conflicts: 652000 | #Constraints: 28823
722.00/724.25 c #Conflicts: 653000 | #Constraints: 29823
722.00/724.25 c #Conflicts: 654000 | #Constraints: 30823
722.00/724.25 c #Conflicts: 655000 | #Constraints: 31823
722.00/724.25 c INPROCESSING
722.00/724.25 c GARBAGE COLLECT
722.00/724.25 c #Conflicts: 656000 | #Constraints: 16827
722.00/724.25 c #Conflicts: 657000 | #Constraints: 17827
722.00/724.25 c #Conflicts: 658000 | #Constraints: 18827
722.00/724.25 c #Conflicts: 659000 | #Constraints: 19827
722.00/724.25 c #Conflicts: 660000 | #Constraints: 20827
722.00/724.25 c #Conflicts: 661000 | #Constraints: 21827
722.00/724.25 c #Conflicts: 662000 | #Constraints: 22827
722.00/724.25 c #Conflicts: 663000 | #Constraints: 23827
722.00/724.25 c #Conflicts: 664000 | #Constraints: 24827
798.22/800.69 c #Conflicts: 665000 | #Constraints: 25827
798.22/800.69 c #Conflicts: 666000 | #Constraints: 26827
798.22/800.69 c #Conflicts: 667000 | #Constraints: 27827
798.22/800.69 c #Conflicts: 668000 | #Constraints: 28827
798.22/800.69 c #Conflicts: 669000 | #Constraints: 29827
798.22/800.69 c #Conflicts: 670000 | #Constraints: 30827
798.22/800.69 c #Conflicts: 671000 | #Constraints: 31827
798.22/800.69 c INPROCESSING
798.22/800.69 c GARBAGE COLLECT
798.22/800.69 c #Conflicts: 672000 | #Constraints: 16625
798.22/800.69 c #Conflicts: 673000 | #Constraints: 17625
798.22/800.69 c #Conflicts: 674000 | #Constraints: 18625
798.22/800.69 c #Conflicts: 675000 | #Constraints: 19625
798.22/800.69 c #Conflicts: 676000 | #Constraints: 20625
798.22/800.69 c #Conflicts: 677000 | #Constraints: 21625
798.22/800.69 c #Conflicts: 678000 | #Constraints: 22625
798.22/800.69 c #Conflicts: 679000 | #Constraints: 23625
798.22/800.69 c #Conflicts: 680000 | #Constraints: 24625
798.22/800.69 c #Conflicts: 681000 | #Constraints: 25625
798.22/800.69 c #Conflicts: 682000 | #Constraints: 26625
798.22/800.69 c #Conflicts: 683000 | #Constraints: 27625
798.22/800.69 c #Conflicts: 684000 | #Constraints: 28625
798.22/800.69 c #Conflicts: 685000 | #Constraints: 29625
798.22/800.69 c #Conflicts: 686000 | #Constraints: 30625
798.22/800.69 c #Conflicts: 687000 | #Constraints: 31625
798.22/800.69 c #Conflicts: 688000 | #Constraints: 32625
798.22/800.69 c INPROCESSING
798.22/800.69 c GARBAGE COLLECT
798.22/800.69 c #Conflicts: 689000 | #Constraints: 17223
798.22/800.69 c #Conflicts: 690000 | #Constraints: 18223
798.22/800.69 c #Conflicts: 691000 | #Constraints: 19223
798.22/800.69 c #Conflicts: 692000 | #Constraints: 20223
798.22/800.69 c #Conflicts: 693000 | #Constraints: 21223
798.22/800.69 c #Conflicts: 694000 | #Constraints: 22223
798.22/800.69 c #Conflicts: 695000 | #Constraints: 23223
798.22/800.69 c #Conflicts: 696000 | #Constraints: 24223
798.22/800.69 c #Conflicts: 697000 | #Constraints: 25223
798.22/800.69 c #Conflicts: 698000 | #Constraints: 26223
798.22/800.69 c #Conflicts: 699000 | #Constraints: 27223
798.22/800.69 c #Conflicts: 700000 | #Constraints: 28223
798.22/800.69 c #Conflicts: 701000 | #Constraints: 29223
798.22/800.69 c #Conflicts: 702000 | #Constraints: 30223
798.22/800.70 c #Conflicts: 703000 | #Constraints: 31223
798.22/800.70 c #Conflicts: 704000 | #Constraints: 32223
798.22/800.70 c #Conflicts: 705000 | #Constraints: 33223
798.22/800.70 c INPROCESSING
798.22/800.70 c GARBAGE COLLECT
798.22/800.70 c #Conflicts: 706000 | #Constraints: 17623
798.22/800.70 c #Conflicts: 707000 | #Constraints: 18623
798.22/800.70 c #Conflicts: 708000 | #Constraints: 19623
798.22/800.70 c #Conflicts: 709000 | #Constraints: 20623
798.22/800.70 c #Conflicts: 710000 | #Constraints: 21623
798.22/800.70 c #Conflicts: 711000 | #Constraints: 22623
798.22/800.70 c #Conflicts: 712000 | #Constraints: 23623
798.22/800.70 c #Conflicts: 713000 | #Constraints: 24623
798.22/800.70 c #Conflicts: 714000 | #Constraints: 25623
798.22/800.70 c #Conflicts: 715000 | #Constraints: 26623
798.22/800.70 c #Conflicts: 716000 | #Constraints: 27623
798.22/800.70 c #Conflicts: 717000 | #Constraints: 28623
798.22/800.70 c #Conflicts: 718000 | #Constraints: 29623
798.22/800.70 c #Conflicts: 719000 | #Constraints: 30623
798.22/800.70 c #Conflicts: 720000 | #Constraints: 31623
798.22/800.70 c #Conflicts: 721000 | #Constraints: 32623
798.22/800.70 c #Conflicts: 722000 | #Constraints: 33623
798.22/800.70 c INPROCESSING
798.22/800.70 c GARBAGE COLLECT
798.22/800.70 c #Conflicts: 723000 | #Constraints: 17823
798.22/800.70 c #Conflicts: 724000 | #Constraints: 18823
798.22/800.70 c #Conflicts: 725000 | #Constraints: 19823
798.22/800.70 c #Conflicts: 726000 | #Constraints: 20823
798.22/800.70 c #Conflicts: 727000 | #Constraints: 21823
798.22/800.70 c #Conflicts: 728000 | #Constraints: 22823
798.22/800.70 c #Conflicts: 729000 | #Constraints: 23823
798.22/800.70 c #Conflicts: 730000 | #Constraints: 24823
798.22/800.70 c #Conflicts: 731000 | #Constraints: 25823
798.22/800.70 c #Conflicts: 732000 | #Constraints: 26823
798.22/800.70 c #Conflicts: 733000 | #Constraints: 27823
798.22/800.70 c #Conflicts: 734000 | #Constraints: 28823
798.22/800.70 c #Conflicts: 735000 | #Constraints: 29823
798.22/800.70 c #Conflicts: 736000 | #Constraints: 30823
798.22/800.70 c #Conflicts: 737000 | #Constraints: 31823
798.22/800.70 c #Conflicts: 738000 | #Constraints: 32823
798.22/800.70 c #Conflicts: 739000 | #Constraints: 33823
798.22/800.70 c INPROCESSING
798.22/800.70 c GARBAGE COLLECT
878.55/881.16 c #Conflicts: 740000 | #Constraints: 17824
878.55/881.16 c #Conflicts: 741000 | #Constraints: 18824
878.55/881.16 c #Conflicts: 742000 | #Constraints: 19824
878.55/881.16 c #Conflicts: 743000 | #Constraints: 20824
878.55/881.16 c #Conflicts: 744000 | #Constraints: 21824
878.55/881.16 c #Conflicts: 745000 | #Constraints: 22824
878.55/881.16 c #Conflicts: 746000 | #Constraints: 23824
878.55/881.16 c #Conflicts: 747000 | #Constraints: 24824
878.55/881.16 c #Conflicts: 748000 | #Constraints: 25824
878.55/881.16 c #Conflicts: 749000 | #Constraints: 26824
878.55/881.16 c #Conflicts: 750000 | #Constraints: 27824
878.55/881.16 c #Conflicts: 751000 | #Constraints: 28824
878.55/881.16 c #Conflicts: 752000 | #Constraints: 29824
878.55/881.16 c #Conflicts: 753000 | #Constraints: 30824
878.55/881.16 c #Conflicts: 754000 | #Constraints: 31824
878.55/881.16 c #Conflicts: 755000 | #Constraints: 32824
878.55/881.16 c #Conflicts: 756000 | #Constraints: 33824
878.55/881.16 c INPROCESSING
878.55/881.16 c GARBAGE COLLECT
878.55/881.16 c #Conflicts: 757000 | #Constraints: 17624
878.55/881.16 c #Conflicts: 758000 | #Constraints: 18624
878.55/881.16 c #Conflicts: 759000 | #Constraints: 19624
878.55/881.16 c #Conflicts: 760000 | #Constraints: 20624
878.55/881.16 c #Conflicts: 761000 | #Constraints: 21624
878.55/881.16 c #Conflicts: 762000 | #Constraints: 22624
878.55/881.16 c #Conflicts: 763000 | #Constraints: 23624
878.55/881.16 c #Conflicts: 764000 | #Constraints: 24624
878.55/881.16 c #Conflicts: 765000 | #Constraints: 25624
878.55/881.16 c #Conflicts: 766000 | #Constraints: 26624
878.55/881.16 c #Conflicts: 767000 | #Constraints: 27624
878.55/881.16 c #Conflicts: 768000 | #Constraints: 28624
878.55/881.16 c #Conflicts: 769000 | #Constraints: 29624
878.55/881.16 c #Conflicts: 770000 | #Constraints: 30624
878.55/881.16 c #Conflicts: 771000 | #Constraints: 31624
878.55/881.16 c #Conflicts: 772000 | #Constraints: 32624
878.55/881.16 c #Conflicts: 773000 | #Constraints: 33624
878.55/881.16 c #Conflicts: 774000 | #Constraints: 34624
878.55/881.16 c INPROCESSING
878.55/881.16 c GARBAGE COLLECT
878.55/881.16 c #Conflicts: 775000 | #Constraints: 18221
878.55/881.16 c #Conflicts: 776000 | #Constraints: 19221
878.55/881.16 c #Conflicts: 777000 | #Constraints: 20221
878.55/881.16 c #Conflicts: 778000 | #Constraints: 21221
878.55/881.16 c #Conflicts: 779000 | #Constraints: 22221
878.55/881.16 c #Conflicts: 780000 | #Constraints: 23221
878.55/881.16 c #Conflicts: 781000 | #Constraints: 24221
878.55/881.16 c #Conflicts: 782000 | #Constraints: 25221
878.55/881.16 c #Conflicts: 783000 | #Constraints: 26221
878.55/881.16 c #Conflicts: 784000 | #Constraints: 27221
878.55/881.16 c #Conflicts: 785000 | #Constraints: 28221
878.55/881.16 c #Conflicts: 786000 | #Constraints: 29221
878.55/881.16 c #Conflicts: 787000 | #Constraints: 30221
878.55/881.16 c #Conflicts: 788000 | #Constraints: 31221
878.55/881.16 c #Conflicts: 789000 | #Constraints: 32221
878.55/881.16 c #Conflicts: 790000 | #Constraints: 33221
878.55/881.16 c #Conflicts: 791000 | #Constraints: 34221
878.55/881.16 c #Conflicts: 792000 | #Constraints: 35221
878.55/881.16 c INPROCESSING
878.55/881.16 c GARBAGE COLLECT
878.55/881.16 c #Conflicts: 793000 | #Constraints: 18621
878.55/881.16 c #Conflicts: 794000 | #Constraints: 19621
878.55/881.16 c #Conflicts: 795000 | #Constraints: 20621
878.55/881.16 c #Conflicts: 796000 | #Constraints: 21621
878.55/881.16 c #Conflicts: 797000 | #Constraints: 22621
878.55/881.16 c #Conflicts: 798000 | #Constraints: 23621
878.55/881.16 c #Conflicts: 799000 | #Constraints: 24621
878.55/881.16 c #Conflicts: 800000 | #Constraints: 25621
878.55/881.16 c #Conflicts: 801000 | #Constraints: 26621
878.55/881.16 c #Conflicts: 802000 | #Constraints: 27621
878.55/881.16 c #Conflicts: 803000 | #Constraints: 28621
878.55/881.16 c #Conflicts: 804000 | #Constraints: 29621
878.55/881.16 c #Conflicts: 805000 | #Constraints: 30621
878.55/881.16 c #Conflicts: 806000 | #Constraints: 31621
878.55/881.16 c #Conflicts: 807000 | #Constraints: 32621
878.55/881.16 c #Conflicts: 808000 | #Constraints: 33621
878.55/881.16 c #Conflicts: 809000 | #Constraints: 34621
878.55/881.16 c #Conflicts: 810000 | #Constraints: 35621
878.55/881.16 c INPROCESSING
878.55/881.16 c GARBAGE COLLECT
878.55/881.16 c #Conflicts: 811000 | #Constraints: 18819
878.55/881.16 c #Conflicts: 812000 | #Constraints: 19819
878.55/881.16 c #Conflicts: 813000 | #Constraints: 20819
878.55/881.16 c #Conflicts: 814000 | #Constraints: 21819
878.55/881.16 c #Conflicts: 815000 | #Constraints: 22819
878.55/881.16 c #Conflicts: 816000 | #Constraints: 23819
964.35/967.11 c #Conflicts: 817000 | #Constraints: 24819
964.35/967.11 c #Conflicts: 818000 | #Constraints: 25819
964.35/967.11 c #Conflicts: 819000 | #Constraints: 26819
964.35/967.11 c #Conflicts: 820000 | #Constraints: 27819
964.35/967.11 c #Conflicts: 821000 | #Constraints: 28819
964.35/967.11 c #Conflicts: 822000 | #Constraints: 29819
964.35/967.11 c #Conflicts: 823000 | #Constraints: 30819
964.35/967.11 c #Conflicts: 824000 | #Constraints: 31819
964.35/967.11 c #Conflicts: 825000 | #Constraints: 32819
964.35/967.11 c #Conflicts: 826000 | #Constraints: 33819
964.35/967.11 c #Conflicts: 827000 | #Constraints: 34819
964.35/967.11 c #Conflicts: 828000 | #Constraints: 35819
964.35/967.11 c INPROCESSING
964.35/967.11 c GARBAGE COLLECT
964.35/967.11 c #Conflicts: 829000 | #Constraints: 18821
964.35/967.11 c #Conflicts: 830000 | #Constraints: 19821
964.35/967.11 c #Conflicts: 831000 | #Constraints: 20821
964.35/967.11 c #Conflicts: 832000 | #Constraints: 21821
964.35/967.11 c #Conflicts: 833000 | #Constraints: 22821
964.35/967.11 c #Conflicts: 834000 | #Constraints: 23821
964.35/967.11 c #Conflicts: 835000 | #Constraints: 24821
964.35/967.11 c #Conflicts: 836000 | #Constraints: 25821
964.35/967.11 c #Conflicts: 837000 | #Constraints: 26821
964.35/967.11 c #Conflicts: 838000 | #Constraints: 27821
964.35/967.11 c #Conflicts: 839000 | #Constraints: 28821
964.35/967.11 c #Conflicts: 840000 | #Constraints: 29821
964.35/967.11 c #Conflicts: 841000 | #Constraints: 30821
964.35/967.11 c #Conflicts: 842000 | #Constraints: 31821
964.35/967.11 c #Conflicts: 843000 | #Constraints: 32821
964.35/967.11 c #Conflicts: 844000 | #Constraints: 33821
964.35/967.11 c #Conflicts: 845000 | #Constraints: 34821
964.35/967.11 c #Conflicts: 846000 | #Constraints: 35821
964.35/967.11 c INPROCESSING
964.35/967.11 c GARBAGE COLLECT
964.35/967.11 c #Conflicts: 847000 | #Constraints: 18619
964.35/967.11 c #Conflicts: 848000 | #Constraints: 19619
964.35/967.11 c #Conflicts: 849000 | #Constraints: 20619
964.35/967.11 c #Conflicts: 850000 | #Constraints: 21619
964.35/967.11 c #Conflicts: 851000 | #Constraints: 22619
964.35/967.11 c #Conflicts: 852000 | #Constraints: 23619
964.35/967.11 c #Conflicts: 853000 | #Constraints: 24619
964.35/967.11 c #Conflicts: 854000 | #Constraints: 25619
964.35/967.11 c #Conflicts: 855000 | #Constraints: 26619
964.35/967.11 c #Conflicts: 856000 | #Constraints: 27619
964.35/967.11 c #Conflicts: 857000 | #Constraints: 28619
964.35/967.11 c #Conflicts: 858000 | #Constraints: 29619
964.35/967.11 c #Conflicts: 859000 | #Constraints: 30619
964.35/967.11 c #Conflicts: 860000 | #Constraints: 31619
964.35/967.11 c #Conflicts: 861000 | #Constraints: 32619
964.35/967.11 c #Conflicts: 862000 | #Constraints: 33619
964.35/967.11 c #Conflicts: 863000 | #Constraints: 34619
964.35/967.11 c #Conflicts: 864000 | #Constraints: 35619
964.35/967.11 c #Conflicts: 865000 | #Constraints: 36619
964.35/967.11 c INPROCESSING
964.35/967.11 c GARBAGE COLLECT
964.35/967.11 c #Conflicts: 866000 | #Constraints: 19221
964.35/967.11 c #Conflicts: 867000 | #Constraints: 20221
964.35/967.11 c #Conflicts: 868000 | #Constraints: 21221
964.35/967.11 c #Conflicts: 869000 | #Constraints: 22221
964.35/967.11 c #Conflicts: 870000 | #Constraints: 23221
964.35/967.11 c #Conflicts: 871000 | #Constraints: 24221
964.35/967.11 c #Conflicts: 872000 | #Constraints: 25221
964.35/967.11 c #Conflicts: 873000 | #Constraints: 26221
964.35/967.11 c #Conflicts: 874000 | #Constraints: 27221
964.35/967.11 c #Conflicts: 875000 | #Constraints: 28221
964.35/967.11 c #Conflicts: 876000 | #Constraints: 29221
964.35/967.11 c #Conflicts: 877000 | #Constraints: 30221
964.35/967.11 c #Conflicts: 878000 | #Constraints: 31221
964.35/967.11 c #Conflicts: 879000 | #Constraints: 32221
964.35/967.11 c #Conflicts: 880000 | #Constraints: 33221
964.35/967.11 c #Conflicts: 881000 | #Constraints: 34221
964.35/967.11 c #Conflicts: 882000 | #Constraints: 35221
964.35/967.11 c #Conflicts: 883000 | #Constraints: 36221
964.35/967.11 c #Conflicts: 884000 | #Constraints: 37221
964.35/967.11 c INPROCESSING
964.35/967.11 c GARBAGE COLLECT
964.35/967.11 c #Conflicts: 885000 | #Constraints: 19623
964.35/967.11 c #Conflicts: 886000 | #Constraints: 20623
964.35/967.11 c #Conflicts: 887000 | #Constraints: 21623
964.35/967.11 c #Conflicts: 888000 | #Constraints: 22623
964.35/967.11 c #Conflicts: 889000 | #Constraints: 23623
964.35/967.11 c #Conflicts: 890000 | #Constraints: 24623
964.35/967.11 c #Conflicts: 891000 | #Constraints: 25623
964.35/967.11 c #Conflicts: 892000 | #Constraints: 26623
1053.33/1056.33 c #Conflicts: 893000 | #Constraints: 27623
1053.33/1056.33 c #Conflicts: 894000 | #Constraints: 28623
1053.33/1056.33 c #Conflicts: 895000 | #Constraints: 29623
1053.33/1056.33 c #Conflicts: 896000 | #Constraints: 30623
1053.33/1056.33 c #Conflicts: 897000 | #Constraints: 31623
1053.33/1056.33 c #Conflicts: 898000 | #Constraints: 32623
1053.33/1056.33 c #Conflicts: 899000 | #Constraints: 33623
1053.33/1056.33 c #Conflicts: 900000 | #Constraints: 34623
1053.33/1056.33 c #Conflicts: 901000 | #Constraints: 35623
1053.33/1056.33 c #Conflicts: 902000 | #Constraints: 36623
1053.33/1056.33 c #Conflicts: 903000 | #Constraints: 37623
1053.33/1056.33 c INPROCESSING
1053.33/1056.33 c GARBAGE COLLECT
1053.33/1056.33 c #Conflicts: 904000 | #Constraints: 19820
1053.33/1056.33 c #Conflicts: 905000 | #Constraints: 20820
1053.33/1056.33 c #Conflicts: 906000 | #Constraints: 21820
1053.33/1056.33 c #Conflicts: 907000 | #Constraints: 22820
1053.33/1056.33 c #Conflicts: 908000 | #Constraints: 23820
1053.33/1056.33 c #Conflicts: 909000 | #Constraints: 24820
1053.33/1056.33 c #Conflicts: 910000 | #Constraints: 25820
1053.33/1056.33 c #Conflicts: 911000 | #Constraints: 26820
1053.33/1056.33 c #Conflicts: 912000 | #Constraints: 27820
1053.33/1056.33 c #Conflicts: 913000 | #Constraints: 28820
1053.33/1056.33 c #Conflicts: 914000 | #Constraints: 29820
1053.33/1056.33 c #Conflicts: 915000 | #Constraints: 30820
1053.33/1056.33 c #Conflicts: 916000 | #Constraints: 31820
1053.33/1056.33 c #Conflicts: 917000 | #Constraints: 32820
1053.33/1056.33 c #Conflicts: 918000 | #Constraints: 33820
1053.33/1056.33 c #Conflicts: 919000 | #Constraints: 34820
1053.33/1056.33 c #Conflicts: 920000 | #Constraints: 35820
1053.33/1056.33 c #Conflicts: 921000 | #Constraints: 36820
1053.33/1056.33 c #Conflicts: 922000 | #Constraints: 37820
1053.33/1056.33 c INPROCESSING
1053.33/1056.33 c GARBAGE COLLECT
1053.33/1056.33 c #Conflicts: 923000 | #Constraints: 19822
1053.33/1056.33 c #Conflicts: 924000 | #Constraints: 20822
1053.33/1056.33 c #Conflicts: 925000 | #Constraints: 21822
1053.33/1056.33 c #Conflicts: 926000 | #Constraints: 22822
1053.33/1056.33 c #Conflicts: 927000 | #Constraints: 23822
1053.33/1056.33 c #Conflicts: 928000 | #Constraints: 24822
1053.33/1056.33 c #Conflicts: 929000 | #Constraints: 25822
1053.33/1056.33 c #Conflicts: 930000 | #Constraints: 26822
1053.33/1056.33 c #Conflicts: 931000 | #Constraints: 27822
1053.33/1056.33 c #Conflicts: 932000 | #Constraints: 28822
1053.33/1056.33 c #Conflicts: 933000 | #Constraints: 29822
1053.33/1056.33 c #Conflicts: 934000 | #Constraints: 30822
1053.33/1056.33 c #Conflicts: 935000 | #Constraints: 31822
1053.33/1056.33 c #Conflicts: 936000 | #Constraints: 32822
1053.33/1056.33 c #Conflicts: 937000 | #Constraints: 33822
1053.33/1056.33 c #Conflicts: 938000 | #Constraints: 34822
1053.33/1056.33 c #Conflicts: 939000 | #Constraints: 35822
1053.33/1056.33 c #Conflicts: 940000 | #Constraints: 36822
1053.33/1056.33 c #Conflicts: 941000 | #Constraints: 37822
1053.33/1056.33 c INPROCESSING
1053.33/1056.33 c GARBAGE COLLECT
1053.33/1056.33 c #Conflicts: 942000 | #Constraints: 19622
1053.33/1056.33 c #Conflicts: 943000 | #Constraints: 20622
1053.33/1056.33 c #Conflicts: 944000 | #Constraints: 21622
1053.33/1056.33 c #Conflicts: 945000 | #Constraints: 22622
1053.33/1056.33 c #Conflicts: 946000 | #Constraints: 23622
1053.33/1056.33 c #Conflicts: 947000 | #Constraints: 24622
1053.33/1056.33 c #Conflicts: 948000 | #Constraints: 25622
1053.33/1056.33 c #Conflicts: 949000 | #Constraints: 26622
1053.33/1056.33 c #Conflicts: 950000 | #Constraints: 27622
1053.33/1056.33 c #Conflicts: 951000 | #Constraints: 28622
1053.33/1056.33 c #Conflicts: 952000 | #Constraints: 29622
1053.33/1056.33 c #Conflicts: 953000 | #Constraints: 30622
1053.33/1056.33 c #Conflicts: 954000 | #Constraints: 31622
1053.33/1056.33 c #Conflicts: 955000 | #Constraints: 32622
1053.33/1056.33 c #Conflicts: 956000 | #Constraints: 33622
1053.33/1056.33 c #Conflicts: 957000 | #Constraints: 34622
1053.33/1056.33 c #Conflicts: 958000 | #Constraints: 35622
1053.33/1056.33 c #Conflicts: 959000 | #Constraints: 36622
1053.33/1056.33 c #Conflicts: 960000 | #Constraints: 37622
1053.33/1056.33 c #Conflicts: 961000 | #Constraints: 38622
1053.33/1056.33 c INPROCESSING
1053.33/1056.33 c GARBAGE COLLECT
1053.33/1056.33 c #Conflicts: 962000 | #Constraints: 20223
1053.33/1056.33 c #Conflicts: 963000 | #Constraints: 21223
1053.33/1056.33 c #Conflicts: 964000 | #Constraints: 22223
1053.33/1056.33 c #Conflicts: 965000 | #Constraints: 23223
1053.33/1056.33 c #Conflicts: 966000 | #Constraints: 24223
1053.33/1056.33 c #Conflicts: 967000 | #Constraints: 25223
1053.33/1056.33 c #Conflicts: 968000 | #Constraints: 26223
1151.71/1154.99 c #Conflicts: 969000 | #Constraints: 27223
1151.71/1154.99 c #Conflicts: 970000 | #Constraints: 28223
1151.71/1154.99 c #Conflicts: 971000 | #Constraints: 29223
1151.71/1154.99 c #Conflicts: 972000 | #Constraints: 30223
1151.71/1154.99 c #Conflicts: 973000 | #Constraints: 31223
1151.71/1154.99 c #Conflicts: 974000 | #Constraints: 32223
1151.71/1154.99 c #Conflicts: 975000 | #Constraints: 33223
1151.71/1154.99 c #Conflicts: 976000 | #Constraints: 34223
1151.71/1154.99 c #Conflicts: 977000 | #Constraints: 35223
1151.71/1154.99 c #Conflicts: 978000 | #Constraints: 36223
1151.71/1154.99 c #Conflicts: 979000 | #Constraints: 37223
1151.71/1154.99 c #Conflicts: 980000 | #Constraints: 38223
1151.71/1154.99 c #Conflicts: 981000 | #Constraints: 39223
1151.71/1154.99 c INPROCESSING
1151.71/1154.99 c GARBAGE COLLECT
1151.71/1154.99 c #Conflicts: 982000 | #Constraints: 20624
1151.71/1154.99 c #Conflicts: 983000 | #Constraints: 21624
1151.71/1154.99 c #Conflicts: 984000 | #Constraints: 22624
1151.71/1154.99 c #Conflicts: 985000 | #Constraints: 23624
1151.71/1154.99 c #Conflicts: 986000 | #Constraints: 24624
1151.71/1154.99 c #Conflicts: 987000 | #Constraints: 25624
1151.71/1154.99 c #Conflicts: 988000 | #Constraints: 26624
1151.71/1154.99 c #Conflicts: 989000 | #Constraints: 27624
1151.71/1154.99 c #Conflicts: 990000 | #Constraints: 28624
1151.71/1154.99 c #Conflicts: 991000 | #Constraints: 29624
1151.71/1154.99 c #Conflicts: 992000 | #Constraints: 30624
1151.71/1154.99 c #Conflicts: 993000 | #Constraints: 31624
1151.71/1154.99 c #Conflicts: 994000 | #Constraints: 32624
1151.71/1154.99 c #Conflicts: 995000 | #Constraints: 33624
1151.71/1154.99 c #Conflicts: 996000 | #Constraints: 34624
1151.71/1154.99 c #Conflicts: 997000 | #Constraints: 35624
1151.71/1154.99 c #Conflicts: 998000 | #Constraints: 36624
1151.71/1154.99 c #Conflicts: 999000 | #Constraints: 37624
1151.71/1154.99 c #Conflicts: 1000000 | #Constraints: 38624
1151.71/1154.99 c #Conflicts: 1001000 | #Constraints: 39624
1151.71/1154.99 c INPROCESSING
1151.71/1154.99 c GARBAGE COLLECT
1151.71/1154.99 c #Conflicts: 1002000 | #Constraints: 20826
1151.71/1154.99 c #Conflicts: 1003000 | #Constraints: 21826
1151.71/1154.99 c #Conflicts: 1004000 | #Constraints: 22826
1151.71/1154.99 c #Conflicts: 1005000 | #Constraints: 23826
1151.71/1154.99 c #Conflicts: 1006000 | #Constraints: 24826
1151.71/1154.99 c #Conflicts: 1007000 | #Constraints: 25826
1151.71/1154.99 c #Conflicts: 1008000 | #Constraints: 26826
1151.71/1154.99 c #Conflicts: 1009000 | #Constraints: 27826
1151.71/1154.99 c #Conflicts: 1010000 | #Constraints: 28826
1151.71/1154.99 c #Conflicts: 1011000 | #Constraints: 29826
1151.71/1154.99 c #Conflicts: 1012000 | #Constraints: 30826
1151.71/1154.99 c #Conflicts: 1013000 | #Constraints: 31826
1151.71/1154.99 c #Conflicts: 1014000 | #Constraints: 32826
1151.71/1154.99 c #Conflicts: 1015000 | #Constraints: 33826
1151.71/1154.99 c #Conflicts: 1016000 | #Constraints: 34826
1151.71/1154.99 c #Conflicts: 1017000 | #Constraints: 35826
1151.71/1154.99 c #Conflicts: 1018000 | #Constraints: 36826
1151.71/1154.99 c #Conflicts: 1019000 | #Constraints: 37826
1151.71/1154.99 c #Conflicts: 1020000 | #Constraints: 38826
1151.71/1154.99 c #Conflicts: 1021000 | #Constraints: 39826
1151.71/1154.99 c INPROCESSING
1151.71/1154.99 c GARBAGE COLLECT
1151.71/1154.99 c #Conflicts: 1022000 | #Constraints: 20828
1151.71/1154.99 c #Conflicts: 1023000 | #Constraints: 21828
1151.71/1154.99 c #Conflicts: 1024000 | #Constraints: 22828
1151.71/1154.99 c #Conflicts: 1025000 | #Constraints: 23828
1151.71/1154.99 c #Conflicts: 1026000 | #Constraints: 24828
1151.71/1154.99 c #Conflicts: 1027000 | #Constraints: 25828
1151.71/1154.99 c #Conflicts: 1028000 | #Constraints: 26828
1151.71/1154.99 c #Conflicts: 1029000 | #Constraints: 27828
1151.71/1154.99 c #Conflicts: 1030000 | #Constraints: 28828
1151.71/1154.99 c #Conflicts: 1031000 | #Constraints: 29828
1151.71/1154.99 c #Conflicts: 1032000 | #Constraints: 30828
1151.71/1154.99 c #Conflicts: 1033000 | #Constraints: 31828
1151.71/1154.99 c #Conflicts: 1034000 | #Constraints: 32828
1151.71/1154.99 c #Conflicts: 1035000 | #Constraints: 33828
1151.71/1154.99 c #Conflicts: 1036000 | #Constraints: 34828
1151.71/1154.99 c #Conflicts: 1037000 | #Constraints: 35828
1151.71/1154.99 c #Conflicts: 1038000 | #Constraints: 36828
1151.71/1154.99 c #Conflicts: 1039000 | #Constraints: 37828
1151.71/1154.99 c #Conflicts: 1040000 | #Constraints: 38828
1151.71/1154.99 c #Conflicts: 1041000 | #Constraints: 39828
1151.71/1154.99 c INPROCESSING
1151.71/1154.99 c GARBAGE COLLECT
1151.71/1154.99 c #Conflicts: 1042000 | #Constraints: 20628
1151.71/1154.99 c #Conflicts: 1043000 | #Constraints: 21628
1151.71/1154.99 c #Conflicts: 1044000 | #Constraints: 22628
1255.27/1258.72 c #Conflicts: 1045000 | #Constraints: 23628
1255.27/1258.72 c #Conflicts: 1046000 | #Constraints: 24628
1255.27/1258.72 c #Conflicts: 1047000 | #Constraints: 25628
1255.27/1258.72 c #Conflicts: 1048000 | #Constraints: 26628
1255.27/1258.72 c #Conflicts: 1049000 | #Constraints: 27628
1255.27/1258.72 c #Conflicts: 1050000 | #Constraints: 28628
1255.27/1258.72 c #Conflicts: 1051000 | #Constraints: 29628
1255.27/1258.72 c #Conflicts: 1052000 | #Constraints: 30628
1255.27/1258.72 c #Conflicts: 1053000 | #Constraints: 31628
1255.27/1258.72 c #Conflicts: 1054000 | #Constraints: 32628
1255.27/1258.72 c #Conflicts: 1055000 | #Constraints: 33628
1255.27/1258.72 c #Conflicts: 1056000 | #Constraints: 34628
1255.27/1258.72 c #Conflicts: 1057000 | #Constraints: 35628
1255.27/1258.72 c #Conflicts: 1058000 | #Constraints: 36628
1255.27/1258.72 c #Conflicts: 1059000 | #Constraints: 37628
1255.27/1258.72 c #Conflicts: 1060000 | #Constraints: 38628
1255.27/1258.72 c #Conflicts: 1061000 | #Constraints: 39628
1255.27/1258.72 c #Conflicts: 1062000 | #Constraints: 40628
1255.27/1258.72 c INPROCESSING
1255.27/1258.72 c GARBAGE COLLECT
1255.27/1258.72 c #Conflicts: 1063000 | #Constraints: 21229
1255.27/1258.72 c #Conflicts: 1064000 | #Constraints: 22229
1255.27/1258.72 c #Conflicts: 1065000 | #Constraints: 23229
1255.27/1258.72 c #Conflicts: 1066000 | #Constraints: 24229
1255.27/1258.72 c #Conflicts: 1067000 | #Constraints: 25229
1255.27/1258.72 c #Conflicts: 1068000 | #Constraints: 26229
1255.27/1258.72 c #Conflicts: 1069000 | #Constraints: 27229
1255.27/1258.72 c #Conflicts: 1070000 | #Constraints: 28229
1255.27/1258.72 c #Conflicts: 1071000 | #Constraints: 29229
1255.27/1258.72 c #Conflicts: 1072000 | #Constraints: 30229
1255.27/1258.72 c #Conflicts: 1073000 | #Constraints: 31229
1255.27/1258.72 c #Conflicts: 1074000 | #Constraints: 32229
1255.27/1258.72 c #Conflicts: 1075000 | #Constraints: 33229
1255.27/1258.72 c #Conflicts: 1076000 | #Constraints: 34229
1255.27/1258.72 c #Conflicts: 1077000 | #Constraints: 35229
1255.27/1258.72 c #Conflicts: 1078000 | #Constraints: 36229
1255.27/1258.72 c #Conflicts: 1079000 | #Constraints: 37229
1255.27/1258.72 c #Conflicts: 1080000 | #Constraints: 38229
1255.27/1258.72 c #Conflicts: 1081000 | #Constraints: 39229
1255.27/1258.72 c #Conflicts: 1082000 | #Constraints: 40229
1255.27/1258.72 c #Conflicts: 1083000 | #Constraints: 41229
1255.27/1258.72 c INPROCESSING
1255.27/1258.72 c GARBAGE COLLECT
1255.27/1258.72 c #Conflicts: 1084000 | #Constraints: 21627
1255.27/1258.72 c #Conflicts: 1085000 | #Constraints: 22627
1255.27/1258.72 c #Conflicts: 1086000 | #Constraints: 23627
1255.27/1258.72 c #Conflicts: 1087000 | #Constraints: 24627
1255.27/1258.72 c #Conflicts: 1088000 | #Constraints: 25627
1255.27/1258.72 c #Conflicts: 1089000 | #Constraints: 26627
1255.27/1258.72 c #Conflicts: 1090000 | #Constraints: 27627
1255.27/1258.72 c #Conflicts: 1091000 | #Constraints: 28627
1255.27/1258.72 c #Conflicts: 1092000 | #Constraints: 29627
1255.27/1258.72 c #Conflicts: 1093000 | #Constraints: 30627
1255.27/1258.72 c #Conflicts: 1094000 | #Constraints: 31627
1255.27/1258.72 c #Conflicts: 1095000 | #Constraints: 32627
1255.27/1258.72 c #Conflicts: 1096000 | #Constraints: 33627
1255.27/1258.72 c #Conflicts: 1097000 | #Constraints: 34627
1255.27/1258.72 c #Conflicts: 1098000 | #Constraints: 35627
1255.27/1258.72 c #Conflicts: 1099000 | #Constraints: 36627
1255.27/1258.72 c #Conflicts: 1100000 | #Constraints: 37627
1255.27/1258.72 c #Conflicts: 1101000 | #Constraints: 38627
1255.27/1258.72 c #Conflicts: 1102000 | #Constraints: 39627
1255.27/1258.72 c #Conflicts: 1103000 | #Constraints: 40627
1255.27/1258.72 c #Conflicts: 1104000 | #Constraints: 41627
1255.27/1258.72 c INPROCESSING
1255.27/1258.72 c GARBAGE COLLECT
1255.27/1258.72 c #Conflicts: 1105000 | #Constraints: 21827
1255.27/1258.72 c #Conflicts: 1106000 | #Constraints: 22827
1255.27/1258.72 c #Conflicts: 1107000 | #Constraints: 23827
1255.27/1258.72 c #Conflicts: 1108000 | #Constraints: 24827
1255.27/1258.72 c #Conflicts: 1109000 | #Constraints: 25827
1255.27/1258.72 c #Conflicts: 1110000 | #Constraints: 26827
1255.27/1258.72 c #Conflicts: 1111000 | #Constraints: 27827
1255.27/1258.72 c #Conflicts: 1112000 | #Constraints: 28827
1255.27/1258.72 c #Conflicts: 1113000 | #Constraints: 29827
1255.27/1258.72 c #Conflicts: 1114000 | #Constraints: 30827
1255.27/1258.72 c #Conflicts: 1115000 | #Constraints: 31827
1255.27/1258.72 c #Conflicts: 1116000 | #Constraints: 32827
1255.27/1258.72 c #Conflicts: 1117000 | #Constraints: 33827
1255.27/1258.72 c #Conflicts: 1118000 | #Constraints: 34827
1255.27/1258.72 c #Conflicts: 1119000 | #Constraints: 35827
1255.27/1258.72 c #Conflicts: 1120000 | #Constraints: 36827
1255.27/1258.72 c #Conflicts: 1121000 | #Constraints: 37827
1354.35/1358.08 c #Conflicts: 1122000 | #Constraints: 38827
1354.35/1358.08 c #Conflicts: 1123000 | #Constraints: 39827
1354.35/1358.08 c #Conflicts: 1124000 | #Constraints: 40827
1354.35/1358.08 c #Conflicts: 1125000 | #Constraints: 41827
1354.35/1358.08 c INPROCESSING
1354.35/1358.08 c GARBAGE COLLECT
1354.35/1358.08 c #Conflicts: 1126000 | #Constraints: 21827
1354.35/1358.08 c #Conflicts: 1127000 | #Constraints: 22827
1354.35/1358.08 c #Conflicts: 1128000 | #Constraints: 23827
1354.35/1358.08 c #Conflicts: 1129000 | #Constraints: 24827
1354.35/1358.08 c #Conflicts: 1130000 | #Constraints: 25827
1354.35/1358.08 c #Conflicts: 1131000 | #Constraints: 26827
1354.35/1358.08 c #Conflicts: 1132000 | #Constraints: 27827
1354.35/1358.08 c #Conflicts: 1133000 | #Constraints: 28827
1354.35/1358.08 c #Conflicts: 1134000 | #Constraints: 29827
1354.35/1358.08 c #Conflicts: 1135000 | #Constraints: 30827
1354.35/1358.08 c #Conflicts: 1136000 | #Constraints: 31827
1354.35/1358.08 c #Conflicts: 1137000 | #Constraints: 32827
1354.35/1358.08 c #Conflicts: 1138000 | #Constraints: 33827
1354.35/1358.08 c #Conflicts: 1139000 | #Constraints: 34827
1354.35/1358.08 c #Conflicts: 1140000 | #Constraints: 35827
1354.35/1358.08 c #Conflicts: 1141000 | #Constraints: 36827
1354.35/1358.08 c #Conflicts: 1142000 | #Constraints: 37827
1354.35/1358.08 c #Conflicts: 1143000 | #Constraints: 38827
1354.35/1358.08 c #Conflicts: 1144000 | #Constraints: 39827
1354.35/1358.08 c #Conflicts: 1145000 | #Constraints: 40827
1354.35/1358.08 c #Conflicts: 1146000 | #Constraints: 41827
1354.35/1358.08 c INPROCESSING
1354.35/1358.08 c GARBAGE COLLECT
1354.35/1358.08 c #Conflicts: 1147000 | #Constraints: 21627
1354.35/1358.08 c #Conflicts: 1148000 | #Constraints: 22627
1354.35/1358.08 c #Conflicts: 1149000 | #Constraints: 23627
1354.35/1358.08 c #Conflicts: 1150000 | #Constraints: 24627
1354.35/1358.08 c #Conflicts: 1151000 | #Constraints: 25627
1354.35/1358.08 c #Conflicts: 1152000 | #Constraints: 26627
1354.35/1358.08 c #Conflicts: 1153000 | #Constraints: 27627
1354.35/1358.08 c #Conflicts: 1154000 | #Constraints: 28627
1354.35/1358.08 c #Conflicts: 1155000 | #Constraints: 29627
1354.35/1358.08 c #Conflicts: 1156000 | #Constraints: 30627
1354.35/1358.08 c #Conflicts: 1157000 | #Constraints: 31627
1354.35/1358.08 c #Conflicts: 1158000 | #Constraints: 32627
1354.35/1358.08 c #Conflicts: 1159000 | #Constraints: 33627
1354.35/1358.08 c #Conflicts: 1160000 | #Constraints: 34627
1354.35/1358.08 c #Conflicts: 1161000 | #Constraints: 35627
1354.35/1358.08 c #Conflicts: 1162000 | #Constraints: 36627
1354.35/1358.08 c #Conflicts: 1163000 | #Constraints: 37627
1354.35/1358.08 c #Conflicts: 1164000 | #Constraints: 38627
1354.35/1358.08 c #Conflicts: 1165000 | #Constraints: 39627
1354.35/1358.08 c #Conflicts: 1166000 | #Constraints: 40627
1354.35/1358.08 c #Conflicts: 1167000 | #Constraints: 41627
1354.35/1358.08 c #Conflicts: 1168000 | #Constraints: 42627
1354.35/1358.08 c INPROCESSING
1354.35/1358.08 c GARBAGE COLLECT
1354.35/1358.08 c #Conflicts: 1169000 | #Constraints: 22226
1354.35/1358.08 c #Conflicts: 1170000 | #Constraints: 23226
1354.35/1358.08 c #Conflicts: 1171000 | #Constraints: 24226
1354.35/1358.08 c #Conflicts: 1172000 | #Constraints: 25226
1354.35/1358.08 c #Conflicts: 1173000 | #Constraints: 26226
1354.35/1358.08 c #Conflicts: 1174000 | #Constraints: 27226
1354.35/1358.08 c #Conflicts: 1175000 | #Constraints: 28226
1354.35/1358.08 c #Conflicts: 1176000 | #Constraints: 29226
1354.35/1358.08 c #Conflicts: 1177000 | #Constraints: 30226
1354.35/1358.08 c #Conflicts: 1178000 | #Constraints: 31226
1354.35/1358.08 c #Conflicts: 1179000 | #Constraints: 32226
1354.35/1358.08 c #Conflicts: 1180000 | #Constraints: 33226
1354.35/1358.08 c #Conflicts: 1181000 | #Constraints: 34226
1354.35/1358.08 c #Conflicts: 1182000 | #Constraints: 35226
1354.35/1358.08 c #Conflicts: 1183000 | #Constraints: 36226
1354.35/1358.08 c #Conflicts: 1184000 | #Constraints: 37226
1354.35/1358.08 c #Conflicts: 1185000 | #Constraints: 38226
1354.35/1358.08 c #Conflicts: 1186000 | #Constraints: 39226
1354.35/1358.08 c #Conflicts: 1187000 | #Constraints: 40226
1354.35/1358.08 c #Conflicts: 1188000 | #Constraints: 41226
1354.35/1358.08 c #Conflicts: 1189000 | #Constraints: 42226
1354.35/1358.08 c #Conflicts: 1190000 | #Constraints: 43226
1354.35/1358.08 c INPROCESSING
1354.35/1358.08 c GARBAGE COLLECT
1354.35/1358.08 c #Conflicts: 1191000 | #Constraints: 22624
1354.35/1358.08 c #Conflicts: 1192000 | #Constraints: 23624
1354.35/1358.08 c #Conflicts: 1193000 | #Constraints: 24624
1354.35/1358.08 c #Conflicts: 1194000 | #Constraints: 25624
1354.35/1358.08 c #Conflicts: 1195000 | #Constraints: 26624
1354.35/1358.08 c #Conflicts: 1196000 | #Constraints: 27624
1354.35/1358.08 c #Conflicts: 1197000 | #Constraints: 28624
1458.71/1462.62 c #Conflicts: 1198000 | #Constraints: 29624
1458.71/1462.62 c #Conflicts: 1199000 | #Constraints: 30624
1458.71/1462.62 c #Conflicts: 1200000 | #Constraints: 31624
1458.71/1462.62 c #Conflicts: 1201000 | #Constraints: 32624
1458.71/1462.62 c #Conflicts: 1202000 | #Constraints: 33624
1458.71/1462.62 c #Conflicts: 1203000 | #Constraints: 34624
1458.71/1462.62 c #Conflicts: 1204000 | #Constraints: 35624
1458.71/1462.62 c #Conflicts: 1205000 | #Constraints: 36624
1458.71/1462.62 c #Conflicts: 1206000 | #Constraints: 37624
1458.71/1462.62 c #Conflicts: 1207000 | #Constraints: 38624
1458.71/1462.62 c #Conflicts: 1208000 | #Constraints: 39624
1458.71/1462.62 c #Conflicts: 1209000 | #Constraints: 40624
1458.71/1462.62 c #Conflicts: 1210000 | #Constraints: 41624
1458.71/1462.62 c #Conflicts: 1211000 | #Constraints: 42624
1458.71/1462.62 c #Conflicts: 1212000 | #Constraints: 43624
1458.71/1462.62 c INPROCESSING
1458.71/1462.62 c GARBAGE COLLECT
1458.71/1462.62 c #Conflicts: 1213000 | #Constraints: 22826
1458.71/1462.62 c #Conflicts: 1214000 | #Constraints: 23826
1458.71/1462.62 c #Conflicts: 1215000 | #Constraints: 24826
1458.71/1462.62 c #Conflicts: 1216000 | #Constraints: 25826
1458.71/1462.62 c #Conflicts: 1217000 | #Constraints: 26826
1458.71/1462.62 c #Conflicts: 1218000 | #Constraints: 27826
1458.71/1462.62 c #Conflicts: 1219000 | #Constraints: 28826
1458.71/1462.62 c #Conflicts: 1220000 | #Constraints: 29826
1458.71/1462.62 c #Conflicts: 1221000 | #Constraints: 30826
1458.71/1462.62 c #Conflicts: 1222000 | #Constraints: 31826
1458.71/1462.62 c #Conflicts: 1223000 | #Constraints: 32826
1458.71/1462.62 c #Conflicts: 1224000 | #Constraints: 33826
1458.71/1462.62 c #Conflicts: 1225000 | #Constraints: 34826
1458.71/1462.62 c #Conflicts: 1226000 | #Constraints: 35826
1458.71/1462.62 c #Conflicts: 1227000 | #Constraints: 36826
1458.71/1462.62 c #Conflicts: 1228000 | #Constraints: 37826
1458.71/1462.62 c #Conflicts: 1229000 | #Constraints: 38826
1458.71/1462.62 c #Conflicts: 1230000 | #Constraints: 39826
1458.71/1462.62 c #Conflicts: 1231000 | #Constraints: 40826
1458.71/1462.62 c #Conflicts: 1232000 | #Constraints: 41826
1458.71/1462.62 c #Conflicts: 1233000 | #Constraints: 42826
1458.71/1462.62 c #Conflicts: 1234000 | #Constraints: 43826
1458.71/1462.62 c INPROCESSING
1458.71/1462.62 c GARBAGE COLLECT
1458.71/1462.62 c #Conflicts: 1235000 | #Constraints: 22827
1458.71/1462.62 c #Conflicts: 1236000 | #Constraints: 23827
1458.71/1462.62 c #Conflicts: 1237000 | #Constraints: 24827
1458.71/1462.62 c #Conflicts: 1238000 | #Constraints: 25827
1458.71/1462.62 c #Conflicts: 1239000 | #Constraints: 26827
1458.71/1462.62 c #Conflicts: 1240000 | #Constraints: 27827
1458.71/1462.62 c #Conflicts: 1241000 | #Constraints: 28827
1458.71/1462.62 c #Conflicts: 1242000 | #Constraints: 29827
1458.71/1462.62 c #Conflicts: 1243000 | #Constraints: 30827
1458.71/1462.62 c #Conflicts: 1244000 | #Constraints: 31827
1458.71/1462.62 c #Conflicts: 1245000 | #Constraints: 32827
1458.71/1462.62 c #Conflicts: 1246000 | #Constraints: 33827
1458.71/1462.62 c #Conflicts: 1247000 | #Constraints: 34827
1458.71/1462.62 c #Conflicts: 1248000 | #Constraints: 35827
1458.71/1462.62 c #Conflicts: 1249000 | #Constraints: 36827
1458.71/1462.62 c #Conflicts: 1250000 | #Constraints: 37827
1458.71/1462.62 c #Conflicts: 1251000 | #Constraints: 38827
1458.71/1462.62 c #Conflicts: 1252000 | #Constraints: 39827
1458.71/1462.62 c #Conflicts: 1253000 | #Constraints: 40827
1458.71/1462.62 c #Conflicts: 1254000 | #Constraints: 41827
1458.71/1462.62 c #Conflicts: 1255000 | #Constraints: 42827
1458.71/1462.62 c #Conflicts: 1256000 | #Constraints: 43827
1458.71/1462.62 c INPROCESSING
1458.71/1462.62 c GARBAGE COLLECT
1458.71/1462.62 c #Conflicts: 1257000 | #Constraints: 22625
1458.71/1462.62 c #Conflicts: 1258000 | #Constraints: 23625
1458.71/1462.62 c #Conflicts: 1259000 | #Constraints: 24625
1458.71/1462.62 c #Conflicts: 1260000 | #Constraints: 25625
1458.71/1462.62 c #Conflicts: 1261000 | #Constraints: 26625
1458.71/1462.62 c #Conflicts: 1262000 | #Constraints: 27625
1458.71/1462.62 c #Conflicts: 1263000 | #Constraints: 28625
1458.71/1462.62 c #Conflicts: 1264000 | #Constraints: 29625
1458.71/1462.62 c #Conflicts: 1265000 | #Constraints: 30625
1458.71/1462.62 c #Conflicts: 1266000 | #Constraints: 31625
1458.71/1462.62 c #Conflicts: 1267000 | #Constraints: 32625
1458.71/1462.62 c #Conflicts: 1268000 | #Constraints: 33625
1458.71/1462.62 c #Conflicts: 1269000 | #Constraints: 34625
1458.71/1462.62 c #Conflicts: 1270000 | #Constraints: 35625
1458.71/1462.62 c #Conflicts: 1271000 | #Constraints: 36625
1458.71/1462.62 c #Conflicts: 1272000 | #Constraints: 37625
1458.71/1462.62 c #Conflicts: 1273000 | #Constraints: 38625
1458.71/1462.62 c #Conflicts: 1274000 | #Constraints: 39625
1565.67/1569.85 c #Conflicts: 1275000 | #Constraints: 40625
1565.67/1569.85 c #Conflicts: 1276000 | #Constraints: 41625
1565.67/1569.85 c #Conflicts: 1277000 | #Constraints: 42625
1565.67/1569.85 c #Conflicts: 1278000 | #Constraints: 43625
1565.67/1569.85 c #Conflicts: 1279000 | #Constraints: 44625
1565.67/1569.85 c INPROCESSING
1565.67/1569.85 c GARBAGE COLLECT
1565.67/1569.85 c #Conflicts: 1280000 | #Constraints: 23223
1565.67/1569.85 c #Conflicts: 1281000 | #Constraints: 24223
1565.67/1569.85 c #Conflicts: 1282000 | #Constraints: 25223
1565.67/1569.85 c #Conflicts: 1283000 | #Constraints: 26223
1565.67/1569.85 c #Conflicts: 1284000 | #Constraints: 27223
1565.67/1569.85 c #Conflicts: 1285000 | #Constraints: 28223
1565.67/1569.85 c #Conflicts: 1286000 | #Constraints: 29223
1565.67/1569.85 c #Conflicts: 1287000 | #Constraints: 30223
1565.67/1569.85 c #Conflicts: 1288000 | #Constraints: 31223
1565.67/1569.85 c #Conflicts: 1289000 | #Constraints: 32223
1565.67/1569.85 c #Conflicts: 1290000 | #Constraints: 33223
1565.67/1569.85 c #Conflicts: 1291000 | #Constraints: 34223
1565.67/1569.85 c #Conflicts: 1292000 | #Constraints: 35223
1565.67/1569.85 c #Conflicts: 1293000 | #Constraints: 36223
1565.67/1569.85 c #Conflicts: 1294000 | #Constraints: 37223
1565.67/1569.85 c #Conflicts: 1295000 | #Constraints: 38223
1565.67/1569.85 c #Conflicts: 1296000 | #Constraints: 39223
1565.67/1569.85 c #Conflicts: 1297000 | #Constraints: 40223
1565.67/1569.85 c #Conflicts: 1298000 | #Constraints: 41223
1565.67/1569.85 c #Conflicts: 1299000 | #Constraints: 42223
1565.67/1569.85 c #Conflicts: 1300000 | #Constraints: 43223
1565.67/1569.85 c #Conflicts: 1301000 | #Constraints: 44223
1565.67/1569.85 c #Conflicts: 1302000 | #Constraints: 45223
1565.67/1569.85 c INPROCESSING
1565.67/1569.85 c GARBAGE COLLECT
1565.67/1569.85 c #Conflicts: 1303000 | #Constraints: 23625
1565.67/1569.85 c #Conflicts: 1304000 | #Constraints: 24625
1565.67/1569.85 c #Conflicts: 1305000 | #Constraints: 25625
1565.67/1569.85 c #Conflicts: 1306000 | #Constraints: 26625
1565.67/1569.85 c #Conflicts: 1307000 | #Constraints: 27625
1565.67/1569.85 c #Conflicts: 1308000 | #Constraints: 28625
1565.67/1569.85 c #Conflicts: 1309000 | #Constraints: 29625
1565.67/1569.85 c #Conflicts: 1310000 | #Constraints: 30625
1565.67/1569.85 c #Conflicts: 1311000 | #Constraints: 31625
1565.67/1569.85 c #Conflicts: 1312000 | #Constraints: 32625
1565.67/1569.85 c #Conflicts: 1313000 | #Constraints: 33625
1565.67/1569.85 c #Conflicts: 1314000 | #Constraints: 34625
1565.67/1569.85 c #Conflicts: 1315000 | #Constraints: 35625
1565.67/1569.85 c #Conflicts: 1316000 | #Constraints: 36625
1565.67/1569.85 c #Conflicts: 1317000 | #Constraints: 37625
1565.67/1569.85 c #Conflicts: 1318000 | #Constraints: 38625
1565.67/1569.85 c #Conflicts: 1319000 | #Constraints: 39625
1565.67/1569.85 c #Conflicts: 1320000 | #Constraints: 40625
1565.67/1569.85 c #Conflicts: 1321000 | #Constraints: 41625
1565.67/1569.85 c #Conflicts: 1322000 | #Constraints: 42625
1565.67/1569.85 c #Conflicts: 1323000 | #Constraints: 43625
1565.67/1569.85 c #Conflicts: 1324000 | #Constraints: 44625
1565.67/1569.85 c #Conflicts: 1325000 | #Constraints: 45625
1565.67/1569.85 c INPROCESSING
1565.67/1569.85 c GARBAGE COLLECT
1565.67/1569.85 c #Conflicts: 1326000 | #Constraints: 23824
1565.67/1569.85 c #Conflicts: 1327000 | #Constraints: 24824
1565.67/1569.85 c #Conflicts: 1328000 | #Constraints: 25824
1565.67/1569.85 c #Conflicts: 1329000 | #Constraints: 26824
1565.67/1569.85 c #Conflicts: 1330000 | #Constraints: 27824
1565.67/1569.85 c #Conflicts: 1331000 | #Constraints: 28824
1565.67/1569.85 c #Conflicts: 1332000 | #Constraints: 29824
1565.67/1569.85 c #Conflicts: 1333000 | #Constraints: 30824
1565.67/1569.85 c #Conflicts: 1334000 | #Constraints: 31824
1565.67/1569.85 c #Conflicts: 1335000 | #Constraints: 32824
1565.67/1569.85 c #Conflicts: 1336000 | #Constraints: 33824
1565.67/1569.85 c #Conflicts: 1337000 | #Constraints: 34824
1565.67/1569.85 c #Conflicts: 1338000 | #Constraints: 35824
1565.67/1569.85 c #Conflicts: 1339000 | #Constraints: 36824
1565.67/1569.85 c #Conflicts: 1340000 | #Constraints: 37824
1565.67/1569.85 c #Conflicts: 1341000 | #Constraints: 38824
1565.67/1569.85 c #Conflicts: 1342000 | #Constraints: 39824
1565.67/1569.85 c #Conflicts: 1343000 | #Constraints: 40824
1565.67/1569.85 c #Conflicts: 1344000 | #Constraints: 41824
1565.67/1569.85 c #Conflicts: 1345000 | #Constraints: 42824
1565.67/1569.85 c #Conflicts: 1346000 | #Constraints: 43824
1565.67/1569.85 c #Conflicts: 1347000 | #Constraints: 44824
1565.67/1569.85 c #Conflicts: 1348000 | #Constraints: 45824
1565.67/1569.85 c INPROCESSING
1565.67/1569.85 c GARBAGE COLLECT
1565.67/1569.85 c #Conflicts: 1349000 | #Constraints: 23825
1565.67/1569.85 c #Conflicts: 1350000 | #Constraints: 24825
1677.32/1681.73 c #Conflicts: 1351000 | #Constraints: 25825
1677.32/1681.73 c #Conflicts: 1352000 | #Constraints: 26825
1677.32/1681.73 c #Conflicts: 1353000 | #Constraints: 27825
1677.32/1681.73 c #Conflicts: 1354000 | #Constraints: 28825
1677.32/1681.73 c #Conflicts: 1355000 | #Constraints: 29825
1677.32/1681.73 c #Conflicts: 1356000 | #Constraints: 30825
1677.32/1681.73 c #Conflicts: 1357000 | #Constraints: 31825
1677.32/1681.73 c #Conflicts: 1358000 | #Constraints: 32825
1677.32/1681.73 c #Conflicts: 1359000 | #Constraints: 33825
1677.32/1681.73 c #Conflicts: 1360000 | #Constraints: 34825
1677.32/1681.73 c #Conflicts: 1361000 | #Constraints: 35825
1677.32/1681.73 c #Conflicts: 1362000 | #Constraints: 36825
1677.32/1681.73 c #Conflicts: 1363000 | #Constraints: 37825
1677.32/1681.73 c #Conflicts: 1364000 | #Constraints: 38825
1677.32/1681.73 c #Conflicts: 1365000 | #Constraints: 39825
1677.32/1681.73 c #Conflicts: 1366000 | #Constraints: 40825
1677.32/1681.73 c #Conflicts: 1367000 | #Constraints: 41825
1677.32/1681.73 c #Conflicts: 1368000 | #Constraints: 42825
1677.32/1681.73 c #Conflicts: 1369000 | #Constraints: 43825
1677.32/1681.73 c #Conflicts: 1370000 | #Constraints: 44825
1677.32/1681.73 c #Conflicts: 1371000 | #Constraints: 45825
1677.32/1681.73 c INPROCESSING
1677.32/1681.73 c GARBAGE COLLECT
1677.32/1681.73 c #Conflicts: 1372000 | #Constraints: 23622
1677.32/1681.73 c #Conflicts: 1373000 | #Constraints: 24622
1677.32/1681.73 c #Conflicts: 1374000 | #Constraints: 25622
1677.32/1681.73 c #Conflicts: 1375000 | #Constraints: 26622
1677.32/1681.73 c #Conflicts: 1376000 | #Constraints: 27622
1677.32/1681.73 c #Conflicts: 1377000 | #Constraints: 28622
1677.32/1681.73 c #Conflicts: 1378000 | #Constraints: 29622
1677.32/1681.73 c #Conflicts: 1379000 | #Constraints: 30622
1677.32/1681.73 c #Conflicts: 1380000 | #Constraints: 31622
1677.32/1681.73 c #Conflicts: 1381000 | #Constraints: 32622
1677.32/1681.73 c #Conflicts: 1382000 | #Constraints: 33622
1677.32/1681.73 c #Conflicts: 1383000 | #Constraints: 34622
1677.32/1681.73 c #Conflicts: 1384000 | #Constraints: 35622
1677.32/1681.73 c #Conflicts: 1385000 | #Constraints: 36622
1677.32/1681.73 c #Conflicts: 1386000 | #Constraints: 37622
1677.32/1681.73 c #Conflicts: 1387000 | #Constraints: 38622
1677.32/1681.73 c #Conflicts: 1388000 | #Constraints: 39622
1677.32/1681.73 c #Conflicts: 1389000 | #Constraints: 40622
1677.32/1681.73 c #Conflicts: 1390000 | #Constraints: 41622
1677.32/1681.73 c #Conflicts: 1391000 | #Constraints: 42622
1677.32/1681.73 c #Conflicts: 1392000 | #Constraints: 43622
1677.32/1681.73 c #Conflicts: 1393000 | #Constraints: 44622
1677.32/1681.73 c #Conflicts: 1394000 | #Constraints: 45622
1677.32/1681.73 c #Conflicts: 1395000 | #Constraints: 46622
1677.32/1681.73 c INPROCESSING
1677.32/1681.73 c GARBAGE COLLECT
1677.32/1681.73 c #Conflicts: 1396000 | #Constraints: 24222
1677.32/1681.73 c #Conflicts: 1397000 | #Constraints: 25222
1677.32/1681.73 c #Conflicts: 1398000 | #Constraints: 26222
1677.32/1681.73 c #Conflicts: 1399000 | #Constraints: 27222
1677.32/1681.73 c #Conflicts: 1400000 | #Constraints: 28222
1677.32/1681.73 c #Conflicts: 1401000 | #Constraints: 29222
1677.32/1681.73 c #Conflicts: 1402000 | #Constraints: 30222
1677.32/1681.73 c #Conflicts: 1403000 | #Constraints: 31222
1677.32/1681.73 c #Conflicts: 1404000 | #Constraints: 32222
1677.32/1681.73 c #Conflicts: 1405000 | #Constraints: 33222
1677.32/1681.73 c #Conflicts: 1406000 | #Constraints: 34222
1677.32/1681.73 c #Conflicts: 1407000 | #Constraints: 35222
1677.32/1681.73 c #Conflicts: 1408000 | #Constraints: 36222
1677.32/1681.73 c #Conflicts: 1409000 | #Constraints: 37222
1677.32/1681.73 c #Conflicts: 1410000 | #Constraints: 38222
1677.32/1681.73 c #Conflicts: 1411000 | #Constraints: 39222
1677.32/1681.73 c #Conflicts: 1412000 | #Constraints: 40222
1677.32/1681.73 c #Conflicts: 1413000 | #Constraints: 41222
1677.32/1681.73 c #Conflicts: 1414000 | #Constraints: 42222
1677.32/1681.73 c #Conflicts: 1415000 | #Constraints: 43222
1677.32/1681.73 c #Conflicts: 1416000 | #Constraints: 44222
1677.32/1681.73 c #Conflicts: 1417000 | #Constraints: 45222
1677.32/1681.73 c #Conflicts: 1418000 | #Constraints: 46222
1677.32/1681.73 c #Conflicts: 1419000 | #Constraints: 47222
1677.32/1681.73 c INPROCESSING
1677.32/1681.73 c GARBAGE COLLECT
1677.32/1681.73 c #Conflicts: 1420000 | #Constraints: 24625
1677.32/1681.73 c #Conflicts: 1421000 | #Constraints: 25625
1677.32/1681.73 c #Conflicts: 1422000 | #Constraints: 26625
1677.32/1681.73 c #Conflicts: 1423000 | #Constraints: 27625
1677.32/1681.73 c #Conflicts: 1424000 | #Constraints: 28625
1677.32/1681.73 c #Conflicts: 1425000 | #Constraints: 29625
1677.32/1681.73 c #Conflicts: 1426000 | #Constraints: 30625
1677.32/1681.73 c #Conflicts: 1427000 | #Constraints: 31625
1793.37/1798.07 c #Conflicts: 1428000 | #Constraints: 32625
1793.37/1798.07 c #Conflicts: 1429000 | #Constraints: 33625
1793.37/1798.07 c #Conflicts: 1430000 | #Constraints: 34625
1793.37/1798.07 c #Conflicts: 1431000 | #Constraints: 35625
1793.37/1798.07 c #Conflicts: 1432000 | #Constraints: 36625
1793.37/1798.07 c #Conflicts: 1433000 | #Constraints: 37625
1793.37/1798.07 c #Conflicts: 1434000 | #Constraints: 38625
1793.37/1798.07 c #Conflicts: 1435000 | #Constraints: 39625
1793.37/1798.07 c #Conflicts: 1436000 | #Constraints: 40625
1793.37/1798.07 c #Conflicts: 1437000 | #Constraints: 41625
1793.37/1798.07 c #Conflicts: 1438000 | #Constraints: 42625
1793.37/1798.07 c #Conflicts: 1439000 | #Constraints: 43625
1793.37/1798.07 c #Conflicts: 1440000 | #Constraints: 44625
1793.37/1798.07 c #Conflicts: 1441000 | #Constraints: 45625
1793.37/1798.07 c #Conflicts: 1442000 | #Constraints: 46625
1793.37/1798.07 c #Conflicts: 1443000 | #Constraints: 47625
1793.37/1798.07 c INPROCESSING
1793.37/1798.07 c GARBAGE COLLECT
1793.37/1798.07 c #Conflicts: 1444000 | #Constraints: 24822
1793.37/1798.07 c #Conflicts: 1445000 | #Constraints: 25822
1793.37/1798.07 c #Conflicts: 1446000 | #Constraints: 26822
1793.37/1798.07 c #Conflicts: 1447000 | #Constraints: 27822
1793.37/1798.07 c #Conflicts: 1448000 | #Constraints: 28822
1793.37/1798.07 c #Conflicts: 1449000 | #Constraints: 29822
1793.37/1798.07 c #Conflicts: 1450000 | #Constraints: 30822
1793.37/1798.07 c #Conflicts: 1451000 | #Constraints: 31822
1793.37/1798.07 c #Conflicts: 1452000 | #Constraints: 32822
1793.37/1798.07 c #Conflicts: 1453000 | #Constraints: 33822
1793.37/1798.07 c #Conflicts: 1454000 | #Constraints: 34822
1793.37/1798.07 c #Conflicts: 1455000 | #Constraints: 35822
1793.37/1798.07 c #Conflicts: 1456000 | #Constraints: 36822
1793.37/1798.07 c #Conflicts: 1457000 | #Constraints: 37822
1793.37/1798.07 c #Conflicts: 1458000 | #Constraints: 38822
1793.37/1798.07 c #Conflicts: 1459000 | #Constraints: 39822
1793.37/1798.07 c #Conflicts: 1460000 | #Constraints: 40822
1793.37/1798.07 c #Conflicts: 1461000 | #Constraints: 41822
1793.37/1798.07 c #Conflicts: 1462000 | #Constraints: 42822
1793.37/1798.07 c #Conflicts: 1463000 | #Constraints: 43822
1793.37/1798.07 c #Conflicts: 1464000 | #Constraints: 44822
1793.37/1798.07 c #Conflicts: 1465000 | #Constraints: 45822
1793.37/1798.07 c #Conflicts: 1466000 | #Constraints: 46822
1793.37/1798.07 c #Conflicts: 1467000 | #Constraints: 47822
1793.37/1798.07 c INPROCESSING
1793.37/1798.07 c GARBAGE COLLECT
1793.37/1798.07 c #Conflicts: 1468000 | #Constraints: 24822
1793.37/1798.07 c #Conflicts: 1469000 | #Constraints: 25822
1793.37/1798.07 c #Conflicts: 1470000 | #Constraints: 26822
1793.37/1798.07 c #Conflicts: 1471000 | #Constraints: 27822
1793.37/1798.07 c #Conflicts: 1472000 | #Constraints: 28822
1793.37/1798.07 c #Conflicts: 1473000 | #Constraints: 29822
1793.37/1798.07 c #Conflicts: 1474000 | #Constraints: 30822
1793.37/1798.07 c #Conflicts: 1475000 | #Constraints: 31822
1793.37/1798.07 c #Conflicts: 1476000 | #Constraints: 32822
1793.37/1798.07 c #Conflicts: 1477000 | #Constraints: 33822
1793.37/1798.07 c #Conflicts: 1478000 | #Constraints: 34822
1793.37/1798.07 c #Conflicts: 1479000 | #Constraints: 35822
1793.37/1798.07 c #Conflicts: 1480000 | #Constraints: 36822
1793.37/1798.07 c #Conflicts: 1481000 | #Constraints: 37822
1793.37/1798.07 c #Conflicts: 1482000 | #Constraints: 38822
1793.37/1798.07 c #Conflicts: 1483000 | #Constraints: 39822
1793.37/1798.07 c #Conflicts: 1484000 | #Constraints: 40822
1793.37/1798.07 c #Conflicts: 1485000 | #Constraints: 41822
1793.37/1798.07 c #Conflicts: 1486000 | #Constraints: 42822
1793.37/1798.07 c #Conflicts: 1487000 | #Constraints: 43822
1793.37/1798.07 c #Conflicts: 1488000 | #Constraints: 44822
1793.37/1798.07 c #Conflicts: 1489000 | #Constraints: 45822
1793.37/1798.07 c #Conflicts: 1490000 | #Constraints: 46822
1793.37/1798.07 c #Conflicts: 1491000 | #Constraints: 47822
1793.37/1798.07 c INPROCESSING
1793.37/1798.07 c GARBAGE COLLECT
1793.37/1798.07 c #Conflicts: 1492000 | #Constraints: 24622
1793.37/1798.07 c #Conflicts: 1493000 | #Constraints: 25622
1793.37/1798.07 c #Conflicts: 1494000 | #Constraints: 26622
1793.37/1798.07 c #Conflicts: 1495000 | #Constraints: 27622
1793.37/1798.07 c #Conflicts: 1496000 | #Constraints: 28622
1793.37/1798.07 c #Conflicts: 1497000 | #Constraints: 29622
1793.37/1798.07 c #Conflicts: 1498000 | #Constraints: 30622
1793.37/1798.07 c #Conflicts: 1499000 | #Constraints: 31622
1793.37/1798.07 c #Conflicts: 1500000 | #Constraints: 32622
1793.37/1798.07 c #Conflicts: 1501000 | #Constraints: 33622
1793.37/1798.07 c #Conflicts: 1502000 | #Constraints: 34622
1793.37/1798.07 c #Conflicts: 1503000 | #Constraints: 35622
1793.37/1798.07 c #Conflicts: 1504000 | #Constraints: 36622
1919.27/1924.29 c #Conflicts: 1505000 | #Constraints: 37622
1919.27/1924.29 c #Conflicts: 1506000 | #Constraints: 38622
1919.27/1924.29 c #Conflicts: 1507000 | #Constraints: 39622
1919.27/1924.29 c #Conflicts: 1508000 | #Constraints: 40622
1919.27/1924.29 c #Conflicts: 1509000 | #Constraints: 41622
1919.27/1924.29 c #Conflicts: 1510000 | #Constraints: 42622
1919.27/1924.29 c #Conflicts: 1511000 | #Constraints: 43622
1919.27/1924.29 c #Conflicts: 1512000 | #Constraints: 44622
1919.27/1924.29 c #Conflicts: 1513000 | #Constraints: 45622
1919.27/1924.29 c #Conflicts: 1514000 | #Constraints: 46622
1919.27/1924.29 c #Conflicts: 1515000 | #Constraints: 47622
1919.27/1924.29 c #Conflicts: 1516000 | #Constraints: 48622
1919.27/1924.29 c INPROCESSING
1919.27/1924.29 c GARBAGE COLLECT
1919.27/1924.29 c #Conflicts: 1517000 | #Constraints: 25220
1919.27/1924.29 c #Conflicts: 1518000 | #Constraints: 26220
1919.27/1924.29 c #Conflicts: 1519000 | #Constraints: 27220
1919.27/1924.29 c #Conflicts: 1520000 | #Constraints: 28220
1919.27/1924.29 c #Conflicts: 1521000 | #Constraints: 29220
1919.27/1924.29 c #Conflicts: 1522000 | #Constraints: 30220
1919.27/1924.29 c #Conflicts: 1523000 | #Constraints: 31220
1919.27/1924.29 c #Conflicts: 1524000 | #Constraints: 32220
1919.27/1924.29 c #Conflicts: 1525000 | #Constraints: 33220
1919.27/1924.29 c #Conflicts: 1526000 | #Constraints: 34220
1919.27/1924.29 c #Conflicts: 1527000 | #Constraints: 35220
1919.27/1924.29 c #Conflicts: 1528000 | #Constraints: 36220
1919.27/1924.29 c #Conflicts: 1529000 | #Constraints: 37220
1919.27/1924.29 c #Conflicts: 1530000 | #Constraints: 38220
1919.27/1924.29 c #Conflicts: 1531000 | #Constraints: 39220
1919.27/1924.29 c #Conflicts: 1532000 | #Constraints: 40220
1919.27/1924.29 c #Conflicts: 1533000 | #Constraints: 41220
1919.27/1924.29 c #Conflicts: 1534000 | #Constraints: 42220
1919.27/1924.29 c #Conflicts: 1535000 | #Constraints: 43220
1919.27/1924.29 c #Conflicts: 1536000 | #Constraints: 44220
1919.27/1924.29 c #Conflicts: 1537000 | #Constraints: 45220
1919.27/1924.29 c #Conflicts: 1538000 | #Constraints: 46220
1919.27/1924.29 c #Conflicts: 1539000 | #Constraints: 47220
1919.27/1924.29 c #Conflicts: 1540000 | #Constraints: 48220
1919.27/1924.29 c #Conflicts: 1541000 | #Constraints: 49220
1919.27/1924.29 c INPROCESSING
1919.27/1924.29 c GARBAGE COLLECT
1919.27/1924.29 c #Conflicts: 1542000 | #Constraints: 25619
1919.27/1924.29 c #Conflicts: 1543000 | #Constraints: 26619
1919.27/1924.29 c #Conflicts: 1544000 | #Constraints: 27619
1919.27/1924.29 c #Conflicts: 1545000 | #Constraints: 28619
1919.27/1924.29 c #Conflicts: 1546000 | #Constraints: 29619
1919.27/1924.29 c #Conflicts: 1547000 | #Constraints: 30619
1919.27/1924.29 c #Conflicts: 1548000 | #Constraints: 31619
1919.27/1924.29 c #Conflicts: 1549000 | #Constraints: 32619
1919.27/1924.29 c #Conflicts: 1550000 | #Constraints: 33619
1919.27/1924.29 c #Conflicts: 1551000 | #Constraints: 34619
1919.27/1924.29 c #Conflicts: 1552000 | #Constraints: 35619
1919.27/1924.29 c #Conflicts: 1553000 | #Constraints: 36619
1919.27/1924.29 c #Conflicts: 1554000 | #Constraints: 37619
1919.27/1924.29 c #Conflicts: 1555000 | #Constraints: 38619
1919.27/1924.29 c #Conflicts: 1556000 | #Constraints: 39619
1919.27/1924.29 c #Conflicts: 1557000 | #Constraints: 40619
1919.27/1924.29 c #Conflicts: 1558000 | #Constraints: 41619
1919.27/1924.29 c #Conflicts: 1559000 | #Constraints: 42619
1919.27/1924.29 c #Conflicts: 1560000 | #Constraints: 43619
1919.27/1924.29 c #Conflicts: 1561000 | #Constraints: 44619
1919.27/1924.29 c #Conflicts: 1562000 | #Constraints: 45619
1919.27/1924.29 c #Conflicts: 1563000 | #Constraints: 46619
1919.27/1924.29 c #Conflicts: 1564000 | #Constraints: 47619
1919.27/1924.29 c #Conflicts: 1565000 | #Constraints: 48619
1919.27/1924.29 c #Conflicts: 1566000 | #Constraints: 49619
1919.27/1924.29 c INPROCESSING
1919.27/1924.29 c GARBAGE COLLECT
1919.27/1924.29 c #Conflicts: 1567000 | #Constraints: 25821
1919.27/1924.29 c #Conflicts: 1568000 | #Constraints: 26821
1919.27/1924.29 c #Conflicts: 1569000 | #Constraints: 27821
1919.27/1924.29 c #Conflicts: 1570000 | #Constraints: 28821
1919.27/1924.29 c #Conflicts: 1571000 | #Constraints: 29821
1919.27/1924.29 c #Conflicts: 1572000 | #Constraints: 30821
1919.27/1924.29 c #Conflicts: 1573000 | #Constraints: 31821
1919.27/1924.29 c #Conflicts: 1574000 | #Constraints: 32821
1919.27/1924.29 c #Conflicts: 1575000 | #Constraints: 33821
1919.27/1924.29 c #Conflicts: 1576000 | #Constraints: 34821
1919.27/1924.29 c #Conflicts: 1577000 | #Constraints: 35821
1919.27/1924.29 c #Conflicts: 1578000 | #Constraints: 36821
1919.27/1924.29 c #Conflicts: 1579000 | #Constraints: 37821
1919.27/1924.29 c #Conflicts: 1580000 | #Constraints: 38821
1919.27/1924.29 c #Conflicts: 1581000 | #Constraints: 39821
2053.96/2059.22 c #Conflicts: 1582000 | #Constraints: 40821
2053.96/2059.22 c #Conflicts: 1583000 | #Constraints: 41821
2053.96/2059.22 c #Conflicts: 1584000 | #Constraints: 42821
2053.96/2059.22 c #Conflicts: 1585000 | #Constraints: 43821
2053.96/2059.22 c #Conflicts: 1586000 | #Constraints: 44821
2053.96/2059.22 c #Conflicts: 1587000 | #Constraints: 45821
2053.96/2059.22 c #Conflicts: 1588000 | #Constraints: 46821
2053.96/2059.22 c #Conflicts: 1589000 | #Constraints: 47821
2053.96/2059.22 c #Conflicts: 1590000 | #Constraints: 48821
2053.96/2059.22 c #Conflicts: 1591000 | #Constraints: 49821
2053.96/2059.22 c INPROCESSING
2053.96/2059.22 c GARBAGE COLLECT
2053.96/2059.22 c #Conflicts: 1592000 | #Constraints: 25823
2053.96/2059.22 c #Conflicts: 1593000 | #Constraints: 26823
2053.96/2059.22 c #Conflicts: 1594000 | #Constraints: 27823
2053.96/2059.22 c #Conflicts: 1595000 | #Constraints: 28823
2053.96/2059.22 c #Conflicts: 1596000 | #Constraints: 29823
2053.96/2059.22 c #Conflicts: 1597000 | #Constraints: 30823
2053.96/2059.22 c #Conflicts: 1598000 | #Constraints: 31823
2053.96/2059.22 c #Conflicts: 1599000 | #Constraints: 32823
2053.96/2059.22 c #Conflicts: 1600000 | #Constraints: 33823
2053.96/2059.22 c #Conflicts: 1601000 | #Constraints: 34823
2053.96/2059.22 c #Conflicts: 1602000 | #Constraints: 35823
2053.96/2059.22 c #Conflicts: 1603000 | #Constraints: 36823
2053.96/2059.22 c #Conflicts: 1604000 | #Constraints: 37823
2053.96/2059.22 c #Conflicts: 1605000 | #Constraints: 38823
2053.96/2059.22 c #Conflicts: 1606000 | #Constraints: 39823
2053.96/2059.22 c #Conflicts: 1607000 | #Constraints: 40823
2053.96/2059.22 c #Conflicts: 1608000 | #Constraints: 41823
2053.96/2059.22 c #Conflicts: 1609000 | #Constraints: 42823
2053.96/2059.22 c #Conflicts: 1610000 | #Constraints: 43823
2053.96/2059.22 c #Conflicts: 1611000 | #Constraints: 44823
2053.96/2059.22 c #Conflicts: 1612000 | #Constraints: 45823
2053.96/2059.22 c #Conflicts: 1613000 | #Constraints: 46823
2053.96/2059.22 c #Conflicts: 1614000 | #Constraints: 47823
2053.96/2059.22 c #Conflicts: 1615000 | #Constraints: 48823
2053.96/2059.22 c #Conflicts: 1616000 | #Constraints: 49823
2053.96/2059.22 c INPROCESSING
2053.96/2059.22 c GARBAGE COLLECT
2053.96/2059.22 c #Conflicts: 1617000 | #Constraints: 25625
2053.96/2059.22 c #Conflicts: 1618000 | #Constraints: 26625
2053.96/2059.22 c #Conflicts: 1619000 | #Constraints: 27625
2053.96/2059.22 c #Conflicts: 1620000 | #Constraints: 28625
2053.96/2059.22 c #Conflicts: 1621000 | #Constraints: 29625
2053.96/2059.22 c #Conflicts: 1622000 | #Constraints: 30625
2053.96/2059.22 c #Conflicts: 1623000 | #Constraints: 31625
2053.96/2059.22 c #Conflicts: 1624000 | #Constraints: 32625
2053.96/2059.22 c #Conflicts: 1625000 | #Constraints: 33625
2053.96/2059.22 c #Conflicts: 1626000 | #Constraints: 34625
2053.96/2059.22 c #Conflicts: 1627000 | #Constraints: 35625
2053.96/2059.22 c #Conflicts: 1628000 | #Constraints: 36625
2053.96/2059.22 c #Conflicts: 1629000 | #Constraints: 37625
2053.96/2059.22 c #Conflicts: 1630000 | #Constraints: 38625
2053.96/2059.22 c #Conflicts: 1631000 | #Constraints: 39625
2053.96/2059.22 c #Conflicts: 1632000 | #Constraints: 40625
2053.96/2059.22 c #Conflicts: 1633000 | #Constraints: 41625
2053.96/2059.22 c #Conflicts: 1634000 | #Constraints: 42625
2053.96/2059.22 c #Conflicts: 1635000 | #Constraints: 43625
2053.96/2059.22 c #Conflicts: 1636000 | #Constraints: 44625
2053.96/2059.22 c #Conflicts: 1637000 | #Constraints: 45625
2053.96/2059.22 c #Conflicts: 1638000 | #Constraints: 46625
2053.96/2059.22 c #Conflicts: 1639000 | #Constraints: 47625
2053.96/2059.22 c #Conflicts: 1640000 | #Constraints: 48625
2053.96/2059.22 c #Conflicts: 1641000 | #Constraints: 49625
2053.96/2059.22 c #Conflicts: 1642000 | #Constraints: 50625
2053.96/2059.22 c INPROCESSING
2053.96/2059.22 c GARBAGE COLLECT
2053.96/2059.22 c #Conflicts: 1643000 | #Constraints: 26224
2053.96/2059.22 c #Conflicts: 1644000 | #Constraints: 27224
2053.96/2059.22 c #Conflicts: 1645000 | #Constraints: 28224
2053.96/2059.22 c #Conflicts: 1646000 | #Constraints: 29224
2053.96/2059.22 c #Conflicts: 1647000 | #Constraints: 30224
2053.96/2059.22 c #Conflicts: 1648000 | #Constraints: 31224
2053.96/2059.22 c #Conflicts: 1649000 | #Constraints: 32224
2053.96/2059.22 c #Conflicts: 1650000 | #Constraints: 33224
2053.96/2059.22 c #Conflicts: 1651000 | #Constraints: 34224
2053.96/2059.22 c #Conflicts: 1652000 | #Constraints: 35224
2053.96/2059.22 c #Conflicts: 1653000 | #Constraints: 36224
2053.96/2059.22 c #Conflicts: 1654000 | #Constraints: 37224
2053.96/2059.22 c #Conflicts: 1655000 | #Constraints: 38224
2053.96/2059.22 c #Conflicts: 1656000 | #Constraints: 39224
2053.96/2059.22 c #Conflicts: 1657000 | #Constraints: 40224
2053.96/2059.22 c #Conflicts: 1658000 | #Constraints: 41224
2185.07/2190.67 c #Conflicts: 1659000 | #Constraints: 42224
2185.07/2190.67 c #Conflicts: 1660000 | #Constraints: 43224
2185.07/2190.67 c #Conflicts: 1661000 | #Constraints: 44224
2185.07/2190.67 c #Conflicts: 1662000 | #Constraints: 45224
2185.07/2190.67 c #Conflicts: 1663000 | #Constraints: 46224
2185.07/2190.67 c #Conflicts: 1664000 | #Constraints: 47224
2185.07/2190.67 c #Conflicts: 1665000 | #Constraints: 48224
2185.07/2190.67 c #Conflicts: 1666000 | #Constraints: 49224
2185.07/2190.67 c #Conflicts: 1667000 | #Constraints: 50224
2185.07/2190.67 c #Conflicts: 1668000 | #Constraints: 51224
2185.07/2190.67 c INPROCESSING
2185.07/2190.67 c GARBAGE COLLECT
2185.07/2190.67 c #Conflicts: 1669000 | #Constraints: 26621
2185.07/2190.67 c #Conflicts: 1670000 | #Constraints: 27621
2185.07/2190.67 c #Conflicts: 1671000 | #Constraints: 28621
2185.07/2190.67 c #Conflicts: 1672000 | #Constraints: 29621
2185.07/2190.67 c #Conflicts: 1673000 | #Constraints: 30621
2185.07/2190.67 c #Conflicts: 1674000 | #Constraints: 31621
2185.07/2190.67 c #Conflicts: 1675000 | #Constraints: 32621
2185.07/2190.67 c #Conflicts: 1676000 | #Constraints: 33621
2185.07/2190.67 c #Conflicts: 1677000 | #Constraints: 34621
2185.07/2190.67 c #Conflicts: 1678000 | #Constraints: 35621
2185.07/2190.67 c #Conflicts: 1679000 | #Constraints: 36621
2185.07/2190.67 c #Conflicts: 1680000 | #Constraints: 37621
2185.07/2190.67 c #Conflicts: 1681000 | #Constraints: 38621
2185.07/2190.67 c #Conflicts: 1682000 | #Constraints: 39621
2185.07/2190.67 c #Conflicts: 1683000 | #Constraints: 40621
2185.07/2190.67 c #Conflicts: 1684000 | #Constraints: 41621
2185.07/2190.67 c #Conflicts: 1685000 | #Constraints: 42621
2185.07/2190.67 c #Conflicts: 1686000 | #Constraints: 43621
2185.07/2190.67 c #Conflicts: 1687000 | #Constraints: 44621
2185.07/2190.67 c #Conflicts: 1688000 | #Constraints: 45621
2185.07/2190.67 c #Conflicts: 1689000 | #Constraints: 46621
2185.07/2190.67 c #Conflicts: 1690000 | #Constraints: 47621
2185.07/2190.67 c #Conflicts: 1691000 | #Constraints: 48621
2185.07/2190.67 c #Conflicts: 1692000 | #Constraints: 49621
2185.07/2190.67 c #Conflicts: 1693000 | #Constraints: 50621
2185.07/2190.67 c #Conflicts: 1694000 | #Constraints: 51621
2185.07/2190.67 c INPROCESSING
2185.07/2190.67 c GARBAGE COLLECT
2185.07/2190.67 c #Conflicts: 1695000 | #Constraints: 26821
2185.07/2190.67 c #Conflicts: 1696000 | #Constraints: 27821
2185.07/2190.67 c #Conflicts: 1697000 | #Constraints: 28821
2185.07/2190.67 c #Conflicts: 1698000 | #Constraints: 29821
2185.07/2190.67 c #Conflicts: 1699000 | #Constraints: 30821
2185.07/2190.67 c #Conflicts: 1700000 | #Constraints: 31821
2185.07/2190.67 c #Conflicts: 1701000 | #Constraints: 32821
2185.07/2190.67 c #Conflicts: 1702000 | #Constraints: 33821
2185.07/2190.67 c #Conflicts: 1703000 | #Constraints: 34821
2185.07/2190.67 c #Conflicts: 1704000 | #Constraints: 35821
2185.07/2190.67 c #Conflicts: 1705000 | #Constraints: 36821
2185.07/2190.67 c #Conflicts: 1706000 | #Constraints: 37821
2185.07/2190.67 c #Conflicts: 1707000 | #Constraints: 38821
2185.07/2190.67 c #Conflicts: 1708000 | #Constraints: 39821
2185.07/2190.67 c #Conflicts: 1709000 | #Constraints: 40821
2185.07/2190.67 c #Conflicts: 1710000 | #Constraints: 41821
2185.07/2190.67 c #Conflicts: 1711000 | #Constraints: 42821
2185.07/2190.67 c #Conflicts: 1712000 | #Constraints: 43821
2185.07/2190.67 c #Conflicts: 1713000 | #Constraints: 44821
2185.07/2190.67 c #Conflicts: 1714000 | #Constraints: 45821
2185.07/2190.67 c #Conflicts: 1715000 | #Constraints: 46821
2185.07/2190.67 c #Conflicts: 1716000 | #Constraints: 47821
2185.07/2190.67 c #Conflicts: 1717000 | #Constraints: 48821
2185.07/2190.67 c #Conflicts: 1718000 | #Constraints: 49821
2185.07/2190.67 c #Conflicts: 1719000 | #Constraints: 50821
2185.07/2190.67 c #Conflicts: 1720000 | #Constraints: 51821
2185.07/2190.67 c INPROCESSING
2185.07/2190.67 c GARBAGE COLLECT
2185.07/2190.67 c #Conflicts: 1721000 | #Constraints: 26826
2185.07/2190.67 c #Conflicts: 1722000 | #Constraints: 27826
2185.07/2190.67 c #Conflicts: 1723000 | #Constraints: 28826
2185.07/2190.67 c #Conflicts: 1724000 | #Constraints: 29826
2185.07/2190.67 c #Conflicts: 1725000 | #Constraints: 30826
2185.07/2190.67 c #Conflicts: 1726000 | #Constraints: 31826
2185.07/2190.67 c #Conflicts: 1727000 | #Constraints: 32826
2185.07/2190.67 c #Conflicts: 1728000 | #Constraints: 33826
2185.07/2190.67 c #Conflicts: 1729000 | #Constraints: 34826
2185.07/2190.67 c #Conflicts: 1730000 | #Constraints: 35826
2185.07/2190.67 c #Conflicts: 1731000 | #Constraints: 36826
2185.07/2190.67 c #Conflicts: 1732000 | #Constraints: 37826
2185.07/2190.67 c #Conflicts: 1733000 | #Constraints: 38826
2185.07/2190.67 c #Conflicts: 1734000 | #Constraints: 39826
2185.07/2190.67 c #Conflicts: 1735000 | #Constraints: 40826
2314.97/2320.87 c #Conflicts: 1736000 | #Constraints: 41826
2314.97/2320.87 c #Conflicts: 1737000 | #Constraints: 42826
2314.97/2320.87 c #Conflicts: 1738000 | #Constraints: 43826
2314.97/2320.87 c #Conflicts: 1739000 | #Constraints: 44826
2314.97/2320.87 c #Conflicts: 1740000 | #Constraints: 45826
2314.97/2320.87 c #Conflicts: 1741000 | #Constraints: 46826
2314.97/2320.87 c #Conflicts: 1742000 | #Constraints: 47826
2314.97/2320.87 c #Conflicts: 1743000 | #Constraints: 48826
2314.97/2320.87 c #Conflicts: 1744000 | #Constraints: 49826
2314.97/2320.87 c #Conflicts: 1745000 | #Constraints: 50826
2314.97/2320.87 c #Conflicts: 1746000 | #Constraints: 51826
2314.97/2320.87 c INPROCESSING
2314.97/2320.87 c GARBAGE COLLECT
2314.97/2320.87 c #Conflicts: 1747000 | #Constraints: 26625
2314.97/2320.87 c #Conflicts: 1748000 | #Constraints: 27625
2314.97/2320.87 c #Conflicts: 1749000 | #Constraints: 28625
2314.97/2320.87 c #Conflicts: 1750000 | #Constraints: 29625
2314.97/2320.87 c #Conflicts: 1751000 | #Constraints: 30625
2314.97/2320.87 c #Conflicts: 1752000 | #Constraints: 31625
2314.97/2320.87 c #Conflicts: 1753000 | #Constraints: 32625
2314.97/2320.87 c #Conflicts: 1754000 | #Constraints: 33625
2314.97/2320.87 c #Conflicts: 1755000 | #Constraints: 34625
2314.97/2320.87 c #Conflicts: 1756000 | #Constraints: 35625
2314.97/2320.87 c #Conflicts: 1757000 | #Constraints: 36625
2314.97/2320.87 c #Conflicts: 1758000 | #Constraints: 37625
2314.97/2320.87 c #Conflicts: 1759000 | #Constraints: 38625
2314.97/2320.87 c #Conflicts: 1760000 | #Constraints: 39625
2314.97/2320.87 c #Conflicts: 1761000 | #Constraints: 40625
2314.97/2320.87 c #Conflicts: 1762000 | #Constraints: 41625
2314.97/2320.87 c #Conflicts: 1763000 | #Constraints: 42625
2314.97/2320.87 c #Conflicts: 1764000 | #Constraints: 43625
2314.97/2320.87 c #Conflicts: 1765000 | #Constraints: 44625
2314.97/2320.87 c #Conflicts: 1766000 | #Constraints: 45625
2314.97/2320.87 c #Conflicts: 1767000 | #Constraints: 46625
2314.97/2320.87 c #Conflicts: 1768000 | #Constraints: 47625
2314.97/2320.87 c #Conflicts: 1769000 | #Constraints: 48625
2314.97/2320.87 c #Conflicts: 1770000 | #Constraints: 49625
2314.97/2320.87 c #Conflicts: 1771000 | #Constraints: 50625
2314.97/2320.87 c #Conflicts: 1772000 | #Constraints: 51625
2314.97/2320.87 c #Conflicts: 1773000 | #Constraints: 52625
2314.97/2320.87 c INPROCESSING
2314.97/2320.87 c GARBAGE COLLECT
2314.97/2320.87 c #Conflicts: 1774000 | #Constraints: 27225
2314.97/2320.87 c #Conflicts: 1775000 | #Constraints: 28225
2314.97/2320.87 c #Conflicts: 1776000 | #Constraints: 29225
2314.97/2320.87 c #Conflicts: 1777000 | #Constraints: 30225
2314.97/2320.87 c #Conflicts: 1778000 | #Constraints: 31225
2314.97/2320.87 c #Conflicts: 1779000 | #Constraints: 32225
2314.97/2320.87 c #Conflicts: 1780000 | #Constraints: 33225
2314.97/2320.87 c #Conflicts: 1781000 | #Constraints: 34225
2314.97/2320.87 c #Conflicts: 1782000 | #Constraints: 35225
2314.97/2320.87 c #Conflicts: 1783000 | #Constraints: 36225
2314.97/2320.87 c #Conflicts: 1784000 | #Constraints: 37225
2314.97/2320.87 c #Conflicts: 1785000 | #Constraints: 38225
2314.97/2320.87 c #Conflicts: 1786000 | #Constraints: 39225
2314.97/2320.87 c #Conflicts: 1787000 | #Constraints: 40225
2314.97/2320.87 c #Conflicts: 1788000 | #Constraints: 41225
2314.97/2320.87 c #Conflicts: 1789000 | #Constraints: 42225
2314.97/2320.87 c #Conflicts: 1790000 | #Constraints: 43225
2314.97/2320.87 c #Conflicts: 1791000 | #Constraints: 44225
2314.97/2320.87 c #Conflicts: 1792000 | #Constraints: 45225
2314.97/2320.87 c #Conflicts: 1793000 | #Constraints: 46225
2314.97/2320.87 c #Conflicts: 1794000 | #Constraints: 47225
2314.97/2320.87 c #Conflicts: 1795000 | #Constraints: 48225
2314.97/2320.87 c #Conflicts: 1796000 | #Constraints: 49225
2314.97/2320.87 c #Conflicts: 1797000 | #Constraints: 50225
2314.97/2320.87 c #Conflicts: 1798000 | #Constraints: 51225
2314.97/2320.87 c #Conflicts: 1799000 | #Constraints: 52225
2314.97/2320.87 c #Conflicts: 1800000 | #Constraints: 53225
2314.97/2320.87 c INPROCESSING
2314.97/2320.87 c GARBAGE COLLECT
2314.97/2320.87 c #Conflicts: 1801000 | #Constraints: 27622
2314.97/2320.87 c #Conflicts: 1802000 | #Constraints: 28622
2314.97/2320.87 c #Conflicts: 1803000 | #Constraints: 29622
2314.97/2320.87 c #Conflicts: 1804000 | #Constraints: 30622
2314.97/2320.87 c #Conflicts: 1805000 | #Constraints: 31622
2314.97/2320.87 c #Conflicts: 1806000 | #Constraints: 32622
2314.97/2320.87 c #Conflicts: 1807000 | #Constraints: 33622
2314.97/2320.87 c #Conflicts: 1808000 | #Constraints: 34622
2314.97/2320.87 c #Conflicts: 1809000 | #Constraints: 35622
2314.97/2320.87 c #Conflicts: 1810000 | #Constraints: 36622
2314.97/2320.87 c #Conflicts: 1811000 | #Constraints: 37622
2314.97/2320.87 c #Conflicts: 1812000 | #Constraints: 38622
2451.38/2457.56 c #Conflicts: 1813000 | #Constraints: 39622
2451.38/2457.56 c #Conflicts: 1814000 | #Constraints: 40622
2451.38/2457.56 c #Conflicts: 1815000 | #Constraints: 41622
2451.38/2457.56 c #Conflicts: 1816000 | #Constraints: 42622
2451.38/2457.56 c #Conflicts: 1817000 | #Constraints: 43622
2451.38/2457.56 c #Conflicts: 1818000 | #Constraints: 44622
2451.38/2457.56 c #Conflicts: 1819000 | #Constraints: 45622
2451.38/2457.56 c #Conflicts: 1820000 | #Constraints: 46622
2451.38/2457.56 c #Conflicts: 1821000 | #Constraints: 47622
2451.38/2457.56 c #Conflicts: 1822000 | #Constraints: 48622
2451.38/2457.56 c #Conflicts: 1823000 | #Constraints: 49622
2451.38/2457.56 c #Conflicts: 1824000 | #Constraints: 50622
2451.38/2457.56 c #Conflicts: 1825000 | #Constraints: 51622
2451.38/2457.56 c #Conflicts: 1826000 | #Constraints: 52622
2451.38/2457.56 c #Conflicts: 1827000 | #Constraints: 53622
2451.38/2457.56 c INPROCESSING
2451.38/2457.56 c GARBAGE COLLECT
2451.38/2457.56 c #Conflicts: 1828000 | #Constraints: 27825
2451.38/2457.56 c #Conflicts: 1829000 | #Constraints: 28825
2451.38/2457.56 c #Conflicts: 1830000 | #Constraints: 29825
2451.38/2457.56 c #Conflicts: 1831000 | #Constraints: 30825
2451.38/2457.56 c #Conflicts: 1832000 | #Constraints: 31825
2451.38/2457.56 c #Conflicts: 1833000 | #Constraints: 32825
2451.38/2457.56 c #Conflicts: 1834000 | #Constraints: 33825
2451.38/2457.56 c #Conflicts: 1835000 | #Constraints: 34825
2451.38/2457.56 c #Conflicts: 1836000 | #Constraints: 35825
2451.38/2457.56 c #Conflicts: 1837000 | #Constraints: 36825
2451.38/2457.56 c #Conflicts: 1838000 | #Constraints: 37825
2451.38/2457.56 c #Conflicts: 1839000 | #Constraints: 38825
2451.38/2457.56 c #Conflicts: 1840000 | #Constraints: 39825
2451.38/2457.56 c #Conflicts: 1841000 | #Constraints: 40825
2451.38/2457.56 c #Conflicts: 1842000 | #Constraints: 41825
2451.38/2457.56 c #Conflicts: 1843000 | #Constraints: 42825
2451.38/2457.56 c #Conflicts: 1844000 | #Constraints: 43825
2451.38/2457.56 c #Conflicts: 1845000 | #Constraints: 44825
2451.38/2457.56 c #Conflicts: 1846000 | #Constraints: 45825
2451.38/2457.56 c #Conflicts: 1847000 | #Constraints: 46825
2451.38/2457.56 c #Conflicts: 1848000 | #Constraints: 47825
2451.38/2457.56 c #Conflicts: 1849000 | #Constraints: 48825
2451.38/2457.56 c #Conflicts: 1850000 | #Constraints: 49825
2451.38/2457.56 c #Conflicts: 1851000 | #Constraints: 50825
2451.38/2457.56 c #Conflicts: 1852000 | #Constraints: 51825
2451.38/2457.56 c #Conflicts: 1853000 | #Constraints: 52825
2451.38/2457.56 c #Conflicts: 1854000 | #Constraints: 53825
2451.38/2457.56 c INPROCESSING
2451.38/2457.56 c GARBAGE COLLECT
2451.38/2457.56 c #Conflicts: 1855000 | #Constraints: 27826
2451.38/2457.56 c #Conflicts: 1856000 | #Constraints: 28826
2451.38/2457.56 c #Conflicts: 1857000 | #Constraints: 29826
2451.38/2457.56 c #Conflicts: 1858000 | #Constraints: 30826
2451.38/2457.56 c #Conflicts: 1859000 | #Constraints: 31826
2451.38/2457.56 c #Conflicts: 1860000 | #Constraints: 32826
2451.38/2457.56 c #Conflicts: 1861000 | #Constraints: 33826
2451.38/2457.56 c #Conflicts: 1862000 | #Constraints: 34826
2451.38/2457.56 c #Conflicts: 1863000 | #Constraints: 35826
2451.38/2457.56 c #Conflicts: 1864000 | #Constraints: 36826
2451.38/2457.56 c #Conflicts: 1865000 | #Constraints: 37826
2451.38/2457.56 c #Conflicts: 1866000 | #Constraints: 38826
2451.38/2457.56 c #Conflicts: 1867000 | #Constraints: 39826
2451.38/2457.56 c #Conflicts: 1868000 | #Constraints: 40826
2451.38/2457.56 c #Conflicts: 1869000 | #Constraints: 41826
2451.38/2457.56 c #Conflicts: 1870000 | #Constraints: 42826
2451.38/2457.56 c #Conflicts: 1871000 | #Constraints: 43826
2451.38/2457.56 c #Conflicts: 1872000 | #Constraints: 44826
2451.38/2457.56 c #Conflicts: 1873000 | #Constraints: 45826
2451.38/2457.56 c #Conflicts: 1874000 | #Constraints: 46826
2451.38/2457.56 c #Conflicts: 1875000 | #Constraints: 47826
2451.38/2457.56 c #Conflicts: 1876000 | #Constraints: 48826
2451.38/2457.56 c #Conflicts: 1877000 | #Constraints: 49826
2451.38/2457.56 c #Conflicts: 1878000 | #Constraints: 50826
2451.38/2457.56 c #Conflicts: 1879000 | #Constraints: 51826
2451.38/2457.56 c #Conflicts: 1880000 | #Constraints: 52826
2451.38/2457.56 c #Conflicts: 1881000 | #Constraints: 53826
2451.38/2457.56 c INPROCESSING
2451.38/2457.56 c GARBAGE COLLECT
2451.38/2457.56 c #Conflicts: 1882000 | #Constraints: 27624
2451.38/2457.56 c #Conflicts: 1883000 | #Constraints: 28624
2451.38/2457.56 c #Conflicts: 1884000 | #Constraints: 29624
2451.38/2457.56 c #Conflicts: 1885000 | #Constraints: 30624
2451.38/2457.56 c #Conflicts: 1886000 | #Constraints: 31624
2451.38/2457.56 c #Conflicts: 1887000 | #Constraints: 32624
2451.38/2457.56 c #Conflicts: 1888000 | #Constraints: 33624
2587.87/2594.31 c #Conflicts: 1889000 | #Constraints: 34624
2587.87/2594.31 c #Conflicts: 1890000 | #Constraints: 35624
2587.87/2594.31 c #Conflicts: 1891000 | #Constraints: 36624
2587.87/2594.31 c #Conflicts: 1892000 | #Constraints: 37624
2587.87/2594.31 c #Conflicts: 1893000 | #Constraints: 38624
2587.87/2594.31 c #Conflicts: 1894000 | #Constraints: 39624
2587.87/2594.31 c #Conflicts: 1895000 | #Constraints: 40624
2587.87/2594.31 c #Conflicts: 1896000 | #Constraints: 41624
2587.87/2594.31 c #Conflicts: 1897000 | #Constraints: 42624
2587.87/2594.31 c #Conflicts: 1898000 | #Constraints: 43624
2587.87/2594.31 c #Conflicts: 1899000 | #Constraints: 44624
2587.87/2594.31 c #Conflicts: 1900000 | #Constraints: 45624
2587.87/2594.31 c #Conflicts: 1901000 | #Constraints: 46624
2587.87/2594.31 c #Conflicts: 1902000 | #Constraints: 47624
2587.87/2594.31 c #Conflicts: 1903000 | #Constraints: 48624
2587.87/2594.31 c #Conflicts: 1904000 | #Constraints: 49624
2587.87/2594.31 c #Conflicts: 1905000 | #Constraints: 50624
2587.87/2594.31 c #Conflicts: 1906000 | #Constraints: 51624
2587.87/2594.31 c #Conflicts: 1907000 | #Constraints: 52624
2587.87/2594.31 c #Conflicts: 1908000 | #Constraints: 53624
2587.87/2594.31 c #Conflicts: 1909000 | #Constraints: 54624
2587.87/2594.31 c INPROCESSING
2587.87/2594.31 c GARBAGE COLLECT
2587.87/2594.31 c #Conflicts: 1910000 | #Constraints: 28226
2587.87/2594.31 c #Conflicts: 1911000 | #Constraints: 29226
2587.87/2594.31 c #Conflicts: 1912000 | #Constraints: 30226
2587.87/2594.31 c #Conflicts: 1913000 | #Constraints: 31226
2587.87/2594.31 c #Conflicts: 1914000 | #Constraints: 32226
2587.87/2594.31 c #Conflicts: 1915000 | #Constraints: 33226
2587.87/2594.31 c #Conflicts: 1916000 | #Constraints: 34226
2587.87/2594.31 c #Conflicts: 1917000 | #Constraints: 35226
2587.87/2594.31 c #Conflicts: 1918000 | #Constraints: 36226
2587.87/2594.31 c #Conflicts: 1919000 | #Constraints: 37226
2587.87/2594.31 c #Conflicts: 1920000 | #Constraints: 38226
2587.87/2594.31 c #Conflicts: 1921000 | #Constraints: 39226
2587.87/2594.31 c #Conflicts: 1922000 | #Constraints: 40226
2587.87/2594.31 c #Conflicts: 1923000 | #Constraints: 41226
2587.87/2594.31 c #Conflicts: 1924000 | #Constraints: 42226
2587.87/2594.31 c #Conflicts: 1925000 | #Constraints: 43226
2587.87/2594.31 c #Conflicts: 1926000 | #Constraints: 44226
2587.87/2594.31 c #Conflicts: 1927000 | #Constraints: 45226
2587.87/2594.31 c #Conflicts: 1928000 | #Constraints: 46226
2587.87/2594.31 c #Conflicts: 1929000 | #Constraints: 47226
2587.87/2594.31 c #Conflicts: 1930000 | #Constraints: 48226
2587.87/2594.31 c #Conflicts: 1931000 | #Constraints: 49226
2587.87/2594.31 c #Conflicts: 1932000 | #Constraints: 50226
2587.87/2594.31 c #Conflicts: 1933000 | #Constraints: 51226
2587.87/2594.31 c #Conflicts: 1934000 | #Constraints: 52226
2587.87/2594.31 c #Conflicts: 1935000 | #Constraints: 53226
2587.87/2594.31 c #Conflicts: 1936000 | #Constraints: 54226
2587.87/2594.31 c #Conflicts: 1937000 | #Constraints: 55226
2587.87/2594.31 c INPROCESSING
2587.87/2594.31 c GARBAGE COLLECT
2587.87/2594.31 c #Conflicts: 1938000 | #Constraints: 28625
2587.87/2594.31 c #Conflicts: 1939000 | #Constraints: 29625
2587.87/2594.31 c #Conflicts: 1940000 | #Constraints: 30625
2587.87/2594.31 c #Conflicts: 1941000 | #Constraints: 31625
2587.87/2594.31 c #Conflicts: 1942000 | #Constraints: 32625
2587.87/2594.31 c #Conflicts: 1943000 | #Constraints: 33625
2587.87/2594.31 c #Conflicts: 1944000 | #Constraints: 34625
2587.87/2594.31 c #Conflicts: 1945000 | #Constraints: 35625
2587.87/2594.31 c #Conflicts: 1946000 | #Constraints: 36625
2587.87/2594.31 c #Conflicts: 1947000 | #Constraints: 37625
2587.87/2594.31 c #Conflicts: 1948000 | #Constraints: 38625
2587.87/2594.31 c #Conflicts: 1949000 | #Constraints: 39625
2587.87/2594.31 c #Conflicts: 1950000 | #Constraints: 40625
2587.87/2594.31 c #Conflicts: 1951000 | #Constraints: 41625
2587.87/2594.31 c #Conflicts: 1952000 | #Constraints: 42625
2587.87/2594.31 c #Conflicts: 1953000 | #Constraints: 43625
2587.87/2594.31 c #Conflicts: 1954000 | #Constraints: 44625
2587.87/2594.31 c #Conflicts: 1955000 | #Constraints: 45625
2587.87/2594.31 c #Conflicts: 1956000 | #Constraints: 46625
2587.87/2594.31 c #Conflicts: 1957000 | #Constraints: 47625
2587.87/2594.31 c #Conflicts: 1958000 | #Constraints: 48625
2587.87/2594.31 c #Conflicts: 1959000 | #Constraints: 49625
2587.87/2594.31 c #Conflicts: 1960000 | #Constraints: 50625
2587.87/2594.31 c #Conflicts: 1961000 | #Constraints: 51625
2587.87/2594.31 c #Conflicts: 1962000 | #Constraints: 52625
2587.87/2594.31 c #Conflicts: 1963000 | #Constraints: 53625
2587.87/2594.31 c #Conflicts: 1964000 | #Constraints: 54625
2587.87/2594.31 c #Conflicts: 1965000 | #Constraints: 55625
2587.87/2594.31 c INPROCESSING
2587.87/2594.31 c GARBAGE COLLECT
2729.76/2736.52 c #Conflicts: 1966000 | #Constraints: 28824
2729.76/2736.52 c #Conflicts: 1967000 | #Constraints: 29824
2729.76/2736.52 c #Conflicts: 1968000 | #Constraints: 30824
2729.76/2736.52 c #Conflicts: 1969000 | #Constraints: 31824
2729.76/2736.52 c #Conflicts: 1970000 | #Constraints: 32824
2729.76/2736.52 c #Conflicts: 1971000 | #Constraints: 33824
2729.76/2736.52 c #Conflicts: 1972000 | #Constraints: 34824
2729.76/2736.52 c #Conflicts: 1973000 | #Constraints: 35824
2729.76/2736.52 c #Conflicts: 1974000 | #Constraints: 36824
2729.76/2736.52 c #Conflicts: 1975000 | #Constraints: 37824
2729.76/2736.52 c #Conflicts: 1976000 | #Constraints: 38824
2729.76/2736.52 c #Conflicts: 1977000 | #Constraints: 39824
2729.76/2736.52 c #Conflicts: 1978000 | #Constraints: 40824
2729.76/2736.52 c #Conflicts: 1979000 | #Constraints: 41824
2729.76/2736.52 c #Conflicts: 1980000 | #Constraints: 42824
2729.76/2736.52 c #Conflicts: 1981000 | #Constraints: 43824
2729.76/2736.52 c #Conflicts: 1982000 | #Constraints: 44824
2729.76/2736.52 c #Conflicts: 1983000 | #Constraints: 45824
2729.76/2736.52 c #Conflicts: 1984000 | #Constraints: 46824
2729.76/2736.52 c #Conflicts: 1985000 | #Constraints: 47824
2729.76/2736.52 c #Conflicts: 1986000 | #Constraints: 48824
2729.76/2736.52 c #Conflicts: 1987000 | #Constraints: 49824
2729.76/2736.52 c #Conflicts: 1988000 | #Constraints: 50824
2729.76/2736.52 c #Conflicts: 1989000 | #Constraints: 51824
2729.76/2736.52 c #Conflicts: 1990000 | #Constraints: 52824
2729.76/2736.52 c #Conflicts: 1991000 | #Constraints: 53824
2729.76/2736.52 c #Conflicts: 1992000 | #Constraints: 54824
2729.76/2736.52 c #Conflicts: 1993000 | #Constraints: 55824
2729.76/2736.52 c INPROCESSING
2729.76/2736.52 c GARBAGE COLLECT
2729.76/2736.52 c #Conflicts: 1994000 | #Constraints: 28822
2729.76/2736.52 c #Conflicts: 1995000 | #Constraints: 29822
2729.76/2736.52 c #Conflicts: 1996000 | #Constraints: 30822
2729.76/2736.52 c #Conflicts: 1997000 | #Constraints: 31822
2729.76/2736.52 c #Conflicts: 1998000 | #Constraints: 32822
2729.76/2736.52 c #Conflicts: 1999000 | #Constraints: 33822
2729.76/2736.52 c #Conflicts: 2000000 | #Constraints: 34822
2729.76/2736.52 c #Conflicts: 2001000 | #Constraints: 35822
2729.76/2736.52 c #Conflicts: 2002000 | #Constraints: 36822
2729.76/2736.52 c #Conflicts: 2003000 | #Constraints: 37822
2729.76/2736.52 c #Conflicts: 2004000 | #Constraints: 38822
2729.76/2736.52 c #Conflicts: 2005000 | #Constraints: 39822
2729.76/2736.52 c #Conflicts: 2006000 | #Constraints: 40822
2729.76/2736.52 c #Conflicts: 2007000 | #Constraints: 41822
2729.76/2736.52 c #Conflicts: 2008000 | #Constraints: 42822
2729.76/2736.52 c #Conflicts: 2009000 | #Constraints: 43822
2729.76/2736.52 c #Conflicts: 2010000 | #Constraints: 44822
2729.76/2736.52 c #Conflicts: 2011000 | #Constraints: 45822
2729.76/2736.52 c #Conflicts: 2012000 | #Constraints: 46822
2729.76/2736.52 c #Conflicts: 2013000 | #Constraints: 47822
2729.76/2736.52 c #Conflicts: 2014000 | #Constraints: 48822
2729.76/2736.52 c #Conflicts: 2015000 | #Constraints: 49822
2729.76/2736.52 c #Conflicts: 2016000 | #Constraints: 50822
2729.76/2736.52 c #Conflicts: 2017000 | #Constraints: 51822
2729.76/2736.52 c #Conflicts: 2018000 | #Constraints: 52822
2729.76/2736.52 c #Conflicts: 2019000 | #Constraints: 53822
2729.76/2736.52 c #Conflicts: 2020000 | #Constraints: 54822
2729.76/2736.52 c #Conflicts: 2021000 | #Constraints: 55822
2729.76/2736.52 c INPROCESSING
2729.76/2736.52 c GARBAGE COLLECT
2729.76/2736.52 c #Conflicts: 2022000 | #Constraints: 28623
2729.76/2736.52 c #Conflicts: 2023000 | #Constraints: 29623
2729.76/2736.52 c #Conflicts: 2024000 | #Constraints: 30623
2729.76/2736.52 c #Conflicts: 2025000 | #Constraints: 31623
2729.76/2736.52 c #Conflicts: 2026000 | #Constraints: 32623
2729.76/2736.52 c #Conflicts: 2027000 | #Constraints: 33623
2729.76/2736.52 c #Conflicts: 2028000 | #Constraints: 34623
2729.76/2736.52 c #Conflicts: 2029000 | #Constraints: 35623
2729.76/2736.52 c #Conflicts: 2030000 | #Constraints: 36623
2729.76/2736.52 c #Conflicts: 2031000 | #Constraints: 37623
2729.76/2736.52 c #Conflicts: 2032000 | #Constraints: 38623
2729.76/2736.52 c #Conflicts: 2033000 | #Constraints: 39623
2729.76/2736.52 c #Conflicts: 2034000 | #Constraints: 40623
2729.76/2736.52 c #Conflicts: 2035000 | #Constraints: 41623
2729.76/2736.52 c #Conflicts: 2036000 | #Constraints: 42623
2729.76/2736.52 c #Conflicts: 2037000 | #Constraints: 43623
2729.76/2736.52 c #Conflicts: 2038000 | #Constraints: 44623
2729.76/2736.52 c #Conflicts: 2039000 | #Constraints: 45623
2729.76/2736.52 c #Conflicts: 2040000 | #Constraints: 46623
2729.76/2736.52 c #Conflicts: 2041000 | #Constraints: 47623
2729.76/2736.52 c #Conflicts: 2042000 | #Constraints: 48623
2729.76/2736.52 c #Conflicts: 2043000 | #Constraints: 49623
2876.64/2883.75 c #Conflicts: 2044000 | #Constraints: 50623
2876.64/2883.75 c #Conflicts: 2045000 | #Constraints: 51623
2876.64/2883.75 c #Conflicts: 2046000 | #Constraints: 52623
2876.64/2883.75 c #Conflicts: 2047000 | #Constraints: 53623
2876.64/2883.75 c #Conflicts: 2048000 | #Constraints: 54623
2876.64/2883.75 c #Conflicts: 2049000 | #Constraints: 55623
2876.64/2883.75 c #Conflicts: 2050000 | #Constraints: 56623
2876.64/2883.75 c INPROCESSING
2876.64/2883.75 c GARBAGE COLLECT
2876.64/2883.75 c #Conflicts: 2051000 | #Constraints: 29222
2876.64/2883.75 c #Conflicts: 2052000 | #Constraints: 30222
2876.64/2883.75 c #Conflicts: 2053000 | #Constraints: 31222
2876.64/2883.75 c #Conflicts: 2054000 | #Constraints: 32222
2876.64/2883.75 c #Conflicts: 2055000 | #Constraints: 33222
2876.64/2883.75 c #Conflicts: 2056000 | #Constraints: 34222
2876.64/2883.75 c #Conflicts: 2057000 | #Constraints: 35222
2876.64/2883.75 c #Conflicts: 2058000 | #Constraints: 36222
2876.64/2883.75 c #Conflicts: 2059000 | #Constraints: 37222
2876.64/2883.75 c #Conflicts: 2060000 | #Constraints: 38222
2876.64/2883.75 c #Conflicts: 2061000 | #Constraints: 39222
2876.64/2883.75 c #Conflicts: 2062000 | #Constraints: 40222
2876.64/2883.75 c #Conflicts: 2063000 | #Constraints: 41222
2876.64/2883.75 c #Conflicts: 2064000 | #Constraints: 42222
2876.64/2883.75 c #Conflicts: 2065000 | #Constraints: 43222
2876.64/2883.75 c #Conflicts: 2066000 | #Constraints: 44222
2876.64/2883.75 c #Conflicts: 2067000 | #Constraints: 45222
2876.64/2883.75 c #Conflicts: 2068000 | #Constraints: 46222
2876.64/2883.75 c #Conflicts: 2069000 | #Constraints: 47222
2876.64/2883.75 c #Conflicts: 2070000 | #Constraints: 48222
2876.64/2883.75 c #Conflicts: 2071000 | #Constraints: 49222
2876.64/2883.75 c #Conflicts: 2072000 | #Constraints: 50222
2876.64/2883.75 c #Conflicts: 2073000 | #Constraints: 51222
2876.64/2883.75 c #Conflicts: 2074000 | #Constraints: 52222
2876.64/2883.75 c #Conflicts: 2075000 | #Constraints: 53222
2876.64/2883.75 c #Conflicts: 2076000 | #Constraints: 54222
2876.64/2883.75 c #Conflicts: 2077000 | #Constraints: 55222
2876.64/2883.75 c #Conflicts: 2078000 | #Constraints: 56222
2876.64/2883.75 c #Conflicts: 2079000 | #Constraints: 57222
2876.64/2883.75 c INPROCESSING
2876.64/2883.75 c GARBAGE COLLECT
2876.64/2883.75 c #Conflicts: 2080000 | #Constraints: 29623
2876.64/2883.75 c #Conflicts: 2081000 | #Constraints: 30623
2876.64/2883.75 c #Conflicts: 2082000 | #Constraints: 31623
2876.64/2883.75 c #Conflicts: 2083000 | #Constraints: 32623
2876.64/2883.75 c #Conflicts: 2084000 | #Constraints: 33623
2876.64/2883.75 c #Conflicts: 2085000 | #Constraints: 34623
2876.64/2883.75 c #Conflicts: 2086000 | #Constraints: 35623
2876.64/2883.75 c #Conflicts: 2087000 | #Constraints: 36623
2876.64/2883.75 c #Conflicts: 2088000 | #Constraints: 37623
2876.64/2883.75 c #Conflicts: 2089000 | #Constraints: 38623
2876.64/2883.75 c #Conflicts: 2090000 | #Constraints: 39623
2876.64/2883.75 c #Conflicts: 2091000 | #Constraints: 40623
2876.64/2883.75 c #Conflicts: 2092000 | #Constraints: 41623
2876.64/2883.75 c #Conflicts: 2093000 | #Constraints: 42623
2876.64/2883.75 c #Conflicts: 2094000 | #Constraints: 43623
2876.64/2883.75 c #Conflicts: 2095000 | #Constraints: 44623
2876.64/2883.75 c #Conflicts: 2096000 | #Constraints: 45623
2876.64/2883.75 c #Conflicts: 2097000 | #Constraints: 46623
2876.64/2883.75 c #Conflicts: 2098000 | #Constraints: 47623
2876.64/2883.75 c #Conflicts: 2099000 | #Constraints: 48623
2876.64/2883.75 c #Conflicts: 2100000 | #Constraints: 49623
2876.64/2883.75 c #Conflicts: 2101000 | #Constraints: 50623
2876.64/2883.75 c #Conflicts: 2102000 | #Constraints: 51623
2876.64/2883.75 c #Conflicts: 2103000 | #Constraints: 52623
2876.64/2883.75 c #Conflicts: 2104000 | #Constraints: 53623
2876.64/2883.75 c #Conflicts: 2105000 | #Constraints: 54623
2876.64/2883.75 c #Conflicts: 2106000 | #Constraints: 55623
2876.64/2883.75 c #Conflicts: 2107000 | #Constraints: 56623
2876.64/2883.75 c #Conflicts: 2108000 | #Constraints: 57623
2876.64/2883.75 c INPROCESSING
2876.64/2883.75 c GARBAGE COLLECT
2876.64/2883.75 c #Conflicts: 2109000 | #Constraints: 29825
2876.64/2883.75 c #Conflicts: 2110000 | #Constraints: 30825
2876.64/2883.75 c #Conflicts: 2111000 | #Constraints: 31825
2876.64/2883.75 c #Conflicts: 2112000 | #Constraints: 32825
2876.64/2883.75 c #Conflicts: 2113000 | #Constraints: 33825
2876.64/2883.75 c #Conflicts: 2114000 | #Constraints: 34825
2876.64/2883.75 c #Conflicts: 2115000 | #Constraints: 35825
2876.64/2883.75 c #Conflicts: 2116000 | #Constraints: 36825
2876.64/2883.75 c #Conflicts: 2117000 | #Constraints: 37825
2876.64/2883.75 c #Conflicts: 2118000 | #Constraints: 38825
2876.64/2883.75 c #Conflicts: 2119000 | #Constraints: 39825
2876.64/2883.75 c #Conflicts: 2120000 | #Constraints: 40825
3032.68/3040.18 c #Conflicts: 2121000 | #Constraints: 41825
3032.68/3040.18 c #Conflicts: 2122000 | #Constraints: 42825
3032.68/3040.18 c #Conflicts: 2123000 | #Constraints: 43825
3032.68/3040.18 c #Conflicts: 2124000 | #Constraints: 44825
3032.68/3040.18 c #Conflicts: 2125000 | #Constraints: 45825
3032.68/3040.18 c #Conflicts: 2126000 | #Constraints: 46825
3032.68/3040.18 c #Conflicts: 2127000 | #Constraints: 47825
3032.68/3040.18 c #Conflicts: 2128000 | #Constraints: 48825
3032.68/3040.18 c #Conflicts: 2129000 | #Constraints: 49825
3032.68/3040.18 c #Conflicts: 2130000 | #Constraints: 50825
3032.68/3040.18 c #Conflicts: 2131000 | #Constraints: 51825
3032.68/3040.18 c #Conflicts: 2132000 | #Constraints: 52825
3032.68/3040.18 c #Conflicts: 2133000 | #Constraints: 53825
3032.68/3040.18 c #Conflicts: 2134000 | #Constraints: 54825
3032.68/3040.18 c #Conflicts: 2135000 | #Constraints: 55825
3032.68/3040.18 c #Conflicts: 2136000 | #Constraints: 56825
3032.68/3040.18 c #Conflicts: 2137000 | #Constraints: 57825
3032.68/3040.18 c INPROCESSING
3032.68/3040.18 c GARBAGE COLLECT
3032.68/3040.18 c #Conflicts: 2138000 | #Constraints: 29826
3032.68/3040.18 c #Conflicts: 2139000 | #Constraints: 30826
3032.68/3040.18 c #Conflicts: 2140000 | #Constraints: 31826
3032.68/3040.18 c #Conflicts: 2141000 | #Constraints: 32826
3032.68/3040.18 c #Conflicts: 2142000 | #Constraints: 33826
3032.68/3040.18 c #Conflicts: 2143000 | #Constraints: 34826
3032.68/3040.18 c #Conflicts: 2144000 | #Constraints: 35826
3032.68/3040.18 c #Conflicts: 2145000 | #Constraints: 36826
3032.68/3040.18 c #Conflicts: 2146000 | #Constraints: 37826
3032.68/3040.18 c #Conflicts: 2147000 | #Constraints: 38826
3032.68/3040.18 c #Conflicts: 2148000 | #Constraints: 39826
3032.68/3040.18 c #Conflicts: 2149000 | #Constraints: 40826
3032.68/3040.18 c #Conflicts: 2150000 | #Constraints: 41826
3032.68/3040.18 c #Conflicts: 2151000 | #Constraints: 42826
3032.68/3040.18 c #Conflicts: 2152000 | #Constraints: 43826
3032.68/3040.18 c #Conflicts: 2153000 | #Constraints: 44826
3032.68/3040.18 c #Conflicts: 2154000 | #Constraints: 45826
3032.68/3040.18 c #Conflicts: 2155000 | #Constraints: 46826
3032.68/3040.18 c #Conflicts: 2156000 | #Constraints: 47826
3032.68/3040.18 c #Conflicts: 2157000 | #Constraints: 48826
3032.68/3040.18 c #Conflicts: 2158000 | #Constraints: 49826
3032.68/3040.18 c #Conflicts: 2159000 | #Constraints: 50826
3032.68/3040.18 c #Conflicts: 2160000 | #Constraints: 51826
3032.68/3040.18 c #Conflicts: 2161000 | #Constraints: 52826
3032.68/3040.18 c #Conflicts: 2162000 | #Constraints: 53826
3032.68/3040.18 c #Conflicts: 2163000 | #Constraints: 54826
3032.68/3040.18 c #Conflicts: 2164000 | #Constraints: 55826
3032.68/3040.18 c #Conflicts: 2165000 | #Constraints: 56826
3032.68/3040.18 c #Conflicts: 2166000 | #Constraints: 57826
3032.68/3040.18 c INPROCESSING
3032.68/3040.18 c GARBAGE COLLECT
3032.68/3040.18 c #Conflicts: 2167000 | #Constraints: 29626
3032.68/3040.18 c #Conflicts: 2168000 | #Constraints: 30626
3032.68/3040.18 c #Conflicts: 2169000 | #Constraints: 31626
3032.68/3040.18 c #Conflicts: 2170000 | #Constraints: 32626
3032.68/3040.18 c #Conflicts: 2171000 | #Constraints: 33626
3032.68/3040.18 c #Conflicts: 2172000 | #Constraints: 34626
3032.68/3040.18 c #Conflicts: 2173000 | #Constraints: 35626
3032.68/3040.18 c #Conflicts: 2174000 | #Constraints: 36626
3032.68/3040.18 c #Conflicts: 2175000 | #Constraints: 37626
3032.68/3040.18 c #Conflicts: 2176000 | #Constraints: 38626
3032.68/3040.18 c #Conflicts: 2177000 | #Constraints: 39626
3032.68/3040.18 c #Conflicts: 2178000 | #Constraints: 40626
3032.68/3040.18 c #Conflicts: 2179000 | #Constraints: 41626
3032.68/3040.18 c #Conflicts: 2180000 | #Constraints: 42626
3032.68/3040.18 c #Conflicts: 2181000 | #Constraints: 43626
3032.68/3040.18 c #Conflicts: 2182000 | #Constraints: 44626
3032.68/3040.18 c #Conflicts: 2183000 | #Constraints: 45626
3032.68/3040.18 c #Conflicts: 2184000 | #Constraints: 46626
3032.68/3040.18 c #Conflicts: 2185000 | #Constraints: 47626
3032.68/3040.18 c #Conflicts: 2186000 | #Constraints: 48626
3032.68/3040.18 c #Conflicts: 2187000 | #Constraints: 49626
3032.68/3040.18 c #Conflicts: 2188000 | #Constraints: 50626
3032.68/3040.18 c #Conflicts: 2189000 | #Constraints: 51626
3032.68/3040.18 c #Conflicts: 2190000 | #Constraints: 52626
3032.68/3040.18 c #Conflicts: 2191000 | #Constraints: 53626
3032.68/3040.18 c #Conflicts: 2192000 | #Constraints: 54626
3032.68/3040.18 c #Conflicts: 2193000 | #Constraints: 55626
3032.68/3040.18 c #Conflicts: 2194000 | #Constraints: 56626
3032.68/3040.18 c #Conflicts: 2195000 | #Constraints: 57626
3032.68/3040.18 c #Conflicts: 2196000 | #Constraints: 58626
3032.68/3040.18 c INPROCESSING
3032.68/3040.18 c GARBAGE COLLECT
3032.68/3040.18 c #Conflicts: 2197000 | #Constraints: 30225
3193.37/3201.22 c #Conflicts: 2198000 | #Constraints: 31225
3193.37/3201.22 c #Conflicts: 2199000 | #Constraints: 32225
3193.37/3201.22 c #Conflicts: 2200000 | #Constraints: 33225
3193.37/3201.22 c #Conflicts: 2201000 | #Constraints: 34225
3193.37/3201.22 c #Conflicts: 2202000 | #Constraints: 35225
3193.37/3201.22 c #Conflicts: 2203000 | #Constraints: 36225
3193.37/3201.22 c #Conflicts: 2204000 | #Constraints: 37225
3193.37/3201.22 c #Conflicts: 2205000 | #Constraints: 38225
3193.37/3201.22 c #Conflicts: 2206000 | #Constraints: 39225
3193.37/3201.22 c #Conflicts: 2207000 | #Constraints: 40225
3193.37/3201.22 c #Conflicts: 2208000 | #Constraints: 41225
3193.37/3201.22 c #Conflicts: 2209000 | #Constraints: 42225
3193.37/3201.22 c #Conflicts: 2210000 | #Constraints: 43225
3193.37/3201.22 c #Conflicts: 2211000 | #Constraints: 44225
3193.37/3201.22 c #Conflicts: 2212000 | #Constraints: 45225
3193.37/3201.22 c #Conflicts: 2213000 | #Constraints: 46225
3193.37/3201.22 c #Conflicts: 2214000 | #Constraints: 47225
3193.37/3201.22 c #Conflicts: 2215000 | #Constraints: 48225
3193.37/3201.22 c #Conflicts: 2216000 | #Constraints: 49225
3193.37/3201.22 c #Conflicts: 2217000 | #Constraints: 50225
3193.37/3201.22 c #Conflicts: 2218000 | #Constraints: 51225
3193.37/3201.22 c #Conflicts: 2219000 | #Constraints: 52225
3193.37/3201.22 c #Conflicts: 2220000 | #Constraints: 53225
3193.37/3201.22 c #Conflicts: 2221000 | #Constraints: 54225
3193.37/3201.22 c #Conflicts: 2222000 | #Constraints: 55225
3193.37/3201.22 c #Conflicts: 2223000 | #Constraints: 56225
3193.37/3201.22 c #Conflicts: 2224000 | #Constraints: 57225
3193.37/3201.22 c #Conflicts: 2225000 | #Constraints: 58225
3193.37/3201.22 c #Conflicts: 2226000 | #Constraints: 59225
3193.37/3201.22 c INPROCESSING
3193.37/3201.22 c GARBAGE COLLECT
3193.37/3201.22 c #Conflicts: 2227000 | #Constraints: 30626
3193.37/3201.22 c #Conflicts: 2228000 | #Constraints: 31626
3193.37/3201.22 c #Conflicts: 2229000 | #Constraints: 32626
3193.37/3201.22 c #Conflicts: 2230000 | #Constraints: 33626
3193.37/3201.22 c #Conflicts: 2231000 | #Constraints: 34626
3193.37/3201.22 c #Conflicts: 2232000 | #Constraints: 35626
3193.37/3201.22 c #Conflicts: 2233000 | #Constraints: 36626
3193.37/3201.22 c #Conflicts: 2234000 | #Constraints: 37626
3193.37/3201.22 c #Conflicts: 2235000 | #Constraints: 38626
3193.37/3201.22 c #Conflicts: 2236000 | #Constraints: 39626
3193.37/3201.22 c #Conflicts: 2237000 | #Constraints: 40626
3193.37/3201.22 c #Conflicts: 2238000 | #Constraints: 41626
3193.37/3201.22 c #Conflicts: 2239000 | #Constraints: 42626
3193.37/3201.22 c #Conflicts: 2240000 | #Constraints: 43626
3193.37/3201.22 c #Conflicts: 2241000 | #Constraints: 44626
3193.37/3201.22 c #Conflicts: 2242000 | #Constraints: 45626
3193.37/3201.22 c #Conflicts: 2243000 | #Constraints: 46626
3193.37/3201.22 c #Conflicts: 2244000 | #Constraints: 47626
3193.37/3201.22 c #Conflicts: 2245000 | #Constraints: 48626
3193.37/3201.22 c #Conflicts: 2246000 | #Constraints: 49626
3193.37/3201.22 c #Conflicts: 2247000 | #Constraints: 50626
3193.37/3201.22 c #Conflicts: 2248000 | #Constraints: 51626
3193.37/3201.22 c #Conflicts: 2249000 | #Constraints: 52626
3193.37/3201.22 c #Conflicts: 2250000 | #Constraints: 53626
3193.37/3201.22 c #Conflicts: 2251000 | #Constraints: 54626
3193.37/3201.22 c #Conflicts: 2252000 | #Constraints: 55626
3193.37/3201.22 c #Conflicts: 2253000 | #Constraints: 56626
3193.37/3201.22 c #Conflicts: 2254000 | #Constraints: 57626
3193.37/3201.22 c #Conflicts: 2255000 | #Constraints: 58626
3193.37/3201.22 c #Conflicts: 2256000 | #Constraints: 59626
3193.37/3201.22 c INPROCESSING
3193.37/3201.22 c GARBAGE COLLECT
3193.37/3201.22 c #Conflicts: 2257000 | #Constraints: 30824
3193.37/3201.22 c #Conflicts: 2258000 | #Constraints: 31824
3193.37/3201.22 c #Conflicts: 2259000 | #Constraints: 32824
3193.37/3201.22 c #Conflicts: 2260000 | #Constraints: 33824
3193.37/3201.22 c #Conflicts: 2261000 | #Constraints: 34824
3193.37/3201.22 c #Conflicts: 2262000 | #Constraints: 35824
3193.37/3201.22 c #Conflicts: 2263000 | #Constraints: 36824
3193.37/3201.22 c #Conflicts: 2264000 | #Constraints: 37824
3193.37/3201.22 c #Conflicts: 2265000 | #Constraints: 38824
3193.37/3201.22 c #Conflicts: 2266000 | #Constraints: 39824
3193.37/3201.22 c #Conflicts: 2267000 | #Constraints: 40824
3193.37/3201.22 c #Conflicts: 2268000 | #Constraints: 41824
3193.37/3201.22 c #Conflicts: 2269000 | #Constraints: 42824
3193.37/3201.22 c #Conflicts: 2270000 | #Constraints: 43824
3193.37/3201.22 c #Conflicts: 2271000 | #Constraints: 44824
3193.37/3201.22 c #Conflicts: 2272000 | #Constraints: 45824
3193.37/3201.22 c #Conflicts: 2273000 | #Constraints: 46824
3193.37/3201.22 c #Conflicts: 2274000 | #Constraints: 47824
3360.25/3368.53 c #Conflicts: 2275000 | #Constraints: 48824
3360.25/3368.53 c #Conflicts: 2276000 | #Constraints: 49824
3360.25/3368.53 c #Conflicts: 2277000 | #Constraints: 50824
3360.25/3368.53 c #Conflicts: 2278000 | #Constraints: 51824
3360.25/3368.53 c #Conflicts: 2279000 | #Constraints: 52824
3360.25/3368.53 c #Conflicts: 2280000 | #Constraints: 53824
3360.25/3368.53 c #Conflicts: 2281000 | #Constraints: 54824
3360.25/3368.53 c #Conflicts: 2282000 | #Constraints: 55824
3360.25/3368.53 c #Conflicts: 2283000 | #Constraints: 56824
3360.25/3368.53 c #Conflicts: 2284000 | #Constraints: 57824
3360.25/3368.53 c #Conflicts: 2285000 | #Constraints: 58824
3360.25/3368.53 c #Conflicts: 2286000 | #Constraints: 59824
3360.25/3368.53 c INPROCESSING
3360.25/3368.53 c GARBAGE COLLECT
3360.25/3368.53 c #Conflicts: 2287000 | #Constraints: 30825
3360.25/3368.53 c #Conflicts: 2288000 | #Constraints: 31825
3360.25/3368.53 c #Conflicts: 2289000 | #Constraints: 32825
3360.25/3368.53 c #Conflicts: 2290000 | #Constraints: 33825
3360.25/3368.53 c #Conflicts: 2291000 | #Constraints: 34825
3360.25/3368.53 c #Conflicts: 2292000 | #Constraints: 35825
3360.25/3368.53 c #Conflicts: 2293000 | #Constraints: 36825
3360.25/3368.53 c #Conflicts: 2294000 | #Constraints: 37825
3360.25/3368.53 c #Conflicts: 2295000 | #Constraints: 38825
3360.25/3368.53 c #Conflicts: 2296000 | #Constraints: 39825
3360.25/3368.53 c #Conflicts: 2297000 | #Constraints: 40825
3360.25/3368.53 c #Conflicts: 2298000 | #Constraints: 41825
3360.25/3368.53 c #Conflicts: 2299000 | #Constraints: 42825
3360.25/3368.53 c #Conflicts: 2300000 | #Constraints: 43825
3360.25/3368.53 c #Conflicts: 2301000 | #Constraints: 44825
3360.25/3368.53 c #Conflicts: 2302000 | #Constraints: 45825
3360.25/3368.53 c #Conflicts: 2303000 | #Constraints: 46825
3360.25/3368.53 c #Conflicts: 2304000 | #Constraints: 47825
3360.25/3368.53 c #Conflicts: 2305000 | #Constraints: 48825
3360.25/3368.53 c #Conflicts: 2306000 | #Constraints: 49825
3360.25/3368.53 c #Conflicts: 2307000 | #Constraints: 50825
3360.25/3368.53 c #Conflicts: 2308000 | #Constraints: 51825
3360.25/3368.53 c #Conflicts: 2309000 | #Constraints: 52825
3360.25/3368.53 c #Conflicts: 2310000 | #Constraints: 53825
3360.25/3368.53 c #Conflicts: 2311000 | #Constraints: 54825
3360.25/3368.53 c #Conflicts: 2312000 | #Constraints: 55825
3360.25/3368.53 c #Conflicts: 2313000 | #Constraints: 56825
3360.25/3368.53 c #Conflicts: 2314000 | #Constraints: 57825
3360.25/3368.53 c #Conflicts: 2315000 | #Constraints: 58825
3360.25/3368.53 c #Conflicts: 2316000 | #Constraints: 59825
3360.25/3368.53 c INPROCESSING
3360.25/3368.53 c GARBAGE COLLECT
3360.25/3368.53 c #Conflicts: 2317000 | #Constraints: 30624
3360.25/3368.53 c #Conflicts: 2318000 | #Constraints: 31624
3360.25/3368.53 c #Conflicts: 2319000 | #Constraints: 32624
3360.25/3368.53 c #Conflicts: 2320000 | #Constraints: 33624
3360.25/3368.53 c #Conflicts: 2321000 | #Constraints: 34624
3360.25/3368.53 c #Conflicts: 2322000 | #Constraints: 35624
3360.25/3368.53 c #Conflicts: 2323000 | #Constraints: 36624
3360.25/3368.53 c #Conflicts: 2324000 | #Constraints: 37624
3360.25/3368.53 c #Conflicts: 2325000 | #Constraints: 38624
3360.25/3368.53 c #Conflicts: 2326000 | #Constraints: 39624
3360.25/3368.53 c #Conflicts: 2327000 | #Constraints: 40624
3360.25/3368.53 c #Conflicts: 2328000 | #Constraints: 41624
3360.25/3368.53 c #Conflicts: 2329000 | #Constraints: 42624
3360.25/3368.53 c #Conflicts: 2330000 | #Constraints: 43624
3360.25/3368.53 c #Conflicts: 2331000 | #Constraints: 44624
3360.25/3368.53 c #Conflicts: 2332000 | #Constraints: 45624
3360.25/3368.53 c #Conflicts: 2333000 | #Constraints: 46624
3360.25/3368.53 c #Conflicts: 2334000 | #Constraints: 47624
3360.25/3368.53 c #Conflicts: 2335000 | #Constraints: 48624
3360.25/3368.53 c #Conflicts: 2336000 | #Constraints: 49624
3360.25/3368.53 c #Conflicts: 2337000 | #Constraints: 50624
3360.25/3368.53 c #Conflicts: 2338000 | #Constraints: 51624
3360.25/3368.53 c #Conflicts: 2339000 | #Constraints: 52624
3360.25/3368.53 c #Conflicts: 2340000 | #Constraints: 53624
3360.25/3368.53 c #Conflicts: 2341000 | #Constraints: 54624
3360.25/3368.53 c #Conflicts: 2342000 | #Constraints: 55624
3360.25/3368.53 c #Conflicts: 2343000 | #Constraints: 56624
3360.25/3368.53 c #Conflicts: 2344000 | #Constraints: 57624
3360.25/3368.53 c #Conflicts: 2345000 | #Constraints: 58624
3360.25/3368.53 c #Conflicts: 2346000 | #Constraints: 59624
3360.25/3368.53 c #Conflicts: 2347000 | #Constraints: 60624
3360.25/3368.53 c INPROCESSING
3360.25/3368.53 c GARBAGE COLLECT
3360.25/3368.53 c #Conflicts: 2348000 | #Constraints: 31227
3360.25/3368.53 c #Conflicts: 2349000 | #Constraints: 32227
3360.25/3368.53 c #Conflicts: 2350000 | #Constraints: 33227
3360.25/3368.53 c #Conflicts: 2351000 | #Constraints: 34227
3529.82/3538.50 c #Conflicts: 2352000 | #Constraints: 35227
3529.82/3538.50 c #Conflicts: 2353000 | #Constraints: 36227
3529.82/3538.50 c #Conflicts: 2354000 | #Constraints: 37227
3529.82/3538.50 c #Conflicts: 2355000 | #Constraints: 38227
3529.82/3538.50 c #Conflicts: 2356000 | #Constraints: 39227
3529.82/3538.50 c #Conflicts: 2357000 | #Constraints: 40227
3529.82/3538.50 c #Conflicts: 2358000 | #Constraints: 41227
3529.82/3538.50 c #Conflicts: 2359000 | #Constraints: 42227
3529.82/3538.50 c #Conflicts: 2360000 | #Constraints: 43227
3529.82/3538.50 c #Conflicts: 2361000 | #Constraints: 44227
3529.82/3538.50 c #Conflicts: 2362000 | #Constraints: 45227
3529.82/3538.50 c #Conflicts: 2363000 | #Constraints: 46227
3529.82/3538.50 c #Conflicts: 2364000 | #Constraints: 47227
3529.82/3538.50 c #Conflicts: 2365000 | #Constraints: 48227
3529.82/3538.50 c #Conflicts: 2366000 | #Constraints: 49227
3529.82/3538.50 c #Conflicts: 2367000 | #Constraints: 50227
3529.82/3538.50 c #Conflicts: 2368000 | #Constraints: 51227
3529.82/3538.50 c #Conflicts: 2369000 | #Constraints: 52227
3529.82/3538.50 c #Conflicts: 2370000 | #Constraints: 53227
3529.82/3538.50 c #Conflicts: 2371000 | #Constraints: 54227
3529.82/3538.50 c #Conflicts: 2372000 | #Constraints: 55227
3529.82/3538.50 c #Conflicts: 2373000 | #Constraints: 56227
3529.82/3538.50 c #Conflicts: 2374000 | #Constraints: 57227
3529.82/3538.50 c #Conflicts: 2375000 | #Constraints: 58227
3529.82/3538.50 c #Conflicts: 2376000 | #Constraints: 59227
3529.82/3538.50 c #Conflicts: 2377000 | #Constraints: 60227
3529.82/3538.50 c #Conflicts: 2378000 | #Constraints: 61227
3529.82/3538.50 c INPROCESSING
3529.82/3538.50 c GARBAGE COLLECT
3529.82/3538.50 c #Conflicts: 2379000 | #Constraints: 31630
3529.82/3538.50 c #Conflicts: 2380000 | #Constraints: 32630
3529.82/3538.50 c #Conflicts: 2381000 | #Constraints: 33630
3529.82/3538.50 c #Conflicts: 2382000 | #Constraints: 34630
3529.82/3538.50 c #Conflicts: 2383000 | #Constraints: 35630
3529.82/3538.50 c #Conflicts: 2384000 | #Constraints: 36630
3529.82/3538.50 c #Conflicts: 2385000 | #Constraints: 37630
3529.82/3538.50 c #Conflicts: 2386000 | #Constraints: 38630
3529.82/3538.50 c #Conflicts: 2387000 | #Constraints: 39630
3529.82/3538.50 c #Conflicts: 2388000 | #Constraints: 40630
3529.82/3538.50 c #Conflicts: 2389000 | #Constraints: 41630
3529.82/3538.50 c #Conflicts: 2390000 | #Constraints: 42630
3529.82/3538.50 c #Conflicts: 2391000 | #Constraints: 43630
3529.82/3538.50 c #Conflicts: 2392000 | #Constraints: 44630
3529.82/3538.50 c #Conflicts: 2393000 | #Constraints: 45630
3529.82/3538.50 c #Conflicts: 2394000 | #Constraints: 46630
3529.82/3538.50 c #Conflicts: 2395000 | #Constraints: 47630
3529.82/3538.50 c #Conflicts: 2396000 | #Constraints: 48630
3529.82/3538.50 c #Conflicts: 2397000 | #Constraints: 49630
3529.82/3538.50 c #Conflicts: 2398000 | #Constraints: 50630
3529.82/3538.50 c #Conflicts: 2399000 | #Constraints: 51630
3529.82/3538.50 c #Conflicts: 2400000 | #Constraints: 52630
3529.82/3538.50 c #Conflicts: 2401000 | #Constraints: 53630
3529.82/3538.50 c #Conflicts: 2402000 | #Constraints: 54630
3529.82/3538.50 c #Conflicts: 2403000 | #Constraints: 55630
3529.82/3538.50 c #Conflicts: 2404000 | #Constraints: 56630
3529.82/3538.50 c #Conflicts: 2405000 | #Constraints: 57630
3529.82/3538.50 c #Conflicts: 2406000 | #Constraints: 58630
3529.82/3538.50 c #Conflicts: 2407000 | #Constraints: 59630
3529.82/3538.50 c #Conflicts: 2408000 | #Constraints: 60630
3529.82/3538.50 c #Conflicts: 2409000 | #Constraints: 61630
3529.82/3538.50 c INPROCESSING
3529.82/3538.50 c GARBAGE COLLECT
3529.82/3538.50 c #Conflicts: 2410000 | #Constraints: 31828
3529.82/3538.50 c #Conflicts: 2411000 | #Constraints: 32828
3529.82/3538.50 c #Conflicts: 2412000 | #Constraints: 33828
3529.82/3538.50 c #Conflicts: 2413000 | #Constraints: 34828
3529.82/3538.50 c #Conflicts: 2414000 | #Constraints: 35828
3529.82/3538.50 c #Conflicts: 2415000 | #Constraints: 36828
3529.82/3538.50 c #Conflicts: 2416000 | #Constraints: 37828
3529.82/3538.50 c #Conflicts: 2417000 | #Constraints: 38828
3529.82/3538.50 c #Conflicts: 2418000 | #Constraints: 39828
3529.82/3538.50 c #Conflicts: 2419000 | #Constraints: 40828
3529.82/3538.50 c #Conflicts: 2420000 | #Constraints: 41828
3529.82/3538.50 c #Conflicts: 2421000 | #Constraints: 42828
3529.82/3538.50 c #Conflicts: 2422000 | #Constraints: 43828
3529.82/3538.50 c #Conflicts: 2423000 | #Constraints: 44828
3529.82/3538.50 c #Conflicts: 2424000 | #Constraints: 45828
3529.82/3538.50 c #Conflicts: 2425000 | #Constraints: 46828
3529.82/3538.50 c #Conflicts: 2426000 | #Constraints: 47828
3529.82/3538.50 c #Conflicts: 2427000 | #Constraints: 48828
3529.82/3538.50 c #Conflicts: 2428000 | #Constraints: 49828
3600.04/3608.90 c #Conflicts: 2429000 | #Constraints: 50828
3600.04/3608.90 c #Conflicts: 2430000 | #Constraints: 51828
3600.04/3608.90 c #Conflicts: 2431000 | #Constraints: 52828
3600.04/3608.90 c #Conflicts: 2432000 | #Constraints: 53828
3600.04/3608.90 c #Conflicts: 2433000 | #Constraints: 54828
3600.04/3608.90 c #Conflicts: 2434000 | #Constraints: 55828
3600.04/3608.90 c #Conflicts: 2435000 | #Constraints: 56828
3600.04/3608.90 c #Conflicts: 2436000 | #Constraints: 57828
3600.04/3608.90 c #Conflicts: 2437000 | #Constraints: 58828
3600.04/3608.90 c #Conflicts: 2438000 | #Constraints: 59828
3600.04/3608.90 c #Conflicts: 2439000 | #Constraints: 60828
3600.04/3608.90 c #Conflicts: 2440000 | #Constraints: 61828
3600.04/3608.90 c INPROCESSING
3600.04/3608.90 c GARBAGE COLLECT
3600.04/3608.90 c #Conflicts: 2441000 | #Constraints: 31824
3600.04/3608.90 c #Conflicts: 2442000 | #Constraints: 32824
3600.04/3608.90 c #Conflicts: 2443000 | #Constraints: 33824
3600.04/3608.90 c #Conflicts: 2444000 | #Constraints: 34824
3600.04/3608.90 c #Conflicts: 2445000 | #Constraints: 35824
3600.04/3608.90 c #Conflicts: 2446000 | #Constraints: 36824
3600.04/3608.90 c #Conflicts: 2447000 | #Constraints: 37824
3600.04/3608.90 c #Conflicts: 2448000 | #Constraints: 38824
3600.04/3608.90 c #Conflicts: 2449000 | #Constraints: 39824
3600.04/3608.90 c #Conflicts: 2450000 | #Constraints: 40824
3600.04/3608.90 c #Conflicts: 2451000 | #Constraints: 41824
3600.04/3608.90 c #Conflicts: 2452000 | #Constraints: 42824
3600.04/3608.90 c #Conflicts: 2453000 | #Constraints: 43824
3600.04/3608.90 c #Conflicts: 2454000 | #Constraints: 44824
3600.04/3608.90 c #Conflicts: 2455000 | #Constraints: 45824
3600.04/3608.90 c #Conflicts: 2456000 | #Constraints: 46824
3600.04/3608.90 c #Conflicts: 2457000 | #Constraints: 47824
3600.04/3608.90 c #Conflicts: 2458000 | #Constraints: 48824
3600.04/3608.90 c #Conflicts: 2459000 | #Constraints: 49824
3600.04/3608.90 c Program interrupted by user.
3600.04/3608.90 c cpu time 3589.78 s
3600.04/3608.90 c deterministic time 500728823974 5.01e+11
3600.04/3608.90 c optimization time 40.9679 s
3600.04/3608.90 c total solve time 3250.02 s
3600.04/3608.90 c core-guided solve time 3250.02 s
3600.04/3608.90 c propagation time 3108.55 s
3600.04/3608.90 c conflict analysis time 168.286 s
3600.04/3608.90 c propagations 24415114
3600.04/3608.90 c resolve steps 11776442
3600.04/3608.90 c decisions 3519093
3600.04/3608.90 c conflicts 2459669
3600.04/3608.90 c restarts 4094
3600.04/3608.90 c inprocessing phases 147
3600.04/3608.90 c input clauses 0
3600.04/3608.90 c input cardinalities 0
3600.04/3608.90 c input general constraints 11
3600.04/3608.90 c input average constraint length 58.00
3600.04/3608.90 c input average constraint degree 1329.82
3600.04/3608.90 c learned clauses 1615701
3600.04/3608.90 c learned cardinalities 0
3600.04/3608.90 c learned general constraints 843968
3600.04/3608.90 c learned average constraint length 32.37
3600.04/3608.90 c learned average constraint degree 7470.14
3600.04/3608.90 c watched constraints 833098
3600.04/3608.90 c counting constraints 10881
3600.04/3608.90 c gcd simplifications 1422578
3600.04/3608.90 c detected cardinalities 0
3600.04/3608.90 c weakened non-implied lits 18638860
3600.04/3608.90 c weakened non-implying lits 1978219
3600.04/3608.90 c original variables 120
3600.04/3608.90 c clausal propagations 352127
3600.04/3608.90 c cardinality propagations 0
3600.04/3608.90 c watched propagations 9794165
3600.04/3608.90 c counting propagations 12170608
3600.04/3608.90 c watch lookups 47357433256
3600.04/3608.90 c watch backjump lookups 25868935198
3600.04/3608.90 c watch checks 357414667302
3600.04/3608.90 c propagation checks 69410228145
3600.04/3608.90 c constraint additions 619232100
3600.04/3608.90 c trail pops 30393765
3600.04/3608.90 c formula constraints 10
3600.04/3608.90 c learned constraints 2459669
3600.04/3608.90 c bound constraints 1
3600.04/3608.90 c core-guided constraints 0
3600.04/3608.90 c encountered formula constraints 4220619
3600.04/3608.90 c encountered learned constraints 10015492
3600.04/3608.90 c encountered bound constraints 0
3600.04/3608.90 c encountered core-guided constraints 0
3600.04/3608.90 c LP total time 0 s
3600.04/3608.90 c LP solve time 0 s
3600.04/3608.90 c LP constraints added 0
3600.04/3608.90 c LP constraints removed 0
3600.04/3608.90 c LP pivots internal 0
3600.04/3608.90 c LP pivots root 0
3600.04/3608.90 c LP calls 0
3600.04/3608.90 c LP optimalities 0
3600.04/3608.90 c LP no pivot count 0
3600.04/3608.90 c LP infeasibilities 0
3600.04/3608.90 c LP valid Farkas constraints 0
3600.04/3608.90 c LP learned Farkas constraints 0
3600.04/3608.90 c LP basis resets 0
3600.04/3608.90 c LP cycling count 0
3600.04/3608.90 c LP singular count 0
3600.04/3608.90 c LP no primal count 0
3600.04/3608.90 c LP no farkas count 0
3600.04/3608.90 c LP other issue count 0
3600.04/3608.90 c LP Gomory cuts 0
3600.04/3608.90 c LP learned cuts 0
3600.04/3608.90 c LP deleted cuts 0
3600.04/3608.90 c LP encountered Gomory constraints 0
3600.04/3608.90 c LP encountered Farkas constraints 0
3600.04/3608.90 c LP encountered learned Farkas constraints 0
3600.04/3608.90 c CG auxiliary variables introduced 0
3600.04/3608.90 c CG solutions found 0
3600.04/3608.90 c CG cores constructed 0
3600.04/3608.90 c CG core cardinality constraints returned 0
3600.04/3608.90 c CG unit cores 0
3600.04/3608.90 c CG single cores 0
3600.04/3608.90 c CG blocks removed during cardinality reduction 0
3600.04/3608.90 c CG first core best 0
3600.04/3608.90 c CG decision core best 0
3600.04/3608.90 c CG core reduction tie 0
3600.04/3608.90 c CG core degree average 0.00
3600.04/3608.90 c CG core slack average 0.00
3600.04/3608.90 c CG exhausted 0
3600.04/3608.90 c CG exhaust time 0 s
3600.04/3608.90 c CG trimmed 0
3600.04/3608.90 c CG trim time 0 s
3600.04/3608.90 c CG minimized 0
3600.04/3608.90 c CG minimize time 0 s
3600.04/3608.90 c CG am1 prop time 1.6e-05 s
3600.04/3608.90 c CG # am1s reformulated 0
3600.04/3608.90 c CG lower bound derived from am1s 0
3600.04/3608.90 c CG # clausal cores 0
3600.04/3608.90 c CG # cardinality cores 0
3600.04/3608.90 c CG # pb cores 0
3600.04/3608.90 c CG # pb reforms 0
3600.04/3608.90 c CG # cores discarded because of pb reform 0
3600.04/3608.90 d LOWERBOUND 0
3600.04/3608.90 d NCORES 0
3600.04/3608.90 d NPBCORES 0
3600.04/3608.90 d NPBREFORM 0
3600.04/3608.90 d NTRIMMED 0
3600.04/3608.90 d NEXHAUSTED 0
3600.04/3608.90 d NAM1S 0
3600.04/3608.90 d AM1LB 0
3600.04/3608.90 c [Papilo Statistics]
3600.04/3608.90 c prepro time 0.000297751s
3600.04/3608.90 c # tsx applied 5
3600.04/3608.90 c # tsx conflicts 0
3600.04/3608.90 c # bound changes 0
3600.04/3608.90 c # side changes 5
3600.04/3608.90 c # coef changes 0
3600.04/3608.90 c # rounds 2
3600.04/3608.90 c # deted vars 0
3600.04/3608.90 c # deted constrs 5
3600.04/3608.90 c # consecutive rounds of only bound changes 0
3600.04/3608.90 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61519 MiB free)
memory of node 1: 64473 MiB (61408 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435500-1721099959/watcher-4435500-1721099959 -o /tmp/evaluation-result-4435500-1721099959/solver-4435500-1721099959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831066 --watchdog 3760 mixed-bag HOME/instance-4435500-1721099959.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=835372, runsolver pid=835368
Current StackSize limit: 8192 KiB
[startup+0.10027 s]*
/proc/loadavg: 4.15 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125839428/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=98040 memory=29964 CPUtime=0.09 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 3812 0 0 0 9 0 0 0 20 0 1 0 162159760 100392960 7491 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 24510 7491 4059 3002 0 8261 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98040 KiB
Current children cumulated memory: 29964 KiB
[startup+0.205652 s]*
/proc/loadavg: 4.15 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125827248/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=98656 memory=30756 CPUtime=0.19 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 4021 0 0 0 19 0 0 0 20 0 1 0 162159760 101023744 7689 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 24664 7689 4059 3002 0 8415 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 98656 KiB
Current children cumulated memory: 30756 KiB
[startup+0.305292 s]*
/proc/loadavg: 4.15 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125825316/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=98656 memory=30756 CPUtime=0.29 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 4023 0 0 0 29 0 0 0 20 0 1 0 162159760 101023744 7689 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 24664 7689 4059 3002 0 8415 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98656 KiB
Current children cumulated memory: 30756 KiB
[startup+0.700207 s]
/proc/loadavg: 4.15 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125819996/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=98656 memory=31548 CPUtime=0.68 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 4235 0 0 0 68 0 0 0 20 0 1 0 162159760 101023744 7887 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 24664 7887 4059 3002 0 8415 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98656 KiB
Current children cumulated memory: 31548 KiB
[startup+1.5002 s]
/proc/loadavg: 4.15 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125808188/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=100712 memory=33924 CPUtime=1.48 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 4837 0 0 0 148 0 0 0 20 0 1 0 162159760 103129088 8481 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 25178 8481 4059 3002 0 8929 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100712 KiB
Current children cumulated memory: 33924 KiB
[startup+3.10532 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835385
/proc/meminfo: memFree=125799096/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=106116 memory=38004 CPUtime=3.08 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 6030 0 0 0 307 1 0 0 20 0 1 0 162159760 108662784 9501 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 26529 9501 4059 3002 0 10280 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106116 KiB
Current children cumulated memory: 38004 KiB
[startup+6.30015 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835387
/proc/meminfo: memFree=125780156/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=110436 memory=43548 CPUtime=6.26 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 7409 0 0 0 625 1 0 0 20 0 1 0 162159760 113086464 10887 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 27609 10887 4059 3002 0 11360 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 110436 KiB
Current children cumulated memory: 43548 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 835433
/proc/meminfo: memFree=126165400/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=117416 memory=51052 CPUtime=12.63 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 9293 0 0 0 1262 1 0 0 20 0 1 0 162159760 120233984 12763 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 29354 12763 4059 3002 0 13105 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 117416 KiB
Current children cumulated memory: 51052 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.14 4.10 5/255 835436
/proc/meminfo: memFree=126058288/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=130244 memory=63328 CPUtime=25.38 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 12378 0 0 0 2536 2 0 0 20 0 1 0 162159760 133369856 15832 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 32561 15832 4059 3002 0 16312 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 130244 KiB
Current children cumulated memory: 63328 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.14 4.10 5/257 835443
/proc/meminfo: memFree=125875448/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=138868 memory=73348 CPUtime=50.88 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 14857 0 0 0 5085 3 0 0 20 0 1 0 162159760 142200832 18337 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 34717 18337 4220 3002 0 18468 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 138868 KiB
Current children cumulated memory: 73348 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/256 835452
/proc/meminfo: memFree=125555148/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=147016 memory=80740 CPUtime=101.85 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 16712 0 0 0 10182 3 0 0 20 0 1 0 162159760 150544384 20185 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 36754 20185 4220 3002 0 20505 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 147016 KiB
Current children cumulated memory: 80740 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 835462
/proc/meminfo: memFree=125283788/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=150972 memory=84912 CPUtime=161.59 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 17886 0 0 0 16156 3 0 0 20 0 1 0 162159760 154595328 21228 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 37743 21228 4220 3002 0 21494 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 150972 KiB
Current children cumulated memory: 84912 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 835472
/proc/meminfo: memFree=125044636/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=150972 memory=85368 CPUtime=221.34 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 18318 0 0 0 22131 3 0 0 20 0 1 0 162159760 154595328 21342 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 37743 21342 4220 3002 0 21494 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 150972 KiB
Current children cumulated memory: 85368 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/256 835484
/proc/meminfo: memFree=124821620/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=153796 memory=88332 CPUtime=281.1 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 19017 0 0 0 28107 3 0 0 20 0 1 0 162159760 157487104 22083 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 38449 22083 4220 3002 0 22200 0
Current children cumulated CPU time: 281.1 s
Current children cumulated vsize: 153796 KiB
Current children cumulated memory: 88332 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 835879
/proc/meminfo: memFree=125431652/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=148836 memory=92804 CPUtime=340.94 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 20427 0 0 0 34042 52 0 0 20 0 1 0 162159760 152408064 23201 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 37209 23201 4332 3002 0 20960 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 148836 KiB
Current children cumulated memory: 92804 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 835890
/proc/meminfo: memFree=125416920/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=151556 memory=93892 CPUtime=400.81 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 20733 0 0 0 39988 93 0 0 20 0 1 0 162159760 155193344 23473 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 37889 23473 4332 3002 0 21640 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 151556 KiB
Current children cumulated memory: 93892 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 835900
/proc/meminfo: memFree=125407028/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=151556 memory=94848 CPUtime=460.68 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 20992 0 0 0 45941 127 0 0 20 0 1 0 162159760 155193344 23712 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 37889 23712 4332 3002 0 21640 0
################
# More data... #
################
Current children cumulated memory: 104096 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 837140
/proc/meminfo: memFree=125295568/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=104096 CPUtime=2915.16 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23362 0 0 0 290617 899 0 0 20 0 1 0 162159760 167071744 26024 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26024 4332 3002 0 24540 0
Current children cumulated CPU time: 2915.16 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 104096 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 837150
/proc/meminfo: memFree=125294824/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=104096 CPUtime=2975.02 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23395 0 0 0 296592 910 0 0 20 0 1 0 162159760 167071744 26024 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26024 4332 3002 0 24540 0
Current children cumulated CPU time: 2975.02 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 104096 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/256 837164
/proc/meminfo: memFree=125292020/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=104096 CPUtime=3034.87 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23428 0 0 0 302567 920 0 0 20 0 1 0 162159760 167071744 26024 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26024 4332 3002 0 24540 0
Current children cumulated CPU time: 3034.87 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 104096 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 837176
/proc/meminfo: memFree=125288992/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=104096 CPUtime=3094.71 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23461 0 0 0 308541 930 0 0 20 0 1 0 162159760 167071744 26024 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26024 4332 3002 0 24540 0
Current children cumulated CPU time: 3094.71 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 104096 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 837186
/proc/meminfo: memFree=125288232/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=104096 CPUtime=3154.56 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23494 0 0 0 314514 942 0 0 20 0 1 0 162159760 167071744 26024 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26024 4332 3002 0 24540 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 104096 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 837197
/proc/meminfo: memFree=125287332/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=104096 CPUtime=3214.42 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23527 0 0 0 320489 953 0 0 20 0 1 0 162159760 167071744 26024 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26024 4332 3002 0 24540 0
Current children cumulated CPU time: 3214.42 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 104096 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/257 837209
/proc/meminfo: memFree=125284552/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=104096 CPUtime=3274.26 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23560 0 0 0 326460 966 0 0 20 0 1 0 162159760 167071744 26024 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26024 4332 3002 0 24540 0
Current children cumulated CPU time: 3274.26 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 104096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/255 837219
/proc/meminfo: memFree=125281752/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=104096 CPUtime=3334.11 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23593 0 0 0 332432 979 0 0 20 0 1 0 162159760 167071744 26024 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26024 4332 3002 0 24540 0
Current children cumulated CPU time: 3334.11 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 104096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/255 837229
/proc/meminfo: memFree=125281052/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=104096 CPUtime=3393.96 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23625 0 0 0 338405 991 0 0 20 0 1 0 162159760 167071744 26024 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26024 4332 3002 0 24540 0
Current children cumulated CPU time: 3393.96 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 104096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/255 837240
/proc/meminfo: memFree=125278280/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=106144 CPUtime=3453.81 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23659 0 0 0 344380 1001 0 0 20 0 1 0 162159760 167071744 26536 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26536 4332 3002 0 24540 0
Current children cumulated CPU time: 3453.81 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 106144 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/255 837252
/proc/meminfo: memFree=125277572/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=106144 CPUtime=3513.66 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23695 0 0 0 350354 1012 0 0 20 0 1 0 162159760 167071744 26536 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26536 4332 3002 0 24540 0
Current children cumulated CPU time: 3513.66 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 106144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/255 837262
/proc/meminfo: memFree=125276728/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=106144 CPUtime=3573.51 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23729 0 0 0 356329 1022 0 0 20 0 1 0 162159760 167071744 26536 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26536 4332 3002 0 24540 0
Current children cumulated CPU time: 3573.51 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 106144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.02 4.10 4.08 4/248 837298
/proc/meminfo: memFree=125696660/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=106144 CPUtime=3600.04 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23729 0 0 0 358977 1027 0 0 20 0 1 0 162159760 167071744 26536 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26536 4332 3002 0 24540 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 106144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.9 s]
# the end of solver process 835372 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.78 s, system=10.278 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.02 4.10 4.08 4/248 837298
/proc/meminfo: memFree=125696660/131524600 swapFree=131071996/131071996
[pid=835372] ppid=835368 vsize=163156 memory=106144 CPUtime=3600.04 cores=4,6
/proc/835372/stat : 835372 (mixed-bag) R 835368 835372 831055 0 -1 4194304 23729 0 0 0 358977 1027 0 0 20 0 1 0 162159760 167071744 26536 134679101440 4194304 16487941 140732824106048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 36917248 140732824114199 140732824114276 140732824114276 140732824121291 0
/proc/835372/statm: 40789 26536 4332 3002 0 24540 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 163156 KiB
Current children cumulated memory: 106144 KiB
Child status: 0
Real time (s): 3608.9
CPU time (s): 3600.06
CPU user time (s): 3589.78
CPU system time (s): 10.278
CPU usage (%): 99.7549
Max. virtual memory (cumulated for all children) (KiB): 163156
Max. memory (cumulated for all children) (KiB): 106144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.78
system time used= 10.278
maximum resident set size= 106652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23756
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= 50
involuntary context switches= 1405
# summary of solver processes directly reported to runsolver:
# pid: 835372
# total CPU time (s): 3600.06
# total CPU user time (s): 3589.78
# total CPU system time (s): 10.278
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.82452 second user time and 17.7629 second system time
The end
Begin job on nodeC021 at 2024-07-16 05:19:32
IDJOB=4435500
IDBENCH=147580
IDSOLVER=3066
FILE ID=nodeC021/4435500-1721099959
RUNJOBID= nodeC021-1721092436-831066
SLURM_JOB_ID= 7505590
Free space on /tmp= 890040 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435500-1721099959/watcher-4435500-1721099959 -o /tmp/evaluation-result-4435500-1721099959/solver-4435500-1721099959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831066 --watchdog 3760 mixed-bag HOME/instance-4435500-1721099959.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9
RANDOM SEED=113364293
nodeC021.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 : 3666.387
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.42
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 : 3614.396
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.23
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 : 3600.278
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.42
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 : 3658.330
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.23
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 : 3659.486
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.42
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 : 3673.583
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.23
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 : 3669.149
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.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.822
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125878320 kB
MemAvailable: 129196212 kB
Buffers: 383936 kB
Cached: 3735540 kB
SwapCached: 0 kB
Active: 735348 kB
Inactive: 4239512 kB
Active(anon): 1544 kB
Inactive(anon): 891216 kB
Active(file): 733804 kB
Inactive(file): 3348296 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16600 kB
Writeback: 52 kB
AnonPages: 854324 kB
Mapped: 127244 kB
Shmem: 37720 kB
KReclaimable: 151228 kB
Slab: 264480 kB
SReclaimable: 151228 kB
SUnreclaim: 113252 kB
KernelStack: 4048 kB
PageTables: 11208 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1335024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61696 kB
HardwareCorrupted: 0 kB
AnonHugePages: 401408 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: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890036 MiB
End job on nodeC021 at 2024-07-16 06:19:41