0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] preprocessing with Papilo
0.00/0.01 c [STEP] solving with SCIP
299.53/300.64 c [STEP] preprocessing done, loading into solver
299.53/300.65 c [STEP] solving
299.53/300.65 c #variables 199 #constraints 16
299.53/300.65 c SMALL=int, LARGE=long long
299.53/300.65 d SCIPUB 43
299.53/300.65 c bounds - >= 0 @ 299.305
299.53/300.65 c stratification level: 32
308.21/309.30 c #Conflicts: 1000 | #Constraints: 1016
308.21/309.30 c #Conflicts: 2000 | #Constraints: 2016
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 3000 | #Constraints: 2020
308.21/309.30 c #Conflicts: 4000 | #Constraints: 3020
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 5000 | #Constraints: 2425
308.21/309.30 c #Conflicts: 6000 | #Constraints: 3425
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 7000 | #Constraints: 2427
308.21/309.30 c #Conflicts: 8000 | #Constraints: 3427
308.21/309.30 c #Conflicts: 9000 | #Constraints: 4427
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 10000 | #Constraints: 3129
308.21/309.30 c #Conflicts: 11000 | #Constraints: 4129
308.21/309.30 c #Conflicts: 12000 | #Constraints: 5129
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 13000 | #Constraints: 3578
308.21/309.30 c #Conflicts: 14000 | #Constraints: 4578
308.21/309.30 c #Conflicts: 15000 | #Constraints: 5578
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 16000 | #Constraints: 3806
308.21/309.30 c #Conflicts: 17000 | #Constraints: 4806
308.21/309.30 c #Conflicts: 18000 | #Constraints: 5806
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 19000 | #Constraints: 3823
308.21/309.30 c #Conflicts: 20000 | #Constraints: 4823
308.21/309.30 c #Conflicts: 21000 | #Constraints: 5823
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 22000 | #Constraints: 3626
308.21/309.30 c #Conflicts: 23000 | #Constraints: 4626
308.21/309.30 c #Conflicts: 24000 | #Constraints: 5626
308.21/309.30 c #Conflicts: 25000 | #Constraints: 6626
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 26000 | #Constraints: 4230
308.21/309.30 c #Conflicts: 27000 | #Constraints: 5230
308.21/309.30 c #Conflicts: 28000 | #Constraints: 6230
308.21/309.30 c #Conflicts: 29000 | #Constraints: 7230
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 30000 | #Constraints: 4632
308.21/309.30 c #Conflicts: 31000 | #Constraints: 5632
308.21/309.30 c #Conflicts: 32000 | #Constraints: 6632
308.21/309.30 c #Conflicts: 33000 | #Constraints: 7632
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 34000 | #Constraints: 4830
308.21/309.30 c #Conflicts: 35000 | #Constraints: 5830
308.21/309.30 c #Conflicts: 36000 | #Constraints: 6830
308.21/309.30 c #Conflicts: 37000 | #Constraints: 7830
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 38000 | #Constraints: 4831
308.21/309.30 c #Conflicts: 39000 | #Constraints: 5831
308.21/309.30 c #Conflicts: 40000 | #Constraints: 6831
308.21/309.30 c #Conflicts: 41000 | #Constraints: 7831
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c #Conflicts: 42000 | #Constraints: 4636
308.21/309.30 c #Conflicts: 43000 | #Constraints: 5636
308.21/309.30 c #Conflicts: 44000 | #Constraints: 6636
308.21/309.30 c #Conflicts: 45000 | #Constraints: 7636
308.21/309.30 c #Conflicts: 46000 | #Constraints: 8636
308.21/309.30 c INPROCESSING
308.21/309.30 c GARBAGE COLLECT
308.21/309.30 c bounds 41 >= 0 @ 307.785
308.21/309.30 c stratification level: 16
333.35/334.57 c #Conflicts: 47000 | #Constraints: 5236
333.35/334.57 c #Conflicts: 48000 | #Constraints: 6236
333.35/334.57 c #Conflicts: 49000 | #Constraints: 7236
333.35/334.57 c #Conflicts: 50000 | #Constraints: 8236
333.35/334.57 c #Conflicts: 51000 | #Constraints: 9236
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 52000 | #Constraints: 5636
333.35/334.57 c #Conflicts: 53000 | #Constraints: 6636
333.35/334.57 c #Conflicts: 54000 | #Constraints: 7636
333.35/334.57 c #Conflicts: 55000 | #Constraints: 8636
333.35/334.57 c #Conflicts: 56000 | #Constraints: 9636
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 57000 | #Constraints: 5834
333.35/334.57 c #Conflicts: 58000 | #Constraints: 6834
333.35/334.57 c #Conflicts: 59000 | #Constraints: 7834
333.35/334.57 c #Conflicts: 60000 | #Constraints: 8834
333.35/334.57 c #Conflicts: 61000 | #Constraints: 9834
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 62000 | #Constraints: 5838
333.35/334.57 c #Conflicts: 63000 | #Constraints: 6838
333.35/334.57 c #Conflicts: 64000 | #Constraints: 7838
333.35/334.57 c #Conflicts: 65000 | #Constraints: 8838
333.35/334.57 c #Conflicts: 66000 | #Constraints: 9838
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 67000 | #Constraints: 5639
333.35/334.57 c #Conflicts: 68000 | #Constraints: 6639
333.35/334.57 c #Conflicts: 69000 | #Constraints: 7639
333.35/334.57 c #Conflicts: 70000 | #Constraints: 8639
333.35/334.57 c #Conflicts: 71000 | #Constraints: 9639
333.35/334.57 c #Conflicts: 72000 | #Constraints: 10639
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 73000 | #Constraints: 6237
333.35/334.57 c #Conflicts: 74000 | #Constraints: 7237
333.35/334.57 c #Conflicts: 75000 | #Constraints: 8237
333.35/334.57 c #Conflicts: 76000 | #Constraints: 9237
333.35/334.57 c #Conflicts: 77000 | #Constraints: 10237
333.35/334.57 c #Conflicts: 78000 | #Constraints: 11237
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 79000 | #Constraints: 6640
333.35/334.57 c #Conflicts: 80000 | #Constraints: 7640
333.35/334.57 c #Conflicts: 81000 | #Constraints: 8640
333.35/334.57 c #Conflicts: 82000 | #Constraints: 9640
333.35/334.57 c #Conflicts: 83000 | #Constraints: 10640
333.35/334.57 c #Conflicts: 84000 | #Constraints: 11640
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 85000 | #Constraints: 6840
333.35/334.57 c #Conflicts: 86000 | #Constraints: 7840
333.35/334.57 c #Conflicts: 87000 | #Constraints: 8840
333.35/334.57 c #Conflicts: 88000 | #Constraints: 9840
333.35/334.57 c #Conflicts: 89000 | #Constraints: 10840
333.35/334.57 c #Conflicts: 90000 | #Constraints: 11840
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 91000 | #Constraints: 6838
333.35/334.57 c #Conflicts: 92000 | #Constraints: 7838
333.35/334.57 c #Conflicts: 93000 | #Constraints: 8838
333.35/334.57 c #Conflicts: 94000 | #Constraints: 9838
333.35/334.57 c #Conflicts: 95000 | #Constraints: 10838
333.35/334.57 c #Conflicts: 96000 | #Constraints: 11838
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 97000 | #Constraints: 6639
333.35/334.57 c #Conflicts: 98000 | #Constraints: 7639
333.35/334.57 c #Conflicts: 99000 | #Constraints: 8639
333.35/334.57 c #Conflicts: 100000 | #Constraints: 9639
333.35/334.57 c #Conflicts: 101000 | #Constraints: 10639
333.35/334.57 c #Conflicts: 102000 | #Constraints: 11639
333.35/334.57 c #Conflicts: 103000 | #Constraints: 12639
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 104000 | #Constraints: 7240
333.35/334.57 c #Conflicts: 105000 | #Constraints: 8240
333.35/334.57 c #Conflicts: 106000 | #Constraints: 9240
333.35/334.57 c #Conflicts: 107000 | #Constraints: 10240
333.35/334.57 c #Conflicts: 108000 | #Constraints: 11240
333.35/334.57 c #Conflicts: 109000 | #Constraints: 12240
333.35/334.57 c #Conflicts: 110000 | #Constraints: 13240
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 111000 | #Constraints: 7639
333.35/334.57 c #Conflicts: 112000 | #Constraints: 8639
333.35/334.57 c #Conflicts: 113000 | #Constraints: 9639
333.35/334.57 c #Conflicts: 114000 | #Constraints: 10639
333.35/334.57 c #Conflicts: 115000 | #Constraints: 11639
333.35/334.57 c #Conflicts: 116000 | #Constraints: 12639
333.35/334.57 c #Conflicts: 117000 | #Constraints: 13639
333.35/334.57 c INPROCESSING
333.35/334.57 c GARBAGE COLLECT
333.35/334.57 c #Conflicts: 118000 | #Constraints: 7835
369.36/370.62 c #Conflicts: 119000 | #Constraints: 8835
369.36/370.62 c #Conflicts: 120000 | #Constraints: 9835
369.36/370.62 c #Conflicts: 121000 | #Constraints: 10835
369.36/370.62 c #Conflicts: 122000 | #Constraints: 11835
369.36/370.62 c #Conflicts: 123000 | #Constraints: 12835
369.36/370.62 c #Conflicts: 124000 | #Constraints: 13835
369.36/370.62 c INPROCESSING
369.36/370.62 c GARBAGE COLLECT
369.36/370.62 c #Conflicts: 125000 | #Constraints: 7835
369.36/370.62 c #Conflicts: 126000 | #Constraints: 8835
369.36/370.62 c #Conflicts: 127000 | #Constraints: 9835
369.36/370.62 c #Conflicts: 128000 | #Constraints: 10835
369.36/370.62 c #Conflicts: 129000 | #Constraints: 11835
369.36/370.62 c #Conflicts: 130000 | #Constraints: 12835
369.36/370.62 c #Conflicts: 131000 | #Constraints: 13835
369.36/370.62 c INPROCESSING
369.36/370.62 c GARBAGE COLLECT
369.36/370.62 c #Conflicts: 132000 | #Constraints: 7634
369.36/370.62 c #Conflicts: 133000 | #Constraints: 8634
369.36/370.62 c #Conflicts: 134000 | #Constraints: 9634
369.36/370.62 c #Conflicts: 135000 | #Constraints: 10634
369.36/370.62 c #Conflicts: 136000 | #Constraints: 11634
369.36/370.62 c #Conflicts: 137000 | #Constraints: 12634
369.36/370.62 c #Conflicts: 138000 | #Constraints: 13634
369.36/370.62 c #Conflicts: 139000 | #Constraints: 14634
369.36/370.62 c INPROCESSING
369.36/370.62 c GARBAGE COLLECT
369.36/370.62 c #Conflicts: 140000 | #Constraints: 8234
369.36/370.62 c #Conflicts: 141000 | #Constraints: 9234
369.36/370.62 c #Conflicts: 142000 | #Constraints: 10234
369.36/370.62 c #Conflicts: 143000 | #Constraints: 11234
369.36/370.62 c #Conflicts: 144000 | #Constraints: 12234
369.36/370.62 c #Conflicts: 145000 | #Constraints: 13234
369.36/370.62 c #Conflicts: 146000 | #Constraints: 14234
369.36/370.62 c #Conflicts: 147000 | #Constraints: 15234
369.36/370.62 c INPROCESSING
369.36/370.62 c GARBAGE COLLECT
369.36/370.62 c #Conflicts: 148000 | #Constraints: 8640
369.36/370.62 c #Conflicts: 149000 | #Constraints: 9640
369.36/370.62 c #Conflicts: 150000 | #Constraints: 10640
369.36/370.62 c #Conflicts: 151000 | #Constraints: 11640
369.36/370.62 c #Conflicts: 152000 | #Constraints: 12640
369.36/370.62 c #Conflicts: 153000 | #Constraints: 13640
369.36/370.62 c #Conflicts: 154000 | #Constraints: 14640
369.36/370.62 c #Conflicts: 155000 | #Constraints: 15640
369.36/370.62 c INPROCESSING
369.36/370.62 c GARBAGE COLLECT
369.36/370.62 c #Conflicts: 156000 | #Constraints: 8841
369.36/370.62 c #Conflicts: 157000 | #Constraints: 9841
369.36/370.62 c #Conflicts: 158000 | #Constraints: 10841
369.36/370.62 c #Conflicts: 159000 | #Constraints: 11841
369.36/370.62 c #Conflicts: 160000 | #Constraints: 12841
369.36/370.62 c #Conflicts: 161000 | #Constraints: 13841
369.36/370.62 c #Conflicts: 162000 | #Constraints: 14841
369.36/370.62 c #Conflicts: 163000 | #Constraints: 15841
369.36/370.62 c INPROCESSING
369.36/370.62 c GARBAGE COLLECT
369.36/370.62 c #Conflicts: 164000 | #Constraints: 8839
369.36/370.62 c #Conflicts: 165000 | #Constraints: 9839
369.36/370.62 c #Conflicts: 166000 | #Constraints: 10839
369.36/370.62 c #Conflicts: 167000 | #Constraints: 11839
369.36/370.62 c #Conflicts: 168000 | #Constraints: 12839
369.36/370.62 c #Conflicts: 169000 | #Constraints: 13839
369.36/370.62 c #Conflicts: 170000 | #Constraints: 14839
369.36/370.62 c #Conflicts: 171000 | #Constraints: 15839
369.36/370.62 c INPROCESSING
369.36/370.62 c GARBAGE COLLECT
369.36/370.62 c #Conflicts: 172000 | #Constraints: 8639
369.36/370.62 c #Conflicts: 173000 | #Constraints: 9639
369.36/370.62 c #Conflicts: 174000 | #Constraints: 10639
369.36/370.62 c #Conflicts: 175000 | #Constraints: 11639
369.36/370.62 c #Conflicts: 176000 | #Constraints: 12639
369.36/370.62 c #Conflicts: 177000 | #Constraints: 13639
369.36/370.62 c #Conflicts: 178000 | #Constraints: 14639
369.36/370.62 c #Conflicts: 179000 | #Constraints: 15639
369.36/370.62 c #Conflicts: 180000 | #Constraints: 16639
369.36/370.62 c INPROCESSING
369.36/370.62 c GARBAGE COLLECT
369.36/370.62 c #Conflicts: 181000 | #Constraints: 9236
369.36/370.62 c #Conflicts: 182000 | #Constraints: 10236
369.36/370.62 c #Conflicts: 183000 | #Constraints: 11236
369.36/370.62 c #Conflicts: 184000 | #Constraints: 12236
369.36/370.62 c #Conflicts: 185000 | #Constraints: 13236
369.36/370.62 c #Conflicts: 186000 | #Constraints: 14236
369.36/370.62 c #Conflicts: 187000 | #Constraints: 15236
369.36/370.62 c #Conflicts: 188000 | #Constraints: 16236
369.36/370.62 c #Conflicts: 189000 | #Constraints: 17236
369.36/370.62 c INPROCESSING
369.36/370.62 c GARBAGE COLLECT
369.36/370.62 c #Conflicts: 190000 | #Constraints: 9637
369.36/370.62 c #Conflicts: 191000 | #Constraints: 10637
418.15/419.58 c #Conflicts: 192000 | #Constraints: 11637
418.15/419.58 c #Conflicts: 193000 | #Constraints: 12637
418.15/419.58 c #Conflicts: 194000 | #Constraints: 13637
418.15/419.58 c #Conflicts: 195000 | #Constraints: 14637
418.15/419.58 c #Conflicts: 196000 | #Constraints: 15637
418.15/419.58 c #Conflicts: 197000 | #Constraints: 16637
418.15/419.58 c #Conflicts: 198000 | #Constraints: 17637
418.15/419.58 c INPROCESSING
418.15/419.58 c GARBAGE COLLECT
418.15/419.58 c #Conflicts: 199000 | #Constraints: 9841
418.15/419.58 c #Conflicts: 200000 | #Constraints: 10841
418.15/419.58 c #Conflicts: 201000 | #Constraints: 11841
418.15/419.58 c #Conflicts: 202000 | #Constraints: 12841
418.15/419.58 c #Conflicts: 203000 | #Constraints: 13841
418.15/419.58 c #Conflicts: 204000 | #Constraints: 14841
418.15/419.58 c #Conflicts: 205000 | #Constraints: 15841
418.15/419.58 c #Conflicts: 206000 | #Constraints: 16841
418.15/419.58 c #Conflicts: 207000 | #Constraints: 17841
418.15/419.58 c INPROCESSING
418.15/419.58 c GARBAGE COLLECT
418.15/419.58 c #Conflicts: 208000 | #Constraints: 9843
418.15/419.58 c #Conflicts: 209000 | #Constraints: 10843
418.15/419.58 c #Conflicts: 210000 | #Constraints: 11843
418.15/419.58 c #Conflicts: 211000 | #Constraints: 12843
418.15/419.58 c #Conflicts: 212000 | #Constraints: 13843
418.15/419.58 c #Conflicts: 213000 | #Constraints: 14843
418.15/419.58 c #Conflicts: 214000 | #Constraints: 15843
418.15/419.58 c #Conflicts: 215000 | #Constraints: 16843
418.15/419.58 c #Conflicts: 216000 | #Constraints: 17843
418.15/419.58 c INPROCESSING
418.15/419.58 c GARBAGE COLLECT
418.15/419.58 c #Conflicts: 217000 | #Constraints: 9640
418.15/419.58 c #Conflicts: 218000 | #Constraints: 10640
418.15/419.58 c #Conflicts: 219000 | #Constraints: 11640
418.15/419.58 c #Conflicts: 220000 | #Constraints: 12640
418.15/419.58 c #Conflicts: 221000 | #Constraints: 13640
418.15/419.58 c #Conflicts: 222000 | #Constraints: 14640
418.15/419.58 c #Conflicts: 223000 | #Constraints: 15640
418.15/419.58 c #Conflicts: 224000 | #Constraints: 16640
418.15/419.58 c #Conflicts: 225000 | #Constraints: 17640
418.15/419.58 c #Conflicts: 226000 | #Constraints: 18640
418.15/419.58 c INPROCESSING
418.15/419.58 c GARBAGE COLLECT
418.15/419.58 c #Conflicts: 227000 | #Constraints: 10245
418.15/419.58 c #Conflicts: 228000 | #Constraints: 11245
418.15/419.58 c #Conflicts: 229000 | #Constraints: 12245
418.15/419.58 c #Conflicts: 230000 | #Constraints: 13245
418.15/419.58 c #Conflicts: 231000 | #Constraints: 14245
418.15/419.58 c #Conflicts: 232000 | #Constraints: 15245
418.15/419.58 c #Conflicts: 233000 | #Constraints: 16245
418.15/419.58 c #Conflicts: 234000 | #Constraints: 17245
418.15/419.58 c #Conflicts: 235000 | #Constraints: 18245
418.15/419.58 c #Conflicts: 236000 | #Constraints: 19245
418.15/419.58 c INPROCESSING
418.15/419.58 c GARBAGE COLLECT
418.15/419.58 c #Conflicts: 237000 | #Constraints: 10643
418.15/419.58 c #Conflicts: 238000 | #Constraints: 11643
418.15/419.58 c #Conflicts: 239000 | #Constraints: 12643
418.15/419.58 c #Conflicts: 240000 | #Constraints: 13643
418.15/419.58 c #Conflicts: 241000 | #Constraints: 14643
418.15/419.58 c #Conflicts: 242000 | #Constraints: 15643
418.15/419.58 c #Conflicts: 243000 | #Constraints: 16643
418.15/419.58 c #Conflicts: 244000 | #Constraints: 17643
418.15/419.58 c #Conflicts: 245000 | #Constraints: 18643
418.15/419.58 c #Conflicts: 246000 | #Constraints: 19643
418.15/419.58 c INPROCESSING
418.15/419.58 c GARBAGE COLLECT
418.15/419.58 c #Conflicts: 247000 | #Constraints: 10844
418.15/419.58 c #Conflicts: 248000 | #Constraints: 11844
418.15/419.58 c #Conflicts: 249000 | #Constraints: 12844
418.15/419.58 c #Conflicts: 250000 | #Constraints: 13844
418.15/419.58 c #Conflicts: 251000 | #Constraints: 14844
418.15/419.58 c #Conflicts: 252000 | #Constraints: 15844
418.15/419.58 c #Conflicts: 253000 | #Constraints: 16844
418.15/419.58 c #Conflicts: 254000 | #Constraints: 17844
418.15/419.58 c #Conflicts: 255000 | #Constraints: 18844
418.15/419.58 c #Conflicts: 256000 | #Constraints: 19844
418.15/419.58 c INPROCESSING
418.15/419.58 c GARBAGE COLLECT
418.15/419.58 c #Conflicts: 257000 | #Constraints: 10841
418.15/419.58 c #Conflicts: 258000 | #Constraints: 11841
418.15/419.58 c #Conflicts: 259000 | #Constraints: 12841
418.15/419.58 c #Conflicts: 260000 | #Constraints: 13841
418.15/419.58 c #Conflicts: 261000 | #Constraints: 14841
418.15/419.58 c #Conflicts: 262000 | #Constraints: 15841
418.15/419.58 c #Conflicts: 263000 | #Constraints: 16841
418.15/419.58 c #Conflicts: 264000 | #Constraints: 17841
418.15/419.58 c #Conflicts: 265000 | #Constraints: 18841
436.00/437.47 c #Conflicts: 266000 | #Constraints: 19841
436.00/437.47 c INPROCESSING
436.00/437.47 c GARBAGE COLLECT
436.00/437.47 c #Conflicts: 267000 | #Constraints: 10639
436.00/437.47 c #Conflicts: 268000 | #Constraints: 11639
436.00/437.47 c #Conflicts: 269000 | #Constraints: 12639
436.00/437.47 c #Conflicts: 270000 | #Constraints: 13639
436.00/437.47 c #Conflicts: 271000 | #Constraints: 14639
436.00/437.47 c #Conflicts: 272000 | #Constraints: 15639
436.00/437.47 c #Conflicts: 273000 | #Constraints: 16639
436.00/437.47 c #Conflicts: 274000 | #Constraints: 17639
436.00/437.47 c #Conflicts: 275000 | #Constraints: 18639
436.00/437.47 c #Conflicts: 276000 | #Constraints: 19639
436.00/437.47 c #Conflicts: 277000 | #Constraints: 20639
436.00/437.47 c INPROCESSING
436.00/437.47 c GARBAGE COLLECT
436.00/437.47 c #Conflicts: 278000 | #Constraints: 11239
436.00/437.47 c #Conflicts: 279000 | #Constraints: 12239
436.00/437.47 c #Conflicts: 280000 | #Constraints: 13239
436.00/437.47 c #Conflicts: 281000 | #Constraints: 14239
436.00/437.47 c #Conflicts: 282000 | #Constraints: 15239
436.00/437.47 c #Conflicts: 283000 | #Constraints: 16239
436.00/437.47 c #Conflicts: 284000 | #Constraints: 17239
436.00/437.47 c #Conflicts: 285000 | #Constraints: 18239
436.00/437.47 c #Conflicts: 286000 | #Constraints: 19239
436.00/437.47 c #Conflicts: 287000 | #Constraints: 20239
436.00/437.47 c #Conflicts: 288000 | #Constraints: 21239
436.00/437.47 c INPROCESSING
436.00/437.47 c GARBAGE COLLECT
436.00/437.47 c #Conflicts: 289000 | #Constraints: 11640
436.00/437.47 c #Conflicts: 290000 | #Constraints: 12640
436.00/437.47 c bounds 39 >= 0 @ 434.669
436.00/437.47 c stratification level: 8
496.36/497.95 c #Conflicts: 291000 | #Constraints: 13641
496.36/497.95 c #Conflicts: 292000 | #Constraints: 14641
496.36/497.95 c #Conflicts: 293000 | #Constraints: 15641
496.36/497.95 c #Conflicts: 294000 | #Constraints: 16641
496.36/497.95 c #Conflicts: 295000 | #Constraints: 17641
496.36/497.95 c #Conflicts: 296000 | #Constraints: 18641
496.36/497.95 c #Conflicts: 297000 | #Constraints: 19641
496.36/497.95 c #Conflicts: 298000 | #Constraints: 20641
496.36/497.95 c #Conflicts: 299000 | #Constraints: 21641
496.36/497.95 c INPROCESSING
496.36/497.95 c GARBAGE COLLECT
496.36/497.95 c #Conflicts: 300000 | #Constraints: 11842
496.36/497.95 c #Conflicts: 301000 | #Constraints: 12842
496.36/497.95 c #Conflicts: 302000 | #Constraints: 13842
496.36/497.95 c #Conflicts: 303000 | #Constraints: 14842
496.36/497.95 c #Conflicts: 304000 | #Constraints: 15842
496.36/497.95 c #Conflicts: 305000 | #Constraints: 16842
496.36/497.95 c #Conflicts: 306000 | #Constraints: 17842
496.36/497.95 c #Conflicts: 307000 | #Constraints: 18842
496.36/497.95 c #Conflicts: 308000 | #Constraints: 19842
496.36/497.95 c #Conflicts: 309000 | #Constraints: 20842
496.36/497.95 c #Conflicts: 310000 | #Constraints: 21842
496.36/497.95 c INPROCESSING
496.36/497.95 c GARBAGE COLLECT
496.36/497.95 c #Conflicts: 311000 | #Constraints: 11842
496.36/497.95 c #Conflicts: 312000 | #Constraints: 12842
496.36/497.95 c #Conflicts: 313000 | #Constraints: 13842
496.36/497.95 c #Conflicts: 314000 | #Constraints: 14842
496.36/497.95 c #Conflicts: 315000 | #Constraints: 15842
496.36/497.95 c #Conflicts: 316000 | #Constraints: 16842
496.36/497.95 c #Conflicts: 317000 | #Constraints: 17842
496.36/497.95 c #Conflicts: 318000 | #Constraints: 18842
496.36/497.95 c #Conflicts: 319000 | #Constraints: 19842
496.36/497.95 c #Conflicts: 320000 | #Constraints: 20842
496.36/497.95 c #Conflicts: 321000 | #Constraints: 21842
496.36/497.95 c INPROCESSING
496.36/497.95 c GARBAGE COLLECT
496.36/497.95 c #Conflicts: 322000 | #Constraints: 11642
496.36/497.95 c #Conflicts: 323000 | #Constraints: 12642
496.36/497.95 c #Conflicts: 324000 | #Constraints: 13642
496.36/497.95 c #Conflicts: 325000 | #Constraints: 14642
496.36/497.95 c #Conflicts: 326000 | #Constraints: 15642
496.36/497.95 c #Conflicts: 327000 | #Constraints: 16642
496.36/497.95 c #Conflicts: 328000 | #Constraints: 17642
496.36/497.95 c #Conflicts: 329000 | #Constraints: 18642
496.36/497.95 c #Conflicts: 330000 | #Constraints: 19642
496.36/497.95 c #Conflicts: 331000 | #Constraints: 20642
496.36/497.95 c #Conflicts: 332000 | #Constraints: 21642
496.36/497.95 c #Conflicts: 333000 | #Constraints: 22642
496.36/497.95 c INPROCESSING
496.36/497.95 c GARBAGE COLLECT
496.36/497.95 c #Conflicts: 334000 | #Constraints: 12239
496.36/497.95 c #Conflicts: 335000 | #Constraints: 13239
496.36/497.95 c #Conflicts: 336000 | #Constraints: 14239
496.36/497.95 c #Conflicts: 337000 | #Constraints: 15239
496.36/497.95 c #Conflicts: 338000 | #Constraints: 16239
496.36/497.95 c #Conflicts: 339000 | #Constraints: 17239
496.36/497.95 c #Conflicts: 340000 | #Constraints: 18239
496.36/497.95 c #Conflicts: 341000 | #Constraints: 19239
496.36/497.95 c #Conflicts: 342000 | #Constraints: 20239
496.36/497.95 c #Conflicts: 343000 | #Constraints: 21239
496.36/497.95 c #Conflicts: 344000 | #Constraints: 22239
496.36/497.95 c #Conflicts: 345000 | #Constraints: 23239
496.36/497.95 c INPROCESSING
496.36/497.95 c GARBAGE COLLECT
496.36/497.95 c #Conflicts: 346000 | #Constraints: 12636
496.36/497.95 c #Conflicts: 347000 | #Constraints: 13636
496.36/497.95 c #Conflicts: 348000 | #Constraints: 14636
496.36/497.95 c #Conflicts: 349000 | #Constraints: 15636
496.36/497.95 c #Conflicts: 350000 | #Constraints: 16636
496.36/497.95 c #Conflicts: 351000 | #Constraints: 17636
496.36/497.95 c #Conflicts: 352000 | #Constraints: 18636
496.36/497.95 c #Conflicts: 353000 | #Constraints: 19636
496.36/497.95 c #Conflicts: 354000 | #Constraints: 20636
496.36/497.95 c #Conflicts: 355000 | #Constraints: 21636
496.36/497.95 c #Conflicts: 356000 | #Constraints: 22636
496.36/497.95 c #Conflicts: 357000 | #Constraints: 23636
496.36/497.95 c INPROCESSING
496.36/497.95 c GARBAGE COLLECT
496.36/497.95 c #Conflicts: 358000 | #Constraints: 12835
496.36/497.95 c #Conflicts: 359000 | #Constraints: 13835
496.36/497.95 c #Conflicts: 360000 | #Constraints: 14835
496.36/497.95 c #Conflicts: 361000 | #Constraints: 15835
496.36/497.95 c #Conflicts: 362000 | #Constraints: 16835
496.36/497.95 c #Conflicts: 363000 | #Constraints: 17835
496.36/497.95 c #Conflicts: 364000 | #Constraints: 18835
496.36/497.95 c #Conflicts: 365000 | #Constraints: 19835
562.69/564.48 c #Conflicts: 366000 | #Constraints: 20835
562.69/564.48 c #Conflicts: 367000 | #Constraints: 21835
562.69/564.48 c #Conflicts: 368000 | #Constraints: 22835
562.69/564.48 c #Conflicts: 369000 | #Constraints: 23835
562.69/564.48 c INPROCESSING
562.69/564.48 c GARBAGE COLLECT
562.69/564.48 c #Conflicts: 370000 | #Constraints: 12836
562.69/564.48 c #Conflicts: 371000 | #Constraints: 13836
562.69/564.48 c #Conflicts: 372000 | #Constraints: 14836
562.69/564.48 c #Conflicts: 373000 | #Constraints: 15836
562.69/564.48 c #Conflicts: 374000 | #Constraints: 16836
562.69/564.48 c #Conflicts: 375000 | #Constraints: 17836
562.69/564.48 c #Conflicts: 376000 | #Constraints: 18836
562.69/564.48 c #Conflicts: 377000 | #Constraints: 19836
562.69/564.48 c #Conflicts: 378000 | #Constraints: 20836
562.69/564.48 c #Conflicts: 379000 | #Constraints: 21836
562.69/564.48 c #Conflicts: 380000 | #Constraints: 22836
562.69/564.48 c #Conflicts: 381000 | #Constraints: 23836
562.69/564.48 c INPROCESSING
562.69/564.48 c GARBAGE COLLECT
562.69/564.48 c #Conflicts: 382000 | #Constraints: 12635
562.69/564.48 c #Conflicts: 383000 | #Constraints: 13635
562.69/564.48 c #Conflicts: 384000 | #Constraints: 14635
562.69/564.48 c #Conflicts: 385000 | #Constraints: 15635
562.69/564.48 c #Conflicts: 386000 | #Constraints: 16635
562.69/564.48 c #Conflicts: 387000 | #Constraints: 17635
562.69/564.48 c #Conflicts: 388000 | #Constraints: 18635
562.69/564.48 c #Conflicts: 389000 | #Constraints: 19635
562.69/564.48 c #Conflicts: 390000 | #Constraints: 20635
562.69/564.48 c #Conflicts: 391000 | #Constraints: 21635
562.69/564.48 c #Conflicts: 392000 | #Constraints: 22635
562.69/564.48 c #Conflicts: 393000 | #Constraints: 23635
562.69/564.48 c #Conflicts: 394000 | #Constraints: 24635
562.69/564.48 c INPROCESSING
562.69/564.48 c GARBAGE COLLECT
562.69/564.48 c #Conflicts: 395000 | #Constraints: 13235
562.69/564.48 c #Conflicts: 396000 | #Constraints: 14235
562.69/564.48 c #Conflicts: 397000 | #Constraints: 15235
562.69/564.48 c #Conflicts: 398000 | #Constraints: 16235
562.69/564.48 c #Conflicts: 399000 | #Constraints: 17235
562.69/564.48 c #Conflicts: 400000 | #Constraints: 18235
562.69/564.48 c #Conflicts: 401000 | #Constraints: 19235
562.69/564.48 c #Conflicts: 402000 | #Constraints: 20235
562.69/564.48 c #Conflicts: 403000 | #Constraints: 21235
562.69/564.48 c #Conflicts: 404000 | #Constraints: 22235
562.69/564.48 c #Conflicts: 405000 | #Constraints: 23235
562.69/564.48 c #Conflicts: 406000 | #Constraints: 24235
562.69/564.48 c #Conflicts: 407000 | #Constraints: 25235
562.69/564.48 c INPROCESSING
562.69/564.48 c GARBAGE COLLECT
562.69/564.48 c #Conflicts: 408000 | #Constraints: 13636
562.69/564.48 c #Conflicts: 409000 | #Constraints: 14636
562.69/564.48 c #Conflicts: 410000 | #Constraints: 15636
562.69/564.48 c #Conflicts: 411000 | #Constraints: 16636
562.69/564.48 c #Conflicts: 412000 | #Constraints: 17636
562.69/564.48 c #Conflicts: 413000 | #Constraints: 18636
562.69/564.48 c #Conflicts: 414000 | #Constraints: 19636
562.69/564.48 c #Conflicts: 415000 | #Constraints: 20636
562.69/564.48 c #Conflicts: 416000 | #Constraints: 21636
562.69/564.48 c #Conflicts: 417000 | #Constraints: 22636
562.69/564.48 c #Conflicts: 418000 | #Constraints: 23636
562.69/564.48 c #Conflicts: 419000 | #Constraints: 24636
562.69/564.48 c #Conflicts: 420000 | #Constraints: 25636
562.69/564.48 c INPROCESSING
562.69/564.48 c GARBAGE COLLECT
562.69/564.48 c #Conflicts: 421000 | #Constraints: 13837
562.69/564.48 c #Conflicts: 422000 | #Constraints: 14837
562.69/564.48 c #Conflicts: 423000 | #Constraints: 15837
562.69/564.48 c #Conflicts: 424000 | #Constraints: 16837
562.69/564.48 c #Conflicts: 425000 | #Constraints: 17837
562.69/564.48 c #Conflicts: 426000 | #Constraints: 18837
562.69/564.48 c #Conflicts: 427000 | #Constraints: 19837
562.69/564.48 c #Conflicts: 428000 | #Constraints: 20837
562.69/564.48 c #Conflicts: 429000 | #Constraints: 21837
562.69/564.48 c #Conflicts: 430000 | #Constraints: 22837
562.69/564.48 c #Conflicts: 431000 | #Constraints: 23837
562.69/564.48 c #Conflicts: 432000 | #Constraints: 24837
562.69/564.48 c #Conflicts: 433000 | #Constraints: 25837
562.69/564.48 c INPROCESSING
562.69/564.48 c GARBAGE COLLECT
562.69/564.48 c #Conflicts: 434000 | #Constraints: 13841
562.69/564.48 c #Conflicts: 435000 | #Constraints: 14841
562.69/564.48 c #Conflicts: 436000 | #Constraints: 15841
562.69/564.48 c #Conflicts: 437000 | #Constraints: 16841
562.69/564.48 c #Conflicts: 438000 | #Constraints: 17841
562.69/564.48 c #Conflicts: 439000 | #Constraints: 18841
562.69/564.48 c #Conflicts: 440000 | #Constraints: 19841
644.38/646.32 c #Conflicts: 441000 | #Constraints: 20841
644.38/646.32 c #Conflicts: 442000 | #Constraints: 21841
644.38/646.32 c #Conflicts: 443000 | #Constraints: 22841
644.38/646.32 c #Conflicts: 444000 | #Constraints: 23841
644.38/646.32 c #Conflicts: 445000 | #Constraints: 24841
644.38/646.32 c #Conflicts: 446000 | #Constraints: 25841
644.38/646.32 c INPROCESSING
644.38/646.32 c GARBAGE COLLECT
644.38/646.32 c #Conflicts: 447000 | #Constraints: 13645
644.38/646.32 c #Conflicts: 448000 | #Constraints: 14645
644.38/646.32 c #Conflicts: 449000 | #Constraints: 15645
644.38/646.32 c #Conflicts: 450000 | #Constraints: 16645
644.38/646.32 c #Conflicts: 451000 | #Constraints: 17645
644.38/646.32 c #Conflicts: 452000 | #Constraints: 18645
644.38/646.32 c #Conflicts: 453000 | #Constraints: 19645
644.38/646.32 c #Conflicts: 454000 | #Constraints: 20645
644.38/646.32 c #Conflicts: 455000 | #Constraints: 21645
644.38/646.32 c #Conflicts: 456000 | #Constraints: 22645
644.38/646.32 c #Conflicts: 457000 | #Constraints: 23645
644.38/646.32 c #Conflicts: 458000 | #Constraints: 24645
644.38/646.32 c #Conflicts: 459000 | #Constraints: 25645
644.38/646.32 c #Conflicts: 460000 | #Constraints: 26645
644.38/646.32 c INPROCESSING
644.38/646.32 c GARBAGE COLLECT
644.38/646.32 c #Conflicts: 461000 | #Constraints: 14244
644.38/646.32 c #Conflicts: 462000 | #Constraints: 15244
644.38/646.32 c #Conflicts: 463000 | #Constraints: 16244
644.38/646.32 c #Conflicts: 464000 | #Constraints: 17244
644.38/646.32 c #Conflicts: 465000 | #Constraints: 18244
644.38/646.32 c #Conflicts: 466000 | #Constraints: 19244
644.38/646.32 c #Conflicts: 467000 | #Constraints: 20244
644.38/646.32 c #Conflicts: 468000 | #Constraints: 21244
644.38/646.32 c #Conflicts: 469000 | #Constraints: 22244
644.38/646.32 c #Conflicts: 470000 | #Constraints: 23244
644.38/646.32 c #Conflicts: 471000 | #Constraints: 24244
644.38/646.32 c #Conflicts: 472000 | #Constraints: 25244
644.38/646.32 c #Conflicts: 473000 | #Constraints: 26244
644.38/646.32 c #Conflicts: 474000 | #Constraints: 27244
644.38/646.32 c INPROCESSING
644.38/646.32 c GARBAGE COLLECT
644.38/646.32 c #Conflicts: 475000 | #Constraints: 14643
644.38/646.32 c #Conflicts: 476000 | #Constraints: 15643
644.38/646.32 c #Conflicts: 477000 | #Constraints: 16643
644.38/646.32 c #Conflicts: 478000 | #Constraints: 17643
644.38/646.32 c #Conflicts: 479000 | #Constraints: 18643
644.38/646.32 c #Conflicts: 480000 | #Constraints: 19643
644.38/646.32 c #Conflicts: 481000 | #Constraints: 20643
644.38/646.32 c #Conflicts: 482000 | #Constraints: 21643
644.38/646.32 c #Conflicts: 483000 | #Constraints: 22643
644.38/646.32 c #Conflicts: 484000 | #Constraints: 23643
644.38/646.32 c #Conflicts: 485000 | #Constraints: 24643
644.38/646.32 c #Conflicts: 486000 | #Constraints: 25643
644.38/646.32 c #Conflicts: 487000 | #Constraints: 26643
644.38/646.32 c #Conflicts: 488000 | #Constraints: 27643
644.38/646.32 c INPROCESSING
644.38/646.32 c GARBAGE COLLECT
644.38/646.32 c #Conflicts: 489000 | #Constraints: 14843
644.38/646.32 c #Conflicts: 490000 | #Constraints: 15843
644.38/646.32 c #Conflicts: 491000 | #Constraints: 16843
644.38/646.32 c #Conflicts: 492000 | #Constraints: 17843
644.38/646.32 c #Conflicts: 493000 | #Constraints: 18843
644.38/646.32 c #Conflicts: 494000 | #Constraints: 19843
644.38/646.32 c #Conflicts: 495000 | #Constraints: 20843
644.38/646.32 c #Conflicts: 496000 | #Constraints: 21843
644.38/646.32 c #Conflicts: 497000 | #Constraints: 22843
644.38/646.32 c #Conflicts: 498000 | #Constraints: 23843
644.38/646.32 c #Conflicts: 499000 | #Constraints: 24843
644.38/646.32 c #Conflicts: 500000 | #Constraints: 25843
644.38/646.32 c #Conflicts: 501000 | #Constraints: 26843
644.38/646.32 c #Conflicts: 502000 | #Constraints: 27843
644.38/646.32 c INPROCESSING
644.38/646.32 c GARBAGE COLLECT
644.38/646.32 c #Conflicts: 503000 | #Constraints: 14841
644.38/646.32 c #Conflicts: 504000 | #Constraints: 15841
644.38/646.32 c #Conflicts: 505000 | #Constraints: 16841
644.38/646.32 c #Conflicts: 506000 | #Constraints: 17841
644.38/646.32 c #Conflicts: 507000 | #Constraints: 18841
644.38/646.32 c #Conflicts: 508000 | #Constraints: 19841
644.38/646.32 c #Conflicts: 509000 | #Constraints: 20841
644.38/646.32 c #Conflicts: 510000 | #Constraints: 21841
644.38/646.32 c #Conflicts: 511000 | #Constraints: 22841
644.38/646.32 c #Conflicts: 512000 | #Constraints: 23841
644.38/646.32 c #Conflicts: 513000 | #Constraints: 24841
644.38/646.32 c #Conflicts: 514000 | #Constraints: 25841
644.38/646.32 c #Conflicts: 515000 | #Constraints: 26841
644.38/646.32 c #Conflicts: 516000 | #Constraints: 27841
719.89/722.08 c INPROCESSING
719.89/722.08 c GARBAGE COLLECT
719.89/722.08 c #Conflicts: 517000 | #Constraints: 14640
719.89/722.08 c #Conflicts: 518000 | #Constraints: 15640
719.89/722.08 c #Conflicts: 519000 | #Constraints: 16640
719.89/722.08 c #Conflicts: 520000 | #Constraints: 17640
719.89/722.08 c #Conflicts: 521000 | #Constraints: 18640
719.89/722.08 c #Conflicts: 522000 | #Constraints: 19640
719.89/722.08 c #Conflicts: 523000 | #Constraints: 20640
719.89/722.08 c #Conflicts: 524000 | #Constraints: 21640
719.89/722.08 c #Conflicts: 525000 | #Constraints: 22640
719.89/722.08 c #Conflicts: 526000 | #Constraints: 23640
719.89/722.08 c #Conflicts: 527000 | #Constraints: 24640
719.89/722.08 c #Conflicts: 528000 | #Constraints: 25640
719.89/722.08 c #Conflicts: 529000 | #Constraints: 26640
719.89/722.08 c #Conflicts: 530000 | #Constraints: 27640
719.89/722.08 c #Conflicts: 531000 | #Constraints: 28640
719.89/722.08 c INPROCESSING
719.89/722.08 c GARBAGE COLLECT
719.89/722.08 c #Conflicts: 532000 | #Constraints: 15242
719.89/722.08 c #Conflicts: 533000 | #Constraints: 16242
719.89/722.08 c #Conflicts: 534000 | #Constraints: 17242
719.89/722.08 c #Conflicts: 535000 | #Constraints: 18242
719.89/722.08 c #Conflicts: 536000 | #Constraints: 19242
719.89/722.08 c #Conflicts: 537000 | #Constraints: 20242
719.89/722.08 c #Conflicts: 538000 | #Constraints: 21242
719.89/722.08 c #Conflicts: 539000 | #Constraints: 22242
719.89/722.08 c #Conflicts: 540000 | #Constraints: 23242
719.89/722.08 c #Conflicts: 541000 | #Constraints: 24242
719.89/722.08 c #Conflicts: 542000 | #Constraints: 25242
719.89/722.08 c #Conflicts: 543000 | #Constraints: 26242
719.89/722.08 c #Conflicts: 544000 | #Constraints: 27242
719.89/722.08 c #Conflicts: 545000 | #Constraints: 28242
719.89/722.08 c #Conflicts: 546000 | #Constraints: 29242
719.89/722.08 c INPROCESSING
719.89/722.08 c GARBAGE COLLECT
719.89/722.08 c #Conflicts: 547000 | #Constraints: 15643
719.89/722.08 c #Conflicts: 548000 | #Constraints: 16643
719.89/722.08 c #Conflicts: 549000 | #Constraints: 17643
719.89/722.08 c #Conflicts: 550000 | #Constraints: 18643
719.89/722.08 c #Conflicts: 551000 | #Constraints: 19643
719.89/722.08 c #Conflicts: 552000 | #Constraints: 20643
719.89/722.08 c #Conflicts: 553000 | #Constraints: 21643
719.89/722.08 c #Conflicts: 554000 | #Constraints: 22643
719.89/722.08 c #Conflicts: 555000 | #Constraints: 23643
719.89/722.08 c #Conflicts: 556000 | #Constraints: 24643
719.89/722.08 c #Conflicts: 557000 | #Constraints: 25643
719.89/722.08 c #Conflicts: 558000 | #Constraints: 26643
719.89/722.08 c #Conflicts: 559000 | #Constraints: 27643
719.89/722.08 c #Conflicts: 560000 | #Constraints: 28643
719.89/722.08 c #Conflicts: 561000 | #Constraints: 29643
719.89/722.08 c INPROCESSING
719.89/722.08 c GARBAGE COLLECT
719.89/722.08 c #Conflicts: 562000 | #Constraints: 15838
719.89/722.08 c #Conflicts: 563000 | #Constraints: 16838
719.89/722.08 c #Conflicts: 564000 | #Constraints: 17838
719.89/722.08 c #Conflicts: 565000 | #Constraints: 18838
719.89/722.08 c #Conflicts: 566000 | #Constraints: 19838
719.89/722.08 c #Conflicts: 567000 | #Constraints: 20838
719.89/722.08 c #Conflicts: 568000 | #Constraints: 21838
719.89/722.08 c #Conflicts: 569000 | #Constraints: 22838
719.89/722.08 c #Conflicts: 570000 | #Constraints: 23838
719.89/722.08 c #Conflicts: 571000 | #Constraints: 24838
719.89/722.08 c #Conflicts: 572000 | #Constraints: 25838
719.89/722.08 c #Conflicts: 573000 | #Constraints: 26838
719.89/722.08 c #Conflicts: 574000 | #Constraints: 27838
719.89/722.08 c #Conflicts: 575000 | #Constraints: 28838
719.89/722.08 c #Conflicts: 576000 | #Constraints: 29838
719.89/722.08 c INPROCESSING
719.89/722.08 c GARBAGE COLLECT
719.89/722.08 c #Conflicts: 577000 | #Constraints: 15842
719.89/722.08 c #Conflicts: 578000 | #Constraints: 16842
719.89/722.08 c #Conflicts: 579000 | #Constraints: 17842
719.89/722.08 c #Conflicts: 580000 | #Constraints: 18842
719.89/722.08 c #Conflicts: 581000 | #Constraints: 19842
719.89/722.08 c #Conflicts: 582000 | #Constraints: 20842
719.89/722.08 c #Conflicts: 583000 | #Constraints: 21842
719.89/722.08 c #Conflicts: 584000 | #Constraints: 22842
719.89/722.08 c #Conflicts: 585000 | #Constraints: 23842
719.89/722.08 c #Conflicts: 586000 | #Constraints: 24842
719.89/722.08 c #Conflicts: 587000 | #Constraints: 25842
719.89/722.08 c #Conflicts: 588000 | #Constraints: 26842
719.89/722.08 c #Conflicts: 589000 | #Constraints: 27842
719.89/722.08 c #Conflicts: 590000 | #Constraints: 28842
719.89/722.08 c #Conflicts: 591000 | #Constraints: 29842
719.89/722.08 c INPROCESSING
804.07/806.48 c GARBAGE COLLECT
804.07/806.48 c #Conflicts: 592000 | #Constraints: 15644
804.07/806.48 c #Conflicts: 593000 | #Constraints: 16644
804.07/806.48 c #Conflicts: 594000 | #Constraints: 17644
804.07/806.48 c #Conflicts: 595000 | #Constraints: 18644
804.07/806.48 c #Conflicts: 596000 | #Constraints: 19644
804.07/806.48 c #Conflicts: 597000 | #Constraints: 20644
804.07/806.48 c #Conflicts: 598000 | #Constraints: 21644
804.07/806.48 c #Conflicts: 599000 | #Constraints: 22644
804.07/806.48 c #Conflicts: 600000 | #Constraints: 23644
804.07/806.48 c #Conflicts: 601000 | #Constraints: 24644
804.07/806.48 c #Conflicts: 602000 | #Constraints: 25644
804.07/806.48 c #Conflicts: 603000 | #Constraints: 26644
804.07/806.48 c #Conflicts: 604000 | #Constraints: 27644
804.07/806.48 c #Conflicts: 605000 | #Constraints: 28644
804.07/806.48 c #Conflicts: 606000 | #Constraints: 29644
804.07/806.48 c #Conflicts: 607000 | #Constraints: 30644
804.07/806.48 c INPROCESSING
804.07/806.48 c GARBAGE COLLECT
804.07/806.48 c #Conflicts: 608000 | #Constraints: 16245
804.07/806.48 c #Conflicts: 609000 | #Constraints: 17245
804.07/806.48 c #Conflicts: 610000 | #Constraints: 18245
804.07/806.48 c #Conflicts: 611000 | #Constraints: 19245
804.07/806.48 c #Conflicts: 612000 | #Constraints: 20245
804.07/806.48 c #Conflicts: 613000 | #Constraints: 21245
804.07/806.48 c #Conflicts: 614000 | #Constraints: 22245
804.07/806.48 c #Conflicts: 615000 | #Constraints: 23245
804.07/806.48 c #Conflicts: 616000 | #Constraints: 24245
804.07/806.48 c #Conflicts: 617000 | #Constraints: 25245
804.07/806.48 c #Conflicts: 618000 | #Constraints: 26245
804.07/806.48 c #Conflicts: 619000 | #Constraints: 27245
804.07/806.48 c #Conflicts: 620000 | #Constraints: 28245
804.07/806.48 c #Conflicts: 621000 | #Constraints: 29245
804.07/806.48 c #Conflicts: 622000 | #Constraints: 30245
804.07/806.48 c #Conflicts: 623000 | #Constraints: 31245
804.07/806.48 c INPROCESSING
804.07/806.48 c GARBAGE COLLECT
804.07/806.48 c #Conflicts: 624000 | #Constraints: 16639
804.07/806.48 c #Conflicts: 625000 | #Constraints: 17639
804.07/806.48 c #Conflicts: 626000 | #Constraints: 18639
804.07/806.48 c #Conflicts: 627000 | #Constraints: 19639
804.07/806.48 c #Conflicts: 628000 | #Constraints: 20639
804.07/806.48 c #Conflicts: 629000 | #Constraints: 21639
804.07/806.48 c #Conflicts: 630000 | #Constraints: 22639
804.07/806.48 c #Conflicts: 631000 | #Constraints: 23639
804.07/806.48 c #Conflicts: 632000 | #Constraints: 24639
804.07/806.48 c #Conflicts: 633000 | #Constraints: 25639
804.07/806.48 c #Conflicts: 634000 | #Constraints: 26639
804.07/806.48 c #Conflicts: 635000 | #Constraints: 27639
804.07/806.48 c #Conflicts: 636000 | #Constraints: 28639
804.07/806.48 c #Conflicts: 637000 | #Constraints: 29639
804.07/806.48 c #Conflicts: 638000 | #Constraints: 30639
804.07/806.48 c #Conflicts: 639000 | #Constraints: 31639
804.07/806.48 c INPROCESSING
804.07/806.48 c GARBAGE COLLECT
804.07/806.48 c #Conflicts: 640000 | #Constraints: 16839
804.07/806.48 c #Conflicts: 641000 | #Constraints: 17839
804.07/806.48 c #Conflicts: 642000 | #Constraints: 18839
804.07/806.48 c #Conflicts: 643000 | #Constraints: 19839
804.07/806.48 c #Conflicts: 644000 | #Constraints: 20839
804.07/806.48 c #Conflicts: 645000 | #Constraints: 21839
804.07/806.48 c #Conflicts: 646000 | #Constraints: 22839
804.07/806.48 c #Conflicts: 647000 | #Constraints: 23839
804.07/806.48 c #Conflicts: 648000 | #Constraints: 24839
804.07/806.48 c #Conflicts: 649000 | #Constraints: 25839
804.07/806.48 c #Conflicts: 650000 | #Constraints: 26839
804.07/806.48 c #Conflicts: 651000 | #Constraints: 27839
804.07/806.48 c #Conflicts: 652000 | #Constraints: 28839
804.07/806.48 c #Conflicts: 653000 | #Constraints: 29839
804.07/806.48 c #Conflicts: 654000 | #Constraints: 30839
804.07/806.48 c #Conflicts: 655000 | #Constraints: 31839
804.07/806.48 c INPROCESSING
804.07/806.48 c GARBAGE COLLECT
804.07/806.48 c #Conflicts: 656000 | #Constraints: 16840
804.07/806.48 c #Conflicts: 657000 | #Constraints: 17840
804.07/806.48 c #Conflicts: 658000 | #Constraints: 18840
804.07/806.48 c #Conflicts: 659000 | #Constraints: 19840
804.07/806.48 c #Conflicts: 660000 | #Constraints: 20840
804.07/806.48 c #Conflicts: 661000 | #Constraints: 21840
804.07/806.48 c #Conflicts: 662000 | #Constraints: 22840
804.07/806.48 c #Conflicts: 663000 | #Constraints: 23840
804.07/806.48 c #Conflicts: 664000 | #Constraints: 24840
804.07/806.48 c #Conflicts: 665000 | #Constraints: 25840
804.07/806.48 c #Conflicts: 666000 | #Constraints: 26840
804.07/806.48 c #Conflicts: 667000 | #Constraints: 27840
898.72/901.31 c #Conflicts: 668000 | #Constraints: 28840
898.72/901.31 c #Conflicts: 669000 | #Constraints: 29840
898.72/901.31 c #Conflicts: 670000 | #Constraints: 30840
898.72/901.31 c #Conflicts: 671000 | #Constraints: 31840
898.72/901.31 c INPROCESSING
898.72/901.31 c GARBAGE COLLECT
898.72/901.31 c #Conflicts: 672000 | #Constraints: 16636
898.72/901.31 c #Conflicts: 673000 | #Constraints: 17636
898.72/901.31 c #Conflicts: 674000 | #Constraints: 18636
898.72/901.31 c #Conflicts: 675000 | #Constraints: 19636
898.72/901.31 c #Conflicts: 676000 | #Constraints: 20636
898.72/901.31 c #Conflicts: 677000 | #Constraints: 21636
898.72/901.31 c #Conflicts: 678000 | #Constraints: 22636
898.72/901.31 c #Conflicts: 679000 | #Constraints: 23636
898.72/901.31 c #Conflicts: 680000 | #Constraints: 24636
898.72/901.31 c #Conflicts: 681000 | #Constraints: 25636
898.72/901.31 c #Conflicts: 682000 | #Constraints: 26636
898.72/901.31 c #Conflicts: 683000 | #Constraints: 27636
898.72/901.31 c #Conflicts: 684000 | #Constraints: 28636
898.72/901.31 c #Conflicts: 685000 | #Constraints: 29636
898.72/901.31 c #Conflicts: 686000 | #Constraints: 30636
898.72/901.31 c #Conflicts: 687000 | #Constraints: 31636
898.72/901.31 c #Conflicts: 688000 | #Constraints: 32636
898.72/901.31 c INPROCESSING
898.72/901.31 c GARBAGE COLLECT
898.72/901.31 c #Conflicts: 689000 | #Constraints: 17239
898.72/901.31 c #Conflicts: 690000 | #Constraints: 18239
898.72/901.31 c #Conflicts: 691000 | #Constraints: 19239
898.72/901.31 c #Conflicts: 692000 | #Constraints: 20239
898.72/901.31 c #Conflicts: 693000 | #Constraints: 21239
898.72/901.31 c #Conflicts: 694000 | #Constraints: 22239
898.72/901.31 c #Conflicts: 695000 | #Constraints: 23239
898.72/901.31 c #Conflicts: 696000 | #Constraints: 24239
898.72/901.31 c #Conflicts: 697000 | #Constraints: 25239
898.72/901.31 c #Conflicts: 698000 | #Constraints: 26239
898.72/901.31 c #Conflicts: 699000 | #Constraints: 27239
898.72/901.31 c #Conflicts: 700000 | #Constraints: 28239
898.72/901.31 c #Conflicts: 701000 | #Constraints: 29239
898.72/901.31 c #Conflicts: 702000 | #Constraints: 30239
898.72/901.31 c #Conflicts: 703000 | #Constraints: 31239
898.72/901.31 c #Conflicts: 704000 | #Constraints: 32239
898.72/901.31 c #Conflicts: 705000 | #Constraints: 33239
898.72/901.31 c INPROCESSING
898.72/901.31 c GARBAGE COLLECT
898.72/901.31 c #Conflicts: 706000 | #Constraints: 17636
898.72/901.31 c #Conflicts: 707000 | #Constraints: 18636
898.72/901.31 c #Conflicts: 708000 | #Constraints: 19636
898.72/901.31 c #Conflicts: 709000 | #Constraints: 20636
898.72/901.31 c #Conflicts: 710000 | #Constraints: 21636
898.72/901.31 c #Conflicts: 711000 | #Constraints: 22636
898.72/901.31 c #Conflicts: 712000 | #Constraints: 23636
898.72/901.31 c #Conflicts: 713000 | #Constraints: 24636
898.72/901.31 c #Conflicts: 714000 | #Constraints: 25636
898.72/901.31 c #Conflicts: 715000 | #Constraints: 26636
898.72/901.31 c #Conflicts: 716000 | #Constraints: 27636
898.72/901.31 c #Conflicts: 717000 | #Constraints: 28636
898.72/901.31 c #Conflicts: 718000 | #Constraints: 29636
898.72/901.31 c #Conflicts: 719000 | #Constraints: 30636
898.72/901.31 c #Conflicts: 720000 | #Constraints: 31636
898.72/901.31 c #Conflicts: 721000 | #Constraints: 32636
898.72/901.31 c #Conflicts: 722000 | #Constraints: 33636
898.72/901.31 c INPROCESSING
898.72/901.31 c GARBAGE COLLECT
898.72/901.31 c #Conflicts: 723000 | #Constraints: 17841
898.72/901.31 c #Conflicts: 724000 | #Constraints: 18841
898.72/901.31 c #Conflicts: 725000 | #Constraints: 19841
898.72/901.31 c #Conflicts: 726000 | #Constraints: 20841
898.72/901.31 c #Conflicts: 727000 | #Constraints: 21841
898.72/901.31 c #Conflicts: 728000 | #Constraints: 22841
898.72/901.31 c #Conflicts: 729000 | #Constraints: 23841
898.72/901.31 c #Conflicts: 730000 | #Constraints: 24841
898.72/901.31 c #Conflicts: 731000 | #Constraints: 25841
898.72/901.31 c #Conflicts: 732000 | #Constraints: 26841
898.72/901.31 c #Conflicts: 733000 | #Constraints: 27841
898.72/901.31 c #Conflicts: 734000 | #Constraints: 28841
898.72/901.31 c #Conflicts: 735000 | #Constraints: 29841
898.72/901.31 c #Conflicts: 736000 | #Constraints: 30841
898.72/901.31 c #Conflicts: 737000 | #Constraints: 31841
898.72/901.31 c #Conflicts: 738000 | #Constraints: 32841
898.72/901.31 c #Conflicts: 739000 | #Constraints: 33841
898.72/901.31 c INPROCESSING
898.72/901.31 c GARBAGE COLLECT
898.72/901.31 c #Conflicts: 740000 | #Constraints: 17842
898.72/901.31 c #Conflicts: 741000 | #Constraints: 18842
898.72/901.31 c #Conflicts: 742000 | #Constraints: 19842
898.72/901.31 c #Conflicts: 743000 | #Constraints: 20842
989.40/992.26 c #Conflicts: 744000 | #Constraints: 21842
989.40/992.26 c #Conflicts: 745000 | #Constraints: 22842
989.40/992.26 c #Conflicts: 746000 | #Constraints: 23842
989.40/992.26 c #Conflicts: 747000 | #Constraints: 24842
989.40/992.26 c #Conflicts: 748000 | #Constraints: 25842
989.40/992.26 c #Conflicts: 749000 | #Constraints: 26842
989.40/992.26 c #Conflicts: 750000 | #Constraints: 27842
989.40/992.26 c #Conflicts: 751000 | #Constraints: 28842
989.40/992.26 c #Conflicts: 752000 | #Constraints: 29842
989.40/992.26 c #Conflicts: 753000 | #Constraints: 30842
989.40/992.26 c #Conflicts: 754000 | #Constraints: 31842
989.40/992.26 c #Conflicts: 755000 | #Constraints: 32842
989.40/992.26 c #Conflicts: 756000 | #Constraints: 33842
989.40/992.26 c INPROCESSING
989.40/992.26 c GARBAGE COLLECT
989.40/992.26 c #Conflicts: 757000 | #Constraints: 17640
989.40/992.26 c #Conflicts: 758000 | #Constraints: 18640
989.40/992.26 c #Conflicts: 759000 | #Constraints: 19640
989.40/992.26 c #Conflicts: 760000 | #Constraints: 20640
989.40/992.26 c #Conflicts: 761000 | #Constraints: 21640
989.40/992.26 c #Conflicts: 762000 | #Constraints: 22640
989.40/992.26 c #Conflicts: 763000 | #Constraints: 23640
989.40/992.26 c #Conflicts: 764000 | #Constraints: 24640
989.40/992.26 c #Conflicts: 765000 | #Constraints: 25640
989.40/992.26 c #Conflicts: 766000 | #Constraints: 26640
989.40/992.26 c #Conflicts: 767000 | #Constraints: 27640
989.40/992.26 c #Conflicts: 768000 | #Constraints: 28640
989.40/992.26 c #Conflicts: 769000 | #Constraints: 29640
989.40/992.26 c #Conflicts: 770000 | #Constraints: 30640
989.40/992.26 c #Conflicts: 771000 | #Constraints: 31640
989.40/992.26 c #Conflicts: 772000 | #Constraints: 32640
989.40/992.26 c #Conflicts: 773000 | #Constraints: 33640
989.40/992.26 c #Conflicts: 774000 | #Constraints: 34640
989.40/992.26 c INPROCESSING
989.40/992.26 c GARBAGE COLLECT
989.40/992.26 c #Conflicts: 775000 | #Constraints: 18241
989.40/992.26 c #Conflicts: 776000 | #Constraints: 19241
989.40/992.26 c #Conflicts: 777000 | #Constraints: 20241
989.40/992.26 c #Conflicts: 778000 | #Constraints: 21241
989.40/992.26 c #Conflicts: 779000 | #Constraints: 22241
989.40/992.26 c #Conflicts: 780000 | #Constraints: 23241
989.40/992.26 c #Conflicts: 781000 | #Constraints: 24241
989.40/992.26 c #Conflicts: 782000 | #Constraints: 25241
989.40/992.26 c #Conflicts: 783000 | #Constraints: 26241
989.40/992.26 c #Conflicts: 784000 | #Constraints: 27241
989.40/992.26 c #Conflicts: 785000 | #Constraints: 28241
989.40/992.26 c #Conflicts: 786000 | #Constraints: 29241
989.40/992.26 c #Conflicts: 787000 | #Constraints: 30241
989.40/992.26 c #Conflicts: 788000 | #Constraints: 31241
989.40/992.26 c #Conflicts: 789000 | #Constraints: 32241
989.40/992.26 c #Conflicts: 790000 | #Constraints: 33241
989.40/992.26 c #Conflicts: 791000 | #Constraints: 34241
989.40/992.26 c #Conflicts: 792000 | #Constraints: 35241
989.40/992.26 c INPROCESSING
989.40/992.26 c GARBAGE COLLECT
989.40/992.26 c #Conflicts: 793000 | #Constraints: 18641
989.40/992.26 c #Conflicts: 794000 | #Constraints: 19641
989.40/992.26 c #Conflicts: 795000 | #Constraints: 20641
989.40/992.26 c #Conflicts: 796000 | #Constraints: 21641
989.40/992.26 c #Conflicts: 797000 | #Constraints: 22641
989.40/992.26 c #Conflicts: 798000 | #Constraints: 23641
989.40/992.26 c #Conflicts: 799000 | #Constraints: 24641
989.40/992.26 c #Conflicts: 800000 | #Constraints: 25641
989.40/992.26 c #Conflicts: 801000 | #Constraints: 26641
989.40/992.26 c #Conflicts: 802000 | #Constraints: 27641
989.40/992.26 c #Conflicts: 803000 | #Constraints: 28641
989.40/992.26 c #Conflicts: 804000 | #Constraints: 29641
989.40/992.26 c #Conflicts: 805000 | #Constraints: 30641
989.40/992.26 c #Conflicts: 806000 | #Constraints: 31641
989.40/992.26 c #Conflicts: 807000 | #Constraints: 32641
989.40/992.26 c #Conflicts: 808000 | #Constraints: 33641
989.40/992.26 c #Conflicts: 809000 | #Constraints: 34641
989.40/992.26 c #Conflicts: 810000 | #Constraints: 35641
989.40/992.26 c INPROCESSING
989.40/992.26 c GARBAGE COLLECT
989.40/992.26 c #Conflicts: 811000 | #Constraints: 18841
989.40/992.26 c #Conflicts: 812000 | #Constraints: 19841
989.40/992.26 c #Conflicts: 813000 | #Constraints: 20841
989.40/992.26 c #Conflicts: 814000 | #Constraints: 21841
989.40/992.26 c #Conflicts: 815000 | #Constraints: 22841
989.40/992.26 c #Conflicts: 816000 | #Constraints: 23841
989.40/992.26 c #Conflicts: 817000 | #Constraints: 24841
989.40/992.26 c #Conflicts: 818000 | #Constraints: 25841
989.40/992.26 c #Conflicts: 819000 | #Constraints: 26841
1088.56/1091.63 c #Conflicts: 820000 | #Constraints: 27841
1088.56/1091.63 c #Conflicts: 821000 | #Constraints: 28841
1088.56/1091.63 c #Conflicts: 822000 | #Constraints: 29841
1088.56/1091.63 c #Conflicts: 823000 | #Constraints: 30841
1088.56/1091.63 c #Conflicts: 824000 | #Constraints: 31841
1088.56/1091.63 c #Conflicts: 825000 | #Constraints: 32841
1088.56/1091.63 c #Conflicts: 826000 | #Constraints: 33841
1088.56/1091.63 c #Conflicts: 827000 | #Constraints: 34841
1088.56/1091.63 c #Conflicts: 828000 | #Constraints: 35841
1088.56/1091.63 c INPROCESSING
1088.56/1091.63 c GARBAGE COLLECT
1088.56/1091.63 c #Conflicts: 829000 | #Constraints: 18844
1088.56/1091.63 c #Conflicts: 830000 | #Constraints: 19844
1088.56/1091.63 c #Conflicts: 831000 | #Constraints: 20844
1088.56/1091.63 c #Conflicts: 832000 | #Constraints: 21844
1088.56/1091.63 c #Conflicts: 833000 | #Constraints: 22844
1088.56/1091.63 c #Conflicts: 834000 | #Constraints: 23844
1088.56/1091.63 c #Conflicts: 835000 | #Constraints: 24844
1088.56/1091.63 c #Conflicts: 836000 | #Constraints: 25844
1088.56/1091.63 c #Conflicts: 837000 | #Constraints: 26844
1088.56/1091.63 c #Conflicts: 838000 | #Constraints: 27844
1088.56/1091.63 c #Conflicts: 839000 | #Constraints: 28844
1088.56/1091.63 c #Conflicts: 840000 | #Constraints: 29844
1088.56/1091.63 c #Conflicts: 841000 | #Constraints: 30844
1088.56/1091.63 c #Conflicts: 842000 | #Constraints: 31844
1088.56/1091.63 c #Conflicts: 843000 | #Constraints: 32844
1088.56/1091.63 c #Conflicts: 844000 | #Constraints: 33844
1088.56/1091.63 c #Conflicts: 845000 | #Constraints: 34844
1088.56/1091.63 c #Conflicts: 846000 | #Constraints: 35844
1088.56/1091.63 c INPROCESSING
1088.56/1091.63 c GARBAGE COLLECT
1088.56/1091.63 c #Conflicts: 847000 | #Constraints: 18644
1088.56/1091.63 c #Conflicts: 848000 | #Constraints: 19644
1088.56/1091.63 c #Conflicts: 849000 | #Constraints: 20644
1088.56/1091.63 c #Conflicts: 850000 | #Constraints: 21644
1088.56/1091.63 c #Conflicts: 851000 | #Constraints: 22644
1088.56/1091.63 c #Conflicts: 852000 | #Constraints: 23644
1088.56/1091.63 c #Conflicts: 853000 | #Constraints: 24644
1088.56/1091.63 c #Conflicts: 854000 | #Constraints: 25644
1088.56/1091.63 c #Conflicts: 855000 | #Constraints: 26644
1088.56/1091.63 c #Conflicts: 856000 | #Constraints: 27644
1088.56/1091.63 c #Conflicts: 857000 | #Constraints: 28644
1088.56/1091.63 c #Conflicts: 858000 | #Constraints: 29644
1088.56/1091.63 c #Conflicts: 859000 | #Constraints: 30644
1088.56/1091.63 c #Conflicts: 860000 | #Constraints: 31644
1088.56/1091.63 c #Conflicts: 861000 | #Constraints: 32644
1088.56/1091.63 c #Conflicts: 862000 | #Constraints: 33644
1088.56/1091.63 c #Conflicts: 863000 | #Constraints: 34644
1088.56/1091.63 c #Conflicts: 864000 | #Constraints: 35644
1088.56/1091.63 c #Conflicts: 865000 | #Constraints: 36644
1088.56/1091.63 c INPROCESSING
1088.56/1091.63 c GARBAGE COLLECT
1088.56/1091.63 c #Conflicts: 866000 | #Constraints: 19245
1088.56/1091.63 c #Conflicts: 867000 | #Constraints: 20245
1088.56/1091.63 c #Conflicts: 868000 | #Constraints: 21245
1088.56/1091.63 c #Conflicts: 869000 | #Constraints: 22245
1088.56/1091.63 c #Conflicts: 870000 | #Constraints: 23245
1088.56/1091.63 c #Conflicts: 871000 | #Constraints: 24245
1088.56/1091.63 c #Conflicts: 872000 | #Constraints: 25245
1088.56/1091.63 c #Conflicts: 873000 | #Constraints: 26245
1088.56/1091.63 c #Conflicts: 874000 | #Constraints: 27245
1088.56/1091.63 c #Conflicts: 875000 | #Constraints: 28245
1088.56/1091.63 c #Conflicts: 876000 | #Constraints: 29245
1088.56/1091.63 c #Conflicts: 877000 | #Constraints: 30245
1088.56/1091.63 c #Conflicts: 878000 | #Constraints: 31245
1088.56/1091.63 c #Conflicts: 879000 | #Constraints: 32245
1088.56/1091.63 c #Conflicts: 880000 | #Constraints: 33245
1088.56/1091.63 c #Conflicts: 881000 | #Constraints: 34245
1088.56/1091.63 c #Conflicts: 882000 | #Constraints: 35245
1088.56/1091.63 c #Conflicts: 883000 | #Constraints: 36245
1088.56/1091.63 c #Conflicts: 884000 | #Constraints: 37245
1088.56/1091.63 c INPROCESSING
1088.56/1091.63 c GARBAGE COLLECT
1088.56/1091.63 c #Conflicts: 885000 | #Constraints: 19641
1088.56/1091.63 c #Conflicts: 886000 | #Constraints: 20641
1088.56/1091.63 c #Conflicts: 887000 | #Constraints: 21641
1088.56/1091.63 c #Conflicts: 888000 | #Constraints: 22641
1088.56/1091.63 c #Conflicts: 889000 | #Constraints: 23641
1088.56/1091.63 c #Conflicts: 890000 | #Constraints: 24641
1088.56/1091.63 c #Conflicts: 891000 | #Constraints: 25641
1088.56/1091.63 c #Conflicts: 892000 | #Constraints: 26641
1088.56/1091.63 c #Conflicts: 893000 | #Constraints: 27641
1088.56/1091.63 c #Conflicts: 894000 | #Constraints: 28641
1088.56/1091.63 c #Conflicts: 895000 | #Constraints: 29641
1196.34/1199.77 c #Conflicts: 896000 | #Constraints: 30641
1196.34/1199.77 c #Conflicts: 897000 | #Constraints: 31641
1196.34/1199.77 c #Conflicts: 898000 | #Constraints: 32641
1196.34/1199.77 c #Conflicts: 899000 | #Constraints: 33641
1196.34/1199.77 c #Conflicts: 900000 | #Constraints: 34641
1196.34/1199.77 c #Conflicts: 901000 | #Constraints: 35641
1196.34/1199.77 c #Conflicts: 902000 | #Constraints: 36641
1196.34/1199.77 c #Conflicts: 903000 | #Constraints: 37641
1196.34/1199.77 c INPROCESSING
1196.34/1199.77 c GARBAGE COLLECT
1196.34/1199.77 c #Conflicts: 904000 | #Constraints: 19841
1196.34/1199.77 c #Conflicts: 905000 | #Constraints: 20841
1196.34/1199.77 c #Conflicts: 906000 | #Constraints: 21841
1196.34/1199.77 c #Conflicts: 907000 | #Constraints: 22841
1196.34/1199.77 c #Conflicts: 908000 | #Constraints: 23841
1196.34/1199.77 c #Conflicts: 909000 | #Constraints: 24841
1196.34/1199.77 c #Conflicts: 910000 | #Constraints: 25841
1196.34/1199.77 c #Conflicts: 911000 | #Constraints: 26841
1196.34/1199.77 c #Conflicts: 912000 | #Constraints: 27841
1196.34/1199.77 c #Conflicts: 913000 | #Constraints: 28841
1196.34/1199.77 c #Conflicts: 914000 | #Constraints: 29841
1196.34/1199.77 c #Conflicts: 915000 | #Constraints: 30841
1196.34/1199.77 c #Conflicts: 916000 | #Constraints: 31841
1196.34/1199.77 c #Conflicts: 917000 | #Constraints: 32841
1196.34/1199.77 c #Conflicts: 918000 | #Constraints: 33841
1196.34/1199.77 c #Conflicts: 919000 | #Constraints: 34841
1196.34/1199.77 c #Conflicts: 920000 | #Constraints: 35841
1196.34/1199.77 c #Conflicts: 921000 | #Constraints: 36841
1196.34/1199.77 c #Conflicts: 922000 | #Constraints: 37841
1196.34/1199.77 c INPROCESSING
1196.34/1199.77 c GARBAGE COLLECT
1196.34/1199.77 c #Conflicts: 923000 | #Constraints: 19840
1196.34/1199.77 c #Conflicts: 924000 | #Constraints: 20840
1196.34/1199.77 c #Conflicts: 925000 | #Constraints: 21840
1196.34/1199.77 c #Conflicts: 926000 | #Constraints: 22840
1196.34/1199.77 c #Conflicts: 927000 | #Constraints: 23840
1196.34/1199.77 c #Conflicts: 928000 | #Constraints: 24840
1196.34/1199.77 c #Conflicts: 929000 | #Constraints: 25840
1196.34/1199.77 c #Conflicts: 930000 | #Constraints: 26840
1196.34/1199.77 c #Conflicts: 931000 | #Constraints: 27840
1196.34/1199.77 c #Conflicts: 932000 | #Constraints: 28840
1196.34/1199.77 c #Conflicts: 933000 | #Constraints: 29840
1196.34/1199.77 c #Conflicts: 934000 | #Constraints: 30840
1196.34/1199.77 c #Conflicts: 935000 | #Constraints: 31840
1196.34/1199.77 c #Conflicts: 936000 | #Constraints: 32840
1196.34/1199.77 c #Conflicts: 937000 | #Constraints: 33840
1196.34/1199.77 c #Conflicts: 938000 | #Constraints: 34840
1196.34/1199.77 c #Conflicts: 939000 | #Constraints: 35840
1196.34/1199.77 c #Conflicts: 940000 | #Constraints: 36840
1196.34/1199.77 c #Conflicts: 941000 | #Constraints: 37840
1196.34/1199.77 c INPROCESSING
1196.34/1199.77 c GARBAGE COLLECT
1196.34/1199.77 c #Conflicts: 942000 | #Constraints: 19642
1196.34/1199.77 c #Conflicts: 943000 | #Constraints: 20642
1196.34/1199.77 c #Conflicts: 944000 | #Constraints: 21642
1196.34/1199.77 c #Conflicts: 945000 | #Constraints: 22642
1196.34/1199.77 c #Conflicts: 946000 | #Constraints: 23642
1196.34/1199.77 c #Conflicts: 947000 | #Constraints: 24642
1196.34/1199.77 c #Conflicts: 948000 | #Constraints: 25642
1196.34/1199.77 c #Conflicts: 949000 | #Constraints: 26642
1196.34/1199.77 c #Conflicts: 950000 | #Constraints: 27642
1196.34/1199.77 c #Conflicts: 951000 | #Constraints: 28642
1196.34/1199.77 c #Conflicts: 952000 | #Constraints: 29642
1196.34/1199.77 c #Conflicts: 953000 | #Constraints: 30642
1196.34/1199.77 c #Conflicts: 954000 | #Constraints: 31642
1196.34/1199.77 c #Conflicts: 955000 | #Constraints: 32642
1196.34/1199.77 c #Conflicts: 956000 | #Constraints: 33642
1196.34/1199.77 c #Conflicts: 957000 | #Constraints: 34642
1196.34/1199.77 c #Conflicts: 958000 | #Constraints: 35642
1196.34/1199.77 c #Conflicts: 959000 | #Constraints: 36642
1196.34/1199.77 c #Conflicts: 960000 | #Constraints: 37642
1196.34/1199.77 c #Conflicts: 961000 | #Constraints: 38642
1196.34/1199.77 c INPROCESSING
1196.34/1199.77 c GARBAGE COLLECT
1196.34/1199.77 c #Conflicts: 962000 | #Constraints: 20243
1196.34/1199.77 c #Conflicts: 963000 | #Constraints: 21243
1196.34/1199.77 c #Conflicts: 964000 | #Constraints: 22243
1196.34/1199.77 c #Conflicts: 965000 | #Constraints: 23243
1196.34/1199.77 c #Conflicts: 966000 | #Constraints: 24243
1196.34/1199.77 c #Conflicts: 967000 | #Constraints: 25243
1196.34/1199.77 c #Conflicts: 968000 | #Constraints: 26243
1196.34/1199.77 c #Conflicts: 969000 | #Constraints: 27243
1196.34/1199.77 c #Conflicts: 970000 | #Constraints: 28243
1196.34/1199.77 c #Conflicts: 971000 | #Constraints: 29243
1321.87/1325.69 c #Conflicts: 972000 | #Constraints: 30243
1321.87/1325.69 c #Conflicts: 973000 | #Constraints: 31243
1321.87/1325.69 c #Conflicts: 974000 | #Constraints: 32243
1321.87/1325.69 c #Conflicts: 975000 | #Constraints: 33243
1321.87/1325.69 c #Conflicts: 976000 | #Constraints: 34243
1321.87/1325.69 c #Conflicts: 977000 | #Constraints: 35243
1321.87/1325.69 c #Conflicts: 978000 | #Constraints: 36243
1321.87/1325.69 c #Conflicts: 979000 | #Constraints: 37243
1321.87/1325.69 c #Conflicts: 980000 | #Constraints: 38243
1321.87/1325.69 c #Conflicts: 981000 | #Constraints: 39243
1321.87/1325.69 c INPROCESSING
1321.87/1325.69 c GARBAGE COLLECT
1321.87/1325.69 c #Conflicts: 982000 | #Constraints: 20640
1321.87/1325.69 c #Conflicts: 983000 | #Constraints: 21640
1321.87/1325.69 c #Conflicts: 984000 | #Constraints: 22640
1321.87/1325.69 c #Conflicts: 985000 | #Constraints: 23640
1321.87/1325.69 c #Conflicts: 986000 | #Constraints: 24640
1321.87/1325.69 c #Conflicts: 987000 | #Constraints: 25640
1321.87/1325.69 c #Conflicts: 988000 | #Constraints: 26640
1321.87/1325.69 c #Conflicts: 989000 | #Constraints: 27640
1321.87/1325.69 c #Conflicts: 990000 | #Constraints: 28640
1321.87/1325.69 c #Conflicts: 991000 | #Constraints: 29640
1321.87/1325.69 c #Conflicts: 992000 | #Constraints: 30640
1321.87/1325.69 c #Conflicts: 993000 | #Constraints: 31640
1321.87/1325.69 c #Conflicts: 994000 | #Constraints: 32640
1321.87/1325.69 c #Conflicts: 995000 | #Constraints: 33640
1321.87/1325.69 c #Conflicts: 996000 | #Constraints: 34640
1321.87/1325.69 c #Conflicts: 997000 | #Constraints: 35640
1321.87/1325.69 c #Conflicts: 998000 | #Constraints: 36640
1321.87/1325.69 c #Conflicts: 999000 | #Constraints: 37640
1321.87/1325.69 c #Conflicts: 1000000 | #Constraints: 38640
1321.87/1325.69 c #Conflicts: 1001000 | #Constraints: 39640
1321.87/1325.69 c INPROCESSING
1321.87/1325.69 c GARBAGE COLLECT
1321.87/1325.69 c #Conflicts: 1002000 | #Constraints: 20839
1321.87/1325.69 c #Conflicts: 1003000 | #Constraints: 21839
1321.87/1325.69 c #Conflicts: 1004000 | #Constraints: 22839
1321.87/1325.69 c #Conflicts: 1005000 | #Constraints: 23839
1321.87/1325.69 c #Conflicts: 1006000 | #Constraints: 24839
1321.87/1325.69 c #Conflicts: 1007000 | #Constraints: 25839
1321.87/1325.69 c #Conflicts: 1008000 | #Constraints: 26839
1321.87/1325.69 c #Conflicts: 1009000 | #Constraints: 27839
1321.87/1325.69 c #Conflicts: 1010000 | #Constraints: 28839
1321.87/1325.69 c #Conflicts: 1011000 | #Constraints: 29839
1321.87/1325.69 c #Conflicts: 1012000 | #Constraints: 30839
1321.87/1325.69 c #Conflicts: 1013000 | #Constraints: 31839
1321.87/1325.69 c #Conflicts: 1014000 | #Constraints: 32839
1321.87/1325.69 c #Conflicts: 1015000 | #Constraints: 33839
1321.87/1325.69 c #Conflicts: 1016000 | #Constraints: 34839
1321.87/1325.69 c #Conflicts: 1017000 | #Constraints: 35839
1321.87/1325.69 c #Conflicts: 1018000 | #Constraints: 36839
1321.87/1325.69 c #Conflicts: 1019000 | #Constraints: 37839
1321.87/1325.69 c #Conflicts: 1020000 | #Constraints: 38839
1321.87/1325.69 c #Conflicts: 1021000 | #Constraints: 39839
1321.87/1325.69 c INPROCESSING
1321.87/1325.69 c GARBAGE COLLECT
1321.87/1325.69 c #Conflicts: 1022000 | #Constraints: 20841
1321.87/1325.69 c #Conflicts: 1023000 | #Constraints: 21841
1321.87/1325.69 c #Conflicts: 1024000 | #Constraints: 22841
1321.87/1325.69 c #Conflicts: 1025000 | #Constraints: 23841
1321.87/1325.69 c #Conflicts: 1026000 | #Constraints: 24841
1321.87/1325.69 c #Conflicts: 1027000 | #Constraints: 25841
1321.87/1325.69 c #Conflicts: 1028000 | #Constraints: 26841
1321.87/1325.69 c #Conflicts: 1029000 | #Constraints: 27841
1321.87/1325.69 c #Conflicts: 1030000 | #Constraints: 28841
1321.87/1325.69 c #Conflicts: 1031000 | #Constraints: 29841
1321.87/1325.69 c #Conflicts: 1032000 | #Constraints: 30841
1321.87/1325.69 c #Conflicts: 1033000 | #Constraints: 31841
1321.87/1325.69 c #Conflicts: 1034000 | #Constraints: 32841
1321.87/1325.69 c #Conflicts: 1035000 | #Constraints: 33841
1321.87/1325.69 c #Conflicts: 1036000 | #Constraints: 34841
1321.87/1325.69 c #Conflicts: 1037000 | #Constraints: 35841
1321.87/1325.69 c #Conflicts: 1038000 | #Constraints: 36841
1321.87/1325.69 c #Conflicts: 1039000 | #Constraints: 37841
1321.87/1325.69 c #Conflicts: 1040000 | #Constraints: 38841
1321.87/1325.69 c #Conflicts: 1041000 | #Constraints: 39841
1321.87/1325.69 c INPROCESSING
1321.87/1325.69 c GARBAGE COLLECT
1321.87/1325.69 c #Conflicts: 1042000 | #Constraints: 20643
1321.87/1325.69 c #Conflicts: 1043000 | #Constraints: 21643
1321.87/1325.69 c #Conflicts: 1044000 | #Constraints: 22643
1321.87/1325.69 c #Conflicts: 1045000 | #Constraints: 23643
1321.87/1325.69 c #Conflicts: 1046000 | #Constraints: 24643
1321.87/1325.69 c #Conflicts: 1047000 | #Constraints: 25643
1321.87/1325.69 c #Conflicts: 1048000 | #Constraints: 26643
1465.44/1469.64 c #Conflicts: 1049000 | #Constraints: 27643
1465.44/1469.64 c #Conflicts: 1050000 | #Constraints: 28643
1465.44/1469.64 c #Conflicts: 1051000 | #Constraints: 29643
1465.44/1469.64 c #Conflicts: 1052000 | #Constraints: 30643
1465.44/1469.64 c #Conflicts: 1053000 | #Constraints: 31643
1465.44/1469.64 c #Conflicts: 1054000 | #Constraints: 32643
1465.44/1469.64 c #Conflicts: 1055000 | #Constraints: 33643
1465.44/1469.64 c #Conflicts: 1056000 | #Constraints: 34643
1465.44/1469.64 c #Conflicts: 1057000 | #Constraints: 35643
1465.44/1469.64 c #Conflicts: 1058000 | #Constraints: 36643
1465.44/1469.64 c #Conflicts: 1059000 | #Constraints: 37643
1465.44/1469.64 c #Conflicts: 1060000 | #Constraints: 38643
1465.44/1469.64 c #Conflicts: 1061000 | #Constraints: 39643
1465.44/1469.64 c #Conflicts: 1062000 | #Constraints: 40643
1465.44/1469.64 c INPROCESSING
1465.44/1469.64 c GARBAGE COLLECT
1465.44/1469.64 c #Conflicts: 1063000 | #Constraints: 21246
1465.44/1469.64 c #Conflicts: 1064000 | #Constraints: 22246
1465.44/1469.64 c #Conflicts: 1065000 | #Constraints: 23246
1465.44/1469.64 c #Conflicts: 1066000 | #Constraints: 24246
1465.44/1469.64 c #Conflicts: 1067000 | #Constraints: 25246
1465.44/1469.64 c #Conflicts: 1068000 | #Constraints: 26246
1465.44/1469.64 c #Conflicts: 1069000 | #Constraints: 27246
1465.44/1469.64 c #Conflicts: 1070000 | #Constraints: 28246
1465.44/1469.64 c #Conflicts: 1071000 | #Constraints: 29246
1465.44/1469.64 c #Conflicts: 1072000 | #Constraints: 30246
1465.44/1469.64 c #Conflicts: 1073000 | #Constraints: 31246
1465.44/1469.64 c #Conflicts: 1074000 | #Constraints: 32246
1465.44/1469.64 c #Conflicts: 1075000 | #Constraints: 33246
1465.44/1469.64 c #Conflicts: 1076000 | #Constraints: 34246
1465.44/1469.64 c #Conflicts: 1077000 | #Constraints: 35246
1465.44/1469.64 c #Conflicts: 1078000 | #Constraints: 36246
1465.44/1469.64 c #Conflicts: 1079000 | #Constraints: 37246
1465.44/1469.64 c #Conflicts: 1080000 | #Constraints: 38246
1465.44/1469.64 c #Conflicts: 1081000 | #Constraints: 39246
1465.44/1469.64 c #Conflicts: 1082000 | #Constraints: 40246
1465.44/1469.64 c #Conflicts: 1083000 | #Constraints: 41246
1465.44/1469.64 c INPROCESSING
1465.44/1469.64 c GARBAGE COLLECT
1465.44/1469.64 c #Conflicts: 1084000 | #Constraints: 21642
1465.44/1469.64 c #Conflicts: 1085000 | #Constraints: 22642
1465.44/1469.64 c #Conflicts: 1086000 | #Constraints: 23642
1465.44/1469.64 c #Conflicts: 1087000 | #Constraints: 24642
1465.44/1469.64 c #Conflicts: 1088000 | #Constraints: 25642
1465.44/1469.64 c #Conflicts: 1089000 | #Constraints: 26642
1465.44/1469.64 c #Conflicts: 1090000 | #Constraints: 27642
1465.44/1469.64 c #Conflicts: 1091000 | #Constraints: 28642
1465.44/1469.64 c #Conflicts: 1092000 | #Constraints: 29642
1465.44/1469.64 c #Conflicts: 1093000 | #Constraints: 30642
1465.44/1469.64 c #Conflicts: 1094000 | #Constraints: 31642
1465.44/1469.64 c #Conflicts: 1095000 | #Constraints: 32642
1465.44/1469.64 c #Conflicts: 1096000 | #Constraints: 33642
1465.44/1469.64 c #Conflicts: 1097000 | #Constraints: 34642
1465.44/1469.64 c #Conflicts: 1098000 | #Constraints: 35642
1465.44/1469.64 c #Conflicts: 1099000 | #Constraints: 36642
1465.44/1469.64 c #Conflicts: 1100000 | #Constraints: 37642
1465.44/1469.64 c #Conflicts: 1101000 | #Constraints: 38642
1465.44/1469.64 c #Conflicts: 1102000 | #Constraints: 39642
1465.44/1469.64 c #Conflicts: 1103000 | #Constraints: 40642
1465.44/1469.64 c #Conflicts: 1104000 | #Constraints: 41642
1465.44/1469.64 c INPROCESSING
1465.44/1469.64 c GARBAGE COLLECT
1465.44/1469.64 c #Conflicts: 1105000 | #Constraints: 21846
1465.44/1469.64 c #Conflicts: 1106000 | #Constraints: 22846
1465.44/1469.64 c #Conflicts: 1107000 | #Constraints: 23846
1465.44/1469.64 c #Conflicts: 1108000 | #Constraints: 24846
1465.44/1469.64 c #Conflicts: 1109000 | #Constraints: 25846
1465.44/1469.64 c #Conflicts: 1110000 | #Constraints: 26846
1465.44/1469.64 c #Conflicts: 1111000 | #Constraints: 27846
1465.44/1469.64 c #Conflicts: 1112000 | #Constraints: 28846
1465.44/1469.64 c #Conflicts: 1113000 | #Constraints: 29846
1465.44/1469.64 c #Conflicts: 1114000 | #Constraints: 30846
1465.44/1469.64 c #Conflicts: 1115000 | #Constraints: 31846
1465.44/1469.64 c #Conflicts: 1116000 | #Constraints: 32846
1465.44/1469.64 c #Conflicts: 1117000 | #Constraints: 33846
1465.44/1469.64 c #Conflicts: 1118000 | #Constraints: 34846
1465.44/1469.64 c #Conflicts: 1119000 | #Constraints: 35846
1465.44/1469.64 c #Conflicts: 1120000 | #Constraints: 36846
1465.44/1469.64 c #Conflicts: 1121000 | #Constraints: 37846
1465.44/1469.64 c #Conflicts: 1122000 | #Constraints: 38846
1465.44/1469.64 c #Conflicts: 1123000 | #Constraints: 39846
1465.44/1469.64 c #Conflicts: 1124000 | #Constraints: 40846
1465.44/1469.64 c #Conflicts: 1125000 | #Constraints: 41846
1583.20/1587.75 c INPROCESSING
1583.20/1587.75 c GARBAGE COLLECT
1583.20/1587.75 c #Conflicts: 1126000 | #Constraints: 21846
1583.20/1587.75 c #Conflicts: 1127000 | #Constraints: 22846
1583.20/1587.75 c #Conflicts: 1128000 | #Constraints: 23846
1583.20/1587.75 c #Conflicts: 1129000 | #Constraints: 24846
1583.20/1587.75 c #Conflicts: 1130000 | #Constraints: 25846
1583.20/1587.75 c #Conflicts: 1131000 | #Constraints: 26846
1583.20/1587.75 c #Conflicts: 1132000 | #Constraints: 27846
1583.20/1587.75 c #Conflicts: 1133000 | #Constraints: 28846
1583.20/1587.75 c #Conflicts: 1134000 | #Constraints: 29846
1583.20/1587.75 c #Conflicts: 1135000 | #Constraints: 30846
1583.20/1587.75 c #Conflicts: 1136000 | #Constraints: 31846
1583.20/1587.75 c #Conflicts: 1137000 | #Constraints: 32846
1583.20/1587.75 c #Conflicts: 1138000 | #Constraints: 33846
1583.20/1587.75 c #Conflicts: 1139000 | #Constraints: 34846
1583.20/1587.75 c #Conflicts: 1140000 | #Constraints: 35846
1583.20/1587.75 c #Conflicts: 1141000 | #Constraints: 36846
1583.20/1587.75 c #Conflicts: 1142000 | #Constraints: 37846
1583.20/1587.75 c #Conflicts: 1143000 | #Constraints: 38846
1583.20/1587.75 c #Conflicts: 1144000 | #Constraints: 39846
1583.20/1587.75 c #Conflicts: 1145000 | #Constraints: 40846
1583.20/1587.75 c #Conflicts: 1146000 | #Constraints: 41846
1583.20/1587.75 c INPROCESSING
1583.20/1587.75 c GARBAGE COLLECT
1583.20/1587.75 c #Conflicts: 1147000 | #Constraints: 21646
1583.20/1587.75 c #Conflicts: 1148000 | #Constraints: 22646
1583.20/1587.75 c #Conflicts: 1149000 | #Constraints: 23646
1583.20/1587.75 c #Conflicts: 1150000 | #Constraints: 24646
1583.20/1587.75 c #Conflicts: 1151000 | #Constraints: 25646
1583.20/1587.75 c #Conflicts: 1152000 | #Constraints: 26646
1583.20/1587.75 c #Conflicts: 1153000 | #Constraints: 27646
1583.20/1587.75 c #Conflicts: 1154000 | #Constraints: 28646
1583.20/1587.75 c #Conflicts: 1155000 | #Constraints: 29646
1583.20/1587.75 c #Conflicts: 1156000 | #Constraints: 30646
1583.20/1587.75 c #Conflicts: 1157000 | #Constraints: 31646
1583.20/1587.75 c #Conflicts: 1158000 | #Constraints: 32646
1583.20/1587.75 c #Conflicts: 1159000 | #Constraints: 33646
1583.20/1587.75 c #Conflicts: 1160000 | #Constraints: 34646
1583.20/1587.75 c #Conflicts: 1161000 | #Constraints: 35646
1583.20/1587.75 c #Conflicts: 1162000 | #Constraints: 36646
1583.20/1587.75 c #Conflicts: 1163000 | #Constraints: 37646
1583.20/1587.75 c #Conflicts: 1164000 | #Constraints: 38646
1583.20/1587.75 c #Conflicts: 1165000 | #Constraints: 39646
1583.20/1587.75 c #Conflicts: 1166000 | #Constraints: 40646
1583.20/1587.75 c #Conflicts: 1167000 | #Constraints: 41646
1583.20/1587.75 c #Conflicts: 1168000 | #Constraints: 42646
1583.20/1587.75 c INPROCESSING
1583.20/1587.75 c GARBAGE COLLECT
1583.20/1587.75 c #Conflicts: 1169000 | #Constraints: 22243
1583.20/1587.75 c #Conflicts: 1170000 | #Constraints: 23243
1583.20/1587.75 c #Conflicts: 1171000 | #Constraints: 24243
1583.20/1587.75 c #Conflicts: 1172000 | #Constraints: 25243
1583.20/1587.75 c #Conflicts: 1173000 | #Constraints: 26243
1583.20/1587.75 c #Conflicts: 1174000 | #Constraints: 27243
1583.20/1587.75 c #Conflicts: 1175000 | #Constraints: 28243
1583.20/1587.75 c #Conflicts: 1176000 | #Constraints: 29243
1583.20/1587.75 c #Conflicts: 1177000 | #Constraints: 30243
1583.20/1587.75 c #Conflicts: 1178000 | #Constraints: 31243
1583.20/1587.75 c #Conflicts: 1179000 | #Constraints: 32243
1583.20/1587.75 c #Conflicts: 1180000 | #Constraints: 33243
1583.20/1587.75 c #Conflicts: 1181000 | #Constraints: 34243
1583.20/1587.75 c #Conflicts: 1182000 | #Constraints: 35243
1583.20/1587.75 c #Conflicts: 1183000 | #Constraints: 36243
1583.20/1587.75 c #Conflicts: 1184000 | #Constraints: 37243
1583.20/1587.75 c #Conflicts: 1185000 | #Constraints: 38243
1583.20/1587.75 c #Conflicts: 1186000 | #Constraints: 39243
1583.20/1587.75 c #Conflicts: 1187000 | #Constraints: 40243
1583.20/1587.75 c #Conflicts: 1188000 | #Constraints: 41243
1583.20/1587.75 c #Conflicts: 1189000 | #Constraints: 42243
1583.20/1587.75 c #Conflicts: 1190000 | #Constraints: 43243
1583.20/1587.75 c INPROCESSING
1583.20/1587.75 c GARBAGE COLLECT
1583.20/1587.75 c #Conflicts: 1191000 | #Constraints: 22643
1583.20/1587.75 c #Conflicts: 1192000 | #Constraints: 23643
1583.20/1587.75 c #Conflicts: 1193000 | #Constraints: 24643
1583.20/1587.75 c #Conflicts: 1194000 | #Constraints: 25643
1583.20/1587.75 c #Conflicts: 1195000 | #Constraints: 26643
1583.20/1587.75 c #Conflicts: 1196000 | #Constraints: 27643
1583.20/1587.75 c #Conflicts: 1197000 | #Constraints: 28643
1583.20/1587.75 c #Conflicts: 1198000 | #Constraints: 29643
1583.20/1587.75 c #Conflicts: 1199000 | #Constraints: 30643
1583.20/1587.75 c #Conflicts: 1200000 | #Constraints: 31643
1583.20/1587.75 c #Conflicts: 1201000 | #Constraints: 32643
1715.69/1720.61 c #Conflicts: 1202000 | #Constraints: 33643
1715.69/1720.61 c #Conflicts: 1203000 | #Constraints: 34643
1715.69/1720.61 c #Conflicts: 1204000 | #Constraints: 35643
1715.69/1720.61 c #Conflicts: 1205000 | #Constraints: 36643
1715.69/1720.61 c #Conflicts: 1206000 | #Constraints: 37643
1715.69/1720.61 c #Conflicts: 1207000 | #Constraints: 38643
1715.69/1720.61 c #Conflicts: 1208000 | #Constraints: 39643
1715.69/1720.61 c #Conflicts: 1209000 | #Constraints: 40643
1715.69/1720.61 c #Conflicts: 1210000 | #Constraints: 41643
1715.69/1720.61 c #Conflicts: 1211000 | #Constraints: 42643
1715.69/1720.61 c #Conflicts: 1212000 | #Constraints: 43643
1715.69/1720.61 c INPROCESSING
1715.69/1720.61 c GARBAGE COLLECT
1715.69/1720.61 c #Conflicts: 1213000 | #Constraints: 22843
1715.69/1720.61 c #Conflicts: 1214000 | #Constraints: 23843
1715.69/1720.61 c #Conflicts: 1215000 | #Constraints: 24843
1715.69/1720.61 c #Conflicts: 1216000 | #Constraints: 25843
1715.69/1720.61 c #Conflicts: 1217000 | #Constraints: 26843
1715.69/1720.61 c #Conflicts: 1218000 | #Constraints: 27843
1715.69/1720.61 c #Conflicts: 1219000 | #Constraints: 28843
1715.69/1720.61 c #Conflicts: 1220000 | #Constraints: 29843
1715.69/1720.61 c #Conflicts: 1221000 | #Constraints: 30843
1715.69/1720.61 c #Conflicts: 1222000 | #Constraints: 31843
1715.69/1720.61 c #Conflicts: 1223000 | #Constraints: 32843
1715.69/1720.61 c #Conflicts: 1224000 | #Constraints: 33843
1715.69/1720.61 c #Conflicts: 1225000 | #Constraints: 34843
1715.69/1720.61 c #Conflicts: 1226000 | #Constraints: 35843
1715.69/1720.61 c #Conflicts: 1227000 | #Constraints: 36843
1715.69/1720.61 c #Conflicts: 1228000 | #Constraints: 37843
1715.69/1720.61 c #Conflicts: 1229000 | #Constraints: 38843
1715.69/1720.61 c #Conflicts: 1230000 | #Constraints: 39843
1715.69/1720.61 c #Conflicts: 1231000 | #Constraints: 40843
1715.69/1720.61 c #Conflicts: 1232000 | #Constraints: 41843
1715.69/1720.61 c #Conflicts: 1233000 | #Constraints: 42843
1715.69/1720.61 c #Conflicts: 1234000 | #Constraints: 43843
1715.69/1720.61 c INPROCESSING
1715.69/1720.61 c GARBAGE COLLECT
1715.69/1720.61 c #Conflicts: 1235000 | #Constraints: 22839
1715.69/1720.61 c #Conflicts: 1236000 | #Constraints: 23839
1715.69/1720.61 c #Conflicts: 1237000 | #Constraints: 24839
1715.69/1720.61 c #Conflicts: 1238000 | #Constraints: 25839
1715.69/1720.61 c #Conflicts: 1239000 | #Constraints: 26839
1715.69/1720.61 c #Conflicts: 1240000 | #Constraints: 27839
1715.69/1720.61 c #Conflicts: 1241000 | #Constraints: 28839
1715.69/1720.61 c #Conflicts: 1242000 | #Constraints: 29839
1715.69/1720.61 c #Conflicts: 1243000 | #Constraints: 30839
1715.69/1720.61 c #Conflicts: 1244000 | #Constraints: 31839
1715.69/1720.61 c #Conflicts: 1245000 | #Constraints: 32839
1715.69/1720.61 c #Conflicts: 1246000 | #Constraints: 33839
1715.69/1720.61 c #Conflicts: 1247000 | #Constraints: 34839
1715.69/1720.61 c #Conflicts: 1248000 | #Constraints: 35839
1715.69/1720.61 c #Conflicts: 1249000 | #Constraints: 36839
1715.69/1720.61 c #Conflicts: 1250000 | #Constraints: 37839
1715.69/1720.61 c #Conflicts: 1251000 | #Constraints: 38839
1715.69/1720.61 c #Conflicts: 1252000 | #Constraints: 39839
1715.69/1720.61 c #Conflicts: 1253000 | #Constraints: 40839
1715.69/1720.61 c #Conflicts: 1254000 | #Constraints: 41839
1715.69/1720.61 c #Conflicts: 1255000 | #Constraints: 42839
1715.69/1720.61 c #Conflicts: 1256000 | #Constraints: 43839
1715.69/1720.61 c INPROCESSING
1715.69/1720.61 c GARBAGE COLLECT
1715.69/1720.61 c #Conflicts: 1257000 | #Constraints: 22641
1715.69/1720.61 c #Conflicts: 1258000 | #Constraints: 23641
1715.69/1720.61 c #Conflicts: 1259000 | #Constraints: 24641
1715.69/1720.61 c #Conflicts: 1260000 | #Constraints: 25641
1715.69/1720.61 c #Conflicts: 1261000 | #Constraints: 26641
1715.69/1720.61 c #Conflicts: 1262000 | #Constraints: 27641
1715.69/1720.61 c #Conflicts: 1263000 | #Constraints: 28641
1715.69/1720.61 c #Conflicts: 1264000 | #Constraints: 29641
1715.69/1720.61 c #Conflicts: 1265000 | #Constraints: 30641
1715.69/1720.61 c #Conflicts: 1266000 | #Constraints: 31641
1715.69/1720.61 c #Conflicts: 1267000 | #Constraints: 32641
1715.69/1720.61 c #Conflicts: 1268000 | #Constraints: 33641
1715.69/1720.61 c #Conflicts: 1269000 | #Constraints: 34641
1715.69/1720.61 c #Conflicts: 1270000 | #Constraints: 35641
1715.69/1720.61 c #Conflicts: 1271000 | #Constraints: 36641
1715.69/1720.61 c #Conflicts: 1272000 | #Constraints: 37641
1715.69/1720.61 c #Conflicts: 1273000 | #Constraints: 38641
1715.69/1720.61 c #Conflicts: 1274000 | #Constraints: 39641
1715.69/1720.61 c #Conflicts: 1275000 | #Constraints: 40641
1715.69/1720.61 c #Conflicts: 1276000 | #Constraints: 41641
1715.69/1720.61 c #Conflicts: 1277000 | #Constraints: 42641
1715.69/1720.61 c #Conflicts: 1278000 | #Constraints: 43641
1848.91/1854.27 c #Conflicts: 1279000 | #Constraints: 44641
1848.91/1854.27 c INPROCESSING
1848.91/1854.27 c GARBAGE COLLECT
1848.91/1854.27 c #Conflicts: 1280000 | #Constraints: 23243
1848.91/1854.27 c #Conflicts: 1281000 | #Constraints: 24243
1848.91/1854.27 c #Conflicts: 1282000 | #Constraints: 25243
1848.91/1854.27 c #Conflicts: 1283000 | #Constraints: 26243
1848.91/1854.27 c #Conflicts: 1284000 | #Constraints: 27243
1848.91/1854.27 c #Conflicts: 1285000 | #Constraints: 28243
1848.91/1854.27 c #Conflicts: 1286000 | #Constraints: 29243
1848.91/1854.27 c #Conflicts: 1287000 | #Constraints: 30243
1848.91/1854.27 c #Conflicts: 1288000 | #Constraints: 31243
1848.91/1854.27 c #Conflicts: 1289000 | #Constraints: 32243
1848.91/1854.27 c #Conflicts: 1290000 | #Constraints: 33243
1848.91/1854.27 c #Conflicts: 1291000 | #Constraints: 34243
1848.91/1854.27 c #Conflicts: 1292000 | #Constraints: 35243
1848.91/1854.27 c #Conflicts: 1293000 | #Constraints: 36243
1848.91/1854.27 c #Conflicts: 1294000 | #Constraints: 37243
1848.91/1854.27 c #Conflicts: 1295000 | #Constraints: 38243
1848.91/1854.27 c #Conflicts: 1296000 | #Constraints: 39243
1848.91/1854.27 c #Conflicts: 1297000 | #Constraints: 40243
1848.91/1854.27 c #Conflicts: 1298000 | #Constraints: 41243
1848.91/1854.27 c #Conflicts: 1299000 | #Constraints: 42243
1848.91/1854.27 c #Conflicts: 1300000 | #Constraints: 43243
1848.91/1854.27 c #Conflicts: 1301000 | #Constraints: 44243
1848.91/1854.27 c #Conflicts: 1302000 | #Constraints: 45243
1848.91/1854.27 c INPROCESSING
1848.91/1854.27 c GARBAGE COLLECT
1848.91/1854.27 c #Conflicts: 1303000 | #Constraints: 23638
1848.91/1854.27 c #Conflicts: 1304000 | #Constraints: 24638
1848.91/1854.27 c #Conflicts: 1305000 | #Constraints: 25638
1848.91/1854.27 c #Conflicts: 1306000 | #Constraints: 26638
1848.91/1854.27 c #Conflicts: 1307000 | #Constraints: 27638
1848.91/1854.27 c #Conflicts: 1308000 | #Constraints: 28638
1848.91/1854.27 c #Conflicts: 1309000 | #Constraints: 29638
1848.91/1854.27 c #Conflicts: 1310000 | #Constraints: 30638
1848.91/1854.27 c #Conflicts: 1311000 | #Constraints: 31638
1848.91/1854.27 c #Conflicts: 1312000 | #Constraints: 32638
1848.91/1854.27 c #Conflicts: 1313000 | #Constraints: 33638
1848.91/1854.27 c #Conflicts: 1314000 | #Constraints: 34638
1848.91/1854.27 c #Conflicts: 1315000 | #Constraints: 35638
1848.91/1854.27 c #Conflicts: 1316000 | #Constraints: 36638
1848.91/1854.27 c #Conflicts: 1317000 | #Constraints: 37638
1848.91/1854.27 c #Conflicts: 1318000 | #Constraints: 38638
1848.91/1854.27 c #Conflicts: 1319000 | #Constraints: 39638
1848.91/1854.27 c #Conflicts: 1320000 | #Constraints: 40638
1848.91/1854.27 c #Conflicts: 1321000 | #Constraints: 41638
1848.91/1854.27 c #Conflicts: 1322000 | #Constraints: 42638
1848.91/1854.27 c #Conflicts: 1323000 | #Constraints: 43638
1848.91/1854.27 c #Conflicts: 1324000 | #Constraints: 44638
1848.91/1854.27 c #Conflicts: 1325000 | #Constraints: 45638
1848.91/1854.27 c INPROCESSING
1848.91/1854.27 c GARBAGE COLLECT
1848.91/1854.27 c #Conflicts: 1326000 | #Constraints: 23841
1848.91/1854.27 c #Conflicts: 1327000 | #Constraints: 24841
1848.91/1854.27 c #Conflicts: 1328000 | #Constraints: 25841
1848.91/1854.27 c #Conflicts: 1329000 | #Constraints: 26841
1848.91/1854.27 c #Conflicts: 1330000 | #Constraints: 27841
1848.91/1854.27 c #Conflicts: 1331000 | #Constraints: 28841
1848.91/1854.27 c #Conflicts: 1332000 | #Constraints: 29841
1848.91/1854.27 c #Conflicts: 1333000 | #Constraints: 30841
1848.91/1854.27 c #Conflicts: 1334000 | #Constraints: 31841
1848.91/1854.27 c #Conflicts: 1335000 | #Constraints: 32841
1848.91/1854.27 c #Conflicts: 1336000 | #Constraints: 33841
1848.91/1854.27 c #Conflicts: 1337000 | #Constraints: 34841
1848.91/1854.27 c #Conflicts: 1338000 | #Constraints: 35841
1848.91/1854.27 c #Conflicts: 1339000 | #Constraints: 36841
1848.91/1854.27 c #Conflicts: 1340000 | #Constraints: 37841
1848.91/1854.27 c #Conflicts: 1341000 | #Constraints: 38841
1848.91/1854.27 c #Conflicts: 1342000 | #Constraints: 39841
1848.91/1854.27 c #Conflicts: 1343000 | #Constraints: 40841
1848.91/1854.27 c #Conflicts: 1344000 | #Constraints: 41841
1848.91/1854.27 c #Conflicts: 1345000 | #Constraints: 42841
1848.91/1854.27 c #Conflicts: 1346000 | #Constraints: 43841
1848.91/1854.27 c #Conflicts: 1347000 | #Constraints: 44841
1848.91/1854.27 c #Conflicts: 1348000 | #Constraints: 45841
1848.91/1854.27 c INPROCESSING
1848.91/1854.27 c GARBAGE COLLECT
1848.91/1854.27 c #Conflicts: 1349000 | #Constraints: 23846
1848.91/1854.27 c #Conflicts: 1350000 | #Constraints: 24846
1848.91/1854.27 c #Conflicts: 1351000 | #Constraints: 25846
1848.91/1854.27 c #Conflicts: 1352000 | #Constraints: 26846
1848.91/1854.27 c #Conflicts: 1353000 | #Constraints: 27846
1848.91/1854.27 c #Conflicts: 1354000 | #Constraints: 28846
1987.59/1993.35 c #Conflicts: 1355000 | #Constraints: 29846
1987.59/1993.35 c #Conflicts: 1356000 | #Constraints: 30846
1987.59/1993.35 c #Conflicts: 1357000 | #Constraints: 31846
1987.59/1993.35 c #Conflicts: 1358000 | #Constraints: 32846
1987.59/1993.35 c #Conflicts: 1359000 | #Constraints: 33846
1987.59/1993.35 c #Conflicts: 1360000 | #Constraints: 34846
1987.59/1993.35 c #Conflicts: 1361000 | #Constraints: 35846
1987.59/1993.35 c #Conflicts: 1362000 | #Constraints: 36846
1987.59/1993.35 c #Conflicts: 1363000 | #Constraints: 37846
1987.59/1993.35 c #Conflicts: 1364000 | #Constraints: 38846
1987.59/1993.35 c #Conflicts: 1365000 | #Constraints: 39846
1987.59/1993.35 c #Conflicts: 1366000 | #Constraints: 40846
1987.59/1993.35 c #Conflicts: 1367000 | #Constraints: 41846
1987.59/1993.35 c #Conflicts: 1368000 | #Constraints: 42846
1987.59/1993.35 c #Conflicts: 1369000 | #Constraints: 43846
1987.59/1993.35 c #Conflicts: 1370000 | #Constraints: 44846
1987.59/1993.35 c #Conflicts: 1371000 | #Constraints: 45846
1987.59/1993.35 c INPROCESSING
1987.59/1993.35 c GARBAGE COLLECT
1987.59/1993.35 c #Conflicts: 1372000 | #Constraints: 23641
1987.59/1993.35 c #Conflicts: 1373000 | #Constraints: 24641
1987.59/1993.35 c #Conflicts: 1374000 | #Constraints: 25641
1987.59/1993.35 c #Conflicts: 1375000 | #Constraints: 26641
1987.59/1993.35 c #Conflicts: 1376000 | #Constraints: 27641
1987.59/1993.35 c #Conflicts: 1377000 | #Constraints: 28641
1987.59/1993.35 c #Conflicts: 1378000 | #Constraints: 29641
1987.59/1993.35 c #Conflicts: 1379000 | #Constraints: 30641
1987.59/1993.35 c #Conflicts: 1380000 | #Constraints: 31641
1987.59/1993.35 c #Conflicts: 1381000 | #Constraints: 32641
1987.59/1993.35 c #Conflicts: 1382000 | #Constraints: 33641
1987.59/1993.35 c #Conflicts: 1383000 | #Constraints: 34641
1987.59/1993.35 c #Conflicts: 1384000 | #Constraints: 35641
1987.59/1993.35 c #Conflicts: 1385000 | #Constraints: 36641
1987.59/1993.35 c #Conflicts: 1386000 | #Constraints: 37641
1987.59/1993.35 c #Conflicts: 1387000 | #Constraints: 38641
1987.59/1993.35 c #Conflicts: 1388000 | #Constraints: 39641
1987.59/1993.35 c #Conflicts: 1389000 | #Constraints: 40641
1987.59/1993.35 c #Conflicts: 1390000 | #Constraints: 41641
1987.59/1993.35 c #Conflicts: 1391000 | #Constraints: 42641
1987.59/1993.35 c #Conflicts: 1392000 | #Constraints: 43641
1987.59/1993.35 c #Conflicts: 1393000 | #Constraints: 44641
1987.59/1993.35 c #Conflicts: 1394000 | #Constraints: 45641
1987.59/1993.35 c #Conflicts: 1395000 | #Constraints: 46641
1987.59/1993.35 c INPROCESSING
1987.59/1993.35 c GARBAGE COLLECT
1987.59/1993.35 c #Conflicts: 1396000 | #Constraints: 24240
1987.59/1993.35 c #Conflicts: 1397000 | #Constraints: 25240
1987.59/1993.35 c #Conflicts: 1398000 | #Constraints: 26240
1987.59/1993.35 c #Conflicts: 1399000 | #Constraints: 27240
1987.59/1993.35 c #Conflicts: 1400000 | #Constraints: 28240
1987.59/1993.35 c #Conflicts: 1401000 | #Constraints: 29240
1987.59/1993.35 c #Conflicts: 1402000 | #Constraints: 30240
1987.59/1993.35 c #Conflicts: 1403000 | #Constraints: 31240
1987.59/1993.35 c #Conflicts: 1404000 | #Constraints: 32240
1987.59/1993.35 c #Conflicts: 1405000 | #Constraints: 33240
1987.59/1993.35 c #Conflicts: 1406000 | #Constraints: 34240
1987.59/1993.35 c #Conflicts: 1407000 | #Constraints: 35240
1987.59/1993.35 c #Conflicts: 1408000 | #Constraints: 36240
1987.59/1993.35 c #Conflicts: 1409000 | #Constraints: 37240
1987.59/1993.35 c #Conflicts: 1410000 | #Constraints: 38240
1987.59/1993.35 c #Conflicts: 1411000 | #Constraints: 39240
1987.59/1993.35 c #Conflicts: 1412000 | #Constraints: 40240
1987.59/1993.35 c #Conflicts: 1413000 | #Constraints: 41240
1987.59/1993.35 c #Conflicts: 1414000 | #Constraints: 42240
1987.59/1993.35 c #Conflicts: 1415000 | #Constraints: 43240
1987.59/1993.35 c #Conflicts: 1416000 | #Constraints: 44240
1987.59/1993.35 c #Conflicts: 1417000 | #Constraints: 45240
1987.59/1993.35 c #Conflicts: 1418000 | #Constraints: 46240
1987.59/1993.35 c #Conflicts: 1419000 | #Constraints: 47240
1987.59/1993.35 c INPROCESSING
1987.59/1993.35 c GARBAGE COLLECT
1987.59/1993.35 c #Conflicts: 1420000 | #Constraints: 24641
1987.59/1993.35 c #Conflicts: 1421000 | #Constraints: 25641
1987.59/1993.35 c #Conflicts: 1422000 | #Constraints: 26641
1987.59/1993.35 c #Conflicts: 1423000 | #Constraints: 27641
1987.59/1993.35 c #Conflicts: 1424000 | #Constraints: 28641
1987.59/1993.35 c #Conflicts: 1425000 | #Constraints: 29641
1987.59/1993.35 c #Conflicts: 1426000 | #Constraints: 30641
1987.59/1993.35 c #Conflicts: 1427000 | #Constraints: 31641
1987.59/1993.35 c #Conflicts: 1428000 | #Constraints: 32641
1987.59/1993.35 c #Conflicts: 1429000 | #Constraints: 33641
1987.59/1993.35 c #Conflicts: 1430000 | #Constraints: 34641
1987.59/1993.35 c #Conflicts: 1431000 | #Constraints: 35641
2134.56/2140.74 c #Conflicts: 1432000 | #Constraints: 36641
2134.56/2140.74 c #Conflicts: 1433000 | #Constraints: 37641
2134.56/2140.74 c #Conflicts: 1434000 | #Constraints: 38641
2134.56/2140.74 c #Conflicts: 1435000 | #Constraints: 39641
2134.56/2140.74 c #Conflicts: 1436000 | #Constraints: 40641
2134.56/2140.74 c #Conflicts: 1437000 | #Constraints: 41641
2134.56/2140.74 c #Conflicts: 1438000 | #Constraints: 42641
2134.56/2140.74 c #Conflicts: 1439000 | #Constraints: 43641
2134.56/2140.74 c #Conflicts: 1440000 | #Constraints: 44641
2134.56/2140.74 c #Conflicts: 1441000 | #Constraints: 45641
2134.56/2140.74 c #Conflicts: 1442000 | #Constraints: 46641
2134.56/2140.74 c #Conflicts: 1443000 | #Constraints: 47641
2134.56/2140.74 c INPROCESSING
2134.56/2140.74 c GARBAGE COLLECT
2134.56/2140.74 c #Conflicts: 1444000 | #Constraints: 24841
2134.56/2140.74 c #Conflicts: 1445000 | #Constraints: 25841
2134.56/2140.74 c #Conflicts: 1446000 | #Constraints: 26841
2134.56/2140.74 c #Conflicts: 1447000 | #Constraints: 27841
2134.56/2140.74 c #Conflicts: 1448000 | #Constraints: 28841
2134.56/2140.74 c #Conflicts: 1449000 | #Constraints: 29841
2134.56/2140.74 c #Conflicts: 1450000 | #Constraints: 30841
2134.56/2140.74 c #Conflicts: 1451000 | #Constraints: 31841
2134.56/2140.74 c #Conflicts: 1452000 | #Constraints: 32841
2134.56/2140.74 c #Conflicts: 1453000 | #Constraints: 33841
2134.56/2140.74 c #Conflicts: 1454000 | #Constraints: 34841
2134.56/2140.74 c #Conflicts: 1455000 | #Constraints: 35841
2134.56/2140.74 c #Conflicts: 1456000 | #Constraints: 36841
2134.56/2140.74 c #Conflicts: 1457000 | #Constraints: 37841
2134.56/2140.74 c #Conflicts: 1458000 | #Constraints: 38841
2134.56/2140.74 c #Conflicts: 1459000 | #Constraints: 39841
2134.56/2140.74 c #Conflicts: 1460000 | #Constraints: 40841
2134.56/2140.74 c #Conflicts: 1461000 | #Constraints: 41841
2134.56/2140.74 c #Conflicts: 1462000 | #Constraints: 42841
2134.56/2140.74 c #Conflicts: 1463000 | #Constraints: 43841
2134.56/2140.74 c #Conflicts: 1464000 | #Constraints: 44841
2134.56/2140.74 c #Conflicts: 1465000 | #Constraints: 45841
2134.56/2140.74 c #Conflicts: 1466000 | #Constraints: 46841
2134.56/2140.74 c #Conflicts: 1467000 | #Constraints: 47841
2134.56/2140.74 c INPROCESSING
2134.56/2140.74 c GARBAGE COLLECT
2134.56/2140.74 c #Conflicts: 1468000 | #Constraints: 24843
2134.56/2140.74 c #Conflicts: 1469000 | #Constraints: 25843
2134.56/2140.74 c #Conflicts: 1470000 | #Constraints: 26843
2134.56/2140.74 c #Conflicts: 1471000 | #Constraints: 27843
2134.56/2140.74 c #Conflicts: 1472000 | #Constraints: 28843
2134.56/2140.74 c #Conflicts: 1473000 | #Constraints: 29843
2134.56/2140.74 c #Conflicts: 1474000 | #Constraints: 30843
2134.56/2140.74 c #Conflicts: 1475000 | #Constraints: 31843
2134.56/2140.74 c #Conflicts: 1476000 | #Constraints: 32843
2134.56/2140.74 c #Conflicts: 1477000 | #Constraints: 33843
2134.56/2140.74 c #Conflicts: 1478000 | #Constraints: 34843
2134.56/2140.74 c #Conflicts: 1479000 | #Constraints: 35843
2134.56/2140.74 c #Conflicts: 1480000 | #Constraints: 36843
2134.56/2140.74 c #Conflicts: 1481000 | #Constraints: 37843
2134.56/2140.74 c #Conflicts: 1482000 | #Constraints: 38843
2134.56/2140.74 c #Conflicts: 1483000 | #Constraints: 39843
2134.56/2140.74 c #Conflicts: 1484000 | #Constraints: 40843
2134.56/2140.74 c #Conflicts: 1485000 | #Constraints: 41843
2134.56/2140.74 c #Conflicts: 1486000 | #Constraints: 42843
2134.56/2140.74 c #Conflicts: 1487000 | #Constraints: 43843
2134.56/2140.74 c #Conflicts: 1488000 | #Constraints: 44843
2134.56/2140.74 c #Conflicts: 1489000 | #Constraints: 45843
2134.56/2140.74 c #Conflicts: 1490000 | #Constraints: 46843
2134.56/2140.74 c #Conflicts: 1491000 | #Constraints: 47843
2134.56/2140.74 c INPROCESSING
2134.56/2140.74 c GARBAGE COLLECT
2134.56/2140.74 c #Conflicts: 1492000 | #Constraints: 24640
2134.56/2140.74 c #Conflicts: 1493000 | #Constraints: 25640
2134.56/2140.74 c #Conflicts: 1494000 | #Constraints: 26640
2134.56/2140.74 c #Conflicts: 1495000 | #Constraints: 27640
2134.56/2140.74 c #Conflicts: 1496000 | #Constraints: 28640
2134.56/2140.74 c #Conflicts: 1497000 | #Constraints: 29640
2134.56/2140.74 c #Conflicts: 1498000 | #Constraints: 30640
2134.56/2140.74 c #Conflicts: 1499000 | #Constraints: 31640
2134.56/2140.74 c #Conflicts: 1500000 | #Constraints: 32640
2134.56/2140.74 c #Conflicts: 1501000 | #Constraints: 33640
2134.56/2140.74 c #Conflicts: 1502000 | #Constraints: 34640
2134.56/2140.74 c #Conflicts: 1503000 | #Constraints: 35640
2134.56/2140.74 c #Conflicts: 1504000 | #Constraints: 36640
2134.56/2140.74 c #Conflicts: 1505000 | #Constraints: 37640
2134.56/2140.74 c #Conflicts: 1506000 | #Constraints: 38640
2134.56/2140.74 c #Conflicts: 1507000 | #Constraints: 39640
2134.56/2140.74 c #Conflicts: 1508000 | #Constraints: 40640
2292.10/2298.73 c #Conflicts: 1509000 | #Constraints: 41640
2292.10/2298.73 c #Conflicts: 1510000 | #Constraints: 42640
2292.10/2298.73 c #Conflicts: 1511000 | #Constraints: 43640
2292.10/2298.73 c #Conflicts: 1512000 | #Constraints: 44640
2292.10/2298.73 c #Conflicts: 1513000 | #Constraints: 45640
2292.10/2298.73 c #Conflicts: 1514000 | #Constraints: 46640
2292.10/2298.73 c #Conflicts: 1515000 | #Constraints: 47640
2292.10/2298.73 c #Conflicts: 1516000 | #Constraints: 48640
2292.10/2298.73 c INPROCESSING
2292.10/2298.73 c GARBAGE COLLECT
2292.10/2298.73 c #Conflicts: 1517000 | #Constraints: 25242
2292.10/2298.73 c #Conflicts: 1518000 | #Constraints: 26242
2292.10/2298.73 c #Conflicts: 1519000 | #Constraints: 27242
2292.10/2298.73 c #Conflicts: 1520000 | #Constraints: 28242
2292.10/2298.73 c #Conflicts: 1521000 | #Constraints: 29242
2292.10/2298.73 c #Conflicts: 1522000 | #Constraints: 30242
2292.10/2298.73 c #Conflicts: 1523000 | #Constraints: 31242
2292.10/2298.73 c #Conflicts: 1524000 | #Constraints: 32242
2292.10/2298.73 c #Conflicts: 1525000 | #Constraints: 33242
2292.10/2298.73 c #Conflicts: 1526000 | #Constraints: 34242
2292.10/2298.73 c #Conflicts: 1527000 | #Constraints: 35242
2292.10/2298.73 c #Conflicts: 1528000 | #Constraints: 36242
2292.10/2298.73 c #Conflicts: 1529000 | #Constraints: 37242
2292.10/2298.73 c #Conflicts: 1530000 | #Constraints: 38242
2292.10/2298.73 c #Conflicts: 1531000 | #Constraints: 39242
2292.10/2298.73 c #Conflicts: 1532000 | #Constraints: 40242
2292.10/2298.73 c #Conflicts: 1533000 | #Constraints: 41242
2292.10/2298.73 c #Conflicts: 1534000 | #Constraints: 42242
2292.10/2298.73 c #Conflicts: 1535000 | #Constraints: 43242
2292.10/2298.73 c #Conflicts: 1536000 | #Constraints: 44242
2292.10/2298.73 c #Conflicts: 1537000 | #Constraints: 45242
2292.10/2298.73 c #Conflicts: 1538000 | #Constraints: 46242
2292.10/2298.73 c #Conflicts: 1539000 | #Constraints: 47242
2292.10/2298.73 c #Conflicts: 1540000 | #Constraints: 48242
2292.10/2298.73 c #Conflicts: 1541000 | #Constraints: 49242
2292.10/2298.73 c INPROCESSING
2292.10/2298.73 c GARBAGE COLLECT
2292.10/2298.73 c #Conflicts: 1542000 | #Constraints: 25642
2292.10/2298.73 c #Conflicts: 1543000 | #Constraints: 26642
2292.10/2298.73 c #Conflicts: 1544000 | #Constraints: 27642
2292.10/2298.73 c #Conflicts: 1545000 | #Constraints: 28642
2292.10/2298.73 c #Conflicts: 1546000 | #Constraints: 29642
2292.10/2298.73 c #Conflicts: 1547000 | #Constraints: 30642
2292.10/2298.73 c #Conflicts: 1548000 | #Constraints: 31642
2292.10/2298.73 c #Conflicts: 1549000 | #Constraints: 32642
2292.10/2298.73 c #Conflicts: 1550000 | #Constraints: 33642
2292.10/2298.73 c #Conflicts: 1551000 | #Constraints: 34642
2292.10/2298.73 c #Conflicts: 1552000 | #Constraints: 35642
2292.10/2298.73 c #Conflicts: 1553000 | #Constraints: 36642
2292.10/2298.73 c #Conflicts: 1554000 | #Constraints: 37642
2292.10/2298.73 c #Conflicts: 1555000 | #Constraints: 38642
2292.10/2298.73 c #Conflicts: 1556000 | #Constraints: 39642
2292.10/2298.73 c #Conflicts: 1557000 | #Constraints: 40642
2292.10/2298.73 c #Conflicts: 1558000 | #Constraints: 41642
2292.10/2298.73 c #Conflicts: 1559000 | #Constraints: 42642
2292.10/2298.73 c #Conflicts: 1560000 | #Constraints: 43642
2292.10/2298.73 c #Conflicts: 1561000 | #Constraints: 44642
2292.10/2298.73 c #Conflicts: 1562000 | #Constraints: 45642
2292.10/2298.73 c #Conflicts: 1563000 | #Constraints: 46642
2292.10/2298.73 c #Conflicts: 1564000 | #Constraints: 47642
2292.10/2298.73 c #Conflicts: 1565000 | #Constraints: 48642
2292.10/2298.73 c #Conflicts: 1566000 | #Constraints: 49642
2292.10/2298.73 c INPROCESSING
2292.10/2298.73 c GARBAGE COLLECT
2292.10/2298.73 c #Conflicts: 1567000 | #Constraints: 25845
2292.10/2298.73 c #Conflicts: 1568000 | #Constraints: 26845
2292.10/2298.73 c #Conflicts: 1569000 | #Constraints: 27845
2292.10/2298.73 c #Conflicts: 1570000 | #Constraints: 28845
2292.10/2298.73 c #Conflicts: 1571000 | #Constraints: 29845
2292.10/2298.73 c #Conflicts: 1572000 | #Constraints: 30845
2292.10/2298.73 c #Conflicts: 1573000 | #Constraints: 31845
2292.10/2298.73 c #Conflicts: 1574000 | #Constraints: 32845
2292.10/2298.73 c #Conflicts: 1575000 | #Constraints: 33845
2292.10/2298.73 c #Conflicts: 1576000 | #Constraints: 34845
2292.10/2298.73 c #Conflicts: 1577000 | #Constraints: 35845
2292.10/2298.73 c #Conflicts: 1578000 | #Constraints: 36845
2292.10/2298.73 c #Conflicts: 1579000 | #Constraints: 37845
2292.10/2298.73 c #Conflicts: 1580000 | #Constraints: 38845
2292.10/2298.73 c #Conflicts: 1581000 | #Constraints: 39845
2292.10/2298.73 c #Conflicts: 1582000 | #Constraints: 40845
2292.10/2298.73 c #Conflicts: 1583000 | #Constraints: 41845
2292.10/2298.73 c #Conflicts: 1584000 | #Constraints: 42845
2292.10/2298.73 c #Conflicts: 1585000 | #Constraints: 43845
2459.20/2466.38 c #Conflicts: 1586000 | #Constraints: 44845
2459.20/2466.38 c #Conflicts: 1587000 | #Constraints: 45845
2459.20/2466.38 c #Conflicts: 1588000 | #Constraints: 46845
2459.20/2466.38 c #Conflicts: 1589000 | #Constraints: 47845
2459.20/2466.38 c #Conflicts: 1590000 | #Constraints: 48845
2459.20/2466.38 c #Conflicts: 1591000 | #Constraints: 49845
2459.20/2466.38 c INPROCESSING
2459.20/2466.38 c GARBAGE COLLECT
2459.20/2466.38 c #Conflicts: 1592000 | #Constraints: 25845
2459.20/2466.38 c #Conflicts: 1593000 | #Constraints: 26845
2459.20/2466.38 c #Conflicts: 1594000 | #Constraints: 27845
2459.20/2466.38 c #Conflicts: 1595000 | #Constraints: 28845
2459.20/2466.38 c #Conflicts: 1596000 | #Constraints: 29845
2459.20/2466.38 c #Conflicts: 1597000 | #Constraints: 30845
2459.20/2466.38 c #Conflicts: 1598000 | #Constraints: 31845
2459.20/2466.38 c #Conflicts: 1599000 | #Constraints: 32845
2459.20/2466.38 c #Conflicts: 1600000 | #Constraints: 33845
2459.20/2466.38 c #Conflicts: 1601000 | #Constraints: 34845
2459.20/2466.38 c #Conflicts: 1602000 | #Constraints: 35845
2459.20/2466.38 c #Conflicts: 1603000 | #Constraints: 36845
2459.20/2466.38 c #Conflicts: 1604000 | #Constraints: 37845
2459.20/2466.38 c #Conflicts: 1605000 | #Constraints: 38845
2459.20/2466.38 c #Conflicts: 1606000 | #Constraints: 39845
2459.20/2466.38 c #Conflicts: 1607000 | #Constraints: 40845
2459.20/2466.38 c #Conflicts: 1608000 | #Constraints: 41845
2459.20/2466.38 c #Conflicts: 1609000 | #Constraints: 42845
2459.20/2466.38 c #Conflicts: 1610000 | #Constraints: 43845
2459.20/2466.38 c #Conflicts: 1611000 | #Constraints: 44845
2459.20/2466.38 c #Conflicts: 1612000 | #Constraints: 45845
2459.20/2466.38 c #Conflicts: 1613000 | #Constraints: 46845
2459.20/2466.38 c #Conflicts: 1614000 | #Constraints: 47845
2459.20/2466.38 c #Conflicts: 1615000 | #Constraints: 48845
2459.20/2466.38 c #Conflicts: 1616000 | #Constraints: 49845
2459.20/2466.38 c INPROCESSING
2459.20/2466.38 c GARBAGE COLLECT
2459.20/2466.38 c #Conflicts: 1617000 | #Constraints: 25645
2459.20/2466.38 c #Conflicts: 1618000 | #Constraints: 26645
2459.20/2466.38 c #Conflicts: 1619000 | #Constraints: 27645
2459.20/2466.38 c #Conflicts: 1620000 | #Constraints: 28645
2459.20/2466.38 c #Conflicts: 1621000 | #Constraints: 29645
2459.20/2466.38 c #Conflicts: 1622000 | #Constraints: 30645
2459.20/2466.38 c #Conflicts: 1623000 | #Constraints: 31645
2459.20/2466.38 c #Conflicts: 1624000 | #Constraints: 32645
2459.20/2466.38 c #Conflicts: 1625000 | #Constraints: 33645
2459.20/2466.38 c #Conflicts: 1626000 | #Constraints: 34645
2459.20/2466.38 c #Conflicts: 1627000 | #Constraints: 35645
2459.20/2466.38 c #Conflicts: 1628000 | #Constraints: 36645
2459.20/2466.38 c #Conflicts: 1629000 | #Constraints: 37645
2459.20/2466.38 c #Conflicts: 1630000 | #Constraints: 38645
2459.20/2466.38 c #Conflicts: 1631000 | #Constraints: 39645
2459.20/2466.38 c #Conflicts: 1632000 | #Constraints: 40645
2459.20/2466.38 c #Conflicts: 1633000 | #Constraints: 41645
2459.20/2466.38 c #Conflicts: 1634000 | #Constraints: 42645
2459.20/2466.38 c #Conflicts: 1635000 | #Constraints: 43645
2459.20/2466.38 c #Conflicts: 1636000 | #Constraints: 44645
2459.20/2466.38 c #Conflicts: 1637000 | #Constraints: 45645
2459.20/2466.38 c #Conflicts: 1638000 | #Constraints: 46645
2459.20/2466.38 c #Conflicts: 1639000 | #Constraints: 47645
2459.20/2466.38 c #Conflicts: 1640000 | #Constraints: 48645
2459.20/2466.38 c #Conflicts: 1641000 | #Constraints: 49645
2459.20/2466.38 c #Conflicts: 1642000 | #Constraints: 50645
2459.20/2466.38 c INPROCESSING
2459.20/2466.38 c GARBAGE COLLECT
2459.20/2466.38 c #Conflicts: 1643000 | #Constraints: 26244
2459.20/2466.38 c #Conflicts: 1644000 | #Constraints: 27244
2459.20/2466.38 c #Conflicts: 1645000 | #Constraints: 28244
2459.20/2466.38 c #Conflicts: 1646000 | #Constraints: 29244
2459.20/2466.38 c #Conflicts: 1647000 | #Constraints: 30244
2459.20/2466.38 c #Conflicts: 1648000 | #Constraints: 31244
2459.20/2466.38 c #Conflicts: 1649000 | #Constraints: 32244
2459.20/2466.38 c #Conflicts: 1650000 | #Constraints: 33244
2459.20/2466.38 c #Conflicts: 1651000 | #Constraints: 34244
2459.20/2466.38 c #Conflicts: 1652000 | #Constraints: 35244
2459.20/2466.38 c #Conflicts: 1653000 | #Constraints: 36244
2459.20/2466.38 c #Conflicts: 1654000 | #Constraints: 37244
2459.20/2466.38 c #Conflicts: 1655000 | #Constraints: 38244
2459.20/2466.38 c #Conflicts: 1656000 | #Constraints: 39244
2459.20/2466.38 c #Conflicts: 1657000 | #Constraints: 40244
2459.20/2466.38 c #Conflicts: 1658000 | #Constraints: 41244
2459.20/2466.38 c #Conflicts: 1659000 | #Constraints: 42244
2459.20/2466.38 c #Conflicts: 1660000 | #Constraints: 43244
2459.20/2466.38 c #Conflicts: 1661000 | #Constraints: 44244
2624.81/2632.46 c #Conflicts: 1662000 | #Constraints: 45244
2624.81/2632.46 c #Conflicts: 1663000 | #Constraints: 46244
2624.81/2632.46 c #Conflicts: 1664000 | #Constraints: 47244
2624.81/2632.46 c #Conflicts: 1665000 | #Constraints: 48244
2624.81/2632.46 c #Conflicts: 1666000 | #Constraints: 49244
2624.81/2632.46 c #Conflicts: 1667000 | #Constraints: 50244
2624.81/2632.46 c #Conflicts: 1668000 | #Constraints: 51244
2624.81/2632.46 c INPROCESSING
2624.81/2632.46 c GARBAGE COLLECT
2624.81/2632.46 c #Conflicts: 1669000 | #Constraints: 26642
2624.81/2632.46 c #Conflicts: 1670000 | #Constraints: 27642
2624.81/2632.46 c #Conflicts: 1671000 | #Constraints: 28642
2624.81/2632.46 c #Conflicts: 1672000 | #Constraints: 29642
2624.81/2632.46 c #Conflicts: 1673000 | #Constraints: 30642
2624.81/2632.46 c #Conflicts: 1674000 | #Constraints: 31642
2624.81/2632.46 c #Conflicts: 1675000 | #Constraints: 32642
2624.81/2632.46 c #Conflicts: 1676000 | #Constraints: 33642
2624.81/2632.46 c #Conflicts: 1677000 | #Constraints: 34642
2624.81/2632.46 c #Conflicts: 1678000 | #Constraints: 35642
2624.81/2632.46 c #Conflicts: 1679000 | #Constraints: 36642
2624.81/2632.46 c #Conflicts: 1680000 | #Constraints: 37642
2624.81/2632.46 c #Conflicts: 1681000 | #Constraints: 38642
2624.81/2632.46 c #Conflicts: 1682000 | #Constraints: 39642
2624.81/2632.46 c #Conflicts: 1683000 | #Constraints: 40642
2624.81/2632.46 c #Conflicts: 1684000 | #Constraints: 41642
2624.81/2632.46 c #Conflicts: 1685000 | #Constraints: 42642
2624.81/2632.46 c #Conflicts: 1686000 | #Constraints: 43642
2624.81/2632.46 c #Conflicts: 1687000 | #Constraints: 44642
2624.81/2632.46 c #Conflicts: 1688000 | #Constraints: 45642
2624.81/2632.46 c #Conflicts: 1689000 | #Constraints: 46642
2624.81/2632.46 c #Conflicts: 1690000 | #Constraints: 47642
2624.81/2632.46 c #Conflicts: 1691000 | #Constraints: 48642
2624.81/2632.46 c #Conflicts: 1692000 | #Constraints: 49642
2624.81/2632.46 c #Conflicts: 1693000 | #Constraints: 50642
2624.81/2632.46 c #Conflicts: 1694000 | #Constraints: 51642
2624.81/2632.46 c INPROCESSING
2624.81/2632.46 c GARBAGE COLLECT
2624.81/2632.46 c #Conflicts: 1695000 | #Constraints: 26841
2624.81/2632.46 c #Conflicts: 1696000 | #Constraints: 27841
2624.81/2632.46 c #Conflicts: 1697000 | #Constraints: 28841
2624.81/2632.46 c #Conflicts: 1698000 | #Constraints: 29841
2624.81/2632.46 c #Conflicts: 1699000 | #Constraints: 30841
2624.81/2632.46 c #Conflicts: 1700000 | #Constraints: 31841
2624.81/2632.46 c #Conflicts: 1701000 | #Constraints: 32841
2624.81/2632.46 c #Conflicts: 1702000 | #Constraints: 33841
2624.81/2632.46 c #Conflicts: 1703000 | #Constraints: 34841
2624.81/2632.46 c #Conflicts: 1704000 | #Constraints: 35841
2624.81/2632.46 c #Conflicts: 1705000 | #Constraints: 36841
2624.81/2632.46 c #Conflicts: 1706000 | #Constraints: 37841
2624.81/2632.46 c #Conflicts: 1707000 | #Constraints: 38841
2624.81/2632.46 c #Conflicts: 1708000 | #Constraints: 39841
2624.81/2632.46 c #Conflicts: 1709000 | #Constraints: 40841
2624.81/2632.46 c #Conflicts: 1710000 | #Constraints: 41841
2624.81/2632.46 c #Conflicts: 1711000 | #Constraints: 42841
2624.81/2632.46 c #Conflicts: 1712000 | #Constraints: 43841
2624.81/2632.46 c #Conflicts: 1713000 | #Constraints: 44841
2624.81/2632.46 c #Conflicts: 1714000 | #Constraints: 45841
2624.81/2632.46 c #Conflicts: 1715000 | #Constraints: 46841
2624.81/2632.46 c #Conflicts: 1716000 | #Constraints: 47841
2624.81/2632.46 c #Conflicts: 1717000 | #Constraints: 48841
2624.81/2632.46 c #Conflicts: 1718000 | #Constraints: 49841
2624.81/2632.46 c #Conflicts: 1719000 | #Constraints: 50841
2624.81/2632.46 c #Conflicts: 1720000 | #Constraints: 51841
2624.81/2632.46 c INPROCESSING
2624.81/2632.46 c GARBAGE COLLECT
2624.81/2632.46 c #Conflicts: 1721000 | #Constraints: 26842
2624.81/2632.46 c #Conflicts: 1722000 | #Constraints: 27842
2624.81/2632.46 c #Conflicts: 1723000 | #Constraints: 28842
2624.81/2632.46 c #Conflicts: 1724000 | #Constraints: 29842
2624.81/2632.46 c #Conflicts: 1725000 | #Constraints: 30842
2624.81/2632.46 c #Conflicts: 1726000 | #Constraints: 31842
2624.81/2632.46 c #Conflicts: 1727000 | #Constraints: 32842
2624.81/2632.46 c #Conflicts: 1728000 | #Constraints: 33842
2624.81/2632.46 c #Conflicts: 1729000 | #Constraints: 34842
2624.81/2632.46 c #Conflicts: 1730000 | #Constraints: 35842
2624.81/2632.46 c #Conflicts: 1731000 | #Constraints: 36842
2624.81/2632.46 c #Conflicts: 1732000 | #Constraints: 37842
2624.81/2632.46 c #Conflicts: 1733000 | #Constraints: 38842
2624.81/2632.46 c #Conflicts: 1734000 | #Constraints: 39842
2624.81/2632.46 c #Conflicts: 1735000 | #Constraints: 40842
2624.81/2632.46 c #Conflicts: 1736000 | #Constraints: 41842
2624.81/2632.46 c #Conflicts: 1737000 | #Constraints: 42842
2624.81/2632.46 c #Conflicts: 1738000 | #Constraints: 43842
2808.10/2816.35 c #Conflicts: 1739000 | #Constraints: 44842
2808.10/2816.35 c #Conflicts: 1740000 | #Constraints: 45842
2808.10/2816.35 c #Conflicts: 1741000 | #Constraints: 46842
2808.10/2816.35 c #Conflicts: 1742000 | #Constraints: 47842
2808.10/2816.35 c #Conflicts: 1743000 | #Constraints: 48842
2808.10/2816.35 c #Conflicts: 1744000 | #Constraints: 49842
2808.10/2816.35 c #Conflicts: 1745000 | #Constraints: 50842
2808.10/2816.35 c #Conflicts: 1746000 | #Constraints: 51842
2808.10/2816.35 c INPROCESSING
2808.10/2816.35 c GARBAGE COLLECT
2808.10/2816.35 c #Conflicts: 1747000 | #Constraints: 26641
2808.10/2816.35 c #Conflicts: 1748000 | #Constraints: 27641
2808.10/2816.35 c #Conflicts: 1749000 | #Constraints: 28641
2808.10/2816.35 c #Conflicts: 1750000 | #Constraints: 29641
2808.10/2816.35 c #Conflicts: 1751000 | #Constraints: 30641
2808.10/2816.35 c #Conflicts: 1752000 | #Constraints: 31641
2808.10/2816.35 c #Conflicts: 1753000 | #Constraints: 32641
2808.10/2816.35 c #Conflicts: 1754000 | #Constraints: 33641
2808.10/2816.35 c #Conflicts: 1755000 | #Constraints: 34641
2808.10/2816.35 c #Conflicts: 1756000 | #Constraints: 35641
2808.10/2816.35 c #Conflicts: 1757000 | #Constraints: 36641
2808.10/2816.35 c #Conflicts: 1758000 | #Constraints: 37641
2808.10/2816.35 c #Conflicts: 1759000 | #Constraints: 38641
2808.10/2816.35 c #Conflicts: 1760000 | #Constraints: 39641
2808.10/2816.35 c #Conflicts: 1761000 | #Constraints: 40641
2808.10/2816.35 c #Conflicts: 1762000 | #Constraints: 41641
2808.10/2816.35 c #Conflicts: 1763000 | #Constraints: 42641
2808.10/2816.35 c #Conflicts: 1764000 | #Constraints: 43641
2808.10/2816.35 c #Conflicts: 1765000 | #Constraints: 44641
2808.10/2816.35 c #Conflicts: 1766000 | #Constraints: 45641
2808.10/2816.35 c #Conflicts: 1767000 | #Constraints: 46641
2808.10/2816.35 c #Conflicts: 1768000 | #Constraints: 47641
2808.10/2816.35 c #Conflicts: 1769000 | #Constraints: 48641
2808.10/2816.35 c #Conflicts: 1770000 | #Constraints: 49641
2808.10/2816.35 c #Conflicts: 1771000 | #Constraints: 50641
2808.10/2816.35 c #Conflicts: 1772000 | #Constraints: 51641
2808.10/2816.35 c #Conflicts: 1773000 | #Constraints: 52641
2808.10/2816.35 c INPROCESSING
2808.10/2816.35 c GARBAGE COLLECT
2808.10/2816.35 c #Conflicts: 1774000 | #Constraints: 27243
2808.10/2816.35 c #Conflicts: 1775000 | #Constraints: 28243
2808.10/2816.35 c #Conflicts: 1776000 | #Constraints: 29243
2808.10/2816.35 c #Conflicts: 1777000 | #Constraints: 30243
2808.10/2816.35 c #Conflicts: 1778000 | #Constraints: 31243
2808.10/2816.35 c #Conflicts: 1779000 | #Constraints: 32243
2808.10/2816.35 c #Conflicts: 1780000 | #Constraints: 33243
2808.10/2816.35 c #Conflicts: 1781000 | #Constraints: 34243
2808.10/2816.35 c #Conflicts: 1782000 | #Constraints: 35243
2808.10/2816.35 c #Conflicts: 1783000 | #Constraints: 36243
2808.10/2816.35 c #Conflicts: 1784000 | #Constraints: 37243
2808.10/2816.35 c #Conflicts: 1785000 | #Constraints: 38243
2808.10/2816.35 c #Conflicts: 1786000 | #Constraints: 39243
2808.10/2816.35 c #Conflicts: 1787000 | #Constraints: 40243
2808.10/2816.35 c #Conflicts: 1788000 | #Constraints: 41243
2808.10/2816.35 c #Conflicts: 1789000 | #Constraints: 42243
2808.10/2816.35 c #Conflicts: 1790000 | #Constraints: 43243
2808.10/2816.35 c #Conflicts: 1791000 | #Constraints: 44243
2808.10/2816.35 c #Conflicts: 1792000 | #Constraints: 45243
2808.10/2816.35 c #Conflicts: 1793000 | #Constraints: 46243
2808.10/2816.35 c #Conflicts: 1794000 | #Constraints: 47243
2808.10/2816.35 c #Conflicts: 1795000 | #Constraints: 48243
2808.10/2816.35 c #Conflicts: 1796000 | #Constraints: 49243
2808.10/2816.35 c #Conflicts: 1797000 | #Constraints: 50243
2808.10/2816.35 c #Conflicts: 1798000 | #Constraints: 51243
2808.10/2816.35 c #Conflicts: 1799000 | #Constraints: 52243
2808.10/2816.35 c #Conflicts: 1800000 | #Constraints: 53243
2808.10/2816.35 c INPROCESSING
2808.10/2816.35 c GARBAGE COLLECT
2808.10/2816.35 c #Conflicts: 1801000 | #Constraints: 27639
2808.10/2816.35 c #Conflicts: 1802000 | #Constraints: 28639
2808.10/2816.35 c #Conflicts: 1803000 | #Constraints: 29639
2808.10/2816.35 c #Conflicts: 1804000 | #Constraints: 30639
2808.10/2816.35 c #Conflicts: 1805000 | #Constraints: 31639
2808.10/2816.35 c #Conflicts: 1806000 | #Constraints: 32639
2808.10/2816.35 c #Conflicts: 1807000 | #Constraints: 33639
2808.10/2816.35 c #Conflicts: 1808000 | #Constraints: 34639
2808.10/2816.35 c #Conflicts: 1809000 | #Constraints: 35639
2808.10/2816.35 c #Conflicts: 1810000 | #Constraints: 36639
2808.10/2816.35 c #Conflicts: 1811000 | #Constraints: 37639
2808.10/2816.35 c #Conflicts: 1812000 | #Constraints: 38639
2808.10/2816.35 c #Conflicts: 1813000 | #Constraints: 39639
2808.10/2816.35 c #Conflicts: 1814000 | #Constraints: 40639
2808.10/2816.35 c #Conflicts: 1815000 | #Constraints: 41639
2999.25/3008.01 c #Conflicts: 1816000 | #Constraints: 42639
2999.25/3008.01 c #Conflicts: 1817000 | #Constraints: 43639
2999.25/3008.01 c #Conflicts: 1818000 | #Constraints: 44639
2999.25/3008.01 c #Conflicts: 1819000 | #Constraints: 45639
2999.25/3008.01 c #Conflicts: 1820000 | #Constraints: 46639
2999.25/3008.01 c #Conflicts: 1821000 | #Constraints: 47639
2999.25/3008.01 c #Conflicts: 1822000 | #Constraints: 48639
2999.25/3008.01 c #Conflicts: 1823000 | #Constraints: 49639
2999.25/3008.01 c #Conflicts: 1824000 | #Constraints: 50639
2999.25/3008.01 c #Conflicts: 1825000 | #Constraints: 51639
2999.25/3008.01 c #Conflicts: 1826000 | #Constraints: 52639
2999.25/3008.01 c #Conflicts: 1827000 | #Constraints: 53639
2999.25/3008.01 c INPROCESSING
2999.25/3008.01 c GARBAGE COLLECT
2999.25/3008.01 c #Conflicts: 1828000 | #Constraints: 27839
2999.25/3008.01 c #Conflicts: 1829000 | #Constraints: 28839
2999.25/3008.01 c #Conflicts: 1830000 | #Constraints: 29839
2999.25/3008.01 c #Conflicts: 1831000 | #Constraints: 30839
2999.25/3008.01 c #Conflicts: 1832000 | #Constraints: 31839
2999.25/3008.01 c #Conflicts: 1833000 | #Constraints: 32839
2999.25/3008.01 c #Conflicts: 1834000 | #Constraints: 33839
2999.25/3008.01 c #Conflicts: 1835000 | #Constraints: 34839
2999.25/3008.01 c #Conflicts: 1836000 | #Constraints: 35839
2999.25/3008.01 c #Conflicts: 1837000 | #Constraints: 36839
2999.25/3008.01 c #Conflicts: 1838000 | #Constraints: 37839
2999.25/3008.01 c #Conflicts: 1839000 | #Constraints: 38839
2999.25/3008.01 c #Conflicts: 1840000 | #Constraints: 39839
2999.25/3008.01 c #Conflicts: 1841000 | #Constraints: 40839
2999.25/3008.01 c #Conflicts: 1842000 | #Constraints: 41839
2999.25/3008.01 c #Conflicts: 1843000 | #Constraints: 42839
2999.25/3008.01 c #Conflicts: 1844000 | #Constraints: 43839
2999.25/3008.01 c #Conflicts: 1845000 | #Constraints: 44839
2999.25/3008.01 c #Conflicts: 1846000 | #Constraints: 45839
2999.25/3008.01 c #Conflicts: 1847000 | #Constraints: 46839
2999.25/3008.01 c #Conflicts: 1848000 | #Constraints: 47839
2999.25/3008.01 c #Conflicts: 1849000 | #Constraints: 48839
2999.25/3008.01 c #Conflicts: 1850000 | #Constraints: 49839
2999.25/3008.01 c #Conflicts: 1851000 | #Constraints: 50839
2999.25/3008.01 c #Conflicts: 1852000 | #Constraints: 51839
2999.25/3008.01 c #Conflicts: 1853000 | #Constraints: 52839
2999.25/3008.01 c #Conflicts: 1854000 | #Constraints: 53839
2999.25/3008.01 c INPROCESSING
2999.25/3008.01 c GARBAGE COLLECT
2999.25/3008.01 c #Conflicts: 1855000 | #Constraints: 27844
2999.25/3008.01 c #Conflicts: 1856000 | #Constraints: 28844
2999.25/3008.01 c #Conflicts: 1857000 | #Constraints: 29844
2999.25/3008.01 c #Conflicts: 1858000 | #Constraints: 30844
2999.25/3008.01 c #Conflicts: 1859000 | #Constraints: 31844
2999.25/3008.01 c #Conflicts: 1860000 | #Constraints: 32844
2999.25/3008.01 c #Conflicts: 1861000 | #Constraints: 33844
2999.25/3008.01 c #Conflicts: 1862000 | #Constraints: 34844
2999.25/3008.01 c #Conflicts: 1863000 | #Constraints: 35844
2999.25/3008.01 c #Conflicts: 1864000 | #Constraints: 36844
2999.25/3008.01 c #Conflicts: 1865000 | #Constraints: 37844
2999.25/3008.01 c #Conflicts: 1866000 | #Constraints: 38844
2999.25/3008.01 c #Conflicts: 1867000 | #Constraints: 39844
2999.25/3008.01 c #Conflicts: 1868000 | #Constraints: 40844
2999.25/3008.01 c #Conflicts: 1869000 | #Constraints: 41844
2999.25/3008.01 c #Conflicts: 1870000 | #Constraints: 42844
2999.25/3008.01 c #Conflicts: 1871000 | #Constraints: 43844
2999.25/3008.01 c #Conflicts: 1872000 | #Constraints: 44844
2999.25/3008.01 c #Conflicts: 1873000 | #Constraints: 45844
2999.25/3008.01 c #Conflicts: 1874000 | #Constraints: 46844
2999.25/3008.01 c #Conflicts: 1875000 | #Constraints: 47844
2999.25/3008.01 c #Conflicts: 1876000 | #Constraints: 48844
2999.25/3008.01 c #Conflicts: 1877000 | #Constraints: 49844
2999.25/3008.01 c #Conflicts: 1878000 | #Constraints: 50844
2999.25/3008.01 c #Conflicts: 1879000 | #Constraints: 51844
2999.25/3008.01 c #Conflicts: 1880000 | #Constraints: 52844
2999.25/3008.01 c #Conflicts: 1881000 | #Constraints: 53844
2999.25/3008.01 c INPROCESSING
2999.25/3008.01 c GARBAGE COLLECT
2999.25/3008.01 c #Conflicts: 1882000 | #Constraints: 27643
2999.25/3008.01 c #Conflicts: 1883000 | #Constraints: 28643
2999.25/3008.01 c #Conflicts: 1884000 | #Constraints: 29643
2999.25/3008.01 c #Conflicts: 1885000 | #Constraints: 30643
2999.25/3008.01 c #Conflicts: 1886000 | #Constraints: 31643
2999.25/3008.01 c #Conflicts: 1887000 | #Constraints: 32643
2999.25/3008.01 c #Conflicts: 1888000 | #Constraints: 33643
2999.25/3008.01 c #Conflicts: 1889000 | #Constraints: 34643
2999.25/3008.01 c #Conflicts: 1890000 | #Constraints: 35643
2999.25/3008.01 c #Conflicts: 1891000 | #Constraints: 36643
2999.25/3008.01 c #Conflicts: 1892000 | #Constraints: 37643
3178.81/3188.01 c #Conflicts: 1893000 | #Constraints: 38643
3178.81/3188.01 c #Conflicts: 1894000 | #Constraints: 39643
3178.81/3188.01 c #Conflicts: 1895000 | #Constraints: 40643
3178.81/3188.01 c #Conflicts: 1896000 | #Constraints: 41643
3178.81/3188.01 c #Conflicts: 1897000 | #Constraints: 42643
3178.81/3188.01 c #Conflicts: 1898000 | #Constraints: 43643
3178.81/3188.01 c #Conflicts: 1899000 | #Constraints: 44643
3178.81/3188.01 c #Conflicts: 1900000 | #Constraints: 45643
3178.81/3188.01 c #Conflicts: 1901000 | #Constraints: 46643
3178.81/3188.01 c #Conflicts: 1902000 | #Constraints: 47643
3178.81/3188.01 c #Conflicts: 1903000 | #Constraints: 48643
3178.81/3188.01 c #Conflicts: 1904000 | #Constraints: 49643
3178.81/3188.01 c #Conflicts: 1905000 | #Constraints: 50643
3178.81/3188.01 c #Conflicts: 1906000 | #Constraints: 51643
3178.81/3188.01 c #Conflicts: 1907000 | #Constraints: 52643
3178.81/3188.01 c #Conflicts: 1908000 | #Constraints: 53643
3178.81/3188.01 c #Conflicts: 1909000 | #Constraints: 54643
3178.81/3188.01 c INPROCESSING
3178.81/3188.01 c GARBAGE COLLECT
3178.81/3188.01 c #Conflicts: 1910000 | #Constraints: 28245
3178.81/3188.01 c #Conflicts: 1911000 | #Constraints: 29245
3178.81/3188.01 c #Conflicts: 1912000 | #Constraints: 30245
3178.81/3188.01 c #Conflicts: 1913000 | #Constraints: 31245
3178.81/3188.01 c #Conflicts: 1914000 | #Constraints: 32245
3178.81/3188.01 c #Conflicts: 1915000 | #Constraints: 33245
3178.81/3188.01 c #Conflicts: 1916000 | #Constraints: 34245
3178.81/3188.01 c #Conflicts: 1917000 | #Constraints: 35245
3178.81/3188.01 c #Conflicts: 1918000 | #Constraints: 36245
3178.81/3188.01 c #Conflicts: 1919000 | #Constraints: 37245
3178.81/3188.01 c #Conflicts: 1920000 | #Constraints: 38245
3178.81/3188.01 c #Conflicts: 1921000 | #Constraints: 39245
3178.81/3188.01 c #Conflicts: 1922000 | #Constraints: 40245
3178.81/3188.01 c #Conflicts: 1923000 | #Constraints: 41245
3178.81/3188.01 c #Conflicts: 1924000 | #Constraints: 42245
3178.81/3188.01 c #Conflicts: 1925000 | #Constraints: 43245
3178.81/3188.01 c #Conflicts: 1926000 | #Constraints: 44245
3178.81/3188.01 c #Conflicts: 1927000 | #Constraints: 45245
3178.81/3188.01 c #Conflicts: 1928000 | #Constraints: 46245
3178.81/3188.01 c #Conflicts: 1929000 | #Constraints: 47245
3178.81/3188.01 c #Conflicts: 1930000 | #Constraints: 48245
3178.81/3188.01 c #Conflicts: 1931000 | #Constraints: 49245
3178.81/3188.01 c #Conflicts: 1932000 | #Constraints: 50245
3178.81/3188.01 c #Conflicts: 1933000 | #Constraints: 51245
3178.81/3188.01 c #Conflicts: 1934000 | #Constraints: 52245
3178.81/3188.01 c #Conflicts: 1935000 | #Constraints: 53245
3178.81/3188.01 c #Conflicts: 1936000 | #Constraints: 54245
3178.81/3188.01 c #Conflicts: 1937000 | #Constraints: 55245
3178.81/3188.01 c INPROCESSING
3178.81/3188.01 c GARBAGE COLLECT
3178.81/3188.01 c #Conflicts: 1938000 | #Constraints: 28644
3178.81/3188.01 c #Conflicts: 1939000 | #Constraints: 29644
3178.81/3188.01 c #Conflicts: 1940000 | #Constraints: 30644
3178.81/3188.01 c #Conflicts: 1941000 | #Constraints: 31644
3178.81/3188.01 c #Conflicts: 1942000 | #Constraints: 32644
3178.81/3188.01 c #Conflicts: 1943000 | #Constraints: 33644
3178.81/3188.01 c #Conflicts: 1944000 | #Constraints: 34644
3178.81/3188.01 c #Conflicts: 1945000 | #Constraints: 35644
3178.81/3188.01 c #Conflicts: 1946000 | #Constraints: 36644
3178.81/3188.01 c #Conflicts: 1947000 | #Constraints: 37644
3178.81/3188.01 c #Conflicts: 1948000 | #Constraints: 38644
3178.81/3188.01 c #Conflicts: 1949000 | #Constraints: 39644
3178.81/3188.01 c #Conflicts: 1950000 | #Constraints: 40644
3178.81/3188.01 c #Conflicts: 1951000 | #Constraints: 41644
3178.81/3188.01 c #Conflicts: 1952000 | #Constraints: 42644
3178.81/3188.01 c #Conflicts: 1953000 | #Constraints: 43644
3178.81/3188.01 c #Conflicts: 1954000 | #Constraints: 44644
3178.81/3188.01 c #Conflicts: 1955000 | #Constraints: 45644
3178.81/3188.01 c #Conflicts: 1956000 | #Constraints: 46644
3178.81/3188.01 c #Conflicts: 1957000 | #Constraints: 47644
3178.81/3188.01 c #Conflicts: 1958000 | #Constraints: 48644
3178.81/3188.01 c #Conflicts: 1959000 | #Constraints: 49644
3178.81/3188.01 c #Conflicts: 1960000 | #Constraints: 50644
3178.81/3188.01 c #Conflicts: 1961000 | #Constraints: 51644
3178.81/3188.01 c #Conflicts: 1962000 | #Constraints: 52644
3178.81/3188.01 c #Conflicts: 1963000 | #Constraints: 53644
3178.81/3188.01 c #Conflicts: 1964000 | #Constraints: 54644
3178.81/3188.01 c #Conflicts: 1965000 | #Constraints: 55644
3178.81/3188.01 c INPROCESSING
3178.81/3188.01 c GARBAGE COLLECT
3178.81/3188.01 c #Conflicts: 1966000 | #Constraints: 28844
3178.81/3188.01 c #Conflicts: 1967000 | #Constraints: 29844
3178.81/3188.01 c #Conflicts: 1968000 | #Constraints: 30844
3178.81/3188.01 c #Conflicts: 1969000 | #Constraints: 31844
3363.74/3373.40 c #Conflicts: 1970000 | #Constraints: 32844
3363.74/3373.40 c #Conflicts: 1971000 | #Constraints: 33844
3363.74/3373.40 c #Conflicts: 1972000 | #Constraints: 34844
3363.74/3373.40 c #Conflicts: 1973000 | #Constraints: 35844
3363.74/3373.40 c #Conflicts: 1974000 | #Constraints: 36844
3363.74/3373.40 c #Conflicts: 1975000 | #Constraints: 37844
3363.74/3373.40 c #Conflicts: 1976000 | #Constraints: 38844
3363.74/3373.40 c #Conflicts: 1977000 | #Constraints: 39844
3363.74/3373.40 c #Conflicts: 1978000 | #Constraints: 40844
3363.74/3373.40 c #Conflicts: 1979000 | #Constraints: 41844
3363.74/3373.40 c #Conflicts: 1980000 | #Constraints: 42844
3363.74/3373.40 c #Conflicts: 1981000 | #Constraints: 43844
3363.74/3373.40 c #Conflicts: 1982000 | #Constraints: 44844
3363.74/3373.40 c #Conflicts: 1983000 | #Constraints: 45844
3363.74/3373.40 c #Conflicts: 1984000 | #Constraints: 46844
3363.74/3373.40 c #Conflicts: 1985000 | #Constraints: 47844
3363.74/3373.40 c #Conflicts: 1986000 | #Constraints: 48844
3363.74/3373.40 c #Conflicts: 1987000 | #Constraints: 49844
3363.74/3373.40 c #Conflicts: 1988000 | #Constraints: 50844
3363.74/3373.40 c #Conflicts: 1989000 | #Constraints: 51844
3363.74/3373.40 c #Conflicts: 1990000 | #Constraints: 52844
3363.74/3373.40 c #Conflicts: 1991000 | #Constraints: 53844
3363.74/3373.40 c #Conflicts: 1992000 | #Constraints: 54844
3363.74/3373.40 c #Conflicts: 1993000 | #Constraints: 55844
3363.74/3373.40 c INPROCESSING
3363.74/3373.40 c GARBAGE COLLECT
3363.74/3373.40 c #Conflicts: 1994000 | #Constraints: 28842
3363.74/3373.40 c #Conflicts: 1995000 | #Constraints: 29842
3363.74/3373.40 c #Conflicts: 1996000 | #Constraints: 30842
3363.74/3373.40 c #Conflicts: 1997000 | #Constraints: 31842
3363.74/3373.40 c #Conflicts: 1998000 | #Constraints: 32842
3363.74/3373.40 c #Conflicts: 1999000 | #Constraints: 33842
3363.74/3373.40 c #Conflicts: 2000000 | #Constraints: 34842
3363.74/3373.40 c #Conflicts: 2001000 | #Constraints: 35842
3363.74/3373.40 c #Conflicts: 2002000 | #Constraints: 36842
3363.74/3373.40 c #Conflicts: 2003000 | #Constraints: 37842
3363.74/3373.40 c #Conflicts: 2004000 | #Constraints: 38842
3363.74/3373.40 c #Conflicts: 2005000 | #Constraints: 39842
3363.74/3373.40 c #Conflicts: 2006000 | #Constraints: 40842
3363.74/3373.40 c #Conflicts: 2007000 | #Constraints: 41842
3363.74/3373.40 c #Conflicts: 2008000 | #Constraints: 42842
3363.74/3373.40 c #Conflicts: 2009000 | #Constraints: 43842
3363.74/3373.40 c #Conflicts: 2010000 | #Constraints: 44842
3363.74/3373.40 c #Conflicts: 2011000 | #Constraints: 45842
3363.74/3373.40 c #Conflicts: 2012000 | #Constraints: 46842
3363.74/3373.40 c #Conflicts: 2013000 | #Constraints: 47842
3363.74/3373.40 c #Conflicts: 2014000 | #Constraints: 48842
3363.74/3373.40 c #Conflicts: 2015000 | #Constraints: 49842
3363.74/3373.40 c #Conflicts: 2016000 | #Constraints: 50842
3363.74/3373.40 c #Conflicts: 2017000 | #Constraints: 51842
3363.74/3373.40 c #Conflicts: 2018000 | #Constraints: 52842
3363.74/3373.40 c #Conflicts: 2019000 | #Constraints: 53842
3363.74/3373.40 c #Conflicts: 2020000 | #Constraints: 54842
3363.74/3373.40 c #Conflicts: 2021000 | #Constraints: 55842
3363.74/3373.40 c INPROCESSING
3363.74/3373.40 c GARBAGE COLLECT
3363.74/3373.40 c #Conflicts: 2022000 | #Constraints: 28640
3363.74/3373.40 c #Conflicts: 2023000 | #Constraints: 29640
3363.74/3373.40 c #Conflicts: 2024000 | #Constraints: 30640
3363.74/3373.40 c #Conflicts: 2025000 | #Constraints: 31640
3363.74/3373.40 c #Conflicts: 2026000 | #Constraints: 32640
3363.74/3373.40 c #Conflicts: 2027000 | #Constraints: 33640
3363.74/3373.40 c #Conflicts: 2028000 | #Constraints: 34640
3363.74/3373.40 c #Conflicts: 2029000 | #Constraints: 35640
3363.74/3373.40 c #Conflicts: 2030000 | #Constraints: 36640
3363.74/3373.40 c #Conflicts: 2031000 | #Constraints: 37640
3363.74/3373.40 c #Conflicts: 2032000 | #Constraints: 38640
3363.74/3373.40 c #Conflicts: 2033000 | #Constraints: 39640
3363.74/3373.40 c #Conflicts: 2034000 | #Constraints: 40640
3363.74/3373.40 c #Conflicts: 2035000 | #Constraints: 41640
3363.74/3373.40 c #Conflicts: 2036000 | #Constraints: 42640
3363.74/3373.40 c #Conflicts: 2037000 | #Constraints: 43640
3363.74/3373.40 c #Conflicts: 2038000 | #Constraints: 44640
3363.74/3373.40 c #Conflicts: 2039000 | #Constraints: 45640
3363.74/3373.40 c #Conflicts: 2040000 | #Constraints: 46640
3363.74/3373.40 c #Conflicts: 2041000 | #Constraints: 47640
3363.74/3373.40 c #Conflicts: 2042000 | #Constraints: 48640
3363.74/3373.40 c #Conflicts: 2043000 | #Constraints: 49640
3363.74/3373.40 c #Conflicts: 2044000 | #Constraints: 50640
3363.74/3373.40 c #Conflicts: 2045000 | #Constraints: 51640
3363.74/3373.40 c #Conflicts: 2046000 | #Constraints: 52640
3568.04/3578.20 c #Conflicts: 2047000 | #Constraints: 53640
3568.04/3578.20 c #Conflicts: 2048000 | #Constraints: 54640
3568.04/3578.20 c #Conflicts: 2049000 | #Constraints: 55640
3568.04/3578.20 c #Conflicts: 2050000 | #Constraints: 56640
3568.04/3578.20 c INPROCESSING
3568.04/3578.20 c GARBAGE COLLECT
3568.04/3578.20 c #Conflicts: 2051000 | #Constraints: 29237
3568.04/3578.20 c #Conflicts: 2052000 | #Constraints: 30237
3568.04/3578.20 c #Conflicts: 2053000 | #Constraints: 31237
3568.04/3578.20 c #Conflicts: 2054000 | #Constraints: 32237
3568.04/3578.20 c #Conflicts: 2055000 | #Constraints: 33237
3568.04/3578.20 c #Conflicts: 2056000 | #Constraints: 34237
3568.04/3578.20 c #Conflicts: 2057000 | #Constraints: 35237
3568.04/3578.20 c #Conflicts: 2058000 | #Constraints: 36237
3568.04/3578.20 c #Conflicts: 2059000 | #Constraints: 37237
3568.04/3578.20 c #Conflicts: 2060000 | #Constraints: 38237
3568.04/3578.20 c #Conflicts: 2061000 | #Constraints: 39237
3568.04/3578.20 c #Conflicts: 2062000 | #Constraints: 40237
3568.04/3578.20 c #Conflicts: 2063000 | #Constraints: 41237
3568.04/3578.20 c #Conflicts: 2064000 | #Constraints: 42237
3568.04/3578.20 c #Conflicts: 2065000 | #Constraints: 43237
3568.04/3578.20 c #Conflicts: 2066000 | #Constraints: 44237
3568.04/3578.20 c #Conflicts: 2067000 | #Constraints: 45237
3568.04/3578.20 c #Conflicts: 2068000 | #Constraints: 46237
3568.04/3578.20 c #Conflicts: 2069000 | #Constraints: 47237
3568.04/3578.20 c #Conflicts: 2070000 | #Constraints: 48237
3568.04/3578.20 c #Conflicts: 2071000 | #Constraints: 49237
3568.04/3578.20 c #Conflicts: 2072000 | #Constraints: 50237
3568.04/3578.20 c #Conflicts: 2073000 | #Constraints: 51237
3568.04/3578.20 c #Conflicts: 2074000 | #Constraints: 52237
3568.04/3578.20 c #Conflicts: 2075000 | #Constraints: 53237
3568.04/3578.20 c #Conflicts: 2076000 | #Constraints: 54237
3568.04/3578.20 c #Conflicts: 2077000 | #Constraints: 55237
3568.04/3578.20 c #Conflicts: 2078000 | #Constraints: 56237
3568.04/3578.20 c #Conflicts: 2079000 | #Constraints: 57237
3568.04/3578.20 c INPROCESSING
3568.04/3578.20 c GARBAGE COLLECT
3568.04/3578.20 c #Conflicts: 2080000 | #Constraints: 29639
3568.04/3578.20 c #Conflicts: 2081000 | #Constraints: 30639
3568.04/3578.20 c #Conflicts: 2082000 | #Constraints: 31639
3568.04/3578.20 c #Conflicts: 2083000 | #Constraints: 32639
3568.04/3578.20 c #Conflicts: 2084000 | #Constraints: 33639
3568.04/3578.20 c #Conflicts: 2085000 | #Constraints: 34639
3568.04/3578.20 c #Conflicts: 2086000 | #Constraints: 35639
3568.04/3578.20 c #Conflicts: 2087000 | #Constraints: 36639
3568.04/3578.20 c #Conflicts: 2088000 | #Constraints: 37639
3568.04/3578.20 c #Conflicts: 2089000 | #Constraints: 38639
3568.04/3578.20 c #Conflicts: 2090000 | #Constraints: 39639
3568.04/3578.20 c #Conflicts: 2091000 | #Constraints: 40639
3568.04/3578.20 c #Conflicts: 2092000 | #Constraints: 41639
3568.04/3578.20 c #Conflicts: 2093000 | #Constraints: 42639
3568.04/3578.20 c #Conflicts: 2094000 | #Constraints: 43639
3568.04/3578.20 c #Conflicts: 2095000 | #Constraints: 44639
3568.04/3578.20 c #Conflicts: 2096000 | #Constraints: 45639
3568.04/3578.20 c #Conflicts: 2097000 | #Constraints: 46639
3568.04/3578.20 c #Conflicts: 2098000 | #Constraints: 47639
3568.04/3578.20 c #Conflicts: 2099000 | #Constraints: 48639
3568.04/3578.20 c #Conflicts: 2100000 | #Constraints: 49639
3568.04/3578.20 c #Conflicts: 2101000 | #Constraints: 50639
3568.04/3578.20 c #Conflicts: 2102000 | #Constraints: 51639
3568.04/3578.20 c #Conflicts: 2103000 | #Constraints: 52639
3568.04/3578.20 c #Conflicts: 2104000 | #Constraints: 53639
3568.04/3578.20 c #Conflicts: 2105000 | #Constraints: 54639
3568.04/3578.20 c #Conflicts: 2106000 | #Constraints: 55639
3568.04/3578.20 c #Conflicts: 2107000 | #Constraints: 56639
3568.04/3578.20 c #Conflicts: 2108000 | #Constraints: 57639
3568.04/3578.20 c INPROCESSING
3568.04/3578.20 c GARBAGE COLLECT
3568.04/3578.20 c #Conflicts: 2109000 | #Constraints: 29844
3568.04/3578.20 c #Conflicts: 2110000 | #Constraints: 30844
3568.04/3578.20 c #Conflicts: 2111000 | #Constraints: 31844
3568.04/3578.20 c #Conflicts: 2112000 | #Constraints: 32844
3568.04/3578.20 c #Conflicts: 2113000 | #Constraints: 33844
3568.04/3578.20 c #Conflicts: 2114000 | #Constraints: 34844
3568.04/3578.20 c #Conflicts: 2115000 | #Constraints: 35844
3568.04/3578.20 c #Conflicts: 2116000 | #Constraints: 36844
3568.04/3578.20 c #Conflicts: 2117000 | #Constraints: 37844
3568.04/3578.20 c #Conflicts: 2118000 | #Constraints: 38844
3568.04/3578.20 c #Conflicts: 2119000 | #Constraints: 39844
3568.04/3578.20 c #Conflicts: 2120000 | #Constraints: 40844
3568.04/3578.20 c #Conflicts: 2121000 | #Constraints: 41844
3568.04/3578.20 c #Conflicts: 2122000 | #Constraints: 42844
3568.04/3578.20 c #Conflicts: 2123000 | #Constraints: 43844
3600.06/3610.30 c #Conflicts: 2124000 | #Constraints: 44844
3600.06/3610.30 c #Conflicts: 2125000 | #Constraints: 45844
3600.06/3610.30 c #Conflicts: 2126000 | #Constraints: 46844
3600.06/3610.30 c #Conflicts: 2127000 | #Constraints: 47844
3600.06/3610.30 c #Conflicts: 2128000 | #Constraints: 48844
3600.06/3610.30 c #Conflicts: 2129000 | #Constraints: 49844
3600.06/3610.30 c #Conflicts: 2130000 | #Constraints: 50844
3600.06/3610.30 c #Conflicts: 2131000 | #Constraints: 51844
3600.06/3610.30 c #Conflicts: 2132000 | #Constraints: 52844
3600.06/3610.30 c #Conflicts: 2133000 | #Constraints: 53844
3600.06/3610.30 c Program interrupted by user.
3600.06/3610.30 c cpu time 3591.14 s
3600.06/3610.30 c deterministic time 580785605538 5.81e+11
3600.06/3610.30 c optimization time 71.9573 s
3600.06/3610.30 c total solve time 3219.88 s
3600.06/3610.30 c core-guided solve time 3219.88 s
3600.06/3610.30 c propagation time 3121.2 s
3600.06/3610.30 c conflict analysis time 153.131 s
3600.06/3610.30 c propagations 34942165
3600.06/3610.30 c resolve steps 10825453
3600.06/3610.30 c decisions 4184296
3600.06/3610.30 c conflicts 2133139
3600.06/3610.30 c restarts 4092
3600.06/3610.30 c inprocessing phases 136
3600.06/3610.30 c input clauses 0
3600.06/3610.30 c input cardinalities 0
3600.06/3610.30 c input general constraints 19
3600.06/3610.30 c input average constraint length 88.84
3600.06/3610.30 c input average constraint degree 1962.63
3600.06/3610.30 c learned clauses 1076127
3600.06/3610.30 c learned cardinalities 0
3600.06/3610.30 c learned general constraints 1057011
3600.06/3610.30 c learned average constraint length 81.62
3600.06/3610.30 c learned average constraint degree 233906.83
3600.06/3610.30 c watched constraints 1055373
3600.06/3610.30 c counting constraints 1657
3600.06/3610.30 c gcd simplifications 956768
3600.06/3610.30 c detected cardinalities 0
3600.06/3610.30 c weakened non-implied lits 60936675
3600.06/3610.30 c weakened non-implying lits 2346930
3600.06/3610.30 c original variables 198
3600.06/3610.30 c clausal propagations 418024
3600.06/3610.30 c cardinality propagations 0
3600.06/3610.30 c watched propagations 26631944
3600.06/3610.30 c counting propagations 6352805
3600.06/3610.30 c watch lookups 26273609009
3600.06/3610.30 c watch backjump lookups 7267475371
3600.06/3610.30 c watch checks 514992022492
3600.06/3610.30 c propagation checks 30816516667
3600.06/3610.30 c constraint additions 1355596100
3600.06/3610.30 c trail pops 41259437
3600.06/3610.30 c formula constraints 16
3600.06/3610.30 c learned constraints 2133138
3600.06/3610.30 c bound constraints 3
3600.06/3610.30 c core-guided constraints 0
3600.06/3610.30 c encountered formula constraints 2601108
3600.06/3610.30 c encountered learned constraints 10356765
3600.06/3610.30 c encountered bound constraints 719
3600.06/3610.30 c encountered core-guided constraints 0
3600.06/3610.30 c LP total time 0 s
3600.06/3610.30 c LP solve time 0 s
3600.06/3610.30 c LP constraints added 0
3600.06/3610.30 c LP constraints removed 0
3600.06/3610.30 c LP pivots internal 0
3600.06/3610.30 c LP pivots root 0
3600.06/3610.30 c LP calls 0
3600.06/3610.30 c LP optimalities 0
3600.06/3610.30 c LP no pivot count 0
3600.06/3610.30 c LP infeasibilities 0
3600.06/3610.30 c LP valid Farkas constraints 0
3600.06/3610.30 c LP learned Farkas constraints 0
3600.06/3610.30 c LP basis resets 0
3600.06/3610.30 c LP cycling count 0
3600.06/3610.30 c LP singular count 0
3600.06/3610.30 c LP no primal count 0
3600.06/3610.30 c LP no farkas count 0
3600.06/3610.30 c LP other issue count 0
3600.06/3610.30 c LP Gomory cuts 0
3600.06/3610.30 c LP learned cuts 0
3600.06/3610.30 c LP deleted cuts 0
3600.06/3610.30 c LP encountered Gomory constraints 0
3600.06/3610.30 c LP encountered Farkas constraints 0
3600.06/3610.30 c LP encountered learned Farkas constraints 0
3600.06/3610.30 c CG auxiliary variables introduced 0
3600.06/3610.30 c CG solutions found 2
3600.06/3610.30 c CG cores constructed 0
3600.06/3610.30 c CG core cardinality constraints returned 0
3600.06/3610.30 c CG unit cores 0
3600.06/3610.30 c CG single cores 0
3600.06/3610.30 c CG blocks removed during cardinality reduction 0
3600.06/3610.30 c CG first core best 0
3600.06/3610.30 c CG decision core best 0
3600.06/3610.30 c CG core reduction tie 0
3600.06/3610.30 c CG core degree average 0.00
3600.06/3610.30 c CG core slack average 0.00
3600.06/3610.30 c CG exhausted 0
3600.06/3610.30 c CG exhaust time 0 s
3600.06/3610.30 c CG trimmed 0
3600.06/3610.30 c CG trim time 0 s
3600.06/3610.30 c CG minimized 0
3600.06/3610.30 c CG minimize time 0 s
3600.06/3610.30 c CG am1 prop time 0.000103 s
3600.06/3610.30 c CG # am1s reformulated 0
3600.06/3610.30 c CG lower bound derived from am1s 0
3600.06/3610.30 c CG # clausal cores 0
3600.06/3610.30 c CG # cardinality cores 0
3600.06/3610.30 c CG # pb cores 0
3600.06/3610.30 c CG # pb reforms 0
3600.06/3610.30 c CG # cores discarded because of pb reform 0
3600.06/3610.30 d LOWERBOUND 0
3600.06/3610.30 d NCORES 0
3600.06/3610.30 d NPBCORES 0
3600.06/3610.30 d NPBREFORM 0
3600.06/3610.30 d NTRIMMED 0
3600.06/3610.30 d NEXHAUSTED 0
3600.06/3610.30 d NAM1S 0
3600.06/3610.30 d AM1LB 0
3600.06/3610.30 c [Papilo Statistics]
3600.06/3610.30 c prepro time 0.000413629s
3600.06/3610.30 c # tsx applied 8
3600.06/3610.30 c # tsx conflicts 0
3600.06/3610.30 c # bound changes 0
3600.06/3610.30 c # side changes 8
3600.06/3610.30 c # coef changes 0
3600.06/3610.30 c # rounds 2
3600.06/3610.30 c # deted vars 0
3600.06/3610.30 c # deted constrs 8
3600.06/3610.30 c # consecutive rounds of only bound changes 0
3600.06/3610.30 c [STEP] postprocessing with Papilo
3600.06/3610.30 o 39
3600.06/3610.30 s SATISFIABLE
3600.06/3610.30 v -x1 x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 -x19 x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 x132 -x133 -x134 -x135 x136 x137 x138 x139 x140 x141 -x142 -x143 x144 x145 x146 -x147 x148 -x149 x150 -x151 -x152 -x153 x154 -x155 -x156 x157 -x158 x159 x160 x161 x162 -x163 x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 -x183 x184 -x185 x186 -x187 x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 x196 -x197 x198
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: 63708 MiB (60912 MiB free)
memory of node 1: 64465 MiB (63560 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528967-1752257731/watcher-4528967-1752257731 -o /tmp/evaluation-result-4528967-1752257731/solver-4528967-1752257731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122696 --watchdog 3760 mixed-bag HOME/instance-4528967-1752257731.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=123288, runsolver pid=123285
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.10 4.16 4.11 5/263 123289
/proc/meminfo: memFree=127504332/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=102052 memory=30080 CPUtime=0.08 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 3630 0 0 0 8 0 0 0 20 0 1 0 141450622 104501248 7520 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 25513 7520 4288 2834 0 7718 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 102052 KiB
Current children cumulated memory: 30080 KiB
[startup+0.204999 s]*
/proc/loadavg: 4.10 4.16 4.11 5/263 123289
/proc/meminfo: memFree=127496520/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=111356 memory=37888 CPUtime=0.19 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 5593 0 0 0 18 1 0 0 20 0 1 0 141450622 114028544 9472 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 27839 9472 4288 2834 0 10044 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111356 KiB
Current children cumulated memory: 37888 KiB
[startup+0.305371 s]*
/proc/loadavg: 4.10 4.16 4.11 5/263 123289
/proc/meminfo: memFree=127727944/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=111356 memory=37888 CPUtime=0.29 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 5599 0 0 0 28 1 0 0 20 0 1 0 141450622 114028544 9472 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 27839 9472 4288 2834 0 10044 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 111356 KiB
Current children cumulated memory: 37888 KiB
[startup+0.700154 s]
/proc/loadavg: 4.10 4.16 4.11 5/263 123289
/proc/meminfo: memFree=127719880/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=120972 memory=47360 CPUtime=0.68 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 7969 0 0 0 67 1 0 0 20 0 1 0 141450622 123875328 11840 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 30243 11840 4288 2834 0 12448 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 120972 KiB
Current children cumulated memory: 47360 KiB
[startup+1.50015 s]
/proc/loadavg: 4.10 4.16 4.11 5/263 123289
/proc/meminfo: memFree=127720364/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=127216 memory=53264 CPUtime=1.48 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 9534 0 0 0 146 2 0 0 20 0 1 0 141450622 130269184 13316 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 31804 13316 4288 2834 0 14009 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127216 KiB
Current children cumulated memory: 53264 KiB
[startup+3.1053 s]
/proc/loadavg: 4.01 4.14 4.11 4/262 123334
/proc/meminfo: memFree=128618412/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=138112 memory=63760 CPUtime=3.08 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 12160 0 0 0 306 2 0 0 20 0 1 0 141450622 141426688 15940 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 34528 15940 4288 2834 0 16733 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 138112 KiB
Current children cumulated memory: 63760 KiB
[startup+6.30012 s]
/proc/loadavg: 4.01 4.14 4.11 5/264 123365
/proc/meminfo: memFree=128643520/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=144292 memory=71004 CPUtime=6.26 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 14172 0 0 0 624 2 0 0 20 0 1 0 141450622 147755008 17751 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 36073 17751 4288 2834 0 18278 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 144292 KiB
Current children cumulated memory: 71004 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.15 4.11 5/262 123396
/proc/meminfo: memFree=128669964/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=169984 memory=93020 CPUtime=12.64 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 19723 0 0 0 1261 3 0 0 20 0 1 0 141450622 174063616 23255 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 42496 23255 4288 2834 0 24701 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 169984 KiB
Current children cumulated memory: 93020 KiB
[startup+25.5001 s]
/proc/loadavg: 4.07 4.15 4.11 5/262 123396
/proc/meminfo: memFree=128544112/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=201912 memory=124104 CPUtime=25.39 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 28051 0 0 0 2535 4 0 0 20 0 1 0 141450622 206757888 31026 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 50478 31026 4416 2834 0 32683 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 201912 KiB
Current children cumulated memory: 124104 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.15 4.11 5/262 123397
/proc/meminfo: memFree=128349656/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=259020 memory=179736 CPUtime=50.89 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 42982 0 0 0 5081 8 0 0 20 0 1 0 141450622 265236480 44934 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 64755 44934 4416 2834 0 46960 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 259020 KiB
Current children cumulated memory: 179736 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 123400
/proc/meminfo: memFree=128068148/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=362828 memory=282012 CPUtime=101.89 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 70664 0 0 0 10176 13 0 0 20 0 1 0 141450622 371535872 70503 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 90707 70503 4416 2834 0 72912 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 362828 KiB
Current children cumulated memory: 282012 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/266 123411
/proc/meminfo: memFree=127864292/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=428632 memory=349468 CPUtime=161.67 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 86734 0 0 0 16150 17 0 0 20 0 1 0 141450622 438919168 87367 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 107158 87367 4416 2834 0 89363 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 428632 KiB
Current children cumulated memory: 349468 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/266 123413
/proc/meminfo: memFree=127616688/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=501468 memory=425372 CPUtime=221.48 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 104190 0 0 0 22126 22 0 0 20 0 1 0 141450622 513503232 106343 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 125367 106343 4416 2834 0 107572 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 501468 KiB
Current children cumulated memory: 425372 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/266 123415
/proc/meminfo: memFree=127414288/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=581656 memory=501612 CPUtime=281.29 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 124684 0 0 0 28103 26 0 0 20 0 1 0 141450622 595615744 125403 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 145414 125403 4416 2834 0 127619 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 581656 KiB
Current children cumulated memory: 501612 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/266 123417
/proc/meminfo: memFree=127945832/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=368380 memory=301036 CPUtime=341.13 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 128455 0 0 0 34040 73 0 0 20 0 1 0 141450622 377221120 75259 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 92095 75259 4576 2834 0 74300 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 368380 KiB
Current children cumulated memory: 301036 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 123419
/proc/meminfo: memFree=127950172/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=368380 memory=304512 CPUtime=400.98 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 128804 0 0 0 39981 117 0 0 20 0 1 0 141450622 377221120 76128 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 92095 76128 4576 2834 0 74300 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 368380 KiB
Current children cumulated memory: 304512 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 123420
/proc/meminfo: memFree=127931536/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=375560 memory=306560 CPUtime=460.84 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 129317 0 0 0 45926 158 0 0 20 0 1 0 141450622 384573440 76640 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 93890 76640 4576 2834 0 76095 0
################
# More data... #
################
Current children cumulated memory: 327840 KiB
[startup+2922.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 123550
/proc/meminfo: memFree=127922364/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=328224 CPUtime=2913.76 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130698 0 0 0 290592 784 0 0 20 0 1 0 141450622 415952896 82056 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 82056 4576 2834 0 83756 0
Current children cumulated CPU time: 2913.76 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 328224 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 123552
/proc/meminfo: memFree=127925832/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=328224 CPUtime=2973.62 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130698 0 0 0 296567 795 0 0 20 0 1 0 141450622 415952896 82056 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 82056 4576 2834 0 83756 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 328224 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/262 123553
/proc/meminfo: memFree=127921128/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=328224 CPUtime=3033.46 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130698 0 0 0 302542 804 0 0 20 0 1 0 141450622 415952896 82056 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 82056 4576 2834 0 83756 0
Current children cumulated CPU time: 3033.46 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 328224 KiB
[startup+3102.3 s]
/proc/loadavg: 4.31 4.17 4.12 5/263 123556
/proc/meminfo: memFree=127921256/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=328224 CPUtime=3093.32 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130698 0 0 0 308517 815 0 0 20 0 1 0 141450622 415952896 82056 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 82056 4576 2834 0 83756 0
Current children cumulated CPU time: 3093.32 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 328224 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/264 123565
/proc/meminfo: memFree=127921504/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=330324 CPUtime=3153.17 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130699 0 0 0 314493 824 0 0 20 0 1 0 141450622 415952896 82581 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 82581 4576 2834 0 83756 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 330324 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/264 123567
/proc/meminfo: memFree=127921488/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=330324 CPUtime=3213.01 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130699 0 0 0 320466 835 0 0 20 0 1 0 141450622 415952896 82581 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 82581 4576 2834 0 83756 0
Current children cumulated CPU time: 3213.01 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 330324 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/264 123569
/proc/meminfo: memFree=127921128/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=330324 CPUtime=3272.87 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130699 0 0 0 326442 845 0 0 20 0 1 0 141450622 415952896 82581 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 82581 4576 2834 0 83756 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 330324 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 123571
/proc/meminfo: memFree=127921728/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=330324 CPUtime=3332.72 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130699 0 0 0 332417 855 0 0 20 0 1 0 141450622 415952896 82581 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 82581 4576 2834 0 83756 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 330324 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 123573
/proc/meminfo: memFree=127916760/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=332372 CPUtime=3392.57 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130700 0 0 0 338391 866 0 0 20 0 1 0 141450622 415952896 83093 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 83093 4576 2834 0 83756 0
Current children cumulated CPU time: 3392.57 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 332372 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/262 123575
/proc/meminfo: memFree=127917868/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=332372 CPUtime=3452.42 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130700 0 0 0 344368 874 0 0 20 0 1 0 141450622 415952896 83093 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 83093 4576 2834 0 83756 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 332372 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/263 123578
/proc/meminfo: memFree=127916632/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=332372 CPUtime=3512.27 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130700 0 0 0 350346 881 0 0 20 0 1 0 141450622 415952896 83093 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 83093 4576 2834 0 83756 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 332372 KiB
[startup+3582.3 s]
/proc/loadavg: 4.48 4.21 4.12 5/263 123580
/proc/meminfo: memFree=127917996/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=332372 CPUtime=3572.12 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130752 0 0 0 356324 888 0 0 20 0 1 0 141450622 415952896 83093 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 83093 4576 2834 0 83756 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 332372 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.29 4.19 4.12 5/264 123582
/proc/meminfo: memFree=127917884/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=332372 CPUtime=3600.06 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130768 0 0 0 359114 892 0 0 20 0 1 0 141450622 415952896 83093 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 83093 4576 2834 0 83756 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 332372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 123288 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.15 s, system=8.92463 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.29 4.19 4.12 5/264 123582
/proc/meminfo: memFree=127917884/131249996 swapFree=33006296/33010684
[pid=123288] ppid=123285 vsize=406204 memory=332372 CPUtime=3600.06 cores=1,3
/proc/123288/stat : 123288 (mixed-bag) R 123285 123288 122684 0 -1 4194304 130768 0 0 0 359114 892 0 0 20 0 1 0 141450622 415952896 83093 18446744073709551615 4235264 15840557 140732712618736 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 56455168 140732712622490 140732712622567 140732712622567 140732712628171 0
/proc/123288/statm: 101551 83093 4576 2834 0 83756 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 406204 KiB
Current children cumulated memory: 332372 KiB
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.07
CPU user time (s): 3591.15
CPU system time (s): 8.92463
CPU usage (%): 99.7165
Max. virtual memory (cumulated for all children) (KiB): 596200
Max. memory (cumulated for all children) (KiB): 515496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.15
system time used= 8.92463
maximum resident set size= 515496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130796
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= 235
involuntary context switches= 4934
# summary of solver processes directly reported to runsolver:
# pid: 123288
# total CPU time (s): 3600.07
# total CPU user time (s): 3591.15
# total CPU system time (s): 8.92463
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33148 second user time and 15.0087 second system time
The end
Begin job on nodeC015 at 2025-07-11 20:15:31
IDJOB=4528967
IDBENCH=147593
IDSOLVER=3386
FILE ID=nodeC015/4528967-1752257731
RUNJOBID= nodeC015-1752253809-122696
SLURM_JOB_ID= 9682590
Free space on /tmp= 432212 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528967-1752257731/watcher-4528967-1752257731 -o /tmp/evaluation-result-4528967-1752257731/solver-4528967-1752257731 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1752253809-122696 --watchdog 3760 mixed-bag HOME/instance-4528967-1752257731.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c109c801c35aa8e8336c6dae8cef540e
RANDOM SEED=274572916
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.061
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.054
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3576.868
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.385
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.521
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.967
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127423304 kB
MemAvailable: 128508600 kB
Buffers: 1508 kB
Cached: 1864440 kB
SwapCached: 3880 kB
Active: 1501732 kB
Inactive: 1615024 kB
Active(anon): 1216236 kB
Inactive(anon): 48724 kB
Active(file): 285496 kB
Inactive(file): 1566300 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15780 kB
Writeback: 12 kB
AnonPages: 1248860 kB
Mapped: 116344 kB
Shmem: 14152 kB
KReclaimable: 145476 kB
Slab: 239264 kB
SReclaimable: 145476 kB
SUnreclaim: 93788 kB
KernelStack: 4320 kB
PageTables: 5828 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1705556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 675840 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432356 MiB
End job on nodeC015 at 2025-07-11 21:15:42