0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 71 #constraints 17
0.00/0.00 c SMALL=int, LARGE=long long
30.80/30.96 c bounds - >= 0 @ 0.001777
30.80/30.96 c #Conflicts: 1000 | #Constraints: 1016
30.80/30.96 c #Conflicts: 2000 | #Constraints: 2016
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 3000 | #Constraints: 2018
30.80/30.96 c #Conflicts: 4000 | #Constraints: 3018
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 5000 | #Constraints: 2420
30.80/30.96 c #Conflicts: 6000 | #Constraints: 3420
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 7000 | #Constraints: 2424
30.80/30.96 c #Conflicts: 8000 | #Constraints: 3424
30.80/30.96 c #Conflicts: 9000 | #Constraints: 4424
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 10000 | #Constraints: 3123
30.80/30.96 c #Conflicts: 11000 | #Constraints: 4123
30.80/30.96 c #Conflicts: 12000 | #Constraints: 5123
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 13000 | #Constraints: 3575
30.80/30.96 c #Conflicts: 14000 | #Constraints: 4575
30.80/30.96 c #Conflicts: 15000 | #Constraints: 5575
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 16000 | #Constraints: 3802
30.80/30.96 c #Conflicts: 17000 | #Constraints: 4802
30.80/30.96 c #Conflicts: 18000 | #Constraints: 5802
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 19000 | #Constraints: 3813
30.80/30.96 c #Conflicts: 20000 | #Constraints: 4813
30.80/30.96 c #Conflicts: 21000 | #Constraints: 5813
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 22000 | #Constraints: 3620
30.80/30.96 c #Conflicts: 23000 | #Constraints: 4620
30.80/30.96 c #Conflicts: 24000 | #Constraints: 5620
30.80/30.96 c #Conflicts: 25000 | #Constraints: 6620
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 26000 | #Constraints: 4226
30.80/30.96 c #Conflicts: 27000 | #Constraints: 5226
30.80/30.96 c #Conflicts: 28000 | #Constraints: 6226
30.80/30.96 c #Conflicts: 29000 | #Constraints: 7226
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 30000 | #Constraints: 4626
30.80/30.96 c #Conflicts: 31000 | #Constraints: 5626
30.80/30.96 c #Conflicts: 32000 | #Constraints: 6626
30.80/30.96 c #Conflicts: 33000 | #Constraints: 7626
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 34000 | #Constraints: 4824
30.80/30.96 c #Conflicts: 35000 | #Constraints: 5824
30.80/30.96 c #Conflicts: 36000 | #Constraints: 6824
30.80/30.96 c #Conflicts: 37000 | #Constraints: 7824
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 38000 | #Constraints: 4826
30.80/30.96 c #Conflicts: 39000 | #Constraints: 5826
30.80/30.96 c #Conflicts: 40000 | #Constraints: 6826
30.80/30.96 c #Conflicts: 41000 | #Constraints: 7826
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 42000 | #Constraints: 4626
30.80/30.96 c #Conflicts: 43000 | #Constraints: 5626
30.80/30.96 c #Conflicts: 44000 | #Constraints: 6626
30.80/30.96 c #Conflicts: 45000 | #Constraints: 7626
30.80/30.96 c #Conflicts: 46000 | #Constraints: 8626
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 47000 | #Constraints: 5225
30.80/30.96 c #Conflicts: 48000 | #Constraints: 6225
30.80/30.96 c #Conflicts: 49000 | #Constraints: 7225
30.80/30.96 c #Conflicts: 50000 | #Constraints: 8225
30.80/30.96 c #Conflicts: 51000 | #Constraints: 9225
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 52000 | #Constraints: 5628
30.80/30.96 c #Conflicts: 53000 | #Constraints: 6628
30.80/30.96 c #Conflicts: 54000 | #Constraints: 7628
30.80/30.96 c #Conflicts: 55000 | #Constraints: 8628
30.80/30.96 c #Conflicts: 56000 | #Constraints: 9628
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 57000 | #Constraints: 5826
30.80/30.96 c #Conflicts: 58000 | #Constraints: 6826
30.80/30.96 c #Conflicts: 59000 | #Constraints: 7826
30.80/30.96 c #Conflicts: 60000 | #Constraints: 8826
30.80/30.96 c #Conflicts: 61000 | #Constraints: 9826
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 62000 | #Constraints: 5827
30.80/30.96 c #Conflicts: 63000 | #Constraints: 6827
30.80/30.96 c #Conflicts: 64000 | #Constraints: 7827
30.80/30.96 c #Conflicts: 65000 | #Constraints: 8827
30.80/30.96 c #Conflicts: 66000 | #Constraints: 9827
30.80/30.96 c INPROCESSING
30.80/30.96 c GARBAGE COLLECT
30.80/30.96 c #Conflicts: 67000 | #Constraints: 5627
85.73/86.06 c #Conflicts: 68000 | #Constraints: 6627
85.73/86.06 c #Conflicts: 69000 | #Constraints: 7627
85.73/86.06 c #Conflicts: 70000 | #Constraints: 8627
85.73/86.06 c #Conflicts: 71000 | #Constraints: 9627
85.73/86.06 c #Conflicts: 72000 | #Constraints: 10627
85.73/86.06 c INPROCESSING
85.73/86.06 c GARBAGE COLLECT
85.73/86.06 c #Conflicts: 73000 | #Constraints: 6225
85.73/86.06 c #Conflicts: 74000 | #Constraints: 7225
85.73/86.06 c #Conflicts: 75000 | #Constraints: 8225
85.73/86.06 c #Conflicts: 76000 | #Constraints: 9225
85.73/86.06 c #Conflicts: 77000 | #Constraints: 10225
85.73/86.06 c #Conflicts: 78000 | #Constraints: 11225
85.73/86.06 c INPROCESSING
85.73/86.06 c GARBAGE COLLECT
85.73/86.06 c #Conflicts: 79000 | #Constraints: 6625
85.73/86.06 c #Conflicts: 80000 | #Constraints: 7625
85.73/86.06 c #Conflicts: 81000 | #Constraints: 8625
85.73/86.06 c #Conflicts: 82000 | #Constraints: 9625
85.73/86.06 c #Conflicts: 83000 | #Constraints: 10625
85.73/86.06 c #Conflicts: 84000 | #Constraints: 11625
85.73/86.06 c INPROCESSING
85.73/86.06 c GARBAGE COLLECT
85.73/86.06 c #Conflicts: 85000 | #Constraints: 6829
85.73/86.06 c #Conflicts: 86000 | #Constraints: 7829
85.73/86.06 c #Conflicts: 87000 | #Constraints: 8829
85.73/86.06 c #Conflicts: 88000 | #Constraints: 9829
85.73/86.06 c #Conflicts: 89000 | #Constraints: 10829
85.73/86.06 c #Conflicts: 90000 | #Constraints: 11829
85.73/86.06 c INPROCESSING
85.73/86.06 c GARBAGE COLLECT
85.73/86.06 c #Conflicts: 91000 | #Constraints: 6827
85.73/86.06 c #Conflicts: 92000 | #Constraints: 7827
85.73/86.06 c #Conflicts: 93000 | #Constraints: 8827
85.73/86.06 c #Conflicts: 94000 | #Constraints: 9827
85.73/86.06 c #Conflicts: 95000 | #Constraints: 10827
85.73/86.06 c #Conflicts: 96000 | #Constraints: 11827
85.73/86.06 c INPROCESSING
85.73/86.06 c GARBAGE COLLECT
85.73/86.06 c #Conflicts: 97000 | #Constraints: 6629
85.73/86.06 c #Conflicts: 98000 | #Constraints: 7629
85.73/86.06 c #Conflicts: 99000 | #Constraints: 8629
85.73/86.06 c #Conflicts: 100000 | #Constraints: 9629
85.73/86.06 c #Conflicts: 101000 | #Constraints: 10629
85.73/86.06 c #Conflicts: 102000 | #Constraints: 11629
85.73/86.06 c #Conflicts: 103000 | #Constraints: 12629
85.73/86.06 c INPROCESSING
85.73/86.06 c GARBAGE COLLECT
85.73/86.06 c #Conflicts: 104000 | #Constraints: 7224
85.73/86.06 c #Conflicts: 105000 | #Constraints: 8224
85.73/86.06 c #Conflicts: 106000 | #Constraints: 9224
85.73/86.06 c #Conflicts: 107000 | #Constraints: 10224
85.73/86.06 c #Conflicts: 108000 | #Constraints: 11224
85.73/86.06 c #Conflicts: 109000 | #Constraints: 12224
85.73/86.06 c #Conflicts: 110000 | #Constraints: 13224
85.73/86.06 c INPROCESSING
85.73/86.06 c GARBAGE COLLECT
85.73/86.06 c #Conflicts: 111000 | #Constraints: 7630
85.73/86.06 c #Conflicts: 112000 | #Constraints: 8630
85.73/86.06 c #Conflicts: 113000 | #Constraints: 9630
85.73/86.06 c #Conflicts: 114000 | #Constraints: 10630
85.73/86.06 c #Conflicts: 115000 | #Constraints: 11630
85.73/86.06 c #Conflicts: 116000 | #Constraints: 12630
85.73/86.06 c #Conflicts: 117000 | #Constraints: 13630
85.73/86.06 c INPROCESSING
85.73/86.06 c GARBAGE COLLECT
85.73/86.06 c #Conflicts: 118000 | #Constraints: 7827
85.73/86.06 c #Conflicts: 119000 | #Constraints: 8827
85.73/86.06 c #Conflicts: 120000 | #Constraints: 9827
85.73/86.06 c #Conflicts: 121000 | #Constraints: 10827
85.73/86.06 c #Conflicts: 122000 | #Constraints: 11827
85.73/86.06 c #Conflicts: 123000 | #Constraints: 12827
85.73/86.06 c #Conflicts: 124000 | #Constraints: 13827
85.73/86.06 c INPROCESSING
85.73/86.06 c GARBAGE COLLECT
85.73/86.06 c #Conflicts: 125000 | #Constraints: 7827
85.73/86.06 c #Conflicts: 126000 | #Constraints: 8827
85.73/86.06 c #Conflicts: 127000 | #Constraints: 9827
85.73/86.06 c #Conflicts: 128000 | #Constraints: 10827
85.73/86.06 c #Conflicts: 129000 | #Constraints: 11827
85.73/86.06 c #Conflicts: 130000 | #Constraints: 12827
85.73/86.06 c #Conflicts: 131000 | #Constraints: 13827
85.73/86.06 c INPROCESSING
85.73/86.06 c GARBAGE COLLECT
85.73/86.06 c #Conflicts: 132000 | #Constraints: 7626
85.73/86.06 c #Conflicts: 133000 | #Constraints: 8626
85.73/86.06 c #Conflicts: 134000 | #Constraints: 9626
85.73/86.06 c #Conflicts: 135000 | #Constraints: 10626
85.73/86.06 c #Conflicts: 136000 | #Constraints: 11626
85.73/86.06 c #Conflicts: 137000 | #Constraints: 12626
85.73/86.06 c #Conflicts: 138000 | #Constraints: 13626
85.73/86.06 c #Conflicts: 139000 | #Constraints: 14626
85.73/86.06 c INPROCESSING
147.93/148.43 c GARBAGE COLLECT
147.93/148.43 c #Conflicts: 140000 | #Constraints: 8228
147.93/148.43 c #Conflicts: 141000 | #Constraints: 9228
147.93/148.43 c #Conflicts: 142000 | #Constraints: 10228
147.93/148.43 c #Conflicts: 143000 | #Constraints: 11228
147.93/148.43 c #Conflicts: 144000 | #Constraints: 12228
147.93/148.43 c #Conflicts: 145000 | #Constraints: 13228
147.93/148.43 c #Conflicts: 146000 | #Constraints: 14228
147.93/148.43 c #Conflicts: 147000 | #Constraints: 15228
147.93/148.43 c INPROCESSING
147.93/148.43 c GARBAGE COLLECT
147.93/148.43 c #Conflicts: 148000 | #Constraints: 8630
147.93/148.43 c #Conflicts: 149000 | #Constraints: 9630
147.93/148.43 c #Conflicts: 150000 | #Constraints: 10630
147.93/148.43 c #Conflicts: 151000 | #Constraints: 11630
147.93/148.43 c #Conflicts: 152000 | #Constraints: 12630
147.93/148.43 c #Conflicts: 153000 | #Constraints: 13630
147.93/148.43 c #Conflicts: 154000 | #Constraints: 14630
147.93/148.43 c #Conflicts: 155000 | #Constraints: 15630
147.93/148.43 c INPROCESSING
147.93/148.43 c GARBAGE COLLECT
147.93/148.43 c #Conflicts: 156000 | #Constraints: 8826
147.93/148.43 c #Conflicts: 157000 | #Constraints: 9826
147.93/148.43 c #Conflicts: 158000 | #Constraints: 10826
147.93/148.43 c #Conflicts: 159000 | #Constraints: 11826
147.93/148.43 c #Conflicts: 160000 | #Constraints: 12826
147.93/148.43 c #Conflicts: 161000 | #Constraints: 13826
147.93/148.43 c #Conflicts: 162000 | #Constraints: 14826
147.93/148.43 c #Conflicts: 163000 | #Constraints: 15826
147.93/148.43 c INPROCESSING
147.93/148.43 c GARBAGE COLLECT
147.93/148.43 c #Conflicts: 164000 | #Constraints: 8827
147.93/148.43 c #Conflicts: 165000 | #Constraints: 9827
147.93/148.43 c #Conflicts: 166000 | #Constraints: 10827
147.93/148.43 c #Conflicts: 167000 | #Constraints: 11827
147.93/148.43 c #Conflicts: 168000 | #Constraints: 12827
147.93/148.43 c #Conflicts: 169000 | #Constraints: 13827
147.93/148.43 c #Conflicts: 170000 | #Constraints: 14827
147.93/148.43 c #Conflicts: 171000 | #Constraints: 15827
147.93/148.43 c INPROCESSING
147.93/148.43 c GARBAGE COLLECT
147.93/148.43 c #Conflicts: 172000 | #Constraints: 8626
147.93/148.43 c #Conflicts: 173000 | #Constraints: 9626
147.93/148.43 c #Conflicts: 174000 | #Constraints: 10626
147.93/148.43 c #Conflicts: 175000 | #Constraints: 11626
147.93/148.43 c #Conflicts: 176000 | #Constraints: 12626
147.93/148.43 c #Conflicts: 177000 | #Constraints: 13626
147.93/148.43 c #Conflicts: 178000 | #Constraints: 14626
147.93/148.43 c #Conflicts: 179000 | #Constraints: 15626
147.93/148.43 c #Conflicts: 180000 | #Constraints: 16626
147.93/148.43 c INPROCESSING
147.93/148.43 c GARBAGE COLLECT
147.93/148.43 c #Conflicts: 181000 | #Constraints: 9224
147.93/148.43 c #Conflicts: 182000 | #Constraints: 10224
147.93/148.43 c #Conflicts: 183000 | #Constraints: 11224
147.93/148.43 c #Conflicts: 184000 | #Constraints: 12224
147.93/148.43 c #Conflicts: 185000 | #Constraints: 13224
147.93/148.43 c #Conflicts: 186000 | #Constraints: 14224
147.93/148.43 c #Conflicts: 187000 | #Constraints: 15224
147.93/148.43 c #Conflicts: 188000 | #Constraints: 16224
147.93/148.43 c #Conflicts: 189000 | #Constraints: 17224
147.93/148.43 c INPROCESSING
147.93/148.43 c GARBAGE COLLECT
147.93/148.43 c #Conflicts: 190000 | #Constraints: 9627
147.93/148.43 c #Conflicts: 191000 | #Constraints: 10627
147.93/148.43 c #Conflicts: 192000 | #Constraints: 11627
147.93/148.43 c #Conflicts: 193000 | #Constraints: 12627
147.93/148.43 c #Conflicts: 194000 | #Constraints: 13627
147.93/148.43 c #Conflicts: 195000 | #Constraints: 14627
147.93/148.43 c #Conflicts: 196000 | #Constraints: 15627
147.93/148.43 c #Conflicts: 197000 | #Constraints: 16627
147.93/148.43 c #Conflicts: 198000 | #Constraints: 17627
147.93/148.43 c INPROCESSING
147.93/148.43 c GARBAGE COLLECT
147.93/148.43 c #Conflicts: 199000 | #Constraints: 9828
147.93/148.43 c #Conflicts: 200000 | #Constraints: 10828
147.93/148.43 c #Conflicts: 201000 | #Constraints: 11828
147.93/148.43 c #Conflicts: 202000 | #Constraints: 12828
147.93/148.43 c #Conflicts: 203000 | #Constraints: 13828
147.93/148.43 c #Conflicts: 204000 | #Constraints: 14828
147.93/148.43 c #Conflicts: 205000 | #Constraints: 15828
147.93/148.43 c #Conflicts: 206000 | #Constraints: 16828
147.93/148.43 c #Conflicts: 207000 | #Constraints: 17828
147.93/148.43 c INPROCESSING
147.93/148.43 c GARBAGE COLLECT
147.93/148.43 c #Conflicts: 208000 | #Constraints: 9829
147.93/148.43 c #Conflicts: 209000 | #Constraints: 10829
147.93/148.43 c #Conflicts: 210000 | #Constraints: 11829
147.93/148.43 c #Conflicts: 211000 | #Constraints: 12829
147.93/148.43 c #Conflicts: 212000 | #Constraints: 13829
147.93/148.43 c #Conflicts: 213000 | #Constraints: 14829
224.17/225.00 c #Conflicts: 214000 | #Constraints: 15829
224.17/225.00 c #Conflicts: 215000 | #Constraints: 16829
224.17/225.00 c #Conflicts: 216000 | #Constraints: 17829
224.17/225.00 c INPROCESSING
224.17/225.00 c GARBAGE COLLECT
224.17/225.00 c #Conflicts: 217000 | #Constraints: 9629
224.17/225.00 c #Conflicts: 218000 | #Constraints: 10629
224.17/225.00 c #Conflicts: 219000 | #Constraints: 11629
224.17/225.00 c #Conflicts: 220000 | #Constraints: 12629
224.17/225.00 c #Conflicts: 221000 | #Constraints: 13629
224.17/225.00 c #Conflicts: 222000 | #Constraints: 14629
224.17/225.00 c #Conflicts: 223000 | #Constraints: 15629
224.17/225.00 c #Conflicts: 224000 | #Constraints: 16629
224.17/225.00 c #Conflicts: 225000 | #Constraints: 17629
224.17/225.00 c #Conflicts: 226000 | #Constraints: 18629
224.17/225.00 c INPROCESSING
224.17/225.00 c GARBAGE COLLECT
224.17/225.00 c #Conflicts: 227000 | #Constraints: 10229
224.17/225.00 c #Conflicts: 228000 | #Constraints: 11229
224.17/225.00 c #Conflicts: 229000 | #Constraints: 12229
224.17/225.00 c #Conflicts: 230000 | #Constraints: 13229
224.17/225.00 c #Conflicts: 231000 | #Constraints: 14229
224.17/225.00 c #Conflicts: 232000 | #Constraints: 15229
224.17/225.00 c #Conflicts: 233000 | #Constraints: 16229
224.17/225.00 c #Conflicts: 234000 | #Constraints: 17229
224.17/225.00 c #Conflicts: 235000 | #Constraints: 18229
224.17/225.00 c #Conflicts: 236000 | #Constraints: 19229
224.17/225.00 c INPROCESSING
224.17/225.00 c GARBAGE COLLECT
224.17/225.00 c #Conflicts: 237000 | #Constraints: 10629
224.17/225.00 c #Conflicts: 238000 | #Constraints: 11629
224.17/225.00 c #Conflicts: 239000 | #Constraints: 12629
224.17/225.00 c #Conflicts: 240000 | #Constraints: 13629
224.17/225.00 c #Conflicts: 241000 | #Constraints: 14629
224.17/225.00 c #Conflicts: 242000 | #Constraints: 15629
224.17/225.00 c #Conflicts: 243000 | #Constraints: 16629
224.17/225.00 c #Conflicts: 244000 | #Constraints: 17629
224.17/225.00 c #Conflicts: 245000 | #Constraints: 18629
224.17/225.00 c #Conflicts: 246000 | #Constraints: 19629
224.17/225.00 c INPROCESSING
224.17/225.00 c GARBAGE COLLECT
224.17/225.00 c #Conflicts: 247000 | #Constraints: 10830
224.17/225.00 c #Conflicts: 248000 | #Constraints: 11830
224.17/225.00 c #Conflicts: 249000 | #Constraints: 12830
224.17/225.00 c #Conflicts: 250000 | #Constraints: 13830
224.17/225.00 c #Conflicts: 251000 | #Constraints: 14830
224.17/225.00 c #Conflicts: 252000 | #Constraints: 15830
224.17/225.00 c #Conflicts: 253000 | #Constraints: 16830
224.17/225.00 c #Conflicts: 254000 | #Constraints: 17830
224.17/225.00 c #Conflicts: 255000 | #Constraints: 18830
224.17/225.00 c #Conflicts: 256000 | #Constraints: 19830
224.17/225.00 c INPROCESSING
224.17/225.00 c GARBAGE COLLECT
224.17/225.00 c #Conflicts: 257000 | #Constraints: 10828
224.17/225.00 c #Conflicts: 258000 | #Constraints: 11828
224.17/225.00 c #Conflicts: 259000 | #Constraints: 12828
224.17/225.00 c #Conflicts: 260000 | #Constraints: 13828
224.17/225.00 c #Conflicts: 261000 | #Constraints: 14828
224.17/225.00 c #Conflicts: 262000 | #Constraints: 15828
224.17/225.00 c #Conflicts: 263000 | #Constraints: 16828
224.17/225.00 c #Conflicts: 264000 | #Constraints: 17828
224.17/225.00 c #Conflicts: 265000 | #Constraints: 18828
224.17/225.00 c #Conflicts: 266000 | #Constraints: 19828
224.17/225.00 c INPROCESSING
224.17/225.00 c GARBAGE COLLECT
224.17/225.00 c #Conflicts: 267000 | #Constraints: 10628
224.17/225.00 c #Conflicts: 268000 | #Constraints: 11628
224.17/225.00 c #Conflicts: 269000 | #Constraints: 12628
224.17/225.00 c #Conflicts: 270000 | #Constraints: 13628
224.17/225.00 c #Conflicts: 271000 | #Constraints: 14628
224.17/225.00 c #Conflicts: 272000 | #Constraints: 15628
224.17/225.00 c #Conflicts: 273000 | #Constraints: 16628
224.17/225.00 c #Conflicts: 274000 | #Constraints: 17628
224.17/225.00 c #Conflicts: 275000 | #Constraints: 18628
224.17/225.00 c #Conflicts: 276000 | #Constraints: 19628
224.17/225.00 c #Conflicts: 277000 | #Constraints: 20628
224.17/225.00 c INPROCESSING
224.17/225.00 c GARBAGE COLLECT
224.17/225.00 c #Conflicts: 278000 | #Constraints: 11225
224.17/225.00 c #Conflicts: 279000 | #Constraints: 12225
224.17/225.00 c #Conflicts: 280000 | #Constraints: 13225
224.17/225.00 c #Conflicts: 281000 | #Constraints: 14225
224.17/225.00 c #Conflicts: 282000 | #Constraints: 15225
224.17/225.00 c #Conflicts: 283000 | #Constraints: 16225
224.17/225.00 c #Conflicts: 284000 | #Constraints: 17225
224.17/225.00 c #Conflicts: 285000 | #Constraints: 18225
224.17/225.00 c #Conflicts: 286000 | #Constraints: 19225
224.17/225.00 c #Conflicts: 287000 | #Constraints: 20225
314.58/315.65 c #Conflicts: 288000 | #Constraints: 21225
314.58/315.65 c INPROCESSING
314.58/315.65 c GARBAGE COLLECT
314.58/315.65 c #Conflicts: 289000 | #Constraints: 11626
314.58/315.65 c #Conflicts: 290000 | #Constraints: 12626
314.58/315.65 c #Conflicts: 291000 | #Constraints: 13626
314.58/315.65 c #Conflicts: 292000 | #Constraints: 14626
314.58/315.65 c #Conflicts: 293000 | #Constraints: 15626
314.58/315.65 c #Conflicts: 294000 | #Constraints: 16626
314.58/315.65 c #Conflicts: 295000 | #Constraints: 17626
314.58/315.65 c #Conflicts: 296000 | #Constraints: 18626
314.58/315.65 c #Conflicts: 297000 | #Constraints: 19626
314.58/315.65 c #Conflicts: 298000 | #Constraints: 20626
314.58/315.65 c #Conflicts: 299000 | #Constraints: 21626
314.58/315.65 c INPROCESSING
314.58/315.65 c GARBAGE COLLECT
314.58/315.65 c #Conflicts: 300000 | #Constraints: 11824
314.58/315.65 c #Conflicts: 301000 | #Constraints: 12824
314.58/315.65 c #Conflicts: 302000 | #Constraints: 13824
314.58/315.65 c #Conflicts: 303000 | #Constraints: 14824
314.58/315.65 c #Conflicts: 304000 | #Constraints: 15824
314.58/315.65 c #Conflicts: 305000 | #Constraints: 16824
314.58/315.65 c #Conflicts: 306000 | #Constraints: 17824
314.58/315.65 c #Conflicts: 307000 | #Constraints: 18824
314.58/315.65 c #Conflicts: 308000 | #Constraints: 19824
314.58/315.65 c #Conflicts: 309000 | #Constraints: 20824
314.58/315.65 c #Conflicts: 310000 | #Constraints: 21824
314.58/315.65 c INPROCESSING
314.58/315.65 c GARBAGE COLLECT
314.58/315.65 c #Conflicts: 311000 | #Constraints: 11825
314.58/315.65 c #Conflicts: 312000 | #Constraints: 12825
314.58/315.65 c #Conflicts: 313000 | #Constraints: 13825
314.58/315.65 c #Conflicts: 314000 | #Constraints: 14825
314.58/315.65 c #Conflicts: 315000 | #Constraints: 15825
314.58/315.65 c #Conflicts: 316000 | #Constraints: 16825
314.58/315.65 c #Conflicts: 317000 | #Constraints: 17825
314.58/315.65 c #Conflicts: 318000 | #Constraints: 18825
314.58/315.65 c #Conflicts: 319000 | #Constraints: 19825
314.58/315.65 c #Conflicts: 320000 | #Constraints: 20825
314.58/315.65 c #Conflicts: 321000 | #Constraints: 21825
314.58/315.65 c INPROCESSING
314.58/315.65 c GARBAGE COLLECT
314.58/315.65 c #Conflicts: 322000 | #Constraints: 11626
314.58/315.65 c #Conflicts: 323000 | #Constraints: 12626
314.58/315.65 c #Conflicts: 324000 | #Constraints: 13626
314.58/315.65 c #Conflicts: 325000 | #Constraints: 14626
314.58/315.65 c #Conflicts: 326000 | #Constraints: 15626
314.58/315.65 c #Conflicts: 327000 | #Constraints: 16626
314.58/315.65 c #Conflicts: 328000 | #Constraints: 17626
314.58/315.65 c #Conflicts: 329000 | #Constraints: 18626
314.58/315.65 c #Conflicts: 330000 | #Constraints: 19626
314.58/315.65 c #Conflicts: 331000 | #Constraints: 20626
314.58/315.65 c #Conflicts: 332000 | #Constraints: 21626
314.58/315.65 c #Conflicts: 333000 | #Constraints: 22626
314.58/315.65 c INPROCESSING
314.58/315.65 c GARBAGE COLLECT
314.58/315.65 c #Conflicts: 334000 | #Constraints: 12225
314.58/315.65 c #Conflicts: 335000 | #Constraints: 13225
314.58/315.65 c #Conflicts: 336000 | #Constraints: 14225
314.58/315.65 c #Conflicts: 337000 | #Constraints: 15225
314.58/315.65 c #Conflicts: 338000 | #Constraints: 16225
314.58/315.65 c #Conflicts: 339000 | #Constraints: 17225
314.58/315.65 c #Conflicts: 340000 | #Constraints: 18225
314.58/315.65 c #Conflicts: 341000 | #Constraints: 19225
314.58/315.65 c #Conflicts: 342000 | #Constraints: 20225
314.58/315.65 c #Conflicts: 343000 | #Constraints: 21225
314.58/315.65 c #Conflicts: 344000 | #Constraints: 22225
314.58/315.65 c #Conflicts: 345000 | #Constraints: 23225
314.58/315.65 c INPROCESSING
314.58/315.65 c GARBAGE COLLECT
314.58/315.65 c #Conflicts: 346000 | #Constraints: 12627
314.58/315.65 c #Conflicts: 347000 | #Constraints: 13627
314.58/315.65 c #Conflicts: 348000 | #Constraints: 14627
314.58/315.65 c #Conflicts: 349000 | #Constraints: 15627
314.58/315.65 c #Conflicts: 350000 | #Constraints: 16627
314.58/315.65 c #Conflicts: 351000 | #Constraints: 17627
314.58/315.65 c #Conflicts: 352000 | #Constraints: 18627
314.58/315.65 c #Conflicts: 353000 | #Constraints: 19627
314.58/315.65 c #Conflicts: 354000 | #Constraints: 20627
314.58/315.65 c #Conflicts: 355000 | #Constraints: 21627
314.58/315.65 c #Conflicts: 356000 | #Constraints: 22627
314.58/315.65 c #Conflicts: 357000 | #Constraints: 23627
314.58/315.65 c INPROCESSING
314.58/315.65 c GARBAGE COLLECT
314.58/315.65 c #Conflicts: 358000 | #Constraints: 12827
314.58/315.65 c #Conflicts: 359000 | #Constraints: 13827
314.58/315.65 c #Conflicts: 360000 | #Constraints: 14827
314.58/315.65 c #Conflicts: 361000 | #Constraints: 15827
410.78/412.16 c #Conflicts: 362000 | #Constraints: 16827
410.78/412.16 c #Conflicts: 363000 | #Constraints: 17827
410.78/412.16 c #Conflicts: 364000 | #Constraints: 18827
410.78/412.16 c #Conflicts: 365000 | #Constraints: 19827
410.78/412.16 c #Conflicts: 366000 | #Constraints: 20827
410.78/412.16 c #Conflicts: 367000 | #Constraints: 21827
410.78/412.16 c #Conflicts: 368000 | #Constraints: 22827
410.78/412.16 c #Conflicts: 369000 | #Constraints: 23827
410.78/412.16 c INPROCESSING
410.78/412.16 c GARBAGE COLLECT
410.78/412.16 c #Conflicts: 370000 | #Constraints: 12828
410.78/412.16 c #Conflicts: 371000 | #Constraints: 13828
410.78/412.16 c #Conflicts: 372000 | #Constraints: 14828
410.78/412.16 c #Conflicts: 373000 | #Constraints: 15828
410.78/412.16 c #Conflicts: 374000 | #Constraints: 16828
410.78/412.16 c #Conflicts: 375000 | #Constraints: 17828
410.78/412.16 c #Conflicts: 376000 | #Constraints: 18828
410.78/412.16 c #Conflicts: 377000 | #Constraints: 19828
410.78/412.16 c #Conflicts: 378000 | #Constraints: 20828
410.78/412.16 c #Conflicts: 379000 | #Constraints: 21828
410.78/412.16 c #Conflicts: 380000 | #Constraints: 22828
410.78/412.16 c #Conflicts: 381000 | #Constraints: 23828
410.78/412.16 c INPROCESSING
410.78/412.16 c GARBAGE COLLECT
410.78/412.16 c #Conflicts: 382000 | #Constraints: 12626
410.78/412.16 c #Conflicts: 383000 | #Constraints: 13626
410.78/412.16 c #Conflicts: 384000 | #Constraints: 14626
410.78/412.16 c #Conflicts: 385000 | #Constraints: 15626
410.78/412.16 c #Conflicts: 386000 | #Constraints: 16626
410.78/412.16 c #Conflicts: 387000 | #Constraints: 17626
410.78/412.16 c #Conflicts: 388000 | #Constraints: 18626
410.78/412.16 c #Conflicts: 389000 | #Constraints: 19626
410.78/412.16 c #Conflicts: 390000 | #Constraints: 20626
410.78/412.16 c #Conflicts: 391000 | #Constraints: 21626
410.78/412.16 c #Conflicts: 392000 | #Constraints: 22626
410.78/412.16 c #Conflicts: 393000 | #Constraints: 23626
410.78/412.16 c #Conflicts: 394000 | #Constraints: 24626
410.78/412.16 c INPROCESSING
410.78/412.16 c GARBAGE COLLECT
410.78/412.16 c #Conflicts: 395000 | #Constraints: 13228
410.78/412.16 c #Conflicts: 396000 | #Constraints: 14228
410.78/412.16 c #Conflicts: 397000 | #Constraints: 15228
410.78/412.16 c #Conflicts: 398000 | #Constraints: 16228
410.78/412.16 c #Conflicts: 399000 | #Constraints: 17228
410.78/412.16 c #Conflicts: 400000 | #Constraints: 18228
410.78/412.16 c #Conflicts: 401000 | #Constraints: 19228
410.78/412.16 c #Conflicts: 402000 | #Constraints: 20228
410.78/412.16 c #Conflicts: 403000 | #Constraints: 21228
410.78/412.16 c #Conflicts: 404000 | #Constraints: 22228
410.78/412.16 c #Conflicts: 405000 | #Constraints: 23228
410.78/412.16 c #Conflicts: 406000 | #Constraints: 24228
410.78/412.16 c #Conflicts: 407000 | #Constraints: 25228
410.78/412.16 c INPROCESSING
410.78/412.16 c GARBAGE COLLECT
410.78/412.16 c #Conflicts: 408000 | #Constraints: 13626
410.78/412.16 c #Conflicts: 409000 | #Constraints: 14626
410.78/412.16 c #Conflicts: 410000 | #Constraints: 15626
410.78/412.16 c #Conflicts: 411000 | #Constraints: 16626
410.78/412.16 c #Conflicts: 412000 | #Constraints: 17626
410.78/412.16 c #Conflicts: 413000 | #Constraints: 18626
410.78/412.16 c #Conflicts: 414000 | #Constraints: 19626
410.78/412.16 c #Conflicts: 415000 | #Constraints: 20626
410.78/412.16 c #Conflicts: 416000 | #Constraints: 21626
410.78/412.16 c #Conflicts: 417000 | #Constraints: 22626
410.78/412.16 c #Conflicts: 418000 | #Constraints: 23626
410.78/412.16 c #Conflicts: 419000 | #Constraints: 24626
410.78/412.16 c #Conflicts: 420000 | #Constraints: 25626
410.78/412.16 c INPROCESSING
410.78/412.16 c GARBAGE COLLECT
410.78/412.16 c #Conflicts: 421000 | #Constraints: 13828
410.78/412.16 c #Conflicts: 422000 | #Constraints: 14828
410.78/412.16 c #Conflicts: 423000 | #Constraints: 15828
410.78/412.16 c #Conflicts: 424000 | #Constraints: 16828
410.78/412.16 c #Conflicts: 425000 | #Constraints: 17828
410.78/412.16 c #Conflicts: 426000 | #Constraints: 18828
410.78/412.16 c #Conflicts: 427000 | #Constraints: 19828
410.78/412.16 c #Conflicts: 428000 | #Constraints: 20828
410.78/412.16 c #Conflicts: 429000 | #Constraints: 21828
410.78/412.16 c #Conflicts: 430000 | #Constraints: 22828
410.78/412.16 c #Conflicts: 431000 | #Constraints: 23828
410.78/412.16 c #Conflicts: 432000 | #Constraints: 24828
410.78/412.16 c #Conflicts: 433000 | #Constraints: 25828
410.78/412.16 c INPROCESSING
410.78/412.16 c GARBAGE COLLECT
410.78/412.16 c #Conflicts: 434000 | #Constraints: 13828
410.78/412.16 c #Conflicts: 435000 | #Constraints: 14828
410.78/412.16 c #Conflicts: 436000 | #Constraints: 15828
542.15/544.01 c #Conflicts: 437000 | #Constraints: 16828
542.15/544.01 c #Conflicts: 438000 | #Constraints: 17828
542.15/544.01 c #Conflicts: 439000 | #Constraints: 18828
542.15/544.01 c #Conflicts: 440000 | #Constraints: 19828
542.15/544.01 c #Conflicts: 441000 | #Constraints: 20828
542.15/544.01 c #Conflicts: 442000 | #Constraints: 21828
542.15/544.01 c #Conflicts: 443000 | #Constraints: 22828
542.15/544.01 c #Conflicts: 444000 | #Constraints: 23828
542.15/544.01 c #Conflicts: 445000 | #Constraints: 24828
542.15/544.01 c #Conflicts: 446000 | #Constraints: 25828
542.15/544.01 c INPROCESSING
542.15/544.01 c GARBAGE COLLECT
542.15/544.01 c #Conflicts: 447000 | #Constraints: 13628
542.15/544.01 c #Conflicts: 448000 | #Constraints: 14628
542.15/544.01 c #Conflicts: 449000 | #Constraints: 15628
542.15/544.01 c #Conflicts: 450000 | #Constraints: 16628
542.15/544.01 c #Conflicts: 451000 | #Constraints: 17628
542.15/544.01 c #Conflicts: 452000 | #Constraints: 18628
542.15/544.01 c #Conflicts: 453000 | #Constraints: 19628
542.15/544.01 c #Conflicts: 454000 | #Constraints: 20628
542.15/544.01 c #Conflicts: 455000 | #Constraints: 21628
542.15/544.01 c #Conflicts: 456000 | #Constraints: 22628
542.15/544.01 c #Conflicts: 457000 | #Constraints: 23628
542.15/544.01 c #Conflicts: 458000 | #Constraints: 24628
542.15/544.01 c #Conflicts: 459000 | #Constraints: 25628
542.15/544.01 c #Conflicts: 460000 | #Constraints: 26628
542.15/544.01 c INPROCESSING
542.15/544.01 c GARBAGE COLLECT
542.15/544.01 c #Conflicts: 461000 | #Constraints: 14230
542.15/544.01 c #Conflicts: 462000 | #Constraints: 15230
542.15/544.01 c #Conflicts: 463000 | #Constraints: 16230
542.15/544.01 c #Conflicts: 464000 | #Constraints: 17230
542.15/544.01 c #Conflicts: 465000 | #Constraints: 18230
542.15/544.01 c #Conflicts: 466000 | #Constraints: 19230
542.15/544.01 c #Conflicts: 467000 | #Constraints: 20230
542.15/544.01 c #Conflicts: 468000 | #Constraints: 21230
542.15/544.01 c #Conflicts: 469000 | #Constraints: 22230
542.15/544.01 c #Conflicts: 470000 | #Constraints: 23230
542.15/544.01 c #Conflicts: 471000 | #Constraints: 24230
542.15/544.01 c #Conflicts: 472000 | #Constraints: 25230
542.15/544.01 c #Conflicts: 473000 | #Constraints: 26230
542.15/544.01 c #Conflicts: 474000 | #Constraints: 27230
542.15/544.01 c INPROCESSING
542.15/544.01 c GARBAGE COLLECT
542.15/544.01 c #Conflicts: 475000 | #Constraints: 14629
542.15/544.01 c #Conflicts: 476000 | #Constraints: 15629
542.15/544.01 c #Conflicts: 477000 | #Constraints: 16629
542.15/544.01 c #Conflicts: 478000 | #Constraints: 17629
542.15/544.01 c #Conflicts: 479000 | #Constraints: 18629
542.15/544.01 c #Conflicts: 480000 | #Constraints: 19629
542.15/544.01 c #Conflicts: 481000 | #Constraints: 20629
542.15/544.01 c #Conflicts: 482000 | #Constraints: 21629
542.15/544.01 c #Conflicts: 483000 | #Constraints: 22629
542.15/544.01 c #Conflicts: 484000 | #Constraints: 23629
542.15/544.01 c #Conflicts: 485000 | #Constraints: 24629
542.15/544.01 c #Conflicts: 486000 | #Constraints: 25629
542.15/544.01 c #Conflicts: 487000 | #Constraints: 26629
542.15/544.01 c #Conflicts: 488000 | #Constraints: 27629
542.15/544.01 c INPROCESSING
542.15/544.01 c GARBAGE COLLECT
542.15/544.01 c #Conflicts: 489000 | #Constraints: 14829
542.15/544.01 c #Conflicts: 490000 | #Constraints: 15829
542.15/544.01 c #Conflicts: 491000 | #Constraints: 16829
542.15/544.01 c #Conflicts: 492000 | #Constraints: 17829
542.15/544.01 c #Conflicts: 493000 | #Constraints: 18829
542.15/544.01 c #Conflicts: 494000 | #Constraints: 19829
542.15/544.01 c #Conflicts: 495000 | #Constraints: 20829
542.15/544.01 c #Conflicts: 496000 | #Constraints: 21829
542.15/544.01 c #Conflicts: 497000 | #Constraints: 22829
542.15/544.01 c #Conflicts: 498000 | #Constraints: 23829
542.15/544.01 c #Conflicts: 499000 | #Constraints: 24829
542.15/544.01 c #Conflicts: 500000 | #Constraints: 25829
542.15/544.01 c #Conflicts: 501000 | #Constraints: 26829
542.15/544.01 c #Conflicts: 502000 | #Constraints: 27829
542.15/544.01 c INPROCESSING
542.15/544.01 c GARBAGE COLLECT
542.15/544.01 c #Conflicts: 503000 | #Constraints: 14830
542.15/544.01 c #Conflicts: 504000 | #Constraints: 15830
542.15/544.01 c #Conflicts: 505000 | #Constraints: 16830
542.15/544.01 c #Conflicts: 506000 | #Constraints: 17830
542.15/544.01 c #Conflicts: 507000 | #Constraints: 18830
542.15/544.01 c #Conflicts: 508000 | #Constraints: 19830
542.15/544.01 c #Conflicts: 509000 | #Constraints: 20830
542.15/544.01 c #Conflicts: 510000 | #Constraints: 21830
542.15/544.01 c #Conflicts: 511000 | #Constraints: 22830
542.15/544.01 c #Conflicts: 512000 | #Constraints: 23830
653.59/655.72 c #Conflicts: 513000 | #Constraints: 24830
653.59/655.72 c #Conflicts: 514000 | #Constraints: 25830
653.59/655.72 c #Conflicts: 515000 | #Constraints: 26830
653.59/655.72 c #Conflicts: 516000 | #Constraints: 27830
653.59/655.72 c INPROCESSING
653.59/655.72 c GARBAGE COLLECT
653.59/655.72 c #Conflicts: 517000 | #Constraints: 14629
653.59/655.72 c #Conflicts: 518000 | #Constraints: 15629
653.59/655.72 c #Conflicts: 519000 | #Constraints: 16629
653.59/655.72 c #Conflicts: 520000 | #Constraints: 17629
653.59/655.72 c #Conflicts: 521000 | #Constraints: 18629
653.59/655.72 c #Conflicts: 522000 | #Constraints: 19629
653.59/655.72 c #Conflicts: 523000 | #Constraints: 20629
653.59/655.72 c #Conflicts: 524000 | #Constraints: 21629
653.59/655.72 c #Conflicts: 525000 | #Constraints: 22629
653.59/655.72 c #Conflicts: 526000 | #Constraints: 23629
653.59/655.72 c #Conflicts: 527000 | #Constraints: 24629
653.59/655.72 c #Conflicts: 528000 | #Constraints: 25629
653.59/655.72 c #Conflicts: 529000 | #Constraints: 26629
653.59/655.72 c #Conflicts: 530000 | #Constraints: 27629
653.59/655.72 c #Conflicts: 531000 | #Constraints: 28629
653.59/655.72 c INPROCESSING
653.59/655.72 c GARBAGE COLLECT
653.59/655.72 c #Conflicts: 532000 | #Constraints: 15229
653.59/655.72 c #Conflicts: 533000 | #Constraints: 16229
653.59/655.72 c #Conflicts: 534000 | #Constraints: 17229
653.59/655.72 c #Conflicts: 535000 | #Constraints: 18229
653.59/655.72 c #Conflicts: 536000 | #Constraints: 19229
653.59/655.72 c #Conflicts: 537000 | #Constraints: 20229
653.59/655.72 c #Conflicts: 538000 | #Constraints: 21229
653.59/655.72 c #Conflicts: 539000 | #Constraints: 22229
653.59/655.72 c #Conflicts: 540000 | #Constraints: 23229
653.59/655.72 c #Conflicts: 541000 | #Constraints: 24229
653.59/655.72 c #Conflicts: 542000 | #Constraints: 25229
653.59/655.72 c #Conflicts: 543000 | #Constraints: 26229
653.59/655.72 c #Conflicts: 544000 | #Constraints: 27229
653.59/655.72 c #Conflicts: 545000 | #Constraints: 28229
653.59/655.72 c #Conflicts: 546000 | #Constraints: 29229
653.59/655.72 c INPROCESSING
653.59/655.72 c GARBAGE COLLECT
653.59/655.72 c #Conflicts: 547000 | #Constraints: 15628
653.59/655.72 c #Conflicts: 548000 | #Constraints: 16628
653.59/655.72 c #Conflicts: 549000 | #Constraints: 17628
653.59/655.72 c #Conflicts: 550000 | #Constraints: 18628
653.59/655.72 c #Conflicts: 551000 | #Constraints: 19628
653.59/655.72 c #Conflicts: 552000 | #Constraints: 20628
653.59/655.72 c #Conflicts: 553000 | #Constraints: 21628
653.59/655.72 c #Conflicts: 554000 | #Constraints: 22628
653.59/655.72 c #Conflicts: 555000 | #Constraints: 23628
653.59/655.72 c #Conflicts: 556000 | #Constraints: 24628
653.59/655.72 c #Conflicts: 557000 | #Constraints: 25628
653.59/655.72 c #Conflicts: 558000 | #Constraints: 26628
653.59/655.72 c #Conflicts: 559000 | #Constraints: 27628
653.59/655.72 c #Conflicts: 560000 | #Constraints: 28628
653.59/655.72 c #Conflicts: 561000 | #Constraints: 29628
653.59/655.72 c INPROCESSING
653.59/655.72 c GARBAGE COLLECT
653.59/655.72 c #Conflicts: 562000 | #Constraints: 15825
653.59/655.72 c #Conflicts: 563000 | #Constraints: 16825
653.59/655.72 c #Conflicts: 564000 | #Constraints: 17825
653.59/655.72 c #Conflicts: 565000 | #Constraints: 18825
653.59/655.72 c #Conflicts: 566000 | #Constraints: 19825
653.59/655.72 c #Conflicts: 567000 | #Constraints: 20825
653.59/655.72 c #Conflicts: 568000 | #Constraints: 21825
653.59/655.72 c #Conflicts: 569000 | #Constraints: 22825
653.59/655.72 c #Conflicts: 570000 | #Constraints: 23825
653.59/655.72 c #Conflicts: 571000 | #Constraints: 24825
653.59/655.72 c #Conflicts: 572000 | #Constraints: 25825
653.59/655.72 c #Conflicts: 573000 | #Constraints: 26825
653.59/655.72 c #Conflicts: 574000 | #Constraints: 27825
653.59/655.72 c #Conflicts: 575000 | #Constraints: 28825
653.59/655.72 c #Conflicts: 576000 | #Constraints: 29825
653.59/655.72 c INPROCESSING
653.59/655.72 c GARBAGE COLLECT
653.59/655.72 c #Conflicts: 577000 | #Constraints: 15827
653.59/655.72 c #Conflicts: 578000 | #Constraints: 16827
653.59/655.72 c #Conflicts: 579000 | #Constraints: 17827
653.59/655.72 c #Conflicts: 580000 | #Constraints: 18827
653.59/655.72 c #Conflicts: 581000 | #Constraints: 19827
653.59/655.72 c #Conflicts: 582000 | #Constraints: 20827
653.59/655.72 c #Conflicts: 583000 | #Constraints: 21827
653.59/655.72 c #Conflicts: 584000 | #Constraints: 22827
653.59/655.72 c #Conflicts: 585000 | #Constraints: 23827
653.59/655.72 c #Conflicts: 586000 | #Constraints: 24827
653.59/655.72 c #Conflicts: 587000 | #Constraints: 25827
653.59/655.72 c #Conflicts: 588000 | #Constraints: 26827
771.50/774.01 c #Conflicts: 589000 | #Constraints: 27827
771.50/774.01 c #Conflicts: 590000 | #Constraints: 28827
771.50/774.01 c #Conflicts: 591000 | #Constraints: 29827
771.50/774.01 c INPROCESSING
771.50/774.01 c GARBAGE COLLECT
771.50/774.01 c #Conflicts: 592000 | #Constraints: 15626
771.50/774.01 c #Conflicts: 593000 | #Constraints: 16626
771.50/774.01 c #Conflicts: 594000 | #Constraints: 17626
771.50/774.01 c #Conflicts: 595000 | #Constraints: 18626
771.50/774.01 c #Conflicts: 596000 | #Constraints: 19626
771.50/774.01 c #Conflicts: 597000 | #Constraints: 20626
771.50/774.01 c #Conflicts: 598000 | #Constraints: 21626
771.50/774.01 c #Conflicts: 599000 | #Constraints: 22626
771.50/774.01 c #Conflicts: 600000 | #Constraints: 23626
771.50/774.01 c #Conflicts: 601000 | #Constraints: 24626
771.50/774.01 c #Conflicts: 602000 | #Constraints: 25626
771.50/774.01 c #Conflicts: 603000 | #Constraints: 26626
771.50/774.01 c #Conflicts: 604000 | #Constraints: 27626
771.50/774.01 c #Conflicts: 605000 | #Constraints: 28626
771.50/774.01 c #Conflicts: 606000 | #Constraints: 29626
771.50/774.01 c #Conflicts: 607000 | #Constraints: 30626
771.50/774.01 c INPROCESSING
771.50/774.01 c GARBAGE COLLECT
771.50/774.01 c #Conflicts: 608000 | #Constraints: 16228
771.50/774.01 c #Conflicts: 609000 | #Constraints: 17228
771.50/774.01 c #Conflicts: 610000 | #Constraints: 18228
771.50/774.01 c #Conflicts: 611000 | #Constraints: 19228
771.50/774.01 c #Conflicts: 612000 | #Constraints: 20228
771.50/774.01 c #Conflicts: 613000 | #Constraints: 21228
771.50/774.01 c #Conflicts: 614000 | #Constraints: 22228
771.50/774.01 c #Conflicts: 615000 | #Constraints: 23228
771.50/774.01 c #Conflicts: 616000 | #Constraints: 24228
771.50/774.01 c #Conflicts: 617000 | #Constraints: 25228
771.50/774.01 c #Conflicts: 618000 | #Constraints: 26228
771.50/774.01 c #Conflicts: 619000 | #Constraints: 27228
771.50/774.01 c #Conflicts: 620000 | #Constraints: 28228
771.50/774.01 c #Conflicts: 621000 | #Constraints: 29228
771.50/774.01 c #Conflicts: 622000 | #Constraints: 30228
771.50/774.01 c #Conflicts: 623000 | #Constraints: 31228
771.50/774.01 c INPROCESSING
771.50/774.01 c GARBAGE COLLECT
771.50/774.01 c #Conflicts: 624000 | #Constraints: 16628
771.50/774.01 c #Conflicts: 625000 | #Constraints: 17628
771.50/774.01 c #Conflicts: 626000 | #Constraints: 18628
771.50/774.01 c #Conflicts: 627000 | #Constraints: 19628
771.50/774.01 c #Conflicts: 628000 | #Constraints: 20628
771.50/774.01 c #Conflicts: 629000 | #Constraints: 21628
771.50/774.01 c #Conflicts: 630000 | #Constraints: 22628
771.50/774.01 c #Conflicts: 631000 | #Constraints: 23628
771.50/774.01 c #Conflicts: 632000 | #Constraints: 24628
771.50/774.01 c #Conflicts: 633000 | #Constraints: 25628
771.50/774.01 c #Conflicts: 634000 | #Constraints: 26628
771.50/774.01 c #Conflicts: 635000 | #Constraints: 27628
771.50/774.01 c #Conflicts: 636000 | #Constraints: 28628
771.50/774.01 c #Conflicts: 637000 | #Constraints: 29628
771.50/774.01 c #Conflicts: 638000 | #Constraints: 30628
771.50/774.01 c #Conflicts: 639000 | #Constraints: 31628
771.50/774.01 c INPROCESSING
771.50/774.01 c GARBAGE COLLECT
771.50/774.01 c #Conflicts: 640000 | #Constraints: 16827
771.50/774.01 c #Conflicts: 641000 | #Constraints: 17827
771.50/774.01 c #Conflicts: 642000 | #Constraints: 18827
771.50/774.01 c #Conflicts: 643000 | #Constraints: 19827
771.50/774.01 c #Conflicts: 644000 | #Constraints: 20827
771.50/774.01 c #Conflicts: 645000 | #Constraints: 21827
771.50/774.01 c #Conflicts: 646000 | #Constraints: 22827
771.50/774.01 c #Conflicts: 647000 | #Constraints: 23827
771.50/774.01 c #Conflicts: 648000 | #Constraints: 24827
771.50/774.01 c #Conflicts: 649000 | #Constraints: 25827
771.50/774.01 c #Conflicts: 650000 | #Constraints: 26827
771.50/774.01 c #Conflicts: 651000 | #Constraints: 27827
771.50/774.01 c #Conflicts: 652000 | #Constraints: 28827
771.50/774.01 c #Conflicts: 653000 | #Constraints: 29827
771.50/774.01 c #Conflicts: 654000 | #Constraints: 30827
771.50/774.01 c #Conflicts: 655000 | #Constraints: 31827
771.50/774.01 c INPROCESSING
771.50/774.01 c GARBAGE COLLECT
771.50/774.01 c #Conflicts: 656000 | #Constraints: 16827
771.50/774.01 c #Conflicts: 657000 | #Constraints: 17827
771.50/774.01 c #Conflicts: 658000 | #Constraints: 18827
771.50/774.01 c #Conflicts: 659000 | #Constraints: 19827
771.50/774.01 c #Conflicts: 660000 | #Constraints: 20827
771.50/774.01 c #Conflicts: 661000 | #Constraints: 21827
771.50/774.01 c #Conflicts: 662000 | #Constraints: 22827
771.50/774.01 c #Conflicts: 663000 | #Constraints: 23827
894.75/897.76 c #Conflicts: 664000 | #Constraints: 24827
894.75/897.76 c #Conflicts: 665000 | #Constraints: 25827
894.75/897.76 c #Conflicts: 666000 | #Constraints: 26827
894.75/897.76 c #Conflicts: 667000 | #Constraints: 27827
894.75/897.76 c #Conflicts: 668000 | #Constraints: 28827
894.75/897.76 c #Conflicts: 669000 | #Constraints: 29827
894.75/897.76 c #Conflicts: 670000 | #Constraints: 30827
894.75/897.76 c #Conflicts: 671000 | #Constraints: 31827
894.75/897.76 c INPROCESSING
894.75/897.76 c GARBAGE COLLECT
894.75/897.76 c #Conflicts: 672000 | #Constraints: 16624
894.75/897.76 c #Conflicts: 673000 | #Constraints: 17624
894.75/897.76 c #Conflicts: 674000 | #Constraints: 18624
894.75/897.76 c #Conflicts: 675000 | #Constraints: 19624
894.75/897.76 c #Conflicts: 676000 | #Constraints: 20624
894.75/897.76 c #Conflicts: 677000 | #Constraints: 21624
894.75/897.76 c #Conflicts: 678000 | #Constraints: 22624
894.75/897.76 c #Conflicts: 679000 | #Constraints: 23624
894.75/897.76 c #Conflicts: 680000 | #Constraints: 24624
894.75/897.76 c #Conflicts: 681000 | #Constraints: 25624
894.75/897.76 c #Conflicts: 682000 | #Constraints: 26624
894.75/897.76 c #Conflicts: 683000 | #Constraints: 27624
894.75/897.76 c #Conflicts: 684000 | #Constraints: 28624
894.75/897.76 c #Conflicts: 685000 | #Constraints: 29624
894.75/897.76 c #Conflicts: 686000 | #Constraints: 30624
894.75/897.76 c #Conflicts: 687000 | #Constraints: 31624
894.75/897.76 c #Conflicts: 688000 | #Constraints: 32624
894.75/897.76 c INPROCESSING
894.75/897.76 c GARBAGE COLLECT
894.75/897.76 c #Conflicts: 689000 | #Constraints: 17222
894.75/897.76 c #Conflicts: 690000 | #Constraints: 18222
894.75/897.76 c #Conflicts: 691000 | #Constraints: 19222
894.75/897.76 c #Conflicts: 692000 | #Constraints: 20222
894.75/897.76 c #Conflicts: 693000 | #Constraints: 21222
894.75/897.76 c #Conflicts: 694000 | #Constraints: 22222
894.75/897.76 c #Conflicts: 695000 | #Constraints: 23222
894.75/897.76 c #Conflicts: 696000 | #Constraints: 24222
894.75/897.76 c #Conflicts: 697000 | #Constraints: 25222
894.75/897.76 c #Conflicts: 698000 | #Constraints: 26222
894.75/897.76 c #Conflicts: 699000 | #Constraints: 27222
894.75/897.76 c #Conflicts: 700000 | #Constraints: 28222
894.75/897.76 c #Conflicts: 701000 | #Constraints: 29222
894.75/897.76 c #Conflicts: 702000 | #Constraints: 30222
894.75/897.76 c #Conflicts: 703000 | #Constraints: 31222
894.75/897.76 c #Conflicts: 704000 | #Constraints: 32222
894.75/897.76 c #Conflicts: 705000 | #Constraints: 33222
894.75/897.76 c INPROCESSING
894.75/897.76 c GARBAGE COLLECT
894.75/897.76 c #Conflicts: 706000 | #Constraints: 17625
894.75/897.76 c #Conflicts: 707000 | #Constraints: 18625
894.75/897.76 c #Conflicts: 708000 | #Constraints: 19625
894.75/897.76 c #Conflicts: 709000 | #Constraints: 20625
894.75/897.76 c #Conflicts: 710000 | #Constraints: 21625
894.75/897.76 c #Conflicts: 711000 | #Constraints: 22625
894.75/897.76 c #Conflicts: 712000 | #Constraints: 23625
894.75/897.76 c #Conflicts: 713000 | #Constraints: 24625
894.75/897.76 c #Conflicts: 714000 | #Constraints: 25625
894.75/897.76 c #Conflicts: 715000 | #Constraints: 26625
894.75/897.76 c #Conflicts: 716000 | #Constraints: 27625
894.75/897.76 c #Conflicts: 717000 | #Constraints: 28625
894.75/897.76 c #Conflicts: 718000 | #Constraints: 29625
894.75/897.76 c #Conflicts: 719000 | #Constraints: 30625
894.75/897.76 c #Conflicts: 720000 | #Constraints: 31625
894.75/897.76 c #Conflicts: 721000 | #Constraints: 32625
894.75/897.76 c #Conflicts: 722000 | #Constraints: 33625
894.75/897.76 c INPROCESSING
894.75/897.76 c GARBAGE COLLECT
894.75/897.76 c #Conflicts: 723000 | #Constraints: 17828
894.75/897.76 c #Conflicts: 724000 | #Constraints: 18828
894.75/897.76 c #Conflicts: 725000 | #Constraints: 19828
894.75/897.76 c #Conflicts: 726000 | #Constraints: 20828
894.75/897.76 c #Conflicts: 727000 | #Constraints: 21828
894.75/897.76 c #Conflicts: 728000 | #Constraints: 22828
894.75/897.76 c #Conflicts: 729000 | #Constraints: 23828
894.75/897.76 c #Conflicts: 730000 | #Constraints: 24828
894.75/897.76 c #Conflicts: 731000 | #Constraints: 25828
894.75/897.76 c #Conflicts: 732000 | #Constraints: 26828
894.75/897.76 c #Conflicts: 733000 | #Constraints: 27828
894.75/897.76 c #Conflicts: 734000 | #Constraints: 28828
894.75/897.76 c #Conflicts: 735000 | #Constraints: 29828
894.75/897.76 c #Conflicts: 736000 | #Constraints: 30828
894.75/897.76 c #Conflicts: 737000 | #Constraints: 31828
894.75/897.76 c #Conflicts: 738000 | #Constraints: 32828
894.75/897.76 c #Conflicts: 739000 | #Constraints: 33828
1029.48/1032.99 c INPROCESSING
1029.48/1032.99 c GARBAGE COLLECT
1029.48/1032.99 c #Conflicts: 740000 | #Constraints: 17829
1029.48/1032.99 c #Conflicts: 741000 | #Constraints: 18829
1029.48/1032.99 c #Conflicts: 742000 | #Constraints: 19829
1029.48/1032.99 c #Conflicts: 743000 | #Constraints: 20829
1029.48/1032.99 c #Conflicts: 744000 | #Constraints: 21829
1029.48/1032.99 c #Conflicts: 745000 | #Constraints: 22829
1029.48/1032.99 c #Conflicts: 746000 | #Constraints: 23829
1029.48/1032.99 c #Conflicts: 747000 | #Constraints: 24829
1029.48/1032.99 c #Conflicts: 748000 | #Constraints: 25829
1029.48/1032.99 c #Conflicts: 749000 | #Constraints: 26829
1029.48/1032.99 c #Conflicts: 750000 | #Constraints: 27829
1029.48/1032.99 c #Conflicts: 751000 | #Constraints: 28829
1029.48/1032.99 c #Conflicts: 752000 | #Constraints: 29829
1029.48/1032.99 c #Conflicts: 753000 | #Constraints: 30829
1029.48/1032.99 c #Conflicts: 754000 | #Constraints: 31829
1029.48/1032.99 c #Conflicts: 755000 | #Constraints: 32829
1029.48/1032.99 c #Conflicts: 756000 | #Constraints: 33829
1029.48/1032.99 c INPROCESSING
1029.48/1032.99 c GARBAGE COLLECT
1029.48/1032.99 c #Conflicts: 757000 | #Constraints: 17625
1029.48/1032.99 c #Conflicts: 758000 | #Constraints: 18625
1029.48/1032.99 c #Conflicts: 759000 | #Constraints: 19625
1029.48/1032.99 c #Conflicts: 760000 | #Constraints: 20625
1029.48/1032.99 c #Conflicts: 761000 | #Constraints: 21625
1029.48/1032.99 c #Conflicts: 762000 | #Constraints: 22625
1029.48/1032.99 c #Conflicts: 763000 | #Constraints: 23625
1029.48/1032.99 c #Conflicts: 764000 | #Constraints: 24625
1029.48/1032.99 c #Conflicts: 765000 | #Constraints: 25625
1029.48/1032.99 c #Conflicts: 766000 | #Constraints: 26625
1029.48/1032.99 c #Conflicts: 767000 | #Constraints: 27625
1029.48/1032.99 c #Conflicts: 768000 | #Constraints: 28625
1029.48/1032.99 c #Conflicts: 769000 | #Constraints: 29625
1029.48/1032.99 c #Conflicts: 770000 | #Constraints: 30625
1029.48/1032.99 c #Conflicts: 771000 | #Constraints: 31625
1029.48/1032.99 c #Conflicts: 772000 | #Constraints: 32625
1029.48/1032.99 c #Conflicts: 773000 | #Constraints: 33625
1029.48/1032.99 c #Conflicts: 774000 | #Constraints: 34625
1029.48/1032.99 c INPROCESSING
1029.48/1032.99 c GARBAGE COLLECT
1029.48/1032.99 c #Conflicts: 775000 | #Constraints: 18224
1029.48/1032.99 c #Conflicts: 776000 | #Constraints: 19224
1029.48/1032.99 c #Conflicts: 777000 | #Constraints: 20224
1029.48/1032.99 c #Conflicts: 778000 | #Constraints: 21224
1029.48/1032.99 c #Conflicts: 779000 | #Constraints: 22224
1029.48/1032.99 c #Conflicts: 780000 | #Constraints: 23224
1029.48/1032.99 c #Conflicts: 781000 | #Constraints: 24224
1029.48/1032.99 c #Conflicts: 782000 | #Constraints: 25224
1029.48/1032.99 c #Conflicts: 783000 | #Constraints: 26224
1029.48/1032.99 c #Conflicts: 784000 | #Constraints: 27224
1029.48/1032.99 c #Conflicts: 785000 | #Constraints: 28224
1029.48/1032.99 c #Conflicts: 786000 | #Constraints: 29224
1029.48/1032.99 c #Conflicts: 787000 | #Constraints: 30224
1029.48/1032.99 c #Conflicts: 788000 | #Constraints: 31224
1029.48/1032.99 c #Conflicts: 789000 | #Constraints: 32224
1029.48/1032.99 c #Conflicts: 790000 | #Constraints: 33224
1029.48/1032.99 c #Conflicts: 791000 | #Constraints: 34224
1029.48/1032.99 c #Conflicts: 792000 | #Constraints: 35224
1029.48/1032.99 c INPROCESSING
1029.48/1032.99 c GARBAGE COLLECT
1029.48/1032.99 c #Conflicts: 793000 | #Constraints: 18627
1029.48/1032.99 c #Conflicts: 794000 | #Constraints: 19627
1029.48/1032.99 c #Conflicts: 795000 | #Constraints: 20627
1029.48/1032.99 c #Conflicts: 796000 | #Constraints: 21627
1029.48/1033.00 c #Conflicts: 797000 | #Constraints: 22627
1029.48/1033.00 c #Conflicts: 798000 | #Constraints: 23627
1029.48/1033.00 c #Conflicts: 799000 | #Constraints: 24627
1029.48/1033.00 c #Conflicts: 800000 | #Constraints: 25627
1029.48/1033.00 c #Conflicts: 801000 | #Constraints: 26627
1029.48/1033.00 c #Conflicts: 802000 | #Constraints: 27627
1029.48/1033.00 c #Conflicts: 803000 | #Constraints: 28627
1029.48/1033.00 c #Conflicts: 804000 | #Constraints: 29627
1029.48/1033.00 c #Conflicts: 805000 | #Constraints: 30627
1029.48/1033.00 c #Conflicts: 806000 | #Constraints: 31627
1029.48/1033.00 c #Conflicts: 807000 | #Constraints: 32627
1029.48/1033.00 c #Conflicts: 808000 | #Constraints: 33627
1029.48/1033.00 c #Conflicts: 809000 | #Constraints: 34627
1029.48/1033.00 c #Conflicts: 810000 | #Constraints: 35627
1029.48/1033.00 c INPROCESSING
1029.48/1033.00 c GARBAGE COLLECT
1029.48/1033.00 c #Conflicts: 811000 | #Constraints: 18825
1029.48/1033.00 c #Conflicts: 812000 | #Constraints: 19825
1029.48/1033.00 c #Conflicts: 813000 | #Constraints: 20825
1029.48/1033.00 c #Conflicts: 814000 | #Constraints: 21825
1029.48/1033.00 c #Conflicts: 815000 | #Constraints: 22825
1180.54/1184.55 c #Conflicts: 816000 | #Constraints: 23825
1180.54/1184.55 c #Conflicts: 817000 | #Constraints: 24825
1180.54/1184.55 c #Conflicts: 818000 | #Constraints: 25825
1180.54/1184.55 c #Conflicts: 819000 | #Constraints: 26825
1180.54/1184.55 c #Conflicts: 820000 | #Constraints: 27825
1180.54/1184.55 c #Conflicts: 821000 | #Constraints: 28825
1180.54/1184.55 c #Conflicts: 822000 | #Constraints: 29825
1180.54/1184.55 c #Conflicts: 823000 | #Constraints: 30825
1180.54/1184.55 c #Conflicts: 824000 | #Constraints: 31825
1180.54/1184.55 c #Conflicts: 825000 | #Constraints: 32825
1180.54/1184.55 c #Conflicts: 826000 | #Constraints: 33825
1180.54/1184.55 c #Conflicts: 827000 | #Constraints: 34825
1180.54/1184.55 c #Conflicts: 828000 | #Constraints: 35825
1180.54/1184.55 c INPROCESSING
1180.54/1184.55 c GARBAGE COLLECT
1180.54/1184.55 c #Conflicts: 829000 | #Constraints: 18828
1180.54/1184.55 c #Conflicts: 830000 | #Constraints: 19828
1180.54/1184.55 c #Conflicts: 831000 | #Constraints: 20828
1180.54/1184.55 c #Conflicts: 832000 | #Constraints: 21828
1180.54/1184.55 c #Conflicts: 833000 | #Constraints: 22828
1180.54/1184.55 c #Conflicts: 834000 | #Constraints: 23828
1180.54/1184.55 c #Conflicts: 835000 | #Constraints: 24828
1180.54/1184.55 c #Conflicts: 836000 | #Constraints: 25828
1180.54/1184.55 c #Conflicts: 837000 | #Constraints: 26828
1180.54/1184.55 c #Conflicts: 838000 | #Constraints: 27828
1180.54/1184.55 c #Conflicts: 839000 | #Constraints: 28828
1180.54/1184.55 c #Conflicts: 840000 | #Constraints: 29828
1180.54/1184.55 c #Conflicts: 841000 | #Constraints: 30828
1180.54/1184.55 c #Conflicts: 842000 | #Constraints: 31828
1180.54/1184.55 c #Conflicts: 843000 | #Constraints: 32828
1180.54/1184.55 c #Conflicts: 844000 | #Constraints: 33828
1180.54/1184.55 c #Conflicts: 845000 | #Constraints: 34828
1180.54/1184.55 c #Conflicts: 846000 | #Constraints: 35828
1180.54/1184.55 c INPROCESSING
1180.54/1184.55 c GARBAGE COLLECT
1180.54/1184.55 c #Conflicts: 847000 | #Constraints: 18628
1180.54/1184.55 c #Conflicts: 848000 | #Constraints: 19628
1180.54/1184.55 c #Conflicts: 849000 | #Constraints: 20628
1180.54/1184.55 c #Conflicts: 850000 | #Constraints: 21628
1180.54/1184.55 c #Conflicts: 851000 | #Constraints: 22628
1180.54/1184.55 c #Conflicts: 852000 | #Constraints: 23628
1180.54/1184.55 c #Conflicts: 853000 | #Constraints: 24628
1180.54/1184.55 c #Conflicts: 854000 | #Constraints: 25628
1180.54/1184.55 c #Conflicts: 855000 | #Constraints: 26628
1180.54/1184.55 c #Conflicts: 856000 | #Constraints: 27628
1180.54/1184.55 c #Conflicts: 857000 | #Constraints: 28628
1180.54/1184.55 c #Conflicts: 858000 | #Constraints: 29628
1180.54/1184.55 c #Conflicts: 859000 | #Constraints: 30628
1180.54/1184.55 c #Conflicts: 860000 | #Constraints: 31628
1180.54/1184.55 c #Conflicts: 861000 | #Constraints: 32628
1180.54/1184.55 c #Conflicts: 862000 | #Constraints: 33628
1180.54/1184.55 c #Conflicts: 863000 | #Constraints: 34628
1180.54/1184.55 c #Conflicts: 864000 | #Constraints: 35628
1180.54/1184.55 c #Conflicts: 865000 | #Constraints: 36628
1180.54/1184.55 c INPROCESSING
1180.54/1184.55 c GARBAGE COLLECT
1180.54/1184.55 c #Conflicts: 866000 | #Constraints: 19230
1180.54/1184.55 c #Conflicts: 867000 | #Constraints: 20230
1180.54/1184.55 c #Conflicts: 868000 | #Constraints: 21230
1180.54/1184.55 c #Conflicts: 869000 | #Constraints: 22230
1180.54/1184.55 c #Conflicts: 870000 | #Constraints: 23230
1180.54/1184.55 c #Conflicts: 871000 | #Constraints: 24230
1180.54/1184.55 c #Conflicts: 872000 | #Constraints: 25230
1180.54/1184.56 c #Conflicts: 873000 | #Constraints: 26230
1180.54/1184.56 c #Conflicts: 874000 | #Constraints: 27230
1180.54/1184.56 c #Conflicts: 875000 | #Constraints: 28230
1180.54/1184.56 c #Conflicts: 876000 | #Constraints: 29230
1180.54/1184.56 c #Conflicts: 877000 | #Constraints: 30230
1180.54/1184.56 c #Conflicts: 878000 | #Constraints: 31230
1180.54/1184.56 c #Conflicts: 879000 | #Constraints: 32230
1180.54/1184.56 c #Conflicts: 880000 | #Constraints: 33230
1180.54/1184.56 c #Conflicts: 881000 | #Constraints: 34230
1180.54/1184.56 c #Conflicts: 882000 | #Constraints: 35230
1180.54/1184.56 c #Conflicts: 883000 | #Constraints: 36230
1180.54/1184.56 c #Conflicts: 884000 | #Constraints: 37230
1180.54/1184.56 c INPROCESSING
1180.54/1184.56 c GARBAGE COLLECT
1180.54/1184.56 c #Conflicts: 885000 | #Constraints: 19627
1180.54/1184.56 c #Conflicts: 886000 | #Constraints: 20627
1180.54/1184.56 c #Conflicts: 887000 | #Constraints: 21627
1180.54/1184.56 c #Conflicts: 888000 | #Constraints: 22627
1180.54/1184.56 c #Conflicts: 889000 | #Constraints: 23627
1180.54/1184.56 c #Conflicts: 890000 | #Constraints: 24627
1180.54/1184.56 c #Conflicts: 891000 | #Constraints: 25627
1353.03/1357.65 c #Conflicts: 892000 | #Constraints: 26627
1353.03/1357.65 c #Conflicts: 893000 | #Constraints: 27627
1353.03/1357.65 c #Conflicts: 894000 | #Constraints: 28627
1353.03/1357.65 c #Conflicts: 895000 | #Constraints: 29627
1353.03/1357.65 c #Conflicts: 896000 | #Constraints: 30627
1353.03/1357.65 c #Conflicts: 897000 | #Constraints: 31627
1353.03/1357.65 c #Conflicts: 898000 | #Constraints: 32627
1353.03/1357.65 c #Conflicts: 899000 | #Constraints: 33627
1353.03/1357.65 c #Conflicts: 900000 | #Constraints: 34627
1353.03/1357.65 c #Conflicts: 901000 | #Constraints: 35627
1353.03/1357.65 c #Conflicts: 902000 | #Constraints: 36627
1353.03/1357.65 c #Conflicts: 903000 | #Constraints: 37627
1353.03/1357.65 c INPROCESSING
1353.03/1357.65 c GARBAGE COLLECT
1353.03/1357.65 c #Conflicts: 904000 | #Constraints: 19828
1353.03/1357.65 c #Conflicts: 905000 | #Constraints: 20828
1353.03/1357.65 c #Conflicts: 906000 | #Constraints: 21828
1353.03/1357.65 c #Conflicts: 907000 | #Constraints: 22828
1353.03/1357.65 c #Conflicts: 908000 | #Constraints: 23828
1353.03/1357.65 c #Conflicts: 909000 | #Constraints: 24828
1353.03/1357.65 c #Conflicts: 910000 | #Constraints: 25828
1353.03/1357.65 c #Conflicts: 911000 | #Constraints: 26828
1353.03/1357.65 c #Conflicts: 912000 | #Constraints: 27828
1353.03/1357.65 c #Conflicts: 913000 | #Constraints: 28828
1353.03/1357.65 c #Conflicts: 914000 | #Constraints: 29828
1353.03/1357.65 c #Conflicts: 915000 | #Constraints: 30828
1353.03/1357.65 c #Conflicts: 916000 | #Constraints: 31828
1353.03/1357.65 c #Conflicts: 917000 | #Constraints: 32828
1353.03/1357.65 c #Conflicts: 918000 | #Constraints: 33828
1353.03/1357.65 c #Conflicts: 919000 | #Constraints: 34828
1353.03/1357.65 c #Conflicts: 920000 | #Constraints: 35828
1353.03/1357.65 c #Conflicts: 921000 | #Constraints: 36828
1353.03/1357.65 c #Conflicts: 922000 | #Constraints: 37828
1353.03/1357.65 c INPROCESSING
1353.03/1357.65 c GARBAGE COLLECT
1353.03/1357.65 c #Conflicts: 923000 | #Constraints: 19827
1353.03/1357.65 c #Conflicts: 924000 | #Constraints: 20827
1353.03/1357.65 c #Conflicts: 925000 | #Constraints: 21827
1353.03/1357.65 c #Conflicts: 926000 | #Constraints: 22827
1353.03/1357.65 c #Conflicts: 927000 | #Constraints: 23827
1353.03/1357.65 c #Conflicts: 928000 | #Constraints: 24827
1353.03/1357.65 c #Conflicts: 929000 | #Constraints: 25827
1353.03/1357.66 c #Conflicts: 930000 | #Constraints: 26827
1353.03/1357.66 c #Conflicts: 931000 | #Constraints: 27827
1353.03/1357.66 c #Conflicts: 932000 | #Constraints: 28827
1353.03/1357.66 c #Conflicts: 933000 | #Constraints: 29827
1353.03/1357.66 c #Conflicts: 934000 | #Constraints: 30827
1353.03/1357.66 c #Conflicts: 935000 | #Constraints: 31827
1353.03/1357.66 c #Conflicts: 936000 | #Constraints: 32827
1353.03/1357.66 c #Conflicts: 937000 | #Constraints: 33827
1353.03/1357.66 c #Conflicts: 938000 | #Constraints: 34827
1353.03/1357.66 c #Conflicts: 939000 | #Constraints: 35827
1353.03/1357.66 c #Conflicts: 940000 | #Constraints: 36827
1353.03/1357.66 c #Conflicts: 941000 | #Constraints: 37827
1353.03/1357.66 c INPROCESSING
1353.03/1357.66 c GARBAGE COLLECT
1353.03/1357.66 c #Conflicts: 942000 | #Constraints: 19629
1353.03/1357.66 c #Conflicts: 943000 | #Constraints: 20629
1353.03/1357.66 c #Conflicts: 944000 | #Constraints: 21629
1353.03/1357.66 c #Conflicts: 945000 | #Constraints: 22629
1353.03/1357.66 c #Conflicts: 946000 | #Constraints: 23629
1353.03/1357.66 c #Conflicts: 947000 | #Constraints: 24629
1353.03/1357.66 c #Conflicts: 948000 | #Constraints: 25629
1353.03/1357.66 c #Conflicts: 949000 | #Constraints: 26629
1353.03/1357.66 c #Conflicts: 950000 | #Constraints: 27629
1353.03/1357.66 c #Conflicts: 951000 | #Constraints: 28629
1353.03/1357.66 c #Conflicts: 952000 | #Constraints: 29629
1353.03/1357.66 c #Conflicts: 953000 | #Constraints: 30629
1353.03/1357.66 c #Conflicts: 954000 | #Constraints: 31629
1353.03/1357.66 c #Conflicts: 955000 | #Constraints: 32629
1353.03/1357.66 c #Conflicts: 956000 | #Constraints: 33629
1353.03/1357.66 c #Conflicts: 957000 | #Constraints: 34629
1353.03/1357.66 c #Conflicts: 958000 | #Constraints: 35629
1353.03/1357.66 c #Conflicts: 959000 | #Constraints: 36629
1353.03/1357.66 c #Conflicts: 960000 | #Constraints: 37629
1353.03/1357.66 c #Conflicts: 961000 | #Constraints: 38629
1353.03/1357.66 c INPROCESSING
1353.03/1357.66 c GARBAGE COLLECT
1353.03/1357.66 c #Conflicts: 962000 | #Constraints: 20231
1353.03/1357.66 c #Conflicts: 963000 | #Constraints: 21231
1353.03/1357.66 c #Conflicts: 964000 | #Constraints: 22231
1353.03/1357.66 c #Conflicts: 965000 | #Constraints: 23231
1353.03/1357.66 c #Conflicts: 966000 | #Constraints: 24231
1353.03/1357.66 c #Conflicts: 967000 | #Constraints: 25231
1549.25/1554.56 c #Conflicts: 968000 | #Constraints: 26231
1549.25/1554.56 c #Conflicts: 969000 | #Constraints: 27231
1549.25/1554.56 c #Conflicts: 970000 | #Constraints: 28231
1549.25/1554.56 c #Conflicts: 971000 | #Constraints: 29231
1549.25/1554.56 c #Conflicts: 972000 | #Constraints: 30231
1549.25/1554.56 c #Conflicts: 973000 | #Constraints: 31231
1549.25/1554.56 c #Conflicts: 974000 | #Constraints: 32231
1549.25/1554.56 c #Conflicts: 975000 | #Constraints: 33231
1549.25/1554.56 c #Conflicts: 976000 | #Constraints: 34231
1549.25/1554.56 c #Conflicts: 977000 | #Constraints: 35231
1549.25/1554.56 c #Conflicts: 978000 | #Constraints: 36231
1549.25/1554.56 c #Conflicts: 979000 | #Constraints: 37231
1549.25/1554.56 c #Conflicts: 980000 | #Constraints: 38231
1549.25/1554.56 c #Conflicts: 981000 | #Constraints: 39231
1549.25/1554.56 c INPROCESSING
1549.25/1554.56 c GARBAGE COLLECT
1549.25/1554.56 c #Conflicts: 982000 | #Constraints: 20633
1549.25/1554.56 c #Conflicts: 983000 | #Constraints: 21633
1549.25/1554.56 c #Conflicts: 984000 | #Constraints: 22633
1549.25/1554.56 c #Conflicts: 985000 | #Constraints: 23633
1549.25/1554.56 c #Conflicts: 986000 | #Constraints: 24633
1549.25/1554.56 c #Conflicts: 987000 | #Constraints: 25633
1549.25/1554.56 c #Conflicts: 988000 | #Constraints: 26633
1549.25/1554.56 c #Conflicts: 989000 | #Constraints: 27633
1549.25/1554.56 c #Conflicts: 990000 | #Constraints: 28633
1549.25/1554.56 c #Conflicts: 991000 | #Constraints: 29633
1549.25/1554.56 c #Conflicts: 992000 | #Constraints: 30633
1549.25/1554.56 c #Conflicts: 993000 | #Constraints: 31633
1549.25/1554.56 c #Conflicts: 994000 | #Constraints: 32633
1549.25/1554.56 c #Conflicts: 995000 | #Constraints: 33633
1549.25/1554.56 c #Conflicts: 996000 | #Constraints: 34633
1549.25/1554.56 c #Conflicts: 997000 | #Constraints: 35633
1549.25/1554.56 c #Conflicts: 998000 | #Constraints: 36633
1549.25/1554.56 c #Conflicts: 999000 | #Constraints: 37633
1549.25/1554.56 c #Conflicts: 1000000 | #Constraints: 38633
1549.25/1554.56 c #Conflicts: 1001000 | #Constraints: 39633
1549.25/1554.56 c INPROCESSING
1549.25/1554.56 c GARBAGE COLLECT
1549.25/1554.56 c #Conflicts: 1002000 | #Constraints: 20833
1549.25/1554.56 c #Conflicts: 1003000 | #Constraints: 21833
1549.25/1554.56 c #Conflicts: 1004000 | #Constraints: 22833
1549.25/1554.56 c #Conflicts: 1005000 | #Constraints: 23833
1549.25/1554.56 c #Conflicts: 1006000 | #Constraints: 24833
1549.25/1554.56 c #Conflicts: 1007000 | #Constraints: 25833
1549.25/1554.56 c #Conflicts: 1008000 | #Constraints: 26833
1549.25/1554.56 c #Conflicts: 1009000 | #Constraints: 27833
1549.25/1554.56 c #Conflicts: 1010000 | #Constraints: 28833
1549.25/1554.56 c #Conflicts: 1011000 | #Constraints: 29833
1549.25/1554.56 c #Conflicts: 1012000 | #Constraints: 30833
1549.25/1554.56 c #Conflicts: 1013000 | #Constraints: 31833
1549.25/1554.56 c #Conflicts: 1014000 | #Constraints: 32833
1549.25/1554.56 c #Conflicts: 1015000 | #Constraints: 33833
1549.25/1554.56 c #Conflicts: 1016000 | #Constraints: 34833
1549.25/1554.56 c #Conflicts: 1017000 | #Constraints: 35833
1549.25/1554.56 c #Conflicts: 1018000 | #Constraints: 36833
1549.25/1554.56 c #Conflicts: 1019000 | #Constraints: 37833
1549.25/1554.56 c #Conflicts: 1020000 | #Constraints: 38833
1549.25/1554.56 c #Conflicts: 1021000 | #Constraints: 39833
1549.25/1554.56 c INPROCESSING
1549.25/1554.56 c GARBAGE COLLECT
1549.25/1554.56 c #Conflicts: 1022000 | #Constraints: 20832
1549.25/1554.56 c #Conflicts: 1023000 | #Constraints: 21832
1549.25/1554.56 c #Conflicts: 1024000 | #Constraints: 22832
1549.25/1554.56 c #Conflicts: 1025000 | #Constraints: 23832
1549.25/1554.56 c #Conflicts: 1026000 | #Constraints: 24832
1549.25/1554.56 c #Conflicts: 1027000 | #Constraints: 25832
1549.25/1554.56 c #Conflicts: 1028000 | #Constraints: 26832
1549.25/1554.56 c #Conflicts: 1029000 | #Constraints: 27832
1549.25/1554.56 c #Conflicts: 1030000 | #Constraints: 28832
1549.25/1554.56 c #Conflicts: 1031000 | #Constraints: 29832
1549.25/1554.56 c #Conflicts: 1032000 | #Constraints: 30832
1549.25/1554.56 c #Conflicts: 1033000 | #Constraints: 31832
1549.25/1554.56 c #Conflicts: 1034000 | #Constraints: 32832
1549.25/1554.56 c #Conflicts: 1035000 | #Constraints: 33832
1549.25/1554.56 c #Conflicts: 1036000 | #Constraints: 34832
1549.25/1554.56 c #Conflicts: 1037000 | #Constraints: 35832
1549.25/1554.56 c #Conflicts: 1038000 | #Constraints: 36832
1549.25/1554.56 c #Conflicts: 1039000 | #Constraints: 37832
1549.25/1554.56 c #Conflicts: 1040000 | #Constraints: 38832
1549.25/1554.56 c #Conflicts: 1041000 | #Constraints: 39832
1549.25/1554.56 c INPROCESSING
1549.25/1554.56 c GARBAGE COLLECT
1549.25/1554.56 c #Conflicts: 1042000 | #Constraints: 20633
1549.25/1554.56 c #Conflicts: 1043000 | #Constraints: 21633
1549.25/1554.56 c #Conflicts: 1044000 | #Constraints: 22633
1765.95/1771.91 c #Conflicts: 1045000 | #Constraints: 23633
1765.95/1771.91 c #Conflicts: 1046000 | #Constraints: 24633
1765.95/1771.91 c #Conflicts: 1047000 | #Constraints: 25633
1765.95/1771.91 c #Conflicts: 1048000 | #Constraints: 26633
1765.95/1771.91 c #Conflicts: 1049000 | #Constraints: 27633
1765.95/1771.91 c #Conflicts: 1050000 | #Constraints: 28633
1765.95/1771.91 c #Conflicts: 1051000 | #Constraints: 29633
1765.95/1771.91 c #Conflicts: 1052000 | #Constraints: 30633
1765.95/1771.91 c #Conflicts: 1053000 | #Constraints: 31633
1765.95/1771.91 c #Conflicts: 1054000 | #Constraints: 32633
1765.95/1771.91 c #Conflicts: 1055000 | #Constraints: 33633
1765.95/1771.91 c #Conflicts: 1056000 | #Constraints: 34633
1765.95/1771.91 c #Conflicts: 1057000 | #Constraints: 35633
1765.95/1771.91 c #Conflicts: 1058000 | #Constraints: 36633
1765.95/1771.91 c #Conflicts: 1059000 | #Constraints: 37633
1765.95/1771.91 c #Conflicts: 1060000 | #Constraints: 38633
1765.95/1771.91 c #Conflicts: 1061000 | #Constraints: 39633
1765.95/1771.91 c #Conflicts: 1062000 | #Constraints: 40633
1765.95/1771.91 c INPROCESSING
1765.95/1771.91 c GARBAGE COLLECT
1765.95/1771.91 c #Conflicts: 1063000 | #Constraints: 21233
1765.95/1771.91 c #Conflicts: 1064000 | #Constraints: 22233
1765.95/1771.91 c #Conflicts: 1065000 | #Constraints: 23233
1765.95/1771.91 c #Conflicts: 1066000 | #Constraints: 24233
1765.95/1771.91 c #Conflicts: 1067000 | #Constraints: 25233
1765.95/1771.91 c #Conflicts: 1068000 | #Constraints: 26233
1765.95/1771.91 c #Conflicts: 1069000 | #Constraints: 27233
1765.95/1771.91 c #Conflicts: 1070000 | #Constraints: 28233
1765.95/1771.91 c #Conflicts: 1071000 | #Constraints: 29233
1765.95/1771.91 c #Conflicts: 1072000 | #Constraints: 30233
1765.95/1771.91 c #Conflicts: 1073000 | #Constraints: 31233
1765.95/1771.91 c #Conflicts: 1074000 | #Constraints: 32233
1765.95/1771.91 c #Conflicts: 1075000 | #Constraints: 33233
1765.95/1771.91 c #Conflicts: 1076000 | #Constraints: 34233
1765.95/1771.91 c #Conflicts: 1077000 | #Constraints: 35233
1765.95/1771.91 c #Conflicts: 1078000 | #Constraints: 36233
1765.95/1771.91 c #Conflicts: 1079000 | #Constraints: 37233
1765.95/1771.91 c #Conflicts: 1080000 | #Constraints: 38233
1765.95/1771.91 c #Conflicts: 1081000 | #Constraints: 39233
1765.95/1771.91 c #Conflicts: 1082000 | #Constraints: 40233
1765.95/1771.91 c #Conflicts: 1083000 | #Constraints: 41233
1765.95/1771.91 c INPROCESSING
1765.95/1771.91 c GARBAGE COLLECT
1765.95/1771.91 c #Conflicts: 1084000 | #Constraints: 21630
1765.95/1771.91 c #Conflicts: 1085000 | #Constraints: 22630
1765.95/1771.91 c #Conflicts: 1086000 | #Constraints: 23630
1765.95/1771.91 c #Conflicts: 1087000 | #Constraints: 24630
1765.95/1771.91 c #Conflicts: 1088000 | #Constraints: 25630
1765.95/1771.91 c #Conflicts: 1089000 | #Constraints: 26630
1765.95/1771.91 c #Conflicts: 1090000 | #Constraints: 27630
1765.95/1771.91 c #Conflicts: 1091000 | #Constraints: 28630
1765.95/1771.91 c #Conflicts: 1092000 | #Constraints: 29630
1765.95/1771.91 c #Conflicts: 1093000 | #Constraints: 30630
1765.95/1771.91 c #Conflicts: 1094000 | #Constraints: 31630
1765.95/1771.91 c #Conflicts: 1095000 | #Constraints: 32630
1765.95/1771.91 c #Conflicts: 1096000 | #Constraints: 33630
1765.95/1771.91 c #Conflicts: 1097000 | #Constraints: 34630
1765.95/1771.91 c #Conflicts: 1098000 | #Constraints: 35630
1765.95/1771.91 c #Conflicts: 1099000 | #Constraints: 36630
1765.95/1771.91 c #Conflicts: 1100000 | #Constraints: 37630
1765.95/1771.91 c #Conflicts: 1101000 | #Constraints: 38630
1765.95/1771.91 c #Conflicts: 1102000 | #Constraints: 39630
1765.95/1771.91 c #Conflicts: 1103000 | #Constraints: 40630
1765.95/1771.91 c #Conflicts: 1104000 | #Constraints: 41630
1765.95/1771.91 c INPROCESSING
1765.95/1771.91 c GARBAGE COLLECT
1765.95/1771.91 c #Conflicts: 1105000 | #Constraints: 21831
1765.95/1771.91 c #Conflicts: 1106000 | #Constraints: 22831
1765.95/1771.91 c #Conflicts: 1107000 | #Constraints: 23831
1765.95/1771.91 c #Conflicts: 1108000 | #Constraints: 24831
1765.95/1771.91 c #Conflicts: 1109000 | #Constraints: 25831
1765.95/1771.91 c #Conflicts: 1110000 | #Constraints: 26831
1765.95/1771.91 c #Conflicts: 1111000 | #Constraints: 27831
1765.95/1771.91 c #Conflicts: 1112000 | #Constraints: 28831
1765.95/1771.91 c #Conflicts: 1113000 | #Constraints: 29831
1765.95/1771.91 c #Conflicts: 1114000 | #Constraints: 30831
1765.95/1771.91 c #Conflicts: 1115000 | #Constraints: 31831
1765.95/1771.91 c #Conflicts: 1116000 | #Constraints: 32831
1765.95/1771.91 c #Conflicts: 1117000 | #Constraints: 33831
1765.95/1771.91 c #Conflicts: 1118000 | #Constraints: 34831
1765.95/1771.91 c #Conflicts: 1119000 | #Constraints: 35831
1765.95/1771.91 c #Conflicts: 1120000 | #Constraints: 36831
1765.95/1771.91 c #Conflicts: 1121000 | #Constraints: 37831
1953.84/1960.44 c #Conflicts: 1122000 | #Constraints: 38831
1953.84/1960.44 c #Conflicts: 1123000 | #Constraints: 39831
1953.84/1960.44 c #Conflicts: 1124000 | #Constraints: 40831
1953.84/1960.44 c #Conflicts: 1125000 | #Constraints: 41831
1953.84/1960.44 c INPROCESSING
1953.84/1960.44 c GARBAGE COLLECT
1953.84/1960.44 c #Conflicts: 1126000 | #Constraints: 21829
1953.84/1960.44 c #Conflicts: 1127000 | #Constraints: 22829
1953.84/1960.44 c #Conflicts: 1128000 | #Constraints: 23829
1953.84/1960.44 c #Conflicts: 1129000 | #Constraints: 24829
1953.84/1960.44 c #Conflicts: 1130000 | #Constraints: 25829
1953.84/1960.44 c #Conflicts: 1131000 | #Constraints: 26829
1953.84/1960.44 c #Conflicts: 1132000 | #Constraints: 27829
1953.84/1960.44 c #Conflicts: 1133000 | #Constraints: 28829
1953.84/1960.44 c #Conflicts: 1134000 | #Constraints: 29829
1953.84/1960.44 c #Conflicts: 1135000 | #Constraints: 30829
1953.84/1960.44 c #Conflicts: 1136000 | #Constraints: 31829
1953.84/1960.44 c #Conflicts: 1137000 | #Constraints: 32829
1953.84/1960.44 c #Conflicts: 1138000 | #Constraints: 33829
1953.84/1960.44 c #Conflicts: 1139000 | #Constraints: 34829
1953.84/1960.44 c #Conflicts: 1140000 | #Constraints: 35829
1953.84/1960.44 c #Conflicts: 1141000 | #Constraints: 36829
1953.84/1960.44 c #Conflicts: 1142000 | #Constraints: 37829
1953.84/1960.44 c #Conflicts: 1143000 | #Constraints: 38829
1953.84/1960.44 c #Conflicts: 1144000 | #Constraints: 39829
1953.84/1960.44 c #Conflicts: 1145000 | #Constraints: 40829
1953.84/1960.44 c #Conflicts: 1146000 | #Constraints: 41829
1953.84/1960.44 c INPROCESSING
1953.84/1960.44 c GARBAGE COLLECT
1953.84/1960.44 c #Conflicts: 1147000 | #Constraints: 21626
1953.84/1960.44 c #Conflicts: 1148000 | #Constraints: 22626
1953.84/1960.44 c #Conflicts: 1149000 | #Constraints: 23626
1953.84/1960.44 c #Conflicts: 1150000 | #Constraints: 24626
1953.84/1960.44 c #Conflicts: 1151000 | #Constraints: 25626
1953.84/1960.44 c #Conflicts: 1152000 | #Constraints: 26626
1953.84/1960.44 c #Conflicts: 1153000 | #Constraints: 27626
1953.84/1960.44 c #Conflicts: 1154000 | #Constraints: 28626
1953.84/1960.44 c #Conflicts: 1155000 | #Constraints: 29626
1953.84/1960.44 c #Conflicts: 1156000 | #Constraints: 30626
1953.84/1960.44 c #Conflicts: 1157000 | #Constraints: 31626
1953.84/1960.44 c #Conflicts: 1158000 | #Constraints: 32626
1953.84/1960.44 c #Conflicts: 1159000 | #Constraints: 33626
1953.84/1960.44 c #Conflicts: 1160000 | #Constraints: 34626
1953.84/1960.44 c #Conflicts: 1161000 | #Constraints: 35626
1953.84/1960.44 c #Conflicts: 1162000 | #Constraints: 36626
1953.84/1960.44 c #Conflicts: 1163000 | #Constraints: 37626
1953.84/1960.44 c #Conflicts: 1164000 | #Constraints: 38626
1953.84/1960.44 c #Conflicts: 1165000 | #Constraints: 39626
1953.84/1960.44 c #Conflicts: 1166000 | #Constraints: 40626
1953.84/1960.44 c #Conflicts: 1167000 | #Constraints: 41626
1953.84/1960.44 c #Conflicts: 1168000 | #Constraints: 42626
1953.84/1960.44 c INPROCESSING
1953.84/1960.44 c GARBAGE COLLECT
1953.84/1960.44 c #Conflicts: 1169000 | #Constraints: 22229
1953.84/1960.44 c #Conflicts: 1170000 | #Constraints: 23229
1953.84/1960.44 c #Conflicts: 1171000 | #Constraints: 24229
1953.84/1960.44 c #Conflicts: 1172000 | #Constraints: 25229
1953.84/1960.44 c #Conflicts: 1173000 | #Constraints: 26229
1953.84/1960.44 c #Conflicts: 1174000 | #Constraints: 27229
1953.84/1960.44 c #Conflicts: 1175000 | #Constraints: 28229
1953.84/1960.44 c #Conflicts: 1176000 | #Constraints: 29229
1953.84/1960.44 c #Conflicts: 1177000 | #Constraints: 30229
1953.84/1960.44 c #Conflicts: 1178000 | #Constraints: 31229
1953.84/1960.44 c #Conflicts: 1179000 | #Constraints: 32229
1953.84/1960.44 c #Conflicts: 1180000 | #Constraints: 33229
1953.84/1960.44 c #Conflicts: 1181000 | #Constraints: 34229
1953.84/1960.44 c #Conflicts: 1182000 | #Constraints: 35229
1953.84/1960.44 c #Conflicts: 1183000 | #Constraints: 36229
1953.84/1960.44 c #Conflicts: 1184000 | #Constraints: 37229
1953.84/1960.44 c #Conflicts: 1185000 | #Constraints: 38229
1953.84/1960.44 c #Conflicts: 1186000 | #Constraints: 39229
1953.84/1960.44 c #Conflicts: 1187000 | #Constraints: 40229
1953.84/1960.44 c #Conflicts: 1188000 | #Constraints: 41229
1953.84/1960.44 c #Conflicts: 1189000 | #Constraints: 42229
1953.84/1960.44 c #Conflicts: 1190000 | #Constraints: 43229
1953.84/1960.44 c INPROCESSING
1953.84/1960.44 c GARBAGE COLLECT
1953.84/1960.44 c #Conflicts: 1191000 | #Constraints: 22627
1953.84/1960.44 c #Conflicts: 1192000 | #Constraints: 23627
1953.84/1960.44 c #Conflicts: 1193000 | #Constraints: 24627
1953.84/1960.44 c #Conflicts: 1194000 | #Constraints: 25627
1953.84/1960.44 c #Conflicts: 1195000 | #Constraints: 26627
1953.84/1960.44 c #Conflicts: 1196000 | #Constraints: 27627
1953.84/1960.44 c #Conflicts: 1197000 | #Constraints: 28627
2153.26/2160.51 c #Conflicts: 1198000 | #Constraints: 29627
2153.26/2160.51 c #Conflicts: 1199000 | #Constraints: 30627
2153.26/2160.51 c #Conflicts: 1200000 | #Constraints: 31627
2153.26/2160.51 c #Conflicts: 1201000 | #Constraints: 32627
2153.26/2160.51 c #Conflicts: 1202000 | #Constraints: 33627
2153.26/2160.51 c #Conflicts: 1203000 | #Constraints: 34627
2153.26/2160.51 c #Conflicts: 1204000 | #Constraints: 35627
2153.26/2160.51 c #Conflicts: 1205000 | #Constraints: 36627
2153.26/2160.51 c #Conflicts: 1206000 | #Constraints: 37627
2153.26/2160.51 c #Conflicts: 1207000 | #Constraints: 38627
2153.26/2160.51 c #Conflicts: 1208000 | #Constraints: 39627
2153.26/2160.51 c #Conflicts: 1209000 | #Constraints: 40627
2153.26/2160.51 c #Conflicts: 1210000 | #Constraints: 41627
2153.26/2160.51 c #Conflicts: 1211000 | #Constraints: 42627
2153.26/2160.51 c #Conflicts: 1212000 | #Constraints: 43627
2153.26/2160.51 c INPROCESSING
2153.26/2160.51 c GARBAGE COLLECT
2153.26/2160.51 c #Conflicts: 1213000 | #Constraints: 22827
2153.26/2160.51 c #Conflicts: 1214000 | #Constraints: 23827
2153.26/2160.51 c #Conflicts: 1215000 | #Constraints: 24827
2153.26/2160.51 c #Conflicts: 1216000 | #Constraints: 25827
2153.26/2160.51 c #Conflicts: 1217000 | #Constraints: 26827
2153.26/2160.51 c #Conflicts: 1218000 | #Constraints: 27827
2153.26/2160.51 c #Conflicts: 1219000 | #Constraints: 28827
2153.26/2160.51 c #Conflicts: 1220000 | #Constraints: 29827
2153.26/2160.51 c #Conflicts: 1221000 | #Constraints: 30827
2153.26/2160.51 c #Conflicts: 1222000 | #Constraints: 31827
2153.26/2160.51 c #Conflicts: 1223000 | #Constraints: 32827
2153.26/2160.51 c #Conflicts: 1224000 | #Constraints: 33827
2153.26/2160.51 c #Conflicts: 1225000 | #Constraints: 34827
2153.26/2160.51 c #Conflicts: 1226000 | #Constraints: 35827
2153.26/2160.51 c #Conflicts: 1227000 | #Constraints: 36827
2153.26/2160.51 c #Conflicts: 1228000 | #Constraints: 37827
2153.26/2160.51 c #Conflicts: 1229000 | #Constraints: 38827
2153.26/2160.51 c #Conflicts: 1230000 | #Constraints: 39827
2153.26/2160.51 c #Conflicts: 1231000 | #Constraints: 40827
2153.26/2160.51 c #Conflicts: 1232000 | #Constraints: 41827
2153.26/2160.51 c #Conflicts: 1233000 | #Constraints: 42827
2153.26/2160.51 c #Conflicts: 1234000 | #Constraints: 43827
2153.26/2160.51 c INPROCESSING
2153.26/2160.51 c GARBAGE COLLECT
2153.26/2160.51 c #Conflicts: 1235000 | #Constraints: 22826
2153.26/2160.51 c #Conflicts: 1236000 | #Constraints: 23826
2153.26/2160.51 c #Conflicts: 1237000 | #Constraints: 24826
2153.26/2160.51 c #Conflicts: 1238000 | #Constraints: 25826
2153.26/2160.51 c #Conflicts: 1239000 | #Constraints: 26826
2153.26/2160.51 c #Conflicts: 1240000 | #Constraints: 27826
2153.26/2160.51 c #Conflicts: 1241000 | #Constraints: 28826
2153.26/2160.51 c #Conflicts: 1242000 | #Constraints: 29826
2153.26/2160.51 c #Conflicts: 1243000 | #Constraints: 30826
2153.26/2160.51 c #Conflicts: 1244000 | #Constraints: 31826
2153.26/2160.51 c #Conflicts: 1245000 | #Constraints: 32826
2153.26/2160.51 c #Conflicts: 1246000 | #Constraints: 33826
2153.26/2160.51 c #Conflicts: 1247000 | #Constraints: 34826
2153.26/2160.51 c #Conflicts: 1248000 | #Constraints: 35826
2153.26/2160.51 c #Conflicts: 1249000 | #Constraints: 36826
2153.26/2160.51 c #Conflicts: 1250000 | #Constraints: 37826
2153.26/2160.51 c #Conflicts: 1251000 | #Constraints: 38826
2153.26/2160.51 c #Conflicts: 1252000 | #Constraints: 39826
2153.26/2160.51 c #Conflicts: 1253000 | #Constraints: 40826
2153.26/2160.51 c #Conflicts: 1254000 | #Constraints: 41826
2153.26/2160.51 c #Conflicts: 1255000 | #Constraints: 42826
2153.26/2160.51 c #Conflicts: 1256000 | #Constraints: 43826
2153.26/2160.51 c INPROCESSING
2153.26/2160.51 c GARBAGE COLLECT
2153.26/2160.51 c #Conflicts: 1257000 | #Constraints: 22625
2153.26/2160.51 c #Conflicts: 1258000 | #Constraints: 23625
2153.26/2160.51 c #Conflicts: 1259000 | #Constraints: 24625
2153.26/2160.51 c #Conflicts: 1260000 | #Constraints: 25625
2153.26/2160.51 c #Conflicts: 1261000 | #Constraints: 26625
2153.26/2160.51 c #Conflicts: 1262000 | #Constraints: 27625
2153.26/2160.51 c #Conflicts: 1263000 | #Constraints: 28625
2153.26/2160.51 c #Conflicts: 1264000 | #Constraints: 29625
2153.26/2160.51 c #Conflicts: 1265000 | #Constraints: 30625
2153.26/2160.51 c #Conflicts: 1266000 | #Constraints: 31625
2153.26/2160.51 c #Conflicts: 1267000 | #Constraints: 32625
2153.26/2160.51 c #Conflicts: 1268000 | #Constraints: 33625
2153.26/2160.51 c #Conflicts: 1269000 | #Constraints: 34625
2153.26/2160.51 c #Conflicts: 1270000 | #Constraints: 35625
2153.26/2160.51 c #Conflicts: 1271000 | #Constraints: 36625
2153.26/2160.51 c #Conflicts: 1272000 | #Constraints: 37625
2153.26/2160.51 c #Conflicts: 1273000 | #Constraints: 38625
2153.26/2160.51 c #Conflicts: 1274000 | #Constraints: 39625
2357.54/2365.54 c #Conflicts: 1275000 | #Constraints: 40625
2357.54/2365.54 c #Conflicts: 1276000 | #Constraints: 41625
2357.54/2365.54 c #Conflicts: 1277000 | #Constraints: 42625
2357.54/2365.54 c #Conflicts: 1278000 | #Constraints: 43625
2357.54/2365.54 c #Conflicts: 1279000 | #Constraints: 44625
2357.54/2365.54 c INPROCESSING
2357.54/2365.54 c GARBAGE COLLECT
2357.54/2365.54 c #Conflicts: 1280000 | #Constraints: 23226
2357.54/2365.54 c #Conflicts: 1281000 | #Constraints: 24226
2357.54/2365.54 c #Conflicts: 1282000 | #Constraints: 25226
2357.54/2365.54 c #Conflicts: 1283000 | #Constraints: 26226
2357.54/2365.54 c #Conflicts: 1284000 | #Constraints: 27226
2357.54/2365.54 c #Conflicts: 1285000 | #Constraints: 28226
2357.54/2365.54 c #Conflicts: 1286000 | #Constraints: 29226
2357.54/2365.54 c #Conflicts: 1287000 | #Constraints: 30226
2357.54/2365.54 c #Conflicts: 1288000 | #Constraints: 31226
2357.54/2365.54 c #Conflicts: 1289000 | #Constraints: 32226
2357.54/2365.54 c #Conflicts: 1290000 | #Constraints: 33226
2357.54/2365.54 c #Conflicts: 1291000 | #Constraints: 34226
2357.54/2365.54 c #Conflicts: 1292000 | #Constraints: 35226
2357.54/2365.54 c #Conflicts: 1293000 | #Constraints: 36226
2357.54/2365.54 c #Conflicts: 1294000 | #Constraints: 37226
2357.54/2365.54 c #Conflicts: 1295000 | #Constraints: 38226
2357.54/2365.54 c #Conflicts: 1296000 | #Constraints: 39226
2357.54/2365.54 c #Conflicts: 1297000 | #Constraints: 40226
2357.54/2365.54 c #Conflicts: 1298000 | #Constraints: 41226
2357.54/2365.54 c #Conflicts: 1299000 | #Constraints: 42226
2357.54/2365.54 c #Conflicts: 1300000 | #Constraints: 43226
2357.54/2365.54 c #Conflicts: 1301000 | #Constraints: 44226
2357.54/2365.54 c #Conflicts: 1302000 | #Constraints: 45226
2357.54/2365.54 c INPROCESSING
2357.54/2365.54 c GARBAGE COLLECT
2357.54/2365.54 c #Conflicts: 1303000 | #Constraints: 23627
2357.54/2365.54 c #Conflicts: 1304000 | #Constraints: 24627
2357.54/2365.54 c #Conflicts: 1305000 | #Constraints: 25627
2357.54/2365.54 c #Conflicts: 1306000 | #Constraints: 26627
2357.54/2365.54 c #Conflicts: 1307000 | #Constraints: 27627
2357.54/2365.54 c #Conflicts: 1308000 | #Constraints: 28627
2357.54/2365.54 c #Conflicts: 1309000 | #Constraints: 29627
2357.54/2365.54 c #Conflicts: 1310000 | #Constraints: 30627
2357.54/2365.54 c #Conflicts: 1311000 | #Constraints: 31627
2357.54/2365.54 c #Conflicts: 1312000 | #Constraints: 32627
2357.54/2365.54 c #Conflicts: 1313000 | #Constraints: 33627
2357.54/2365.54 c #Conflicts: 1314000 | #Constraints: 34627
2357.54/2365.54 c #Conflicts: 1315000 | #Constraints: 35627
2357.54/2365.54 c #Conflicts: 1316000 | #Constraints: 36627
2357.54/2365.54 c #Conflicts: 1317000 | #Constraints: 37627
2357.54/2365.54 c #Conflicts: 1318000 | #Constraints: 38627
2357.54/2365.54 c #Conflicts: 1319000 | #Constraints: 39627
2357.54/2365.54 c #Conflicts: 1320000 | #Constraints: 40627
2357.54/2365.54 c #Conflicts: 1321000 | #Constraints: 41627
2357.54/2365.54 c #Conflicts: 1322000 | #Constraints: 42627
2357.54/2365.54 c #Conflicts: 1323000 | #Constraints: 43627
2357.54/2365.54 c #Conflicts: 1324000 | #Constraints: 44627
2357.54/2365.54 c #Conflicts: 1325000 | #Constraints: 45627
2357.54/2365.54 c INPROCESSING
2357.54/2365.54 c GARBAGE COLLECT
2357.54/2365.54 c #Conflicts: 1326000 | #Constraints: 23831
2357.54/2365.54 c #Conflicts: 1327000 | #Constraints: 24831
2357.54/2365.54 c #Conflicts: 1328000 | #Constraints: 25831
2357.54/2365.54 c #Conflicts: 1329000 | #Constraints: 26831
2357.54/2365.54 c #Conflicts: 1330000 | #Constraints: 27831
2357.54/2365.54 c #Conflicts: 1331000 | #Constraints: 28831
2357.54/2365.54 c #Conflicts: 1332000 | #Constraints: 29831
2357.54/2365.54 c #Conflicts: 1333000 | #Constraints: 30831
2357.54/2365.54 c #Conflicts: 1334000 | #Constraints: 31831
2357.54/2365.54 c #Conflicts: 1335000 | #Constraints: 32831
2357.54/2365.54 c #Conflicts: 1336000 | #Constraints: 33831
2357.54/2365.54 c #Conflicts: 1337000 | #Constraints: 34831
2357.54/2365.54 c #Conflicts: 1338000 | #Constraints: 35831
2357.54/2365.54 c #Conflicts: 1339000 | #Constraints: 36831
2357.54/2365.54 c #Conflicts: 1340000 | #Constraints: 37831
2357.54/2365.54 c #Conflicts: 1341000 | #Constraints: 38831
2357.54/2365.54 c #Conflicts: 1342000 | #Constraints: 39831
2357.54/2365.54 c #Conflicts: 1343000 | #Constraints: 40831
2357.54/2365.54 c #Conflicts: 1344000 | #Constraints: 41831
2357.54/2365.54 c #Conflicts: 1345000 | #Constraints: 42831
2357.54/2365.54 c #Conflicts: 1346000 | #Constraints: 43831
2357.54/2365.54 c #Conflicts: 1347000 | #Constraints: 44831
2357.54/2365.54 c #Conflicts: 1348000 | #Constraints: 45831
2357.54/2365.54 c INPROCESSING
2357.54/2365.54 c GARBAGE COLLECT
2357.54/2365.54 c #Conflicts: 1349000 | #Constraints: 23833
2357.54/2365.54 c #Conflicts: 1350000 | #Constraints: 24833
2568.48/2577.21 c #Conflicts: 1351000 | #Constraints: 25833
2568.48/2577.21 c #Conflicts: 1352000 | #Constraints: 26833
2568.48/2577.21 c #Conflicts: 1353000 | #Constraints: 27833
2568.48/2577.21 c #Conflicts: 1354000 | #Constraints: 28833
2568.48/2577.21 c #Conflicts: 1355000 | #Constraints: 29833
2568.48/2577.21 c #Conflicts: 1356000 | #Constraints: 30833
2568.48/2577.21 c #Conflicts: 1357000 | #Constraints: 31833
2568.48/2577.21 c #Conflicts: 1358000 | #Constraints: 32833
2568.48/2577.21 c #Conflicts: 1359000 | #Constraints: 33833
2568.48/2577.21 c #Conflicts: 1360000 | #Constraints: 34833
2568.48/2577.21 c #Conflicts: 1361000 | #Constraints: 35833
2568.48/2577.21 c #Conflicts: 1362000 | #Constraints: 36833
2568.48/2577.21 c #Conflicts: 1363000 | #Constraints: 37833
2568.48/2577.21 c #Conflicts: 1364000 | #Constraints: 38833
2568.48/2577.21 c #Conflicts: 1365000 | #Constraints: 39833
2568.48/2577.21 c #Conflicts: 1366000 | #Constraints: 40833
2568.48/2577.21 c #Conflicts: 1367000 | #Constraints: 41833
2568.48/2577.21 c #Conflicts: 1368000 | #Constraints: 42833
2568.48/2577.21 c #Conflicts: 1369000 | #Constraints: 43833
2568.48/2577.21 c #Conflicts: 1370000 | #Constraints: 44833
2568.48/2577.21 c #Conflicts: 1371000 | #Constraints: 45833
2568.48/2577.21 c INPROCESSING
2568.48/2577.21 c GARBAGE COLLECT
2568.48/2577.21 c #Conflicts: 1372000 | #Constraints: 23633
2568.48/2577.21 c #Conflicts: 1373000 | #Constraints: 24633
2568.48/2577.21 c #Conflicts: 1374000 | #Constraints: 25633
2568.48/2577.21 c #Conflicts: 1375000 | #Constraints: 26633
2568.48/2577.21 c #Conflicts: 1376000 | #Constraints: 27633
2568.48/2577.21 c #Conflicts: 1377000 | #Constraints: 28633
2568.48/2577.21 c #Conflicts: 1378000 | #Constraints: 29633
2568.48/2577.21 c #Conflicts: 1379000 | #Constraints: 30633
2568.48/2577.21 c #Conflicts: 1380000 | #Constraints: 31633
2568.48/2577.21 c #Conflicts: 1381000 | #Constraints: 32633
2568.48/2577.21 c #Conflicts: 1382000 | #Constraints: 33633
2568.48/2577.21 c #Conflicts: 1383000 | #Constraints: 34633
2568.48/2577.21 c #Conflicts: 1384000 | #Constraints: 35633
2568.48/2577.21 c #Conflicts: 1385000 | #Constraints: 36633
2568.48/2577.21 c #Conflicts: 1386000 | #Constraints: 37633
2568.48/2577.21 c #Conflicts: 1387000 | #Constraints: 38633
2568.48/2577.21 c #Conflicts: 1388000 | #Constraints: 39633
2568.48/2577.21 c #Conflicts: 1389000 | #Constraints: 40633
2568.48/2577.21 c #Conflicts: 1390000 | #Constraints: 41633
2568.48/2577.21 c #Conflicts: 1391000 | #Constraints: 42633
2568.48/2577.21 c #Conflicts: 1392000 | #Constraints: 43633
2568.48/2577.21 c #Conflicts: 1393000 | #Constraints: 44633
2568.48/2577.21 c #Conflicts: 1394000 | #Constraints: 45633
2568.48/2577.21 c #Conflicts: 1395000 | #Constraints: 46633
2568.48/2577.21 c INPROCESSING
2568.48/2577.21 c GARBAGE COLLECT
2568.48/2577.21 c #Conflicts: 1396000 | #Constraints: 24232
2568.48/2577.21 c #Conflicts: 1397000 | #Constraints: 25232
2568.48/2577.21 c #Conflicts: 1398000 | #Constraints: 26232
2568.48/2577.21 c #Conflicts: 1399000 | #Constraints: 27232
2568.48/2577.21 c #Conflicts: 1400000 | #Constraints: 28232
2568.48/2577.21 c #Conflicts: 1401000 | #Constraints: 29232
2568.48/2577.21 c #Conflicts: 1402000 | #Constraints: 30232
2568.48/2577.21 c #Conflicts: 1403000 | #Constraints: 31232
2568.48/2577.21 c #Conflicts: 1404000 | #Constraints: 32232
2568.48/2577.21 c #Conflicts: 1405000 | #Constraints: 33232
2568.48/2577.21 c #Conflicts: 1406000 | #Constraints: 34232
2568.48/2577.21 c #Conflicts: 1407000 | #Constraints: 35232
2568.48/2577.21 c #Conflicts: 1408000 | #Constraints: 36232
2568.48/2577.21 c #Conflicts: 1409000 | #Constraints: 37232
2568.48/2577.21 c #Conflicts: 1410000 | #Constraints: 38232
2568.48/2577.21 c #Conflicts: 1411000 | #Constraints: 39232
2568.48/2577.21 c #Conflicts: 1412000 | #Constraints: 40232
2568.48/2577.21 c #Conflicts: 1413000 | #Constraints: 41232
2568.48/2577.21 c #Conflicts: 1414000 | #Constraints: 42232
2568.48/2577.21 c #Conflicts: 1415000 | #Constraints: 43232
2568.48/2577.21 c #Conflicts: 1416000 | #Constraints: 44232
2568.48/2577.21 c #Conflicts: 1417000 | #Constraints: 45232
2568.48/2577.21 c #Conflicts: 1418000 | #Constraints: 46232
2568.48/2577.21 c #Conflicts: 1419000 | #Constraints: 47232
2568.48/2577.21 c INPROCESSING
2568.48/2577.21 c GARBAGE COLLECT
2568.48/2577.21 c #Conflicts: 1420000 | #Constraints: 24629
2568.48/2577.21 c #Conflicts: 1421000 | #Constraints: 25629
2568.48/2577.21 c #Conflicts: 1422000 | #Constraints: 26629
2568.48/2577.21 c #Conflicts: 1423000 | #Constraints: 27629
2568.48/2577.21 c #Conflicts: 1424000 | #Constraints: 28629
2568.48/2577.21 c #Conflicts: 1425000 | #Constraints: 29629
2568.48/2577.21 c #Conflicts: 1426000 | #Constraints: 30629
2568.48/2577.21 c #Conflicts: 1427000 | #Constraints: 31629
2788.85/2798.30 c #Conflicts: 1428000 | #Constraints: 32629
2788.85/2798.30 c #Conflicts: 1429000 | #Constraints: 33629
2788.85/2798.30 c #Conflicts: 1430000 | #Constraints: 34629
2788.85/2798.30 c #Conflicts: 1431000 | #Constraints: 35629
2788.85/2798.30 c #Conflicts: 1432000 | #Constraints: 36629
2788.85/2798.30 c #Conflicts: 1433000 | #Constraints: 37629
2788.85/2798.30 c #Conflicts: 1434000 | #Constraints: 38629
2788.85/2798.30 c #Conflicts: 1435000 | #Constraints: 39629
2788.85/2798.30 c #Conflicts: 1436000 | #Constraints: 40629
2788.85/2798.30 c #Conflicts: 1437000 | #Constraints: 41629
2788.85/2798.30 c #Conflicts: 1438000 | #Constraints: 42629
2788.85/2798.30 c #Conflicts: 1439000 | #Constraints: 43629
2788.85/2798.30 c #Conflicts: 1440000 | #Constraints: 44629
2788.85/2798.30 c #Conflicts: 1441000 | #Constraints: 45629
2788.85/2798.30 c #Conflicts: 1442000 | #Constraints: 46629
2788.85/2798.30 c #Conflicts: 1443000 | #Constraints: 47629
2788.85/2798.30 c INPROCESSING
2788.85/2798.30 c GARBAGE COLLECT
2788.85/2798.30 c #Conflicts: 1444000 | #Constraints: 24826
2788.85/2798.30 c #Conflicts: 1445000 | #Constraints: 25826
2788.85/2798.30 c #Conflicts: 1446000 | #Constraints: 26826
2788.85/2798.30 c #Conflicts: 1447000 | #Constraints: 27826
2788.85/2798.30 c #Conflicts: 1448000 | #Constraints: 28826
2788.85/2798.30 c #Conflicts: 1449000 | #Constraints: 29826
2788.85/2798.30 c #Conflicts: 1450000 | #Constraints: 30826
2788.85/2798.30 c #Conflicts: 1451000 | #Constraints: 31826
2788.85/2798.30 c #Conflicts: 1452000 | #Constraints: 32826
2788.85/2798.30 c #Conflicts: 1453000 | #Constraints: 33826
2788.85/2798.30 c #Conflicts: 1454000 | #Constraints: 34826
2788.85/2798.30 c #Conflicts: 1455000 | #Constraints: 35826
2788.85/2798.30 c #Conflicts: 1456000 | #Constraints: 36826
2788.85/2798.30 c #Conflicts: 1457000 | #Constraints: 37826
2788.85/2798.30 c #Conflicts: 1458000 | #Constraints: 38826
2788.85/2798.30 c #Conflicts: 1459000 | #Constraints: 39826
2788.85/2798.30 c #Conflicts: 1460000 | #Constraints: 40826
2788.85/2798.30 c #Conflicts: 1461000 | #Constraints: 41826
2788.85/2798.30 c #Conflicts: 1462000 | #Constraints: 42826
2788.85/2798.30 c #Conflicts: 1463000 | #Constraints: 43826
2788.85/2798.30 c #Conflicts: 1464000 | #Constraints: 44826
2788.85/2798.30 c #Conflicts: 1465000 | #Constraints: 45826
2788.85/2798.30 c #Conflicts: 1466000 | #Constraints: 46826
2788.85/2798.30 c #Conflicts: 1467000 | #Constraints: 47826
2788.85/2798.30 c INPROCESSING
2788.85/2798.30 c GARBAGE COLLECT
2788.85/2798.30 c #Conflicts: 1468000 | #Constraints: 24827
2788.85/2798.30 c #Conflicts: 1469000 | #Constraints: 25827
2788.85/2798.30 c #Conflicts: 1470000 | #Constraints: 26827
2788.85/2798.30 c #Conflicts: 1471000 | #Constraints: 27827
2788.85/2798.30 c #Conflicts: 1472000 | #Constraints: 28827
2788.85/2798.30 c #Conflicts: 1473000 | #Constraints: 29827
2788.85/2798.30 c #Conflicts: 1474000 | #Constraints: 30827
2788.85/2798.30 c #Conflicts: 1475000 | #Constraints: 31827
2788.85/2798.30 c #Conflicts: 1476000 | #Constraints: 32827
2788.85/2798.30 c #Conflicts: 1477000 | #Constraints: 33827
2788.85/2798.30 c #Conflicts: 1478000 | #Constraints: 34827
2788.85/2798.30 c #Conflicts: 1479000 | #Constraints: 35827
2788.85/2798.30 c #Conflicts: 1480000 | #Constraints: 36827
2788.85/2798.30 c #Conflicts: 1481000 | #Constraints: 37827
2788.85/2798.30 c #Conflicts: 1482000 | #Constraints: 38827
2788.85/2798.30 c #Conflicts: 1483000 | #Constraints: 39827
2788.85/2798.30 c #Conflicts: 1484000 | #Constraints: 40827
2788.85/2798.30 c #Conflicts: 1485000 | #Constraints: 41827
2788.85/2798.30 c #Conflicts: 1486000 | #Constraints: 42827
2788.85/2798.30 c #Conflicts: 1487000 | #Constraints: 43827
2788.85/2798.30 c #Conflicts: 1488000 | #Constraints: 44827
2788.85/2798.30 c #Conflicts: 1489000 | #Constraints: 45827
2788.85/2798.30 c #Conflicts: 1490000 | #Constraints: 46827
2788.85/2798.30 c #Conflicts: 1491000 | #Constraints: 47827
2788.85/2798.30 c INPROCESSING
2788.85/2798.30 c GARBAGE COLLECT
2788.85/2798.30 c #Conflicts: 1492000 | #Constraints: 24624
2788.85/2798.30 c #Conflicts: 1493000 | #Constraints: 25624
2788.85/2798.30 c #Conflicts: 1494000 | #Constraints: 26624
2788.85/2798.30 c #Conflicts: 1495000 | #Constraints: 27624
2788.85/2798.30 c #Conflicts: 1496000 | #Constraints: 28624
2788.85/2798.30 c #Conflicts: 1497000 | #Constraints: 29624
2788.85/2798.30 c #Conflicts: 1498000 | #Constraints: 30624
2788.85/2798.30 c #Conflicts: 1499000 | #Constraints: 31624
2788.85/2798.30 c #Conflicts: 1500000 | #Constraints: 32624
2788.85/2798.30 c #Conflicts: 1501000 | #Constraints: 33624
2788.85/2798.30 c #Conflicts: 1502000 | #Constraints: 34624
2788.85/2798.30 c #Conflicts: 1503000 | #Constraints: 35624
2788.85/2798.30 c #Conflicts: 1504000 | #Constraints: 36624
3032.47/3042.76 c #Conflicts: 1505000 | #Constraints: 37624
3032.47/3042.76 c #Conflicts: 1506000 | #Constraints: 38624
3032.47/3042.76 c #Conflicts: 1507000 | #Constraints: 39624
3032.47/3042.76 c #Conflicts: 1508000 | #Constraints: 40624
3032.47/3042.76 c #Conflicts: 1509000 | #Constraints: 41624
3032.47/3042.76 c #Conflicts: 1510000 | #Constraints: 42624
3032.47/3042.76 c #Conflicts: 1511000 | #Constraints: 43624
3032.47/3042.76 c #Conflicts: 1512000 | #Constraints: 44624
3032.47/3042.76 c #Conflicts: 1513000 | #Constraints: 45624
3032.47/3042.76 c #Conflicts: 1514000 | #Constraints: 46624
3032.47/3042.76 c #Conflicts: 1515000 | #Constraints: 47624
3032.47/3042.76 c #Conflicts: 1516000 | #Constraints: 48624
3032.47/3042.76 c INPROCESSING
3032.47/3042.76 c GARBAGE COLLECT
3032.47/3042.76 c #Conflicts: 1517000 | #Constraints: 25226
3032.47/3042.76 c #Conflicts: 1518000 | #Constraints: 26226
3032.47/3042.76 c #Conflicts: 1519000 | #Constraints: 27226
3032.47/3042.76 c #Conflicts: 1520000 | #Constraints: 28226
3032.47/3042.76 c #Conflicts: 1521000 | #Constraints: 29226
3032.47/3042.76 c #Conflicts: 1522000 | #Constraints: 30226
3032.47/3042.76 c #Conflicts: 1523000 | #Constraints: 31226
3032.47/3042.76 c #Conflicts: 1524000 | #Constraints: 32226
3032.47/3042.76 c #Conflicts: 1525000 | #Constraints: 33226
3032.47/3042.76 c #Conflicts: 1526000 | #Constraints: 34226
3032.47/3042.76 c #Conflicts: 1527000 | #Constraints: 35226
3032.47/3042.76 c #Conflicts: 1528000 | #Constraints: 36226
3032.47/3042.76 c #Conflicts: 1529000 | #Constraints: 37226
3032.47/3042.76 c #Conflicts: 1530000 | #Constraints: 38226
3032.47/3042.76 c #Conflicts: 1531000 | #Constraints: 39226
3032.47/3042.76 c #Conflicts: 1532000 | #Constraints: 40226
3032.47/3042.76 c #Conflicts: 1533000 | #Constraints: 41226
3032.47/3042.76 c #Conflicts: 1534000 | #Constraints: 42226
3032.47/3042.76 c #Conflicts: 1535000 | #Constraints: 43226
3032.47/3042.76 c #Conflicts: 1536000 | #Constraints: 44226
3032.47/3042.76 c #Conflicts: 1537000 | #Constraints: 45226
3032.47/3042.76 c #Conflicts: 1538000 | #Constraints: 46226
3032.47/3042.76 c #Conflicts: 1539000 | #Constraints: 47226
3032.47/3042.76 c #Conflicts: 1540000 | #Constraints: 48226
3032.47/3042.76 c #Conflicts: 1541000 | #Constraints: 49226
3032.47/3042.76 c INPROCESSING
3032.47/3042.76 c GARBAGE COLLECT
3032.47/3042.76 c #Conflicts: 1542000 | #Constraints: 25625
3032.47/3042.76 c #Conflicts: 1543000 | #Constraints: 26625
3032.47/3042.76 c #Conflicts: 1544000 | #Constraints: 27625
3032.47/3042.76 c #Conflicts: 1545000 | #Constraints: 28625
3032.47/3042.76 c #Conflicts: 1546000 | #Constraints: 29625
3032.47/3042.76 c #Conflicts: 1547000 | #Constraints: 30625
3032.47/3042.76 c #Conflicts: 1548000 | #Constraints: 31625
3032.47/3042.76 c #Conflicts: 1549000 | #Constraints: 32625
3032.47/3042.76 c #Conflicts: 1550000 | #Constraints: 33625
3032.47/3042.76 c #Conflicts: 1551000 | #Constraints: 34625
3032.47/3042.76 c #Conflicts: 1552000 | #Constraints: 35625
3032.47/3042.76 c #Conflicts: 1553000 | #Constraints: 36625
3032.47/3042.76 c #Conflicts: 1554000 | #Constraints: 37625
3032.47/3042.76 c #Conflicts: 1555000 | #Constraints: 38625
3032.47/3042.76 c #Conflicts: 1556000 | #Constraints: 39625
3032.47/3042.76 c #Conflicts: 1557000 | #Constraints: 40625
3032.47/3042.76 c #Conflicts: 1558000 | #Constraints: 41625
3032.47/3042.76 c #Conflicts: 1559000 | #Constraints: 42625
3032.47/3042.76 c #Conflicts: 1560000 | #Constraints: 43625
3032.47/3042.76 c #Conflicts: 1561000 | #Constraints: 44625
3032.47/3042.76 c #Conflicts: 1562000 | #Constraints: 45625
3032.47/3042.76 c #Conflicts: 1563000 | #Constraints: 46625
3032.47/3042.76 c #Conflicts: 1564000 | #Constraints: 47625
3032.47/3042.76 c #Conflicts: 1565000 | #Constraints: 48625
3032.47/3042.76 c #Conflicts: 1566000 | #Constraints: 49625
3032.47/3042.76 c INPROCESSING
3032.47/3042.76 c GARBAGE COLLECT
3032.47/3042.76 c #Conflicts: 1567000 | #Constraints: 25826
3032.47/3042.76 c #Conflicts: 1568000 | #Constraints: 26826
3032.47/3042.76 c #Conflicts: 1569000 | #Constraints: 27826
3032.47/3042.76 c #Conflicts: 1570000 | #Constraints: 28826
3032.47/3042.76 c #Conflicts: 1571000 | #Constraints: 29826
3032.47/3042.76 c #Conflicts: 1572000 | #Constraints: 30826
3032.47/3042.76 c #Conflicts: 1573000 | #Constraints: 31826
3032.47/3042.76 c #Conflicts: 1574000 | #Constraints: 32826
3032.47/3042.76 c #Conflicts: 1575000 | #Constraints: 33826
3032.47/3042.76 c #Conflicts: 1576000 | #Constraints: 34826
3032.47/3042.76 c #Conflicts: 1577000 | #Constraints: 35826
3032.47/3042.76 c #Conflicts: 1578000 | #Constraints: 36826
3032.47/3042.76 c #Conflicts: 1579000 | #Constraints: 37826
3032.47/3042.76 c #Conflicts: 1580000 | #Constraints: 38826
3032.47/3042.76 c #Conflicts: 1581000 | #Constraints: 39826
3301.81/3312.96 c #Conflicts: 1582000 | #Constraints: 40826
3301.81/3312.96 c #Conflicts: 1583000 | #Constraints: 41826
3301.81/3312.96 c #Conflicts: 1584000 | #Constraints: 42826
3301.81/3312.96 c #Conflicts: 1585000 | #Constraints: 43826
3301.81/3312.96 c #Conflicts: 1586000 | #Constraints: 44826
3301.81/3312.96 c #Conflicts: 1587000 | #Constraints: 45826
3301.81/3312.96 c #Conflicts: 1588000 | #Constraints: 46826
3301.81/3312.96 c #Conflicts: 1589000 | #Constraints: 47826
3301.81/3312.96 c #Conflicts: 1590000 | #Constraints: 48826
3301.81/3312.96 c #Conflicts: 1591000 | #Constraints: 49826
3301.81/3312.96 c INPROCESSING
3301.81/3312.96 c GARBAGE COLLECT
3301.81/3312.96 c #Conflicts: 1592000 | #Constraints: 25828
3301.81/3312.96 c #Conflicts: 1593000 | #Constraints: 26828
3301.81/3312.96 c #Conflicts: 1594000 | #Constraints: 27828
3301.81/3312.96 c #Conflicts: 1595000 | #Constraints: 28828
3301.81/3312.96 c #Conflicts: 1596000 | #Constraints: 29828
3301.81/3312.96 c #Conflicts: 1597000 | #Constraints: 30828
3301.81/3312.96 c #Conflicts: 1598000 | #Constraints: 31828
3301.81/3312.96 c #Conflicts: 1599000 | #Constraints: 32828
3301.81/3312.96 c #Conflicts: 1600000 | #Constraints: 33828
3301.81/3312.96 c #Conflicts: 1601000 | #Constraints: 34828
3301.81/3312.96 c #Conflicts: 1602000 | #Constraints: 35828
3301.81/3312.96 c #Conflicts: 1603000 | #Constraints: 36828
3301.81/3312.96 c #Conflicts: 1604000 | #Constraints: 37828
3301.81/3312.96 c #Conflicts: 1605000 | #Constraints: 38828
3301.81/3312.96 c #Conflicts: 1606000 | #Constraints: 39828
3301.81/3312.96 c #Conflicts: 1607000 | #Constraints: 40828
3301.81/3312.96 c #Conflicts: 1608000 | #Constraints: 41828
3301.81/3312.96 c #Conflicts: 1609000 | #Constraints: 42828
3301.81/3312.96 c #Conflicts: 1610000 | #Constraints: 43828
3301.81/3312.96 c #Conflicts: 1611000 | #Constraints: 44828
3301.81/3312.96 c #Conflicts: 1612000 | #Constraints: 45828
3301.81/3312.96 c #Conflicts: 1613000 | #Constraints: 46828
3301.81/3312.96 c #Conflicts: 1614000 | #Constraints: 47828
3301.81/3312.96 c #Conflicts: 1615000 | #Constraints: 48828
3301.81/3312.96 c #Conflicts: 1616000 | #Constraints: 49828
3301.81/3312.96 c INPROCESSING
3301.81/3312.96 c GARBAGE COLLECT
3301.81/3312.96 c #Conflicts: 1617000 | #Constraints: 25628
3301.81/3312.96 c #Conflicts: 1618000 | #Constraints: 26628
3301.81/3312.96 c #Conflicts: 1619000 | #Constraints: 27628
3301.81/3312.96 c #Conflicts: 1620000 | #Constraints: 28628
3301.81/3312.96 c #Conflicts: 1621000 | #Constraints: 29628
3301.81/3312.96 c #Conflicts: 1622000 | #Constraints: 30628
3301.81/3312.96 c #Conflicts: 1623000 | #Constraints: 31628
3301.81/3312.96 c #Conflicts: 1624000 | #Constraints: 32628
3301.81/3312.96 c #Conflicts: 1625000 | #Constraints: 33628
3301.81/3312.96 c #Conflicts: 1626000 | #Constraints: 34628
3301.81/3312.96 c #Conflicts: 1627000 | #Constraints: 35628
3301.81/3312.96 c #Conflicts: 1628000 | #Constraints: 36628
3301.81/3312.96 c #Conflicts: 1629000 | #Constraints: 37628
3301.81/3312.96 c #Conflicts: 1630000 | #Constraints: 38628
3301.81/3312.96 c #Conflicts: 1631000 | #Constraints: 39628
3301.81/3312.96 c #Conflicts: 1632000 | #Constraints: 40628
3301.81/3312.96 c #Conflicts: 1633000 | #Constraints: 41628
3301.81/3312.96 c #Conflicts: 1634000 | #Constraints: 42628
3301.81/3312.96 c #Conflicts: 1635000 | #Constraints: 43628
3301.81/3312.96 c #Conflicts: 1636000 | #Constraints: 44628
3301.81/3312.96 c #Conflicts: 1637000 | #Constraints: 45628
3301.81/3312.96 c #Conflicts: 1638000 | #Constraints: 46628
3301.81/3312.96 c #Conflicts: 1639000 | #Constraints: 47628
3301.81/3312.96 c #Conflicts: 1640000 | #Constraints: 48628
3301.81/3312.96 c #Conflicts: 1641000 | #Constraints: 49628
3301.81/3312.96 c #Conflicts: 1642000 | #Constraints: 50628
3301.81/3312.96 c INPROCESSING
3301.81/3312.96 c GARBAGE COLLECT
3301.81/3312.96 c #Conflicts: 1643000 | #Constraints: 26230
3301.81/3312.96 c #Conflicts: 1644000 | #Constraints: 27230
3301.81/3312.96 c #Conflicts: 1645000 | #Constraints: 28230
3301.81/3312.96 c #Conflicts: 1646000 | #Constraints: 29230
3301.81/3312.96 c #Conflicts: 1647000 | #Constraints: 30230
3301.81/3312.96 c #Conflicts: 1648000 | #Constraints: 31230
3301.81/3312.96 c #Conflicts: 1649000 | #Constraints: 32230
3301.81/3312.96 c #Conflicts: 1650000 | #Constraints: 33230
3301.81/3312.96 c #Conflicts: 1651000 | #Constraints: 34230
3301.81/3312.96 c #Conflicts: 1652000 | #Constraints: 35230
3301.81/3312.96 c #Conflicts: 1653000 | #Constraints: 36230
3301.81/3312.96 c #Conflicts: 1654000 | #Constraints: 37230
3301.81/3312.96 c #Conflicts: 1655000 | #Constraints: 38230
3301.81/3312.96 c #Conflicts: 1656000 | #Constraints: 39230
3301.81/3312.96 c #Conflicts: 1657000 | #Constraints: 40230
3544.15/3556.03 c #Conflicts: 1658000 | #Constraints: 41230
3544.15/3556.03 c #Conflicts: 1659000 | #Constraints: 42230
3544.15/3556.03 c #Conflicts: 1660000 | #Constraints: 43230
3544.15/3556.03 c #Conflicts: 1661000 | #Constraints: 44230
3544.15/3556.03 c #Conflicts: 1662000 | #Constraints: 45230
3544.15/3556.03 c #Conflicts: 1663000 | #Constraints: 46230
3544.15/3556.03 c #Conflicts: 1664000 | #Constraints: 47230
3544.15/3556.03 c #Conflicts: 1665000 | #Constraints: 48230
3544.15/3556.03 c #Conflicts: 1666000 | #Constraints: 49230
3544.15/3556.03 c #Conflicts: 1667000 | #Constraints: 50230
3544.15/3556.03 c #Conflicts: 1668000 | #Constraints: 51230
3544.15/3556.03 c INPROCESSING
3544.15/3556.03 c GARBAGE COLLECT
3544.15/3556.03 c #Conflicts: 1669000 | #Constraints: 26627
3544.15/3556.03 c #Conflicts: 1670000 | #Constraints: 27627
3544.15/3556.03 c #Conflicts: 1671000 | #Constraints: 28627
3544.15/3556.03 c #Conflicts: 1672000 | #Constraints: 29627
3544.15/3556.03 c #Conflicts: 1673000 | #Constraints: 30627
3544.15/3556.03 c #Conflicts: 1674000 | #Constraints: 31627
3544.15/3556.03 c #Conflicts: 1675000 | #Constraints: 32627
3544.15/3556.03 c #Conflicts: 1676000 | #Constraints: 33627
3544.15/3556.03 c #Conflicts: 1677000 | #Constraints: 34627
3544.15/3556.03 c #Conflicts: 1678000 | #Constraints: 35627
3544.15/3556.03 c #Conflicts: 1679000 | #Constraints: 36627
3544.15/3556.03 c #Conflicts: 1680000 | #Constraints: 37627
3544.15/3556.03 c #Conflicts: 1681000 | #Constraints: 38627
3544.15/3556.03 c #Conflicts: 1682000 | #Constraints: 39627
3544.15/3556.03 c #Conflicts: 1683000 | #Constraints: 40627
3544.15/3556.03 c #Conflicts: 1684000 | #Constraints: 41627
3544.15/3556.03 c #Conflicts: 1685000 | #Constraints: 42627
3544.15/3556.03 c #Conflicts: 1686000 | #Constraints: 43627
3544.15/3556.03 c #Conflicts: 1687000 | #Constraints: 44627
3544.15/3556.03 c #Conflicts: 1688000 | #Constraints: 45627
3544.15/3556.03 c #Conflicts: 1689000 | #Constraints: 46627
3544.15/3556.03 c #Conflicts: 1690000 | #Constraints: 47627
3544.15/3556.03 c #Conflicts: 1691000 | #Constraints: 48627
3544.15/3556.03 c #Conflicts: 1692000 | #Constraints: 49627
3544.15/3556.03 c #Conflicts: 1693000 | #Constraints: 50627
3544.15/3556.03 c #Conflicts: 1694000 | #Constraints: 51627
3544.15/3556.03 c INPROCESSING
3544.15/3556.03 c GARBAGE COLLECT
3544.15/3556.03 c #Conflicts: 1695000 | #Constraints: 26826
3544.15/3556.03 c #Conflicts: 1696000 | #Constraints: 27826
3544.15/3556.03 c #Conflicts: 1697000 | #Constraints: 28826
3544.15/3556.03 c #Conflicts: 1698000 | #Constraints: 29826
3544.15/3556.03 c #Conflicts: 1699000 | #Constraints: 30826
3544.15/3556.03 c #Conflicts: 1700000 | #Constraints: 31826
3544.15/3556.03 c #Conflicts: 1701000 | #Constraints: 32826
3544.15/3556.03 c #Conflicts: 1702000 | #Constraints: 33826
3544.15/3556.03 c #Conflicts: 1703000 | #Constraints: 34826
3544.15/3556.03 c #Conflicts: 1704000 | #Constraints: 35826
3544.15/3556.03 c #Conflicts: 1705000 | #Constraints: 36826
3544.15/3556.03 c #Conflicts: 1706000 | #Constraints: 37826
3544.15/3556.03 c #Conflicts: 1707000 | #Constraints: 38826
3544.15/3556.03 c #Conflicts: 1708000 | #Constraints: 39826
3544.15/3556.03 c #Conflicts: 1709000 | #Constraints: 40826
3544.15/3556.03 c #Conflicts: 1710000 | #Constraints: 41826
3544.15/3556.03 c #Conflicts: 1711000 | #Constraints: 42826
3544.15/3556.03 c #Conflicts: 1712000 | #Constraints: 43826
3544.15/3556.03 c #Conflicts: 1713000 | #Constraints: 44826
3544.15/3556.03 c #Conflicts: 1714000 | #Constraints: 45826
3544.15/3556.03 c #Conflicts: 1715000 | #Constraints: 46826
3544.15/3556.03 c #Conflicts: 1716000 | #Constraints: 47826
3544.15/3556.03 c #Conflicts: 1717000 | #Constraints: 48826
3544.15/3556.03 c #Conflicts: 1718000 | #Constraints: 49826
3544.15/3556.03 c #Conflicts: 1719000 | #Constraints: 50826
3544.15/3556.03 c #Conflicts: 1720000 | #Constraints: 51826
3544.15/3556.03 c INPROCESSING
3544.15/3556.03 c GARBAGE COLLECT
3544.15/3556.03 c #Conflicts: 1721000 | #Constraints: 26827
3544.15/3556.03 c #Conflicts: 1722000 | #Constraints: 27827
3544.15/3556.03 c #Conflicts: 1723000 | #Constraints: 28827
3544.15/3556.03 c #Conflicts: 1724000 | #Constraints: 29827
3544.15/3556.03 c #Conflicts: 1725000 | #Constraints: 30827
3544.15/3556.03 c #Conflicts: 1726000 | #Constraints: 31827
3544.15/3556.03 c #Conflicts: 1727000 | #Constraints: 32827
3544.15/3556.03 c #Conflicts: 1728000 | #Constraints: 33827
3544.15/3556.03 c #Conflicts: 1729000 | #Constraints: 34827
3544.15/3556.03 c #Conflicts: 1730000 | #Constraints: 35827
3544.15/3556.03 c #Conflicts: 1731000 | #Constraints: 36827
3544.15/3556.03 c #Conflicts: 1732000 | #Constraints: 37827
3544.15/3556.03 c #Conflicts: 1733000 | #Constraints: 38827
3544.15/3556.03 c #Conflicts: 1734000 | #Constraints: 39827
3600.07/3612.11 c #Conflicts: 1735000 | #Constraints: 40827
3600.07/3612.11 c #Conflicts: 1736000 | #Constraints: 41827
3600.07/3612.11 c #Conflicts: 1737000 | #Constraints: 42827
3600.07/3612.11 c #Conflicts: 1738000 | #Constraints: 43827
3600.07/3612.11 c #Conflicts: 1739000 | #Constraints: 44827
3600.07/3612.11 c #Conflicts: 1740000 | #Constraints: 45827
3600.07/3612.11 c #Conflicts: 1741000 | #Constraints: 46827
3600.07/3612.11 c #Conflicts: 1742000 | #Constraints: 47827
3600.07/3612.11 c #Conflicts: 1743000 | #Constraints: 48827
3600.07/3612.11 c #Conflicts: 1744000 | #Constraints: 49827
3600.07/3612.11 c #Conflicts: 1745000 | #Constraints: 50827
3600.07/3612.11 c #Conflicts: 1746000 | #Constraints: 51827
3600.07/3612.11 c INPROCESSING
3600.07/3612.11 c GARBAGE COLLECT
3600.07/3612.11 c #Conflicts: 1747000 | #Constraints: 26625
3600.07/3612.11 c Program interrupted by user.
3600.07/3612.11 c cpu time 3591.97 s
3600.07/3612.11 c deterministic time 622500094047 6.23e+11
3600.07/3612.11 c optimization time 2.92039 s
3600.07/3612.11 c total solve time 3589.05 s
3600.07/3612.11 c core-guided solve time 3589.05 s
3600.07/3612.11 c propagation time 3450.06 s
3600.07/3612.11 c conflict analysis time 128.36 s
3600.07/3612.11 c propagations 20591108
3600.07/3612.11 c resolve steps 8117587
3600.07/3612.11 c decisions 3655175
3600.07/3612.11 c conflicts 1747725
3600.07/3612.11 c restarts 3354
3600.07/3612.11 c inprocessing phases 123
3600.07/3612.11 c input clauses 1
3600.07/3612.11 c input cardinalities 0
3600.07/3612.11 c input general constraints 16
3600.07/3612.11 c input average constraint length 65.47
3600.07/3612.11 c input average constraint degree 1602.06
3600.07/3612.11 c learned clauses 798484
3600.07/3612.11 c learned cardinalities 0
3600.07/3612.11 c learned general constraints 949241
3600.07/3612.11 c learned average constraint length 53.65
3600.07/3612.11 c learned average constraint degree 897342.57
3600.07/3612.11 c watched constraints 930568
3600.07/3612.11 c counting constraints 18689
3600.07/3612.11 c gcd simplifications 718407
3600.07/3612.11 c detected cardinalities 0
3600.07/3612.11 c weakened non-implied lits 16687798
3600.07/3612.11 c weakened non-implying lits 921698
3600.07/3612.11 c original variables 71
3600.07/3612.11 c clausal propagations 408078
3600.07/3612.11 c cardinality propagations 0
3600.07/3612.11 c watched propagations 9908732
3600.07/3612.11 c counting propagations 9052389
3600.07/3612.11 c watch lookups 34084343225
3600.07/3612.11 c watch backjump lookups 18268360289
3600.07/3612.11 c watch checks 453747123652
3600.07/3612.11 c propagation checks 115707575520
3600.07/3612.11 c constraint additions 642451127
3600.07/3612.11 c trail pops 25993950
3600.07/3612.11 c formula constraints 17
3600.07/3612.11 c learned constraints 1747725
3600.07/3612.11 c bound constraints 0
3600.07/3612.11 c core-guided constraints 0
3600.07/3612.11 c encountered formula constraints 2393495
3600.07/3612.11 c encountered learned constraints 7471817
3600.07/3612.11 c encountered bound constraints 0
3600.07/3612.11 c encountered core-guided constraints 0
3600.07/3612.11 c LP total time 0 s
3600.07/3612.11 c LP solve time 0 s
3600.07/3612.11 c LP constraints added 0
3600.07/3612.11 c LP constraints removed 0
3600.07/3612.11 c LP pivots internal 0
3600.07/3612.11 c LP pivots root 0
3600.07/3612.11 c LP calls 0
3600.07/3612.11 c LP optimalities 0
3600.07/3612.11 c LP no pivot count 0
3600.07/3612.11 c LP infeasibilities 0
3600.07/3612.11 c LP valid Farkas constraints 0
3600.07/3612.11 c LP learned Farkas constraints 0
3600.07/3612.11 c LP basis resets 0
3600.07/3612.11 c LP cycling count 0
3600.07/3612.11 c LP singular count 0
3600.07/3612.11 c LP no primal count 0
3600.07/3612.11 c LP no farkas count 0
3600.07/3612.11 c LP other issue count 0
3600.07/3612.11 c LP Gomory cuts 0
3600.07/3612.11 c LP learned cuts 0
3600.07/3612.11 c LP deleted cuts 0
3600.07/3612.11 c LP encountered Gomory constraints 0
3600.07/3612.11 c LP encountered Farkas constraints 0
3600.07/3612.11 c LP encountered learned Farkas constraints 0
3600.07/3612.11 c CG auxiliary variables introduced 0
3600.07/3612.11 c CG solutions found 0
3600.07/3612.11 c CG cores constructed 0
3600.07/3612.11 c CG core cardinality constraints returned 0
3600.07/3612.11 c CG unit cores 0
3600.07/3612.11 c CG single cores 0
3600.07/3612.11 c CG blocks removed during cardinality reduction 0
3600.07/3612.11 c CG first core best 0
3600.07/3612.11 c CG decision core best 0
3600.07/3612.11 c CG core reduction tie 0
3600.07/3612.11 c CG core degree average 0.00
3600.07/3612.11 c CG core slack average 0.00
3600.07/3612.11 c CG exhausted 0
3600.07/3612.11 c CG exhaust time 0 s
3600.07/3612.11 c CG trimmed 0
3600.07/3612.11 c CG trim time 0 s
3600.07/3612.11 c CG minimized 0
3600.07/3612.11 c CG minimize time 0 s
3600.07/3612.11 c CG am1 prop time 0 s
3600.07/3612.11 c CG # am1s reformulated 0
3600.07/3612.11 c CG lower bound derived from am1s 0
3600.07/3612.11 c CG # clausal cores 0
3600.07/3612.11 c CG # cardinality cores 0
3600.07/3612.11 c CG # pb cores 0
3600.07/3612.11 c CG # pb reforms 0
3600.07/3612.11 c CG # cores discarded because of pb reform 0
3600.07/3612.11 d LOWERBOUND 0
3600.07/3612.11 d NCORES 0
3600.07/3612.11 d NPBCORES 0
3600.07/3612.11 d NPBREFORM 0
3600.07/3612.11 d NTRIMMED 0
3600.07/3612.11 d NEXHAUSTED 0
3600.07/3612.11 d NAM1S 0
3600.07/3612.11 d AM1LB 0
3600.07/3612.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63158 MiB free)
memory of node 1: 64510 MiB (63537 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435902-1721103893/watcher-4435902-1721103893 -o /tmp/evaluation-result-4435902-1721103893/solver-4435902-1721103893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828395 --watchdog 3760 pb-oll-rs HOME/instance-4435902-1721103893.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
solver pid=828544, runsolver pid=828537
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.1002 s]*
/proc/loadavg: 1.23 1.54 2.36 8/247 828594
/proc/meminfo: memFree=129731348/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=38920 memory=6048 CPUtime=0.11 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 362 0 0 0 10 1 0 0 20 0 1 0 162545712 39854080 1512 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 9730 1512 1374 291 0 1264 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 38920 KiB
Current children cumulated memory: 6048 KiB
[startup+0.215293 s]*
/proc/loadavg: 1.23 1.54 2.36 10/248 828642
/proc/meminfo: memFree=129728644/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=39052 memory=6576 CPUtime=0.21 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 452 0 0 0 20 1 0 0 20 0 1 0 162545712 39989248 1644 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 9763 1644 1374 291 0 1297 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39052 KiB
Current children cumulated memory: 6576 KiB
[startup+0.313542 s]*
/proc/loadavg: 1.23 1.54 2.36 7/248 828691
/proc/meminfo: memFree=129726832/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=39184 memory=6840 CPUtime=0.31 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 524 0 0 0 30 1 0 0 20 0 1 0 162545712 40124416 1710 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 9796 1710 1374 291 0 1330 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39184 KiB
Current children cumulated memory: 6840 KiB
[startup+0.700248 s]
/proc/loadavg: 1.23 1.54 2.36 10/249 828778
/proc/meminfo: memFree=129724564/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=39452 memory=7580 CPUtime=0.68 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 680 0 0 0 65 3 0 0 20 0 1 0 162545712 40398848 1895 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 9863 1895 1431 291 0 1397 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39452 KiB
Current children cumulated memory: 7580 KiB
[startup+1.50026 s]
/proc/loadavg: 1.23 1.54 2.36 6/246 828802
/proc/meminfo: memFree=129723964/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=39860 memory=10680 CPUtime=1.48 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 893 0 0 0 142 6 0 0 20 0 1 0 162545712 40816640 2670 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 9965 2670 1431 291 0 1499 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39860 KiB
Current children cumulated memory: 10680 KiB
[startup+3.11252 s]
/proc/loadavg: 1.45 1.58 2.37 6/246 828802
/proc/meminfo: memFree=129713776/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=40768 memory=11468 CPUtime=3.08 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 1110 0 0 0 299 9 0 0 20 0 1 0 162545712 41746432 2867 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 10192 2867 1431 291 0 1726 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40768 KiB
Current children cumulated memory: 11468 KiB
[startup+6.30024 s]
/proc/loadavg: 1.45 1.58 2.37 6/246 828802
/proc/meminfo: memFree=129711328/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=41680 memory=12336 CPUtime=6.26 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 1308 0 0 0 613 13 0 0 20 0 1 0 162545712 42680320 3084 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 10420 3084 1431 291 0 1954 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 41680 KiB
Current children cumulated memory: 12336 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.62 2.38 6/246 828804
/proc/meminfo: memFree=129707136/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=42448 memory=13036 CPUtime=12.65 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 1495 0 0 0 1245 20 0 0 20 0 1 0 162545712 43466752 3259 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 10612 3259 1431 291 0 2146 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42448 KiB
Current children cumulated memory: 13036 KiB
[startup+25.5003 s]
/proc/loadavg: 2.26 1.76 2.41 6/246 828805
/proc/meminfo: memFree=129698160/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=45876 memory=16660 CPUtime=25.41 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 1910 0 0 0 2514 27 0 0 20 0 1 0 162545712 46977024 4165 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 11469 4165 1431 291 0 3003 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 45876 KiB
Current children cumulated memory: 16660 KiB
[startup+51.1132 s]
/proc/loadavg: 2.93 1.95 2.46 6/245 828810
/proc/meminfo: memFree=129690272/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=47156 memory=17844 CPUtime=50.95 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 2196 0 0 0 5052 43 0 0 20 0 1 0 162545712 48287744 4461 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 11789 4461 1431 291 0 3323 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 47156 KiB
Current children cumulated memory: 17844 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.27 2.54 6/245 828818
/proc/meminfo: memFree=129676412/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=53688 memory=20192 CPUtime=101.98 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 2803 0 0 0 10126 72 0 0 20 0 1 0 162545712 54976512 5048 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 13422 5048 1431 291 0 4956 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 53688 KiB
Current children cumulated memory: 20192 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.60 2.64 6/245 828829
/proc/meminfo: memFree=129662948/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=54984 memory=24132 CPUtime=161.78 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 3300 0 0 0 16069 109 0 0 20 0 1 0 162545712 56303616 6033 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 13746 6033 1431 291 0 5280 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 54984 KiB
Current children cumulated memory: 24132 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 2.91 2.75 6/246 829008
/proc/meminfo: memFree=129654012/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=55576 memory=24908 CPUtime=221.59 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 3542 0 0 0 22017 142 0 0 20 0 1 0 162545712 56909824 6227 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 13894 6227 1431 291 0 5428 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 55576 KiB
Current children cumulated memory: 24908 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.12 2.83 6/246 829018
/proc/meminfo: memFree=129642236/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=57064 memory=26716 CPUtime=281.38 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 4000 0 0 0 27974 164 0 0 20 0 1 0 162545712 58433536 6679 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 14266 6679 1431 291 0 5800 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 57064 KiB
Current children cumulated memory: 26716 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 3.33 2.92 6/246 829088
/proc/meminfo: memFree=129637056/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=58056 memory=28616 CPUtime=341.19 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 4555 0 0 0 33932 187 0 0 20 0 1 0 162545712 59449344 7154 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 14514 7154 1431 291 0 6048 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 58056 KiB
Current children cumulated memory: 28616 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 3.50 3.01 6/246 829098
/proc/meminfo: memFree=129631708/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=58344 memory=29108 CPUtime=401 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 4694 0 0 0 39895 205 0 0 20 0 1 0 162545712 59744256 7277 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 14586 7277 1431 291 0 6120 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 58344 KiB
Current children cumulated memory: 29108 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.61 3.08 6/246 829108
/proc/meminfo: memFree=129622712/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=68340 memory=34616 CPUtime=460.81 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 5278 0 0 0 45861 220 0 0 20 0 1 0 162545712 69980160 8654 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 17085 8654 1431 291 0 8619 0
################
# More data... #
################
Current children cumulated memory: 50160 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.05 6/243 830115
/proc/meminfo: memFree=129538664/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=88408 memory=52208 CPUtime=2912.46 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 8680 0 0 0 290531 715 0 0 20 0 1 0 162545712 90529792 13052 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 22102 13052 1431 291 0 13636 0
Current children cumulated CPU time: 2912.46 s
Current children cumulated vsize: 88408 KiB
Current children cumulated memory: 52208 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.05 7/243 830125
/proc/meminfo: memFree=129536820/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=88408 memory=52280 CPUtime=2972.27 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 8703 0 0 0 296503 724 0 0 20 0 1 0 162545712 90529792 13070 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 22102 13070 1431 291 0 13636 0
Current children cumulated CPU time: 2972.27 s
Current children cumulated vsize: 88408 KiB
Current children cumulated memory: 52280 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.06 6/243 830137
/proc/meminfo: memFree=129536036/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=89176 memory=52752 CPUtime=3032.08 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 8853 0 0 0 302476 732 0 0 20 0 1 0 162545712 91316224 13188 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 22294 13188 1431 291 0 13828 0
Current children cumulated CPU time: 3032.08 s
Current children cumulated vsize: 89176 KiB
Current children cumulated memory: 52752 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.11 4.06 6/241 830147
/proc/meminfo: memFree=129533792/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=91736 memory=54252 CPUtime=3091.89 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 9271 0 0 0 308449 740 0 0 20 0 1 0 162545712 93937664 13563 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 22934 13563 1431 291 0 14468 0
Current children cumulated CPU time: 3091.89 s
Current children cumulated vsize: 91736 KiB
Current children cumulated memory: 54252 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.06 6/241 830157
/proc/meminfo: memFree=129532784/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=91736 memory=54396 CPUtime=3151.7 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 9294 0 0 0 314422 748 0 0 20 0 1 0 162545712 93937664 13599 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 22934 13599 1431 291 0 14468 0
Current children cumulated CPU time: 3151.7 s
Current children cumulated vsize: 91736 KiB
Current children cumulated memory: 54396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.06 6/241 830167
/proc/meminfo: memFree=129531744/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=91932 memory=54600 CPUtime=3211.5 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 9364 0 0 0 320395 755 0 0 20 0 1 0 162545712 94138368 13650 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 22983 13650 1431 291 0 14517 0
Current children cumulated CPU time: 3211.5 s
Current children cumulated vsize: 91932 KiB
Current children cumulated memory: 54600 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.06 6/241 830178
/proc/meminfo: memFree=129527548/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=93472 memory=57060 CPUtime=3271.31 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 9664 0 0 0 326369 762 0 0 20 0 1 0 162545712 95715328 14265 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 23368 14265 1431 291 0 14902 0
Current children cumulated CPU time: 3271.31 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 57060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.06 6/243 830192
/proc/meminfo: memFree=129527272/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=93472 memory=57184 CPUtime=3331.12 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 9690 0 0 0 332341 771 0 0 20 0 1 0 162545712 95715328 14296 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 23368 14296 1431 291 0 14902 0
Current children cumulated CPU time: 3331.12 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 57184 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.06 6/243 830202
/proc/meminfo: memFree=129523400/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=93784 memory=57408 CPUtime=3390.92 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 9794 0 0 0 338312 780 0 0 20 0 1 0 162545712 96034816 14352 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 23446 14352 1431 291 0 14980 0
Current children cumulated CPU time: 3390.92 s
Current children cumulated vsize: 93784 KiB
Current children cumulated memory: 57408 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.06 6/243 830214
/proc/meminfo: memFree=129520464/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=93984 memory=57580 CPUtime=3450.74 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 9866 0 0 0 344285 789 0 0 20 0 1 0 162545712 96239616 14395 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 23496 14395 1431 291 0 15030 0
Current children cumulated CPU time: 3450.74 s
Current children cumulated vsize: 93984 KiB
Current children cumulated memory: 57580 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.07 6/243 830224
/proc/meminfo: memFree=129519408/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=93984 memory=57716 CPUtime=3510.55 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 9888 0 0 0 350257 798 0 0 20 0 1 0 162545712 96239616 14429 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 23496 14429 1431 291 0 15030 0
Current children cumulated CPU time: 3510.55 s
Current children cumulated vsize: 93984 KiB
Current children cumulated memory: 57716 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.07 7/243 830234
/proc/meminfo: memFree=129517348/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=93984 memory=58268 CPUtime=3570.36 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 9915 0 0 0 356230 806 0 0 20 0 1 0 162545712 96239616 14567 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 23496 14567 1431 291 0 15030 0
Current children cumulated CPU time: 3570.36 s
Current children cumulated vsize: 93984 KiB
Current children cumulated memory: 58268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 3.97 4.08 4.06 5/243 830700
/proc/meminfo: memFree=129595772/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=95012 memory=60956 CPUtime=3600.07 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 10119 0 0 0 359197 810 0 0 20 0 1 0 162545712 97292288 15239 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 23753 15239 1431 291 0 15287 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 95012 KiB
Current children cumulated memory: 60956 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.11 s]
# the end of solver process 828544 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.97 s, system=8.10802 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 3.97 4.08 4.06 5/243 830700
/proc/meminfo: memFree=129595772/131655788 swapFree=131071996/131071996
[pid=828544] ppid=828537 vsize=95012 memory=60956 CPUtime=3600.07 cores=0,2
/proc/828544/stat : 828544 (pb-oll-rs) R 828537 828544 828344 0 -1 4194304 10119 0 0 0 359197 810 0 0 20 0 1 0 162545712 97292288 15239 134679101440 4194304 5384005 140727909781056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 8228864 140727909782551 140727909782628 140727909782628 140727909789643 0
/proc/828544/statm: 23753 15239 1431 291 0 15287 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 95012 KiB
Current children cumulated memory: 60956 KiB
Child status: 0
Real time (s): 3612.11
CPU time (s): 3600.08
CPU user time (s): 3591.97
CPU system time (s): 8.10802
CPU usage (%): 99.6669
Max. virtual memory (cumulated for all children) (KiB): 95012
Max. memory (cumulated for all children) (KiB): 60956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.97
system time used= 8.10802
maximum resident set size= 61308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10134
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= 28
involuntary context switches= 24652
# summary of solver processes directly reported to runsolver:
# pid: 828544
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.97
# total CPU system time (s): 8.10802
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8207 second user time and 35.5966 second system time
The end
Begin job on nodeC008 at 2024-07-16 06:25:05
IDJOB=4435902
IDBENCH=147583
IDSOLVER=3067
FILE ID=nodeC008/4435902-1721103893
RUNJOBID= nodeC008-1721103905-828395
SLURM_JOB_ID= 7505622
Free space on /tmp= 723768 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435902-1721103893/watcher-4435902-1721103893 -o /tmp/evaluation-result-4435902-1721103893/solver-4435902-1721103893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828395 --watchdog 3760 pb-oll-rs HOME/instance-4435902-1721103893.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b
RANDOM SEED=1547212356
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.248
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3355.328
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.246
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.248
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.249
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.253
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.245
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.252
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129739556 kB
MemAvailable: 129987484 kB
Buffers: 408796 kB
Cached: 682912 kB
SwapCached: 0 kB
Active: 637752 kB
Inactive: 758408 kB
Active(anon): 1384 kB
Inactive(anon): 340768 kB
Active(file): 636368 kB
Inactive(file): 417640 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7912 kB
Writeback: 0 kB
AnonPages: 304596 kB
Mapped: 104184 kB
Shmem: 37708 kB
KReclaimable: 67904 kB
Slab: 161360 kB
SReclaimable: 67904 kB
SUnreclaim: 93456 kB
KernelStack: 3636 kB
PageTables: 9712 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 688668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51840 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC008 at 2024-07-16 07:25:17