0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
298.73/300.05 c [STEP] preprocessing done, loading into solver
298.73/300.05 c [STEP] solving
298.73/300.05 c #variables 147 #constraints 12
298.73/300.05 c SMALL=int, LARGE=long long
298.73/300.05 c bounds - >= 0 @ 298.737
298.73/300.05 c stratification level: 2
315.87/317.27 c #Conflicts: 1000 | #Constraints: 1012
315.87/317.27 c #Conflicts: 2000 | #Constraints: 2012
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 3000 | #Constraints: 2019
315.87/317.27 c #Conflicts: 4000 | #Constraints: 3019
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 5000 | #Constraints: 2425
315.87/317.27 c #Conflicts: 6000 | #Constraints: 3425
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 7000 | #Constraints: 2427
315.87/317.27 c #Conflicts: 8000 | #Constraints: 3427
315.87/317.27 c #Conflicts: 9000 | #Constraints: 4427
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 10000 | #Constraints: 3128
315.87/317.27 c #Conflicts: 11000 | #Constraints: 4128
315.87/317.27 c #Conflicts: 12000 | #Constraints: 5128
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 13000 | #Constraints: 3577
315.87/317.27 c #Conflicts: 14000 | #Constraints: 4577
315.87/317.27 c #Conflicts: 15000 | #Constraints: 5577
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 16000 | #Constraints: 3805
315.87/317.27 c #Conflicts: 17000 | #Constraints: 4805
315.87/317.27 c #Conflicts: 18000 | #Constraints: 5805
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 19000 | #Constraints: 3815
315.87/317.27 c #Conflicts: 20000 | #Constraints: 4815
315.87/317.27 c #Conflicts: 21000 | #Constraints: 5815
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 22000 | #Constraints: 3619
315.87/317.27 c #Conflicts: 23000 | #Constraints: 4619
315.87/317.27 c #Conflicts: 24000 | #Constraints: 5619
315.87/317.27 c #Conflicts: 25000 | #Constraints: 6619
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 26000 | #Constraints: 4224
315.87/317.27 c #Conflicts: 27000 | #Constraints: 5224
315.87/317.27 c #Conflicts: 28000 | #Constraints: 6224
315.87/317.27 c #Conflicts: 29000 | #Constraints: 7224
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 30000 | #Constraints: 4625
315.87/317.27 c #Conflicts: 31000 | #Constraints: 5625
315.87/317.27 c #Conflicts: 32000 | #Constraints: 6625
315.87/317.27 c #Conflicts: 33000 | #Constraints: 7625
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 34000 | #Constraints: 4826
315.87/317.27 c #Conflicts: 35000 | #Constraints: 5826
315.87/317.27 c #Conflicts: 36000 | #Constraints: 6826
315.87/317.27 c #Conflicts: 37000 | #Constraints: 7826
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 38000 | #Constraints: 4826
315.87/317.27 c #Conflicts: 39000 | #Constraints: 5826
315.87/317.27 c #Conflicts: 40000 | #Constraints: 6826
315.87/317.27 c #Conflicts: 41000 | #Constraints: 7826
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 42000 | #Constraints: 4627
315.87/317.27 c #Conflicts: 43000 | #Constraints: 5627
315.87/317.27 c #Conflicts: 44000 | #Constraints: 6627
315.87/317.27 c #Conflicts: 45000 | #Constraints: 7627
315.87/317.27 c #Conflicts: 46000 | #Constraints: 8627
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 47000 | #Constraints: 5223
315.87/317.27 c #Conflicts: 48000 | #Constraints: 6223
315.87/317.27 c #Conflicts: 49000 | #Constraints: 7223
315.87/317.27 c #Conflicts: 50000 | #Constraints: 8223
315.87/317.27 c #Conflicts: 51000 | #Constraints: 9223
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 52000 | #Constraints: 5627
315.87/317.27 c #Conflicts: 53000 | #Constraints: 6627
315.87/317.27 c #Conflicts: 54000 | #Constraints: 7627
315.87/317.27 c #Conflicts: 55000 | #Constraints: 8627
315.87/317.27 c #Conflicts: 56000 | #Constraints: 9627
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 57000 | #Constraints: 5823
315.87/317.27 c #Conflicts: 58000 | #Constraints: 6823
315.87/317.27 c #Conflicts: 59000 | #Constraints: 7823
315.87/317.27 c #Conflicts: 60000 | #Constraints: 8823
315.87/317.27 c #Conflicts: 61000 | #Constraints: 9823
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 62000 | #Constraints: 5824
315.87/317.27 c #Conflicts: 63000 | #Constraints: 6824
315.87/317.27 c #Conflicts: 64000 | #Constraints: 7824
315.87/317.27 c #Conflicts: 65000 | #Constraints: 8824
315.87/317.27 c #Conflicts: 66000 | #Constraints: 9824
315.87/317.27 c INPROCESSING
315.87/317.27 c GARBAGE COLLECT
315.87/317.27 c #Conflicts: 67000 | #Constraints: 5624
315.87/317.27 c #Conflicts: 68000 | #Constraints: 6624
346.19/347.68 c #Conflicts: 69000 | #Constraints: 7624
346.19/347.68 c #Conflicts: 70000 | #Constraints: 8624
346.19/347.68 c #Conflicts: 71000 | #Constraints: 9624
346.19/347.68 c #Conflicts: 72000 | #Constraints: 10624
346.19/347.68 c INPROCESSING
346.19/347.68 c GARBAGE COLLECT
346.19/347.68 c #Conflicts: 73000 | #Constraints: 6225
346.19/347.68 c #Conflicts: 74000 | #Constraints: 7225
346.19/347.68 c #Conflicts: 75000 | #Constraints: 8225
346.19/347.68 c #Conflicts: 76000 | #Constraints: 9225
346.19/347.68 c #Conflicts: 77000 | #Constraints: 10225
346.19/347.68 c #Conflicts: 78000 | #Constraints: 11225
346.19/347.68 c INPROCESSING
346.19/347.68 c GARBAGE COLLECT
346.19/347.68 c #Conflicts: 79000 | #Constraints: 6626
346.19/347.68 c #Conflicts: 80000 | #Constraints: 7626
346.19/347.68 c #Conflicts: 81000 | #Constraints: 8626
346.19/347.68 c #Conflicts: 82000 | #Constraints: 9626
346.19/347.68 c #Conflicts: 83000 | #Constraints: 10626
346.19/347.68 c #Conflicts: 84000 | #Constraints: 11626
346.19/347.68 c INPROCESSING
346.19/347.68 c GARBAGE COLLECT
346.19/347.68 c #Conflicts: 85000 | #Constraints: 6826
346.19/347.68 c #Conflicts: 86000 | #Constraints: 7826
346.19/347.68 c #Conflicts: 87000 | #Constraints: 8826
346.19/347.68 c #Conflicts: 88000 | #Constraints: 9826
346.19/347.68 c #Conflicts: 89000 | #Constraints: 10826
346.19/347.68 c #Conflicts: 90000 | #Constraints: 11826
346.19/347.68 c INPROCESSING
346.19/347.68 c GARBAGE COLLECT
346.19/347.68 c #Conflicts: 91000 | #Constraints: 6827
346.19/347.68 c #Conflicts: 92000 | #Constraints: 7827
346.19/347.68 c #Conflicts: 93000 | #Constraints: 8827
346.19/347.68 c #Conflicts: 94000 | #Constraints: 9827
346.19/347.68 c #Conflicts: 95000 | #Constraints: 10827
346.19/347.68 c #Conflicts: 96000 | #Constraints: 11827
346.19/347.68 c INPROCESSING
346.19/347.68 c GARBAGE COLLECT
346.19/347.68 c #Conflicts: 97000 | #Constraints: 6632
346.19/347.68 c #Conflicts: 98000 | #Constraints: 7632
346.19/347.68 c #Conflicts: 99000 | #Constraints: 8632
346.19/347.68 c #Conflicts: 100000 | #Constraints: 9632
346.19/347.68 c #Conflicts: 101000 | #Constraints: 10632
346.19/347.68 c #Conflicts: 102000 | #Constraints: 11632
346.19/347.68 c #Conflicts: 103000 | #Constraints: 12632
346.19/347.68 c INPROCESSING
346.19/347.68 c GARBAGE COLLECT
346.19/347.68 c #Conflicts: 104000 | #Constraints: 7228
346.19/347.68 c #Conflicts: 105000 | #Constraints: 8228
346.19/347.68 c #Conflicts: 106000 | #Constraints: 9228
346.19/347.68 c #Conflicts: 107000 | #Constraints: 10228
346.19/347.68 c #Conflicts: 108000 | #Constraints: 11228
346.19/347.68 c #Conflicts: 109000 | #Constraints: 12228
346.19/347.68 c #Conflicts: 110000 | #Constraints: 13228
346.19/347.68 c INPROCESSING
346.19/347.68 c GARBAGE COLLECT
346.19/347.68 c #Conflicts: 111000 | #Constraints: 7629
346.19/347.68 c #Conflicts: 112000 | #Constraints: 8629
346.19/347.68 c #Conflicts: 113000 | #Constraints: 9629
346.19/347.68 c #Conflicts: 114000 | #Constraints: 10629
346.19/347.68 c #Conflicts: 115000 | #Constraints: 11629
346.19/347.68 c #Conflicts: 116000 | #Constraints: 12629
346.19/347.68 c #Conflicts: 117000 | #Constraints: 13629
346.19/347.68 c INPROCESSING
346.19/347.68 c GARBAGE COLLECT
346.19/347.68 c #Conflicts: 118000 | #Constraints: 7828
346.19/347.68 c #Conflicts: 119000 | #Constraints: 8828
346.19/347.68 c #Conflicts: 120000 | #Constraints: 9828
346.19/347.68 c #Conflicts: 121000 | #Constraints: 10828
346.19/347.68 c #Conflicts: 122000 | #Constraints: 11828
346.19/347.68 c #Conflicts: 123000 | #Constraints: 12828
346.19/347.68 c #Conflicts: 124000 | #Constraints: 13828
346.19/347.68 c INPROCESSING
346.19/347.68 c GARBAGE COLLECT
346.19/347.68 c #Conflicts: 125000 | #Constraints: 7827
346.19/347.68 c #Conflicts: 126000 | #Constraints: 8827
346.19/347.68 c #Conflicts: 127000 | #Constraints: 9827
346.19/347.68 c #Conflicts: 128000 | #Constraints: 10827
346.19/347.68 c #Conflicts: 129000 | #Constraints: 11827
346.19/347.68 c #Conflicts: 130000 | #Constraints: 12827
346.19/347.68 c #Conflicts: 131000 | #Constraints: 13827
346.19/347.68 c INPROCESSING
346.19/347.68 c GARBAGE COLLECT
346.19/347.68 c #Conflicts: 132000 | #Constraints: 7626
346.19/347.68 c #Conflicts: 133000 | #Constraints: 8626
346.19/347.68 c #Conflicts: 134000 | #Constraints: 9626
346.19/347.68 c #Conflicts: 135000 | #Constraints: 10626
346.19/347.68 c #Conflicts: 136000 | #Constraints: 11626
346.19/347.68 c #Conflicts: 137000 | #Constraints: 12626
346.19/347.68 c #Conflicts: 138000 | #Constraints: 13626
346.19/347.68 c #Conflicts: 139000 | #Constraints: 14626
346.19/347.68 c INPROCESSING
346.19/347.68 c GARBAGE COLLECT
346.19/347.68 c #Conflicts: 140000 | #Constraints: 8233
387.49/389.05 c #Conflicts: 141000 | #Constraints: 9233
387.49/389.05 c #Conflicts: 142000 | #Constraints: 10233
387.49/389.05 c #Conflicts: 143000 | #Constraints: 11233
387.49/389.05 c #Conflicts: 144000 | #Constraints: 12233
387.49/389.05 c #Conflicts: 145000 | #Constraints: 13233
387.49/389.05 c #Conflicts: 146000 | #Constraints: 14233
387.49/389.05 c #Conflicts: 147000 | #Constraints: 15233
387.49/389.05 c INPROCESSING
387.49/389.05 c GARBAGE COLLECT
387.49/389.05 c #Conflicts: 148000 | #Constraints: 8631
387.49/389.05 c #Conflicts: 149000 | #Constraints: 9631
387.49/389.05 c #Conflicts: 150000 | #Constraints: 10631
387.49/389.05 c #Conflicts: 151000 | #Constraints: 11631
387.49/389.05 c #Conflicts: 152000 | #Constraints: 12631
387.49/389.05 c #Conflicts: 153000 | #Constraints: 13631
387.49/389.05 c #Conflicts: 154000 | #Constraints: 14631
387.49/389.05 c #Conflicts: 155000 | #Constraints: 15631
387.49/389.05 c INPROCESSING
387.49/389.05 c GARBAGE COLLECT
387.49/389.05 c #Conflicts: 156000 | #Constraints: 8833
387.49/389.05 c #Conflicts: 157000 | #Constraints: 9833
387.49/389.05 c #Conflicts: 158000 | #Constraints: 10833
387.49/389.05 c #Conflicts: 159000 | #Constraints: 11833
387.49/389.05 c #Conflicts: 160000 | #Constraints: 12833
387.49/389.05 c #Conflicts: 161000 | #Constraints: 13833
387.49/389.05 c #Conflicts: 162000 | #Constraints: 14833
387.49/389.05 c #Conflicts: 163000 | #Constraints: 15833
387.49/389.05 c INPROCESSING
387.49/389.05 c GARBAGE COLLECT
387.49/389.05 c #Conflicts: 164000 | #Constraints: 8834
387.49/389.05 c #Conflicts: 165000 | #Constraints: 9834
387.49/389.05 c #Conflicts: 166000 | #Constraints: 10834
387.49/389.05 c #Conflicts: 167000 | #Constraints: 11834
387.49/389.05 c #Conflicts: 168000 | #Constraints: 12834
387.49/389.05 c #Conflicts: 169000 | #Constraints: 13834
387.49/389.05 c #Conflicts: 170000 | #Constraints: 14834
387.49/389.05 c #Conflicts: 171000 | #Constraints: 15834
387.49/389.05 c INPROCESSING
387.49/389.05 c GARBAGE COLLECT
387.49/389.05 c #Conflicts: 172000 | #Constraints: 8632
387.49/389.05 c #Conflicts: 173000 | #Constraints: 9632
387.49/389.05 c #Conflicts: 174000 | #Constraints: 10632
387.49/389.05 c #Conflicts: 175000 | #Constraints: 11632
387.49/389.05 c #Conflicts: 176000 | #Constraints: 12632
387.49/389.05 c #Conflicts: 177000 | #Constraints: 13632
387.49/389.05 c #Conflicts: 178000 | #Constraints: 14632
387.49/389.05 c #Conflicts: 179000 | #Constraints: 15632
387.49/389.05 c #Conflicts: 180000 | #Constraints: 16632
387.49/389.05 c INPROCESSING
387.49/389.05 c GARBAGE COLLECT
387.49/389.05 c #Conflicts: 181000 | #Constraints: 9229
387.49/389.05 c #Conflicts: 182000 | #Constraints: 10229
387.49/389.05 c #Conflicts: 183000 | #Constraints: 11229
387.49/389.05 c #Conflicts: 184000 | #Constraints: 12229
387.49/389.05 c #Conflicts: 185000 | #Constraints: 13229
387.49/389.05 c #Conflicts: 186000 | #Constraints: 14229
387.49/389.05 c #Conflicts: 187000 | #Constraints: 15229
387.49/389.05 c #Conflicts: 188000 | #Constraints: 16229
387.49/389.05 c #Conflicts: 189000 | #Constraints: 17229
387.49/389.05 c INPROCESSING
387.49/389.05 c GARBAGE COLLECT
387.49/389.05 c #Conflicts: 190000 | #Constraints: 9630
387.49/389.05 c #Conflicts: 191000 | #Constraints: 10630
387.49/389.05 c #Conflicts: 192000 | #Constraints: 11630
387.49/389.05 c #Conflicts: 193000 | #Constraints: 12630
387.49/389.05 c #Conflicts: 194000 | #Constraints: 13630
387.49/389.05 c #Conflicts: 195000 | #Constraints: 14630
387.49/389.05 c #Conflicts: 196000 | #Constraints: 15630
387.49/389.05 c #Conflicts: 197000 | #Constraints: 16630
387.49/389.05 c #Conflicts: 198000 | #Constraints: 17630
387.49/389.05 c INPROCESSING
387.49/389.05 c GARBAGE COLLECT
387.49/389.05 c #Conflicts: 199000 | #Constraints: 9831
387.49/389.05 c #Conflicts: 200000 | #Constraints: 10831
387.49/389.05 c #Conflicts: 201000 | #Constraints: 11831
387.49/389.05 c #Conflicts: 202000 | #Constraints: 12831
387.49/389.05 c #Conflicts: 203000 | #Constraints: 13831
387.49/389.05 c #Conflicts: 204000 | #Constraints: 14831
387.49/389.05 c #Conflicts: 205000 | #Constraints: 15831
387.49/389.05 c #Conflicts: 206000 | #Constraints: 16831
387.49/389.05 c #Conflicts: 207000 | #Constraints: 17831
387.49/389.05 c INPROCESSING
387.49/389.05 c GARBAGE COLLECT
387.49/389.05 c #Conflicts: 208000 | #Constraints: 9829
387.49/389.05 c #Conflicts: 209000 | #Constraints: 10829
387.49/389.05 c #Conflicts: 210000 | #Constraints: 11829
387.49/389.05 c #Conflicts: 211000 | #Constraints: 12829
387.49/389.05 c #Conflicts: 212000 | #Constraints: 13829
387.49/389.05 c #Conflicts: 213000 | #Constraints: 14829
438.04/439.73 c #Conflicts: 214000 | #Constraints: 15829
438.04/439.73 c #Conflicts: 215000 | #Constraints: 16829
438.04/439.73 c #Conflicts: 216000 | #Constraints: 17829
438.04/439.73 c INPROCESSING
438.04/439.73 c GARBAGE COLLECT
438.04/439.73 c #Conflicts: 217000 | #Constraints: 9636
438.04/439.73 c #Conflicts: 218000 | #Constraints: 10636
438.04/439.73 c #Conflicts: 219000 | #Constraints: 11636
438.04/439.73 c #Conflicts: 220000 | #Constraints: 12636
438.04/439.73 c #Conflicts: 221000 | #Constraints: 13636
438.04/439.73 c #Conflicts: 222000 | #Constraints: 14636
438.04/439.73 c #Conflicts: 223000 | #Constraints: 15636
438.04/439.73 c #Conflicts: 224000 | #Constraints: 16636
438.04/439.73 c #Conflicts: 225000 | #Constraints: 17636
438.04/439.73 c #Conflicts: 226000 | #Constraints: 18636
438.04/439.73 c INPROCESSING
438.04/439.73 c GARBAGE COLLECT
438.04/439.73 c #Conflicts: 227000 | #Constraints: 10234
438.04/439.73 c #Conflicts: 228000 | #Constraints: 11234
438.04/439.73 c #Conflicts: 229000 | #Constraints: 12234
438.04/439.73 c #Conflicts: 230000 | #Constraints: 13234
438.04/439.73 c #Conflicts: 231000 | #Constraints: 14234
438.04/439.73 c #Conflicts: 232000 | #Constraints: 15234
438.04/439.73 c #Conflicts: 233000 | #Constraints: 16234
438.04/439.73 c #Conflicts: 234000 | #Constraints: 17234
438.04/439.73 c #Conflicts: 235000 | #Constraints: 18234
438.04/439.73 c #Conflicts: 236000 | #Constraints: 19234
438.04/439.73 c INPROCESSING
438.04/439.73 c GARBAGE COLLECT
438.04/439.73 c #Conflicts: 237000 | #Constraints: 10628
438.04/439.73 c #Conflicts: 238000 | #Constraints: 11628
438.04/439.73 c #Conflicts: 239000 | #Constraints: 12628
438.04/439.73 c #Conflicts: 240000 | #Constraints: 13628
438.04/439.73 c #Conflicts: 241000 | #Constraints: 14628
438.04/439.73 c #Conflicts: 242000 | #Constraints: 15628
438.04/439.73 c #Conflicts: 243000 | #Constraints: 16628
438.04/439.73 c #Conflicts: 244000 | #Constraints: 17628
438.04/439.73 c #Conflicts: 245000 | #Constraints: 18628
438.04/439.73 c #Conflicts: 246000 | #Constraints: 19628
438.04/439.73 c INPROCESSING
438.04/439.73 c GARBAGE COLLECT
438.04/439.73 c #Conflicts: 247000 | #Constraints: 10830
438.04/439.73 c #Conflicts: 248000 | #Constraints: 11830
438.04/439.73 c #Conflicts: 249000 | #Constraints: 12830
438.04/439.73 c #Conflicts: 250000 | #Constraints: 13830
438.04/439.73 c #Conflicts: 251000 | #Constraints: 14830
438.04/439.73 c #Conflicts: 252000 | #Constraints: 15830
438.04/439.73 c #Conflicts: 253000 | #Constraints: 16830
438.04/439.73 c #Conflicts: 254000 | #Constraints: 17830
438.04/439.73 c #Conflicts: 255000 | #Constraints: 18830
438.04/439.73 c #Conflicts: 256000 | #Constraints: 19830
438.04/439.73 c INPROCESSING
438.04/439.73 c GARBAGE COLLECT
438.04/439.73 c #Conflicts: 257000 | #Constraints: 10831
438.04/439.73 c #Conflicts: 258000 | #Constraints: 11831
438.04/439.73 c #Conflicts: 259000 | #Constraints: 12831
438.04/439.73 c #Conflicts: 260000 | #Constraints: 13831
438.04/439.73 c #Conflicts: 261000 | #Constraints: 14831
438.04/439.73 c #Conflicts: 262000 | #Constraints: 15831
438.04/439.73 c #Conflicts: 263000 | #Constraints: 16831
438.04/439.73 c #Conflicts: 264000 | #Constraints: 17831
438.04/439.73 c #Conflicts: 265000 | #Constraints: 18831
438.04/439.73 c #Conflicts: 266000 | #Constraints: 19831
438.04/439.73 c INPROCESSING
438.04/439.73 c GARBAGE COLLECT
438.04/439.73 c #Conflicts: 267000 | #Constraints: 10628
438.04/439.73 c #Conflicts: 268000 | #Constraints: 11628
438.04/439.73 c #Conflicts: 269000 | #Constraints: 12628
438.04/439.73 c #Conflicts: 270000 | #Constraints: 13628
438.04/439.73 c #Conflicts: 271000 | #Constraints: 14628
438.04/439.73 c #Conflicts: 272000 | #Constraints: 15628
438.04/439.73 c #Conflicts: 273000 | #Constraints: 16628
438.04/439.73 c #Conflicts: 274000 | #Constraints: 17628
438.04/439.73 c #Conflicts: 275000 | #Constraints: 18628
438.04/439.73 c #Conflicts: 276000 | #Constraints: 19628
438.04/439.73 c #Conflicts: 277000 | #Constraints: 20628
438.04/439.73 c INPROCESSING
438.04/439.73 c GARBAGE COLLECT
438.04/439.73 c #Conflicts: 278000 | #Constraints: 11227
438.04/439.73 c #Conflicts: 279000 | #Constraints: 12227
438.04/439.73 c #Conflicts: 280000 | #Constraints: 13227
438.04/439.73 c #Conflicts: 281000 | #Constraints: 14227
438.04/439.73 c #Conflicts: 282000 | #Constraints: 15227
438.04/439.73 c #Conflicts: 283000 | #Constraints: 16227
438.04/439.73 c #Conflicts: 284000 | #Constraints: 17227
438.04/439.73 c #Conflicts: 285000 | #Constraints: 18227
438.04/439.73 c #Conflicts: 286000 | #Constraints: 19227
438.04/439.73 c #Conflicts: 287000 | #Constraints: 20227
438.04/439.73 c #Conflicts: 288000 | #Constraints: 21227
497.79/499.61 c INPROCESSING
497.79/499.61 c GARBAGE COLLECT
497.79/499.61 c #Conflicts: 289000 | #Constraints: 11628
497.79/499.61 c #Conflicts: 290000 | #Constraints: 12628
497.79/499.61 c #Conflicts: 291000 | #Constraints: 13628
497.79/499.61 c #Conflicts: 292000 | #Constraints: 14628
497.79/499.61 c #Conflicts: 293000 | #Constraints: 15628
497.79/499.61 c #Conflicts: 294000 | #Constraints: 16628
497.79/499.61 c #Conflicts: 295000 | #Constraints: 17628
497.79/499.61 c #Conflicts: 296000 | #Constraints: 18628
497.79/499.61 c #Conflicts: 297000 | #Constraints: 19628
497.79/499.61 c #Conflicts: 298000 | #Constraints: 20628
497.79/499.61 c #Conflicts: 299000 | #Constraints: 21628
497.79/499.61 c INPROCESSING
497.79/499.61 c GARBAGE COLLECT
497.79/499.61 c #Conflicts: 300000 | #Constraints: 11829
497.79/499.61 c #Conflicts: 301000 | #Constraints: 12829
497.79/499.61 c #Conflicts: 302000 | #Constraints: 13829
497.79/499.61 c #Conflicts: 303000 | #Constraints: 14829
497.79/499.61 c #Conflicts: 304000 | #Constraints: 15829
497.79/499.61 c #Conflicts: 305000 | #Constraints: 16829
497.79/499.61 c #Conflicts: 306000 | #Constraints: 17829
497.79/499.61 c #Conflicts: 307000 | #Constraints: 18829
497.79/499.61 c #Conflicts: 308000 | #Constraints: 19829
497.79/499.61 c #Conflicts: 309000 | #Constraints: 20829
497.79/499.61 c #Conflicts: 310000 | #Constraints: 21829
497.79/499.61 c INPROCESSING
497.79/499.61 c GARBAGE COLLECT
497.79/499.61 c #Conflicts: 311000 | #Constraints: 11831
497.79/499.61 c #Conflicts: 312000 | #Constraints: 12831
497.79/499.61 c #Conflicts: 313000 | #Constraints: 13831
497.79/499.61 c #Conflicts: 314000 | #Constraints: 14831
497.79/499.61 c #Conflicts: 315000 | #Constraints: 15831
497.79/499.61 c #Conflicts: 316000 | #Constraints: 16831
497.79/499.61 c #Conflicts: 317000 | #Constraints: 17831
497.79/499.61 c #Conflicts: 318000 | #Constraints: 18831
497.79/499.61 c #Conflicts: 319000 | #Constraints: 19831
497.79/499.61 c #Conflicts: 320000 | #Constraints: 20831
497.79/499.61 c #Conflicts: 321000 | #Constraints: 21831
497.79/499.61 c INPROCESSING
497.79/499.61 c GARBAGE COLLECT
497.79/499.61 c #Conflicts: 322000 | #Constraints: 11631
497.79/499.61 c #Conflicts: 323000 | #Constraints: 12631
497.79/499.61 c #Conflicts: 324000 | #Constraints: 13631
497.79/499.61 c #Conflicts: 325000 | #Constraints: 14631
497.79/499.61 c #Conflicts: 326000 | #Constraints: 15631
497.79/499.61 c #Conflicts: 327000 | #Constraints: 16631
497.79/499.61 c #Conflicts: 328000 | #Constraints: 17631
497.79/499.61 c #Conflicts: 329000 | #Constraints: 18631
497.79/499.61 c #Conflicts: 330000 | #Constraints: 19631
497.79/499.61 c #Conflicts: 331000 | #Constraints: 20631
497.79/499.61 c #Conflicts: 332000 | #Constraints: 21631
497.79/499.61 c #Conflicts: 333000 | #Constraints: 22631
497.79/499.61 c INPROCESSING
497.79/499.61 c GARBAGE COLLECT
497.79/499.61 c #Conflicts: 334000 | #Constraints: 12230
497.79/499.61 c #Conflicts: 335000 | #Constraints: 13230
497.79/499.61 c #Conflicts: 336000 | #Constraints: 14230
497.79/499.61 c #Conflicts: 337000 | #Constraints: 15230
497.79/499.61 c #Conflicts: 338000 | #Constraints: 16230
497.79/499.61 c #Conflicts: 339000 | #Constraints: 17230
497.79/499.61 c #Conflicts: 340000 | #Constraints: 18230
497.79/499.61 c #Conflicts: 341000 | #Constraints: 19230
497.79/499.61 c #Conflicts: 342000 | #Constraints: 20230
497.79/499.61 c #Conflicts: 343000 | #Constraints: 21230
497.79/499.61 c #Conflicts: 344000 | #Constraints: 22230
497.79/499.61 c #Conflicts: 345000 | #Constraints: 23230
497.79/499.61 c INPROCESSING
497.79/499.61 c GARBAGE COLLECT
497.79/499.61 c #Conflicts: 346000 | #Constraints: 12629
497.79/499.61 c #Conflicts: 347000 | #Constraints: 13629
497.79/499.61 c #Conflicts: 348000 | #Constraints: 14629
497.79/499.61 c #Conflicts: 349000 | #Constraints: 15629
497.79/499.61 c #Conflicts: 350000 | #Constraints: 16629
497.79/499.61 c #Conflicts: 351000 | #Constraints: 17629
497.79/499.61 c #Conflicts: 352000 | #Constraints: 18629
497.79/499.61 c #Conflicts: 353000 | #Constraints: 19629
497.79/499.61 c #Conflicts: 354000 | #Constraints: 20629
497.79/499.61 c #Conflicts: 355000 | #Constraints: 21629
497.79/499.61 c #Conflicts: 356000 | #Constraints: 22629
497.79/499.61 c #Conflicts: 357000 | #Constraints: 23629
497.79/499.61 c INPROCESSING
497.79/499.61 c GARBAGE COLLECT
497.79/499.61 c #Conflicts: 358000 | #Constraints: 12826
497.79/499.61 c #Conflicts: 359000 | #Constraints: 13826
497.79/499.61 c #Conflicts: 360000 | #Constraints: 14826
497.79/499.61 c #Conflicts: 361000 | #Constraints: 15826
497.79/499.61 c #Conflicts: 362000 | #Constraints: 16826
562.31/564.30 c #Conflicts: 363000 | #Constraints: 17826
562.31/564.30 c #Conflicts: 364000 | #Constraints: 18826
562.31/564.30 c #Conflicts: 365000 | #Constraints: 19826
562.31/564.30 c #Conflicts: 366000 | #Constraints: 20826
562.31/564.30 c #Conflicts: 367000 | #Constraints: 21826
562.31/564.30 c #Conflicts: 368000 | #Constraints: 22826
562.31/564.30 c #Conflicts: 369000 | #Constraints: 23826
562.31/564.30 c INPROCESSING
562.31/564.30 c GARBAGE COLLECT
562.31/564.30 c #Conflicts: 370000 | #Constraints: 12829
562.31/564.30 c #Conflicts: 371000 | #Constraints: 13829
562.31/564.30 c #Conflicts: 372000 | #Constraints: 14829
562.31/564.30 c #Conflicts: 373000 | #Constraints: 15829
562.31/564.30 c #Conflicts: 374000 | #Constraints: 16829
562.31/564.30 c #Conflicts: 375000 | #Constraints: 17829
562.31/564.30 c #Conflicts: 376000 | #Constraints: 18829
562.31/564.30 c #Conflicts: 377000 | #Constraints: 19829
562.31/564.30 c #Conflicts: 378000 | #Constraints: 20829
562.31/564.30 c #Conflicts: 379000 | #Constraints: 21829
562.31/564.30 c #Conflicts: 380000 | #Constraints: 22829
562.31/564.30 c #Conflicts: 381000 | #Constraints: 23829
562.31/564.30 c INPROCESSING
562.31/564.30 c GARBAGE COLLECT
562.31/564.30 c #Conflicts: 382000 | #Constraints: 12628
562.31/564.30 c #Conflicts: 383000 | #Constraints: 13628
562.31/564.30 c #Conflicts: 384000 | #Constraints: 14628
562.31/564.30 c #Conflicts: 385000 | #Constraints: 15628
562.31/564.30 c #Conflicts: 386000 | #Constraints: 16628
562.31/564.30 c #Conflicts: 387000 | #Constraints: 17628
562.31/564.30 c #Conflicts: 388000 | #Constraints: 18628
562.31/564.30 c #Conflicts: 389000 | #Constraints: 19628
562.31/564.30 c #Conflicts: 390000 | #Constraints: 20628
562.31/564.30 c #Conflicts: 391000 | #Constraints: 21628
562.31/564.30 c #Conflicts: 392000 | #Constraints: 22628
562.31/564.30 c #Conflicts: 393000 | #Constraints: 23628
562.31/564.30 c #Conflicts: 394000 | #Constraints: 24628
562.31/564.30 c INPROCESSING
562.31/564.30 c GARBAGE COLLECT
562.31/564.30 c #Conflicts: 395000 | #Constraints: 13228
562.31/564.30 c #Conflicts: 396000 | #Constraints: 14228
562.31/564.30 c #Conflicts: 397000 | #Constraints: 15228
562.31/564.30 c #Conflicts: 398000 | #Constraints: 16228
562.31/564.30 c #Conflicts: 399000 | #Constraints: 17228
562.31/564.30 c #Conflicts: 400000 | #Constraints: 18228
562.31/564.30 c #Conflicts: 401000 | #Constraints: 19228
562.31/564.30 c #Conflicts: 402000 | #Constraints: 20228
562.31/564.30 c #Conflicts: 403000 | #Constraints: 21228
562.31/564.30 c #Conflicts: 404000 | #Constraints: 22228
562.31/564.30 c #Conflicts: 405000 | #Constraints: 23228
562.31/564.30 c #Conflicts: 406000 | #Constraints: 24228
562.31/564.30 c #Conflicts: 407000 | #Constraints: 25228
562.31/564.30 c INPROCESSING
562.31/564.30 c GARBAGE COLLECT
562.31/564.30 c #Conflicts: 408000 | #Constraints: 13628
562.31/564.30 c #Conflicts: 409000 | #Constraints: 14628
562.31/564.30 c #Conflicts: 410000 | #Constraints: 15628
562.31/564.30 c #Conflicts: 411000 | #Constraints: 16628
562.31/564.30 c #Conflicts: 412000 | #Constraints: 17628
562.31/564.30 c #Conflicts: 413000 | #Constraints: 18628
562.31/564.30 c #Conflicts: 414000 | #Constraints: 19628
562.31/564.30 c #Conflicts: 415000 | #Constraints: 20628
562.31/564.30 c #Conflicts: 416000 | #Constraints: 21628
562.31/564.30 c #Conflicts: 417000 | #Constraints: 22628
562.31/564.30 c #Conflicts: 418000 | #Constraints: 23628
562.31/564.30 c #Conflicts: 419000 | #Constraints: 24628
562.31/564.30 c #Conflicts: 420000 | #Constraints: 25628
562.31/564.30 c INPROCESSING
562.31/564.30 c GARBAGE COLLECT
562.31/564.30 c #Conflicts: 421000 | #Constraints: 13834
562.31/564.30 c #Conflicts: 422000 | #Constraints: 14834
562.31/564.30 c #Conflicts: 423000 | #Constraints: 15834
562.31/564.30 c #Conflicts: 424000 | #Constraints: 16834
562.31/564.30 c #Conflicts: 425000 | #Constraints: 17834
562.31/564.30 c #Conflicts: 426000 | #Constraints: 18834
562.31/564.30 c #Conflicts: 427000 | #Constraints: 19834
562.31/564.30 c #Conflicts: 428000 | #Constraints: 20834
562.31/564.30 c #Conflicts: 429000 | #Constraints: 21834
562.31/564.30 c #Conflicts: 430000 | #Constraints: 22834
562.31/564.30 c #Conflicts: 431000 | #Constraints: 23834
562.31/564.30 c #Conflicts: 432000 | #Constraints: 24834
562.31/564.30 c #Conflicts: 433000 | #Constraints: 25834
562.31/564.30 c INPROCESSING
562.31/564.30 c GARBAGE COLLECT
562.31/564.30 c #Conflicts: 434000 | #Constraints: 13832
562.31/564.30 c #Conflicts: 435000 | #Constraints: 14832
562.31/564.30 c #Conflicts: 436000 | #Constraints: 15832
562.31/564.30 c #Conflicts: 437000 | #Constraints: 16832
641.69/643.96 c #Conflicts: 438000 | #Constraints: 17832
641.69/643.96 c #Conflicts: 439000 | #Constraints: 18832
641.69/643.96 c #Conflicts: 440000 | #Constraints: 19832
641.69/643.96 c #Conflicts: 441000 | #Constraints: 20832
641.69/643.96 c #Conflicts: 442000 | #Constraints: 21832
641.69/643.96 c #Conflicts: 443000 | #Constraints: 22832
641.69/643.96 c #Conflicts: 444000 | #Constraints: 23832
641.69/643.96 c #Conflicts: 445000 | #Constraints: 24832
641.69/643.96 c #Conflicts: 446000 | #Constraints: 25832
641.69/643.96 c INPROCESSING
641.69/643.96 c GARBAGE COLLECT
641.69/643.96 c #Conflicts: 447000 | #Constraints: 13633
641.69/643.96 c #Conflicts: 448000 | #Constraints: 14633
641.69/643.96 c #Conflicts: 449000 | #Constraints: 15633
641.69/643.96 c #Conflicts: 450000 | #Constraints: 16633
641.69/643.96 c #Conflicts: 451000 | #Constraints: 17633
641.69/643.96 c #Conflicts: 452000 | #Constraints: 18633
641.69/643.96 c #Conflicts: 453000 | #Constraints: 19633
641.69/643.96 c #Conflicts: 454000 | #Constraints: 20633
641.69/643.96 c #Conflicts: 455000 | #Constraints: 21633
641.69/643.96 c #Conflicts: 456000 | #Constraints: 22633
641.69/643.96 c #Conflicts: 457000 | #Constraints: 23633
641.69/643.96 c #Conflicts: 458000 | #Constraints: 24633
641.69/643.96 c #Conflicts: 459000 | #Constraints: 25633
641.69/643.96 c #Conflicts: 460000 | #Constraints: 26633
641.69/643.96 c INPROCESSING
641.69/643.96 c GARBAGE COLLECT
641.69/643.96 c #Conflicts: 461000 | #Constraints: 14235
641.69/643.96 c #Conflicts: 462000 | #Constraints: 15235
641.69/643.96 c #Conflicts: 463000 | #Constraints: 16235
641.69/643.96 c #Conflicts: 464000 | #Constraints: 17235
641.69/643.96 c #Conflicts: 465000 | #Constraints: 18235
641.69/643.96 c #Conflicts: 466000 | #Constraints: 19235
641.69/643.96 c #Conflicts: 467000 | #Constraints: 20235
641.69/643.96 c #Conflicts: 468000 | #Constraints: 21235
641.69/643.96 c #Conflicts: 469000 | #Constraints: 22235
641.69/643.96 c #Conflicts: 470000 | #Constraints: 23235
641.69/643.96 c #Conflicts: 471000 | #Constraints: 24235
641.69/643.96 c #Conflicts: 472000 | #Constraints: 25235
641.69/643.96 c #Conflicts: 473000 | #Constraints: 26235
641.69/643.96 c #Conflicts: 474000 | #Constraints: 27235
641.69/643.96 c INPROCESSING
641.69/643.96 c GARBAGE COLLECT
641.69/643.96 c #Conflicts: 475000 | #Constraints: 14632
641.69/643.96 c #Conflicts: 476000 | #Constraints: 15632
641.69/643.96 c #Conflicts: 477000 | #Constraints: 16632
641.69/643.96 c #Conflicts: 478000 | #Constraints: 17632
641.69/643.96 c #Conflicts: 479000 | #Constraints: 18632
641.69/643.96 c #Conflicts: 480000 | #Constraints: 19632
641.69/643.96 c #Conflicts: 481000 | #Constraints: 20632
641.69/643.96 c #Conflicts: 482000 | #Constraints: 21632
641.69/643.96 c #Conflicts: 483000 | #Constraints: 22632
641.69/643.96 c #Conflicts: 484000 | #Constraints: 23632
641.69/643.96 c #Conflicts: 485000 | #Constraints: 24632
641.69/643.96 c #Conflicts: 486000 | #Constraints: 25632
641.69/643.96 c #Conflicts: 487000 | #Constraints: 26632
641.69/643.96 c #Conflicts: 488000 | #Constraints: 27632
641.69/643.96 c INPROCESSING
641.69/643.96 c GARBAGE COLLECT
641.69/643.96 c #Conflicts: 489000 | #Constraints: 14833
641.69/643.96 c #Conflicts: 490000 | #Constraints: 15833
641.69/643.96 c #Conflicts: 491000 | #Constraints: 16833
641.69/643.96 c #Conflicts: 492000 | #Constraints: 17833
641.69/643.96 c #Conflicts: 493000 | #Constraints: 18833
641.69/643.96 c #Conflicts: 494000 | #Constraints: 19833
641.69/643.96 c #Conflicts: 495000 | #Constraints: 20833
641.69/643.96 c #Conflicts: 496000 | #Constraints: 21833
641.69/643.96 c #Conflicts: 497000 | #Constraints: 22833
641.69/643.96 c #Conflicts: 498000 | #Constraints: 23833
641.69/643.96 c #Conflicts: 499000 | #Constraints: 24833
641.69/643.96 c #Conflicts: 500000 | #Constraints: 25833
641.69/643.96 c #Conflicts: 501000 | #Constraints: 26833
641.69/643.96 c #Conflicts: 502000 | #Constraints: 27833
641.69/643.96 c INPROCESSING
641.69/643.96 c GARBAGE COLLECT
641.69/643.96 c #Conflicts: 503000 | #Constraints: 14831
641.69/643.96 c #Conflicts: 504000 | #Constraints: 15831
641.69/643.96 c #Conflicts: 505000 | #Constraints: 16831
641.69/643.96 c #Conflicts: 506000 | #Constraints: 17831
641.69/643.96 c #Conflicts: 507000 | #Constraints: 18831
641.69/643.96 c #Conflicts: 508000 | #Constraints: 19831
641.69/643.96 c #Conflicts: 509000 | #Constraints: 20831
641.69/643.96 c #Conflicts: 510000 | #Constraints: 21831
641.69/643.96 c #Conflicts: 511000 | #Constraints: 22831
641.69/643.96 c #Conflicts: 512000 | #Constraints: 23831
641.69/643.96 c #Conflicts: 513000 | #Constraints: 24831
715.83/718.23 c #Conflicts: 514000 | #Constraints: 25831
715.83/718.23 c #Conflicts: 515000 | #Constraints: 26831
715.83/718.23 c #Conflicts: 516000 | #Constraints: 27831
715.83/718.23 c INPROCESSING
715.83/718.23 c GARBAGE COLLECT
715.83/718.23 c #Conflicts: 517000 | #Constraints: 14627
715.83/718.23 c #Conflicts: 518000 | #Constraints: 15627
715.83/718.23 c #Conflicts: 519000 | #Constraints: 16627
715.83/718.23 c #Conflicts: 520000 | #Constraints: 17627
715.83/718.23 c #Conflicts: 521000 | #Constraints: 18627
715.83/718.23 c #Conflicts: 522000 | #Constraints: 19627
715.83/718.23 c #Conflicts: 523000 | #Constraints: 20627
715.83/718.23 c #Conflicts: 524000 | #Constraints: 21627
715.83/718.23 c #Conflicts: 525000 | #Constraints: 22627
715.83/718.23 c #Conflicts: 526000 | #Constraints: 23627
715.83/718.23 c #Conflicts: 527000 | #Constraints: 24627
715.83/718.23 c #Conflicts: 528000 | #Constraints: 25627
715.83/718.23 c #Conflicts: 529000 | #Constraints: 26627
715.83/718.23 c #Conflicts: 530000 | #Constraints: 27627
715.83/718.23 c #Conflicts: 531000 | #Constraints: 28627
715.83/718.23 c INPROCESSING
715.83/718.23 c GARBAGE COLLECT
715.83/718.23 c #Conflicts: 532000 | #Constraints: 15229
715.83/718.23 c #Conflicts: 533000 | #Constraints: 16229
715.83/718.23 c #Conflicts: 534000 | #Constraints: 17229
715.83/718.23 c #Conflicts: 535000 | #Constraints: 18229
715.83/718.23 c #Conflicts: 536000 | #Constraints: 19229
715.83/718.23 c #Conflicts: 537000 | #Constraints: 20229
715.83/718.23 c #Conflicts: 538000 | #Constraints: 21229
715.83/718.23 c #Conflicts: 539000 | #Constraints: 22229
715.83/718.23 c #Conflicts: 540000 | #Constraints: 23229
715.83/718.23 c #Conflicts: 541000 | #Constraints: 24229
715.83/718.23 c #Conflicts: 542000 | #Constraints: 25229
715.83/718.23 c #Conflicts: 543000 | #Constraints: 26229
715.83/718.23 c #Conflicts: 544000 | #Constraints: 27229
715.83/718.23 c #Conflicts: 545000 | #Constraints: 28229
715.83/718.23 c #Conflicts: 546000 | #Constraints: 29229
715.83/718.23 c INPROCESSING
715.83/718.23 c GARBAGE COLLECT
715.83/718.23 c #Conflicts: 547000 | #Constraints: 15630
715.83/718.23 c #Conflicts: 548000 | #Constraints: 16630
715.83/718.23 c #Conflicts: 549000 | #Constraints: 17630
715.83/718.23 c #Conflicts: 550000 | #Constraints: 18630
715.83/718.23 c #Conflicts: 551000 | #Constraints: 19630
715.83/718.23 c #Conflicts: 552000 | #Constraints: 20630
715.83/718.23 c #Conflicts: 553000 | #Constraints: 21630
715.83/718.23 c #Conflicts: 554000 | #Constraints: 22630
715.83/718.23 c #Conflicts: 555000 | #Constraints: 23630
715.83/718.23 c #Conflicts: 556000 | #Constraints: 24630
715.83/718.23 c #Conflicts: 557000 | #Constraints: 25630
715.83/718.23 c #Conflicts: 558000 | #Constraints: 26630
715.83/718.23 c #Conflicts: 559000 | #Constraints: 27630
715.83/718.23 c #Conflicts: 560000 | #Constraints: 28630
715.83/718.23 c #Conflicts: 561000 | #Constraints: 29630
715.83/718.23 c INPROCESSING
715.83/718.23 c GARBAGE COLLECT
715.83/718.23 c #Conflicts: 562000 | #Constraints: 15829
715.83/718.23 c #Conflicts: 563000 | #Constraints: 16829
715.83/718.23 c #Conflicts: 564000 | #Constraints: 17829
715.83/718.23 c #Conflicts: 565000 | #Constraints: 18829
715.83/718.23 c #Conflicts: 566000 | #Constraints: 19829
715.83/718.23 c #Conflicts: 567000 | #Constraints: 20829
715.83/718.23 c #Conflicts: 568000 | #Constraints: 21829
715.83/718.23 c #Conflicts: 569000 | #Constraints: 22829
715.83/718.23 c #Conflicts: 570000 | #Constraints: 23829
715.83/718.23 c #Conflicts: 571000 | #Constraints: 24829
715.83/718.23 c #Conflicts: 572000 | #Constraints: 25829
715.83/718.23 c #Conflicts: 573000 | #Constraints: 26829
715.83/718.23 c #Conflicts: 574000 | #Constraints: 27829
715.83/718.23 c #Conflicts: 575000 | #Constraints: 28829
715.83/718.23 c #Conflicts: 576000 | #Constraints: 29829
715.83/718.23 c INPROCESSING
715.83/718.23 c GARBAGE COLLECT
715.83/718.23 c #Conflicts: 577000 | #Constraints: 15830
715.83/718.23 c #Conflicts: 578000 | #Constraints: 16830
715.83/718.23 c #Conflicts: 579000 | #Constraints: 17830
715.83/718.23 c #Conflicts: 580000 | #Constraints: 18830
715.83/718.23 c #Conflicts: 581000 | #Constraints: 19830
715.83/718.23 c #Conflicts: 582000 | #Constraints: 20830
715.83/718.23 c #Conflicts: 583000 | #Constraints: 21830
715.83/718.23 c #Conflicts: 584000 | #Constraints: 22830
715.83/718.23 c #Conflicts: 585000 | #Constraints: 23830
715.83/718.23 c #Conflicts: 586000 | #Constraints: 24830
715.83/718.23 c #Conflicts: 587000 | #Constraints: 25830
715.83/718.23 c #Conflicts: 588000 | #Constraints: 26830
797.73/800.39 c #Conflicts: 589000 | #Constraints: 27830
797.73/800.39 c #Conflicts: 590000 | #Constraints: 28830
797.73/800.39 c #Conflicts: 591000 | #Constraints: 29830
797.73/800.39 c INPROCESSING
797.73/800.39 c GARBAGE COLLECT
797.73/800.39 c #Conflicts: 592000 | #Constraints: 15631
797.73/800.39 c #Conflicts: 593000 | #Constraints: 16631
797.73/800.39 c #Conflicts: 594000 | #Constraints: 17631
797.73/800.39 c #Conflicts: 595000 | #Constraints: 18631
797.73/800.39 c #Conflicts: 596000 | #Constraints: 19631
797.73/800.39 c #Conflicts: 597000 | #Constraints: 20631
797.73/800.39 c #Conflicts: 598000 | #Constraints: 21631
797.73/800.39 c #Conflicts: 599000 | #Constraints: 22631
797.73/800.39 c #Conflicts: 600000 | #Constraints: 23631
797.73/800.39 c #Conflicts: 601000 | #Constraints: 24631
797.73/800.39 c #Conflicts: 602000 | #Constraints: 25631
797.73/800.39 c #Conflicts: 603000 | #Constraints: 26631
797.73/800.39 c #Conflicts: 604000 | #Constraints: 27631
797.73/800.39 c #Conflicts: 605000 | #Constraints: 28631
797.73/800.39 c #Conflicts: 606000 | #Constraints: 29631
797.73/800.39 c #Conflicts: 607000 | #Constraints: 30631
797.73/800.39 c INPROCESSING
797.73/800.39 c GARBAGE COLLECT
797.73/800.39 c #Conflicts: 608000 | #Constraints: 16232
797.73/800.39 c #Conflicts: 609000 | #Constraints: 17232
797.73/800.39 c #Conflicts: 610000 | #Constraints: 18232
797.73/800.39 c #Conflicts: 611000 | #Constraints: 19232
797.73/800.39 c #Conflicts: 612000 | #Constraints: 20232
797.73/800.39 c #Conflicts: 613000 | #Constraints: 21232
797.73/800.39 c #Conflicts: 614000 | #Constraints: 22232
797.73/800.39 c #Conflicts: 615000 | #Constraints: 23232
797.73/800.39 c #Conflicts: 616000 | #Constraints: 24232
797.73/800.39 c #Conflicts: 617000 | #Constraints: 25232
797.73/800.39 c #Conflicts: 618000 | #Constraints: 26232
797.73/800.39 c #Conflicts: 619000 | #Constraints: 27232
797.73/800.39 c #Conflicts: 620000 | #Constraints: 28232
797.73/800.39 c #Conflicts: 621000 | #Constraints: 29232
797.73/800.39 c #Conflicts: 622000 | #Constraints: 30232
797.73/800.39 c #Conflicts: 623000 | #Constraints: 31232
797.73/800.39 c INPROCESSING
797.73/800.39 c GARBAGE COLLECT
797.73/800.39 c #Conflicts: 624000 | #Constraints: 16630
797.73/800.39 c #Conflicts: 625000 | #Constraints: 17630
797.73/800.39 c #Conflicts: 626000 | #Constraints: 18630
797.73/800.39 c #Conflicts: 627000 | #Constraints: 19630
797.73/800.39 c #Conflicts: 628000 | #Constraints: 20630
797.73/800.39 c #Conflicts: 629000 | #Constraints: 21630
797.73/800.39 c #Conflicts: 630000 | #Constraints: 22630
797.73/800.39 c #Conflicts: 631000 | #Constraints: 23630
797.73/800.39 c #Conflicts: 632000 | #Constraints: 24630
797.73/800.39 c #Conflicts: 633000 | #Constraints: 25630
797.73/800.39 c #Conflicts: 634000 | #Constraints: 26630
797.73/800.39 c #Conflicts: 635000 | #Constraints: 27630
797.73/800.39 c #Conflicts: 636000 | #Constraints: 28630
797.73/800.39 c #Conflicts: 637000 | #Constraints: 29630
797.73/800.39 c #Conflicts: 638000 | #Constraints: 30630
797.73/800.39 c #Conflicts: 639000 | #Constraints: 31630
797.73/800.39 c INPROCESSING
797.73/800.39 c GARBAGE COLLECT
797.73/800.39 c #Conflicts: 640000 | #Constraints: 16825
797.73/800.39 c #Conflicts: 641000 | #Constraints: 17825
797.73/800.39 c #Conflicts: 642000 | #Constraints: 18825
797.73/800.39 c #Conflicts: 643000 | #Constraints: 19825
797.73/800.39 c #Conflicts: 644000 | #Constraints: 20825
797.73/800.39 c #Conflicts: 645000 | #Constraints: 21825
797.73/800.39 c #Conflicts: 646000 | #Constraints: 22825
797.73/800.39 c #Conflicts: 647000 | #Constraints: 23825
797.73/800.39 c #Conflicts: 648000 | #Constraints: 24825
797.73/800.39 c #Conflicts: 649000 | #Constraints: 25825
797.73/800.39 c #Conflicts: 650000 | #Constraints: 26825
797.73/800.39 c #Conflicts: 651000 | #Constraints: 27825
797.73/800.39 c #Conflicts: 652000 | #Constraints: 28825
797.73/800.39 c #Conflicts: 653000 | #Constraints: 29825
797.73/800.39 c #Conflicts: 654000 | #Constraints: 30825
797.73/800.39 c #Conflicts: 655000 | #Constraints: 31825
797.73/800.39 c INPROCESSING
797.73/800.39 c GARBAGE COLLECT
797.73/800.39 c #Conflicts: 656000 | #Constraints: 16831
797.73/800.39 c #Conflicts: 657000 | #Constraints: 17831
797.73/800.39 c #Conflicts: 658000 | #Constraints: 18831
797.73/800.39 c #Conflicts: 659000 | #Constraints: 19831
797.73/800.39 c #Conflicts: 660000 | #Constraints: 20831
797.73/800.39 c #Conflicts: 661000 | #Constraints: 21831
797.73/800.39 c #Conflicts: 662000 | #Constraints: 22831
797.73/800.39 c #Conflicts: 663000 | #Constraints: 23831
797.73/800.39 c #Conflicts: 664000 | #Constraints: 24831
885.70/888.52 c #Conflicts: 665000 | #Constraints: 25831
885.70/888.52 c #Conflicts: 666000 | #Constraints: 26831
885.70/888.52 c #Conflicts: 667000 | #Constraints: 27831
885.70/888.52 c #Conflicts: 668000 | #Constraints: 28831
885.70/888.52 c #Conflicts: 669000 | #Constraints: 29831
885.70/888.52 c #Conflicts: 670000 | #Constraints: 30831
885.70/888.52 c #Conflicts: 671000 | #Constraints: 31831
885.70/888.52 c INPROCESSING
885.70/888.52 c GARBAGE COLLECT
885.70/888.52 c #Conflicts: 672000 | #Constraints: 16628
885.70/888.52 c #Conflicts: 673000 | #Constraints: 17628
885.70/888.52 c #Conflicts: 674000 | #Constraints: 18628
885.70/888.52 c #Conflicts: 675000 | #Constraints: 19628
885.70/888.52 c #Conflicts: 676000 | #Constraints: 20628
885.70/888.52 c #Conflicts: 677000 | #Constraints: 21628
885.70/888.52 c #Conflicts: 678000 | #Constraints: 22628
885.70/888.52 c #Conflicts: 679000 | #Constraints: 23628
885.70/888.52 c #Conflicts: 680000 | #Constraints: 24628
885.70/888.52 c #Conflicts: 681000 | #Constraints: 25628
885.70/888.52 c #Conflicts: 682000 | #Constraints: 26628
885.70/888.52 c #Conflicts: 683000 | #Constraints: 27628
885.70/888.52 c #Conflicts: 684000 | #Constraints: 28628
885.70/888.52 c #Conflicts: 685000 | #Constraints: 29628
885.70/888.52 c #Conflicts: 686000 | #Constraints: 30628
885.70/888.52 c #Conflicts: 687000 | #Constraints: 31628
885.70/888.52 c #Conflicts: 688000 | #Constraints: 32628
885.70/888.52 c INPROCESSING
885.70/888.52 c GARBAGE COLLECT
885.70/888.52 c #Conflicts: 689000 | #Constraints: 17231
885.70/888.52 c #Conflicts: 690000 | #Constraints: 18231
885.70/888.52 c #Conflicts: 691000 | #Constraints: 19231
885.70/888.52 c #Conflicts: 692000 | #Constraints: 20231
885.70/888.52 c #Conflicts: 693000 | #Constraints: 21231
885.70/888.52 c #Conflicts: 694000 | #Constraints: 22231
885.70/888.52 c #Conflicts: 695000 | #Constraints: 23231
885.70/888.52 c #Conflicts: 696000 | #Constraints: 24231
885.70/888.52 c #Conflicts: 697000 | #Constraints: 25231
885.70/888.52 c #Conflicts: 698000 | #Constraints: 26231
885.70/888.52 c #Conflicts: 699000 | #Constraints: 27231
885.70/888.52 c #Conflicts: 700000 | #Constraints: 28231
885.70/888.52 c #Conflicts: 701000 | #Constraints: 29231
885.70/888.52 c #Conflicts: 702000 | #Constraints: 30231
885.70/888.52 c #Conflicts: 703000 | #Constraints: 31231
885.70/888.52 c #Conflicts: 704000 | #Constraints: 32231
885.70/888.52 c #Conflicts: 705000 | #Constraints: 33231
885.70/888.52 c INPROCESSING
885.70/888.52 c GARBAGE COLLECT
885.70/888.52 c #Conflicts: 706000 | #Constraints: 17629
885.70/888.52 c #Conflicts: 707000 | #Constraints: 18629
885.70/888.52 c #Conflicts: 708000 | #Constraints: 19629
885.70/888.52 c #Conflicts: 709000 | #Constraints: 20629
885.70/888.52 c #Conflicts: 710000 | #Constraints: 21629
885.70/888.52 c #Conflicts: 711000 | #Constraints: 22629
885.70/888.52 c #Conflicts: 712000 | #Constraints: 23629
885.70/888.52 c #Conflicts: 713000 | #Constraints: 24629
885.70/888.52 c #Conflicts: 714000 | #Constraints: 25629
885.70/888.52 c #Conflicts: 715000 | #Constraints: 26629
885.70/888.52 c #Conflicts: 716000 | #Constraints: 27629
885.70/888.52 c #Conflicts: 717000 | #Constraints: 28629
885.70/888.52 c #Conflicts: 718000 | #Constraints: 29629
885.70/888.52 c #Conflicts: 719000 | #Constraints: 30629
885.70/888.52 c #Conflicts: 720000 | #Constraints: 31629
885.70/888.52 c #Conflicts: 721000 | #Constraints: 32629
885.70/888.52 c #Conflicts: 722000 | #Constraints: 33629
885.70/888.52 c INPROCESSING
885.70/888.52 c GARBAGE COLLECT
885.70/888.52 c #Conflicts: 723000 | #Constraints: 17829
885.70/888.52 c #Conflicts: 724000 | #Constraints: 18829
885.70/888.52 c #Conflicts: 725000 | #Constraints: 19829
885.70/888.52 c #Conflicts: 726000 | #Constraints: 20829
885.70/888.52 c #Conflicts: 727000 | #Constraints: 21829
885.70/888.52 c #Conflicts: 728000 | #Constraints: 22829
885.70/888.52 c #Conflicts: 729000 | #Constraints: 23829
885.70/888.52 c #Conflicts: 730000 | #Constraints: 24829
885.70/888.52 c #Conflicts: 731000 | #Constraints: 25829
885.70/888.52 c #Conflicts: 732000 | #Constraints: 26829
885.70/888.52 c #Conflicts: 733000 | #Constraints: 27829
885.70/888.52 c #Conflicts: 734000 | #Constraints: 28829
885.70/888.52 c #Conflicts: 735000 | #Constraints: 29829
885.70/888.52 c #Conflicts: 736000 | #Constraints: 30829
885.70/888.52 c #Conflicts: 737000 | #Constraints: 31829
885.70/888.52 c #Conflicts: 738000 | #Constraints: 32829
885.70/888.52 c #Conflicts: 739000 | #Constraints: 33829
885.70/888.52 c INPROCESSING
885.70/888.52 c GARBAGE COLLECT
976.67/979.73 c #Conflicts: 740000 | #Constraints: 17829
976.67/979.73 c #Conflicts: 741000 | #Constraints: 18829
976.67/979.73 c #Conflicts: 742000 | #Constraints: 19829
976.67/979.73 c #Conflicts: 743000 | #Constraints: 20829
976.67/979.73 c #Conflicts: 744000 | #Constraints: 21829
976.67/979.73 c #Conflicts: 745000 | #Constraints: 22829
976.67/979.73 c #Conflicts: 746000 | #Constraints: 23829
976.67/979.73 c #Conflicts: 747000 | #Constraints: 24829
976.67/979.73 c #Conflicts: 748000 | #Constraints: 25829
976.67/979.73 c #Conflicts: 749000 | #Constraints: 26829
976.67/979.73 c #Conflicts: 750000 | #Constraints: 27829
976.67/979.73 c #Conflicts: 751000 | #Constraints: 28829
976.67/979.73 c #Conflicts: 752000 | #Constraints: 29829
976.67/979.73 c #Conflicts: 753000 | #Constraints: 30829
976.67/979.73 c #Conflicts: 754000 | #Constraints: 31829
976.67/979.73 c #Conflicts: 755000 | #Constraints: 32829
976.67/979.73 c #Conflicts: 756000 | #Constraints: 33829
976.67/979.73 c INPROCESSING
976.67/979.73 c GARBAGE COLLECT
976.67/979.73 c #Conflicts: 757000 | #Constraints: 17632
976.67/979.73 c #Conflicts: 758000 | #Constraints: 18632
976.67/979.73 c #Conflicts: 759000 | #Constraints: 19632
976.67/979.73 c #Conflicts: 760000 | #Constraints: 20632
976.67/979.73 c #Conflicts: 761000 | #Constraints: 21632
976.67/979.73 c #Conflicts: 762000 | #Constraints: 22632
976.67/979.73 c #Conflicts: 763000 | #Constraints: 23632
976.67/979.73 c #Conflicts: 764000 | #Constraints: 24632
976.67/979.73 c #Conflicts: 765000 | #Constraints: 25632
976.67/979.73 c #Conflicts: 766000 | #Constraints: 26632
976.67/979.73 c #Conflicts: 767000 | #Constraints: 27632
976.67/979.73 c #Conflicts: 768000 | #Constraints: 28632
976.67/979.73 c #Conflicts: 769000 | #Constraints: 29632
976.67/979.73 c #Conflicts: 770000 | #Constraints: 30632
976.67/979.73 c #Conflicts: 771000 | #Constraints: 31632
976.67/979.73 c #Conflicts: 772000 | #Constraints: 32632
976.67/979.73 c #Conflicts: 773000 | #Constraints: 33632
976.67/979.73 c #Conflicts: 774000 | #Constraints: 34632
976.67/979.73 c INPROCESSING
976.67/979.73 c GARBAGE COLLECT
976.67/979.73 c #Conflicts: 775000 | #Constraints: 18231
976.67/979.73 c #Conflicts: 776000 | #Constraints: 19231
976.67/979.73 c #Conflicts: 777000 | #Constraints: 20231
976.67/979.73 c #Conflicts: 778000 | #Constraints: 21231
976.67/979.73 c #Conflicts: 779000 | #Constraints: 22231
976.67/979.73 c #Conflicts: 780000 | #Constraints: 23231
976.67/979.73 c #Conflicts: 781000 | #Constraints: 24231
976.67/979.73 c #Conflicts: 782000 | #Constraints: 25231
976.67/979.73 c #Conflicts: 783000 | #Constraints: 26231
976.67/979.73 c #Conflicts: 784000 | #Constraints: 27231
976.67/979.73 c #Conflicts: 785000 | #Constraints: 28231
976.67/979.73 c #Conflicts: 786000 | #Constraints: 29231
976.67/979.73 c #Conflicts: 787000 | #Constraints: 30231
976.67/979.73 c #Conflicts: 788000 | #Constraints: 31231
976.67/979.73 c #Conflicts: 789000 | #Constraints: 32231
976.67/979.73 c #Conflicts: 790000 | #Constraints: 33231
976.67/979.73 c #Conflicts: 791000 | #Constraints: 34231
976.67/979.73 c #Conflicts: 792000 | #Constraints: 35231
976.67/979.73 c INPROCESSING
976.67/979.73 c GARBAGE COLLECT
976.67/979.73 c #Conflicts: 793000 | #Constraints: 18631
976.67/979.73 c #Conflicts: 794000 | #Constraints: 19631
976.67/979.73 c #Conflicts: 795000 | #Constraints: 20631
976.67/979.73 c #Conflicts: 796000 | #Constraints: 21631
976.67/979.73 c #Conflicts: 797000 | #Constraints: 22631
976.67/979.73 c #Conflicts: 798000 | #Constraints: 23631
976.67/979.73 c #Conflicts: 799000 | #Constraints: 24631
976.67/979.73 c #Conflicts: 800000 | #Constraints: 25631
976.67/979.73 c #Conflicts: 801000 | #Constraints: 26631
976.67/979.73 c #Conflicts: 802000 | #Constraints: 27631
976.67/979.73 c #Conflicts: 803000 | #Constraints: 28631
976.67/979.73 c #Conflicts: 804000 | #Constraints: 29631
976.67/979.73 c #Conflicts: 805000 | #Constraints: 30631
976.67/979.73 c #Conflicts: 806000 | #Constraints: 31631
976.67/979.73 c #Conflicts: 807000 | #Constraints: 32631
976.67/979.73 c #Conflicts: 808000 | #Constraints: 33631
976.67/979.73 c #Conflicts: 809000 | #Constraints: 34631
976.67/979.73 c #Conflicts: 810000 | #Constraints: 35631
976.67/979.73 c INPROCESSING
976.67/979.73 c GARBAGE COLLECT
976.67/979.73 c #Conflicts: 811000 | #Constraints: 18828
976.67/979.73 c #Conflicts: 812000 | #Constraints: 19828
976.67/979.73 c #Conflicts: 813000 | #Constraints: 20828
976.67/979.73 c #Conflicts: 814000 | #Constraints: 21828
976.67/979.73 c #Conflicts: 815000 | #Constraints: 22828
976.67/979.73 c #Conflicts: 816000 | #Constraints: 23828
1074.22/1077.51 c #Conflicts: 817000 | #Constraints: 24828
1074.22/1077.51 c #Conflicts: 818000 | #Constraints: 25828
1074.22/1077.51 c #Conflicts: 819000 | #Constraints: 26828
1074.22/1077.51 c #Conflicts: 820000 | #Constraints: 27828
1074.22/1077.51 c #Conflicts: 821000 | #Constraints: 28828
1074.22/1077.51 c #Conflicts: 822000 | #Constraints: 29828
1074.22/1077.51 c #Conflicts: 823000 | #Constraints: 30828
1074.22/1077.51 c #Conflicts: 824000 | #Constraints: 31828
1074.22/1077.51 c #Conflicts: 825000 | #Constraints: 32828
1074.22/1077.51 c #Conflicts: 826000 | #Constraints: 33828
1074.22/1077.51 c #Conflicts: 827000 | #Constraints: 34828
1074.22/1077.51 c #Conflicts: 828000 | #Constraints: 35828
1074.22/1077.51 c INPROCESSING
1074.22/1077.51 c GARBAGE COLLECT
1074.22/1077.51 c #Conflicts: 829000 | #Constraints: 18831
1074.22/1077.51 c #Conflicts: 830000 | #Constraints: 19831
1074.22/1077.51 c #Conflicts: 831000 | #Constraints: 20831
1074.22/1077.51 c #Conflicts: 832000 | #Constraints: 21831
1074.22/1077.51 c #Conflicts: 833000 | #Constraints: 22831
1074.22/1077.51 c #Conflicts: 834000 | #Constraints: 23831
1074.22/1077.51 c #Conflicts: 835000 | #Constraints: 24831
1074.22/1077.51 c #Conflicts: 836000 | #Constraints: 25831
1074.22/1077.51 c #Conflicts: 837000 | #Constraints: 26831
1074.22/1077.51 c #Conflicts: 838000 | #Constraints: 27831
1074.22/1077.51 c #Conflicts: 839000 | #Constraints: 28831
1074.22/1077.51 c #Conflicts: 840000 | #Constraints: 29831
1074.22/1077.51 c #Conflicts: 841000 | #Constraints: 30831
1074.22/1077.51 c #Conflicts: 842000 | #Constraints: 31831
1074.22/1077.51 c #Conflicts: 843000 | #Constraints: 32831
1074.22/1077.51 c #Conflicts: 844000 | #Constraints: 33831
1074.22/1077.51 c #Conflicts: 845000 | #Constraints: 34831
1074.22/1077.51 c #Conflicts: 846000 | #Constraints: 35831
1074.22/1077.51 c INPROCESSING
1074.22/1077.51 c GARBAGE COLLECT
1074.22/1077.51 c #Conflicts: 847000 | #Constraints: 18628
1074.22/1077.51 c #Conflicts: 848000 | #Constraints: 19628
1074.22/1077.51 c #Conflicts: 849000 | #Constraints: 20628
1074.22/1077.51 c #Conflicts: 850000 | #Constraints: 21628
1074.22/1077.51 c #Conflicts: 851000 | #Constraints: 22628
1074.22/1077.51 c #Conflicts: 852000 | #Constraints: 23628
1074.22/1077.51 c #Conflicts: 853000 | #Constraints: 24628
1074.22/1077.51 c #Conflicts: 854000 | #Constraints: 25628
1074.22/1077.51 c #Conflicts: 855000 | #Constraints: 26628
1074.22/1077.51 c #Conflicts: 856000 | #Constraints: 27628
1074.22/1077.51 c #Conflicts: 857000 | #Constraints: 28628
1074.22/1077.51 c #Conflicts: 858000 | #Constraints: 29628
1074.22/1077.51 c #Conflicts: 859000 | #Constraints: 30628
1074.22/1077.51 c #Conflicts: 860000 | #Constraints: 31628
1074.22/1077.51 c #Conflicts: 861000 | #Constraints: 32628
1074.22/1077.51 c #Conflicts: 862000 | #Constraints: 33628
1074.22/1077.51 c #Conflicts: 863000 | #Constraints: 34628
1074.22/1077.51 c #Conflicts: 864000 | #Constraints: 35628
1074.22/1077.51 c #Conflicts: 865000 | #Constraints: 36628
1074.22/1077.51 c INPROCESSING
1074.22/1077.51 c GARBAGE COLLECT
1074.22/1077.51 c #Conflicts: 866000 | #Constraints: 19228
1074.22/1077.51 c #Conflicts: 867000 | #Constraints: 20228
1074.22/1077.51 c #Conflicts: 868000 | #Constraints: 21228
1074.22/1077.51 c #Conflicts: 869000 | #Constraints: 22228
1074.22/1077.51 c #Conflicts: 870000 | #Constraints: 23228
1074.22/1077.51 c #Conflicts: 871000 | #Constraints: 24228
1074.22/1077.51 c #Conflicts: 872000 | #Constraints: 25228
1074.22/1077.51 c #Conflicts: 873000 | #Constraints: 26228
1074.22/1077.51 c #Conflicts: 874000 | #Constraints: 27228
1074.22/1077.51 c #Conflicts: 875000 | #Constraints: 28228
1074.22/1077.51 c #Conflicts: 876000 | #Constraints: 29228
1074.22/1077.51 c #Conflicts: 877000 | #Constraints: 30228
1074.22/1077.51 c #Conflicts: 878000 | #Constraints: 31228
1074.22/1077.51 c #Conflicts: 879000 | #Constraints: 32228
1074.22/1077.51 c #Conflicts: 880000 | #Constraints: 33228
1074.22/1077.51 c #Conflicts: 881000 | #Constraints: 34228
1074.22/1077.51 c #Conflicts: 882000 | #Constraints: 35228
1074.22/1077.51 c #Conflicts: 883000 | #Constraints: 36228
1074.22/1077.51 c #Conflicts: 884000 | #Constraints: 37228
1074.22/1077.51 c INPROCESSING
1074.22/1077.51 c GARBAGE COLLECT
1074.22/1077.51 c #Conflicts: 885000 | #Constraints: 19629
1074.22/1077.51 c #Conflicts: 886000 | #Constraints: 20629
1074.22/1077.51 c #Conflicts: 887000 | #Constraints: 21629
1074.22/1077.51 c #Conflicts: 888000 | #Constraints: 22629
1074.22/1077.51 c #Conflicts: 889000 | #Constraints: 23629
1074.22/1077.51 c #Conflicts: 890000 | #Constraints: 24629
1074.22/1077.51 c #Conflicts: 891000 | #Constraints: 25629
1074.22/1077.51 c #Conflicts: 892000 | #Constraints: 26629
1182.42/1186.04 c #Conflicts: 893000 | #Constraints: 27629
1182.42/1186.04 c #Conflicts: 894000 | #Constraints: 28629
1182.42/1186.04 c #Conflicts: 895000 | #Constraints: 29629
1182.42/1186.04 c #Conflicts: 896000 | #Constraints: 30629
1182.42/1186.04 c #Conflicts: 897000 | #Constraints: 31629
1182.42/1186.04 c #Conflicts: 898000 | #Constraints: 32629
1182.42/1186.04 c #Conflicts: 899000 | #Constraints: 33629
1182.42/1186.04 c #Conflicts: 900000 | #Constraints: 34629
1182.42/1186.04 c #Conflicts: 901000 | #Constraints: 35629
1182.42/1186.04 c #Conflicts: 902000 | #Constraints: 36629
1182.42/1186.04 c #Conflicts: 903000 | #Constraints: 37629
1182.42/1186.04 c INPROCESSING
1182.42/1186.04 c GARBAGE COLLECT
1182.42/1186.04 c #Conflicts: 904000 | #Constraints: 19828
1182.42/1186.04 c #Conflicts: 905000 | #Constraints: 20828
1182.42/1186.04 c #Conflicts: 906000 | #Constraints: 21828
1182.42/1186.04 c #Conflicts: 907000 | #Constraints: 22828
1182.42/1186.04 c #Conflicts: 908000 | #Constraints: 23828
1182.42/1186.04 c #Conflicts: 909000 | #Constraints: 24828
1182.42/1186.04 c #Conflicts: 910000 | #Constraints: 25828
1182.42/1186.04 c #Conflicts: 911000 | #Constraints: 26828
1182.42/1186.04 c #Conflicts: 912000 | #Constraints: 27828
1182.42/1186.04 c #Conflicts: 913000 | #Constraints: 28828
1182.42/1186.04 c #Conflicts: 914000 | #Constraints: 29828
1182.42/1186.04 c #Conflicts: 915000 | #Constraints: 30828
1182.42/1186.04 c #Conflicts: 916000 | #Constraints: 31828
1182.42/1186.04 c #Conflicts: 917000 | #Constraints: 32828
1182.42/1186.04 c #Conflicts: 918000 | #Constraints: 33828
1182.42/1186.04 c #Conflicts: 919000 | #Constraints: 34828
1182.42/1186.04 c #Conflicts: 920000 | #Constraints: 35828
1182.42/1186.04 c #Conflicts: 921000 | #Constraints: 36828
1182.42/1186.04 c #Conflicts: 922000 | #Constraints: 37828
1182.42/1186.04 c INPROCESSING
1182.42/1186.04 c GARBAGE COLLECT
1182.42/1186.04 c #Conflicts: 923000 | #Constraints: 19827
1182.42/1186.04 c #Conflicts: 924000 | #Constraints: 20827
1182.42/1186.04 c #Conflicts: 925000 | #Constraints: 21827
1182.42/1186.04 c #Conflicts: 926000 | #Constraints: 22827
1182.42/1186.04 c #Conflicts: 927000 | #Constraints: 23827
1182.42/1186.04 c #Conflicts: 928000 | #Constraints: 24827
1182.42/1186.04 c #Conflicts: 929000 | #Constraints: 25827
1182.42/1186.04 c #Conflicts: 930000 | #Constraints: 26827
1182.42/1186.04 c #Conflicts: 931000 | #Constraints: 27827
1182.42/1186.04 c #Conflicts: 932000 | #Constraints: 28827
1182.42/1186.04 c #Conflicts: 933000 | #Constraints: 29827
1182.42/1186.04 c #Conflicts: 934000 | #Constraints: 30827
1182.42/1186.04 c #Conflicts: 935000 | #Constraints: 31827
1182.42/1186.04 c #Conflicts: 936000 | #Constraints: 32827
1182.42/1186.04 c #Conflicts: 937000 | #Constraints: 33827
1182.42/1186.04 c #Conflicts: 938000 | #Constraints: 34827
1182.42/1186.04 c #Conflicts: 939000 | #Constraints: 35827
1182.42/1186.04 c #Conflicts: 940000 | #Constraints: 36827
1182.42/1186.04 c #Conflicts: 941000 | #Constraints: 37827
1182.42/1186.04 c INPROCESSING
1182.42/1186.04 c GARBAGE COLLECT
1182.42/1186.04 c #Conflicts: 942000 | #Constraints: 19630
1182.42/1186.04 c #Conflicts: 943000 | #Constraints: 20630
1182.42/1186.04 c #Conflicts: 944000 | #Constraints: 21630
1182.42/1186.04 c #Conflicts: 945000 | #Constraints: 22630
1182.42/1186.04 c #Conflicts: 946000 | #Constraints: 23630
1182.42/1186.04 c #Conflicts: 947000 | #Constraints: 24630
1182.42/1186.04 c #Conflicts: 948000 | #Constraints: 25630
1182.42/1186.04 c #Conflicts: 949000 | #Constraints: 26630
1182.42/1186.04 c #Conflicts: 950000 | #Constraints: 27630
1182.42/1186.04 c #Conflicts: 951000 | #Constraints: 28630
1182.42/1186.04 c #Conflicts: 952000 | #Constraints: 29630
1182.42/1186.04 c #Conflicts: 953000 | #Constraints: 30630
1182.42/1186.04 c #Conflicts: 954000 | #Constraints: 31630
1182.42/1186.04 c #Conflicts: 955000 | #Constraints: 32630
1182.42/1186.04 c #Conflicts: 956000 | #Constraints: 33630
1182.42/1186.04 c #Conflicts: 957000 | #Constraints: 34630
1182.42/1186.04 c #Conflicts: 958000 | #Constraints: 35630
1182.42/1186.04 c #Conflicts: 959000 | #Constraints: 36630
1182.42/1186.04 c #Conflicts: 960000 | #Constraints: 37630
1182.42/1186.04 c #Conflicts: 961000 | #Constraints: 38630
1182.42/1186.04 c INPROCESSING
1182.42/1186.04 c GARBAGE COLLECT
1182.42/1186.04 c #Conflicts: 962000 | #Constraints: 20231
1182.42/1186.04 c #Conflicts: 963000 | #Constraints: 21231
1182.42/1186.04 c #Conflicts: 964000 | #Constraints: 22231
1182.42/1186.04 c #Conflicts: 965000 | #Constraints: 23231
1182.42/1186.04 c #Conflicts: 966000 | #Constraints: 24231
1182.42/1186.04 c #Conflicts: 967000 | #Constraints: 25231
1182.42/1186.04 c #Conflicts: 968000 | #Constraints: 26231
1305.12/1309.07 c #Conflicts: 969000 | #Constraints: 27231
1305.12/1309.07 c #Conflicts: 970000 | #Constraints: 28231
1305.12/1309.07 c #Conflicts: 971000 | #Constraints: 29231
1305.12/1309.07 c #Conflicts: 972000 | #Constraints: 30231
1305.12/1309.07 c #Conflicts: 973000 | #Constraints: 31231
1305.12/1309.07 c #Conflicts: 974000 | #Constraints: 32231
1305.12/1309.07 c #Conflicts: 975000 | #Constraints: 33231
1305.12/1309.07 c #Conflicts: 976000 | #Constraints: 34231
1305.12/1309.07 c #Conflicts: 977000 | #Constraints: 35231
1305.12/1309.07 c #Conflicts: 978000 | #Constraints: 36231
1305.12/1309.07 c #Conflicts: 979000 | #Constraints: 37231
1305.12/1309.07 c #Conflicts: 980000 | #Constraints: 38231
1305.12/1309.07 c #Conflicts: 981000 | #Constraints: 39231
1305.12/1309.07 c INPROCESSING
1305.12/1309.07 c GARBAGE COLLECT
1305.12/1309.07 c #Conflicts: 982000 | #Constraints: 20631
1305.12/1309.07 c #Conflicts: 983000 | #Constraints: 21631
1305.12/1309.07 c #Conflicts: 984000 | #Constraints: 22631
1305.12/1309.07 c #Conflicts: 985000 | #Constraints: 23631
1305.12/1309.07 c #Conflicts: 986000 | #Constraints: 24631
1305.12/1309.07 c #Conflicts: 987000 | #Constraints: 25631
1305.12/1309.07 c #Conflicts: 988000 | #Constraints: 26631
1305.12/1309.07 c #Conflicts: 989000 | #Constraints: 27631
1305.12/1309.07 c #Conflicts: 990000 | #Constraints: 28631
1305.12/1309.07 c #Conflicts: 991000 | #Constraints: 29631
1305.12/1309.07 c #Conflicts: 992000 | #Constraints: 30631
1305.12/1309.07 c #Conflicts: 993000 | #Constraints: 31631
1305.12/1309.07 c #Conflicts: 994000 | #Constraints: 32631
1305.12/1309.07 c #Conflicts: 995000 | #Constraints: 33631
1305.12/1309.07 c #Conflicts: 996000 | #Constraints: 34631
1305.12/1309.07 c #Conflicts: 997000 | #Constraints: 35631
1305.12/1309.07 c #Conflicts: 998000 | #Constraints: 36631
1305.12/1309.07 c #Conflicts: 999000 | #Constraints: 37631
1305.12/1309.07 c #Conflicts: 1000000 | #Constraints: 38631
1305.12/1309.07 c #Conflicts: 1001000 | #Constraints: 39631
1305.12/1309.07 c INPROCESSING
1305.12/1309.07 c GARBAGE COLLECT
1305.12/1309.07 c #Conflicts: 1002000 | #Constraints: 20831
1305.12/1309.07 c #Conflicts: 1003000 | #Constraints: 21831
1305.12/1309.07 c #Conflicts: 1004000 | #Constraints: 22831
1305.12/1309.07 c #Conflicts: 1005000 | #Constraints: 23831
1305.12/1309.07 c #Conflicts: 1006000 | #Constraints: 24831
1305.12/1309.07 c #Conflicts: 1007000 | #Constraints: 25831
1305.12/1309.07 c #Conflicts: 1008000 | #Constraints: 26831
1305.12/1309.07 c #Conflicts: 1009000 | #Constraints: 27831
1305.12/1309.07 c #Conflicts: 1010000 | #Constraints: 28831
1305.12/1309.07 c #Conflicts: 1011000 | #Constraints: 29831
1305.12/1309.07 c #Conflicts: 1012000 | #Constraints: 30831
1305.12/1309.07 c #Conflicts: 1013000 | #Constraints: 31831
1305.12/1309.07 c #Conflicts: 1014000 | #Constraints: 32831
1305.12/1309.07 c #Conflicts: 1015000 | #Constraints: 33831
1305.12/1309.07 c #Conflicts: 1016000 | #Constraints: 34831
1305.12/1309.07 c #Conflicts: 1017000 | #Constraints: 35831
1305.12/1309.07 c #Conflicts: 1018000 | #Constraints: 36831
1305.12/1309.07 c #Conflicts: 1019000 | #Constraints: 37831
1305.12/1309.07 c #Conflicts: 1020000 | #Constraints: 38831
1305.12/1309.07 c #Conflicts: 1021000 | #Constraints: 39831
1305.12/1309.07 c INPROCESSING
1305.12/1309.07 c GARBAGE COLLECT
1305.12/1309.07 c #Conflicts: 1022000 | #Constraints: 20830
1305.12/1309.07 c #Conflicts: 1023000 | #Constraints: 21830
1305.12/1309.07 c #Conflicts: 1024000 | #Constraints: 22830
1305.12/1309.07 c #Conflicts: 1025000 | #Constraints: 23830
1305.12/1309.07 c #Conflicts: 1026000 | #Constraints: 24830
1305.12/1309.07 c #Conflicts: 1027000 | #Constraints: 25830
1305.12/1309.07 c #Conflicts: 1028000 | #Constraints: 26830
1305.12/1309.07 c #Conflicts: 1029000 | #Constraints: 27830
1305.12/1309.07 c #Conflicts: 1030000 | #Constraints: 28830
1305.12/1309.07 c #Conflicts: 1031000 | #Constraints: 29830
1305.12/1309.07 c #Conflicts: 1032000 | #Constraints: 30830
1305.12/1309.07 c #Conflicts: 1033000 | #Constraints: 31830
1305.12/1309.07 c #Conflicts: 1034000 | #Constraints: 32830
1305.12/1309.07 c #Conflicts: 1035000 | #Constraints: 33830
1305.12/1309.07 c #Conflicts: 1036000 | #Constraints: 34830
1305.12/1309.07 c #Conflicts: 1037000 | #Constraints: 35830
1305.12/1309.07 c #Conflicts: 1038000 | #Constraints: 36830
1305.12/1309.07 c #Conflicts: 1039000 | #Constraints: 37830
1305.12/1309.07 c #Conflicts: 1040000 | #Constraints: 38830
1305.12/1309.07 c #Conflicts: 1041000 | #Constraints: 39830
1305.12/1309.07 c INPROCESSING
1305.12/1309.07 c GARBAGE COLLECT
1305.12/1309.07 c #Conflicts: 1042000 | #Constraints: 20631
1305.12/1309.07 c #Conflicts: 1043000 | #Constraints: 21631
1305.12/1309.07 c #Conflicts: 1044000 | #Constraints: 22631
1423.34/1427.55 c #Conflicts: 1045000 | #Constraints: 23631
1423.34/1427.55 c #Conflicts: 1046000 | #Constraints: 24631
1423.34/1427.55 c #Conflicts: 1047000 | #Constraints: 25631
1423.34/1427.55 c #Conflicts: 1048000 | #Constraints: 26631
1423.34/1427.55 c #Conflicts: 1049000 | #Constraints: 27631
1423.34/1427.55 c #Conflicts: 1050000 | #Constraints: 28631
1423.34/1427.55 c #Conflicts: 1051000 | #Constraints: 29631
1423.34/1427.55 c #Conflicts: 1052000 | #Constraints: 30631
1423.34/1427.55 c #Conflicts: 1053000 | #Constraints: 31631
1423.34/1427.55 c #Conflicts: 1054000 | #Constraints: 32631
1423.34/1427.55 c #Conflicts: 1055000 | #Constraints: 33631
1423.34/1427.55 c #Conflicts: 1056000 | #Constraints: 34631
1423.34/1427.55 c #Conflicts: 1057000 | #Constraints: 35631
1423.34/1427.55 c #Conflicts: 1058000 | #Constraints: 36631
1423.34/1427.55 c #Conflicts: 1059000 | #Constraints: 37631
1423.34/1427.55 c #Conflicts: 1060000 | #Constraints: 38631
1423.34/1427.55 c #Conflicts: 1061000 | #Constraints: 39631
1423.34/1427.55 c #Conflicts: 1062000 | #Constraints: 40631
1423.34/1427.55 c INPROCESSING
1423.34/1427.55 c GARBAGE COLLECT
1423.34/1427.55 c #Conflicts: 1063000 | #Constraints: 21232
1423.34/1427.55 c #Conflicts: 1064000 | #Constraints: 22232
1423.34/1427.55 c #Conflicts: 1065000 | #Constraints: 23232
1423.34/1427.55 c #Conflicts: 1066000 | #Constraints: 24232
1423.34/1427.55 c #Conflicts: 1067000 | #Constraints: 25232
1423.34/1427.55 c #Conflicts: 1068000 | #Constraints: 26232
1423.34/1427.55 c #Conflicts: 1069000 | #Constraints: 27232
1423.34/1427.55 c #Conflicts: 1070000 | #Constraints: 28232
1423.34/1427.55 c #Conflicts: 1071000 | #Constraints: 29232
1423.34/1427.55 c #Conflicts: 1072000 | #Constraints: 30232
1423.34/1427.55 c #Conflicts: 1073000 | #Constraints: 31232
1423.34/1427.55 c #Conflicts: 1074000 | #Constraints: 32232
1423.34/1427.55 c #Conflicts: 1075000 | #Constraints: 33232
1423.34/1427.55 c #Conflicts: 1076000 | #Constraints: 34232
1423.34/1427.55 c #Conflicts: 1077000 | #Constraints: 35232
1423.34/1427.55 c #Conflicts: 1078000 | #Constraints: 36232
1423.34/1427.55 c #Conflicts: 1079000 | #Constraints: 37232
1423.34/1427.55 c #Conflicts: 1080000 | #Constraints: 38232
1423.34/1427.55 c #Conflicts: 1081000 | #Constraints: 39232
1423.34/1427.55 c #Conflicts: 1082000 | #Constraints: 40232
1423.34/1427.55 c #Conflicts: 1083000 | #Constraints: 41232
1423.34/1427.55 c INPROCESSING
1423.34/1427.55 c GARBAGE COLLECT
1423.34/1427.55 c #Conflicts: 1084000 | #Constraints: 21632
1423.34/1427.55 c #Conflicts: 1085000 | #Constraints: 22632
1423.34/1427.55 c #Conflicts: 1086000 | #Constraints: 23632
1423.34/1427.55 c #Conflicts: 1087000 | #Constraints: 24632
1423.34/1427.55 c #Conflicts: 1088000 | #Constraints: 25632
1423.34/1427.55 c #Conflicts: 1089000 | #Constraints: 26632
1423.34/1427.55 c #Conflicts: 1090000 | #Constraints: 27632
1423.34/1427.55 c #Conflicts: 1091000 | #Constraints: 28632
1423.34/1427.55 c #Conflicts: 1092000 | #Constraints: 29632
1423.34/1427.55 c #Conflicts: 1093000 | #Constraints: 30632
1423.34/1427.55 c #Conflicts: 1094000 | #Constraints: 31632
1423.34/1427.55 c #Conflicts: 1095000 | #Constraints: 32632
1423.34/1427.55 c #Conflicts: 1096000 | #Constraints: 33632
1423.34/1427.55 c #Conflicts: 1097000 | #Constraints: 34632
1423.34/1427.55 c #Conflicts: 1098000 | #Constraints: 35632
1423.34/1427.55 c #Conflicts: 1099000 | #Constraints: 36632
1423.34/1427.55 c #Conflicts: 1100000 | #Constraints: 37632
1423.34/1427.55 c #Conflicts: 1101000 | #Constraints: 38632
1423.34/1427.55 c #Conflicts: 1102000 | #Constraints: 39632
1423.34/1427.55 c #Conflicts: 1103000 | #Constraints: 40632
1423.34/1427.55 c #Conflicts: 1104000 | #Constraints: 41632
1423.34/1427.55 c INPROCESSING
1423.34/1427.55 c GARBAGE COLLECT
1423.34/1427.55 c #Conflicts: 1105000 | #Constraints: 21831
1423.34/1427.55 c #Conflicts: 1106000 | #Constraints: 22831
1423.34/1427.55 c #Conflicts: 1107000 | #Constraints: 23831
1423.34/1427.55 c #Conflicts: 1108000 | #Constraints: 24831
1423.34/1427.55 c #Conflicts: 1109000 | #Constraints: 25831
1423.34/1427.55 c #Conflicts: 1110000 | #Constraints: 26831
1423.34/1427.55 c #Conflicts: 1111000 | #Constraints: 27831
1423.34/1427.55 c #Conflicts: 1112000 | #Constraints: 28831
1423.34/1427.55 c #Conflicts: 1113000 | #Constraints: 29831
1423.34/1427.55 c #Conflicts: 1114000 | #Constraints: 30831
1423.34/1427.55 c #Conflicts: 1115000 | #Constraints: 31831
1423.34/1427.55 c #Conflicts: 1116000 | #Constraints: 32831
1423.34/1427.55 c #Conflicts: 1117000 | #Constraints: 33831
1423.34/1427.55 c #Conflicts: 1118000 | #Constraints: 34831
1423.34/1427.55 c #Conflicts: 1119000 | #Constraints: 35831
1423.34/1427.55 c #Conflicts: 1120000 | #Constraints: 36831
1423.34/1427.55 c #Conflicts: 1121000 | #Constraints: 37831
1539.47/1543.91 c #Conflicts: 1122000 | #Constraints: 38831
1539.47/1543.91 c #Conflicts: 1123000 | #Constraints: 39831
1539.47/1543.91 c #Conflicts: 1124000 | #Constraints: 40831
1539.47/1543.91 c #Conflicts: 1125000 | #Constraints: 41831
1539.47/1543.91 c INPROCESSING
1539.47/1543.91 c GARBAGE COLLECT
1539.47/1543.91 c #Conflicts: 1126000 | #Constraints: 21831
1539.47/1543.91 c #Conflicts: 1127000 | #Constraints: 22831
1539.47/1543.91 c #Conflicts: 1128000 | #Constraints: 23831
1539.47/1543.91 c #Conflicts: 1129000 | #Constraints: 24831
1539.47/1543.91 c #Conflicts: 1130000 | #Constraints: 25831
1539.47/1543.91 c #Conflicts: 1131000 | #Constraints: 26831
1539.47/1543.91 c #Conflicts: 1132000 | #Constraints: 27831
1539.47/1543.91 c #Conflicts: 1133000 | #Constraints: 28831
1539.47/1543.91 c #Conflicts: 1134000 | #Constraints: 29831
1539.47/1543.91 c #Conflicts: 1135000 | #Constraints: 30831
1539.47/1543.91 c #Conflicts: 1136000 | #Constraints: 31831
1539.47/1543.91 c #Conflicts: 1137000 | #Constraints: 32831
1539.47/1543.91 c #Conflicts: 1138000 | #Constraints: 33831
1539.47/1543.91 c #Conflicts: 1139000 | #Constraints: 34831
1539.47/1543.91 c #Conflicts: 1140000 | #Constraints: 35831
1539.47/1543.91 c #Conflicts: 1141000 | #Constraints: 36831
1539.47/1543.91 c #Conflicts: 1142000 | #Constraints: 37831
1539.47/1543.91 c #Conflicts: 1143000 | #Constraints: 38831
1539.47/1543.91 c #Conflicts: 1144000 | #Constraints: 39831
1539.47/1543.91 c #Conflicts: 1145000 | #Constraints: 40831
1539.47/1543.91 c #Conflicts: 1146000 | #Constraints: 41831
1539.47/1543.91 c INPROCESSING
1539.47/1543.91 c GARBAGE COLLECT
1539.47/1543.91 c #Conflicts: 1147000 | #Constraints: 21632
1539.47/1543.91 c #Conflicts: 1148000 | #Constraints: 22632
1539.47/1543.91 c #Conflicts: 1149000 | #Constraints: 23632
1539.47/1543.91 c #Conflicts: 1150000 | #Constraints: 24632
1539.47/1543.91 c #Conflicts: 1151000 | #Constraints: 25632
1539.47/1543.91 c #Conflicts: 1152000 | #Constraints: 26632
1539.47/1543.91 c #Conflicts: 1153000 | #Constraints: 27632
1539.47/1543.91 c #Conflicts: 1154000 | #Constraints: 28632
1539.47/1543.91 c #Conflicts: 1155000 | #Constraints: 29632
1539.47/1543.91 c #Conflicts: 1156000 | #Constraints: 30632
1539.47/1543.91 c #Conflicts: 1157000 | #Constraints: 31632
1539.47/1543.91 c #Conflicts: 1158000 | #Constraints: 32632
1539.47/1543.91 c #Conflicts: 1159000 | #Constraints: 33632
1539.47/1543.91 c #Conflicts: 1160000 | #Constraints: 34632
1539.47/1543.91 c #Conflicts: 1161000 | #Constraints: 35632
1539.47/1543.91 c #Conflicts: 1162000 | #Constraints: 36632
1539.47/1543.91 c #Conflicts: 1163000 | #Constraints: 37632
1539.47/1543.91 c #Conflicts: 1164000 | #Constraints: 38632
1539.47/1543.91 c #Conflicts: 1165000 | #Constraints: 39632
1539.47/1543.91 c #Conflicts: 1166000 | #Constraints: 40632
1539.47/1543.91 c #Conflicts: 1167000 | #Constraints: 41632
1539.47/1543.91 c #Conflicts: 1168000 | #Constraints: 42632
1539.47/1543.91 c INPROCESSING
1539.47/1543.91 c GARBAGE COLLECT
1539.47/1543.91 c #Conflicts: 1169000 | #Constraints: 22233
1539.47/1543.91 c #Conflicts: 1170000 | #Constraints: 23233
1539.47/1543.91 c #Conflicts: 1171000 | #Constraints: 24233
1539.47/1543.91 c #Conflicts: 1172000 | #Constraints: 25233
1539.47/1543.91 c #Conflicts: 1173000 | #Constraints: 26233
1539.47/1543.91 c #Conflicts: 1174000 | #Constraints: 27233
1539.47/1543.91 c #Conflicts: 1175000 | #Constraints: 28233
1539.47/1543.91 c #Conflicts: 1176000 | #Constraints: 29233
1539.47/1543.91 c #Conflicts: 1177000 | #Constraints: 30233
1539.47/1543.91 c #Conflicts: 1178000 | #Constraints: 31233
1539.47/1543.91 c #Conflicts: 1179000 | #Constraints: 32233
1539.47/1543.91 c #Conflicts: 1180000 | #Constraints: 33233
1539.47/1543.91 c #Conflicts: 1181000 | #Constraints: 34233
1539.47/1543.91 c #Conflicts: 1182000 | #Constraints: 35233
1539.47/1543.91 c #Conflicts: 1183000 | #Constraints: 36233
1539.47/1543.91 c #Conflicts: 1184000 | #Constraints: 37233
1539.47/1543.91 c #Conflicts: 1185000 | #Constraints: 38233
1539.47/1543.91 c #Conflicts: 1186000 | #Constraints: 39233
1539.47/1543.91 c #Conflicts: 1187000 | #Constraints: 40233
1539.47/1543.91 c #Conflicts: 1188000 | #Constraints: 41233
1539.47/1543.91 c #Conflicts: 1189000 | #Constraints: 42233
1539.47/1543.91 c #Conflicts: 1190000 | #Constraints: 43233
1539.47/1543.91 c INPROCESSING
1539.47/1543.91 c GARBAGE COLLECT
1539.47/1543.91 c #Conflicts: 1191000 | #Constraints: 22635
1539.47/1543.91 c #Conflicts: 1192000 | #Constraints: 23635
1539.47/1543.91 c #Conflicts: 1193000 | #Constraints: 24635
1539.47/1543.91 c #Conflicts: 1194000 | #Constraints: 25635
1539.47/1543.91 c #Conflicts: 1195000 | #Constraints: 26635
1539.47/1543.91 c #Conflicts: 1196000 | #Constraints: 27635
1539.47/1543.91 c #Conflicts: 1197000 | #Constraints: 28635
1662.60/1667.32 c #Conflicts: 1198000 | #Constraints: 29635
1662.60/1667.32 c #Conflicts: 1199000 | #Constraints: 30635
1662.60/1667.32 c #Conflicts: 1200000 | #Constraints: 31635
1662.60/1667.32 c #Conflicts: 1201000 | #Constraints: 32635
1662.60/1667.32 c #Conflicts: 1202000 | #Constraints: 33635
1662.60/1667.32 c #Conflicts: 1203000 | #Constraints: 34635
1662.60/1667.32 c #Conflicts: 1204000 | #Constraints: 35635
1662.60/1667.32 c #Conflicts: 1205000 | #Constraints: 36635
1662.60/1667.32 c #Conflicts: 1206000 | #Constraints: 37635
1662.60/1667.32 c #Conflicts: 1207000 | #Constraints: 38635
1662.60/1667.32 c #Conflicts: 1208000 | #Constraints: 39635
1662.60/1667.32 c #Conflicts: 1209000 | #Constraints: 40635
1662.60/1667.32 c #Conflicts: 1210000 | #Constraints: 41635
1662.60/1667.32 c #Conflicts: 1211000 | #Constraints: 42635
1662.60/1667.32 c #Conflicts: 1212000 | #Constraints: 43635
1662.60/1667.32 c INPROCESSING
1662.60/1667.32 c GARBAGE COLLECT
1662.60/1667.32 c #Conflicts: 1213000 | #Constraints: 22833
1662.60/1667.32 c #Conflicts: 1214000 | #Constraints: 23833
1662.60/1667.32 c #Conflicts: 1215000 | #Constraints: 24833
1662.60/1667.32 c #Conflicts: 1216000 | #Constraints: 25833
1662.60/1667.32 c #Conflicts: 1217000 | #Constraints: 26833
1662.60/1667.32 c #Conflicts: 1218000 | #Constraints: 27833
1662.60/1667.32 c #Conflicts: 1219000 | #Constraints: 28833
1662.60/1667.32 c #Conflicts: 1220000 | #Constraints: 29833
1662.60/1667.32 c #Conflicts: 1221000 | #Constraints: 30833
1662.60/1667.32 c #Conflicts: 1222000 | #Constraints: 31833
1662.60/1667.32 c #Conflicts: 1223000 | #Constraints: 32833
1662.60/1667.32 c #Conflicts: 1224000 | #Constraints: 33833
1662.60/1667.32 c #Conflicts: 1225000 | #Constraints: 34833
1662.60/1667.32 c #Conflicts: 1226000 | #Constraints: 35833
1662.60/1667.32 c #Conflicts: 1227000 | #Constraints: 36833
1662.60/1667.32 c #Conflicts: 1228000 | #Constraints: 37833
1662.60/1667.32 c #Conflicts: 1229000 | #Constraints: 38833
1662.60/1667.32 c #Conflicts: 1230000 | #Constraints: 39833
1662.60/1667.32 c #Conflicts: 1231000 | #Constraints: 40833
1662.60/1667.32 c #Conflicts: 1232000 | #Constraints: 41833
1662.60/1667.32 c #Conflicts: 1233000 | #Constraints: 42833
1662.60/1667.32 c #Conflicts: 1234000 | #Constraints: 43833
1662.60/1667.32 c INPROCESSING
1662.60/1667.32 c GARBAGE COLLECT
1662.60/1667.32 c #Conflicts: 1235000 | #Constraints: 22830
1662.60/1667.32 c #Conflicts: 1236000 | #Constraints: 23830
1662.60/1667.32 c #Conflicts: 1237000 | #Constraints: 24830
1662.60/1667.32 c #Conflicts: 1238000 | #Constraints: 25830
1662.60/1667.32 c #Conflicts: 1239000 | #Constraints: 26830
1662.60/1667.32 c #Conflicts: 1240000 | #Constraints: 27830
1662.60/1667.32 c #Conflicts: 1241000 | #Constraints: 28830
1662.60/1667.32 c #Conflicts: 1242000 | #Constraints: 29830
1662.60/1667.32 c #Conflicts: 1243000 | #Constraints: 30830
1662.60/1667.32 c #Conflicts: 1244000 | #Constraints: 31830
1662.60/1667.32 c #Conflicts: 1245000 | #Constraints: 32830
1662.60/1667.32 c #Conflicts: 1246000 | #Constraints: 33830
1662.60/1667.32 c #Conflicts: 1247000 | #Constraints: 34830
1662.60/1667.32 c #Conflicts: 1248000 | #Constraints: 35830
1662.60/1667.32 c #Conflicts: 1249000 | #Constraints: 36830
1662.60/1667.32 c #Conflicts: 1250000 | #Constraints: 37830
1662.60/1667.32 c #Conflicts: 1251000 | #Constraints: 38830
1662.60/1667.32 c #Conflicts: 1252000 | #Constraints: 39830
1662.60/1667.32 c #Conflicts: 1253000 | #Constraints: 40830
1662.60/1667.32 c #Conflicts: 1254000 | #Constraints: 41830
1662.60/1667.32 c #Conflicts: 1255000 | #Constraints: 42830
1662.60/1667.32 c #Conflicts: 1256000 | #Constraints: 43830
1662.60/1667.32 c INPROCESSING
1662.60/1667.32 c GARBAGE COLLECT
1662.60/1667.32 c #Conflicts: 1257000 | #Constraints: 22630
1662.60/1667.32 c #Conflicts: 1258000 | #Constraints: 23630
1662.60/1667.32 c #Conflicts: 1259000 | #Constraints: 24630
1662.60/1667.32 c #Conflicts: 1260000 | #Constraints: 25630
1662.60/1667.32 c #Conflicts: 1261000 | #Constraints: 26630
1662.60/1667.32 c #Conflicts: 1262000 | #Constraints: 27630
1662.60/1667.32 c #Conflicts: 1263000 | #Constraints: 28630
1662.60/1667.32 c #Conflicts: 1264000 | #Constraints: 29630
1662.60/1667.32 c #Conflicts: 1265000 | #Constraints: 30630
1662.60/1667.32 c #Conflicts: 1266000 | #Constraints: 31630
1662.60/1667.32 c #Conflicts: 1267000 | #Constraints: 32630
1662.60/1667.32 c #Conflicts: 1268000 | #Constraints: 33630
1662.60/1667.32 c #Conflicts: 1269000 | #Constraints: 34630
1662.60/1667.32 c #Conflicts: 1270000 | #Constraints: 35630
1662.60/1667.32 c #Conflicts: 1271000 | #Constraints: 36630
1662.60/1667.32 c #Conflicts: 1272000 | #Constraints: 37630
1662.60/1667.32 c #Conflicts: 1273000 | #Constraints: 38630
1662.60/1667.32 c #Conflicts: 1274000 | #Constraints: 39630
1788.51/1793.51 c #Conflicts: 1275000 | #Constraints: 40630
1788.51/1793.51 c #Conflicts: 1276000 | #Constraints: 41630
1788.51/1793.51 c #Conflicts: 1277000 | #Constraints: 42630
1788.51/1793.51 c #Conflicts: 1278000 | #Constraints: 43630
1788.51/1793.51 c #Conflicts: 1279000 | #Constraints: 44630
1788.51/1793.51 c INPROCESSING
1788.51/1793.51 c GARBAGE COLLECT
1788.51/1793.51 c #Conflicts: 1280000 | #Constraints: 23229
1788.51/1793.51 c #Conflicts: 1281000 | #Constraints: 24229
1788.51/1793.51 c #Conflicts: 1282000 | #Constraints: 25229
1788.51/1793.51 c #Conflicts: 1283000 | #Constraints: 26229
1788.51/1793.51 c #Conflicts: 1284000 | #Constraints: 27229
1788.51/1793.51 c #Conflicts: 1285000 | #Constraints: 28229
1788.51/1793.51 c #Conflicts: 1286000 | #Constraints: 29229
1788.51/1793.51 c #Conflicts: 1287000 | #Constraints: 30229
1788.51/1793.51 c #Conflicts: 1288000 | #Constraints: 31229
1788.51/1793.51 c #Conflicts: 1289000 | #Constraints: 32229
1788.51/1793.51 c #Conflicts: 1290000 | #Constraints: 33229
1788.51/1793.51 c #Conflicts: 1291000 | #Constraints: 34229
1788.51/1793.51 c #Conflicts: 1292000 | #Constraints: 35229
1788.51/1793.51 c #Conflicts: 1293000 | #Constraints: 36229
1788.51/1793.51 c #Conflicts: 1294000 | #Constraints: 37229
1788.51/1793.51 c #Conflicts: 1295000 | #Constraints: 38229
1788.51/1793.51 c #Conflicts: 1296000 | #Constraints: 39229
1788.51/1793.51 c #Conflicts: 1297000 | #Constraints: 40229
1788.51/1793.51 c #Conflicts: 1298000 | #Constraints: 41229
1788.51/1793.51 c #Conflicts: 1299000 | #Constraints: 42229
1788.51/1793.51 c #Conflicts: 1300000 | #Constraints: 43229
1788.51/1793.51 c #Conflicts: 1301000 | #Constraints: 44229
1788.51/1793.51 c #Conflicts: 1302000 | #Constraints: 45229
1788.51/1793.51 c INPROCESSING
1788.51/1793.51 c GARBAGE COLLECT
1788.51/1793.51 c #Conflicts: 1303000 | #Constraints: 23632
1788.51/1793.51 c #Conflicts: 1304000 | #Constraints: 24632
1788.51/1793.51 c #Conflicts: 1305000 | #Constraints: 25632
1788.51/1793.51 c #Conflicts: 1306000 | #Constraints: 26632
1788.51/1793.51 c #Conflicts: 1307000 | #Constraints: 27632
1788.51/1793.51 c #Conflicts: 1308000 | #Constraints: 28632
1788.51/1793.51 c #Conflicts: 1309000 | #Constraints: 29632
1788.51/1793.51 c #Conflicts: 1310000 | #Constraints: 30632
1788.51/1793.51 c #Conflicts: 1311000 | #Constraints: 31632
1788.51/1793.51 c #Conflicts: 1312000 | #Constraints: 32632
1788.51/1793.51 c #Conflicts: 1313000 | #Constraints: 33632
1788.51/1793.51 c #Conflicts: 1314000 | #Constraints: 34632
1788.51/1793.51 c #Conflicts: 1315000 | #Constraints: 35632
1788.51/1793.51 c #Conflicts: 1316000 | #Constraints: 36632
1788.51/1793.51 c #Conflicts: 1317000 | #Constraints: 37632
1788.51/1793.51 c #Conflicts: 1318000 | #Constraints: 38632
1788.51/1793.51 c #Conflicts: 1319000 | #Constraints: 39632
1788.51/1793.51 c #Conflicts: 1320000 | #Constraints: 40632
1788.51/1793.51 c #Conflicts: 1321000 | #Constraints: 41632
1788.51/1793.51 c #Conflicts: 1322000 | #Constraints: 42632
1788.51/1793.51 c #Conflicts: 1323000 | #Constraints: 43632
1788.51/1793.51 c #Conflicts: 1324000 | #Constraints: 44632
1788.51/1793.51 c #Conflicts: 1325000 | #Constraints: 45632
1788.51/1793.51 c INPROCESSING
1788.51/1793.51 c GARBAGE COLLECT
1788.51/1793.51 c #Conflicts: 1326000 | #Constraints: 23832
1788.51/1793.51 c #Conflicts: 1327000 | #Constraints: 24832
1788.51/1793.51 c #Conflicts: 1328000 | #Constraints: 25832
1788.51/1793.51 c #Conflicts: 1329000 | #Constraints: 26832
1788.51/1793.51 c #Conflicts: 1330000 | #Constraints: 27832
1788.51/1793.51 c #Conflicts: 1331000 | #Constraints: 28832
1788.51/1793.51 c #Conflicts: 1332000 | #Constraints: 29832
1788.51/1793.51 c #Conflicts: 1333000 | #Constraints: 30832
1788.51/1793.51 c #Conflicts: 1334000 | #Constraints: 31832
1788.51/1793.51 c #Conflicts: 1335000 | #Constraints: 32832
1788.51/1793.51 c #Conflicts: 1336000 | #Constraints: 33832
1788.51/1793.51 c #Conflicts: 1337000 | #Constraints: 34832
1788.51/1793.51 c #Conflicts: 1338000 | #Constraints: 35832
1788.51/1793.51 c #Conflicts: 1339000 | #Constraints: 36832
1788.51/1793.51 c #Conflicts: 1340000 | #Constraints: 37832
1788.51/1793.51 c #Conflicts: 1341000 | #Constraints: 38832
1788.51/1793.51 c #Conflicts: 1342000 | #Constraints: 39832
1788.51/1793.51 c #Conflicts: 1343000 | #Constraints: 40832
1788.51/1793.51 c #Conflicts: 1344000 | #Constraints: 41832
1788.51/1793.51 c #Conflicts: 1345000 | #Constraints: 42832
1788.51/1793.51 c #Conflicts: 1346000 | #Constraints: 43832
1788.51/1793.51 c #Conflicts: 1347000 | #Constraints: 44832
1788.51/1793.51 c #Conflicts: 1348000 | #Constraints: 45832
1788.51/1793.51 c INPROCESSING
1788.51/1793.51 c GARBAGE COLLECT
1788.51/1793.51 c #Conflicts: 1349000 | #Constraints: 23832
1788.51/1793.51 c #Conflicts: 1350000 | #Constraints: 24832
1920.72/1926.04 c #Conflicts: 1351000 | #Constraints: 25832
1920.72/1926.04 c #Conflicts: 1352000 | #Constraints: 26832
1920.72/1926.04 c #Conflicts: 1353000 | #Constraints: 27832
1920.72/1926.04 c #Conflicts: 1354000 | #Constraints: 28832
1920.72/1926.04 c #Conflicts: 1355000 | #Constraints: 29832
1920.72/1926.04 c #Conflicts: 1356000 | #Constraints: 30832
1920.72/1926.04 c #Conflicts: 1357000 | #Constraints: 31832
1920.72/1926.04 c #Conflicts: 1358000 | #Constraints: 32832
1920.72/1926.04 c #Conflicts: 1359000 | #Constraints: 33832
1920.72/1926.04 c #Conflicts: 1360000 | #Constraints: 34832
1920.72/1926.04 c #Conflicts: 1361000 | #Constraints: 35832
1920.72/1926.04 c #Conflicts: 1362000 | #Constraints: 36832
1920.72/1926.04 c #Conflicts: 1363000 | #Constraints: 37832
1920.72/1926.04 c #Conflicts: 1364000 | #Constraints: 38832
1920.72/1926.04 c #Conflicts: 1365000 | #Constraints: 39832
1920.72/1926.04 c #Conflicts: 1366000 | #Constraints: 40832
1920.72/1926.04 c #Conflicts: 1367000 | #Constraints: 41832
1920.72/1926.04 c #Conflicts: 1368000 | #Constraints: 42832
1920.72/1926.04 c #Conflicts: 1369000 | #Constraints: 43832
1920.72/1926.04 c #Conflicts: 1370000 | #Constraints: 44832
1920.72/1926.04 c #Conflicts: 1371000 | #Constraints: 45832
1920.72/1926.04 c INPROCESSING
1920.72/1926.04 c GARBAGE COLLECT
1920.72/1926.04 c #Conflicts: 1372000 | #Constraints: 23625
1920.72/1926.04 c #Conflicts: 1373000 | #Constraints: 24625
1920.72/1926.04 c #Conflicts: 1374000 | #Constraints: 25625
1920.72/1926.04 c #Conflicts: 1375000 | #Constraints: 26625
1920.72/1926.04 c #Conflicts: 1376000 | #Constraints: 27625
1920.72/1926.04 c #Conflicts: 1377000 | #Constraints: 28625
1920.72/1926.04 c #Conflicts: 1378000 | #Constraints: 29625
1920.72/1926.04 c #Conflicts: 1379000 | #Constraints: 30625
1920.72/1926.04 c #Conflicts: 1380000 | #Constraints: 31625
1920.72/1926.04 c #Conflicts: 1381000 | #Constraints: 32625
1920.72/1926.04 c #Conflicts: 1382000 | #Constraints: 33625
1920.72/1926.04 c #Conflicts: 1383000 | #Constraints: 34625
1920.72/1926.04 c #Conflicts: 1384000 | #Constraints: 35625
1920.72/1926.04 c #Conflicts: 1385000 | #Constraints: 36625
1920.72/1926.04 c #Conflicts: 1386000 | #Constraints: 37625
1920.72/1926.04 c #Conflicts: 1387000 | #Constraints: 38625
1920.72/1926.04 c #Conflicts: 1388000 | #Constraints: 39625
1920.72/1926.04 c #Conflicts: 1389000 | #Constraints: 40625
1920.72/1926.04 c #Conflicts: 1390000 | #Constraints: 41625
1920.72/1926.04 c #Conflicts: 1391000 | #Constraints: 42625
1920.72/1926.04 c #Conflicts: 1392000 | #Constraints: 43625
1920.72/1926.04 c #Conflicts: 1393000 | #Constraints: 44625
1920.72/1926.04 c #Conflicts: 1394000 | #Constraints: 45625
1920.72/1926.04 c #Conflicts: 1395000 | #Constraints: 46625
1920.72/1926.04 c INPROCESSING
1920.72/1926.04 c GARBAGE COLLECT
1920.72/1926.04 c #Conflicts: 1396000 | #Constraints: 24229
1920.72/1926.04 c #Conflicts: 1397000 | #Constraints: 25229
1920.72/1926.04 c #Conflicts: 1398000 | #Constraints: 26229
1920.72/1926.04 c #Conflicts: 1399000 | #Constraints: 27229
1920.72/1926.04 c #Conflicts: 1400000 | #Constraints: 28229
1920.72/1926.04 c #Conflicts: 1401000 | #Constraints: 29229
1920.72/1926.04 c #Conflicts: 1402000 | #Constraints: 30229
1920.72/1926.04 c #Conflicts: 1403000 | #Constraints: 31229
1920.72/1926.04 c #Conflicts: 1404000 | #Constraints: 32229
1920.72/1926.04 c #Conflicts: 1405000 | #Constraints: 33229
1920.72/1926.04 c #Conflicts: 1406000 | #Constraints: 34229
1920.72/1926.04 c #Conflicts: 1407000 | #Constraints: 35229
1920.72/1926.04 c #Conflicts: 1408000 | #Constraints: 36229
1920.72/1926.04 c #Conflicts: 1409000 | #Constraints: 37229
1920.72/1926.04 c #Conflicts: 1410000 | #Constraints: 38229
1920.72/1926.04 c #Conflicts: 1411000 | #Constraints: 39229
1920.72/1926.04 c #Conflicts: 1412000 | #Constraints: 40229
1920.72/1926.04 c #Conflicts: 1413000 | #Constraints: 41229
1920.72/1926.04 c #Conflicts: 1414000 | #Constraints: 42229
1920.72/1926.04 c #Conflicts: 1415000 | #Constraints: 43229
1920.72/1926.04 c #Conflicts: 1416000 | #Constraints: 44229
1920.72/1926.04 c #Conflicts: 1417000 | #Constraints: 45229
1920.72/1926.04 c #Conflicts: 1418000 | #Constraints: 46229
1920.72/1926.04 c #Conflicts: 1419000 | #Constraints: 47229
1920.72/1926.04 c INPROCESSING
1920.72/1926.04 c GARBAGE COLLECT
1920.72/1926.04 c #Conflicts: 1420000 | #Constraints: 24627
1920.72/1926.04 c #Conflicts: 1421000 | #Constraints: 25627
1920.72/1926.04 c #Conflicts: 1422000 | #Constraints: 26627
1920.72/1926.04 c #Conflicts: 1423000 | #Constraints: 27627
1920.72/1926.04 c #Conflicts: 1424000 | #Constraints: 28627
1920.72/1926.04 c #Conflicts: 1425000 | #Constraints: 29627
1920.72/1926.04 c #Conflicts: 1426000 | #Constraints: 30627
1920.72/1926.04 c #Conflicts: 1427000 | #Constraints: 31627
2056.90/2062.50 c #Conflicts: 1428000 | #Constraints: 32627
2056.90/2062.50 c #Conflicts: 1429000 | #Constraints: 33627
2056.90/2062.50 c #Conflicts: 1430000 | #Constraints: 34627
2056.90/2062.50 c #Conflicts: 1431000 | #Constraints: 35627
2056.90/2062.50 c #Conflicts: 1432000 | #Constraints: 36627
2056.90/2062.50 c #Conflicts: 1433000 | #Constraints: 37627
2056.90/2062.50 c #Conflicts: 1434000 | #Constraints: 38627
2056.90/2062.50 c #Conflicts: 1435000 | #Constraints: 39627
2056.90/2062.50 c #Conflicts: 1436000 | #Constraints: 40627
2056.90/2062.50 c #Conflicts: 1437000 | #Constraints: 41627
2056.90/2062.50 c #Conflicts: 1438000 | #Constraints: 42627
2056.90/2062.50 c #Conflicts: 1439000 | #Constraints: 43627
2056.90/2062.50 c #Conflicts: 1440000 | #Constraints: 44627
2056.90/2062.50 c #Conflicts: 1441000 | #Constraints: 45627
2056.90/2062.50 c #Conflicts: 1442000 | #Constraints: 46627
2056.90/2062.50 c #Conflicts: 1443000 | #Constraints: 47627
2056.90/2062.50 c INPROCESSING
2056.90/2062.50 c GARBAGE COLLECT
2056.90/2062.50 c #Conflicts: 1444000 | #Constraints: 24828
2056.90/2062.50 c #Conflicts: 1445000 | #Constraints: 25828
2056.90/2062.50 c #Conflicts: 1446000 | #Constraints: 26828
2056.90/2062.50 c #Conflicts: 1447000 | #Constraints: 27828
2056.90/2062.50 c #Conflicts: 1448000 | #Constraints: 28828
2056.90/2062.50 c #Conflicts: 1449000 | #Constraints: 29828
2056.90/2062.50 c #Conflicts: 1450000 | #Constraints: 30828
2056.90/2062.50 c #Conflicts: 1451000 | #Constraints: 31828
2056.90/2062.50 c #Conflicts: 1452000 | #Constraints: 32828
2056.90/2062.50 c #Conflicts: 1453000 | #Constraints: 33828
2056.90/2062.50 c #Conflicts: 1454000 | #Constraints: 34828
2056.90/2062.50 c #Conflicts: 1455000 | #Constraints: 35828
2056.90/2062.50 c #Conflicts: 1456000 | #Constraints: 36828
2056.90/2062.50 c #Conflicts: 1457000 | #Constraints: 37828
2056.90/2062.50 c #Conflicts: 1458000 | #Constraints: 38828
2056.90/2062.50 c #Conflicts: 1459000 | #Constraints: 39828
2056.90/2062.50 c #Conflicts: 1460000 | #Constraints: 40828
2056.90/2062.50 c #Conflicts: 1461000 | #Constraints: 41828
2056.90/2062.50 c #Conflicts: 1462000 | #Constraints: 42828
2056.90/2062.50 c #Conflicts: 1463000 | #Constraints: 43828
2056.90/2062.50 c #Conflicts: 1464000 | #Constraints: 44828
2056.90/2062.50 c #Conflicts: 1465000 | #Constraints: 45828
2056.90/2062.50 c #Conflicts: 1466000 | #Constraints: 46828
2056.90/2062.50 c #Conflicts: 1467000 | #Constraints: 47828
2056.90/2062.50 c INPROCESSING
2056.90/2062.50 c GARBAGE COLLECT
2056.90/2062.50 c #Conflicts: 1468000 | #Constraints: 24828
2056.90/2062.50 c #Conflicts: 1469000 | #Constraints: 25828
2056.90/2062.50 c #Conflicts: 1470000 | #Constraints: 26828
2056.90/2062.50 c #Conflicts: 1471000 | #Constraints: 27828
2056.90/2062.50 c #Conflicts: 1472000 | #Constraints: 28828
2056.90/2062.50 c #Conflicts: 1473000 | #Constraints: 29828
2056.90/2062.50 c #Conflicts: 1474000 | #Constraints: 30828
2056.90/2062.50 c #Conflicts: 1475000 | #Constraints: 31828
2056.90/2062.50 c #Conflicts: 1476000 | #Constraints: 32828
2056.90/2062.50 c #Conflicts: 1477000 | #Constraints: 33828
2056.90/2062.50 c #Conflicts: 1478000 | #Constraints: 34828
2056.90/2062.50 c #Conflicts: 1479000 | #Constraints: 35828
2056.90/2062.50 c #Conflicts: 1480000 | #Constraints: 36828
2056.90/2062.50 c #Conflicts: 1481000 | #Constraints: 37828
2056.90/2062.50 c #Conflicts: 1482000 | #Constraints: 38828
2056.90/2062.50 c #Conflicts: 1483000 | #Constraints: 39828
2056.90/2062.50 c #Conflicts: 1484000 | #Constraints: 40828
2056.90/2062.50 c #Conflicts: 1485000 | #Constraints: 41828
2056.90/2062.50 c #Conflicts: 1486000 | #Constraints: 42828
2056.90/2062.50 c #Conflicts: 1487000 | #Constraints: 43828
2056.90/2062.50 c #Conflicts: 1488000 | #Constraints: 44828
2056.90/2062.50 c #Conflicts: 1489000 | #Constraints: 45828
2056.90/2062.50 c #Conflicts: 1490000 | #Constraints: 46828
2056.90/2062.50 c #Conflicts: 1491000 | #Constraints: 47828
2056.90/2062.50 c INPROCESSING
2056.90/2062.50 c GARBAGE COLLECT
2056.90/2062.50 c #Conflicts: 1492000 | #Constraints: 24629
2056.90/2062.50 c #Conflicts: 1493000 | #Constraints: 25629
2056.90/2062.50 c #Conflicts: 1494000 | #Constraints: 26629
2056.90/2062.50 c #Conflicts: 1495000 | #Constraints: 27629
2056.90/2062.50 c #Conflicts: 1496000 | #Constraints: 28629
2056.90/2062.50 c #Conflicts: 1497000 | #Constraints: 29629
2056.90/2062.50 c #Conflicts: 1498000 | #Constraints: 30629
2056.90/2062.50 c #Conflicts: 1499000 | #Constraints: 31629
2056.90/2062.50 c #Conflicts: 1500000 | #Constraints: 32629
2056.90/2062.50 c #Conflicts: 1501000 | #Constraints: 33629
2056.90/2062.50 c #Conflicts: 1502000 | #Constraints: 34629
2056.90/2062.50 c #Conflicts: 1503000 | #Constraints: 35629
2056.90/2062.50 c #Conflicts: 1504000 | #Constraints: 36629
2204.27/2210.29 c #Conflicts: 1505000 | #Constraints: 37629
2204.27/2210.29 c #Conflicts: 1506000 | #Constraints: 38629
2204.27/2210.29 c #Conflicts: 1507000 | #Constraints: 39629
2204.27/2210.29 c #Conflicts: 1508000 | #Constraints: 40629
2204.27/2210.29 c #Conflicts: 1509000 | #Constraints: 41629
2204.27/2210.29 c #Conflicts: 1510000 | #Constraints: 42629
2204.27/2210.29 c #Conflicts: 1511000 | #Constraints: 43629
2204.27/2210.29 c #Conflicts: 1512000 | #Constraints: 44629
2204.27/2210.29 c #Conflicts: 1513000 | #Constraints: 45629
2204.27/2210.29 c #Conflicts: 1514000 | #Constraints: 46629
2204.27/2210.29 c #Conflicts: 1515000 | #Constraints: 47629
2204.27/2210.29 c #Conflicts: 1516000 | #Constraints: 48629
2204.27/2210.29 c INPROCESSING
2204.27/2210.29 c GARBAGE COLLECT
2204.27/2210.29 c #Conflicts: 1517000 | #Constraints: 25229
2204.27/2210.29 c #Conflicts: 1518000 | #Constraints: 26229
2204.27/2210.29 c #Conflicts: 1519000 | #Constraints: 27229
2204.27/2210.29 c #Conflicts: 1520000 | #Constraints: 28229
2204.27/2210.29 c #Conflicts: 1521000 | #Constraints: 29229
2204.27/2210.29 c #Conflicts: 1522000 | #Constraints: 30229
2204.27/2210.29 c #Conflicts: 1523000 | #Constraints: 31229
2204.27/2210.29 c #Conflicts: 1524000 | #Constraints: 32229
2204.27/2210.29 c #Conflicts: 1525000 | #Constraints: 33229
2204.27/2210.29 c #Conflicts: 1526000 | #Constraints: 34229
2204.27/2210.29 c #Conflicts: 1527000 | #Constraints: 35229
2204.27/2210.29 c #Conflicts: 1528000 | #Constraints: 36229
2204.27/2210.29 c #Conflicts: 1529000 | #Constraints: 37229
2204.27/2210.29 c #Conflicts: 1530000 | #Constraints: 38229
2204.27/2210.29 c #Conflicts: 1531000 | #Constraints: 39229
2204.27/2210.29 c #Conflicts: 1532000 | #Constraints: 40229
2204.27/2210.29 c #Conflicts: 1533000 | #Constraints: 41229
2204.27/2210.29 c #Conflicts: 1534000 | #Constraints: 42229
2204.27/2210.29 c #Conflicts: 1535000 | #Constraints: 43229
2204.27/2210.29 c #Conflicts: 1536000 | #Constraints: 44229
2204.27/2210.29 c #Conflicts: 1537000 | #Constraints: 45229
2204.27/2210.29 c #Conflicts: 1538000 | #Constraints: 46229
2204.27/2210.29 c #Conflicts: 1539000 | #Constraints: 47229
2204.27/2210.29 c #Conflicts: 1540000 | #Constraints: 48229
2204.27/2210.29 c #Conflicts: 1541000 | #Constraints: 49229
2204.27/2210.29 c INPROCESSING
2204.27/2210.29 c GARBAGE COLLECT
2204.27/2210.29 c #Conflicts: 1542000 | #Constraints: 25631
2204.27/2210.29 c #Conflicts: 1543000 | #Constraints: 26631
2204.27/2210.29 c #Conflicts: 1544000 | #Constraints: 27631
2204.27/2210.29 c #Conflicts: 1545000 | #Constraints: 28631
2204.27/2210.29 c #Conflicts: 1546000 | #Constraints: 29631
2204.27/2210.29 c #Conflicts: 1547000 | #Constraints: 30631
2204.27/2210.29 c #Conflicts: 1548000 | #Constraints: 31631
2204.27/2210.29 c #Conflicts: 1549000 | #Constraints: 32631
2204.27/2210.29 c #Conflicts: 1550000 | #Constraints: 33631
2204.27/2210.29 c #Conflicts: 1551000 | #Constraints: 34631
2204.27/2210.29 c #Conflicts: 1552000 | #Constraints: 35631
2204.27/2210.29 c #Conflicts: 1553000 | #Constraints: 36631
2204.27/2210.29 c #Conflicts: 1554000 | #Constraints: 37631
2204.27/2210.29 c #Conflicts: 1555000 | #Constraints: 38631
2204.27/2210.29 c #Conflicts: 1556000 | #Constraints: 39631
2204.27/2210.29 c #Conflicts: 1557000 | #Constraints: 40631
2204.27/2210.29 c #Conflicts: 1558000 | #Constraints: 41631
2204.27/2210.29 c #Conflicts: 1559000 | #Constraints: 42631
2204.27/2210.29 c #Conflicts: 1560000 | #Constraints: 43631
2204.27/2210.29 c #Conflicts: 1561000 | #Constraints: 44631
2204.27/2210.29 c #Conflicts: 1562000 | #Constraints: 45631
2204.27/2210.29 c #Conflicts: 1563000 | #Constraints: 46631
2204.27/2210.29 c #Conflicts: 1564000 | #Constraints: 47631
2204.27/2210.29 c #Conflicts: 1565000 | #Constraints: 48631
2204.27/2210.29 c #Conflicts: 1566000 | #Constraints: 49631
2204.27/2210.29 c INPROCESSING
2204.27/2210.29 c GARBAGE COLLECT
2204.27/2210.29 c #Conflicts: 1567000 | #Constraints: 25833
2204.27/2210.29 c #Conflicts: 1568000 | #Constraints: 26833
2204.27/2210.29 c #Conflicts: 1569000 | #Constraints: 27833
2204.27/2210.29 c #Conflicts: 1570000 | #Constraints: 28833
2204.27/2210.29 c #Conflicts: 1571000 | #Constraints: 29833
2204.27/2210.29 c #Conflicts: 1572000 | #Constraints: 30833
2204.27/2210.29 c #Conflicts: 1573000 | #Constraints: 31833
2204.27/2210.29 c #Conflicts: 1574000 | #Constraints: 32833
2204.27/2210.29 c #Conflicts: 1575000 | #Constraints: 33833
2204.27/2210.29 c #Conflicts: 1576000 | #Constraints: 34833
2204.27/2210.29 c #Conflicts: 1577000 | #Constraints: 35833
2204.27/2210.29 c #Conflicts: 1578000 | #Constraints: 36833
2204.27/2210.29 c #Conflicts: 1579000 | #Constraints: 37833
2204.27/2210.29 c #Conflicts: 1580000 | #Constraints: 38833
2204.27/2210.29 c #Conflicts: 1581000 | #Constraints: 39833
2365.40/2371.78 c #Conflicts: 1582000 | #Constraints: 40833
2365.40/2371.78 c #Conflicts: 1583000 | #Constraints: 41833
2365.40/2371.78 c #Conflicts: 1584000 | #Constraints: 42833
2365.40/2371.78 c #Conflicts: 1585000 | #Constraints: 43833
2365.40/2371.78 c #Conflicts: 1586000 | #Constraints: 44833
2365.40/2371.78 c #Conflicts: 1587000 | #Constraints: 45833
2365.40/2371.78 c #Conflicts: 1588000 | #Constraints: 46833
2365.40/2371.78 c #Conflicts: 1589000 | #Constraints: 47833
2365.40/2371.78 c #Conflicts: 1590000 | #Constraints: 48833
2365.40/2371.78 c #Conflicts: 1591000 | #Constraints: 49833
2365.40/2371.78 c INPROCESSING
2365.40/2371.78 c GARBAGE COLLECT
2365.40/2371.78 c #Conflicts: 1592000 | #Constraints: 25831
2365.40/2371.78 c #Conflicts: 1593000 | #Constraints: 26831
2365.40/2371.78 c #Conflicts: 1594000 | #Constraints: 27831
2365.40/2371.78 c #Conflicts: 1595000 | #Constraints: 28831
2365.40/2371.78 c #Conflicts: 1596000 | #Constraints: 29831
2365.40/2371.78 c #Conflicts: 1597000 | #Constraints: 30831
2365.40/2371.78 c #Conflicts: 1598000 | #Constraints: 31831
2365.40/2371.78 c #Conflicts: 1599000 | #Constraints: 32831
2365.40/2371.78 c #Conflicts: 1600000 | #Constraints: 33831
2365.40/2371.78 c #Conflicts: 1601000 | #Constraints: 34831
2365.40/2371.78 c #Conflicts: 1602000 | #Constraints: 35831
2365.40/2371.78 c #Conflicts: 1603000 | #Constraints: 36831
2365.40/2371.78 c #Conflicts: 1604000 | #Constraints: 37831
2365.40/2371.78 c #Conflicts: 1605000 | #Constraints: 38831
2365.40/2371.78 c #Conflicts: 1606000 | #Constraints: 39831
2365.40/2371.78 c #Conflicts: 1607000 | #Constraints: 40831
2365.40/2371.78 c #Conflicts: 1608000 | #Constraints: 41831
2365.40/2371.78 c #Conflicts: 1609000 | #Constraints: 42831
2365.40/2371.78 c #Conflicts: 1610000 | #Constraints: 43831
2365.40/2371.78 c #Conflicts: 1611000 | #Constraints: 44831
2365.40/2371.78 c #Conflicts: 1612000 | #Constraints: 45831
2365.40/2371.78 c #Conflicts: 1613000 | #Constraints: 46831
2365.40/2371.78 c #Conflicts: 1614000 | #Constraints: 47831
2365.40/2371.78 c #Conflicts: 1615000 | #Constraints: 48831
2365.40/2371.78 c #Conflicts: 1616000 | #Constraints: 49831
2365.40/2371.78 c INPROCESSING
2365.40/2371.78 c GARBAGE COLLECT
2365.40/2371.78 c #Conflicts: 1617000 | #Constraints: 25633
2365.40/2371.78 c #Conflicts: 1618000 | #Constraints: 26633
2365.40/2371.78 c #Conflicts: 1619000 | #Constraints: 27633
2365.40/2371.78 c #Conflicts: 1620000 | #Constraints: 28633
2365.40/2371.78 c #Conflicts: 1621000 | #Constraints: 29633
2365.40/2371.78 c #Conflicts: 1622000 | #Constraints: 30633
2365.40/2371.78 c #Conflicts: 1623000 | #Constraints: 31633
2365.40/2371.78 c #Conflicts: 1624000 | #Constraints: 32633
2365.40/2371.78 c #Conflicts: 1625000 | #Constraints: 33633
2365.40/2371.78 c #Conflicts: 1626000 | #Constraints: 34633
2365.40/2371.78 c #Conflicts: 1627000 | #Constraints: 35633
2365.40/2371.78 c #Conflicts: 1628000 | #Constraints: 36633
2365.40/2371.78 c #Conflicts: 1629000 | #Constraints: 37633
2365.40/2371.78 c #Conflicts: 1630000 | #Constraints: 38633
2365.40/2371.78 c #Conflicts: 1631000 | #Constraints: 39633
2365.40/2371.78 c #Conflicts: 1632000 | #Constraints: 40633
2365.40/2371.78 c #Conflicts: 1633000 | #Constraints: 41633
2365.40/2371.78 c #Conflicts: 1634000 | #Constraints: 42633
2365.40/2371.78 c #Conflicts: 1635000 | #Constraints: 43633
2365.40/2371.78 c #Conflicts: 1636000 | #Constraints: 44633
2365.40/2371.78 c #Conflicts: 1637000 | #Constraints: 45633
2365.40/2371.78 c #Conflicts: 1638000 | #Constraints: 46633
2365.40/2371.78 c #Conflicts: 1639000 | #Constraints: 47633
2365.40/2371.78 c #Conflicts: 1640000 | #Constraints: 48633
2365.40/2371.78 c #Conflicts: 1641000 | #Constraints: 49633
2365.40/2371.78 c #Conflicts: 1642000 | #Constraints: 50633
2365.40/2371.78 c INPROCESSING
2365.40/2371.78 c GARBAGE COLLECT
2365.40/2371.78 c #Conflicts: 1643000 | #Constraints: 26232
2365.40/2371.78 c #Conflicts: 1644000 | #Constraints: 27232
2365.40/2371.78 c #Conflicts: 1645000 | #Constraints: 28232
2365.40/2371.78 c #Conflicts: 1646000 | #Constraints: 29232
2365.40/2371.78 c #Conflicts: 1647000 | #Constraints: 30232
2365.40/2371.78 c #Conflicts: 1648000 | #Constraints: 31232
2365.40/2371.78 c #Conflicts: 1649000 | #Constraints: 32232
2365.40/2371.78 c #Conflicts: 1650000 | #Constraints: 33232
2365.40/2371.78 c #Conflicts: 1651000 | #Constraints: 34232
2365.40/2371.78 c #Conflicts: 1652000 | #Constraints: 35232
2365.40/2371.78 c #Conflicts: 1653000 | #Constraints: 36232
2365.40/2371.78 c #Conflicts: 1654000 | #Constraints: 37232
2365.40/2371.78 c #Conflicts: 1655000 | #Constraints: 38232
2365.40/2371.78 c #Conflicts: 1656000 | #Constraints: 39232
2365.40/2371.78 c #Conflicts: 1657000 | #Constraints: 40232
2365.40/2371.78 c #Conflicts: 1658000 | #Constraints: 41232
2515.86/2522.54 c #Conflicts: 1659000 | #Constraints: 42232
2515.86/2522.54 c #Conflicts: 1660000 | #Constraints: 43232
2515.86/2522.54 c #Conflicts: 1661000 | #Constraints: 44232
2515.86/2522.54 c #Conflicts: 1662000 | #Constraints: 45232
2515.86/2522.54 c #Conflicts: 1663000 | #Constraints: 46232
2515.86/2522.54 c #Conflicts: 1664000 | #Constraints: 47232
2515.86/2522.54 c #Conflicts: 1665000 | #Constraints: 48232
2515.86/2522.54 c #Conflicts: 1666000 | #Constraints: 49232
2515.86/2522.54 c #Conflicts: 1667000 | #Constraints: 50232
2515.86/2522.54 c #Conflicts: 1668000 | #Constraints: 51232
2515.86/2522.54 c INPROCESSING
2515.86/2522.54 c GARBAGE COLLECT
2515.86/2522.54 c #Conflicts: 1669000 | #Constraints: 26630
2515.86/2522.54 c #Conflicts: 1670000 | #Constraints: 27630
2515.86/2522.54 c #Conflicts: 1671000 | #Constraints: 28630
2515.86/2522.54 c #Conflicts: 1672000 | #Constraints: 29630
2515.86/2522.54 c #Conflicts: 1673000 | #Constraints: 30630
2515.86/2522.54 c #Conflicts: 1674000 | #Constraints: 31630
2515.86/2522.54 c #Conflicts: 1675000 | #Constraints: 32630
2515.86/2522.54 c #Conflicts: 1676000 | #Constraints: 33630
2515.86/2522.54 c #Conflicts: 1677000 | #Constraints: 34630
2515.86/2522.54 c #Conflicts: 1678000 | #Constraints: 35630
2515.86/2522.54 c #Conflicts: 1679000 | #Constraints: 36630
2515.86/2522.54 c #Conflicts: 1680000 | #Constraints: 37630
2515.86/2522.54 c #Conflicts: 1681000 | #Constraints: 38630
2515.86/2522.54 c #Conflicts: 1682000 | #Constraints: 39630
2515.86/2522.54 c #Conflicts: 1683000 | #Constraints: 40630
2515.86/2522.54 c #Conflicts: 1684000 | #Constraints: 41630
2515.86/2522.54 c #Conflicts: 1685000 | #Constraints: 42630
2515.86/2522.54 c #Conflicts: 1686000 | #Constraints: 43630
2515.86/2522.54 c #Conflicts: 1687000 | #Constraints: 44630
2515.86/2522.54 c #Conflicts: 1688000 | #Constraints: 45630
2515.86/2522.54 c #Conflicts: 1689000 | #Constraints: 46630
2515.86/2522.54 c #Conflicts: 1690000 | #Constraints: 47630
2515.86/2522.54 c #Conflicts: 1691000 | #Constraints: 48630
2515.86/2522.54 c #Conflicts: 1692000 | #Constraints: 49630
2515.86/2522.54 c #Conflicts: 1693000 | #Constraints: 50630
2515.86/2522.54 c #Conflicts: 1694000 | #Constraints: 51630
2515.86/2522.54 c INPROCESSING
2515.86/2522.54 c GARBAGE COLLECT
2515.86/2522.54 c #Conflicts: 1695000 | #Constraints: 26830
2515.86/2522.54 c #Conflicts: 1696000 | #Constraints: 27830
2515.86/2522.54 c #Conflicts: 1697000 | #Constraints: 28830
2515.86/2522.54 c #Conflicts: 1698000 | #Constraints: 29830
2515.86/2522.54 c #Conflicts: 1699000 | #Constraints: 30830
2515.86/2522.54 c #Conflicts: 1700000 | #Constraints: 31830
2515.86/2522.54 c #Conflicts: 1701000 | #Constraints: 32830
2515.86/2522.54 c #Conflicts: 1702000 | #Constraints: 33830
2515.86/2522.54 c #Conflicts: 1703000 | #Constraints: 34830
2515.86/2522.54 c #Conflicts: 1704000 | #Constraints: 35830
2515.86/2522.54 c #Conflicts: 1705000 | #Constraints: 36830
2515.86/2522.54 c #Conflicts: 1706000 | #Constraints: 37830
2515.86/2522.54 c #Conflicts: 1707000 | #Constraints: 38830
2515.86/2522.54 c #Conflicts: 1708000 | #Constraints: 39830
2515.86/2522.54 c #Conflicts: 1709000 | #Constraints: 40830
2515.86/2522.54 c #Conflicts: 1710000 | #Constraints: 41830
2515.86/2522.54 c #Conflicts: 1711000 | #Constraints: 42830
2515.86/2522.54 c #Conflicts: 1712000 | #Constraints: 43830
2515.86/2522.54 c #Conflicts: 1713000 | #Constraints: 44830
2515.86/2522.54 c #Conflicts: 1714000 | #Constraints: 45830
2515.86/2522.54 c #Conflicts: 1715000 | #Constraints: 46830
2515.86/2522.54 c #Conflicts: 1716000 | #Constraints: 47830
2515.86/2522.54 c #Conflicts: 1717000 | #Constraints: 48830
2515.86/2522.54 c #Conflicts: 1718000 | #Constraints: 49830
2515.86/2522.54 c #Conflicts: 1719000 | #Constraints: 50830
2515.86/2522.54 c #Conflicts: 1720000 | #Constraints: 51830
2515.86/2522.54 c INPROCESSING
2515.86/2522.54 c GARBAGE COLLECT
2515.86/2522.54 c #Conflicts: 1721000 | #Constraints: 26828
2515.86/2522.54 c #Conflicts: 1722000 | #Constraints: 27828
2515.86/2522.54 c #Conflicts: 1723000 | #Constraints: 28828
2515.86/2522.54 c #Conflicts: 1724000 | #Constraints: 29828
2515.86/2522.54 c #Conflicts: 1725000 | #Constraints: 30828
2515.86/2522.54 c #Conflicts: 1726000 | #Constraints: 31828
2515.86/2522.54 c #Conflicts: 1727000 | #Constraints: 32828
2515.86/2522.54 c #Conflicts: 1728000 | #Constraints: 33828
2515.86/2522.54 c #Conflicts: 1729000 | #Constraints: 34828
2515.86/2522.54 c #Conflicts: 1730000 | #Constraints: 35828
2515.86/2522.54 c #Conflicts: 1731000 | #Constraints: 36828
2515.86/2522.54 c #Conflicts: 1732000 | #Constraints: 37828
2515.86/2522.54 c #Conflicts: 1733000 | #Constraints: 38828
2515.86/2522.54 c #Conflicts: 1734000 | #Constraints: 39828
2515.86/2522.54 c #Conflicts: 1735000 | #Constraints: 40828
2675.20/2682.21 c #Conflicts: 1736000 | #Constraints: 41828
2675.20/2682.21 c #Conflicts: 1737000 | #Constraints: 42828
2675.20/2682.21 c #Conflicts: 1738000 | #Constraints: 43828
2675.20/2682.21 c #Conflicts: 1739000 | #Constraints: 44828
2675.20/2682.21 c #Conflicts: 1740000 | #Constraints: 45828
2675.20/2682.21 c #Conflicts: 1741000 | #Constraints: 46828
2675.20/2682.21 c #Conflicts: 1742000 | #Constraints: 47828
2675.20/2682.21 c #Conflicts: 1743000 | #Constraints: 48828
2675.20/2682.21 c #Conflicts: 1744000 | #Constraints: 49828
2675.20/2682.21 c #Conflicts: 1745000 | #Constraints: 50828
2675.20/2682.21 c #Conflicts: 1746000 | #Constraints: 51828
2675.20/2682.21 c INPROCESSING
2675.20/2682.21 c GARBAGE COLLECT
2675.20/2682.21 c #Conflicts: 1747000 | #Constraints: 26629
2675.20/2682.21 c #Conflicts: 1748000 | #Constraints: 27629
2675.20/2682.21 c #Conflicts: 1749000 | #Constraints: 28629
2675.20/2682.21 c #Conflicts: 1750000 | #Constraints: 29629
2675.20/2682.21 c #Conflicts: 1751000 | #Constraints: 30629
2675.20/2682.21 c #Conflicts: 1752000 | #Constraints: 31629
2675.20/2682.21 c #Conflicts: 1753000 | #Constraints: 32629
2675.20/2682.21 c #Conflicts: 1754000 | #Constraints: 33629
2675.20/2682.21 c #Conflicts: 1755000 | #Constraints: 34629
2675.20/2682.21 c #Conflicts: 1756000 | #Constraints: 35629
2675.20/2682.21 c #Conflicts: 1757000 | #Constraints: 36629
2675.20/2682.21 c #Conflicts: 1758000 | #Constraints: 37629
2675.20/2682.21 c #Conflicts: 1759000 | #Constraints: 38629
2675.20/2682.21 c #Conflicts: 1760000 | #Constraints: 39629
2675.20/2682.21 c #Conflicts: 1761000 | #Constraints: 40629
2675.20/2682.21 c #Conflicts: 1762000 | #Constraints: 41629
2675.20/2682.21 c #Conflicts: 1763000 | #Constraints: 42629
2675.20/2682.21 c #Conflicts: 1764000 | #Constraints: 43629
2675.20/2682.21 c #Conflicts: 1765000 | #Constraints: 44629
2675.20/2682.21 c #Conflicts: 1766000 | #Constraints: 45629
2675.20/2682.21 c #Conflicts: 1767000 | #Constraints: 46629
2675.20/2682.21 c #Conflicts: 1768000 | #Constraints: 47629
2675.20/2682.21 c #Conflicts: 1769000 | #Constraints: 48629
2675.20/2682.21 c #Conflicts: 1770000 | #Constraints: 49629
2675.20/2682.21 c #Conflicts: 1771000 | #Constraints: 50629
2675.20/2682.21 c #Conflicts: 1772000 | #Constraints: 51629
2675.20/2682.21 c #Conflicts: 1773000 | #Constraints: 52629
2675.20/2682.21 c INPROCESSING
2675.20/2682.21 c GARBAGE COLLECT
2675.20/2682.21 c #Conflicts: 1774000 | #Constraints: 27231
2675.20/2682.21 c #Conflicts: 1775000 | #Constraints: 28231
2675.20/2682.21 c #Conflicts: 1776000 | #Constraints: 29231
2675.20/2682.21 c #Conflicts: 1777000 | #Constraints: 30231
2675.20/2682.21 c #Conflicts: 1778000 | #Constraints: 31231
2675.20/2682.21 c #Conflicts: 1779000 | #Constraints: 32231
2675.20/2682.21 c #Conflicts: 1780000 | #Constraints: 33231
2675.20/2682.21 c #Conflicts: 1781000 | #Constraints: 34231
2675.20/2682.21 c #Conflicts: 1782000 | #Constraints: 35231
2675.20/2682.21 c #Conflicts: 1783000 | #Constraints: 36231
2675.20/2682.21 c #Conflicts: 1784000 | #Constraints: 37231
2675.20/2682.21 c #Conflicts: 1785000 | #Constraints: 38231
2675.20/2682.21 c #Conflicts: 1786000 | #Constraints: 39231
2675.20/2682.21 c #Conflicts: 1787000 | #Constraints: 40231
2675.20/2682.21 c #Conflicts: 1788000 | #Constraints: 41231
2675.20/2682.21 c #Conflicts: 1789000 | #Constraints: 42231
2675.20/2682.21 c #Conflicts: 1790000 | #Constraints: 43231
2675.20/2682.21 c #Conflicts: 1791000 | #Constraints: 44231
2675.20/2682.21 c #Conflicts: 1792000 | #Constraints: 45231
2675.20/2682.21 c #Conflicts: 1793000 | #Constraints: 46231
2675.20/2682.21 c #Conflicts: 1794000 | #Constraints: 47231
2675.20/2682.21 c #Conflicts: 1795000 | #Constraints: 48231
2675.20/2682.21 c #Conflicts: 1796000 | #Constraints: 49231
2675.20/2682.21 c #Conflicts: 1797000 | #Constraints: 50231
2675.20/2682.21 c #Conflicts: 1798000 | #Constraints: 51231
2675.20/2682.21 c #Conflicts: 1799000 | #Constraints: 52231
2675.20/2682.21 c #Conflicts: 1800000 | #Constraints: 53231
2675.20/2682.21 c INPROCESSING
2675.20/2682.21 c GARBAGE COLLECT
2675.20/2682.21 c #Conflicts: 1801000 | #Constraints: 27628
2675.20/2682.21 c #Conflicts: 1802000 | #Constraints: 28628
2675.20/2682.21 c #Conflicts: 1803000 | #Constraints: 29628
2675.20/2682.21 c #Conflicts: 1804000 | #Constraints: 30628
2675.20/2682.21 c #Conflicts: 1805000 | #Constraints: 31628
2675.20/2682.21 c #Conflicts: 1806000 | #Constraints: 32628
2675.20/2682.21 c #Conflicts: 1807000 | #Constraints: 33628
2675.20/2682.21 c #Conflicts: 1808000 | #Constraints: 34628
2675.20/2682.21 c #Conflicts: 1809000 | #Constraints: 35628
2675.20/2682.21 c #Conflicts: 1810000 | #Constraints: 36628
2675.20/2682.21 c #Conflicts: 1811000 | #Constraints: 37628
2675.20/2682.21 c #Conflicts: 1812000 | #Constraints: 38628
2840.02/2847.41 c #Conflicts: 1813000 | #Constraints: 39628
2840.02/2847.41 c #Conflicts: 1814000 | #Constraints: 40628
2840.02/2847.41 c #Conflicts: 1815000 | #Constraints: 41628
2840.02/2847.41 c #Conflicts: 1816000 | #Constraints: 42628
2840.02/2847.41 c #Conflicts: 1817000 | #Constraints: 43628
2840.02/2847.41 c #Conflicts: 1818000 | #Constraints: 44628
2840.02/2847.41 c #Conflicts: 1819000 | #Constraints: 45628
2840.02/2847.41 c #Conflicts: 1820000 | #Constraints: 46628
2840.02/2847.41 c #Conflicts: 1821000 | #Constraints: 47628
2840.02/2847.41 c #Conflicts: 1822000 | #Constraints: 48628
2840.02/2847.41 c #Conflicts: 1823000 | #Constraints: 49628
2840.02/2847.41 c #Conflicts: 1824000 | #Constraints: 50628
2840.02/2847.41 c #Conflicts: 1825000 | #Constraints: 51628
2840.02/2847.41 c #Conflicts: 1826000 | #Constraints: 52628
2840.02/2847.41 c #Conflicts: 1827000 | #Constraints: 53628
2840.02/2847.41 c INPROCESSING
2840.02/2847.41 c GARBAGE COLLECT
2840.02/2847.41 c #Conflicts: 1828000 | #Constraints: 27825
2840.02/2847.41 c #Conflicts: 1829000 | #Constraints: 28825
2840.02/2847.41 c #Conflicts: 1830000 | #Constraints: 29825
2840.02/2847.41 c #Conflicts: 1831000 | #Constraints: 30825
2840.02/2847.41 c #Conflicts: 1832000 | #Constraints: 31825
2840.02/2847.41 c #Conflicts: 1833000 | #Constraints: 32825
2840.02/2847.41 c #Conflicts: 1834000 | #Constraints: 33825
2840.02/2847.41 c #Conflicts: 1835000 | #Constraints: 34825
2840.02/2847.41 c #Conflicts: 1836000 | #Constraints: 35825
2840.02/2847.41 c #Conflicts: 1837000 | #Constraints: 36825
2840.02/2847.41 c #Conflicts: 1838000 | #Constraints: 37825
2840.02/2847.41 c #Conflicts: 1839000 | #Constraints: 38825
2840.02/2847.41 c #Conflicts: 1840000 | #Constraints: 39825
2840.02/2847.41 c #Conflicts: 1841000 | #Constraints: 40825
2840.02/2847.41 c #Conflicts: 1842000 | #Constraints: 41825
2840.02/2847.41 c #Conflicts: 1843000 | #Constraints: 42825
2840.02/2847.41 c #Conflicts: 1844000 | #Constraints: 43825
2840.02/2847.41 c #Conflicts: 1845000 | #Constraints: 44825
2840.02/2847.41 c #Conflicts: 1846000 | #Constraints: 45825
2840.02/2847.41 c #Conflicts: 1847000 | #Constraints: 46825
2840.02/2847.41 c #Conflicts: 1848000 | #Constraints: 47825
2840.02/2847.41 c #Conflicts: 1849000 | #Constraints: 48825
2840.02/2847.41 c #Conflicts: 1850000 | #Constraints: 49825
2840.02/2847.41 c #Conflicts: 1851000 | #Constraints: 50825
2840.02/2847.41 c #Conflicts: 1852000 | #Constraints: 51825
2840.02/2847.41 c #Conflicts: 1853000 | #Constraints: 52825
2840.02/2847.41 c #Conflicts: 1854000 | #Constraints: 53825
2840.02/2847.41 c INPROCESSING
2840.02/2847.41 c GARBAGE COLLECT
2840.02/2847.41 c #Conflicts: 1855000 | #Constraints: 27829
2840.02/2847.41 c #Conflicts: 1856000 | #Constraints: 28829
2840.02/2847.41 c #Conflicts: 1857000 | #Constraints: 29829
2840.02/2847.41 c #Conflicts: 1858000 | #Constraints: 30829
2840.02/2847.41 c #Conflicts: 1859000 | #Constraints: 31829
2840.02/2847.41 c #Conflicts: 1860000 | #Constraints: 32829
2840.02/2847.41 c #Conflicts: 1861000 | #Constraints: 33829
2840.02/2847.41 c #Conflicts: 1862000 | #Constraints: 34829
2840.02/2847.41 c #Conflicts: 1863000 | #Constraints: 35829
2840.02/2847.41 c #Conflicts: 1864000 | #Constraints: 36829
2840.02/2847.41 c #Conflicts: 1865000 | #Constraints: 37829
2840.02/2847.41 c #Conflicts: 1866000 | #Constraints: 38829
2840.02/2847.41 c #Conflicts: 1867000 | #Constraints: 39829
2840.02/2847.41 c #Conflicts: 1868000 | #Constraints: 40829
2840.02/2847.41 c #Conflicts: 1869000 | #Constraints: 41829
2840.02/2847.41 c #Conflicts: 1870000 | #Constraints: 42829
2840.02/2847.41 c #Conflicts: 1871000 | #Constraints: 43829
2840.02/2847.41 c #Conflicts: 1872000 | #Constraints: 44829
2840.02/2847.41 c #Conflicts: 1873000 | #Constraints: 45829
2840.02/2847.41 c #Conflicts: 1874000 | #Constraints: 46829
2840.02/2847.41 c #Conflicts: 1875000 | #Constraints: 47829
2840.02/2847.41 c #Conflicts: 1876000 | #Constraints: 48829
2840.02/2847.41 c #Conflicts: 1877000 | #Constraints: 49829
2840.02/2847.41 c #Conflicts: 1878000 | #Constraints: 50829
2840.02/2847.41 c #Conflicts: 1879000 | #Constraints: 51829
2840.02/2847.41 c #Conflicts: 1880000 | #Constraints: 52829
2840.02/2847.41 c #Conflicts: 1881000 | #Constraints: 53829
2840.02/2847.41 c INPROCESSING
2840.02/2847.41 c GARBAGE COLLECT
2840.02/2847.41 c #Conflicts: 1882000 | #Constraints: 27631
2840.02/2847.41 c #Conflicts: 1883000 | #Constraints: 28631
2840.02/2847.41 c #Conflicts: 1884000 | #Constraints: 29631
2840.02/2847.41 c #Conflicts: 1885000 | #Constraints: 30631
2840.02/2847.41 c #Conflicts: 1886000 | #Constraints: 31631
2840.02/2847.41 c #Conflicts: 1887000 | #Constraints: 32631
2840.02/2847.41 c #Conflicts: 1888000 | #Constraints: 33631
3001.26/3009.07 c #Conflicts: 1889000 | #Constraints: 34631
3001.26/3009.07 c #Conflicts: 1890000 | #Constraints: 35631
3001.26/3009.07 c #Conflicts: 1891000 | #Constraints: 36631
3001.26/3009.07 c #Conflicts: 1892000 | #Constraints: 37631
3001.26/3009.07 c #Conflicts: 1893000 | #Constraints: 38631
3001.26/3009.07 c #Conflicts: 1894000 | #Constraints: 39631
3001.26/3009.07 c #Conflicts: 1895000 | #Constraints: 40631
3001.26/3009.07 c #Conflicts: 1896000 | #Constraints: 41631
3001.26/3009.07 c #Conflicts: 1897000 | #Constraints: 42631
3001.26/3009.07 c #Conflicts: 1898000 | #Constraints: 43631
3001.26/3009.07 c #Conflicts: 1899000 | #Constraints: 44631
3001.26/3009.07 c #Conflicts: 1900000 | #Constraints: 45631
3001.26/3009.07 c #Conflicts: 1901000 | #Constraints: 46631
3001.26/3009.07 c #Conflicts: 1902000 | #Constraints: 47631
3001.26/3009.07 c #Conflicts: 1903000 | #Constraints: 48631
3001.26/3009.07 c #Conflicts: 1904000 | #Constraints: 49631
3001.26/3009.07 c #Conflicts: 1905000 | #Constraints: 50631
3001.26/3009.07 c #Conflicts: 1906000 | #Constraints: 51631
3001.26/3009.07 c #Conflicts: 1907000 | #Constraints: 52631
3001.26/3009.07 c #Conflicts: 1908000 | #Constraints: 53631
3001.26/3009.07 c #Conflicts: 1909000 | #Constraints: 54631
3001.26/3009.07 c INPROCESSING
3001.26/3009.07 c GARBAGE COLLECT
3001.26/3009.07 c #Conflicts: 1910000 | #Constraints: 28230
3001.26/3009.07 c #Conflicts: 1911000 | #Constraints: 29230
3001.26/3009.07 c #Conflicts: 1912000 | #Constraints: 30230
3001.26/3009.07 c #Conflicts: 1913000 | #Constraints: 31230
3001.26/3009.07 c #Conflicts: 1914000 | #Constraints: 32230
3001.26/3009.07 c #Conflicts: 1915000 | #Constraints: 33230
3001.26/3009.07 c #Conflicts: 1916000 | #Constraints: 34230
3001.26/3009.07 c #Conflicts: 1917000 | #Constraints: 35230
3001.26/3009.07 c #Conflicts: 1918000 | #Constraints: 36230
3001.26/3009.07 c #Conflicts: 1919000 | #Constraints: 37230
3001.26/3009.07 c #Conflicts: 1920000 | #Constraints: 38230
3001.26/3009.07 c #Conflicts: 1921000 | #Constraints: 39230
3001.26/3009.07 c #Conflicts: 1922000 | #Constraints: 40230
3001.26/3009.07 c #Conflicts: 1923000 | #Constraints: 41230
3001.26/3009.07 c #Conflicts: 1924000 | #Constraints: 42230
3001.26/3009.07 c #Conflicts: 1925000 | #Constraints: 43230
3001.26/3009.07 c #Conflicts: 1926000 | #Constraints: 44230
3001.26/3009.07 c #Conflicts: 1927000 | #Constraints: 45230
3001.26/3009.07 c #Conflicts: 1928000 | #Constraints: 46230
3001.26/3009.07 c #Conflicts: 1929000 | #Constraints: 47230
3001.26/3009.07 c #Conflicts: 1930000 | #Constraints: 48230
3001.26/3009.07 c #Conflicts: 1931000 | #Constraints: 49230
3001.26/3009.07 c #Conflicts: 1932000 | #Constraints: 50230
3001.26/3009.07 c #Conflicts: 1933000 | #Constraints: 51230
3001.26/3009.07 c #Conflicts: 1934000 | #Constraints: 52230
3001.26/3009.07 c #Conflicts: 1935000 | #Constraints: 53230
3001.26/3009.07 c #Conflicts: 1936000 | #Constraints: 54230
3001.26/3009.07 c #Conflicts: 1937000 | #Constraints: 55230
3001.26/3009.07 c INPROCESSING
3001.26/3009.07 c GARBAGE COLLECT
3001.26/3009.07 c #Conflicts: 1938000 | #Constraints: 28629
3001.26/3009.07 c #Conflicts: 1939000 | #Constraints: 29629
3001.26/3009.07 c #Conflicts: 1940000 | #Constraints: 30629
3001.26/3009.07 c #Conflicts: 1941000 | #Constraints: 31629
3001.26/3009.07 c #Conflicts: 1942000 | #Constraints: 32629
3001.26/3009.07 c #Conflicts: 1943000 | #Constraints: 33629
3001.26/3009.07 c #Conflicts: 1944000 | #Constraints: 34629
3001.26/3009.07 c #Conflicts: 1945000 | #Constraints: 35629
3001.26/3009.07 c #Conflicts: 1946000 | #Constraints: 36629
3001.26/3009.07 c #Conflicts: 1947000 | #Constraints: 37629
3001.26/3009.07 c #Conflicts: 1948000 | #Constraints: 38629
3001.26/3009.07 c #Conflicts: 1949000 | #Constraints: 39629
3001.26/3009.07 c #Conflicts: 1950000 | #Constraints: 40629
3001.26/3009.07 c #Conflicts: 1951000 | #Constraints: 41629
3001.26/3009.07 c #Conflicts: 1952000 | #Constraints: 42629
3001.26/3009.07 c #Conflicts: 1953000 | #Constraints: 43629
3001.26/3009.07 c #Conflicts: 1954000 | #Constraints: 44629
3001.26/3009.07 c #Conflicts: 1955000 | #Constraints: 45629
3001.26/3009.07 c #Conflicts: 1956000 | #Constraints: 46629
3001.26/3009.07 c #Conflicts: 1957000 | #Constraints: 47629
3001.26/3009.07 c #Conflicts: 1958000 | #Constraints: 48629
3001.26/3009.07 c #Conflicts: 1959000 | #Constraints: 49629
3001.26/3009.07 c #Conflicts: 1960000 | #Constraints: 50629
3001.26/3009.07 c #Conflicts: 1961000 | #Constraints: 51629
3001.26/3009.07 c #Conflicts: 1962000 | #Constraints: 52629
3001.26/3009.07 c #Conflicts: 1963000 | #Constraints: 53629
3001.26/3009.07 c #Conflicts: 1964000 | #Constraints: 54629
3001.26/3009.07 c #Conflicts: 1965000 | #Constraints: 55629
3001.26/3009.07 c INPROCESSING
3001.26/3009.07 c GARBAGE COLLECT
3172.97/3181.13 c #Conflicts: 1966000 | #Constraints: 28829
3172.97/3181.13 c #Conflicts: 1967000 | #Constraints: 29829
3172.97/3181.13 c #Conflicts: 1968000 | #Constraints: 30829
3172.97/3181.13 c #Conflicts: 1969000 | #Constraints: 31829
3172.97/3181.13 c #Conflicts: 1970000 | #Constraints: 32829
3172.97/3181.13 c #Conflicts: 1971000 | #Constraints: 33829
3172.97/3181.13 c #Conflicts: 1972000 | #Constraints: 34829
3172.97/3181.13 c #Conflicts: 1973000 | #Constraints: 35829
3172.97/3181.13 c #Conflicts: 1974000 | #Constraints: 36829
3172.97/3181.13 c #Conflicts: 1975000 | #Constraints: 37829
3172.97/3181.13 c #Conflicts: 1976000 | #Constraints: 38829
3172.97/3181.13 c #Conflicts: 1977000 | #Constraints: 39829
3172.97/3181.13 c #Conflicts: 1978000 | #Constraints: 40829
3172.97/3181.13 c #Conflicts: 1979000 | #Constraints: 41829
3172.97/3181.13 c #Conflicts: 1980000 | #Constraints: 42829
3172.97/3181.13 c #Conflicts: 1981000 | #Constraints: 43829
3172.97/3181.13 c #Conflicts: 1982000 | #Constraints: 44829
3172.97/3181.13 c #Conflicts: 1983000 | #Constraints: 45829
3172.97/3181.13 c #Conflicts: 1984000 | #Constraints: 46829
3172.97/3181.13 c #Conflicts: 1985000 | #Constraints: 47829
3172.97/3181.13 c #Conflicts: 1986000 | #Constraints: 48829
3172.97/3181.13 c #Conflicts: 1987000 | #Constraints: 49829
3172.97/3181.13 c #Conflicts: 1988000 | #Constraints: 50829
3172.97/3181.13 c #Conflicts: 1989000 | #Constraints: 51829
3172.97/3181.13 c #Conflicts: 1990000 | #Constraints: 52829
3172.97/3181.13 c #Conflicts: 1991000 | #Constraints: 53829
3172.97/3181.13 c #Conflicts: 1992000 | #Constraints: 54829
3172.97/3181.13 c #Conflicts: 1993000 | #Constraints: 55829
3172.97/3181.13 c INPROCESSING
3172.97/3181.13 c GARBAGE COLLECT
3172.97/3181.13 c #Conflicts: 1994000 | #Constraints: 28830
3172.97/3181.13 c #Conflicts: 1995000 | #Constraints: 29830
3172.97/3181.13 c #Conflicts: 1996000 | #Constraints: 30830
3172.97/3181.13 c #Conflicts: 1997000 | #Constraints: 31830
3172.97/3181.13 c #Conflicts: 1998000 | #Constraints: 32830
3172.97/3181.13 c #Conflicts: 1999000 | #Constraints: 33830
3172.97/3181.13 c #Conflicts: 2000000 | #Constraints: 34830
3172.97/3181.13 c #Conflicts: 2001000 | #Constraints: 35830
3172.97/3181.13 c #Conflicts: 2002000 | #Constraints: 36830
3172.97/3181.13 c #Conflicts: 2003000 | #Constraints: 37830
3172.97/3181.13 c #Conflicts: 2004000 | #Constraints: 38830
3172.97/3181.13 c #Conflicts: 2005000 | #Constraints: 39830
3172.97/3181.13 c #Conflicts: 2006000 | #Constraints: 40830
3172.97/3181.13 c #Conflicts: 2007000 | #Constraints: 41830
3172.97/3181.13 c #Conflicts: 2008000 | #Constraints: 42830
3172.97/3181.13 c #Conflicts: 2009000 | #Constraints: 43830
3172.97/3181.13 c #Conflicts: 2010000 | #Constraints: 44830
3172.97/3181.13 c #Conflicts: 2011000 | #Constraints: 45830
3172.97/3181.13 c #Conflicts: 2012000 | #Constraints: 46830
3172.97/3181.13 c #Conflicts: 2013000 | #Constraints: 47830
3172.97/3181.13 c #Conflicts: 2014000 | #Constraints: 48830
3172.97/3181.13 c #Conflicts: 2015000 | #Constraints: 49830
3172.97/3181.13 c #Conflicts: 2016000 | #Constraints: 50830
3172.97/3181.13 c #Conflicts: 2017000 | #Constraints: 51830
3172.97/3181.13 c #Conflicts: 2018000 | #Constraints: 52830
3172.97/3181.13 c #Conflicts: 2019000 | #Constraints: 53830
3172.97/3181.13 c #Conflicts: 2020000 | #Constraints: 54830
3172.97/3181.13 c #Conflicts: 2021000 | #Constraints: 55830
3172.97/3181.13 c INPROCESSING
3172.97/3181.13 c GARBAGE COLLECT
3172.97/3181.13 c #Conflicts: 2022000 | #Constraints: 28625
3172.97/3181.13 c #Conflicts: 2023000 | #Constraints: 29625
3172.97/3181.13 c #Conflicts: 2024000 | #Constraints: 30625
3172.97/3181.13 c #Conflicts: 2025000 | #Constraints: 31625
3172.97/3181.13 c #Conflicts: 2026000 | #Constraints: 32625
3172.97/3181.13 c #Conflicts: 2027000 | #Constraints: 33625
3172.97/3181.13 c #Conflicts: 2028000 | #Constraints: 34625
3172.97/3181.13 c #Conflicts: 2029000 | #Constraints: 35625
3172.97/3181.13 c #Conflicts: 2030000 | #Constraints: 36625
3172.97/3181.13 c #Conflicts: 2031000 | #Constraints: 37625
3172.97/3181.13 c #Conflicts: 2032000 | #Constraints: 38625
3172.97/3181.13 c #Conflicts: 2033000 | #Constraints: 39625
3172.97/3181.13 c #Conflicts: 2034000 | #Constraints: 40625
3172.97/3181.13 c #Conflicts: 2035000 | #Constraints: 41625
3172.97/3181.13 c #Conflicts: 2036000 | #Constraints: 42625
3172.97/3181.13 c #Conflicts: 2037000 | #Constraints: 43625
3172.97/3181.13 c #Conflicts: 2038000 | #Constraints: 44625
3172.97/3181.13 c #Conflicts: 2039000 | #Constraints: 45625
3172.97/3181.13 c #Conflicts: 2040000 | #Constraints: 46625
3172.97/3181.13 c #Conflicts: 2041000 | #Constraints: 47625
3172.97/3181.13 c #Conflicts: 2042000 | #Constraints: 48625
3172.97/3181.13 c #Conflicts: 2043000 | #Constraints: 49625
3355.84/3364.40 c #Conflicts: 2044000 | #Constraints: 50625
3355.84/3364.40 c #Conflicts: 2045000 | #Constraints: 51625
3355.84/3364.40 c #Conflicts: 2046000 | #Constraints: 52625
3355.84/3364.40 c #Conflicts: 2047000 | #Constraints: 53625
3355.84/3364.40 c #Conflicts: 2048000 | #Constraints: 54625
3355.84/3364.40 c #Conflicts: 2049000 | #Constraints: 55625
3355.84/3364.40 c #Conflicts: 2050000 | #Constraints: 56625
3355.84/3364.40 c INPROCESSING
3355.84/3364.40 c GARBAGE COLLECT
3355.84/3364.40 c #Conflicts: 2051000 | #Constraints: 29229
3355.84/3364.40 c #Conflicts: 2052000 | #Constraints: 30229
3355.84/3364.40 c #Conflicts: 2053000 | #Constraints: 31229
3355.84/3364.40 c #Conflicts: 2054000 | #Constraints: 32229
3355.84/3364.40 c #Conflicts: 2055000 | #Constraints: 33229
3355.84/3364.40 c #Conflicts: 2056000 | #Constraints: 34229
3355.84/3364.40 c #Conflicts: 2057000 | #Constraints: 35229
3355.84/3364.40 c #Conflicts: 2058000 | #Constraints: 36229
3355.84/3364.40 c #Conflicts: 2059000 | #Constraints: 37229
3355.84/3364.40 c #Conflicts: 2060000 | #Constraints: 38229
3355.84/3364.40 c #Conflicts: 2061000 | #Constraints: 39229
3355.84/3364.40 c #Conflicts: 2062000 | #Constraints: 40229
3355.84/3364.40 c #Conflicts: 2063000 | #Constraints: 41229
3355.84/3364.40 c #Conflicts: 2064000 | #Constraints: 42229
3355.84/3364.40 c #Conflicts: 2065000 | #Constraints: 43229
3355.84/3364.40 c #Conflicts: 2066000 | #Constraints: 44229
3355.84/3364.40 c #Conflicts: 2067000 | #Constraints: 45229
3355.84/3364.40 c #Conflicts: 2068000 | #Constraints: 46229
3355.84/3364.40 c #Conflicts: 2069000 | #Constraints: 47229
3355.84/3364.40 c #Conflicts: 2070000 | #Constraints: 48229
3355.84/3364.40 c #Conflicts: 2071000 | #Constraints: 49229
3355.84/3364.40 c #Conflicts: 2072000 | #Constraints: 50229
3355.84/3364.40 c #Conflicts: 2073000 | #Constraints: 51229
3355.84/3364.40 c #Conflicts: 2074000 | #Constraints: 52229
3355.84/3364.40 c #Conflicts: 2075000 | #Constraints: 53229
3355.84/3364.40 c #Conflicts: 2076000 | #Constraints: 54229
3355.84/3364.40 c #Conflicts: 2077000 | #Constraints: 55229
3355.84/3364.40 c #Conflicts: 2078000 | #Constraints: 56229
3355.84/3364.40 c #Conflicts: 2079000 | #Constraints: 57229
3355.84/3364.40 c INPROCESSING
3355.84/3364.40 c GARBAGE COLLECT
3355.84/3364.40 c #Conflicts: 2080000 | #Constraints: 29631
3355.84/3364.40 c #Conflicts: 2081000 | #Constraints: 30631
3355.84/3364.40 c #Conflicts: 2082000 | #Constraints: 31631
3355.84/3364.40 c #Conflicts: 2083000 | #Constraints: 32631
3355.84/3364.40 c #Conflicts: 2084000 | #Constraints: 33631
3355.84/3364.40 c #Conflicts: 2085000 | #Constraints: 34631
3355.84/3364.40 c #Conflicts: 2086000 | #Constraints: 35631
3355.84/3364.40 c #Conflicts: 2087000 | #Constraints: 36631
3355.84/3364.40 c #Conflicts: 2088000 | #Constraints: 37631
3355.84/3364.40 c #Conflicts: 2089000 | #Constraints: 38631
3355.84/3364.40 c #Conflicts: 2090000 | #Constraints: 39631
3355.84/3364.40 c #Conflicts: 2091000 | #Constraints: 40631
3355.84/3364.40 c #Conflicts: 2092000 | #Constraints: 41631
3355.84/3364.40 c #Conflicts: 2093000 | #Constraints: 42631
3355.84/3364.40 c #Conflicts: 2094000 | #Constraints: 43631
3355.84/3364.40 c #Conflicts: 2095000 | #Constraints: 44631
3355.84/3364.40 c #Conflicts: 2096000 | #Constraints: 45631
3355.84/3364.40 c #Conflicts: 2097000 | #Constraints: 46631
3355.84/3364.40 c #Conflicts: 2098000 | #Constraints: 47631
3355.84/3364.40 c #Conflicts: 2099000 | #Constraints: 48631
3355.84/3364.40 c #Conflicts: 2100000 | #Constraints: 49631
3355.84/3364.40 c #Conflicts: 2101000 | #Constraints: 50631
3355.84/3364.40 c #Conflicts: 2102000 | #Constraints: 51631
3355.84/3364.40 c #Conflicts: 2103000 | #Constraints: 52631
3355.84/3364.40 c #Conflicts: 2104000 | #Constraints: 53631
3355.84/3364.40 c #Conflicts: 2105000 | #Constraints: 54631
3355.84/3364.40 c #Conflicts: 2106000 | #Constraints: 55631
3355.84/3364.40 c #Conflicts: 2107000 | #Constraints: 56631
3355.84/3364.40 c #Conflicts: 2108000 | #Constraints: 57631
3355.84/3364.40 c INPROCESSING
3355.84/3364.40 c GARBAGE COLLECT
3355.84/3364.40 c #Conflicts: 2109000 | #Constraints: 29832
3355.84/3364.40 c #Conflicts: 2110000 | #Constraints: 30832
3355.84/3364.40 c #Conflicts: 2111000 | #Constraints: 31832
3355.84/3364.40 c #Conflicts: 2112000 | #Constraints: 32832
3355.84/3364.40 c #Conflicts: 2113000 | #Constraints: 33832
3355.84/3364.40 c #Conflicts: 2114000 | #Constraints: 34832
3355.84/3364.40 c #Conflicts: 2115000 | #Constraints: 35832
3355.84/3364.40 c #Conflicts: 2116000 | #Constraints: 36832
3355.84/3364.40 c #Conflicts: 2117000 | #Constraints: 37832
3355.84/3364.40 c #Conflicts: 2118000 | #Constraints: 38832
3355.84/3364.40 c #Conflicts: 2119000 | #Constraints: 39832
3355.84/3364.40 c #Conflicts: 2120000 | #Constraints: 40832
3564.28/3573.38 c #Conflicts: 2121000 | #Constraints: 41832
3564.28/3573.38 c #Conflicts: 2122000 | #Constraints: 42832
3564.28/3573.38 c #Conflicts: 2123000 | #Constraints: 43832
3564.28/3573.38 c #Conflicts: 2124000 | #Constraints: 44832
3564.28/3573.38 c #Conflicts: 2125000 | #Constraints: 45832
3564.28/3573.38 c #Conflicts: 2126000 | #Constraints: 46832
3564.28/3573.38 c #Conflicts: 2127000 | #Constraints: 47832
3564.28/3573.38 c #Conflicts: 2128000 | #Constraints: 48832
3564.28/3573.38 c #Conflicts: 2129000 | #Constraints: 49832
3564.28/3573.38 c #Conflicts: 2130000 | #Constraints: 50832
3564.28/3573.38 c #Conflicts: 2131000 | #Constraints: 51832
3564.28/3573.38 c #Conflicts: 2132000 | #Constraints: 52832
3564.28/3573.38 c #Conflicts: 2133000 | #Constraints: 53832
3564.28/3573.38 c #Conflicts: 2134000 | #Constraints: 54832
3564.28/3573.38 c #Conflicts: 2135000 | #Constraints: 55832
3564.28/3573.38 c #Conflicts: 2136000 | #Constraints: 56832
3564.28/3573.38 c #Conflicts: 2137000 | #Constraints: 57832
3564.28/3573.38 c INPROCESSING
3564.28/3573.38 c GARBAGE COLLECT
3564.28/3573.38 c #Conflicts: 2138000 | #Constraints: 29829
3564.28/3573.38 c #Conflicts: 2139000 | #Constraints: 30829
3564.28/3573.38 c #Conflicts: 2140000 | #Constraints: 31829
3564.28/3573.38 c #Conflicts: 2141000 | #Constraints: 32829
3564.28/3573.38 c #Conflicts: 2142000 | #Constraints: 33829
3564.28/3573.38 c #Conflicts: 2143000 | #Constraints: 34829
3564.28/3573.38 c #Conflicts: 2144000 | #Constraints: 35829
3564.28/3573.38 c #Conflicts: 2145000 | #Constraints: 36829
3564.28/3573.38 c #Conflicts: 2146000 | #Constraints: 37829
3564.28/3573.38 c #Conflicts: 2147000 | #Constraints: 38829
3564.28/3573.38 c #Conflicts: 2148000 | #Constraints: 39829
3564.28/3573.38 c #Conflicts: 2149000 | #Constraints: 40829
3564.28/3573.38 c #Conflicts: 2150000 | #Constraints: 41829
3564.28/3573.38 c #Conflicts: 2151000 | #Constraints: 42829
3564.28/3573.38 c #Conflicts: 2152000 | #Constraints: 43829
3564.28/3573.38 c #Conflicts: 2153000 | #Constraints: 44829
3564.28/3573.38 c #Conflicts: 2154000 | #Constraints: 45829
3564.28/3573.38 c #Conflicts: 2155000 | #Constraints: 46829
3564.28/3573.38 c #Conflicts: 2156000 | #Constraints: 47829
3564.28/3573.38 c #Conflicts: 2157000 | #Constraints: 48829
3564.28/3573.38 c #Conflicts: 2158000 | #Constraints: 49829
3564.28/3573.38 c #Conflicts: 2159000 | #Constraints: 50829
3564.28/3573.38 c #Conflicts: 2160000 | #Constraints: 51829
3564.28/3573.38 c #Conflicts: 2161000 | #Constraints: 52829
3564.28/3573.38 c #Conflicts: 2162000 | #Constraints: 53829
3564.28/3573.38 c #Conflicts: 2163000 | #Constraints: 54829
3564.28/3573.38 c #Conflicts: 2164000 | #Constraints: 55829
3564.28/3573.38 c #Conflicts: 2165000 | #Constraints: 56829
3564.28/3573.38 c #Conflicts: 2166000 | #Constraints: 57829
3564.28/3573.38 c INPROCESSING
3564.28/3573.38 c GARBAGE COLLECT
3564.28/3573.38 c #Conflicts: 2167000 | #Constraints: 29632
3564.28/3573.38 c #Conflicts: 2168000 | #Constraints: 30632
3564.28/3573.38 c #Conflicts: 2169000 | #Constraints: 31632
3564.28/3573.38 c #Conflicts: 2170000 | #Constraints: 32632
3564.28/3573.38 c #Conflicts: 2171000 | #Constraints: 33632
3564.28/3573.38 c #Conflicts: 2172000 | #Constraints: 34632
3564.28/3573.38 c #Conflicts: 2173000 | #Constraints: 35632
3564.28/3573.38 c #Conflicts: 2174000 | #Constraints: 36632
3564.28/3573.38 c #Conflicts: 2175000 | #Constraints: 37632
3564.28/3573.38 c #Conflicts: 2176000 | #Constraints: 38632
3564.28/3573.38 c #Conflicts: 2177000 | #Constraints: 39632
3564.28/3573.38 c #Conflicts: 2178000 | #Constraints: 40632
3564.28/3573.38 c #Conflicts: 2179000 | #Constraints: 41632
3564.28/3573.38 c #Conflicts: 2180000 | #Constraints: 42632
3564.28/3573.38 c #Conflicts: 2181000 | #Constraints: 43632
3564.28/3573.38 c #Conflicts: 2182000 | #Constraints: 44632
3564.28/3573.38 c #Conflicts: 2183000 | #Constraints: 45632
3564.28/3573.38 c #Conflicts: 2184000 | #Constraints: 46632
3564.28/3573.38 c #Conflicts: 2185000 | #Constraints: 47632
3564.28/3573.38 c #Conflicts: 2186000 | #Constraints: 48632
3564.28/3573.38 c #Conflicts: 2187000 | #Constraints: 49632
3564.28/3573.38 c #Conflicts: 2188000 | #Constraints: 50632
3564.28/3573.38 c #Conflicts: 2189000 | #Constraints: 51632
3564.28/3573.38 c #Conflicts: 2190000 | #Constraints: 52632
3564.28/3573.38 c #Conflicts: 2191000 | #Constraints: 53632
3564.28/3573.38 c #Conflicts: 2192000 | #Constraints: 54632
3564.28/3573.38 c #Conflicts: 2193000 | #Constraints: 55632
3564.28/3573.38 c #Conflicts: 2194000 | #Constraints: 56632
3564.28/3573.38 c #Conflicts: 2195000 | #Constraints: 57632
3564.28/3573.38 c #Conflicts: 2196000 | #Constraints: 58632
3564.28/3573.38 c INPROCESSING
3564.28/3573.38 c GARBAGE COLLECT
3564.28/3573.38 c #Conflicts: 2197000 | #Constraints: 30233
3600.00/3609.11 c #Conflicts: 2198000 | #Constraints: 31233
3600.00/3609.11 c #Conflicts: 2199000 | #Constraints: 32233
3600.00/3609.11 c #Conflicts: 2200000 | #Constraints: 33233
3600.00/3609.11 c #Conflicts: 2201000 | #Constraints: 34233
3600.00/3609.11 c #Conflicts: 2202000 | #Constraints: 35233
3600.00/3609.11 c #Conflicts: 2203000 | #Constraints: 36233
3600.00/3609.11 c #Conflicts: 2204000 | #Constraints: 37233
3600.00/3609.11 c #Conflicts: 2205000 | #Constraints: 38233
3600.00/3609.11 c #Conflicts: 2206000 | #Constraints: 39233
3600.00/3609.11 c #Conflicts: 2207000 | #Constraints: 40233
3600.00/3609.11 c #Conflicts: 2208000 | #Constraints: 41233
3600.00/3609.11 c #Conflicts: 2209000 | #Constraints: 42233
3600.00/3609.11 c #Conflicts: 2210000 | #Constraints: 43233
3600.00/3609.11 c #Conflicts: 2211000 | #Constraints: 44233
3600.00/3609.11 c Program interrupted by user.
3600.00/3609.11 c cpu time 3591.07 s
3600.00/3609.11 c deterministic time 529263003048 5.29e+11
3600.00/3609.11 c optimization time 37.2161 s
3600.00/3609.11 c total solve time 3255.11 s
3600.00/3609.11 c core-guided solve time 3255.11 s
3600.00/3609.11 c propagation time 3146.34 s
3600.00/3609.11 c conflict analysis time 132.366 s
3600.00/3609.11 c propagations 24311343
3600.00/3609.11 c resolve steps 10479726
3600.00/3609.11 c decisions 3526762
3600.00/3609.11 c conflicts 2211911
3600.00/3609.11 c restarts 4093
3600.00/3609.11 c inprocessing phases 139
3600.00/3609.11 c input clauses 0
3600.00/3609.11 c input cardinalities 0
3600.00/3609.11 c input general constraints 13
3600.00/3609.11 c input average constraint length 68.31
3600.00/3609.11 c input average constraint degree 1560.85
3600.00/3609.11 c learned clauses 1327603
3600.00/3609.11 c learned cardinalities 0
3600.00/3609.11 c learned general constraints 884308
3600.00/3609.11 c learned average constraint length 41.80
3600.00/3609.11 c learned average constraint degree 97794.53
3600.00/3609.11 c watched constraints 877577
3600.00/3609.11 c counting constraints 6744
3600.00/3609.11 c gcd simplifications 1191806
3600.00/3609.11 c detected cardinalities 0
3600.00/3609.11 c weakened non-implied lits 22998563
3600.00/3609.11 c weakened non-implying lits 1902764
3600.00/3609.11 c original variables 146
3600.00/3609.11 c clausal propagations 378439
3600.00/3609.11 c cardinality propagations 0
3600.00/3609.11 c watched propagations 14488527
3600.00/3609.11 c counting propagations 7645703
3600.00/3609.11 c watch lookups 37806396698
3600.00/3609.11 c watch backjump lookups 16900503953
3600.00/3609.11 c watch checks 402388844492
3600.00/3609.11 c propagation checks 71446609592
3600.00/3609.11 c constraint additions 662760311
3600.00/3609.11 c trail pops 30049896
3600.00/3609.11 c formula constraints 12
3600.00/3609.11 c learned constraints 2211911
3600.00/3609.11 c bound constraints 1
3600.00/3609.11 c core-guided constraints 0
3600.00/3609.11 c encountered formula constraints 2330617
3600.00/3609.11 c encountered learned constraints 10361020
3600.00/3609.11 c encountered bound constraints 0
3600.00/3609.11 c encountered core-guided constraints 0
3600.00/3609.11 c LP total time 0 s
3600.00/3609.11 c LP solve time 0 s
3600.00/3609.11 c LP constraints added 0
3600.00/3609.11 c LP constraints removed 0
3600.00/3609.11 c LP pivots internal 0
3600.00/3609.11 c LP pivots root 0
3600.00/3609.11 c LP calls 0
3600.00/3609.11 c LP optimalities 0
3600.00/3609.11 c LP no pivot count 0
3600.00/3609.11 c LP infeasibilities 0
3600.00/3609.11 c LP valid Farkas constraints 0
3600.00/3609.11 c LP learned Farkas constraints 0
3600.00/3609.11 c LP basis resets 0
3600.00/3609.11 c LP cycling count 0
3600.00/3609.11 c LP singular count 0
3600.00/3609.11 c LP no primal count 0
3600.00/3609.11 c LP no farkas count 0
3600.00/3609.11 c LP other issue count 0
3600.00/3609.11 c LP Gomory cuts 0
3600.00/3609.11 c LP learned cuts 0
3600.00/3609.11 c LP deleted cuts 0
3600.00/3609.11 c LP encountered Gomory constraints 0
3600.00/3609.11 c LP encountered Farkas constraints 0
3600.00/3609.11 c LP encountered learned Farkas constraints 0
3600.00/3609.11 c CG auxiliary variables introduced 0
3600.00/3609.11 c CG solutions found 0
3600.00/3609.11 c CG cores constructed 0
3600.00/3609.11 c CG core cardinality constraints returned 0
3600.00/3609.11 c CG unit cores 0
3600.00/3609.11 c CG single cores 0
3600.00/3609.11 c CG blocks removed during cardinality reduction 0
3600.00/3609.11 c CG first core best 0
3600.00/3609.11 c CG decision core best 0
3600.00/3609.11 c CG core reduction tie 0
3600.00/3609.11 c CG core degree average 0.00
3600.00/3609.11 c CG core slack average 0.00
3600.00/3609.11 c CG exhausted 0
3600.00/3609.11 c CG exhaust time 0 s
3600.00/3609.11 c CG trimmed 0
3600.00/3609.11 c CG trim time 0 s
3600.00/3609.11 c CG minimized 0
3600.00/3609.11 c CG minimize time 0 s
3600.00/3609.11 c CG am1 prop time 1.9e-05 s
3600.00/3609.11 c CG # am1s reformulated 0
3600.00/3609.11 c CG lower bound derived from am1s 0
3600.00/3609.11 c CG # clausal cores 0
3600.00/3609.11 c CG # cardinality cores 0
3600.00/3609.11 c CG # pb cores 0
3600.00/3609.11 c CG # pb reforms 0
3600.00/3609.11 c CG # cores discarded because of pb reform 0
3600.00/3609.11 d LOWERBOUND 0
3600.00/3609.11 d NCORES 0
3600.00/3609.11 d NPBCORES 0
3600.00/3609.11 d NPBREFORM 0
3600.00/3609.11 d NTRIMMED 0
3600.00/3609.11 d NEXHAUSTED 0
3600.00/3609.11 d NAM1S 0
3600.00/3609.11 d AM1LB 0
3600.00/3609.11 c [Papilo Statistics]
3600.00/3609.11 c prepro time 0.0003996s
3600.00/3609.11 c # tsx applied 6
3600.00/3609.11 c # tsx conflicts 0
3600.00/3609.11 c # bound changes 0
3600.00/3609.11 c # side changes 6
3600.00/3609.11 c # coef changes 0
3600.00/3609.11 c # rounds 2
3600.00/3609.11 c # deted vars 0
3600.00/3609.11 c # deted constrs 6
3600.00/3609.11 c # consecutive rounds of only bound changes 0
3600.00/3609.11 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (55474 MiB free)
memory of node 1: 64510 MiB (60922 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435501-1721101825/watcher-4435501-1721101825 -o /tmp/evaluation-result-4435501-1721101825/solver-4435501-1721101825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830111 --watchdog 3760 mixed-bag HOME/instance-4435501-1721101825.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=832053, runsolver pid=832050
[startup+0.100101 s]*
/proc/loadavg: 4.06 4.08 4.09 4/242 832054
/proc/meminfo: memFree=123450412/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=100064 memory=31472 CPUtime=0.1 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 4255 0 0 0 9 1 0 0 20 0 1 0 162341795 102465536 7868 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 25016 7868 4024 3002 0 8767 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 100064 KiB
Current children cumulated memory: 31472 KiB
[startup+0.213238 s]*
/proc/loadavg: 4.06 4.08 4.09 4/239 832062
/proc/meminfo: memFree=123448200/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=100976 memory=32528 CPUtime=0.22 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 4515 0 0 0 21 1 0 0 20 0 1 0 162341795 103399424 8132 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 25244 8132 4024 3002 0 8995 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 100976 KiB
Current children cumulated memory: 32528 KiB
[startup+0.313403 s]*
/proc/loadavg: 4.06 4.08 4.09 5/242 832068
/proc/meminfo: memFree=125751132/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=100976 memory=32528 CPUtime=0.31 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 4518 0 0 0 30 1 0 0 20 0 1 0 162341795 103399424 8132 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 25244 8132 4024 3002 0 8995 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 100976 KiB
Current children cumulated memory: 32528 KiB
[startup+0.700273 s]
/proc/loadavg: 4.06 4.08 4.09 5/240 832082
/proc/meminfo: memFree=125893896/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=102304 memory=34640 CPUtime=0.69 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 5026 0 0 0 68 1 0 0 20 0 1 0 162341795 104759296 8660 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 25576 8660 4024 3002 0 9327 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 102304 KiB
Current children cumulated memory: 34640 KiB
[startup+1.5003 s]
/proc/loadavg: 4.06 4.08 4.09 5/240 832082
/proc/meminfo: memFree=125886024/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=107952 memory=39920 CPUtime=1.48 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 6374 0 0 0 147 1 0 0 20 0 1 0 162341795 110542848 9980 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 26988 9980 4024 3002 0 10739 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107952 KiB
Current children cumulated memory: 39920 KiB
[startup+3.11211 s]
/proc/loadavg: 4.06 4.08 4.09 5/242 832160
/proc/meminfo: memFree=129513220/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=110852 memory=43812 CPUtime=3.09 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 7586 0 0 0 307 2 0 0 20 0 1 0 162341795 113512448 10953 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 27713 10953 4024 3002 0 11464 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 110852 KiB
Current children cumulated memory: 43812 KiB
[startup+6.3003 s]
/proc/loadavg: 4.06 4.08 4.09 5/244 832193
/proc/meminfo: memFree=129476620/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=122496 memory=54580 CPUtime=6.26 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 10348 0 0 0 624 2 0 0 20 0 1 0 162341795 125435904 13645 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 30624 13645 4024 3002 0 14375 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 122496 KiB
Current children cumulated memory: 54580 KiB
[startup+12.7003 s]
/proc/loadavg: 4.05 4.08 4.09 5/244 832193
/proc/meminfo: memFree=129432464/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=126144 memory=58736 CPUtime=12.62 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 11285 0 0 0 1260 2 0 0 20 0 1 0 162341795 129171456 14684 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 31536 14684 4024 3002 0 15287 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 126144 KiB
Current children cumulated memory: 58736 KiB
[startup+25.5004 s]
/proc/loadavg: 4.04 4.07 4.08 5/244 832196
/proc/meminfo: memFree=129390108/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=133744 memory=66760 CPUtime=25.37 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 13275 0 0 0 2534 3 0 0 20 0 1 0 162341795 136953856 16690 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 33436 16690 4024 3002 0 17187 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 133744 KiB
Current children cumulated memory: 66760 KiB
[startup+51.1131 s]
/proc/loadavg: 4.15 4.10 4.09 5/244 832245
/proc/meminfo: memFree=129298216/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=137764 memory=77844 CPUtime=50.88 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 14456 0 0 0 5085 3 0 0 20 0 1 0 162341795 141070336 19461 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 34441 19461 4162 3002 0 18192 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 137764 KiB
Current children cumulated memory: 77844 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.16 4.11 6/244 832254
/proc/meminfo: memFree=129103912/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=143164 memory=82796 CPUtime=101.87 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 15761 0 0 0 10183 4 0 0 20 0 1 0 162341795 146599936 20699 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 35791 20699 4162 3002 0 19542 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 143164 KiB
Current children cumulated memory: 82796 KiB
[startup+162.3 s]
/proc/loadavg: 4.67 4.30 4.16 5/243 832265
/proc/meminfo: memFree=128896476/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=149704 memory=89192 CPUtime=161.62 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 17421 0 0 0 16158 4 0 0 20 0 1 0 162341795 153296896 22298 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 37426 22298 4162 3002 0 21177 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 149704 KiB
Current children cumulated memory: 89192 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.26 4.16 5/244 832277
/proc/meminfo: memFree=128739268/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=149704 memory=89512 CPUtime=221.36 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 17565 0 0 0 22132 4 0 0 20 0 1 0 162341795 153296896 22378 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 37426 22378 4162 3002 0 21177 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 149704 KiB
Current children cumulated memory: 89512 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.22 4.15 5/244 832287
/proc/meminfo: memFree=128622868/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=153800 memory=92664 CPUtime=281.1 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 18379 0 0 0 28106 4 0 0 20 0 1 0 162341795 157491200 23166 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 38450 23166 4162 3002 0 22201 0
Current children cumulated CPU time: 281.1 s
Current children cumulated vsize: 153800 KiB
Current children cumulated memory: 92664 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/244 832681
/proc/meminfo: memFree=129003992/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=146624 memory=89008 CPUtime=340.91 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 18504 0 0 0 34044 47 0 0 20 0 1 0 162341795 150142976 22252 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 36656 22252 4305 3002 0 20407 0
Current children cumulated CPU time: 340.91 s
Current children cumulated vsize: 146624 KiB
Current children cumulated memory: 89008 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.20 4.15 5/244 832691
/proc/meminfo: memFree=128985776/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=149344 memory=90740 CPUtime=400.74 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 18930 0 0 0 39994 80 0 0 20 0 1 0 162341795 152928256 22685 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 37336 22685 4305 3002 0 21087 0
Current children cumulated CPU time: 400.74 s
Current children cumulated vsize: 149344 KiB
Current children cumulated memory: 90740 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.18 4.15 5/244 832701
/proc/meminfo: memFree=128980620/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=149344 memory=91528 CPUtime=460.59 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 19149 0 0 0 45946 113 0 0 20 0 1 0 162341795 152928256 22882 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 37336 22882 4305 3002 0 21087 0
################
# More data... #
################
Current children cumulated memory: 104264 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/241 833938
/proc/meminfo: memFree=128911680/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104264 CPUtime=2914.76 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21125 0 0 0 290707 769 0 0 20 0 1 0 162341795 164806656 26066 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26066 4305 3002 0 23987 0
Current children cumulated CPU time: 2914.76 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104264 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/241 833948
/proc/meminfo: memFree=128911288/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104264 CPUtime=2974.61 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21157 0 0 0 296678 783 0 0 20 0 1 0 162341795 164806656 26066 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26066 4305 3002 0 23987 0
Current children cumulated CPU time: 2974.61 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104264 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/244 833964
/proc/meminfo: memFree=128910852/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104264 CPUtime=3034.48 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21189 0 0 0 302654 794 0 0 20 0 1 0 162341795 164806656 26066 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26066 4305 3002 0 23987 0
Current children cumulated CPU time: 3034.48 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104264 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.13 5/244 833974
/proc/meminfo: memFree=128910520/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104264 CPUtime=3094.34 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21221 0 0 0 308627 807 0 0 20 0 1 0 162341795 164806656 26066 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26066 4305 3002 0 23987 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104264 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/245 833986
/proc/meminfo: memFree=128910308/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104264 CPUtime=3154.21 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21254 0 0 0 314601 820 0 0 20 0 1 0 162341795 164806656 26066 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26066 4305 3002 0 23987 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.14 4.13 6/245 833997
/proc/meminfo: memFree=128909936/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104264 CPUtime=3214.07 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21287 0 0 0 320576 831 0 0 20 0 1 0 162341795 164806656 26066 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26066 4305 3002 0 23987 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/245 834007
/proc/meminfo: memFree=128909472/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104264 CPUtime=3273.93 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21320 0 0 0 326553 840 0 0 20 0 1 0 162341795 164806656 26066 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26066 4305 3002 0 23987 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104264 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/242 834018
/proc/meminfo: memFree=128907164/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104264 CPUtime=3333.79 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21352 0 0 0 332528 851 0 0 20 0 1 0 162341795 164806656 26066 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26066 4305 3002 0 23987 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/242 834028
/proc/meminfo: memFree=128906788/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104264 CPUtime=3393.66 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21388 0 0 0 338505 861 0 0 20 0 1 0 162341795 164806656 26066 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26066 4305 3002 0 23987 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104264 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/241 834038
/proc/meminfo: memFree=128906092/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104612 CPUtime=3453.52 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21506 0 0 0 344481 871 0 0 20 0 1 0 162341795 164806656 26153 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26153 4305 3002 0 23987 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.10 5/241 834050
/proc/meminfo: memFree=128905804/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104612 CPUtime=3513.39 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21538 0 0 0 350458 881 0 0 20 0 1 0 162341795 164806656 26153 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26153 4305 3002 0 23987 0
Current children cumulated CPU time: 3513.39 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/241 834060
/proc/meminfo: memFree=128903420/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104612 CPUtime=3573.25 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21570 0 0 0 356435 890 0 0 20 0 1 0 162341795 164806656 26153 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26153 4305 3002 0 23987 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.58 4.21 4.13 5/243 834070
/proc/meminfo: memFree=128903180/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104612 CPUtime=3600 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21572 0 0 0 359106 894 0 0 20 0 1 0 162341795 164806656 26153 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26153 4305 3002 0 23987 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.12 s]
# the end of solver process 832053 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.07 s, system=8.94868 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.58 4.21 4.13 5/243 834070
/proc/meminfo: memFree=128903180/131655788 swapFree=131071996/131071996
[pid=832053] ppid=832050 vsize=160944 memory=104612 CPUtime=3600 cores=5,7
/proc/832053/stat : 832053 (mixed-bag) R 832050 832053 830098 0 -1 4194304 21572 0 0 0 359106 894 0 0 20 0 1 0 162341795 164806656 26153 134679101440 4194304 16487941 140720483945776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 32010240 140720483947543 140720483947620 140720483947620 140720483954635 0
/proc/832053/statm: 40236 26153 4305 3002 0 23987 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 160944 KiB
Current children cumulated memory: 104612 KiB
Child status: 0
Real time (s): 3609.12
CPU time (s): 3600.02
CPU user time (s): 3591.07
CPU system time (s): 8.94868
CPU usage (%): 99.7478
Max. virtual memory (cumulated for all children) (KiB): 160944
Max. memory (cumulated for all children) (KiB): 104612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.07
system time used= 8.94868
maximum resident set size= 105080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21588
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= 53
involuntary context switches= 1290
# summary of solver processes directly reported to runsolver:
# pid: 832053
# total CPU time (s): 3600.02
# total CPU user time (s): 3591.07
# total CPU system time (s): 8.94868
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.7806 second user time and 30.2652 second system time
The end
Begin job on nodeC010 at 2024-07-16 05:50:37
IDJOB=4435501
IDBENCH=147594
IDSOLVER=3066
FILE ID=nodeC010/4435501-1721101825
RUNJOBID= nodeC010-1721098226-830111
SLURM_JOB_ID= 7505613
Free space on /tmp= 723684 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435501-1721101825/watcher-4435501-1721101825 -o /tmp/evaluation-result-4435501-1721101825/solver-4435501-1721101825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830111 --watchdog 3760 mixed-bag HOME/instance-4435501-1721101825.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce
RANDOM SEED=1489042944
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3580.540
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3665.169
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.376
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.276
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3581.999
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.769
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.238
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.174
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 118942076 kB
MemAvailable: 119367436 kB
Buffers: 394948 kB
Cached: 873084 kB
SwapCached: 0 kB
Active: 780436 kB
Inactive: 11390824 kB
Active(anon): 1440 kB
Inactive(anon): 10939160 kB
Active(file): 778996 kB
Inactive(file): 451664 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16372 kB
Writeback: 0 kB
AnonPages: 10898552 kB
Mapped: 138588 kB
Shmem: 37704 kB
KReclaimable: 69464 kB
Slab: 162548 kB
SReclaimable: 69464 kB
SUnreclaim: 93084 kB
KernelStack: 3920 kB
PageTables: 31528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 12211328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51936 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6596608 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 18591744 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC010 at 2024-07-16 06:50:46