0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
299.39/300.45 c [STEP] preprocessing done, loading into solver
299.39/300.45 c [STEP] solving
299.39/300.45 c #variables 71 #constraints 16
333.31/334.44 c #Conflicts: 1000 | #Constraints: 1015
333.31/334.44 c #Conflicts: 2000 | #Constraints: 2015
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 3000 | #Constraints: 2021
333.31/334.44 c #Conflicts: 4000 | #Constraints: 3021
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 5000 | #Constraints: 2423
333.31/334.44 c #Conflicts: 6000 | #Constraints: 3423
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 7000 | #Constraints: 2422
333.31/334.44 c #Conflicts: 8000 | #Constraints: 3422
333.31/334.44 c #Conflicts: 9000 | #Constraints: 4422
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 10000 | #Constraints: 3124
333.31/334.44 c #Conflicts: 11000 | #Constraints: 4124
333.31/334.44 c #Conflicts: 12000 | #Constraints: 5124
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 13000 | #Constraints: 3575
333.31/334.44 c #Conflicts: 14000 | #Constraints: 4575
333.31/334.44 c #Conflicts: 15000 | #Constraints: 5575
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 16000 | #Constraints: 3802
333.31/334.44 c #Conflicts: 17000 | #Constraints: 4802
333.31/334.44 c #Conflicts: 18000 | #Constraints: 5802
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 19000 | #Constraints: 3817
333.31/334.44 c #Conflicts: 20000 | #Constraints: 4817
333.31/334.44 c #Conflicts: 21000 | #Constraints: 5817
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 22000 | #Constraints: 3621
333.31/334.44 c #Conflicts: 23000 | #Constraints: 4621
333.31/334.44 c #Conflicts: 24000 | #Constraints: 5621
333.31/334.44 c #Conflicts: 25000 | #Constraints: 6621
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 26000 | #Constraints: 4223
333.31/334.44 c #Conflicts: 27000 | #Constraints: 5223
333.31/334.44 c #Conflicts: 28000 | #Constraints: 6223
333.31/334.44 c #Conflicts: 29000 | #Constraints: 7223
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 30000 | #Constraints: 4623
333.31/334.44 c #Conflicts: 31000 | #Constraints: 5623
333.31/334.44 c #Conflicts: 32000 | #Constraints: 6623
333.31/334.44 c #Conflicts: 33000 | #Constraints: 7623
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 34000 | #Constraints: 4823
333.31/334.44 c #Conflicts: 35000 | #Constraints: 5823
333.31/334.44 c #Conflicts: 36000 | #Constraints: 6823
333.31/334.44 c #Conflicts: 37000 | #Constraints: 7823
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 38000 | #Constraints: 4824
333.31/334.44 c #Conflicts: 39000 | #Constraints: 5824
333.31/334.44 c #Conflicts: 40000 | #Constraints: 6824
333.31/334.44 c #Conflicts: 41000 | #Constraints: 7824
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 42000 | #Constraints: 4626
333.31/334.44 c #Conflicts: 43000 | #Constraints: 5626
333.31/334.44 c #Conflicts: 44000 | #Constraints: 6626
333.31/334.44 c #Conflicts: 45000 | #Constraints: 7626
333.31/334.44 c #Conflicts: 46000 | #Constraints: 8626
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 47000 | #Constraints: 5223
333.31/334.44 c #Conflicts: 48000 | #Constraints: 6223
333.31/334.44 c #Conflicts: 49000 | #Constraints: 7223
333.31/334.44 c #Conflicts: 50000 | #Constraints: 8223
333.31/334.44 c #Conflicts: 51000 | #Constraints: 9223
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 52000 | #Constraints: 5627
333.31/334.44 c #Conflicts: 53000 | #Constraints: 6627
333.31/334.44 c #Conflicts: 54000 | #Constraints: 7627
333.31/334.44 c #Conflicts: 55000 | #Constraints: 8627
333.31/334.44 c #Conflicts: 56000 | #Constraints: 9627
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 57000 | #Constraints: 5824
333.31/334.44 c #Conflicts: 58000 | #Constraints: 6824
333.31/334.44 c #Conflicts: 59000 | #Constraints: 7824
333.31/334.44 c #Conflicts: 60000 | #Constraints: 8824
333.31/334.44 c #Conflicts: 61000 | #Constraints: 9824
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 62000 | #Constraints: 5827
333.31/334.44 c #Conflicts: 63000 | #Constraints: 6827
333.31/334.44 c #Conflicts: 64000 | #Constraints: 7827
333.31/334.44 c #Conflicts: 65000 | #Constraints: 8827
333.31/334.44 c #Conflicts: 66000 | #Constraints: 9827
333.31/334.44 c INPROCESSING
333.31/334.44 c GARBAGE COLLECT
333.31/334.44 c #Conflicts: 67000 | #Constraints: 5627
333.31/334.44 c #Conflicts: 68000 | #Constraints: 6627
392.37/393.62 c #Conflicts: 69000 | #Constraints: 7627
392.37/393.62 c #Conflicts: 70000 | #Constraints: 8627
392.37/393.62 c #Conflicts: 71000 | #Constraints: 9627
392.37/393.62 c #Conflicts: 72000 | #Constraints: 10627
392.37/393.62 c INPROCESSING
392.37/393.62 c GARBAGE COLLECT
392.37/393.62 c #Conflicts: 73000 | #Constraints: 6225
392.37/393.62 c #Conflicts: 74000 | #Constraints: 7225
392.37/393.62 c #Conflicts: 75000 | #Constraints: 8225
392.37/393.62 c #Conflicts: 76000 | #Constraints: 9225
392.37/393.62 c #Conflicts: 77000 | #Constraints: 10225
392.37/393.62 c #Conflicts: 78000 | #Constraints: 11225
392.37/393.62 c INPROCESSING
392.37/393.62 c GARBAGE COLLECT
392.37/393.62 c #Conflicts: 79000 | #Constraints: 6627
392.37/393.62 c #Conflicts: 80000 | #Constraints: 7627
392.37/393.62 c #Conflicts: 81000 | #Constraints: 8627
392.37/393.62 c #Conflicts: 82000 | #Constraints: 9627
392.37/393.62 c #Conflicts: 83000 | #Constraints: 10627
392.37/393.62 c #Conflicts: 84000 | #Constraints: 11627
392.37/393.62 c INPROCESSING
392.37/393.62 c GARBAGE COLLECT
392.37/393.62 c #Conflicts: 85000 | #Constraints: 6826
392.37/393.62 c #Conflicts: 86000 | #Constraints: 7826
392.37/393.62 c #Conflicts: 87000 | #Constraints: 8826
392.37/393.62 c #Conflicts: 88000 | #Constraints: 9826
392.37/393.62 c #Conflicts: 89000 | #Constraints: 10826
392.37/393.62 c #Conflicts: 90000 | #Constraints: 11826
392.37/393.62 c INPROCESSING
392.37/393.62 c GARBAGE COLLECT
392.37/393.62 c #Conflicts: 91000 | #Constraints: 6825
392.37/393.62 c #Conflicts: 92000 | #Constraints: 7825
392.37/393.62 c #Conflicts: 93000 | #Constraints: 8825
392.37/393.62 c #Conflicts: 94000 | #Constraints: 9825
392.37/393.62 c #Conflicts: 95000 | #Constraints: 10825
392.37/393.62 c #Conflicts: 96000 | #Constraints: 11825
392.37/393.62 c INPROCESSING
392.37/393.62 c GARBAGE COLLECT
392.37/393.62 c #Conflicts: 97000 | #Constraints: 6627
392.37/393.62 c #Conflicts: 98000 | #Constraints: 7627
392.37/393.62 c #Conflicts: 99000 | #Constraints: 8627
392.37/393.62 c #Conflicts: 100000 | #Constraints: 9627
392.37/393.62 c #Conflicts: 101000 | #Constraints: 10627
392.37/393.62 c #Conflicts: 102000 | #Constraints: 11627
392.37/393.62 c #Conflicts: 103000 | #Constraints: 12627
392.37/393.62 c INPROCESSING
392.37/393.62 c GARBAGE COLLECT
392.37/393.62 c #Conflicts: 104000 | #Constraints: 7225
392.37/393.62 c #Conflicts: 105000 | #Constraints: 8225
392.37/393.62 c #Conflicts: 106000 | #Constraints: 9225
392.37/393.62 c #Conflicts: 107000 | #Constraints: 10225
392.37/393.62 c #Conflicts: 108000 | #Constraints: 11225
392.37/393.62 c #Conflicts: 109000 | #Constraints: 12225
392.37/393.62 c #Conflicts: 110000 | #Constraints: 13225
392.37/393.62 c INPROCESSING
392.37/393.62 c GARBAGE COLLECT
392.37/393.62 c #Conflicts: 111000 | #Constraints: 7624
392.37/393.62 c #Conflicts: 112000 | #Constraints: 8624
392.37/393.62 c #Conflicts: 113000 | #Constraints: 9624
392.37/393.62 c #Conflicts: 114000 | #Constraints: 10624
392.37/393.62 c #Conflicts: 115000 | #Constraints: 11624
392.37/393.62 c #Conflicts: 116000 | #Constraints: 12624
392.37/393.62 c #Conflicts: 117000 | #Constraints: 13624
392.37/393.62 c INPROCESSING
392.37/393.62 c GARBAGE COLLECT
392.37/393.62 c #Conflicts: 118000 | #Constraints: 7825
392.37/393.62 c #Conflicts: 119000 | #Constraints: 8825
392.37/393.62 c #Conflicts: 120000 | #Constraints: 9825
392.37/393.62 c #Conflicts: 121000 | #Constraints: 10825
392.37/393.62 c #Conflicts: 122000 | #Constraints: 11825
392.37/393.62 c #Conflicts: 123000 | #Constraints: 12825
392.37/393.62 c #Conflicts: 124000 | #Constraints: 13825
392.37/393.62 c INPROCESSING
392.37/393.62 c GARBAGE COLLECT
392.37/393.62 c #Conflicts: 125000 | #Constraints: 7824
392.37/393.62 c #Conflicts: 126000 | #Constraints: 8824
392.37/393.62 c #Conflicts: 127000 | #Constraints: 9824
392.37/393.62 c #Conflicts: 128000 | #Constraints: 10824
392.37/393.62 c #Conflicts: 129000 | #Constraints: 11824
392.37/393.62 c #Conflicts: 130000 | #Constraints: 12824
392.37/393.62 c #Conflicts: 131000 | #Constraints: 13824
392.37/393.62 c INPROCESSING
392.37/393.62 c GARBAGE COLLECT
392.37/393.62 c #Conflicts: 132000 | #Constraints: 7626
392.37/393.62 c #Conflicts: 133000 | #Constraints: 8626
392.37/393.62 c #Conflicts: 134000 | #Constraints: 9626
392.37/393.62 c #Conflicts: 135000 | #Constraints: 10626
392.37/393.62 c #Conflicts: 136000 | #Constraints: 11626
392.37/393.62 c #Conflicts: 137000 | #Constraints: 12626
392.37/393.62 c #Conflicts: 138000 | #Constraints: 13626
392.37/393.62 c #Conflicts: 139000 | #Constraints: 14626
392.37/393.62 c INPROCESSING
392.37/393.62 c GARBAGE COLLECT
392.37/393.62 c #Conflicts: 140000 | #Constraints: 8227
465.20/466.66 c #Conflicts: 141000 | #Constraints: 9227
465.20/466.66 c #Conflicts: 142000 | #Constraints: 10227
465.20/466.66 c #Conflicts: 143000 | #Constraints: 11227
465.20/466.66 c #Conflicts: 144000 | #Constraints: 12227
465.20/466.66 c #Conflicts: 145000 | #Constraints: 13227
465.20/466.66 c #Conflicts: 146000 | #Constraints: 14227
465.20/466.66 c #Conflicts: 147000 | #Constraints: 15227
465.20/466.66 c INPROCESSING
465.20/466.66 c GARBAGE COLLECT
465.20/466.66 c #Conflicts: 148000 | #Constraints: 8628
465.20/466.66 c #Conflicts: 149000 | #Constraints: 9628
465.20/466.66 c #Conflicts: 150000 | #Constraints: 10628
465.20/466.66 c #Conflicts: 151000 | #Constraints: 11628
465.20/466.66 c #Conflicts: 152000 | #Constraints: 12628
465.20/466.66 c #Conflicts: 153000 | #Constraints: 13628
465.20/466.66 c #Conflicts: 154000 | #Constraints: 14628
465.20/466.66 c #Conflicts: 155000 | #Constraints: 15628
465.20/466.66 c INPROCESSING
465.20/466.66 c GARBAGE COLLECT
465.20/466.66 c #Conflicts: 156000 | #Constraints: 8827
465.20/466.66 c #Conflicts: 157000 | #Constraints: 9827
465.20/466.66 c #Conflicts: 158000 | #Constraints: 10827
465.20/466.66 c #Conflicts: 159000 | #Constraints: 11827
465.20/466.66 c #Conflicts: 160000 | #Constraints: 12827
465.20/466.66 c #Conflicts: 161000 | #Constraints: 13827
465.20/466.66 c #Conflicts: 162000 | #Constraints: 14827
465.20/466.66 c #Conflicts: 163000 | #Constraints: 15827
465.20/466.66 c INPROCESSING
465.20/466.66 c GARBAGE COLLECT
465.20/466.66 c #Conflicts: 164000 | #Constraints: 8828
465.20/466.66 c #Conflicts: 165000 | #Constraints: 9828
465.20/466.66 c #Conflicts: 166000 | #Constraints: 10828
465.20/466.66 c #Conflicts: 167000 | #Constraints: 11828
465.20/466.66 c #Conflicts: 168000 | #Constraints: 12828
465.20/466.66 c #Conflicts: 169000 | #Constraints: 13828
465.20/466.66 c #Conflicts: 170000 | #Constraints: 14828
465.20/466.66 c #Conflicts: 171000 | #Constraints: 15828
465.20/466.66 c INPROCESSING
465.20/466.66 c GARBAGE COLLECT
465.20/466.66 c #Conflicts: 172000 | #Constraints: 8626
465.20/466.66 c #Conflicts: 173000 | #Constraints: 9626
465.20/466.66 c #Conflicts: 174000 | #Constraints: 10626
465.20/466.66 c #Conflicts: 175000 | #Constraints: 11626
465.20/466.66 c #Conflicts: 176000 | #Constraints: 12626
465.20/466.66 c #Conflicts: 177000 | #Constraints: 13626
465.20/466.66 c #Conflicts: 178000 | #Constraints: 14626
465.20/466.66 c #Conflicts: 179000 | #Constraints: 15626
465.20/466.66 c #Conflicts: 180000 | #Constraints: 16626
465.20/466.66 c INPROCESSING
465.20/466.66 c GARBAGE COLLECT
465.20/466.66 c #Conflicts: 181000 | #Constraints: 9227
465.20/466.66 c #Conflicts: 182000 | #Constraints: 10227
465.20/466.66 c #Conflicts: 183000 | #Constraints: 11227
465.20/466.66 c #Conflicts: 184000 | #Constraints: 12227
465.20/466.66 c #Conflicts: 185000 | #Constraints: 13227
465.20/466.66 c #Conflicts: 186000 | #Constraints: 14227
465.20/466.66 c #Conflicts: 187000 | #Constraints: 15227
465.20/466.66 c #Conflicts: 188000 | #Constraints: 16227
465.20/466.66 c #Conflicts: 189000 | #Constraints: 17227
465.20/466.66 c INPROCESSING
465.20/466.66 c GARBAGE COLLECT
465.20/466.66 c #Conflicts: 190000 | #Constraints: 9625
465.20/466.66 c #Conflicts: 191000 | #Constraints: 10625
465.20/466.66 c #Conflicts: 192000 | #Constraints: 11625
465.20/466.66 c #Conflicts: 193000 | #Constraints: 12625
465.20/466.66 c #Conflicts: 194000 | #Constraints: 13625
465.20/466.66 c #Conflicts: 195000 | #Constraints: 14625
465.20/466.66 c #Conflicts: 196000 | #Constraints: 15625
465.20/466.66 c #Conflicts: 197000 | #Constraints: 16625
465.20/466.66 c #Conflicts: 198000 | #Constraints: 17625
465.20/466.66 c INPROCESSING
465.20/466.66 c GARBAGE COLLECT
465.20/466.66 c #Conflicts: 199000 | #Constraints: 9829
465.20/466.66 c #Conflicts: 200000 | #Constraints: 10829
465.20/466.66 c #Conflicts: 201000 | #Constraints: 11829
465.20/466.66 c #Conflicts: 202000 | #Constraints: 12829
465.20/466.66 c #Conflicts: 203000 | #Constraints: 13829
465.20/466.66 c #Conflicts: 204000 | #Constraints: 14829
465.20/466.66 c #Conflicts: 205000 | #Constraints: 15829
465.20/466.66 c #Conflicts: 206000 | #Constraints: 16829
465.20/466.66 c #Conflicts: 207000 | #Constraints: 17829
465.20/466.66 c INPROCESSING
465.20/466.66 c GARBAGE COLLECT
465.20/466.66 c #Conflicts: 208000 | #Constraints: 9829
465.20/466.66 c #Conflicts: 209000 | #Constraints: 10829
465.20/466.66 c #Conflicts: 210000 | #Constraints: 11829
465.20/466.66 c #Conflicts: 211000 | #Constraints: 12829
465.20/466.66 c #Conflicts: 212000 | #Constraints: 13829
465.20/466.66 c #Conflicts: 213000 | #Constraints: 14829
553.99/555.63 c #Conflicts: 214000 | #Constraints: 15829
553.99/555.63 c #Conflicts: 215000 | #Constraints: 16829
553.99/555.63 c #Conflicts: 216000 | #Constraints: 17829
553.99/555.63 c INPROCESSING
553.99/555.63 c GARBAGE COLLECT
553.99/555.63 c #Conflicts: 217000 | #Constraints: 9630
553.99/555.63 c #Conflicts: 218000 | #Constraints: 10630
553.99/555.63 c #Conflicts: 219000 | #Constraints: 11630
553.99/555.63 c #Conflicts: 220000 | #Constraints: 12630
553.99/555.63 c #Conflicts: 221000 | #Constraints: 13630
553.99/555.63 c #Conflicts: 222000 | #Constraints: 14630
553.99/555.63 c #Conflicts: 223000 | #Constraints: 15630
553.99/555.63 c #Conflicts: 224000 | #Constraints: 16630
553.99/555.63 c #Conflicts: 225000 | #Constraints: 17630
553.99/555.63 c #Conflicts: 226000 | #Constraints: 18630
553.99/555.63 c INPROCESSING
553.99/555.63 c GARBAGE COLLECT
553.99/555.63 c #Conflicts: 227000 | #Constraints: 10231
553.99/555.63 c #Conflicts: 228000 | #Constraints: 11231
553.99/555.63 c #Conflicts: 229000 | #Constraints: 12231
553.99/555.63 c #Conflicts: 230000 | #Constraints: 13231
553.99/555.63 c #Conflicts: 231000 | #Constraints: 14231
553.99/555.63 c #Conflicts: 232000 | #Constraints: 15231
553.99/555.63 c #Conflicts: 233000 | #Constraints: 16231
553.99/555.63 c #Conflicts: 234000 | #Constraints: 17231
553.99/555.63 c #Conflicts: 235000 | #Constraints: 18231
553.99/555.63 c #Conflicts: 236000 | #Constraints: 19231
553.99/555.63 c INPROCESSING
553.99/555.63 c GARBAGE COLLECT
553.99/555.63 c #Conflicts: 237000 | #Constraints: 10627
553.99/555.63 c #Conflicts: 238000 | #Constraints: 11627
553.99/555.63 c #Conflicts: 239000 | #Constraints: 12627
553.99/555.63 c #Conflicts: 240000 | #Constraints: 13627
553.99/555.63 c #Conflicts: 241000 | #Constraints: 14627
553.99/555.63 c #Conflicts: 242000 | #Constraints: 15627
553.99/555.63 c #Conflicts: 243000 | #Constraints: 16627
553.99/555.63 c #Conflicts: 244000 | #Constraints: 17627
553.99/555.63 c #Conflicts: 245000 | #Constraints: 18627
553.99/555.63 c #Conflicts: 246000 | #Constraints: 19627
553.99/555.63 c INPROCESSING
553.99/555.63 c GARBAGE COLLECT
553.99/555.63 c #Conflicts: 247000 | #Constraints: 10825
553.99/555.63 c #Conflicts: 248000 | #Constraints: 11825
553.99/555.63 c #Conflicts: 249000 | #Constraints: 12825
553.99/555.63 c #Conflicts: 250000 | #Constraints: 13825
553.99/555.63 c #Conflicts: 251000 | #Constraints: 14825
553.99/555.63 c #Conflicts: 252000 | #Constraints: 15825
553.99/555.63 c #Conflicts: 253000 | #Constraints: 16825
553.99/555.63 c #Conflicts: 254000 | #Constraints: 17825
553.99/555.63 c #Conflicts: 255000 | #Constraints: 18825
553.99/555.63 c #Conflicts: 256000 | #Constraints: 19825
553.99/555.63 c INPROCESSING
553.99/555.63 c GARBAGE COLLECT
553.99/555.63 c #Conflicts: 257000 | #Constraints: 10826
553.99/555.63 c #Conflicts: 258000 | #Constraints: 11826
553.99/555.63 c #Conflicts: 259000 | #Constraints: 12826
553.99/555.63 c #Conflicts: 260000 | #Constraints: 13826
553.99/555.63 c #Conflicts: 261000 | #Constraints: 14826
553.99/555.63 c #Conflicts: 262000 | #Constraints: 15826
553.99/555.63 c #Conflicts: 263000 | #Constraints: 16826
553.99/555.63 c #Conflicts: 264000 | #Constraints: 17826
553.99/555.63 c #Conflicts: 265000 | #Constraints: 18826
553.99/555.63 c #Conflicts: 266000 | #Constraints: 19826
553.99/555.63 c INPROCESSING
553.99/555.63 c GARBAGE COLLECT
553.99/555.63 c #Conflicts: 267000 | #Constraints: 10626
553.99/555.63 c #Conflicts: 268000 | #Constraints: 11626
553.99/555.63 c #Conflicts: 269000 | #Constraints: 12626
553.99/555.63 c #Conflicts: 270000 | #Constraints: 13626
553.99/555.63 c #Conflicts: 271000 | #Constraints: 14626
553.99/555.63 c #Conflicts: 272000 | #Constraints: 15626
553.99/555.63 c #Conflicts: 273000 | #Constraints: 16626
553.99/555.63 c #Conflicts: 274000 | #Constraints: 17626
553.99/555.63 c #Conflicts: 275000 | #Constraints: 18626
553.99/555.63 c #Conflicts: 276000 | #Constraints: 19626
553.99/555.63 c #Conflicts: 277000 | #Constraints: 20626
553.99/555.63 c INPROCESSING
553.99/555.63 c GARBAGE COLLECT
553.99/555.63 c #Conflicts: 278000 | #Constraints: 11227
553.99/555.63 c #Conflicts: 279000 | #Constraints: 12227
553.99/555.63 c #Conflicts: 280000 | #Constraints: 13227
553.99/555.63 c #Conflicts: 281000 | #Constraints: 14227
553.99/555.63 c #Conflicts: 282000 | #Constraints: 15227
553.99/555.63 c #Conflicts: 283000 | #Constraints: 16227
553.99/555.63 c #Conflicts: 284000 | #Constraints: 17227
553.99/555.63 c #Conflicts: 285000 | #Constraints: 18227
553.99/555.63 c #Conflicts: 286000 | #Constraints: 19227
553.99/555.63 c #Conflicts: 287000 | #Constraints: 20227
553.99/555.63 c #Conflicts: 288000 | #Constraints: 21227
639.46/641.37 c INPROCESSING
639.46/641.37 c GARBAGE COLLECT
639.46/641.37 c #Conflicts: 289000 | #Constraints: 11625
639.46/641.37 c #Conflicts: 290000 | #Constraints: 12625
639.46/641.37 c #Conflicts: 291000 | #Constraints: 13625
639.46/641.37 c #Conflicts: 292000 | #Constraints: 14625
639.46/641.37 c #Conflicts: 293000 | #Constraints: 15625
639.46/641.37 c #Conflicts: 294000 | #Constraints: 16625
639.46/641.37 c #Conflicts: 295000 | #Constraints: 17625
639.46/641.37 c #Conflicts: 296000 | #Constraints: 18625
639.46/641.37 c #Conflicts: 297000 | #Constraints: 19625
639.46/641.37 c #Conflicts: 298000 | #Constraints: 20625
639.46/641.37 c #Conflicts: 299000 | #Constraints: 21625
639.46/641.37 c INPROCESSING
639.46/641.37 c GARBAGE COLLECT
639.46/641.37 c #Conflicts: 300000 | #Constraints: 11826
639.46/641.37 c #Conflicts: 301000 | #Constraints: 12826
639.46/641.37 c #Conflicts: 302000 | #Constraints: 13826
639.46/641.37 c #Conflicts: 303000 | #Constraints: 14826
639.46/641.37 c #Conflicts: 304000 | #Constraints: 15826
639.46/641.37 c #Conflicts: 305000 | #Constraints: 16826
639.46/641.37 c #Conflicts: 306000 | #Constraints: 17826
639.46/641.37 c #Conflicts: 307000 | #Constraints: 18826
639.46/641.37 c #Conflicts: 308000 | #Constraints: 19826
639.46/641.37 c #Conflicts: 309000 | #Constraints: 20826
639.46/641.37 c #Conflicts: 310000 | #Constraints: 21826
639.46/641.37 c INPROCESSING
639.46/641.37 c GARBAGE COLLECT
639.46/641.37 c #Conflicts: 311000 | #Constraints: 11828
639.46/641.37 c #Conflicts: 312000 | #Constraints: 12828
639.46/641.37 c #Conflicts: 313000 | #Constraints: 13828
639.46/641.37 c #Conflicts: 314000 | #Constraints: 14828
639.46/641.37 c #Conflicts: 315000 | #Constraints: 15828
639.46/641.37 c #Conflicts: 316000 | #Constraints: 16828
639.46/641.37 c #Conflicts: 317000 | #Constraints: 17828
639.46/641.37 c #Conflicts: 318000 | #Constraints: 18828
639.46/641.37 c #Conflicts: 319000 | #Constraints: 19828
639.46/641.37 c #Conflicts: 320000 | #Constraints: 20828
639.46/641.37 c #Conflicts: 321000 | #Constraints: 21828
639.46/641.37 c INPROCESSING
639.46/641.37 c GARBAGE COLLECT
639.46/641.37 c #Conflicts: 322000 | #Constraints: 11627
639.46/641.37 c #Conflicts: 323000 | #Constraints: 12627
639.46/641.37 c #Conflicts: 324000 | #Constraints: 13627
639.46/641.37 c #Conflicts: 325000 | #Constraints: 14627
639.46/641.37 c #Conflicts: 326000 | #Constraints: 15627
639.46/641.37 c #Conflicts: 327000 | #Constraints: 16627
639.46/641.37 c #Conflicts: 328000 | #Constraints: 17627
639.46/641.37 c #Conflicts: 329000 | #Constraints: 18627
639.46/641.37 c #Conflicts: 330000 | #Constraints: 19627
639.46/641.37 c #Conflicts: 331000 | #Constraints: 20627
639.46/641.37 c #Conflicts: 332000 | #Constraints: 21627
639.46/641.37 c #Conflicts: 333000 | #Constraints: 22627
639.46/641.37 c INPROCESSING
639.46/641.37 c GARBAGE COLLECT
639.46/641.37 c #Conflicts: 334000 | #Constraints: 12226
639.46/641.37 c #Conflicts: 335000 | #Constraints: 13226
639.46/641.37 c #Conflicts: 336000 | #Constraints: 14226
639.46/641.37 c #Conflicts: 337000 | #Constraints: 15226
639.46/641.37 c #Conflicts: 338000 | #Constraints: 16226
639.46/641.37 c #Conflicts: 339000 | #Constraints: 17226
639.46/641.37 c #Conflicts: 340000 | #Constraints: 18226
639.46/641.37 c #Conflicts: 341000 | #Constraints: 19226
639.46/641.37 c #Conflicts: 342000 | #Constraints: 20226
639.46/641.37 c #Conflicts: 343000 | #Constraints: 21226
639.46/641.37 c #Conflicts: 344000 | #Constraints: 22226
639.46/641.37 c #Conflicts: 345000 | #Constraints: 23226
639.46/641.37 c INPROCESSING
639.46/641.37 c GARBAGE COLLECT
639.46/641.37 c #Conflicts: 346000 | #Constraints: 12625
639.46/641.37 c #Conflicts: 347000 | #Constraints: 13625
639.46/641.37 c #Conflicts: 348000 | #Constraints: 14625
639.46/641.37 c #Conflicts: 349000 | #Constraints: 15625
639.46/641.37 c #Conflicts: 350000 | #Constraints: 16625
639.46/641.37 c #Conflicts: 351000 | #Constraints: 17625
639.46/641.37 c #Conflicts: 352000 | #Constraints: 18625
639.46/641.37 c #Conflicts: 353000 | #Constraints: 19625
639.46/641.37 c #Conflicts: 354000 | #Constraints: 20625
639.46/641.37 c #Conflicts: 355000 | #Constraints: 21625
639.46/641.37 c #Conflicts: 356000 | #Constraints: 22625
639.46/641.37 c #Conflicts: 357000 | #Constraints: 23625
639.46/641.37 c INPROCESSING
639.46/641.37 c GARBAGE COLLECT
639.46/641.37 c #Conflicts: 358000 | #Constraints: 12826
639.46/641.37 c #Conflicts: 359000 | #Constraints: 13826
639.46/641.37 c #Conflicts: 360000 | #Constraints: 14826
639.46/641.37 c #Conflicts: 361000 | #Constraints: 15826
639.46/641.37 c #Conflicts: 362000 | #Constraints: 16826
749.58/751.76 c #Conflicts: 363000 | #Constraints: 17826
749.58/751.76 c #Conflicts: 364000 | #Constraints: 18826
749.58/751.76 c #Conflicts: 365000 | #Constraints: 19826
749.58/751.76 c #Conflicts: 366000 | #Constraints: 20826
749.58/751.76 c #Conflicts: 367000 | #Constraints: 21826
749.58/751.76 c #Conflicts: 368000 | #Constraints: 22826
749.58/751.76 c #Conflicts: 369000 | #Constraints: 23826
749.58/751.76 c INPROCESSING
749.58/751.76 c GARBAGE COLLECT
749.58/751.76 c #Conflicts: 370000 | #Constraints: 12826
749.58/751.76 c #Conflicts: 371000 | #Constraints: 13826
749.58/751.76 c #Conflicts: 372000 | #Constraints: 14826
749.58/751.76 c #Conflicts: 373000 | #Constraints: 15826
749.58/751.76 c #Conflicts: 374000 | #Constraints: 16826
749.58/751.76 c #Conflicts: 375000 | #Constraints: 17826
749.58/751.76 c #Conflicts: 376000 | #Constraints: 18826
749.58/751.76 c #Conflicts: 377000 | #Constraints: 19826
749.58/751.76 c #Conflicts: 378000 | #Constraints: 20826
749.58/751.76 c #Conflicts: 379000 | #Constraints: 21826
749.58/751.76 c #Conflicts: 380000 | #Constraints: 22826
749.58/751.76 c #Conflicts: 381000 | #Constraints: 23826
749.58/751.76 c INPROCESSING
749.58/751.76 c GARBAGE COLLECT
749.58/751.76 c #Conflicts: 382000 | #Constraints: 12624
749.58/751.76 c #Conflicts: 383000 | #Constraints: 13624
749.58/751.76 c #Conflicts: 384000 | #Constraints: 14624
749.58/751.76 c #Conflicts: 385000 | #Constraints: 15624
749.58/751.76 c #Conflicts: 386000 | #Constraints: 16624
749.58/751.76 c #Conflicts: 387000 | #Constraints: 17624
749.58/751.76 c #Conflicts: 388000 | #Constraints: 18624
749.58/751.76 c #Conflicts: 389000 | #Constraints: 19624
749.58/751.76 c #Conflicts: 390000 | #Constraints: 20624
749.58/751.76 c #Conflicts: 391000 | #Constraints: 21624
749.58/751.76 c #Conflicts: 392000 | #Constraints: 22624
749.58/751.76 c #Conflicts: 393000 | #Constraints: 23624
749.58/751.76 c #Conflicts: 394000 | #Constraints: 24624
749.58/751.76 c INPROCESSING
749.58/751.76 c GARBAGE COLLECT
749.58/751.76 c #Conflicts: 395000 | #Constraints: 13223
749.58/751.76 c #Conflicts: 396000 | #Constraints: 14223
749.58/751.76 c #Conflicts: 397000 | #Constraints: 15223
749.58/751.76 c #Conflicts: 398000 | #Constraints: 16223
749.58/751.76 c #Conflicts: 399000 | #Constraints: 17223
749.58/751.76 c #Conflicts: 400000 | #Constraints: 18223
749.58/751.76 c #Conflicts: 401000 | #Constraints: 19223
749.58/751.76 c #Conflicts: 402000 | #Constraints: 20223
749.58/751.76 c #Conflicts: 403000 | #Constraints: 21223
749.58/751.76 c #Conflicts: 404000 | #Constraints: 22223
749.58/751.76 c #Conflicts: 405000 | #Constraints: 23223
749.58/751.76 c #Conflicts: 406000 | #Constraints: 24223
749.58/751.76 c #Conflicts: 407000 | #Constraints: 25223
749.58/751.76 c INPROCESSING
749.58/751.76 c GARBAGE COLLECT
749.58/751.76 c #Conflicts: 408000 | #Constraints: 13627
749.58/751.76 c #Conflicts: 409000 | #Constraints: 14627
749.58/751.76 c #Conflicts: 410000 | #Constraints: 15627
749.58/751.76 c #Conflicts: 411000 | #Constraints: 16627
749.58/751.76 c #Conflicts: 412000 | #Constraints: 17627
749.58/751.76 c #Conflicts: 413000 | #Constraints: 18627
749.58/751.76 c #Conflicts: 414000 | #Constraints: 19627
749.58/751.76 c #Conflicts: 415000 | #Constraints: 20627
749.58/751.76 c #Conflicts: 416000 | #Constraints: 21627
749.58/751.76 c #Conflicts: 417000 | #Constraints: 22627
749.58/751.76 c #Conflicts: 418000 | #Constraints: 23627
749.58/751.76 c #Conflicts: 419000 | #Constraints: 24627
749.58/751.76 c #Conflicts: 420000 | #Constraints: 25627
749.58/751.76 c INPROCESSING
749.58/751.76 c GARBAGE COLLECT
749.58/751.76 c #Conflicts: 421000 | #Constraints: 13830
749.58/751.76 c #Conflicts: 422000 | #Constraints: 14830
749.58/751.76 c #Conflicts: 423000 | #Constraints: 15830
749.58/751.76 c #Conflicts: 424000 | #Constraints: 16830
749.58/751.76 c #Conflicts: 425000 | #Constraints: 17830
749.58/751.76 c #Conflicts: 426000 | #Constraints: 18830
749.58/751.76 c #Conflicts: 427000 | #Constraints: 19830
749.58/751.76 c #Conflicts: 428000 | #Constraints: 20830
749.58/751.76 c #Conflicts: 429000 | #Constraints: 21830
749.58/751.76 c #Conflicts: 430000 | #Constraints: 22830
749.58/751.76 c #Conflicts: 431000 | #Constraints: 23830
749.58/751.76 c #Conflicts: 432000 | #Constraints: 24830
749.58/751.76 c #Conflicts: 433000 | #Constraints: 25830
749.58/751.76 c INPROCESSING
749.58/751.76 c GARBAGE COLLECT
749.58/751.76 c #Conflicts: 434000 | #Constraints: 13829
749.58/751.76 c #Conflicts: 435000 | #Constraints: 14829
749.58/751.76 c #Conflicts: 436000 | #Constraints: 15829
749.58/751.76 c #Conflicts: 437000 | #Constraints: 16829
881.72/884.25 c #Conflicts: 438000 | #Constraints: 17829
881.72/884.25 c #Conflicts: 439000 | #Constraints: 18829
881.72/884.25 c #Conflicts: 440000 | #Constraints: 19829
881.72/884.25 c #Conflicts: 441000 | #Constraints: 20829
881.72/884.25 c #Conflicts: 442000 | #Constraints: 21829
881.72/884.25 c #Conflicts: 443000 | #Constraints: 22829
881.72/884.25 c #Conflicts: 444000 | #Constraints: 23829
881.72/884.25 c #Conflicts: 445000 | #Constraints: 24829
881.72/884.25 c #Conflicts: 446000 | #Constraints: 25829
881.72/884.25 c INPROCESSING
881.72/884.25 c GARBAGE COLLECT
881.72/884.25 c #Conflicts: 447000 | #Constraints: 13630
881.72/884.25 c #Conflicts: 448000 | #Constraints: 14630
881.72/884.25 c #Conflicts: 449000 | #Constraints: 15630
881.72/884.25 c #Conflicts: 450000 | #Constraints: 16630
881.72/884.25 c #Conflicts: 451000 | #Constraints: 17630
881.72/884.25 c #Conflicts: 452000 | #Constraints: 18630
881.72/884.25 c #Conflicts: 453000 | #Constraints: 19630
881.72/884.25 c #Conflicts: 454000 | #Constraints: 20630
881.72/884.25 c #Conflicts: 455000 | #Constraints: 21630
881.72/884.25 c #Conflicts: 456000 | #Constraints: 22630
881.72/884.25 c #Conflicts: 457000 | #Constraints: 23630
881.72/884.25 c #Conflicts: 458000 | #Constraints: 24630
881.72/884.25 c #Conflicts: 459000 | #Constraints: 25630
881.72/884.25 c #Conflicts: 460000 | #Constraints: 26630
881.72/884.25 c INPROCESSING
881.72/884.25 c GARBAGE COLLECT
881.72/884.25 c #Conflicts: 461000 | #Constraints: 14229
881.72/884.25 c #Conflicts: 462000 | #Constraints: 15229
881.72/884.25 c #Conflicts: 463000 | #Constraints: 16229
881.72/884.25 c #Conflicts: 464000 | #Constraints: 17229
881.72/884.25 c #Conflicts: 465000 | #Constraints: 18229
881.72/884.25 c #Conflicts: 466000 | #Constraints: 19229
881.72/884.25 c #Conflicts: 467000 | #Constraints: 20229
881.72/884.25 c #Conflicts: 468000 | #Constraints: 21229
881.72/884.25 c #Conflicts: 469000 | #Constraints: 22229
881.72/884.25 c #Conflicts: 470000 | #Constraints: 23229
881.72/884.25 c #Conflicts: 471000 | #Constraints: 24229
881.72/884.25 c #Conflicts: 472000 | #Constraints: 25229
881.72/884.25 c #Conflicts: 473000 | #Constraints: 26229
881.72/884.25 c #Conflicts: 474000 | #Constraints: 27229
881.72/884.25 c INPROCESSING
881.72/884.25 c GARBAGE COLLECT
881.72/884.25 c #Conflicts: 475000 | #Constraints: 14627
881.72/884.25 c #Conflicts: 476000 | #Constraints: 15627
881.72/884.25 c #Conflicts: 477000 | #Constraints: 16627
881.72/884.25 c #Conflicts: 478000 | #Constraints: 17627
881.72/884.25 c #Conflicts: 479000 | #Constraints: 18627
881.72/884.25 c #Conflicts: 480000 | #Constraints: 19627
881.72/884.25 c #Conflicts: 481000 | #Constraints: 20627
881.72/884.25 c #Conflicts: 482000 | #Constraints: 21627
881.72/884.25 c #Conflicts: 483000 | #Constraints: 22627
881.72/884.25 c #Conflicts: 484000 | #Constraints: 23627
881.72/884.25 c #Conflicts: 485000 | #Constraints: 24627
881.72/884.25 c #Conflicts: 486000 | #Constraints: 25627
881.72/884.25 c #Conflicts: 487000 | #Constraints: 26627
881.72/884.25 c #Conflicts: 488000 | #Constraints: 27627
881.72/884.25 c INPROCESSING
881.72/884.25 c GARBAGE COLLECT
881.72/884.25 c #Conflicts: 489000 | #Constraints: 14829
881.72/884.25 c #Conflicts: 490000 | #Constraints: 15829
881.72/884.25 c #Conflicts: 491000 | #Constraints: 16829
881.72/884.25 c #Conflicts: 492000 | #Constraints: 17829
881.72/884.25 c #Conflicts: 493000 | #Constraints: 18829
881.72/884.25 c #Conflicts: 494000 | #Constraints: 19829
881.72/884.25 c #Conflicts: 495000 | #Constraints: 20829
881.72/884.25 c #Conflicts: 496000 | #Constraints: 21829
881.72/884.25 c #Conflicts: 497000 | #Constraints: 22829
881.72/884.25 c #Conflicts: 498000 | #Constraints: 23829
881.72/884.25 c #Conflicts: 499000 | #Constraints: 24829
881.72/884.25 c #Conflicts: 500000 | #Constraints: 25829
881.72/884.25 c #Conflicts: 501000 | #Constraints: 26829
881.72/884.25 c #Conflicts: 502000 | #Constraints: 27829
881.72/884.25 c INPROCESSING
881.72/884.25 c GARBAGE COLLECT
881.72/884.25 c #Conflicts: 503000 | #Constraints: 14827
881.72/884.25 c #Conflicts: 504000 | #Constraints: 15827
881.72/884.25 c #Conflicts: 505000 | #Constraints: 16827
881.72/884.25 c #Conflicts: 506000 | #Constraints: 17827
881.72/884.25 c #Conflicts: 507000 | #Constraints: 18827
881.72/884.25 c #Conflicts: 508000 | #Constraints: 19827
881.72/884.25 c #Conflicts: 509000 | #Constraints: 20827
881.72/884.25 c #Conflicts: 510000 | #Constraints: 21827
881.72/884.25 c #Conflicts: 511000 | #Constraints: 22827
881.72/884.25 c #Conflicts: 512000 | #Constraints: 23827
881.72/884.25 c #Conflicts: 513000 | #Constraints: 24827
1002.48/1005.31 c #Conflicts: 514000 | #Constraints: 25827
1002.48/1005.31 c #Conflicts: 515000 | #Constraints: 26827
1002.48/1005.31 c #Conflicts: 516000 | #Constraints: 27827
1002.48/1005.31 c INPROCESSING
1002.48/1005.31 c GARBAGE COLLECT
1002.48/1005.31 c #Conflicts: 517000 | #Constraints: 14627
1002.48/1005.31 c #Conflicts: 518000 | #Constraints: 15627
1002.48/1005.31 c #Conflicts: 519000 | #Constraints: 16627
1002.48/1005.31 c #Conflicts: 520000 | #Constraints: 17627
1002.48/1005.31 c #Conflicts: 521000 | #Constraints: 18627
1002.48/1005.31 c #Conflicts: 522000 | #Constraints: 19627
1002.48/1005.31 c #Conflicts: 523000 | #Constraints: 20627
1002.48/1005.31 c #Conflicts: 524000 | #Constraints: 21627
1002.48/1005.31 c #Conflicts: 525000 | #Constraints: 22627
1002.48/1005.31 c #Conflicts: 526000 | #Constraints: 23627
1002.48/1005.31 c #Conflicts: 527000 | #Constraints: 24627
1002.48/1005.31 c #Conflicts: 528000 | #Constraints: 25627
1002.48/1005.31 c #Conflicts: 529000 | #Constraints: 26627
1002.48/1005.31 c #Conflicts: 530000 | #Constraints: 27627
1002.48/1005.31 c #Conflicts: 531000 | #Constraints: 28627
1002.48/1005.31 c INPROCESSING
1002.48/1005.31 c GARBAGE COLLECT
1002.48/1005.31 c #Conflicts: 532000 | #Constraints: 15229
1002.48/1005.31 c #Conflicts: 533000 | #Constraints: 16229
1002.48/1005.31 c #Conflicts: 534000 | #Constraints: 17229
1002.48/1005.31 c #Conflicts: 535000 | #Constraints: 18229
1002.48/1005.31 c #Conflicts: 536000 | #Constraints: 19229
1002.48/1005.31 c #Conflicts: 537000 | #Constraints: 20229
1002.48/1005.31 c #Conflicts: 538000 | #Constraints: 21229
1002.48/1005.31 c #Conflicts: 539000 | #Constraints: 22229
1002.48/1005.31 c #Conflicts: 540000 | #Constraints: 23229
1002.48/1005.31 c #Conflicts: 541000 | #Constraints: 24229
1002.48/1005.31 c #Conflicts: 542000 | #Constraints: 25229
1002.48/1005.31 c #Conflicts: 543000 | #Constraints: 26229
1002.48/1005.31 c #Conflicts: 544000 | #Constraints: 27229
1002.48/1005.31 c #Conflicts: 545000 | #Constraints: 28229
1002.48/1005.31 c #Conflicts: 546000 | #Constraints: 29229
1002.48/1005.31 c INPROCESSING
1002.48/1005.31 c GARBAGE COLLECT
1002.48/1005.31 c #Conflicts: 547000 | #Constraints: 15625
1002.48/1005.31 c #Conflicts: 548000 | #Constraints: 16625
1002.48/1005.31 c #Conflicts: 549000 | #Constraints: 17625
1002.48/1005.31 c #Conflicts: 550000 | #Constraints: 18625
1002.48/1005.31 c #Conflicts: 551000 | #Constraints: 19625
1002.48/1005.31 c #Conflicts: 552000 | #Constraints: 20625
1002.48/1005.31 c #Conflicts: 553000 | #Constraints: 21625
1002.48/1005.31 c #Conflicts: 554000 | #Constraints: 22625
1002.48/1005.31 c #Conflicts: 555000 | #Constraints: 23625
1002.48/1005.31 c #Conflicts: 556000 | #Constraints: 24625
1002.48/1005.31 c #Conflicts: 557000 | #Constraints: 25625
1002.48/1005.31 c #Conflicts: 558000 | #Constraints: 26625
1002.48/1005.31 c #Conflicts: 559000 | #Constraints: 27625
1002.48/1005.31 c #Conflicts: 560000 | #Constraints: 28625
1002.48/1005.31 c #Conflicts: 561000 | #Constraints: 29625
1002.48/1005.31 c INPROCESSING
1002.48/1005.31 c GARBAGE COLLECT
1002.48/1005.31 c #Conflicts: 562000 | #Constraints: 15825
1002.48/1005.31 c #Conflicts: 563000 | #Constraints: 16825
1002.48/1005.31 c #Conflicts: 564000 | #Constraints: 17825
1002.48/1005.31 c #Conflicts: 565000 | #Constraints: 18825
1002.48/1005.31 c #Conflicts: 566000 | #Constraints: 19825
1002.48/1005.31 c #Conflicts: 567000 | #Constraints: 20825
1002.48/1005.31 c #Conflicts: 568000 | #Constraints: 21825
1002.48/1005.31 c #Conflicts: 569000 | #Constraints: 22825
1002.48/1005.31 c #Conflicts: 570000 | #Constraints: 23825
1002.48/1005.31 c #Conflicts: 571000 | #Constraints: 24825
1002.48/1005.31 c #Conflicts: 572000 | #Constraints: 25825
1002.48/1005.31 c #Conflicts: 573000 | #Constraints: 26825
1002.48/1005.31 c #Conflicts: 574000 | #Constraints: 27825
1002.48/1005.31 c #Conflicts: 575000 | #Constraints: 28825
1002.48/1005.31 c #Conflicts: 576000 | #Constraints: 29825
1002.48/1005.31 c INPROCESSING
1002.48/1005.31 c GARBAGE COLLECT
1002.48/1005.31 c #Conflicts: 577000 | #Constraints: 15827
1002.48/1005.31 c #Conflicts: 578000 | #Constraints: 16827
1002.48/1005.31 c #Conflicts: 579000 | #Constraints: 17827
1002.48/1005.31 c #Conflicts: 580000 | #Constraints: 18827
1002.48/1005.31 c #Conflicts: 581000 | #Constraints: 19827
1002.48/1005.31 c #Conflicts: 582000 | #Constraints: 20827
1002.48/1005.31 c #Conflicts: 583000 | #Constraints: 21827
1002.48/1005.31 c #Conflicts: 584000 | #Constraints: 22827
1002.48/1005.31 c #Conflicts: 585000 | #Constraints: 23827
1002.48/1005.31 c #Conflicts: 586000 | #Constraints: 24827
1002.48/1005.31 c #Conflicts: 587000 | #Constraints: 25827
1002.48/1005.31 c #Conflicts: 588000 | #Constraints: 26827
1136.86/1140.01 c #Conflicts: 589000 | #Constraints: 27827
1136.86/1140.01 c #Conflicts: 590000 | #Constraints: 28827
1136.86/1140.01 c #Conflicts: 591000 | #Constraints: 29827
1136.86/1140.01 c INPROCESSING
1136.86/1140.01 c GARBAGE COLLECT
1136.86/1140.01 c #Conflicts: 592000 | #Constraints: 15626
1136.86/1140.01 c #Conflicts: 593000 | #Constraints: 16626
1136.86/1140.01 c #Conflicts: 594000 | #Constraints: 17626
1136.86/1140.01 c #Conflicts: 595000 | #Constraints: 18626
1136.86/1140.01 c #Conflicts: 596000 | #Constraints: 19626
1136.86/1140.01 c #Conflicts: 597000 | #Constraints: 20626
1136.86/1140.01 c #Conflicts: 598000 | #Constraints: 21626
1136.86/1140.01 c #Conflicts: 599000 | #Constraints: 22626
1136.86/1140.01 c #Conflicts: 600000 | #Constraints: 23626
1136.86/1140.01 c #Conflicts: 601000 | #Constraints: 24626
1136.86/1140.01 c #Conflicts: 602000 | #Constraints: 25626
1136.86/1140.01 c #Conflicts: 603000 | #Constraints: 26626
1136.86/1140.01 c #Conflicts: 604000 | #Constraints: 27626
1136.86/1140.01 c #Conflicts: 605000 | #Constraints: 28626
1136.86/1140.01 c #Conflicts: 606000 | #Constraints: 29626
1136.86/1140.01 c #Conflicts: 607000 | #Constraints: 30626
1136.86/1140.01 c INPROCESSING
1136.86/1140.01 c GARBAGE COLLECT
1136.86/1140.01 c #Conflicts: 608000 | #Constraints: 16226
1136.86/1140.01 c #Conflicts: 609000 | #Constraints: 17226
1136.86/1140.01 c #Conflicts: 610000 | #Constraints: 18226
1136.86/1140.01 c #Conflicts: 611000 | #Constraints: 19226
1136.86/1140.01 c #Conflicts: 612000 | #Constraints: 20226
1136.86/1140.01 c #Conflicts: 613000 | #Constraints: 21226
1136.86/1140.01 c #Conflicts: 614000 | #Constraints: 22226
1136.86/1140.01 c #Conflicts: 615000 | #Constraints: 23226
1136.86/1140.01 c #Conflicts: 616000 | #Constraints: 24226
1136.86/1140.01 c #Conflicts: 617000 | #Constraints: 25226
1136.86/1140.01 c #Conflicts: 618000 | #Constraints: 26226
1136.86/1140.01 c #Conflicts: 619000 | #Constraints: 27226
1136.86/1140.01 c #Conflicts: 620000 | #Constraints: 28226
1136.86/1140.01 c #Conflicts: 621000 | #Constraints: 29226
1136.86/1140.01 c #Conflicts: 622000 | #Constraints: 30226
1136.86/1140.01 c #Conflicts: 623000 | #Constraints: 31226
1136.86/1140.01 c INPROCESSING
1136.86/1140.01 c GARBAGE COLLECT
1136.86/1140.01 c #Conflicts: 624000 | #Constraints: 16623
1136.86/1140.01 c #Conflicts: 625000 | #Constraints: 17623
1136.86/1140.01 c #Conflicts: 626000 | #Constraints: 18623
1136.86/1140.01 c #Conflicts: 627000 | #Constraints: 19623
1136.86/1140.01 c #Conflicts: 628000 | #Constraints: 20623
1136.86/1140.01 c #Conflicts: 629000 | #Constraints: 21623
1136.86/1140.01 c #Conflicts: 630000 | #Constraints: 22623
1136.86/1140.01 c #Conflicts: 631000 | #Constraints: 23623
1136.86/1140.01 c #Conflicts: 632000 | #Constraints: 24623
1136.86/1140.01 c #Conflicts: 633000 | #Constraints: 25623
1136.86/1140.01 c #Conflicts: 634000 | #Constraints: 26623
1136.86/1140.01 c #Conflicts: 635000 | #Constraints: 27623
1136.86/1140.01 c #Conflicts: 636000 | #Constraints: 28623
1136.86/1140.01 c #Conflicts: 637000 | #Constraints: 29623
1136.86/1140.01 c #Conflicts: 638000 | #Constraints: 30623
1136.86/1140.01 c #Conflicts: 639000 | #Constraints: 31623
1136.86/1140.01 c INPROCESSING
1136.86/1140.01 c GARBAGE COLLECT
1136.86/1140.01 c #Conflicts: 640000 | #Constraints: 16824
1136.86/1140.01 c #Conflicts: 641000 | #Constraints: 17824
1136.86/1140.01 c #Conflicts: 642000 | #Constraints: 18824
1136.86/1140.01 c #Conflicts: 643000 | #Constraints: 19824
1136.86/1140.01 c #Conflicts: 644000 | #Constraints: 20824
1136.86/1140.01 c #Conflicts: 645000 | #Constraints: 21824
1136.86/1140.01 c #Conflicts: 646000 | #Constraints: 22824
1136.86/1140.01 c #Conflicts: 647000 | #Constraints: 23824
1136.86/1140.01 c #Conflicts: 648000 | #Constraints: 24824
1136.86/1140.01 c #Conflicts: 649000 | #Constraints: 25824
1136.86/1140.01 c #Conflicts: 650000 | #Constraints: 26824
1136.86/1140.01 c #Conflicts: 651000 | #Constraints: 27824
1136.86/1140.01 c #Conflicts: 652000 | #Constraints: 28824
1136.86/1140.01 c #Conflicts: 653000 | #Constraints: 29824
1136.86/1140.01 c #Conflicts: 654000 | #Constraints: 30824
1136.86/1140.01 c #Conflicts: 655000 | #Constraints: 31824
1136.86/1140.01 c INPROCESSING
1136.86/1140.01 c GARBAGE COLLECT
1136.86/1140.01 c #Conflicts: 656000 | #Constraints: 16824
1136.86/1140.01 c #Conflicts: 657000 | #Constraints: 17824
1136.86/1140.01 c #Conflicts: 658000 | #Constraints: 18824
1136.86/1140.01 c #Conflicts: 659000 | #Constraints: 19824
1136.86/1140.01 c #Conflicts: 660000 | #Constraints: 20824
1136.86/1140.01 c #Conflicts: 661000 | #Constraints: 21824
1136.86/1140.01 c #Conflicts: 662000 | #Constraints: 22824
1136.86/1140.01 c #Conflicts: 663000 | #Constraints: 23824
1136.86/1140.01 c #Conflicts: 664000 | #Constraints: 24824
1292.88/1296.40 c #Conflicts: 665000 | #Constraints: 25824
1292.88/1296.40 c #Conflicts: 666000 | #Constraints: 26824
1292.88/1296.40 c #Conflicts: 667000 | #Constraints: 27824
1292.88/1296.40 c #Conflicts: 668000 | #Constraints: 28824
1292.88/1296.40 c #Conflicts: 669000 | #Constraints: 29824
1292.88/1296.40 c #Conflicts: 670000 | #Constraints: 30824
1292.88/1296.40 c #Conflicts: 671000 | #Constraints: 31824
1292.88/1296.40 c INPROCESSING
1292.88/1296.40 c GARBAGE COLLECT
1292.88/1296.40 c #Conflicts: 672000 | #Constraints: 16623
1292.88/1296.40 c #Conflicts: 673000 | #Constraints: 17623
1292.88/1296.40 c #Conflicts: 674000 | #Constraints: 18623
1292.88/1296.40 c #Conflicts: 675000 | #Constraints: 19623
1292.88/1296.40 c #Conflicts: 676000 | #Constraints: 20623
1292.88/1296.40 c #Conflicts: 677000 | #Constraints: 21623
1292.88/1296.40 c #Conflicts: 678000 | #Constraints: 22623
1292.88/1296.40 c #Conflicts: 679000 | #Constraints: 23623
1292.88/1296.40 c #Conflicts: 680000 | #Constraints: 24623
1292.88/1296.40 c #Conflicts: 681000 | #Constraints: 25623
1292.88/1296.40 c #Conflicts: 682000 | #Constraints: 26623
1292.88/1296.40 c #Conflicts: 683000 | #Constraints: 27623
1292.88/1296.40 c #Conflicts: 684000 | #Constraints: 28623
1292.88/1296.40 c #Conflicts: 685000 | #Constraints: 29623
1292.88/1296.40 c #Conflicts: 686000 | #Constraints: 30623
1292.88/1296.40 c #Conflicts: 687000 | #Constraints: 31623
1292.88/1296.40 c #Conflicts: 688000 | #Constraints: 32623
1292.88/1296.40 c INPROCESSING
1292.88/1296.40 c GARBAGE COLLECT
1292.88/1296.40 c #Conflicts: 689000 | #Constraints: 17223
1292.88/1296.40 c #Conflicts: 690000 | #Constraints: 18223
1292.88/1296.40 c #Conflicts: 691000 | #Constraints: 19223
1292.88/1296.40 c #Conflicts: 692000 | #Constraints: 20223
1292.88/1296.40 c #Conflicts: 693000 | #Constraints: 21223
1292.88/1296.40 c #Conflicts: 694000 | #Constraints: 22223
1292.88/1296.40 c #Conflicts: 695000 | #Constraints: 23223
1292.88/1296.40 c #Conflicts: 696000 | #Constraints: 24223
1292.88/1296.40 c #Conflicts: 697000 | #Constraints: 25223
1292.88/1296.40 c #Conflicts: 698000 | #Constraints: 26223
1292.88/1296.40 c #Conflicts: 699000 | #Constraints: 27223
1292.88/1296.40 c #Conflicts: 700000 | #Constraints: 28223
1292.88/1296.40 c #Conflicts: 701000 | #Constraints: 29223
1292.88/1296.40 c #Conflicts: 702000 | #Constraints: 30223
1292.88/1296.40 c #Conflicts: 703000 | #Constraints: 31223
1292.88/1296.40 c #Conflicts: 704000 | #Constraints: 32223
1292.88/1296.40 c #Conflicts: 705000 | #Constraints: 33223
1292.88/1296.40 c INPROCESSING
1292.88/1296.40 c GARBAGE COLLECT
1292.88/1296.40 c #Conflicts: 706000 | #Constraints: 17624
1292.88/1296.40 c #Conflicts: 707000 | #Constraints: 18624
1292.88/1296.40 c #Conflicts: 708000 | #Constraints: 19624
1292.88/1296.40 c #Conflicts: 709000 | #Constraints: 20624
1292.88/1296.40 c #Conflicts: 710000 | #Constraints: 21624
1292.88/1296.40 c #Conflicts: 711000 | #Constraints: 22624
1292.88/1296.40 c #Conflicts: 712000 | #Constraints: 23624
1292.88/1296.40 c #Conflicts: 713000 | #Constraints: 24624
1292.88/1296.40 c #Conflicts: 714000 | #Constraints: 25624
1292.88/1296.40 c #Conflicts: 715000 | #Constraints: 26624
1292.88/1296.40 c #Conflicts: 716000 | #Constraints: 27624
1292.88/1296.40 c #Conflicts: 717000 | #Constraints: 28624
1292.88/1296.40 c #Conflicts: 718000 | #Constraints: 29624
1292.88/1296.40 c #Conflicts: 719000 | #Constraints: 30624
1292.88/1296.40 c #Conflicts: 720000 | #Constraints: 31624
1292.88/1296.40 c #Conflicts: 721000 | #Constraints: 32624
1292.88/1296.40 c #Conflicts: 722000 | #Constraints: 33624
1292.88/1296.40 c INPROCESSING
1292.88/1296.40 c GARBAGE COLLECT
1292.88/1296.40 c #Conflicts: 723000 | #Constraints: 17827
1292.88/1296.40 c #Conflicts: 724000 | #Constraints: 18827
1292.88/1296.40 c #Conflicts: 725000 | #Constraints: 19827
1292.88/1296.40 c #Conflicts: 726000 | #Constraints: 20827
1292.88/1296.40 c #Conflicts: 727000 | #Constraints: 21827
1292.88/1296.40 c #Conflicts: 728000 | #Constraints: 22827
1292.88/1296.40 c #Conflicts: 729000 | #Constraints: 23827
1292.88/1296.40 c #Conflicts: 730000 | #Constraints: 24827
1292.88/1296.40 c #Conflicts: 731000 | #Constraints: 25827
1292.88/1296.40 c #Conflicts: 732000 | #Constraints: 26827
1292.88/1296.40 c #Conflicts: 733000 | #Constraints: 27827
1292.88/1296.40 c #Conflicts: 734000 | #Constraints: 28827
1292.88/1296.40 c #Conflicts: 735000 | #Constraints: 29827
1292.88/1296.40 c #Conflicts: 736000 | #Constraints: 30827
1292.88/1296.40 c #Conflicts: 737000 | #Constraints: 31827
1292.88/1296.40 c #Conflicts: 738000 | #Constraints: 32827
1292.88/1296.40 c #Conflicts: 739000 | #Constraints: 33827
1292.88/1296.40 c INPROCESSING
1292.88/1296.40 c GARBAGE COLLECT
1438.33/1442.26 c #Conflicts: 740000 | #Constraints: 17826
1438.33/1442.26 c #Conflicts: 741000 | #Constraints: 18826
1438.33/1442.26 c #Conflicts: 742000 | #Constraints: 19826
1438.33/1442.26 c #Conflicts: 743000 | #Constraints: 20826
1438.33/1442.26 c #Conflicts: 744000 | #Constraints: 21826
1438.33/1442.26 c #Conflicts: 745000 | #Constraints: 22826
1438.33/1442.26 c #Conflicts: 746000 | #Constraints: 23826
1438.33/1442.26 c #Conflicts: 747000 | #Constraints: 24826
1438.33/1442.26 c #Conflicts: 748000 | #Constraints: 25826
1438.33/1442.26 c #Conflicts: 749000 | #Constraints: 26826
1438.33/1442.26 c #Conflicts: 750000 | #Constraints: 27826
1438.33/1442.26 c #Conflicts: 751000 | #Constraints: 28826
1438.33/1442.26 c #Conflicts: 752000 | #Constraints: 29826
1438.33/1442.26 c #Conflicts: 753000 | #Constraints: 30826
1438.33/1442.26 c #Conflicts: 754000 | #Constraints: 31826
1438.33/1442.26 c #Conflicts: 755000 | #Constraints: 32826
1438.33/1442.26 c #Conflicts: 756000 | #Constraints: 33826
1438.33/1442.26 c INPROCESSING
1438.33/1442.26 c GARBAGE COLLECT
1438.33/1442.26 c #Conflicts: 757000 | #Constraints: 17624
1438.33/1442.26 c #Conflicts: 758000 | #Constraints: 18624
1438.33/1442.26 c #Conflicts: 759000 | #Constraints: 19624
1438.33/1442.26 c #Conflicts: 760000 | #Constraints: 20624
1438.33/1442.26 c #Conflicts: 761000 | #Constraints: 21624
1438.33/1442.26 c #Conflicts: 762000 | #Constraints: 22624
1438.33/1442.26 c #Conflicts: 763000 | #Constraints: 23624
1438.33/1442.26 c #Conflicts: 764000 | #Constraints: 24624
1438.33/1442.26 c #Conflicts: 765000 | #Constraints: 25624
1438.33/1442.26 c #Conflicts: 766000 | #Constraints: 26624
1438.33/1442.26 c #Conflicts: 767000 | #Constraints: 27624
1438.33/1442.26 c #Conflicts: 768000 | #Constraints: 28624
1438.33/1442.26 c #Conflicts: 769000 | #Constraints: 29624
1438.33/1442.26 c #Conflicts: 770000 | #Constraints: 30624
1438.33/1442.26 c #Conflicts: 771000 | #Constraints: 31624
1438.33/1442.26 c #Conflicts: 772000 | #Constraints: 32624
1438.33/1442.26 c #Conflicts: 773000 | #Constraints: 33624
1438.33/1442.26 c #Conflicts: 774000 | #Constraints: 34624
1438.33/1442.26 c INPROCESSING
1438.33/1442.26 c GARBAGE COLLECT
1438.33/1442.26 c #Conflicts: 775000 | #Constraints: 18228
1438.33/1442.26 c #Conflicts: 776000 | #Constraints: 19228
1438.33/1442.26 c #Conflicts: 777000 | #Constraints: 20228
1438.33/1442.26 c #Conflicts: 778000 | #Constraints: 21228
1438.33/1442.26 c #Conflicts: 779000 | #Constraints: 22228
1438.33/1442.26 c #Conflicts: 780000 | #Constraints: 23228
1438.33/1442.26 c #Conflicts: 781000 | #Constraints: 24228
1438.33/1442.26 c #Conflicts: 782000 | #Constraints: 25228
1438.33/1442.26 c #Conflicts: 783000 | #Constraints: 26228
1438.33/1442.26 c #Conflicts: 784000 | #Constraints: 27228
1438.33/1442.26 c #Conflicts: 785000 | #Constraints: 28228
1438.33/1442.26 c #Conflicts: 786000 | #Constraints: 29228
1438.33/1442.26 c #Conflicts: 787000 | #Constraints: 30228
1438.33/1442.26 c #Conflicts: 788000 | #Constraints: 31228
1438.33/1442.26 c #Conflicts: 789000 | #Constraints: 32228
1438.33/1442.26 c #Conflicts: 790000 | #Constraints: 33228
1438.33/1442.26 c #Conflicts: 791000 | #Constraints: 34228
1438.33/1442.26 c #Conflicts: 792000 | #Constraints: 35228
1438.33/1442.26 c INPROCESSING
1438.33/1442.26 c GARBAGE COLLECT
1438.33/1442.26 c #Conflicts: 793000 | #Constraints: 18629
1438.33/1442.26 c #Conflicts: 794000 | #Constraints: 19629
1438.33/1442.26 c #Conflicts: 795000 | #Constraints: 20629
1438.33/1442.26 c #Conflicts: 796000 | #Constraints: 21629
1438.33/1442.26 c #Conflicts: 797000 | #Constraints: 22629
1438.33/1442.26 c #Conflicts: 798000 | #Constraints: 23629
1438.33/1442.26 c #Conflicts: 799000 | #Constraints: 24629
1438.33/1442.26 c #Conflicts: 800000 | #Constraints: 25629
1438.33/1442.26 c #Conflicts: 801000 | #Constraints: 26629
1438.33/1442.26 c #Conflicts: 802000 | #Constraints: 27629
1438.33/1442.26 c #Conflicts: 803000 | #Constraints: 28629
1438.33/1442.26 c #Conflicts: 804000 | #Constraints: 29629
1438.33/1442.26 c #Conflicts: 805000 | #Constraints: 30629
1438.33/1442.26 c #Conflicts: 806000 | #Constraints: 31629
1438.33/1442.26 c #Conflicts: 807000 | #Constraints: 32629
1438.33/1442.26 c #Conflicts: 808000 | #Constraints: 33629
1438.33/1442.26 c #Conflicts: 809000 | #Constraints: 34629
1438.33/1442.26 c #Conflicts: 810000 | #Constraints: 35629
1438.33/1442.26 c INPROCESSING
1438.33/1442.26 c GARBAGE COLLECT
1438.33/1442.26 c #Conflicts: 811000 | #Constraints: 18827
1438.33/1442.26 c #Conflicts: 812000 | #Constraints: 19827
1438.33/1442.26 c #Conflicts: 813000 | #Constraints: 20827
1438.33/1442.26 c #Conflicts: 814000 | #Constraints: 21827
1438.33/1442.26 c #Conflicts: 815000 | #Constraints: 22827
1438.33/1442.26 c #Conflicts: 816000 | #Constraints: 23827
1596.35/1600.61 c #Conflicts: 817000 | #Constraints: 24827
1596.35/1600.61 c #Conflicts: 818000 | #Constraints: 25827
1596.35/1600.61 c #Conflicts: 819000 | #Constraints: 26827
1596.35/1600.61 c #Conflicts: 820000 | #Constraints: 27827
1596.35/1600.61 c #Conflicts: 821000 | #Constraints: 28827
1596.35/1600.61 c #Conflicts: 822000 | #Constraints: 29827
1596.35/1600.61 c #Conflicts: 823000 | #Constraints: 30827
1596.35/1600.61 c #Conflicts: 824000 | #Constraints: 31827
1596.35/1600.61 c #Conflicts: 825000 | #Constraints: 32827
1596.35/1600.61 c #Conflicts: 826000 | #Constraints: 33827
1596.35/1600.61 c #Conflicts: 827000 | #Constraints: 34827
1596.35/1600.61 c #Conflicts: 828000 | #Constraints: 35827
1596.35/1600.61 c INPROCESSING
1596.35/1600.61 c GARBAGE COLLECT
1596.35/1600.61 c #Conflicts: 829000 | #Constraints: 18828
1596.35/1600.61 c #Conflicts: 830000 | #Constraints: 19828
1596.35/1600.61 c #Conflicts: 831000 | #Constraints: 20828
1596.35/1600.61 c #Conflicts: 832000 | #Constraints: 21828
1596.35/1600.61 c #Conflicts: 833000 | #Constraints: 22828
1596.35/1600.61 c #Conflicts: 834000 | #Constraints: 23828
1596.35/1600.61 c #Conflicts: 835000 | #Constraints: 24828
1596.35/1600.61 c #Conflicts: 836000 | #Constraints: 25828
1596.35/1600.61 c #Conflicts: 837000 | #Constraints: 26828
1596.35/1600.61 c #Conflicts: 838000 | #Constraints: 27828
1596.35/1600.61 c #Conflicts: 839000 | #Constraints: 28828
1596.35/1600.61 c #Conflicts: 840000 | #Constraints: 29828
1596.35/1600.61 c #Conflicts: 841000 | #Constraints: 30828
1596.35/1600.61 c #Conflicts: 842000 | #Constraints: 31828
1596.35/1600.61 c #Conflicts: 843000 | #Constraints: 32828
1596.35/1600.61 c #Conflicts: 844000 | #Constraints: 33828
1596.35/1600.61 c #Conflicts: 845000 | #Constraints: 34828
1596.35/1600.61 c #Conflicts: 846000 | #Constraints: 35828
1596.35/1600.61 c INPROCESSING
1596.35/1600.61 c GARBAGE COLLECT
1596.35/1600.61 c #Conflicts: 847000 | #Constraints: 18623
1596.35/1600.61 c #Conflicts: 848000 | #Constraints: 19623
1596.35/1600.61 c #Conflicts: 849000 | #Constraints: 20623
1596.35/1600.61 c #Conflicts: 850000 | #Constraints: 21623
1596.35/1600.61 c #Conflicts: 851000 | #Constraints: 22623
1596.35/1600.61 c #Conflicts: 852000 | #Constraints: 23623
1596.35/1600.61 c #Conflicts: 853000 | #Constraints: 24623
1596.35/1600.61 c #Conflicts: 854000 | #Constraints: 25623
1596.35/1600.61 c #Conflicts: 855000 | #Constraints: 26623
1596.35/1600.61 c #Conflicts: 856000 | #Constraints: 27623
1596.35/1600.61 c #Conflicts: 857000 | #Constraints: 28623
1596.35/1600.61 c #Conflicts: 858000 | #Constraints: 29623
1596.35/1600.61 c #Conflicts: 859000 | #Constraints: 30623
1596.35/1600.61 c #Conflicts: 860000 | #Constraints: 31623
1596.35/1600.61 c #Conflicts: 861000 | #Constraints: 32623
1596.35/1600.61 c #Conflicts: 862000 | #Constraints: 33623
1596.35/1600.61 c #Conflicts: 863000 | #Constraints: 34623
1596.35/1600.61 c #Conflicts: 864000 | #Constraints: 35623
1596.35/1600.61 c #Conflicts: 865000 | #Constraints: 36623
1596.35/1600.61 c INPROCESSING
1596.35/1600.61 c GARBAGE COLLECT
1596.35/1600.61 c #Conflicts: 866000 | #Constraints: 19224
1596.35/1600.61 c #Conflicts: 867000 | #Constraints: 20224
1596.35/1600.61 c #Conflicts: 868000 | #Constraints: 21224
1596.35/1600.61 c #Conflicts: 869000 | #Constraints: 22224
1596.35/1600.61 c #Conflicts: 870000 | #Constraints: 23224
1596.35/1600.61 c #Conflicts: 871000 | #Constraints: 24224
1596.35/1600.61 c #Conflicts: 872000 | #Constraints: 25224
1596.35/1600.61 c #Conflicts: 873000 | #Constraints: 26224
1596.35/1600.61 c #Conflicts: 874000 | #Constraints: 27224
1596.35/1600.61 c #Conflicts: 875000 | #Constraints: 28224
1596.35/1600.61 c #Conflicts: 876000 | #Constraints: 29224
1596.35/1600.61 c #Conflicts: 877000 | #Constraints: 30224
1596.35/1600.61 c #Conflicts: 878000 | #Constraints: 31224
1596.35/1600.61 c #Conflicts: 879000 | #Constraints: 32224
1596.35/1600.61 c #Conflicts: 880000 | #Constraints: 33224
1596.35/1600.61 c #Conflicts: 881000 | #Constraints: 34224
1596.35/1600.61 c #Conflicts: 882000 | #Constraints: 35224
1596.35/1600.61 c #Conflicts: 883000 | #Constraints: 36224
1596.35/1600.61 c #Conflicts: 884000 | #Constraints: 37224
1596.35/1600.61 c INPROCESSING
1596.35/1600.61 c GARBAGE COLLECT
1596.35/1600.61 c #Conflicts: 885000 | #Constraints: 19627
1596.35/1600.61 c #Conflicts: 886000 | #Constraints: 20627
1596.35/1600.61 c #Conflicts: 887000 | #Constraints: 21627
1596.35/1600.61 c #Conflicts: 888000 | #Constraints: 22627
1596.35/1600.61 c #Conflicts: 889000 | #Constraints: 23627
1596.35/1600.61 c #Conflicts: 890000 | #Constraints: 24627
1596.35/1600.61 c #Conflicts: 891000 | #Constraints: 25627
1596.35/1600.61 c #Conflicts: 892000 | #Constraints: 26627
1768.23/1772.95 c #Conflicts: 893000 | #Constraints: 27627
1768.23/1772.95 c #Conflicts: 894000 | #Constraints: 28627
1768.23/1772.95 c #Conflicts: 895000 | #Constraints: 29627
1768.23/1772.95 c #Conflicts: 896000 | #Constraints: 30627
1768.23/1772.95 c #Conflicts: 897000 | #Constraints: 31627
1768.23/1772.95 c #Conflicts: 898000 | #Constraints: 32627
1768.23/1772.95 c #Conflicts: 899000 | #Constraints: 33627
1768.23/1772.95 c #Conflicts: 900000 | #Constraints: 34627
1768.23/1772.95 c #Conflicts: 901000 | #Constraints: 35627
1768.23/1772.95 c #Conflicts: 902000 | #Constraints: 36627
1768.23/1772.95 c #Conflicts: 903000 | #Constraints: 37627
1768.23/1772.95 c INPROCESSING
1768.23/1772.95 c GARBAGE COLLECT
1768.23/1772.95 c #Conflicts: 904000 | #Constraints: 19823
1768.23/1772.95 c #Conflicts: 905000 | #Constraints: 20823
1768.23/1772.95 c #Conflicts: 906000 | #Constraints: 21823
1768.23/1772.95 c #Conflicts: 907000 | #Constraints: 22823
1768.23/1772.95 c #Conflicts: 908000 | #Constraints: 23823
1768.23/1772.95 c #Conflicts: 909000 | #Constraints: 24823
1768.23/1772.95 c #Conflicts: 910000 | #Constraints: 25823
1768.23/1772.95 c #Conflicts: 911000 | #Constraints: 26823
1768.23/1772.95 c #Conflicts: 912000 | #Constraints: 27823
1768.23/1772.95 c #Conflicts: 913000 | #Constraints: 28823
1768.23/1772.95 c #Conflicts: 914000 | #Constraints: 29823
1768.23/1772.95 c #Conflicts: 915000 | #Constraints: 30823
1768.23/1772.95 c #Conflicts: 916000 | #Constraints: 31823
1768.23/1772.95 c #Conflicts: 917000 | #Constraints: 32823
1768.23/1772.95 c #Conflicts: 918000 | #Constraints: 33823
1768.23/1772.95 c #Conflicts: 919000 | #Constraints: 34823
1768.23/1772.95 c #Conflicts: 920000 | #Constraints: 35823
1768.23/1772.95 c #Conflicts: 921000 | #Constraints: 36823
1768.23/1772.95 c #Conflicts: 922000 | #Constraints: 37823
1768.23/1772.95 c INPROCESSING
1768.23/1772.95 c GARBAGE COLLECT
1768.23/1772.95 c #Conflicts: 923000 | #Constraints: 19824
1768.23/1772.95 c #Conflicts: 924000 | #Constraints: 20824
1768.23/1772.95 c #Conflicts: 925000 | #Constraints: 21824
1768.23/1772.95 c #Conflicts: 926000 | #Constraints: 22824
1768.23/1772.95 c #Conflicts: 927000 | #Constraints: 23824
1768.23/1772.95 c #Conflicts: 928000 | #Constraints: 24824
1768.23/1772.95 c #Conflicts: 929000 | #Constraints: 25824
1768.23/1772.95 c #Conflicts: 930000 | #Constraints: 26824
1768.23/1772.95 c #Conflicts: 931000 | #Constraints: 27824
1768.23/1772.95 c #Conflicts: 932000 | #Constraints: 28824
1768.23/1772.95 c #Conflicts: 933000 | #Constraints: 29824
1768.23/1772.95 c #Conflicts: 934000 | #Constraints: 30824
1768.23/1772.95 c #Conflicts: 935000 | #Constraints: 31824
1768.23/1772.95 c #Conflicts: 936000 | #Constraints: 32824
1768.23/1772.95 c #Conflicts: 937000 | #Constraints: 33824
1768.23/1772.95 c #Conflicts: 938000 | #Constraints: 34824
1768.23/1772.95 c #Conflicts: 939000 | #Constraints: 35824
1768.23/1772.95 c #Conflicts: 940000 | #Constraints: 36824
1768.23/1772.95 c #Conflicts: 941000 | #Constraints: 37824
1768.23/1772.95 c INPROCESSING
1768.23/1772.95 c GARBAGE COLLECT
1768.23/1772.95 c #Conflicts: 942000 | #Constraints: 19626
1768.23/1772.95 c #Conflicts: 943000 | #Constraints: 20626
1768.23/1772.95 c #Conflicts: 944000 | #Constraints: 21626
1768.23/1772.95 c #Conflicts: 945000 | #Constraints: 22626
1768.23/1772.95 c #Conflicts: 946000 | #Constraints: 23626
1768.23/1772.95 c #Conflicts: 947000 | #Constraints: 24626
1768.23/1772.95 c #Conflicts: 948000 | #Constraints: 25626
1768.23/1772.95 c #Conflicts: 949000 | #Constraints: 26626
1768.23/1772.95 c #Conflicts: 950000 | #Constraints: 27626
1768.23/1772.95 c #Conflicts: 951000 | #Constraints: 28626
1768.23/1772.95 c #Conflicts: 952000 | #Constraints: 29626
1768.23/1772.95 c #Conflicts: 953000 | #Constraints: 30626
1768.23/1772.95 c #Conflicts: 954000 | #Constraints: 31626
1768.23/1772.95 c #Conflicts: 955000 | #Constraints: 32626
1768.23/1772.95 c #Conflicts: 956000 | #Constraints: 33626
1768.23/1772.95 c #Conflicts: 957000 | #Constraints: 34626
1768.23/1772.95 c #Conflicts: 958000 | #Constraints: 35626
1768.23/1772.95 c #Conflicts: 959000 | #Constraints: 36626
1768.23/1772.95 c #Conflicts: 960000 | #Constraints: 37626
1768.23/1772.95 c #Conflicts: 961000 | #Constraints: 38626
1768.23/1772.95 c INPROCESSING
1768.23/1772.95 c GARBAGE COLLECT
1768.23/1772.95 c #Conflicts: 962000 | #Constraints: 20227
1768.23/1772.95 c #Conflicts: 963000 | #Constraints: 21227
1768.23/1772.95 c #Conflicts: 964000 | #Constraints: 22227
1768.23/1772.95 c #Conflicts: 965000 | #Constraints: 23227
1768.23/1772.95 c #Conflicts: 966000 | #Constraints: 24227
1768.23/1772.95 c #Conflicts: 967000 | #Constraints: 25227
1768.23/1772.95 c #Conflicts: 968000 | #Constraints: 26227
1973.50/1978.76 c #Conflicts: 969000 | #Constraints: 27227
1973.50/1978.76 c #Conflicts: 970000 | #Constraints: 28227
1973.50/1978.76 c #Conflicts: 971000 | #Constraints: 29227
1973.50/1978.76 c #Conflicts: 972000 | #Constraints: 30227
1973.50/1978.76 c #Conflicts: 973000 | #Constraints: 31227
1973.50/1978.76 c #Conflicts: 974000 | #Constraints: 32227
1973.50/1978.76 c #Conflicts: 975000 | #Constraints: 33227
1973.50/1978.76 c #Conflicts: 976000 | #Constraints: 34227
1973.50/1978.76 c #Conflicts: 977000 | #Constraints: 35227
1973.50/1978.76 c #Conflicts: 978000 | #Constraints: 36227
1973.50/1978.76 c #Conflicts: 979000 | #Constraints: 37227
1973.50/1978.76 c #Conflicts: 980000 | #Constraints: 38227
1973.50/1978.76 c #Conflicts: 981000 | #Constraints: 39227
1973.50/1978.76 c INPROCESSING
1973.50/1978.76 c GARBAGE COLLECT
1973.50/1978.76 c #Conflicts: 982000 | #Constraints: 20627
1973.50/1978.76 c #Conflicts: 983000 | #Constraints: 21627
1973.50/1978.76 c #Conflicts: 984000 | #Constraints: 22627
1973.50/1978.76 c #Conflicts: 985000 | #Constraints: 23627
1973.50/1978.76 c #Conflicts: 986000 | #Constraints: 24627
1973.50/1978.76 c #Conflicts: 987000 | #Constraints: 25627
1973.50/1978.76 c #Conflicts: 988000 | #Constraints: 26627
1973.50/1978.76 c #Conflicts: 989000 | #Constraints: 27627
1973.50/1978.76 c #Conflicts: 990000 | #Constraints: 28627
1973.50/1978.76 c #Conflicts: 991000 | #Constraints: 29627
1973.50/1978.76 c #Conflicts: 992000 | #Constraints: 30627
1973.50/1978.76 c #Conflicts: 993000 | #Constraints: 31627
1973.50/1978.76 c #Conflicts: 994000 | #Constraints: 32627
1973.50/1978.76 c #Conflicts: 995000 | #Constraints: 33627
1973.50/1978.76 c #Conflicts: 996000 | #Constraints: 34627
1973.50/1978.76 c #Conflicts: 997000 | #Constraints: 35627
1973.50/1978.76 c #Conflicts: 998000 | #Constraints: 36627
1973.50/1978.76 c #Conflicts: 999000 | #Constraints: 37627
1973.50/1978.76 c #Conflicts: 1000000 | #Constraints: 38627
1973.50/1978.76 c #Conflicts: 1001000 | #Constraints: 39627
1973.50/1978.76 c INPROCESSING
1973.50/1978.76 c GARBAGE COLLECT
1973.50/1978.76 c #Conflicts: 1002000 | #Constraints: 20828
1973.50/1978.76 c #Conflicts: 1003000 | #Constraints: 21828
1973.50/1978.76 c #Conflicts: 1004000 | #Constraints: 22828
1973.50/1978.76 c #Conflicts: 1005000 | #Constraints: 23828
1973.50/1978.76 c #Conflicts: 1006000 | #Constraints: 24828
1973.50/1978.76 c #Conflicts: 1007000 | #Constraints: 25828
1973.50/1978.76 c #Conflicts: 1008000 | #Constraints: 26828
1973.50/1978.76 c #Conflicts: 1009000 | #Constraints: 27828
1973.50/1978.76 c #Conflicts: 1010000 | #Constraints: 28828
1973.50/1978.76 c #Conflicts: 1011000 | #Constraints: 29828
1973.50/1978.76 c #Conflicts: 1012000 | #Constraints: 30828
1973.50/1978.76 c #Conflicts: 1013000 | #Constraints: 31828
1973.50/1978.76 c #Conflicts: 1014000 | #Constraints: 32828
1973.50/1978.76 c #Conflicts: 1015000 | #Constraints: 33828
1973.50/1978.76 c #Conflicts: 1016000 | #Constraints: 34828
1973.50/1978.76 c #Conflicts: 1017000 | #Constraints: 35828
1973.50/1978.76 c #Conflicts: 1018000 | #Constraints: 36828
1973.50/1978.76 c #Conflicts: 1019000 | #Constraints: 37828
1973.50/1978.76 c #Conflicts: 1020000 | #Constraints: 38828
1973.50/1978.76 c #Conflicts: 1021000 | #Constraints: 39828
1973.50/1978.76 c INPROCESSING
1973.50/1978.76 c GARBAGE COLLECT
1973.50/1978.76 c #Conflicts: 1022000 | #Constraints: 20830
1973.50/1978.76 c #Conflicts: 1023000 | #Constraints: 21830
1973.50/1978.76 c #Conflicts: 1024000 | #Constraints: 22830
1973.50/1978.76 c #Conflicts: 1025000 | #Constraints: 23830
1973.50/1978.76 c #Conflicts: 1026000 | #Constraints: 24830
1973.50/1978.76 c #Conflicts: 1027000 | #Constraints: 25830
1973.50/1978.76 c #Conflicts: 1028000 | #Constraints: 26830
1973.50/1978.76 c #Conflicts: 1029000 | #Constraints: 27830
1973.50/1978.76 c #Conflicts: 1030000 | #Constraints: 28830
1973.50/1978.76 c #Conflicts: 1031000 | #Constraints: 29830
1973.50/1978.76 c #Conflicts: 1032000 | #Constraints: 30830
1973.50/1978.76 c #Conflicts: 1033000 | #Constraints: 31830
1973.50/1978.76 c #Conflicts: 1034000 | #Constraints: 32830
1973.50/1978.76 c #Conflicts: 1035000 | #Constraints: 33830
1973.50/1978.76 c #Conflicts: 1036000 | #Constraints: 34830
1973.50/1978.76 c #Conflicts: 1037000 | #Constraints: 35830
1973.50/1978.76 c #Conflicts: 1038000 | #Constraints: 36830
1973.50/1978.76 c #Conflicts: 1039000 | #Constraints: 37830
1973.50/1978.76 c #Conflicts: 1040000 | #Constraints: 38830
1973.50/1978.76 c #Conflicts: 1041000 | #Constraints: 39830
1973.50/1978.76 c INPROCESSING
1973.50/1978.76 c GARBAGE COLLECT
1973.50/1978.76 c #Conflicts: 1042000 | #Constraints: 20630
1973.50/1978.76 c #Conflicts: 1043000 | #Constraints: 21630
1973.50/1978.76 c #Conflicts: 1044000 | #Constraints: 22630
2206.43/2212.36 c #Conflicts: 1045000 | #Constraints: 23630
2206.43/2212.36 c #Conflicts: 1046000 | #Constraints: 24630
2206.43/2212.36 c #Conflicts: 1047000 | #Constraints: 25630
2206.43/2212.36 c #Conflicts: 1048000 | #Constraints: 26630
2206.43/2212.36 c #Conflicts: 1049000 | #Constraints: 27630
2206.43/2212.36 c #Conflicts: 1050000 | #Constraints: 28630
2206.43/2212.36 c #Conflicts: 1051000 | #Constraints: 29630
2206.43/2212.36 c #Conflicts: 1052000 | #Constraints: 30630
2206.43/2212.36 c #Conflicts: 1053000 | #Constraints: 31630
2206.43/2212.36 c #Conflicts: 1054000 | #Constraints: 32630
2206.43/2212.36 c #Conflicts: 1055000 | #Constraints: 33630
2206.43/2212.36 c #Conflicts: 1056000 | #Constraints: 34630
2206.43/2212.36 c #Conflicts: 1057000 | #Constraints: 35630
2206.43/2212.36 c #Conflicts: 1058000 | #Constraints: 36630
2206.43/2212.36 c #Conflicts: 1059000 | #Constraints: 37630
2206.43/2212.36 c #Conflicts: 1060000 | #Constraints: 38630
2206.43/2212.36 c #Conflicts: 1061000 | #Constraints: 39630
2206.43/2212.36 c #Conflicts: 1062000 | #Constraints: 40630
2206.43/2212.36 c INPROCESSING
2206.43/2212.36 c GARBAGE COLLECT
2206.43/2212.36 c #Conflicts: 1063000 | #Constraints: 21229
2206.43/2212.36 c #Conflicts: 1064000 | #Constraints: 22229
2206.43/2212.36 c #Conflicts: 1065000 | #Constraints: 23229
2206.43/2212.36 c #Conflicts: 1066000 | #Constraints: 24229
2206.43/2212.36 c #Conflicts: 1067000 | #Constraints: 25229
2206.43/2212.36 c #Conflicts: 1068000 | #Constraints: 26229
2206.43/2212.36 c #Conflicts: 1069000 | #Constraints: 27229
2206.43/2212.36 c #Conflicts: 1070000 | #Constraints: 28229
2206.43/2212.36 c #Conflicts: 1071000 | #Constraints: 29229
2206.43/2212.36 c #Conflicts: 1072000 | #Constraints: 30229
2206.43/2212.36 c #Conflicts: 1073000 | #Constraints: 31229
2206.43/2212.36 c #Conflicts: 1074000 | #Constraints: 32229
2206.43/2212.36 c #Conflicts: 1075000 | #Constraints: 33229
2206.43/2212.36 c #Conflicts: 1076000 | #Constraints: 34229
2206.43/2212.36 c #Conflicts: 1077000 | #Constraints: 35229
2206.43/2212.36 c #Conflicts: 1078000 | #Constraints: 36229
2206.43/2212.36 c #Conflicts: 1079000 | #Constraints: 37229
2206.43/2212.36 c #Conflicts: 1080000 | #Constraints: 38229
2206.43/2212.36 c #Conflicts: 1081000 | #Constraints: 39229
2206.43/2212.36 c #Conflicts: 1082000 | #Constraints: 40229
2206.43/2212.36 c #Conflicts: 1083000 | #Constraints: 41229
2206.43/2212.36 c INPROCESSING
2206.43/2212.36 c GARBAGE COLLECT
2206.43/2212.36 c #Conflicts: 1084000 | #Constraints: 21627
2206.43/2212.36 c #Conflicts: 1085000 | #Constraints: 22627
2206.43/2212.36 c #Conflicts: 1086000 | #Constraints: 23627
2206.43/2212.36 c #Conflicts: 1087000 | #Constraints: 24627
2206.43/2212.36 c #Conflicts: 1088000 | #Constraints: 25627
2206.43/2212.36 c #Conflicts: 1089000 | #Constraints: 26627
2206.43/2212.36 c #Conflicts: 1090000 | #Constraints: 27627
2206.43/2212.36 c #Conflicts: 1091000 | #Constraints: 28627
2206.43/2212.36 c #Conflicts: 1092000 | #Constraints: 29627
2206.43/2212.36 c #Conflicts: 1093000 | #Constraints: 30627
2206.43/2212.36 c #Conflicts: 1094000 | #Constraints: 31627
2206.43/2212.36 c #Conflicts: 1095000 | #Constraints: 32627
2206.43/2212.36 c #Conflicts: 1096000 | #Constraints: 33627
2206.43/2212.36 c #Conflicts: 1097000 | #Constraints: 34627
2206.43/2212.36 c #Conflicts: 1098000 | #Constraints: 35627
2206.43/2212.36 c #Conflicts: 1099000 | #Constraints: 36627
2206.43/2212.36 c #Conflicts: 1100000 | #Constraints: 37627
2206.43/2212.36 c #Conflicts: 1101000 | #Constraints: 38627
2206.43/2212.36 c #Conflicts: 1102000 | #Constraints: 39627
2206.43/2212.36 c #Conflicts: 1103000 | #Constraints: 40627
2206.43/2212.36 c #Conflicts: 1104000 | #Constraints: 41627
2206.43/2212.36 c INPROCESSING
2206.43/2212.36 c GARBAGE COLLECT
2206.43/2212.36 c #Conflicts: 1105000 | #Constraints: 21831
2206.43/2212.36 c #Conflicts: 1106000 | #Constraints: 22831
2206.43/2212.36 c #Conflicts: 1107000 | #Constraints: 23831
2206.43/2212.36 c #Conflicts: 1108000 | #Constraints: 24831
2206.43/2212.36 c #Conflicts: 1109000 | #Constraints: 25831
2206.43/2212.36 c #Conflicts: 1110000 | #Constraints: 26831
2206.43/2212.36 c #Conflicts: 1111000 | #Constraints: 27831
2206.43/2212.36 c #Conflicts: 1112000 | #Constraints: 28831
2206.43/2212.36 c #Conflicts: 1113000 | #Constraints: 29831
2206.43/2212.36 c #Conflicts: 1114000 | #Constraints: 30831
2206.43/2212.36 c #Conflicts: 1115000 | #Constraints: 31831
2206.43/2212.36 c #Conflicts: 1116000 | #Constraints: 32831
2206.43/2212.36 c #Conflicts: 1117000 | #Constraints: 33831
2206.43/2212.36 c #Conflicts: 1118000 | #Constraints: 34831
2206.43/2212.36 c #Conflicts: 1119000 | #Constraints: 35831
2206.43/2212.36 c #Conflicts: 1120000 | #Constraints: 36831
2206.43/2212.36 c #Conflicts: 1121000 | #Constraints: 37831
2403.13/2409.50 c #Conflicts: 1122000 | #Constraints: 38831
2403.13/2409.50 c #Conflicts: 1123000 | #Constraints: 39831
2403.13/2409.50 c #Conflicts: 1124000 | #Constraints: 40831
2403.13/2409.50 c #Conflicts: 1125000 | #Constraints: 41831
2403.13/2409.50 c INPROCESSING
2403.13/2409.50 c GARBAGE COLLECT
2403.13/2409.50 c #Conflicts: 1126000 | #Constraints: 21827
2403.13/2409.50 c #Conflicts: 1127000 | #Constraints: 22827
2403.13/2409.50 c #Conflicts: 1128000 | #Constraints: 23827
2403.13/2409.50 c #Conflicts: 1129000 | #Constraints: 24827
2403.13/2409.50 c #Conflicts: 1130000 | #Constraints: 25827
2403.13/2409.50 c #Conflicts: 1131000 | #Constraints: 26827
2403.13/2409.50 c #Conflicts: 1132000 | #Constraints: 27827
2403.13/2409.50 c #Conflicts: 1133000 | #Constraints: 28827
2403.13/2409.50 c #Conflicts: 1134000 | #Constraints: 29827
2403.13/2409.50 c #Conflicts: 1135000 | #Constraints: 30827
2403.13/2409.50 c #Conflicts: 1136000 | #Constraints: 31827
2403.13/2409.50 c #Conflicts: 1137000 | #Constraints: 32827
2403.13/2409.50 c #Conflicts: 1138000 | #Constraints: 33827
2403.13/2409.50 c #Conflicts: 1139000 | #Constraints: 34827
2403.13/2409.50 c #Conflicts: 1140000 | #Constraints: 35827
2403.13/2409.50 c #Conflicts: 1141000 | #Constraints: 36827
2403.13/2409.50 c #Conflicts: 1142000 | #Constraints: 37827
2403.13/2409.50 c #Conflicts: 1143000 | #Constraints: 38827
2403.13/2409.50 c #Conflicts: 1144000 | #Constraints: 39827
2403.13/2409.50 c #Conflicts: 1145000 | #Constraints: 40827
2403.13/2409.50 c #Conflicts: 1146000 | #Constraints: 41827
2403.13/2409.50 c INPROCESSING
2403.13/2409.50 c GARBAGE COLLECT
2403.13/2409.50 c #Conflicts: 1147000 | #Constraints: 21625
2403.13/2409.50 c #Conflicts: 1148000 | #Constraints: 22625
2403.13/2409.50 c #Conflicts: 1149000 | #Constraints: 23625
2403.13/2409.50 c #Conflicts: 1150000 | #Constraints: 24625
2403.13/2409.50 c #Conflicts: 1151000 | #Constraints: 25625
2403.13/2409.50 c #Conflicts: 1152000 | #Constraints: 26625
2403.13/2409.50 c #Conflicts: 1153000 | #Constraints: 27625
2403.13/2409.50 c #Conflicts: 1154000 | #Constraints: 28625
2403.13/2409.50 c #Conflicts: 1155000 | #Constraints: 29625
2403.13/2409.50 c #Conflicts: 1156000 | #Constraints: 30625
2403.13/2409.50 c #Conflicts: 1157000 | #Constraints: 31625
2403.13/2409.50 c #Conflicts: 1158000 | #Constraints: 32625
2403.13/2409.50 c #Conflicts: 1159000 | #Constraints: 33625
2403.13/2409.50 c #Conflicts: 1160000 | #Constraints: 34625
2403.13/2409.50 c #Conflicts: 1161000 | #Constraints: 35625
2403.13/2409.50 c #Conflicts: 1162000 | #Constraints: 36625
2403.13/2409.50 c #Conflicts: 1163000 | #Constraints: 37625
2403.13/2409.50 c #Conflicts: 1164000 | #Constraints: 38625
2403.13/2409.50 c #Conflicts: 1165000 | #Constraints: 39625
2403.13/2409.50 c #Conflicts: 1166000 | #Constraints: 40625
2403.13/2409.50 c #Conflicts: 1167000 | #Constraints: 41625
2403.13/2409.50 c #Conflicts: 1168000 | #Constraints: 42625
2403.13/2409.50 c INPROCESSING
2403.13/2409.50 c GARBAGE COLLECT
2403.13/2409.50 c #Conflicts: 1169000 | #Constraints: 22225
2403.13/2409.50 c #Conflicts: 1170000 | #Constraints: 23225
2403.13/2409.50 c #Conflicts: 1171000 | #Constraints: 24225
2403.13/2409.50 c #Conflicts: 1172000 | #Constraints: 25225
2403.13/2409.50 c #Conflicts: 1173000 | #Constraints: 26225
2403.13/2409.50 c #Conflicts: 1174000 | #Constraints: 27225
2403.13/2409.50 c #Conflicts: 1175000 | #Constraints: 28225
2403.13/2409.50 c #Conflicts: 1176000 | #Constraints: 29225
2403.13/2409.50 c #Conflicts: 1177000 | #Constraints: 30225
2403.13/2409.50 c #Conflicts: 1178000 | #Constraints: 31225
2403.13/2409.50 c #Conflicts: 1179000 | #Constraints: 32225
2403.13/2409.50 c #Conflicts: 1180000 | #Constraints: 33225
2403.13/2409.50 c #Conflicts: 1181000 | #Constraints: 34225
2403.13/2409.50 c #Conflicts: 1182000 | #Constraints: 35225
2403.13/2409.50 c #Conflicts: 1183000 | #Constraints: 36225
2403.13/2409.50 c #Conflicts: 1184000 | #Constraints: 37225
2403.13/2409.50 c #Conflicts: 1185000 | #Constraints: 38225
2403.13/2409.50 c #Conflicts: 1186000 | #Constraints: 39225
2403.13/2409.50 c #Conflicts: 1187000 | #Constraints: 40225
2403.13/2409.50 c #Conflicts: 1188000 | #Constraints: 41225
2403.13/2409.50 c #Conflicts: 1189000 | #Constraints: 42225
2403.13/2409.50 c #Conflicts: 1190000 | #Constraints: 43225
2403.13/2409.50 c INPROCESSING
2403.13/2409.50 c GARBAGE COLLECT
2403.13/2409.50 c #Conflicts: 1191000 | #Constraints: 22627
2403.13/2409.50 c #Conflicts: 1192000 | #Constraints: 23627
2403.13/2409.50 c #Conflicts: 1193000 | #Constraints: 24627
2403.13/2409.50 c #Conflicts: 1194000 | #Constraints: 25627
2403.13/2409.50 c #Conflicts: 1195000 | #Constraints: 26627
2403.13/2409.50 c #Conflicts: 1196000 | #Constraints: 27627
2403.13/2409.50 c #Conflicts: 1197000 | #Constraints: 28627
2615.02/2621.98 c #Conflicts: 1198000 | #Constraints: 29627
2615.02/2621.98 c #Conflicts: 1199000 | #Constraints: 30627
2615.02/2621.98 c #Conflicts: 1200000 | #Constraints: 31627
2615.02/2621.98 c #Conflicts: 1201000 | #Constraints: 32627
2615.02/2621.98 c #Conflicts: 1202000 | #Constraints: 33627
2615.02/2621.98 c #Conflicts: 1203000 | #Constraints: 34627
2615.02/2621.98 c #Conflicts: 1204000 | #Constraints: 35627
2615.02/2621.98 c #Conflicts: 1205000 | #Constraints: 36627
2615.02/2621.98 c #Conflicts: 1206000 | #Constraints: 37627
2615.02/2621.98 c #Conflicts: 1207000 | #Constraints: 38627
2615.02/2621.98 c #Conflicts: 1208000 | #Constraints: 39627
2615.02/2621.98 c #Conflicts: 1209000 | #Constraints: 40627
2615.02/2621.98 c #Conflicts: 1210000 | #Constraints: 41627
2615.02/2621.98 c #Conflicts: 1211000 | #Constraints: 42627
2615.02/2621.98 c #Conflicts: 1212000 | #Constraints: 43627
2615.02/2621.98 c INPROCESSING
2615.02/2621.98 c GARBAGE COLLECT
2615.02/2621.98 c #Conflicts: 1213000 | #Constraints: 22829
2615.02/2621.98 c #Conflicts: 1214000 | #Constraints: 23829
2615.02/2621.98 c #Conflicts: 1215000 | #Constraints: 24829
2615.02/2621.98 c #Conflicts: 1216000 | #Constraints: 25829
2615.02/2621.98 c #Conflicts: 1217000 | #Constraints: 26829
2615.02/2621.98 c #Conflicts: 1218000 | #Constraints: 27829
2615.02/2621.98 c #Conflicts: 1219000 | #Constraints: 28829
2615.02/2621.98 c #Conflicts: 1220000 | #Constraints: 29829
2615.02/2621.98 c #Conflicts: 1221000 | #Constraints: 30829
2615.02/2621.98 c #Conflicts: 1222000 | #Constraints: 31829
2615.02/2621.98 c #Conflicts: 1223000 | #Constraints: 32829
2615.02/2621.98 c #Conflicts: 1224000 | #Constraints: 33829
2615.02/2621.98 c #Conflicts: 1225000 | #Constraints: 34829
2615.02/2621.98 c #Conflicts: 1226000 | #Constraints: 35829
2615.02/2621.98 c #Conflicts: 1227000 | #Constraints: 36829
2615.02/2621.98 c #Conflicts: 1228000 | #Constraints: 37829
2615.02/2621.98 c #Conflicts: 1229000 | #Constraints: 38829
2615.02/2621.98 c #Conflicts: 1230000 | #Constraints: 39829
2615.02/2621.98 c #Conflicts: 1231000 | #Constraints: 40829
2615.02/2621.98 c #Conflicts: 1232000 | #Constraints: 41829
2615.02/2621.98 c #Conflicts: 1233000 | #Constraints: 42829
2615.02/2621.98 c #Conflicts: 1234000 | #Constraints: 43829
2615.02/2621.98 c INPROCESSING
2615.02/2621.98 c GARBAGE COLLECT
2615.02/2621.98 c #Conflicts: 1235000 | #Constraints: 22826
2615.02/2621.98 c #Conflicts: 1236000 | #Constraints: 23826
2615.02/2621.98 c #Conflicts: 1237000 | #Constraints: 24826
2615.02/2621.98 c #Conflicts: 1238000 | #Constraints: 25826
2615.02/2621.98 c #Conflicts: 1239000 | #Constraints: 26826
2615.02/2621.98 c #Conflicts: 1240000 | #Constraints: 27826
2615.02/2621.98 c #Conflicts: 1241000 | #Constraints: 28826
2615.02/2621.98 c #Conflicts: 1242000 | #Constraints: 29826
2615.02/2621.98 c #Conflicts: 1243000 | #Constraints: 30826
2615.02/2621.98 c #Conflicts: 1244000 | #Constraints: 31826
2615.02/2621.98 c #Conflicts: 1245000 | #Constraints: 32826
2615.02/2621.98 c #Conflicts: 1246000 | #Constraints: 33826
2615.02/2621.98 c #Conflicts: 1247000 | #Constraints: 34826
2615.02/2621.98 c #Conflicts: 1248000 | #Constraints: 35826
2615.02/2621.98 c #Conflicts: 1249000 | #Constraints: 36826
2615.02/2621.98 c #Conflicts: 1250000 | #Constraints: 37826
2615.02/2621.98 c #Conflicts: 1251000 | #Constraints: 38826
2615.02/2621.98 c #Conflicts: 1252000 | #Constraints: 39826
2615.02/2621.98 c #Conflicts: 1253000 | #Constraints: 40826
2615.02/2621.98 c #Conflicts: 1254000 | #Constraints: 41826
2615.02/2621.98 c #Conflicts: 1255000 | #Constraints: 42826
2615.02/2621.98 c #Conflicts: 1256000 | #Constraints: 43826
2615.02/2621.98 c INPROCESSING
2615.02/2621.98 c GARBAGE COLLECT
2615.02/2621.98 c #Conflicts: 1257000 | #Constraints: 22625
2615.02/2621.98 c #Conflicts: 1258000 | #Constraints: 23625
2615.02/2621.98 c #Conflicts: 1259000 | #Constraints: 24625
2615.02/2621.98 c #Conflicts: 1260000 | #Constraints: 25625
2615.02/2621.98 c #Conflicts: 1261000 | #Constraints: 26625
2615.02/2621.98 c #Conflicts: 1262000 | #Constraints: 27625
2615.02/2621.98 c #Conflicts: 1263000 | #Constraints: 28625
2615.02/2621.98 c #Conflicts: 1264000 | #Constraints: 29625
2615.02/2621.98 c #Conflicts: 1265000 | #Constraints: 30625
2615.02/2621.98 c #Conflicts: 1266000 | #Constraints: 31625
2615.02/2621.98 c #Conflicts: 1267000 | #Constraints: 32625
2615.02/2621.98 c #Conflicts: 1268000 | #Constraints: 33625
2615.02/2621.98 c #Conflicts: 1269000 | #Constraints: 34625
2615.02/2621.98 c #Conflicts: 1270000 | #Constraints: 35625
2615.02/2621.98 c #Conflicts: 1271000 | #Constraints: 36625
2615.02/2621.98 c #Conflicts: 1272000 | #Constraints: 37625
2615.02/2621.98 c #Conflicts: 1273000 | #Constraints: 38625
2615.02/2621.98 c #Conflicts: 1274000 | #Constraints: 39625
2837.58/2845.06 c #Conflicts: 1275000 | #Constraints: 40625
2837.58/2845.06 c #Conflicts: 1276000 | #Constraints: 41625
2837.58/2845.06 c #Conflicts: 1277000 | #Constraints: 42625
2837.58/2845.06 c #Conflicts: 1278000 | #Constraints: 43625
2837.58/2845.06 c #Conflicts: 1279000 | #Constraints: 44625
2837.58/2845.06 c INPROCESSING
2837.58/2845.06 c GARBAGE COLLECT
2837.58/2845.06 c #Conflicts: 1280000 | #Constraints: 23224
2837.58/2845.06 c #Conflicts: 1281000 | #Constraints: 24224
2837.58/2845.06 c #Conflicts: 1282000 | #Constraints: 25224
2837.58/2845.06 c #Conflicts: 1283000 | #Constraints: 26224
2837.58/2845.06 c #Conflicts: 1284000 | #Constraints: 27224
2837.58/2845.06 c #Conflicts: 1285000 | #Constraints: 28224
2837.58/2845.06 c #Conflicts: 1286000 | #Constraints: 29224
2837.58/2845.06 c #Conflicts: 1287000 | #Constraints: 30224
2837.58/2845.06 c #Conflicts: 1288000 | #Constraints: 31224
2837.58/2845.06 c #Conflicts: 1289000 | #Constraints: 32224
2837.58/2845.06 c #Conflicts: 1290000 | #Constraints: 33224
2837.58/2845.06 c #Conflicts: 1291000 | #Constraints: 34224
2837.58/2845.06 c #Conflicts: 1292000 | #Constraints: 35224
2837.58/2845.06 c #Conflicts: 1293000 | #Constraints: 36224
2837.58/2845.06 c #Conflicts: 1294000 | #Constraints: 37224
2837.58/2845.06 c #Conflicts: 1295000 | #Constraints: 38224
2837.58/2845.06 c #Conflicts: 1296000 | #Constraints: 39224
2837.58/2845.06 c #Conflicts: 1297000 | #Constraints: 40224
2837.58/2845.06 c #Conflicts: 1298000 | #Constraints: 41224
2837.58/2845.06 c #Conflicts: 1299000 | #Constraints: 42224
2837.58/2845.06 c #Conflicts: 1300000 | #Constraints: 43224
2837.58/2845.06 c #Conflicts: 1301000 | #Constraints: 44224
2837.58/2845.06 c #Conflicts: 1302000 | #Constraints: 45224
2837.58/2845.06 c INPROCESSING
2837.58/2845.06 c GARBAGE COLLECT
2837.58/2845.06 c #Conflicts: 1303000 | #Constraints: 23625
2837.58/2845.06 c #Conflicts: 1304000 | #Constraints: 24625
2837.58/2845.06 c #Conflicts: 1305000 | #Constraints: 25625
2837.58/2845.06 c #Conflicts: 1306000 | #Constraints: 26625
2837.58/2845.06 c #Conflicts: 1307000 | #Constraints: 27625
2837.58/2845.06 c #Conflicts: 1308000 | #Constraints: 28625
2837.58/2845.06 c #Conflicts: 1309000 | #Constraints: 29625
2837.58/2845.06 c #Conflicts: 1310000 | #Constraints: 30625
2837.58/2845.06 c #Conflicts: 1311000 | #Constraints: 31625
2837.58/2845.06 c #Conflicts: 1312000 | #Constraints: 32625
2837.58/2845.06 c #Conflicts: 1313000 | #Constraints: 33625
2837.58/2845.06 c #Conflicts: 1314000 | #Constraints: 34625
2837.58/2845.06 c #Conflicts: 1315000 | #Constraints: 35625
2837.58/2845.06 c #Conflicts: 1316000 | #Constraints: 36625
2837.58/2845.06 c #Conflicts: 1317000 | #Constraints: 37625
2837.58/2845.06 c #Conflicts: 1318000 | #Constraints: 38625
2837.58/2845.06 c #Conflicts: 1319000 | #Constraints: 39625
2837.58/2845.06 c #Conflicts: 1320000 | #Constraints: 40625
2837.58/2845.06 c #Conflicts: 1321000 | #Constraints: 41625
2837.58/2845.06 c #Conflicts: 1322000 | #Constraints: 42625
2837.58/2845.06 c #Conflicts: 1323000 | #Constraints: 43625
2837.58/2845.06 c #Conflicts: 1324000 | #Constraints: 44625
2837.58/2845.06 c #Conflicts: 1325000 | #Constraints: 45625
2837.58/2845.06 c INPROCESSING
2837.58/2845.06 c GARBAGE COLLECT
2837.58/2845.06 c #Conflicts: 1326000 | #Constraints: 23826
2837.58/2845.06 c #Conflicts: 1327000 | #Constraints: 24826
2837.58/2845.06 c #Conflicts: 1328000 | #Constraints: 25826
2837.58/2845.06 c #Conflicts: 1329000 | #Constraints: 26826
2837.58/2845.06 c #Conflicts: 1330000 | #Constraints: 27826
2837.58/2845.06 c #Conflicts: 1331000 | #Constraints: 28826
2837.58/2845.06 c #Conflicts: 1332000 | #Constraints: 29826
2837.58/2845.06 c #Conflicts: 1333000 | #Constraints: 30826
2837.58/2845.06 c #Conflicts: 1334000 | #Constraints: 31826
2837.58/2845.06 c #Conflicts: 1335000 | #Constraints: 32826
2837.58/2845.06 c #Conflicts: 1336000 | #Constraints: 33826
2837.58/2845.06 c #Conflicts: 1337000 | #Constraints: 34826
2837.58/2845.06 c #Conflicts: 1338000 | #Constraints: 35826
2837.58/2845.06 c #Conflicts: 1339000 | #Constraints: 36826
2837.58/2845.06 c #Conflicts: 1340000 | #Constraints: 37826
2837.58/2845.06 c #Conflicts: 1341000 | #Constraints: 38826
2837.58/2845.06 c #Conflicts: 1342000 | #Constraints: 39826
2837.58/2845.06 c #Conflicts: 1343000 | #Constraints: 40826
2837.58/2845.06 c #Conflicts: 1344000 | #Constraints: 41826
2837.58/2845.06 c #Conflicts: 1345000 | #Constraints: 42826
2837.58/2845.06 c #Conflicts: 1346000 | #Constraints: 43826
2837.58/2845.06 c #Conflicts: 1347000 | #Constraints: 44826
2837.58/2845.06 c #Conflicts: 1348000 | #Constraints: 45826
2837.58/2845.06 c INPROCESSING
2837.58/2845.06 c GARBAGE COLLECT
2837.58/2845.06 c #Conflicts: 1349000 | #Constraints: 23828
2837.58/2845.06 c #Conflicts: 1350000 | #Constraints: 24828
3053.16/3061.16 c #Conflicts: 1351000 | #Constraints: 25828
3053.16/3061.16 c #Conflicts: 1352000 | #Constraints: 26828
3053.16/3061.16 c #Conflicts: 1353000 | #Constraints: 27828
3053.16/3061.16 c #Conflicts: 1354000 | #Constraints: 28828
3053.16/3061.16 c #Conflicts: 1355000 | #Constraints: 29828
3053.16/3061.16 c #Conflicts: 1356000 | #Constraints: 30828
3053.16/3061.16 c #Conflicts: 1357000 | #Constraints: 31828
3053.16/3061.16 c #Conflicts: 1358000 | #Constraints: 32828
3053.16/3061.16 c #Conflicts: 1359000 | #Constraints: 33828
3053.16/3061.16 c #Conflicts: 1360000 | #Constraints: 34828
3053.16/3061.16 c #Conflicts: 1361000 | #Constraints: 35828
3053.16/3061.16 c #Conflicts: 1362000 | #Constraints: 36828
3053.16/3061.16 c #Conflicts: 1363000 | #Constraints: 37828
3053.16/3061.16 c #Conflicts: 1364000 | #Constraints: 38828
3053.16/3061.16 c #Conflicts: 1365000 | #Constraints: 39828
3053.16/3061.16 c #Conflicts: 1366000 | #Constraints: 40828
3053.16/3061.16 c #Conflicts: 1367000 | #Constraints: 41828
3053.16/3061.16 c #Conflicts: 1368000 | #Constraints: 42828
3053.16/3061.16 c #Conflicts: 1369000 | #Constraints: 43828
3053.16/3061.16 c #Conflicts: 1370000 | #Constraints: 44828
3053.16/3061.16 c #Conflicts: 1371000 | #Constraints: 45828
3053.16/3061.16 c INPROCESSING
3053.16/3061.16 c GARBAGE COLLECT
3053.16/3061.16 c #Conflicts: 1372000 | #Constraints: 23629
3053.16/3061.16 c #Conflicts: 1373000 | #Constraints: 24629
3053.16/3061.16 c #Conflicts: 1374000 | #Constraints: 25629
3053.16/3061.16 c #Conflicts: 1375000 | #Constraints: 26629
3053.16/3061.16 c #Conflicts: 1376000 | #Constraints: 27629
3053.16/3061.16 c #Conflicts: 1377000 | #Constraints: 28629
3053.16/3061.16 c #Conflicts: 1378000 | #Constraints: 29629
3053.16/3061.16 c #Conflicts: 1379000 | #Constraints: 30629
3053.16/3061.16 c #Conflicts: 1380000 | #Constraints: 31629
3053.16/3061.16 c #Conflicts: 1381000 | #Constraints: 32629
3053.16/3061.16 c #Conflicts: 1382000 | #Constraints: 33629
3053.16/3061.16 c #Conflicts: 1383000 | #Constraints: 34629
3053.16/3061.16 c #Conflicts: 1384000 | #Constraints: 35629
3053.16/3061.16 c #Conflicts: 1385000 | #Constraints: 36629
3053.16/3061.16 c #Conflicts: 1386000 | #Constraints: 37629
3053.16/3061.16 c #Conflicts: 1387000 | #Constraints: 38629
3053.16/3061.16 c #Conflicts: 1388000 | #Constraints: 39629
3053.16/3061.16 c #Conflicts: 1389000 | #Constraints: 40629
3053.16/3061.16 c #Conflicts: 1390000 | #Constraints: 41629
3053.16/3061.16 c #Conflicts: 1391000 | #Constraints: 42629
3053.16/3061.16 c #Conflicts: 1392000 | #Constraints: 43629
3053.16/3061.16 c #Conflicts: 1393000 | #Constraints: 44629
3053.16/3061.16 c #Conflicts: 1394000 | #Constraints: 45629
3053.16/3061.16 c #Conflicts: 1395000 | #Constraints: 46629
3053.16/3061.16 c INPROCESSING
3053.16/3061.16 c GARBAGE COLLECT
3053.16/3061.16 c #Conflicts: 1396000 | #Constraints: 24227
3053.16/3061.16 c #Conflicts: 1397000 | #Constraints: 25227
3053.16/3061.16 c #Conflicts: 1398000 | #Constraints: 26227
3053.16/3061.16 c #Conflicts: 1399000 | #Constraints: 27227
3053.16/3061.16 c #Conflicts: 1400000 | #Constraints: 28227
3053.16/3061.16 c #Conflicts: 1401000 | #Constraints: 29227
3053.16/3061.16 c #Conflicts: 1402000 | #Constraints: 30227
3053.16/3061.16 c #Conflicts: 1403000 | #Constraints: 31227
3053.16/3061.16 c #Conflicts: 1404000 | #Constraints: 32227
3053.16/3061.16 c #Conflicts: 1405000 | #Constraints: 33227
3053.16/3061.16 c #Conflicts: 1406000 | #Constraints: 34227
3053.16/3061.16 c #Conflicts: 1407000 | #Constraints: 35227
3053.16/3061.16 c #Conflicts: 1408000 | #Constraints: 36227
3053.16/3061.16 c #Conflicts: 1409000 | #Constraints: 37227
3053.16/3061.16 c #Conflicts: 1410000 | #Constraints: 38227
3053.16/3061.16 c #Conflicts: 1411000 | #Constraints: 39227
3053.16/3061.16 c #Conflicts: 1412000 | #Constraints: 40227
3053.16/3061.16 c #Conflicts: 1413000 | #Constraints: 41227
3053.16/3061.16 c #Conflicts: 1414000 | #Constraints: 42227
3053.16/3061.16 c #Conflicts: 1415000 | #Constraints: 43227
3053.16/3061.16 c #Conflicts: 1416000 | #Constraints: 44227
3053.16/3061.16 c #Conflicts: 1417000 | #Constraints: 45227
3053.16/3061.16 c #Conflicts: 1418000 | #Constraints: 46227
3053.16/3061.16 c #Conflicts: 1419000 | #Constraints: 47227
3053.16/3061.16 c INPROCESSING
3053.16/3061.16 c GARBAGE COLLECT
3053.16/3061.16 c #Conflicts: 1420000 | #Constraints: 24628
3053.16/3061.16 c #Conflicts: 1421000 | #Constraints: 25628
3053.16/3061.16 c #Conflicts: 1422000 | #Constraints: 26628
3053.16/3061.16 c #Conflicts: 1423000 | #Constraints: 27628
3053.16/3061.16 c #Conflicts: 1424000 | #Constraints: 28628
3053.16/3061.16 c #Conflicts: 1425000 | #Constraints: 29628
3053.16/3061.16 c #Conflicts: 1426000 | #Constraints: 30628
3053.16/3061.16 c #Conflicts: 1427000 | #Constraints: 31628
3277.90/3286.49 c #Conflicts: 1428000 | #Constraints: 32628
3277.90/3286.49 c #Conflicts: 1429000 | #Constraints: 33628
3277.90/3286.49 c #Conflicts: 1430000 | #Constraints: 34628
3277.90/3286.49 c #Conflicts: 1431000 | #Constraints: 35628
3277.90/3286.49 c #Conflicts: 1432000 | #Constraints: 36628
3277.90/3286.49 c #Conflicts: 1433000 | #Constraints: 37628
3277.90/3286.49 c #Conflicts: 1434000 | #Constraints: 38628
3277.90/3286.49 c #Conflicts: 1435000 | #Constraints: 39628
3277.90/3286.49 c #Conflicts: 1436000 | #Constraints: 40628
3277.90/3286.49 c #Conflicts: 1437000 | #Constraints: 41628
3277.90/3286.49 c #Conflicts: 1438000 | #Constraints: 42628
3277.90/3286.49 c #Conflicts: 1439000 | #Constraints: 43628
3277.90/3286.49 c #Conflicts: 1440000 | #Constraints: 44628
3277.90/3286.49 c #Conflicts: 1441000 | #Constraints: 45628
3277.90/3286.49 c #Conflicts: 1442000 | #Constraints: 46628
3277.90/3286.49 c #Conflicts: 1443000 | #Constraints: 47628
3277.90/3286.49 c INPROCESSING
3277.90/3286.49 c GARBAGE COLLECT
3277.90/3286.49 c #Conflicts: 1444000 | #Constraints: 24828
3277.90/3286.49 c #Conflicts: 1445000 | #Constraints: 25828
3277.90/3286.49 c #Conflicts: 1446000 | #Constraints: 26828
3277.90/3286.49 c #Conflicts: 1447000 | #Constraints: 27828
3277.90/3286.49 c #Conflicts: 1448000 | #Constraints: 28828
3277.90/3286.49 c #Conflicts: 1449000 | #Constraints: 29828
3277.90/3286.49 c #Conflicts: 1450000 | #Constraints: 30828
3277.90/3286.49 c #Conflicts: 1451000 | #Constraints: 31828
3277.90/3286.49 c #Conflicts: 1452000 | #Constraints: 32828
3277.90/3286.49 c #Conflicts: 1453000 | #Constraints: 33828
3277.90/3286.49 c #Conflicts: 1454000 | #Constraints: 34828
3277.90/3286.49 c #Conflicts: 1455000 | #Constraints: 35828
3277.90/3286.49 c #Conflicts: 1456000 | #Constraints: 36828
3277.90/3286.49 c #Conflicts: 1457000 | #Constraints: 37828
3277.90/3286.49 c #Conflicts: 1458000 | #Constraints: 38828
3277.90/3286.49 c #Conflicts: 1459000 | #Constraints: 39828
3277.90/3286.49 c #Conflicts: 1460000 | #Constraints: 40828
3277.90/3286.49 c #Conflicts: 1461000 | #Constraints: 41828
3277.90/3286.49 c #Conflicts: 1462000 | #Constraints: 42828
3277.90/3286.49 c #Conflicts: 1463000 | #Constraints: 43828
3277.90/3286.49 c #Conflicts: 1464000 | #Constraints: 44828
3277.90/3286.49 c #Conflicts: 1465000 | #Constraints: 45828
3277.90/3286.49 c #Conflicts: 1466000 | #Constraints: 46828
3277.90/3286.49 c #Conflicts: 1467000 | #Constraints: 47828
3277.90/3286.49 c INPROCESSING
3277.90/3286.49 c GARBAGE COLLECT
3277.90/3286.49 c #Conflicts: 1468000 | #Constraints: 24828
3277.90/3286.49 c #Conflicts: 1469000 | #Constraints: 25828
3277.90/3286.49 c #Conflicts: 1470000 | #Constraints: 26828
3277.90/3286.49 c #Conflicts: 1471000 | #Constraints: 27828
3277.90/3286.49 c #Conflicts: 1472000 | #Constraints: 28828
3277.90/3286.49 c #Conflicts: 1473000 | #Constraints: 29828
3277.90/3286.49 c #Conflicts: 1474000 | #Constraints: 30828
3277.90/3286.49 c #Conflicts: 1475000 | #Constraints: 31828
3277.90/3286.49 c #Conflicts: 1476000 | #Constraints: 32828
3277.90/3286.49 c #Conflicts: 1477000 | #Constraints: 33828
3277.90/3286.49 c #Conflicts: 1478000 | #Constraints: 34828
3277.90/3286.49 c #Conflicts: 1479000 | #Constraints: 35828
3277.90/3286.49 c #Conflicts: 1480000 | #Constraints: 36828
3277.90/3286.49 c #Conflicts: 1481000 | #Constraints: 37828
3277.90/3286.49 c #Conflicts: 1482000 | #Constraints: 38828
3277.90/3286.49 c #Conflicts: 1483000 | #Constraints: 39828
3277.90/3286.49 c #Conflicts: 1484000 | #Constraints: 40828
3277.90/3286.49 c #Conflicts: 1485000 | #Constraints: 41828
3277.90/3286.49 c #Conflicts: 1486000 | #Constraints: 42828
3277.90/3286.49 c #Conflicts: 1487000 | #Constraints: 43828
3277.90/3286.49 c #Conflicts: 1488000 | #Constraints: 44828
3277.90/3286.49 c #Conflicts: 1489000 | #Constraints: 45828
3277.90/3286.49 c #Conflicts: 1490000 | #Constraints: 46828
3277.90/3286.49 c #Conflicts: 1491000 | #Constraints: 47828
3277.90/3286.49 c INPROCESSING
3277.90/3286.49 c GARBAGE COLLECT
3277.90/3286.49 c #Conflicts: 1492000 | #Constraints: 24625
3277.90/3286.49 c #Conflicts: 1493000 | #Constraints: 25625
3277.90/3286.49 c #Conflicts: 1494000 | #Constraints: 26625
3277.90/3286.49 c #Conflicts: 1495000 | #Constraints: 27625
3277.90/3286.49 c #Conflicts: 1496000 | #Constraints: 28625
3277.90/3286.49 c #Conflicts: 1497000 | #Constraints: 29625
3277.90/3286.49 c #Conflicts: 1498000 | #Constraints: 30625
3277.90/3286.49 c #Conflicts: 1499000 | #Constraints: 31625
3277.90/3286.49 c #Conflicts: 1500000 | #Constraints: 32625
3277.90/3286.49 c #Conflicts: 1501000 | #Constraints: 33625
3277.90/3286.49 c #Conflicts: 1502000 | #Constraints: 34625
3277.90/3286.49 c #Conflicts: 1503000 | #Constraints: 35625
3277.90/3286.49 c #Conflicts: 1504000 | #Constraints: 36625
3534.47/3543.63 c #Conflicts: 1505000 | #Constraints: 37625
3534.47/3543.63 c #Conflicts: 1506000 | #Constraints: 38625
3534.47/3543.63 c #Conflicts: 1507000 | #Constraints: 39625
3534.47/3543.63 c #Conflicts: 1508000 | #Constraints: 40625
3534.47/3543.63 c #Conflicts: 1509000 | #Constraints: 41625
3534.47/3543.63 c #Conflicts: 1510000 | #Constraints: 42625
3534.47/3543.63 c #Conflicts: 1511000 | #Constraints: 43625
3534.47/3543.63 c #Conflicts: 1512000 | #Constraints: 44625
3534.47/3543.63 c #Conflicts: 1513000 | #Constraints: 45625
3534.47/3543.63 c #Conflicts: 1514000 | #Constraints: 46625
3534.47/3543.63 c #Conflicts: 1515000 | #Constraints: 47625
3534.47/3543.63 c #Conflicts: 1516000 | #Constraints: 48625
3534.47/3543.63 c INPROCESSING
3534.47/3543.63 c GARBAGE COLLECT
3534.47/3543.63 c #Conflicts: 1517000 | #Constraints: 25222
3534.47/3543.63 c #Conflicts: 1518000 | #Constraints: 26222
3534.47/3543.63 c #Conflicts: 1519000 | #Constraints: 27222
3534.47/3543.63 c #Conflicts: 1520000 | #Constraints: 28222
3534.47/3543.63 c #Conflicts: 1521000 | #Constraints: 29222
3534.47/3543.63 c #Conflicts: 1522000 | #Constraints: 30222
3534.47/3543.63 c #Conflicts: 1523000 | #Constraints: 31222
3534.47/3543.63 c #Conflicts: 1524000 | #Constraints: 32222
3534.47/3543.63 c #Conflicts: 1525000 | #Constraints: 33222
3534.47/3543.63 c #Conflicts: 1526000 | #Constraints: 34222
3534.47/3543.63 c #Conflicts: 1527000 | #Constraints: 35222
3534.47/3543.63 c #Conflicts: 1528000 | #Constraints: 36222
3534.47/3543.63 c #Conflicts: 1529000 | #Constraints: 37222
3534.47/3543.63 c #Conflicts: 1530000 | #Constraints: 38222
3534.47/3543.63 c #Conflicts: 1531000 | #Constraints: 39222
3534.47/3543.63 c #Conflicts: 1532000 | #Constraints: 40222
3534.47/3543.63 c #Conflicts: 1533000 | #Constraints: 41222
3534.47/3543.63 c #Conflicts: 1534000 | #Constraints: 42222
3534.47/3543.63 c #Conflicts: 1535000 | #Constraints: 43222
3534.47/3543.63 c #Conflicts: 1536000 | #Constraints: 44222
3534.47/3543.63 c #Conflicts: 1537000 | #Constraints: 45222
3534.47/3543.63 c #Conflicts: 1538000 | #Constraints: 46222
3534.47/3543.63 c #Conflicts: 1539000 | #Constraints: 47222
3534.47/3543.63 c #Conflicts: 1540000 | #Constraints: 48222
3534.47/3543.63 c #Conflicts: 1541000 | #Constraints: 49222
3534.47/3543.63 c INPROCESSING
3534.47/3543.63 c GARBAGE COLLECT
3534.47/3543.63 c #Conflicts: 1542000 | #Constraints: 25625
3534.47/3543.63 c #Conflicts: 1543000 | #Constraints: 26625
3534.47/3543.63 c #Conflicts: 1544000 | #Constraints: 27625
3534.47/3543.63 c #Conflicts: 1545000 | #Constraints: 28625
3534.47/3543.63 c #Conflicts: 1546000 | #Constraints: 29625
3534.47/3543.63 c #Conflicts: 1547000 | #Constraints: 30625
3534.47/3543.63 c #Conflicts: 1548000 | #Constraints: 31625
3534.47/3543.63 c #Conflicts: 1549000 | #Constraints: 32625
3534.47/3543.63 c #Conflicts: 1550000 | #Constraints: 33625
3534.47/3543.63 c #Conflicts: 1551000 | #Constraints: 34625
3534.47/3543.63 c #Conflicts: 1552000 | #Constraints: 35625
3534.47/3543.63 c #Conflicts: 1553000 | #Constraints: 36625
3534.47/3543.63 c #Conflicts: 1554000 | #Constraints: 37625
3534.47/3543.63 c #Conflicts: 1555000 | #Constraints: 38625
3534.47/3543.63 c #Conflicts: 1556000 | #Constraints: 39625
3534.47/3543.63 c #Conflicts: 1557000 | #Constraints: 40625
3534.47/3543.63 c #Conflicts: 1558000 | #Constraints: 41625
3534.47/3543.63 c #Conflicts: 1559000 | #Constraints: 42625
3534.47/3543.63 c #Conflicts: 1560000 | #Constraints: 43625
3534.47/3543.63 c #Conflicts: 1561000 | #Constraints: 44625
3534.47/3543.63 c #Conflicts: 1562000 | #Constraints: 45625
3534.47/3543.63 c #Conflicts: 1563000 | #Constraints: 46625
3534.47/3543.63 c #Conflicts: 1564000 | #Constraints: 47625
3534.47/3543.63 c #Conflicts: 1565000 | #Constraints: 48625
3534.47/3543.63 c #Conflicts: 1566000 | #Constraints: 49625
3534.47/3543.63 c INPROCESSING
3534.47/3543.63 c GARBAGE COLLECT
3534.47/3543.63 c #Conflicts: 1567000 | #Constraints: 25829
3534.47/3543.63 c #Conflicts: 1568000 | #Constraints: 26829
3534.47/3543.63 c #Conflicts: 1569000 | #Constraints: 27829
3534.47/3543.63 c #Conflicts: 1570000 | #Constraints: 28829
3534.47/3543.63 c #Conflicts: 1571000 | #Constraints: 29829
3534.47/3543.63 c #Conflicts: 1572000 | #Constraints: 30829
3534.47/3543.63 c #Conflicts: 1573000 | #Constraints: 31829
3534.47/3543.63 c #Conflicts: 1574000 | #Constraints: 32829
3534.47/3543.63 c #Conflicts: 1575000 | #Constraints: 33829
3534.47/3543.63 c #Conflicts: 1576000 | #Constraints: 34829
3534.47/3543.63 c #Conflicts: 1577000 | #Constraints: 35829
3534.47/3543.63 c #Conflicts: 1578000 | #Constraints: 36829
3534.47/3543.63 c #Conflicts: 1579000 | #Constraints: 37829
3534.47/3543.63 c #Conflicts: 1580000 | #Constraints: 38829
3534.47/3543.63 c #Conflicts: 1581000 | #Constraints: 39829
3600.00/3609.30 c #Conflicts: 1582000 | #Constraints: 40829
3600.00/3609.30 c #Conflicts: 1583000 | #Constraints: 41829
3600.00/3609.30 c #Conflicts: 1584000 | #Constraints: 42829
3600.00/3609.30 c #Conflicts: 1585000 | #Constraints: 43829
3600.00/3609.30 c #Conflicts: 1586000 | #Constraints: 44829
3600.00/3609.30 c #Conflicts: 1587000 | #Constraints: 45829
3600.00/3609.30 c #Conflicts: 1588000 | #Constraints: 46829
3600.00/3609.30 c #Conflicts: 1589000 | #Constraints: 47829
3600.00/3609.30 c #Conflicts: 1590000 | #Constraints: 48829
3600.00/3609.30 c #Conflicts: 1591000 | #Constraints: 49829
3600.00/3609.30 c INPROCESSING
3600.00/3609.30 c GARBAGE COLLECT
3600.00/3609.30 c #Conflicts: 1592000 | #Constraints: 25828
3600.00/3609.30 c #Conflicts: 1593000 | #Constraints: 26828
3600.00/3609.30 c #Conflicts: 1594000 | #Constraints: 27828
3600.00/3609.30 c #Conflicts: 1595000 | #Constraints: 28828
3600.00/3609.30 c #Conflicts: 1596000 | #Constraints: 29828
3600.00/3609.30 c #Conflicts: 1597000 | #Constraints: 30828
3600.00/3609.30 c Program interrupted by user.
3600.00/3609.30 c cpu time 3591.38 s
3600.00/3609.30 c deterministic time 640597913585 6.41e+11
3600.00/3609.30 c optimization time 19.9332 s
3600.00/3609.30 c total solve time 3272.31 s
3600.00/3609.30 c core-guided solve time 0 s
3600.00/3609.30 c propagation time 3158.05 s
3600.00/3609.30 c conflict analysis time 121.939 s
3600.00/3609.30 c propagations 18830229
3600.00/3609.30 c resolve steps 7197603
3600.00/3609.30 c decisions 3853923
3600.00/3609.30 c conflicts 1597211
3600.00/3609.30 c restarts 3069
3600.00/3609.30 c inprocessing phases 117
3600.00/3609.30 c input clauses 0
3600.00/3609.30 c input cardinalities 0
3600.00/3609.30 c input general constraints 16
3600.00/3609.30 c input average constraint length 68.62
3600.00/3609.30 c input average constraint degree 1659.19
3600.00/3609.30 c learned clauses 595525
3600.00/3609.30 c learned cardinalities 0
3600.00/3609.30 c learned general constraints 1001685
3600.00/3609.30 c learned average constraint length 55.57
3600.00/3609.30 c learned average constraint degree 116080.10
3600.00/3609.30 c watched constraints 988782
3600.00/3609.30 c counting constraints 12919
3600.00/3609.30 c gcd simplifications 497681
3600.00/3609.30 c detected cardinalities 0
3600.00/3609.30 c weakened non-implied lits 11012246
3600.00/3609.30 c weakened non-implying lits 541721
3600.00/3609.30 c original variables 71
3600.00/3609.30 c clausal propagations 430717
3600.00/3609.30 c cardinality propagations 0
3600.00/3609.30 c watched propagations 9141791
3600.00/3609.30 c counting propagations 8333193
3600.00/3609.30 c watch lookups 30420997252
3600.00/3609.30 c watch backjump lookups 19837179275
3600.00/3609.30 c watch checks 416983356919
3600.00/3609.30 c propagation checks 172739689238
3600.00/3609.30 c constraint additions 569725450
3600.00/3609.30 c trail pops 24281298
3600.00/3609.30 c formula constraints 16
3600.00/3609.30 c learned constraints 1597210
3600.00/3609.30 c bound constraints 0
3600.00/3609.30 c core-guided constraints 0
3600.00/3609.30 c encountered formula constraints 3156095
3600.00/3609.30 c encountered learned constraints 5638719
3600.00/3609.30 c encountered bound constraints 0
3600.00/3609.30 c encountered core-guided constraints 0
3600.00/3609.30 c LP total time 0 s
3600.00/3609.30 c LP solve time 0 s
3600.00/3609.30 c LP constraints added 0
3600.00/3609.30 c LP constraints removed 0
3600.00/3609.30 c LP pivots internal 0
3600.00/3609.30 c LP pivots root 0
3600.00/3609.30 c LP calls 0
3600.00/3609.30 c LP optimalities 0
3600.00/3609.30 c LP no pivot count 0
3600.00/3609.30 c LP infeasibilities 0
3600.00/3609.30 c LP valid Farkas constraints 0
3600.00/3609.30 c LP learned Farkas constraints 0
3600.00/3609.30 c LP basis resets 0
3600.00/3609.30 c LP cycling count 0
3600.00/3609.30 c LP singular count 0
3600.00/3609.30 c LP no primal count 0
3600.00/3609.30 c LP no farkas count 0
3600.00/3609.30 c LP other issue count 0
3600.00/3609.30 c LP Gomory cuts 0
3600.00/3609.30 c LP learned cuts 0
3600.00/3609.30 c LP deleted cuts 0
3600.00/3609.30 c LP encountered Gomory constraints 0
3600.00/3609.30 c LP encountered Farkas constraints 0
3600.00/3609.30 c LP encountered learned Farkas constraints 0
3600.00/3609.30 c CG auxiliary variables introduced 0
3600.00/3609.30 c CG solutions found 0
3600.00/3609.30 c CG cores constructed 0
3600.00/3609.30 c CG core cardinality constraints returned 0
3600.00/3609.30 c CG unit cores 0
3600.00/3609.30 c CG single cores 0
3600.00/3609.30 c CG blocks removed during cardinality reduction 0
3600.00/3609.30 c CG first core best 0
3600.00/3609.30 c CG decision core best 0
3600.00/3609.30 c CG core reduction tie 0
3600.00/3609.30 c CG core degree average 0.00
3600.00/3609.30 c CG core slack average 0.00
3600.00/3609.30 c CG exhausted 0
3600.00/3609.30 c CG exhaust time 0 s
3600.00/3609.30 c CG trimmed 0
3600.00/3609.30 c CG trim time 0 s
3600.00/3609.30 c CG minimized 0
3600.00/3609.30 c CG minimize time 0 s
3600.00/3609.30 c CG am1 prop time 0 s
3600.00/3609.30 c CG # am1s reformulated 0
3600.00/3609.30 c CG lower bound derived from am1s 0
3600.00/3609.30 c CG # clausal cores 0
3600.00/3609.30 c CG # cardinality cores 0
3600.00/3609.30 c CG # pb cores 0
3600.00/3609.30 c CG # pb reforms 0
3600.00/3609.30 c CG # cores discarded because of pb reform 0
3600.00/3609.30 d LOWERBOUND 0
3600.00/3609.30 d NCORES 0
3600.00/3609.30 d NPBCORES 0
3600.00/3609.30 d NPBREFORM 0
3600.00/3609.30 d NTRIMMED 0
3600.00/3609.30 d NEXHAUSTED 0
3600.00/3609.30 d NAM1S 0
3600.00/3609.30 d AM1LB 0
3600.00/3609.30 c [Papilo Statistics]
3600.00/3609.30 c prepro time 0.000449782s
3600.00/3609.30 c # tsx applied 8
3600.00/3609.30 c # tsx conflicts 0
3600.00/3609.30 c # bound changes 1
3600.00/3609.30 c # side changes 8
3600.00/3609.30 c # coef changes 0
3600.00/3609.30 c # rounds 2
3600.00/3609.30 c # deted vars 1
3600.00/3609.30 c # deted constrs 9
3600.00/3609.30 c # consecutive rounds of only bound changes 0
3600.00/3609.30 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 (62571 MiB free)
memory of node 1: 64473 MiB (61583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454756-1721470644/watcher-4454756-1721470644 -o /tmp/evaluation-result-4454756-1721470644/solver-4454756-1721470644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721470315-1055842 --watchdog 3760 mixed-bag HOME/instance-4454756-1721470644.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=1056144, runsolver pid=1056141
[startup+0.100089 s]*
/proc/loadavg: 4.10 3.17 2.21 5/254 1056145
/proc/meminfo: memFree=127122016/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=95648 memory=28300 CPUtime=0.09 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 3410 0 0 0 9 0 0 0 20 0 1 0 199227919 97943552 7075 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 23912 7075 4018 3002 0 7661 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 95648 KiB
Current children cumulated memory: 28300 KiB
[startup+0.205783 s]*
/proc/loadavg: 4.10 3.17 2.21 5/254 1056145
/proc/meminfo: memFree=127118320/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=99764 memory=31996 CPUtime=0.2 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 4390 0 0 0 20 0 0 0 20 0 1 0 199227919 102158336 7999 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 24941 7999 4018 3002 0 8690 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99764 KiB
Current children cumulated memory: 31996 KiB
[startup+0.305331 s]*
/proc/loadavg: 4.10 3.17 2.21 5/254 1056145
/proc/meminfo: memFree=127115632/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=102540 memory=34636 CPUtime=0.3 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 5027 0 0 0 30 0 0 0 20 0 1 0 199227919 105000960 8659 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 25635 8659 4018 3002 0 9384 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 102540 KiB
Current children cumulated memory: 34636 KiB
[startup+0.700175 s]
/proc/loadavg: 4.10 3.17 2.21 5/254 1056145
/proc/meminfo: memFree=127110592/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=108104 memory=39652 CPUtime=0.68 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 6245 0 0 0 68 0 0 0 20 0 1 0 199227919 110698496 9913 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 27026 9913 4018 3002 0 10775 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108104 KiB
Current children cumulated memory: 39652 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 3.17 2.21 5/254 1056145
/proc/meminfo: memFree=127109332/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=108816 memory=40912 CPUtime=1.48 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 6645 0 0 0 148 0 0 0 20 0 1 0 199227919 111427584 10228 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 27204 10228 4018 3002 0 10953 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 108816 KiB
Current children cumulated memory: 40912 KiB
[startup+3.10534 s]
/proc/loadavg: 4.10 3.17 2.21 5/254 1056145
/proc/meminfo: memFree=127102696/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=111508 memory=44380 CPUtime=3.08 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 7785 0 0 0 308 0 0 0 20 0 1 0 199227919 114184192 11095 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 27877 11095 4018 3002 0 11626 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 111508 KiB
Current children cumulated memory: 44380 KiB
[startup+6.30018 s]
/proc/loadavg: 4.09 3.19 2.22 5/255 1056147
/proc/meminfo: memFree=127088648/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=118724 memory=51732 CPUtime=6.26 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 9826 0 0 0 625 1 0 0 20 0 1 0 199227919 121573376 12933 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 29681 12933 4018 3002 0 13430 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 118724 KiB
Current children cumulated memory: 51732 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 3.20 2.23 5/255 1056147
/proc/meminfo: memFree=127068828/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=135876 memory=66372 CPUtime=12.63 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 13490 0 0 0 1262 1 0 0 20 0 1 0 199227919 139137024 16593 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 33969 16593 4018 3002 0 17718 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 135876 KiB
Current children cumulated memory: 66372 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 3.26 2.27 5/255 1056150
/proc/meminfo: memFree=127001588/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=160724 memory=89988 CPUtime=25.39 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 19390 0 0 0 2536 3 0 0 20 0 1 0 199227919 164581376 22497 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 40181 22497 4018 3002 0 23930 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 160724 KiB
Current children cumulated memory: 89988 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 3.32 2.31 5/255 1056153
/proc/meminfo: memFree=126914824/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=209900 memory=133400 CPUtime=50.9 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 30305 0 0 0 5085 5 0 0 20 0 1 0 199227919 214937600 33350 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 52475 33350 4018 3002 0 36224 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 209900 KiB
Current children cumulated memory: 133400 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 3.44 2.41 5/255 1056162
/proc/meminfo: memFree=126731344/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=288032 memory=208968 CPUtime=101.92 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 49161 0 0 0 10181 11 0 0 20 0 1 0 199227919 294944768 52242 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 72008 52242 4018 3002 0 55757 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 288032 KiB
Current children cumulated memory: 208968 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.57 2.52 5/255 1056172
/proc/meminfo: memFree=126561812/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=367568 memory=285600 CPUtime=161.73 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 68326 0 0 0 16155 18 0 0 20 0 1 0 199227919 376389632 71400 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 91892 71400 4018 3002 0 75641 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 367568 KiB
Current children cumulated memory: 285600 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.67 2.62 5/258 1056188
/proc/meminfo: memFree=126421384/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=439984 memory=352040 CPUtime=221.53 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 84451 0 0 0 22128 25 0 0 20 0 1 0 199227919 450543616 88010 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 109996 88010 4018 3002 0 93745 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 439984 KiB
Current children cumulated memory: 352040 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.75 2.72 5/258 1056198
/proc/meminfo: memFree=126506136/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=499404 memory=411360 CPUtime=281.34 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 98988 0 0 0 28105 29 0 0 20 0 1 0 199227919 511389696 102840 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 124851 102840 4018 3002 0 108600 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 499404 KiB
Current children cumulated memory: 411360 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.83 2.81 5/257 1056208
/proc/meminfo: memFree=126754764/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=214440 memory=156032 CPUtime=341.2 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 102862 0 0 0 34054 66 0 0 20 0 1 0 199227919 219586560 39008 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 53610 39008 4082 3002 0 37359 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 214440 KiB
Current children cumulated memory: 156032 KiB
[startup+402.3 s]
/proc/loadavg: 4.48 3.97 2.92 5/257 1056220
/proc/meminfo: memFree=126749276/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=214440 memory=157824 CPUtime=401.05 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 103303 0 0 0 40007 98 0 0 20 0 1 0 199227919 219586560 39456 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 53610 39456 4082 3002 0 37359 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 214440 KiB
Current children cumulated memory: 157824 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.01 3.00 5/257 1056230
/proc/meminfo: memFree=126744232/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=218860 memory=159292 CPUtime=460.92 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 103686 0 0 0 45963 129 0 0 20 0 1 0 199227919 224112640 39823 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 54715 39823 4082 3002 0 38464 0
################
# More data... #
################
Current children cumulated memory: 174476 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.06 5/254 1057848
/proc/meminfo: memFree=126679120/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=174476 CPUtime=2914.69 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 105920 0 0 0 290725 744 0 0 20 0 1 0 199227919 243421184 43619 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 43619 4082 3002 0 43178 0
Current children cumulated CPU time: 2914.69 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 174476 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/254 1057858
/proc/meminfo: memFree=126678824/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=174476 CPUtime=2974.54 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 105954 0 0 0 296698 756 0 0 20 0 1 0 199227919 243421184 43619 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 43619 4082 3002 0 43178 0
Current children cumulated CPU time: 2974.54 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 174476 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/254 1057869
/proc/meminfo: memFree=126678544/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=174476 CPUtime=3034.4 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 105988 0 0 0 302671 769 0 0 20 0 1 0 199227919 243421184 43619 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 43619 4082 3002 0 43178 0
Current children cumulated CPU time: 3034.4 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 174476 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/254 1057879
/proc/meminfo: memFree=126678188/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=174476 CPUtime=3094.25 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 106020 0 0 0 308646 779 0 0 20 0 1 0 199227919 243421184 43619 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 43619 4082 3002 0 43178 0
Current children cumulated CPU time: 3094.25 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 174476 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/254 1057889
/proc/meminfo: memFree=126677824/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=174476 CPUtime=3154.1 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 106052 0 0 0 314621 789 0 0 20 0 1 0 199227919 243421184 43619 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 43619 4082 3002 0 43178 0
Current children cumulated CPU time: 3154.1 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 174476 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/257 1057905
/proc/meminfo: memFree=126677320/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=174476 CPUtime=3213.96 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 106090 0 0 0 320594 802 0 0 20 0 1 0 199227919 243421184 43619 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 43619 4082 3002 0 43178 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 174476 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.14 4.08 5/257 1057961
/proc/meminfo: memFree=126673744/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=174476 CPUtime=3273.81 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 106124 0 0 0 326569 812 0 0 20 0 1 0 199227919 243421184 43619 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 43619 4082 3002 0 43178 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 174476 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.14 4.09 5/257 1057971
/proc/meminfo: memFree=126624236/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=174476 CPUtime=3333.66 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 106158 0 0 0 332545 821 0 0 20 0 1 0 199227919 243421184 43619 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 43619 4082 3002 0 43178 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 174476 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 1057983
/proc/meminfo: memFree=126623896/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=174476 CPUtime=3393.52 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 106192 0 0 0 338519 833 0 0 20 0 1 0 199227919 243421184 43619 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 43619 4082 3002 0 43178 0
Current children cumulated CPU time: 3393.52 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 174476 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 1057993
/proc/meminfo: memFree=126623364/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=174476 CPUtime=3453.37 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 106222 0 0 0 344495 842 0 0 20 0 1 0 199227919 243421184 43619 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 43619 4082 3002 0 43178 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 174476 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 1058003
/proc/meminfo: memFree=126581796/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=176524 CPUtime=3513.22 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 106264 0 0 0 350470 852 0 0 20 0 1 0 199227919 243421184 44131 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 44131 4082 3002 0 43178 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 176524 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 1058059
/proc/meminfo: memFree=126772692/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=176524 CPUtime=3573.07 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 106299 0 0 0 356447 860 0 0 20 0 1 0 199227919 243421184 44131 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 44131 4082 3002 0 43178 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 176524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.30 4.17 4.11 5/255 1058112
/proc/meminfo: memFree=124466284/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=176524 CPUtime=3600 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 106327 0 0 0 359137 863 0 0 20 0 1 0 199227919 243421184 44131 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 44131 4082 3002 0 43178 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 176524 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 1056144 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.38 s, system=8.63901 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.30 4.17 4.11 5/255 1058112
/proc/meminfo: memFree=124466284/131524600 swapFree=131071996/131071996
[pid=1056144] ppid=1056141 vsize=237716 memory=176524 CPUtime=3600 cores=5,7
/proc/1056144/stat : 1056144 (mixed-bag) R 1056141 1056144 1055829 0 -1 4194304 106327 0 0 0 359137 863 0 0 20 0 1 0 199227919 243421184 44131 134679101440 4194304 16488053 140722278171264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 55169024 140722278175765 140722278175842 140722278175842 140722278182859 0
/proc/1056144/statm: 59429 44131 4082 3002 0 43178 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 237716 KiB
Current children cumulated memory: 176524 KiB
Child status: 0
Real time (s): 3609.3
CPU time (s): 3600.01
CPU user time (s): 3591.38
CPU system time (s): 8.63901
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 509956
Max. memory (cumulated for all children) (KiB): 423492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.38
system time used= 8.63901
maximum resident set size= 423492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106357
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= 31
involuntary context switches= 1441
# summary of solver processes directly reported to runsolver:
# pid: 1056144
# total CPU time (s): 3600.01
# total CPU user time (s): 3591.38
# total CPU system time (s): 8.63901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78569 second user time and 17.2041 second system time
The end
Begin job on nodeC020 at 2024-07-20 12:17:37
IDJOB=4454756
IDBENCH=147613
IDSOLVER=3083
FILE ID=nodeC020/4454756-1721470644
RUNJOBID= nodeC020-1721470315-1055842
SLURM_JOB_ID= 7545735
Free space on /tmp= 890036 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_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454756-1721470644/watcher-4454756-1721470644 -o /tmp/evaluation-result-4454756-1721470644/solver-4454756-1721470644 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721470315-1055842 --watchdog 3760 mixed-bag HOME/instance-4454756-1721470644.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff
RANDOM SEED=951676891
nodeC020.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 : 3671.037
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 : 7000.05
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 : 3668.958
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.101
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 : 7000.05
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.916
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.84
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 : 3671.094
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 : 7000.05
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 : 3668.128
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.265
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 : 7000.05
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 : 3667.377
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127135152 kB
MemAvailable: 129416684 kB
Buffers: 572732 kB
Cached: 2533624 kB
SwapCached: 0 kB
Active: 1013196 kB
Inactive: 2718972 kB
Active(anon): 1592 kB
Inactive(anon): 669808 kB
Active(file): 1011604 kB
Inactive(file): 2049164 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16304 kB
Writeback: 0 kB
AnonPages: 624468 kB
Mapped: 140960 kB
Shmem: 45912 kB
KReclaimable: 121176 kB
Slab: 237388 kB
SReclaimable: 121176 kB
SUnreclaim: 116212 kB
KernelStack: 4008 kB
PageTables: 11128 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1030920 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 387072 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: 211668 kB
DirectMap2M: 22630400 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC020 at 2024-07-20 13:17:47