0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 198 #constraints 16
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.000493
0.00/0.01 c stratification level: 64
0.00/0.02 c bounds 142 >= 0 @ 0.007706
0.00/0.02 c stratification level: 32
0.00/0.02 c bounds 134 >= 0 @ 0.012142
0.00/0.02 c stratification level: 16
4.47/4.52 c #Conflicts: 1000 | #Constraints: 1017
4.47/4.52 c #Conflicts: 2000 | #Constraints: 2017
4.47/4.52 c INPROCESSING
4.47/4.52 c GARBAGE COLLECT
4.47/4.52 c #Conflicts: 3000 | #Constraints: 2024
4.47/4.52 c #Conflicts: 4000 | #Constraints: 3024
4.47/4.52 c INPROCESSING
4.47/4.52 c GARBAGE COLLECT
4.47/4.52 c #Conflicts: 5000 | #Constraints: 2424
4.47/4.52 c #Conflicts: 6000 | #Constraints: 3424
4.47/4.52 c INPROCESSING
4.47/4.52 c GARBAGE COLLECT
4.47/4.52 c #Conflicts: 7000 | #Constraints: 2430
4.47/4.52 c #Conflicts: 8000 | #Constraints: 3430
4.47/4.52 c #Conflicts: 9000 | #Constraints: 4430
4.47/4.52 c INPROCESSING
4.47/4.52 c GARBAGE COLLECT
4.47/4.52 c #Conflicts: 10000 | #Constraints: 3129
4.47/4.52 c #Conflicts: 11000 | #Constraints: 4129
4.47/4.52 c #Conflicts: 12000 | #Constraints: 5129
4.47/4.52 c INPROCESSING
4.47/4.52 c GARBAGE COLLECT
4.47/4.52 c #Conflicts: 13000 | #Constraints: 3579
4.47/4.52 c #Conflicts: 14000 | #Constraints: 4579
4.47/4.52 c #Conflicts: 15000 | #Constraints: 5579
4.47/4.52 c INPROCESSING
4.47/4.52 c GARBAGE COLLECT
4.47/4.52 c #Conflicts: 16000 | #Constraints: 3806
4.47/4.52 c #Conflicts: 17000 | #Constraints: 4806
4.47/4.52 c #Conflicts: 18000 | #Constraints: 5806
4.47/4.52 c INPROCESSING
4.47/4.52 c GARBAGE COLLECT
4.47/4.52 c bounds 116 >= 0 @ 4.44113
4.47/4.52 c stratification level: 8
32.50/32.61 c #Conflicts: 19000 | #Constraints: 3822
32.50/32.61 c #Conflicts: 20000 | #Constraints: 4822
32.50/32.61 c #Conflicts: 21000 | #Constraints: 5822
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 22000 | #Constraints: 3621
32.50/32.61 c #Conflicts: 23000 | #Constraints: 4621
32.50/32.61 c #Conflicts: 24000 | #Constraints: 5621
32.50/32.61 c #Conflicts: 25000 | #Constraints: 6621
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 26000 | #Constraints: 4226
32.50/32.61 c #Conflicts: 27000 | #Constraints: 5226
32.50/32.61 c #Conflicts: 28000 | #Constraints: 6226
32.50/32.61 c #Conflicts: 29000 | #Constraints: 7226
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 30000 | #Constraints: 4626
32.50/32.61 c #Conflicts: 31000 | #Constraints: 5626
32.50/32.61 c #Conflicts: 32000 | #Constraints: 6626
32.50/32.61 c #Conflicts: 33000 | #Constraints: 7626
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 34000 | #Constraints: 4831
32.50/32.61 c #Conflicts: 35000 | #Constraints: 5831
32.50/32.61 c #Conflicts: 36000 | #Constraints: 6831
32.50/32.61 c #Conflicts: 37000 | #Constraints: 7831
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 38000 | #Constraints: 4836
32.50/32.61 c #Conflicts: 39000 | #Constraints: 5836
32.50/32.61 c #Conflicts: 40000 | #Constraints: 6836
32.50/32.61 c #Conflicts: 41000 | #Constraints: 7836
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 42000 | #Constraints: 4637
32.50/32.61 c #Conflicts: 43000 | #Constraints: 5637
32.50/32.61 c #Conflicts: 44000 | #Constraints: 6637
32.50/32.61 c #Conflicts: 45000 | #Constraints: 7637
32.50/32.61 c #Conflicts: 46000 | #Constraints: 8637
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 47000 | #Constraints: 5233
32.50/32.61 c #Conflicts: 48000 | #Constraints: 6233
32.50/32.61 c #Conflicts: 49000 | #Constraints: 7233
32.50/32.61 c #Conflicts: 50000 | #Constraints: 8233
32.50/32.61 c #Conflicts: 51000 | #Constraints: 9233
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 52000 | #Constraints: 5635
32.50/32.61 c #Conflicts: 53000 | #Constraints: 6635
32.50/32.61 c #Conflicts: 54000 | #Constraints: 7635
32.50/32.61 c #Conflicts: 55000 | #Constraints: 8635
32.50/32.61 c #Conflicts: 56000 | #Constraints: 9635
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 57000 | #Constraints: 5831
32.50/32.61 c #Conflicts: 58000 | #Constraints: 6831
32.50/32.61 c #Conflicts: 59000 | #Constraints: 7831
32.50/32.61 c #Conflicts: 60000 | #Constraints: 8831
32.50/32.61 c #Conflicts: 61000 | #Constraints: 9831
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 62000 | #Constraints: 5833
32.50/32.61 c #Conflicts: 63000 | #Constraints: 6833
32.50/32.61 c #Conflicts: 64000 | #Constraints: 7833
32.50/32.61 c #Conflicts: 65000 | #Constraints: 8833
32.50/32.61 c #Conflicts: 66000 | #Constraints: 9833
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 67000 | #Constraints: 5632
32.50/32.61 c #Conflicts: 68000 | #Constraints: 6632
32.50/32.61 c #Conflicts: 69000 | #Constraints: 7632
32.50/32.61 c #Conflicts: 70000 | #Constraints: 8632
32.50/32.61 c #Conflicts: 71000 | #Constraints: 9632
32.50/32.61 c #Conflicts: 72000 | #Constraints: 10632
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 73000 | #Constraints: 6231
32.50/32.61 c #Conflicts: 74000 | #Constraints: 7231
32.50/32.61 c #Conflicts: 75000 | #Constraints: 8231
32.50/32.61 c #Conflicts: 76000 | #Constraints: 9231
32.50/32.61 c #Conflicts: 77000 | #Constraints: 10231
32.50/32.61 c #Conflicts: 78000 | #Constraints: 11231
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 79000 | #Constraints: 6631
32.50/32.61 c #Conflicts: 80000 | #Constraints: 7631
32.50/32.61 c #Conflicts: 81000 | #Constraints: 8631
32.50/32.61 c #Conflicts: 82000 | #Constraints: 9631
32.50/32.61 c #Conflicts: 83000 | #Constraints: 10631
32.50/32.61 c #Conflicts: 84000 | #Constraints: 11631
32.50/32.61 c INPROCESSING
32.50/32.61 c GARBAGE COLLECT
32.50/32.61 c #Conflicts: 85000 | #Constraints: 6833
32.50/32.61 c #Conflicts: 86000 | #Constraints: 7833
32.50/32.61 c #Conflicts: 87000 | #Constraints: 8833
32.50/32.61 c #Conflicts: 88000 | #Constraints: 9833
71.70/71.98 c #Conflicts: 89000 | #Constraints: 10833
71.70/71.98 c #Conflicts: 90000 | #Constraints: 11833
71.70/71.98 c INPROCESSING
71.70/71.98 c GARBAGE COLLECT
71.70/71.98 c #Conflicts: 91000 | #Constraints: 6835
71.70/71.98 c #Conflicts: 92000 | #Constraints: 7835
71.70/71.98 c #Conflicts: 93000 | #Constraints: 8835
71.70/71.98 c #Conflicts: 94000 | #Constraints: 9835
71.70/71.98 c #Conflicts: 95000 | #Constraints: 10835
71.70/71.98 c #Conflicts: 96000 | #Constraints: 11835
71.70/71.98 c INPROCESSING
71.70/71.98 c GARBAGE COLLECT
71.70/71.98 c #Conflicts: 97000 | #Constraints: 6635
71.70/71.98 c #Conflicts: 98000 | #Constraints: 7635
71.70/71.98 c #Conflicts: 99000 | #Constraints: 8635
71.70/71.98 c #Conflicts: 100000 | #Constraints: 9635
71.70/71.98 c #Conflicts: 101000 | #Constraints: 10635
71.70/71.98 c #Conflicts: 102000 | #Constraints: 11635
71.70/71.98 c #Conflicts: 103000 | #Constraints: 12635
71.70/71.98 c INPROCESSING
71.70/71.98 c GARBAGE COLLECT
71.70/71.98 c #Conflicts: 104000 | #Constraints: 7234
71.70/71.98 c #Conflicts: 105000 | #Constraints: 8234
71.70/71.98 c #Conflicts: 106000 | #Constraints: 9234
71.70/71.98 c #Conflicts: 107000 | #Constraints: 10234
71.70/71.98 c #Conflicts: 108000 | #Constraints: 11234
71.70/71.98 c #Conflicts: 109000 | #Constraints: 12234
71.70/71.98 c #Conflicts: 110000 | #Constraints: 13234
71.70/71.98 c INPROCESSING
71.70/71.98 c GARBAGE COLLECT
71.70/71.98 c #Conflicts: 111000 | #Constraints: 7638
71.70/71.98 c #Conflicts: 112000 | #Constraints: 8638
71.70/71.98 c #Conflicts: 113000 | #Constraints: 9638
71.70/71.98 c #Conflicts: 114000 | #Constraints: 10638
71.70/71.98 c #Conflicts: 115000 | #Constraints: 11638
71.70/71.98 c #Conflicts: 116000 | #Constraints: 12638
71.70/71.98 c #Conflicts: 117000 | #Constraints: 13638
71.70/71.98 c INPROCESSING
71.70/71.98 c GARBAGE COLLECT
71.70/71.98 c #Conflicts: 118000 | #Constraints: 7836
71.70/71.98 c #Conflicts: 119000 | #Constraints: 8836
71.70/71.98 c #Conflicts: 120000 | #Constraints: 9836
71.70/71.98 c #Conflicts: 121000 | #Constraints: 10836
71.70/71.98 c #Conflicts: 122000 | #Constraints: 11836
71.70/71.98 c #Conflicts: 123000 | #Constraints: 12836
71.70/71.98 c #Conflicts: 124000 | #Constraints: 13836
71.70/71.98 c INPROCESSING
71.70/71.98 c GARBAGE COLLECT
71.70/71.98 c #Conflicts: 125000 | #Constraints: 7833
71.70/71.98 c #Conflicts: 126000 | #Constraints: 8833
71.70/71.98 c #Conflicts: 127000 | #Constraints: 9833
71.70/71.98 c #Conflicts: 128000 | #Constraints: 10833
71.70/71.98 c #Conflicts: 129000 | #Constraints: 11833
71.70/71.98 c #Conflicts: 130000 | #Constraints: 12833
71.70/71.98 c #Conflicts: 131000 | #Constraints: 13833
71.70/71.98 c INPROCESSING
71.70/71.98 c GARBAGE COLLECT
71.70/71.98 c #Conflicts: 132000 | #Constraints: 7631
71.70/71.98 c #Conflicts: 133000 | #Constraints: 8631
71.70/71.98 c #Conflicts: 134000 | #Constraints: 9631
71.70/71.98 c #Conflicts: 135000 | #Constraints: 10631
71.70/71.98 c #Conflicts: 136000 | #Constraints: 11631
71.70/71.98 c #Conflicts: 137000 | #Constraints: 12631
71.70/71.98 c #Conflicts: 138000 | #Constraints: 13631
71.70/71.98 c #Conflicts: 139000 | #Constraints: 14631
71.70/71.98 c INPROCESSING
71.70/71.98 c GARBAGE COLLECT
71.70/71.98 c #Conflicts: 140000 | #Constraints: 8236
71.70/71.98 c #Conflicts: 141000 | #Constraints: 9236
71.70/71.98 c #Conflicts: 142000 | #Constraints: 10236
71.70/71.98 c #Conflicts: 143000 | #Constraints: 11236
71.70/71.98 c #Conflicts: 144000 | #Constraints: 12236
71.70/71.98 c #Conflicts: 145000 | #Constraints: 13236
71.70/71.98 c #Conflicts: 146000 | #Constraints: 14236
71.70/71.98 c #Conflicts: 147000 | #Constraints: 15236
71.70/71.98 c INPROCESSING
71.70/71.98 c GARBAGE COLLECT
71.70/71.98 c #Conflicts: 148000 | #Constraints: 8635
71.70/71.98 c #Conflicts: 149000 | #Constraints: 9635
71.70/71.98 c #Conflicts: 150000 | #Constraints: 10635
71.70/71.98 c #Conflicts: 151000 | #Constraints: 11635
71.70/71.98 c #Conflicts: 152000 | #Constraints: 12635
71.70/71.98 c #Conflicts: 153000 | #Constraints: 13635
71.70/71.98 c #Conflicts: 154000 | #Constraints: 14635
71.70/71.98 c #Conflicts: 155000 | #Constraints: 15635
71.70/71.98 c INPROCESSING
71.70/71.98 c GARBAGE COLLECT
71.70/71.98 c #Conflicts: 156000 | #Constraints: 8836
71.70/71.98 c #Conflicts: 157000 | #Constraints: 9836
71.70/71.98 c #Conflicts: 158000 | #Constraints: 10836
71.70/71.98 c #Conflicts: 159000 | #Constraints: 11836
71.70/71.98 c #Conflicts: 160000 | #Constraints: 12836
71.70/71.98 c #Conflicts: 161000 | #Constraints: 13836
126.96/127.32 c #Conflicts: 162000 | #Constraints: 14836
126.96/127.32 c #Conflicts: 163000 | #Constraints: 15836
126.96/127.32 c INPROCESSING
126.96/127.32 c GARBAGE COLLECT
126.96/127.32 c #Conflicts: 164000 | #Constraints: 8836
126.96/127.32 c #Conflicts: 165000 | #Constraints: 9836
126.96/127.32 c #Conflicts: 166000 | #Constraints: 10836
126.96/127.32 c #Conflicts: 167000 | #Constraints: 11836
126.96/127.32 c #Conflicts: 168000 | #Constraints: 12836
126.96/127.32 c #Conflicts: 169000 | #Constraints: 13836
126.96/127.32 c #Conflicts: 170000 | #Constraints: 14836
126.96/127.32 c #Conflicts: 171000 | #Constraints: 15836
126.96/127.32 c INPROCESSING
126.96/127.32 c GARBAGE COLLECT
126.96/127.32 c #Conflicts: 172000 | #Constraints: 8634
126.96/127.32 c #Conflicts: 173000 | #Constraints: 9634
126.96/127.32 c #Conflicts: 174000 | #Constraints: 10634
126.96/127.32 c #Conflicts: 175000 | #Constraints: 11634
126.96/127.32 c #Conflicts: 176000 | #Constraints: 12634
126.96/127.32 c #Conflicts: 177000 | #Constraints: 13634
126.96/127.32 c #Conflicts: 178000 | #Constraints: 14634
126.96/127.32 c #Conflicts: 179000 | #Constraints: 15634
126.96/127.32 c #Conflicts: 180000 | #Constraints: 16634
126.96/127.32 c INPROCESSING
126.96/127.32 c GARBAGE COLLECT
126.96/127.32 c #Conflicts: 181000 | #Constraints: 9236
126.96/127.32 c #Conflicts: 182000 | #Constraints: 10236
126.96/127.32 c #Conflicts: 183000 | #Constraints: 11236
126.96/127.32 c #Conflicts: 184000 | #Constraints: 12236
126.96/127.32 c #Conflicts: 185000 | #Constraints: 13236
126.96/127.32 c #Conflicts: 186000 | #Constraints: 14236
126.96/127.32 c #Conflicts: 187000 | #Constraints: 15236
126.96/127.32 c #Conflicts: 188000 | #Constraints: 16236
126.96/127.32 c #Conflicts: 189000 | #Constraints: 17236
126.96/127.32 c INPROCESSING
126.96/127.32 c GARBAGE COLLECT
126.96/127.32 c #Conflicts: 190000 | #Constraints: 9635
126.96/127.32 c #Conflicts: 191000 | #Constraints: 10635
126.96/127.32 c #Conflicts: 192000 | #Constraints: 11635
126.96/127.32 c #Conflicts: 193000 | #Constraints: 12635
126.96/127.32 c #Conflicts: 194000 | #Constraints: 13635
126.96/127.32 c #Conflicts: 195000 | #Constraints: 14635
126.96/127.32 c #Conflicts: 196000 | #Constraints: 15635
126.96/127.32 c #Conflicts: 197000 | #Constraints: 16635
126.96/127.32 c #Conflicts: 198000 | #Constraints: 17635
126.96/127.32 c INPROCESSING
126.96/127.32 c GARBAGE COLLECT
126.96/127.32 c #Conflicts: 199000 | #Constraints: 9835
126.96/127.32 c #Conflicts: 200000 | #Constraints: 10835
126.96/127.32 c #Conflicts: 201000 | #Constraints: 11835
126.96/127.32 c #Conflicts: 202000 | #Constraints: 12835
126.96/127.32 c #Conflicts: 203000 | #Constraints: 13835
126.96/127.32 c #Conflicts: 204000 | #Constraints: 14835
126.96/127.32 c #Conflicts: 205000 | #Constraints: 15835
126.96/127.32 c #Conflicts: 206000 | #Constraints: 16835
126.96/127.32 c #Conflicts: 207000 | #Constraints: 17835
126.96/127.32 c INPROCESSING
126.96/127.32 c GARBAGE COLLECT
126.96/127.32 c #Conflicts: 208000 | #Constraints: 9837
126.96/127.32 c #Conflicts: 209000 | #Constraints: 10837
126.96/127.32 c #Conflicts: 210000 | #Constraints: 11837
126.96/127.32 c #Conflicts: 211000 | #Constraints: 12837
126.96/127.32 c #Conflicts: 212000 | #Constraints: 13837
126.96/127.32 c #Conflicts: 213000 | #Constraints: 14837
126.96/127.32 c #Conflicts: 214000 | #Constraints: 15837
126.96/127.32 c #Conflicts: 215000 | #Constraints: 16837
126.96/127.32 c #Conflicts: 216000 | #Constraints: 17837
126.96/127.32 c INPROCESSING
126.96/127.32 c GARBAGE COLLECT
126.96/127.32 c #Conflicts: 217000 | #Constraints: 9637
126.96/127.32 c #Conflicts: 218000 | #Constraints: 10637
126.96/127.32 c #Conflicts: 219000 | #Constraints: 11637
126.96/127.32 c #Conflicts: 220000 | #Constraints: 12637
126.96/127.32 c #Conflicts: 221000 | #Constraints: 13637
126.96/127.32 c #Conflicts: 222000 | #Constraints: 14637
126.96/127.32 c #Conflicts: 223000 | #Constraints: 15637
126.96/127.32 c #Conflicts: 224000 | #Constraints: 16637
126.96/127.32 c #Conflicts: 225000 | #Constraints: 17637
126.96/127.32 c #Conflicts: 226000 | #Constraints: 18637
126.96/127.32 c INPROCESSING
126.96/127.32 c GARBAGE COLLECT
126.96/127.32 c #Conflicts: 227000 | #Constraints: 10237
126.96/127.32 c #Conflicts: 228000 | #Constraints: 11237
126.96/127.32 c #Conflicts: 229000 | #Constraints: 12237
126.96/127.32 c #Conflicts: 230000 | #Constraints: 13237
126.96/127.32 c #Conflicts: 231000 | #Constraints: 14237
126.96/127.32 c #Conflicts: 232000 | #Constraints: 15237
126.96/127.32 c #Conflicts: 233000 | #Constraints: 16237
126.96/127.32 c #Conflicts: 234000 | #Constraints: 17237
184.03/184.59 c #Conflicts: 235000 | #Constraints: 18237
184.03/184.59 c #Conflicts: 236000 | #Constraints: 19237
184.03/184.59 c INPROCESSING
184.03/184.59 c GARBAGE COLLECT
184.03/184.59 c #Conflicts: 237000 | #Constraints: 10635
184.03/184.59 c #Conflicts: 238000 | #Constraints: 11635
184.03/184.59 c #Conflicts: 239000 | #Constraints: 12635
184.03/184.59 c #Conflicts: 240000 | #Constraints: 13635
184.03/184.59 c #Conflicts: 241000 | #Constraints: 14635
184.03/184.59 c #Conflicts: 242000 | #Constraints: 15635
184.03/184.59 c #Conflicts: 243000 | #Constraints: 16635
184.03/184.59 c #Conflicts: 244000 | #Constraints: 17635
184.03/184.59 c #Conflicts: 245000 | #Constraints: 18635
184.03/184.59 c #Conflicts: 246000 | #Constraints: 19635
184.03/184.59 c INPROCESSING
184.03/184.59 c GARBAGE COLLECT
184.03/184.59 c #Conflicts: 247000 | #Constraints: 10838
184.03/184.59 c #Conflicts: 248000 | #Constraints: 11838
184.03/184.59 c #Conflicts: 249000 | #Constraints: 12838
184.03/184.59 c #Conflicts: 250000 | #Constraints: 13838
184.03/184.59 c #Conflicts: 251000 | #Constraints: 14838
184.03/184.59 c #Conflicts: 252000 | #Constraints: 15838
184.03/184.59 c #Conflicts: 253000 | #Constraints: 16838
184.03/184.59 c #Conflicts: 254000 | #Constraints: 17838
184.03/184.59 c #Conflicts: 255000 | #Constraints: 18838
184.03/184.59 c #Conflicts: 256000 | #Constraints: 19838
184.03/184.59 c INPROCESSING
184.03/184.59 c GARBAGE COLLECT
184.03/184.59 c #Conflicts: 257000 | #Constraints: 10836
184.03/184.59 c #Conflicts: 258000 | #Constraints: 11836
184.03/184.59 c #Conflicts: 259000 | #Constraints: 12836
184.03/184.59 c #Conflicts: 260000 | #Constraints: 13836
184.03/184.59 c #Conflicts: 261000 | #Constraints: 14836
184.03/184.59 c #Conflicts: 262000 | #Constraints: 15836
184.03/184.59 c #Conflicts: 263000 | #Constraints: 16836
184.03/184.59 c #Conflicts: 264000 | #Constraints: 17836
184.03/184.59 c #Conflicts: 265000 | #Constraints: 18836
184.03/184.59 c #Conflicts: 266000 | #Constraints: 19836
184.03/184.59 c INPROCESSING
184.03/184.59 c GARBAGE COLLECT
184.03/184.59 c #Conflicts: 267000 | #Constraints: 10640
184.03/184.59 c #Conflicts: 268000 | #Constraints: 11640
184.03/184.59 c #Conflicts: 269000 | #Constraints: 12640
184.03/184.59 c #Conflicts: 270000 | #Constraints: 13640
184.03/184.59 c #Conflicts: 271000 | #Constraints: 14640
184.03/184.59 c #Conflicts: 272000 | #Constraints: 15640
184.03/184.59 c #Conflicts: 273000 | #Constraints: 16640
184.03/184.59 c #Conflicts: 274000 | #Constraints: 17640
184.03/184.59 c #Conflicts: 275000 | #Constraints: 18640
184.03/184.59 c #Conflicts: 276000 | #Constraints: 19640
184.03/184.59 c #Conflicts: 277000 | #Constraints: 20640
184.03/184.59 c INPROCESSING
184.03/184.59 c GARBAGE COLLECT
184.03/184.59 c #Conflicts: 278000 | #Constraints: 11233
184.03/184.59 c #Conflicts: 279000 | #Constraints: 12233
184.03/184.59 c #Conflicts: 280000 | #Constraints: 13233
184.03/184.59 c #Conflicts: 281000 | #Constraints: 14233
184.03/184.59 c #Conflicts: 282000 | #Constraints: 15233
184.03/184.59 c #Conflicts: 283000 | #Constraints: 16233
184.03/184.59 c #Conflicts: 284000 | #Constraints: 17233
184.03/184.59 c #Conflicts: 285000 | #Constraints: 18233
184.03/184.59 c #Conflicts: 286000 | #Constraints: 19233
184.03/184.59 c #Conflicts: 287000 | #Constraints: 20233
184.03/184.59 c #Conflicts: 288000 | #Constraints: 21233
184.03/184.59 c INPROCESSING
184.03/184.59 c GARBAGE COLLECT
184.03/184.59 c #Conflicts: 289000 | #Constraints: 11632
184.03/184.59 c #Conflicts: 290000 | #Constraints: 12632
184.03/184.59 c #Conflicts: 291000 | #Constraints: 13632
184.03/184.59 c #Conflicts: 292000 | #Constraints: 14632
184.03/184.59 c #Conflicts: 293000 | #Constraints: 15632
184.03/184.59 c #Conflicts: 294000 | #Constraints: 16632
184.03/184.59 c #Conflicts: 295000 | #Constraints: 17632
184.03/184.59 c #Conflicts: 296000 | #Constraints: 18632
184.03/184.59 c #Conflicts: 297000 | #Constraints: 19632
184.03/184.59 c #Conflicts: 298000 | #Constraints: 20632
184.03/184.59 c #Conflicts: 299000 | #Constraints: 21632
184.03/184.59 c INPROCESSING
184.03/184.59 c GARBAGE COLLECT
184.03/184.59 c #Conflicts: 300000 | #Constraints: 11828
184.03/184.59 c #Conflicts: 301000 | #Constraints: 12828
184.03/184.59 c #Conflicts: 302000 | #Constraints: 13828
184.03/184.59 c #Conflicts: 303000 | #Constraints: 14828
184.03/184.59 c #Conflicts: 304000 | #Constraints: 15828
184.03/184.59 c #Conflicts: 305000 | #Constraints: 16828
184.03/184.59 c #Conflicts: 306000 | #Constraints: 17828
184.03/184.59 c #Conflicts: 307000 | #Constraints: 18828
184.03/184.59 c #Conflicts: 308000 | #Constraints: 19828
184.03/184.59 c #Conflicts: 309000 | #Constraints: 20828
248.16/248.84 c #Conflicts: 310000 | #Constraints: 21828
248.16/248.84 c INPROCESSING
248.16/248.84 c GARBAGE COLLECT
248.16/248.84 c #Conflicts: 311000 | #Constraints: 11833
248.16/248.84 c #Conflicts: 312000 | #Constraints: 12833
248.16/248.84 c #Conflicts: 313000 | #Constraints: 13833
248.16/248.84 c #Conflicts: 314000 | #Constraints: 14833
248.16/248.84 c #Conflicts: 315000 | #Constraints: 15833
248.16/248.84 c #Conflicts: 316000 | #Constraints: 16833
248.16/248.84 c #Conflicts: 317000 | #Constraints: 17833
248.16/248.84 c #Conflicts: 318000 | #Constraints: 18833
248.16/248.84 c #Conflicts: 319000 | #Constraints: 19833
248.16/248.84 c #Conflicts: 320000 | #Constraints: 20833
248.16/248.84 c #Conflicts: 321000 | #Constraints: 21833
248.16/248.84 c INPROCESSING
248.16/248.84 c GARBAGE COLLECT
248.16/248.84 c #Conflicts: 322000 | #Constraints: 11638
248.16/248.84 c #Conflicts: 323000 | #Constraints: 12638
248.16/248.84 c #Conflicts: 324000 | #Constraints: 13638
248.16/248.84 c #Conflicts: 325000 | #Constraints: 14638
248.16/248.84 c #Conflicts: 326000 | #Constraints: 15638
248.16/248.84 c #Conflicts: 327000 | #Constraints: 16638
248.16/248.84 c #Conflicts: 328000 | #Constraints: 17638
248.16/248.84 c #Conflicts: 329000 | #Constraints: 18638
248.16/248.84 c #Conflicts: 330000 | #Constraints: 19638
248.16/248.84 c #Conflicts: 331000 | #Constraints: 20638
248.16/248.84 c #Conflicts: 332000 | #Constraints: 21638
248.16/248.84 c #Conflicts: 333000 | #Constraints: 22638
248.16/248.84 c INPROCESSING
248.16/248.84 c GARBAGE COLLECT
248.16/248.84 c #Conflicts: 334000 | #Constraints: 12233
248.16/248.84 c #Conflicts: 335000 | #Constraints: 13233
248.16/248.84 c #Conflicts: 336000 | #Constraints: 14233
248.16/248.84 c #Conflicts: 337000 | #Constraints: 15233
248.16/248.84 c #Conflicts: 338000 | #Constraints: 16233
248.16/248.84 c #Conflicts: 339000 | #Constraints: 17233
248.16/248.84 c #Conflicts: 340000 | #Constraints: 18233
248.16/248.84 c #Conflicts: 341000 | #Constraints: 19233
248.16/248.84 c #Conflicts: 342000 | #Constraints: 20233
248.16/248.84 c #Conflicts: 343000 | #Constraints: 21233
248.16/248.84 c #Conflicts: 344000 | #Constraints: 22233
248.16/248.84 c #Conflicts: 345000 | #Constraints: 23233
248.16/248.84 c INPROCESSING
248.16/248.84 c GARBAGE COLLECT
248.16/248.84 c #Conflicts: 346000 | #Constraints: 12632
248.16/248.84 c #Conflicts: 347000 | #Constraints: 13632
248.16/248.84 c #Conflicts: 348000 | #Constraints: 14632
248.16/248.84 c #Conflicts: 349000 | #Constraints: 15632
248.16/248.84 c #Conflicts: 350000 | #Constraints: 16632
248.16/248.84 c #Conflicts: 351000 | #Constraints: 17632
248.16/248.84 c #Conflicts: 352000 | #Constraints: 18632
248.16/248.84 c #Conflicts: 353000 | #Constraints: 19632
248.16/248.84 c #Conflicts: 354000 | #Constraints: 20632
248.16/248.84 c #Conflicts: 355000 | #Constraints: 21632
248.16/248.84 c #Conflicts: 356000 | #Constraints: 22632
248.16/248.84 c #Conflicts: 357000 | #Constraints: 23632
248.16/248.84 c INPROCESSING
248.16/248.84 c GARBAGE COLLECT
248.16/248.84 c #Conflicts: 358000 | #Constraints: 12833
248.16/248.84 c #Conflicts: 359000 | #Constraints: 13833
248.16/248.84 c #Conflicts: 360000 | #Constraints: 14833
248.16/248.84 c #Conflicts: 361000 | #Constraints: 15833
248.16/248.84 c #Conflicts: 362000 | #Constraints: 16833
248.16/248.84 c #Conflicts: 363000 | #Constraints: 17833
248.16/248.84 c #Conflicts: 364000 | #Constraints: 18833
248.16/248.84 c #Conflicts: 365000 | #Constraints: 19833
248.16/248.84 c #Conflicts: 366000 | #Constraints: 20833
248.16/248.84 c #Conflicts: 367000 | #Constraints: 21833
248.16/248.84 c #Conflicts: 368000 | #Constraints: 22833
248.16/248.84 c #Conflicts: 369000 | #Constraints: 23833
248.16/248.84 c INPROCESSING
248.16/248.84 c GARBAGE COLLECT
248.16/248.84 c #Conflicts: 370000 | #Constraints: 12835
248.16/248.84 c #Conflicts: 371000 | #Constraints: 13835
248.16/248.84 c #Conflicts: 372000 | #Constraints: 14835
248.16/248.84 c #Conflicts: 373000 | #Constraints: 15835
248.16/248.84 c #Conflicts: 374000 | #Constraints: 16835
248.16/248.84 c #Conflicts: 375000 | #Constraints: 17835
248.16/248.84 c #Conflicts: 376000 | #Constraints: 18835
248.16/248.84 c #Conflicts: 377000 | #Constraints: 19835
248.16/248.84 c #Conflicts: 378000 | #Constraints: 20835
248.16/248.84 c #Conflicts: 379000 | #Constraints: 21835
248.16/248.84 c #Conflicts: 380000 | #Constraints: 22835
248.16/248.84 c #Conflicts: 381000 | #Constraints: 23835
248.16/248.84 c INPROCESSING
248.16/248.84 c GARBAGE COLLECT
248.16/248.84 c #Conflicts: 382000 | #Constraints: 12633
248.16/248.84 c #Conflicts: 383000 | #Constraints: 13633
321.96/322.86 c #Conflicts: 384000 | #Constraints: 14633
321.96/322.86 c #Conflicts: 385000 | #Constraints: 15633
321.96/322.86 c #Conflicts: 386000 | #Constraints: 16633
321.96/322.86 c #Conflicts: 387000 | #Constraints: 17633
321.96/322.86 c #Conflicts: 388000 | #Constraints: 18633
321.96/322.86 c #Conflicts: 389000 | #Constraints: 19633
321.96/322.86 c #Conflicts: 390000 | #Constraints: 20633
321.96/322.86 c #Conflicts: 391000 | #Constraints: 21633
321.96/322.86 c #Conflicts: 392000 | #Constraints: 22633
321.96/322.86 c #Conflicts: 393000 | #Constraints: 23633
321.96/322.86 c #Conflicts: 394000 | #Constraints: 24633
321.96/322.86 c INPROCESSING
321.96/322.86 c GARBAGE COLLECT
321.96/322.86 c #Conflicts: 395000 | #Constraints: 13235
321.96/322.86 c #Conflicts: 396000 | #Constraints: 14235
321.96/322.86 c #Conflicts: 397000 | #Constraints: 15235
321.96/322.86 c #Conflicts: 398000 | #Constraints: 16235
321.96/322.86 c #Conflicts: 399000 | #Constraints: 17235
321.96/322.86 c #Conflicts: 400000 | #Constraints: 18235
321.96/322.86 c #Conflicts: 401000 | #Constraints: 19235
321.96/322.86 c #Conflicts: 402000 | #Constraints: 20235
321.96/322.86 c #Conflicts: 403000 | #Constraints: 21235
321.96/322.86 c #Conflicts: 404000 | #Constraints: 22235
321.96/322.86 c #Conflicts: 405000 | #Constraints: 23235
321.96/322.86 c #Conflicts: 406000 | #Constraints: 24235
321.96/322.86 c #Conflicts: 407000 | #Constraints: 25235
321.96/322.86 c INPROCESSING
321.96/322.86 c GARBAGE COLLECT
321.96/322.86 c #Conflicts: 408000 | #Constraints: 13636
321.96/322.86 c #Conflicts: 409000 | #Constraints: 14636
321.96/322.86 c #Conflicts: 410000 | #Constraints: 15636
321.96/322.86 c #Conflicts: 411000 | #Constraints: 16636
321.96/322.86 c #Conflicts: 412000 | #Constraints: 17636
321.96/322.86 c #Conflicts: 413000 | #Constraints: 18636
321.96/322.86 c #Conflicts: 414000 | #Constraints: 19636
321.96/322.86 c #Conflicts: 415000 | #Constraints: 20636
321.96/322.86 c #Conflicts: 416000 | #Constraints: 21636
321.96/322.86 c #Conflicts: 417000 | #Constraints: 22636
321.96/322.86 c #Conflicts: 418000 | #Constraints: 23636
321.96/322.86 c #Conflicts: 419000 | #Constraints: 24636
321.96/322.86 c #Conflicts: 420000 | #Constraints: 25636
321.96/322.86 c INPROCESSING
321.96/322.86 c GARBAGE COLLECT
321.96/322.86 c #Conflicts: 421000 | #Constraints: 13836
321.96/322.86 c #Conflicts: 422000 | #Constraints: 14836
321.96/322.86 c #Conflicts: 423000 | #Constraints: 15836
321.96/322.86 c #Conflicts: 424000 | #Constraints: 16836
321.96/322.86 c #Conflicts: 425000 | #Constraints: 17836
321.96/322.86 c #Conflicts: 426000 | #Constraints: 18836
321.96/322.86 c #Conflicts: 427000 | #Constraints: 19836
321.96/322.86 c #Conflicts: 428000 | #Constraints: 20836
321.96/322.86 c #Conflicts: 429000 | #Constraints: 21836
321.96/322.86 c #Conflicts: 430000 | #Constraints: 22836
321.96/322.86 c #Conflicts: 431000 | #Constraints: 23836
321.96/322.86 c #Conflicts: 432000 | #Constraints: 24836
321.96/322.86 c #Conflicts: 433000 | #Constraints: 25836
321.96/322.86 c INPROCESSING
321.96/322.86 c GARBAGE COLLECT
321.96/322.86 c #Conflicts: 434000 | #Constraints: 13838
321.96/322.86 c #Conflicts: 435000 | #Constraints: 14838
321.96/322.86 c #Conflicts: 436000 | #Constraints: 15838
321.96/322.86 c #Conflicts: 437000 | #Constraints: 16838
321.96/322.86 c #Conflicts: 438000 | #Constraints: 17838
321.96/322.86 c #Conflicts: 439000 | #Constraints: 18838
321.96/322.86 c #Conflicts: 440000 | #Constraints: 19838
321.96/322.86 c #Conflicts: 441000 | #Constraints: 20838
321.96/322.86 c #Conflicts: 442000 | #Constraints: 21838
321.96/322.86 c #Conflicts: 443000 | #Constraints: 22838
321.96/322.86 c #Conflicts: 444000 | #Constraints: 23838
321.96/322.86 c #Conflicts: 445000 | #Constraints: 24838
321.96/322.86 c #Conflicts: 446000 | #Constraints: 25838
321.96/322.86 c INPROCESSING
321.96/322.86 c GARBAGE COLLECT
321.96/322.86 c #Conflicts: 447000 | #Constraints: 13640
321.96/322.86 c #Conflicts: 448000 | #Constraints: 14640
321.96/322.86 c #Conflicts: 449000 | #Constraints: 15640
321.96/322.86 c #Conflicts: 450000 | #Constraints: 16640
321.96/322.86 c #Conflicts: 451000 | #Constraints: 17640
321.96/322.86 c #Conflicts: 452000 | #Constraints: 18640
321.96/322.86 c #Conflicts: 453000 | #Constraints: 19640
321.96/322.86 c #Conflicts: 454000 | #Constraints: 20640
321.96/322.86 c #Conflicts: 455000 | #Constraints: 21640
321.96/322.86 c #Conflicts: 456000 | #Constraints: 22640
321.96/322.86 c #Conflicts: 457000 | #Constraints: 23640
321.96/322.86 c #Conflicts: 458000 | #Constraints: 24640
321.96/322.86 c #Conflicts: 459000 | #Constraints: 25640
404.63/405.78 c #Conflicts: 460000 | #Constraints: 26640
404.63/405.78 c INPROCESSING
404.63/405.78 c GARBAGE COLLECT
404.63/405.78 c #Conflicts: 461000 | #Constraints: 14241
404.63/405.78 c #Conflicts: 462000 | #Constraints: 15241
404.63/405.78 c #Conflicts: 463000 | #Constraints: 16241
404.63/405.78 c #Conflicts: 464000 | #Constraints: 17241
404.63/405.78 c #Conflicts: 465000 | #Constraints: 18241
404.63/405.78 c #Conflicts: 466000 | #Constraints: 19241
404.63/405.78 c #Conflicts: 467000 | #Constraints: 20241
404.63/405.78 c #Conflicts: 468000 | #Constraints: 21241
404.63/405.78 c #Conflicts: 469000 | #Constraints: 22241
404.63/405.78 c #Conflicts: 470000 | #Constraints: 23241
404.63/405.78 c #Conflicts: 471000 | #Constraints: 24241
404.63/405.78 c #Conflicts: 472000 | #Constraints: 25241
404.63/405.78 c #Conflicts: 473000 | #Constraints: 26241
404.63/405.78 c #Conflicts: 474000 | #Constraints: 27241
404.63/405.78 c INPROCESSING
404.63/405.78 c GARBAGE COLLECT
404.63/405.78 c #Conflicts: 475000 | #Constraints: 14642
404.63/405.78 c #Conflicts: 476000 | #Constraints: 15642
404.63/405.78 c #Conflicts: 477000 | #Constraints: 16642
404.63/405.78 c #Conflicts: 478000 | #Constraints: 17642
404.63/405.78 c #Conflicts: 479000 | #Constraints: 18642
404.63/405.78 c #Conflicts: 480000 | #Constraints: 19642
404.63/405.78 c #Conflicts: 481000 | #Constraints: 20642
404.63/405.78 c #Conflicts: 482000 | #Constraints: 21642
404.63/405.78 c #Conflicts: 483000 | #Constraints: 22642
404.63/405.78 c #Conflicts: 484000 | #Constraints: 23642
404.63/405.78 c #Conflicts: 485000 | #Constraints: 24642
404.63/405.78 c #Conflicts: 486000 | #Constraints: 25642
404.63/405.78 c #Conflicts: 487000 | #Constraints: 26642
404.63/405.78 c #Conflicts: 488000 | #Constraints: 27642
404.63/405.78 c INPROCESSING
404.63/405.78 c GARBAGE COLLECT
404.63/405.78 c #Conflicts: 489000 | #Constraints: 14841
404.63/405.78 c #Conflicts: 490000 | #Constraints: 15841
404.63/405.78 c #Conflicts: 491000 | #Constraints: 16841
404.63/405.78 c #Conflicts: 492000 | #Constraints: 17841
404.63/405.78 c #Conflicts: 493000 | #Constraints: 18841
404.63/405.78 c #Conflicts: 494000 | #Constraints: 19841
404.63/405.78 c #Conflicts: 495000 | #Constraints: 20841
404.63/405.78 c #Conflicts: 496000 | #Constraints: 21841
404.63/405.78 c #Conflicts: 497000 | #Constraints: 22841
404.63/405.78 c #Conflicts: 498000 | #Constraints: 23841
404.63/405.78 c #Conflicts: 499000 | #Constraints: 24841
404.63/405.78 c #Conflicts: 500000 | #Constraints: 25841
404.63/405.78 c #Conflicts: 501000 | #Constraints: 26841
404.63/405.78 c #Conflicts: 502000 | #Constraints: 27841
404.63/405.78 c INPROCESSING
404.63/405.78 c GARBAGE COLLECT
404.63/405.78 c #Conflicts: 503000 | #Constraints: 14837
404.63/405.78 c #Conflicts: 504000 | #Constraints: 15837
404.63/405.78 c #Conflicts: 505000 | #Constraints: 16837
404.63/405.78 c #Conflicts: 506000 | #Constraints: 17837
404.63/405.78 c #Conflicts: 507000 | #Constraints: 18837
404.63/405.78 c #Conflicts: 508000 | #Constraints: 19837
404.63/405.78 c #Conflicts: 509000 | #Constraints: 20837
404.63/405.78 c #Conflicts: 510000 | #Constraints: 21837
404.63/405.78 c #Conflicts: 511000 | #Constraints: 22837
404.63/405.78 c #Conflicts: 512000 | #Constraints: 23837
404.63/405.78 c #Conflicts: 513000 | #Constraints: 24837
404.63/405.78 c #Conflicts: 514000 | #Constraints: 25837
404.63/405.78 c #Conflicts: 515000 | #Constraints: 26837
404.63/405.78 c #Conflicts: 516000 | #Constraints: 27837
404.63/405.78 c INPROCESSING
404.63/405.78 c GARBAGE COLLECT
404.63/405.78 c #Conflicts: 517000 | #Constraints: 14635
404.63/405.78 c #Conflicts: 518000 | #Constraints: 15635
404.63/405.78 c #Conflicts: 519000 | #Constraints: 16635
404.63/405.78 c #Conflicts: 520000 | #Constraints: 17635
404.63/405.78 c #Conflicts: 521000 | #Constraints: 18635
404.63/405.78 c #Conflicts: 522000 | #Constraints: 19635
404.63/405.78 c #Conflicts: 523000 | #Constraints: 20635
404.63/405.78 c #Conflicts: 524000 | #Constraints: 21635
404.63/405.78 c #Conflicts: 525000 | #Constraints: 22635
404.63/405.78 c #Conflicts: 526000 | #Constraints: 23635
404.63/405.78 c #Conflicts: 527000 | #Constraints: 24635
404.63/405.78 c #Conflicts: 528000 | #Constraints: 25635
404.63/405.78 c #Conflicts: 529000 | #Constraints: 26635
404.63/405.78 c #Conflicts: 530000 | #Constraints: 27635
404.63/405.78 c #Conflicts: 531000 | #Constraints: 28635
404.63/405.78 c INPROCESSING
404.63/405.78 c GARBAGE COLLECT
404.63/405.78 c #Conflicts: 532000 | #Constraints: 15237
404.63/405.78 c #Conflicts: 533000 | #Constraints: 16237
404.63/405.78 c #Conflicts: 534000 | #Constraints: 17237
483.04/484.34 c #Conflicts: 535000 | #Constraints: 18237
483.04/484.34 c #Conflicts: 536000 | #Constraints: 19237
483.04/484.34 c #Conflicts: 537000 | #Constraints: 20237
483.04/484.34 c #Conflicts: 538000 | #Constraints: 21237
483.04/484.34 c #Conflicts: 539000 | #Constraints: 22237
483.04/484.34 c #Conflicts: 540000 | #Constraints: 23237
483.04/484.34 c #Conflicts: 541000 | #Constraints: 24237
483.04/484.34 c #Conflicts: 542000 | #Constraints: 25237
483.04/484.34 c #Conflicts: 543000 | #Constraints: 26237
483.04/484.34 c #Conflicts: 544000 | #Constraints: 27237
483.04/484.34 c #Conflicts: 545000 | #Constraints: 28237
483.04/484.34 c #Conflicts: 546000 | #Constraints: 29237
483.04/484.34 c INPROCESSING
483.04/484.34 c GARBAGE COLLECT
483.04/484.34 c #Conflicts: 547000 | #Constraints: 15636
483.04/484.34 c #Conflicts: 548000 | #Constraints: 16636
483.04/484.34 c #Conflicts: 549000 | #Constraints: 17636
483.04/484.34 c #Conflicts: 550000 | #Constraints: 18636
483.04/484.34 c #Conflicts: 551000 | #Constraints: 19636
483.04/484.34 c #Conflicts: 552000 | #Constraints: 20636
483.04/484.34 c #Conflicts: 553000 | #Constraints: 21636
483.04/484.34 c #Conflicts: 554000 | #Constraints: 22636
483.04/484.34 c #Conflicts: 555000 | #Constraints: 23636
483.04/484.34 c #Conflicts: 556000 | #Constraints: 24636
483.04/484.34 c #Conflicts: 557000 | #Constraints: 25636
483.04/484.34 c #Conflicts: 558000 | #Constraints: 26636
483.04/484.34 c #Conflicts: 559000 | #Constraints: 27636
483.04/484.34 c #Conflicts: 560000 | #Constraints: 28636
483.04/484.34 c #Conflicts: 561000 | #Constraints: 29636
483.04/484.34 c INPROCESSING
483.04/484.34 c GARBAGE COLLECT
483.04/484.34 c #Conflicts: 562000 | #Constraints: 15835
483.04/484.34 c #Conflicts: 563000 | #Constraints: 16835
483.04/484.34 c #Conflicts: 564000 | #Constraints: 17835
483.04/484.34 c #Conflicts: 565000 | #Constraints: 18835
483.04/484.34 c #Conflicts: 566000 | #Constraints: 19835
483.04/484.34 c #Conflicts: 567000 | #Constraints: 20835
483.04/484.34 c #Conflicts: 568000 | #Constraints: 21835
483.04/484.34 c #Conflicts: 569000 | #Constraints: 22835
483.04/484.34 c #Conflicts: 570000 | #Constraints: 23835
483.04/484.34 c #Conflicts: 571000 | #Constraints: 24835
483.04/484.34 c #Conflicts: 572000 | #Constraints: 25835
483.04/484.34 c #Conflicts: 573000 | #Constraints: 26835
483.04/484.34 c #Conflicts: 574000 | #Constraints: 27835
483.04/484.34 c #Conflicts: 575000 | #Constraints: 28835
483.04/484.34 c #Conflicts: 576000 | #Constraints: 29835
483.04/484.34 c INPROCESSING
483.04/484.34 c GARBAGE COLLECT
483.04/484.34 c #Conflicts: 577000 | #Constraints: 15835
483.04/484.34 c #Conflicts: 578000 | #Constraints: 16835
483.04/484.34 c #Conflicts: 579000 | #Constraints: 17835
483.04/484.34 c #Conflicts: 580000 | #Constraints: 18835
483.04/484.34 c #Conflicts: 581000 | #Constraints: 19835
483.04/484.34 c #Conflicts: 582000 | #Constraints: 20835
483.04/484.34 c #Conflicts: 583000 | #Constraints: 21835
483.04/484.34 c #Conflicts: 584000 | #Constraints: 22835
483.04/484.34 c #Conflicts: 585000 | #Constraints: 23835
483.04/484.34 c #Conflicts: 586000 | #Constraints: 24835
483.04/484.34 c #Conflicts: 587000 | #Constraints: 25835
483.04/484.34 c #Conflicts: 588000 | #Constraints: 26835
483.04/484.34 c #Conflicts: 589000 | #Constraints: 27835
483.04/484.34 c #Conflicts: 590000 | #Constraints: 28835
483.04/484.34 c #Conflicts: 591000 | #Constraints: 29835
483.04/484.34 c INPROCESSING
483.04/484.34 c GARBAGE COLLECT
483.04/484.34 c #Conflicts: 592000 | #Constraints: 15634
483.04/484.34 c #Conflicts: 593000 | #Constraints: 16634
483.04/484.34 c #Conflicts: 594000 | #Constraints: 17634
483.04/484.34 c #Conflicts: 595000 | #Constraints: 18634
483.04/484.34 c #Conflicts: 596000 | #Constraints: 19634
483.04/484.34 c #Conflicts: 597000 | #Constraints: 20634
483.04/484.34 c #Conflicts: 598000 | #Constraints: 21634
483.04/484.34 c #Conflicts: 599000 | #Constraints: 22634
483.04/484.34 c #Conflicts: 600000 | #Constraints: 23634
483.04/484.34 c #Conflicts: 601000 | #Constraints: 24634
483.04/484.34 c #Conflicts: 602000 | #Constraints: 25634
483.04/484.34 c #Conflicts: 603000 | #Constraints: 26634
483.04/484.34 c #Conflicts: 604000 | #Constraints: 27634
483.04/484.34 c #Conflicts: 605000 | #Constraints: 28634
483.04/484.34 c #Conflicts: 606000 | #Constraints: 29634
483.04/484.34 c #Conflicts: 607000 | #Constraints: 30634
483.04/484.34 c INPROCESSING
483.04/484.34 c GARBAGE COLLECT
483.04/484.34 c #Conflicts: 608000 | #Constraints: 16237
483.04/484.34 c #Conflicts: 609000 | #Constraints: 17237
570.22/571.79 c #Conflicts: 610000 | #Constraints: 18237
570.22/571.79 c #Conflicts: 611000 | #Constraints: 19237
570.22/571.79 c #Conflicts: 612000 | #Constraints: 20237
570.22/571.79 c #Conflicts: 613000 | #Constraints: 21237
570.22/571.79 c #Conflicts: 614000 | #Constraints: 22237
570.22/571.79 c #Conflicts: 615000 | #Constraints: 23237
570.22/571.79 c #Conflicts: 616000 | #Constraints: 24237
570.22/571.79 c #Conflicts: 617000 | #Constraints: 25237
570.22/571.79 c #Conflicts: 618000 | #Constraints: 26237
570.22/571.79 c #Conflicts: 619000 | #Constraints: 27237
570.22/571.79 c #Conflicts: 620000 | #Constraints: 28237
570.22/571.79 c #Conflicts: 621000 | #Constraints: 29237
570.22/571.79 c #Conflicts: 622000 | #Constraints: 30237
570.22/571.79 c #Conflicts: 623000 | #Constraints: 31237
570.22/571.79 c INPROCESSING
570.22/571.79 c GARBAGE COLLECT
570.22/571.79 c #Conflicts: 624000 | #Constraints: 16635
570.22/571.79 c #Conflicts: 625000 | #Constraints: 17635
570.22/571.79 c #Conflicts: 626000 | #Constraints: 18635
570.22/571.79 c #Conflicts: 627000 | #Constraints: 19635
570.22/571.79 c #Conflicts: 628000 | #Constraints: 20635
570.22/571.79 c #Conflicts: 629000 | #Constraints: 21635
570.22/571.79 c #Conflicts: 630000 | #Constraints: 22635
570.22/571.79 c #Conflicts: 631000 | #Constraints: 23635
570.22/571.79 c #Conflicts: 632000 | #Constraints: 24635
570.22/571.79 c #Conflicts: 633000 | #Constraints: 25635
570.22/571.79 c #Conflicts: 634000 | #Constraints: 26635
570.22/571.79 c #Conflicts: 635000 | #Constraints: 27635
570.22/571.79 c #Conflicts: 636000 | #Constraints: 28635
570.22/571.79 c #Conflicts: 637000 | #Constraints: 29635
570.22/571.79 c #Conflicts: 638000 | #Constraints: 30635
570.22/571.79 c #Conflicts: 639000 | #Constraints: 31635
570.22/571.79 c INPROCESSING
570.22/571.79 c GARBAGE COLLECT
570.22/571.79 c #Conflicts: 640000 | #Constraints: 16835
570.22/571.79 c #Conflicts: 641000 | #Constraints: 17835
570.22/571.79 c #Conflicts: 642000 | #Constraints: 18835
570.22/571.79 c #Conflicts: 643000 | #Constraints: 19835
570.22/571.79 c #Conflicts: 644000 | #Constraints: 20835
570.22/571.79 c #Conflicts: 645000 | #Constraints: 21835
570.22/571.79 c #Conflicts: 646000 | #Constraints: 22835
570.22/571.79 c #Conflicts: 647000 | #Constraints: 23835
570.22/571.79 c #Conflicts: 648000 | #Constraints: 24835
570.22/571.79 c #Conflicts: 649000 | #Constraints: 25835
570.22/571.79 c #Conflicts: 650000 | #Constraints: 26835
570.22/571.79 c #Conflicts: 651000 | #Constraints: 27835
570.22/571.79 c #Conflicts: 652000 | #Constraints: 28835
570.22/571.79 c #Conflicts: 653000 | #Constraints: 29835
570.22/571.79 c #Conflicts: 654000 | #Constraints: 30835
570.22/571.79 c #Conflicts: 655000 | #Constraints: 31835
570.22/571.79 c INPROCESSING
570.22/571.79 c GARBAGE COLLECT
570.22/571.79 c #Conflicts: 656000 | #Constraints: 16836
570.22/571.79 c #Conflicts: 657000 | #Constraints: 17836
570.22/571.79 c #Conflicts: 658000 | #Constraints: 18836
570.22/571.79 c #Conflicts: 659000 | #Constraints: 19836
570.22/571.79 c #Conflicts: 660000 | #Constraints: 20836
570.22/571.79 c #Conflicts: 661000 | #Constraints: 21836
570.22/571.79 c #Conflicts: 662000 | #Constraints: 22836
570.22/571.79 c #Conflicts: 663000 | #Constraints: 23836
570.22/571.79 c #Conflicts: 664000 | #Constraints: 24836
570.22/571.79 c #Conflicts: 665000 | #Constraints: 25836
570.22/571.79 c #Conflicts: 666000 | #Constraints: 26836
570.22/571.79 c #Conflicts: 667000 | #Constraints: 27836
570.22/571.79 c #Conflicts: 668000 | #Constraints: 28836
570.22/571.79 c #Conflicts: 669000 | #Constraints: 29836
570.22/571.79 c #Conflicts: 670000 | #Constraints: 30836
570.22/571.79 c #Conflicts: 671000 | #Constraints: 31836
570.22/571.79 c INPROCESSING
570.22/571.79 c GARBAGE COLLECT
570.22/571.79 c #Conflicts: 672000 | #Constraints: 16636
570.22/571.79 c #Conflicts: 673000 | #Constraints: 17636
570.22/571.79 c #Conflicts: 674000 | #Constraints: 18636
570.22/571.79 c #Conflicts: 675000 | #Constraints: 19636
570.22/571.79 c #Conflicts: 676000 | #Constraints: 20636
570.22/571.79 c #Conflicts: 677000 | #Constraints: 21636
570.22/571.79 c #Conflicts: 678000 | #Constraints: 22636
570.22/571.79 c #Conflicts: 679000 | #Constraints: 23636
570.22/571.79 c #Conflicts: 680000 | #Constraints: 24636
570.22/571.79 c #Conflicts: 681000 | #Constraints: 25636
570.22/571.79 c #Conflicts: 682000 | #Constraints: 26636
570.22/571.79 c #Conflicts: 683000 | #Constraints: 27636
570.22/571.79 c #Conflicts: 684000 | #Constraints: 28636
570.22/571.79 c #Conflicts: 685000 | #Constraints: 29636
570.22/571.79 c #Conflicts: 686000 | #Constraints: 30636
676.36/678.18 c #Conflicts: 687000 | #Constraints: 31636
676.36/678.18 c #Conflicts: 688000 | #Constraints: 32636
676.36/678.18 c INPROCESSING
676.36/678.18 c GARBAGE COLLECT
676.36/678.18 c #Conflicts: 689000 | #Constraints: 17235
676.36/678.18 c #Conflicts: 690000 | #Constraints: 18235
676.36/678.18 c #Conflicts: 691000 | #Constraints: 19235
676.36/678.18 c #Conflicts: 692000 | #Constraints: 20235
676.36/678.18 c #Conflicts: 693000 | #Constraints: 21235
676.36/678.18 c #Conflicts: 694000 | #Constraints: 22235
676.36/678.18 c #Conflicts: 695000 | #Constraints: 23235
676.36/678.18 c #Conflicts: 696000 | #Constraints: 24235
676.36/678.18 c #Conflicts: 697000 | #Constraints: 25235
676.36/678.18 c #Conflicts: 698000 | #Constraints: 26235
676.36/678.18 c #Conflicts: 699000 | #Constraints: 27235
676.36/678.18 c #Conflicts: 700000 | #Constraints: 28235
676.36/678.18 c #Conflicts: 701000 | #Constraints: 29235
676.36/678.18 c #Conflicts: 702000 | #Constraints: 30235
676.36/678.18 c #Conflicts: 703000 | #Constraints: 31235
676.36/678.18 c #Conflicts: 704000 | #Constraints: 32235
676.36/678.18 c #Conflicts: 705000 | #Constraints: 33235
676.36/678.18 c INPROCESSING
676.36/678.18 c GARBAGE COLLECT
676.36/678.18 c #Conflicts: 706000 | #Constraints: 17633
676.36/678.18 c #Conflicts: 707000 | #Constraints: 18633
676.36/678.18 c #Conflicts: 708000 | #Constraints: 19633
676.36/678.18 c #Conflicts: 709000 | #Constraints: 20633
676.36/678.18 c #Conflicts: 710000 | #Constraints: 21633
676.36/678.18 c #Conflicts: 711000 | #Constraints: 22633
676.36/678.18 c #Conflicts: 712000 | #Constraints: 23633
676.36/678.18 c #Conflicts: 713000 | #Constraints: 24633
676.36/678.18 c #Conflicts: 714000 | #Constraints: 25633
676.36/678.18 c #Conflicts: 715000 | #Constraints: 26633
676.36/678.18 c #Conflicts: 716000 | #Constraints: 27633
676.36/678.18 c #Conflicts: 717000 | #Constraints: 28633
676.36/678.18 c #Conflicts: 718000 | #Constraints: 29633
676.36/678.18 c #Conflicts: 719000 | #Constraints: 30633
676.36/678.18 c #Conflicts: 720000 | #Constraints: 31633
676.36/678.18 c #Conflicts: 721000 | #Constraints: 32633
676.36/678.18 c #Conflicts: 722000 | #Constraints: 33633
676.36/678.18 c INPROCESSING
676.36/678.18 c GARBAGE COLLECT
676.36/678.18 c #Conflicts: 723000 | #Constraints: 17836
676.36/678.18 c #Conflicts: 724000 | #Constraints: 18836
676.36/678.18 c #Conflicts: 725000 | #Constraints: 19836
676.36/678.18 c #Conflicts: 726000 | #Constraints: 20836
676.36/678.18 c #Conflicts: 727000 | #Constraints: 21836
676.36/678.18 c #Conflicts: 728000 | #Constraints: 22836
676.36/678.18 c #Conflicts: 729000 | #Constraints: 23836
676.36/678.18 c #Conflicts: 730000 | #Constraints: 24836
676.36/678.18 c #Conflicts: 731000 | #Constraints: 25836
676.36/678.18 c #Conflicts: 732000 | #Constraints: 26836
676.36/678.18 c #Conflicts: 733000 | #Constraints: 27836
676.36/678.18 c #Conflicts: 734000 | #Constraints: 28836
676.36/678.18 c #Conflicts: 735000 | #Constraints: 29836
676.36/678.18 c #Conflicts: 736000 | #Constraints: 30836
676.36/678.18 c #Conflicts: 737000 | #Constraints: 31836
676.36/678.18 c #Conflicts: 738000 | #Constraints: 32836
676.36/678.18 c #Conflicts: 739000 | #Constraints: 33836
676.36/678.18 c INPROCESSING
676.36/678.18 c GARBAGE COLLECT
676.36/678.18 c #Conflicts: 740000 | #Constraints: 17838
676.36/678.18 c #Conflicts: 741000 | #Constraints: 18838
676.36/678.18 c #Conflicts: 742000 | #Constraints: 19838
676.36/678.18 c #Conflicts: 743000 | #Constraints: 20838
676.36/678.18 c #Conflicts: 744000 | #Constraints: 21838
676.36/678.18 c #Conflicts: 745000 | #Constraints: 22838
676.36/678.18 c #Conflicts: 746000 | #Constraints: 23838
676.36/678.18 c #Conflicts: 747000 | #Constraints: 24838
676.36/678.18 c #Conflicts: 748000 | #Constraints: 25838
676.36/678.18 c #Conflicts: 749000 | #Constraints: 26838
676.36/678.18 c #Conflicts: 750000 | #Constraints: 27838
676.36/678.18 c #Conflicts: 751000 | #Constraints: 28838
676.36/678.18 c #Conflicts: 752000 | #Constraints: 29838
676.36/678.18 c #Conflicts: 753000 | #Constraints: 30838
676.36/678.18 c #Conflicts: 754000 | #Constraints: 31838
676.36/678.18 c #Conflicts: 755000 | #Constraints: 32838
676.36/678.18 c #Conflicts: 756000 | #Constraints: 33838
676.36/678.18 c INPROCESSING
676.36/678.18 c GARBAGE COLLECT
676.36/678.18 c #Conflicts: 757000 | #Constraints: 17634
676.36/678.18 c #Conflicts: 758000 | #Constraints: 18634
676.36/678.18 c #Conflicts: 759000 | #Constraints: 19634
676.36/678.18 c #Conflicts: 760000 | #Constraints: 20634
676.36/678.18 c #Conflicts: 761000 | #Constraints: 21634
782.11/784.19 c #Conflicts: 762000 | #Constraints: 22634
782.11/784.19 c #Conflicts: 763000 | #Constraints: 23634
782.11/784.19 c #Conflicts: 764000 | #Constraints: 24634
782.11/784.19 c #Conflicts: 765000 | #Constraints: 25634
782.11/784.19 c #Conflicts: 766000 | #Constraints: 26634
782.11/784.19 c #Conflicts: 767000 | #Constraints: 27634
782.11/784.19 c #Conflicts: 768000 | #Constraints: 28634
782.11/784.19 c #Conflicts: 769000 | #Constraints: 29634
782.11/784.19 c #Conflicts: 770000 | #Constraints: 30634
782.11/784.19 c #Conflicts: 771000 | #Constraints: 31634
782.11/784.19 c #Conflicts: 772000 | #Constraints: 32634
782.11/784.19 c #Conflicts: 773000 | #Constraints: 33634
782.11/784.19 c #Conflicts: 774000 | #Constraints: 34634
782.11/784.19 c INPROCESSING
782.11/784.19 c GARBAGE COLLECT
782.11/784.19 c #Conflicts: 775000 | #Constraints: 18234
782.11/784.19 c #Conflicts: 776000 | #Constraints: 19234
782.11/784.19 c #Conflicts: 777000 | #Constraints: 20234
782.11/784.19 c #Conflicts: 778000 | #Constraints: 21234
782.11/784.19 c #Conflicts: 779000 | #Constraints: 22234
782.11/784.19 c #Conflicts: 780000 | #Constraints: 23234
782.11/784.19 c #Conflicts: 781000 | #Constraints: 24234
782.11/784.19 c #Conflicts: 782000 | #Constraints: 25234
782.11/784.19 c #Conflicts: 783000 | #Constraints: 26234
782.11/784.19 c #Conflicts: 784000 | #Constraints: 27234
782.11/784.19 c #Conflicts: 785000 | #Constraints: 28234
782.11/784.19 c #Conflicts: 786000 | #Constraints: 29234
782.11/784.19 c #Conflicts: 787000 | #Constraints: 30234
782.11/784.19 c #Conflicts: 788000 | #Constraints: 31234
782.11/784.19 c #Conflicts: 789000 | #Constraints: 32234
782.11/784.19 c #Conflicts: 790000 | #Constraints: 33234
782.11/784.19 c #Conflicts: 791000 | #Constraints: 34234
782.11/784.19 c #Conflicts: 792000 | #Constraints: 35234
782.11/784.19 c INPROCESSING
782.11/784.19 c GARBAGE COLLECT
782.11/784.19 c #Conflicts: 793000 | #Constraints: 18636
782.11/784.19 c #Conflicts: 794000 | #Constraints: 19636
782.11/784.19 c #Conflicts: 795000 | #Constraints: 20636
782.11/784.19 c #Conflicts: 796000 | #Constraints: 21636
782.11/784.19 c #Conflicts: 797000 | #Constraints: 22636
782.11/784.19 c #Conflicts: 798000 | #Constraints: 23636
782.11/784.19 c #Conflicts: 799000 | #Constraints: 24636
782.11/784.19 c #Conflicts: 800000 | #Constraints: 25636
782.11/784.19 c #Conflicts: 801000 | #Constraints: 26636
782.11/784.19 c #Conflicts: 802000 | #Constraints: 27636
782.11/784.19 c #Conflicts: 803000 | #Constraints: 28636
782.11/784.19 c #Conflicts: 804000 | #Constraints: 29636
782.11/784.19 c #Conflicts: 805000 | #Constraints: 30636
782.11/784.19 c #Conflicts: 806000 | #Constraints: 31636
782.11/784.19 c #Conflicts: 807000 | #Constraints: 32636
782.11/784.19 c #Conflicts: 808000 | #Constraints: 33636
782.11/784.19 c #Conflicts: 809000 | #Constraints: 34636
782.11/784.19 c #Conflicts: 810000 | #Constraints: 35636
782.11/784.19 c INPROCESSING
782.11/784.19 c GARBAGE COLLECT
782.11/784.19 c #Conflicts: 811000 | #Constraints: 18834
782.11/784.19 c #Conflicts: 812000 | #Constraints: 19834
782.11/784.19 c #Conflicts: 813000 | #Constraints: 20834
782.11/784.19 c #Conflicts: 814000 | #Constraints: 21834
782.11/784.19 c #Conflicts: 815000 | #Constraints: 22834
782.11/784.19 c #Conflicts: 816000 | #Constraints: 23834
782.11/784.19 c #Conflicts: 817000 | #Constraints: 24834
782.11/784.19 c #Conflicts: 818000 | #Constraints: 25834
782.11/784.19 c #Conflicts: 819000 | #Constraints: 26834
782.11/784.19 c #Conflicts: 820000 | #Constraints: 27834
782.11/784.19 c #Conflicts: 821000 | #Constraints: 28834
782.11/784.19 c #Conflicts: 822000 | #Constraints: 29834
782.11/784.19 c #Conflicts: 823000 | #Constraints: 30834
782.11/784.19 c #Conflicts: 824000 | #Constraints: 31834
782.11/784.19 c #Conflicts: 825000 | #Constraints: 32834
782.11/784.19 c #Conflicts: 826000 | #Constraints: 33834
782.11/784.19 c #Conflicts: 827000 | #Constraints: 34834
782.11/784.19 c #Conflicts: 828000 | #Constraints: 35834
782.11/784.19 c INPROCESSING
782.11/784.19 c GARBAGE COLLECT
782.11/784.19 c #Conflicts: 829000 | #Constraints: 18838
782.11/784.19 c #Conflicts: 830000 | #Constraints: 19838
782.11/784.19 c #Conflicts: 831000 | #Constraints: 20838
782.11/784.19 c #Conflicts: 832000 | #Constraints: 21838
782.11/784.19 c #Conflicts: 833000 | #Constraints: 22838
782.11/784.19 c #Conflicts: 834000 | #Constraints: 23838
782.11/784.19 c #Conflicts: 835000 | #Constraints: 24838
782.11/784.19 c #Conflicts: 836000 | #Constraints: 25838
782.11/784.19 c #Conflicts: 837000 | #Constraints: 26838
890.13/892.45 c #Conflicts: 838000 | #Constraints: 27838
890.13/892.45 c #Conflicts: 839000 | #Constraints: 28838
890.13/892.45 c #Conflicts: 840000 | #Constraints: 29838
890.13/892.45 c #Conflicts: 841000 | #Constraints: 30838
890.13/892.45 c #Conflicts: 842000 | #Constraints: 31838
890.13/892.45 c #Conflicts: 843000 | #Constraints: 32838
890.13/892.45 c #Conflicts: 844000 | #Constraints: 33838
890.13/892.45 c #Conflicts: 845000 | #Constraints: 34838
890.13/892.45 c #Conflicts: 846000 | #Constraints: 35838
890.13/892.45 c INPROCESSING
890.13/892.45 c GARBAGE COLLECT
890.13/892.45 c #Conflicts: 847000 | #Constraints: 18637
890.13/892.45 c #Conflicts: 848000 | #Constraints: 19637
890.13/892.45 c #Conflicts: 849000 | #Constraints: 20637
890.13/892.45 c #Conflicts: 850000 | #Constraints: 21637
890.13/892.45 c #Conflicts: 851000 | #Constraints: 22637
890.13/892.45 c #Conflicts: 852000 | #Constraints: 23637
890.13/892.45 c #Conflicts: 853000 | #Constraints: 24637
890.13/892.45 c #Conflicts: 854000 | #Constraints: 25637
890.13/892.45 c #Conflicts: 855000 | #Constraints: 26637
890.13/892.45 c #Conflicts: 856000 | #Constraints: 27637
890.13/892.45 c #Conflicts: 857000 | #Constraints: 28637
890.13/892.45 c #Conflicts: 858000 | #Constraints: 29637
890.13/892.45 c #Conflicts: 859000 | #Constraints: 30637
890.13/892.45 c #Conflicts: 860000 | #Constraints: 31637
890.13/892.45 c #Conflicts: 861000 | #Constraints: 32637
890.13/892.45 c #Conflicts: 862000 | #Constraints: 33637
890.13/892.45 c #Conflicts: 863000 | #Constraints: 34637
890.13/892.45 c #Conflicts: 864000 | #Constraints: 35637
890.13/892.45 c #Conflicts: 865000 | #Constraints: 36637
890.13/892.45 c INPROCESSING
890.13/892.45 c GARBAGE COLLECT
890.13/892.45 c #Conflicts: 866000 | #Constraints: 19235
890.13/892.45 c #Conflicts: 867000 | #Constraints: 20235
890.13/892.45 c #Conflicts: 868000 | #Constraints: 21235
890.13/892.45 c #Conflicts: 869000 | #Constraints: 22235
890.13/892.45 c #Conflicts: 870000 | #Constraints: 23235
890.13/892.45 c #Conflicts: 871000 | #Constraints: 24235
890.13/892.45 c #Conflicts: 872000 | #Constraints: 25235
890.13/892.45 c #Conflicts: 873000 | #Constraints: 26235
890.13/892.45 c #Conflicts: 874000 | #Constraints: 27235
890.13/892.45 c #Conflicts: 875000 | #Constraints: 28235
890.13/892.45 c #Conflicts: 876000 | #Constraints: 29235
890.13/892.45 c #Conflicts: 877000 | #Constraints: 30235
890.13/892.45 c #Conflicts: 878000 | #Constraints: 31235
890.13/892.45 c #Conflicts: 879000 | #Constraints: 32235
890.13/892.45 c #Conflicts: 880000 | #Constraints: 33235
890.13/892.45 c #Conflicts: 881000 | #Constraints: 34235
890.13/892.45 c #Conflicts: 882000 | #Constraints: 35235
890.13/892.45 c #Conflicts: 883000 | #Constraints: 36235
890.13/892.45 c #Conflicts: 884000 | #Constraints: 37235
890.13/892.45 c INPROCESSING
890.13/892.45 c GARBAGE COLLECT
890.13/892.45 c #Conflicts: 885000 | #Constraints: 19631
890.13/892.45 c #Conflicts: 886000 | #Constraints: 20631
890.13/892.45 c #Conflicts: 887000 | #Constraints: 21631
890.13/892.45 c #Conflicts: 888000 | #Constraints: 22631
890.13/892.45 c #Conflicts: 889000 | #Constraints: 23631
890.13/892.45 c #Conflicts: 890000 | #Constraints: 24631
890.13/892.45 c #Conflicts: 891000 | #Constraints: 25631
890.13/892.45 c #Conflicts: 892000 | #Constraints: 26631
890.13/892.45 c #Conflicts: 893000 | #Constraints: 27631
890.13/892.45 c #Conflicts: 894000 | #Constraints: 28631
890.13/892.45 c #Conflicts: 895000 | #Constraints: 29631
890.13/892.45 c #Conflicts: 896000 | #Constraints: 30631
890.13/892.45 c #Conflicts: 897000 | #Constraints: 31631
890.13/892.45 c #Conflicts: 898000 | #Constraints: 32631
890.13/892.45 c #Conflicts: 899000 | #Constraints: 33631
890.13/892.45 c #Conflicts: 900000 | #Constraints: 34631
890.13/892.45 c #Conflicts: 901000 | #Constraints: 35631
890.13/892.45 c #Conflicts: 902000 | #Constraints: 36631
890.13/892.45 c #Conflicts: 903000 | #Constraints: 37631
890.13/892.45 c INPROCESSING
890.13/892.45 c GARBAGE COLLECT
890.13/892.45 c #Conflicts: 904000 | #Constraints: 19834
890.13/892.45 c #Conflicts: 905000 | #Constraints: 20834
890.13/892.45 c #Conflicts: 906000 | #Constraints: 21834
890.13/892.45 c #Conflicts: 907000 | #Constraints: 22834
890.13/892.45 c #Conflicts: 908000 | #Constraints: 23834
890.13/892.45 c #Conflicts: 909000 | #Constraints: 24834
890.13/892.45 c #Conflicts: 910000 | #Constraints: 25834
890.13/892.45 c #Conflicts: 911000 | #Constraints: 26834
890.13/892.45 c #Conflicts: 912000 | #Constraints: 27834
890.13/892.45 c #Conflicts: 913000 | #Constraints: 28834
890.13/892.45 c #Conflicts: 914000 | #Constraints: 29834
1023.15/1025.80 c #Conflicts: 915000 | #Constraints: 30834
1023.15/1025.80 c #Conflicts: 916000 | #Constraints: 31834
1023.15/1025.80 c #Conflicts: 917000 | #Constraints: 32834
1023.15/1025.80 c #Conflicts: 918000 | #Constraints: 33834
1023.15/1025.80 c #Conflicts: 919000 | #Constraints: 34834
1023.15/1025.80 c #Conflicts: 920000 | #Constraints: 35834
1023.15/1025.80 c #Conflicts: 921000 | #Constraints: 36834
1023.15/1025.80 c #Conflicts: 922000 | #Constraints: 37834
1023.15/1025.80 c INPROCESSING
1023.15/1025.80 c GARBAGE COLLECT
1023.15/1025.80 c #Conflicts: 923000 | #Constraints: 19832
1023.15/1025.80 c #Conflicts: 924000 | #Constraints: 20832
1023.15/1025.80 c #Conflicts: 925000 | #Constraints: 21832
1023.15/1025.80 c #Conflicts: 926000 | #Constraints: 22832
1023.15/1025.80 c #Conflicts: 927000 | #Constraints: 23832
1023.15/1025.80 c #Conflicts: 928000 | #Constraints: 24832
1023.15/1025.80 c #Conflicts: 929000 | #Constraints: 25832
1023.15/1025.80 c #Conflicts: 930000 | #Constraints: 26832
1023.15/1025.80 c #Conflicts: 931000 | #Constraints: 27832
1023.15/1025.80 c #Conflicts: 932000 | #Constraints: 28832
1023.15/1025.80 c #Conflicts: 933000 | #Constraints: 29832
1023.15/1025.80 c #Conflicts: 934000 | #Constraints: 30832
1023.15/1025.80 c #Conflicts: 935000 | #Constraints: 31832
1023.15/1025.80 c #Conflicts: 936000 | #Constraints: 32832
1023.15/1025.80 c #Conflicts: 937000 | #Constraints: 33832
1023.15/1025.80 c #Conflicts: 938000 | #Constraints: 34832
1023.15/1025.80 c #Conflicts: 939000 | #Constraints: 35832
1023.15/1025.80 c #Conflicts: 940000 | #Constraints: 36832
1023.15/1025.80 c #Conflicts: 941000 | #Constraints: 37832
1023.15/1025.80 c INPROCESSING
1023.15/1025.80 c GARBAGE COLLECT
1023.15/1025.80 c #Conflicts: 942000 | #Constraints: 19637
1023.15/1025.80 c #Conflicts: 943000 | #Constraints: 20637
1023.15/1025.80 c #Conflicts: 944000 | #Constraints: 21637
1023.15/1025.80 c #Conflicts: 945000 | #Constraints: 22637
1023.15/1025.80 c #Conflicts: 946000 | #Constraints: 23637
1023.15/1025.80 c #Conflicts: 947000 | #Constraints: 24637
1023.15/1025.80 c #Conflicts: 948000 | #Constraints: 25637
1023.15/1025.80 c #Conflicts: 949000 | #Constraints: 26637
1023.15/1025.80 c #Conflicts: 950000 | #Constraints: 27637
1023.15/1025.80 c #Conflicts: 951000 | #Constraints: 28637
1023.15/1025.80 c #Conflicts: 952000 | #Constraints: 29637
1023.15/1025.80 c #Conflicts: 953000 | #Constraints: 30637
1023.15/1025.80 c #Conflicts: 954000 | #Constraints: 31637
1023.15/1025.80 c #Conflicts: 955000 | #Constraints: 32637
1023.15/1025.80 c #Conflicts: 956000 | #Constraints: 33637
1023.15/1025.80 c #Conflicts: 957000 | #Constraints: 34637
1023.15/1025.80 c #Conflicts: 958000 | #Constraints: 35637
1023.15/1025.80 c #Conflicts: 959000 | #Constraints: 36637
1023.15/1025.80 c #Conflicts: 960000 | #Constraints: 37637
1023.15/1025.80 c #Conflicts: 961000 | #Constraints: 38637
1023.15/1025.80 c INPROCESSING
1023.15/1025.80 c GARBAGE COLLECT
1023.15/1025.80 c #Conflicts: 962000 | #Constraints: 20239
1023.15/1025.80 c #Conflicts: 963000 | #Constraints: 21239
1023.15/1025.80 c #Conflicts: 964000 | #Constraints: 22239
1023.15/1025.80 c #Conflicts: 965000 | #Constraints: 23239
1023.15/1025.80 c #Conflicts: 966000 | #Constraints: 24239
1023.15/1025.80 c #Conflicts: 967000 | #Constraints: 25239
1023.15/1025.80 c #Conflicts: 968000 | #Constraints: 26239
1023.15/1025.80 c #Conflicts: 969000 | #Constraints: 27239
1023.15/1025.80 c #Conflicts: 970000 | #Constraints: 28239
1023.15/1025.80 c #Conflicts: 971000 | #Constraints: 29239
1023.15/1025.80 c #Conflicts: 972000 | #Constraints: 30239
1023.15/1025.80 c #Conflicts: 973000 | #Constraints: 31239
1023.15/1025.80 c #Conflicts: 974000 | #Constraints: 32239
1023.15/1025.80 c #Conflicts: 975000 | #Constraints: 33239
1023.15/1025.80 c #Conflicts: 976000 | #Constraints: 34239
1023.15/1025.80 c #Conflicts: 977000 | #Constraints: 35239
1023.15/1025.80 c #Conflicts: 978000 | #Constraints: 36239
1023.15/1025.80 c #Conflicts: 979000 | #Constraints: 37239
1023.15/1025.80 c #Conflicts: 980000 | #Constraints: 38239
1023.15/1025.80 c #Conflicts: 981000 | #Constraints: 39239
1023.15/1025.80 c INPROCESSING
1023.15/1025.80 c GARBAGE COLLECT
1023.15/1025.80 c #Conflicts: 982000 | #Constraints: 20640
1023.15/1025.80 c #Conflicts: 983000 | #Constraints: 21640
1023.15/1025.80 c #Conflicts: 984000 | #Constraints: 22640
1023.15/1025.80 c #Conflicts: 985000 | #Constraints: 23640
1023.15/1025.80 c #Conflicts: 986000 | #Constraints: 24640
1023.15/1025.80 c #Conflicts: 987000 | #Constraints: 25640
1023.15/1025.80 c #Conflicts: 988000 | #Constraints: 26640
1023.15/1025.80 c #Conflicts: 989000 | #Constraints: 27640
1023.15/1025.80 c #Conflicts: 990000 | #Constraints: 28640
1163.26/1166.31 c #Conflicts: 991000 | #Constraints: 29640
1163.26/1166.31 c #Conflicts: 992000 | #Constraints: 30640
1163.26/1166.31 c #Conflicts: 993000 | #Constraints: 31640
1163.26/1166.31 c #Conflicts: 994000 | #Constraints: 32640
1163.26/1166.31 c #Conflicts: 995000 | #Constraints: 33640
1163.26/1166.31 c #Conflicts: 996000 | #Constraints: 34640
1163.26/1166.31 c #Conflicts: 997000 | #Constraints: 35640
1163.26/1166.31 c #Conflicts: 998000 | #Constraints: 36640
1163.26/1166.31 c #Conflicts: 999000 | #Constraints: 37640
1163.26/1166.31 c #Conflicts: 1000000 | #Constraints: 38640
1163.26/1166.31 c #Conflicts: 1001000 | #Constraints: 39640
1163.26/1166.31 c INPROCESSING
1163.26/1166.31 c GARBAGE COLLECT
1163.26/1166.31 c #Conflicts: 1002000 | #Constraints: 20842
1163.26/1166.31 c #Conflicts: 1003000 | #Constraints: 21842
1163.26/1166.31 c #Conflicts: 1004000 | #Constraints: 22842
1163.26/1166.31 c #Conflicts: 1005000 | #Constraints: 23842
1163.26/1166.31 c #Conflicts: 1006000 | #Constraints: 24842
1163.26/1166.31 c #Conflicts: 1007000 | #Constraints: 25842
1163.26/1166.31 c #Conflicts: 1008000 | #Constraints: 26842
1163.26/1166.31 c #Conflicts: 1009000 | #Constraints: 27842
1163.26/1166.31 c #Conflicts: 1010000 | #Constraints: 28842
1163.26/1166.31 c #Conflicts: 1011000 | #Constraints: 29842
1163.26/1166.31 c #Conflicts: 1012000 | #Constraints: 30842
1163.26/1166.31 c #Conflicts: 1013000 | #Constraints: 31842
1163.26/1166.31 c #Conflicts: 1014000 | #Constraints: 32842
1163.26/1166.31 c #Conflicts: 1015000 | #Constraints: 33842
1163.26/1166.31 c #Conflicts: 1016000 | #Constraints: 34842
1163.26/1166.31 c #Conflicts: 1017000 | #Constraints: 35842
1163.26/1166.31 c #Conflicts: 1018000 | #Constraints: 36842
1163.26/1166.31 c #Conflicts: 1019000 | #Constraints: 37842
1163.26/1166.31 c #Conflicts: 1020000 | #Constraints: 38842
1163.26/1166.31 c #Conflicts: 1021000 | #Constraints: 39842
1163.26/1166.31 c INPROCESSING
1163.26/1166.31 c GARBAGE COLLECT
1163.26/1166.31 c #Conflicts: 1022000 | #Constraints: 20839
1163.26/1166.31 c #Conflicts: 1023000 | #Constraints: 21839
1163.26/1166.31 c #Conflicts: 1024000 | #Constraints: 22839
1163.26/1166.31 c #Conflicts: 1025000 | #Constraints: 23839
1163.26/1166.31 c #Conflicts: 1026000 | #Constraints: 24839
1163.26/1166.31 c #Conflicts: 1027000 | #Constraints: 25839
1163.26/1166.31 c #Conflicts: 1028000 | #Constraints: 26839
1163.26/1166.31 c #Conflicts: 1029000 | #Constraints: 27839
1163.26/1166.31 c #Conflicts: 1030000 | #Constraints: 28839
1163.26/1166.31 c #Conflicts: 1031000 | #Constraints: 29839
1163.26/1166.31 c #Conflicts: 1032000 | #Constraints: 30839
1163.26/1166.31 c #Conflicts: 1033000 | #Constraints: 31839
1163.26/1166.31 c #Conflicts: 1034000 | #Constraints: 32839
1163.26/1166.31 c #Conflicts: 1035000 | #Constraints: 33839
1163.26/1166.31 c #Conflicts: 1036000 | #Constraints: 34839
1163.26/1166.31 c #Conflicts: 1037000 | #Constraints: 35839
1163.26/1166.31 c #Conflicts: 1038000 | #Constraints: 36839
1163.26/1166.31 c #Conflicts: 1039000 | #Constraints: 37839
1163.26/1166.31 c #Conflicts: 1040000 | #Constraints: 38839
1163.26/1166.31 c #Conflicts: 1041000 | #Constraints: 39839
1163.26/1166.31 c INPROCESSING
1163.26/1166.31 c GARBAGE COLLECT
1163.26/1166.31 c #Conflicts: 1042000 | #Constraints: 20640
1163.26/1166.31 c #Conflicts: 1043000 | #Constraints: 21640
1163.26/1166.31 c #Conflicts: 1044000 | #Constraints: 22640
1163.26/1166.31 c #Conflicts: 1045000 | #Constraints: 23640
1163.26/1166.31 c #Conflicts: 1046000 | #Constraints: 24640
1163.26/1166.31 c #Conflicts: 1047000 | #Constraints: 25640
1163.26/1166.31 c #Conflicts: 1048000 | #Constraints: 26640
1163.26/1166.31 c #Conflicts: 1049000 | #Constraints: 27640
1163.26/1166.31 c #Conflicts: 1050000 | #Constraints: 28640
1163.26/1166.31 c #Conflicts: 1051000 | #Constraints: 29640
1163.26/1166.31 c #Conflicts: 1052000 | #Constraints: 30640
1163.26/1166.31 c #Conflicts: 1053000 | #Constraints: 31640
1163.26/1166.31 c #Conflicts: 1054000 | #Constraints: 32640
1163.26/1166.31 c #Conflicts: 1055000 | #Constraints: 33640
1163.26/1166.31 c #Conflicts: 1056000 | #Constraints: 34640
1163.26/1166.31 c #Conflicts: 1057000 | #Constraints: 35640
1163.26/1166.31 c #Conflicts: 1058000 | #Constraints: 36640
1163.26/1166.31 c #Conflicts: 1059000 | #Constraints: 37640
1163.26/1166.31 c #Conflicts: 1060000 | #Constraints: 38640
1163.26/1166.31 c #Conflicts: 1061000 | #Constraints: 39640
1163.26/1166.31 c #Conflicts: 1062000 | #Constraints: 40640
1163.26/1166.31 c INPROCESSING
1163.26/1166.31 c GARBAGE COLLECT
1163.26/1166.31 c #Conflicts: 1063000 | #Constraints: 21239
1163.26/1166.31 c #Conflicts: 1064000 | #Constraints: 22239
1163.26/1166.31 c #Conflicts: 1065000 | #Constraints: 23239
1163.26/1166.31 c #Conflicts: 1066000 | #Constraints: 24239
1322.89/1326.46 c #Conflicts: 1067000 | #Constraints: 25239
1322.89/1326.46 c #Conflicts: 1068000 | #Constraints: 26239
1322.89/1326.46 c #Conflicts: 1069000 | #Constraints: 27239
1322.89/1326.46 c #Conflicts: 1070000 | #Constraints: 28239
1322.89/1326.46 c #Conflicts: 1071000 | #Constraints: 29239
1322.89/1326.46 c #Conflicts: 1072000 | #Constraints: 30239
1322.89/1326.46 c #Conflicts: 1073000 | #Constraints: 31239
1322.89/1326.46 c #Conflicts: 1074000 | #Constraints: 32239
1322.89/1326.46 c #Conflicts: 1075000 | #Constraints: 33239
1322.89/1326.46 c #Conflicts: 1076000 | #Constraints: 34239
1322.89/1326.46 c #Conflicts: 1077000 | #Constraints: 35239
1322.89/1326.46 c #Conflicts: 1078000 | #Constraints: 36239
1322.89/1326.46 c #Conflicts: 1079000 | #Constraints: 37239
1322.89/1326.46 c #Conflicts: 1080000 | #Constraints: 38239
1322.89/1326.46 c #Conflicts: 1081000 | #Constraints: 39239
1322.89/1326.46 c #Conflicts: 1082000 | #Constraints: 40239
1322.89/1326.46 c #Conflicts: 1083000 | #Constraints: 41239
1322.89/1326.46 c INPROCESSING
1322.89/1326.46 c GARBAGE COLLECT
1322.89/1326.46 c #Conflicts: 1084000 | #Constraints: 21639
1322.89/1326.46 c #Conflicts: 1085000 | #Constraints: 22639
1322.89/1326.46 c #Conflicts: 1086000 | #Constraints: 23639
1322.89/1326.46 c #Conflicts: 1087000 | #Constraints: 24639
1322.89/1326.46 c #Conflicts: 1088000 | #Constraints: 25639
1322.89/1326.46 c #Conflicts: 1089000 | #Constraints: 26639
1322.89/1326.46 c #Conflicts: 1090000 | #Constraints: 27639
1322.89/1326.46 c #Conflicts: 1091000 | #Constraints: 28639
1322.89/1326.46 c #Conflicts: 1092000 | #Constraints: 29639
1322.89/1326.46 c #Conflicts: 1093000 | #Constraints: 30639
1322.89/1326.46 c #Conflicts: 1094000 | #Constraints: 31639
1322.89/1326.46 c #Conflicts: 1095000 | #Constraints: 32639
1322.89/1326.46 c #Conflicts: 1096000 | #Constraints: 33639
1322.89/1326.46 c #Conflicts: 1097000 | #Constraints: 34639
1322.89/1326.46 c #Conflicts: 1098000 | #Constraints: 35639
1322.89/1326.46 c #Conflicts: 1099000 | #Constraints: 36639
1322.89/1326.46 c #Conflicts: 1100000 | #Constraints: 37639
1322.89/1326.46 c #Conflicts: 1101000 | #Constraints: 38639
1322.89/1326.46 c #Conflicts: 1102000 | #Constraints: 39639
1322.89/1326.46 c #Conflicts: 1103000 | #Constraints: 40639
1322.89/1326.46 c #Conflicts: 1104000 | #Constraints: 41639
1322.89/1326.46 c INPROCESSING
1322.89/1326.46 c GARBAGE COLLECT
1322.89/1326.46 c #Conflicts: 1105000 | #Constraints: 21842
1322.89/1326.46 c #Conflicts: 1106000 | #Constraints: 22842
1322.89/1326.46 c #Conflicts: 1107000 | #Constraints: 23842
1322.89/1326.46 c #Conflicts: 1108000 | #Constraints: 24842
1322.89/1326.46 c #Conflicts: 1109000 | #Constraints: 25842
1322.89/1326.46 c #Conflicts: 1110000 | #Constraints: 26842
1322.89/1326.46 c #Conflicts: 1111000 | #Constraints: 27842
1322.89/1326.46 c #Conflicts: 1112000 | #Constraints: 28842
1322.89/1326.46 c #Conflicts: 1113000 | #Constraints: 29842
1322.89/1326.46 c #Conflicts: 1114000 | #Constraints: 30842
1322.89/1326.46 c #Conflicts: 1115000 | #Constraints: 31842
1322.89/1326.46 c #Conflicts: 1116000 | #Constraints: 32842
1322.89/1326.46 c #Conflicts: 1117000 | #Constraints: 33842
1322.89/1326.46 c #Conflicts: 1118000 | #Constraints: 34842
1322.89/1326.46 c #Conflicts: 1119000 | #Constraints: 35842
1322.89/1326.46 c #Conflicts: 1120000 | #Constraints: 36842
1322.89/1326.46 c #Conflicts: 1121000 | #Constraints: 37842
1322.89/1326.46 c #Conflicts: 1122000 | #Constraints: 38842
1322.89/1326.46 c #Conflicts: 1123000 | #Constraints: 39842
1322.89/1326.46 c #Conflicts: 1124000 | #Constraints: 40842
1322.89/1326.46 c #Conflicts: 1125000 | #Constraints: 41842
1322.89/1326.46 c INPROCESSING
1322.89/1326.46 c GARBAGE COLLECT
1322.89/1326.46 c #Conflicts: 1126000 | #Constraints: 21843
1322.89/1326.46 c #Conflicts: 1127000 | #Constraints: 22843
1322.89/1326.46 c #Conflicts: 1128000 | #Constraints: 23843
1322.89/1326.46 c #Conflicts: 1129000 | #Constraints: 24843
1322.89/1326.46 c #Conflicts: 1130000 | #Constraints: 25843
1322.89/1326.46 c #Conflicts: 1131000 | #Constraints: 26843
1322.89/1326.46 c #Conflicts: 1132000 | #Constraints: 27843
1322.89/1326.46 c #Conflicts: 1133000 | #Constraints: 28843
1322.89/1326.46 c #Conflicts: 1134000 | #Constraints: 29843
1322.89/1326.46 c #Conflicts: 1135000 | #Constraints: 30843
1322.89/1326.46 c #Conflicts: 1136000 | #Constraints: 31843
1322.89/1326.46 c #Conflicts: 1137000 | #Constraints: 32843
1322.89/1326.46 c #Conflicts: 1138000 | #Constraints: 33843
1322.89/1326.46 c #Conflicts: 1139000 | #Constraints: 34843
1322.89/1326.46 c #Conflicts: 1140000 | #Constraints: 35843
1322.89/1326.46 c #Conflicts: 1141000 | #Constraints: 36843
1322.89/1326.46 c #Conflicts: 1142000 | #Constraints: 37843
1322.89/1326.46 c #Conflicts: 1143000 | #Constraints: 38843
1450.13/1454.06 c #Conflicts: 1144000 | #Constraints: 39843
1450.13/1454.06 c #Conflicts: 1145000 | #Constraints: 40843
1450.13/1454.06 c #Conflicts: 1146000 | #Constraints: 41843
1450.13/1454.06 c INPROCESSING
1450.13/1454.06 c GARBAGE COLLECT
1450.13/1454.06 c #Conflicts: 1147000 | #Constraints: 21639
1450.13/1454.06 c #Conflicts: 1148000 | #Constraints: 22639
1450.13/1454.06 c #Conflicts: 1149000 | #Constraints: 23639
1450.13/1454.06 c #Conflicts: 1150000 | #Constraints: 24639
1450.13/1454.06 c #Conflicts: 1151000 | #Constraints: 25639
1450.13/1454.06 c #Conflicts: 1152000 | #Constraints: 26639
1450.13/1454.06 c #Conflicts: 1153000 | #Constraints: 27639
1450.13/1454.06 c #Conflicts: 1154000 | #Constraints: 28639
1450.13/1454.06 c #Conflicts: 1155000 | #Constraints: 29639
1450.13/1454.06 c #Conflicts: 1156000 | #Constraints: 30639
1450.13/1454.06 c #Conflicts: 1157000 | #Constraints: 31639
1450.13/1454.06 c #Conflicts: 1158000 | #Constraints: 32639
1450.13/1454.06 c #Conflicts: 1159000 | #Constraints: 33639
1450.13/1454.06 c #Conflicts: 1160000 | #Constraints: 34639
1450.13/1454.06 c #Conflicts: 1161000 | #Constraints: 35639
1450.13/1454.06 c #Conflicts: 1162000 | #Constraints: 36639
1450.13/1454.06 c #Conflicts: 1163000 | #Constraints: 37639
1450.13/1454.06 c #Conflicts: 1164000 | #Constraints: 38639
1450.13/1454.06 c #Conflicts: 1165000 | #Constraints: 39639
1450.13/1454.06 c #Conflicts: 1166000 | #Constraints: 40639
1450.13/1454.06 c #Conflicts: 1167000 | #Constraints: 41639
1450.13/1454.06 c #Conflicts: 1168000 | #Constraints: 42639
1450.13/1454.06 c INPROCESSING
1450.13/1454.06 c GARBAGE COLLECT
1450.13/1454.06 c #Conflicts: 1169000 | #Constraints: 22238
1450.13/1454.06 c #Conflicts: 1170000 | #Constraints: 23238
1450.13/1454.06 c #Conflicts: 1171000 | #Constraints: 24238
1450.13/1454.06 c #Conflicts: 1172000 | #Constraints: 25238
1450.13/1454.06 c #Conflicts: 1173000 | #Constraints: 26238
1450.13/1454.06 c #Conflicts: 1174000 | #Constraints: 27238
1450.13/1454.06 c #Conflicts: 1175000 | #Constraints: 28238
1450.13/1454.06 c #Conflicts: 1176000 | #Constraints: 29238
1450.13/1454.06 c #Conflicts: 1177000 | #Constraints: 30238
1450.13/1454.06 c #Conflicts: 1178000 | #Constraints: 31238
1450.13/1454.06 c #Conflicts: 1179000 | #Constraints: 32238
1450.13/1454.06 c #Conflicts: 1180000 | #Constraints: 33238
1450.13/1454.06 c #Conflicts: 1181000 | #Constraints: 34238
1450.13/1454.06 c #Conflicts: 1182000 | #Constraints: 35238
1450.13/1454.06 c #Conflicts: 1183000 | #Constraints: 36238
1450.13/1454.06 c #Conflicts: 1184000 | #Constraints: 37238
1450.13/1454.06 c #Conflicts: 1185000 | #Constraints: 38238
1450.13/1454.06 c #Conflicts: 1186000 | #Constraints: 39238
1450.13/1454.06 c #Conflicts: 1187000 | #Constraints: 40238
1450.13/1454.06 c #Conflicts: 1188000 | #Constraints: 41238
1450.13/1454.06 c #Conflicts: 1189000 | #Constraints: 42238
1450.13/1454.06 c #Conflicts: 1190000 | #Constraints: 43238
1450.13/1454.06 c INPROCESSING
1450.13/1454.06 c GARBAGE COLLECT
1450.13/1454.06 c #Conflicts: 1191000 | #Constraints: 22640
1450.13/1454.06 c #Conflicts: 1192000 | #Constraints: 23640
1450.13/1454.06 c #Conflicts: 1193000 | #Constraints: 24640
1450.13/1454.06 c #Conflicts: 1194000 | #Constraints: 25640
1450.13/1454.06 c #Conflicts: 1195000 | #Constraints: 26640
1450.13/1454.06 c #Conflicts: 1196000 | #Constraints: 27640
1450.13/1454.06 c #Conflicts: 1197000 | #Constraints: 28640
1450.13/1454.06 c #Conflicts: 1198000 | #Constraints: 29640
1450.13/1454.06 c #Conflicts: 1199000 | #Constraints: 30640
1450.13/1454.06 c #Conflicts: 1200000 | #Constraints: 31640
1450.13/1454.06 c #Conflicts: 1201000 | #Constraints: 32640
1450.13/1454.06 c #Conflicts: 1202000 | #Constraints: 33640
1450.13/1454.06 c #Conflicts: 1203000 | #Constraints: 34640
1450.13/1454.06 c #Conflicts: 1204000 | #Constraints: 35640
1450.13/1454.06 c #Conflicts: 1205000 | #Constraints: 36640
1450.13/1454.06 c #Conflicts: 1206000 | #Constraints: 37640
1450.13/1454.06 c #Conflicts: 1207000 | #Constraints: 38640
1450.13/1454.06 c #Conflicts: 1208000 | #Constraints: 39640
1450.13/1454.06 c #Conflicts: 1209000 | #Constraints: 40640
1450.13/1454.06 c #Conflicts: 1210000 | #Constraints: 41640
1450.13/1454.06 c #Conflicts: 1211000 | #Constraints: 42640
1450.13/1454.06 c #Conflicts: 1212000 | #Constraints: 43640
1450.13/1454.06 c INPROCESSING
1450.13/1454.06 c GARBAGE COLLECT
1450.13/1454.06 c #Conflicts: 1213000 | #Constraints: 22837
1450.13/1454.06 c #Conflicts: 1214000 | #Constraints: 23837
1450.13/1454.06 c #Conflicts: 1215000 | #Constraints: 24837
1450.13/1454.06 c #Conflicts: 1216000 | #Constraints: 25837
1450.13/1454.06 c #Conflicts: 1217000 | #Constraints: 26837
1450.13/1454.06 c #Conflicts: 1218000 | #Constraints: 27837
1450.13/1454.06 c #Conflicts: 1219000 | #Constraints: 28837
1588.01/1592.33 c #Conflicts: 1220000 | #Constraints: 29837
1588.01/1592.33 c #Conflicts: 1221000 | #Constraints: 30837
1588.01/1592.33 c #Conflicts: 1222000 | #Constraints: 31837
1588.01/1592.33 c #Conflicts: 1223000 | #Constraints: 32837
1588.01/1592.33 c #Conflicts: 1224000 | #Constraints: 33837
1588.01/1592.33 c #Conflicts: 1225000 | #Constraints: 34837
1588.01/1592.33 c #Conflicts: 1226000 | #Constraints: 35837
1588.01/1592.33 c #Conflicts: 1227000 | #Constraints: 36837
1588.01/1592.33 c #Conflicts: 1228000 | #Constraints: 37837
1588.01/1592.33 c #Conflicts: 1229000 | #Constraints: 38837
1588.01/1592.33 c #Conflicts: 1230000 | #Constraints: 39837
1588.01/1592.33 c #Conflicts: 1231000 | #Constraints: 40837
1588.01/1592.33 c #Conflicts: 1232000 | #Constraints: 41837
1588.01/1592.33 c #Conflicts: 1233000 | #Constraints: 42837
1588.01/1592.33 c #Conflicts: 1234000 | #Constraints: 43837
1588.01/1592.33 c INPROCESSING
1588.01/1592.33 c GARBAGE COLLECT
1588.01/1592.33 c #Conflicts: 1235000 | #Constraints: 22835
1588.01/1592.33 c #Conflicts: 1236000 | #Constraints: 23835
1588.01/1592.33 c #Conflicts: 1237000 | #Constraints: 24835
1588.01/1592.33 c #Conflicts: 1238000 | #Constraints: 25835
1588.01/1592.33 c #Conflicts: 1239000 | #Constraints: 26835
1588.01/1592.33 c #Conflicts: 1240000 | #Constraints: 27835
1588.01/1592.33 c #Conflicts: 1241000 | #Constraints: 28835
1588.01/1592.33 c #Conflicts: 1242000 | #Constraints: 29835
1588.01/1592.33 c #Conflicts: 1243000 | #Constraints: 30835
1588.01/1592.33 c #Conflicts: 1244000 | #Constraints: 31835
1588.01/1592.33 c #Conflicts: 1245000 | #Constraints: 32835
1588.01/1592.33 c #Conflicts: 1246000 | #Constraints: 33835
1588.01/1592.33 c #Conflicts: 1247000 | #Constraints: 34835
1588.01/1592.33 c #Conflicts: 1248000 | #Constraints: 35835
1588.01/1592.33 c #Conflicts: 1249000 | #Constraints: 36835
1588.01/1592.33 c #Conflicts: 1250000 | #Constraints: 37835
1588.01/1592.33 c #Conflicts: 1251000 | #Constraints: 38835
1588.01/1592.33 c #Conflicts: 1252000 | #Constraints: 39835
1588.01/1592.33 c #Conflicts: 1253000 | #Constraints: 40835
1588.01/1592.33 c #Conflicts: 1254000 | #Constraints: 41835
1588.01/1592.33 c #Conflicts: 1255000 | #Constraints: 42835
1588.01/1592.33 c #Conflicts: 1256000 | #Constraints: 43835
1588.01/1592.33 c INPROCESSING
1588.01/1592.33 c GARBAGE COLLECT
1588.01/1592.33 c #Conflicts: 1257000 | #Constraints: 22639
1588.01/1592.33 c #Conflicts: 1258000 | #Constraints: 23639
1588.01/1592.33 c #Conflicts: 1259000 | #Constraints: 24639
1588.01/1592.33 c #Conflicts: 1260000 | #Constraints: 25639
1588.01/1592.33 c #Conflicts: 1261000 | #Constraints: 26639
1588.01/1592.33 c #Conflicts: 1262000 | #Constraints: 27639
1588.01/1592.33 c #Conflicts: 1263000 | #Constraints: 28639
1588.01/1592.33 c #Conflicts: 1264000 | #Constraints: 29639
1588.01/1592.33 c #Conflicts: 1265000 | #Constraints: 30639
1588.01/1592.33 c #Conflicts: 1266000 | #Constraints: 31639
1588.01/1592.33 c #Conflicts: 1267000 | #Constraints: 32639
1588.01/1592.33 c #Conflicts: 1268000 | #Constraints: 33639
1588.01/1592.33 c #Conflicts: 1269000 | #Constraints: 34639
1588.01/1592.33 c #Conflicts: 1270000 | #Constraints: 35639
1588.01/1592.33 c #Conflicts: 1271000 | #Constraints: 36639
1588.01/1592.33 c #Conflicts: 1272000 | #Constraints: 37639
1588.01/1592.33 c #Conflicts: 1273000 | #Constraints: 38639
1588.01/1592.33 c #Conflicts: 1274000 | #Constraints: 39639
1588.01/1592.33 c #Conflicts: 1275000 | #Constraints: 40639
1588.01/1592.33 c #Conflicts: 1276000 | #Constraints: 41639
1588.01/1592.33 c #Conflicts: 1277000 | #Constraints: 42639
1588.01/1592.33 c #Conflicts: 1278000 | #Constraints: 43639
1588.01/1592.33 c #Conflicts: 1279000 | #Constraints: 44639
1588.01/1592.33 c INPROCESSING
1588.01/1592.33 c GARBAGE COLLECT
1588.01/1592.33 c #Conflicts: 1280000 | #Constraints: 23236
1588.01/1592.33 c #Conflicts: 1281000 | #Constraints: 24236
1588.01/1592.33 c #Conflicts: 1282000 | #Constraints: 25236
1588.01/1592.33 c #Conflicts: 1283000 | #Constraints: 26236
1588.01/1592.33 c #Conflicts: 1284000 | #Constraints: 27236
1588.01/1592.33 c #Conflicts: 1285000 | #Constraints: 28236
1588.01/1592.33 c #Conflicts: 1286000 | #Constraints: 29236
1588.01/1592.33 c #Conflicts: 1287000 | #Constraints: 30236
1588.01/1592.33 c #Conflicts: 1288000 | #Constraints: 31236
1588.01/1592.33 c #Conflicts: 1289000 | #Constraints: 32236
1588.01/1592.33 c #Conflicts: 1290000 | #Constraints: 33236
1588.01/1592.33 c #Conflicts: 1291000 | #Constraints: 34236
1588.01/1592.33 c #Conflicts: 1292000 | #Constraints: 35236
1588.01/1592.33 c #Conflicts: 1293000 | #Constraints: 36236
1588.01/1592.33 c #Conflicts: 1294000 | #Constraints: 37236
1588.01/1592.33 c #Conflicts: 1295000 | #Constraints: 38236
1588.01/1592.33 c #Conflicts: 1296000 | #Constraints: 39236
1747.56/1752.38 c #Conflicts: 1297000 | #Constraints: 40236
1747.56/1752.38 c #Conflicts: 1298000 | #Constraints: 41236
1747.56/1752.38 c #Conflicts: 1299000 | #Constraints: 42236
1747.56/1752.38 c #Conflicts: 1300000 | #Constraints: 43236
1747.56/1752.38 c #Conflicts: 1301000 | #Constraints: 44236
1747.56/1752.38 c #Conflicts: 1302000 | #Constraints: 45236
1747.56/1752.38 c INPROCESSING
1747.56/1752.38 c GARBAGE COLLECT
1747.56/1752.38 c #Conflicts: 1303000 | #Constraints: 23635
1747.56/1752.38 c #Conflicts: 1304000 | #Constraints: 24635
1747.56/1752.38 c #Conflicts: 1305000 | #Constraints: 25635
1747.56/1752.38 c #Conflicts: 1306000 | #Constraints: 26635
1747.56/1752.38 c #Conflicts: 1307000 | #Constraints: 27635
1747.56/1752.38 c #Conflicts: 1308000 | #Constraints: 28635
1747.56/1752.38 c #Conflicts: 1309000 | #Constraints: 29635
1747.56/1752.38 c #Conflicts: 1310000 | #Constraints: 30635
1747.56/1752.38 c #Conflicts: 1311000 | #Constraints: 31635
1747.56/1752.38 c #Conflicts: 1312000 | #Constraints: 32635
1747.56/1752.38 c #Conflicts: 1313000 | #Constraints: 33635
1747.56/1752.38 c #Conflicts: 1314000 | #Constraints: 34635
1747.56/1752.38 c #Conflicts: 1315000 | #Constraints: 35635
1747.56/1752.38 c #Conflicts: 1316000 | #Constraints: 36635
1747.56/1752.38 c #Conflicts: 1317000 | #Constraints: 37635
1747.56/1752.38 c #Conflicts: 1318000 | #Constraints: 38635
1747.56/1752.38 c #Conflicts: 1319000 | #Constraints: 39635
1747.56/1752.38 c #Conflicts: 1320000 | #Constraints: 40635
1747.56/1752.38 c #Conflicts: 1321000 | #Constraints: 41635
1747.56/1752.38 c #Conflicts: 1322000 | #Constraints: 42635
1747.56/1752.38 c #Conflicts: 1323000 | #Constraints: 43635
1747.56/1752.38 c #Conflicts: 1324000 | #Constraints: 44635
1747.56/1752.38 c #Conflicts: 1325000 | #Constraints: 45635
1747.56/1752.38 c INPROCESSING
1747.56/1752.38 c GARBAGE COLLECT
1747.56/1752.38 c #Conflicts: 1326000 | #Constraints: 23838
1747.56/1752.38 c #Conflicts: 1327000 | #Constraints: 24838
1747.56/1752.38 c #Conflicts: 1328000 | #Constraints: 25838
1747.56/1752.38 c #Conflicts: 1329000 | #Constraints: 26838
1747.56/1752.38 c #Conflicts: 1330000 | #Constraints: 27838
1747.56/1752.38 c #Conflicts: 1331000 | #Constraints: 28838
1747.56/1752.38 c #Conflicts: 1332000 | #Constraints: 29838
1747.56/1752.38 c #Conflicts: 1333000 | #Constraints: 30838
1747.56/1752.38 c #Conflicts: 1334000 | #Constraints: 31838
1747.56/1752.38 c #Conflicts: 1335000 | #Constraints: 32838
1747.56/1752.38 c #Conflicts: 1336000 | #Constraints: 33838
1747.56/1752.38 c #Conflicts: 1337000 | #Constraints: 34838
1747.56/1752.38 c #Conflicts: 1338000 | #Constraints: 35838
1747.56/1752.38 c #Conflicts: 1339000 | #Constraints: 36838
1747.56/1752.38 c #Conflicts: 1340000 | #Constraints: 37838
1747.56/1752.38 c #Conflicts: 1341000 | #Constraints: 38838
1747.56/1752.38 c #Conflicts: 1342000 | #Constraints: 39838
1747.56/1752.38 c #Conflicts: 1343000 | #Constraints: 40838
1747.56/1752.38 c #Conflicts: 1344000 | #Constraints: 41838
1747.56/1752.38 c #Conflicts: 1345000 | #Constraints: 42838
1747.56/1752.38 c #Conflicts: 1346000 | #Constraints: 43838
1747.56/1752.38 c #Conflicts: 1347000 | #Constraints: 44838
1747.56/1752.38 c #Conflicts: 1348000 | #Constraints: 45838
1747.56/1752.38 c INPROCESSING
1747.56/1752.38 c GARBAGE COLLECT
1747.56/1752.38 c #Conflicts: 1349000 | #Constraints: 23843
1747.56/1752.38 c #Conflicts: 1350000 | #Constraints: 24843
1747.56/1752.38 c #Conflicts: 1351000 | #Constraints: 25843
1747.56/1752.38 c #Conflicts: 1352000 | #Constraints: 26843
1747.56/1752.38 c #Conflicts: 1353000 | #Constraints: 27843
1747.56/1752.38 c #Conflicts: 1354000 | #Constraints: 28843
1747.56/1752.38 c #Conflicts: 1355000 | #Constraints: 29843
1747.56/1752.38 c #Conflicts: 1356000 | #Constraints: 30843
1747.56/1752.38 c #Conflicts: 1357000 | #Constraints: 31843
1747.56/1752.38 c #Conflicts: 1358000 | #Constraints: 32843
1747.56/1752.38 c #Conflicts: 1359000 | #Constraints: 33843
1747.56/1752.38 c #Conflicts: 1360000 | #Constraints: 34843
1747.56/1752.38 c #Conflicts: 1361000 | #Constraints: 35843
1747.56/1752.38 c #Conflicts: 1362000 | #Constraints: 36843
1747.56/1752.38 c #Conflicts: 1363000 | #Constraints: 37843
1747.56/1752.38 c #Conflicts: 1364000 | #Constraints: 38843
1747.56/1752.38 c #Conflicts: 1365000 | #Constraints: 39843
1747.56/1752.38 c #Conflicts: 1366000 | #Constraints: 40843
1747.56/1752.38 c #Conflicts: 1367000 | #Constraints: 41843
1747.56/1752.38 c #Conflicts: 1368000 | #Constraints: 42843
1747.56/1752.38 c #Conflicts: 1369000 | #Constraints: 43843
1747.56/1752.38 c #Conflicts: 1370000 | #Constraints: 44843
1747.56/1752.38 c #Conflicts: 1371000 | #Constraints: 45843
1747.56/1752.38 c INPROCESSING
1747.56/1752.38 c GARBAGE COLLECT
1747.56/1752.38 c #Conflicts: 1372000 | #Constraints: 23639
1896.62/1901.89 c #Conflicts: 1373000 | #Constraints: 24639
1896.62/1901.89 c #Conflicts: 1374000 | #Constraints: 25639
1896.62/1901.89 c #Conflicts: 1375000 | #Constraints: 26639
1896.62/1901.89 c #Conflicts: 1376000 | #Constraints: 27639
1896.62/1901.89 c #Conflicts: 1377000 | #Constraints: 28639
1896.62/1901.89 c #Conflicts: 1378000 | #Constraints: 29639
1896.62/1901.89 c #Conflicts: 1379000 | #Constraints: 30639
1896.62/1901.89 c #Conflicts: 1380000 | #Constraints: 31639
1896.62/1901.89 c #Conflicts: 1381000 | #Constraints: 32639
1896.62/1901.89 c #Conflicts: 1382000 | #Constraints: 33639
1896.62/1901.89 c #Conflicts: 1383000 | #Constraints: 34639
1896.62/1901.89 c #Conflicts: 1384000 | #Constraints: 35639
1896.62/1901.89 c #Conflicts: 1385000 | #Constraints: 36639
1896.62/1901.89 c #Conflicts: 1386000 | #Constraints: 37639
1896.62/1901.89 c #Conflicts: 1387000 | #Constraints: 38639
1896.62/1901.89 c #Conflicts: 1388000 | #Constraints: 39639
1896.62/1901.89 c #Conflicts: 1389000 | #Constraints: 40639
1896.62/1901.89 c #Conflicts: 1390000 | #Constraints: 41639
1896.62/1901.89 c #Conflicts: 1391000 | #Constraints: 42639
1896.62/1901.89 c #Conflicts: 1392000 | #Constraints: 43639
1896.62/1901.89 c #Conflicts: 1393000 | #Constraints: 44639
1896.62/1901.89 c #Conflicts: 1394000 | #Constraints: 45639
1896.62/1901.89 c #Conflicts: 1395000 | #Constraints: 46639
1896.62/1901.89 c INPROCESSING
1896.62/1901.89 c GARBAGE COLLECT
1896.62/1901.89 c #Conflicts: 1396000 | #Constraints: 24238
1896.62/1901.89 c #Conflicts: 1397000 | #Constraints: 25238
1896.62/1901.89 c #Conflicts: 1398000 | #Constraints: 26238
1896.62/1901.89 c #Conflicts: 1399000 | #Constraints: 27238
1896.62/1901.89 c #Conflicts: 1400000 | #Constraints: 28238
1896.62/1901.89 c #Conflicts: 1401000 | #Constraints: 29238
1896.62/1901.89 c #Conflicts: 1402000 | #Constraints: 30238
1896.62/1901.89 c #Conflicts: 1403000 | #Constraints: 31238
1896.62/1901.89 c #Conflicts: 1404000 | #Constraints: 32238
1896.62/1901.89 c #Conflicts: 1405000 | #Constraints: 33238
1896.62/1901.89 c #Conflicts: 1406000 | #Constraints: 34238
1896.62/1901.89 c #Conflicts: 1407000 | #Constraints: 35238
1896.62/1901.89 c #Conflicts: 1408000 | #Constraints: 36238
1896.62/1901.89 c #Conflicts: 1409000 | #Constraints: 37238
1896.62/1901.89 c #Conflicts: 1410000 | #Constraints: 38238
1896.62/1901.89 c #Conflicts: 1411000 | #Constraints: 39238
1896.62/1901.89 c #Conflicts: 1412000 | #Constraints: 40238
1896.62/1901.89 c #Conflicts: 1413000 | #Constraints: 41238
1896.62/1901.89 c #Conflicts: 1414000 | #Constraints: 42238
1896.62/1901.89 c #Conflicts: 1415000 | #Constraints: 43238
1896.62/1901.89 c #Conflicts: 1416000 | #Constraints: 44238
1896.62/1901.89 c #Conflicts: 1417000 | #Constraints: 45238
1896.62/1901.89 c #Conflicts: 1418000 | #Constraints: 46238
1896.62/1901.89 c #Conflicts: 1419000 | #Constraints: 47238
1896.62/1901.89 c INPROCESSING
1896.62/1901.89 c GARBAGE COLLECT
1896.62/1901.89 c #Conflicts: 1420000 | #Constraints: 24637
1896.62/1901.89 c #Conflicts: 1421000 | #Constraints: 25637
1896.62/1901.89 c #Conflicts: 1422000 | #Constraints: 26637
1896.62/1901.89 c #Conflicts: 1423000 | #Constraints: 27637
1896.62/1901.89 c #Conflicts: 1424000 | #Constraints: 28637
1896.62/1901.89 c #Conflicts: 1425000 | #Constraints: 29637
1896.62/1901.89 c #Conflicts: 1426000 | #Constraints: 30637
1896.62/1901.89 c #Conflicts: 1427000 | #Constraints: 31637
1896.62/1901.89 c #Conflicts: 1428000 | #Constraints: 32637
1896.62/1901.89 c #Conflicts: 1429000 | #Constraints: 33637
1896.62/1901.89 c #Conflicts: 1430000 | #Constraints: 34637
1896.62/1901.89 c #Conflicts: 1431000 | #Constraints: 35637
1896.62/1901.89 c #Conflicts: 1432000 | #Constraints: 36637
1896.62/1901.89 c #Conflicts: 1433000 | #Constraints: 37637
1896.62/1901.89 c #Conflicts: 1434000 | #Constraints: 38637
1896.62/1901.89 c #Conflicts: 1435000 | #Constraints: 39637
1896.62/1901.89 c #Conflicts: 1436000 | #Constraints: 40637
1896.62/1901.89 c #Conflicts: 1437000 | #Constraints: 41637
1896.62/1901.89 c #Conflicts: 1438000 | #Constraints: 42637
1896.62/1901.89 c #Conflicts: 1439000 | #Constraints: 43637
1896.62/1901.89 c #Conflicts: 1440000 | #Constraints: 44637
1896.62/1901.89 c #Conflicts: 1441000 | #Constraints: 45637
1896.62/1901.89 c #Conflicts: 1442000 | #Constraints: 46637
1896.62/1901.89 c #Conflicts: 1443000 | #Constraints: 47637
1896.62/1901.89 c INPROCESSING
1896.62/1901.89 c GARBAGE COLLECT
1896.62/1901.89 c #Conflicts: 1444000 | #Constraints: 24836
1896.62/1901.89 c #Conflicts: 1445000 | #Constraints: 25836
1896.62/1901.89 c #Conflicts: 1446000 | #Constraints: 26836
1896.62/1901.89 c #Conflicts: 1447000 | #Constraints: 27836
1896.62/1901.89 c #Conflicts: 1448000 | #Constraints: 28836
1896.62/1901.89 c #Conflicts: 1449000 | #Constraints: 29836
2050.15/2055.71 c #Conflicts: 1450000 | #Constraints: 30836
2050.15/2055.71 c #Conflicts: 1451000 | #Constraints: 31836
2050.15/2055.71 c #Conflicts: 1452000 | #Constraints: 32836
2050.15/2055.71 c #Conflicts: 1453000 | #Constraints: 33836
2050.15/2055.71 c #Conflicts: 1454000 | #Constraints: 34836
2050.15/2055.71 c #Conflicts: 1455000 | #Constraints: 35836
2050.15/2055.71 c #Conflicts: 1456000 | #Constraints: 36836
2050.15/2055.71 c #Conflicts: 1457000 | #Constraints: 37836
2050.15/2055.71 c #Conflicts: 1458000 | #Constraints: 38836
2050.15/2055.71 c #Conflicts: 1459000 | #Constraints: 39836
2050.15/2055.71 c #Conflicts: 1460000 | #Constraints: 40836
2050.15/2055.71 c #Conflicts: 1461000 | #Constraints: 41836
2050.15/2055.71 c #Conflicts: 1462000 | #Constraints: 42836
2050.15/2055.71 c #Conflicts: 1463000 | #Constraints: 43836
2050.15/2055.71 c #Conflicts: 1464000 | #Constraints: 44836
2050.15/2055.71 c #Conflicts: 1465000 | #Constraints: 45836
2050.15/2055.71 c #Conflicts: 1466000 | #Constraints: 46836
2050.15/2055.71 c #Conflicts: 1467000 | #Constraints: 47836
2050.15/2055.71 c INPROCESSING
2050.15/2055.71 c GARBAGE COLLECT
2050.15/2055.71 c #Conflicts: 1468000 | #Constraints: 24837
2050.15/2055.71 c #Conflicts: 1469000 | #Constraints: 25837
2050.15/2055.71 c #Conflicts: 1470000 | #Constraints: 26837
2050.15/2055.71 c #Conflicts: 1471000 | #Constraints: 27837
2050.15/2055.71 c #Conflicts: 1472000 | #Constraints: 28837
2050.15/2055.71 c #Conflicts: 1473000 | #Constraints: 29837
2050.15/2055.71 c #Conflicts: 1474000 | #Constraints: 30837
2050.15/2055.71 c #Conflicts: 1475000 | #Constraints: 31837
2050.15/2055.71 c #Conflicts: 1476000 | #Constraints: 32837
2050.15/2055.71 c #Conflicts: 1477000 | #Constraints: 33837
2050.15/2055.71 c #Conflicts: 1478000 | #Constraints: 34837
2050.15/2055.71 c #Conflicts: 1479000 | #Constraints: 35837
2050.15/2055.71 c #Conflicts: 1480000 | #Constraints: 36837
2050.15/2055.71 c #Conflicts: 1481000 | #Constraints: 37837
2050.15/2055.71 c #Conflicts: 1482000 | #Constraints: 38837
2050.15/2055.71 c #Conflicts: 1483000 | #Constraints: 39837
2050.15/2055.71 c #Conflicts: 1484000 | #Constraints: 40837
2050.15/2055.71 c #Conflicts: 1485000 | #Constraints: 41837
2050.15/2055.71 c #Conflicts: 1486000 | #Constraints: 42837
2050.15/2055.71 c #Conflicts: 1487000 | #Constraints: 43837
2050.15/2055.71 c #Conflicts: 1488000 | #Constraints: 44837
2050.15/2055.71 c #Conflicts: 1489000 | #Constraints: 45837
2050.15/2055.71 c #Conflicts: 1490000 | #Constraints: 46837
2050.15/2055.71 c #Conflicts: 1491000 | #Constraints: 47837
2050.15/2055.71 c INPROCESSING
2050.15/2055.71 c GARBAGE COLLECT
2050.15/2055.71 c #Conflicts: 1492000 | #Constraints: 24634
2050.15/2055.71 c #Conflicts: 1493000 | #Constraints: 25634
2050.15/2055.71 c #Conflicts: 1494000 | #Constraints: 26634
2050.15/2055.71 c #Conflicts: 1495000 | #Constraints: 27634
2050.15/2055.71 c #Conflicts: 1496000 | #Constraints: 28634
2050.15/2055.71 c #Conflicts: 1497000 | #Constraints: 29634
2050.15/2055.71 c #Conflicts: 1498000 | #Constraints: 30634
2050.15/2055.71 c #Conflicts: 1499000 | #Constraints: 31634
2050.15/2055.71 c #Conflicts: 1500000 | #Constraints: 32634
2050.15/2055.71 c #Conflicts: 1501000 | #Constraints: 33634
2050.15/2055.71 c #Conflicts: 1502000 | #Constraints: 34634
2050.15/2055.71 c #Conflicts: 1503000 | #Constraints: 35634
2050.15/2055.71 c #Conflicts: 1504000 | #Constraints: 36634
2050.15/2055.71 c #Conflicts: 1505000 | #Constraints: 37634
2050.15/2055.71 c #Conflicts: 1506000 | #Constraints: 38634
2050.15/2055.71 c #Conflicts: 1507000 | #Constraints: 39634
2050.15/2055.71 c #Conflicts: 1508000 | #Constraints: 40634
2050.15/2055.71 c #Conflicts: 1509000 | #Constraints: 41634
2050.15/2055.71 c #Conflicts: 1510000 | #Constraints: 42634
2050.15/2055.71 c #Conflicts: 1511000 | #Constraints: 43634
2050.15/2055.71 c #Conflicts: 1512000 | #Constraints: 44634
2050.15/2055.71 c #Conflicts: 1513000 | #Constraints: 45634
2050.15/2055.71 c #Conflicts: 1514000 | #Constraints: 46634
2050.15/2055.71 c #Conflicts: 1515000 | #Constraints: 47634
2050.15/2055.71 c #Conflicts: 1516000 | #Constraints: 48634
2050.15/2055.71 c INPROCESSING
2050.15/2055.71 c GARBAGE COLLECT
2050.15/2055.71 c #Conflicts: 1517000 | #Constraints: 25235
2050.15/2055.71 c #Conflicts: 1518000 | #Constraints: 26235
2050.15/2055.71 c #Conflicts: 1519000 | #Constraints: 27235
2050.15/2055.71 c #Conflicts: 1520000 | #Constraints: 28235
2050.15/2055.71 c #Conflicts: 1521000 | #Constraints: 29235
2050.15/2055.71 c #Conflicts: 1522000 | #Constraints: 30235
2050.15/2055.71 c #Conflicts: 1523000 | #Constraints: 31235
2050.15/2055.71 c #Conflicts: 1524000 | #Constraints: 32235
2050.15/2055.71 c #Conflicts: 1525000 | #Constraints: 33235
2050.15/2055.71 c #Conflicts: 1526000 | #Constraints: 34235
2226.91/2232.94 c #Conflicts: 1527000 | #Constraints: 35235
2226.91/2232.94 c #Conflicts: 1528000 | #Constraints: 36235
2226.91/2232.94 c #Conflicts: 1529000 | #Constraints: 37235
2226.91/2232.94 c #Conflicts: 1530000 | #Constraints: 38235
2226.91/2232.94 c #Conflicts: 1531000 | #Constraints: 39235
2226.91/2232.94 c #Conflicts: 1532000 | #Constraints: 40235
2226.91/2232.94 c #Conflicts: 1533000 | #Constraints: 41235
2226.91/2232.94 c #Conflicts: 1534000 | #Constraints: 42235
2226.91/2232.94 c #Conflicts: 1535000 | #Constraints: 43235
2226.91/2232.94 c #Conflicts: 1536000 | #Constraints: 44235
2226.91/2232.94 c #Conflicts: 1537000 | #Constraints: 45235
2226.91/2232.94 c #Conflicts: 1538000 | #Constraints: 46235
2226.91/2232.94 c #Conflicts: 1539000 | #Constraints: 47235
2226.91/2232.94 c #Conflicts: 1540000 | #Constraints: 48235
2226.91/2232.94 c #Conflicts: 1541000 | #Constraints: 49235
2226.91/2232.94 c INPROCESSING
2226.91/2232.94 c GARBAGE COLLECT
2226.91/2232.94 c #Conflicts: 1542000 | #Constraints: 25640
2226.91/2232.94 c #Conflicts: 1543000 | #Constraints: 26640
2226.91/2232.94 c #Conflicts: 1544000 | #Constraints: 27640
2226.91/2232.94 c #Conflicts: 1545000 | #Constraints: 28640
2226.91/2232.94 c #Conflicts: 1546000 | #Constraints: 29640
2226.91/2232.94 c #Conflicts: 1547000 | #Constraints: 30640
2226.91/2232.94 c #Conflicts: 1548000 | #Constraints: 31640
2226.91/2232.94 c #Conflicts: 1549000 | #Constraints: 32640
2226.91/2232.94 c #Conflicts: 1550000 | #Constraints: 33640
2226.91/2232.94 c #Conflicts: 1551000 | #Constraints: 34640
2226.91/2232.94 c #Conflicts: 1552000 | #Constraints: 35640
2226.91/2232.94 c #Conflicts: 1553000 | #Constraints: 36640
2226.91/2232.94 c #Conflicts: 1554000 | #Constraints: 37640
2226.91/2232.94 c #Conflicts: 1555000 | #Constraints: 38640
2226.91/2232.94 c #Conflicts: 1556000 | #Constraints: 39640
2226.91/2232.94 c #Conflicts: 1557000 | #Constraints: 40640
2226.91/2232.94 c #Conflicts: 1558000 | #Constraints: 41640
2226.91/2232.94 c #Conflicts: 1559000 | #Constraints: 42640
2226.91/2232.94 c #Conflicts: 1560000 | #Constraints: 43640
2226.91/2232.94 c #Conflicts: 1561000 | #Constraints: 44640
2226.91/2232.94 c #Conflicts: 1562000 | #Constraints: 45640
2226.91/2232.94 c #Conflicts: 1563000 | #Constraints: 46640
2226.91/2232.94 c #Conflicts: 1564000 | #Constraints: 47640
2226.91/2232.94 c #Conflicts: 1565000 | #Constraints: 48640
2226.91/2232.94 c #Conflicts: 1566000 | #Constraints: 49640
2226.91/2232.94 c INPROCESSING
2226.91/2232.94 c GARBAGE COLLECT
2226.91/2232.94 c #Conflicts: 1567000 | #Constraints: 25838
2226.91/2232.94 c #Conflicts: 1568000 | #Constraints: 26838
2226.91/2232.94 c #Conflicts: 1569000 | #Constraints: 27838
2226.91/2232.94 c #Conflicts: 1570000 | #Constraints: 28838
2226.91/2232.94 c #Conflicts: 1571000 | #Constraints: 29838
2226.91/2232.94 c #Conflicts: 1572000 | #Constraints: 30838
2226.91/2232.94 c #Conflicts: 1573000 | #Constraints: 31838
2226.91/2232.94 c #Conflicts: 1574000 | #Constraints: 32838
2226.91/2232.94 c #Conflicts: 1575000 | #Constraints: 33838
2226.91/2232.94 c #Conflicts: 1576000 | #Constraints: 34838
2226.91/2232.94 c #Conflicts: 1577000 | #Constraints: 35838
2226.91/2232.94 c #Conflicts: 1578000 | #Constraints: 36838
2226.91/2232.94 c #Conflicts: 1579000 | #Constraints: 37838
2226.91/2232.94 c #Conflicts: 1580000 | #Constraints: 38838
2226.91/2232.94 c #Conflicts: 1581000 | #Constraints: 39838
2226.91/2232.94 c #Conflicts: 1582000 | #Constraints: 40838
2226.91/2232.94 c #Conflicts: 1583000 | #Constraints: 41838
2226.91/2232.94 c #Conflicts: 1584000 | #Constraints: 42838
2226.91/2232.94 c #Conflicts: 1585000 | #Constraints: 43838
2226.91/2232.94 c #Conflicts: 1586000 | #Constraints: 44838
2226.91/2232.94 c #Conflicts: 1587000 | #Constraints: 45838
2226.91/2232.94 c #Conflicts: 1588000 | #Constraints: 46838
2226.91/2232.94 c #Conflicts: 1589000 | #Constraints: 47838
2226.91/2232.94 c #Conflicts: 1590000 | #Constraints: 48838
2226.91/2232.94 c #Conflicts: 1591000 | #Constraints: 49838
2226.91/2232.94 c INPROCESSING
2226.91/2232.94 c GARBAGE COLLECT
2226.91/2232.94 c #Conflicts: 1592000 | #Constraints: 25840
2226.91/2232.94 c #Conflicts: 1593000 | #Constraints: 26840
2226.91/2232.94 c #Conflicts: 1594000 | #Constraints: 27840
2226.91/2232.94 c #Conflicts: 1595000 | #Constraints: 28840
2226.91/2232.94 c #Conflicts: 1596000 | #Constraints: 29840
2226.91/2232.94 c #Conflicts: 1597000 | #Constraints: 30840
2226.91/2232.94 c #Conflicts: 1598000 | #Constraints: 31840
2226.91/2232.94 c #Conflicts: 1599000 | #Constraints: 32840
2226.91/2232.94 c #Conflicts: 1600000 | #Constraints: 33840
2226.91/2232.94 c #Conflicts: 1601000 | #Constraints: 34840
2226.91/2232.94 c #Conflicts: 1602000 | #Constraints: 35840
2226.91/2232.94 c #Conflicts: 1603000 | #Constraints: 36840
2419.74/2426.29 c #Conflicts: 1604000 | #Constraints: 37840
2419.74/2426.29 c #Conflicts: 1605000 | #Constraints: 38840
2419.74/2426.29 c #Conflicts: 1606000 | #Constraints: 39840
2419.74/2426.29 c #Conflicts: 1607000 | #Constraints: 40840
2419.74/2426.29 c #Conflicts: 1608000 | #Constraints: 41840
2419.74/2426.29 c #Conflicts: 1609000 | #Constraints: 42840
2419.74/2426.29 c #Conflicts: 1610000 | #Constraints: 43840
2419.74/2426.29 c #Conflicts: 1611000 | #Constraints: 44840
2419.74/2426.29 c #Conflicts: 1612000 | #Constraints: 45840
2419.74/2426.29 c #Conflicts: 1613000 | #Constraints: 46840
2419.74/2426.29 c #Conflicts: 1614000 | #Constraints: 47840
2419.74/2426.29 c #Conflicts: 1615000 | #Constraints: 48840
2419.74/2426.29 c #Conflicts: 1616000 | #Constraints: 49840
2419.74/2426.29 c INPROCESSING
2419.74/2426.29 c GARBAGE COLLECT
2419.74/2426.29 c #Conflicts: 1617000 | #Constraints: 25641
2419.74/2426.29 c #Conflicts: 1618000 | #Constraints: 26641
2419.74/2426.29 c #Conflicts: 1619000 | #Constraints: 27641
2419.74/2426.29 c #Conflicts: 1620000 | #Constraints: 28641
2419.74/2426.29 c #Conflicts: 1621000 | #Constraints: 29641
2419.74/2426.29 c #Conflicts: 1622000 | #Constraints: 30641
2419.74/2426.29 c #Conflicts: 1623000 | #Constraints: 31641
2419.74/2426.29 c #Conflicts: 1624000 | #Constraints: 32641
2419.74/2426.29 c #Conflicts: 1625000 | #Constraints: 33641
2419.74/2426.29 c #Conflicts: 1626000 | #Constraints: 34641
2419.74/2426.29 c #Conflicts: 1627000 | #Constraints: 35641
2419.74/2426.29 c #Conflicts: 1628000 | #Constraints: 36641
2419.74/2426.29 c #Conflicts: 1629000 | #Constraints: 37641
2419.74/2426.29 c #Conflicts: 1630000 | #Constraints: 38641
2419.74/2426.29 c #Conflicts: 1631000 | #Constraints: 39641
2419.74/2426.29 c #Conflicts: 1632000 | #Constraints: 40641
2419.74/2426.29 c #Conflicts: 1633000 | #Constraints: 41641
2419.74/2426.29 c #Conflicts: 1634000 | #Constraints: 42641
2419.74/2426.29 c #Conflicts: 1635000 | #Constraints: 43641
2419.74/2426.29 c #Conflicts: 1636000 | #Constraints: 44641
2419.74/2426.29 c #Conflicts: 1637000 | #Constraints: 45641
2419.74/2426.29 c #Conflicts: 1638000 | #Constraints: 46641
2419.74/2426.29 c #Conflicts: 1639000 | #Constraints: 47641
2419.74/2426.29 c #Conflicts: 1640000 | #Constraints: 48641
2419.74/2426.29 c #Conflicts: 1641000 | #Constraints: 49641
2419.74/2426.29 c #Conflicts: 1642000 | #Constraints: 50641
2419.74/2426.29 c INPROCESSING
2419.74/2426.29 c GARBAGE COLLECT
2419.74/2426.29 c #Conflicts: 1643000 | #Constraints: 26240
2419.74/2426.29 c #Conflicts: 1644000 | #Constraints: 27240
2419.74/2426.29 c #Conflicts: 1645000 | #Constraints: 28240
2419.74/2426.29 c #Conflicts: 1646000 | #Constraints: 29240
2419.74/2426.29 c #Conflicts: 1647000 | #Constraints: 30240
2419.74/2426.29 c #Conflicts: 1648000 | #Constraints: 31240
2419.74/2426.29 c #Conflicts: 1649000 | #Constraints: 32240
2419.74/2426.29 c #Conflicts: 1650000 | #Constraints: 33240
2419.74/2426.29 c #Conflicts: 1651000 | #Constraints: 34240
2419.74/2426.29 c #Conflicts: 1652000 | #Constraints: 35240
2419.74/2426.29 c #Conflicts: 1653000 | #Constraints: 36240
2419.74/2426.29 c #Conflicts: 1654000 | #Constraints: 37240
2419.74/2426.29 c #Conflicts: 1655000 | #Constraints: 38240
2419.74/2426.29 c #Conflicts: 1656000 | #Constraints: 39240
2419.74/2426.29 c #Conflicts: 1657000 | #Constraints: 40240
2419.74/2426.29 c #Conflicts: 1658000 | #Constraints: 41240
2419.74/2426.29 c #Conflicts: 1659000 | #Constraints: 42240
2419.74/2426.29 c #Conflicts: 1660000 | #Constraints: 43240
2419.74/2426.29 c #Conflicts: 1661000 | #Constraints: 44240
2419.74/2426.29 c #Conflicts: 1662000 | #Constraints: 45240
2419.74/2426.29 c #Conflicts: 1663000 | #Constraints: 46240
2419.74/2426.29 c #Conflicts: 1664000 | #Constraints: 47240
2419.74/2426.29 c #Conflicts: 1665000 | #Constraints: 48240
2419.74/2426.29 c #Conflicts: 1666000 | #Constraints: 49240
2419.74/2426.29 c #Conflicts: 1667000 | #Constraints: 50240
2419.74/2426.29 c #Conflicts: 1668000 | #Constraints: 51240
2419.74/2426.29 c INPROCESSING
2419.74/2426.29 c GARBAGE COLLECT
2419.74/2426.29 c #Conflicts: 1669000 | #Constraints: 26636
2419.74/2426.29 c #Conflicts: 1670000 | #Constraints: 27636
2419.74/2426.29 c #Conflicts: 1671000 | #Constraints: 28636
2419.74/2426.29 c #Conflicts: 1672000 | #Constraints: 29636
2419.74/2426.29 c #Conflicts: 1673000 | #Constraints: 30636
2419.74/2426.29 c #Conflicts: 1674000 | #Constraints: 31636
2419.74/2426.29 c #Conflicts: 1675000 | #Constraints: 32636
2419.74/2426.29 c #Conflicts: 1676000 | #Constraints: 33636
2419.74/2426.29 c #Conflicts: 1677000 | #Constraints: 34636
2419.74/2426.29 c #Conflicts: 1678000 | #Constraints: 35636
2419.74/2426.29 c #Conflicts: 1679000 | #Constraints: 36636
2419.74/2426.29 c #Conflicts: 1680000 | #Constraints: 37636
2600.41/2607.37 c #Conflicts: 1681000 | #Constraints: 38636
2600.41/2607.37 c #Conflicts: 1682000 | #Constraints: 39636
2600.41/2607.37 c #Conflicts: 1683000 | #Constraints: 40636
2600.41/2607.37 c #Conflicts: 1684000 | #Constraints: 41636
2600.41/2607.37 c #Conflicts: 1685000 | #Constraints: 42636
2600.41/2607.37 c #Conflicts: 1686000 | #Constraints: 43636
2600.41/2607.37 c #Conflicts: 1687000 | #Constraints: 44636
2600.41/2607.37 c #Conflicts: 1688000 | #Constraints: 45636
2600.41/2607.37 c #Conflicts: 1689000 | #Constraints: 46636
2600.41/2607.37 c #Conflicts: 1690000 | #Constraints: 47636
2600.41/2607.37 c #Conflicts: 1691000 | #Constraints: 48636
2600.41/2607.37 c #Conflicts: 1692000 | #Constraints: 49636
2600.41/2607.37 c #Conflicts: 1693000 | #Constraints: 50636
2600.41/2607.37 c #Conflicts: 1694000 | #Constraints: 51636
2600.41/2607.37 c INPROCESSING
2600.41/2607.37 c GARBAGE COLLECT
2600.41/2607.37 c #Conflicts: 1695000 | #Constraints: 26835
2600.41/2607.37 c #Conflicts: 1696000 | #Constraints: 27835
2600.41/2607.37 c #Conflicts: 1697000 | #Constraints: 28835
2600.41/2607.37 c #Conflicts: 1698000 | #Constraints: 29835
2600.41/2607.37 c #Conflicts: 1699000 | #Constraints: 30835
2600.41/2607.37 c #Conflicts: 1700000 | #Constraints: 31835
2600.41/2607.37 c #Conflicts: 1701000 | #Constraints: 32835
2600.41/2607.37 c #Conflicts: 1702000 | #Constraints: 33835
2600.41/2607.37 c #Conflicts: 1703000 | #Constraints: 34835
2600.41/2607.37 c #Conflicts: 1704000 | #Constraints: 35835
2600.41/2607.37 c #Conflicts: 1705000 | #Constraints: 36835
2600.41/2607.37 c #Conflicts: 1706000 | #Constraints: 37835
2600.41/2607.37 c #Conflicts: 1707000 | #Constraints: 38835
2600.41/2607.37 c #Conflicts: 1708000 | #Constraints: 39835
2600.41/2607.37 c #Conflicts: 1709000 | #Constraints: 40835
2600.41/2607.37 c #Conflicts: 1710000 | #Constraints: 41835
2600.41/2607.37 c #Conflicts: 1711000 | #Constraints: 42835
2600.41/2607.37 c #Conflicts: 1712000 | #Constraints: 43835
2600.41/2607.37 c #Conflicts: 1713000 | #Constraints: 44835
2600.41/2607.37 c #Conflicts: 1714000 | #Constraints: 45835
2600.41/2607.37 c #Conflicts: 1715000 | #Constraints: 46835
2600.41/2607.37 c #Conflicts: 1716000 | #Constraints: 47835
2600.41/2607.37 c #Conflicts: 1717000 | #Constraints: 48835
2600.41/2607.37 c #Conflicts: 1718000 | #Constraints: 49835
2600.41/2607.37 c #Conflicts: 1719000 | #Constraints: 50835
2600.41/2607.37 c #Conflicts: 1720000 | #Constraints: 51835
2600.41/2607.37 c INPROCESSING
2600.41/2607.37 c GARBAGE COLLECT
2600.41/2607.37 c #Conflicts: 1721000 | #Constraints: 26834
2600.41/2607.37 c #Conflicts: 1722000 | #Constraints: 27834
2600.41/2607.37 c #Conflicts: 1723000 | #Constraints: 28834
2600.41/2607.37 c #Conflicts: 1724000 | #Constraints: 29834
2600.41/2607.37 c #Conflicts: 1725000 | #Constraints: 30834
2600.41/2607.37 c #Conflicts: 1726000 | #Constraints: 31834
2600.41/2607.37 c #Conflicts: 1727000 | #Constraints: 32834
2600.41/2607.37 c #Conflicts: 1728000 | #Constraints: 33834
2600.41/2607.37 c #Conflicts: 1729000 | #Constraints: 34834
2600.41/2607.37 c #Conflicts: 1730000 | #Constraints: 35834
2600.41/2607.37 c #Conflicts: 1731000 | #Constraints: 36834
2600.41/2607.37 c #Conflicts: 1732000 | #Constraints: 37834
2600.41/2607.37 c #Conflicts: 1733000 | #Constraints: 38834
2600.41/2607.37 c #Conflicts: 1734000 | #Constraints: 39834
2600.41/2607.37 c #Conflicts: 1735000 | #Constraints: 40834
2600.41/2607.37 c #Conflicts: 1736000 | #Constraints: 41834
2600.41/2607.37 c #Conflicts: 1737000 | #Constraints: 42834
2600.41/2607.37 c #Conflicts: 1738000 | #Constraints: 43834
2600.41/2607.37 c #Conflicts: 1739000 | #Constraints: 44834
2600.41/2607.37 c #Conflicts: 1740000 | #Constraints: 45834
2600.41/2607.37 c #Conflicts: 1741000 | #Constraints: 46834
2600.41/2607.37 c #Conflicts: 1742000 | #Constraints: 47834
2600.41/2607.37 c #Conflicts: 1743000 | #Constraints: 48834
2600.41/2607.37 c #Conflicts: 1744000 | #Constraints: 49834
2600.41/2607.37 c #Conflicts: 1745000 | #Constraints: 50834
2600.41/2607.37 c #Conflicts: 1746000 | #Constraints: 51834
2600.41/2607.37 c INPROCESSING
2600.41/2607.37 c GARBAGE COLLECT
2600.41/2607.37 c #Conflicts: 1747000 | #Constraints: 26634
2600.41/2607.37 c #Conflicts: 1748000 | #Constraints: 27634
2600.41/2607.37 c #Conflicts: 1749000 | #Constraints: 28634
2600.41/2607.37 c #Conflicts: 1750000 | #Constraints: 29634
2600.41/2607.37 c #Conflicts: 1751000 | #Constraints: 30634
2600.41/2607.37 c #Conflicts: 1752000 | #Constraints: 31634
2600.41/2607.37 c #Conflicts: 1753000 | #Constraints: 32634
2600.41/2607.37 c #Conflicts: 1754000 | #Constraints: 33634
2600.41/2607.37 c #Conflicts: 1755000 | #Constraints: 34634
2600.41/2607.37 c #Conflicts: 1756000 | #Constraints: 35634
2600.41/2607.37 c #Conflicts: 1757000 | #Constraints: 36634
2772.80/2780.16 c #Conflicts: 1758000 | #Constraints: 37634
2772.80/2780.16 c #Conflicts: 1759000 | #Constraints: 38634
2772.80/2780.16 c #Conflicts: 1760000 | #Constraints: 39634
2772.80/2780.16 c #Conflicts: 1761000 | #Constraints: 40634
2772.80/2780.16 c #Conflicts: 1762000 | #Constraints: 41634
2772.80/2780.16 c #Conflicts: 1763000 | #Constraints: 42634
2772.80/2780.16 c #Conflicts: 1764000 | #Constraints: 43634
2772.80/2780.16 c #Conflicts: 1765000 | #Constraints: 44634
2772.80/2780.16 c #Conflicts: 1766000 | #Constraints: 45634
2772.80/2780.16 c #Conflicts: 1767000 | #Constraints: 46634
2772.80/2780.16 c #Conflicts: 1768000 | #Constraints: 47634
2772.80/2780.16 c #Conflicts: 1769000 | #Constraints: 48634
2772.80/2780.16 c #Conflicts: 1770000 | #Constraints: 49634
2772.80/2780.16 c #Conflicts: 1771000 | #Constraints: 50634
2772.80/2780.16 c #Conflicts: 1772000 | #Constraints: 51634
2772.80/2780.16 c #Conflicts: 1773000 | #Constraints: 52634
2772.80/2780.16 c INPROCESSING
2772.80/2780.16 c GARBAGE COLLECT
2772.80/2780.16 c #Conflicts: 1774000 | #Constraints: 27233
2772.80/2780.16 c #Conflicts: 1775000 | #Constraints: 28233
2772.80/2780.16 c #Conflicts: 1776000 | #Constraints: 29233
2772.80/2780.16 c #Conflicts: 1777000 | #Constraints: 30233
2772.80/2780.16 c #Conflicts: 1778000 | #Constraints: 31233
2772.80/2780.16 c #Conflicts: 1779000 | #Constraints: 32233
2772.80/2780.16 c #Conflicts: 1780000 | #Constraints: 33233
2772.80/2780.16 c #Conflicts: 1781000 | #Constraints: 34233
2772.80/2780.16 c #Conflicts: 1782000 | #Constraints: 35233
2772.80/2780.16 c #Conflicts: 1783000 | #Constraints: 36233
2772.80/2780.16 c #Conflicts: 1784000 | #Constraints: 37233
2772.80/2780.16 c #Conflicts: 1785000 | #Constraints: 38233
2772.80/2780.16 c #Conflicts: 1786000 | #Constraints: 39233
2772.80/2780.16 c #Conflicts: 1787000 | #Constraints: 40233
2772.80/2780.16 c #Conflicts: 1788000 | #Constraints: 41233
2772.80/2780.16 c #Conflicts: 1789000 | #Constraints: 42233
2772.80/2780.16 c #Conflicts: 1790000 | #Constraints: 43233
2772.80/2780.16 c #Conflicts: 1791000 | #Constraints: 44233
2772.80/2780.16 c #Conflicts: 1792000 | #Constraints: 45233
2772.80/2780.16 c #Conflicts: 1793000 | #Constraints: 46233
2772.80/2780.16 c #Conflicts: 1794000 | #Constraints: 47233
2772.80/2780.16 c #Conflicts: 1795000 | #Constraints: 48233
2772.80/2780.16 c #Conflicts: 1796000 | #Constraints: 49233
2772.80/2780.16 c #Conflicts: 1797000 | #Constraints: 50233
2772.80/2780.16 c #Conflicts: 1798000 | #Constraints: 51233
2772.80/2780.16 c #Conflicts: 1799000 | #Constraints: 52233
2772.80/2780.16 c #Conflicts: 1800000 | #Constraints: 53233
2772.80/2780.16 c INPROCESSING
2772.80/2780.16 c GARBAGE COLLECT
2772.80/2780.16 c #Conflicts: 1801000 | #Constraints: 27634
2772.80/2780.16 c #Conflicts: 1802000 | #Constraints: 28634
2772.80/2780.16 c #Conflicts: 1803000 | #Constraints: 29634
2772.80/2780.16 c #Conflicts: 1804000 | #Constraints: 30634
2772.80/2780.16 c #Conflicts: 1805000 | #Constraints: 31634
2772.80/2780.16 c #Conflicts: 1806000 | #Constraints: 32634
2772.80/2780.16 c #Conflicts: 1807000 | #Constraints: 33634
2772.80/2780.16 c #Conflicts: 1808000 | #Constraints: 34634
2772.80/2780.16 c #Conflicts: 1809000 | #Constraints: 35634
2772.80/2780.16 c #Conflicts: 1810000 | #Constraints: 36634
2772.80/2780.16 c #Conflicts: 1811000 | #Constraints: 37634
2772.80/2780.16 c #Conflicts: 1812000 | #Constraints: 38634
2772.80/2780.16 c #Conflicts: 1813000 | #Constraints: 39634
2772.80/2780.16 c #Conflicts: 1814000 | #Constraints: 40634
2772.80/2780.16 c #Conflicts: 1815000 | #Constraints: 41634
2772.80/2780.16 c #Conflicts: 1816000 | #Constraints: 42634
2772.80/2780.16 c #Conflicts: 1817000 | #Constraints: 43634
2772.80/2780.16 c #Conflicts: 1818000 | #Constraints: 44634
2772.80/2780.16 c #Conflicts: 1819000 | #Constraints: 45634
2772.80/2780.16 c #Conflicts: 1820000 | #Constraints: 46634
2772.80/2780.16 c #Conflicts: 1821000 | #Constraints: 47634
2772.80/2780.16 c #Conflicts: 1822000 | #Constraints: 48634
2772.80/2780.16 c #Conflicts: 1823000 | #Constraints: 49634
2772.80/2780.16 c #Conflicts: 1824000 | #Constraints: 50634
2772.80/2780.16 c #Conflicts: 1825000 | #Constraints: 51634
2772.80/2780.16 c #Conflicts: 1826000 | #Constraints: 52634
2772.80/2780.16 c #Conflicts: 1827000 | #Constraints: 53634
2772.80/2780.16 c INPROCESSING
2772.80/2780.16 c GARBAGE COLLECT
2772.80/2780.16 c #Conflicts: 1828000 | #Constraints: 27836
2772.80/2780.16 c #Conflicts: 1829000 | #Constraints: 28836
2772.80/2780.16 c #Conflicts: 1830000 | #Constraints: 29836
2772.80/2780.16 c #Conflicts: 1831000 | #Constraints: 30836
2772.80/2780.16 c #Conflicts: 1832000 | #Constraints: 31836
2772.80/2780.16 c #Conflicts: 1833000 | #Constraints: 32836
2970.42/2978.20 c #Conflicts: 1834000 | #Constraints: 33836
2970.42/2978.20 c #Conflicts: 1835000 | #Constraints: 34836
2970.42/2978.20 c #Conflicts: 1836000 | #Constraints: 35836
2970.42/2978.20 c #Conflicts: 1837000 | #Constraints: 36836
2970.42/2978.20 c #Conflicts: 1838000 | #Constraints: 37836
2970.42/2978.20 c #Conflicts: 1839000 | #Constraints: 38836
2970.42/2978.20 c #Conflicts: 1840000 | #Constraints: 39836
2970.42/2978.20 c #Conflicts: 1841000 | #Constraints: 40836
2970.42/2978.20 c #Conflicts: 1842000 | #Constraints: 41836
2970.42/2978.20 c #Conflicts: 1843000 | #Constraints: 42836
2970.42/2978.20 c #Conflicts: 1844000 | #Constraints: 43836
2970.42/2978.20 c #Conflicts: 1845000 | #Constraints: 44836
2970.42/2978.20 c #Conflicts: 1846000 | #Constraints: 45836
2970.42/2978.20 c #Conflicts: 1847000 | #Constraints: 46836
2970.42/2978.20 c #Conflicts: 1848000 | #Constraints: 47836
2970.42/2978.20 c #Conflicts: 1849000 | #Constraints: 48836
2970.42/2978.20 c #Conflicts: 1850000 | #Constraints: 49836
2970.42/2978.20 c #Conflicts: 1851000 | #Constraints: 50836
2970.42/2978.20 c #Conflicts: 1852000 | #Constraints: 51836
2970.42/2978.20 c #Conflicts: 1853000 | #Constraints: 52836
2970.42/2978.20 c #Conflicts: 1854000 | #Constraints: 53836
2970.42/2978.20 c INPROCESSING
2970.42/2978.20 c GARBAGE COLLECT
2970.42/2978.20 c #Conflicts: 1855000 | #Constraints: 27838
2970.42/2978.20 c #Conflicts: 1856000 | #Constraints: 28838
2970.42/2978.20 c #Conflicts: 1857000 | #Constraints: 29838
2970.42/2978.20 c #Conflicts: 1858000 | #Constraints: 30838
2970.42/2978.20 c #Conflicts: 1859000 | #Constraints: 31838
2970.42/2978.20 c #Conflicts: 1860000 | #Constraints: 32838
2970.42/2978.20 c #Conflicts: 1861000 | #Constraints: 33838
2970.42/2978.20 c #Conflicts: 1862000 | #Constraints: 34838
2970.42/2978.20 c #Conflicts: 1863000 | #Constraints: 35838
2970.42/2978.20 c #Conflicts: 1864000 | #Constraints: 36838
2970.42/2978.20 c #Conflicts: 1865000 | #Constraints: 37838
2970.42/2978.20 c #Conflicts: 1866000 | #Constraints: 38838
2970.42/2978.20 c #Conflicts: 1867000 | #Constraints: 39838
2970.42/2978.20 c #Conflicts: 1868000 | #Constraints: 40838
2970.42/2978.20 c #Conflicts: 1869000 | #Constraints: 41838
2970.42/2978.20 c #Conflicts: 1870000 | #Constraints: 42838
2970.42/2978.20 c #Conflicts: 1871000 | #Constraints: 43838
2970.42/2978.20 c #Conflicts: 1872000 | #Constraints: 44838
2970.42/2978.20 c #Conflicts: 1873000 | #Constraints: 45838
2970.42/2978.20 c #Conflicts: 1874000 | #Constraints: 46838
2970.42/2978.20 c #Conflicts: 1875000 | #Constraints: 47838
2970.42/2978.20 c #Conflicts: 1876000 | #Constraints: 48838
2970.42/2978.20 c #Conflicts: 1877000 | #Constraints: 49838
2970.42/2978.20 c #Conflicts: 1878000 | #Constraints: 50838
2970.42/2978.20 c #Conflicts: 1879000 | #Constraints: 51838
2970.42/2978.20 c #Conflicts: 1880000 | #Constraints: 52838
2970.42/2978.20 c #Conflicts: 1881000 | #Constraints: 53838
2970.42/2978.20 c INPROCESSING
2970.42/2978.20 c GARBAGE COLLECT
2970.42/2978.20 c #Conflicts: 1882000 | #Constraints: 27636
2970.42/2978.20 c #Conflicts: 1883000 | #Constraints: 28636
2970.42/2978.20 c #Conflicts: 1884000 | #Constraints: 29636
2970.42/2978.20 c #Conflicts: 1885000 | #Constraints: 30636
2970.42/2978.20 c #Conflicts: 1886000 | #Constraints: 31636
2970.42/2978.20 c #Conflicts: 1887000 | #Constraints: 32636
2970.42/2978.20 c #Conflicts: 1888000 | #Constraints: 33636
2970.42/2978.20 c #Conflicts: 1889000 | #Constraints: 34636
2970.42/2978.20 c #Conflicts: 1890000 | #Constraints: 35636
2970.42/2978.20 c #Conflicts: 1891000 | #Constraints: 36636
2970.42/2978.20 c #Conflicts: 1892000 | #Constraints: 37636
2970.42/2978.20 c #Conflicts: 1893000 | #Constraints: 38636
2970.42/2978.20 c #Conflicts: 1894000 | #Constraints: 39636
2970.42/2978.20 c #Conflicts: 1895000 | #Constraints: 40636
2970.42/2978.20 c #Conflicts: 1896000 | #Constraints: 41636
2970.42/2978.20 c #Conflicts: 1897000 | #Constraints: 42636
2970.42/2978.20 c #Conflicts: 1898000 | #Constraints: 43636
2970.42/2978.20 c #Conflicts: 1899000 | #Constraints: 44636
2970.42/2978.20 c #Conflicts: 1900000 | #Constraints: 45636
2970.42/2978.20 c #Conflicts: 1901000 | #Constraints: 46636
2970.42/2978.20 c #Conflicts: 1902000 | #Constraints: 47636
2970.42/2978.20 c #Conflicts: 1903000 | #Constraints: 48636
2970.42/2978.20 c #Conflicts: 1904000 | #Constraints: 49636
2970.42/2978.20 c #Conflicts: 1905000 | #Constraints: 50636
2970.42/2978.20 c #Conflicts: 1906000 | #Constraints: 51636
2970.42/2978.20 c #Conflicts: 1907000 | #Constraints: 52636
2970.42/2978.20 c #Conflicts: 1908000 | #Constraints: 53636
2970.42/2978.20 c #Conflicts: 1909000 | #Constraints: 54636
2970.42/2978.20 c INPROCESSING
2970.42/2978.20 c GARBAGE COLLECT
2970.42/2978.20 c #Conflicts: 1910000 | #Constraints: 28238
3160.75/3169.03 c #Conflicts: 1911000 | #Constraints: 29238
3160.75/3169.03 c #Conflicts: 1912000 | #Constraints: 30238
3160.75/3169.03 c #Conflicts: 1913000 | #Constraints: 31238
3160.75/3169.03 c #Conflicts: 1914000 | #Constraints: 32238
3160.75/3169.03 c #Conflicts: 1915000 | #Constraints: 33238
3160.75/3169.03 c #Conflicts: 1916000 | #Constraints: 34238
3160.75/3169.03 c #Conflicts: 1917000 | #Constraints: 35238
3160.75/3169.03 c #Conflicts: 1918000 | #Constraints: 36238
3160.75/3169.03 c #Conflicts: 1919000 | #Constraints: 37238
3160.75/3169.03 c #Conflicts: 1920000 | #Constraints: 38238
3160.75/3169.03 c #Conflicts: 1921000 | #Constraints: 39238
3160.75/3169.03 c #Conflicts: 1922000 | #Constraints: 40238
3160.75/3169.03 c #Conflicts: 1923000 | #Constraints: 41238
3160.75/3169.03 c #Conflicts: 1924000 | #Constraints: 42238
3160.75/3169.03 c #Conflicts: 1925000 | #Constraints: 43238
3160.75/3169.03 c #Conflicts: 1926000 | #Constraints: 44238
3160.75/3169.03 c #Conflicts: 1927000 | #Constraints: 45238
3160.75/3169.03 c #Conflicts: 1928000 | #Constraints: 46238
3160.75/3169.03 c #Conflicts: 1929000 | #Constraints: 47238
3160.75/3169.03 c #Conflicts: 1930000 | #Constraints: 48238
3160.75/3169.03 c #Conflicts: 1931000 | #Constraints: 49238
3160.75/3169.03 c #Conflicts: 1932000 | #Constraints: 50238
3160.75/3169.03 c #Conflicts: 1933000 | #Constraints: 51238
3160.75/3169.03 c #Conflicts: 1934000 | #Constraints: 52238
3160.75/3169.03 c #Conflicts: 1935000 | #Constraints: 53238
3160.75/3169.03 c #Conflicts: 1936000 | #Constraints: 54238
3160.75/3169.03 c #Conflicts: 1937000 | #Constraints: 55238
3160.75/3169.03 c INPROCESSING
3160.75/3169.03 c GARBAGE COLLECT
3160.75/3169.03 c #Conflicts: 1938000 | #Constraints: 28637
3160.75/3169.03 c #Conflicts: 1939000 | #Constraints: 29637
3160.75/3169.03 c #Conflicts: 1940000 | #Constraints: 30637
3160.75/3169.03 c #Conflicts: 1941000 | #Constraints: 31637
3160.75/3169.03 c #Conflicts: 1942000 | #Constraints: 32637
3160.75/3169.03 c #Conflicts: 1943000 | #Constraints: 33637
3160.75/3169.03 c #Conflicts: 1944000 | #Constraints: 34637
3160.75/3169.03 c #Conflicts: 1945000 | #Constraints: 35637
3160.75/3169.03 c #Conflicts: 1946000 | #Constraints: 36637
3160.75/3169.03 c #Conflicts: 1947000 | #Constraints: 37637
3160.75/3169.03 c #Conflicts: 1948000 | #Constraints: 38637
3160.75/3169.03 c #Conflicts: 1949000 | #Constraints: 39637
3160.75/3169.03 c #Conflicts: 1950000 | #Constraints: 40637
3160.75/3169.03 c #Conflicts: 1951000 | #Constraints: 41637
3160.75/3169.03 c #Conflicts: 1952000 | #Constraints: 42637
3160.75/3169.03 c #Conflicts: 1953000 | #Constraints: 43637
3160.75/3169.03 c #Conflicts: 1954000 | #Constraints: 44637
3160.75/3169.03 c #Conflicts: 1955000 | #Constraints: 45637
3160.75/3169.03 c #Conflicts: 1956000 | #Constraints: 46637
3160.75/3169.03 c #Conflicts: 1957000 | #Constraints: 47637
3160.75/3169.03 c #Conflicts: 1958000 | #Constraints: 48637
3160.75/3169.03 c #Conflicts: 1959000 | #Constraints: 49637
3160.75/3169.03 c #Conflicts: 1960000 | #Constraints: 50637
3160.75/3169.03 c #Conflicts: 1961000 | #Constraints: 51637
3160.75/3169.03 c #Conflicts: 1962000 | #Constraints: 52637
3160.75/3169.03 c #Conflicts: 1963000 | #Constraints: 53637
3160.75/3169.03 c #Conflicts: 1964000 | #Constraints: 54637
3160.75/3169.03 c #Conflicts: 1965000 | #Constraints: 55637
3160.75/3169.03 c INPROCESSING
3160.75/3169.03 c GARBAGE COLLECT
3160.75/3169.03 c #Conflicts: 1966000 | #Constraints: 28837
3160.75/3169.03 c #Conflicts: 1967000 | #Constraints: 29837
3160.75/3169.03 c #Conflicts: 1968000 | #Constraints: 30837
3160.75/3169.03 c #Conflicts: 1969000 | #Constraints: 31837
3160.75/3169.03 c #Conflicts: 1970000 | #Constraints: 32837
3160.75/3169.03 c #Conflicts: 1971000 | #Constraints: 33837
3160.75/3169.03 c #Conflicts: 1972000 | #Constraints: 34837
3160.75/3169.03 c #Conflicts: 1973000 | #Constraints: 35837
3160.75/3169.03 c #Conflicts: 1974000 | #Constraints: 36837
3160.75/3169.03 c #Conflicts: 1975000 | #Constraints: 37837
3160.75/3169.03 c #Conflicts: 1976000 | #Constraints: 38837
3160.75/3169.03 c #Conflicts: 1977000 | #Constraints: 39837
3160.75/3169.03 c #Conflicts: 1978000 | #Constraints: 40837
3160.75/3169.03 c #Conflicts: 1979000 | #Constraints: 41837
3160.75/3169.03 c #Conflicts: 1980000 | #Constraints: 42837
3160.75/3169.03 c #Conflicts: 1981000 | #Constraints: 43837
3160.75/3169.03 c #Conflicts: 1982000 | #Constraints: 44837
3160.75/3169.03 c #Conflicts: 1983000 | #Constraints: 45837
3160.75/3169.03 c #Conflicts: 1984000 | #Constraints: 46837
3160.75/3169.03 c #Conflicts: 1985000 | #Constraints: 47837
3160.75/3169.03 c #Conflicts: 1986000 | #Constraints: 48837
3160.75/3169.03 c #Conflicts: 1987000 | #Constraints: 49837
3160.75/3169.03 c #Conflicts: 1988000 | #Constraints: 50837
3354.58/3363.30 c #Conflicts: 1989000 | #Constraints: 51837
3354.58/3363.30 c #Conflicts: 1990000 | #Constraints: 52837
3354.58/3363.30 c #Conflicts: 1991000 | #Constraints: 53837
3354.58/3363.30 c #Conflicts: 1992000 | #Constraints: 54837
3354.58/3363.30 c #Conflicts: 1993000 | #Constraints: 55837
3354.58/3363.30 c INPROCESSING
3354.58/3363.30 c GARBAGE COLLECT
3354.58/3363.30 c #Conflicts: 1994000 | #Constraints: 28836
3354.58/3363.30 c #Conflicts: 1995000 | #Constraints: 29836
3354.58/3363.30 c #Conflicts: 1996000 | #Constraints: 30836
3354.58/3363.30 c #Conflicts: 1997000 | #Constraints: 31836
3354.58/3363.30 c #Conflicts: 1998000 | #Constraints: 32836
3354.58/3363.30 c #Conflicts: 1999000 | #Constraints: 33836
3354.58/3363.30 c #Conflicts: 2000000 | #Constraints: 34836
3354.58/3363.30 c #Conflicts: 2001000 | #Constraints: 35836
3354.58/3363.30 c #Conflicts: 2002000 | #Constraints: 36836
3354.58/3363.30 c #Conflicts: 2003000 | #Constraints: 37836
3354.58/3363.30 c #Conflicts: 2004000 | #Constraints: 38836
3354.58/3363.30 c #Conflicts: 2005000 | #Constraints: 39836
3354.58/3363.30 c #Conflicts: 2006000 | #Constraints: 40836
3354.58/3363.30 c #Conflicts: 2007000 | #Constraints: 41836
3354.58/3363.30 c #Conflicts: 2008000 | #Constraints: 42836
3354.58/3363.30 c #Conflicts: 2009000 | #Constraints: 43836
3354.58/3363.30 c #Conflicts: 2010000 | #Constraints: 44836
3354.58/3363.30 c #Conflicts: 2011000 | #Constraints: 45836
3354.58/3363.30 c #Conflicts: 2012000 | #Constraints: 46836
3354.58/3363.30 c #Conflicts: 2013000 | #Constraints: 47836
3354.58/3363.30 c #Conflicts: 2014000 | #Constraints: 48836
3354.58/3363.30 c #Conflicts: 2015000 | #Constraints: 49836
3354.58/3363.30 c #Conflicts: 2016000 | #Constraints: 50836
3354.58/3363.30 c #Conflicts: 2017000 | #Constraints: 51836
3354.58/3363.30 c #Conflicts: 2018000 | #Constraints: 52836
3354.58/3363.30 c #Conflicts: 2019000 | #Constraints: 53836
3354.58/3363.30 c #Conflicts: 2020000 | #Constraints: 54836
3354.58/3363.30 c #Conflicts: 2021000 | #Constraints: 55836
3354.58/3363.30 c INPROCESSING
3354.58/3363.30 c GARBAGE COLLECT
3354.58/3363.30 c #Conflicts: 2022000 | #Constraints: 28638
3354.58/3363.30 c #Conflicts: 2023000 | #Constraints: 29638
3354.58/3363.30 c #Conflicts: 2024000 | #Constraints: 30638
3354.58/3363.30 c #Conflicts: 2025000 | #Constraints: 31638
3354.58/3363.30 c #Conflicts: 2026000 | #Constraints: 32638
3354.58/3363.30 c #Conflicts: 2027000 | #Constraints: 33638
3354.58/3363.30 c #Conflicts: 2028000 | #Constraints: 34638
3354.58/3363.30 c #Conflicts: 2029000 | #Constraints: 35638
3354.58/3363.30 c #Conflicts: 2030000 | #Constraints: 36638
3354.58/3363.30 c #Conflicts: 2031000 | #Constraints: 37638
3354.58/3363.30 c #Conflicts: 2032000 | #Constraints: 38638
3354.58/3363.30 c #Conflicts: 2033000 | #Constraints: 39638
3354.58/3363.30 c #Conflicts: 2034000 | #Constraints: 40638
3354.58/3363.30 c #Conflicts: 2035000 | #Constraints: 41638
3354.58/3363.30 c #Conflicts: 2036000 | #Constraints: 42638
3354.58/3363.30 c #Conflicts: 2037000 | #Constraints: 43638
3354.58/3363.30 c #Conflicts: 2038000 | #Constraints: 44638
3354.58/3363.30 c #Conflicts: 2039000 | #Constraints: 45638
3354.58/3363.30 c #Conflicts: 2040000 | #Constraints: 46638
3354.58/3363.30 c #Conflicts: 2041000 | #Constraints: 47638
3354.58/3363.30 c #Conflicts: 2042000 | #Constraints: 48638
3354.58/3363.30 c #Conflicts: 2043000 | #Constraints: 49638
3354.58/3363.30 c #Conflicts: 2044000 | #Constraints: 50638
3354.58/3363.30 c #Conflicts: 2045000 | #Constraints: 51638
3354.58/3363.30 c #Conflicts: 2046000 | #Constraints: 52638
3354.58/3363.30 c #Conflicts: 2047000 | #Constraints: 53638
3354.58/3363.30 c #Conflicts: 2048000 | #Constraints: 54638
3354.58/3363.30 c #Conflicts: 2049000 | #Constraints: 55638
3354.58/3363.30 c #Conflicts: 2050000 | #Constraints: 56638
3354.58/3363.30 c INPROCESSING
3354.58/3363.30 c GARBAGE COLLECT
3354.58/3363.30 c #Conflicts: 2051000 | #Constraints: 29240
3354.58/3363.30 c #Conflicts: 2052000 | #Constraints: 30240
3354.58/3363.30 c #Conflicts: 2053000 | #Constraints: 31240
3354.58/3363.30 c #Conflicts: 2054000 | #Constraints: 32240
3354.58/3363.30 c #Conflicts: 2055000 | #Constraints: 33240
3354.58/3363.30 c #Conflicts: 2056000 | #Constraints: 34240
3354.58/3363.30 c #Conflicts: 2057000 | #Constraints: 35240
3354.58/3363.30 c #Conflicts: 2058000 | #Constraints: 36240
3354.58/3363.30 c #Conflicts: 2059000 | #Constraints: 37240
3354.58/3363.30 c #Conflicts: 2060000 | #Constraints: 38240
3354.58/3363.30 c #Conflicts: 2061000 | #Constraints: 39240
3354.58/3363.30 c #Conflicts: 2062000 | #Constraints: 40240
3354.58/3363.30 c #Conflicts: 2063000 | #Constraints: 41240
3354.58/3363.30 c #Conflicts: 2064000 | #Constraints: 42240
3354.58/3363.30 c #Conflicts: 2065000 | #Constraints: 43240
3568.06/3577.37 c #Conflicts: 2066000 | #Constraints: 44240
3568.06/3577.37 c #Conflicts: 2067000 | #Constraints: 45240
3568.06/3577.37 c #Conflicts: 2068000 | #Constraints: 46240
3568.06/3577.37 c #Conflicts: 2069000 | #Constraints: 47240
3568.06/3577.37 c #Conflicts: 2070000 | #Constraints: 48240
3568.06/3577.37 c #Conflicts: 2071000 | #Constraints: 49240
3568.06/3577.37 c #Conflicts: 2072000 | #Constraints: 50240
3568.06/3577.37 c #Conflicts: 2073000 | #Constraints: 51240
3568.06/3577.37 c #Conflicts: 2074000 | #Constraints: 52240
3568.06/3577.37 c #Conflicts: 2075000 | #Constraints: 53240
3568.06/3577.37 c #Conflicts: 2076000 | #Constraints: 54240
3568.06/3577.37 c #Conflicts: 2077000 | #Constraints: 55240
3568.06/3577.37 c #Conflicts: 2078000 | #Constraints: 56240
3568.06/3577.37 c #Conflicts: 2079000 | #Constraints: 57240
3568.06/3577.37 c INPROCESSING
3568.06/3577.37 c GARBAGE COLLECT
3568.06/3577.37 c #Conflicts: 2080000 | #Constraints: 29641
3568.06/3577.37 c #Conflicts: 2081000 | #Constraints: 30641
3568.06/3577.37 c #Conflicts: 2082000 | #Constraints: 31641
3568.06/3577.37 c #Conflicts: 2083000 | #Constraints: 32641
3568.06/3577.37 c #Conflicts: 2084000 | #Constraints: 33641
3568.06/3577.37 c #Conflicts: 2085000 | #Constraints: 34641
3568.06/3577.37 c #Conflicts: 2086000 | #Constraints: 35641
3568.06/3577.37 c #Conflicts: 2087000 | #Constraints: 36641
3568.06/3577.37 c #Conflicts: 2088000 | #Constraints: 37641
3568.06/3577.37 c #Conflicts: 2089000 | #Constraints: 38641
3568.06/3577.37 c #Conflicts: 2090000 | #Constraints: 39641
3568.06/3577.37 c #Conflicts: 2091000 | #Constraints: 40641
3568.06/3577.37 c #Conflicts: 2092000 | #Constraints: 41641
3568.06/3577.37 c #Conflicts: 2093000 | #Constraints: 42641
3568.06/3577.37 c #Conflicts: 2094000 | #Constraints: 43641
3568.06/3577.37 c #Conflicts: 2095000 | #Constraints: 44641
3568.06/3577.37 c #Conflicts: 2096000 | #Constraints: 45641
3568.06/3577.37 c #Conflicts: 2097000 | #Constraints: 46641
3568.06/3577.37 c #Conflicts: 2098000 | #Constraints: 47641
3568.06/3577.37 c #Conflicts: 2099000 | #Constraints: 48641
3568.06/3577.37 c #Conflicts: 2100000 | #Constraints: 49641
3568.06/3577.37 c #Conflicts: 2101000 | #Constraints: 50641
3568.06/3577.37 c #Conflicts: 2102000 | #Constraints: 51641
3568.06/3577.37 c #Conflicts: 2103000 | #Constraints: 52641
3568.06/3577.37 c #Conflicts: 2104000 | #Constraints: 53641
3568.06/3577.37 c #Conflicts: 2105000 | #Constraints: 54641
3568.06/3577.37 c #Conflicts: 2106000 | #Constraints: 55641
3568.06/3577.37 c #Conflicts: 2107000 | #Constraints: 56641
3568.06/3577.37 c #Conflicts: 2108000 | #Constraints: 57641
3568.06/3577.37 c INPROCESSING
3568.06/3577.37 c GARBAGE COLLECT
3568.06/3577.37 c #Conflicts: 2109000 | #Constraints: 29840
3568.06/3577.37 c #Conflicts: 2110000 | #Constraints: 30840
3568.06/3577.37 c #Conflicts: 2111000 | #Constraints: 31840
3568.06/3577.37 c #Conflicts: 2112000 | #Constraints: 32840
3568.06/3577.37 c #Conflicts: 2113000 | #Constraints: 33840
3568.06/3577.37 c #Conflicts: 2114000 | #Constraints: 34840
3568.06/3577.37 c #Conflicts: 2115000 | #Constraints: 35840
3568.06/3577.37 c #Conflicts: 2116000 | #Constraints: 36840
3568.06/3577.37 c #Conflicts: 2117000 | #Constraints: 37840
3568.06/3577.37 c #Conflicts: 2118000 | #Constraints: 38840
3568.06/3577.37 c #Conflicts: 2119000 | #Constraints: 39840
3568.06/3577.37 c #Conflicts: 2120000 | #Constraints: 40840
3568.06/3577.37 c #Conflicts: 2121000 | #Constraints: 41840
3568.06/3577.37 c #Conflicts: 2122000 | #Constraints: 42840
3568.06/3577.37 c #Conflicts: 2123000 | #Constraints: 43840
3568.06/3577.37 c #Conflicts: 2124000 | #Constraints: 44840
3568.06/3577.37 c #Conflicts: 2125000 | #Constraints: 45840
3568.06/3577.37 c #Conflicts: 2126000 | #Constraints: 46840
3568.06/3577.37 c #Conflicts: 2127000 | #Constraints: 47840
3568.06/3577.37 c #Conflicts: 2128000 | #Constraints: 48840
3568.06/3577.37 c #Conflicts: 2129000 | #Constraints: 49840
3568.06/3577.37 c #Conflicts: 2130000 | #Constraints: 50840
3568.06/3577.37 c #Conflicts: 2131000 | #Constraints: 51840
3568.06/3577.37 c #Conflicts: 2132000 | #Constraints: 52840
3568.06/3577.37 c #Conflicts: 2133000 | #Constraints: 53840
3568.06/3577.37 c #Conflicts: 2134000 | #Constraints: 54840
3568.06/3577.37 c #Conflicts: 2135000 | #Constraints: 55840
3568.06/3577.37 c #Conflicts: 2136000 | #Constraints: 56840
3568.06/3577.37 c #Conflicts: 2137000 | #Constraints: 57840
3568.06/3577.37 c INPROCESSING
3568.06/3577.37 c GARBAGE COLLECT
3568.06/3577.37 c #Conflicts: 2138000 | #Constraints: 29839
3568.06/3577.37 c #Conflicts: 2139000 | #Constraints: 30839
3568.06/3577.37 c #Conflicts: 2140000 | #Constraints: 31839
3568.06/3577.37 c #Conflicts: 2141000 | #Constraints: 32839
3568.06/3577.37 c #Conflicts: 2142000 | #Constraints: 33839
3600.08/3609.40 c #Conflicts: 2143000 | #Constraints: 34839
3600.08/3609.40 c #Conflicts: 2144000 | #Constraints: 35839
3600.08/3609.40 c #Conflicts: 2145000 | #Constraints: 36839
3600.08/3609.40 c #Conflicts: 2146000 | #Constraints: 37839
3600.08/3609.40 c #Conflicts: 2147000 | #Constraints: 38839
3600.08/3609.40 c #Conflicts: 2148000 | #Constraints: 39839
3600.08/3609.40 c #Conflicts: 2149000 | #Constraints: 40839
3600.08/3609.40 c #Conflicts: 2150000 | #Constraints: 41839
3600.08/3609.40 c #Conflicts: 2151000 | #Constraints: 42839
3600.08/3609.40 c #Conflicts: 2152000 | #Constraints: 43839
3600.08/3609.40 c #Conflicts: 2153000 | #Constraints: 44839
3600.08/3609.40 c Program interrupted by user.
3600.08/3609.40 c cpu time 3591.64 s
3600.08/3609.40 c deterministic time 595645056356 5.96e+11
3600.08/3609.40 c optimization time 43.3288 s
3600.08/3609.40 c total solve time 3548.31 s
3600.08/3609.40 c core-guided solve time 3548.31 s
3600.08/3609.40 c propagation time 3448.13 s
3600.08/3609.40 c conflict analysis time 126.531 s
3600.08/3609.40 c propagations 27708282
3600.08/3609.40 c resolve steps 9750443
3600.08/3609.40 c decisions 4617722
3600.08/3609.40 c conflicts 2153254
3600.08/3609.40 c restarts 4093
3600.08/3609.40 c inprocessing phases 137
3600.08/3609.40 c input clauses 0
3600.08/3609.40 c input cardinalities 0
3600.08/3609.40 c input general constraints 19
3600.08/3609.40 c input average constraint length 92.00
3600.08/3609.40 c input average constraint degree 2279.37
3600.08/3609.40 c learned clauses 1047024
3600.08/3609.40 c learned cardinalities 0
3600.08/3609.40 c learned general constraints 1106229
3600.08/3609.40 c learned average constraint length 90.12
3600.08/3609.40 c learned average constraint degree 211902.92
3600.08/3609.40 c watched constraints 1105929
3600.08/3609.40 c counting constraints 319
3600.08/3609.40 c gcd simplifications 914557
3600.08/3609.40 c detected cardinalities 0
3600.08/3609.40 c weakened non-implied lits 38721112
3600.08/3609.40 c weakened non-implying lits 2464473
3600.08/3609.40 c original variables 198
3600.08/3609.40 c clausal propagations 491439
3600.08/3609.40 c cardinality propagations 0
3600.08/3609.40 c watched propagations 22313879
3600.08/3609.40 c counting propagations 3347644
3600.08/3609.40 c watch lookups 25900984041
3600.08/3609.40 c watch backjump lookups 5416032252
3600.08/3609.40 c watch checks 526260448228
3600.08/3609.40 c propagation checks 36924111540
3600.08/3609.40 c constraint additions 1076675182
3600.08/3609.40 c trail pops 34479108
3600.08/3609.40 c formula constraints 16
3600.08/3609.40 c learned constraints 2153253
3600.08/3609.40 c bound constraints 3
3600.08/3609.40 c core-guided constraints 0
3600.08/3609.40 c encountered formula constraints 3499644
3600.08/3609.40 c encountered learned constraints 8404048
3600.08/3609.40 c encountered bound constraints 5
3600.08/3609.40 c encountered core-guided constraints 0
3600.08/3609.40 c LP total time 0 s
3600.08/3609.40 c LP solve time 0 s
3600.08/3609.40 c LP constraints added 0
3600.08/3609.40 c LP constraints removed 0
3600.08/3609.40 c LP pivots internal 0
3600.08/3609.40 c LP pivots root 0
3600.08/3609.40 c LP calls 0
3600.08/3609.40 c LP optimalities 0
3600.08/3609.40 c LP no pivot count 0
3600.08/3609.40 c LP infeasibilities 0
3600.08/3609.40 c LP valid Farkas constraints 0
3600.08/3609.40 c LP learned Farkas constraints 0
3600.08/3609.40 c LP basis resets 0
3600.08/3609.40 c LP cycling count 0
3600.08/3609.40 c LP singular count 0
3600.08/3609.40 c LP no primal count 0
3600.08/3609.40 c LP no farkas count 0
3600.08/3609.40 c LP other issue count 0
3600.08/3609.40 c LP Gomory cuts 0
3600.08/3609.40 c LP learned cuts 0
3600.08/3609.40 c LP deleted cuts 0
3600.08/3609.40 c LP encountered Gomory constraints 0
3600.08/3609.40 c LP encountered Farkas constraints 0
3600.08/3609.40 c LP encountered learned Farkas constraints 0
3600.08/3609.40 c CG auxiliary variables introduced 0
3600.08/3609.40 c CG solutions found 3
3600.08/3609.40 c CG cores constructed 0
3600.08/3609.40 c CG core cardinality constraints returned 0
3600.08/3609.40 c CG unit cores 0
3600.08/3609.40 c CG single cores 0
3600.08/3609.40 c CG blocks removed during cardinality reduction 0
3600.08/3609.40 c CG first core best 0
3600.08/3609.40 c CG decision core best 0
3600.08/3609.40 c CG core reduction tie 0
3600.08/3609.40 c CG core degree average 0.00
3600.08/3609.40 c CG core slack average 0.00
3600.08/3609.40 c CG exhausted 0
3600.08/3609.40 c CG exhaust time 0 s
3600.08/3609.40 c CG trimmed 0
3600.08/3609.40 c CG trim time 0 s
3600.08/3609.40 c CG minimized 0
3600.08/3609.40 c CG minimize time 0 s
3600.08/3609.40 c CG am1 prop time 0.000135 s
3600.08/3609.40 c CG # am1s reformulated 0
3600.08/3609.40 c CG lower bound derived from am1s 0
3600.08/3609.40 c CG # clausal cores 0
3600.08/3609.40 c CG # cardinality cores 0
3600.08/3609.40 c CG # pb cores 0
3600.08/3609.40 c CG # pb reforms 0
3600.08/3609.40 c CG # cores discarded because of pb reform 0
3600.08/3609.40 d LOWERBOUND 0
3600.08/3609.40 d NCORES 0
3600.08/3609.40 d NPBCORES 0
3600.08/3609.40 d NPBREFORM 0
3600.08/3609.40 d NTRIMMED 0
3600.08/3609.40 d NEXHAUSTED 0
3600.08/3609.40 d NAM1S 0
3600.08/3609.40 d AM1LB 0
3600.08/3609.40 o 116
3600.08/3609.40 s SATISFIABLE
3600.08/3609.40 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 x27 x28 -x29 -x30 -x31 -x32 x33 x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 x76 -x77 -x78 -x79 -x80 x81 x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 x100 -x101 -x102 -x103 -x104 x105 x106 x107 -x108 -x109 -x110 -x111 -x112 x113 x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 x138 -x139 x140 -x141 -x142 -x143 x144 x145 -x146 -x147 x148 -x149 -x150 x151 x152 -x153 -x154 x155 x156 -x157 x158 x159 x160 -x161 x162 -x163 -x164 x165 x166 x167 x168 x169 -x170 x171 x172 -x173 x174 x175 x176 -x177 -x178 -x179 x180 x181 x182 x183 -x184 x185 -x186 -x187 -x188 x189 x190 -x191 x192 -x193 x194 -x195 -x196 -x197 x198
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62893 MiB free)
memory of node 1: 64465 MiB (63897 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490330-1751366837/watcher-4490330-1751366837 -o /tmp/evaluation-result-4490330-1751366837/solver-4490330-1751366837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49201 --watchdog 3760 pb-oll-rs HOME/instance-4490330-1751366837.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
solver pid=49567, runsolver pid=49560
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.08 4.10 4.09 3/259 49576
/proc/meminfo: memFree=129844284/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=20352 memory=6912 CPUtime=0.08 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 530 0 0 0 8 0 0 0 20 0 1 0 52306272 20840448 1728 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 5088 1728 1376 243 0 1337 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 20352 KiB
Current children cumulated memory: 6912 KiB
[startup+0.205165 s]*
/proc/loadavg: 4.08 4.10 4.09 3/259 49587
/proc/meminfo: memFree=129840404/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=20616 memory=9664 CPUtime=0.19 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 720 0 0 0 18 1 0 0 20 0 1 0 52306272 21110784 2416 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 5154 2416 1376 243 0 1403 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 20616 KiB
Current children cumulated memory: 9664 KiB
[startup+0.304523 s]*
/proc/loadavg: 4.08 4.10 4.09 4/262 49601
/proc/meminfo: memFree=129840404/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=20748 memory=9792 CPUtime=0.29 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 762 0 0 0 28 1 0 0 20 0 1 0 52306272 21245952 2448 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 5187 2448 1376 243 0 1436 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 20748 KiB
Current children cumulated memory: 9792 KiB
[startup+0.700098 s]
/proc/loadavg: 4.08 4.10 4.09 4/261 49611
/proc/meminfo: memFree=129865672/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=21288 memory=10304 CPUtime=0.68 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 898 0 0 0 66 2 0 0 20 0 1 0 52306272 21798912 2576 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 5322 2576 1376 243 0 1571 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21288 KiB
Current children cumulated memory: 10304 KiB
[startup+1.50009 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 49620
/proc/meminfo: memFree=129857796/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=21972 memory=10944 CPUtime=1.48 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 1050 0 0 0 145 3 0 0 20 0 1 0 52306272 22499328 2736 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 5493 2736 1376 243 0 1742 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 21972 KiB
Current children cumulated memory: 10944 KiB
[startup+3.10463 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 49620
/proc/meminfo: memFree=129856316/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=22820 memory=12096 CPUtime=3.07 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 1336 0 0 0 303 4 0 0 20 0 1 0 52306272 23367680 3024 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 5705 3024 1376 243 0 1954 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 22820 KiB
Current children cumulated memory: 12096 KiB
[startup+6.30009 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 49620
/proc/meminfo: memFree=129854944/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=23300 memory=13120 CPUtime=6.26 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 1581 0 0 0 618 8 0 0 20 0 1 0 52306272 23859200 3280 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 5825 3280 1376 243 0 2074 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 23300 KiB
Current children cumulated memory: 13120 KiB
[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 49620
/proc/meminfo: memFree=129854200/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=27092 memory=15296 CPUtime=12.64 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 2145 0 0 0 1251 13 0 0 20 0 1 0 52306272 27742208 3824 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 6773 3824 1376 243 0 3022 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 27092 KiB
Current children cumulated memory: 15296 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 49620
/proc/meminfo: memFree=129852940/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=28532 memory=17472 CPUtime=25.41 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 2713 0 0 0 2517 24 0 0 20 0 1 0 52306272 29216768 4368 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 7133 4368 1376 243 0 3382 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 28532 KiB
Current children cumulated memory: 17472 KiB
[startup+51.1053 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 49621
/proc/meminfo: memFree=129841972/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=33848 memory=21840 CPUtime=50.95 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 3341 0 0 0 5055 40 0 0 20 0 1 0 52306272 34660352 5460 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 8462 5460 1376 243 0 4711 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 33848 KiB
Current children cumulated memory: 21840 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 49627
/proc/meminfo: memFree=129829744/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=36536 memory=25168 CPUtime=102.02 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 4247 0 0 0 10128 74 0 0 20 0 1 0 52306272 37412864 6292 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 9134 6292 1376 243 0 5383 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 36536 KiB
Current children cumulated memory: 25168 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/266 49631
/proc/meminfo: memFree=129835132/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=46104 memory=30052 CPUtime=161.88 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 5026 0 0 0 16083 105 0 0 20 0 1 0 52306272 47210496 7513 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 11526 7513 1376 243 0 7775 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 46104 KiB
Current children cumulated memory: 30052 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 49634
/proc/meminfo: memFree=129829616/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=47840 memory=34276 CPUtime=221.73 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 5579 0 0 0 22037 136 0 0 20 0 1 0 52306272 48988160 8569 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 11960 8569 1376 243 0 8209 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 47840 KiB
Current children cumulated memory: 34276 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 49639
/proc/meminfo: memFree=129800724/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=47752 memory=34276 CPUtime=281.56 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 5712 0 0 0 27994 162 0 0 20 0 1 0 52306272 48898048 8569 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 11938 8569 1376 243 0 8187 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 47752 KiB
Current children cumulated memory: 34276 KiB
[startup+342.3 s]
/proc/loadavg: 4.33 4.17 4.12 5/267 49641
/proc/meminfo: memFree=129812948/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=48840 memory=35044 CPUtime=341.4 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 6081 0 0 0 33957 183 0 0 20 0 1 0 52306272 50012160 8761 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 12210 8761 1376 243 0 8459 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 48840 KiB
Current children cumulated memory: 35044 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/267 49643
/proc/meminfo: memFree=129797948/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=49864 memory=38752 CPUtime=401.23 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 6393 0 0 0 39920 203 0 0 20 0 1 0 52306272 51060736 9688 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 12466 9688 1376 243 0 8715 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 49864 KiB
Current children cumulated memory: 38752 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/267 49645
/proc/meminfo: memFree=129794168/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=49864 memory=38732 CPUtime=461.09 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 6541 0 0 0 45885 224 0 0 20 0 1 0 52306272 51060736 9683 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 12466 9683 1376 243 0 8715 0
Current children cumulated CPU time: 461.09 s
################
# More data... #
################
Current children cumulated memory: 67376 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 49813
/proc/meminfo: memFree=129751656/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=94028 memory=67632 CPUtime=2854.8 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13339 0 0 0 284745 735 0 0 20 0 1 0 52306272 96284672 16908 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23507 16908 1376 243 0 19756 0
Current children cumulated CPU time: 2854.8 s
Current children cumulated vsize: 94028 KiB
Current children cumulated memory: 67632 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 49815
/proc/meminfo: memFree=129753216/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=94028 memory=67632 CPUtime=2914.65 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13340 0 0 0 290720 745 0 0 20 0 1 0 52306272 96284672 16908 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23507 16908 1376 243 0 19756 0
Current children cumulated CPU time: 2914.65 s
Current children cumulated vsize: 94028 KiB
Current children cumulated memory: 67632 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 49817
/proc/meminfo: memFree=129753100/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=94028 memory=67632 CPUtime=2974.51 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13340 0 0 0 296695 756 0 0 20 0 1 0 52306272 96284672 16908 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23507 16908 1376 243 0 19756 0
Current children cumulated CPU time: 2974.51 s
Current children cumulated vsize: 94028 KiB
Current children cumulated memory: 67632 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 49819
/proc/meminfo: memFree=129752484/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=94028 memory=67632 CPUtime=3034.36 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13340 0 0 0 302670 766 0 0 20 0 1 0 52306272 96284672 16908 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23507 16908 1376 243 0 19756 0
Current children cumulated CPU time: 3034.36 s
Current children cumulated vsize: 94028 KiB
Current children cumulated memory: 67632 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 49824
/proc/meminfo: memFree=129752120/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=94028 memory=67632 CPUtime=3094.21 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13340 0 0 0 308646 775 0 0 20 0 1 0 52306272 96284672 16908 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23507 16908 1376 243 0 19756 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 94028 KiB
Current children cumulated memory: 67632 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 49831
/proc/meminfo: memFree=129752096/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=94028 memory=67632 CPUtime=3154.07 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13341 0 0 0 314623 784 0 0 20 0 1 0 52306272 96284672 16908 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23507 16908 1376 243 0 19756 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 94028 KiB
Current children cumulated memory: 67632 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 49834
/proc/meminfo: memFree=129747844/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=94284 memory=68528 CPUtime=3213.92 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13406 0 0 0 320599 793 0 0 20 0 1 0 52306272 96546816 17132 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23571 17132 1376 243 0 19820 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 94284 KiB
Current children cumulated memory: 68528 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 49835
/proc/meminfo: memFree=129739836/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=94284 memory=68528 CPUtime=3273.77 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13407 0 0 0 326575 802 0 0 20 0 1 0 52306272 96546816 17132 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23571 17132 1376 243 0 19820 0
Current children cumulated CPU time: 3273.77 s
Current children cumulated vsize: 94284 KiB
Current children cumulated memory: 68528 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 49837
/proc/meminfo: memFree=129736152/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=94284 memory=68528 CPUtime=3333.63 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13407 0 0 0 332552 811 0 0 20 0 1 0 52306272 96546816 17132 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23571 17132 1376 243 0 19820 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 94284 KiB
Current children cumulated memory: 68528 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 49839
/proc/meminfo: memFree=129737908/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=94284 memory=68528 CPUtime=3393.48 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13407 0 0 0 338530 818 0 0 20 0 1 0 52306272 96546816 17132 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23571 17132 1376 243 0 19820 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 94284 KiB
Current children cumulated memory: 68528 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 49841
/proc/meminfo: memFree=129735164/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=94980 memory=68912 CPUtime=3453.34 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13490 0 0 0 344506 828 0 0 20 0 1 0 52306272 97259520 17228 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23745 17228 1376 243 0 19994 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 94980 KiB
Current children cumulated memory: 68912 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 49844
/proc/meminfo: memFree=129735276/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=95236 memory=71168 CPUtime=3513.19 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13651 0 0 0 350483 836 0 0 20 0 1 0 52306272 97521664 17792 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 23809 17792 1376 243 0 20058 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 95236 KiB
Current children cumulated memory: 71168 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 49846
/proc/meminfo: memFree=129735396/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=96004 memory=71904 CPUtime=3573.05 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13930 0 0 0 356463 842 0 0 20 0 1 0 52306272 98308096 17976 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 24001 17976 1376 243 0 20250 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 96004 KiB
Current children cumulated memory: 71904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 49849
/proc/meminfo: memFree=129734780/131250000 swapFree=33010684/33010684
[pid=49567] ppid=49560 vsize=96004 memory=71904 CPUtime=3600.08 cores=5,7
/proc/49567/stat : 49567 (pb-oll-rs) R 49560 49567 49188 0 -1 4194304 13930 0 0 0 359163 845 0 0 20 0 1 0 52306272 98308096 17976 18446744073709551615 4218880 5211445 140735459583536 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 10043392 140735459592604 140735459592681 140735459592681 140735459598283 0
/proc/49567/statm: 24001 17976 1376 243 0 20250 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 96004 KiB
Current children cumulated memory: 71904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 49567 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.64 s, system=8.45913 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.4
CPU time (s): 3600.1
CPU user time (s): 3591.64
CPU system time (s): 8.45913
CPU usage (%): 99.7422
Max. virtual memory (cumulated for all children) (KiB): 96560
Max. memory (cumulated for all children) (KiB): 72192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.64
system time used= 8.45913
maximum resident set size= 72192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13945
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= 113
involuntary context switches= 1619
# summary of solver processes directly reported to runsolver:
# pid: 49567
# total CPU time (s): 3600.1
# total CPU user time (s): 3591.64
# total CPU system time (s): 8.45913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63488 second user time and 15.7185 second system time
The end
Begin job on nodeC028 at 2025-07-01 12:47:17
IDJOB=4490330
IDBENCH=147578
IDSOLVER=3345
FILE ID=nodeC028/4490330-1751366837
RUNJOBID= nodeC028-1751363225-49201
SLURM_JOB_ID= 9598179
Free space on /tmp= 433028 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490330-1751366837/watcher-4490330-1751366837 -o /tmp/evaluation-result-4490330-1751366837/solver-4490330-1751366837 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751363225-49201 --watchdog 3760 pb-oll-rs HOME/instance-4490330-1751366837.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b4b357048b7fd6a2befaa81502734110
RANDOM SEED=1197497759
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.082
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.119
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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.296
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3600.089
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.080
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3600.550
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.308
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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.079
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129827576 kB
MemAvailable: 129733396 kB
Buffers: 3280 kB
Cached: 713320 kB
SwapCached: 0 kB
Active: 328884 kB
Inactive: 456528 kB
Active(anon): 86880 kB
Inactive(anon): 0 kB
Active(file): 242004 kB
Inactive(file): 456528 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1964 kB
Writeback: 0 kB
AnonPages: 71920 kB
Mapped: 103452 kB
Shmem: 18068 kB
KReclaimable: 93056 kB
Slab: 179376 kB
SReclaimable: 93056 kB
SUnreclaim: 86320 kB
KernelStack: 4224 kB
PageTables: 3268 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 358100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150456 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC028 at 2025-07-01 13:47:27