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
29.81/29.94 c bounds - >= 0 @ 0.000352
29.81/29.94 c #Conflicts: 1000 | #Constraints: 1016
29.81/29.94 c #Conflicts: 2000 | #Constraints: 2016
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 3000 | #Constraints: 2018
29.81/29.94 c #Conflicts: 4000 | #Constraints: 3018
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 5000 | #Constraints: 2420
29.81/29.94 c #Conflicts: 6000 | #Constraints: 3420
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 7000 | #Constraints: 2424
29.81/29.94 c #Conflicts: 8000 | #Constraints: 3424
29.81/29.94 c #Conflicts: 9000 | #Constraints: 4424
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 10000 | #Constraints: 3123
29.81/29.94 c #Conflicts: 11000 | #Constraints: 4123
29.81/29.94 c #Conflicts: 12000 | #Constraints: 5123
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 13000 | #Constraints: 3575
29.81/29.94 c #Conflicts: 14000 | #Constraints: 4575
29.81/29.94 c #Conflicts: 15000 | #Constraints: 5575
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 16000 | #Constraints: 3802
29.81/29.94 c #Conflicts: 17000 | #Constraints: 4802
29.81/29.94 c #Conflicts: 18000 | #Constraints: 5802
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 19000 | #Constraints: 3813
29.81/29.94 c #Conflicts: 20000 | #Constraints: 4813
29.81/29.94 c #Conflicts: 21000 | #Constraints: 5813
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 22000 | #Constraints: 3620
29.81/29.94 c #Conflicts: 23000 | #Constraints: 4620
29.81/29.94 c #Conflicts: 24000 | #Constraints: 5620
29.81/29.94 c #Conflicts: 25000 | #Constraints: 6620
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 26000 | #Constraints: 4226
29.81/29.94 c #Conflicts: 27000 | #Constraints: 5226
29.81/29.94 c #Conflicts: 28000 | #Constraints: 6226
29.81/29.94 c #Conflicts: 29000 | #Constraints: 7226
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 30000 | #Constraints: 4626
29.81/29.94 c #Conflicts: 31000 | #Constraints: 5626
29.81/29.94 c #Conflicts: 32000 | #Constraints: 6626
29.81/29.94 c #Conflicts: 33000 | #Constraints: 7626
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 34000 | #Constraints: 4824
29.81/29.94 c #Conflicts: 35000 | #Constraints: 5824
29.81/29.94 c #Conflicts: 36000 | #Constraints: 6824
29.81/29.94 c #Conflicts: 37000 | #Constraints: 7824
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 38000 | #Constraints: 4826
29.81/29.94 c #Conflicts: 39000 | #Constraints: 5826
29.81/29.94 c #Conflicts: 40000 | #Constraints: 6826
29.81/29.94 c #Conflicts: 41000 | #Constraints: 7826
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 42000 | #Constraints: 4626
29.81/29.94 c #Conflicts: 43000 | #Constraints: 5626
29.81/29.94 c #Conflicts: 44000 | #Constraints: 6626
29.81/29.94 c #Conflicts: 45000 | #Constraints: 7626
29.81/29.94 c #Conflicts: 46000 | #Constraints: 8626
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 47000 | #Constraints: 5225
29.81/29.94 c #Conflicts: 48000 | #Constraints: 6225
29.81/29.94 c #Conflicts: 49000 | #Constraints: 7225
29.81/29.94 c #Conflicts: 50000 | #Constraints: 8225
29.81/29.94 c #Conflicts: 51000 | #Constraints: 9225
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 52000 | #Constraints: 5628
29.81/29.94 c #Conflicts: 53000 | #Constraints: 6628
29.81/29.94 c #Conflicts: 54000 | #Constraints: 7628
29.81/29.94 c #Conflicts: 55000 | #Constraints: 8628
29.81/29.94 c #Conflicts: 56000 | #Constraints: 9628
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 57000 | #Constraints: 5826
29.81/29.94 c #Conflicts: 58000 | #Constraints: 6826
29.81/29.94 c #Conflicts: 59000 | #Constraints: 7826
29.81/29.94 c #Conflicts: 60000 | #Constraints: 8826
29.81/29.94 c #Conflicts: 61000 | #Constraints: 9826
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 62000 | #Constraints: 5827
29.81/29.94 c #Conflicts: 63000 | #Constraints: 6827
29.81/29.94 c #Conflicts: 64000 | #Constraints: 7827
29.81/29.94 c #Conflicts: 65000 | #Constraints: 8827
29.81/29.94 c #Conflicts: 66000 | #Constraints: 9827
29.81/29.94 c INPROCESSING
29.81/29.94 c GARBAGE COLLECT
29.81/29.94 c #Conflicts: 67000 | #Constraints: 5627
83.75/84.06 c #Conflicts: 68000 | #Constraints: 6627
83.75/84.06 c #Conflicts: 69000 | #Constraints: 7627
83.75/84.06 c #Conflicts: 70000 | #Constraints: 8627
83.75/84.06 c #Conflicts: 71000 | #Constraints: 9627
83.75/84.06 c #Conflicts: 72000 | #Constraints: 10627
83.75/84.06 c INPROCESSING
83.75/84.06 c GARBAGE COLLECT
83.75/84.06 c #Conflicts: 73000 | #Constraints: 6225
83.75/84.06 c #Conflicts: 74000 | #Constraints: 7225
83.75/84.06 c #Conflicts: 75000 | #Constraints: 8225
83.75/84.06 c #Conflicts: 76000 | #Constraints: 9225
83.75/84.06 c #Conflicts: 77000 | #Constraints: 10225
83.75/84.06 c #Conflicts: 78000 | #Constraints: 11225
83.75/84.06 c INPROCESSING
83.75/84.06 c GARBAGE COLLECT
83.75/84.06 c #Conflicts: 79000 | #Constraints: 6625
83.75/84.06 c #Conflicts: 80000 | #Constraints: 7625
83.75/84.06 c #Conflicts: 81000 | #Constraints: 8625
83.75/84.06 c #Conflicts: 82000 | #Constraints: 9625
83.75/84.06 c #Conflicts: 83000 | #Constraints: 10625
83.75/84.06 c #Conflicts: 84000 | #Constraints: 11625
83.75/84.06 c INPROCESSING
83.75/84.06 c GARBAGE COLLECT
83.75/84.06 c #Conflicts: 85000 | #Constraints: 6829
83.75/84.06 c #Conflicts: 86000 | #Constraints: 7829
83.75/84.06 c #Conflicts: 87000 | #Constraints: 8829
83.75/84.06 c #Conflicts: 88000 | #Constraints: 9829
83.75/84.06 c #Conflicts: 89000 | #Constraints: 10829
83.75/84.06 c #Conflicts: 90000 | #Constraints: 11829
83.75/84.06 c INPROCESSING
83.75/84.06 c GARBAGE COLLECT
83.75/84.06 c #Conflicts: 91000 | #Constraints: 6827
83.75/84.06 c #Conflicts: 92000 | #Constraints: 7827
83.75/84.06 c #Conflicts: 93000 | #Constraints: 8827
83.75/84.06 c #Conflicts: 94000 | #Constraints: 9827
83.75/84.06 c #Conflicts: 95000 | #Constraints: 10827
83.75/84.06 c #Conflicts: 96000 | #Constraints: 11827
83.75/84.06 c INPROCESSING
83.75/84.06 c GARBAGE COLLECT
83.75/84.06 c #Conflicts: 97000 | #Constraints: 6629
83.75/84.06 c #Conflicts: 98000 | #Constraints: 7629
83.75/84.06 c #Conflicts: 99000 | #Constraints: 8629
83.75/84.06 c #Conflicts: 100000 | #Constraints: 9629
83.75/84.06 c #Conflicts: 101000 | #Constraints: 10629
83.75/84.06 c #Conflicts: 102000 | #Constraints: 11629
83.75/84.06 c #Conflicts: 103000 | #Constraints: 12629
83.75/84.06 c INPROCESSING
83.75/84.06 c GARBAGE COLLECT
83.75/84.06 c #Conflicts: 104000 | #Constraints: 7224
83.75/84.06 c #Conflicts: 105000 | #Constraints: 8224
83.75/84.06 c #Conflicts: 106000 | #Constraints: 9224
83.75/84.06 c #Conflicts: 107000 | #Constraints: 10224
83.75/84.06 c #Conflicts: 108000 | #Constraints: 11224
83.75/84.06 c #Conflicts: 109000 | #Constraints: 12224
83.75/84.06 c #Conflicts: 110000 | #Constraints: 13224
83.75/84.06 c INPROCESSING
83.75/84.06 c GARBAGE COLLECT
83.75/84.06 c #Conflicts: 111000 | #Constraints: 7630
83.75/84.06 c #Conflicts: 112000 | #Constraints: 8630
83.75/84.06 c #Conflicts: 113000 | #Constraints: 9630
83.75/84.06 c #Conflicts: 114000 | #Constraints: 10630
83.75/84.06 c #Conflicts: 115000 | #Constraints: 11630
83.75/84.06 c #Conflicts: 116000 | #Constraints: 12630
83.75/84.06 c #Conflicts: 117000 | #Constraints: 13630
83.75/84.06 c INPROCESSING
83.75/84.06 c GARBAGE COLLECT
83.75/84.06 c #Conflicts: 118000 | #Constraints: 7827
83.75/84.06 c #Conflicts: 119000 | #Constraints: 8827
83.75/84.06 c #Conflicts: 120000 | #Constraints: 9827
83.75/84.06 c #Conflicts: 121000 | #Constraints: 10827
83.75/84.06 c #Conflicts: 122000 | #Constraints: 11827
83.75/84.06 c #Conflicts: 123000 | #Constraints: 12827
83.75/84.06 c #Conflicts: 124000 | #Constraints: 13827
83.75/84.06 c INPROCESSING
83.75/84.06 c GARBAGE COLLECT
83.75/84.06 c #Conflicts: 125000 | #Constraints: 7827
83.75/84.06 c #Conflicts: 126000 | #Constraints: 8827
83.75/84.06 c #Conflicts: 127000 | #Constraints: 9827
83.75/84.06 c #Conflicts: 128000 | #Constraints: 10827
83.75/84.06 c #Conflicts: 129000 | #Constraints: 11827
83.75/84.06 c #Conflicts: 130000 | #Constraints: 12827
83.75/84.06 c #Conflicts: 131000 | #Constraints: 13827
83.75/84.06 c INPROCESSING
83.75/84.06 c GARBAGE COLLECT
83.75/84.06 c #Conflicts: 132000 | #Constraints: 7626
83.75/84.06 c #Conflicts: 133000 | #Constraints: 8626
83.75/84.06 c #Conflicts: 134000 | #Constraints: 9626
83.75/84.06 c #Conflicts: 135000 | #Constraints: 10626
83.75/84.06 c #Conflicts: 136000 | #Constraints: 11626
83.75/84.06 c #Conflicts: 137000 | #Constraints: 12626
83.75/84.06 c #Conflicts: 138000 | #Constraints: 13626
83.75/84.06 c #Conflicts: 139000 | #Constraints: 14626
83.75/84.06 c INPROCESSING
145.35/145.89 c GARBAGE COLLECT
145.35/145.89 c #Conflicts: 140000 | #Constraints: 8228
145.35/145.89 c #Conflicts: 141000 | #Constraints: 9228
145.35/145.89 c #Conflicts: 142000 | #Constraints: 10228
145.35/145.89 c #Conflicts: 143000 | #Constraints: 11228
145.35/145.89 c #Conflicts: 144000 | #Constraints: 12228
145.35/145.89 c #Conflicts: 145000 | #Constraints: 13228
145.35/145.89 c #Conflicts: 146000 | #Constraints: 14228
145.35/145.89 c #Conflicts: 147000 | #Constraints: 15228
145.35/145.89 c INPROCESSING
145.35/145.89 c GARBAGE COLLECT
145.35/145.89 c #Conflicts: 148000 | #Constraints: 8630
145.35/145.89 c #Conflicts: 149000 | #Constraints: 9630
145.35/145.89 c #Conflicts: 150000 | #Constraints: 10630
145.35/145.89 c #Conflicts: 151000 | #Constraints: 11630
145.35/145.89 c #Conflicts: 152000 | #Constraints: 12630
145.35/145.89 c #Conflicts: 153000 | #Constraints: 13630
145.35/145.89 c #Conflicts: 154000 | #Constraints: 14630
145.35/145.89 c #Conflicts: 155000 | #Constraints: 15630
145.35/145.89 c INPROCESSING
145.35/145.89 c GARBAGE COLLECT
145.35/145.89 c #Conflicts: 156000 | #Constraints: 8826
145.35/145.89 c #Conflicts: 157000 | #Constraints: 9826
145.35/145.89 c #Conflicts: 158000 | #Constraints: 10826
145.35/145.89 c #Conflicts: 159000 | #Constraints: 11826
145.35/145.89 c #Conflicts: 160000 | #Constraints: 12826
145.35/145.89 c #Conflicts: 161000 | #Constraints: 13826
145.35/145.89 c #Conflicts: 162000 | #Constraints: 14826
145.35/145.89 c #Conflicts: 163000 | #Constraints: 15826
145.35/145.89 c INPROCESSING
145.35/145.89 c GARBAGE COLLECT
145.35/145.89 c #Conflicts: 164000 | #Constraints: 8827
145.35/145.89 c #Conflicts: 165000 | #Constraints: 9827
145.35/145.89 c #Conflicts: 166000 | #Constraints: 10827
145.35/145.89 c #Conflicts: 167000 | #Constraints: 11827
145.35/145.89 c #Conflicts: 168000 | #Constraints: 12827
145.35/145.89 c #Conflicts: 169000 | #Constraints: 13827
145.35/145.89 c #Conflicts: 170000 | #Constraints: 14827
145.35/145.89 c #Conflicts: 171000 | #Constraints: 15827
145.35/145.89 c INPROCESSING
145.35/145.89 c GARBAGE COLLECT
145.35/145.89 c #Conflicts: 172000 | #Constraints: 8626
145.35/145.89 c #Conflicts: 173000 | #Constraints: 9626
145.35/145.89 c #Conflicts: 174000 | #Constraints: 10626
145.35/145.89 c #Conflicts: 175000 | #Constraints: 11626
145.35/145.89 c #Conflicts: 176000 | #Constraints: 12626
145.35/145.89 c #Conflicts: 177000 | #Constraints: 13626
145.35/145.89 c #Conflicts: 178000 | #Constraints: 14626
145.35/145.89 c #Conflicts: 179000 | #Constraints: 15626
145.35/145.89 c #Conflicts: 180000 | #Constraints: 16626
145.35/145.89 c INPROCESSING
145.35/145.89 c GARBAGE COLLECT
145.35/145.89 c #Conflicts: 181000 | #Constraints: 9224
145.35/145.89 c #Conflicts: 182000 | #Constraints: 10224
145.35/145.89 c #Conflicts: 183000 | #Constraints: 11224
145.35/145.89 c #Conflicts: 184000 | #Constraints: 12224
145.35/145.89 c #Conflicts: 185000 | #Constraints: 13224
145.35/145.89 c #Conflicts: 186000 | #Constraints: 14224
145.35/145.89 c #Conflicts: 187000 | #Constraints: 15224
145.35/145.89 c #Conflicts: 188000 | #Constraints: 16224
145.35/145.89 c #Conflicts: 189000 | #Constraints: 17224
145.35/145.89 c INPROCESSING
145.35/145.89 c GARBAGE COLLECT
145.35/145.89 c #Conflicts: 190000 | #Constraints: 9627
145.35/145.89 c #Conflicts: 191000 | #Constraints: 10627
145.35/145.89 c #Conflicts: 192000 | #Constraints: 11627
145.35/145.89 c #Conflicts: 193000 | #Constraints: 12627
145.35/145.89 c #Conflicts: 194000 | #Constraints: 13627
145.35/145.89 c #Conflicts: 195000 | #Constraints: 14627
145.35/145.89 c #Conflicts: 196000 | #Constraints: 15627
145.35/145.89 c #Conflicts: 197000 | #Constraints: 16627
145.35/145.89 c #Conflicts: 198000 | #Constraints: 17627
145.35/145.89 c INPROCESSING
145.35/145.89 c GARBAGE COLLECT
145.35/145.89 c #Conflicts: 199000 | #Constraints: 9828
145.35/145.89 c #Conflicts: 200000 | #Constraints: 10828
145.35/145.89 c #Conflicts: 201000 | #Constraints: 11828
145.35/145.89 c #Conflicts: 202000 | #Constraints: 12828
145.35/145.89 c #Conflicts: 203000 | #Constraints: 13828
145.35/145.89 c #Conflicts: 204000 | #Constraints: 14828
145.35/145.89 c #Conflicts: 205000 | #Constraints: 15828
145.35/145.89 c #Conflicts: 206000 | #Constraints: 16828
145.35/145.89 c #Conflicts: 207000 | #Constraints: 17828
145.35/145.89 c INPROCESSING
145.35/145.89 c GARBAGE COLLECT
145.35/145.89 c #Conflicts: 208000 | #Constraints: 9829
145.35/145.89 c #Conflicts: 209000 | #Constraints: 10829
145.35/145.89 c #Conflicts: 210000 | #Constraints: 11829
145.35/145.89 c #Conflicts: 211000 | #Constraints: 12829
145.35/145.89 c #Conflicts: 212000 | #Constraints: 13829
145.35/145.89 c #Conflicts: 213000 | #Constraints: 14829
221.00/221.78 c #Conflicts: 214000 | #Constraints: 15829
221.00/221.78 c #Conflicts: 215000 | #Constraints: 16829
221.00/221.78 c #Conflicts: 216000 | #Constraints: 17829
221.00/221.78 c INPROCESSING
221.00/221.78 c GARBAGE COLLECT
221.00/221.78 c #Conflicts: 217000 | #Constraints: 9629
221.00/221.78 c #Conflicts: 218000 | #Constraints: 10629
221.00/221.78 c #Conflicts: 219000 | #Constraints: 11629
221.00/221.78 c #Conflicts: 220000 | #Constraints: 12629
221.00/221.78 c #Conflicts: 221000 | #Constraints: 13629
221.00/221.78 c #Conflicts: 222000 | #Constraints: 14629
221.00/221.78 c #Conflicts: 223000 | #Constraints: 15629
221.00/221.78 c #Conflicts: 224000 | #Constraints: 16629
221.00/221.78 c #Conflicts: 225000 | #Constraints: 17629
221.00/221.78 c #Conflicts: 226000 | #Constraints: 18629
221.00/221.78 c INPROCESSING
221.00/221.78 c GARBAGE COLLECT
221.00/221.78 c #Conflicts: 227000 | #Constraints: 10229
221.00/221.78 c #Conflicts: 228000 | #Constraints: 11229
221.00/221.78 c #Conflicts: 229000 | #Constraints: 12229
221.00/221.78 c #Conflicts: 230000 | #Constraints: 13229
221.00/221.78 c #Conflicts: 231000 | #Constraints: 14229
221.00/221.78 c #Conflicts: 232000 | #Constraints: 15229
221.00/221.78 c #Conflicts: 233000 | #Constraints: 16229
221.00/221.78 c #Conflicts: 234000 | #Constraints: 17229
221.00/221.78 c #Conflicts: 235000 | #Constraints: 18229
221.00/221.78 c #Conflicts: 236000 | #Constraints: 19229
221.00/221.78 c INPROCESSING
221.00/221.78 c GARBAGE COLLECT
221.00/221.78 c #Conflicts: 237000 | #Constraints: 10629
221.00/221.78 c #Conflicts: 238000 | #Constraints: 11629
221.00/221.78 c #Conflicts: 239000 | #Constraints: 12629
221.00/221.78 c #Conflicts: 240000 | #Constraints: 13629
221.00/221.78 c #Conflicts: 241000 | #Constraints: 14629
221.00/221.78 c #Conflicts: 242000 | #Constraints: 15629
221.00/221.78 c #Conflicts: 243000 | #Constraints: 16629
221.00/221.78 c #Conflicts: 244000 | #Constraints: 17629
221.00/221.78 c #Conflicts: 245000 | #Constraints: 18629
221.00/221.78 c #Conflicts: 246000 | #Constraints: 19629
221.00/221.78 c INPROCESSING
221.00/221.78 c GARBAGE COLLECT
221.00/221.78 c #Conflicts: 247000 | #Constraints: 10830
221.00/221.78 c #Conflicts: 248000 | #Constraints: 11830
221.00/221.78 c #Conflicts: 249000 | #Constraints: 12830
221.00/221.78 c #Conflicts: 250000 | #Constraints: 13830
221.00/221.78 c #Conflicts: 251000 | #Constraints: 14830
221.00/221.78 c #Conflicts: 252000 | #Constraints: 15830
221.00/221.78 c #Conflicts: 253000 | #Constraints: 16830
221.00/221.78 c #Conflicts: 254000 | #Constraints: 17830
221.00/221.78 c #Conflicts: 255000 | #Constraints: 18830
221.00/221.78 c #Conflicts: 256000 | #Constraints: 19830
221.00/221.78 c INPROCESSING
221.00/221.78 c GARBAGE COLLECT
221.00/221.78 c #Conflicts: 257000 | #Constraints: 10828
221.00/221.78 c #Conflicts: 258000 | #Constraints: 11828
221.00/221.78 c #Conflicts: 259000 | #Constraints: 12828
221.00/221.78 c #Conflicts: 260000 | #Constraints: 13828
221.00/221.78 c #Conflicts: 261000 | #Constraints: 14828
221.00/221.78 c #Conflicts: 262000 | #Constraints: 15828
221.00/221.78 c #Conflicts: 263000 | #Constraints: 16828
221.00/221.78 c #Conflicts: 264000 | #Constraints: 17828
221.00/221.78 c #Conflicts: 265000 | #Constraints: 18828
221.00/221.78 c #Conflicts: 266000 | #Constraints: 19828
221.00/221.78 c INPROCESSING
221.00/221.78 c GARBAGE COLLECT
221.00/221.78 c #Conflicts: 267000 | #Constraints: 10628
221.00/221.78 c #Conflicts: 268000 | #Constraints: 11628
221.00/221.78 c #Conflicts: 269000 | #Constraints: 12628
221.00/221.78 c #Conflicts: 270000 | #Constraints: 13628
221.00/221.78 c #Conflicts: 271000 | #Constraints: 14628
221.00/221.78 c #Conflicts: 272000 | #Constraints: 15628
221.00/221.78 c #Conflicts: 273000 | #Constraints: 16628
221.00/221.78 c #Conflicts: 274000 | #Constraints: 17628
221.00/221.78 c #Conflicts: 275000 | #Constraints: 18628
221.00/221.78 c #Conflicts: 276000 | #Constraints: 19628
221.00/221.78 c #Conflicts: 277000 | #Constraints: 20628
221.00/221.78 c INPROCESSING
221.00/221.78 c GARBAGE COLLECT
221.00/221.78 c #Conflicts: 278000 | #Constraints: 11225
221.00/221.78 c #Conflicts: 279000 | #Constraints: 12225
221.00/221.78 c #Conflicts: 280000 | #Constraints: 13225
221.00/221.78 c #Conflicts: 281000 | #Constraints: 14225
221.00/221.78 c #Conflicts: 282000 | #Constraints: 15225
221.00/221.78 c #Conflicts: 283000 | #Constraints: 16225
221.00/221.78 c #Conflicts: 284000 | #Constraints: 17225
221.00/221.78 c #Conflicts: 285000 | #Constraints: 18225
221.00/221.78 c #Conflicts: 286000 | #Constraints: 19225
221.00/221.78 c #Conflicts: 287000 | #Constraints: 20225
312.39/313.41 c #Conflicts: 288000 | #Constraints: 21225
312.39/313.41 c INPROCESSING
312.39/313.41 c GARBAGE COLLECT
312.39/313.41 c #Conflicts: 289000 | #Constraints: 11626
312.39/313.41 c #Conflicts: 290000 | #Constraints: 12626
312.39/313.41 c #Conflicts: 291000 | #Constraints: 13626
312.39/313.41 c #Conflicts: 292000 | #Constraints: 14626
312.39/313.41 c #Conflicts: 293000 | #Constraints: 15626
312.39/313.41 c #Conflicts: 294000 | #Constraints: 16626
312.39/313.41 c #Conflicts: 295000 | #Constraints: 17626
312.39/313.41 c #Conflicts: 296000 | #Constraints: 18626
312.39/313.41 c #Conflicts: 297000 | #Constraints: 19626
312.39/313.41 c #Conflicts: 298000 | #Constraints: 20626
312.39/313.41 c #Conflicts: 299000 | #Constraints: 21626
312.39/313.41 c INPROCESSING
312.39/313.41 c GARBAGE COLLECT
312.39/313.41 c #Conflicts: 300000 | #Constraints: 11824
312.39/313.41 c #Conflicts: 301000 | #Constraints: 12824
312.39/313.41 c #Conflicts: 302000 | #Constraints: 13824
312.39/313.41 c #Conflicts: 303000 | #Constraints: 14824
312.39/313.41 c #Conflicts: 304000 | #Constraints: 15824
312.39/313.41 c #Conflicts: 305000 | #Constraints: 16824
312.39/313.41 c #Conflicts: 306000 | #Constraints: 17824
312.39/313.41 c #Conflicts: 307000 | #Constraints: 18824
312.39/313.41 c #Conflicts: 308000 | #Constraints: 19824
312.39/313.41 c #Conflicts: 309000 | #Constraints: 20824
312.39/313.41 c #Conflicts: 310000 | #Constraints: 21824
312.39/313.41 c INPROCESSING
312.39/313.41 c GARBAGE COLLECT
312.39/313.41 c #Conflicts: 311000 | #Constraints: 11825
312.39/313.41 c #Conflicts: 312000 | #Constraints: 12825
312.39/313.41 c #Conflicts: 313000 | #Constraints: 13825
312.39/313.41 c #Conflicts: 314000 | #Constraints: 14825
312.39/313.41 c #Conflicts: 315000 | #Constraints: 15825
312.39/313.41 c #Conflicts: 316000 | #Constraints: 16825
312.39/313.41 c #Conflicts: 317000 | #Constraints: 17825
312.39/313.41 c #Conflicts: 318000 | #Constraints: 18825
312.39/313.41 c #Conflicts: 319000 | #Constraints: 19825
312.39/313.41 c #Conflicts: 320000 | #Constraints: 20825
312.39/313.41 c #Conflicts: 321000 | #Constraints: 21825
312.39/313.41 c INPROCESSING
312.39/313.41 c GARBAGE COLLECT
312.39/313.41 c #Conflicts: 322000 | #Constraints: 11626
312.39/313.41 c #Conflicts: 323000 | #Constraints: 12626
312.39/313.41 c #Conflicts: 324000 | #Constraints: 13626
312.39/313.41 c #Conflicts: 325000 | #Constraints: 14626
312.39/313.41 c #Conflicts: 326000 | #Constraints: 15626
312.39/313.41 c #Conflicts: 327000 | #Constraints: 16626
312.39/313.41 c #Conflicts: 328000 | #Constraints: 17626
312.39/313.41 c #Conflicts: 329000 | #Constraints: 18626
312.39/313.41 c #Conflicts: 330000 | #Constraints: 19626
312.39/313.41 c #Conflicts: 331000 | #Constraints: 20626
312.39/313.41 c #Conflicts: 332000 | #Constraints: 21626
312.39/313.41 c #Conflicts: 333000 | #Constraints: 22626
312.39/313.41 c INPROCESSING
312.39/313.41 c GARBAGE COLLECT
312.39/313.41 c #Conflicts: 334000 | #Constraints: 12225
312.39/313.41 c #Conflicts: 335000 | #Constraints: 13225
312.39/313.41 c #Conflicts: 336000 | #Constraints: 14225
312.39/313.41 c #Conflicts: 337000 | #Constraints: 15225
312.39/313.41 c #Conflicts: 338000 | #Constraints: 16225
312.39/313.41 c #Conflicts: 339000 | #Constraints: 17225
312.39/313.41 c #Conflicts: 340000 | #Constraints: 18225
312.39/313.41 c #Conflicts: 341000 | #Constraints: 19225
312.39/313.41 c #Conflicts: 342000 | #Constraints: 20225
312.39/313.41 c #Conflicts: 343000 | #Constraints: 21225
312.39/313.41 c #Conflicts: 344000 | #Constraints: 22225
312.39/313.41 c #Conflicts: 345000 | #Constraints: 23225
312.39/313.41 c INPROCESSING
312.39/313.41 c GARBAGE COLLECT
312.39/313.41 c #Conflicts: 346000 | #Constraints: 12627
312.39/313.41 c #Conflicts: 347000 | #Constraints: 13627
312.39/313.41 c #Conflicts: 348000 | #Constraints: 14627
312.39/313.41 c #Conflicts: 349000 | #Constraints: 15627
312.39/313.41 c #Conflicts: 350000 | #Constraints: 16627
312.39/313.41 c #Conflicts: 351000 | #Constraints: 17627
312.39/313.41 c #Conflicts: 352000 | #Constraints: 18627
312.39/313.41 c #Conflicts: 353000 | #Constraints: 19627
312.39/313.41 c #Conflicts: 354000 | #Constraints: 20627
312.39/313.41 c #Conflicts: 355000 | #Constraints: 21627
312.39/313.41 c #Conflicts: 356000 | #Constraints: 22627
312.39/313.41 c #Conflicts: 357000 | #Constraints: 23627
312.39/313.41 c INPROCESSING
312.39/313.41 c GARBAGE COLLECT
312.39/313.41 c #Conflicts: 358000 | #Constraints: 12827
312.39/313.41 c #Conflicts: 359000 | #Constraints: 13827
312.39/313.41 c #Conflicts: 360000 | #Constraints: 14827
312.39/313.41 c #Conflicts: 361000 | #Constraints: 15827
406.87/408.24 c #Conflicts: 362000 | #Constraints: 16827
406.87/408.24 c #Conflicts: 363000 | #Constraints: 17827
406.87/408.24 c #Conflicts: 364000 | #Constraints: 18827
406.87/408.24 c #Conflicts: 365000 | #Constraints: 19827
406.87/408.24 c #Conflicts: 366000 | #Constraints: 20827
406.87/408.24 c #Conflicts: 367000 | #Constraints: 21827
406.87/408.24 c #Conflicts: 368000 | #Constraints: 22827
406.87/408.24 c #Conflicts: 369000 | #Constraints: 23827
406.87/408.24 c INPROCESSING
406.87/408.24 c GARBAGE COLLECT
406.87/408.24 c #Conflicts: 370000 | #Constraints: 12828
406.87/408.24 c #Conflicts: 371000 | #Constraints: 13828
406.87/408.24 c #Conflicts: 372000 | #Constraints: 14828
406.87/408.24 c #Conflicts: 373000 | #Constraints: 15828
406.87/408.24 c #Conflicts: 374000 | #Constraints: 16828
406.87/408.24 c #Conflicts: 375000 | #Constraints: 17828
406.87/408.24 c #Conflicts: 376000 | #Constraints: 18828
406.87/408.24 c #Conflicts: 377000 | #Constraints: 19828
406.87/408.24 c #Conflicts: 378000 | #Constraints: 20828
406.87/408.24 c #Conflicts: 379000 | #Constraints: 21828
406.87/408.24 c #Conflicts: 380000 | #Constraints: 22828
406.87/408.24 c #Conflicts: 381000 | #Constraints: 23828
406.87/408.24 c INPROCESSING
406.87/408.24 c GARBAGE COLLECT
406.87/408.24 c #Conflicts: 382000 | #Constraints: 12626
406.87/408.24 c #Conflicts: 383000 | #Constraints: 13626
406.87/408.24 c #Conflicts: 384000 | #Constraints: 14626
406.87/408.24 c #Conflicts: 385000 | #Constraints: 15626
406.87/408.24 c #Conflicts: 386000 | #Constraints: 16626
406.87/408.24 c #Conflicts: 387000 | #Constraints: 17626
406.87/408.24 c #Conflicts: 388000 | #Constraints: 18626
406.87/408.24 c #Conflicts: 389000 | #Constraints: 19626
406.87/408.24 c #Conflicts: 390000 | #Constraints: 20626
406.87/408.24 c #Conflicts: 391000 | #Constraints: 21626
406.87/408.24 c #Conflicts: 392000 | #Constraints: 22626
406.87/408.24 c #Conflicts: 393000 | #Constraints: 23626
406.87/408.24 c #Conflicts: 394000 | #Constraints: 24626
406.87/408.24 c INPROCESSING
406.87/408.24 c GARBAGE COLLECT
406.87/408.24 c #Conflicts: 395000 | #Constraints: 13228
406.87/408.24 c #Conflicts: 396000 | #Constraints: 14228
406.87/408.24 c #Conflicts: 397000 | #Constraints: 15228
406.87/408.24 c #Conflicts: 398000 | #Constraints: 16228
406.87/408.24 c #Conflicts: 399000 | #Constraints: 17228
406.87/408.24 c #Conflicts: 400000 | #Constraints: 18228
406.87/408.24 c #Conflicts: 401000 | #Constraints: 19228
406.87/408.24 c #Conflicts: 402000 | #Constraints: 20228
406.87/408.24 c #Conflicts: 403000 | #Constraints: 21228
406.87/408.24 c #Conflicts: 404000 | #Constraints: 22228
406.87/408.24 c #Conflicts: 405000 | #Constraints: 23228
406.87/408.24 c #Conflicts: 406000 | #Constraints: 24228
406.87/408.24 c #Conflicts: 407000 | #Constraints: 25228
406.87/408.24 c INPROCESSING
406.87/408.24 c GARBAGE COLLECT
406.87/408.24 c #Conflicts: 408000 | #Constraints: 13626
406.87/408.24 c #Conflicts: 409000 | #Constraints: 14626
406.87/408.24 c #Conflicts: 410000 | #Constraints: 15626
406.87/408.24 c #Conflicts: 411000 | #Constraints: 16626
406.87/408.24 c #Conflicts: 412000 | #Constraints: 17626
406.87/408.24 c #Conflicts: 413000 | #Constraints: 18626
406.87/408.24 c #Conflicts: 414000 | #Constraints: 19626
406.87/408.24 c #Conflicts: 415000 | #Constraints: 20626
406.87/408.24 c #Conflicts: 416000 | #Constraints: 21626
406.87/408.24 c #Conflicts: 417000 | #Constraints: 22626
406.87/408.24 c #Conflicts: 418000 | #Constraints: 23626
406.87/408.24 c #Conflicts: 419000 | #Constraints: 24626
406.87/408.24 c #Conflicts: 420000 | #Constraints: 25626
406.87/408.24 c INPROCESSING
406.87/408.24 c GARBAGE COLLECT
406.87/408.24 c #Conflicts: 421000 | #Constraints: 13828
406.87/408.24 c #Conflicts: 422000 | #Constraints: 14828
406.87/408.24 c #Conflicts: 423000 | #Constraints: 15828
406.87/408.24 c #Conflicts: 424000 | #Constraints: 16828
406.87/408.24 c #Conflicts: 425000 | #Constraints: 17828
406.87/408.24 c #Conflicts: 426000 | #Constraints: 18828
406.87/408.24 c #Conflicts: 427000 | #Constraints: 19828
406.87/408.24 c #Conflicts: 428000 | #Constraints: 20828
406.87/408.24 c #Conflicts: 429000 | #Constraints: 21828
406.87/408.24 c #Conflicts: 430000 | #Constraints: 22828
406.87/408.24 c #Conflicts: 431000 | #Constraints: 23828
406.87/408.24 c #Conflicts: 432000 | #Constraints: 24828
406.87/408.24 c #Conflicts: 433000 | #Constraints: 25828
406.87/408.24 c INPROCESSING
406.87/408.24 c GARBAGE COLLECT
406.87/408.24 c #Conflicts: 434000 | #Constraints: 13828
406.87/408.24 c #Conflicts: 435000 | #Constraints: 14828
406.87/408.24 c #Conflicts: 436000 | #Constraints: 15828
535.33/537.10 c #Conflicts: 437000 | #Constraints: 16828
535.33/537.10 c #Conflicts: 438000 | #Constraints: 17828
535.33/537.10 c #Conflicts: 439000 | #Constraints: 18828
535.33/537.10 c #Conflicts: 440000 | #Constraints: 19828
535.33/537.10 c #Conflicts: 441000 | #Constraints: 20828
535.33/537.10 c #Conflicts: 442000 | #Constraints: 21828
535.33/537.10 c #Conflicts: 443000 | #Constraints: 22828
535.33/537.10 c #Conflicts: 444000 | #Constraints: 23828
535.33/537.10 c #Conflicts: 445000 | #Constraints: 24828
535.33/537.10 c #Conflicts: 446000 | #Constraints: 25828
535.33/537.10 c INPROCESSING
535.33/537.10 c GARBAGE COLLECT
535.33/537.10 c #Conflicts: 447000 | #Constraints: 13628
535.33/537.10 c #Conflicts: 448000 | #Constraints: 14628
535.33/537.10 c #Conflicts: 449000 | #Constraints: 15628
535.33/537.10 c #Conflicts: 450000 | #Constraints: 16628
535.33/537.10 c #Conflicts: 451000 | #Constraints: 17628
535.33/537.10 c #Conflicts: 452000 | #Constraints: 18628
535.33/537.10 c #Conflicts: 453000 | #Constraints: 19628
535.33/537.10 c #Conflicts: 454000 | #Constraints: 20628
535.33/537.10 c #Conflicts: 455000 | #Constraints: 21628
535.33/537.10 c #Conflicts: 456000 | #Constraints: 22628
535.33/537.10 c #Conflicts: 457000 | #Constraints: 23628
535.33/537.10 c #Conflicts: 458000 | #Constraints: 24628
535.33/537.10 c #Conflicts: 459000 | #Constraints: 25628
535.33/537.10 c #Conflicts: 460000 | #Constraints: 26628
535.33/537.10 c INPROCESSING
535.33/537.10 c GARBAGE COLLECT
535.33/537.10 c #Conflicts: 461000 | #Constraints: 14230
535.33/537.10 c #Conflicts: 462000 | #Constraints: 15230
535.33/537.10 c #Conflicts: 463000 | #Constraints: 16230
535.33/537.10 c #Conflicts: 464000 | #Constraints: 17230
535.33/537.10 c #Conflicts: 465000 | #Constraints: 18230
535.33/537.10 c #Conflicts: 466000 | #Constraints: 19230
535.33/537.10 c #Conflicts: 467000 | #Constraints: 20230
535.33/537.10 c #Conflicts: 468000 | #Constraints: 21230
535.33/537.10 c #Conflicts: 469000 | #Constraints: 22230
535.33/537.10 c #Conflicts: 470000 | #Constraints: 23230
535.33/537.10 c #Conflicts: 471000 | #Constraints: 24230
535.33/537.10 c #Conflicts: 472000 | #Constraints: 25230
535.33/537.10 c #Conflicts: 473000 | #Constraints: 26230
535.33/537.10 c #Conflicts: 474000 | #Constraints: 27230
535.33/537.10 c INPROCESSING
535.33/537.10 c GARBAGE COLLECT
535.33/537.10 c #Conflicts: 475000 | #Constraints: 14629
535.33/537.10 c #Conflicts: 476000 | #Constraints: 15629
535.33/537.10 c #Conflicts: 477000 | #Constraints: 16629
535.33/537.10 c #Conflicts: 478000 | #Constraints: 17629
535.33/537.10 c #Conflicts: 479000 | #Constraints: 18629
535.33/537.10 c #Conflicts: 480000 | #Constraints: 19629
535.33/537.10 c #Conflicts: 481000 | #Constraints: 20629
535.33/537.10 c #Conflicts: 482000 | #Constraints: 21629
535.33/537.10 c #Conflicts: 483000 | #Constraints: 22629
535.33/537.10 c #Conflicts: 484000 | #Constraints: 23629
535.33/537.10 c #Conflicts: 485000 | #Constraints: 24629
535.33/537.10 c #Conflicts: 486000 | #Constraints: 25629
535.33/537.10 c #Conflicts: 487000 | #Constraints: 26629
535.33/537.10 c #Conflicts: 488000 | #Constraints: 27629
535.33/537.10 c INPROCESSING
535.33/537.10 c GARBAGE COLLECT
535.33/537.10 c #Conflicts: 489000 | #Constraints: 14829
535.33/537.10 c #Conflicts: 490000 | #Constraints: 15829
535.33/537.10 c #Conflicts: 491000 | #Constraints: 16829
535.33/537.10 c #Conflicts: 492000 | #Constraints: 17829
535.33/537.10 c #Conflicts: 493000 | #Constraints: 18829
535.33/537.10 c #Conflicts: 494000 | #Constraints: 19829
535.33/537.10 c #Conflicts: 495000 | #Constraints: 20829
535.33/537.10 c #Conflicts: 496000 | #Constraints: 21829
535.33/537.10 c #Conflicts: 497000 | #Constraints: 22829
535.33/537.10 c #Conflicts: 498000 | #Constraints: 23829
535.33/537.10 c #Conflicts: 499000 | #Constraints: 24829
535.33/537.10 c #Conflicts: 500000 | #Constraints: 25829
535.33/537.10 c #Conflicts: 501000 | #Constraints: 26829
535.33/537.10 c #Conflicts: 502000 | #Constraints: 27829
535.33/537.10 c INPROCESSING
535.33/537.10 c GARBAGE COLLECT
535.33/537.10 c #Conflicts: 503000 | #Constraints: 14830
535.33/537.10 c #Conflicts: 504000 | #Constraints: 15830
535.33/537.10 c #Conflicts: 505000 | #Constraints: 16830
535.33/537.10 c #Conflicts: 506000 | #Constraints: 17830
535.33/537.10 c #Conflicts: 507000 | #Constraints: 18830
535.33/537.10 c #Conflicts: 508000 | #Constraints: 19830
535.33/537.10 c #Conflicts: 509000 | #Constraints: 20830
535.33/537.10 c #Conflicts: 510000 | #Constraints: 21830
535.33/537.10 c #Conflicts: 511000 | #Constraints: 22830
535.33/537.10 c #Conflicts: 512000 | #Constraints: 23830
644.44/646.66 c #Conflicts: 513000 | #Constraints: 24830
644.44/646.66 c #Conflicts: 514000 | #Constraints: 25830
644.44/646.66 c #Conflicts: 515000 | #Constraints: 26830
644.44/646.66 c #Conflicts: 516000 | #Constraints: 27830
644.44/646.66 c INPROCESSING
644.44/646.66 c GARBAGE COLLECT
644.44/646.66 c #Conflicts: 517000 | #Constraints: 14629
644.44/646.66 c #Conflicts: 518000 | #Constraints: 15629
644.44/646.66 c #Conflicts: 519000 | #Constraints: 16629
644.44/646.66 c #Conflicts: 520000 | #Constraints: 17629
644.44/646.66 c #Conflicts: 521000 | #Constraints: 18629
644.44/646.66 c #Conflicts: 522000 | #Constraints: 19629
644.44/646.66 c #Conflicts: 523000 | #Constraints: 20629
644.44/646.66 c #Conflicts: 524000 | #Constraints: 21629
644.44/646.66 c #Conflicts: 525000 | #Constraints: 22629
644.44/646.66 c #Conflicts: 526000 | #Constraints: 23629
644.44/646.66 c #Conflicts: 527000 | #Constraints: 24629
644.44/646.66 c #Conflicts: 528000 | #Constraints: 25629
644.44/646.66 c #Conflicts: 529000 | #Constraints: 26629
644.44/646.66 c #Conflicts: 530000 | #Constraints: 27629
644.44/646.66 c #Conflicts: 531000 | #Constraints: 28629
644.44/646.66 c INPROCESSING
644.44/646.66 c GARBAGE COLLECT
644.44/646.66 c #Conflicts: 532000 | #Constraints: 15229
644.44/646.66 c #Conflicts: 533000 | #Constraints: 16229
644.44/646.66 c #Conflicts: 534000 | #Constraints: 17229
644.44/646.66 c #Conflicts: 535000 | #Constraints: 18229
644.44/646.66 c #Conflicts: 536000 | #Constraints: 19229
644.44/646.66 c #Conflicts: 537000 | #Constraints: 20229
644.44/646.66 c #Conflicts: 538000 | #Constraints: 21229
644.44/646.66 c #Conflicts: 539000 | #Constraints: 22229
644.44/646.66 c #Conflicts: 540000 | #Constraints: 23229
644.44/646.66 c #Conflicts: 541000 | #Constraints: 24229
644.44/646.66 c #Conflicts: 542000 | #Constraints: 25229
644.44/646.66 c #Conflicts: 543000 | #Constraints: 26229
644.44/646.66 c #Conflicts: 544000 | #Constraints: 27229
644.44/646.66 c #Conflicts: 545000 | #Constraints: 28229
644.44/646.66 c #Conflicts: 546000 | #Constraints: 29229
644.44/646.66 c INPROCESSING
644.44/646.66 c GARBAGE COLLECT
644.44/646.66 c #Conflicts: 547000 | #Constraints: 15628
644.44/646.66 c #Conflicts: 548000 | #Constraints: 16628
644.44/646.66 c #Conflicts: 549000 | #Constraints: 17628
644.44/646.66 c #Conflicts: 550000 | #Constraints: 18628
644.44/646.66 c #Conflicts: 551000 | #Constraints: 19628
644.44/646.66 c #Conflicts: 552000 | #Constraints: 20628
644.44/646.66 c #Conflicts: 553000 | #Constraints: 21628
644.44/646.66 c #Conflicts: 554000 | #Constraints: 22628
644.44/646.66 c #Conflicts: 555000 | #Constraints: 23628
644.44/646.66 c #Conflicts: 556000 | #Constraints: 24628
644.44/646.66 c #Conflicts: 557000 | #Constraints: 25628
644.44/646.66 c #Conflicts: 558000 | #Constraints: 26628
644.44/646.66 c #Conflicts: 559000 | #Constraints: 27628
644.44/646.66 c #Conflicts: 560000 | #Constraints: 28628
644.44/646.66 c #Conflicts: 561000 | #Constraints: 29628
644.44/646.66 c INPROCESSING
644.44/646.66 c GARBAGE COLLECT
644.44/646.66 c #Conflicts: 562000 | #Constraints: 15825
644.44/646.66 c #Conflicts: 563000 | #Constraints: 16825
644.44/646.66 c #Conflicts: 564000 | #Constraints: 17825
644.44/646.66 c #Conflicts: 565000 | #Constraints: 18825
644.44/646.66 c #Conflicts: 566000 | #Constraints: 19825
644.44/646.66 c #Conflicts: 567000 | #Constraints: 20825
644.44/646.66 c #Conflicts: 568000 | #Constraints: 21825
644.44/646.66 c #Conflicts: 569000 | #Constraints: 22825
644.44/646.66 c #Conflicts: 570000 | #Constraints: 23825
644.44/646.66 c #Conflicts: 571000 | #Constraints: 24825
644.44/646.66 c #Conflicts: 572000 | #Constraints: 25825
644.44/646.66 c #Conflicts: 573000 | #Constraints: 26825
644.44/646.66 c #Conflicts: 574000 | #Constraints: 27825
644.44/646.66 c #Conflicts: 575000 | #Constraints: 28825
644.44/646.66 c #Conflicts: 576000 | #Constraints: 29825
644.44/646.66 c INPROCESSING
644.44/646.66 c GARBAGE COLLECT
644.44/646.66 c #Conflicts: 577000 | #Constraints: 15827
644.44/646.66 c #Conflicts: 578000 | #Constraints: 16827
644.44/646.66 c #Conflicts: 579000 | #Constraints: 17827
644.44/646.66 c #Conflicts: 580000 | #Constraints: 18827
644.44/646.66 c #Conflicts: 581000 | #Constraints: 19827
644.44/646.66 c #Conflicts: 582000 | #Constraints: 20827
644.44/646.66 c #Conflicts: 583000 | #Constraints: 21827
644.44/646.66 c #Conflicts: 584000 | #Constraints: 22827
644.44/646.66 c #Conflicts: 585000 | #Constraints: 23827
644.44/646.66 c #Conflicts: 586000 | #Constraints: 24827
644.44/646.66 c #Conflicts: 587000 | #Constraints: 25827
644.44/646.66 c #Conflicts: 588000 | #Constraints: 26827
759.25/761.81 c #Conflicts: 589000 | #Constraints: 27827
759.25/761.81 c #Conflicts: 590000 | #Constraints: 28827
759.25/761.81 c #Conflicts: 591000 | #Constraints: 29827
759.25/761.81 c INPROCESSING
759.25/761.81 c GARBAGE COLLECT
759.25/761.81 c #Conflicts: 592000 | #Constraints: 15626
759.25/761.81 c #Conflicts: 593000 | #Constraints: 16626
759.25/761.81 c #Conflicts: 594000 | #Constraints: 17626
759.25/761.81 c #Conflicts: 595000 | #Constraints: 18626
759.25/761.81 c #Conflicts: 596000 | #Constraints: 19626
759.25/761.81 c #Conflicts: 597000 | #Constraints: 20626
759.25/761.81 c #Conflicts: 598000 | #Constraints: 21626
759.25/761.81 c #Conflicts: 599000 | #Constraints: 22626
759.25/761.81 c #Conflicts: 600000 | #Constraints: 23626
759.25/761.81 c #Conflicts: 601000 | #Constraints: 24626
759.25/761.81 c #Conflicts: 602000 | #Constraints: 25626
759.25/761.81 c #Conflicts: 603000 | #Constraints: 26626
759.25/761.81 c #Conflicts: 604000 | #Constraints: 27626
759.25/761.81 c #Conflicts: 605000 | #Constraints: 28626
759.25/761.81 c #Conflicts: 606000 | #Constraints: 29626
759.25/761.81 c #Conflicts: 607000 | #Constraints: 30626
759.25/761.81 c INPROCESSING
759.25/761.81 c GARBAGE COLLECT
759.25/761.81 c #Conflicts: 608000 | #Constraints: 16228
759.25/761.81 c #Conflicts: 609000 | #Constraints: 17228
759.25/761.81 c #Conflicts: 610000 | #Constraints: 18228
759.25/761.81 c #Conflicts: 611000 | #Constraints: 19228
759.25/761.81 c #Conflicts: 612000 | #Constraints: 20228
759.25/761.81 c #Conflicts: 613000 | #Constraints: 21228
759.25/761.81 c #Conflicts: 614000 | #Constraints: 22228
759.25/761.81 c #Conflicts: 615000 | #Constraints: 23228
759.25/761.81 c #Conflicts: 616000 | #Constraints: 24228
759.25/761.81 c #Conflicts: 617000 | #Constraints: 25228
759.25/761.81 c #Conflicts: 618000 | #Constraints: 26228
759.25/761.81 c #Conflicts: 619000 | #Constraints: 27228
759.25/761.81 c #Conflicts: 620000 | #Constraints: 28228
759.25/761.81 c #Conflicts: 621000 | #Constraints: 29228
759.25/761.81 c #Conflicts: 622000 | #Constraints: 30228
759.25/761.81 c #Conflicts: 623000 | #Constraints: 31228
759.25/761.81 c INPROCESSING
759.25/761.81 c GARBAGE COLLECT
759.25/761.81 c #Conflicts: 624000 | #Constraints: 16628
759.25/761.81 c #Conflicts: 625000 | #Constraints: 17628
759.25/761.81 c #Conflicts: 626000 | #Constraints: 18628
759.25/761.81 c #Conflicts: 627000 | #Constraints: 19628
759.25/761.81 c #Conflicts: 628000 | #Constraints: 20628
759.25/761.81 c #Conflicts: 629000 | #Constraints: 21628
759.25/761.81 c #Conflicts: 630000 | #Constraints: 22628
759.25/761.81 c #Conflicts: 631000 | #Constraints: 23628
759.25/761.81 c #Conflicts: 632000 | #Constraints: 24628
759.25/761.81 c #Conflicts: 633000 | #Constraints: 25628
759.25/761.81 c #Conflicts: 634000 | #Constraints: 26628
759.25/761.81 c #Conflicts: 635000 | #Constraints: 27628
759.25/761.81 c #Conflicts: 636000 | #Constraints: 28628
759.25/761.81 c #Conflicts: 637000 | #Constraints: 29628
759.25/761.81 c #Conflicts: 638000 | #Constraints: 30628
759.25/761.81 c #Conflicts: 639000 | #Constraints: 31628
759.25/761.81 c INPROCESSING
759.25/761.81 c GARBAGE COLLECT
759.25/761.81 c #Conflicts: 640000 | #Constraints: 16827
759.25/761.81 c #Conflicts: 641000 | #Constraints: 17827
759.25/761.81 c #Conflicts: 642000 | #Constraints: 18827
759.25/761.81 c #Conflicts: 643000 | #Constraints: 19827
759.25/761.81 c #Conflicts: 644000 | #Constraints: 20827
759.25/761.81 c #Conflicts: 645000 | #Constraints: 21827
759.25/761.81 c #Conflicts: 646000 | #Constraints: 22827
759.25/761.81 c #Conflicts: 647000 | #Constraints: 23827
759.25/761.81 c #Conflicts: 648000 | #Constraints: 24827
759.25/761.81 c #Conflicts: 649000 | #Constraints: 25827
759.25/761.81 c #Conflicts: 650000 | #Constraints: 26827
759.25/761.81 c #Conflicts: 651000 | #Constraints: 27827
759.25/761.81 c #Conflicts: 652000 | #Constraints: 28827
759.25/761.81 c #Conflicts: 653000 | #Constraints: 29827
759.25/761.81 c #Conflicts: 654000 | #Constraints: 30827
759.25/761.81 c #Conflicts: 655000 | #Constraints: 31827
759.25/761.81 c INPROCESSING
759.25/761.81 c GARBAGE COLLECT
759.25/761.81 c #Conflicts: 656000 | #Constraints: 16827
759.25/761.81 c #Conflicts: 657000 | #Constraints: 17827
759.25/761.81 c #Conflicts: 658000 | #Constraints: 18827
759.25/761.81 c #Conflicts: 659000 | #Constraints: 19827
759.25/761.81 c #Conflicts: 660000 | #Constraints: 20827
759.25/761.81 c #Conflicts: 661000 | #Constraints: 21827
759.25/761.81 c #Conflicts: 662000 | #Constraints: 22827
759.25/761.81 c #Conflicts: 663000 | #Constraints: 23827
879.34/882.33 c #Conflicts: 664000 | #Constraints: 24827
879.34/882.33 c #Conflicts: 665000 | #Constraints: 25827
879.34/882.33 c #Conflicts: 666000 | #Constraints: 26827
879.34/882.33 c #Conflicts: 667000 | #Constraints: 27827
879.34/882.33 c #Conflicts: 668000 | #Constraints: 28827
879.34/882.33 c #Conflicts: 669000 | #Constraints: 29827
879.34/882.33 c #Conflicts: 670000 | #Constraints: 30827
879.34/882.33 c #Conflicts: 671000 | #Constraints: 31827
879.34/882.33 c INPROCESSING
879.34/882.33 c GARBAGE COLLECT
879.34/882.33 c #Conflicts: 672000 | #Constraints: 16624
879.34/882.33 c #Conflicts: 673000 | #Constraints: 17624
879.34/882.33 c #Conflicts: 674000 | #Constraints: 18624
879.34/882.33 c #Conflicts: 675000 | #Constraints: 19624
879.34/882.33 c #Conflicts: 676000 | #Constraints: 20624
879.34/882.33 c #Conflicts: 677000 | #Constraints: 21624
879.34/882.33 c #Conflicts: 678000 | #Constraints: 22624
879.34/882.33 c #Conflicts: 679000 | #Constraints: 23624
879.34/882.33 c #Conflicts: 680000 | #Constraints: 24624
879.34/882.33 c #Conflicts: 681000 | #Constraints: 25624
879.34/882.33 c #Conflicts: 682000 | #Constraints: 26624
879.34/882.33 c #Conflicts: 683000 | #Constraints: 27624
879.34/882.33 c #Conflicts: 684000 | #Constraints: 28624
879.34/882.33 c #Conflicts: 685000 | #Constraints: 29624
879.34/882.33 c #Conflicts: 686000 | #Constraints: 30624
879.34/882.33 c #Conflicts: 687000 | #Constraints: 31624
879.34/882.33 c #Conflicts: 688000 | #Constraints: 32624
879.34/882.33 c INPROCESSING
879.34/882.33 c GARBAGE COLLECT
879.34/882.33 c #Conflicts: 689000 | #Constraints: 17222
879.34/882.33 c #Conflicts: 690000 | #Constraints: 18222
879.34/882.33 c #Conflicts: 691000 | #Constraints: 19222
879.34/882.33 c #Conflicts: 692000 | #Constraints: 20222
879.34/882.33 c #Conflicts: 693000 | #Constraints: 21222
879.34/882.33 c #Conflicts: 694000 | #Constraints: 22222
879.34/882.33 c #Conflicts: 695000 | #Constraints: 23222
879.34/882.33 c #Conflicts: 696000 | #Constraints: 24222
879.34/882.33 c #Conflicts: 697000 | #Constraints: 25222
879.34/882.33 c #Conflicts: 698000 | #Constraints: 26222
879.34/882.33 c #Conflicts: 699000 | #Constraints: 27222
879.34/882.33 c #Conflicts: 700000 | #Constraints: 28222
879.34/882.33 c #Conflicts: 701000 | #Constraints: 29222
879.34/882.33 c #Conflicts: 702000 | #Constraints: 30222
879.34/882.33 c #Conflicts: 703000 | #Constraints: 31222
879.34/882.33 c #Conflicts: 704000 | #Constraints: 32222
879.34/882.33 c #Conflicts: 705000 | #Constraints: 33222
879.34/882.33 c INPROCESSING
879.34/882.33 c GARBAGE COLLECT
879.34/882.33 c #Conflicts: 706000 | #Constraints: 17625
879.34/882.33 c #Conflicts: 707000 | #Constraints: 18625
879.34/882.33 c #Conflicts: 708000 | #Constraints: 19625
879.34/882.33 c #Conflicts: 709000 | #Constraints: 20625
879.34/882.33 c #Conflicts: 710000 | #Constraints: 21625
879.34/882.33 c #Conflicts: 711000 | #Constraints: 22625
879.34/882.33 c #Conflicts: 712000 | #Constraints: 23625
879.34/882.33 c #Conflicts: 713000 | #Constraints: 24625
879.34/882.33 c #Conflicts: 714000 | #Constraints: 25625
879.34/882.33 c #Conflicts: 715000 | #Constraints: 26625
879.34/882.33 c #Conflicts: 716000 | #Constraints: 27625
879.34/882.33 c #Conflicts: 717000 | #Constraints: 28625
879.34/882.33 c #Conflicts: 718000 | #Constraints: 29625
879.34/882.33 c #Conflicts: 719000 | #Constraints: 30625
879.34/882.33 c #Conflicts: 720000 | #Constraints: 31625
879.34/882.33 c #Conflicts: 721000 | #Constraints: 32625
879.34/882.33 c #Conflicts: 722000 | #Constraints: 33625
879.34/882.33 c INPROCESSING
879.34/882.33 c GARBAGE COLLECT
879.34/882.33 c #Conflicts: 723000 | #Constraints: 17828
879.34/882.33 c #Conflicts: 724000 | #Constraints: 18828
879.34/882.33 c #Conflicts: 725000 | #Constraints: 19828
879.34/882.33 c #Conflicts: 726000 | #Constraints: 20828
879.34/882.33 c #Conflicts: 727000 | #Constraints: 21828
879.34/882.33 c #Conflicts: 728000 | #Constraints: 22828
879.34/882.33 c #Conflicts: 729000 | #Constraints: 23828
879.34/882.33 c #Conflicts: 730000 | #Constraints: 24828
879.34/882.33 c #Conflicts: 731000 | #Constraints: 25828
879.34/882.33 c #Conflicts: 732000 | #Constraints: 26828
879.34/882.33 c #Conflicts: 733000 | #Constraints: 27828
879.34/882.33 c #Conflicts: 734000 | #Constraints: 28828
879.34/882.33 c #Conflicts: 735000 | #Constraints: 29828
879.34/882.33 c #Conflicts: 736000 | #Constraints: 30828
879.34/882.33 c #Conflicts: 737000 | #Constraints: 31828
879.34/882.33 c #Conflicts: 738000 | #Constraints: 32828
879.34/882.33 c #Conflicts: 739000 | #Constraints: 33828
1010.86/1014.32 c INPROCESSING
1010.86/1014.32 c GARBAGE COLLECT
1010.86/1014.32 c #Conflicts: 740000 | #Constraints: 17829
1010.86/1014.32 c #Conflicts: 741000 | #Constraints: 18829
1010.86/1014.32 c #Conflicts: 742000 | #Constraints: 19829
1010.86/1014.32 c #Conflicts: 743000 | #Constraints: 20829
1010.86/1014.32 c #Conflicts: 744000 | #Constraints: 21829
1010.86/1014.32 c #Conflicts: 745000 | #Constraints: 22829
1010.86/1014.32 c #Conflicts: 746000 | #Constraints: 23829
1010.86/1014.32 c #Conflicts: 747000 | #Constraints: 24829
1010.86/1014.32 c #Conflicts: 748000 | #Constraints: 25829
1010.86/1014.32 c #Conflicts: 749000 | #Constraints: 26829
1010.86/1014.32 c #Conflicts: 750000 | #Constraints: 27829
1010.86/1014.32 c #Conflicts: 751000 | #Constraints: 28829
1010.86/1014.32 c #Conflicts: 752000 | #Constraints: 29829
1010.86/1014.32 c #Conflicts: 753000 | #Constraints: 30829
1010.86/1014.32 c #Conflicts: 754000 | #Constraints: 31829
1010.86/1014.32 c #Conflicts: 755000 | #Constraints: 32829
1010.86/1014.32 c #Conflicts: 756000 | #Constraints: 33829
1010.86/1014.32 c INPROCESSING
1010.86/1014.32 c GARBAGE COLLECT
1010.86/1014.32 c #Conflicts: 757000 | #Constraints: 17625
1010.86/1014.32 c #Conflicts: 758000 | #Constraints: 18625
1010.86/1014.32 c #Conflicts: 759000 | #Constraints: 19625
1010.86/1014.32 c #Conflicts: 760000 | #Constraints: 20625
1010.86/1014.32 c #Conflicts: 761000 | #Constraints: 21625
1010.86/1014.32 c #Conflicts: 762000 | #Constraints: 22625
1010.86/1014.32 c #Conflicts: 763000 | #Constraints: 23625
1010.86/1014.32 c #Conflicts: 764000 | #Constraints: 24625
1010.86/1014.32 c #Conflicts: 765000 | #Constraints: 25625
1010.86/1014.32 c #Conflicts: 766000 | #Constraints: 26625
1010.86/1014.32 c #Conflicts: 767000 | #Constraints: 27625
1010.86/1014.32 c #Conflicts: 768000 | #Constraints: 28625
1010.86/1014.32 c #Conflicts: 769000 | #Constraints: 29625
1010.86/1014.32 c #Conflicts: 770000 | #Constraints: 30625
1010.86/1014.32 c #Conflicts: 771000 | #Constraints: 31625
1010.86/1014.32 c #Conflicts: 772000 | #Constraints: 32625
1010.86/1014.32 c #Conflicts: 773000 | #Constraints: 33625
1010.86/1014.32 c #Conflicts: 774000 | #Constraints: 34625
1010.86/1014.32 c INPROCESSING
1010.86/1014.32 c GARBAGE COLLECT
1010.86/1014.32 c #Conflicts: 775000 | #Constraints: 18224
1010.86/1014.32 c #Conflicts: 776000 | #Constraints: 19224
1010.86/1014.32 c #Conflicts: 777000 | #Constraints: 20224
1010.86/1014.32 c #Conflicts: 778000 | #Constraints: 21224
1010.86/1014.32 c #Conflicts: 779000 | #Constraints: 22224
1010.86/1014.32 c #Conflicts: 780000 | #Constraints: 23224
1010.86/1014.32 c #Conflicts: 781000 | #Constraints: 24224
1010.86/1014.32 c #Conflicts: 782000 | #Constraints: 25224
1010.86/1014.32 c #Conflicts: 783000 | #Constraints: 26224
1010.86/1014.32 c #Conflicts: 784000 | #Constraints: 27224
1010.86/1014.32 c #Conflicts: 785000 | #Constraints: 28224
1010.86/1014.32 c #Conflicts: 786000 | #Constraints: 29224
1010.86/1014.32 c #Conflicts: 787000 | #Constraints: 30224
1010.86/1014.32 c #Conflicts: 788000 | #Constraints: 31224
1010.86/1014.32 c #Conflicts: 789000 | #Constraints: 32224
1010.86/1014.32 c #Conflicts: 790000 | #Constraints: 33224
1010.86/1014.32 c #Conflicts: 791000 | #Constraints: 34224
1010.86/1014.32 c #Conflicts: 792000 | #Constraints: 35224
1010.86/1014.32 c INPROCESSING
1010.86/1014.32 c GARBAGE COLLECT
1010.86/1014.32 c #Conflicts: 793000 | #Constraints: 18627
1010.86/1014.32 c #Conflicts: 794000 | #Constraints: 19627
1010.86/1014.32 c #Conflicts: 795000 | #Constraints: 20627
1010.86/1014.32 c #Conflicts: 796000 | #Constraints: 21627
1010.86/1014.32 c #Conflicts: 797000 | #Constraints: 22627
1010.86/1014.32 c #Conflicts: 798000 | #Constraints: 23627
1010.86/1014.32 c #Conflicts: 799000 | #Constraints: 24627
1010.86/1014.32 c #Conflicts: 800000 | #Constraints: 25627
1010.86/1014.32 c #Conflicts: 801000 | #Constraints: 26627
1010.86/1014.32 c #Conflicts: 802000 | #Constraints: 27627
1010.86/1014.32 c #Conflicts: 803000 | #Constraints: 28627
1010.86/1014.32 c #Conflicts: 804000 | #Constraints: 29627
1010.86/1014.32 c #Conflicts: 805000 | #Constraints: 30627
1010.86/1014.32 c #Conflicts: 806000 | #Constraints: 31627
1010.86/1014.32 c #Conflicts: 807000 | #Constraints: 32627
1010.86/1014.32 c #Conflicts: 808000 | #Constraints: 33627
1010.86/1014.32 c #Conflicts: 809000 | #Constraints: 34627
1010.86/1014.32 c #Conflicts: 810000 | #Constraints: 35627
1010.86/1014.32 c INPROCESSING
1010.86/1014.32 c GARBAGE COLLECT
1010.86/1014.32 c #Conflicts: 811000 | #Constraints: 18825
1010.86/1014.32 c #Conflicts: 812000 | #Constraints: 19825
1010.86/1014.32 c #Conflicts: 813000 | #Constraints: 20825
1010.86/1014.32 c #Conflicts: 814000 | #Constraints: 21825
1010.86/1014.32 c #Conflicts: 815000 | #Constraints: 22825
1158.11/1162.13 c #Conflicts: 816000 | #Constraints: 23825
1158.11/1162.13 c #Conflicts: 817000 | #Constraints: 24825
1158.11/1162.13 c #Conflicts: 818000 | #Constraints: 25825
1158.11/1162.13 c #Conflicts: 819000 | #Constraints: 26825
1158.11/1162.13 c #Conflicts: 820000 | #Constraints: 27825
1158.11/1162.13 c #Conflicts: 821000 | #Constraints: 28825
1158.11/1162.13 c #Conflicts: 822000 | #Constraints: 29825
1158.11/1162.13 c #Conflicts: 823000 | #Constraints: 30825
1158.11/1162.13 c #Conflicts: 824000 | #Constraints: 31825
1158.11/1162.13 c #Conflicts: 825000 | #Constraints: 32825
1158.11/1162.13 c #Conflicts: 826000 | #Constraints: 33825
1158.11/1162.13 c #Conflicts: 827000 | #Constraints: 34825
1158.11/1162.13 c #Conflicts: 828000 | #Constraints: 35825
1158.11/1162.13 c INPROCESSING
1158.11/1162.13 c GARBAGE COLLECT
1158.11/1162.13 c #Conflicts: 829000 | #Constraints: 18828
1158.11/1162.13 c #Conflicts: 830000 | #Constraints: 19828
1158.11/1162.13 c #Conflicts: 831000 | #Constraints: 20828
1158.11/1162.13 c #Conflicts: 832000 | #Constraints: 21828
1158.11/1162.13 c #Conflicts: 833000 | #Constraints: 22828
1158.11/1162.13 c #Conflicts: 834000 | #Constraints: 23828
1158.11/1162.13 c #Conflicts: 835000 | #Constraints: 24828
1158.11/1162.13 c #Conflicts: 836000 | #Constraints: 25828
1158.11/1162.13 c #Conflicts: 837000 | #Constraints: 26828
1158.11/1162.13 c #Conflicts: 838000 | #Constraints: 27828
1158.11/1162.13 c #Conflicts: 839000 | #Constraints: 28828
1158.11/1162.13 c #Conflicts: 840000 | #Constraints: 29828
1158.11/1162.13 c #Conflicts: 841000 | #Constraints: 30828
1158.11/1162.13 c #Conflicts: 842000 | #Constraints: 31828
1158.11/1162.13 c #Conflicts: 843000 | #Constraints: 32828
1158.11/1162.13 c #Conflicts: 844000 | #Constraints: 33828
1158.11/1162.13 c #Conflicts: 845000 | #Constraints: 34828
1158.11/1162.13 c #Conflicts: 846000 | #Constraints: 35828
1158.11/1162.13 c INPROCESSING
1158.11/1162.13 c GARBAGE COLLECT
1158.11/1162.13 c #Conflicts: 847000 | #Constraints: 18628
1158.11/1162.13 c #Conflicts: 848000 | #Constraints: 19628
1158.11/1162.13 c #Conflicts: 849000 | #Constraints: 20628
1158.11/1162.13 c #Conflicts: 850000 | #Constraints: 21628
1158.11/1162.13 c #Conflicts: 851000 | #Constraints: 22628
1158.11/1162.13 c #Conflicts: 852000 | #Constraints: 23628
1158.11/1162.13 c #Conflicts: 853000 | #Constraints: 24628
1158.11/1162.13 c #Conflicts: 854000 | #Constraints: 25628
1158.11/1162.13 c #Conflicts: 855000 | #Constraints: 26628
1158.11/1162.13 c #Conflicts: 856000 | #Constraints: 27628
1158.11/1162.13 c #Conflicts: 857000 | #Constraints: 28628
1158.11/1162.13 c #Conflicts: 858000 | #Constraints: 29628
1158.11/1162.13 c #Conflicts: 859000 | #Constraints: 30628
1158.11/1162.13 c #Conflicts: 860000 | #Constraints: 31628
1158.11/1162.13 c #Conflicts: 861000 | #Constraints: 32628
1158.11/1162.13 c #Conflicts: 862000 | #Constraints: 33628
1158.11/1162.13 c #Conflicts: 863000 | #Constraints: 34628
1158.11/1162.13 c #Conflicts: 864000 | #Constraints: 35628
1158.11/1162.13 c #Conflicts: 865000 | #Constraints: 36628
1158.11/1162.13 c INPROCESSING
1158.11/1162.13 c GARBAGE COLLECT
1158.11/1162.13 c #Conflicts: 866000 | #Constraints: 19230
1158.11/1162.13 c #Conflicts: 867000 | #Constraints: 20230
1158.11/1162.13 c #Conflicts: 868000 | #Constraints: 21230
1158.11/1162.13 c #Conflicts: 869000 | #Constraints: 22230
1158.11/1162.13 c #Conflicts: 870000 | #Constraints: 23230
1158.11/1162.13 c #Conflicts: 871000 | #Constraints: 24230
1158.11/1162.13 c #Conflicts: 872000 | #Constraints: 25230
1158.11/1162.13 c #Conflicts: 873000 | #Constraints: 26230
1158.11/1162.13 c #Conflicts: 874000 | #Constraints: 27230
1158.11/1162.13 c #Conflicts: 875000 | #Constraints: 28230
1158.11/1162.13 c #Conflicts: 876000 | #Constraints: 29230
1158.11/1162.13 c #Conflicts: 877000 | #Constraints: 30230
1158.11/1162.13 c #Conflicts: 878000 | #Constraints: 31230
1158.11/1162.13 c #Conflicts: 879000 | #Constraints: 32230
1158.11/1162.13 c #Conflicts: 880000 | #Constraints: 33230
1158.11/1162.13 c #Conflicts: 881000 | #Constraints: 34230
1158.11/1162.13 c #Conflicts: 882000 | #Constraints: 35230
1158.11/1162.13 c #Conflicts: 883000 | #Constraints: 36230
1158.11/1162.13 c #Conflicts: 884000 | #Constraints: 37230
1158.11/1162.13 c INPROCESSING
1158.11/1162.13 c GARBAGE COLLECT
1158.11/1162.13 c #Conflicts: 885000 | #Constraints: 19627
1158.11/1162.13 c #Conflicts: 886000 | #Constraints: 20627
1158.11/1162.13 c #Conflicts: 887000 | #Constraints: 21627
1158.11/1162.13 c #Conflicts: 888000 | #Constraints: 22627
1158.11/1162.13 c #Conflicts: 889000 | #Constraints: 23627
1158.11/1162.13 c #Conflicts: 890000 | #Constraints: 24627
1158.11/1162.13 c #Conflicts: 891000 | #Constraints: 25627
1324.38/1329.01 c #Conflicts: 892000 | #Constraints: 26627
1324.38/1329.01 c #Conflicts: 893000 | #Constraints: 27627
1324.38/1329.01 c #Conflicts: 894000 | #Constraints: 28627
1324.38/1329.01 c #Conflicts: 895000 | #Constraints: 29627
1324.38/1329.01 c #Conflicts: 896000 | #Constraints: 30627
1324.38/1329.01 c #Conflicts: 897000 | #Constraints: 31627
1324.38/1329.01 c #Conflicts: 898000 | #Constraints: 32627
1324.38/1329.01 c #Conflicts: 899000 | #Constraints: 33627
1324.38/1329.01 c #Conflicts: 900000 | #Constraints: 34627
1324.38/1329.01 c #Conflicts: 901000 | #Constraints: 35627
1324.38/1329.01 c #Conflicts: 902000 | #Constraints: 36627
1324.38/1329.01 c #Conflicts: 903000 | #Constraints: 37627
1324.38/1329.01 c INPROCESSING
1324.38/1329.01 c GARBAGE COLLECT
1324.38/1329.01 c #Conflicts: 904000 | #Constraints: 19828
1324.38/1329.01 c #Conflicts: 905000 | #Constraints: 20828
1324.38/1329.01 c #Conflicts: 906000 | #Constraints: 21828
1324.38/1329.01 c #Conflicts: 907000 | #Constraints: 22828
1324.38/1329.01 c #Conflicts: 908000 | #Constraints: 23828
1324.38/1329.01 c #Conflicts: 909000 | #Constraints: 24828
1324.38/1329.01 c #Conflicts: 910000 | #Constraints: 25828
1324.38/1329.01 c #Conflicts: 911000 | #Constraints: 26828
1324.38/1329.01 c #Conflicts: 912000 | #Constraints: 27828
1324.38/1329.01 c #Conflicts: 913000 | #Constraints: 28828
1324.38/1329.01 c #Conflicts: 914000 | #Constraints: 29828
1324.38/1329.01 c #Conflicts: 915000 | #Constraints: 30828
1324.38/1329.01 c #Conflicts: 916000 | #Constraints: 31828
1324.38/1329.01 c #Conflicts: 917000 | #Constraints: 32828
1324.38/1329.01 c #Conflicts: 918000 | #Constraints: 33828
1324.38/1329.01 c #Conflicts: 919000 | #Constraints: 34828
1324.38/1329.01 c #Conflicts: 920000 | #Constraints: 35828
1324.38/1329.01 c #Conflicts: 921000 | #Constraints: 36828
1324.38/1329.01 c #Conflicts: 922000 | #Constraints: 37828
1324.38/1329.01 c INPROCESSING
1324.38/1329.01 c GARBAGE COLLECT
1324.38/1329.01 c #Conflicts: 923000 | #Constraints: 19827
1324.38/1329.01 c #Conflicts: 924000 | #Constraints: 20827
1324.38/1329.01 c #Conflicts: 925000 | #Constraints: 21827
1324.38/1329.01 c #Conflicts: 926000 | #Constraints: 22827
1324.38/1329.01 c #Conflicts: 927000 | #Constraints: 23827
1324.38/1329.01 c #Conflicts: 928000 | #Constraints: 24827
1324.38/1329.01 c #Conflicts: 929000 | #Constraints: 25827
1324.38/1329.01 c #Conflicts: 930000 | #Constraints: 26827
1324.38/1329.01 c #Conflicts: 931000 | #Constraints: 27827
1324.38/1329.01 c #Conflicts: 932000 | #Constraints: 28827
1324.38/1329.01 c #Conflicts: 933000 | #Constraints: 29827
1324.38/1329.01 c #Conflicts: 934000 | #Constraints: 30827
1324.38/1329.01 c #Conflicts: 935000 | #Constraints: 31827
1324.38/1329.01 c #Conflicts: 936000 | #Constraints: 32827
1324.38/1329.01 c #Conflicts: 937000 | #Constraints: 33827
1324.38/1329.01 c #Conflicts: 938000 | #Constraints: 34827
1324.38/1329.01 c #Conflicts: 939000 | #Constraints: 35827
1324.38/1329.01 c #Conflicts: 940000 | #Constraints: 36827
1324.38/1329.01 c #Conflicts: 941000 | #Constraints: 37827
1324.38/1329.01 c INPROCESSING
1324.38/1329.01 c GARBAGE COLLECT
1324.38/1329.01 c #Conflicts: 942000 | #Constraints: 19629
1324.38/1329.01 c #Conflicts: 943000 | #Constraints: 20629
1324.38/1329.01 c #Conflicts: 944000 | #Constraints: 21629
1324.38/1329.01 c #Conflicts: 945000 | #Constraints: 22629
1324.38/1329.01 c #Conflicts: 946000 | #Constraints: 23629
1324.38/1329.01 c #Conflicts: 947000 | #Constraints: 24629
1324.38/1329.01 c #Conflicts: 948000 | #Constraints: 25629
1324.38/1329.01 c #Conflicts: 949000 | #Constraints: 26629
1324.38/1329.01 c #Conflicts: 950000 | #Constraints: 27629
1324.38/1329.01 c #Conflicts: 951000 | #Constraints: 28629
1324.38/1329.01 c #Conflicts: 952000 | #Constraints: 29629
1324.38/1329.01 c #Conflicts: 953000 | #Constraints: 30629
1324.38/1329.01 c #Conflicts: 954000 | #Constraints: 31629
1324.38/1329.01 c #Conflicts: 955000 | #Constraints: 32629
1324.38/1329.01 c #Conflicts: 956000 | #Constraints: 33629
1324.38/1329.01 c #Conflicts: 957000 | #Constraints: 34629
1324.38/1329.01 c #Conflicts: 958000 | #Constraints: 35629
1324.38/1329.01 c #Conflicts: 959000 | #Constraints: 36629
1324.38/1329.01 c #Conflicts: 960000 | #Constraints: 37629
1324.38/1329.01 c #Conflicts: 961000 | #Constraints: 38629
1324.38/1329.01 c INPROCESSING
1324.38/1329.01 c GARBAGE COLLECT
1324.38/1329.01 c #Conflicts: 962000 | #Constraints: 20231
1324.38/1329.01 c #Conflicts: 963000 | #Constraints: 21231
1324.38/1329.01 c #Conflicts: 964000 | #Constraints: 22231
1324.38/1329.01 c #Conflicts: 965000 | #Constraints: 23231
1324.38/1329.01 c #Conflicts: 966000 | #Constraints: 24231
1324.38/1329.01 c #Conflicts: 967000 | #Constraints: 25231
1513.76/1519.11 c #Conflicts: 968000 | #Constraints: 26231
1513.76/1519.11 c #Conflicts: 969000 | #Constraints: 27231
1513.76/1519.11 c #Conflicts: 970000 | #Constraints: 28231
1513.76/1519.11 c #Conflicts: 971000 | #Constraints: 29231
1513.76/1519.11 c #Conflicts: 972000 | #Constraints: 30231
1513.76/1519.11 c #Conflicts: 973000 | #Constraints: 31231
1513.76/1519.11 c #Conflicts: 974000 | #Constraints: 32231
1513.76/1519.11 c #Conflicts: 975000 | #Constraints: 33231
1513.76/1519.11 c #Conflicts: 976000 | #Constraints: 34231
1513.76/1519.11 c #Conflicts: 977000 | #Constraints: 35231
1513.76/1519.11 c #Conflicts: 978000 | #Constraints: 36231
1513.76/1519.11 c #Conflicts: 979000 | #Constraints: 37231
1513.76/1519.11 c #Conflicts: 980000 | #Constraints: 38231
1513.76/1519.11 c #Conflicts: 981000 | #Constraints: 39231
1513.76/1519.11 c INPROCESSING
1513.76/1519.11 c GARBAGE COLLECT
1513.76/1519.11 c #Conflicts: 982000 | #Constraints: 20633
1513.76/1519.11 c #Conflicts: 983000 | #Constraints: 21633
1513.76/1519.11 c #Conflicts: 984000 | #Constraints: 22633
1513.76/1519.11 c #Conflicts: 985000 | #Constraints: 23633
1513.76/1519.11 c #Conflicts: 986000 | #Constraints: 24633
1513.76/1519.11 c #Conflicts: 987000 | #Constraints: 25633
1513.76/1519.11 c #Conflicts: 988000 | #Constraints: 26633
1513.76/1519.11 c #Conflicts: 989000 | #Constraints: 27633
1513.76/1519.11 c #Conflicts: 990000 | #Constraints: 28633
1513.76/1519.11 c #Conflicts: 991000 | #Constraints: 29633
1513.76/1519.11 c #Conflicts: 992000 | #Constraints: 30633
1513.76/1519.11 c #Conflicts: 993000 | #Constraints: 31633
1513.76/1519.11 c #Conflicts: 994000 | #Constraints: 32633
1513.76/1519.11 c #Conflicts: 995000 | #Constraints: 33633
1513.76/1519.11 c #Conflicts: 996000 | #Constraints: 34633
1513.76/1519.11 c #Conflicts: 997000 | #Constraints: 35633
1513.76/1519.11 c #Conflicts: 998000 | #Constraints: 36633
1513.76/1519.11 c #Conflicts: 999000 | #Constraints: 37633
1513.76/1519.11 c #Conflicts: 1000000 | #Constraints: 38633
1513.76/1519.11 c #Conflicts: 1001000 | #Constraints: 39633
1513.76/1519.11 c INPROCESSING
1513.76/1519.11 c GARBAGE COLLECT
1513.76/1519.11 c #Conflicts: 1002000 | #Constraints: 20833
1513.76/1519.11 c #Conflicts: 1003000 | #Constraints: 21833
1513.76/1519.11 c #Conflicts: 1004000 | #Constraints: 22833
1513.76/1519.11 c #Conflicts: 1005000 | #Constraints: 23833
1513.76/1519.11 c #Conflicts: 1006000 | #Constraints: 24833
1513.76/1519.11 c #Conflicts: 1007000 | #Constraints: 25833
1513.76/1519.11 c #Conflicts: 1008000 | #Constraints: 26833
1513.76/1519.11 c #Conflicts: 1009000 | #Constraints: 27833
1513.76/1519.11 c #Conflicts: 1010000 | #Constraints: 28833
1513.76/1519.11 c #Conflicts: 1011000 | #Constraints: 29833
1513.76/1519.11 c #Conflicts: 1012000 | #Constraints: 30833
1513.76/1519.11 c #Conflicts: 1013000 | #Constraints: 31833
1513.76/1519.11 c #Conflicts: 1014000 | #Constraints: 32833
1513.76/1519.11 c #Conflicts: 1015000 | #Constraints: 33833
1513.76/1519.11 c #Conflicts: 1016000 | #Constraints: 34833
1513.76/1519.11 c #Conflicts: 1017000 | #Constraints: 35833
1513.76/1519.11 c #Conflicts: 1018000 | #Constraints: 36833
1513.76/1519.11 c #Conflicts: 1019000 | #Constraints: 37833
1513.76/1519.11 c #Conflicts: 1020000 | #Constraints: 38833
1513.76/1519.11 c #Conflicts: 1021000 | #Constraints: 39833
1513.76/1519.11 c INPROCESSING
1513.76/1519.11 c GARBAGE COLLECT
1513.76/1519.11 c #Conflicts: 1022000 | #Constraints: 20832
1513.76/1519.11 c #Conflicts: 1023000 | #Constraints: 21832
1513.76/1519.11 c #Conflicts: 1024000 | #Constraints: 22832
1513.76/1519.11 c #Conflicts: 1025000 | #Constraints: 23832
1513.76/1519.11 c #Conflicts: 1026000 | #Constraints: 24832
1513.76/1519.11 c #Conflicts: 1027000 | #Constraints: 25832
1513.76/1519.11 c #Conflicts: 1028000 | #Constraints: 26832
1513.76/1519.11 c #Conflicts: 1029000 | #Constraints: 27832
1513.76/1519.11 c #Conflicts: 1030000 | #Constraints: 28832
1513.76/1519.11 c #Conflicts: 1031000 | #Constraints: 29832
1513.76/1519.11 c #Conflicts: 1032000 | #Constraints: 30832
1513.76/1519.11 c #Conflicts: 1033000 | #Constraints: 31832
1513.76/1519.11 c #Conflicts: 1034000 | #Constraints: 32832
1513.76/1519.11 c #Conflicts: 1035000 | #Constraints: 33832
1513.76/1519.11 c #Conflicts: 1036000 | #Constraints: 34832
1513.76/1519.11 c #Conflicts: 1037000 | #Constraints: 35832
1513.76/1519.11 c #Conflicts: 1038000 | #Constraints: 36832
1513.76/1519.11 c #Conflicts: 1039000 | #Constraints: 37832
1513.76/1519.11 c #Conflicts: 1040000 | #Constraints: 38832
1513.76/1519.11 c #Conflicts: 1041000 | #Constraints: 39832
1513.76/1519.11 c INPROCESSING
1513.76/1519.11 c GARBAGE COLLECT
1513.76/1519.11 c #Conflicts: 1042000 | #Constraints: 20633
1513.76/1519.11 c #Conflicts: 1043000 | #Constraints: 21633
1513.76/1519.11 c #Conflicts: 1044000 | #Constraints: 22633
1725.10/1731.24 c #Conflicts: 1045000 | #Constraints: 23633
1725.10/1731.24 c #Conflicts: 1046000 | #Constraints: 24633
1725.10/1731.24 c #Conflicts: 1047000 | #Constraints: 25633
1725.10/1731.24 c #Conflicts: 1048000 | #Constraints: 26633
1725.10/1731.24 c #Conflicts: 1049000 | #Constraints: 27633
1725.10/1731.24 c #Conflicts: 1050000 | #Constraints: 28633
1725.10/1731.24 c #Conflicts: 1051000 | #Constraints: 29633
1725.10/1731.24 c #Conflicts: 1052000 | #Constraints: 30633
1725.10/1731.24 c #Conflicts: 1053000 | #Constraints: 31633
1725.10/1731.24 c #Conflicts: 1054000 | #Constraints: 32633
1725.10/1731.24 c #Conflicts: 1055000 | #Constraints: 33633
1725.10/1731.24 c #Conflicts: 1056000 | #Constraints: 34633
1725.10/1731.24 c #Conflicts: 1057000 | #Constraints: 35633
1725.10/1731.24 c #Conflicts: 1058000 | #Constraints: 36633
1725.10/1731.24 c #Conflicts: 1059000 | #Constraints: 37633
1725.10/1731.24 c #Conflicts: 1060000 | #Constraints: 38633
1725.10/1731.24 c #Conflicts: 1061000 | #Constraints: 39633
1725.10/1731.24 c #Conflicts: 1062000 | #Constraints: 40633
1725.10/1731.24 c INPROCESSING
1725.10/1731.24 c GARBAGE COLLECT
1725.10/1731.24 c #Conflicts: 1063000 | #Constraints: 21233
1725.10/1731.24 c #Conflicts: 1064000 | #Constraints: 22233
1725.10/1731.24 c #Conflicts: 1065000 | #Constraints: 23233
1725.10/1731.24 c #Conflicts: 1066000 | #Constraints: 24233
1725.10/1731.24 c #Conflicts: 1067000 | #Constraints: 25233
1725.10/1731.24 c #Conflicts: 1068000 | #Constraints: 26233
1725.10/1731.24 c #Conflicts: 1069000 | #Constraints: 27233
1725.10/1731.24 c #Conflicts: 1070000 | #Constraints: 28233
1725.10/1731.24 c #Conflicts: 1071000 | #Constraints: 29233
1725.10/1731.24 c #Conflicts: 1072000 | #Constraints: 30233
1725.10/1731.24 c #Conflicts: 1073000 | #Constraints: 31233
1725.10/1731.24 c #Conflicts: 1074000 | #Constraints: 32233
1725.10/1731.24 c #Conflicts: 1075000 | #Constraints: 33233
1725.10/1731.24 c #Conflicts: 1076000 | #Constraints: 34233
1725.10/1731.24 c #Conflicts: 1077000 | #Constraints: 35233
1725.10/1731.24 c #Conflicts: 1078000 | #Constraints: 36233
1725.10/1731.24 c #Conflicts: 1079000 | #Constraints: 37233
1725.10/1731.24 c #Conflicts: 1080000 | #Constraints: 38233
1725.10/1731.24 c #Conflicts: 1081000 | #Constraints: 39233
1725.10/1731.24 c #Conflicts: 1082000 | #Constraints: 40233
1725.10/1731.24 c #Conflicts: 1083000 | #Constraints: 41233
1725.10/1731.24 c INPROCESSING
1725.10/1731.24 c GARBAGE COLLECT
1725.10/1731.24 c #Conflicts: 1084000 | #Constraints: 21630
1725.10/1731.24 c #Conflicts: 1085000 | #Constraints: 22630
1725.10/1731.24 c #Conflicts: 1086000 | #Constraints: 23630
1725.10/1731.24 c #Conflicts: 1087000 | #Constraints: 24630
1725.10/1731.24 c #Conflicts: 1088000 | #Constraints: 25630
1725.10/1731.24 c #Conflicts: 1089000 | #Constraints: 26630
1725.10/1731.24 c #Conflicts: 1090000 | #Constraints: 27630
1725.10/1731.24 c #Conflicts: 1091000 | #Constraints: 28630
1725.10/1731.24 c #Conflicts: 1092000 | #Constraints: 29630
1725.10/1731.24 c #Conflicts: 1093000 | #Constraints: 30630
1725.10/1731.24 c #Conflicts: 1094000 | #Constraints: 31630
1725.10/1731.24 c #Conflicts: 1095000 | #Constraints: 32630
1725.10/1731.24 c #Conflicts: 1096000 | #Constraints: 33630
1725.10/1731.24 c #Conflicts: 1097000 | #Constraints: 34630
1725.10/1731.24 c #Conflicts: 1098000 | #Constraints: 35630
1725.10/1731.24 c #Conflicts: 1099000 | #Constraints: 36630
1725.10/1731.24 c #Conflicts: 1100000 | #Constraints: 37630
1725.10/1731.24 c #Conflicts: 1101000 | #Constraints: 38630
1725.10/1731.24 c #Conflicts: 1102000 | #Constraints: 39630
1725.10/1731.24 c #Conflicts: 1103000 | #Constraints: 40630
1725.10/1731.24 c #Conflicts: 1104000 | #Constraints: 41630
1725.10/1731.24 c INPROCESSING
1725.10/1731.24 c GARBAGE COLLECT
1725.10/1731.24 c #Conflicts: 1105000 | #Constraints: 21831
1725.10/1731.24 c #Conflicts: 1106000 | #Constraints: 22831
1725.10/1731.24 c #Conflicts: 1107000 | #Constraints: 23831
1725.10/1731.24 c #Conflicts: 1108000 | #Constraints: 24831
1725.10/1731.24 c #Conflicts: 1109000 | #Constraints: 25831
1725.10/1731.24 c #Conflicts: 1110000 | #Constraints: 26831
1725.10/1731.24 c #Conflicts: 1111000 | #Constraints: 27831
1725.10/1731.24 c #Conflicts: 1112000 | #Constraints: 28831
1725.10/1731.24 c #Conflicts: 1113000 | #Constraints: 29831
1725.10/1731.24 c #Conflicts: 1114000 | #Constraints: 30831
1725.10/1731.24 c #Conflicts: 1115000 | #Constraints: 31831
1725.10/1731.24 c #Conflicts: 1116000 | #Constraints: 32831
1725.10/1731.24 c #Conflicts: 1117000 | #Constraints: 33831
1725.10/1731.24 c #Conflicts: 1118000 | #Constraints: 34831
1725.10/1731.24 c #Conflicts: 1119000 | #Constraints: 35831
1725.10/1731.24 c #Conflicts: 1120000 | #Constraints: 36831
1725.10/1731.24 c #Conflicts: 1121000 | #Constraints: 37831
1918.10/1924.97 c #Conflicts: 1122000 | #Constraints: 38831
1918.10/1924.97 c #Conflicts: 1123000 | #Constraints: 39831
1918.10/1924.97 c #Conflicts: 1124000 | #Constraints: 40831
1918.10/1924.97 c #Conflicts: 1125000 | #Constraints: 41831
1918.10/1924.97 c INPROCESSING
1918.10/1924.97 c GARBAGE COLLECT
1918.10/1924.97 c #Conflicts: 1126000 | #Constraints: 21829
1918.10/1924.97 c #Conflicts: 1127000 | #Constraints: 22829
1918.10/1924.97 c #Conflicts: 1128000 | #Constraints: 23829
1918.10/1924.97 c #Conflicts: 1129000 | #Constraints: 24829
1918.10/1924.97 c #Conflicts: 1130000 | #Constraints: 25829
1918.10/1924.97 c #Conflicts: 1131000 | #Constraints: 26829
1918.10/1924.97 c #Conflicts: 1132000 | #Constraints: 27829
1918.10/1924.97 c #Conflicts: 1133000 | #Constraints: 28829
1918.10/1924.97 c #Conflicts: 1134000 | #Constraints: 29829
1918.10/1924.97 c #Conflicts: 1135000 | #Constraints: 30829
1918.10/1924.97 c #Conflicts: 1136000 | #Constraints: 31829
1918.10/1924.97 c #Conflicts: 1137000 | #Constraints: 32829
1918.10/1924.97 c #Conflicts: 1138000 | #Constraints: 33829
1918.10/1924.97 c #Conflicts: 1139000 | #Constraints: 34829
1918.10/1924.97 c #Conflicts: 1140000 | #Constraints: 35829
1918.10/1924.97 c #Conflicts: 1141000 | #Constraints: 36829
1918.10/1924.97 c #Conflicts: 1142000 | #Constraints: 37829
1918.10/1924.97 c #Conflicts: 1143000 | #Constraints: 38829
1918.10/1924.97 c #Conflicts: 1144000 | #Constraints: 39829
1918.10/1924.97 c #Conflicts: 1145000 | #Constraints: 40829
1918.10/1924.97 c #Conflicts: 1146000 | #Constraints: 41829
1918.10/1924.97 c INPROCESSING
1918.10/1924.97 c GARBAGE COLLECT
1918.10/1924.97 c #Conflicts: 1147000 | #Constraints: 21626
1918.10/1924.97 c #Conflicts: 1148000 | #Constraints: 22626
1918.10/1924.97 c #Conflicts: 1149000 | #Constraints: 23626
1918.10/1924.97 c #Conflicts: 1150000 | #Constraints: 24626
1918.10/1924.97 c #Conflicts: 1151000 | #Constraints: 25626
1918.10/1924.97 c #Conflicts: 1152000 | #Constraints: 26626
1918.10/1924.97 c #Conflicts: 1153000 | #Constraints: 27626
1918.10/1924.97 c #Conflicts: 1154000 | #Constraints: 28626
1918.10/1924.97 c #Conflicts: 1155000 | #Constraints: 29626
1918.10/1924.97 c #Conflicts: 1156000 | #Constraints: 30626
1918.10/1924.97 c #Conflicts: 1157000 | #Constraints: 31626
1918.10/1924.97 c #Conflicts: 1158000 | #Constraints: 32626
1918.10/1924.97 c #Conflicts: 1159000 | #Constraints: 33626
1918.10/1924.97 c #Conflicts: 1160000 | #Constraints: 34626
1918.10/1924.97 c #Conflicts: 1161000 | #Constraints: 35626
1918.10/1924.97 c #Conflicts: 1162000 | #Constraints: 36626
1918.10/1924.97 c #Conflicts: 1163000 | #Constraints: 37626
1918.10/1924.97 c #Conflicts: 1164000 | #Constraints: 38626
1918.10/1924.97 c #Conflicts: 1165000 | #Constraints: 39626
1918.10/1924.97 c #Conflicts: 1166000 | #Constraints: 40626
1918.10/1924.97 c #Conflicts: 1167000 | #Constraints: 41626
1918.10/1924.97 c #Conflicts: 1168000 | #Constraints: 42626
1918.10/1924.97 c INPROCESSING
1918.10/1924.97 c GARBAGE COLLECT
1918.10/1924.97 c #Conflicts: 1169000 | #Constraints: 22229
1918.10/1924.97 c #Conflicts: 1170000 | #Constraints: 23229
1918.10/1924.97 c #Conflicts: 1171000 | #Constraints: 24229
1918.10/1924.97 c #Conflicts: 1172000 | #Constraints: 25229
1918.10/1924.97 c #Conflicts: 1173000 | #Constraints: 26229
1918.10/1924.97 c #Conflicts: 1174000 | #Constraints: 27229
1918.10/1924.97 c #Conflicts: 1175000 | #Constraints: 28229
1918.10/1924.97 c #Conflicts: 1176000 | #Constraints: 29229
1918.10/1924.97 c #Conflicts: 1177000 | #Constraints: 30229
1918.10/1924.97 c #Conflicts: 1178000 | #Constraints: 31229
1918.10/1924.97 c #Conflicts: 1179000 | #Constraints: 32229
1918.10/1924.97 c #Conflicts: 1180000 | #Constraints: 33229
1918.10/1924.97 c #Conflicts: 1181000 | #Constraints: 34229
1918.10/1924.97 c #Conflicts: 1182000 | #Constraints: 35229
1918.10/1924.97 c #Conflicts: 1183000 | #Constraints: 36229
1918.10/1924.97 c #Conflicts: 1184000 | #Constraints: 37229
1918.10/1924.97 c #Conflicts: 1185000 | #Constraints: 38229
1918.10/1924.97 c #Conflicts: 1186000 | #Constraints: 39229
1918.10/1924.97 c #Conflicts: 1187000 | #Constraints: 40229
1918.10/1924.97 c #Conflicts: 1188000 | #Constraints: 41229
1918.10/1924.97 c #Conflicts: 1189000 | #Constraints: 42229
1918.10/1924.97 c #Conflicts: 1190000 | #Constraints: 43229
1918.10/1924.97 c INPROCESSING
1918.10/1924.97 c GARBAGE COLLECT
1918.10/1924.97 c #Conflicts: 1191000 | #Constraints: 22627
1918.10/1924.97 c #Conflicts: 1192000 | #Constraints: 23627
1918.10/1924.97 c #Conflicts: 1193000 | #Constraints: 24627
1918.10/1924.97 c #Conflicts: 1194000 | #Constraints: 25627
1918.10/1924.97 c #Conflicts: 1195000 | #Constraints: 26627
1918.10/1924.97 c #Conflicts: 1196000 | #Constraints: 27627
1918.10/1924.97 c #Conflicts: 1197000 | #Constraints: 28627
2112.54/2120.06 c #Conflicts: 1198000 | #Constraints: 29627
2112.54/2120.06 c #Conflicts: 1199000 | #Constraints: 30627
2112.54/2120.06 c #Conflicts: 1200000 | #Constraints: 31627
2112.54/2120.06 c #Conflicts: 1201000 | #Constraints: 32627
2112.54/2120.06 c #Conflicts: 1202000 | #Constraints: 33627
2112.54/2120.06 c #Conflicts: 1203000 | #Constraints: 34627
2112.54/2120.06 c #Conflicts: 1204000 | #Constraints: 35627
2112.54/2120.06 c #Conflicts: 1205000 | #Constraints: 36627
2112.54/2120.06 c #Conflicts: 1206000 | #Constraints: 37627
2112.54/2120.06 c #Conflicts: 1207000 | #Constraints: 38627
2112.54/2120.06 c #Conflicts: 1208000 | #Constraints: 39627
2112.54/2120.06 c #Conflicts: 1209000 | #Constraints: 40627
2112.54/2120.06 c #Conflicts: 1210000 | #Constraints: 41627
2112.54/2120.06 c #Conflicts: 1211000 | #Constraints: 42627
2112.54/2120.06 c #Conflicts: 1212000 | #Constraints: 43627
2112.54/2120.06 c INPROCESSING
2112.54/2120.06 c GARBAGE COLLECT
2112.54/2120.06 c #Conflicts: 1213000 | #Constraints: 22827
2112.54/2120.06 c #Conflicts: 1214000 | #Constraints: 23827
2112.54/2120.06 c #Conflicts: 1215000 | #Constraints: 24827
2112.54/2120.06 c #Conflicts: 1216000 | #Constraints: 25827
2112.54/2120.06 c #Conflicts: 1217000 | #Constraints: 26827
2112.54/2120.06 c #Conflicts: 1218000 | #Constraints: 27827
2112.54/2120.06 c #Conflicts: 1219000 | #Constraints: 28827
2112.54/2120.06 c #Conflicts: 1220000 | #Constraints: 29827
2112.54/2120.06 c #Conflicts: 1221000 | #Constraints: 30827
2112.54/2120.06 c #Conflicts: 1222000 | #Constraints: 31827
2112.54/2120.06 c #Conflicts: 1223000 | #Constraints: 32827
2112.54/2120.06 c #Conflicts: 1224000 | #Constraints: 33827
2112.54/2120.06 c #Conflicts: 1225000 | #Constraints: 34827
2112.54/2120.06 c #Conflicts: 1226000 | #Constraints: 35827
2112.54/2120.06 c #Conflicts: 1227000 | #Constraints: 36827
2112.54/2120.06 c #Conflicts: 1228000 | #Constraints: 37827
2112.54/2120.06 c #Conflicts: 1229000 | #Constraints: 38827
2112.54/2120.06 c #Conflicts: 1230000 | #Constraints: 39827
2112.54/2120.06 c #Conflicts: 1231000 | #Constraints: 40827
2112.54/2120.06 c #Conflicts: 1232000 | #Constraints: 41827
2112.54/2120.06 c #Conflicts: 1233000 | #Constraints: 42827
2112.54/2120.06 c #Conflicts: 1234000 | #Constraints: 43827
2112.54/2120.06 c INPROCESSING
2112.54/2120.06 c GARBAGE COLLECT
2112.54/2120.06 c #Conflicts: 1235000 | #Constraints: 22826
2112.54/2120.06 c #Conflicts: 1236000 | #Constraints: 23826
2112.54/2120.06 c #Conflicts: 1237000 | #Constraints: 24826
2112.54/2120.06 c #Conflicts: 1238000 | #Constraints: 25826
2112.54/2120.06 c #Conflicts: 1239000 | #Constraints: 26826
2112.54/2120.06 c #Conflicts: 1240000 | #Constraints: 27826
2112.54/2120.06 c #Conflicts: 1241000 | #Constraints: 28826
2112.54/2120.06 c #Conflicts: 1242000 | #Constraints: 29826
2112.54/2120.06 c #Conflicts: 1243000 | #Constraints: 30826
2112.54/2120.06 c #Conflicts: 1244000 | #Constraints: 31826
2112.54/2120.06 c #Conflicts: 1245000 | #Constraints: 32826
2112.54/2120.06 c #Conflicts: 1246000 | #Constraints: 33826
2112.54/2120.06 c #Conflicts: 1247000 | #Constraints: 34826
2112.54/2120.06 c #Conflicts: 1248000 | #Constraints: 35826
2112.54/2120.06 c #Conflicts: 1249000 | #Constraints: 36826
2112.54/2120.06 c #Conflicts: 1250000 | #Constraints: 37826
2112.54/2120.06 c #Conflicts: 1251000 | #Constraints: 38826
2112.54/2120.06 c #Conflicts: 1252000 | #Constraints: 39826
2112.54/2120.06 c #Conflicts: 1253000 | #Constraints: 40826
2112.54/2120.06 c #Conflicts: 1254000 | #Constraints: 41826
2112.54/2120.06 c #Conflicts: 1255000 | #Constraints: 42826
2112.54/2120.06 c #Conflicts: 1256000 | #Constraints: 43826
2112.54/2120.06 c INPROCESSING
2112.54/2120.06 c GARBAGE COLLECT
2112.54/2120.06 c #Conflicts: 1257000 | #Constraints: 22625
2112.54/2120.06 c #Conflicts: 1258000 | #Constraints: 23625
2112.54/2120.06 c #Conflicts: 1259000 | #Constraints: 24625
2112.54/2120.06 c #Conflicts: 1260000 | #Constraints: 25625
2112.54/2120.06 c #Conflicts: 1261000 | #Constraints: 26625
2112.54/2120.06 c #Conflicts: 1262000 | #Constraints: 27625
2112.54/2120.06 c #Conflicts: 1263000 | #Constraints: 28625
2112.54/2120.06 c #Conflicts: 1264000 | #Constraints: 29625
2112.54/2120.06 c #Conflicts: 1265000 | #Constraints: 30625
2112.54/2120.06 c #Conflicts: 1266000 | #Constraints: 31625
2112.54/2120.06 c #Conflicts: 1267000 | #Constraints: 32625
2112.54/2120.06 c #Conflicts: 1268000 | #Constraints: 33625
2112.54/2120.06 c #Conflicts: 1269000 | #Constraints: 34625
2112.54/2120.06 c #Conflicts: 1270000 | #Constraints: 35625
2112.54/2120.06 c #Conflicts: 1271000 | #Constraints: 36625
2112.54/2120.06 c #Conflicts: 1272000 | #Constraints: 37625
2112.54/2120.06 c #Conflicts: 1273000 | #Constraints: 38625
2112.54/2120.06 c #Conflicts: 1274000 | #Constraints: 39625
2309.58/2317.72 c #Conflicts: 1275000 | #Constraints: 40625
2309.58/2317.72 c #Conflicts: 1276000 | #Constraints: 41625
2309.58/2317.72 c #Conflicts: 1277000 | #Constraints: 42625
2309.58/2317.72 c #Conflicts: 1278000 | #Constraints: 43625
2309.58/2317.72 c #Conflicts: 1279000 | #Constraints: 44625
2309.58/2317.72 c INPROCESSING
2309.58/2317.72 c GARBAGE COLLECT
2309.58/2317.72 c #Conflicts: 1280000 | #Constraints: 23226
2309.58/2317.72 c #Conflicts: 1281000 | #Constraints: 24226
2309.58/2317.72 c #Conflicts: 1282000 | #Constraints: 25226
2309.58/2317.72 c #Conflicts: 1283000 | #Constraints: 26226
2309.58/2317.72 c #Conflicts: 1284000 | #Constraints: 27226
2309.58/2317.72 c #Conflicts: 1285000 | #Constraints: 28226
2309.58/2317.72 c #Conflicts: 1286000 | #Constraints: 29226
2309.58/2317.72 c #Conflicts: 1287000 | #Constraints: 30226
2309.58/2317.72 c #Conflicts: 1288000 | #Constraints: 31226
2309.58/2317.72 c #Conflicts: 1289000 | #Constraints: 32226
2309.58/2317.72 c #Conflicts: 1290000 | #Constraints: 33226
2309.58/2317.72 c #Conflicts: 1291000 | #Constraints: 34226
2309.58/2317.72 c #Conflicts: 1292000 | #Constraints: 35226
2309.58/2317.72 c #Conflicts: 1293000 | #Constraints: 36226
2309.58/2317.72 c #Conflicts: 1294000 | #Constraints: 37226
2309.58/2317.72 c #Conflicts: 1295000 | #Constraints: 38226
2309.58/2317.72 c #Conflicts: 1296000 | #Constraints: 39226
2309.58/2317.72 c #Conflicts: 1297000 | #Constraints: 40226
2309.58/2317.72 c #Conflicts: 1298000 | #Constraints: 41226
2309.58/2317.72 c #Conflicts: 1299000 | #Constraints: 42226
2309.58/2317.72 c #Conflicts: 1300000 | #Constraints: 43226
2309.58/2317.72 c #Conflicts: 1301000 | #Constraints: 44226
2309.58/2317.72 c #Conflicts: 1302000 | #Constraints: 45226
2309.58/2317.72 c INPROCESSING
2309.58/2317.72 c GARBAGE COLLECT
2309.58/2317.72 c #Conflicts: 1303000 | #Constraints: 23627
2309.58/2317.72 c #Conflicts: 1304000 | #Constraints: 24627
2309.58/2317.72 c #Conflicts: 1305000 | #Constraints: 25627
2309.58/2317.72 c #Conflicts: 1306000 | #Constraints: 26627
2309.58/2317.72 c #Conflicts: 1307000 | #Constraints: 27627
2309.58/2317.72 c #Conflicts: 1308000 | #Constraints: 28627
2309.58/2317.72 c #Conflicts: 1309000 | #Constraints: 29627
2309.58/2317.72 c #Conflicts: 1310000 | #Constraints: 30627
2309.58/2317.72 c #Conflicts: 1311000 | #Constraints: 31627
2309.58/2317.72 c #Conflicts: 1312000 | #Constraints: 32627
2309.58/2317.72 c #Conflicts: 1313000 | #Constraints: 33627
2309.58/2317.72 c #Conflicts: 1314000 | #Constraints: 34627
2309.58/2317.72 c #Conflicts: 1315000 | #Constraints: 35627
2309.58/2317.72 c #Conflicts: 1316000 | #Constraints: 36627
2309.58/2317.72 c #Conflicts: 1317000 | #Constraints: 37627
2309.58/2317.72 c #Conflicts: 1318000 | #Constraints: 38627
2309.58/2317.72 c #Conflicts: 1319000 | #Constraints: 39627
2309.58/2317.72 c #Conflicts: 1320000 | #Constraints: 40627
2309.58/2317.72 c #Conflicts: 1321000 | #Constraints: 41627
2309.58/2317.72 c #Conflicts: 1322000 | #Constraints: 42627
2309.58/2317.72 c #Conflicts: 1323000 | #Constraints: 43627
2309.58/2317.72 c #Conflicts: 1324000 | #Constraints: 44627
2309.58/2317.72 c #Conflicts: 1325000 | #Constraints: 45627
2309.58/2317.72 c INPROCESSING
2309.58/2317.72 c GARBAGE COLLECT
2309.58/2317.72 c #Conflicts: 1326000 | #Constraints: 23831
2309.58/2317.72 c #Conflicts: 1327000 | #Constraints: 24831
2309.58/2317.72 c #Conflicts: 1328000 | #Constraints: 25831
2309.58/2317.72 c #Conflicts: 1329000 | #Constraints: 26831
2309.58/2317.72 c #Conflicts: 1330000 | #Constraints: 27831
2309.58/2317.72 c #Conflicts: 1331000 | #Constraints: 28831
2309.58/2317.72 c #Conflicts: 1332000 | #Constraints: 29831
2309.58/2317.72 c #Conflicts: 1333000 | #Constraints: 30831
2309.58/2317.72 c #Conflicts: 1334000 | #Constraints: 31831
2309.58/2317.72 c #Conflicts: 1335000 | #Constraints: 32831
2309.58/2317.72 c #Conflicts: 1336000 | #Constraints: 33831
2309.58/2317.72 c #Conflicts: 1337000 | #Constraints: 34831
2309.58/2317.72 c #Conflicts: 1338000 | #Constraints: 35831
2309.58/2317.72 c #Conflicts: 1339000 | #Constraints: 36831
2309.58/2317.72 c #Conflicts: 1340000 | #Constraints: 37831
2309.58/2317.72 c #Conflicts: 1341000 | #Constraints: 38831
2309.58/2317.72 c #Conflicts: 1342000 | #Constraints: 39831
2309.58/2317.72 c #Conflicts: 1343000 | #Constraints: 40831
2309.58/2317.72 c #Conflicts: 1344000 | #Constraints: 41831
2309.58/2317.72 c #Conflicts: 1345000 | #Constraints: 42831
2309.58/2317.72 c #Conflicts: 1346000 | #Constraints: 43831
2309.58/2317.72 c #Conflicts: 1347000 | #Constraints: 44831
2309.58/2317.72 c #Conflicts: 1348000 | #Constraints: 45831
2309.58/2317.72 c INPROCESSING
2309.58/2317.72 c GARBAGE COLLECT
2309.58/2317.72 c #Conflicts: 1349000 | #Constraints: 23833
2309.58/2317.72 c #Conflicts: 1350000 | #Constraints: 24833
2514.39/2523.22 c #Conflicts: 1351000 | #Constraints: 25833
2514.39/2523.22 c #Conflicts: 1352000 | #Constraints: 26833
2514.39/2523.22 c #Conflicts: 1353000 | #Constraints: 27833
2514.39/2523.22 c #Conflicts: 1354000 | #Constraints: 28833
2514.39/2523.22 c #Conflicts: 1355000 | #Constraints: 29833
2514.39/2523.22 c #Conflicts: 1356000 | #Constraints: 30833
2514.39/2523.22 c #Conflicts: 1357000 | #Constraints: 31833
2514.39/2523.22 c #Conflicts: 1358000 | #Constraints: 32833
2514.39/2523.22 c #Conflicts: 1359000 | #Constraints: 33833
2514.39/2523.22 c #Conflicts: 1360000 | #Constraints: 34833
2514.39/2523.22 c #Conflicts: 1361000 | #Constraints: 35833
2514.39/2523.22 c #Conflicts: 1362000 | #Constraints: 36833
2514.39/2523.22 c #Conflicts: 1363000 | #Constraints: 37833
2514.39/2523.22 c #Conflicts: 1364000 | #Constraints: 38833
2514.39/2523.22 c #Conflicts: 1365000 | #Constraints: 39833
2514.39/2523.22 c #Conflicts: 1366000 | #Constraints: 40833
2514.39/2523.22 c #Conflicts: 1367000 | #Constraints: 41833
2514.39/2523.22 c #Conflicts: 1368000 | #Constraints: 42833
2514.39/2523.22 c #Conflicts: 1369000 | #Constraints: 43833
2514.39/2523.22 c #Conflicts: 1370000 | #Constraints: 44833
2514.39/2523.22 c #Conflicts: 1371000 | #Constraints: 45833
2514.39/2523.22 c INPROCESSING
2514.39/2523.22 c GARBAGE COLLECT
2514.39/2523.22 c #Conflicts: 1372000 | #Constraints: 23633
2514.39/2523.22 c #Conflicts: 1373000 | #Constraints: 24633
2514.39/2523.22 c #Conflicts: 1374000 | #Constraints: 25633
2514.39/2523.22 c #Conflicts: 1375000 | #Constraints: 26633
2514.39/2523.22 c #Conflicts: 1376000 | #Constraints: 27633
2514.39/2523.22 c #Conflicts: 1377000 | #Constraints: 28633
2514.39/2523.22 c #Conflicts: 1378000 | #Constraints: 29633
2514.39/2523.22 c #Conflicts: 1379000 | #Constraints: 30633
2514.39/2523.22 c #Conflicts: 1380000 | #Constraints: 31633
2514.39/2523.22 c #Conflicts: 1381000 | #Constraints: 32633
2514.39/2523.22 c #Conflicts: 1382000 | #Constraints: 33633
2514.39/2523.22 c #Conflicts: 1383000 | #Constraints: 34633
2514.39/2523.22 c #Conflicts: 1384000 | #Constraints: 35633
2514.39/2523.22 c #Conflicts: 1385000 | #Constraints: 36633
2514.39/2523.22 c #Conflicts: 1386000 | #Constraints: 37633
2514.39/2523.22 c #Conflicts: 1387000 | #Constraints: 38633
2514.39/2523.22 c #Conflicts: 1388000 | #Constraints: 39633
2514.39/2523.22 c #Conflicts: 1389000 | #Constraints: 40633
2514.39/2523.22 c #Conflicts: 1390000 | #Constraints: 41633
2514.39/2523.22 c #Conflicts: 1391000 | #Constraints: 42633
2514.39/2523.22 c #Conflicts: 1392000 | #Constraints: 43633
2514.39/2523.22 c #Conflicts: 1393000 | #Constraints: 44633
2514.39/2523.22 c #Conflicts: 1394000 | #Constraints: 45633
2514.39/2523.22 c #Conflicts: 1395000 | #Constraints: 46633
2514.39/2523.22 c INPROCESSING
2514.39/2523.22 c GARBAGE COLLECT
2514.39/2523.22 c #Conflicts: 1396000 | #Constraints: 24232
2514.39/2523.22 c #Conflicts: 1397000 | #Constraints: 25232
2514.39/2523.22 c #Conflicts: 1398000 | #Constraints: 26232
2514.39/2523.22 c #Conflicts: 1399000 | #Constraints: 27232
2514.39/2523.22 c #Conflicts: 1400000 | #Constraints: 28232
2514.39/2523.22 c #Conflicts: 1401000 | #Constraints: 29232
2514.39/2523.22 c #Conflicts: 1402000 | #Constraints: 30232
2514.39/2523.22 c #Conflicts: 1403000 | #Constraints: 31232
2514.39/2523.22 c #Conflicts: 1404000 | #Constraints: 32232
2514.39/2523.22 c #Conflicts: 1405000 | #Constraints: 33232
2514.39/2523.22 c #Conflicts: 1406000 | #Constraints: 34232
2514.39/2523.22 c #Conflicts: 1407000 | #Constraints: 35232
2514.39/2523.22 c #Conflicts: 1408000 | #Constraints: 36232
2514.39/2523.22 c #Conflicts: 1409000 | #Constraints: 37232
2514.39/2523.22 c #Conflicts: 1410000 | #Constraints: 38232
2514.39/2523.22 c #Conflicts: 1411000 | #Constraints: 39232
2514.39/2523.22 c #Conflicts: 1412000 | #Constraints: 40232
2514.39/2523.22 c #Conflicts: 1413000 | #Constraints: 41232
2514.39/2523.22 c #Conflicts: 1414000 | #Constraints: 42232
2514.39/2523.22 c #Conflicts: 1415000 | #Constraints: 43232
2514.39/2523.22 c #Conflicts: 1416000 | #Constraints: 44232
2514.39/2523.22 c #Conflicts: 1417000 | #Constraints: 45232
2514.39/2523.22 c #Conflicts: 1418000 | #Constraints: 46232
2514.39/2523.22 c #Conflicts: 1419000 | #Constraints: 47232
2514.39/2523.22 c INPROCESSING
2514.39/2523.22 c GARBAGE COLLECT
2514.39/2523.22 c #Conflicts: 1420000 | #Constraints: 24629
2514.39/2523.22 c #Conflicts: 1421000 | #Constraints: 25629
2514.39/2523.22 c #Conflicts: 1422000 | #Constraints: 26629
2514.39/2523.22 c #Conflicts: 1423000 | #Constraints: 27629
2514.39/2523.22 c #Conflicts: 1424000 | #Constraints: 28629
2514.39/2523.22 c #Conflicts: 1425000 | #Constraints: 29629
2514.39/2523.22 c #Conflicts: 1426000 | #Constraints: 30629
2514.39/2523.22 c #Conflicts: 1427000 | #Constraints: 31629
2727.37/2736.92 c #Conflicts: 1428000 | #Constraints: 32629
2727.37/2736.92 c #Conflicts: 1429000 | #Constraints: 33629
2727.37/2736.92 c #Conflicts: 1430000 | #Constraints: 34629
2727.37/2736.92 c #Conflicts: 1431000 | #Constraints: 35629
2727.37/2736.92 c #Conflicts: 1432000 | #Constraints: 36629
2727.37/2736.92 c #Conflicts: 1433000 | #Constraints: 37629
2727.37/2736.92 c #Conflicts: 1434000 | #Constraints: 38629
2727.37/2736.92 c #Conflicts: 1435000 | #Constraints: 39629
2727.37/2736.92 c #Conflicts: 1436000 | #Constraints: 40629
2727.37/2736.92 c #Conflicts: 1437000 | #Constraints: 41629
2727.37/2736.92 c #Conflicts: 1438000 | #Constraints: 42629
2727.37/2736.92 c #Conflicts: 1439000 | #Constraints: 43629
2727.37/2736.92 c #Conflicts: 1440000 | #Constraints: 44629
2727.37/2736.92 c #Conflicts: 1441000 | #Constraints: 45629
2727.37/2736.92 c #Conflicts: 1442000 | #Constraints: 46629
2727.37/2736.92 c #Conflicts: 1443000 | #Constraints: 47629
2727.37/2736.92 c INPROCESSING
2727.37/2736.92 c GARBAGE COLLECT
2727.37/2736.92 c #Conflicts: 1444000 | #Constraints: 24826
2727.37/2736.92 c #Conflicts: 1445000 | #Constraints: 25826
2727.37/2736.92 c #Conflicts: 1446000 | #Constraints: 26826
2727.37/2736.92 c #Conflicts: 1447000 | #Constraints: 27826
2727.37/2736.92 c #Conflicts: 1448000 | #Constraints: 28826
2727.37/2736.92 c #Conflicts: 1449000 | #Constraints: 29826
2727.37/2736.92 c #Conflicts: 1450000 | #Constraints: 30826
2727.37/2736.92 c #Conflicts: 1451000 | #Constraints: 31826
2727.37/2736.92 c #Conflicts: 1452000 | #Constraints: 32826
2727.37/2736.92 c #Conflicts: 1453000 | #Constraints: 33826
2727.37/2736.92 c #Conflicts: 1454000 | #Constraints: 34826
2727.37/2736.92 c #Conflicts: 1455000 | #Constraints: 35826
2727.37/2736.92 c #Conflicts: 1456000 | #Constraints: 36826
2727.37/2736.92 c #Conflicts: 1457000 | #Constraints: 37826
2727.37/2736.92 c #Conflicts: 1458000 | #Constraints: 38826
2727.37/2736.92 c #Conflicts: 1459000 | #Constraints: 39826
2727.37/2736.92 c #Conflicts: 1460000 | #Constraints: 40826
2727.37/2736.92 c #Conflicts: 1461000 | #Constraints: 41826
2727.37/2736.92 c #Conflicts: 1462000 | #Constraints: 42826
2727.37/2736.92 c #Conflicts: 1463000 | #Constraints: 43826
2727.37/2736.92 c #Conflicts: 1464000 | #Constraints: 44826
2727.37/2736.92 c #Conflicts: 1465000 | #Constraints: 45826
2727.37/2736.92 c #Conflicts: 1466000 | #Constraints: 46826
2727.37/2736.92 c #Conflicts: 1467000 | #Constraints: 47826
2727.37/2736.92 c INPROCESSING
2727.37/2736.92 c GARBAGE COLLECT
2727.37/2736.92 c #Conflicts: 1468000 | #Constraints: 24827
2727.37/2736.92 c #Conflicts: 1469000 | #Constraints: 25827
2727.37/2736.92 c #Conflicts: 1470000 | #Constraints: 26827
2727.37/2736.92 c #Conflicts: 1471000 | #Constraints: 27827
2727.37/2736.92 c #Conflicts: 1472000 | #Constraints: 28827
2727.37/2736.92 c #Conflicts: 1473000 | #Constraints: 29827
2727.37/2736.92 c #Conflicts: 1474000 | #Constraints: 30827
2727.37/2736.92 c #Conflicts: 1475000 | #Constraints: 31827
2727.37/2736.92 c #Conflicts: 1476000 | #Constraints: 32827
2727.37/2736.92 c #Conflicts: 1477000 | #Constraints: 33827
2727.37/2736.92 c #Conflicts: 1478000 | #Constraints: 34827
2727.37/2736.92 c #Conflicts: 1479000 | #Constraints: 35827
2727.37/2736.92 c #Conflicts: 1480000 | #Constraints: 36827
2727.37/2736.92 c #Conflicts: 1481000 | #Constraints: 37827
2727.37/2736.92 c #Conflicts: 1482000 | #Constraints: 38827
2727.37/2736.92 c #Conflicts: 1483000 | #Constraints: 39827
2727.37/2736.92 c #Conflicts: 1484000 | #Constraints: 40827
2727.37/2736.92 c #Conflicts: 1485000 | #Constraints: 41827
2727.37/2736.92 c #Conflicts: 1486000 | #Constraints: 42827
2727.37/2736.92 c #Conflicts: 1487000 | #Constraints: 43827
2727.37/2736.92 c #Conflicts: 1488000 | #Constraints: 44827
2727.37/2736.92 c #Conflicts: 1489000 | #Constraints: 45827
2727.37/2736.92 c #Conflicts: 1490000 | #Constraints: 46827
2727.37/2736.92 c #Conflicts: 1491000 | #Constraints: 47827
2727.37/2736.92 c INPROCESSING
2727.37/2736.92 c GARBAGE COLLECT
2727.37/2736.92 c #Conflicts: 1492000 | #Constraints: 24624
2727.37/2736.92 c #Conflicts: 1493000 | #Constraints: 25624
2727.37/2736.92 c #Conflicts: 1494000 | #Constraints: 26624
2727.37/2736.92 c #Conflicts: 1495000 | #Constraints: 27624
2727.37/2736.92 c #Conflicts: 1496000 | #Constraints: 28624
2727.37/2736.92 c #Conflicts: 1497000 | #Constraints: 29624
2727.37/2736.92 c #Conflicts: 1498000 | #Constraints: 30624
2727.37/2736.92 c #Conflicts: 1499000 | #Constraints: 31624
2727.37/2736.92 c #Conflicts: 1500000 | #Constraints: 32624
2727.37/2736.92 c #Conflicts: 1501000 | #Constraints: 33624
2727.37/2736.92 c #Conflicts: 1502000 | #Constraints: 34624
2727.37/2736.92 c #Conflicts: 1503000 | #Constraints: 35624
2727.37/2736.92 c #Conflicts: 1504000 | #Constraints: 36624
2965.06/2975.41 c #Conflicts: 1505000 | #Constraints: 37624
2965.06/2975.41 c #Conflicts: 1506000 | #Constraints: 38624
2965.06/2975.41 c #Conflicts: 1507000 | #Constraints: 39624
2965.06/2975.41 c #Conflicts: 1508000 | #Constraints: 40624
2965.06/2975.41 c #Conflicts: 1509000 | #Constraints: 41624
2965.06/2975.41 c #Conflicts: 1510000 | #Constraints: 42624
2965.06/2975.41 c #Conflicts: 1511000 | #Constraints: 43624
2965.06/2975.41 c #Conflicts: 1512000 | #Constraints: 44624
2965.06/2975.41 c #Conflicts: 1513000 | #Constraints: 45624
2965.06/2975.41 c #Conflicts: 1514000 | #Constraints: 46624
2965.06/2975.41 c #Conflicts: 1515000 | #Constraints: 47624
2965.06/2975.41 c #Conflicts: 1516000 | #Constraints: 48624
2965.06/2975.41 c INPROCESSING
2965.06/2975.41 c GARBAGE COLLECT
2965.06/2975.41 c #Conflicts: 1517000 | #Constraints: 25226
2965.06/2975.41 c #Conflicts: 1518000 | #Constraints: 26226
2965.06/2975.41 c #Conflicts: 1519000 | #Constraints: 27226
2965.06/2975.41 c #Conflicts: 1520000 | #Constraints: 28226
2965.06/2975.41 c #Conflicts: 1521000 | #Constraints: 29226
2965.06/2975.41 c #Conflicts: 1522000 | #Constraints: 30226
2965.06/2975.41 c #Conflicts: 1523000 | #Constraints: 31226
2965.06/2975.41 c #Conflicts: 1524000 | #Constraints: 32226
2965.06/2975.41 c #Conflicts: 1525000 | #Constraints: 33226
2965.06/2975.41 c #Conflicts: 1526000 | #Constraints: 34226
2965.06/2975.41 c #Conflicts: 1527000 | #Constraints: 35226
2965.06/2975.41 c #Conflicts: 1528000 | #Constraints: 36226
2965.06/2975.41 c #Conflicts: 1529000 | #Constraints: 37226
2965.06/2975.41 c #Conflicts: 1530000 | #Constraints: 38226
2965.06/2975.41 c #Conflicts: 1531000 | #Constraints: 39226
2965.06/2975.41 c #Conflicts: 1532000 | #Constraints: 40226
2965.06/2975.41 c #Conflicts: 1533000 | #Constraints: 41226
2965.06/2975.41 c #Conflicts: 1534000 | #Constraints: 42226
2965.06/2975.41 c #Conflicts: 1535000 | #Constraints: 43226
2965.06/2975.41 c #Conflicts: 1536000 | #Constraints: 44226
2965.06/2975.41 c #Conflicts: 1537000 | #Constraints: 45226
2965.06/2975.41 c #Conflicts: 1538000 | #Constraints: 46226
2965.06/2975.41 c #Conflicts: 1539000 | #Constraints: 47226
2965.06/2975.41 c #Conflicts: 1540000 | #Constraints: 48226
2965.06/2975.41 c #Conflicts: 1541000 | #Constraints: 49226
2965.06/2975.41 c INPROCESSING
2965.06/2975.41 c GARBAGE COLLECT
2965.06/2975.41 c #Conflicts: 1542000 | #Constraints: 25625
2965.06/2975.41 c #Conflicts: 1543000 | #Constraints: 26625
2965.06/2975.41 c #Conflicts: 1544000 | #Constraints: 27625
2965.06/2975.41 c #Conflicts: 1545000 | #Constraints: 28625
2965.06/2975.41 c #Conflicts: 1546000 | #Constraints: 29625
2965.06/2975.41 c #Conflicts: 1547000 | #Constraints: 30625
2965.06/2975.41 c #Conflicts: 1548000 | #Constraints: 31625
2965.06/2975.41 c #Conflicts: 1549000 | #Constraints: 32625
2965.06/2975.41 c #Conflicts: 1550000 | #Constraints: 33625
2965.06/2975.41 c #Conflicts: 1551000 | #Constraints: 34625
2965.06/2975.41 c #Conflicts: 1552000 | #Constraints: 35625
2965.06/2975.41 c #Conflicts: 1553000 | #Constraints: 36625
2965.06/2975.41 c #Conflicts: 1554000 | #Constraints: 37625
2965.06/2975.41 c #Conflicts: 1555000 | #Constraints: 38625
2965.06/2975.41 c #Conflicts: 1556000 | #Constraints: 39625
2965.06/2975.41 c #Conflicts: 1557000 | #Constraints: 40625
2965.06/2975.41 c #Conflicts: 1558000 | #Constraints: 41625
2965.06/2975.41 c #Conflicts: 1559000 | #Constraints: 42625
2965.06/2975.41 c #Conflicts: 1560000 | #Constraints: 43625
2965.06/2975.41 c #Conflicts: 1561000 | #Constraints: 44625
2965.06/2975.41 c #Conflicts: 1562000 | #Constraints: 45625
2965.06/2975.41 c #Conflicts: 1563000 | #Constraints: 46625
2965.06/2975.41 c #Conflicts: 1564000 | #Constraints: 47625
2965.06/2975.41 c #Conflicts: 1565000 | #Constraints: 48625
2965.06/2975.41 c #Conflicts: 1566000 | #Constraints: 49625
2965.06/2975.41 c INPROCESSING
2965.06/2975.41 c GARBAGE COLLECT
2965.06/2975.41 c #Conflicts: 1567000 | #Constraints: 25826
2965.06/2975.41 c #Conflicts: 1568000 | #Constraints: 26826
2965.06/2975.41 c #Conflicts: 1569000 | #Constraints: 27826
2965.06/2975.41 c #Conflicts: 1570000 | #Constraints: 28826
2965.06/2975.41 c #Conflicts: 1571000 | #Constraints: 29826
2965.06/2975.41 c #Conflicts: 1572000 | #Constraints: 30826
2965.06/2975.41 c #Conflicts: 1573000 | #Constraints: 31826
2965.06/2975.41 c #Conflicts: 1574000 | #Constraints: 32826
2965.06/2975.41 c #Conflicts: 1575000 | #Constraints: 33826
2965.06/2975.41 c #Conflicts: 1576000 | #Constraints: 34826
2965.06/2975.41 c #Conflicts: 1577000 | #Constraints: 35826
2965.06/2975.41 c #Conflicts: 1578000 | #Constraints: 36826
2965.06/2975.41 c #Conflicts: 1579000 | #Constraints: 37826
2965.06/2975.41 c #Conflicts: 1580000 | #Constraints: 38826
2965.06/2975.41 c #Conflicts: 1581000 | #Constraints: 39826
3228.57/3239.88 c #Conflicts: 1582000 | #Constraints: 40826
3228.57/3239.88 c #Conflicts: 1583000 | #Constraints: 41826
3228.57/3239.88 c #Conflicts: 1584000 | #Constraints: 42826
3228.57/3239.88 c #Conflicts: 1585000 | #Constraints: 43826
3228.57/3239.88 c #Conflicts: 1586000 | #Constraints: 44826
3228.57/3239.88 c #Conflicts: 1587000 | #Constraints: 45826
3228.57/3239.88 c #Conflicts: 1588000 | #Constraints: 46826
3228.57/3239.88 c #Conflicts: 1589000 | #Constraints: 47826
3228.57/3239.88 c #Conflicts: 1590000 | #Constraints: 48826
3228.57/3239.88 c #Conflicts: 1591000 | #Constraints: 49826
3228.57/3239.88 c INPROCESSING
3228.57/3239.88 c GARBAGE COLLECT
3228.57/3239.88 c #Conflicts: 1592000 | #Constraints: 25828
3228.57/3239.88 c #Conflicts: 1593000 | #Constraints: 26828
3228.57/3239.88 c #Conflicts: 1594000 | #Constraints: 27828
3228.57/3239.88 c #Conflicts: 1595000 | #Constraints: 28828
3228.57/3239.88 c #Conflicts: 1596000 | #Constraints: 29828
3228.57/3239.88 c #Conflicts: 1597000 | #Constraints: 30828
3228.57/3239.88 c #Conflicts: 1598000 | #Constraints: 31828
3228.57/3239.88 c #Conflicts: 1599000 | #Constraints: 32828
3228.57/3239.88 c #Conflicts: 1600000 | #Constraints: 33828
3228.57/3239.88 c #Conflicts: 1601000 | #Constraints: 34828
3228.57/3239.88 c #Conflicts: 1602000 | #Constraints: 35828
3228.57/3239.88 c #Conflicts: 1603000 | #Constraints: 36828
3228.57/3239.88 c #Conflicts: 1604000 | #Constraints: 37828
3228.57/3239.88 c #Conflicts: 1605000 | #Constraints: 38828
3228.57/3239.88 c #Conflicts: 1606000 | #Constraints: 39828
3228.57/3239.88 c #Conflicts: 1607000 | #Constraints: 40828
3228.57/3239.88 c #Conflicts: 1608000 | #Constraints: 41828
3228.57/3239.88 c #Conflicts: 1609000 | #Constraints: 42828
3228.57/3239.88 c #Conflicts: 1610000 | #Constraints: 43828
3228.57/3239.88 c #Conflicts: 1611000 | #Constraints: 44828
3228.57/3239.88 c #Conflicts: 1612000 | #Constraints: 45828
3228.57/3239.88 c #Conflicts: 1613000 | #Constraints: 46828
3228.57/3239.88 c #Conflicts: 1614000 | #Constraints: 47828
3228.57/3239.88 c #Conflicts: 1615000 | #Constraints: 48828
3228.57/3239.88 c #Conflicts: 1616000 | #Constraints: 49828
3228.57/3239.88 c INPROCESSING
3228.57/3239.88 c GARBAGE COLLECT
3228.57/3239.88 c #Conflicts: 1617000 | #Constraints: 25628
3228.57/3239.88 c #Conflicts: 1618000 | #Constraints: 26628
3228.57/3239.88 c #Conflicts: 1619000 | #Constraints: 27628
3228.57/3239.88 c #Conflicts: 1620000 | #Constraints: 28628
3228.57/3239.88 c #Conflicts: 1621000 | #Constraints: 29628
3228.57/3239.88 c #Conflicts: 1622000 | #Constraints: 30628
3228.57/3239.88 c #Conflicts: 1623000 | #Constraints: 31628
3228.57/3239.88 c #Conflicts: 1624000 | #Constraints: 32628
3228.57/3239.88 c #Conflicts: 1625000 | #Constraints: 33628
3228.57/3239.88 c #Conflicts: 1626000 | #Constraints: 34628
3228.57/3239.88 c #Conflicts: 1627000 | #Constraints: 35628
3228.57/3239.88 c #Conflicts: 1628000 | #Constraints: 36628
3228.57/3239.88 c #Conflicts: 1629000 | #Constraints: 37628
3228.57/3239.88 c #Conflicts: 1630000 | #Constraints: 38628
3228.57/3239.88 c #Conflicts: 1631000 | #Constraints: 39628
3228.57/3239.88 c #Conflicts: 1632000 | #Constraints: 40628
3228.57/3239.88 c #Conflicts: 1633000 | #Constraints: 41628
3228.57/3239.88 c #Conflicts: 1634000 | #Constraints: 42628
3228.57/3239.88 c #Conflicts: 1635000 | #Constraints: 43628
3228.57/3239.88 c #Conflicts: 1636000 | #Constraints: 44628
3228.57/3239.88 c #Conflicts: 1637000 | #Constraints: 45628
3228.57/3239.88 c #Conflicts: 1638000 | #Constraints: 46628
3228.57/3239.88 c #Conflicts: 1639000 | #Constraints: 47628
3228.57/3239.88 c #Conflicts: 1640000 | #Constraints: 48628
3228.57/3239.88 c #Conflicts: 1641000 | #Constraints: 49628
3228.57/3239.88 c #Conflicts: 1642000 | #Constraints: 50628
3228.57/3239.88 c INPROCESSING
3228.57/3239.88 c GARBAGE COLLECT
3228.57/3239.88 c #Conflicts: 1643000 | #Constraints: 26230
3228.57/3239.88 c #Conflicts: 1644000 | #Constraints: 27230
3228.57/3239.88 c #Conflicts: 1645000 | #Constraints: 28230
3228.57/3239.88 c #Conflicts: 1646000 | #Constraints: 29230
3228.57/3239.88 c #Conflicts: 1647000 | #Constraints: 30230
3228.57/3239.88 c #Conflicts: 1648000 | #Constraints: 31230
3228.57/3239.88 c #Conflicts: 1649000 | #Constraints: 32230
3228.57/3239.88 c #Conflicts: 1650000 | #Constraints: 33230
3228.57/3239.88 c #Conflicts: 1651000 | #Constraints: 34230
3228.57/3239.88 c #Conflicts: 1652000 | #Constraints: 35230
3228.57/3239.88 c #Conflicts: 1653000 | #Constraints: 36230
3228.57/3239.88 c #Conflicts: 1654000 | #Constraints: 37230
3228.57/3239.88 c #Conflicts: 1655000 | #Constraints: 38230
3228.57/3239.88 c #Conflicts: 1656000 | #Constraints: 39230
3228.57/3239.88 c #Conflicts: 1657000 | #Constraints: 40230
3464.07/3476.19 c #Conflicts: 1658000 | #Constraints: 41230
3464.07/3476.19 c #Conflicts: 1659000 | #Constraints: 42230
3464.07/3476.19 c #Conflicts: 1660000 | #Constraints: 43230
3464.07/3476.19 c #Conflicts: 1661000 | #Constraints: 44230
3464.07/3476.19 c #Conflicts: 1662000 | #Constraints: 45230
3464.07/3476.19 c #Conflicts: 1663000 | #Constraints: 46230
3464.07/3476.19 c #Conflicts: 1664000 | #Constraints: 47230
3464.07/3476.19 c #Conflicts: 1665000 | #Constraints: 48230
3464.07/3476.19 c #Conflicts: 1666000 | #Constraints: 49230
3464.07/3476.19 c #Conflicts: 1667000 | #Constraints: 50230
3464.07/3476.19 c #Conflicts: 1668000 | #Constraints: 51230
3464.07/3476.19 c INPROCESSING
3464.07/3476.19 c GARBAGE COLLECT
3464.07/3476.19 c #Conflicts: 1669000 | #Constraints: 26627
3464.07/3476.19 c #Conflicts: 1670000 | #Constraints: 27627
3464.07/3476.19 c #Conflicts: 1671000 | #Constraints: 28627
3464.07/3476.19 c #Conflicts: 1672000 | #Constraints: 29627
3464.07/3476.19 c #Conflicts: 1673000 | #Constraints: 30627
3464.07/3476.19 c #Conflicts: 1674000 | #Constraints: 31627
3464.07/3476.19 c #Conflicts: 1675000 | #Constraints: 32627
3464.07/3476.19 c #Conflicts: 1676000 | #Constraints: 33627
3464.07/3476.19 c #Conflicts: 1677000 | #Constraints: 34627
3464.07/3476.19 c #Conflicts: 1678000 | #Constraints: 35627
3464.07/3476.19 c #Conflicts: 1679000 | #Constraints: 36627
3464.07/3476.19 c #Conflicts: 1680000 | #Constraints: 37627
3464.07/3476.19 c #Conflicts: 1681000 | #Constraints: 38627
3464.07/3476.19 c #Conflicts: 1682000 | #Constraints: 39627
3464.07/3476.19 c #Conflicts: 1683000 | #Constraints: 40627
3464.07/3476.19 c #Conflicts: 1684000 | #Constraints: 41627
3464.07/3476.19 c #Conflicts: 1685000 | #Constraints: 42627
3464.07/3476.19 c #Conflicts: 1686000 | #Constraints: 43627
3464.07/3476.19 c #Conflicts: 1687000 | #Constraints: 44627
3464.07/3476.19 c #Conflicts: 1688000 | #Constraints: 45627
3464.07/3476.19 c #Conflicts: 1689000 | #Constraints: 46627
3464.07/3476.19 c #Conflicts: 1690000 | #Constraints: 47627
3464.07/3476.19 c #Conflicts: 1691000 | #Constraints: 48627
3464.07/3476.19 c #Conflicts: 1692000 | #Constraints: 49627
3464.07/3476.19 c #Conflicts: 1693000 | #Constraints: 50627
3464.07/3476.19 c #Conflicts: 1694000 | #Constraints: 51627
3464.07/3476.19 c INPROCESSING
3464.07/3476.19 c GARBAGE COLLECT
3464.07/3476.19 c #Conflicts: 1695000 | #Constraints: 26826
3464.07/3476.19 c #Conflicts: 1696000 | #Constraints: 27826
3464.07/3476.19 c #Conflicts: 1697000 | #Constraints: 28826
3464.07/3476.19 c #Conflicts: 1698000 | #Constraints: 29826
3464.07/3476.19 c #Conflicts: 1699000 | #Constraints: 30826
3464.07/3476.19 c #Conflicts: 1700000 | #Constraints: 31826
3464.07/3476.19 c #Conflicts: 1701000 | #Constraints: 32826
3464.07/3476.19 c #Conflicts: 1702000 | #Constraints: 33826
3464.07/3476.19 c #Conflicts: 1703000 | #Constraints: 34826
3464.07/3476.19 c #Conflicts: 1704000 | #Constraints: 35826
3464.07/3476.19 c #Conflicts: 1705000 | #Constraints: 36826
3464.07/3476.19 c #Conflicts: 1706000 | #Constraints: 37826
3464.07/3476.19 c #Conflicts: 1707000 | #Constraints: 38826
3464.07/3476.19 c #Conflicts: 1708000 | #Constraints: 39826
3464.07/3476.19 c #Conflicts: 1709000 | #Constraints: 40826
3464.07/3476.19 c #Conflicts: 1710000 | #Constraints: 41826
3464.07/3476.19 c #Conflicts: 1711000 | #Constraints: 42826
3464.07/3476.19 c #Conflicts: 1712000 | #Constraints: 43826
3464.07/3476.19 c #Conflicts: 1713000 | #Constraints: 44826
3464.07/3476.19 c #Conflicts: 1714000 | #Constraints: 45826
3464.07/3476.19 c #Conflicts: 1715000 | #Constraints: 46826
3464.07/3476.19 c #Conflicts: 1716000 | #Constraints: 47826
3464.07/3476.19 c #Conflicts: 1717000 | #Constraints: 48826
3464.07/3476.19 c #Conflicts: 1718000 | #Constraints: 49826
3464.07/3476.19 c #Conflicts: 1719000 | #Constraints: 50826
3464.07/3476.19 c #Conflicts: 1720000 | #Constraints: 51826
3464.07/3476.19 c INPROCESSING
3464.07/3476.19 c GARBAGE COLLECT
3464.07/3476.19 c #Conflicts: 1721000 | #Constraints: 26827
3464.07/3476.19 c #Conflicts: 1722000 | #Constraints: 27827
3464.07/3476.19 c #Conflicts: 1723000 | #Constraints: 28827
3464.07/3476.19 c #Conflicts: 1724000 | #Constraints: 29827
3464.07/3476.19 c #Conflicts: 1725000 | #Constraints: 30827
3464.07/3476.19 c #Conflicts: 1726000 | #Constraints: 31827
3464.07/3476.19 c #Conflicts: 1727000 | #Constraints: 32827
3464.07/3476.19 c #Conflicts: 1728000 | #Constraints: 33827
3464.07/3476.19 c #Conflicts: 1729000 | #Constraints: 34827
3464.07/3476.19 c #Conflicts: 1730000 | #Constraints: 35827
3464.07/3476.19 c #Conflicts: 1731000 | #Constraints: 36827
3464.07/3476.19 c #Conflicts: 1732000 | #Constraints: 37827
3464.07/3476.19 c #Conflicts: 1733000 | #Constraints: 38827
3464.07/3476.19 c #Conflicts: 1734000 | #Constraints: 39827
3600.09/3612.60 c #Conflicts: 1735000 | #Constraints: 40827
3600.09/3612.60 c #Conflicts: 1736000 | #Constraints: 41827
3600.09/3612.60 c #Conflicts: 1737000 | #Constraints: 42827
3600.09/3612.60 c #Conflicts: 1738000 | #Constraints: 43827
3600.09/3612.60 c #Conflicts: 1739000 | #Constraints: 44827
3600.09/3612.60 c #Conflicts: 1740000 | #Constraints: 45827
3600.09/3612.60 c #Conflicts: 1741000 | #Constraints: 46827
3600.09/3612.60 c #Conflicts: 1742000 | #Constraints: 47827
3600.09/3612.60 c #Conflicts: 1743000 | #Constraints: 48827
3600.09/3612.60 c #Conflicts: 1744000 | #Constraints: 49827
3600.09/3612.60 c #Conflicts: 1745000 | #Constraints: 50827
3600.09/3612.60 c #Conflicts: 1746000 | #Constraints: 51827
3600.09/3612.60 c INPROCESSING
3600.09/3612.60 c GARBAGE COLLECT
3600.09/3612.60 c #Conflicts: 1747000 | #Constraints: 26625
3600.09/3612.60 c #Conflicts: 1748000 | #Constraints: 27625
3600.09/3612.60 c #Conflicts: 1749000 | #Constraints: 28625
3600.09/3612.60 c #Conflicts: 1750000 | #Constraints: 29625
3600.09/3612.60 c #Conflicts: 1751000 | #Constraints: 30625
3600.09/3612.60 c #Conflicts: 1752000 | #Constraints: 31625
3600.09/3612.60 c #Conflicts: 1753000 | #Constraints: 32625
3600.09/3612.60 c #Conflicts: 1754000 | #Constraints: 33625
3600.09/3612.60 c #Conflicts: 1755000 | #Constraints: 34625
3600.09/3612.60 c #Conflicts: 1756000 | #Constraints: 35625
3600.09/3612.60 c #Conflicts: 1757000 | #Constraints: 36625
3600.09/3612.60 c #Conflicts: 1758000 | #Constraints: 37625
3600.09/3612.60 c #Conflicts: 1759000 | #Constraints: 38625
3600.09/3612.60 c #Conflicts: 1760000 | #Constraints: 39625
3600.09/3612.60 c #Conflicts: 1761000 | #Constraints: 40625
3600.09/3612.60 c #Conflicts: 1762000 | #Constraints: 41625
3600.09/3612.60 c #Conflicts: 1763000 | #Constraints: 42625
3600.09/3612.60 c #Conflicts: 1764000 | #Constraints: 43625
3600.09/3612.60 c #Conflicts: 1765000 | #Constraints: 44625
3600.09/3612.60 c #Conflicts: 1766000 | #Constraints: 45625
3600.09/3612.60 c #Conflicts: 1767000 | #Constraints: 46625
3600.09/3612.60 c #Conflicts: 1768000 | #Constraints: 47625
3600.09/3612.60 c #Conflicts: 1769000 | #Constraints: 48625
3600.09/3612.60 c #Conflicts: 1770000 | #Constraints: 49625
3600.09/3612.60 c #Conflicts: 1771000 | #Constraints: 50625
3600.09/3612.60 c #Conflicts: 1772000 | #Constraints: 51625
3600.09/3612.60 c #Conflicts: 1773000 | #Constraints: 52625
3600.09/3612.60 c Program interrupted by user.
3600.09/3612.60 c cpu time 3591.6 s
3600.09/3612.60 c deterministic time 635530761146 6.36e+11
3600.09/3612.60 c optimization time 83.9227 s
3600.09/3612.60 c total solve time 3507.68 s
3600.09/3612.60 c core-guided solve time 3507.68 s
3600.09/3612.60 c propagation time 3449.68 s
3600.09/3612.60 c conflict analysis time 128.349 s
3600.09/3612.60 c propagations 20889807
3600.09/3612.60 c resolve steps 8233956
3600.09/3612.60 c decisions 3712109
3600.09/3612.60 c conflicts 1773166
3600.09/3612.60 c restarts 3439
3600.09/3612.60 c inprocessing phases 123
3600.09/3612.60 c input clauses 1
3600.09/3612.60 c input cardinalities 0
3600.09/3612.60 c input general constraints 16
3600.09/3612.60 c input average constraint length 65.47
3600.09/3612.60 c input average constraint degree 1602.06
3600.09/3612.60 c learned clauses 810431
3600.09/3612.60 c learned cardinalities 0
3600.09/3612.60 c learned general constraints 962734
3600.09/3612.60 c learned average constraint length 53.64
3600.09/3612.60 c learned average constraint degree 908879.08
3600.09/3612.60 c watched constraints 943824
3600.09/3612.60 c counting constraints 18926
3600.09/3612.60 c gcd simplifications 729102
3600.09/3612.60 c detected cardinalities 0
3600.09/3612.60 c weakened non-implied lits 16937718
3600.09/3612.60 c weakened non-implying lits 936205
3600.09/3612.60 c original variables 71
3600.09/3612.60 c clausal propagations 414024
3600.09/3612.60 c cardinality propagations 0
3600.09/3612.60 c watched propagations 10030793
3600.09/3612.60 c counting propagations 9205008
3600.09/3612.60 c watch lookups 34819384298
3600.09/3612.60 c watch backjump lookups 18641648101
3600.09/3612.60 c watch checks 463373256642
3600.09/3612.60 c propagation checks 117993781760
3600.09/3612.60 c constraint additions 651713417
3600.09/3612.60 c trail pops 26375011
3600.09/3612.60 c formula constraints 17
3600.09/3612.60 c learned constraints 1773165
3600.09/3612.60 c bound constraints 0
3600.09/3612.60 c core-guided constraints 0
3600.09/3612.60 c encountered formula constraints 2429686
3600.09/3612.60 c encountered learned constraints 7577436
3600.09/3612.60 c encountered bound constraints 0
3600.09/3612.60 c encountered core-guided constraints 0
3600.09/3612.60 c LP total time 0 s
3600.09/3612.60 c LP solve time 0 s
3600.09/3612.60 c LP constraints added 0
3600.09/3612.60 c LP constraints removed 0
3600.09/3612.60 c LP pivots internal 0
3600.09/3612.60 c LP pivots root 0
3600.09/3612.60 c LP calls 0
3600.09/3612.60 c LP optimalities 0
3600.09/3612.60 c LP no pivot count 0
3600.09/3612.60 c LP infeasibilities 0
3600.09/3612.60 c LP valid Farkas constraints 0
3600.09/3612.60 c LP learned Farkas constraints 0
3600.09/3612.60 c LP basis resets 0
3600.09/3612.60 c LP cycling count 0
3600.09/3612.60 c LP singular count 0
3600.09/3612.60 c LP no primal count 0
3600.09/3612.60 c LP no farkas count 0
3600.09/3612.60 c LP other issue count 0
3600.09/3612.60 c LP Gomory cuts 0
3600.09/3612.60 c LP learned cuts 0
3600.09/3612.60 c LP deleted cuts 0
3600.09/3612.60 c LP encountered Gomory constraints 0
3600.09/3612.60 c LP encountered Farkas constraints 0
3600.09/3612.60 c LP encountered learned Farkas constraints 0
3600.09/3612.60 c CG auxiliary variables introduced 0
3600.09/3612.60 c CG solutions found 0
3600.09/3612.60 c CG cores constructed 0
3600.09/3612.60 c CG core cardinality constraints returned 0
3600.09/3612.60 c CG unit cores 0
3600.09/3612.60 c CG single cores 0
3600.09/3612.60 c CG blocks removed during cardinality reduction 0
3600.09/3612.60 c CG first core best 0
3600.09/3612.60 c CG decision core best 0
3600.09/3612.60 c CG core reduction tie 0
3600.09/3612.60 c CG core degree average 0.00
3600.09/3612.60 c CG core slack average 0.00
3600.09/3612.60 c CG exhausted 0
3600.09/3612.60 c CG exhaust time 0 s
3600.09/3612.60 c CG trimmed 0
3600.09/3612.60 c CG trim time 0 s
3600.09/3612.60 c CG minimized 0
3600.09/3612.60 c CG minimize time 0 s
3600.09/3612.60 c CG am1 prop time 0 s
3600.09/3612.60 c CG # am1s reformulated 0
3600.09/3612.60 c CG lower bound derived from am1s 0
3600.09/3612.60 c CG # clausal cores 0
3600.09/3612.60 c CG # cardinality cores 0
3600.09/3612.60 c CG # pb cores 0
3600.09/3612.60 c CG # pb reforms 0
3600.09/3612.60 c CG # cores discarded because of pb reform 0
3600.09/3612.60 d LOWERBOUND 0
3600.09/3612.60 d NCORES 0
3600.09/3612.60 d NPBCORES 0
3600.09/3612.60 d NPBREFORM 0
3600.09/3612.60 d NTRIMMED 0
3600.09/3612.60 d NEXHAUSTED 0
3600.09/3612.60 d NAM1S 0
3600.09/3612.60 d AM1LB 0
3600.09/3612.60 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: 63931 MiB (61183 MiB free)
memory of node 1: 64510 MiB (61637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454344-1721470955/watcher-4454344-1721470955 -o /tmp/evaluation-result-4454344-1721470955/solver-4454344-1721470955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064619 --watchdog 3760 pb-oll-rs HOME/instance-4454344-1721470955.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1064679, runsolver pid=1064665
[startup+0.10014 s]*
/proc/loadavg: 1.13 1.25 2.10 9/260 1064684
/proc/meminfo: memFree=125762720/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=39184 memory=7036 CPUtime=0.1 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 513 0 0 0 9 1 0 0 20 0 1 0 199254689 40124416 1759 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 9796 1759 1419 291 0 1330 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39184 KiB
Current children cumulated memory: 7036 KiB
[startup+0.206532 s]*
/proc/loadavg: 1.13 1.25 2.10 6/260 1064684
/proc/meminfo: memFree=125760776/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=39316 memory=7480 CPUtime=0.2 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 594 0 0 0 19 1 0 0 20 0 1 0 199254689 40259584 1870 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 9829 1870 1467 291 0 1363 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39316 KiB
Current children cumulated memory: 7480 KiB
[startup+0.305181 s]*
/proc/loadavg: 1.13 1.25 2.10 6/260 1064684
/proc/meminfo: memFree=125758052/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=39588 memory=8068 CPUtime=0.3 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 751 0 0 0 28 2 0 0 20 0 1 0 199254689 40538112 2017 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 9897 2017 1483 291 0 1431 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39588 KiB
Current children cumulated memory: 8068 KiB
[startup+0.700141 s]
/proc/loadavg: 1.13 1.25 2.10 9/260 1064684
/proc/meminfo: memFree=125753692/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=39860 memory=10904 CPUtime=0.69 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 895 0 0 0 66 3 0 0 20 0 1 0 199254689 40816640 2726 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 9965 2726 1483 291 0 1499 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39860 KiB
Current children cumulated memory: 10904 KiB
[startup+1.50014 s]
/proc/loadavg: 1.13 1.25 2.10 8/260 1064684
/proc/meminfo: memFree=125747132/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=40416 memory=11432 CPUtime=1.48 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 1030 0 0 0 144 4 0 0 20 0 1 0 199254689 41385984 2858 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 10104 2858 1483 291 0 1638 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40416 KiB
Current children cumulated memory: 11432 KiB
[startup+3.1057 s]
/proc/loadavg: 1.36 1.29 2.11 9/260 1064684
/proc/meminfo: memFree=125741688/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=41024 memory=12028 CPUtime=3.09 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 1177 0 0 0 303 6 0 0 20 0 1 0 199254689 42008576 3007 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 10256 3007 1483 291 0 1790 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41024 KiB
Current children cumulated memory: 12028 KiB
[startup+6.30014 s]
/proc/loadavg: 1.36 1.29 2.11 9/260 1064684
/proc/meminfo: memFree=125739908/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=41680 memory=12564 CPUtime=6.27 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 1317 0 0 0 618 9 0 0 20 0 1 0 199254689 42680320 3141 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 10420 3141 1483 291 0 1954 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41680 KiB
Current children cumulated memory: 12564 KiB
[startup+12.7001 s]
/proc/loadavg: 1.76 1.38 2.13 9/260 1064686
/proc/meminfo: memFree=125736288/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=42544 memory=13520 CPUtime=12.65 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 1551 0 0 0 1251 14 0 0 20 0 1 0 199254689 43565056 3380 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 10636 3380 1483 291 0 2170 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42544 KiB
Current children cumulated memory: 13520 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 1.47 2.15 8/260 1064687
/proc/meminfo: memFree=125728276/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=45876 memory=14820 CPUtime=25.42 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 1907 0 0 0 2519 23 0 0 20 0 1 0 199254689 46977024 3705 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 11469 3705 1483 291 0 3003 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 45876 KiB
Current children cumulated memory: 14820 KiB
[startup+51.1063 s]
/proc/loadavg: 2.81 1.69 2.21 9/260 1064692
/proc/meminfo: memFree=125714908/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=47732 memory=18396 CPUtime=50.95 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 2363 0 0 0 5055 40 0 0 20 0 1 0 199254689 48877568 4599 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 11933 4599 1483 291 0 3467 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 47732 KiB
Current children cumulated memory: 18396 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.11 2.33 9/260 1064703
/proc/meminfo: memFree=125700792/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=53880 memory=20404 CPUtime=101.99 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 2897 0 0 0 10130 69 0 0 20 0 1 0 199254689 55173120 5101 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 13470 5101 1483 291 0 5004 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 53880 KiB
Current children cumulated memory: 20404 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 2.49 2.44 9/260 1064713
/proc/meminfo: memFree=125688716/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=54984 memory=24360 CPUtime=161.8 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 3382 0 0 0 16077 103 0 0 20 0 1 0 199254689 56303616 6090 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 13746 6090 1483 291 0 5280 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 54984 KiB
Current children cumulated memory: 24360 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.78 2.55 9/259 1065108
/proc/meminfo: memFree=125682084/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=55576 memory=25136 CPUtime=221.6 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 3631 0 0 0 22026 134 0 0 20 0 1 0 199254689 56909824 6284 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 13894 6284 1483 291 0 5428 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 55576 KiB
Current children cumulated memory: 25136 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.02 2.65 9/259 1065118
/proc/meminfo: memFree=125675784/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=57160 memory=27136 CPUtime=281.39 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 4239 0 0 0 27980 159 0 0 20 0 1 0 199254689 58531840 6784 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 14290 6784 1483 291 0 5824 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 57160 KiB
Current children cumulated memory: 27136 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 3.27 2.76 9/257 1065128
/proc/meminfo: memFree=125663692/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=58056 memory=29252 CPUtime=341.19 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 4687 0 0 0 33933 186 0 0 20 0 1 0 199254689 59449344 7313 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 14514 7313 1483 291 0 6048 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 58056 KiB
Current children cumulated memory: 29252 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.42 2.84 9/259 1065310
/proc/meminfo: memFree=125658132/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=58344 memory=29740 CPUtime=400.99 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 4826 0 0 0 39892 207 0 0 20 0 1 0 199254689 59744256 7435 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 14586 7435 1483 291 0 6120 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 58344 KiB
Current children cumulated memory: 29740 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 3.57 2.93 9/259 1065321
/proc/meminfo: memFree=125651128/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=68340 memory=33856 CPUtime=460.78 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 5391 0 0 0 45856 222 0 0 20 0 1 0 199254689 69980160 8464 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 17085 8464 1483 291 0 8619 0
################
# More data... #
################
Current children cumulated memory: 50592 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.21 4.15 9/255 1066387
/proc/meminfo: memFree=125654000/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=88408 memory=52640 CPUtime=2852.34 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 8842 0 0 0 284501 733 0 0 20 0 1 0 199254689 90529792 13160 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 22102 13160 1483 291 0 13636 0
Current children cumulated CPU time: 2852.34 s
Current children cumulated vsize: 88408 KiB
Current children cumulated memory: 52640 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.20 4.15 9/257 1066402
/proc/meminfo: memFree=125650604/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=88848 memory=52716 CPUtime=2912.14 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 8913 0 0 0 290472 742 0 0 20 0 1 0 199254689 90980352 13179 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 22212 13179 1483 291 0 13746 0
Current children cumulated CPU time: 2912.14 s
Current children cumulated vsize: 88848 KiB
Current children cumulated memory: 52716 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.19 4.15 9/257 1066412
/proc/meminfo: memFree=125648428/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=89360 memory=53172 CPUtime=2971.94 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 9030 0 0 0 296443 751 0 0 20 0 1 0 199254689 91504640 13293 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 22340 13293 1483 291 0 13874 0
Current children cumulated CPU time: 2971.94 s
Current children cumulated vsize: 89360 KiB
Current children cumulated memory: 53172 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.19 4.15 9/257 1066423
/proc/meminfo: memFree=125644232/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=91736 memory=54744 CPUtime=3031.73 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 9433 0 0 0 302414 759 0 0 20 0 1 0 199254689 93937664 13686 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 22934 13686 1483 291 0 14468 0
Current children cumulated CPU time: 3031.73 s
Current children cumulated vsize: 91736 KiB
Current children cumulated memory: 54744 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.17 4.14 9/257 1066435
/proc/meminfo: memFree=125643708/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=91736 memory=54744 CPUtime=3091.53 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 9456 0 0 0 308385 768 0 0 20 0 1 0 199254689 93937664 13686 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 22934 13686 1483 291 0 14468 0
Current children cumulated CPU time: 3091.53 s
Current children cumulated vsize: 91736 KiB
Current children cumulated memory: 54744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.14 9/258 1066446
/proc/meminfo: memFree=125642524/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=91932 memory=54844 CPUtime=3151.32 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 9527 0 0 0 314354 778 0 0 20 0 1 0 199254689 94138368 13711 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 22983 13711 1483 291 0 14517 0
Current children cumulated CPU time: 3151.32 s
Current children cumulated vsize: 91932 KiB
Current children cumulated memory: 54844 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.14 9/256 1066456
/proc/meminfo: memFree=125638016/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=93472 memory=56080 CPUtime=3211.12 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 9825 0 0 0 320325 787 0 0 20 0 1 0 199254689 95715328 14020 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 23368 14020 1483 291 0 14902 0
Current children cumulated CPU time: 3211.12 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 56080 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.13 9/256 1066466
/proc/meminfo: memFree=125636524/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=93784 memory=56176 CPUtime=3270.92 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 9931 0 0 0 326294 798 0 0 20 0 1 0 199254689 96034816 14044 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 23446 14044 1483 291 0 14980 0
Current children cumulated CPU time: 3270.92 s
Current children cumulated vsize: 93784 KiB
Current children cumulated memory: 56176 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.13 9/256 1066477
/proc/meminfo: memFree=125633456/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=93784 memory=58284 CPUtime=3330.72 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 9957 0 0 0 332264 808 0 0 20 0 1 0 199254689 96034816 14571 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 23446 14571 1483 291 0 14980 0
Current children cumulated CPU time: 3330.72 s
Current children cumulated vsize: 93784 KiB
Current children cumulated memory: 58284 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.14 9/256 1066488
/proc/meminfo: memFree=125631536/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=93984 memory=58476 CPUtime=3390.51 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 10030 0 0 0 338233 818 0 0 20 0 1 0 199254689 96239616 14619 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 23496 14619 1483 291 0 15030 0
Current children cumulated CPU time: 3390.51 s
Current children cumulated vsize: 93984 KiB
Current children cumulated memory: 58476 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.13 9/255 1066498
/proc/meminfo: memFree=125630824/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=93984 memory=58476 CPUtime=3450.31 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 10053 0 0 0 344203 828 0 0 20 0 1 0 199254689 96239616 14619 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 23496 14619 1483 291 0 15030 0
Current children cumulated CPU time: 3450.31 s
Current children cumulated vsize: 93984 KiB
Current children cumulated memory: 58476 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.13 9/257 1066513
/proc/meminfo: memFree=125629920/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=94480 memory=58716 CPUtime=3510.11 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 10146 0 0 0 350175 836 0 0 20 0 1 0 199254689 96747520 14679 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 23620 14679 1483 291 0 15154 0
Current children cumulated CPU time: 3510.11 s
Current children cumulated vsize: 94480 KiB
Current children cumulated memory: 58716 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.12 9/257 1066523
/proc/meminfo: memFree=125623924/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=95012 memory=61288 CPUtime=3569.9 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 10307 0 0 0 356144 846 0 0 20 0 1 0 199254689 97292288 15322 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 23753 15322 1483 291 0 15287 0
Current children cumulated CPU time: 3569.9 s
Current children cumulated vsize: 95012 KiB
Current children cumulated memory: 61288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.14 4.14 4.12 5/258 1066668
/proc/meminfo: memFree=125493496/131524600 swapFree=130799640/131071996
[pid=1064679] ppid=1064665 vsize=95012 memory=61288 CPUtime=3600.09 cores=0,2
/proc/1064679/stat : 1064679 (pb-oll-rs) R 1064665 1064679 1064609 0 -1 4194304 10314 0 0 0 359159 850 0 0 20 0 1 0 199254689 97292288 15322 134679101440 4194304 5384485 140729419668304 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 35139584 140729419670549 140729419670626 140729419670626 140729419677643 0
/proc/1064679/statm: 23753 15322 1483 291 0 15287 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 95012 KiB
Current children cumulated memory: 61288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.6 s]
# the end of solver process 1064679 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.6 s, system=8.50881 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.6
CPU time (s): 3600.11
CPU user time (s): 3591.6
CPU system time (s): 8.50881
CPU usage (%): 99.6541
Max. virtual memory (cumulated for all children) (KiB): 95012
Max. memory (cumulated for all children) (KiB): 61288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.6
system time used= 8.50881
maximum resident set size= 61616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10331
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= 32
involuntary context switches= 25209
# summary of solver processes directly reported to runsolver:
# pid: 1064679
# total CPU time (s): 3600.11
# total CPU user time (s): 3591.6
# total CPU system time (s): 8.50881
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61071 second user time and 19.1518 second system time
The end
Begin job on nodeC014 at 2024-07-20 12:22:48
IDJOB=4454344
IDBENCH=147583
IDSOLVER=3082
FILE ID=nodeC014/4454344-1721470955
RUNJOBID= nodeC014-1721470968-1064619
SLURM_JOB_ID= 7545736
Free space on /tmp= 890036 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454344-1721470955/watcher-4454344-1721470955 -o /tmp/evaluation-result-4454344-1721470955/solver-4454344-1721470955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064619 --watchdog 3760 pb-oll-rs HOME/instance-4454344-1721470955.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b
RANDOM SEED=1703260688
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3552.818
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3577.736
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3367.128
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3387.580
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3527.618
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3545.576
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3436.614
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3404.831
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125770564 kB
MemAvailable: 129980884 kB
Buffers: 518416 kB
Cached: 4486976 kB
SwapCached: 12808 kB
Active: 1549092 kB
Inactive: 3578120 kB
Active(anon): 9064 kB
Inactive(anon): 142484 kB
Active(file): 1540028 kB
Inactive(file): 3435636 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 7932 kB
Writeback: 0 kB
AnonPages: 113276 kB
Mapped: 51064 kB
Shmem: 29720 kB
KReclaimable: 148608 kB
Slab: 251644 kB
SReclaimable: 148608 kB
SUnreclaim: 103036 kB
KernelStack: 3888 kB
PageTables: 9748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 742308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 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: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC014 at 2024-07-20 13:23:01