0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
298.92/300.48 c [STEP] preprocessing done, loading into solver
298.92/300.48 c [STEP] solving
298.92/300.48 c #variables 71 #constraints 16
326.74/328.38 c #Conflicts: 1000 | #Constraints: 1015
326.74/328.38 c #Conflicts: 2000 | #Constraints: 2015
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 3000 | #Constraints: 2017
326.74/328.38 c #Conflicts: 4000 | #Constraints: 3017
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 5000 | #Constraints: 2420
326.74/328.38 c #Conflicts: 6000 | #Constraints: 3420
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 7000 | #Constraints: 2426
326.74/328.38 c #Conflicts: 8000 | #Constraints: 3426
326.74/328.38 c #Conflicts: 9000 | #Constraints: 4426
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 10000 | #Constraints: 3125
326.74/328.38 c #Conflicts: 11000 | #Constraints: 4125
326.74/328.38 c #Conflicts: 12000 | #Constraints: 5125
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 13000 | #Constraints: 3573
326.74/328.38 c #Conflicts: 14000 | #Constraints: 4573
326.74/328.38 c #Conflicts: 15000 | #Constraints: 5573
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 16000 | #Constraints: 3800
326.74/328.38 c #Conflicts: 17000 | #Constraints: 4800
326.74/328.38 c #Conflicts: 18000 | #Constraints: 5800
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 19000 | #Constraints: 3815
326.74/328.38 c #Conflicts: 20000 | #Constraints: 4815
326.74/328.38 c #Conflicts: 21000 | #Constraints: 5815
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 22000 | #Constraints: 3617
326.74/328.38 c #Conflicts: 23000 | #Constraints: 4617
326.74/328.38 c #Conflicts: 24000 | #Constraints: 5617
326.74/328.38 c #Conflicts: 25000 | #Constraints: 6617
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 26000 | #Constraints: 4223
326.74/328.38 c #Conflicts: 27000 | #Constraints: 5223
326.74/328.38 c #Conflicts: 28000 | #Constraints: 6223
326.74/328.38 c #Conflicts: 29000 | #Constraints: 7223
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 30000 | #Constraints: 4624
326.74/328.38 c #Conflicts: 31000 | #Constraints: 5624
326.74/328.38 c #Conflicts: 32000 | #Constraints: 6624
326.74/328.38 c #Conflicts: 33000 | #Constraints: 7624
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 34000 | #Constraints: 4823
326.74/328.38 c #Conflicts: 35000 | #Constraints: 5823
326.74/328.38 c #Conflicts: 36000 | #Constraints: 6823
326.74/328.38 c #Conflicts: 37000 | #Constraints: 7823
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 38000 | #Constraints: 4825
326.74/328.38 c #Conflicts: 39000 | #Constraints: 5825
326.74/328.38 c #Conflicts: 40000 | #Constraints: 6825
326.74/328.38 c #Conflicts: 41000 | #Constraints: 7825
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 42000 | #Constraints: 4626
326.74/328.38 c #Conflicts: 43000 | #Constraints: 5626
326.74/328.38 c #Conflicts: 44000 | #Constraints: 6626
326.74/328.38 c #Conflicts: 45000 | #Constraints: 7626
326.74/328.38 c #Conflicts: 46000 | #Constraints: 8626
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 47000 | #Constraints: 5225
326.74/328.38 c #Conflicts: 48000 | #Constraints: 6225
326.74/328.38 c #Conflicts: 49000 | #Constraints: 7225
326.74/328.38 c #Conflicts: 50000 | #Constraints: 8225
326.74/328.38 c #Conflicts: 51000 | #Constraints: 9225
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 52000 | #Constraints: 5629
326.74/328.38 c #Conflicts: 53000 | #Constraints: 6629
326.74/328.38 c #Conflicts: 54000 | #Constraints: 7629
326.74/328.38 c #Conflicts: 55000 | #Constraints: 8629
326.74/328.38 c #Conflicts: 56000 | #Constraints: 9629
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 57000 | #Constraints: 5825
326.74/328.38 c #Conflicts: 58000 | #Constraints: 6825
326.74/328.38 c #Conflicts: 59000 | #Constraints: 7825
326.74/328.38 c #Conflicts: 60000 | #Constraints: 8825
326.74/328.38 c #Conflicts: 61000 | #Constraints: 9825
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 62000 | #Constraints: 5825
326.74/328.38 c #Conflicts: 63000 | #Constraints: 6825
326.74/328.38 c #Conflicts: 64000 | #Constraints: 7825
326.74/328.38 c #Conflicts: 65000 | #Constraints: 8825
326.74/328.38 c #Conflicts: 66000 | #Constraints: 9825
326.74/328.38 c INPROCESSING
326.74/328.38 c GARBAGE COLLECT
326.74/328.38 c #Conflicts: 67000 | #Constraints: 5625
326.74/328.38 c #Conflicts: 68000 | #Constraints: 6625
385.45/387.22 c #Conflicts: 69000 | #Constraints: 7625
385.45/387.22 c #Conflicts: 70000 | #Constraints: 8625
385.45/387.22 c #Conflicts: 71000 | #Constraints: 9625
385.45/387.22 c #Conflicts: 72000 | #Constraints: 10625
385.45/387.22 c INPROCESSING
385.45/387.22 c GARBAGE COLLECT
385.45/387.22 c #Conflicts: 73000 | #Constraints: 6224
385.45/387.22 c #Conflicts: 74000 | #Constraints: 7224
385.45/387.22 c #Conflicts: 75000 | #Constraints: 8224
385.45/387.22 c #Conflicts: 76000 | #Constraints: 9224
385.45/387.22 c #Conflicts: 77000 | #Constraints: 10224
385.45/387.22 c #Conflicts: 78000 | #Constraints: 11224
385.45/387.22 c INPROCESSING
385.45/387.22 c GARBAGE COLLECT
385.45/387.22 c #Conflicts: 79000 | #Constraints: 6625
385.45/387.22 c #Conflicts: 80000 | #Constraints: 7625
385.45/387.22 c #Conflicts: 81000 | #Constraints: 8625
385.45/387.22 c #Conflicts: 82000 | #Constraints: 9625
385.45/387.22 c #Conflicts: 83000 | #Constraints: 10625
385.45/387.22 c #Conflicts: 84000 | #Constraints: 11625
385.45/387.22 c INPROCESSING
385.45/387.22 c GARBAGE COLLECT
385.45/387.22 c #Conflicts: 85000 | #Constraints: 6827
385.45/387.22 c #Conflicts: 86000 | #Constraints: 7827
385.45/387.22 c #Conflicts: 87000 | #Constraints: 8827
385.45/387.22 c #Conflicts: 88000 | #Constraints: 9827
385.45/387.22 c #Conflicts: 89000 | #Constraints: 10827
385.45/387.22 c #Conflicts: 90000 | #Constraints: 11827
385.45/387.22 c INPROCESSING
385.45/387.22 c GARBAGE COLLECT
385.45/387.22 c #Conflicts: 91000 | #Constraints: 6827
385.45/387.22 c #Conflicts: 92000 | #Constraints: 7827
385.45/387.22 c #Conflicts: 93000 | #Constraints: 8827
385.45/387.22 c #Conflicts: 94000 | #Constraints: 9827
385.45/387.22 c #Conflicts: 95000 | #Constraints: 10827
385.45/387.22 c #Conflicts: 96000 | #Constraints: 11827
385.45/387.22 c INPROCESSING
385.45/387.22 c GARBAGE COLLECT
385.45/387.22 c #Conflicts: 97000 | #Constraints: 6627
385.45/387.22 c #Conflicts: 98000 | #Constraints: 7627
385.45/387.22 c #Conflicts: 99000 | #Constraints: 8627
385.45/387.22 c #Conflicts: 100000 | #Constraints: 9627
385.45/387.22 c #Conflicts: 101000 | #Constraints: 10627
385.45/387.22 c #Conflicts: 102000 | #Constraints: 11627
385.45/387.22 c #Conflicts: 103000 | #Constraints: 12627
385.45/387.22 c INPROCESSING
385.45/387.22 c GARBAGE COLLECT
385.45/387.22 c #Conflicts: 104000 | #Constraints: 7225
385.45/387.22 c #Conflicts: 105000 | #Constraints: 8225
385.45/387.22 c #Conflicts: 106000 | #Constraints: 9225
385.45/387.22 c #Conflicts: 107000 | #Constraints: 10225
385.45/387.22 c #Conflicts: 108000 | #Constraints: 11225
385.45/387.22 c #Conflicts: 109000 | #Constraints: 12225
385.45/387.22 c #Conflicts: 110000 | #Constraints: 13225
385.45/387.22 c INPROCESSING
385.45/387.22 c GARBAGE COLLECT
385.45/387.22 c #Conflicts: 111000 | #Constraints: 7627
385.45/387.22 c #Conflicts: 112000 | #Constraints: 8627
385.45/387.22 c #Conflicts: 113000 | #Constraints: 9627
385.45/387.22 c #Conflicts: 114000 | #Constraints: 10627
385.45/387.22 c #Conflicts: 115000 | #Constraints: 11627
385.45/387.22 c #Conflicts: 116000 | #Constraints: 12627
385.45/387.22 c #Conflicts: 117000 | #Constraints: 13627
385.45/387.22 c INPROCESSING
385.45/387.22 c GARBAGE COLLECT
385.45/387.22 c #Conflicts: 118000 | #Constraints: 7824
385.45/387.22 c #Conflicts: 119000 | #Constraints: 8824
385.45/387.22 c #Conflicts: 120000 | #Constraints: 9824
385.45/387.22 c #Conflicts: 121000 | #Constraints: 10824
385.45/387.22 c #Conflicts: 122000 | #Constraints: 11824
385.45/387.22 c #Conflicts: 123000 | #Constraints: 12824
385.45/387.22 c #Conflicts: 124000 | #Constraints: 13824
385.45/387.22 c INPROCESSING
385.45/387.22 c GARBAGE COLLECT
385.45/387.22 c #Conflicts: 125000 | #Constraints: 7824
385.45/387.22 c #Conflicts: 126000 | #Constraints: 8824
385.45/387.22 c #Conflicts: 127000 | #Constraints: 9824
385.45/387.22 c #Conflicts: 128000 | #Constraints: 10824
385.45/387.22 c #Conflicts: 129000 | #Constraints: 11824
385.45/387.22 c #Conflicts: 130000 | #Constraints: 12824
385.45/387.22 c #Conflicts: 131000 | #Constraints: 13824
385.45/387.22 c INPROCESSING
385.45/387.22 c GARBAGE COLLECT
385.45/387.22 c #Conflicts: 132000 | #Constraints: 7625
385.45/387.22 c #Conflicts: 133000 | #Constraints: 8625
385.45/387.22 c #Conflicts: 134000 | #Constraints: 9625
385.45/387.22 c #Conflicts: 135000 | #Constraints: 10625
385.45/387.22 c #Conflicts: 136000 | #Constraints: 11625
385.45/387.22 c #Conflicts: 137000 | #Constraints: 12625
385.45/387.22 c #Conflicts: 138000 | #Constraints: 13625
385.45/387.22 c #Conflicts: 139000 | #Constraints: 14625
385.45/387.22 c INPROCESSING
385.45/387.22 c GARBAGE COLLECT
385.45/387.22 c #Conflicts: 140000 | #Constraints: 8226
472.08/474.16 c #Conflicts: 141000 | #Constraints: 9226
472.08/474.16 c #Conflicts: 142000 | #Constraints: 10226
472.08/474.16 c #Conflicts: 143000 | #Constraints: 11226
472.08/474.16 c #Conflicts: 144000 | #Constraints: 12226
472.08/474.16 c #Conflicts: 145000 | #Constraints: 13226
472.08/474.16 c #Conflicts: 146000 | #Constraints: 14226
472.08/474.16 c #Conflicts: 147000 | #Constraints: 15226
472.08/474.16 c INPROCESSING
472.08/474.16 c GARBAGE COLLECT
472.08/474.16 c #Conflicts: 148000 | #Constraints: 8628
472.08/474.16 c #Conflicts: 149000 | #Constraints: 9628
472.08/474.16 c #Conflicts: 150000 | #Constraints: 10628
472.08/474.16 c #Conflicts: 151000 | #Constraints: 11628
472.08/474.16 c #Conflicts: 152000 | #Constraints: 12628
472.08/474.16 c #Conflicts: 153000 | #Constraints: 13628
472.08/474.16 c #Conflicts: 154000 | #Constraints: 14628
472.08/474.16 c #Conflicts: 155000 | #Constraints: 15628
472.08/474.16 c INPROCESSING
472.08/474.16 c GARBAGE COLLECT
472.08/474.16 c #Conflicts: 156000 | #Constraints: 8829
472.08/474.16 c #Conflicts: 157000 | #Constraints: 9829
472.08/474.16 c #Conflicts: 158000 | #Constraints: 10829
472.08/474.16 c #Conflicts: 159000 | #Constraints: 11829
472.08/474.16 c #Conflicts: 160000 | #Constraints: 12829
472.08/474.16 c #Conflicts: 161000 | #Constraints: 13829
472.08/474.16 c #Conflicts: 162000 | #Constraints: 14829
472.08/474.16 c #Conflicts: 163000 | #Constraints: 15829
472.08/474.16 c INPROCESSING
472.08/474.16 c GARBAGE COLLECT
472.08/474.16 c #Conflicts: 164000 | #Constraints: 8827
472.08/474.16 c #Conflicts: 165000 | #Constraints: 9827
472.08/474.16 c #Conflicts: 166000 | #Constraints: 10827
472.08/474.16 c #Conflicts: 167000 | #Constraints: 11827
472.08/474.16 c #Conflicts: 168000 | #Constraints: 12827
472.08/474.16 c #Conflicts: 169000 | #Constraints: 13827
472.08/474.16 c #Conflicts: 170000 | #Constraints: 14827
472.08/474.16 c #Conflicts: 171000 | #Constraints: 15827
472.08/474.16 c INPROCESSING
472.08/474.16 c GARBAGE COLLECT
472.08/474.16 c #Conflicts: 172000 | #Constraints: 8628
472.08/474.16 c #Conflicts: 173000 | #Constraints: 9628
472.08/474.16 c #Conflicts: 174000 | #Constraints: 10628
472.08/474.16 c #Conflicts: 175000 | #Constraints: 11628
472.08/474.16 c #Conflicts: 176000 | #Constraints: 12628
472.08/474.16 c #Conflicts: 177000 | #Constraints: 13628
472.08/474.16 c #Conflicts: 178000 | #Constraints: 14628
472.08/474.16 c #Conflicts: 179000 | #Constraints: 15628
472.08/474.16 c #Conflicts: 180000 | #Constraints: 16628
472.08/474.16 c INPROCESSING
472.08/474.16 c GARBAGE COLLECT
472.08/474.16 c #Conflicts: 181000 | #Constraints: 9228
472.08/474.16 c #Conflicts: 182000 | #Constraints: 10228
472.08/474.16 c #Conflicts: 183000 | #Constraints: 11228
472.08/474.16 c #Conflicts: 184000 | #Constraints: 12228
472.08/474.16 c #Conflicts: 185000 | #Constraints: 13228
472.08/474.16 c #Conflicts: 186000 | #Constraints: 14228
472.08/474.16 c #Conflicts: 187000 | #Constraints: 15228
472.08/474.16 c #Conflicts: 188000 | #Constraints: 16228
472.08/474.16 c #Conflicts: 189000 | #Constraints: 17228
472.08/474.16 c INPROCESSING
472.08/474.16 c GARBAGE COLLECT
472.08/474.16 c #Conflicts: 190000 | #Constraints: 9630
472.08/474.16 c #Conflicts: 191000 | #Constraints: 10630
472.08/474.16 c #Conflicts: 192000 | #Constraints: 11630
472.08/474.16 c #Conflicts: 193000 | #Constraints: 12630
472.08/474.16 c #Conflicts: 194000 | #Constraints: 13630
472.08/474.16 c #Conflicts: 195000 | #Constraints: 14630
472.08/474.16 c #Conflicts: 196000 | #Constraints: 15630
472.08/474.16 c #Conflicts: 197000 | #Constraints: 16630
472.08/474.16 c #Conflicts: 198000 | #Constraints: 17630
472.08/474.16 c INPROCESSING
472.08/474.16 c GARBAGE COLLECT
472.08/474.16 c #Conflicts: 199000 | #Constraints: 9828
472.08/474.16 c #Conflicts: 200000 | #Constraints: 10828
472.08/474.16 c #Conflicts: 201000 | #Constraints: 11828
472.08/474.16 c #Conflicts: 202000 | #Constraints: 12828
472.08/474.16 c #Conflicts: 203000 | #Constraints: 13828
472.08/474.16 c #Conflicts: 204000 | #Constraints: 14828
472.08/474.16 c #Conflicts: 205000 | #Constraints: 15828
472.08/474.16 c #Conflicts: 206000 | #Constraints: 16828
472.08/474.16 c #Conflicts: 207000 | #Constraints: 17828
472.08/474.16 c INPROCESSING
472.08/474.16 c GARBAGE COLLECT
472.08/474.16 c #Conflicts: 208000 | #Constraints: 9829
472.08/474.16 c #Conflicts: 209000 | #Constraints: 10829
472.08/474.16 c #Conflicts: 210000 | #Constraints: 11829
472.08/474.16 c #Conflicts: 211000 | #Constraints: 12829
472.08/474.16 c #Conflicts: 212000 | #Constraints: 13829
472.08/474.16 c #Conflicts: 213000 | #Constraints: 14829
571.84/574.25 c #Conflicts: 214000 | #Constraints: 15829
571.84/574.25 c #Conflicts: 215000 | #Constraints: 16829
571.84/574.25 c #Conflicts: 216000 | #Constraints: 17829
571.84/574.25 c INPROCESSING
571.84/574.25 c GARBAGE COLLECT
571.84/574.25 c #Conflicts: 217000 | #Constraints: 9626
571.84/574.25 c #Conflicts: 218000 | #Constraints: 10626
571.84/574.25 c #Conflicts: 219000 | #Constraints: 11626
571.84/574.25 c #Conflicts: 220000 | #Constraints: 12626
571.84/574.25 c #Conflicts: 221000 | #Constraints: 13626
571.84/574.25 c #Conflicts: 222000 | #Constraints: 14626
571.84/574.25 c #Conflicts: 223000 | #Constraints: 15626
571.84/574.25 c #Conflicts: 224000 | #Constraints: 16626
571.84/574.25 c #Conflicts: 225000 | #Constraints: 17626
571.84/574.25 c #Conflicts: 226000 | #Constraints: 18626
571.84/574.25 c INPROCESSING
571.84/574.25 c GARBAGE COLLECT
571.84/574.25 c #Conflicts: 227000 | #Constraints: 10228
571.84/574.25 c #Conflicts: 228000 | #Constraints: 11228
571.84/574.25 c #Conflicts: 229000 | #Constraints: 12228
571.84/574.25 c #Conflicts: 230000 | #Constraints: 13228
571.84/574.25 c #Conflicts: 231000 | #Constraints: 14228
571.84/574.25 c #Conflicts: 232000 | #Constraints: 15228
571.84/574.25 c #Conflicts: 233000 | #Constraints: 16228
571.84/574.25 c #Conflicts: 234000 | #Constraints: 17228
571.84/574.25 c #Conflicts: 235000 | #Constraints: 18228
571.84/574.25 c #Conflicts: 236000 | #Constraints: 19228
571.84/574.25 c INPROCESSING
571.84/574.25 c GARBAGE COLLECT
571.84/574.25 c #Conflicts: 237000 | #Constraints: 10629
571.84/574.25 c #Conflicts: 238000 | #Constraints: 11629
571.84/574.25 c #Conflicts: 239000 | #Constraints: 12629
571.84/574.25 c #Conflicts: 240000 | #Constraints: 13629
571.84/574.25 c #Conflicts: 241000 | #Constraints: 14629
571.84/574.25 c #Conflicts: 242000 | #Constraints: 15629
571.84/574.25 c #Conflicts: 243000 | #Constraints: 16629
571.84/574.25 c #Conflicts: 244000 | #Constraints: 17629
571.84/574.25 c #Conflicts: 245000 | #Constraints: 18629
571.84/574.25 c #Conflicts: 246000 | #Constraints: 19629
571.84/574.25 c INPROCESSING
571.84/574.25 c GARBAGE COLLECT
571.84/574.25 c #Conflicts: 247000 | #Constraints: 10828
571.84/574.25 c #Conflicts: 248000 | #Constraints: 11828
571.84/574.25 c #Conflicts: 249000 | #Constraints: 12828
571.84/574.25 c #Conflicts: 250000 | #Constraints: 13828
571.84/574.25 c #Conflicts: 251000 | #Constraints: 14828
571.84/574.25 c #Conflicts: 252000 | #Constraints: 15828
571.84/574.25 c #Conflicts: 253000 | #Constraints: 16828
571.84/574.25 c #Conflicts: 254000 | #Constraints: 17828
571.84/574.25 c #Conflicts: 255000 | #Constraints: 18828
571.84/574.25 c #Conflicts: 256000 | #Constraints: 19828
571.84/574.25 c INPROCESSING
571.84/574.25 c GARBAGE COLLECT
571.84/574.25 c #Conflicts: 257000 | #Constraints: 10825
571.84/574.25 c #Conflicts: 258000 | #Constraints: 11825
571.84/574.25 c #Conflicts: 259000 | #Constraints: 12825
571.84/574.25 c #Conflicts: 260000 | #Constraints: 13825
571.84/574.25 c #Conflicts: 261000 | #Constraints: 14825
571.84/574.25 c #Conflicts: 262000 | #Constraints: 15825
571.84/574.25 c #Conflicts: 263000 | #Constraints: 16825
571.84/574.25 c #Conflicts: 264000 | #Constraints: 17825
571.84/574.25 c #Conflicts: 265000 | #Constraints: 18825
571.84/574.25 c #Conflicts: 266000 | #Constraints: 19825
571.84/574.25 c INPROCESSING
571.84/574.25 c GARBAGE COLLECT
571.84/574.25 c #Conflicts: 267000 | #Constraints: 10627
571.84/574.25 c #Conflicts: 268000 | #Constraints: 11627
571.84/574.25 c #Conflicts: 269000 | #Constraints: 12627
571.84/574.25 c #Conflicts: 270000 | #Constraints: 13627
571.84/574.25 c #Conflicts: 271000 | #Constraints: 14627
571.84/574.25 c #Conflicts: 272000 | #Constraints: 15627
571.84/574.25 c #Conflicts: 273000 | #Constraints: 16627
571.84/574.25 c #Conflicts: 274000 | #Constraints: 17627
571.84/574.25 c #Conflicts: 275000 | #Constraints: 18627
571.84/574.25 c #Conflicts: 276000 | #Constraints: 19627
571.84/574.25 c #Conflicts: 277000 | #Constraints: 20627
571.84/574.25 c INPROCESSING
571.84/574.25 c GARBAGE COLLECT
571.84/574.25 c #Conflicts: 278000 | #Constraints: 11224
571.84/574.25 c #Conflicts: 279000 | #Constraints: 12224
571.84/574.25 c #Conflicts: 280000 | #Constraints: 13224
571.84/574.25 c #Conflicts: 281000 | #Constraints: 14224
571.84/574.25 c #Conflicts: 282000 | #Constraints: 15224
571.84/574.25 c #Conflicts: 283000 | #Constraints: 16224
571.84/574.25 c #Conflicts: 284000 | #Constraints: 17224
571.84/574.25 c #Conflicts: 285000 | #Constraints: 18224
571.84/574.25 c #Conflicts: 286000 | #Constraints: 19224
571.84/574.25 c #Conflicts: 287000 | #Constraints: 20224
571.84/574.25 c #Conflicts: 288000 | #Constraints: 21224
674.69/677.46 c INPROCESSING
674.69/677.46 c GARBAGE COLLECT
674.69/677.46 c #Conflicts: 289000 | #Constraints: 11625
674.69/677.46 c #Conflicts: 290000 | #Constraints: 12625
674.69/677.46 c #Conflicts: 291000 | #Constraints: 13625
674.69/677.46 c #Conflicts: 292000 | #Constraints: 14625
674.69/677.46 c #Conflicts: 293000 | #Constraints: 15625
674.69/677.46 c #Conflicts: 294000 | #Constraints: 16625
674.69/677.46 c #Conflicts: 295000 | #Constraints: 17625
674.69/677.46 c #Conflicts: 296000 | #Constraints: 18625
674.69/677.46 c #Conflicts: 297000 | #Constraints: 19625
674.69/677.46 c #Conflicts: 298000 | #Constraints: 20625
674.69/677.46 c #Conflicts: 299000 | #Constraints: 21625
674.69/677.46 c INPROCESSING
674.69/677.46 c GARBAGE COLLECT
674.69/677.46 c #Conflicts: 300000 | #Constraints: 11825
674.69/677.46 c #Conflicts: 301000 | #Constraints: 12825
674.69/677.46 c #Conflicts: 302000 | #Constraints: 13825
674.69/677.46 c #Conflicts: 303000 | #Constraints: 14825
674.69/677.46 c #Conflicts: 304000 | #Constraints: 15825
674.69/677.46 c #Conflicts: 305000 | #Constraints: 16825
674.69/677.46 c #Conflicts: 306000 | #Constraints: 17825
674.69/677.46 c #Conflicts: 307000 | #Constraints: 18825
674.69/677.46 c #Conflicts: 308000 | #Constraints: 19825
674.69/677.46 c #Conflicts: 309000 | #Constraints: 20825
674.69/677.46 c #Conflicts: 310000 | #Constraints: 21825
674.69/677.46 c INPROCESSING
674.69/677.46 c GARBAGE COLLECT
674.69/677.46 c #Conflicts: 311000 | #Constraints: 11827
674.69/677.46 c #Conflicts: 312000 | #Constraints: 12827
674.69/677.46 c #Conflicts: 313000 | #Constraints: 13827
674.69/677.46 c #Conflicts: 314000 | #Constraints: 14827
674.69/677.46 c #Conflicts: 315000 | #Constraints: 15827
674.69/677.46 c #Conflicts: 316000 | #Constraints: 16827
674.69/677.46 c #Conflicts: 317000 | #Constraints: 17827
674.69/677.46 c #Conflicts: 318000 | #Constraints: 18827
674.69/677.46 c #Conflicts: 319000 | #Constraints: 19827
674.69/677.46 c #Conflicts: 320000 | #Constraints: 20827
674.69/677.46 c #Conflicts: 321000 | #Constraints: 21827
674.69/677.46 c INPROCESSING
674.69/677.46 c GARBAGE COLLECT
674.69/677.46 c #Conflicts: 322000 | #Constraints: 11630
674.69/677.46 c #Conflicts: 323000 | #Constraints: 12630
674.69/677.46 c #Conflicts: 324000 | #Constraints: 13630
674.69/677.46 c #Conflicts: 325000 | #Constraints: 14630
674.69/677.46 c #Conflicts: 326000 | #Constraints: 15630
674.69/677.46 c #Conflicts: 327000 | #Constraints: 16630
674.69/677.46 c #Conflicts: 328000 | #Constraints: 17630
674.69/677.46 c #Conflicts: 329000 | #Constraints: 18630
674.69/677.46 c #Conflicts: 330000 | #Constraints: 19630
674.69/677.46 c #Conflicts: 331000 | #Constraints: 20630
674.69/677.46 c #Conflicts: 332000 | #Constraints: 21630
674.69/677.46 c #Conflicts: 333000 | #Constraints: 22630
674.69/677.46 c INPROCESSING
674.69/677.46 c GARBAGE COLLECT
674.69/677.46 c #Conflicts: 334000 | #Constraints: 12229
674.69/677.46 c #Conflicts: 335000 | #Constraints: 13229
674.69/677.46 c #Conflicts: 336000 | #Constraints: 14229
674.69/677.46 c #Conflicts: 337000 | #Constraints: 15229
674.69/677.46 c #Conflicts: 338000 | #Constraints: 16229
674.69/677.46 c #Conflicts: 339000 | #Constraints: 17229
674.69/677.46 c #Conflicts: 340000 | #Constraints: 18229
674.69/677.46 c #Conflicts: 341000 | #Constraints: 19229
674.69/677.46 c #Conflicts: 342000 | #Constraints: 20229
674.69/677.46 c #Conflicts: 343000 | #Constraints: 21229
674.69/677.46 c #Conflicts: 344000 | #Constraints: 22229
674.69/677.46 c #Conflicts: 345000 | #Constraints: 23229
674.69/677.46 c INPROCESSING
674.69/677.46 c GARBAGE COLLECT
674.69/677.46 c #Conflicts: 346000 | #Constraints: 12626
674.69/677.46 c #Conflicts: 347000 | #Constraints: 13626
674.69/677.46 c #Conflicts: 348000 | #Constraints: 14626
674.69/677.46 c #Conflicts: 349000 | #Constraints: 15626
674.69/677.46 c #Conflicts: 350000 | #Constraints: 16626
674.69/677.46 c #Conflicts: 351000 | #Constraints: 17626
674.69/677.46 c #Conflicts: 352000 | #Constraints: 18626
674.69/677.46 c #Conflicts: 353000 | #Constraints: 19626
674.69/677.46 c #Conflicts: 354000 | #Constraints: 20626
674.69/677.46 c #Conflicts: 355000 | #Constraints: 21626
674.69/677.46 c #Conflicts: 356000 | #Constraints: 22626
674.69/677.46 c #Conflicts: 357000 | #Constraints: 23626
674.69/677.46 c INPROCESSING
674.69/677.46 c GARBAGE COLLECT
674.69/677.46 c #Conflicts: 358000 | #Constraints: 12824
674.69/677.46 c #Conflicts: 359000 | #Constraints: 13824
674.69/677.46 c #Conflicts: 360000 | #Constraints: 14824
674.69/677.46 c #Conflicts: 361000 | #Constraints: 15824
674.69/677.46 c #Conflicts: 362000 | #Constraints: 16824
796.15/799.39 c #Conflicts: 363000 | #Constraints: 17824
796.15/799.39 c #Conflicts: 364000 | #Constraints: 18824
796.15/799.39 c #Conflicts: 365000 | #Constraints: 19824
796.15/799.39 c #Conflicts: 366000 | #Constraints: 20824
796.15/799.39 c #Conflicts: 367000 | #Constraints: 21824
796.15/799.39 c #Conflicts: 368000 | #Constraints: 22824
796.15/799.39 c #Conflicts: 369000 | #Constraints: 23824
796.15/799.39 c INPROCESSING
796.15/799.39 c GARBAGE COLLECT
796.15/799.39 c #Conflicts: 370000 | #Constraints: 12825
796.15/799.39 c #Conflicts: 371000 | #Constraints: 13825
796.15/799.39 c #Conflicts: 372000 | #Constraints: 14825
796.15/799.39 c #Conflicts: 373000 | #Constraints: 15825
796.15/799.39 c #Conflicts: 374000 | #Constraints: 16825
796.15/799.39 c #Conflicts: 375000 | #Constraints: 17825
796.15/799.39 c #Conflicts: 376000 | #Constraints: 18825
796.15/799.39 c #Conflicts: 377000 | #Constraints: 19825
796.15/799.39 c #Conflicts: 378000 | #Constraints: 20825
796.15/799.39 c #Conflicts: 379000 | #Constraints: 21825
796.15/799.39 c #Conflicts: 380000 | #Constraints: 22825
796.15/799.39 c #Conflicts: 381000 | #Constraints: 23825
796.15/799.39 c INPROCESSING
796.15/799.39 c GARBAGE COLLECT
796.15/799.39 c #Conflicts: 382000 | #Constraints: 12624
796.15/799.39 c #Conflicts: 383000 | #Constraints: 13624
796.15/799.39 c #Conflicts: 384000 | #Constraints: 14624
796.15/799.39 c #Conflicts: 385000 | #Constraints: 15624
796.15/799.39 c #Conflicts: 386000 | #Constraints: 16624
796.15/799.39 c #Conflicts: 387000 | #Constraints: 17624
796.15/799.39 c #Conflicts: 388000 | #Constraints: 18624
796.15/799.39 c #Conflicts: 389000 | #Constraints: 19624
796.15/799.39 c #Conflicts: 390000 | #Constraints: 20624
796.15/799.39 c #Conflicts: 391000 | #Constraints: 21624
796.15/799.39 c #Conflicts: 392000 | #Constraints: 22624
796.15/799.39 c #Conflicts: 393000 | #Constraints: 23624
796.15/799.39 c #Conflicts: 394000 | #Constraints: 24624
796.15/799.39 c INPROCESSING
796.15/799.39 c GARBAGE COLLECT
796.15/799.39 c #Conflicts: 395000 | #Constraints: 13227
796.15/799.39 c #Conflicts: 396000 | #Constraints: 14227
796.15/799.39 c #Conflicts: 397000 | #Constraints: 15227
796.15/799.39 c #Conflicts: 398000 | #Constraints: 16227
796.15/799.39 c #Conflicts: 399000 | #Constraints: 17227
796.15/799.39 c #Conflicts: 400000 | #Constraints: 18227
796.15/799.39 c #Conflicts: 401000 | #Constraints: 19227
796.15/799.39 c #Conflicts: 402000 | #Constraints: 20227
796.15/799.39 c #Conflicts: 403000 | #Constraints: 21227
796.15/799.39 c #Conflicts: 404000 | #Constraints: 22227
796.15/799.39 c #Conflicts: 405000 | #Constraints: 23227
796.15/799.39 c #Conflicts: 406000 | #Constraints: 24227
796.15/799.39 c #Conflicts: 407000 | #Constraints: 25227
796.15/799.39 c INPROCESSING
796.15/799.39 c GARBAGE COLLECT
796.15/799.39 c #Conflicts: 408000 | #Constraints: 13625
796.15/799.39 c #Conflicts: 409000 | #Constraints: 14625
796.15/799.39 c #Conflicts: 410000 | #Constraints: 15625
796.15/799.39 c #Conflicts: 411000 | #Constraints: 16625
796.15/799.39 c #Conflicts: 412000 | #Constraints: 17625
796.15/799.39 c #Conflicts: 413000 | #Constraints: 18625
796.15/799.39 c #Conflicts: 414000 | #Constraints: 19625
796.15/799.39 c #Conflicts: 415000 | #Constraints: 20625
796.15/799.39 c #Conflicts: 416000 | #Constraints: 21625
796.15/799.39 c #Conflicts: 417000 | #Constraints: 22625
796.15/799.39 c #Conflicts: 418000 | #Constraints: 23625
796.15/799.39 c #Conflicts: 419000 | #Constraints: 24625
796.15/799.39 c #Conflicts: 420000 | #Constraints: 25625
796.15/799.39 c INPROCESSING
796.15/799.39 c GARBAGE COLLECT
796.15/799.39 c #Conflicts: 421000 | #Constraints: 13826
796.15/799.39 c #Conflicts: 422000 | #Constraints: 14826
796.15/799.39 c #Conflicts: 423000 | #Constraints: 15826
796.15/799.39 c #Conflicts: 424000 | #Constraints: 16826
796.15/799.39 c #Conflicts: 425000 | #Constraints: 17826
796.15/799.39 c #Conflicts: 426000 | #Constraints: 18826
796.15/799.39 c #Conflicts: 427000 | #Constraints: 19826
796.15/799.39 c #Conflicts: 428000 | #Constraints: 20826
796.15/799.39 c #Conflicts: 429000 | #Constraints: 21826
796.15/799.39 c #Conflicts: 430000 | #Constraints: 22826
796.15/799.39 c #Conflicts: 431000 | #Constraints: 23826
796.15/799.39 c #Conflicts: 432000 | #Constraints: 24826
796.15/799.39 c #Conflicts: 433000 | #Constraints: 25826
796.15/799.39 c INPROCESSING
796.15/799.39 c GARBAGE COLLECT
796.15/799.39 c #Conflicts: 434000 | #Constraints: 13828
796.15/799.39 c #Conflicts: 435000 | #Constraints: 14828
796.15/799.39 c #Conflicts: 436000 | #Constraints: 15828
796.15/799.39 c #Conflicts: 437000 | #Constraints: 16828
928.21/931.87 c #Conflicts: 438000 | #Constraints: 17828
928.21/931.87 c #Conflicts: 439000 | #Constraints: 18828
928.21/931.87 c #Conflicts: 440000 | #Constraints: 19828
928.21/931.87 c #Conflicts: 441000 | #Constraints: 20828
928.21/931.87 c #Conflicts: 442000 | #Constraints: 21828
928.21/931.87 c #Conflicts: 443000 | #Constraints: 22828
928.21/931.87 c #Conflicts: 444000 | #Constraints: 23828
928.21/931.87 c #Conflicts: 445000 | #Constraints: 24828
928.21/931.87 c #Conflicts: 446000 | #Constraints: 25828
928.21/931.87 c INPROCESSING
928.21/931.87 c GARBAGE COLLECT
928.21/931.87 c #Conflicts: 447000 | #Constraints: 13629
928.21/931.87 c #Conflicts: 448000 | #Constraints: 14629
928.21/931.87 c #Conflicts: 449000 | #Constraints: 15629
928.21/931.87 c #Conflicts: 450000 | #Constraints: 16629
928.21/931.87 c #Conflicts: 451000 | #Constraints: 17629
928.21/931.87 c #Conflicts: 452000 | #Constraints: 18629
928.21/931.87 c #Conflicts: 453000 | #Constraints: 19629
928.21/931.87 c #Conflicts: 454000 | #Constraints: 20629
928.21/931.87 c #Conflicts: 455000 | #Constraints: 21629
928.21/931.87 c #Conflicts: 456000 | #Constraints: 22629
928.21/931.87 c #Conflicts: 457000 | #Constraints: 23629
928.21/931.87 c #Conflicts: 458000 | #Constraints: 24629
928.21/931.87 c #Conflicts: 459000 | #Constraints: 25629
928.21/931.87 c #Conflicts: 460000 | #Constraints: 26629
928.21/931.87 c INPROCESSING
928.21/931.87 c GARBAGE COLLECT
928.21/931.87 c #Conflicts: 461000 | #Constraints: 14231
928.21/931.87 c #Conflicts: 462000 | #Constraints: 15231
928.21/931.87 c #Conflicts: 463000 | #Constraints: 16231
928.21/931.87 c #Conflicts: 464000 | #Constraints: 17231
928.21/931.87 c #Conflicts: 465000 | #Constraints: 18231
928.21/931.87 c #Conflicts: 466000 | #Constraints: 19231
928.21/931.87 c #Conflicts: 467000 | #Constraints: 20231
928.21/931.87 c #Conflicts: 468000 | #Constraints: 21231
928.21/931.87 c #Conflicts: 469000 | #Constraints: 22231
928.21/931.87 c #Conflicts: 470000 | #Constraints: 23231
928.21/931.87 c #Conflicts: 471000 | #Constraints: 24231
928.21/931.87 c #Conflicts: 472000 | #Constraints: 25231
928.21/931.87 c #Conflicts: 473000 | #Constraints: 26231
928.21/931.87 c #Conflicts: 474000 | #Constraints: 27231
928.21/931.87 c INPROCESSING
928.21/931.87 c GARBAGE COLLECT
928.21/931.87 c #Conflicts: 475000 | #Constraints: 14629
928.21/931.87 c #Conflicts: 476000 | #Constraints: 15629
928.21/931.87 c #Conflicts: 477000 | #Constraints: 16629
928.21/931.87 c #Conflicts: 478000 | #Constraints: 17629
928.21/931.87 c #Conflicts: 479000 | #Constraints: 18629
928.21/931.87 c #Conflicts: 480000 | #Constraints: 19629
928.21/931.87 c #Conflicts: 481000 | #Constraints: 20629
928.21/931.87 c #Conflicts: 482000 | #Constraints: 21629
928.21/931.87 c #Conflicts: 483000 | #Constraints: 22629
928.21/931.87 c #Conflicts: 484000 | #Constraints: 23629
928.21/931.87 c #Conflicts: 485000 | #Constraints: 24629
928.21/931.87 c #Conflicts: 486000 | #Constraints: 25629
928.21/931.87 c #Conflicts: 487000 | #Constraints: 26629
928.21/931.87 c #Conflicts: 488000 | #Constraints: 27629
928.21/931.87 c INPROCESSING
928.21/931.87 c GARBAGE COLLECT
928.21/931.87 c #Conflicts: 489000 | #Constraints: 14831
928.21/931.87 c #Conflicts: 490000 | #Constraints: 15831
928.21/931.87 c #Conflicts: 491000 | #Constraints: 16831
928.21/931.87 c #Conflicts: 492000 | #Constraints: 17831
928.21/931.87 c #Conflicts: 493000 | #Constraints: 18831
928.21/931.87 c #Conflicts: 494000 | #Constraints: 19831
928.21/931.87 c #Conflicts: 495000 | #Constraints: 20831
928.21/931.87 c #Conflicts: 496000 | #Constraints: 21831
928.21/931.87 c #Conflicts: 497000 | #Constraints: 22831
928.21/931.87 c #Conflicts: 498000 | #Constraints: 23831
928.21/931.87 c #Conflicts: 499000 | #Constraints: 24831
928.21/931.87 c #Conflicts: 500000 | #Constraints: 25831
928.21/931.87 c #Conflicts: 501000 | #Constraints: 26831
928.21/931.87 c #Conflicts: 502000 | #Constraints: 27831
928.21/931.87 c INPROCESSING
928.21/931.87 c GARBAGE COLLECT
928.21/931.87 c #Conflicts: 503000 | #Constraints: 14830
928.21/931.87 c #Conflicts: 504000 | #Constraints: 15830
928.21/931.87 c #Conflicts: 505000 | #Constraints: 16830
928.21/931.87 c #Conflicts: 506000 | #Constraints: 17830
928.21/931.87 c #Conflicts: 507000 | #Constraints: 18830
928.21/931.87 c #Conflicts: 508000 | #Constraints: 19830
928.21/931.87 c #Conflicts: 509000 | #Constraints: 20830
928.21/931.87 c #Conflicts: 510000 | #Constraints: 21830
928.21/931.87 c #Conflicts: 511000 | #Constraints: 22830
928.21/931.87 c #Conflicts: 512000 | #Constraints: 23830
928.21/931.87 c #Conflicts: 513000 | #Constraints: 24830
1053.80/1057.85 c #Conflicts: 514000 | #Constraints: 25830
1053.80/1057.85 c #Conflicts: 515000 | #Constraints: 26830
1053.80/1057.85 c #Conflicts: 516000 | #Constraints: 27830
1053.80/1057.85 c INPROCESSING
1053.80/1057.85 c GARBAGE COLLECT
1053.80/1057.85 c #Conflicts: 517000 | #Constraints: 14629
1053.80/1057.85 c #Conflicts: 518000 | #Constraints: 15629
1053.80/1057.85 c #Conflicts: 519000 | #Constraints: 16629
1053.80/1057.85 c #Conflicts: 520000 | #Constraints: 17629
1053.80/1057.85 c #Conflicts: 521000 | #Constraints: 18629
1053.80/1057.85 c #Conflicts: 522000 | #Constraints: 19629
1053.80/1057.85 c #Conflicts: 523000 | #Constraints: 20629
1053.80/1057.85 c #Conflicts: 524000 | #Constraints: 21629
1053.80/1057.85 c #Conflicts: 525000 | #Constraints: 22629
1053.80/1057.85 c #Conflicts: 526000 | #Constraints: 23629
1053.80/1057.85 c #Conflicts: 527000 | #Constraints: 24629
1053.80/1057.85 c #Conflicts: 528000 | #Constraints: 25629
1053.80/1057.85 c #Conflicts: 529000 | #Constraints: 26629
1053.80/1057.85 c #Conflicts: 530000 | #Constraints: 27629
1053.80/1057.85 c #Conflicts: 531000 | #Constraints: 28629
1053.80/1057.85 c INPROCESSING
1053.80/1057.85 c GARBAGE COLLECT
1053.80/1057.85 c #Conflicts: 532000 | #Constraints: 15228
1053.80/1057.85 c #Conflicts: 533000 | #Constraints: 16228
1053.80/1057.85 c #Conflicts: 534000 | #Constraints: 17228
1053.80/1057.85 c #Conflicts: 535000 | #Constraints: 18228
1053.80/1057.85 c #Conflicts: 536000 | #Constraints: 19228
1053.80/1057.85 c #Conflicts: 537000 | #Constraints: 20228
1053.80/1057.85 c #Conflicts: 538000 | #Constraints: 21228
1053.80/1057.85 c #Conflicts: 539000 | #Constraints: 22228
1053.80/1057.85 c #Conflicts: 540000 | #Constraints: 23228
1053.80/1057.85 c #Conflicts: 541000 | #Constraints: 24228
1053.80/1057.85 c #Conflicts: 542000 | #Constraints: 25228
1053.80/1057.85 c #Conflicts: 543000 | #Constraints: 26228
1053.80/1057.85 c #Conflicts: 544000 | #Constraints: 27228
1053.80/1057.85 c #Conflicts: 545000 | #Constraints: 28228
1053.80/1057.85 c #Conflicts: 546000 | #Constraints: 29228
1053.80/1057.85 c INPROCESSING
1053.80/1057.85 c GARBAGE COLLECT
1053.80/1057.85 c #Conflicts: 547000 | #Constraints: 15628
1053.80/1057.85 c #Conflicts: 548000 | #Constraints: 16628
1053.80/1057.85 c #Conflicts: 549000 | #Constraints: 17628
1053.80/1057.85 c #Conflicts: 550000 | #Constraints: 18628
1053.80/1057.85 c #Conflicts: 551000 | #Constraints: 19628
1053.80/1057.85 c #Conflicts: 552000 | #Constraints: 20628
1053.80/1057.85 c #Conflicts: 553000 | #Constraints: 21628
1053.80/1057.85 c #Conflicts: 554000 | #Constraints: 22628
1053.80/1057.85 c #Conflicts: 555000 | #Constraints: 23628
1053.80/1057.85 c #Conflicts: 556000 | #Constraints: 24628
1053.80/1057.85 c #Conflicts: 557000 | #Constraints: 25628
1053.80/1057.85 c #Conflicts: 558000 | #Constraints: 26628
1053.80/1057.85 c #Conflicts: 559000 | #Constraints: 27628
1053.80/1057.85 c #Conflicts: 560000 | #Constraints: 28628
1053.80/1057.85 c #Conflicts: 561000 | #Constraints: 29628
1053.80/1057.85 c INPROCESSING
1053.80/1057.85 c GARBAGE COLLECT
1053.80/1057.85 c #Conflicts: 562000 | #Constraints: 15826
1053.80/1057.85 c #Conflicts: 563000 | #Constraints: 16826
1053.80/1057.85 c #Conflicts: 564000 | #Constraints: 17826
1053.80/1057.85 c #Conflicts: 565000 | #Constraints: 18826
1053.80/1057.85 c #Conflicts: 566000 | #Constraints: 19826
1053.80/1057.85 c #Conflicts: 567000 | #Constraints: 20826
1053.80/1057.85 c #Conflicts: 568000 | #Constraints: 21826
1053.80/1057.85 c #Conflicts: 569000 | #Constraints: 22826
1053.80/1057.85 c #Conflicts: 570000 | #Constraints: 23826
1053.80/1057.85 c #Conflicts: 571000 | #Constraints: 24826
1053.80/1057.85 c #Conflicts: 572000 | #Constraints: 25826
1053.80/1057.85 c #Conflicts: 573000 | #Constraints: 26826
1053.80/1057.85 c #Conflicts: 574000 | #Constraints: 27826
1053.80/1057.85 c #Conflicts: 575000 | #Constraints: 28826
1053.80/1057.85 c #Conflicts: 576000 | #Constraints: 29826
1053.80/1057.85 c INPROCESSING
1053.80/1057.85 c GARBAGE COLLECT
1053.80/1057.85 c #Conflicts: 577000 | #Constraints: 15828
1053.80/1057.85 c #Conflicts: 578000 | #Constraints: 16828
1053.80/1057.85 c #Conflicts: 579000 | #Constraints: 17828
1053.80/1057.85 c #Conflicts: 580000 | #Constraints: 18828
1053.80/1057.85 c #Conflicts: 581000 | #Constraints: 19828
1053.80/1057.85 c #Conflicts: 582000 | #Constraints: 20828
1053.80/1057.85 c #Conflicts: 583000 | #Constraints: 21828
1053.80/1057.85 c #Conflicts: 584000 | #Constraints: 22828
1053.80/1057.85 c #Conflicts: 585000 | #Constraints: 23828
1053.80/1057.85 c #Conflicts: 586000 | #Constraints: 24828
1053.80/1057.85 c #Conflicts: 587000 | #Constraints: 25828
1053.80/1057.85 c #Conflicts: 588000 | #Constraints: 26828
1196.34/1200.80 c #Conflicts: 589000 | #Constraints: 27828
1196.34/1200.80 c #Conflicts: 590000 | #Constraints: 28828
1196.34/1200.80 c #Conflicts: 591000 | #Constraints: 29828
1196.34/1200.80 c INPROCESSING
1196.34/1200.80 c GARBAGE COLLECT
1196.34/1200.80 c #Conflicts: 592000 | #Constraints: 15630
1196.34/1200.80 c #Conflicts: 593000 | #Constraints: 16630
1196.34/1200.80 c #Conflicts: 594000 | #Constraints: 17630
1196.34/1200.80 c #Conflicts: 595000 | #Constraints: 18630
1196.34/1200.80 c #Conflicts: 596000 | #Constraints: 19630
1196.34/1200.80 c #Conflicts: 597000 | #Constraints: 20630
1196.34/1200.80 c #Conflicts: 598000 | #Constraints: 21630
1196.34/1200.80 c #Conflicts: 599000 | #Constraints: 22630
1196.34/1200.80 c #Conflicts: 600000 | #Constraints: 23630
1196.34/1200.80 c #Conflicts: 601000 | #Constraints: 24630
1196.34/1200.80 c #Conflicts: 602000 | #Constraints: 25630
1196.34/1200.80 c #Conflicts: 603000 | #Constraints: 26630
1196.34/1200.80 c #Conflicts: 604000 | #Constraints: 27630
1196.34/1200.80 c #Conflicts: 605000 | #Constraints: 28630
1196.34/1200.80 c #Conflicts: 606000 | #Constraints: 29630
1196.34/1200.80 c #Conflicts: 607000 | #Constraints: 30630
1196.34/1200.80 c INPROCESSING
1196.34/1200.80 c GARBAGE COLLECT
1196.34/1200.80 c #Conflicts: 608000 | #Constraints: 16232
1196.34/1200.80 c #Conflicts: 609000 | #Constraints: 17232
1196.34/1200.80 c #Conflicts: 610000 | #Constraints: 18232
1196.34/1200.80 c #Conflicts: 611000 | #Constraints: 19232
1196.34/1200.80 c #Conflicts: 612000 | #Constraints: 20232
1196.34/1200.80 c #Conflicts: 613000 | #Constraints: 21232
1196.34/1200.80 c #Conflicts: 614000 | #Constraints: 22232
1196.34/1200.80 c #Conflicts: 615000 | #Constraints: 23232
1196.34/1200.80 c #Conflicts: 616000 | #Constraints: 24232
1196.34/1200.80 c #Conflicts: 617000 | #Constraints: 25232
1196.34/1200.80 c #Conflicts: 618000 | #Constraints: 26232
1196.34/1200.80 c #Conflicts: 619000 | #Constraints: 27232
1196.34/1200.80 c #Conflicts: 620000 | #Constraints: 28232
1196.34/1200.80 c #Conflicts: 621000 | #Constraints: 29232
1196.34/1200.80 c #Conflicts: 622000 | #Constraints: 30232
1196.34/1200.80 c #Conflicts: 623000 | #Constraints: 31232
1196.34/1200.80 c INPROCESSING
1196.34/1200.80 c GARBAGE COLLECT
1196.34/1200.80 c #Conflicts: 624000 | #Constraints: 16627
1196.34/1200.80 c #Conflicts: 625000 | #Constraints: 17627
1196.34/1200.80 c #Conflicts: 626000 | #Constraints: 18627
1196.34/1200.80 c #Conflicts: 627000 | #Constraints: 19627
1196.34/1200.80 c #Conflicts: 628000 | #Constraints: 20627
1196.34/1200.80 c #Conflicts: 629000 | #Constraints: 21627
1196.34/1200.80 c #Conflicts: 630000 | #Constraints: 22627
1196.34/1200.80 c #Conflicts: 631000 | #Constraints: 23627
1196.34/1200.80 c #Conflicts: 632000 | #Constraints: 24627
1196.34/1200.80 c #Conflicts: 633000 | #Constraints: 25627
1196.34/1200.80 c #Conflicts: 634000 | #Constraints: 26627
1196.34/1200.80 c #Conflicts: 635000 | #Constraints: 27627
1196.34/1200.80 c #Conflicts: 636000 | #Constraints: 28627
1196.34/1200.80 c #Conflicts: 637000 | #Constraints: 29627
1196.34/1200.80 c #Conflicts: 638000 | #Constraints: 30627
1196.34/1200.80 c #Conflicts: 639000 | #Constraints: 31627
1196.34/1200.80 c INPROCESSING
1196.34/1200.80 c GARBAGE COLLECT
1196.34/1200.80 c #Conflicts: 640000 | #Constraints: 16826
1196.34/1200.80 c #Conflicts: 641000 | #Constraints: 17826
1196.34/1200.80 c #Conflicts: 642000 | #Constraints: 18826
1196.34/1200.80 c #Conflicts: 643000 | #Constraints: 19826
1196.34/1200.80 c #Conflicts: 644000 | #Constraints: 20826
1196.34/1200.80 c #Conflicts: 645000 | #Constraints: 21826
1196.34/1200.80 c #Conflicts: 646000 | #Constraints: 22826
1196.34/1200.80 c #Conflicts: 647000 | #Constraints: 23826
1196.34/1200.80 c #Conflicts: 648000 | #Constraints: 24826
1196.34/1200.80 c #Conflicts: 649000 | #Constraints: 25826
1196.34/1200.80 c #Conflicts: 650000 | #Constraints: 26826
1196.34/1200.80 c #Conflicts: 651000 | #Constraints: 27826
1196.34/1200.80 c #Conflicts: 652000 | #Constraints: 28826
1196.34/1200.80 c #Conflicts: 653000 | #Constraints: 29826
1196.34/1200.80 c #Conflicts: 654000 | #Constraints: 30826
1196.34/1200.80 c #Conflicts: 655000 | #Constraints: 31826
1196.34/1200.80 c INPROCESSING
1196.34/1200.80 c GARBAGE COLLECT
1196.34/1200.80 c #Conflicts: 656000 | #Constraints: 16826
1196.34/1200.80 c #Conflicts: 657000 | #Constraints: 17826
1196.34/1200.80 c #Conflicts: 658000 | #Constraints: 18826
1196.34/1200.80 c #Conflicts: 659000 | #Constraints: 19826
1196.34/1200.80 c #Conflicts: 660000 | #Constraints: 20826
1196.34/1200.80 c #Conflicts: 661000 | #Constraints: 21826
1196.34/1200.80 c #Conflicts: 662000 | #Constraints: 22826
1196.34/1200.80 c #Conflicts: 663000 | #Constraints: 23826
1196.34/1200.80 c #Conflicts: 664000 | #Constraints: 24826
1365.40/1370.42 c #Conflicts: 665000 | #Constraints: 25826
1365.40/1370.42 c #Conflicts: 666000 | #Constraints: 26826
1365.40/1370.42 c #Conflicts: 667000 | #Constraints: 27826
1365.40/1370.42 c #Conflicts: 668000 | #Constraints: 28826
1365.40/1370.42 c #Conflicts: 669000 | #Constraints: 29826
1365.40/1370.42 c #Conflicts: 670000 | #Constraints: 30826
1365.40/1370.42 c #Conflicts: 671000 | #Constraints: 31826
1365.40/1370.42 c INPROCESSING
1365.40/1370.42 c GARBAGE COLLECT
1365.40/1370.42 c #Conflicts: 672000 | #Constraints: 16628
1365.40/1370.42 c #Conflicts: 673000 | #Constraints: 17628
1365.40/1370.42 c #Conflicts: 674000 | #Constraints: 18628
1365.40/1370.42 c #Conflicts: 675000 | #Constraints: 19628
1365.40/1370.42 c #Conflicts: 676000 | #Constraints: 20628
1365.40/1370.42 c #Conflicts: 677000 | #Constraints: 21628
1365.40/1370.42 c #Conflicts: 678000 | #Constraints: 22628
1365.40/1370.42 c #Conflicts: 679000 | #Constraints: 23628
1365.40/1370.42 c #Conflicts: 680000 | #Constraints: 24628
1365.40/1370.42 c #Conflicts: 681000 | #Constraints: 25628
1365.40/1370.42 c #Conflicts: 682000 | #Constraints: 26628
1365.40/1370.42 c #Conflicts: 683000 | #Constraints: 27628
1365.40/1370.42 c #Conflicts: 684000 | #Constraints: 28628
1365.40/1370.42 c #Conflicts: 685000 | #Constraints: 29628
1365.40/1370.42 c #Conflicts: 686000 | #Constraints: 30628
1365.40/1370.42 c #Conflicts: 687000 | #Constraints: 31628
1365.40/1370.42 c #Conflicts: 688000 | #Constraints: 32628
1365.40/1370.42 c INPROCESSING
1365.40/1370.42 c GARBAGE COLLECT
1365.40/1370.42 c #Conflicts: 689000 | #Constraints: 17228
1365.40/1370.42 c #Conflicts: 690000 | #Constraints: 18228
1365.40/1370.42 c #Conflicts: 691000 | #Constraints: 19228
1365.40/1370.42 c #Conflicts: 692000 | #Constraints: 20228
1365.40/1370.42 c #Conflicts: 693000 | #Constraints: 21228
1365.40/1370.42 c #Conflicts: 694000 | #Constraints: 22228
1365.40/1370.42 c #Conflicts: 695000 | #Constraints: 23228
1365.40/1370.42 c #Conflicts: 696000 | #Constraints: 24228
1365.40/1370.42 c #Conflicts: 697000 | #Constraints: 25228
1365.40/1370.42 c #Conflicts: 698000 | #Constraints: 26228
1365.40/1370.42 c #Conflicts: 699000 | #Constraints: 27228
1365.40/1370.42 c #Conflicts: 700000 | #Constraints: 28228
1365.40/1370.42 c #Conflicts: 701000 | #Constraints: 29228
1365.40/1370.42 c #Conflicts: 702000 | #Constraints: 30228
1365.40/1370.42 c #Conflicts: 703000 | #Constraints: 31228
1365.40/1370.42 c #Conflicts: 704000 | #Constraints: 32228
1365.40/1370.42 c #Conflicts: 705000 | #Constraints: 33228
1365.40/1370.42 c INPROCESSING
1365.40/1370.42 c GARBAGE COLLECT
1365.40/1370.42 c #Conflicts: 706000 | #Constraints: 17626
1365.40/1370.42 c #Conflicts: 707000 | #Constraints: 18626
1365.40/1370.42 c #Conflicts: 708000 | #Constraints: 19626
1365.40/1370.42 c #Conflicts: 709000 | #Constraints: 20626
1365.40/1370.42 c #Conflicts: 710000 | #Constraints: 21626
1365.40/1370.42 c #Conflicts: 711000 | #Constraints: 22626
1365.40/1370.42 c #Conflicts: 712000 | #Constraints: 23626
1365.40/1370.42 c #Conflicts: 713000 | #Constraints: 24626
1365.40/1370.42 c #Conflicts: 714000 | #Constraints: 25626
1365.40/1370.42 c #Conflicts: 715000 | #Constraints: 26626
1365.40/1370.42 c #Conflicts: 716000 | #Constraints: 27626
1365.40/1370.42 c #Conflicts: 717000 | #Constraints: 28626
1365.40/1370.42 c #Conflicts: 718000 | #Constraints: 29626
1365.40/1370.42 c #Conflicts: 719000 | #Constraints: 30626
1365.40/1370.42 c #Conflicts: 720000 | #Constraints: 31626
1365.40/1370.42 c #Conflicts: 721000 | #Constraints: 32626
1365.40/1370.42 c #Conflicts: 722000 | #Constraints: 33626
1365.40/1370.42 c INPROCESSING
1365.40/1370.42 c GARBAGE COLLECT
1365.40/1370.42 c #Conflicts: 723000 | #Constraints: 17828
1365.40/1370.42 c #Conflicts: 724000 | #Constraints: 18828
1365.40/1370.42 c #Conflicts: 725000 | #Constraints: 19828
1365.40/1370.42 c #Conflicts: 726000 | #Constraints: 20828
1365.40/1370.42 c #Conflicts: 727000 | #Constraints: 21828
1365.40/1370.42 c #Conflicts: 728000 | #Constraints: 22828
1365.40/1370.42 c #Conflicts: 729000 | #Constraints: 23828
1365.40/1370.42 c #Conflicts: 730000 | #Constraints: 24828
1365.40/1370.42 c #Conflicts: 731000 | #Constraints: 25828
1365.40/1370.42 c #Conflicts: 732000 | #Constraints: 26828
1365.40/1370.42 c #Conflicts: 733000 | #Constraints: 27828
1365.40/1370.42 c #Conflicts: 734000 | #Constraints: 28828
1365.40/1370.42 c #Conflicts: 735000 | #Constraints: 29828
1365.40/1370.42 c #Conflicts: 736000 | #Constraints: 30828
1365.40/1370.42 c #Conflicts: 737000 | #Constraints: 31828
1365.40/1370.42 c #Conflicts: 738000 | #Constraints: 32828
1365.40/1370.42 c #Conflicts: 739000 | #Constraints: 33828
1365.40/1370.42 c INPROCESSING
1365.40/1370.42 c GARBAGE COLLECT
1523.89/1529.45 c #Conflicts: 740000 | #Constraints: 17827
1523.89/1529.45 c #Conflicts: 741000 | #Constraints: 18827
1523.89/1529.45 c #Conflicts: 742000 | #Constraints: 19827
1523.89/1529.45 c #Conflicts: 743000 | #Constraints: 20827
1523.89/1529.45 c #Conflicts: 744000 | #Constraints: 21827
1523.89/1529.45 c #Conflicts: 745000 | #Constraints: 22827
1523.89/1529.45 c #Conflicts: 746000 | #Constraints: 23827
1523.89/1529.45 c #Conflicts: 747000 | #Constraints: 24827
1523.89/1529.45 c #Conflicts: 748000 | #Constraints: 25827
1523.89/1529.45 c #Conflicts: 749000 | #Constraints: 26827
1523.89/1529.45 c #Conflicts: 750000 | #Constraints: 27827
1523.89/1529.45 c #Conflicts: 751000 | #Constraints: 28827
1523.89/1529.45 c #Conflicts: 752000 | #Constraints: 29827
1523.89/1529.45 c #Conflicts: 753000 | #Constraints: 30827
1523.89/1529.45 c #Conflicts: 754000 | #Constraints: 31827
1523.89/1529.45 c #Conflicts: 755000 | #Constraints: 32827
1523.89/1529.45 c #Conflicts: 756000 | #Constraints: 33827
1523.89/1529.45 c INPROCESSING
1523.89/1529.45 c GARBAGE COLLECT
1523.89/1529.45 c #Conflicts: 757000 | #Constraints: 17627
1523.89/1529.45 c #Conflicts: 758000 | #Constraints: 18627
1523.89/1529.45 c #Conflicts: 759000 | #Constraints: 19627
1523.89/1529.45 c #Conflicts: 760000 | #Constraints: 20627
1523.89/1529.45 c #Conflicts: 761000 | #Constraints: 21627
1523.89/1529.45 c #Conflicts: 762000 | #Constraints: 22627
1523.89/1529.45 c #Conflicts: 763000 | #Constraints: 23627
1523.89/1529.45 c #Conflicts: 764000 | #Constraints: 24627
1523.89/1529.45 c #Conflicts: 765000 | #Constraints: 25627
1523.89/1529.45 c #Conflicts: 766000 | #Constraints: 26627
1523.89/1529.45 c #Conflicts: 767000 | #Constraints: 27627
1523.89/1529.45 c #Conflicts: 768000 | #Constraints: 28627
1523.89/1529.45 c #Conflicts: 769000 | #Constraints: 29627
1523.89/1529.45 c #Conflicts: 770000 | #Constraints: 30627
1523.89/1529.45 c #Conflicts: 771000 | #Constraints: 31627
1523.89/1529.45 c #Conflicts: 772000 | #Constraints: 32627
1523.89/1529.45 c #Conflicts: 773000 | #Constraints: 33627
1523.89/1529.45 c #Conflicts: 774000 | #Constraints: 34627
1523.89/1529.45 c INPROCESSING
1523.89/1529.45 c GARBAGE COLLECT
1523.89/1529.45 c #Conflicts: 775000 | #Constraints: 18226
1523.89/1529.45 c #Conflicts: 776000 | #Constraints: 19226
1523.89/1529.45 c #Conflicts: 777000 | #Constraints: 20226
1523.89/1529.45 c #Conflicts: 778000 | #Constraints: 21226
1523.89/1529.45 c #Conflicts: 779000 | #Constraints: 22226
1523.89/1529.45 c #Conflicts: 780000 | #Constraints: 23226
1523.89/1529.45 c #Conflicts: 781000 | #Constraints: 24226
1523.89/1529.45 c #Conflicts: 782000 | #Constraints: 25226
1523.89/1529.45 c #Conflicts: 783000 | #Constraints: 26226
1523.89/1529.45 c #Conflicts: 784000 | #Constraints: 27226
1523.89/1529.45 c #Conflicts: 785000 | #Constraints: 28226
1523.89/1529.45 c #Conflicts: 786000 | #Constraints: 29226
1523.89/1529.45 c #Conflicts: 787000 | #Constraints: 30226
1523.89/1529.45 c #Conflicts: 788000 | #Constraints: 31226
1523.89/1529.45 c #Conflicts: 789000 | #Constraints: 32226
1523.89/1529.45 c #Conflicts: 790000 | #Constraints: 33226
1523.89/1529.45 c #Conflicts: 791000 | #Constraints: 34226
1523.89/1529.45 c #Conflicts: 792000 | #Constraints: 35226
1523.89/1529.45 c INPROCESSING
1523.89/1529.45 c GARBAGE COLLECT
1523.89/1529.45 c #Conflicts: 793000 | #Constraints: 18629
1523.89/1529.45 c #Conflicts: 794000 | #Constraints: 19629
1523.89/1529.45 c #Conflicts: 795000 | #Constraints: 20629
1523.89/1529.45 c #Conflicts: 796000 | #Constraints: 21629
1523.89/1529.45 c #Conflicts: 797000 | #Constraints: 22629
1523.89/1529.45 c #Conflicts: 798000 | #Constraints: 23629
1523.89/1529.45 c #Conflicts: 799000 | #Constraints: 24629
1523.89/1529.45 c #Conflicts: 800000 | #Constraints: 25629
1523.89/1529.45 c #Conflicts: 801000 | #Constraints: 26629
1523.89/1529.45 c #Conflicts: 802000 | #Constraints: 27629
1523.89/1529.45 c #Conflicts: 803000 | #Constraints: 28629
1523.89/1529.45 c #Conflicts: 804000 | #Constraints: 29629
1523.89/1529.45 c #Conflicts: 805000 | #Constraints: 30629
1523.89/1529.45 c #Conflicts: 806000 | #Constraints: 31629
1523.89/1529.45 c #Conflicts: 807000 | #Constraints: 32629
1523.89/1529.45 c #Conflicts: 808000 | #Constraints: 33629
1523.89/1529.45 c #Conflicts: 809000 | #Constraints: 34629
1523.89/1529.45 c #Conflicts: 810000 | #Constraints: 35629
1523.89/1529.45 c INPROCESSING
1523.89/1529.45 c GARBAGE COLLECT
1523.89/1529.45 c #Conflicts: 811000 | #Constraints: 18828
1523.89/1529.45 c #Conflicts: 812000 | #Constraints: 19828
1523.89/1529.45 c #Conflicts: 813000 | #Constraints: 20828
1523.89/1529.45 c #Conflicts: 814000 | #Constraints: 21828
1523.89/1529.45 c #Conflicts: 815000 | #Constraints: 22828
1523.89/1529.45 c #Conflicts: 816000 | #Constraints: 23828
1711.18/1717.32 c #Conflicts: 817000 | #Constraints: 24828
1711.18/1717.32 c #Conflicts: 818000 | #Constraints: 25828
1711.18/1717.32 c #Conflicts: 819000 | #Constraints: 26828
1711.18/1717.32 c #Conflicts: 820000 | #Constraints: 27828
1711.18/1717.32 c #Conflicts: 821000 | #Constraints: 28828
1711.18/1717.32 c #Conflicts: 822000 | #Constraints: 29828
1711.18/1717.32 c #Conflicts: 823000 | #Constraints: 30828
1711.18/1717.32 c #Conflicts: 824000 | #Constraints: 31828
1711.18/1717.32 c #Conflicts: 825000 | #Constraints: 32828
1711.18/1717.32 c #Conflicts: 826000 | #Constraints: 33828
1711.18/1717.32 c #Conflicts: 827000 | #Constraints: 34828
1711.18/1717.32 c #Conflicts: 828000 | #Constraints: 35828
1711.18/1717.32 c INPROCESSING
1711.18/1717.32 c GARBAGE COLLECT
1711.18/1717.32 c #Conflicts: 829000 | #Constraints: 18826
1711.18/1717.32 c #Conflicts: 830000 | #Constraints: 19826
1711.18/1717.32 c #Conflicts: 831000 | #Constraints: 20826
1711.18/1717.32 c #Conflicts: 832000 | #Constraints: 21826
1711.18/1717.32 c #Conflicts: 833000 | #Constraints: 22826
1711.18/1717.32 c #Conflicts: 834000 | #Constraints: 23826
1711.18/1717.32 c #Conflicts: 835000 | #Constraints: 24826
1711.18/1717.32 c #Conflicts: 836000 | #Constraints: 25826
1711.18/1717.32 c #Conflicts: 837000 | #Constraints: 26826
1711.18/1717.32 c #Conflicts: 838000 | #Constraints: 27826
1711.18/1717.32 c #Conflicts: 839000 | #Constraints: 28826
1711.18/1717.32 c #Conflicts: 840000 | #Constraints: 29826
1711.18/1717.32 c #Conflicts: 841000 | #Constraints: 30826
1711.18/1717.32 c #Conflicts: 842000 | #Constraints: 31826
1711.18/1717.32 c #Conflicts: 843000 | #Constraints: 32826
1711.18/1717.32 c #Conflicts: 844000 | #Constraints: 33826
1711.18/1717.32 c #Conflicts: 845000 | #Constraints: 34826
1711.18/1717.32 c #Conflicts: 846000 | #Constraints: 35826
1711.18/1717.32 c INPROCESSING
1711.18/1717.32 c GARBAGE COLLECT
1711.18/1717.32 c #Conflicts: 847000 | #Constraints: 18624
1711.18/1717.32 c #Conflicts: 848000 | #Constraints: 19624
1711.18/1717.32 c #Conflicts: 849000 | #Constraints: 20624
1711.18/1717.32 c #Conflicts: 850000 | #Constraints: 21624
1711.18/1717.32 c #Conflicts: 851000 | #Constraints: 22624
1711.18/1717.32 c #Conflicts: 852000 | #Constraints: 23624
1711.18/1717.32 c #Conflicts: 853000 | #Constraints: 24624
1711.18/1717.32 c #Conflicts: 854000 | #Constraints: 25624
1711.18/1717.32 c #Conflicts: 855000 | #Constraints: 26624
1711.18/1717.32 c #Conflicts: 856000 | #Constraints: 27624
1711.18/1717.32 c #Conflicts: 857000 | #Constraints: 28624
1711.18/1717.32 c #Conflicts: 858000 | #Constraints: 29624
1711.18/1717.32 c #Conflicts: 859000 | #Constraints: 30624
1711.18/1717.32 c #Conflicts: 860000 | #Constraints: 31624
1711.18/1717.32 c #Conflicts: 861000 | #Constraints: 32624
1711.18/1717.32 c #Conflicts: 862000 | #Constraints: 33624
1711.18/1717.32 c #Conflicts: 863000 | #Constraints: 34624
1711.18/1717.32 c #Conflicts: 864000 | #Constraints: 35624
1711.18/1717.32 c #Conflicts: 865000 | #Constraints: 36624
1711.18/1717.32 c INPROCESSING
1711.18/1717.32 c GARBAGE COLLECT
1711.18/1717.32 c #Conflicts: 866000 | #Constraints: 19224
1711.18/1717.32 c #Conflicts: 867000 | #Constraints: 20224
1711.18/1717.32 c #Conflicts: 868000 | #Constraints: 21224
1711.18/1717.32 c #Conflicts: 869000 | #Constraints: 22224
1711.18/1717.32 c #Conflicts: 870000 | #Constraints: 23224
1711.18/1717.32 c #Conflicts: 871000 | #Constraints: 24224
1711.18/1717.32 c #Conflicts: 872000 | #Constraints: 25224
1711.18/1717.32 c #Conflicts: 873000 | #Constraints: 26224
1711.18/1717.32 c #Conflicts: 874000 | #Constraints: 27224
1711.18/1717.32 c #Conflicts: 875000 | #Constraints: 28224
1711.18/1717.32 c #Conflicts: 876000 | #Constraints: 29224
1711.18/1717.32 c #Conflicts: 877000 | #Constraints: 30224
1711.18/1717.32 c #Conflicts: 878000 | #Constraints: 31224
1711.18/1717.32 c #Conflicts: 879000 | #Constraints: 32224
1711.18/1717.32 c #Conflicts: 880000 | #Constraints: 33224
1711.18/1717.32 c #Conflicts: 881000 | #Constraints: 34224
1711.18/1717.32 c #Conflicts: 882000 | #Constraints: 35224
1711.18/1717.32 c #Conflicts: 883000 | #Constraints: 36224
1711.18/1717.32 c #Conflicts: 884000 | #Constraints: 37224
1711.18/1717.32 c INPROCESSING
1711.18/1717.32 c GARBAGE COLLECT
1711.18/1717.32 c #Conflicts: 885000 | #Constraints: 19625
1711.18/1717.32 c #Conflicts: 886000 | #Constraints: 20625
1711.18/1717.32 c #Conflicts: 887000 | #Constraints: 21625
1711.18/1717.32 c #Conflicts: 888000 | #Constraints: 22625
1711.18/1717.32 c #Conflicts: 889000 | #Constraints: 23625
1711.18/1717.32 c #Conflicts: 890000 | #Constraints: 24625
1711.18/1717.32 c #Conflicts: 891000 | #Constraints: 25625
1711.18/1717.32 c #Conflicts: 892000 | #Constraints: 26625
1905.27/1912.08 c #Conflicts: 893000 | #Constraints: 27625
1905.27/1912.08 c #Conflicts: 894000 | #Constraints: 28625
1905.27/1912.08 c #Conflicts: 895000 | #Constraints: 29625
1905.27/1912.08 c #Conflicts: 896000 | #Constraints: 30625
1905.27/1912.08 c #Conflicts: 897000 | #Constraints: 31625
1905.27/1912.08 c #Conflicts: 898000 | #Constraints: 32625
1905.27/1912.08 c #Conflicts: 899000 | #Constraints: 33625
1905.27/1912.08 c #Conflicts: 900000 | #Constraints: 34625
1905.27/1912.08 c #Conflicts: 901000 | #Constraints: 35625
1905.27/1912.08 c #Conflicts: 902000 | #Constraints: 36625
1905.27/1912.08 c #Conflicts: 903000 | #Constraints: 37625
1905.27/1912.08 c INPROCESSING
1905.27/1912.08 c GARBAGE COLLECT
1905.27/1912.08 c #Conflicts: 904000 | #Constraints: 19824
1905.27/1912.08 c #Conflicts: 905000 | #Constraints: 20824
1905.27/1912.08 c #Conflicts: 906000 | #Constraints: 21824
1905.27/1912.08 c #Conflicts: 907000 | #Constraints: 22824
1905.27/1912.08 c #Conflicts: 908000 | #Constraints: 23824
1905.27/1912.08 c #Conflicts: 909000 | #Constraints: 24824
1905.27/1912.08 c #Conflicts: 910000 | #Constraints: 25824
1905.27/1912.08 c #Conflicts: 911000 | #Constraints: 26824
1905.27/1912.08 c #Conflicts: 912000 | #Constraints: 27824
1905.27/1912.08 c #Conflicts: 913000 | #Constraints: 28824
1905.27/1912.08 c #Conflicts: 914000 | #Constraints: 29824
1905.27/1912.08 c #Conflicts: 915000 | #Constraints: 30824
1905.27/1912.08 c #Conflicts: 916000 | #Constraints: 31824
1905.27/1912.08 c #Conflicts: 917000 | #Constraints: 32824
1905.27/1912.08 c #Conflicts: 918000 | #Constraints: 33824
1905.27/1912.08 c #Conflicts: 919000 | #Constraints: 34824
1905.27/1912.08 c #Conflicts: 920000 | #Constraints: 35824
1905.27/1912.08 c #Conflicts: 921000 | #Constraints: 36824
1905.27/1912.08 c #Conflicts: 922000 | #Constraints: 37824
1905.27/1912.08 c INPROCESSING
1905.27/1912.08 c GARBAGE COLLECT
1905.27/1912.08 c #Conflicts: 923000 | #Constraints: 19824
1905.27/1912.08 c #Conflicts: 924000 | #Constraints: 20824
1905.27/1912.08 c #Conflicts: 925000 | #Constraints: 21824
1905.27/1912.08 c #Conflicts: 926000 | #Constraints: 22824
1905.27/1912.08 c #Conflicts: 927000 | #Constraints: 23824
1905.27/1912.08 c #Conflicts: 928000 | #Constraints: 24824
1905.27/1912.08 c #Conflicts: 929000 | #Constraints: 25824
1905.27/1912.08 c #Conflicts: 930000 | #Constraints: 26824
1905.27/1912.08 c #Conflicts: 931000 | #Constraints: 27824
1905.27/1912.08 c #Conflicts: 932000 | #Constraints: 28824
1905.27/1912.08 c #Conflicts: 933000 | #Constraints: 29824
1905.27/1912.08 c #Conflicts: 934000 | #Constraints: 30824
1905.27/1912.08 c #Conflicts: 935000 | #Constraints: 31824
1905.27/1912.08 c #Conflicts: 936000 | #Constraints: 32824
1905.27/1912.08 c #Conflicts: 937000 | #Constraints: 33824
1905.27/1912.08 c #Conflicts: 938000 | #Constraints: 34824
1905.27/1912.08 c #Conflicts: 939000 | #Constraints: 35824
1905.27/1912.08 c #Conflicts: 940000 | #Constraints: 36824
1905.27/1912.08 c #Conflicts: 941000 | #Constraints: 37824
1905.27/1912.08 c INPROCESSING
1905.27/1912.08 c GARBAGE COLLECT
1905.27/1912.08 c #Conflicts: 942000 | #Constraints: 19626
1905.27/1912.08 c #Conflicts: 943000 | #Constraints: 20626
1905.27/1912.08 c #Conflicts: 944000 | #Constraints: 21626
1905.27/1912.08 c #Conflicts: 945000 | #Constraints: 22626
1905.27/1912.08 c #Conflicts: 946000 | #Constraints: 23626
1905.27/1912.08 c #Conflicts: 947000 | #Constraints: 24626
1905.27/1912.08 c #Conflicts: 948000 | #Constraints: 25626
1905.27/1912.08 c #Conflicts: 949000 | #Constraints: 26626
1905.27/1912.08 c #Conflicts: 950000 | #Constraints: 27626
1905.27/1912.08 c #Conflicts: 951000 | #Constraints: 28626
1905.27/1912.08 c #Conflicts: 952000 | #Constraints: 29626
1905.27/1912.08 c #Conflicts: 953000 | #Constraints: 30626
1905.27/1912.08 c #Conflicts: 954000 | #Constraints: 31626
1905.27/1912.08 c #Conflicts: 955000 | #Constraints: 32626
1905.27/1912.08 c #Conflicts: 956000 | #Constraints: 33626
1905.27/1912.08 c #Conflicts: 957000 | #Constraints: 34626
1905.27/1912.08 c #Conflicts: 958000 | #Constraints: 35626
1905.27/1912.08 c #Conflicts: 959000 | #Constraints: 36626
1905.27/1912.08 c #Conflicts: 960000 | #Constraints: 37626
1905.27/1912.08 c #Conflicts: 961000 | #Constraints: 38626
1905.27/1912.08 c INPROCESSING
1905.27/1912.08 c GARBAGE COLLECT
1905.27/1912.08 c #Conflicts: 962000 | #Constraints: 20230
1905.27/1912.08 c #Conflicts: 963000 | #Constraints: 21230
1905.27/1912.08 c #Conflicts: 964000 | #Constraints: 22230
1905.27/1912.08 c #Conflicts: 965000 | #Constraints: 23230
1905.27/1912.08 c #Conflicts: 966000 | #Constraints: 24230
1905.27/1912.08 c #Conflicts: 967000 | #Constraints: 25230
1905.27/1912.08 c #Conflicts: 968000 | #Constraints: 26230
2173.59/2181.21 c #Conflicts: 969000 | #Constraints: 27230
2173.59/2181.21 c #Conflicts: 970000 | #Constraints: 28230
2173.59/2181.21 c #Conflicts: 971000 | #Constraints: 29230
2173.59/2181.21 c #Conflicts: 972000 | #Constraints: 30230
2173.59/2181.21 c #Conflicts: 973000 | #Constraints: 31230
2173.59/2181.21 c #Conflicts: 974000 | #Constraints: 32230
2173.59/2181.21 c #Conflicts: 975000 | #Constraints: 33230
2173.59/2181.21 c #Conflicts: 976000 | #Constraints: 34230
2173.59/2181.21 c #Conflicts: 977000 | #Constraints: 35230
2173.59/2181.21 c #Conflicts: 978000 | #Constraints: 36230
2173.59/2181.21 c #Conflicts: 979000 | #Constraints: 37230
2173.59/2181.21 c #Conflicts: 980000 | #Constraints: 38230
2173.59/2181.21 c #Conflicts: 981000 | #Constraints: 39230
2173.59/2181.21 c INPROCESSING
2173.59/2181.21 c GARBAGE COLLECT
2173.59/2181.21 c #Conflicts: 982000 | #Constraints: 20631
2173.59/2181.21 c #Conflicts: 983000 | #Constraints: 21631
2173.59/2181.21 c #Conflicts: 984000 | #Constraints: 22631
2173.59/2181.21 c #Conflicts: 985000 | #Constraints: 23631
2173.59/2181.21 c #Conflicts: 986000 | #Constraints: 24631
2173.59/2181.21 c #Conflicts: 987000 | #Constraints: 25631
2173.59/2181.21 c #Conflicts: 988000 | #Constraints: 26631
2173.59/2181.21 c #Conflicts: 989000 | #Constraints: 27631
2173.59/2181.21 c #Conflicts: 990000 | #Constraints: 28631
2173.59/2181.21 c #Conflicts: 991000 | #Constraints: 29631
2173.59/2181.21 c #Conflicts: 992000 | #Constraints: 30631
2173.59/2181.21 c #Conflicts: 993000 | #Constraints: 31631
2173.59/2181.21 c #Conflicts: 994000 | #Constraints: 32631
2173.59/2181.21 c #Conflicts: 995000 | #Constraints: 33631
2173.59/2181.21 c #Conflicts: 996000 | #Constraints: 34631
2173.59/2181.21 c #Conflicts: 997000 | #Constraints: 35631
2173.59/2181.21 c #Conflicts: 998000 | #Constraints: 36631
2173.59/2181.21 c #Conflicts: 999000 | #Constraints: 37631
2173.59/2181.21 c #Conflicts: 1000000 | #Constraints: 38631
2173.59/2181.21 c #Conflicts: 1001000 | #Constraints: 39631
2173.59/2181.21 c INPROCESSING
2173.59/2181.21 c GARBAGE COLLECT
2173.59/2181.21 c #Conflicts: 1002000 | #Constraints: 20831
2173.59/2181.21 c #Conflicts: 1003000 | #Constraints: 21831
2173.59/2181.21 c #Conflicts: 1004000 | #Constraints: 22831
2173.59/2181.21 c #Conflicts: 1005000 | #Constraints: 23831
2173.59/2181.21 c #Conflicts: 1006000 | #Constraints: 24831
2173.59/2181.21 c #Conflicts: 1007000 | #Constraints: 25831
2173.59/2181.21 c #Conflicts: 1008000 | #Constraints: 26831
2173.59/2181.21 c #Conflicts: 1009000 | #Constraints: 27831
2173.59/2181.21 c #Conflicts: 1010000 | #Constraints: 28831
2173.59/2181.21 c #Conflicts: 1011000 | #Constraints: 29831
2173.59/2181.21 c #Conflicts: 1012000 | #Constraints: 30831
2173.59/2181.21 c #Conflicts: 1013000 | #Constraints: 31831
2173.59/2181.21 c #Conflicts: 1014000 | #Constraints: 32831
2173.59/2181.21 c #Conflicts: 1015000 | #Constraints: 33831
2173.59/2181.21 c #Conflicts: 1016000 | #Constraints: 34831
2173.59/2181.21 c #Conflicts: 1017000 | #Constraints: 35831
2173.59/2181.21 c #Conflicts: 1018000 | #Constraints: 36831
2173.59/2181.21 c #Conflicts: 1019000 | #Constraints: 37831
2173.59/2181.21 c #Conflicts: 1020000 | #Constraints: 38831
2173.59/2181.21 c #Conflicts: 1021000 | #Constraints: 39831
2173.59/2181.21 c INPROCESSING
2173.59/2181.21 c GARBAGE COLLECT
2173.59/2181.21 c #Conflicts: 1022000 | #Constraints: 20831
2173.59/2181.21 c #Conflicts: 1023000 | #Constraints: 21831
2173.59/2181.21 c #Conflicts: 1024000 | #Constraints: 22831
2173.59/2181.21 c #Conflicts: 1025000 | #Constraints: 23831
2173.59/2181.21 c #Conflicts: 1026000 | #Constraints: 24831
2173.59/2181.21 c #Conflicts: 1027000 | #Constraints: 25831
2173.59/2181.21 c #Conflicts: 1028000 | #Constraints: 26831
2173.59/2181.21 c #Conflicts: 1029000 | #Constraints: 27831
2173.59/2181.21 c #Conflicts: 1030000 | #Constraints: 28831
2173.59/2181.21 c #Conflicts: 1031000 | #Constraints: 29831
2173.59/2181.21 c #Conflicts: 1032000 | #Constraints: 30831
2173.59/2181.21 c #Conflicts: 1033000 | #Constraints: 31831
2173.59/2181.21 c #Conflicts: 1034000 | #Constraints: 32831
2173.59/2181.21 c #Conflicts: 1035000 | #Constraints: 33831
2173.59/2181.21 c #Conflicts: 1036000 | #Constraints: 34831
2173.59/2181.21 c #Conflicts: 1037000 | #Constraints: 35831
2173.59/2181.21 c #Conflicts: 1038000 | #Constraints: 36831
2173.59/2181.21 c #Conflicts: 1039000 | #Constraints: 37831
2173.59/2181.21 c #Conflicts: 1040000 | #Constraints: 38831
2173.59/2181.21 c #Conflicts: 1041000 | #Constraints: 39831
2173.59/2181.21 c INPROCESSING
2173.59/2181.21 c GARBAGE COLLECT
2173.59/2181.21 c #Conflicts: 1042000 | #Constraints: 20628
2173.59/2181.21 c #Conflicts: 1043000 | #Constraints: 21628
2173.59/2181.21 c #Conflicts: 1044000 | #Constraints: 22628
2466.85/2475.47 c #Conflicts: 1045000 | #Constraints: 23628
2466.85/2475.47 c #Conflicts: 1046000 | #Constraints: 24628
2466.85/2475.47 c #Conflicts: 1047000 | #Constraints: 25628
2466.85/2475.47 c #Conflicts: 1048000 | #Constraints: 26628
2466.85/2475.47 c #Conflicts: 1049000 | #Constraints: 27628
2466.85/2475.47 c #Conflicts: 1050000 | #Constraints: 28628
2466.85/2475.47 c #Conflicts: 1051000 | #Constraints: 29628
2466.85/2475.47 c #Conflicts: 1052000 | #Constraints: 30628
2466.85/2475.47 c #Conflicts: 1053000 | #Constraints: 31628
2466.85/2475.47 c #Conflicts: 1054000 | #Constraints: 32628
2466.85/2475.47 c #Conflicts: 1055000 | #Constraints: 33628
2466.85/2475.47 c #Conflicts: 1056000 | #Constraints: 34628
2466.85/2475.47 c #Conflicts: 1057000 | #Constraints: 35628
2466.85/2475.47 c #Conflicts: 1058000 | #Constraints: 36628
2466.85/2475.47 c #Conflicts: 1059000 | #Constraints: 37628
2466.85/2475.47 c #Conflicts: 1060000 | #Constraints: 38628
2466.85/2475.47 c #Conflicts: 1061000 | #Constraints: 39628
2466.85/2475.47 c #Conflicts: 1062000 | #Constraints: 40628
2466.85/2475.47 c INPROCESSING
2466.85/2475.47 c GARBAGE COLLECT
2466.85/2475.47 c #Conflicts: 1063000 | #Constraints: 21230
2466.85/2475.47 c #Conflicts: 1064000 | #Constraints: 22230
2466.85/2475.47 c #Conflicts: 1065000 | #Constraints: 23230
2466.85/2475.47 c #Conflicts: 1066000 | #Constraints: 24230
2466.85/2475.47 c #Conflicts: 1067000 | #Constraints: 25230
2466.85/2475.47 c #Conflicts: 1068000 | #Constraints: 26230
2466.85/2475.47 c #Conflicts: 1069000 | #Constraints: 27230
2466.85/2475.47 c #Conflicts: 1070000 | #Constraints: 28230
2466.85/2475.47 c #Conflicts: 1071000 | #Constraints: 29230
2466.85/2475.47 c #Conflicts: 1072000 | #Constraints: 30230
2466.85/2475.47 c #Conflicts: 1073000 | #Constraints: 31230
2466.85/2475.47 c #Conflicts: 1074000 | #Constraints: 32230
2466.85/2475.47 c #Conflicts: 1075000 | #Constraints: 33230
2466.85/2475.47 c #Conflicts: 1076000 | #Constraints: 34230
2466.85/2475.47 c #Conflicts: 1077000 | #Constraints: 35230
2466.85/2475.47 c #Conflicts: 1078000 | #Constraints: 36230
2466.85/2475.47 c #Conflicts: 1079000 | #Constraints: 37230
2466.85/2475.47 c #Conflicts: 1080000 | #Constraints: 38230
2466.85/2475.47 c #Conflicts: 1081000 | #Constraints: 39230
2466.85/2475.47 c #Conflicts: 1082000 | #Constraints: 40230
2466.85/2475.47 c #Conflicts: 1083000 | #Constraints: 41230
2466.85/2475.47 c INPROCESSING
2466.85/2475.47 c GARBAGE COLLECT
2466.85/2475.47 c #Conflicts: 1084000 | #Constraints: 21631
2466.85/2475.47 c #Conflicts: 1085000 | #Constraints: 22631
2466.85/2475.47 c #Conflicts: 1086000 | #Constraints: 23631
2466.85/2475.47 c #Conflicts: 1087000 | #Constraints: 24631
2466.85/2475.47 c #Conflicts: 1088000 | #Constraints: 25631
2466.85/2475.47 c #Conflicts: 1089000 | #Constraints: 26631
2466.85/2475.47 c #Conflicts: 1090000 | #Constraints: 27631
2466.85/2475.47 c #Conflicts: 1091000 | #Constraints: 28631
2466.85/2475.47 c #Conflicts: 1092000 | #Constraints: 29631
2466.85/2475.47 c #Conflicts: 1093000 | #Constraints: 30631
2466.85/2475.47 c #Conflicts: 1094000 | #Constraints: 31631
2466.85/2475.47 c #Conflicts: 1095000 | #Constraints: 32631
2466.85/2475.47 c #Conflicts: 1096000 | #Constraints: 33631
2466.85/2475.47 c #Conflicts: 1097000 | #Constraints: 34631
2466.85/2475.47 c #Conflicts: 1098000 | #Constraints: 35631
2466.85/2475.47 c #Conflicts: 1099000 | #Constraints: 36631
2466.85/2475.47 c #Conflicts: 1100000 | #Constraints: 37631
2466.85/2475.47 c #Conflicts: 1101000 | #Constraints: 38631
2466.85/2475.47 c #Conflicts: 1102000 | #Constraints: 39631
2466.85/2475.47 c #Conflicts: 1103000 | #Constraints: 40631
2466.85/2475.47 c #Conflicts: 1104000 | #Constraints: 41631
2466.85/2475.47 c INPROCESSING
2466.85/2475.47 c GARBAGE COLLECT
2466.85/2475.47 c #Conflicts: 1105000 | #Constraints: 21830
2466.85/2475.47 c #Conflicts: 1106000 | #Constraints: 22830
2466.85/2475.47 c #Conflicts: 1107000 | #Constraints: 23830
2466.85/2475.47 c #Conflicts: 1108000 | #Constraints: 24830
2466.85/2475.47 c #Conflicts: 1109000 | #Constraints: 25830
2466.85/2475.47 c #Conflicts: 1110000 | #Constraints: 26830
2466.85/2475.47 c #Conflicts: 1111000 | #Constraints: 27830
2466.85/2475.47 c #Conflicts: 1112000 | #Constraints: 28830
2466.85/2475.47 c #Conflicts: 1113000 | #Constraints: 29830
2466.85/2475.47 c #Conflicts: 1114000 | #Constraints: 30830
2466.85/2475.47 c #Conflicts: 1115000 | #Constraints: 31830
2466.85/2475.47 c #Conflicts: 1116000 | #Constraints: 32830
2466.85/2475.47 c #Conflicts: 1117000 | #Constraints: 33830
2466.85/2475.47 c #Conflicts: 1118000 | #Constraints: 34830
2466.85/2475.47 c #Conflicts: 1119000 | #Constraints: 35830
2466.85/2475.47 c #Conflicts: 1120000 | #Constraints: 36830
2466.85/2475.47 c #Conflicts: 1121000 | #Constraints: 37830
2717.39/2726.85 c #Conflicts: 1122000 | #Constraints: 38830
2717.39/2726.85 c #Conflicts: 1123000 | #Constraints: 39830
2717.39/2726.85 c #Conflicts: 1124000 | #Constraints: 40830
2717.39/2726.85 c #Conflicts: 1125000 | #Constraints: 41830
2717.39/2726.85 c INPROCESSING
2717.39/2726.85 c GARBAGE COLLECT
2717.39/2726.85 c #Conflicts: 1126000 | #Constraints: 21830
2717.39/2726.85 c #Conflicts: 1127000 | #Constraints: 22830
2717.39/2726.85 c #Conflicts: 1128000 | #Constraints: 23830
2717.39/2726.85 c #Conflicts: 1129000 | #Constraints: 24830
2717.39/2726.85 c #Conflicts: 1130000 | #Constraints: 25830
2717.39/2726.85 c #Conflicts: 1131000 | #Constraints: 26830
2717.39/2726.85 c #Conflicts: 1132000 | #Constraints: 27830
2717.39/2726.85 c #Conflicts: 1133000 | #Constraints: 28830
2717.39/2726.85 c #Conflicts: 1134000 | #Constraints: 29830
2717.39/2726.85 c #Conflicts: 1135000 | #Constraints: 30830
2717.39/2726.85 c #Conflicts: 1136000 | #Constraints: 31830
2717.39/2726.85 c #Conflicts: 1137000 | #Constraints: 32830
2717.39/2726.85 c #Conflicts: 1138000 | #Constraints: 33830
2717.39/2726.85 c #Conflicts: 1139000 | #Constraints: 34830
2717.39/2726.85 c #Conflicts: 1140000 | #Constraints: 35830
2717.39/2726.85 c #Conflicts: 1141000 | #Constraints: 36830
2717.39/2726.85 c #Conflicts: 1142000 | #Constraints: 37830
2717.39/2726.85 c #Conflicts: 1143000 | #Constraints: 38830
2717.39/2726.85 c #Conflicts: 1144000 | #Constraints: 39830
2717.39/2726.85 c #Conflicts: 1145000 | #Constraints: 40830
2717.39/2726.85 c #Conflicts: 1146000 | #Constraints: 41830
2717.39/2726.85 c INPROCESSING
2717.39/2726.85 c GARBAGE COLLECT
2717.39/2726.85 c #Conflicts: 1147000 | #Constraints: 21632
2717.39/2726.85 c #Conflicts: 1148000 | #Constraints: 22632
2717.39/2726.85 c #Conflicts: 1149000 | #Constraints: 23632
2717.39/2726.85 c #Conflicts: 1150000 | #Constraints: 24632
2717.39/2726.85 c #Conflicts: 1151000 | #Constraints: 25632
2717.39/2726.85 c #Conflicts: 1152000 | #Constraints: 26632
2717.39/2726.85 c #Conflicts: 1153000 | #Constraints: 27632
2717.39/2726.85 c #Conflicts: 1154000 | #Constraints: 28632
2717.39/2726.85 c #Conflicts: 1155000 | #Constraints: 29632
2717.39/2726.85 c #Conflicts: 1156000 | #Constraints: 30632
2717.39/2726.85 c #Conflicts: 1157000 | #Constraints: 31632
2717.39/2726.85 c #Conflicts: 1158000 | #Constraints: 32632
2717.39/2726.85 c #Conflicts: 1159000 | #Constraints: 33632
2717.39/2726.85 c #Conflicts: 1160000 | #Constraints: 34632
2717.39/2726.85 c #Conflicts: 1161000 | #Constraints: 35632
2717.39/2726.85 c #Conflicts: 1162000 | #Constraints: 36632
2717.39/2726.85 c #Conflicts: 1163000 | #Constraints: 37632
2717.39/2726.85 c #Conflicts: 1164000 | #Constraints: 38632
2717.39/2726.85 c #Conflicts: 1165000 | #Constraints: 39632
2717.39/2726.85 c #Conflicts: 1166000 | #Constraints: 40632
2717.39/2726.85 c #Conflicts: 1167000 | #Constraints: 41632
2717.39/2726.85 c #Conflicts: 1168000 | #Constraints: 42632
2717.39/2726.85 c INPROCESSING
2717.39/2726.85 c GARBAGE COLLECT
2717.39/2726.85 c #Conflicts: 1169000 | #Constraints: 22231
2717.39/2726.85 c #Conflicts: 1170000 | #Constraints: 23231
2717.39/2726.85 c #Conflicts: 1171000 | #Constraints: 24231
2717.39/2726.85 c #Conflicts: 1172000 | #Constraints: 25231
2717.39/2726.85 c #Conflicts: 1173000 | #Constraints: 26231
2717.39/2726.85 c #Conflicts: 1174000 | #Constraints: 27231
2717.39/2726.85 c #Conflicts: 1175000 | #Constraints: 28231
2717.39/2726.85 c #Conflicts: 1176000 | #Constraints: 29231
2717.39/2726.85 c #Conflicts: 1177000 | #Constraints: 30231
2717.39/2726.85 c #Conflicts: 1178000 | #Constraints: 31231
2717.39/2726.85 c #Conflicts: 1179000 | #Constraints: 32231
2717.39/2726.85 c #Conflicts: 1180000 | #Constraints: 33231
2717.39/2726.85 c #Conflicts: 1181000 | #Constraints: 34231
2717.39/2726.85 c #Conflicts: 1182000 | #Constraints: 35231
2717.39/2726.85 c #Conflicts: 1183000 | #Constraints: 36231
2717.39/2726.85 c #Conflicts: 1184000 | #Constraints: 37231
2717.39/2726.85 c #Conflicts: 1185000 | #Constraints: 38231
2717.39/2726.85 c #Conflicts: 1186000 | #Constraints: 39231
2717.39/2726.85 c #Conflicts: 1187000 | #Constraints: 40231
2717.39/2726.85 c #Conflicts: 1188000 | #Constraints: 41231
2717.39/2726.85 c #Conflicts: 1189000 | #Constraints: 42231
2717.39/2726.85 c #Conflicts: 1190000 | #Constraints: 43231
2717.39/2726.85 c INPROCESSING
2717.39/2726.85 c GARBAGE COLLECT
2717.39/2726.85 c #Conflicts: 1191000 | #Constraints: 22631
2717.39/2726.85 c #Conflicts: 1192000 | #Constraints: 23631
2717.39/2726.85 c #Conflicts: 1193000 | #Constraints: 24631
2717.39/2726.85 c #Conflicts: 1194000 | #Constraints: 25631
2717.39/2726.85 c #Conflicts: 1195000 | #Constraints: 26631
2717.39/2726.85 c #Conflicts: 1196000 | #Constraints: 27631
2717.39/2726.85 c #Conflicts: 1197000 | #Constraints: 28631
2969.51/2979.85 c #Conflicts: 1198000 | #Constraints: 29631
2969.51/2979.85 c #Conflicts: 1199000 | #Constraints: 30631
2969.51/2979.85 c #Conflicts: 1200000 | #Constraints: 31631
2969.51/2979.85 c #Conflicts: 1201000 | #Constraints: 32631
2969.51/2979.85 c #Conflicts: 1202000 | #Constraints: 33631
2969.51/2979.85 c #Conflicts: 1203000 | #Constraints: 34631
2969.51/2979.85 c #Conflicts: 1204000 | #Constraints: 35631
2969.51/2979.85 c #Conflicts: 1205000 | #Constraints: 36631
2969.51/2979.85 c #Conflicts: 1206000 | #Constraints: 37631
2969.51/2979.85 c #Conflicts: 1207000 | #Constraints: 38631
2969.51/2979.85 c #Conflicts: 1208000 | #Constraints: 39631
2969.51/2979.85 c #Conflicts: 1209000 | #Constraints: 40631
2969.51/2979.85 c #Conflicts: 1210000 | #Constraints: 41631
2969.51/2979.85 c #Conflicts: 1211000 | #Constraints: 42631
2969.51/2979.85 c #Conflicts: 1212000 | #Constraints: 43631
2969.51/2979.85 c INPROCESSING
2969.51/2979.85 c GARBAGE COLLECT
2969.51/2979.85 c #Conflicts: 1213000 | #Constraints: 22830
2969.51/2979.85 c #Conflicts: 1214000 | #Constraints: 23830
2969.51/2979.85 c #Conflicts: 1215000 | #Constraints: 24830
2969.51/2979.85 c #Conflicts: 1216000 | #Constraints: 25830
2969.51/2979.85 c #Conflicts: 1217000 | #Constraints: 26830
2969.51/2979.85 c #Conflicts: 1218000 | #Constraints: 27830
2969.51/2979.85 c #Conflicts: 1219000 | #Constraints: 28830
2969.51/2979.85 c #Conflicts: 1220000 | #Constraints: 29830
2969.51/2979.85 c #Conflicts: 1221000 | #Constraints: 30830
2969.51/2979.85 c #Conflicts: 1222000 | #Constraints: 31830
2969.51/2979.85 c #Conflicts: 1223000 | #Constraints: 32830
2969.51/2979.85 c #Conflicts: 1224000 | #Constraints: 33830
2969.51/2979.85 c #Conflicts: 1225000 | #Constraints: 34830
2969.51/2979.85 c #Conflicts: 1226000 | #Constraints: 35830
2969.51/2979.85 c #Conflicts: 1227000 | #Constraints: 36830
2969.51/2979.85 c #Conflicts: 1228000 | #Constraints: 37830
2969.51/2979.85 c #Conflicts: 1229000 | #Constraints: 38830
2969.51/2979.85 c #Conflicts: 1230000 | #Constraints: 39830
2969.51/2979.85 c #Conflicts: 1231000 | #Constraints: 40830
2969.51/2979.85 c #Conflicts: 1232000 | #Constraints: 41830
2969.51/2979.85 c #Conflicts: 1233000 | #Constraints: 42830
2969.51/2979.85 c #Conflicts: 1234000 | #Constraints: 43830
2969.51/2979.85 c INPROCESSING
2969.51/2979.85 c GARBAGE COLLECT
2969.51/2979.85 c #Conflicts: 1235000 | #Constraints: 22830
2969.51/2979.85 c #Conflicts: 1236000 | #Constraints: 23830
2969.51/2979.85 c #Conflicts: 1237000 | #Constraints: 24830
2969.51/2979.85 c #Conflicts: 1238000 | #Constraints: 25830
2969.51/2979.85 c #Conflicts: 1239000 | #Constraints: 26830
2969.51/2979.85 c #Conflicts: 1240000 | #Constraints: 27830
2969.51/2979.85 c #Conflicts: 1241000 | #Constraints: 28830
2969.51/2979.85 c #Conflicts: 1242000 | #Constraints: 29830
2969.51/2979.85 c #Conflicts: 1243000 | #Constraints: 30830
2969.51/2979.85 c #Conflicts: 1244000 | #Constraints: 31830
2969.51/2979.85 c #Conflicts: 1245000 | #Constraints: 32830
2969.51/2979.85 c #Conflicts: 1246000 | #Constraints: 33830
2969.51/2979.85 c #Conflicts: 1247000 | #Constraints: 34830
2969.51/2979.85 c #Conflicts: 1248000 | #Constraints: 35830
2969.51/2979.85 c #Conflicts: 1249000 | #Constraints: 36830
2969.51/2979.85 c #Conflicts: 1250000 | #Constraints: 37830
2969.51/2979.85 c #Conflicts: 1251000 | #Constraints: 38830
2969.51/2979.85 c #Conflicts: 1252000 | #Constraints: 39830
2969.51/2979.85 c #Conflicts: 1253000 | #Constraints: 40830
2969.51/2979.85 c #Conflicts: 1254000 | #Constraints: 41830
2969.51/2979.85 c #Conflicts: 1255000 | #Constraints: 42830
2969.51/2979.85 c #Conflicts: 1256000 | #Constraints: 43830
2969.51/2979.85 c INPROCESSING
2969.51/2979.85 c GARBAGE COLLECT
2969.51/2979.85 c #Conflicts: 1257000 | #Constraints: 22629
2969.51/2979.85 c #Conflicts: 1258000 | #Constraints: 23629
2969.51/2979.85 c #Conflicts: 1259000 | #Constraints: 24629
2969.51/2979.85 c #Conflicts: 1260000 | #Constraints: 25629
2969.51/2979.85 c #Conflicts: 1261000 | #Constraints: 26629
2969.51/2979.85 c #Conflicts: 1262000 | #Constraints: 27629
2969.51/2979.85 c #Conflicts: 1263000 | #Constraints: 28629
2969.51/2979.85 c #Conflicts: 1264000 | #Constraints: 29629
2969.51/2979.85 c #Conflicts: 1265000 | #Constraints: 30629
2969.51/2979.85 c #Conflicts: 1266000 | #Constraints: 31629
2969.51/2979.85 c #Conflicts: 1267000 | #Constraints: 32629
2969.51/2979.85 c #Conflicts: 1268000 | #Constraints: 33629
2969.51/2979.85 c #Conflicts: 1269000 | #Constraints: 34629
2969.51/2979.85 c #Conflicts: 1270000 | #Constraints: 35629
2969.51/2979.85 c #Conflicts: 1271000 | #Constraints: 36629
2969.51/2979.85 c #Conflicts: 1272000 | #Constraints: 37629
2969.51/2979.85 c #Conflicts: 1273000 | #Constraints: 38629
2969.51/2979.85 c #Conflicts: 1274000 | #Constraints: 39629
3179.78/3190.86 c #Conflicts: 1275000 | #Constraints: 40629
3179.78/3190.86 c #Conflicts: 1276000 | #Constraints: 41629
3179.78/3190.86 c #Conflicts: 1277000 | #Constraints: 42629
3179.78/3190.86 c #Conflicts: 1278000 | #Constraints: 43629
3179.78/3190.86 c #Conflicts: 1279000 | #Constraints: 44629
3179.78/3190.86 c INPROCESSING
3179.78/3190.86 c GARBAGE COLLECT
3179.78/3190.86 c #Conflicts: 1280000 | #Constraints: 23229
3179.78/3190.86 c #Conflicts: 1281000 | #Constraints: 24229
3179.78/3190.86 c #Conflicts: 1282000 | #Constraints: 25229
3179.78/3190.86 c #Conflicts: 1283000 | #Constraints: 26229
3179.78/3190.86 c #Conflicts: 1284000 | #Constraints: 27229
3179.78/3190.86 c #Conflicts: 1285000 | #Constraints: 28229
3179.78/3190.86 c #Conflicts: 1286000 | #Constraints: 29229
3179.78/3190.86 c #Conflicts: 1287000 | #Constraints: 30229
3179.78/3190.86 c #Conflicts: 1288000 | #Constraints: 31229
3179.78/3190.86 c #Conflicts: 1289000 | #Constraints: 32229
3179.78/3190.86 c #Conflicts: 1290000 | #Constraints: 33229
3179.78/3190.86 c #Conflicts: 1291000 | #Constraints: 34229
3179.78/3190.86 c #Conflicts: 1292000 | #Constraints: 35229
3179.78/3190.86 c #Conflicts: 1293000 | #Constraints: 36229
3179.78/3190.86 c #Conflicts: 1294000 | #Constraints: 37229
3179.78/3190.86 c #Conflicts: 1295000 | #Constraints: 38229
3179.78/3190.86 c #Conflicts: 1296000 | #Constraints: 39229
3179.78/3190.86 c #Conflicts: 1297000 | #Constraints: 40229
3179.78/3190.86 c #Conflicts: 1298000 | #Constraints: 41229
3179.78/3190.86 c #Conflicts: 1299000 | #Constraints: 42229
3179.78/3190.86 c #Conflicts: 1300000 | #Constraints: 43229
3179.78/3190.86 c #Conflicts: 1301000 | #Constraints: 44229
3179.78/3190.86 c #Conflicts: 1302000 | #Constraints: 45229
3179.78/3190.86 c INPROCESSING
3179.78/3190.86 c GARBAGE COLLECT
3179.78/3190.86 c #Conflicts: 1303000 | #Constraints: 23625
3179.78/3190.86 c #Conflicts: 1304000 | #Constraints: 24625
3179.78/3190.86 c #Conflicts: 1305000 | #Constraints: 25625
3179.78/3190.86 c #Conflicts: 1306000 | #Constraints: 26625
3179.78/3190.86 c #Conflicts: 1307000 | #Constraints: 27625
3179.78/3190.86 c #Conflicts: 1308000 | #Constraints: 28625
3179.78/3190.86 c #Conflicts: 1309000 | #Constraints: 29625
3179.78/3190.86 c #Conflicts: 1310000 | #Constraints: 30625
3179.78/3190.86 c #Conflicts: 1311000 | #Constraints: 31625
3179.78/3190.86 c #Conflicts: 1312000 | #Constraints: 32625
3179.78/3190.86 c #Conflicts: 1313000 | #Constraints: 33625
3179.78/3190.86 c #Conflicts: 1314000 | #Constraints: 34625
3179.78/3190.86 c #Conflicts: 1315000 | #Constraints: 35625
3179.78/3190.86 c #Conflicts: 1316000 | #Constraints: 36625
3179.78/3190.86 c #Conflicts: 1317000 | #Constraints: 37625
3179.78/3190.86 c #Conflicts: 1318000 | #Constraints: 38625
3179.78/3190.86 c #Conflicts: 1319000 | #Constraints: 39625
3179.78/3190.86 c #Conflicts: 1320000 | #Constraints: 40625
3179.78/3190.86 c #Conflicts: 1321000 | #Constraints: 41625
3179.78/3190.86 c #Conflicts: 1322000 | #Constraints: 42625
3179.78/3190.86 c #Conflicts: 1323000 | #Constraints: 43625
3179.78/3190.86 c #Conflicts: 1324000 | #Constraints: 44625
3179.78/3190.86 c #Conflicts: 1325000 | #Constraints: 45625
3179.78/3190.86 c INPROCESSING
3179.78/3190.86 c GARBAGE COLLECT
3179.78/3190.86 c #Conflicts: 1326000 | #Constraints: 23828
3179.78/3190.86 c #Conflicts: 1327000 | #Constraints: 24828
3179.78/3190.86 c #Conflicts: 1328000 | #Constraints: 25828
3179.78/3190.86 c #Conflicts: 1329000 | #Constraints: 26828
3179.78/3190.86 c #Conflicts: 1330000 | #Constraints: 27828
3179.78/3190.86 c #Conflicts: 1331000 | #Constraints: 28828
3179.78/3190.86 c #Conflicts: 1332000 | #Constraints: 29828
3179.78/3190.86 c #Conflicts: 1333000 | #Constraints: 30828
3179.78/3190.86 c #Conflicts: 1334000 | #Constraints: 31828
3179.78/3190.86 c #Conflicts: 1335000 | #Constraints: 32828
3179.78/3190.86 c #Conflicts: 1336000 | #Constraints: 33828
3179.78/3190.86 c #Conflicts: 1337000 | #Constraints: 34828
3179.78/3190.86 c #Conflicts: 1338000 | #Constraints: 35828
3179.78/3190.86 c #Conflicts: 1339000 | #Constraints: 36828
3179.78/3190.86 c #Conflicts: 1340000 | #Constraints: 37828
3179.78/3190.86 c #Conflicts: 1341000 | #Constraints: 38828
3179.78/3190.86 c #Conflicts: 1342000 | #Constraints: 39828
3179.78/3190.86 c #Conflicts: 1343000 | #Constraints: 40828
3179.78/3190.86 c #Conflicts: 1344000 | #Constraints: 41828
3179.78/3190.86 c #Conflicts: 1345000 | #Constraints: 42828
3179.78/3190.86 c #Conflicts: 1346000 | #Constraints: 43828
3179.78/3190.86 c #Conflicts: 1347000 | #Constraints: 44828
3179.78/3190.86 c #Conflicts: 1348000 | #Constraints: 45828
3179.78/3190.86 c INPROCESSING
3179.78/3190.86 c GARBAGE COLLECT
3179.78/3190.86 c #Conflicts: 1349000 | #Constraints: 23828
3179.78/3190.86 c #Conflicts: 1350000 | #Constraints: 24828
3434.30/3446.27 c #Conflicts: 1351000 | #Constraints: 25828
3434.30/3446.27 c #Conflicts: 1352000 | #Constraints: 26828
3434.30/3446.27 c #Conflicts: 1353000 | #Constraints: 27828
3434.30/3446.27 c #Conflicts: 1354000 | #Constraints: 28828
3434.30/3446.27 c #Conflicts: 1355000 | #Constraints: 29828
3434.30/3446.27 c #Conflicts: 1356000 | #Constraints: 30828
3434.30/3446.27 c #Conflicts: 1357000 | #Constraints: 31828
3434.30/3446.27 c #Conflicts: 1358000 | #Constraints: 32828
3434.30/3446.27 c #Conflicts: 1359000 | #Constraints: 33828
3434.30/3446.27 c #Conflicts: 1360000 | #Constraints: 34828
3434.30/3446.27 c #Conflicts: 1361000 | #Constraints: 35828
3434.30/3446.27 c #Conflicts: 1362000 | #Constraints: 36828
3434.30/3446.27 c #Conflicts: 1363000 | #Constraints: 37828
3434.30/3446.27 c #Conflicts: 1364000 | #Constraints: 38828
3434.30/3446.27 c #Conflicts: 1365000 | #Constraints: 39828
3434.30/3446.27 c #Conflicts: 1366000 | #Constraints: 40828
3434.30/3446.27 c #Conflicts: 1367000 | #Constraints: 41828
3434.30/3446.27 c #Conflicts: 1368000 | #Constraints: 42828
3434.30/3446.27 c #Conflicts: 1369000 | #Constraints: 43828
3434.30/3446.27 c #Conflicts: 1370000 | #Constraints: 44828
3434.30/3446.27 c #Conflicts: 1371000 | #Constraints: 45828
3434.30/3446.27 c INPROCESSING
3434.30/3446.27 c GARBAGE COLLECT
3434.30/3446.27 c #Conflicts: 1372000 | #Constraints: 23627
3434.30/3446.27 c #Conflicts: 1373000 | #Constraints: 24627
3434.30/3446.27 c #Conflicts: 1374000 | #Constraints: 25627
3434.30/3446.27 c #Conflicts: 1375000 | #Constraints: 26627
3434.30/3446.27 c #Conflicts: 1376000 | #Constraints: 27627
3434.30/3446.27 c #Conflicts: 1377000 | #Constraints: 28627
3434.30/3446.27 c #Conflicts: 1378000 | #Constraints: 29627
3434.30/3446.27 c #Conflicts: 1379000 | #Constraints: 30627
3434.30/3446.27 c #Conflicts: 1380000 | #Constraints: 31627
3434.30/3446.27 c #Conflicts: 1381000 | #Constraints: 32627
3434.30/3446.27 c #Conflicts: 1382000 | #Constraints: 33627
3434.30/3446.27 c #Conflicts: 1383000 | #Constraints: 34627
3434.30/3446.27 c #Conflicts: 1384000 | #Constraints: 35627
3434.30/3446.27 c #Conflicts: 1385000 | #Constraints: 36627
3434.30/3446.27 c #Conflicts: 1386000 | #Constraints: 37627
3434.30/3446.27 c #Conflicts: 1387000 | #Constraints: 38627
3434.30/3446.27 c #Conflicts: 1388000 | #Constraints: 39627
3434.30/3446.27 c #Conflicts: 1389000 | #Constraints: 40627
3434.30/3446.27 c #Conflicts: 1390000 | #Constraints: 41627
3434.30/3446.27 c #Conflicts: 1391000 | #Constraints: 42627
3434.30/3446.27 c #Conflicts: 1392000 | #Constraints: 43627
3434.30/3446.27 c #Conflicts: 1393000 | #Constraints: 44627
3434.30/3446.27 c #Conflicts: 1394000 | #Constraints: 45627
3434.30/3446.27 c #Conflicts: 1395000 | #Constraints: 46627
3434.30/3446.27 c INPROCESSING
3434.30/3446.27 c GARBAGE COLLECT
3434.30/3446.27 c #Conflicts: 1396000 | #Constraints: 24231
3434.30/3446.27 c #Conflicts: 1397000 | #Constraints: 25231
3434.30/3446.27 c #Conflicts: 1398000 | #Constraints: 26231
3434.30/3446.27 c #Conflicts: 1399000 | #Constraints: 27231
3434.30/3446.27 c #Conflicts: 1400000 | #Constraints: 28231
3434.30/3446.27 c #Conflicts: 1401000 | #Constraints: 29231
3434.30/3446.27 c #Conflicts: 1402000 | #Constraints: 30231
3434.30/3446.27 c #Conflicts: 1403000 | #Constraints: 31231
3434.30/3446.27 c #Conflicts: 1404000 | #Constraints: 32231
3434.30/3446.27 c #Conflicts: 1405000 | #Constraints: 33231
3434.30/3446.27 c #Conflicts: 1406000 | #Constraints: 34231
3434.30/3446.27 c #Conflicts: 1407000 | #Constraints: 35231
3434.30/3446.27 c #Conflicts: 1408000 | #Constraints: 36231
3434.30/3446.27 c #Conflicts: 1409000 | #Constraints: 37231
3434.30/3446.27 c #Conflicts: 1410000 | #Constraints: 38231
3434.30/3446.27 c #Conflicts: 1411000 | #Constraints: 39231
3434.30/3446.27 c #Conflicts: 1412000 | #Constraints: 40231
3434.30/3446.27 c #Conflicts: 1413000 | #Constraints: 41231
3434.30/3446.27 c #Conflicts: 1414000 | #Constraints: 42231
3434.30/3446.27 c #Conflicts: 1415000 | #Constraints: 43231
3434.30/3446.27 c #Conflicts: 1416000 | #Constraints: 44231
3434.30/3446.27 c #Conflicts: 1417000 | #Constraints: 45231
3434.30/3446.27 c #Conflicts: 1418000 | #Constraints: 46231
3434.30/3446.27 c #Conflicts: 1419000 | #Constraints: 47231
3434.30/3446.27 c INPROCESSING
3434.30/3446.27 c GARBAGE COLLECT
3434.30/3446.27 c #Conflicts: 1420000 | #Constraints: 24632
3434.30/3446.27 c #Conflicts: 1421000 | #Constraints: 25632
3434.30/3446.27 c #Conflicts: 1422000 | #Constraints: 26632
3434.30/3446.27 c #Conflicts: 1423000 | #Constraints: 27632
3434.30/3446.27 c #Conflicts: 1424000 | #Constraints: 28632
3434.30/3446.27 c #Conflicts: 1425000 | #Constraints: 29632
3434.30/3446.27 c #Conflicts: 1426000 | #Constraints: 30632
3434.30/3446.27 c #Conflicts: 1427000 | #Constraints: 31632
3600.03/3612.50 c #Conflicts: 1428000 | #Constraints: 32632
3600.03/3612.50 c #Conflicts: 1429000 | #Constraints: 33632
3600.03/3612.50 c #Conflicts: 1430000 | #Constraints: 34632
3600.03/3612.50 c #Conflicts: 1431000 | #Constraints: 35632
3600.03/3612.50 c #Conflicts: 1432000 | #Constraints: 36632
3600.03/3612.50 c #Conflicts: 1433000 | #Constraints: 37632
3600.03/3612.50 c #Conflicts: 1434000 | #Constraints: 38632
3600.03/3612.50 c #Conflicts: 1435000 | #Constraints: 39632
3600.03/3612.50 c #Conflicts: 1436000 | #Constraints: 40632
3600.03/3612.50 c #Conflicts: 1437000 | #Constraints: 41632
3600.03/3612.50 c #Conflicts: 1438000 | #Constraints: 42632
3600.03/3612.50 c #Conflicts: 1439000 | #Constraints: 43632
3600.03/3612.50 c #Conflicts: 1440000 | #Constraints: 44632
3600.03/3612.50 c #Conflicts: 1441000 | #Constraints: 45632
3600.03/3612.50 c #Conflicts: 1442000 | #Constraints: 46632
3600.03/3612.50 c #Conflicts: 1443000 | #Constraints: 47632
3600.03/3612.50 c INPROCESSING
3600.03/3612.50 c GARBAGE COLLECT
3600.03/3612.50 c #Conflicts: 1444000 | #Constraints: 24829
3600.03/3612.50 c #Conflicts: 1445000 | #Constraints: 25829
3600.03/3612.50 c #Conflicts: 1446000 | #Constraints: 26829
3600.03/3612.50 c #Conflicts: 1447000 | #Constraints: 27829
3600.03/3612.50 c #Conflicts: 1448000 | #Constraints: 28829
3600.03/3612.50 c #Conflicts: 1449000 | #Constraints: 29829
3600.03/3612.50 c #Conflicts: 1450000 | #Constraints: 30829
3600.03/3612.50 c #Conflicts: 1451000 | #Constraints: 31829
3600.03/3612.50 c #Conflicts: 1452000 | #Constraints: 32829
3600.03/3612.50 c #Conflicts: 1453000 | #Constraints: 33829
3600.03/3612.50 c #Conflicts: 1454000 | #Constraints: 34829
3600.03/3612.50 c #Conflicts: 1455000 | #Constraints: 35829
3600.03/3612.50 c #Conflicts: 1456000 | #Constraints: 36829
3600.03/3612.50 c #Conflicts: 1457000 | #Constraints: 37829
3600.03/3612.50 c #Conflicts: 1458000 | #Constraints: 38829
3600.03/3612.50 c #Conflicts: 1459000 | #Constraints: 39829
3600.03/3612.50 c #Conflicts: 1460000 | #Constraints: 40829
3600.03/3612.50 c #Conflicts: 1461000 | #Constraints: 41829
3600.03/3612.50 c #Conflicts: 1462000 | #Constraints: 42829
3600.03/3612.50 c #Conflicts: 1463000 | #Constraints: 43829
3600.03/3612.50 c #Conflicts: 1464000 | #Constraints: 44829
3600.03/3612.50 c #Conflicts: 1465000 | #Constraints: 45829
3600.03/3612.50 c #Conflicts: 1466000 | #Constraints: 46829
3600.03/3612.50 c #Conflicts: 1467000 | #Constraints: 47829
3600.03/3612.50 c INPROCESSING
3600.03/3612.50 c GARBAGE COLLECT
3600.03/3612.50 c #Conflicts: 1468000 | #Constraints: 24830
3600.03/3612.50 c #Conflicts: 1469000 | #Constraints: 25830
3600.03/3612.50 c #Conflicts: 1470000 | #Constraints: 26830
3600.03/3612.50 c #Conflicts: 1471000 | #Constraints: 27830
3600.03/3612.50 c #Conflicts: 1472000 | #Constraints: 28830
3600.03/3612.50 c #Conflicts: 1473000 | #Constraints: 29830
3600.03/3612.50 c #Conflicts: 1474000 | #Constraints: 30830
3600.03/3612.50 c #Conflicts: 1475000 | #Constraints: 31830
3600.03/3612.50 c #Conflicts: 1476000 | #Constraints: 32830
3600.03/3612.50 c #Conflicts: 1477000 | #Constraints: 33830
3600.03/3612.50 c #Conflicts: 1478000 | #Constraints: 34830
3600.03/3612.50 c #Conflicts: 1479000 | #Constraints: 35830
3600.03/3612.50 c #Conflicts: 1480000 | #Constraints: 36830
3600.03/3612.50 c #Conflicts: 1481000 | #Constraints: 37830
3600.03/3612.50 c #Conflicts: 1482000 | #Constraints: 38830
3600.03/3612.50 c Program interrupted by user.
3600.03/3612.50 c cpu time 3592.36 s
3600.03/3612.50 c deterministic time 587786348244 5.88e+11
3600.03/3612.50 c optimization time 51.7074 s
3600.03/3612.50 c total solve time 3241.88 s
3600.03/3612.50 c core-guided solve time 0 s
3600.03/3612.50 c propagation time 3157.88 s
3600.03/3612.50 c conflict analysis time 123.794 s
3600.03/3612.50 c propagations 17262255
3600.03/3612.50 c resolve steps 6810649
3600.03/3612.50 c decisions 3361156
3600.03/3612.50 c conflicts 1482339
3600.03/3612.50 c restarts 2890
3600.03/3612.50 c inprocessing phases 112
3600.03/3612.50 c input clauses 0
3600.03/3612.50 c input cardinalities 0
3600.03/3612.50 c input general constraints 16
3600.03/3612.50 c input average constraint length 69.50
3600.03/3612.50 c input average constraint degree 1702.12
3600.03/3612.50 c learned clauses 610018
3600.03/3612.50 c learned cardinalities 0
3600.03/3612.50 c learned general constraints 872320
3600.03/3612.50 c learned average constraint length 54.52
3600.03/3612.50 c learned average constraint degree 1241998.70
3600.03/3612.50 c watched constraints 848211
3600.03/3612.50 c counting constraints 24125
3600.03/3612.50 c gcd simplifications 548023
3600.03/3612.50 c detected cardinalities 0
3600.03/3612.50 c weakened non-implied lits 12910092
3600.03/3612.50 c weakened non-implying lits 715321
3600.03/3612.50 c original variables 71
3600.03/3612.50 c clausal propagations 368751
3600.03/3612.50 c cardinality propagations 0
3600.03/3612.50 c watched propagations 8013779
3600.03/3612.50 c counting propagations 7916102
3600.03/3612.50 c watch lookups 32305242362
3600.03/3612.50 c watch backjump lookups 20206044585
3600.03/3612.50 c watch checks 396463806301
3600.03/3612.50 c propagation checks 138226967572
3600.03/3612.50 c constraint additions 541558332
3600.03/3612.50 c trail pops 22105680
3600.03/3612.50 c formula constraints 16
3600.03/3612.50 c learned constraints 1482338
3600.03/3612.50 c bound constraints 0
3600.03/3612.50 c core-guided constraints 0
3600.03/3612.50 c encountered formula constraints 2108595
3600.03/3612.50 c encountered learned constraints 6184393
3600.03/3612.50 c encountered bound constraints 0
3600.03/3612.50 c encountered core-guided constraints 0
3600.03/3612.50 c LP total time 0 s
3600.03/3612.50 c LP solve time 0 s
3600.03/3612.50 c LP constraints added 0
3600.03/3612.50 c LP constraints removed 0
3600.03/3612.50 c LP pivots internal 0
3600.03/3612.50 c LP pivots root 0
3600.03/3612.50 c LP calls 0
3600.03/3612.50 c LP optimalities 0
3600.03/3612.50 c LP no pivot count 0
3600.03/3612.50 c LP infeasibilities 0
3600.03/3612.50 c LP valid Farkas constraints 0
3600.03/3612.50 c LP learned Farkas constraints 0
3600.03/3612.50 c LP basis resets 0
3600.03/3612.50 c LP cycling count 0
3600.03/3612.50 c LP singular count 0
3600.03/3612.50 c LP no primal count 0
3600.03/3612.50 c LP no farkas count 0
3600.03/3612.50 c LP other issue count 0
3600.03/3612.50 c LP Gomory cuts 0
3600.03/3612.50 c LP learned cuts 0
3600.03/3612.50 c LP deleted cuts 0
3600.03/3612.50 c LP encountered Gomory constraints 0
3600.03/3612.50 c LP encountered Farkas constraints 0
3600.03/3612.50 c LP encountered learned Farkas constraints 0
3600.03/3612.50 c CG auxiliary variables introduced 0
3600.03/3612.50 c CG solutions found 0
3600.03/3612.50 c CG cores constructed 0
3600.03/3612.50 c CG core cardinality constraints returned 0
3600.03/3612.50 c CG unit cores 0
3600.03/3612.50 c CG single cores 0
3600.03/3612.50 c CG blocks removed during cardinality reduction 0
3600.03/3612.50 c CG first core best 0
3600.03/3612.50 c CG decision core best 0
3600.03/3612.50 c CG core reduction tie 0
3600.03/3612.50 c CG core degree average 0.00
3600.03/3612.50 c CG core slack average 0.00
3600.03/3612.50 c CG exhausted 0
3600.03/3612.50 c CG exhaust time 0 s
3600.03/3612.50 c CG trimmed 0
3600.03/3612.50 c CG trim time 0 s
3600.03/3612.50 c CG minimized 0
3600.03/3612.50 c CG minimize time 0 s
3600.03/3612.50 c CG am1 prop time 0 s
3600.03/3612.50 c CG # am1s reformulated 0
3600.03/3612.50 c CG lower bound derived from am1s 0
3600.03/3612.50 c CG # clausal cores 0
3600.03/3612.50 c CG # cardinality cores 0
3600.03/3612.50 c CG # pb cores 0
3600.03/3612.50 c CG # pb reforms 0
3600.03/3612.50 c CG # cores discarded because of pb reform 0
3600.03/3612.50 d LOWERBOUND 0
3600.03/3612.50 d NCORES 0
3600.03/3612.50 d NPBCORES 0
3600.03/3612.50 d NPBREFORM 0
3600.03/3612.50 d NTRIMMED 0
3600.03/3612.50 d NEXHAUSTED 0
3600.03/3612.50 d NAM1S 0
3600.03/3612.50 d AM1LB 0
3600.03/3612.50 c [Papilo Statistics]
3600.03/3612.50 c prepro time 0.000450032s
3600.03/3612.50 c # tsx applied 8
3600.03/3612.50 c # tsx conflicts 0
3600.03/3612.50 c # bound changes 1
3600.03/3612.50 c # side changes 8
3600.03/3612.50 c # coef changes 0
3600.03/3612.50 c # rounds 2
3600.03/3612.50 c # deted vars 1
3600.03/3612.50 c # deted constrs 9
3600.03/3612.50 c # consecutive rounds of only bound changes 0
3600.03/3612.50 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62395 MiB free)
memory of node 1: 64473 MiB (62582 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454757-1721470507/watcher-4454757-1721470507 -o /tmp/evaluation-result-4454757-1721470507/solver-4454757-1721470507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721470207-1060041 --watchdog 3760 mixed-bag HOME/instance-4454757-1721470507.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1060278, runsolver pid=1060275
[startup+0.100292 s]*
/proc/loadavg: 4.06 3.25 3.12 5/253 1060279
/proc/meminfo: memFree=127959248/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=100868 memory=33184 CPUtime=0.09 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 4636 0 0 0 9 0 0 0 20 0 1 0 199215704 103288832 8296 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 25217 8296 4047 3002 0 8966 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100868 KiB
Current children cumulated memory: 33184 KiB
[startup+0.205294 s]*
/proc/loadavg: 4.06 3.25 3.12 5/253 1060279
/proc/meminfo: memFree=127957568/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=102664 memory=34768 CPUtime=0.19 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 5042 0 0 0 19 0 0 0 20 0 1 0 199215704 105127936 8692 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 25666 8692 4047 3002 0 9415 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 102664 KiB
Current children cumulated memory: 34768 KiB
[startup+0.305277 s]*
/proc/loadavg: 4.06 3.25 3.12 5/253 1060279
/proc/meminfo: memFree=127955552/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=104392 memory=36352 CPUtime=0.28 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 5435 0 0 0 28 0 0 0 20 0 1 0 199215704 106897408 9088 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 26098 9088 4047 3002 0 9847 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 104392 KiB
Current children cumulated memory: 36352 KiB
[startup+0.700278 s]
/proc/loadavg: 4.06 3.25 3.12 5/253 1060279
/proc/meminfo: memFree=127950176/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=115352 memory=46476 CPUtime=0.66 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 7950 0 0 0 66 0 0 0 20 0 1 0 199215704 118120448 11619 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 28838 11619 4047 3002 0 12587 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 115352 KiB
Current children cumulated memory: 46476 KiB
[startup+1.5003 s]
/proc/loadavg: 4.06 3.25 3.12 5/253 1060279
/proc/meminfo: memFree=127941888/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=116008 memory=47268 CPUtime=1.46 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 8195 0 0 0 145 1 0 0 20 0 1 0 199215704 118792192 11817 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 29002 11817 4047 3002 0 12751 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 116008 KiB
Current children cumulated memory: 47268 KiB
[startup+3.10528 s]
/proc/loadavg: 4.05 3.27 3.13 5/255 1060311
/proc/meminfo: memFree=127961908/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=116756 memory=49144 CPUtime=3.04 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 8701 0 0 0 303 1 0 0 20 0 1 0 199215704 119558144 12286 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 29189 12286 4047 3002 0 12938 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 116756 KiB
Current children cumulated memory: 49144 KiB
[startup+6.3003 s]
/proc/loadavg: 4.05 3.27 3.13 5/257 1060344
/proc/meminfo: memFree=127989176/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=123668 memory=56052 CPUtime=6.2 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 10462 0 0 0 619 1 0 0 20 0 1 0 199215704 126636032 14013 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 30917 14013 4047 3002 0 14666 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 123668 KiB
Current children cumulated memory: 56052 KiB
[startup+12.7003 s]
/proc/loadavg: 4.05 3.29 3.14 5/254 1060344
/proc/meminfo: memFree=127930224/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=138092 memory=69004 CPUtime=12.54 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 13718 0 0 0 1252 2 0 0 20 0 1 0 199215704 141406208 17251 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 34523 17251 4047 3002 0 18272 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 138092 KiB
Current children cumulated memory: 69004 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 3.33 3.15 5/254 1060346
/proc/meminfo: memFree=127863596/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=160228 memory=89352 CPUtime=25.2 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 18834 0 0 0 2517 3 0 0 20 0 1 0 199215704 164073472 22338 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 40057 22338 4047 3002 0 23806 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 160228 KiB
Current children cumulated memory: 89352 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 3.39 3.18 5/254 1060352
/proc/meminfo: memFree=127711996/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=213152 memory=137472 CPUtime=50.62 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 30706 0 0 0 5056 6 0 0 20 0 1 0 199215704 218267648 34368 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 53288 34368 4047 3002 0 37037 0
Current children cumulated CPU time: 50.62 s
Current children cumulated vsize: 213152 KiB
Current children cumulated memory: 137472 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 3.51 3.23 5/255 1060361
/proc/meminfo: memFree=127518836/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=290824 memory=212736 CPUtime=101.59 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 48942 0 0 0 10150 9 0 0 20 0 1 0 199215704 297803776 53184 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 72706 53184 4047 3002 0 56455 0
Current children cumulated CPU time: 101.59 s
Current children cumulated vsize: 290824 KiB
Current children cumulated memory: 212736 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.63 3.29 5/255 1060371
/proc/meminfo: memFree=127334488/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=373320 memory=296944 CPUtime=161.35 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 68005 0 0 0 16120 15 0 0 20 0 1 0 199215704 382279680 74236 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 93330 74236 4047 3002 0 77079 0
Current children cumulated CPU time: 161.35 s
Current children cumulated vsize: 373320 KiB
Current children cumulated memory: 296944 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.71 3.34 5/255 1060381
/proc/meminfo: memFree=127188356/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=435112 memory=357656 CPUtime=221.12 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 82791 0 0 0 22094 18 0 0 20 0 1 0 199215704 445554688 89414 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 108778 89414 4047 3002 0 92527 0
Current children cumulated CPU time: 221.12 s
Current children cumulated vsize: 435112 KiB
Current children cumulated memory: 357656 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.80 3.40 5/255 1060392
/proc/meminfo: memFree=127063436/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=493568 memory=412356 CPUtime=280.89 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 96593 0 0 0 28067 22 0 0 20 0 1 0 199215704 505413632 103089 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 123392 103089 4047 3002 0 107141 0
Current children cumulated CPU time: 280.89 s
Current children cumulated vsize: 493568 KiB
Current children cumulated memory: 412356 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.85 3.44 5/257 1060407
/proc/meminfo: memFree=127433820/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=212904 memory=154916 CPUtime=340.7 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 100592 0 0 0 34012 58 0 0 20 0 1 0 199215704 218013696 38729 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 53226 38729 4110 3002 0 36975 0
Current children cumulated CPU time: 340.7 s
Current children cumulated vsize: 212904 KiB
Current children cumulated memory: 154916 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.91 3.49 5/257 1060418
/proc/meminfo: memFree=127419504/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=212904 memory=156680 CPUtime=400.51 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 101063 0 0 0 39961 90 0 0 20 0 1 0 199215704 218013696 39170 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 53226 39170 4110 3002 0 36975 0
Current children cumulated CPU time: 400.51 s
Current children cumulated vsize: 212904 KiB
Current children cumulated memory: 156680 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.95 3.53 5/257 1060429
/proc/meminfo: memFree=127406816/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=217324 memory=158928 CPUtime=460.32 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 101135 0 0 0 45917 115 0 0 20 0 1 0 199215704 222539776 39732 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 54331 39732 4110 3002 0 38080 0
################
# More data... #
################
Current children cumulated memory: 171716 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 1062053
/proc/meminfo: memFree=127328292/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=171716 CPUtime=2912.21 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102625 0 0 0 290574 647 0 0 20 0 1 0 199215704 241848320 42929 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 42929 4110 3002 0 42794 0
Current children cumulated CPU time: 2912.21 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 171716 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 1062065
/proc/meminfo: memFree=127327836/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=171716 CPUtime=2972 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102655 0 0 0 296543 657 0 0 20 0 1 0 199215704 241848320 42929 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 42929 4110 3002 0 42794 0
Current children cumulated CPU time: 2972 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 171716 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1062076
/proc/meminfo: memFree=127327308/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=171716 CPUtime=3031.8 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102686 0 0 0 302513 667 0 0 20 0 1 0 199215704 241848320 42929 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 42929 4110 3002 0 42794 0
Current children cumulated CPU time: 3031.8 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 171716 KiB
[startup+3102.3 s]
/proc/loadavg: 4.19 4.14 4.10 6/254 1062086
/proc/meminfo: memFree=127327088/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=171716 CPUtime=3091.6 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102716 0 0 0 308483 677 0 0 20 0 1 0 199215704 241848320 42929 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 42929 4110 3002 0 42794 0
Current children cumulated CPU time: 3091.6 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 171716 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.16 4.10 5/254 1062097
/proc/meminfo: memFree=127326436/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=171716 CPUtime=3151.38 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102747 0 0 0 314449 689 0 0 20 0 1 0 199215704 241848320 42929 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 42929 4110 3002 0 42794 0
Current children cumulated CPU time: 3151.38 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 171716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/255 1062108
/proc/meminfo: memFree=127325896/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=171716 CPUtime=3211.17 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102778 0 0 0 320417 700 0 0 20 0 1 0 199215704 241848320 42929 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 42929 4110 3002 0 42794 0
Current children cumulated CPU time: 3211.17 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 171716 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/255 1062118
/proc/meminfo: memFree=127324468/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=171716 CPUtime=3270.97 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102809 0 0 0 326385 712 0 0 20 0 1 0 199215704 241848320 42929 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 42929 4110 3002 0 42794 0
Current children cumulated CPU time: 3270.97 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 171716 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1062133
/proc/meminfo: memFree=127324128/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=171716 CPUtime=3330.76 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102838 0 0 0 332355 721 0 0 20 0 1 0 199215704 241848320 42929 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 42929 4110 3002 0 42794 0
Current children cumulated CPU time: 3330.76 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 171716 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1062143
/proc/meminfo: memFree=127323720/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=171716 CPUtime=3390.56 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102873 0 0 0 338323 733 0 0 20 0 1 0 199215704 241848320 42929 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 42929 4110 3002 0 42794 0
Current children cumulated CPU time: 3390.56 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 171716 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1062153
/proc/meminfo: memFree=127321348/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=173764 CPUtime=3450.35 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102901 0 0 0 344292 743 0 0 20 0 1 0 199215704 241848320 43441 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 43441 4110 3002 0 42794 0
Current children cumulated CPU time: 3450.35 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 173764 KiB
[startup+3522.3 s]
/proc/loadavg: 4.48 4.21 4.12 5/256 1062164
/proc/meminfo: memFree=127318756/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=173764 CPUtime=3510.14 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102931 0 0 0 350261 753 0 0 20 0 1 0 199215704 241848320 43441 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 43441 4110 3002 0 42794 0
Current children cumulated CPU time: 3510.14 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 173764 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/256 1062175
/proc/meminfo: memFree=127318420/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=173764 CPUtime=3569.94 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102960 0 0 0 356231 763 0 0 20 0 1 0 199215704 241848320 43441 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 43441 4110 3002 0 42794 0
Current children cumulated CPU time: 3569.94 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 173764 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.28 4.20 4.12 5/256 1062272
/proc/meminfo: memFree=127446532/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=173764 CPUtime=3600.03 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102962 0 0 0 359235 768 0 0 20 0 1 0 199215704 241848320 43441 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 43441 4110 3002 0 42794 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 173764 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.5 s]
# the end of solver process 1060278 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.36 s, system=7.68775 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.5 s]
/proc/loadavg: 4.28 4.20 4.12 5/256 1062272
/proc/meminfo: memFree=127446532/131524600 swapFree=131070704/131071996
[pid=1060278] ppid=1060275 vsize=236180 memory=173764 CPUtime=3600.03 cores=0,2
/proc/1060278/stat : 1060278 (mixed-bag) R 1060275 1060278 1060031 0 -1 4194304 102962 0 0 0 359235 768 0 0 20 0 1 0 199215704 241848320 43441 134679101440 4194304 16488053 140722353486128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 30629888 140722353493013 140722353493090 140722353493090 140722353500107 0
/proc/1060278/statm: 59045 43441 4110 3002 0 42794 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 236180 KiB
Current children cumulated memory: 173764 KiB
Child status: 0
Real time (s): 3612.5
CPU time (s): 3600.04
CPU user time (s): 3592.36
CPU system time (s): 7.68775
CPU usage (%): 99.6551
Max. virtual memory (cumulated for all children) (KiB): 502860
Max. memory (cumulated for all children) (KiB): 425028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.36
system time used= 7.68775
maximum resident set size= 425028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102989
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= 59
involuntary context switches= 25636
# summary of solver processes directly reported to runsolver:
# pid: 1060278
# total CPU time (s): 3600.04
# total CPU user time (s): 3592.36
# total CPU system time (s): 7.68775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1551 second user time and 12.444 second system time
The end
Begin job on nodeC023 at 2024-07-20 12:15:20
IDJOB=4454757
IDBENCH=147583
IDSOLVER=3083
FILE ID=nodeC023/4454757-1721470507
RUNJOBID= nodeC023-1721470207-1060041
SLURM_JOB_ID= 7545734
Free space on /tmp= 889916 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454757-1721470507/watcher-4454757-1721470507 -o /tmp/evaluation-result-4454757-1721470507/solver-4454757-1721470507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721470207-1060041 --watchdog 3760 mixed-bag HOME/instance-4454757-1721470507.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b
RANDOM SEED=395340864
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.202
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.273
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.854
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.556
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.763
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.366
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.831
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.083
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127977184 kB
MemAvailable: 129736264 kB
Buffers: 603112 kB
Cached: 1999360 kB
SwapCached: 80 kB
Active: 1419488 kB
Inactive: 1575736 kB
Active(anon): 1604 kB
Inactive(anon): 436876 kB
Active(file): 1417884 kB
Inactive(file): 1138860 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 33000 kB
Writeback: 0 kB
AnonPages: 392772 kB
Mapped: 118644 kB
Shmem: 45728 kB
KReclaimable: 84320 kB
Slab: 176560 kB
SReclaimable: 84320 kB
SUnreclaim: 92240 kB
KernelStack: 4044 kB
PageTables: 10360 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 684960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC023 at 2024-07-20 13:15:33