0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
299.44/300.48 c [STEP] preprocessing done, loading into solver
299.44/300.48 c [STEP] solving
299.44/300.48 c #variables 71 #constraints 16
333.98/335.06 c #Conflicts: 1000 | #Constraints: 1015
333.98/335.06 c #Conflicts: 2000 | #Constraints: 2015
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 3000 | #Constraints: 2021
333.98/335.06 c #Conflicts: 4000 | #Constraints: 3021
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 5000 | #Constraints: 2423
333.98/335.06 c #Conflicts: 6000 | #Constraints: 3423
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 7000 | #Constraints: 2422
333.98/335.06 c #Conflicts: 8000 | #Constraints: 3422
333.98/335.06 c #Conflicts: 9000 | #Constraints: 4422
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 10000 | #Constraints: 3124
333.98/335.06 c #Conflicts: 11000 | #Constraints: 4124
333.98/335.06 c #Conflicts: 12000 | #Constraints: 5124
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 13000 | #Constraints: 3575
333.98/335.06 c #Conflicts: 14000 | #Constraints: 4575
333.98/335.06 c #Conflicts: 15000 | #Constraints: 5575
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 16000 | #Constraints: 3802
333.98/335.06 c #Conflicts: 17000 | #Constraints: 4802
333.98/335.06 c #Conflicts: 18000 | #Constraints: 5802
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 19000 | #Constraints: 3817
333.98/335.06 c #Conflicts: 20000 | #Constraints: 4817
333.98/335.06 c #Conflicts: 21000 | #Constraints: 5817
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 22000 | #Constraints: 3621
333.98/335.06 c #Conflicts: 23000 | #Constraints: 4621
333.98/335.06 c #Conflicts: 24000 | #Constraints: 5621
333.98/335.06 c #Conflicts: 25000 | #Constraints: 6621
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 26000 | #Constraints: 4223
333.98/335.06 c #Conflicts: 27000 | #Constraints: 5223
333.98/335.06 c #Conflicts: 28000 | #Constraints: 6223
333.98/335.06 c #Conflicts: 29000 | #Constraints: 7223
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 30000 | #Constraints: 4623
333.98/335.06 c #Conflicts: 31000 | #Constraints: 5623
333.98/335.06 c #Conflicts: 32000 | #Constraints: 6623
333.98/335.06 c #Conflicts: 33000 | #Constraints: 7623
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 34000 | #Constraints: 4823
333.98/335.06 c #Conflicts: 35000 | #Constraints: 5823
333.98/335.06 c #Conflicts: 36000 | #Constraints: 6823
333.98/335.06 c #Conflicts: 37000 | #Constraints: 7823
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 38000 | #Constraints: 4824
333.98/335.06 c #Conflicts: 39000 | #Constraints: 5824
333.98/335.06 c #Conflicts: 40000 | #Constraints: 6824
333.98/335.06 c #Conflicts: 41000 | #Constraints: 7824
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 42000 | #Constraints: 4626
333.98/335.06 c #Conflicts: 43000 | #Constraints: 5626
333.98/335.06 c #Conflicts: 44000 | #Constraints: 6626
333.98/335.06 c #Conflicts: 45000 | #Constraints: 7626
333.98/335.06 c #Conflicts: 46000 | #Constraints: 8626
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 47000 | #Constraints: 5223
333.98/335.06 c #Conflicts: 48000 | #Constraints: 6223
333.98/335.06 c #Conflicts: 49000 | #Constraints: 7223
333.98/335.06 c #Conflicts: 50000 | #Constraints: 8223
333.98/335.06 c #Conflicts: 51000 | #Constraints: 9223
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 52000 | #Constraints: 5627
333.98/335.06 c #Conflicts: 53000 | #Constraints: 6627
333.98/335.06 c #Conflicts: 54000 | #Constraints: 7627
333.98/335.06 c #Conflicts: 55000 | #Constraints: 8627
333.98/335.06 c #Conflicts: 56000 | #Constraints: 9627
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 57000 | #Constraints: 5824
333.98/335.06 c #Conflicts: 58000 | #Constraints: 6824
333.98/335.06 c #Conflicts: 59000 | #Constraints: 7824
333.98/335.06 c #Conflicts: 60000 | #Constraints: 8824
333.98/335.06 c #Conflicts: 61000 | #Constraints: 9824
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 62000 | #Constraints: 5827
333.98/335.06 c #Conflicts: 63000 | #Constraints: 6827
333.98/335.06 c #Conflicts: 64000 | #Constraints: 7827
333.98/335.06 c #Conflicts: 65000 | #Constraints: 8827
333.98/335.06 c #Conflicts: 66000 | #Constraints: 9827
333.98/335.06 c INPROCESSING
333.98/335.06 c GARBAGE COLLECT
333.98/335.06 c #Conflicts: 67000 | #Constraints: 5627
333.98/335.06 c #Conflicts: 68000 | #Constraints: 6627
393.43/394.61 c #Conflicts: 69000 | #Constraints: 7627
393.43/394.61 c #Conflicts: 70000 | #Constraints: 8627
393.43/394.61 c #Conflicts: 71000 | #Constraints: 9627
393.43/394.61 c #Conflicts: 72000 | #Constraints: 10627
393.43/394.61 c INPROCESSING
393.43/394.61 c GARBAGE COLLECT
393.43/394.61 c #Conflicts: 73000 | #Constraints: 6225
393.43/394.61 c #Conflicts: 74000 | #Constraints: 7225
393.43/394.61 c #Conflicts: 75000 | #Constraints: 8225
393.43/394.61 c #Conflicts: 76000 | #Constraints: 9225
393.43/394.61 c #Conflicts: 77000 | #Constraints: 10225
393.43/394.61 c #Conflicts: 78000 | #Constraints: 11225
393.43/394.61 c INPROCESSING
393.43/394.61 c GARBAGE COLLECT
393.43/394.61 c #Conflicts: 79000 | #Constraints: 6627
393.43/394.61 c #Conflicts: 80000 | #Constraints: 7627
393.43/394.61 c #Conflicts: 81000 | #Constraints: 8627
393.43/394.61 c #Conflicts: 82000 | #Constraints: 9627
393.43/394.61 c #Conflicts: 83000 | #Constraints: 10627
393.43/394.61 c #Conflicts: 84000 | #Constraints: 11627
393.43/394.61 c INPROCESSING
393.43/394.61 c GARBAGE COLLECT
393.43/394.61 c #Conflicts: 85000 | #Constraints: 6826
393.43/394.61 c #Conflicts: 86000 | #Constraints: 7826
393.43/394.61 c #Conflicts: 87000 | #Constraints: 8826
393.43/394.61 c #Conflicts: 88000 | #Constraints: 9826
393.43/394.61 c #Conflicts: 89000 | #Constraints: 10826
393.43/394.61 c #Conflicts: 90000 | #Constraints: 11826
393.43/394.61 c INPROCESSING
393.43/394.61 c GARBAGE COLLECT
393.43/394.61 c #Conflicts: 91000 | #Constraints: 6825
393.43/394.61 c #Conflicts: 92000 | #Constraints: 7825
393.43/394.61 c #Conflicts: 93000 | #Constraints: 8825
393.43/394.61 c #Conflicts: 94000 | #Constraints: 9825
393.43/394.61 c #Conflicts: 95000 | #Constraints: 10825
393.43/394.61 c #Conflicts: 96000 | #Constraints: 11825
393.43/394.61 c INPROCESSING
393.43/394.61 c GARBAGE COLLECT
393.43/394.61 c #Conflicts: 97000 | #Constraints: 6627
393.43/394.61 c #Conflicts: 98000 | #Constraints: 7627
393.43/394.61 c #Conflicts: 99000 | #Constraints: 8627
393.43/394.61 c #Conflicts: 100000 | #Constraints: 9627
393.43/394.61 c #Conflicts: 101000 | #Constraints: 10627
393.43/394.61 c #Conflicts: 102000 | #Constraints: 11627
393.43/394.61 c #Conflicts: 103000 | #Constraints: 12627
393.43/394.61 c INPROCESSING
393.43/394.61 c GARBAGE COLLECT
393.43/394.61 c #Conflicts: 104000 | #Constraints: 7225
393.43/394.61 c #Conflicts: 105000 | #Constraints: 8225
393.43/394.61 c #Conflicts: 106000 | #Constraints: 9225
393.43/394.61 c #Conflicts: 107000 | #Constraints: 10225
393.43/394.61 c #Conflicts: 108000 | #Constraints: 11225
393.43/394.61 c #Conflicts: 109000 | #Constraints: 12225
393.43/394.61 c #Conflicts: 110000 | #Constraints: 13225
393.43/394.61 c INPROCESSING
393.43/394.61 c GARBAGE COLLECT
393.43/394.61 c #Conflicts: 111000 | #Constraints: 7624
393.43/394.61 c #Conflicts: 112000 | #Constraints: 8624
393.43/394.61 c #Conflicts: 113000 | #Constraints: 9624
393.43/394.61 c #Conflicts: 114000 | #Constraints: 10624
393.43/394.61 c #Conflicts: 115000 | #Constraints: 11624
393.43/394.61 c #Conflicts: 116000 | #Constraints: 12624
393.43/394.61 c #Conflicts: 117000 | #Constraints: 13624
393.43/394.61 c INPROCESSING
393.43/394.61 c GARBAGE COLLECT
393.43/394.61 c #Conflicts: 118000 | #Constraints: 7825
393.43/394.61 c #Conflicts: 119000 | #Constraints: 8825
393.43/394.61 c #Conflicts: 120000 | #Constraints: 9825
393.43/394.61 c #Conflicts: 121000 | #Constraints: 10825
393.43/394.61 c #Conflicts: 122000 | #Constraints: 11825
393.43/394.61 c #Conflicts: 123000 | #Constraints: 12825
393.43/394.61 c #Conflicts: 124000 | #Constraints: 13825
393.43/394.61 c INPROCESSING
393.43/394.61 c GARBAGE COLLECT
393.43/394.61 c #Conflicts: 125000 | #Constraints: 7824
393.43/394.61 c #Conflicts: 126000 | #Constraints: 8824
393.43/394.61 c #Conflicts: 127000 | #Constraints: 9824
393.43/394.61 c #Conflicts: 128000 | #Constraints: 10824
393.43/394.61 c #Conflicts: 129000 | #Constraints: 11824
393.43/394.61 c #Conflicts: 130000 | #Constraints: 12824
393.43/394.61 c #Conflicts: 131000 | #Constraints: 13824
393.43/394.61 c INPROCESSING
393.43/394.61 c GARBAGE COLLECT
393.43/394.61 c #Conflicts: 132000 | #Constraints: 7626
393.43/394.61 c #Conflicts: 133000 | #Constraints: 8626
393.43/394.61 c #Conflicts: 134000 | #Constraints: 9626
393.43/394.61 c #Conflicts: 135000 | #Constraints: 10626
393.43/394.61 c #Conflicts: 136000 | #Constraints: 11626
393.43/394.61 c #Conflicts: 137000 | #Constraints: 12626
393.43/394.61 c #Conflicts: 138000 | #Constraints: 13626
393.43/394.61 c #Conflicts: 139000 | #Constraints: 14626
393.43/394.61 c INPROCESSING
393.43/394.61 c GARBAGE COLLECT
393.43/394.61 c #Conflicts: 140000 | #Constraints: 8227
467.37/468.78 c #Conflicts: 141000 | #Constraints: 9227
467.37/468.78 c #Conflicts: 142000 | #Constraints: 10227
467.37/468.78 c #Conflicts: 143000 | #Constraints: 11227
467.37/468.78 c #Conflicts: 144000 | #Constraints: 12227
467.37/468.78 c #Conflicts: 145000 | #Constraints: 13227
467.37/468.78 c #Conflicts: 146000 | #Constraints: 14227
467.37/468.78 c #Conflicts: 147000 | #Constraints: 15227
467.37/468.78 c INPROCESSING
467.37/468.78 c GARBAGE COLLECT
467.37/468.78 c #Conflicts: 148000 | #Constraints: 8628
467.37/468.78 c #Conflicts: 149000 | #Constraints: 9628
467.37/468.78 c #Conflicts: 150000 | #Constraints: 10628
467.37/468.78 c #Conflicts: 151000 | #Constraints: 11628
467.37/468.78 c #Conflicts: 152000 | #Constraints: 12628
467.37/468.78 c #Conflicts: 153000 | #Constraints: 13628
467.37/468.78 c #Conflicts: 154000 | #Constraints: 14628
467.37/468.78 c #Conflicts: 155000 | #Constraints: 15628
467.37/468.78 c INPROCESSING
467.37/468.78 c GARBAGE COLLECT
467.37/468.78 c #Conflicts: 156000 | #Constraints: 8827
467.37/468.78 c #Conflicts: 157000 | #Constraints: 9827
467.37/468.78 c #Conflicts: 158000 | #Constraints: 10827
467.37/468.78 c #Conflicts: 159000 | #Constraints: 11827
467.37/468.78 c #Conflicts: 160000 | #Constraints: 12827
467.37/468.78 c #Conflicts: 161000 | #Constraints: 13827
467.37/468.78 c #Conflicts: 162000 | #Constraints: 14827
467.37/468.78 c #Conflicts: 163000 | #Constraints: 15827
467.37/468.78 c INPROCESSING
467.37/468.78 c GARBAGE COLLECT
467.37/468.78 c #Conflicts: 164000 | #Constraints: 8828
467.37/468.78 c #Conflicts: 165000 | #Constraints: 9828
467.37/468.78 c #Conflicts: 166000 | #Constraints: 10828
467.37/468.78 c #Conflicts: 167000 | #Constraints: 11828
467.37/468.78 c #Conflicts: 168000 | #Constraints: 12828
467.37/468.78 c #Conflicts: 169000 | #Constraints: 13828
467.37/468.78 c #Conflicts: 170000 | #Constraints: 14828
467.37/468.78 c #Conflicts: 171000 | #Constraints: 15828
467.37/468.78 c INPROCESSING
467.37/468.78 c GARBAGE COLLECT
467.37/468.78 c #Conflicts: 172000 | #Constraints: 8626
467.37/468.78 c #Conflicts: 173000 | #Constraints: 9626
467.37/468.78 c #Conflicts: 174000 | #Constraints: 10626
467.37/468.78 c #Conflicts: 175000 | #Constraints: 11626
467.37/468.78 c #Conflicts: 176000 | #Constraints: 12626
467.37/468.78 c #Conflicts: 177000 | #Constraints: 13626
467.37/468.78 c #Conflicts: 178000 | #Constraints: 14626
467.37/468.78 c #Conflicts: 179000 | #Constraints: 15626
467.37/468.78 c #Conflicts: 180000 | #Constraints: 16626
467.37/468.78 c INPROCESSING
467.37/468.78 c GARBAGE COLLECT
467.37/468.78 c #Conflicts: 181000 | #Constraints: 9227
467.37/468.78 c #Conflicts: 182000 | #Constraints: 10227
467.37/468.78 c #Conflicts: 183000 | #Constraints: 11227
467.37/468.78 c #Conflicts: 184000 | #Constraints: 12227
467.37/468.78 c #Conflicts: 185000 | #Constraints: 13227
467.37/468.78 c #Conflicts: 186000 | #Constraints: 14227
467.37/468.78 c #Conflicts: 187000 | #Constraints: 15227
467.37/468.78 c #Conflicts: 188000 | #Constraints: 16227
467.37/468.78 c #Conflicts: 189000 | #Constraints: 17227
467.37/468.78 c INPROCESSING
467.37/468.78 c GARBAGE COLLECT
467.37/468.78 c #Conflicts: 190000 | #Constraints: 9625
467.37/468.78 c #Conflicts: 191000 | #Constraints: 10625
467.37/468.78 c #Conflicts: 192000 | #Constraints: 11625
467.37/468.78 c #Conflicts: 193000 | #Constraints: 12625
467.37/468.78 c #Conflicts: 194000 | #Constraints: 13625
467.37/468.78 c #Conflicts: 195000 | #Constraints: 14625
467.37/468.78 c #Conflicts: 196000 | #Constraints: 15625
467.37/468.78 c #Conflicts: 197000 | #Constraints: 16625
467.37/468.78 c #Conflicts: 198000 | #Constraints: 17625
467.37/468.78 c INPROCESSING
467.37/468.78 c GARBAGE COLLECT
467.37/468.78 c #Conflicts: 199000 | #Constraints: 9829
467.37/468.78 c #Conflicts: 200000 | #Constraints: 10829
467.37/468.78 c #Conflicts: 201000 | #Constraints: 11829
467.37/468.78 c #Conflicts: 202000 | #Constraints: 12829
467.37/468.78 c #Conflicts: 203000 | #Constraints: 13829
467.37/468.78 c #Conflicts: 204000 | #Constraints: 14829
467.37/468.78 c #Conflicts: 205000 | #Constraints: 15829
467.37/468.78 c #Conflicts: 206000 | #Constraints: 16829
467.37/468.78 c #Conflicts: 207000 | #Constraints: 17829
467.37/468.78 c INPROCESSING
467.37/468.78 c GARBAGE COLLECT
467.37/468.78 c #Conflicts: 208000 | #Constraints: 9829
467.37/468.78 c #Conflicts: 209000 | #Constraints: 10829
467.37/468.78 c #Conflicts: 210000 | #Constraints: 11829
467.37/468.78 c #Conflicts: 211000 | #Constraints: 12829
467.37/468.78 c #Conflicts: 212000 | #Constraints: 13829
467.37/468.78 c #Conflicts: 213000 | #Constraints: 14829
557.85/559.46 c #Conflicts: 214000 | #Constraints: 15829
557.85/559.46 c #Conflicts: 215000 | #Constraints: 16829
557.85/559.46 c #Conflicts: 216000 | #Constraints: 17829
557.85/559.46 c INPROCESSING
557.85/559.46 c GARBAGE COLLECT
557.85/559.46 c #Conflicts: 217000 | #Constraints: 9630
557.85/559.46 c #Conflicts: 218000 | #Constraints: 10630
557.85/559.46 c #Conflicts: 219000 | #Constraints: 11630
557.85/559.46 c #Conflicts: 220000 | #Constraints: 12630
557.85/559.46 c #Conflicts: 221000 | #Constraints: 13630
557.85/559.46 c #Conflicts: 222000 | #Constraints: 14630
557.85/559.46 c #Conflicts: 223000 | #Constraints: 15630
557.85/559.46 c #Conflicts: 224000 | #Constraints: 16630
557.85/559.46 c #Conflicts: 225000 | #Constraints: 17630
557.85/559.46 c #Conflicts: 226000 | #Constraints: 18630
557.85/559.46 c INPROCESSING
557.85/559.46 c GARBAGE COLLECT
557.85/559.46 c #Conflicts: 227000 | #Constraints: 10231
557.85/559.46 c #Conflicts: 228000 | #Constraints: 11231
557.85/559.46 c #Conflicts: 229000 | #Constraints: 12231
557.85/559.46 c #Conflicts: 230000 | #Constraints: 13231
557.85/559.46 c #Conflicts: 231000 | #Constraints: 14231
557.85/559.46 c #Conflicts: 232000 | #Constraints: 15231
557.85/559.46 c #Conflicts: 233000 | #Constraints: 16231
557.85/559.46 c #Conflicts: 234000 | #Constraints: 17231
557.85/559.46 c #Conflicts: 235000 | #Constraints: 18231
557.85/559.46 c #Conflicts: 236000 | #Constraints: 19231
557.85/559.46 c INPROCESSING
557.85/559.46 c GARBAGE COLLECT
557.85/559.46 c #Conflicts: 237000 | #Constraints: 10627
557.85/559.46 c #Conflicts: 238000 | #Constraints: 11627
557.85/559.46 c #Conflicts: 239000 | #Constraints: 12627
557.85/559.46 c #Conflicts: 240000 | #Constraints: 13627
557.85/559.46 c #Conflicts: 241000 | #Constraints: 14627
557.85/559.46 c #Conflicts: 242000 | #Constraints: 15627
557.85/559.46 c #Conflicts: 243000 | #Constraints: 16627
557.85/559.46 c #Conflicts: 244000 | #Constraints: 17627
557.85/559.46 c #Conflicts: 245000 | #Constraints: 18627
557.85/559.46 c #Conflicts: 246000 | #Constraints: 19627
557.85/559.46 c INPROCESSING
557.85/559.46 c GARBAGE COLLECT
557.85/559.46 c #Conflicts: 247000 | #Constraints: 10825
557.85/559.46 c #Conflicts: 248000 | #Constraints: 11825
557.85/559.46 c #Conflicts: 249000 | #Constraints: 12825
557.85/559.46 c #Conflicts: 250000 | #Constraints: 13825
557.85/559.46 c #Conflicts: 251000 | #Constraints: 14825
557.85/559.46 c #Conflicts: 252000 | #Constraints: 15825
557.85/559.46 c #Conflicts: 253000 | #Constraints: 16825
557.85/559.46 c #Conflicts: 254000 | #Constraints: 17825
557.85/559.46 c #Conflicts: 255000 | #Constraints: 18825
557.85/559.46 c #Conflicts: 256000 | #Constraints: 19825
557.85/559.46 c INPROCESSING
557.85/559.46 c GARBAGE COLLECT
557.85/559.46 c #Conflicts: 257000 | #Constraints: 10826
557.85/559.46 c #Conflicts: 258000 | #Constraints: 11826
557.85/559.46 c #Conflicts: 259000 | #Constraints: 12826
557.85/559.46 c #Conflicts: 260000 | #Constraints: 13826
557.85/559.46 c #Conflicts: 261000 | #Constraints: 14826
557.85/559.46 c #Conflicts: 262000 | #Constraints: 15826
557.85/559.46 c #Conflicts: 263000 | #Constraints: 16826
557.85/559.46 c #Conflicts: 264000 | #Constraints: 17826
557.85/559.46 c #Conflicts: 265000 | #Constraints: 18826
557.85/559.46 c #Conflicts: 266000 | #Constraints: 19826
557.85/559.46 c INPROCESSING
557.85/559.46 c GARBAGE COLLECT
557.85/559.46 c #Conflicts: 267000 | #Constraints: 10626
557.85/559.46 c #Conflicts: 268000 | #Constraints: 11626
557.85/559.46 c #Conflicts: 269000 | #Constraints: 12626
557.85/559.46 c #Conflicts: 270000 | #Constraints: 13626
557.85/559.46 c #Conflicts: 271000 | #Constraints: 14626
557.85/559.46 c #Conflicts: 272000 | #Constraints: 15626
557.85/559.46 c #Conflicts: 273000 | #Constraints: 16626
557.85/559.46 c #Conflicts: 274000 | #Constraints: 17626
557.85/559.46 c #Conflicts: 275000 | #Constraints: 18626
557.85/559.46 c #Conflicts: 276000 | #Constraints: 19626
557.85/559.46 c #Conflicts: 277000 | #Constraints: 20626
557.85/559.46 c INPROCESSING
557.85/559.46 c GARBAGE COLLECT
557.85/559.46 c #Conflicts: 278000 | #Constraints: 11227
557.85/559.46 c #Conflicts: 279000 | #Constraints: 12227
557.85/559.46 c #Conflicts: 280000 | #Constraints: 13227
557.85/559.46 c #Conflicts: 281000 | #Constraints: 14227
557.85/559.46 c #Conflicts: 282000 | #Constraints: 15227
557.85/559.46 c #Conflicts: 283000 | #Constraints: 16227
557.85/559.46 c #Conflicts: 284000 | #Constraints: 17227
557.85/559.46 c #Conflicts: 285000 | #Constraints: 18227
557.85/559.46 c #Conflicts: 286000 | #Constraints: 19227
557.85/559.46 c #Conflicts: 287000 | #Constraints: 20227
557.85/559.46 c #Conflicts: 288000 | #Constraints: 21227
645.04/646.88 c INPROCESSING
645.04/646.88 c GARBAGE COLLECT
645.04/646.88 c #Conflicts: 289000 | #Constraints: 11625
645.04/646.88 c #Conflicts: 290000 | #Constraints: 12625
645.04/646.88 c #Conflicts: 291000 | #Constraints: 13625
645.04/646.88 c #Conflicts: 292000 | #Constraints: 14625
645.04/646.88 c #Conflicts: 293000 | #Constraints: 15625
645.04/646.88 c #Conflicts: 294000 | #Constraints: 16625
645.04/646.88 c #Conflicts: 295000 | #Constraints: 17625
645.04/646.88 c #Conflicts: 296000 | #Constraints: 18625
645.04/646.88 c #Conflicts: 297000 | #Constraints: 19625
645.04/646.88 c #Conflicts: 298000 | #Constraints: 20625
645.04/646.88 c #Conflicts: 299000 | #Constraints: 21625
645.04/646.88 c INPROCESSING
645.04/646.88 c GARBAGE COLLECT
645.04/646.88 c #Conflicts: 300000 | #Constraints: 11826
645.04/646.88 c #Conflicts: 301000 | #Constraints: 12826
645.04/646.88 c #Conflicts: 302000 | #Constraints: 13826
645.04/646.88 c #Conflicts: 303000 | #Constraints: 14826
645.04/646.88 c #Conflicts: 304000 | #Constraints: 15826
645.04/646.88 c #Conflicts: 305000 | #Constraints: 16826
645.04/646.88 c #Conflicts: 306000 | #Constraints: 17826
645.04/646.88 c #Conflicts: 307000 | #Constraints: 18826
645.04/646.88 c #Conflicts: 308000 | #Constraints: 19826
645.04/646.88 c #Conflicts: 309000 | #Constraints: 20826
645.04/646.88 c #Conflicts: 310000 | #Constraints: 21826
645.04/646.88 c INPROCESSING
645.04/646.88 c GARBAGE COLLECT
645.04/646.88 c #Conflicts: 311000 | #Constraints: 11828
645.04/646.88 c #Conflicts: 312000 | #Constraints: 12828
645.04/646.88 c #Conflicts: 313000 | #Constraints: 13828
645.04/646.88 c #Conflicts: 314000 | #Constraints: 14828
645.04/646.88 c #Conflicts: 315000 | #Constraints: 15828
645.04/646.88 c #Conflicts: 316000 | #Constraints: 16828
645.04/646.88 c #Conflicts: 317000 | #Constraints: 17828
645.04/646.88 c #Conflicts: 318000 | #Constraints: 18828
645.04/646.88 c #Conflicts: 319000 | #Constraints: 19828
645.04/646.88 c #Conflicts: 320000 | #Constraints: 20828
645.04/646.88 c #Conflicts: 321000 | #Constraints: 21828
645.04/646.88 c INPROCESSING
645.04/646.88 c GARBAGE COLLECT
645.04/646.88 c #Conflicts: 322000 | #Constraints: 11627
645.04/646.88 c #Conflicts: 323000 | #Constraints: 12627
645.04/646.88 c #Conflicts: 324000 | #Constraints: 13627
645.04/646.88 c #Conflicts: 325000 | #Constraints: 14627
645.04/646.88 c #Conflicts: 326000 | #Constraints: 15627
645.04/646.88 c #Conflicts: 327000 | #Constraints: 16627
645.04/646.88 c #Conflicts: 328000 | #Constraints: 17627
645.04/646.88 c #Conflicts: 329000 | #Constraints: 18627
645.04/646.88 c #Conflicts: 330000 | #Constraints: 19627
645.04/646.88 c #Conflicts: 331000 | #Constraints: 20627
645.04/646.88 c #Conflicts: 332000 | #Constraints: 21627
645.04/646.88 c #Conflicts: 333000 | #Constraints: 22627
645.04/646.88 c INPROCESSING
645.04/646.88 c GARBAGE COLLECT
645.04/646.88 c #Conflicts: 334000 | #Constraints: 12226
645.04/646.88 c #Conflicts: 335000 | #Constraints: 13226
645.04/646.88 c #Conflicts: 336000 | #Constraints: 14226
645.04/646.88 c #Conflicts: 337000 | #Constraints: 15226
645.04/646.88 c #Conflicts: 338000 | #Constraints: 16226
645.04/646.88 c #Conflicts: 339000 | #Constraints: 17226
645.04/646.88 c #Conflicts: 340000 | #Constraints: 18226
645.04/646.88 c #Conflicts: 341000 | #Constraints: 19226
645.04/646.88 c #Conflicts: 342000 | #Constraints: 20226
645.04/646.88 c #Conflicts: 343000 | #Constraints: 21226
645.04/646.88 c #Conflicts: 344000 | #Constraints: 22226
645.04/646.88 c #Conflicts: 345000 | #Constraints: 23226
645.04/646.88 c INPROCESSING
645.04/646.88 c GARBAGE COLLECT
645.04/646.88 c #Conflicts: 346000 | #Constraints: 12625
645.04/646.88 c #Conflicts: 347000 | #Constraints: 13625
645.04/646.88 c #Conflicts: 348000 | #Constraints: 14625
645.04/646.88 c #Conflicts: 349000 | #Constraints: 15625
645.04/646.88 c #Conflicts: 350000 | #Constraints: 16625
645.04/646.88 c #Conflicts: 351000 | #Constraints: 17625
645.04/646.88 c #Conflicts: 352000 | #Constraints: 18625
645.04/646.88 c #Conflicts: 353000 | #Constraints: 19625
645.04/646.88 c #Conflicts: 354000 | #Constraints: 20625
645.04/646.88 c #Conflicts: 355000 | #Constraints: 21625
645.04/646.88 c #Conflicts: 356000 | #Constraints: 22625
645.04/646.88 c #Conflicts: 357000 | #Constraints: 23625
645.04/646.88 c INPROCESSING
645.04/646.88 c GARBAGE COLLECT
645.04/646.88 c #Conflicts: 358000 | #Constraints: 12826
645.04/646.88 c #Conflicts: 359000 | #Constraints: 13826
645.04/646.88 c #Conflicts: 360000 | #Constraints: 14826
645.04/646.88 c #Conflicts: 361000 | #Constraints: 15826
645.04/646.88 c #Conflicts: 362000 | #Constraints: 16826
757.36/759.46 c #Conflicts: 363000 | #Constraints: 17826
757.36/759.46 c #Conflicts: 364000 | #Constraints: 18826
757.36/759.46 c #Conflicts: 365000 | #Constraints: 19826
757.36/759.46 c #Conflicts: 366000 | #Constraints: 20826
757.36/759.46 c #Conflicts: 367000 | #Constraints: 21826
757.36/759.46 c #Conflicts: 368000 | #Constraints: 22826
757.36/759.46 c #Conflicts: 369000 | #Constraints: 23826
757.36/759.46 c INPROCESSING
757.36/759.46 c GARBAGE COLLECT
757.36/759.46 c #Conflicts: 370000 | #Constraints: 12826
757.36/759.46 c #Conflicts: 371000 | #Constraints: 13826
757.36/759.46 c #Conflicts: 372000 | #Constraints: 14826
757.36/759.46 c #Conflicts: 373000 | #Constraints: 15826
757.36/759.46 c #Conflicts: 374000 | #Constraints: 16826
757.36/759.46 c #Conflicts: 375000 | #Constraints: 17826
757.36/759.46 c #Conflicts: 376000 | #Constraints: 18826
757.36/759.46 c #Conflicts: 377000 | #Constraints: 19826
757.36/759.46 c #Conflicts: 378000 | #Constraints: 20826
757.36/759.46 c #Conflicts: 379000 | #Constraints: 21826
757.36/759.46 c #Conflicts: 380000 | #Constraints: 22826
757.36/759.46 c #Conflicts: 381000 | #Constraints: 23826
757.36/759.46 c INPROCESSING
757.36/759.46 c GARBAGE COLLECT
757.36/759.46 c #Conflicts: 382000 | #Constraints: 12624
757.36/759.46 c #Conflicts: 383000 | #Constraints: 13624
757.36/759.46 c #Conflicts: 384000 | #Constraints: 14624
757.36/759.46 c #Conflicts: 385000 | #Constraints: 15624
757.36/759.46 c #Conflicts: 386000 | #Constraints: 16624
757.36/759.46 c #Conflicts: 387000 | #Constraints: 17624
757.36/759.46 c #Conflicts: 388000 | #Constraints: 18624
757.36/759.46 c #Conflicts: 389000 | #Constraints: 19624
757.36/759.46 c #Conflicts: 390000 | #Constraints: 20624
757.36/759.46 c #Conflicts: 391000 | #Constraints: 21624
757.36/759.46 c #Conflicts: 392000 | #Constraints: 22624
757.36/759.46 c #Conflicts: 393000 | #Constraints: 23624
757.36/759.46 c #Conflicts: 394000 | #Constraints: 24624
757.36/759.46 c INPROCESSING
757.36/759.46 c GARBAGE COLLECT
757.36/759.46 c #Conflicts: 395000 | #Constraints: 13223
757.36/759.46 c #Conflicts: 396000 | #Constraints: 14223
757.36/759.46 c #Conflicts: 397000 | #Constraints: 15223
757.36/759.46 c #Conflicts: 398000 | #Constraints: 16223
757.36/759.46 c #Conflicts: 399000 | #Constraints: 17223
757.36/759.46 c #Conflicts: 400000 | #Constraints: 18223
757.36/759.46 c #Conflicts: 401000 | #Constraints: 19223
757.36/759.46 c #Conflicts: 402000 | #Constraints: 20223
757.36/759.46 c #Conflicts: 403000 | #Constraints: 21223
757.36/759.46 c #Conflicts: 404000 | #Constraints: 22223
757.36/759.46 c #Conflicts: 405000 | #Constraints: 23223
757.36/759.46 c #Conflicts: 406000 | #Constraints: 24223
757.36/759.46 c #Conflicts: 407000 | #Constraints: 25223
757.36/759.46 c INPROCESSING
757.36/759.46 c GARBAGE COLLECT
757.36/759.46 c #Conflicts: 408000 | #Constraints: 13627
757.36/759.46 c #Conflicts: 409000 | #Constraints: 14627
757.36/759.46 c #Conflicts: 410000 | #Constraints: 15627
757.36/759.46 c #Conflicts: 411000 | #Constraints: 16627
757.36/759.46 c #Conflicts: 412000 | #Constraints: 17627
757.36/759.46 c #Conflicts: 413000 | #Constraints: 18627
757.36/759.46 c #Conflicts: 414000 | #Constraints: 19627
757.36/759.46 c #Conflicts: 415000 | #Constraints: 20627
757.36/759.46 c #Conflicts: 416000 | #Constraints: 21627
757.36/759.46 c #Conflicts: 417000 | #Constraints: 22627
757.36/759.46 c #Conflicts: 418000 | #Constraints: 23627
757.36/759.46 c #Conflicts: 419000 | #Constraints: 24627
757.36/759.46 c #Conflicts: 420000 | #Constraints: 25627
757.36/759.46 c INPROCESSING
757.36/759.46 c GARBAGE COLLECT
757.36/759.46 c #Conflicts: 421000 | #Constraints: 13830
757.36/759.46 c #Conflicts: 422000 | #Constraints: 14830
757.36/759.46 c #Conflicts: 423000 | #Constraints: 15830
757.36/759.46 c #Conflicts: 424000 | #Constraints: 16830
757.36/759.46 c #Conflicts: 425000 | #Constraints: 17830
757.36/759.46 c #Conflicts: 426000 | #Constraints: 18830
757.36/759.46 c #Conflicts: 427000 | #Constraints: 19830
757.36/759.46 c #Conflicts: 428000 | #Constraints: 20830
757.36/759.46 c #Conflicts: 429000 | #Constraints: 21830
757.36/759.46 c #Conflicts: 430000 | #Constraints: 22830
757.36/759.46 c #Conflicts: 431000 | #Constraints: 23830
757.36/759.46 c #Conflicts: 432000 | #Constraints: 24830
757.36/759.46 c #Conflicts: 433000 | #Constraints: 25830
757.36/759.46 c INPROCESSING
757.36/759.46 c GARBAGE COLLECT
757.36/759.46 c #Conflicts: 434000 | #Constraints: 13829
757.36/759.46 c #Conflicts: 435000 | #Constraints: 14829
757.36/759.46 c #Conflicts: 436000 | #Constraints: 15829
757.36/759.46 c #Conflicts: 437000 | #Constraints: 16829
892.13/894.59 c #Conflicts: 438000 | #Constraints: 17829
892.13/894.59 c #Conflicts: 439000 | #Constraints: 18829
892.13/894.59 c #Conflicts: 440000 | #Constraints: 19829
892.13/894.59 c #Conflicts: 441000 | #Constraints: 20829
892.13/894.59 c #Conflicts: 442000 | #Constraints: 21829
892.13/894.59 c #Conflicts: 443000 | #Constraints: 22829
892.13/894.59 c #Conflicts: 444000 | #Constraints: 23829
892.13/894.59 c #Conflicts: 445000 | #Constraints: 24829
892.13/894.59 c #Conflicts: 446000 | #Constraints: 25829
892.13/894.59 c INPROCESSING
892.13/894.59 c GARBAGE COLLECT
892.13/894.59 c #Conflicts: 447000 | #Constraints: 13630
892.13/894.59 c #Conflicts: 448000 | #Constraints: 14630
892.13/894.59 c #Conflicts: 449000 | #Constraints: 15630
892.13/894.59 c #Conflicts: 450000 | #Constraints: 16630
892.13/894.59 c #Conflicts: 451000 | #Constraints: 17630
892.13/894.59 c #Conflicts: 452000 | #Constraints: 18630
892.13/894.59 c #Conflicts: 453000 | #Constraints: 19630
892.13/894.59 c #Conflicts: 454000 | #Constraints: 20630
892.13/894.59 c #Conflicts: 455000 | #Constraints: 21630
892.13/894.59 c #Conflicts: 456000 | #Constraints: 22630
892.13/894.59 c #Conflicts: 457000 | #Constraints: 23630
892.13/894.59 c #Conflicts: 458000 | #Constraints: 24630
892.13/894.59 c #Conflicts: 459000 | #Constraints: 25630
892.13/894.59 c #Conflicts: 460000 | #Constraints: 26630
892.13/894.59 c INPROCESSING
892.13/894.59 c GARBAGE COLLECT
892.13/894.59 c #Conflicts: 461000 | #Constraints: 14229
892.13/894.59 c #Conflicts: 462000 | #Constraints: 15229
892.13/894.59 c #Conflicts: 463000 | #Constraints: 16229
892.13/894.59 c #Conflicts: 464000 | #Constraints: 17229
892.13/894.59 c #Conflicts: 465000 | #Constraints: 18229
892.13/894.59 c #Conflicts: 466000 | #Constraints: 19229
892.13/894.59 c #Conflicts: 467000 | #Constraints: 20229
892.13/894.59 c #Conflicts: 468000 | #Constraints: 21229
892.13/894.59 c #Conflicts: 469000 | #Constraints: 22229
892.13/894.59 c #Conflicts: 470000 | #Constraints: 23229
892.13/894.59 c #Conflicts: 471000 | #Constraints: 24229
892.13/894.59 c #Conflicts: 472000 | #Constraints: 25229
892.13/894.59 c #Conflicts: 473000 | #Constraints: 26229
892.13/894.59 c #Conflicts: 474000 | #Constraints: 27229
892.13/894.59 c INPROCESSING
892.13/894.59 c GARBAGE COLLECT
892.13/894.59 c #Conflicts: 475000 | #Constraints: 14627
892.13/894.59 c #Conflicts: 476000 | #Constraints: 15627
892.13/894.59 c #Conflicts: 477000 | #Constraints: 16627
892.13/894.59 c #Conflicts: 478000 | #Constraints: 17627
892.13/894.59 c #Conflicts: 479000 | #Constraints: 18627
892.13/894.59 c #Conflicts: 480000 | #Constraints: 19627
892.13/894.59 c #Conflicts: 481000 | #Constraints: 20627
892.13/894.59 c #Conflicts: 482000 | #Constraints: 21627
892.13/894.59 c #Conflicts: 483000 | #Constraints: 22627
892.13/894.59 c #Conflicts: 484000 | #Constraints: 23627
892.13/894.59 c #Conflicts: 485000 | #Constraints: 24627
892.13/894.59 c #Conflicts: 486000 | #Constraints: 25627
892.13/894.59 c #Conflicts: 487000 | #Constraints: 26627
892.13/894.59 c #Conflicts: 488000 | #Constraints: 27627
892.13/894.59 c INPROCESSING
892.13/894.59 c GARBAGE COLLECT
892.13/894.59 c #Conflicts: 489000 | #Constraints: 14829
892.13/894.59 c #Conflicts: 490000 | #Constraints: 15829
892.13/894.59 c #Conflicts: 491000 | #Constraints: 16829
892.13/894.59 c #Conflicts: 492000 | #Constraints: 17829
892.13/894.59 c #Conflicts: 493000 | #Constraints: 18829
892.13/894.59 c #Conflicts: 494000 | #Constraints: 19829
892.13/894.59 c #Conflicts: 495000 | #Constraints: 20829
892.13/894.59 c #Conflicts: 496000 | #Constraints: 21829
892.13/894.59 c #Conflicts: 497000 | #Constraints: 22829
892.13/894.59 c #Conflicts: 498000 | #Constraints: 23829
892.13/894.59 c #Conflicts: 499000 | #Constraints: 24829
892.13/894.59 c #Conflicts: 500000 | #Constraints: 25829
892.13/894.59 c #Conflicts: 501000 | #Constraints: 26829
892.13/894.59 c #Conflicts: 502000 | #Constraints: 27829
892.13/894.59 c INPROCESSING
892.13/894.59 c GARBAGE COLLECT
892.13/894.59 c #Conflicts: 503000 | #Constraints: 14827
892.13/894.59 c #Conflicts: 504000 | #Constraints: 15827
892.13/894.59 c #Conflicts: 505000 | #Constraints: 16827
892.13/894.59 c #Conflicts: 506000 | #Constraints: 17827
892.13/894.59 c #Conflicts: 507000 | #Constraints: 18827
892.13/894.59 c #Conflicts: 508000 | #Constraints: 19827
892.13/894.59 c #Conflicts: 509000 | #Constraints: 20827
892.13/894.59 c #Conflicts: 510000 | #Constraints: 21827
892.13/894.59 c #Conflicts: 511000 | #Constraints: 22827
892.13/894.59 c #Conflicts: 512000 | #Constraints: 23827
892.13/894.59 c #Conflicts: 513000 | #Constraints: 24827
1013.75/1016.41 c #Conflicts: 514000 | #Constraints: 25827
1013.75/1016.41 c #Conflicts: 515000 | #Constraints: 26827
1013.75/1016.41 c #Conflicts: 516000 | #Constraints: 27827
1013.75/1016.41 c INPROCESSING
1013.75/1016.41 c GARBAGE COLLECT
1013.75/1016.41 c #Conflicts: 517000 | #Constraints: 14627
1013.75/1016.41 c #Conflicts: 518000 | #Constraints: 15627
1013.75/1016.41 c #Conflicts: 519000 | #Constraints: 16627
1013.75/1016.41 c #Conflicts: 520000 | #Constraints: 17627
1013.75/1016.41 c #Conflicts: 521000 | #Constraints: 18627
1013.75/1016.41 c #Conflicts: 522000 | #Constraints: 19627
1013.75/1016.41 c #Conflicts: 523000 | #Constraints: 20627
1013.75/1016.41 c #Conflicts: 524000 | #Constraints: 21627
1013.75/1016.41 c #Conflicts: 525000 | #Constraints: 22627
1013.75/1016.41 c #Conflicts: 526000 | #Constraints: 23627
1013.75/1016.41 c #Conflicts: 527000 | #Constraints: 24627
1013.75/1016.41 c #Conflicts: 528000 | #Constraints: 25627
1013.75/1016.41 c #Conflicts: 529000 | #Constraints: 26627
1013.75/1016.41 c #Conflicts: 530000 | #Constraints: 27627
1013.75/1016.41 c #Conflicts: 531000 | #Constraints: 28627
1013.75/1016.41 c INPROCESSING
1013.75/1016.41 c GARBAGE COLLECT
1013.75/1016.41 c #Conflicts: 532000 | #Constraints: 15229
1013.75/1016.41 c #Conflicts: 533000 | #Constraints: 16229
1013.75/1016.41 c #Conflicts: 534000 | #Constraints: 17229
1013.75/1016.41 c #Conflicts: 535000 | #Constraints: 18229
1013.75/1016.41 c #Conflicts: 536000 | #Constraints: 19229
1013.75/1016.41 c #Conflicts: 537000 | #Constraints: 20229
1013.75/1016.41 c #Conflicts: 538000 | #Constraints: 21229
1013.75/1016.41 c #Conflicts: 539000 | #Constraints: 22229
1013.75/1016.41 c #Conflicts: 540000 | #Constraints: 23229
1013.75/1016.41 c #Conflicts: 541000 | #Constraints: 24229
1013.75/1016.41 c #Conflicts: 542000 | #Constraints: 25229
1013.75/1016.41 c #Conflicts: 543000 | #Constraints: 26229
1013.75/1016.41 c #Conflicts: 544000 | #Constraints: 27229
1013.75/1016.41 c #Conflicts: 545000 | #Constraints: 28229
1013.75/1016.41 c #Conflicts: 546000 | #Constraints: 29229
1013.75/1016.41 c INPROCESSING
1013.75/1016.41 c GARBAGE COLLECT
1013.75/1016.41 c #Conflicts: 547000 | #Constraints: 15625
1013.75/1016.41 c #Conflicts: 548000 | #Constraints: 16625
1013.75/1016.41 c #Conflicts: 549000 | #Constraints: 17625
1013.75/1016.41 c #Conflicts: 550000 | #Constraints: 18625
1013.75/1016.41 c #Conflicts: 551000 | #Constraints: 19625
1013.75/1016.41 c #Conflicts: 552000 | #Constraints: 20625
1013.75/1016.41 c #Conflicts: 553000 | #Constraints: 21625
1013.75/1016.41 c #Conflicts: 554000 | #Constraints: 22625
1013.75/1016.41 c #Conflicts: 555000 | #Constraints: 23625
1013.75/1016.41 c #Conflicts: 556000 | #Constraints: 24625
1013.75/1016.41 c #Conflicts: 557000 | #Constraints: 25625
1013.75/1016.41 c #Conflicts: 558000 | #Constraints: 26625
1013.75/1016.41 c #Conflicts: 559000 | #Constraints: 27625
1013.75/1016.41 c #Conflicts: 560000 | #Constraints: 28625
1013.75/1016.41 c #Conflicts: 561000 | #Constraints: 29625
1013.75/1016.41 c INPROCESSING
1013.75/1016.41 c GARBAGE COLLECT
1013.75/1016.41 c #Conflicts: 562000 | #Constraints: 15825
1013.75/1016.41 c #Conflicts: 563000 | #Constraints: 16825
1013.75/1016.41 c #Conflicts: 564000 | #Constraints: 17825
1013.75/1016.41 c #Conflicts: 565000 | #Constraints: 18825
1013.75/1016.41 c #Conflicts: 566000 | #Constraints: 19825
1013.75/1016.41 c #Conflicts: 567000 | #Constraints: 20825
1013.75/1016.41 c #Conflicts: 568000 | #Constraints: 21825
1013.75/1016.41 c #Conflicts: 569000 | #Constraints: 22825
1013.75/1016.41 c #Conflicts: 570000 | #Constraints: 23825
1013.75/1016.41 c #Conflicts: 571000 | #Constraints: 24825
1013.75/1016.41 c #Conflicts: 572000 | #Constraints: 25825
1013.75/1016.41 c #Conflicts: 573000 | #Constraints: 26825
1013.75/1016.41 c #Conflicts: 574000 | #Constraints: 27825
1013.75/1016.41 c #Conflicts: 575000 | #Constraints: 28825
1013.75/1016.41 c #Conflicts: 576000 | #Constraints: 29825
1013.75/1016.41 c INPROCESSING
1013.75/1016.41 c GARBAGE COLLECT
1013.75/1016.41 c #Conflicts: 577000 | #Constraints: 15827
1013.75/1016.41 c #Conflicts: 578000 | #Constraints: 16827
1013.75/1016.41 c #Conflicts: 579000 | #Constraints: 17827
1013.75/1016.41 c #Conflicts: 580000 | #Constraints: 18827
1013.75/1016.41 c #Conflicts: 581000 | #Constraints: 19827
1013.75/1016.41 c #Conflicts: 582000 | #Constraints: 20827
1013.75/1016.41 c #Conflicts: 583000 | #Constraints: 21827
1013.75/1016.41 c #Conflicts: 584000 | #Constraints: 22827
1013.75/1016.41 c #Conflicts: 585000 | #Constraints: 23827
1013.75/1016.41 c #Conflicts: 586000 | #Constraints: 24827
1013.75/1016.41 c #Conflicts: 587000 | #Constraints: 25827
1013.75/1016.41 c #Conflicts: 588000 | #Constraints: 26827
1152.34/1155.32 c #Conflicts: 589000 | #Constraints: 27827
1152.34/1155.32 c #Conflicts: 590000 | #Constraints: 28827
1152.34/1155.32 c #Conflicts: 591000 | #Constraints: 29827
1152.34/1155.32 c INPROCESSING
1152.34/1155.32 c GARBAGE COLLECT
1152.34/1155.32 c #Conflicts: 592000 | #Constraints: 15626
1152.34/1155.32 c #Conflicts: 593000 | #Constraints: 16626
1152.34/1155.32 c #Conflicts: 594000 | #Constraints: 17626
1152.34/1155.32 c #Conflicts: 595000 | #Constraints: 18626
1152.34/1155.32 c #Conflicts: 596000 | #Constraints: 19626
1152.34/1155.32 c #Conflicts: 597000 | #Constraints: 20626
1152.34/1155.32 c #Conflicts: 598000 | #Constraints: 21626
1152.34/1155.32 c #Conflicts: 599000 | #Constraints: 22626
1152.34/1155.32 c #Conflicts: 600000 | #Constraints: 23626
1152.34/1155.32 c #Conflicts: 601000 | #Constraints: 24626
1152.34/1155.32 c #Conflicts: 602000 | #Constraints: 25626
1152.34/1155.32 c #Conflicts: 603000 | #Constraints: 26626
1152.34/1155.32 c #Conflicts: 604000 | #Constraints: 27626
1152.34/1155.32 c #Conflicts: 605000 | #Constraints: 28626
1152.34/1155.32 c #Conflicts: 606000 | #Constraints: 29626
1152.34/1155.32 c #Conflicts: 607000 | #Constraints: 30626
1152.34/1155.32 c INPROCESSING
1152.34/1155.32 c GARBAGE COLLECT
1152.34/1155.32 c #Conflicts: 608000 | #Constraints: 16226
1152.34/1155.32 c #Conflicts: 609000 | #Constraints: 17226
1152.34/1155.32 c #Conflicts: 610000 | #Constraints: 18226
1152.34/1155.32 c #Conflicts: 611000 | #Constraints: 19226
1152.34/1155.32 c #Conflicts: 612000 | #Constraints: 20226
1152.34/1155.32 c #Conflicts: 613000 | #Constraints: 21226
1152.34/1155.32 c #Conflicts: 614000 | #Constraints: 22226
1152.34/1155.32 c #Conflicts: 615000 | #Constraints: 23226
1152.34/1155.32 c #Conflicts: 616000 | #Constraints: 24226
1152.34/1155.32 c #Conflicts: 617000 | #Constraints: 25226
1152.34/1155.32 c #Conflicts: 618000 | #Constraints: 26226
1152.34/1155.32 c #Conflicts: 619000 | #Constraints: 27226
1152.34/1155.32 c #Conflicts: 620000 | #Constraints: 28226
1152.34/1155.32 c #Conflicts: 621000 | #Constraints: 29226
1152.34/1155.32 c #Conflicts: 622000 | #Constraints: 30226
1152.34/1155.32 c #Conflicts: 623000 | #Constraints: 31226
1152.34/1155.32 c INPROCESSING
1152.34/1155.32 c GARBAGE COLLECT
1152.34/1155.32 c #Conflicts: 624000 | #Constraints: 16623
1152.34/1155.32 c #Conflicts: 625000 | #Constraints: 17623
1152.34/1155.32 c #Conflicts: 626000 | #Constraints: 18623
1152.34/1155.32 c #Conflicts: 627000 | #Constraints: 19623
1152.34/1155.32 c #Conflicts: 628000 | #Constraints: 20623
1152.34/1155.32 c #Conflicts: 629000 | #Constraints: 21623
1152.34/1155.32 c #Conflicts: 630000 | #Constraints: 22623
1152.34/1155.32 c #Conflicts: 631000 | #Constraints: 23623
1152.34/1155.32 c #Conflicts: 632000 | #Constraints: 24623
1152.34/1155.32 c #Conflicts: 633000 | #Constraints: 25623
1152.34/1155.32 c #Conflicts: 634000 | #Constraints: 26623
1152.34/1155.32 c #Conflicts: 635000 | #Constraints: 27623
1152.34/1155.32 c #Conflicts: 636000 | #Constraints: 28623
1152.34/1155.32 c #Conflicts: 637000 | #Constraints: 29623
1152.34/1155.32 c #Conflicts: 638000 | #Constraints: 30623
1152.34/1155.32 c #Conflicts: 639000 | #Constraints: 31623
1152.34/1155.32 c INPROCESSING
1152.34/1155.32 c GARBAGE COLLECT
1152.34/1155.32 c #Conflicts: 640000 | #Constraints: 16824
1152.34/1155.32 c #Conflicts: 641000 | #Constraints: 17824
1152.34/1155.32 c #Conflicts: 642000 | #Constraints: 18824
1152.34/1155.32 c #Conflicts: 643000 | #Constraints: 19824
1152.34/1155.32 c #Conflicts: 644000 | #Constraints: 20824
1152.34/1155.32 c #Conflicts: 645000 | #Constraints: 21824
1152.34/1155.32 c #Conflicts: 646000 | #Constraints: 22824
1152.34/1155.32 c #Conflicts: 647000 | #Constraints: 23824
1152.34/1155.32 c #Conflicts: 648000 | #Constraints: 24824
1152.34/1155.32 c #Conflicts: 649000 | #Constraints: 25824
1152.34/1155.32 c #Conflicts: 650000 | #Constraints: 26824
1152.34/1155.32 c #Conflicts: 651000 | #Constraints: 27824
1152.34/1155.32 c #Conflicts: 652000 | #Constraints: 28824
1152.34/1155.32 c #Conflicts: 653000 | #Constraints: 29824
1152.34/1155.32 c #Conflicts: 654000 | #Constraints: 30824
1152.34/1155.32 c #Conflicts: 655000 | #Constraints: 31824
1152.34/1155.32 c INPROCESSING
1152.34/1155.32 c GARBAGE COLLECT
1152.34/1155.32 c #Conflicts: 656000 | #Constraints: 16824
1152.34/1155.32 c #Conflicts: 657000 | #Constraints: 17824
1152.34/1155.32 c #Conflicts: 658000 | #Constraints: 18824
1152.34/1155.32 c #Conflicts: 659000 | #Constraints: 19824
1152.34/1155.32 c #Conflicts: 660000 | #Constraints: 20824
1152.34/1155.32 c #Conflicts: 661000 | #Constraints: 21824
1152.34/1155.32 c #Conflicts: 662000 | #Constraints: 22824
1152.34/1155.32 c #Conflicts: 663000 | #Constraints: 23824
1152.34/1155.32 c #Conflicts: 664000 | #Constraints: 24824
1314.18/1317.54 c #Conflicts: 665000 | #Constraints: 25824
1314.18/1317.54 c #Conflicts: 666000 | #Constraints: 26824
1314.18/1317.54 c #Conflicts: 667000 | #Constraints: 27824
1314.18/1317.54 c #Conflicts: 668000 | #Constraints: 28824
1314.18/1317.54 c #Conflicts: 669000 | #Constraints: 29824
1314.18/1317.54 c #Conflicts: 670000 | #Constraints: 30824
1314.18/1317.54 c #Conflicts: 671000 | #Constraints: 31824
1314.18/1317.54 c INPROCESSING
1314.18/1317.54 c GARBAGE COLLECT
1314.18/1317.54 c #Conflicts: 672000 | #Constraints: 16623
1314.18/1317.54 c #Conflicts: 673000 | #Constraints: 17623
1314.18/1317.54 c #Conflicts: 674000 | #Constraints: 18623
1314.18/1317.54 c #Conflicts: 675000 | #Constraints: 19623
1314.18/1317.54 c #Conflicts: 676000 | #Constraints: 20623
1314.18/1317.54 c #Conflicts: 677000 | #Constraints: 21623
1314.18/1317.54 c #Conflicts: 678000 | #Constraints: 22623
1314.18/1317.54 c #Conflicts: 679000 | #Constraints: 23623
1314.18/1317.54 c #Conflicts: 680000 | #Constraints: 24623
1314.18/1317.54 c #Conflicts: 681000 | #Constraints: 25623
1314.18/1317.54 c #Conflicts: 682000 | #Constraints: 26623
1314.18/1317.54 c #Conflicts: 683000 | #Constraints: 27623
1314.18/1317.54 c #Conflicts: 684000 | #Constraints: 28623
1314.18/1317.54 c #Conflicts: 685000 | #Constraints: 29623
1314.18/1317.54 c #Conflicts: 686000 | #Constraints: 30623
1314.18/1317.54 c #Conflicts: 687000 | #Constraints: 31623
1314.18/1317.54 c #Conflicts: 688000 | #Constraints: 32623
1314.18/1317.54 c INPROCESSING
1314.18/1317.54 c GARBAGE COLLECT
1314.18/1317.54 c #Conflicts: 689000 | #Constraints: 17223
1314.18/1317.54 c #Conflicts: 690000 | #Constraints: 18223
1314.18/1317.54 c #Conflicts: 691000 | #Constraints: 19223
1314.18/1317.54 c #Conflicts: 692000 | #Constraints: 20223
1314.18/1317.54 c #Conflicts: 693000 | #Constraints: 21223
1314.18/1317.54 c #Conflicts: 694000 | #Constraints: 22223
1314.18/1317.54 c #Conflicts: 695000 | #Constraints: 23223
1314.18/1317.54 c #Conflicts: 696000 | #Constraints: 24223
1314.18/1317.54 c #Conflicts: 697000 | #Constraints: 25223
1314.18/1317.54 c #Conflicts: 698000 | #Constraints: 26223
1314.18/1317.54 c #Conflicts: 699000 | #Constraints: 27223
1314.18/1317.54 c #Conflicts: 700000 | #Constraints: 28223
1314.18/1317.54 c #Conflicts: 701000 | #Constraints: 29223
1314.18/1317.54 c #Conflicts: 702000 | #Constraints: 30223
1314.18/1317.54 c #Conflicts: 703000 | #Constraints: 31223
1314.18/1317.54 c #Conflicts: 704000 | #Constraints: 32223
1314.18/1317.54 c #Conflicts: 705000 | #Constraints: 33223
1314.18/1317.54 c INPROCESSING
1314.18/1317.54 c GARBAGE COLLECT
1314.18/1317.54 c #Conflicts: 706000 | #Constraints: 17624
1314.18/1317.54 c #Conflicts: 707000 | #Constraints: 18624
1314.18/1317.54 c #Conflicts: 708000 | #Constraints: 19624
1314.18/1317.54 c #Conflicts: 709000 | #Constraints: 20624
1314.18/1317.54 c #Conflicts: 710000 | #Constraints: 21624
1314.18/1317.54 c #Conflicts: 711000 | #Constraints: 22624
1314.18/1317.54 c #Conflicts: 712000 | #Constraints: 23624
1314.18/1317.54 c #Conflicts: 713000 | #Constraints: 24624
1314.18/1317.54 c #Conflicts: 714000 | #Constraints: 25624
1314.18/1317.54 c #Conflicts: 715000 | #Constraints: 26624
1314.18/1317.54 c #Conflicts: 716000 | #Constraints: 27624
1314.18/1317.54 c #Conflicts: 717000 | #Constraints: 28624
1314.18/1317.54 c #Conflicts: 718000 | #Constraints: 29624
1314.18/1317.54 c #Conflicts: 719000 | #Constraints: 30624
1314.18/1317.54 c #Conflicts: 720000 | #Constraints: 31624
1314.18/1317.54 c #Conflicts: 721000 | #Constraints: 32624
1314.18/1317.54 c #Conflicts: 722000 | #Constraints: 33624
1314.18/1317.54 c INPROCESSING
1314.18/1317.54 c GARBAGE COLLECT
1314.18/1317.54 c #Conflicts: 723000 | #Constraints: 17827
1314.18/1317.54 c #Conflicts: 724000 | #Constraints: 18827
1314.18/1317.54 c #Conflicts: 725000 | #Constraints: 19827
1314.18/1317.54 c #Conflicts: 726000 | #Constraints: 20827
1314.18/1317.54 c #Conflicts: 727000 | #Constraints: 21827
1314.18/1317.54 c #Conflicts: 728000 | #Constraints: 22827
1314.18/1317.54 c #Conflicts: 729000 | #Constraints: 23827
1314.18/1317.54 c #Conflicts: 730000 | #Constraints: 24827
1314.18/1317.54 c #Conflicts: 731000 | #Constraints: 25827
1314.18/1317.54 c #Conflicts: 732000 | #Constraints: 26827
1314.18/1317.54 c #Conflicts: 733000 | #Constraints: 27827
1314.18/1317.54 c #Conflicts: 734000 | #Constraints: 28827
1314.18/1317.54 c #Conflicts: 735000 | #Constraints: 29827
1314.18/1317.54 c #Conflicts: 736000 | #Constraints: 30827
1314.18/1317.54 c #Conflicts: 737000 | #Constraints: 31827
1314.18/1317.54 c #Conflicts: 738000 | #Constraints: 32827
1314.18/1317.54 c #Conflicts: 739000 | #Constraints: 33827
1314.18/1317.54 c INPROCESSING
1314.18/1317.54 c GARBAGE COLLECT
1465.11/1468.87 c #Conflicts: 740000 | #Constraints: 17826
1465.11/1468.87 c #Conflicts: 741000 | #Constraints: 18826
1465.11/1468.87 c #Conflicts: 742000 | #Constraints: 19826
1465.11/1468.87 c #Conflicts: 743000 | #Constraints: 20826
1465.11/1468.87 c #Conflicts: 744000 | #Constraints: 21826
1465.11/1468.87 c #Conflicts: 745000 | #Constraints: 22826
1465.11/1468.87 c #Conflicts: 746000 | #Constraints: 23826
1465.11/1468.87 c #Conflicts: 747000 | #Constraints: 24826
1465.11/1468.87 c #Conflicts: 748000 | #Constraints: 25826
1465.11/1468.87 c #Conflicts: 749000 | #Constraints: 26826
1465.11/1468.87 c #Conflicts: 750000 | #Constraints: 27826
1465.11/1468.87 c #Conflicts: 751000 | #Constraints: 28826
1465.11/1468.87 c #Conflicts: 752000 | #Constraints: 29826
1465.11/1468.87 c #Conflicts: 753000 | #Constraints: 30826
1465.11/1468.87 c #Conflicts: 754000 | #Constraints: 31826
1465.11/1468.87 c #Conflicts: 755000 | #Constraints: 32826
1465.11/1468.87 c #Conflicts: 756000 | #Constraints: 33826
1465.11/1468.87 c INPROCESSING
1465.11/1468.87 c GARBAGE COLLECT
1465.11/1468.87 c #Conflicts: 757000 | #Constraints: 17624
1465.11/1468.87 c #Conflicts: 758000 | #Constraints: 18624
1465.11/1468.87 c #Conflicts: 759000 | #Constraints: 19624
1465.11/1468.87 c #Conflicts: 760000 | #Constraints: 20624
1465.11/1468.87 c #Conflicts: 761000 | #Constraints: 21624
1465.11/1468.87 c #Conflicts: 762000 | #Constraints: 22624
1465.11/1468.87 c #Conflicts: 763000 | #Constraints: 23624
1465.11/1468.87 c #Conflicts: 764000 | #Constraints: 24624
1465.11/1468.87 c #Conflicts: 765000 | #Constraints: 25624
1465.11/1468.87 c #Conflicts: 766000 | #Constraints: 26624
1465.11/1468.87 c #Conflicts: 767000 | #Constraints: 27624
1465.11/1468.87 c #Conflicts: 768000 | #Constraints: 28624
1465.11/1468.87 c #Conflicts: 769000 | #Constraints: 29624
1465.11/1468.87 c #Conflicts: 770000 | #Constraints: 30624
1465.11/1468.87 c #Conflicts: 771000 | #Constraints: 31624
1465.11/1468.87 c #Conflicts: 772000 | #Constraints: 32624
1465.11/1468.87 c #Conflicts: 773000 | #Constraints: 33624
1465.11/1468.87 c #Conflicts: 774000 | #Constraints: 34624
1465.11/1468.87 c INPROCESSING
1465.11/1468.87 c GARBAGE COLLECT
1465.11/1468.87 c #Conflicts: 775000 | #Constraints: 18228
1465.11/1468.87 c #Conflicts: 776000 | #Constraints: 19228
1465.11/1468.87 c #Conflicts: 777000 | #Constraints: 20228
1465.11/1468.87 c #Conflicts: 778000 | #Constraints: 21228
1465.11/1468.87 c #Conflicts: 779000 | #Constraints: 22228
1465.11/1468.87 c #Conflicts: 780000 | #Constraints: 23228
1465.11/1468.87 c #Conflicts: 781000 | #Constraints: 24228
1465.11/1468.87 c #Conflicts: 782000 | #Constraints: 25228
1465.11/1468.87 c #Conflicts: 783000 | #Constraints: 26228
1465.11/1468.87 c #Conflicts: 784000 | #Constraints: 27228
1465.11/1468.87 c #Conflicts: 785000 | #Constraints: 28228
1465.11/1468.87 c #Conflicts: 786000 | #Constraints: 29228
1465.11/1468.87 c #Conflicts: 787000 | #Constraints: 30228
1465.11/1468.87 c #Conflicts: 788000 | #Constraints: 31228
1465.11/1468.87 c #Conflicts: 789000 | #Constraints: 32228
1465.11/1468.87 c #Conflicts: 790000 | #Constraints: 33228
1465.11/1468.87 c #Conflicts: 791000 | #Constraints: 34228
1465.11/1468.87 c #Conflicts: 792000 | #Constraints: 35228
1465.11/1468.87 c INPROCESSING
1465.11/1468.87 c GARBAGE COLLECT
1465.11/1468.87 c #Conflicts: 793000 | #Constraints: 18629
1465.11/1468.87 c #Conflicts: 794000 | #Constraints: 19629
1465.11/1468.87 c #Conflicts: 795000 | #Constraints: 20629
1465.11/1468.87 c #Conflicts: 796000 | #Constraints: 21629
1465.11/1468.87 c #Conflicts: 797000 | #Constraints: 22629
1465.11/1468.87 c #Conflicts: 798000 | #Constraints: 23629
1465.11/1468.87 c #Conflicts: 799000 | #Constraints: 24629
1465.11/1468.87 c #Conflicts: 800000 | #Constraints: 25629
1465.11/1468.87 c #Conflicts: 801000 | #Constraints: 26629
1465.11/1468.87 c #Conflicts: 802000 | #Constraints: 27629
1465.11/1468.87 c #Conflicts: 803000 | #Constraints: 28629
1465.11/1468.87 c #Conflicts: 804000 | #Constraints: 29629
1465.11/1468.87 c #Conflicts: 805000 | #Constraints: 30629
1465.11/1468.87 c #Conflicts: 806000 | #Constraints: 31629
1465.11/1468.87 c #Conflicts: 807000 | #Constraints: 32629
1465.11/1468.87 c #Conflicts: 808000 | #Constraints: 33629
1465.11/1468.87 c #Conflicts: 809000 | #Constraints: 34629
1465.11/1468.87 c #Conflicts: 810000 | #Constraints: 35629
1465.11/1468.87 c INPROCESSING
1465.11/1468.87 c GARBAGE COLLECT
1465.11/1468.87 c #Conflicts: 811000 | #Constraints: 18827
1465.11/1468.87 c #Conflicts: 812000 | #Constraints: 19827
1465.11/1468.87 c #Conflicts: 813000 | #Constraints: 20827
1465.11/1468.87 c #Conflicts: 814000 | #Constraints: 21827
1465.11/1468.87 c #Conflicts: 815000 | #Constraints: 22827
1465.11/1468.87 c #Conflicts: 816000 | #Constraints: 23827
1628.88/1633.04 c #Conflicts: 817000 | #Constraints: 24827
1628.88/1633.04 c #Conflicts: 818000 | #Constraints: 25827
1628.88/1633.04 c #Conflicts: 819000 | #Constraints: 26827
1628.88/1633.04 c #Conflicts: 820000 | #Constraints: 27827
1628.88/1633.04 c #Conflicts: 821000 | #Constraints: 28827
1628.88/1633.04 c #Conflicts: 822000 | #Constraints: 29827
1628.88/1633.04 c #Conflicts: 823000 | #Constraints: 30827
1628.88/1633.04 c #Conflicts: 824000 | #Constraints: 31827
1628.88/1633.04 c #Conflicts: 825000 | #Constraints: 32827
1628.88/1633.04 c #Conflicts: 826000 | #Constraints: 33827
1628.88/1633.04 c #Conflicts: 827000 | #Constraints: 34827
1628.88/1633.04 c #Conflicts: 828000 | #Constraints: 35827
1628.88/1633.04 c INPROCESSING
1628.88/1633.04 c GARBAGE COLLECT
1628.88/1633.04 c #Conflicts: 829000 | #Constraints: 18828
1628.88/1633.04 c #Conflicts: 830000 | #Constraints: 19828
1628.88/1633.04 c #Conflicts: 831000 | #Constraints: 20828
1628.88/1633.04 c #Conflicts: 832000 | #Constraints: 21828
1628.88/1633.04 c #Conflicts: 833000 | #Constraints: 22828
1628.88/1633.04 c #Conflicts: 834000 | #Constraints: 23828
1628.88/1633.04 c #Conflicts: 835000 | #Constraints: 24828
1628.88/1633.04 c #Conflicts: 836000 | #Constraints: 25828
1628.88/1633.04 c #Conflicts: 837000 | #Constraints: 26828
1628.88/1633.04 c #Conflicts: 838000 | #Constraints: 27828
1628.88/1633.04 c #Conflicts: 839000 | #Constraints: 28828
1628.88/1633.04 c #Conflicts: 840000 | #Constraints: 29828
1628.88/1633.04 c #Conflicts: 841000 | #Constraints: 30828
1628.88/1633.04 c #Conflicts: 842000 | #Constraints: 31828
1628.88/1633.04 c #Conflicts: 843000 | #Constraints: 32828
1628.88/1633.04 c #Conflicts: 844000 | #Constraints: 33828
1628.88/1633.04 c #Conflicts: 845000 | #Constraints: 34828
1628.88/1633.04 c #Conflicts: 846000 | #Constraints: 35828
1628.88/1633.04 c INPROCESSING
1628.88/1633.04 c GARBAGE COLLECT
1628.88/1633.04 c #Conflicts: 847000 | #Constraints: 18623
1628.88/1633.04 c #Conflicts: 848000 | #Constraints: 19623
1628.88/1633.04 c #Conflicts: 849000 | #Constraints: 20623
1628.88/1633.04 c #Conflicts: 850000 | #Constraints: 21623
1628.88/1633.04 c #Conflicts: 851000 | #Constraints: 22623
1628.88/1633.04 c #Conflicts: 852000 | #Constraints: 23623
1628.88/1633.04 c #Conflicts: 853000 | #Constraints: 24623
1628.88/1633.04 c #Conflicts: 854000 | #Constraints: 25623
1628.88/1633.04 c #Conflicts: 855000 | #Constraints: 26623
1628.88/1633.04 c #Conflicts: 856000 | #Constraints: 27623
1628.88/1633.04 c #Conflicts: 857000 | #Constraints: 28623
1628.88/1633.04 c #Conflicts: 858000 | #Constraints: 29623
1628.88/1633.04 c #Conflicts: 859000 | #Constraints: 30623
1628.88/1633.04 c #Conflicts: 860000 | #Constraints: 31623
1628.88/1633.04 c #Conflicts: 861000 | #Constraints: 32623
1628.88/1633.04 c #Conflicts: 862000 | #Constraints: 33623
1628.88/1633.04 c #Conflicts: 863000 | #Constraints: 34623
1628.88/1633.04 c #Conflicts: 864000 | #Constraints: 35623
1628.88/1633.04 c #Conflicts: 865000 | #Constraints: 36623
1628.88/1633.04 c INPROCESSING
1628.88/1633.04 c GARBAGE COLLECT
1628.88/1633.04 c #Conflicts: 866000 | #Constraints: 19224
1628.88/1633.04 c #Conflicts: 867000 | #Constraints: 20224
1628.88/1633.04 c #Conflicts: 868000 | #Constraints: 21224
1628.88/1633.04 c #Conflicts: 869000 | #Constraints: 22224
1628.88/1633.04 c #Conflicts: 870000 | #Constraints: 23224
1628.88/1633.04 c #Conflicts: 871000 | #Constraints: 24224
1628.88/1633.04 c #Conflicts: 872000 | #Constraints: 25224
1628.88/1633.04 c #Conflicts: 873000 | #Constraints: 26224
1628.88/1633.04 c #Conflicts: 874000 | #Constraints: 27224
1628.88/1633.04 c #Conflicts: 875000 | #Constraints: 28224
1628.88/1633.04 c #Conflicts: 876000 | #Constraints: 29224
1628.88/1633.04 c #Conflicts: 877000 | #Constraints: 30224
1628.88/1633.04 c #Conflicts: 878000 | #Constraints: 31224
1628.88/1633.04 c #Conflicts: 879000 | #Constraints: 32224
1628.88/1633.04 c #Conflicts: 880000 | #Constraints: 33224
1628.88/1633.04 c #Conflicts: 881000 | #Constraints: 34224
1628.88/1633.04 c #Conflicts: 882000 | #Constraints: 35224
1628.88/1633.04 c #Conflicts: 883000 | #Constraints: 36224
1628.88/1633.04 c #Conflicts: 884000 | #Constraints: 37224
1628.88/1633.04 c INPROCESSING
1628.88/1633.04 c GARBAGE COLLECT
1628.88/1633.04 c #Conflicts: 885000 | #Constraints: 19627
1628.88/1633.04 c #Conflicts: 886000 | #Constraints: 20627
1628.88/1633.04 c #Conflicts: 887000 | #Constraints: 21627
1628.88/1633.04 c #Conflicts: 888000 | #Constraints: 22627
1628.88/1633.04 c #Conflicts: 889000 | #Constraints: 23627
1628.88/1633.04 c #Conflicts: 890000 | #Constraints: 24627
1628.88/1633.04 c #Conflicts: 891000 | #Constraints: 25627
1628.88/1633.04 c #Conflicts: 892000 | #Constraints: 26627
1807.59/1812.21 c #Conflicts: 893000 | #Constraints: 27627
1807.59/1812.21 c #Conflicts: 894000 | #Constraints: 28627
1807.59/1812.21 c #Conflicts: 895000 | #Constraints: 29627
1807.59/1812.21 c #Conflicts: 896000 | #Constraints: 30627
1807.59/1812.21 c #Conflicts: 897000 | #Constraints: 31627
1807.59/1812.21 c #Conflicts: 898000 | #Constraints: 32627
1807.59/1812.21 c #Conflicts: 899000 | #Constraints: 33627
1807.59/1812.21 c #Conflicts: 900000 | #Constraints: 34627
1807.59/1812.21 c #Conflicts: 901000 | #Constraints: 35627
1807.59/1812.21 c #Conflicts: 902000 | #Constraints: 36627
1807.59/1812.21 c #Conflicts: 903000 | #Constraints: 37627
1807.59/1812.21 c INPROCESSING
1807.59/1812.21 c GARBAGE COLLECT
1807.59/1812.21 c #Conflicts: 904000 | #Constraints: 19823
1807.59/1812.21 c #Conflicts: 905000 | #Constraints: 20823
1807.59/1812.21 c #Conflicts: 906000 | #Constraints: 21823
1807.59/1812.21 c #Conflicts: 907000 | #Constraints: 22823
1807.59/1812.21 c #Conflicts: 908000 | #Constraints: 23823
1807.59/1812.21 c #Conflicts: 909000 | #Constraints: 24823
1807.59/1812.21 c #Conflicts: 910000 | #Constraints: 25823
1807.59/1812.21 c #Conflicts: 911000 | #Constraints: 26823
1807.59/1812.21 c #Conflicts: 912000 | #Constraints: 27823
1807.59/1812.21 c #Conflicts: 913000 | #Constraints: 28823
1807.59/1812.21 c #Conflicts: 914000 | #Constraints: 29823
1807.59/1812.21 c #Conflicts: 915000 | #Constraints: 30823
1807.59/1812.21 c #Conflicts: 916000 | #Constraints: 31823
1807.59/1812.21 c #Conflicts: 917000 | #Constraints: 32823
1807.59/1812.21 c #Conflicts: 918000 | #Constraints: 33823
1807.59/1812.21 c #Conflicts: 919000 | #Constraints: 34823
1807.59/1812.21 c #Conflicts: 920000 | #Constraints: 35823
1807.59/1812.21 c #Conflicts: 921000 | #Constraints: 36823
1807.59/1812.21 c #Conflicts: 922000 | #Constraints: 37823
1807.59/1812.21 c INPROCESSING
1807.59/1812.21 c GARBAGE COLLECT
1807.59/1812.21 c #Conflicts: 923000 | #Constraints: 19824
1807.59/1812.21 c #Conflicts: 924000 | #Constraints: 20824
1807.59/1812.21 c #Conflicts: 925000 | #Constraints: 21824
1807.59/1812.21 c #Conflicts: 926000 | #Constraints: 22824
1807.59/1812.21 c #Conflicts: 927000 | #Constraints: 23824
1807.59/1812.21 c #Conflicts: 928000 | #Constraints: 24824
1807.59/1812.21 c #Conflicts: 929000 | #Constraints: 25824
1807.59/1812.21 c #Conflicts: 930000 | #Constraints: 26824
1807.59/1812.21 c #Conflicts: 931000 | #Constraints: 27824
1807.59/1812.21 c #Conflicts: 932000 | #Constraints: 28824
1807.59/1812.21 c #Conflicts: 933000 | #Constraints: 29824
1807.59/1812.21 c #Conflicts: 934000 | #Constraints: 30824
1807.59/1812.21 c #Conflicts: 935000 | #Constraints: 31824
1807.59/1812.21 c #Conflicts: 936000 | #Constraints: 32824
1807.59/1812.21 c #Conflicts: 937000 | #Constraints: 33824
1807.59/1812.21 c #Conflicts: 938000 | #Constraints: 34824
1807.59/1812.21 c #Conflicts: 939000 | #Constraints: 35824
1807.59/1812.21 c #Conflicts: 940000 | #Constraints: 36824
1807.59/1812.21 c #Conflicts: 941000 | #Constraints: 37824
1807.59/1812.21 c INPROCESSING
1807.59/1812.21 c GARBAGE COLLECT
1807.59/1812.21 c #Conflicts: 942000 | #Constraints: 19626
1807.59/1812.21 c #Conflicts: 943000 | #Constraints: 20626
1807.59/1812.21 c #Conflicts: 944000 | #Constraints: 21626
1807.59/1812.21 c #Conflicts: 945000 | #Constraints: 22626
1807.59/1812.21 c #Conflicts: 946000 | #Constraints: 23626
1807.59/1812.21 c #Conflicts: 947000 | #Constraints: 24626
1807.59/1812.21 c #Conflicts: 948000 | #Constraints: 25626
1807.59/1812.21 c #Conflicts: 949000 | #Constraints: 26626
1807.59/1812.21 c #Conflicts: 950000 | #Constraints: 27626
1807.59/1812.21 c #Conflicts: 951000 | #Constraints: 28626
1807.59/1812.21 c #Conflicts: 952000 | #Constraints: 29626
1807.59/1812.21 c #Conflicts: 953000 | #Constraints: 30626
1807.59/1812.21 c #Conflicts: 954000 | #Constraints: 31626
1807.59/1812.21 c #Conflicts: 955000 | #Constraints: 32626
1807.59/1812.21 c #Conflicts: 956000 | #Constraints: 33626
1807.59/1812.21 c #Conflicts: 957000 | #Constraints: 34626
1807.59/1812.21 c #Conflicts: 958000 | #Constraints: 35626
1807.59/1812.21 c #Conflicts: 959000 | #Constraints: 36626
1807.59/1812.21 c #Conflicts: 960000 | #Constraints: 37626
1807.59/1812.21 c #Conflicts: 961000 | #Constraints: 38626
1807.59/1812.21 c INPROCESSING
1807.59/1812.21 c GARBAGE COLLECT
1807.59/1812.21 c #Conflicts: 962000 | #Constraints: 20227
1807.59/1812.21 c #Conflicts: 963000 | #Constraints: 21227
1807.59/1812.21 c #Conflicts: 964000 | #Constraints: 22227
1807.59/1812.21 c #Conflicts: 965000 | #Constraints: 23227
1807.59/1812.21 c #Conflicts: 966000 | #Constraints: 24227
1807.59/1812.21 c #Conflicts: 967000 | #Constraints: 25227
1807.59/1812.21 c #Conflicts: 968000 | #Constraints: 26227
2021.72/2026.93 c #Conflicts: 969000 | #Constraints: 27227
2021.72/2026.93 c #Conflicts: 970000 | #Constraints: 28227
2021.72/2026.93 c #Conflicts: 971000 | #Constraints: 29227
2021.72/2026.93 c #Conflicts: 972000 | #Constraints: 30227
2021.72/2026.93 c #Conflicts: 973000 | #Constraints: 31227
2021.72/2026.93 c #Conflicts: 974000 | #Constraints: 32227
2021.72/2026.93 c #Conflicts: 975000 | #Constraints: 33227
2021.72/2026.93 c #Conflicts: 976000 | #Constraints: 34227
2021.72/2026.93 c #Conflicts: 977000 | #Constraints: 35227
2021.72/2026.93 c #Conflicts: 978000 | #Constraints: 36227
2021.72/2026.93 c #Conflicts: 979000 | #Constraints: 37227
2021.72/2026.93 c #Conflicts: 980000 | #Constraints: 38227
2021.72/2026.93 c #Conflicts: 981000 | #Constraints: 39227
2021.72/2026.93 c INPROCESSING
2021.72/2026.93 c GARBAGE COLLECT
2021.72/2026.93 c #Conflicts: 982000 | #Constraints: 20627
2021.72/2026.93 c #Conflicts: 983000 | #Constraints: 21627
2021.72/2026.93 c #Conflicts: 984000 | #Constraints: 22627
2021.72/2026.93 c #Conflicts: 985000 | #Constraints: 23627
2021.72/2026.93 c #Conflicts: 986000 | #Constraints: 24627
2021.72/2026.93 c #Conflicts: 987000 | #Constraints: 25627
2021.72/2026.93 c #Conflicts: 988000 | #Constraints: 26627
2021.72/2026.93 c #Conflicts: 989000 | #Constraints: 27627
2021.72/2026.93 c #Conflicts: 990000 | #Constraints: 28627
2021.72/2026.93 c #Conflicts: 991000 | #Constraints: 29627
2021.72/2026.93 c #Conflicts: 992000 | #Constraints: 30627
2021.72/2026.93 c #Conflicts: 993000 | #Constraints: 31627
2021.72/2026.93 c #Conflicts: 994000 | #Constraints: 32627
2021.72/2026.93 c #Conflicts: 995000 | #Constraints: 33627
2021.72/2026.93 c #Conflicts: 996000 | #Constraints: 34627
2021.72/2026.93 c #Conflicts: 997000 | #Constraints: 35627
2021.72/2026.93 c #Conflicts: 998000 | #Constraints: 36627
2021.72/2026.93 c #Conflicts: 999000 | #Constraints: 37627
2021.72/2026.93 c #Conflicts: 1000000 | #Constraints: 38627
2021.72/2026.93 c #Conflicts: 1001000 | #Constraints: 39627
2021.72/2026.93 c INPROCESSING
2021.72/2026.93 c GARBAGE COLLECT
2021.72/2026.93 c #Conflicts: 1002000 | #Constraints: 20828
2021.72/2026.93 c #Conflicts: 1003000 | #Constraints: 21828
2021.72/2026.93 c #Conflicts: 1004000 | #Constraints: 22828
2021.72/2026.93 c #Conflicts: 1005000 | #Constraints: 23828
2021.72/2026.93 c #Conflicts: 1006000 | #Constraints: 24828
2021.72/2026.93 c #Conflicts: 1007000 | #Constraints: 25828
2021.72/2026.93 c #Conflicts: 1008000 | #Constraints: 26828
2021.72/2026.93 c #Conflicts: 1009000 | #Constraints: 27828
2021.72/2026.93 c #Conflicts: 1010000 | #Constraints: 28828
2021.72/2026.93 c #Conflicts: 1011000 | #Constraints: 29828
2021.72/2026.93 c #Conflicts: 1012000 | #Constraints: 30828
2021.72/2026.93 c #Conflicts: 1013000 | #Constraints: 31828
2021.72/2026.93 c #Conflicts: 1014000 | #Constraints: 32828
2021.72/2026.93 c #Conflicts: 1015000 | #Constraints: 33828
2021.72/2026.93 c #Conflicts: 1016000 | #Constraints: 34828
2021.72/2026.93 c #Conflicts: 1017000 | #Constraints: 35828
2021.72/2026.93 c #Conflicts: 1018000 | #Constraints: 36828
2021.72/2026.93 c #Conflicts: 1019000 | #Constraints: 37828
2021.72/2026.93 c #Conflicts: 1020000 | #Constraints: 38828
2021.72/2026.93 c #Conflicts: 1021000 | #Constraints: 39828
2021.72/2026.93 c INPROCESSING
2021.72/2026.93 c GARBAGE COLLECT
2021.72/2026.93 c #Conflicts: 1022000 | #Constraints: 20830
2021.72/2026.93 c #Conflicts: 1023000 | #Constraints: 21830
2021.72/2026.93 c #Conflicts: 1024000 | #Constraints: 22830
2021.72/2026.93 c #Conflicts: 1025000 | #Constraints: 23830
2021.72/2026.93 c #Conflicts: 1026000 | #Constraints: 24830
2021.72/2026.93 c #Conflicts: 1027000 | #Constraints: 25830
2021.72/2026.93 c #Conflicts: 1028000 | #Constraints: 26830
2021.72/2026.93 c #Conflicts: 1029000 | #Constraints: 27830
2021.72/2026.93 c #Conflicts: 1030000 | #Constraints: 28830
2021.72/2026.93 c #Conflicts: 1031000 | #Constraints: 29830
2021.72/2026.93 c #Conflicts: 1032000 | #Constraints: 30830
2021.72/2026.93 c #Conflicts: 1033000 | #Constraints: 31830
2021.72/2026.93 c #Conflicts: 1034000 | #Constraints: 32830
2021.72/2026.93 c #Conflicts: 1035000 | #Constraints: 33830
2021.72/2026.93 c #Conflicts: 1036000 | #Constraints: 34830
2021.72/2026.93 c #Conflicts: 1037000 | #Constraints: 35830
2021.72/2026.93 c #Conflicts: 1038000 | #Constraints: 36830
2021.72/2026.93 c #Conflicts: 1039000 | #Constraints: 37830
2021.72/2026.93 c #Conflicts: 1040000 | #Constraints: 38830
2021.72/2026.93 c #Conflicts: 1041000 | #Constraints: 39830
2021.72/2026.93 c INPROCESSING
2021.72/2026.93 c GARBAGE COLLECT
2021.72/2026.93 c #Conflicts: 1042000 | #Constraints: 20630
2021.72/2026.93 c #Conflicts: 1043000 | #Constraints: 21630
2021.72/2026.93 c #Conflicts: 1044000 | #Constraints: 22630
2265.13/2270.96 c #Conflicts: 1045000 | #Constraints: 23630
2265.13/2270.96 c #Conflicts: 1046000 | #Constraints: 24630
2265.13/2270.96 c #Conflicts: 1047000 | #Constraints: 25630
2265.13/2270.96 c #Conflicts: 1048000 | #Constraints: 26630
2265.13/2270.96 c #Conflicts: 1049000 | #Constraints: 27630
2265.13/2270.96 c #Conflicts: 1050000 | #Constraints: 28630
2265.13/2270.96 c #Conflicts: 1051000 | #Constraints: 29630
2265.13/2270.96 c #Conflicts: 1052000 | #Constraints: 30630
2265.13/2270.96 c #Conflicts: 1053000 | #Constraints: 31630
2265.13/2270.96 c #Conflicts: 1054000 | #Constraints: 32630
2265.13/2270.96 c #Conflicts: 1055000 | #Constraints: 33630
2265.13/2270.96 c #Conflicts: 1056000 | #Constraints: 34630
2265.13/2270.96 c #Conflicts: 1057000 | #Constraints: 35630
2265.13/2270.96 c #Conflicts: 1058000 | #Constraints: 36630
2265.13/2270.96 c #Conflicts: 1059000 | #Constraints: 37630
2265.13/2270.96 c #Conflicts: 1060000 | #Constraints: 38630
2265.13/2270.96 c #Conflicts: 1061000 | #Constraints: 39630
2265.13/2270.96 c #Conflicts: 1062000 | #Constraints: 40630
2265.13/2270.96 c INPROCESSING
2265.13/2270.96 c GARBAGE COLLECT
2265.13/2270.96 c #Conflicts: 1063000 | #Constraints: 21229
2265.13/2270.96 c #Conflicts: 1064000 | #Constraints: 22229
2265.13/2270.96 c #Conflicts: 1065000 | #Constraints: 23229
2265.13/2270.96 c #Conflicts: 1066000 | #Constraints: 24229
2265.13/2270.96 c #Conflicts: 1067000 | #Constraints: 25229
2265.13/2270.96 c #Conflicts: 1068000 | #Constraints: 26229
2265.13/2270.96 c #Conflicts: 1069000 | #Constraints: 27229
2265.13/2270.96 c #Conflicts: 1070000 | #Constraints: 28229
2265.13/2270.96 c #Conflicts: 1071000 | #Constraints: 29229
2265.13/2270.96 c #Conflicts: 1072000 | #Constraints: 30229
2265.13/2270.96 c #Conflicts: 1073000 | #Constraints: 31229
2265.13/2270.96 c #Conflicts: 1074000 | #Constraints: 32229
2265.13/2270.96 c #Conflicts: 1075000 | #Constraints: 33229
2265.13/2270.96 c #Conflicts: 1076000 | #Constraints: 34229
2265.13/2270.96 c #Conflicts: 1077000 | #Constraints: 35229
2265.13/2270.96 c #Conflicts: 1078000 | #Constraints: 36229
2265.13/2270.96 c #Conflicts: 1079000 | #Constraints: 37229
2265.13/2270.96 c #Conflicts: 1080000 | #Constraints: 38229
2265.13/2270.96 c #Conflicts: 1081000 | #Constraints: 39229
2265.13/2270.96 c #Conflicts: 1082000 | #Constraints: 40229
2265.13/2270.96 c #Conflicts: 1083000 | #Constraints: 41229
2265.13/2270.96 c INPROCESSING
2265.13/2270.96 c GARBAGE COLLECT
2265.13/2270.96 c #Conflicts: 1084000 | #Constraints: 21627
2265.13/2270.96 c #Conflicts: 1085000 | #Constraints: 22627
2265.13/2270.96 c #Conflicts: 1086000 | #Constraints: 23627
2265.13/2270.96 c #Conflicts: 1087000 | #Constraints: 24627
2265.13/2270.96 c #Conflicts: 1088000 | #Constraints: 25627
2265.13/2270.96 c #Conflicts: 1089000 | #Constraints: 26627
2265.13/2270.96 c #Conflicts: 1090000 | #Constraints: 27627
2265.13/2270.96 c #Conflicts: 1091000 | #Constraints: 28627
2265.13/2270.96 c #Conflicts: 1092000 | #Constraints: 29627
2265.13/2270.96 c #Conflicts: 1093000 | #Constraints: 30627
2265.13/2270.96 c #Conflicts: 1094000 | #Constraints: 31627
2265.13/2270.96 c #Conflicts: 1095000 | #Constraints: 32627
2265.13/2270.96 c #Conflicts: 1096000 | #Constraints: 33627
2265.13/2270.96 c #Conflicts: 1097000 | #Constraints: 34627
2265.13/2270.96 c #Conflicts: 1098000 | #Constraints: 35627
2265.13/2270.96 c #Conflicts: 1099000 | #Constraints: 36627
2265.13/2270.96 c #Conflicts: 1100000 | #Constraints: 37627
2265.13/2270.96 c #Conflicts: 1101000 | #Constraints: 38627
2265.13/2270.96 c #Conflicts: 1102000 | #Constraints: 39627
2265.13/2270.96 c #Conflicts: 1103000 | #Constraints: 40627
2265.13/2270.96 c #Conflicts: 1104000 | #Constraints: 41627
2265.13/2270.96 c INPROCESSING
2265.13/2270.96 c GARBAGE COLLECT
2265.13/2270.96 c #Conflicts: 1105000 | #Constraints: 21831
2265.13/2270.96 c #Conflicts: 1106000 | #Constraints: 22831
2265.13/2270.96 c #Conflicts: 1107000 | #Constraints: 23831
2265.13/2270.96 c #Conflicts: 1108000 | #Constraints: 24831
2265.13/2270.96 c #Conflicts: 1109000 | #Constraints: 25831
2265.13/2270.96 c #Conflicts: 1110000 | #Constraints: 26831
2265.13/2270.96 c #Conflicts: 1111000 | #Constraints: 27831
2265.13/2270.96 c #Conflicts: 1112000 | #Constraints: 28831
2265.13/2270.96 c #Conflicts: 1113000 | #Constraints: 29831
2265.13/2270.96 c #Conflicts: 1114000 | #Constraints: 30831
2265.13/2270.96 c #Conflicts: 1115000 | #Constraints: 31831
2265.13/2270.96 c #Conflicts: 1116000 | #Constraints: 32831
2265.13/2270.96 c #Conflicts: 1117000 | #Constraints: 33831
2265.13/2270.96 c #Conflicts: 1118000 | #Constraints: 34831
2265.13/2270.96 c #Conflicts: 1119000 | #Constraints: 35831
2265.13/2270.96 c #Conflicts: 1120000 | #Constraints: 36831
2265.13/2270.96 c #Conflicts: 1121000 | #Constraints: 37831
2470.56/2476.84 c #Conflicts: 1122000 | #Constraints: 38831
2470.56/2476.84 c #Conflicts: 1123000 | #Constraints: 39831
2470.56/2476.84 c #Conflicts: 1124000 | #Constraints: 40831
2470.56/2476.84 c #Conflicts: 1125000 | #Constraints: 41831
2470.56/2476.84 c INPROCESSING
2470.56/2476.84 c GARBAGE COLLECT
2470.56/2476.84 c #Conflicts: 1126000 | #Constraints: 21827
2470.56/2476.84 c #Conflicts: 1127000 | #Constraints: 22827
2470.56/2476.84 c #Conflicts: 1128000 | #Constraints: 23827
2470.56/2476.84 c #Conflicts: 1129000 | #Constraints: 24827
2470.56/2476.84 c #Conflicts: 1130000 | #Constraints: 25827
2470.56/2476.84 c #Conflicts: 1131000 | #Constraints: 26827
2470.56/2476.84 c #Conflicts: 1132000 | #Constraints: 27827
2470.56/2476.84 c #Conflicts: 1133000 | #Constraints: 28827
2470.56/2476.84 c #Conflicts: 1134000 | #Constraints: 29827
2470.56/2476.84 c #Conflicts: 1135000 | #Constraints: 30827
2470.56/2476.84 c #Conflicts: 1136000 | #Constraints: 31827
2470.56/2476.84 c #Conflicts: 1137000 | #Constraints: 32827
2470.56/2476.84 c #Conflicts: 1138000 | #Constraints: 33827
2470.56/2476.84 c #Conflicts: 1139000 | #Constraints: 34827
2470.56/2476.84 c #Conflicts: 1140000 | #Constraints: 35827
2470.56/2476.84 c #Conflicts: 1141000 | #Constraints: 36827
2470.56/2476.84 c #Conflicts: 1142000 | #Constraints: 37827
2470.56/2476.84 c #Conflicts: 1143000 | #Constraints: 38827
2470.56/2476.84 c #Conflicts: 1144000 | #Constraints: 39827
2470.56/2476.84 c #Conflicts: 1145000 | #Constraints: 40827
2470.56/2476.84 c #Conflicts: 1146000 | #Constraints: 41827
2470.56/2476.84 c INPROCESSING
2470.56/2476.84 c GARBAGE COLLECT
2470.56/2476.84 c #Conflicts: 1147000 | #Constraints: 21625
2470.56/2476.84 c #Conflicts: 1148000 | #Constraints: 22625
2470.56/2476.84 c #Conflicts: 1149000 | #Constraints: 23625
2470.56/2476.84 c #Conflicts: 1150000 | #Constraints: 24625
2470.56/2476.84 c #Conflicts: 1151000 | #Constraints: 25625
2470.56/2476.84 c #Conflicts: 1152000 | #Constraints: 26625
2470.56/2476.84 c #Conflicts: 1153000 | #Constraints: 27625
2470.56/2476.84 c #Conflicts: 1154000 | #Constraints: 28625
2470.56/2476.84 c #Conflicts: 1155000 | #Constraints: 29625
2470.56/2476.84 c #Conflicts: 1156000 | #Constraints: 30625
2470.56/2476.84 c #Conflicts: 1157000 | #Constraints: 31625
2470.56/2476.84 c #Conflicts: 1158000 | #Constraints: 32625
2470.56/2476.84 c #Conflicts: 1159000 | #Constraints: 33625
2470.56/2476.84 c #Conflicts: 1160000 | #Constraints: 34625
2470.56/2476.84 c #Conflicts: 1161000 | #Constraints: 35625
2470.56/2476.84 c #Conflicts: 1162000 | #Constraints: 36625
2470.56/2476.84 c #Conflicts: 1163000 | #Constraints: 37625
2470.56/2476.84 c #Conflicts: 1164000 | #Constraints: 38625
2470.56/2476.84 c #Conflicts: 1165000 | #Constraints: 39625
2470.56/2476.84 c #Conflicts: 1166000 | #Constraints: 40625
2470.56/2476.84 c #Conflicts: 1167000 | #Constraints: 41625
2470.56/2476.84 c #Conflicts: 1168000 | #Constraints: 42625
2470.56/2476.84 c INPROCESSING
2470.56/2476.84 c GARBAGE COLLECT
2470.56/2476.84 c #Conflicts: 1169000 | #Constraints: 22225
2470.56/2476.84 c #Conflicts: 1170000 | #Constraints: 23225
2470.56/2476.84 c #Conflicts: 1171000 | #Constraints: 24225
2470.56/2476.84 c #Conflicts: 1172000 | #Constraints: 25225
2470.56/2476.84 c #Conflicts: 1173000 | #Constraints: 26225
2470.56/2476.84 c #Conflicts: 1174000 | #Constraints: 27225
2470.56/2476.84 c #Conflicts: 1175000 | #Constraints: 28225
2470.56/2476.84 c #Conflicts: 1176000 | #Constraints: 29225
2470.56/2476.84 c #Conflicts: 1177000 | #Constraints: 30225
2470.56/2476.84 c #Conflicts: 1178000 | #Constraints: 31225
2470.56/2476.84 c #Conflicts: 1179000 | #Constraints: 32225
2470.56/2476.84 c #Conflicts: 1180000 | #Constraints: 33225
2470.56/2476.84 c #Conflicts: 1181000 | #Constraints: 34225
2470.56/2476.84 c #Conflicts: 1182000 | #Constraints: 35225
2470.56/2476.84 c #Conflicts: 1183000 | #Constraints: 36225
2470.56/2476.84 c #Conflicts: 1184000 | #Constraints: 37225
2470.56/2476.84 c #Conflicts: 1185000 | #Constraints: 38225
2470.56/2476.84 c #Conflicts: 1186000 | #Constraints: 39225
2470.56/2476.84 c #Conflicts: 1187000 | #Constraints: 40225
2470.56/2476.84 c #Conflicts: 1188000 | #Constraints: 41225
2470.56/2476.84 c #Conflicts: 1189000 | #Constraints: 42225
2470.56/2476.84 c #Conflicts: 1190000 | #Constraints: 43225
2470.56/2476.84 c INPROCESSING
2470.56/2476.84 c GARBAGE COLLECT
2470.56/2476.84 c #Conflicts: 1191000 | #Constraints: 22627
2470.56/2476.84 c #Conflicts: 1192000 | #Constraints: 23627
2470.56/2476.84 c #Conflicts: 1193000 | #Constraints: 24627
2470.56/2476.84 c #Conflicts: 1194000 | #Constraints: 25627
2470.56/2476.84 c #Conflicts: 1195000 | #Constraints: 26627
2470.56/2476.84 c #Conflicts: 1196000 | #Constraints: 27627
2470.56/2476.84 c #Conflicts: 1197000 | #Constraints: 28627
2692.57/2699.35 c #Conflicts: 1198000 | #Constraints: 29627
2692.57/2699.35 c #Conflicts: 1199000 | #Constraints: 30627
2692.57/2699.35 c #Conflicts: 1200000 | #Constraints: 31627
2692.57/2699.35 c #Conflicts: 1201000 | #Constraints: 32627
2692.57/2699.35 c #Conflicts: 1202000 | #Constraints: 33627
2692.57/2699.35 c #Conflicts: 1203000 | #Constraints: 34627
2692.57/2699.35 c #Conflicts: 1204000 | #Constraints: 35627
2692.57/2699.35 c #Conflicts: 1205000 | #Constraints: 36627
2692.57/2699.35 c #Conflicts: 1206000 | #Constraints: 37627
2692.57/2699.35 c #Conflicts: 1207000 | #Constraints: 38627
2692.57/2699.35 c #Conflicts: 1208000 | #Constraints: 39627
2692.57/2699.35 c #Conflicts: 1209000 | #Constraints: 40627
2692.57/2699.35 c #Conflicts: 1210000 | #Constraints: 41627
2692.57/2699.35 c #Conflicts: 1211000 | #Constraints: 42627
2692.57/2699.35 c #Conflicts: 1212000 | #Constraints: 43627
2692.57/2699.35 c INPROCESSING
2692.57/2699.35 c GARBAGE COLLECT
2692.57/2699.35 c #Conflicts: 1213000 | #Constraints: 22829
2692.57/2699.35 c #Conflicts: 1214000 | #Constraints: 23829
2692.57/2699.35 c #Conflicts: 1215000 | #Constraints: 24829
2692.57/2699.35 c #Conflicts: 1216000 | #Constraints: 25829
2692.57/2699.35 c #Conflicts: 1217000 | #Constraints: 26829
2692.57/2699.35 c #Conflicts: 1218000 | #Constraints: 27829
2692.57/2699.35 c #Conflicts: 1219000 | #Constraints: 28829
2692.57/2699.35 c #Conflicts: 1220000 | #Constraints: 29829
2692.57/2699.35 c #Conflicts: 1221000 | #Constraints: 30829
2692.57/2699.35 c #Conflicts: 1222000 | #Constraints: 31829
2692.57/2699.35 c #Conflicts: 1223000 | #Constraints: 32829
2692.57/2699.35 c #Conflicts: 1224000 | #Constraints: 33829
2692.57/2699.35 c #Conflicts: 1225000 | #Constraints: 34829
2692.57/2699.35 c #Conflicts: 1226000 | #Constraints: 35829
2692.57/2699.35 c #Conflicts: 1227000 | #Constraints: 36829
2692.57/2699.35 c #Conflicts: 1228000 | #Constraints: 37829
2692.57/2699.35 c #Conflicts: 1229000 | #Constraints: 38829
2692.57/2699.35 c #Conflicts: 1230000 | #Constraints: 39829
2692.57/2699.35 c #Conflicts: 1231000 | #Constraints: 40829
2692.57/2699.35 c #Conflicts: 1232000 | #Constraints: 41829
2692.57/2699.35 c #Conflicts: 1233000 | #Constraints: 42829
2692.57/2699.35 c #Conflicts: 1234000 | #Constraints: 43829
2692.57/2699.35 c INPROCESSING
2692.57/2699.35 c GARBAGE COLLECT
2692.57/2699.35 c #Conflicts: 1235000 | #Constraints: 22826
2692.57/2699.35 c #Conflicts: 1236000 | #Constraints: 23826
2692.57/2699.35 c #Conflicts: 1237000 | #Constraints: 24826
2692.57/2699.35 c #Conflicts: 1238000 | #Constraints: 25826
2692.57/2699.35 c #Conflicts: 1239000 | #Constraints: 26826
2692.57/2699.35 c #Conflicts: 1240000 | #Constraints: 27826
2692.57/2699.35 c #Conflicts: 1241000 | #Constraints: 28826
2692.57/2699.35 c #Conflicts: 1242000 | #Constraints: 29826
2692.57/2699.35 c #Conflicts: 1243000 | #Constraints: 30826
2692.57/2699.35 c #Conflicts: 1244000 | #Constraints: 31826
2692.57/2699.35 c #Conflicts: 1245000 | #Constraints: 32826
2692.57/2699.35 c #Conflicts: 1246000 | #Constraints: 33826
2692.57/2699.35 c #Conflicts: 1247000 | #Constraints: 34826
2692.57/2699.35 c #Conflicts: 1248000 | #Constraints: 35826
2692.57/2699.35 c #Conflicts: 1249000 | #Constraints: 36826
2692.57/2699.35 c #Conflicts: 1250000 | #Constraints: 37826
2692.57/2699.35 c #Conflicts: 1251000 | #Constraints: 38826
2692.57/2699.35 c #Conflicts: 1252000 | #Constraints: 39826
2692.57/2699.35 c #Conflicts: 1253000 | #Constraints: 40826
2692.57/2699.35 c #Conflicts: 1254000 | #Constraints: 41826
2692.57/2699.35 c #Conflicts: 1255000 | #Constraints: 42826
2692.57/2699.35 c #Conflicts: 1256000 | #Constraints: 43826
2692.57/2699.35 c INPROCESSING
2692.57/2699.35 c GARBAGE COLLECT
2692.57/2699.35 c #Conflicts: 1257000 | #Constraints: 22625
2692.57/2699.35 c #Conflicts: 1258000 | #Constraints: 23625
2692.57/2699.35 c #Conflicts: 1259000 | #Constraints: 24625
2692.57/2699.35 c #Conflicts: 1260000 | #Constraints: 25625
2692.57/2699.35 c #Conflicts: 1261000 | #Constraints: 26625
2692.57/2699.35 c #Conflicts: 1262000 | #Constraints: 27625
2692.57/2699.35 c #Conflicts: 1263000 | #Constraints: 28625
2692.57/2699.35 c #Conflicts: 1264000 | #Constraints: 29625
2692.57/2699.35 c #Conflicts: 1265000 | #Constraints: 30625
2692.57/2699.35 c #Conflicts: 1266000 | #Constraints: 31625
2692.57/2699.35 c #Conflicts: 1267000 | #Constraints: 32625
2692.57/2699.35 c #Conflicts: 1268000 | #Constraints: 33625
2692.57/2699.35 c #Conflicts: 1269000 | #Constraints: 34625
2692.57/2699.35 c #Conflicts: 1270000 | #Constraints: 35625
2692.57/2699.35 c #Conflicts: 1271000 | #Constraints: 36625
2692.57/2699.35 c #Conflicts: 1272000 | #Constraints: 37625
2692.57/2699.35 c #Conflicts: 1273000 | #Constraints: 38625
2692.57/2699.35 c #Conflicts: 1274000 | #Constraints: 39625
2926.46/2933.76 c #Conflicts: 1275000 | #Constraints: 40625
2926.46/2933.76 c #Conflicts: 1276000 | #Constraints: 41625
2926.46/2933.76 c #Conflicts: 1277000 | #Constraints: 42625
2926.46/2933.76 c #Conflicts: 1278000 | #Constraints: 43625
2926.46/2933.76 c #Conflicts: 1279000 | #Constraints: 44625
2926.46/2933.76 c INPROCESSING
2926.46/2933.76 c GARBAGE COLLECT
2926.46/2933.76 c #Conflicts: 1280000 | #Constraints: 23224
2926.46/2933.76 c #Conflicts: 1281000 | #Constraints: 24224
2926.46/2933.76 c #Conflicts: 1282000 | #Constraints: 25224
2926.46/2933.76 c #Conflicts: 1283000 | #Constraints: 26224
2926.46/2933.76 c #Conflicts: 1284000 | #Constraints: 27224
2926.46/2933.76 c #Conflicts: 1285000 | #Constraints: 28224
2926.46/2933.76 c #Conflicts: 1286000 | #Constraints: 29224
2926.46/2933.76 c #Conflicts: 1287000 | #Constraints: 30224
2926.46/2933.76 c #Conflicts: 1288000 | #Constraints: 31224
2926.46/2933.76 c #Conflicts: 1289000 | #Constraints: 32224
2926.46/2933.76 c #Conflicts: 1290000 | #Constraints: 33224
2926.46/2933.76 c #Conflicts: 1291000 | #Constraints: 34224
2926.46/2933.76 c #Conflicts: 1292000 | #Constraints: 35224
2926.46/2933.76 c #Conflicts: 1293000 | #Constraints: 36224
2926.46/2933.76 c #Conflicts: 1294000 | #Constraints: 37224
2926.46/2933.76 c #Conflicts: 1295000 | #Constraints: 38224
2926.46/2933.76 c #Conflicts: 1296000 | #Constraints: 39224
2926.46/2933.76 c #Conflicts: 1297000 | #Constraints: 40224
2926.46/2933.76 c #Conflicts: 1298000 | #Constraints: 41224
2926.46/2933.76 c #Conflicts: 1299000 | #Constraints: 42224
2926.46/2933.76 c #Conflicts: 1300000 | #Constraints: 43224
2926.46/2933.76 c #Conflicts: 1301000 | #Constraints: 44224
2926.46/2933.76 c #Conflicts: 1302000 | #Constraints: 45224
2926.46/2933.76 c INPROCESSING
2926.46/2933.76 c GARBAGE COLLECT
2926.46/2933.76 c #Conflicts: 1303000 | #Constraints: 23625
2926.46/2933.76 c #Conflicts: 1304000 | #Constraints: 24625
2926.46/2933.76 c #Conflicts: 1305000 | #Constraints: 25625
2926.46/2933.76 c #Conflicts: 1306000 | #Constraints: 26625
2926.46/2933.76 c #Conflicts: 1307000 | #Constraints: 27625
2926.46/2933.76 c #Conflicts: 1308000 | #Constraints: 28625
2926.46/2933.76 c #Conflicts: 1309000 | #Constraints: 29625
2926.46/2933.76 c #Conflicts: 1310000 | #Constraints: 30625
2926.46/2933.76 c #Conflicts: 1311000 | #Constraints: 31625
2926.46/2933.76 c #Conflicts: 1312000 | #Constraints: 32625
2926.46/2933.77 c #Conflicts: 1313000 | #Constraints: 33625
2926.46/2933.77 c #Conflicts: 1314000 | #Constraints: 34625
2926.46/2933.77 c #Conflicts: 1315000 | #Constraints: 35625
2926.46/2933.77 c #Conflicts: 1316000 | #Constraints: 36625
2926.46/2933.77 c #Conflicts: 1317000 | #Constraints: 37625
2926.46/2933.77 c #Conflicts: 1318000 | #Constraints: 38625
2926.46/2933.77 c #Conflicts: 1319000 | #Constraints: 39625
2926.46/2933.77 c #Conflicts: 1320000 | #Constraints: 40625
2926.46/2933.77 c #Conflicts: 1321000 | #Constraints: 41625
2926.46/2933.77 c #Conflicts: 1322000 | #Constraints: 42625
2926.46/2933.77 c #Conflicts: 1323000 | #Constraints: 43625
2926.46/2933.77 c #Conflicts: 1324000 | #Constraints: 44625
2926.46/2933.77 c #Conflicts: 1325000 | #Constraints: 45625
2926.46/2933.77 c INPROCESSING
2926.46/2933.77 c GARBAGE COLLECT
2926.46/2933.77 c #Conflicts: 1326000 | #Constraints: 23826
2926.46/2933.77 c #Conflicts: 1327000 | #Constraints: 24826
2926.46/2933.77 c #Conflicts: 1328000 | #Constraints: 25826
2926.46/2933.77 c #Conflicts: 1329000 | #Constraints: 26826
2926.46/2933.77 c #Conflicts: 1330000 | #Constraints: 27826
2926.46/2933.77 c #Conflicts: 1331000 | #Constraints: 28826
2926.46/2933.77 c #Conflicts: 1332000 | #Constraints: 29826
2926.46/2933.77 c #Conflicts: 1333000 | #Constraints: 30826
2926.46/2933.77 c #Conflicts: 1334000 | #Constraints: 31826
2926.46/2933.77 c #Conflicts: 1335000 | #Constraints: 32826
2926.46/2933.77 c #Conflicts: 1336000 | #Constraints: 33826
2926.46/2933.77 c #Conflicts: 1337000 | #Constraints: 34826
2926.46/2933.77 c #Conflicts: 1338000 | #Constraints: 35826
2926.46/2933.77 c #Conflicts: 1339000 | #Constraints: 36826
2926.46/2933.77 c #Conflicts: 1340000 | #Constraints: 37826
2926.46/2933.77 c #Conflicts: 1341000 | #Constraints: 38826
2926.46/2933.77 c #Conflicts: 1342000 | #Constraints: 39826
2926.46/2933.77 c #Conflicts: 1343000 | #Constraints: 40826
2926.46/2933.77 c #Conflicts: 1344000 | #Constraints: 41826
2926.46/2933.77 c #Conflicts: 1345000 | #Constraints: 42826
2926.46/2933.77 c #Conflicts: 1346000 | #Constraints: 43826
2926.46/2933.77 c #Conflicts: 1347000 | #Constraints: 44826
2926.46/2933.77 c #Conflicts: 1348000 | #Constraints: 45826
2926.46/2933.77 c INPROCESSING
2926.46/2933.77 c GARBAGE COLLECT
2926.46/2933.77 c #Conflicts: 1349000 | #Constraints: 23828
2926.46/2933.77 c #Conflicts: 1350000 | #Constraints: 24828
3152.85/3160.64 c #Conflicts: 1351000 | #Constraints: 25828
3152.85/3160.64 c #Conflicts: 1352000 | #Constraints: 26828
3152.85/3160.64 c #Conflicts: 1353000 | #Constraints: 27828
3152.85/3160.64 c #Conflicts: 1354000 | #Constraints: 28828
3152.85/3160.64 c #Conflicts: 1355000 | #Constraints: 29828
3152.85/3160.64 c #Conflicts: 1356000 | #Constraints: 30828
3152.85/3160.64 c #Conflicts: 1357000 | #Constraints: 31828
3152.85/3160.64 c #Conflicts: 1358000 | #Constraints: 32828
3152.85/3160.64 c #Conflicts: 1359000 | #Constraints: 33828
3152.85/3160.64 c #Conflicts: 1360000 | #Constraints: 34828
3152.85/3160.64 c #Conflicts: 1361000 | #Constraints: 35828
3152.85/3160.64 c #Conflicts: 1362000 | #Constraints: 36828
3152.85/3160.64 c #Conflicts: 1363000 | #Constraints: 37828
3152.85/3160.64 c #Conflicts: 1364000 | #Constraints: 38828
3152.85/3160.64 c #Conflicts: 1365000 | #Constraints: 39828
3152.85/3160.64 c #Conflicts: 1366000 | #Constraints: 40828
3152.85/3160.64 c #Conflicts: 1367000 | #Constraints: 41828
3152.85/3160.64 c #Conflicts: 1368000 | #Constraints: 42828
3152.85/3160.64 c #Conflicts: 1369000 | #Constraints: 43828
3152.85/3160.64 c #Conflicts: 1370000 | #Constraints: 44828
3152.85/3160.64 c #Conflicts: 1371000 | #Constraints: 45828
3152.85/3160.64 c INPROCESSING
3152.85/3160.64 c GARBAGE COLLECT
3152.85/3160.64 c #Conflicts: 1372000 | #Constraints: 23629
3152.85/3160.64 c #Conflicts: 1373000 | #Constraints: 24629
3152.85/3160.64 c #Conflicts: 1374000 | #Constraints: 25629
3152.85/3160.64 c #Conflicts: 1375000 | #Constraints: 26629
3152.85/3160.64 c #Conflicts: 1376000 | #Constraints: 27629
3152.85/3160.64 c #Conflicts: 1377000 | #Constraints: 28629
3152.85/3160.64 c #Conflicts: 1378000 | #Constraints: 29629
3152.85/3160.64 c #Conflicts: 1379000 | #Constraints: 30629
3152.85/3160.64 c #Conflicts: 1380000 | #Constraints: 31629
3152.85/3160.64 c #Conflicts: 1381000 | #Constraints: 32629
3152.85/3160.64 c #Conflicts: 1382000 | #Constraints: 33629
3152.85/3160.64 c #Conflicts: 1383000 | #Constraints: 34629
3152.85/3160.64 c #Conflicts: 1384000 | #Constraints: 35629
3152.85/3160.64 c #Conflicts: 1385000 | #Constraints: 36629
3152.85/3160.64 c #Conflicts: 1386000 | #Constraints: 37629
3152.85/3160.64 c #Conflicts: 1387000 | #Constraints: 38629
3152.85/3160.64 c #Conflicts: 1388000 | #Constraints: 39629
3152.85/3160.64 c #Conflicts: 1389000 | #Constraints: 40629
3152.85/3160.64 c #Conflicts: 1390000 | #Constraints: 41629
3152.85/3160.64 c #Conflicts: 1391000 | #Constraints: 42629
3152.85/3160.64 c #Conflicts: 1392000 | #Constraints: 43629
3152.85/3160.64 c #Conflicts: 1393000 | #Constraints: 44629
3152.85/3160.64 c #Conflicts: 1394000 | #Constraints: 45629
3152.85/3160.64 c #Conflicts: 1395000 | #Constraints: 46629
3152.85/3160.64 c INPROCESSING
3152.85/3160.64 c GARBAGE COLLECT
3152.85/3160.64 c #Conflicts: 1396000 | #Constraints: 24227
3152.85/3160.64 c #Conflicts: 1397000 | #Constraints: 25227
3152.85/3160.64 c #Conflicts: 1398000 | #Constraints: 26227
3152.85/3160.64 c #Conflicts: 1399000 | #Constraints: 27227
3152.85/3160.64 c #Conflicts: 1400000 | #Constraints: 28227
3152.85/3160.64 c #Conflicts: 1401000 | #Constraints: 29227
3152.85/3160.64 c #Conflicts: 1402000 | #Constraints: 30227
3152.85/3160.64 c #Conflicts: 1403000 | #Constraints: 31227
3152.85/3160.64 c #Conflicts: 1404000 | #Constraints: 32227
3152.85/3160.64 c #Conflicts: 1405000 | #Constraints: 33227
3152.85/3160.64 c #Conflicts: 1406000 | #Constraints: 34227
3152.85/3160.64 c #Conflicts: 1407000 | #Constraints: 35227
3152.85/3160.64 c #Conflicts: 1408000 | #Constraints: 36227
3152.85/3160.64 c #Conflicts: 1409000 | #Constraints: 37227
3152.85/3160.64 c #Conflicts: 1410000 | #Constraints: 38227
3152.85/3160.64 c #Conflicts: 1411000 | #Constraints: 39227
3152.85/3160.64 c #Conflicts: 1412000 | #Constraints: 40227
3152.85/3160.64 c #Conflicts: 1413000 | #Constraints: 41227
3152.85/3160.64 c #Conflicts: 1414000 | #Constraints: 42227
3152.85/3160.64 c #Conflicts: 1415000 | #Constraints: 43227
3152.85/3160.64 c #Conflicts: 1416000 | #Constraints: 44227
3152.85/3160.64 c #Conflicts: 1417000 | #Constraints: 45227
3152.85/3160.64 c #Conflicts: 1418000 | #Constraints: 46227
3152.85/3160.64 c #Conflicts: 1419000 | #Constraints: 47227
3152.85/3160.64 c INPROCESSING
3152.85/3160.64 c GARBAGE COLLECT
3152.85/3160.64 c #Conflicts: 1420000 | #Constraints: 24628
3152.85/3160.64 c #Conflicts: 1421000 | #Constraints: 25628
3152.85/3160.64 c #Conflicts: 1422000 | #Constraints: 26628
3152.85/3160.64 c #Conflicts: 1423000 | #Constraints: 27628
3152.85/3160.64 c #Conflicts: 1424000 | #Constraints: 28628
3152.85/3160.64 c #Conflicts: 1425000 | #Constraints: 29628
3152.85/3160.64 c #Conflicts: 1426000 | #Constraints: 30628
3152.85/3160.64 c #Conflicts: 1427000 | #Constraints: 31628
3388.51/3396.85 c #Conflicts: 1428000 | #Constraints: 32628
3388.51/3396.85 c #Conflicts: 1429000 | #Constraints: 33628
3388.51/3396.85 c #Conflicts: 1430000 | #Constraints: 34628
3388.51/3396.85 c #Conflicts: 1431000 | #Constraints: 35628
3388.51/3396.85 c #Conflicts: 1432000 | #Constraints: 36628
3388.51/3396.85 c #Conflicts: 1433000 | #Constraints: 37628
3388.51/3396.85 c #Conflicts: 1434000 | #Constraints: 38628
3388.51/3396.85 c #Conflicts: 1435000 | #Constraints: 39628
3388.51/3396.85 c #Conflicts: 1436000 | #Constraints: 40628
3388.51/3396.85 c #Conflicts: 1437000 | #Constraints: 41628
3388.51/3396.85 c #Conflicts: 1438000 | #Constraints: 42628
3388.51/3396.85 c #Conflicts: 1439000 | #Constraints: 43628
3388.51/3396.85 c #Conflicts: 1440000 | #Constraints: 44628
3388.51/3396.85 c #Conflicts: 1441000 | #Constraints: 45628
3388.51/3396.85 c #Conflicts: 1442000 | #Constraints: 46628
3388.51/3396.85 c #Conflicts: 1443000 | #Constraints: 47628
3388.51/3396.85 c INPROCESSING
3388.51/3396.85 c GARBAGE COLLECT
3388.51/3396.85 c #Conflicts: 1444000 | #Constraints: 24828
3388.51/3396.85 c #Conflicts: 1445000 | #Constraints: 25828
3388.51/3396.85 c #Conflicts: 1446000 | #Constraints: 26828
3388.51/3396.85 c #Conflicts: 1447000 | #Constraints: 27828
3388.51/3396.85 c #Conflicts: 1448000 | #Constraints: 28828
3388.51/3396.85 c #Conflicts: 1449000 | #Constraints: 29828
3388.51/3396.85 c #Conflicts: 1450000 | #Constraints: 30828
3388.51/3396.85 c #Conflicts: 1451000 | #Constraints: 31828
3388.51/3396.85 c #Conflicts: 1452000 | #Constraints: 32828
3388.51/3396.85 c #Conflicts: 1453000 | #Constraints: 33828
3388.51/3396.85 c #Conflicts: 1454000 | #Constraints: 34828
3388.51/3396.85 c #Conflicts: 1455000 | #Constraints: 35828
3388.51/3396.85 c #Conflicts: 1456000 | #Constraints: 36828
3388.51/3396.85 c #Conflicts: 1457000 | #Constraints: 37828
3388.51/3396.85 c #Conflicts: 1458000 | #Constraints: 38828
3388.51/3396.85 c #Conflicts: 1459000 | #Constraints: 39828
3388.51/3396.85 c #Conflicts: 1460000 | #Constraints: 40828
3388.51/3396.85 c #Conflicts: 1461000 | #Constraints: 41828
3388.51/3396.85 c #Conflicts: 1462000 | #Constraints: 42828
3388.51/3396.85 c #Conflicts: 1463000 | #Constraints: 43828
3388.51/3396.85 c #Conflicts: 1464000 | #Constraints: 44828
3388.51/3396.85 c #Conflicts: 1465000 | #Constraints: 45828
3388.51/3396.85 c #Conflicts: 1466000 | #Constraints: 46828
3388.51/3396.85 c #Conflicts: 1467000 | #Constraints: 47828
3388.51/3396.85 c INPROCESSING
3388.51/3396.85 c GARBAGE COLLECT
3388.51/3396.85 c #Conflicts: 1468000 | #Constraints: 24828
3388.51/3396.85 c #Conflicts: 1469000 | #Constraints: 25828
3388.51/3396.85 c #Conflicts: 1470000 | #Constraints: 26828
3388.51/3396.85 c #Conflicts: 1471000 | #Constraints: 27828
3388.51/3396.85 c #Conflicts: 1472000 | #Constraints: 28828
3388.51/3396.85 c #Conflicts: 1473000 | #Constraints: 29828
3388.51/3396.85 c #Conflicts: 1474000 | #Constraints: 30828
3388.51/3396.85 c #Conflicts: 1475000 | #Constraints: 31828
3388.51/3396.85 c #Conflicts: 1476000 | #Constraints: 32828
3388.51/3396.85 c #Conflicts: 1477000 | #Constraints: 33828
3388.51/3396.85 c #Conflicts: 1478000 | #Constraints: 34828
3388.51/3396.85 c #Conflicts: 1479000 | #Constraints: 35828
3388.51/3396.85 c #Conflicts: 1480000 | #Constraints: 36828
3388.51/3396.85 c #Conflicts: 1481000 | #Constraints: 37828
3388.51/3396.85 c #Conflicts: 1482000 | #Constraints: 38828
3388.51/3396.85 c #Conflicts: 1483000 | #Constraints: 39828
3388.51/3396.85 c #Conflicts: 1484000 | #Constraints: 40828
3388.51/3396.85 c #Conflicts: 1485000 | #Constraints: 41828
3388.51/3396.85 c #Conflicts: 1486000 | #Constraints: 42828
3388.51/3396.85 c #Conflicts: 1487000 | #Constraints: 43828
3388.51/3396.85 c #Conflicts: 1488000 | #Constraints: 44828
3388.51/3396.85 c #Conflicts: 1489000 | #Constraints: 45828
3388.51/3396.85 c #Conflicts: 1490000 | #Constraints: 46828
3388.51/3396.85 c #Conflicts: 1491000 | #Constraints: 47828
3388.51/3396.85 c INPROCESSING
3388.51/3396.85 c GARBAGE COLLECT
3388.51/3396.85 c #Conflicts: 1492000 | #Constraints: 24625
3388.51/3396.85 c #Conflicts: 1493000 | #Constraints: 25625
3388.51/3396.85 c #Conflicts: 1494000 | #Constraints: 26625
3388.51/3396.85 c #Conflicts: 1495000 | #Constraints: 27625
3388.51/3396.85 c #Conflicts: 1496000 | #Constraints: 28625
3388.51/3396.85 c #Conflicts: 1497000 | #Constraints: 29625
3388.51/3396.85 c #Conflicts: 1498000 | #Constraints: 30625
3388.51/3396.85 c #Conflicts: 1499000 | #Constraints: 31625
3388.51/3396.85 c #Conflicts: 1500000 | #Constraints: 32625
3388.51/3396.85 c #Conflicts: 1501000 | #Constraints: 33625
3388.51/3396.85 c #Conflicts: 1502000 | #Constraints: 34625
3388.51/3396.85 c #Conflicts: 1503000 | #Constraints: 35625
3388.51/3396.85 c #Conflicts: 1504000 | #Constraints: 36625
3600.04/3608.80 c #Conflicts: 1505000 | #Constraints: 37625
3600.04/3608.80 c #Conflicts: 1506000 | #Constraints: 38625
3600.04/3608.80 c #Conflicts: 1507000 | #Constraints: 39625
3600.04/3608.80 c #Conflicts: 1508000 | #Constraints: 40625
3600.04/3608.80 c #Conflicts: 1509000 | #Constraints: 41625
3600.04/3608.80 c #Conflicts: 1510000 | #Constraints: 42625
3600.04/3608.80 c #Conflicts: 1511000 | #Constraints: 43625
3600.04/3608.80 c #Conflicts: 1512000 | #Constraints: 44625
3600.04/3608.80 c #Conflicts: 1513000 | #Constraints: 45625
3600.04/3608.80 c #Conflicts: 1514000 | #Constraints: 46625
3600.04/3608.80 c #Conflicts: 1515000 | #Constraints: 47625
3600.04/3608.80 c #Conflicts: 1516000 | #Constraints: 48625
3600.04/3608.80 c INPROCESSING
3600.04/3608.80 c GARBAGE COLLECT
3600.04/3608.80 c #Conflicts: 1517000 | #Constraints: 25222
3600.04/3608.80 c #Conflicts: 1518000 | #Constraints: 26222
3600.04/3608.80 c #Conflicts: 1519000 | #Constraints: 27222
3600.04/3608.80 c #Conflicts: 1520000 | #Constraints: 28222
3600.04/3608.80 c #Conflicts: 1521000 | #Constraints: 29222
3600.04/3608.80 c #Conflicts: 1522000 | #Constraints: 30222
3600.04/3608.80 c #Conflicts: 1523000 | #Constraints: 31222
3600.04/3608.80 c #Conflicts: 1524000 | #Constraints: 32222
3600.04/3608.80 c #Conflicts: 1525000 | #Constraints: 33222
3600.04/3608.80 c #Conflicts: 1526000 | #Constraints: 34222
3600.04/3608.80 c #Conflicts: 1527000 | #Constraints: 35222
3600.04/3608.80 c #Conflicts: 1528000 | #Constraints: 36222
3600.04/3608.80 c #Conflicts: 1529000 | #Constraints: 37222
3600.04/3608.80 c #Conflicts: 1530000 | #Constraints: 38222
3600.04/3608.80 c #Conflicts: 1531000 | #Constraints: 39222
3600.04/3608.80 c #Conflicts: 1532000 | #Constraints: 40222
3600.04/3608.80 c #Conflicts: 1533000 | #Constraints: 41222
3600.04/3608.80 c #Conflicts: 1534000 | #Constraints: 42222
3600.04/3608.80 c #Conflicts: 1535000 | #Constraints: 43222
3600.04/3608.80 c #Conflicts: 1536000 | #Constraints: 44222
3600.04/3608.80 c #Conflicts: 1537000 | #Constraints: 45222
3600.04/3608.80 c #Conflicts: 1538000 | #Constraints: 46222
3600.04/3608.80 c #Conflicts: 1539000 | #Constraints: 47222
3600.04/3608.80 c #Conflicts: 1540000 | #Constraints: 48222
3600.04/3608.80 c #Conflicts: 1541000 | #Constraints: 49222
3600.04/3608.80 c INPROCESSING
3600.04/3608.80 c GARBAGE COLLECT
3600.04/3608.80 c #Conflicts: 1542000 | #Constraints: 25625
3600.04/3608.80 c #Conflicts: 1543000 | #Constraints: 26625
3600.04/3608.80 c #Conflicts: 1544000 | #Constraints: 27625
3600.04/3608.80 c #Conflicts: 1545000 | #Constraints: 28625
3600.04/3608.80 c #Conflicts: 1546000 | #Constraints: 29625
3600.04/3608.80 c #Conflicts: 1547000 | #Constraints: 30625
3600.04/3608.80 c #Conflicts: 1548000 | #Constraints: 31625
3600.04/3608.80 c #Conflicts: 1549000 | #Constraints: 32625
3600.04/3608.80 c #Conflicts: 1550000 | #Constraints: 33625
3600.04/3608.80 c #Conflicts: 1551000 | #Constraints: 34625
3600.04/3608.80 c #Conflicts: 1552000 | #Constraints: 35625
3600.04/3608.80 c #Conflicts: 1553000 | #Constraints: 36625
3600.04/3608.80 c #Conflicts: 1554000 | #Constraints: 37625
3600.04/3608.80 c #Conflicts: 1555000 | #Constraints: 38625
3600.04/3608.80 c #Conflicts: 1556000 | #Constraints: 39625
3600.04/3608.80 c #Conflicts: 1557000 | #Constraints: 40625
3600.04/3608.80 c #Conflicts: 1558000 | #Constraints: 41625
3600.04/3608.80 c #Conflicts: 1559000 | #Constraints: 42625
3600.04/3608.80 c #Conflicts: 1560000 | #Constraints: 43625
3600.04/3608.80 c #Conflicts: 1561000 | #Constraints: 44625
3600.04/3608.80 c #Conflicts: 1562000 | #Constraints: 45625
3600.04/3608.80 c #Conflicts: 1563000 | #Constraints: 46625
3600.04/3608.80 c #Conflicts: 1564000 | #Constraints: 47625
3600.04/3608.80 c #Conflicts: 1565000 | #Constraints: 48625
3600.04/3608.80 c Program interrupted by user.
3600.04/3608.80 c cpu time 3591.84 s
3600.04/3608.80 c deterministic time 620210092653 6.20e+11
3600.04/3608.80 c optimization time 88.9824 s
3600.04/3608.80 c total solve time 3203.56 s
3600.04/3608.80 c core-guided solve time 0 s
3600.04/3608.80 c propagation time 3161.73 s
3600.04/3608.80 c conflict analysis time 118.669 s
3600.04/3608.80 c propagations 18467856
3600.04/3608.80 c resolve steps 7054820
3600.04/3608.80 c decisions 3785053
3600.04/3608.80 c conflicts 1565761
3600.04/3608.80 c restarts 3068
3600.04/3608.80 c inprocessing phases 115
3600.04/3608.80 c input clauses 0
3600.04/3608.80 c input cardinalities 0
3600.04/3608.80 c input general constraints 16
3600.04/3608.80 c input average constraint length 68.62
3600.04/3608.80 c input average constraint degree 1659.19
3600.04/3608.80 c learned clauses 584620
3600.04/3608.80 c learned cardinalities 0
3600.04/3608.80 c learned general constraints 981140
3600.04/3608.80 c learned average constraint length 55.57
3600.04/3608.80 c learned average constraint degree 116250.04
3600.04/3608.80 c watched constraints 968517
3600.04/3608.80 c counting constraints 12639
3600.04/3608.80 c gcd simplifications 488680
3600.04/3608.80 c detected cardinalities 0
3600.04/3608.80 c weakened non-implied lits 10809998
3600.04/3608.80 c weakened non-implying lits 532511
3600.04/3608.80 c original variables 71
3600.04/3608.80 c clausal propagations 422862
3600.04/3608.80 c cardinality propagations 0
3600.04/3608.80 c watched propagations 8980565
3600.04/3608.80 c counting propagations 8157457
3600.04/3608.80 c watch lookups 29463973641
3600.04/3608.80 c watch backjump lookups 19155804167
3600.04/3608.80 c watch checks 404399753285
3600.04/3608.80 c propagation checks 166586052392
3600.04/3608.80 c constraint additions 558437654
3600.04/3608.80 c trail pops 23818604
3600.04/3608.80 c formula constraints 16
3600.04/3608.80 c learned constraints 1565760
3600.04/3608.80 c bound constraints 0
3600.04/3608.80 c core-guided constraints 0
3600.04/3608.80 c encountered formula constraints 3094928
3600.04/3608.80 c encountered learned constraints 5525653
3600.04/3608.80 c encountered bound constraints 0
3600.04/3608.80 c encountered core-guided constraints 0
3600.04/3608.80 c LP total time 0 s
3600.04/3608.80 c LP solve time 0 s
3600.04/3608.80 c LP constraints added 0
3600.04/3608.80 c LP constraints removed 0
3600.04/3608.80 c LP pivots internal 0
3600.04/3608.80 c LP pivots root 0
3600.04/3608.80 c LP calls 0
3600.04/3608.80 c LP optimalities 0
3600.04/3608.80 c LP no pivot count 0
3600.04/3608.80 c LP infeasibilities 0
3600.04/3608.80 c LP valid Farkas constraints 0
3600.04/3608.80 c LP learned Farkas constraints 0
3600.04/3608.80 c LP basis resets 0
3600.04/3608.80 c LP cycling count 0
3600.04/3608.80 c LP singular count 0
3600.04/3608.80 c LP no primal count 0
3600.04/3608.80 c LP no farkas count 0
3600.04/3608.80 c LP other issue count 0
3600.04/3608.80 c LP Gomory cuts 0
3600.04/3608.80 c LP learned cuts 0
3600.04/3608.80 c LP deleted cuts 0
3600.04/3608.80 c LP encountered Gomory constraints 0
3600.04/3608.80 c LP encountered Farkas constraints 0
3600.04/3608.80 c LP encountered learned Farkas constraints 0
3600.04/3608.80 c CG auxiliary variables introduced 0
3600.04/3608.80 c CG solutions found 0
3600.04/3608.80 c CG cores constructed 0
3600.04/3608.80 c CG core cardinality constraints returned 0
3600.04/3608.80 c CG unit cores 0
3600.04/3608.80 c CG single cores 0
3600.04/3608.80 c CG blocks removed during cardinality reduction 0
3600.04/3608.80 c CG first core best 0
3600.04/3608.80 c CG decision core best 0
3600.04/3608.80 c CG core reduction tie 0
3600.04/3608.80 c CG core degree average 0.00
3600.04/3608.80 c CG core slack average 0.00
3600.04/3608.80 c CG exhausted 0
3600.04/3608.80 c CG exhaust time 0 s
3600.04/3608.80 c CG trimmed 0
3600.04/3608.80 c CG trim time 0 s
3600.04/3608.80 c CG minimized 0
3600.04/3608.80 c CG minimize time 0 s
3600.04/3608.80 c CG am1 prop time 0 s
3600.04/3608.80 c CG # am1s reformulated 0
3600.04/3608.80 c CG lower bound derived from am1s 0
3600.04/3608.80 c CG # clausal cores 0
3600.04/3608.80 c CG # cardinality cores 0
3600.04/3608.80 c CG # pb cores 0
3600.04/3608.80 c CG # pb reforms 0
3600.04/3608.80 c CG # cores discarded because of pb reform 0
3600.04/3608.80 d LOWERBOUND 0
3600.04/3608.80 d NCORES 0
3600.04/3608.80 d NPBCORES 0
3600.04/3608.80 d NPBREFORM 0
3600.04/3608.80 d NTRIMMED 0
3600.04/3608.80 d NEXHAUSTED 0
3600.04/3608.80 d NAM1S 0
3600.04/3608.80 d AM1LB 0
3600.04/3608.80 c [Papilo Statistics]
3600.04/3608.80 c prepro time 0.000453926s
3600.04/3608.80 c # tsx applied 8
3600.04/3608.80 c # tsx conflicts 0
3600.04/3608.80 c # bound changes 1
3600.04/3608.80 c # side changes 8
3600.04/3608.80 c # coef changes 0
3600.04/3608.80 c # rounds 2
3600.04/3608.80 c # deted vars 1
3600.04/3608.80 c # deted constrs 9
3600.04/3608.80 c # consecutive rounds of only bound changes 0
3600.04/3608.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63176 MiB free)
memory of node 1: 64510 MiB (63171 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435498-1721101866/watcher-4435498-1721101866 -o /tmp/evaluation-result-4435498-1721101866/solver-4435498-1721101866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830109 --watchdog 3760 mixed-bag HOME/instance-4435498-1721101866.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=832243, runsolver pid=832240
[startup+0.100114 s]*
/proc/loadavg: 4.18 4.10 4.09 5/244 832244
/proc/meminfo: memFree=129367168/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=95640 memory=28548 CPUtime=0.1 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 3418 0 0 0 9 1 0 0 20 0 1 0 162345833 97935360 7137 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 23910 7137 4080 3002 0 7661 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 95640 KiB
Current children cumulated memory: 28548 KiB
[startup+0.212868 s]*
/proc/loadavg: 4.18 4.10 4.09 5/244 832244
/proc/meminfo: memFree=129363800/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=99756 memory=32244 CPUtime=0.21 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 4398 0 0 0 20 1 0 0 20 0 1 0 162345833 102150144 8061 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 24939 8061 4080 3002 0 8690 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 99756 KiB
Current children cumulated memory: 32244 KiB
[startup+0.312621 s]*
/proc/loadavg: 4.18 4.10 4.09 7/244 832244
/proc/meminfo: memFree=129360440/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=102532 memory=34884 CPUtime=0.31 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 5035 0 0 0 30 1 0 0 20 0 1 0 162345833 104992768 8721 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 25633 8721 4080 3002 0 9384 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 102532 KiB
Current children cumulated memory: 34884 KiB
[startup+0.700289 s]
/proc/loadavg: 4.18 4.10 4.09 5/244 832244
/proc/meminfo: memFree=129355188/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=108096 memory=39636 CPUtime=0.69 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 6248 0 0 0 68 1 0 0 20 0 1 0 162345833 110690304 9909 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 27024 9909 4080 3002 0 10775 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108096 KiB
Current children cumulated memory: 39636 KiB
[startup+1.50029 s]
/proc/loadavg: 4.18 4.10 4.09 5/244 832244
/proc/meminfo: memFree=129353504/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=107944 memory=40816 CPUtime=1.48 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 6621 0 0 0 147 1 0 0 20 0 1 0 162345833 110534656 10204 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 26986 10204 4080 3002 0 10737 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107944 KiB
Current children cumulated memory: 40816 KiB
[startup+3.11254 s]
/proc/loadavg: 4.16 4.10 4.09 5/244 832244
/proc/meminfo: memFree=129341724/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=111184 memory=44328 CPUtime=3.09 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 7803 0 0 0 307 2 0 0 20 0 1 0 162345833 113852416 11082 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 27796 11082 4080 3002 0 11547 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 111184 KiB
Current children cumulated memory: 44328 KiB
[startup+6.30027 s]
/proc/loadavg: 4.16 4.10 4.09 5/244 832245
/proc/meminfo: memFree=129328988/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=118332 memory=51428 CPUtime=6.27 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 9723 0 0 0 625 2 0 0 20 0 1 0 162345833 121171968 12857 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 29583 12857 4080 3002 0 13334 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118332 KiB
Current children cumulated memory: 51428 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.10 4.09 5/244 832245
/proc/meminfo: memFree=129295276/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=135484 memory=66740 CPUtime=12.64 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 13582 0 0 0 1262 2 0 0 20 0 1 0 162345833 138735616 16685 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 33871 16685 4080 3002 0 17622 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 135484 KiB
Current children cumulated memory: 66740 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.09 4.09 5/244 832249
/proc/meminfo: memFree=129244708/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=159828 memory=90256 CPUtime=25.4 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 19468 0 0 0 2537 3 0 0 20 0 1 0 162345833 163663872 22564 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 39957 22564 4080 3002 0 23708 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 159828 KiB
Current children cumulated memory: 90256 KiB
[startup+51.1127 s]
/proc/loadavg: 4.22 4.12 4.10 5/244 832252
/proc/meminfo: memFree=129143228/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=209968 memory=133776 CPUtime=50.93 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 30319 0 0 0 5087 6 0 0 20 0 1 0 162345833 215007232 33444 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 52492 33444 4080 3002 0 36243 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 209968 KiB
Current children cumulated memory: 133776 KiB
[startup+102.3 s]
/proc/loadavg: 4.74 4.28 4.16 5/243 832261
/proc/meminfo: memFree=128955900/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=287252 memory=208080 CPUtime=101.95 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 49570 0 0 0 10185 10 0 0 20 0 1 0 162345833 294146048 52020 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 71813 52020 4080 3002 0 55564 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 287252 KiB
Current children cumulated memory: 208080 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 4.26 4.16 5/244 832272
/proc/meminfo: memFree=128789816/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=366464 memory=284984 CPUtime=161.77 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 69457 0 0 0 16162 15 0 0 20 0 1 0 162345833 375259136 71246 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 91616 71246 4080 3002 0 75367 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 366464 KiB
Current children cumulated memory: 284984 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.24 4.16 5/244 832283
/proc/meminfo: memFree=128652772/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=439196 memory=350760 CPUtime=221.59 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 85496 0 0 0 22141 18 0 0 20 0 1 0 162345833 449736704 87690 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 109799 87690 4080 3002 0 93550 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 439196 KiB
Current children cumulated memory: 350760 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.21 4.15 5/244 832677
/proc/meminfo: memFree=128747936/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=496140 memory=406420 CPUtime=281.4 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 98816 0 0 0 28118 22 0 0 20 0 1 0 162345833 508047360 101605 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 124035 101605 4080 3002 0 107786 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 496140 KiB
Current children cumulated memory: 406420 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/244 832687
/proc/meminfo: memFree=128995528/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=213424 memory=151452 CPUtime=341.24 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 103104 0 0 0 34065 59 0 0 20 0 1 0 162345833 218546176 37863 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 53356 37863 4128 3002 0 37107 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 213424 KiB
Current children cumulated memory: 151452 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.17 4.15 5/244 832697
/proc/meminfo: memFree=128983760/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=213424 memory=157288 CPUtime=401.12 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 103552 0 0 0 40018 94 0 0 20 0 1 0 162345833 218546176 39322 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 53356 39322 4128 3002 0 37107 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 213424 KiB
Current children cumulated memory: 157288 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.17 4.15 5/244 832876
/proc/meminfo: memFree=128978960/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=217844 memory=158720 CPUtime=460.98 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 103939 0 0 0 45973 125 0 0 20 0 1 0 162345833 223072256 39680 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 54461 39680 4128 3002 0 38212 0
################
# More data... #
################
Current children cumulated memory: 173752 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/241 833934
/proc/meminfo: memFree=128911792/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=173752 CPUtime=2855.22 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106157 0 0 0 284825 697 0 0 20 0 1 0 162345833 242380800 43438 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43438 4128 3002 0 42926 0
Current children cumulated CPU time: 2855.22 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 173752 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/241 833945
/proc/meminfo: memFree=128911344/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=173752 CPUtime=2915.08 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106189 0 0 0 290803 705 0 0 20 0 1 0 162345833 242380800 43438 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43438 4128 3002 0 42926 0
Current children cumulated CPU time: 2915.08 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 173752 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/244 833961
/proc/meminfo: memFree=128910824/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=173752 CPUtime=2974.94 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106222 0 0 0 296779 715 0 0 20 0 1 0 162345833 242380800 43438 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43438 4128 3002 0 42926 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 173752 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/244 833971
/proc/meminfo: memFree=128910632/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=173752 CPUtime=3034.81 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106256 0 0 0 302757 724 0 0 20 0 1 0 162345833 242380800 43438 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43438 4128 3002 0 42926 0
Current children cumulated CPU time: 3034.81 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 173752 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/245 833983
/proc/meminfo: memFree=128910392/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=173752 CPUtime=3094.68 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106289 0 0 0 308732 736 0 0 20 0 1 0 162345833 242380800 43438 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43438 4128 3002 0 42926 0
Current children cumulated CPU time: 3094.68 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 173752 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/245 833993
/proc/meminfo: memFree=128910024/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=173752 CPUtime=3154.54 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106322 0 0 0 314709 745 0 0 20 0 1 0 162345833 242380800 43438 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43438 4128 3002 0 42926 0
Current children cumulated CPU time: 3154.54 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 173752 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/245 834004
/proc/meminfo: memFree=128909584/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=173752 CPUtime=3214.41 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106354 0 0 0 320684 757 0 0 20 0 1 0 162345833 242380800 43438 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43438 4128 3002 0 42926 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 173752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/242 834015
/proc/meminfo: memFree=128907192/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=173752 CPUtime=3274.27 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106387 0 0 0 326661 766 0 0 20 0 1 0 162345833 242380800 43438 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43438 4128 3002 0 42926 0
Current children cumulated CPU time: 3274.27 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 173752 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/242 834025
/proc/meminfo: memFree=128906880/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=173752 CPUtime=3334.14 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106419 0 0 0 332636 778 0 0 20 0 1 0 162345833 242380800 43438 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43438 4128 3002 0 42926 0
Current children cumulated CPU time: 3334.14 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 173752 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/241 834035
/proc/meminfo: memFree=128906204/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=173752 CPUtime=3394.01 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106454 0 0 0 338612 789 0 0 20 0 1 0 162345833 242380800 43438 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43438 4128 3002 0 42926 0
Current children cumulated CPU time: 3394.01 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 173752 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.10 5/241 834045
/proc/meminfo: memFree=128905832/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=173752 CPUtime=3453.87 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106488 0 0 0 344588 799 0 0 20 0 1 0 162345833 242380800 43438 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43438 4128 3002 0 42926 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 173752 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/241 834057
/proc/meminfo: memFree=128903504/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=175800 CPUtime=3513.74 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106523 0 0 0 350565 809 0 0 20 0 1 0 162345833 242380800 43950 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43950 4128 3002 0 42926 0
Current children cumulated CPU time: 3513.74 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 175800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.65 4.24 4.14 5/243 834209
/proc/meminfo: memFree=127916972/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=175800 CPUtime=3573.6 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106552 0 0 0 356542 818 0 0 20 0 1 0 162345833 242380800 43950 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43950 4128 3002 0 42926 0
Current children cumulated CPU time: 3573.6 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 175800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.84 4.33 4.18 5/243 834214
/proc/meminfo: memFree=127790388/131655788 swapFree=131071996/131071996
[pid=832243] ppid=832240 vsize=236700 memory=175800 CPUtime=3600.04 cores=4,6
/proc/832243/stat : 832243 (mixed-bag) R 832240 832243 830098 0 -1 4194304 106591 0 0 0 359183 821 0 0 20 0 1 0 162345833 242380800 43950 134679101440 4194304 16487941 140737249641104 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46338048 140737249649687 140737249649764 140737249649764 140737249656779 0
/proc/832243/statm: 59175 43950 4128 3002 0 42926 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 236700 KiB
Current children cumulated memory: 175800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.8 s]
# the end of solver process 832243 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.84 s, system=8.21783 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.8
CPU time (s): 3600.05
CPU user time (s): 3591.84
CPU system time (s): 8.21783
CPU usage (%): 99.7575
Max. virtual memory (cumulated for all children) (KiB): 507752
Max. memory (cumulated for all children) (KiB): 420936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.84
system time used= 8.21783
maximum resident set size= 420936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106613
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= 40
involuntary context switches= 1684
# summary of solver processes directly reported to runsolver:
# pid: 832243
# total CPU time (s): 3600.05
# total CPU user time (s): 3591.84
# total CPU system time (s): 8.21783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.793 second user time and 34.2659 second system time
The end
Begin job on nodeC010 at 2024-07-16 05:51:17
IDJOB=4435498
IDBENCH=147613
IDSOLVER=3066
FILE ID=nodeC010/4435498-1721101866
RUNJOBID= nodeC010-1721098226-830109
SLURM_JOB_ID= 7505613
Free space on /tmp= 723736 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435498-1721101866/watcher-4435498-1721101866 -o /tmp/evaluation-result-4435498-1721101866/solver-4435498-1721101866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830109 --watchdog 3760 mixed-bag HOME/instance-4435498-1721101866.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff
RANDOM SEED=1251765061
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3664.672
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.972
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.388
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.384
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.772
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3667.208
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.174
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.333
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129379828 kB
MemAvailable: 129754008 kB
Buffers: 395012 kB
Cached: 822544 kB
SwapCached: 0 kB
Active: 730868 kB
Inactive: 1024296 kB
Active(anon): 1464 kB
Inactive(anon): 573884 kB
Active(file): 729404 kB
Inactive(file): 450412 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16312 kB
Writeback: 0 kB
AnonPages: 537752 kB
Mapped: 138172 kB
Shmem: 37704 kB
KReclaimable: 68792 kB
Slab: 161776 kB
SReclaimable: 68792 kB
SUnreclaim: 92984 kB
KernelStack: 4016 kB
PageTables: 10984 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 885400 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51936 kB
HardwareCorrupted: 0 kB
AnonHugePages: 253952 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: 187208 kB
DirectMap2M: 18591744 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC010 at 2024-07-16 06:51:26