0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
299.07/300.48 c [STEP] preprocessing done, loading into solver
299.07/300.48 c [STEP] solving
299.07/300.48 c #variables 173 #constraints 14
299.07/300.48 c SMALL=int, LARGE=long long
299.07/300.48 d SCIPUB 30
299.07/300.48 c bounds - >= 0 @ 298.933
299.07/300.48 c stratification level: 16
313.02/314.44 c #Conflicts: 1000 | #Constraints: 1014
313.02/314.44 c #Conflicts: 2000 | #Constraints: 2014
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 3000 | #Constraints: 2017
313.02/314.44 c #Conflicts: 4000 | #Constraints: 3017
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 5000 | #Constraints: 2420
313.02/314.44 c #Conflicts: 6000 | #Constraints: 3420
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 7000 | #Constraints: 2422
313.02/314.44 c #Conflicts: 8000 | #Constraints: 3422
313.02/314.44 c #Conflicts: 9000 | #Constraints: 4422
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 10000 | #Constraints: 3123
313.02/314.44 c #Conflicts: 11000 | #Constraints: 4123
313.02/314.44 c #Conflicts: 12000 | #Constraints: 5123
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 13000 | #Constraints: 3573
313.02/314.44 c #Conflicts: 14000 | #Constraints: 4573
313.02/314.44 c #Conflicts: 15000 | #Constraints: 5573
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 16000 | #Constraints: 3803
313.02/314.44 c #Conflicts: 17000 | #Constraints: 4803
313.02/314.44 c #Conflicts: 18000 | #Constraints: 5803
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 19000 | #Constraints: 3817
313.02/314.44 c #Conflicts: 20000 | #Constraints: 4817
313.02/314.44 c #Conflicts: 21000 | #Constraints: 5817
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 22000 | #Constraints: 3620
313.02/314.44 c #Conflicts: 23000 | #Constraints: 4620
313.02/314.44 c #Conflicts: 24000 | #Constraints: 5620
313.02/314.44 c #Conflicts: 25000 | #Constraints: 6620
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 26000 | #Constraints: 4226
313.02/314.44 c #Conflicts: 27000 | #Constraints: 5226
313.02/314.44 c #Conflicts: 28000 | #Constraints: 6226
313.02/314.44 c #Conflicts: 29000 | #Constraints: 7226
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 30000 | #Constraints: 4627
313.02/314.44 c #Conflicts: 31000 | #Constraints: 5627
313.02/314.44 c #Conflicts: 32000 | #Constraints: 6627
313.02/314.44 c #Conflicts: 33000 | #Constraints: 7627
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 34000 | #Constraints: 4830
313.02/314.44 c #Conflicts: 35000 | #Constraints: 5830
313.02/314.44 c #Conflicts: 36000 | #Constraints: 6830
313.02/314.44 c #Conflicts: 37000 | #Constraints: 7830
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 38000 | #Constraints: 4830
313.02/314.44 c #Conflicts: 39000 | #Constraints: 5830
313.02/314.44 c #Conflicts: 40000 | #Constraints: 6830
313.02/314.44 c #Conflicts: 41000 | #Constraints: 7830
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 42000 | #Constraints: 4634
313.02/314.44 c #Conflicts: 43000 | #Constraints: 5634
313.02/314.44 c #Conflicts: 44000 | #Constraints: 6634
313.02/314.44 c #Conflicts: 45000 | #Constraints: 7634
313.02/314.44 c #Conflicts: 46000 | #Constraints: 8634
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 47000 | #Constraints: 5230
313.02/314.44 c #Conflicts: 48000 | #Constraints: 6230
313.02/314.44 c #Conflicts: 49000 | #Constraints: 7230
313.02/314.44 c #Conflicts: 50000 | #Constraints: 8230
313.02/314.44 c #Conflicts: 51000 | #Constraints: 9230
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 52000 | #Constraints: 5633
313.02/314.44 c #Conflicts: 53000 | #Constraints: 6633
313.02/314.44 c #Conflicts: 54000 | #Constraints: 7633
313.02/314.44 c #Conflicts: 55000 | #Constraints: 8633
313.02/314.44 c #Conflicts: 56000 | #Constraints: 9633
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 57000 | #Constraints: 5832
313.02/314.44 c #Conflicts: 58000 | #Constraints: 6832
313.02/314.44 c #Conflicts: 59000 | #Constraints: 7832
313.02/314.44 c #Conflicts: 60000 | #Constraints: 8832
313.02/314.44 c #Conflicts: 61000 | #Constraints: 9832
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 62000 | #Constraints: 5830
313.02/314.44 c #Conflicts: 63000 | #Constraints: 6830
313.02/314.44 c #Conflicts: 64000 | #Constraints: 7830
313.02/314.44 c #Conflicts: 65000 | #Constraints: 8830
313.02/314.44 c #Conflicts: 66000 | #Constraints: 9830
313.02/314.44 c INPROCESSING
313.02/314.44 c GARBAGE COLLECT
313.02/314.44 c #Conflicts: 67000 | #Constraints: 5631
313.02/314.44 c #Conflicts: 68000 | #Constraints: 6631
341.84/343.37 c #Conflicts: 69000 | #Constraints: 7631
341.84/343.37 c #Conflicts: 70000 | #Constraints: 8631
341.84/343.37 c #Conflicts: 71000 | #Constraints: 9631
341.84/343.37 c #Conflicts: 72000 | #Constraints: 10631
341.84/343.37 c INPROCESSING
341.84/343.37 c GARBAGE COLLECT
341.84/343.37 c #Conflicts: 73000 | #Constraints: 6227
341.84/343.37 c #Conflicts: 74000 | #Constraints: 7227
341.84/343.37 c #Conflicts: 75000 | #Constraints: 8227
341.84/343.37 c #Conflicts: 76000 | #Constraints: 9227
341.84/343.37 c #Conflicts: 77000 | #Constraints: 10227
341.84/343.37 c #Conflicts: 78000 | #Constraints: 11227
341.84/343.37 c INPROCESSING
341.84/343.37 c GARBAGE COLLECT
341.84/343.37 c #Conflicts: 79000 | #Constraints: 6629
341.84/343.37 c #Conflicts: 80000 | #Constraints: 7629
341.84/343.37 c #Conflicts: 81000 | #Constraints: 8629
341.84/343.37 c #Conflicts: 82000 | #Constraints: 9629
341.84/343.37 c #Conflicts: 83000 | #Constraints: 10629
341.84/343.37 c #Conflicts: 84000 | #Constraints: 11629
341.84/343.37 c INPROCESSING
341.84/343.37 c GARBAGE COLLECT
341.84/343.37 c #Conflicts: 85000 | #Constraints: 6831
341.84/343.37 c #Conflicts: 86000 | #Constraints: 7831
341.84/343.37 c #Conflicts: 87000 | #Constraints: 8831
341.84/343.37 c #Conflicts: 88000 | #Constraints: 9831
341.84/343.37 c #Conflicts: 89000 | #Constraints: 10831
341.84/343.37 c #Conflicts: 90000 | #Constraints: 11831
341.84/343.37 c INPROCESSING
341.84/343.37 c GARBAGE COLLECT
341.84/343.37 c #Conflicts: 91000 | #Constraints: 6829
341.84/343.37 c #Conflicts: 92000 | #Constraints: 7829
341.84/343.37 c #Conflicts: 93000 | #Constraints: 8829
341.84/343.37 c #Conflicts: 94000 | #Constraints: 9829
341.84/343.37 c #Conflicts: 95000 | #Constraints: 10829
341.84/343.37 c #Conflicts: 96000 | #Constraints: 11829
341.84/343.37 c INPROCESSING
341.84/343.37 c GARBAGE COLLECT
341.84/343.37 c #Conflicts: 97000 | #Constraints: 6635
341.84/343.37 c #Conflicts: 98000 | #Constraints: 7635
341.84/343.37 c #Conflicts: 99000 | #Constraints: 8635
341.84/343.37 c #Conflicts: 100000 | #Constraints: 9635
341.84/343.37 c #Conflicts: 101000 | #Constraints: 10635
341.84/343.37 c #Conflicts: 102000 | #Constraints: 11635
341.84/343.37 c #Conflicts: 103000 | #Constraints: 12635
341.84/343.37 c INPROCESSING
341.84/343.37 c GARBAGE COLLECT
341.84/343.37 c #Conflicts: 104000 | #Constraints: 7235
341.84/343.37 c #Conflicts: 105000 | #Constraints: 8235
341.84/343.37 c #Conflicts: 106000 | #Constraints: 9235
341.84/343.37 c #Conflicts: 107000 | #Constraints: 10235
341.84/343.37 c #Conflicts: 108000 | #Constraints: 11235
341.84/343.37 c #Conflicts: 109000 | #Constraints: 12235
341.84/343.37 c #Conflicts: 110000 | #Constraints: 13235
341.84/343.37 c INPROCESSING
341.84/343.37 c GARBAGE COLLECT
341.84/343.37 c #Conflicts: 111000 | #Constraints: 7637
341.84/343.37 c #Conflicts: 112000 | #Constraints: 8637
341.84/343.37 c #Conflicts: 113000 | #Constraints: 9637
341.84/343.37 c #Conflicts: 114000 | #Constraints: 10637
341.84/343.37 c #Conflicts: 115000 | #Constraints: 11637
341.84/343.37 c #Conflicts: 116000 | #Constraints: 12637
341.84/343.37 c #Conflicts: 117000 | #Constraints: 13637
341.84/343.37 c INPROCESSING
341.84/343.37 c GARBAGE COLLECT
341.84/343.37 c #Conflicts: 118000 | #Constraints: 7833
341.84/343.37 c #Conflicts: 119000 | #Constraints: 8833
341.84/343.37 c #Conflicts: 120000 | #Constraints: 9833
341.84/343.37 c #Conflicts: 121000 | #Constraints: 10833
341.84/343.37 c #Conflicts: 122000 | #Constraints: 11833
341.84/343.37 c #Conflicts: 123000 | #Constraints: 12833
341.84/343.37 c #Conflicts: 124000 | #Constraints: 13833
341.84/343.37 c INPROCESSING
341.84/343.37 c GARBAGE COLLECT
341.84/343.37 c #Conflicts: 125000 | #Constraints: 7831
341.84/343.37 c #Conflicts: 126000 | #Constraints: 8831
341.84/343.37 c #Conflicts: 127000 | #Constraints: 9831
341.84/343.37 c #Conflicts: 128000 | #Constraints: 10831
341.84/343.37 c #Conflicts: 129000 | #Constraints: 11831
341.84/343.37 c #Conflicts: 130000 | #Constraints: 12831
341.84/343.37 c #Conflicts: 131000 | #Constraints: 13831
341.84/343.37 c INPROCESSING
341.84/343.37 c GARBAGE COLLECT
341.84/343.37 c #Conflicts: 132000 | #Constraints: 7631
341.84/343.37 c #Conflicts: 133000 | #Constraints: 8631
341.84/343.37 c #Conflicts: 134000 | #Constraints: 9631
341.84/343.37 c #Conflicts: 135000 | #Constraints: 10631
341.84/343.37 c #Conflicts: 136000 | #Constraints: 11631
341.84/343.37 c #Conflicts: 137000 | #Constraints: 12631
341.84/343.37 c #Conflicts: 138000 | #Constraints: 13631
341.84/343.37 c #Conflicts: 139000 | #Constraints: 14631
341.84/343.37 c INPROCESSING
341.84/343.37 c GARBAGE COLLECT
341.84/343.37 c #Conflicts: 140000 | #Constraints: 8235
378.43/380.02 c #Conflicts: 141000 | #Constraints: 9235
378.43/380.02 c #Conflicts: 142000 | #Constraints: 10235
378.43/380.02 c #Conflicts: 143000 | #Constraints: 11235
378.43/380.02 c #Conflicts: 144000 | #Constraints: 12235
378.43/380.02 c #Conflicts: 145000 | #Constraints: 13235
378.43/380.02 c #Conflicts: 146000 | #Constraints: 14235
378.43/380.02 c #Conflicts: 147000 | #Constraints: 15235
378.43/380.02 c INPROCESSING
378.43/380.02 c GARBAGE COLLECT
378.43/380.02 c #Conflicts: 148000 | #Constraints: 8635
378.43/380.02 c #Conflicts: 149000 | #Constraints: 9635
378.43/380.02 c #Conflicts: 150000 | #Constraints: 10635
378.43/380.02 c #Conflicts: 151000 | #Constraints: 11635
378.43/380.02 c #Conflicts: 152000 | #Constraints: 12635
378.43/380.02 c #Conflicts: 153000 | #Constraints: 13635
378.43/380.02 c #Conflicts: 154000 | #Constraints: 14635
378.43/380.02 c #Conflicts: 155000 | #Constraints: 15635
378.43/380.02 c INPROCESSING
378.43/380.02 c GARBAGE COLLECT
378.43/380.02 c #Conflicts: 156000 | #Constraints: 8836
378.43/380.02 c #Conflicts: 157000 | #Constraints: 9836
378.43/380.02 c #Conflicts: 158000 | #Constraints: 10836
378.43/380.02 c #Conflicts: 159000 | #Constraints: 11836
378.43/380.02 c #Conflicts: 160000 | #Constraints: 12836
378.43/380.02 c #Conflicts: 161000 | #Constraints: 13836
378.43/380.02 c #Conflicts: 162000 | #Constraints: 14836
378.43/380.02 c #Conflicts: 163000 | #Constraints: 15836
378.43/380.02 c INPROCESSING
378.43/380.02 c GARBAGE COLLECT
378.43/380.02 c #Conflicts: 164000 | #Constraints: 8837
378.43/380.02 c #Conflicts: 165000 | #Constraints: 9837
378.43/380.02 c #Conflicts: 166000 | #Constraints: 10837
378.43/380.02 c #Conflicts: 167000 | #Constraints: 11837
378.43/380.02 c #Conflicts: 168000 | #Constraints: 12837
378.43/380.02 c #Conflicts: 169000 | #Constraints: 13837
378.43/380.02 c #Conflicts: 170000 | #Constraints: 14837
378.43/380.02 c #Conflicts: 171000 | #Constraints: 15837
378.43/380.02 c INPROCESSING
378.43/380.02 c GARBAGE COLLECT
378.43/380.02 c #Conflicts: 172000 | #Constraints: 8636
378.43/380.02 c #Conflicts: 173000 | #Constraints: 9636
378.43/380.02 c #Conflicts: 174000 | #Constraints: 10636
378.43/380.02 c #Conflicts: 175000 | #Constraints: 11636
378.43/380.02 c #Conflicts: 176000 | #Constraints: 12636
378.43/380.02 c #Conflicts: 177000 | #Constraints: 13636
378.43/380.02 c #Conflicts: 178000 | #Constraints: 14636
378.43/380.02 c #Conflicts: 179000 | #Constraints: 15636
378.43/380.02 c #Conflicts: 180000 | #Constraints: 16636
378.43/380.02 c INPROCESSING
378.43/380.02 c GARBAGE COLLECT
378.43/380.02 c #Conflicts: 181000 | #Constraints: 9234
378.43/380.02 c #Conflicts: 182000 | #Constraints: 10234
378.43/380.02 c #Conflicts: 183000 | #Constraints: 11234
378.43/380.02 c #Conflicts: 184000 | #Constraints: 12234
378.43/380.02 c #Conflicts: 185000 | #Constraints: 13234
378.43/380.02 c #Conflicts: 186000 | #Constraints: 14234
378.43/380.02 c #Conflicts: 187000 | #Constraints: 15234
378.43/380.02 c #Conflicts: 188000 | #Constraints: 16234
378.43/380.02 c #Conflicts: 189000 | #Constraints: 17234
378.43/380.02 c INPROCESSING
378.43/380.02 c GARBAGE COLLECT
378.43/380.02 c #Conflicts: 190000 | #Constraints: 9636
378.43/380.02 c #Conflicts: 191000 | #Constraints: 10636
378.43/380.02 c #Conflicts: 192000 | #Constraints: 11636
378.43/380.02 c #Conflicts: 193000 | #Constraints: 12636
378.43/380.02 c #Conflicts: 194000 | #Constraints: 13636
378.43/380.02 c #Conflicts: 195000 | #Constraints: 14636
378.43/380.02 c #Conflicts: 196000 | #Constraints: 15636
378.43/380.02 c #Conflicts: 197000 | #Constraints: 16636
378.43/380.02 c #Conflicts: 198000 | #Constraints: 17636
378.43/380.02 c INPROCESSING
378.43/380.02 c GARBAGE COLLECT
378.43/380.02 c #Conflicts: 199000 | #Constraints: 9841
378.43/380.02 c #Conflicts: 200000 | #Constraints: 10841
378.43/380.02 c #Conflicts: 201000 | #Constraints: 11841
378.43/380.02 c #Conflicts: 202000 | #Constraints: 12841
378.43/380.02 c #Conflicts: 203000 | #Constraints: 13841
378.43/380.02 c #Conflicts: 204000 | #Constraints: 14841
378.43/380.02 c #Conflicts: 205000 | #Constraints: 15841
378.43/380.02 c #Conflicts: 206000 | #Constraints: 16841
378.43/380.02 c #Conflicts: 207000 | #Constraints: 17841
378.43/380.02 c INPROCESSING
378.43/380.02 c GARBAGE COLLECT
378.43/380.02 c #Conflicts: 208000 | #Constraints: 9842
378.43/380.02 c #Conflicts: 209000 | #Constraints: 10842
378.43/380.02 c #Conflicts: 210000 | #Constraints: 11842
378.43/380.02 c #Conflicts: 211000 | #Constraints: 12842
378.43/380.02 c #Conflicts: 212000 | #Constraints: 13842
378.43/380.02 c #Conflicts: 213000 | #Constraints: 14842
425.08/426.80 c #Conflicts: 214000 | #Constraints: 15842
425.08/426.80 c #Conflicts: 215000 | #Constraints: 16842
425.08/426.80 c #Conflicts: 216000 | #Constraints: 17842
425.08/426.80 c INPROCESSING
425.08/426.80 c GARBAGE COLLECT
425.08/426.80 c #Conflicts: 217000 | #Constraints: 9638
425.08/426.80 c #Conflicts: 218000 | #Constraints: 10638
425.08/426.80 c #Conflicts: 219000 | #Constraints: 11638
425.08/426.80 c #Conflicts: 220000 | #Constraints: 12638
425.08/426.80 c #Conflicts: 221000 | #Constraints: 13638
425.08/426.80 c #Conflicts: 222000 | #Constraints: 14638
425.08/426.80 c #Conflicts: 223000 | #Constraints: 15638
425.08/426.80 c #Conflicts: 224000 | #Constraints: 16638
425.08/426.80 c #Conflicts: 225000 | #Constraints: 17638
425.08/426.80 c #Conflicts: 226000 | #Constraints: 18638
425.08/426.80 c INPROCESSING
425.08/426.80 c GARBAGE COLLECT
425.08/426.80 c #Conflicts: 227000 | #Constraints: 10243
425.08/426.80 c #Conflicts: 228000 | #Constraints: 11243
425.08/426.80 c #Conflicts: 229000 | #Constraints: 12243
425.08/426.80 c #Conflicts: 230000 | #Constraints: 13243
425.08/426.80 c #Conflicts: 231000 | #Constraints: 14243
425.08/426.80 c #Conflicts: 232000 | #Constraints: 15243
425.08/426.80 c #Conflicts: 233000 | #Constraints: 16243
425.08/426.80 c #Conflicts: 234000 | #Constraints: 17243
425.08/426.80 c #Conflicts: 235000 | #Constraints: 18243
425.08/426.80 c #Conflicts: 236000 | #Constraints: 19243
425.08/426.80 c INPROCESSING
425.08/426.80 c GARBAGE COLLECT
425.08/426.80 c #Conflicts: 237000 | #Constraints: 10639
425.08/426.80 c #Conflicts: 238000 | #Constraints: 11639
425.08/426.80 c #Conflicts: 239000 | #Constraints: 12639
425.08/426.80 c #Conflicts: 240000 | #Constraints: 13639
425.08/426.80 c #Conflicts: 241000 | #Constraints: 14639
425.08/426.80 c #Conflicts: 242000 | #Constraints: 15639
425.08/426.80 c #Conflicts: 243000 | #Constraints: 16639
425.08/426.80 c #Conflicts: 244000 | #Constraints: 17639
425.08/426.80 c #Conflicts: 245000 | #Constraints: 18639
425.08/426.80 c #Conflicts: 246000 | #Constraints: 19639
425.08/426.80 c INPROCESSING
425.08/426.80 c GARBAGE COLLECT
425.08/426.80 c #Conflicts: 247000 | #Constraints: 10836
425.08/426.80 c #Conflicts: 248000 | #Constraints: 11836
425.08/426.80 c #Conflicts: 249000 | #Constraints: 12836
425.08/426.80 c #Conflicts: 250000 | #Constraints: 13836
425.08/426.80 c #Conflicts: 251000 | #Constraints: 14836
425.08/426.80 c #Conflicts: 252000 | #Constraints: 15836
425.08/426.80 c #Conflicts: 253000 | #Constraints: 16836
425.08/426.80 c #Conflicts: 254000 | #Constraints: 17836
425.08/426.80 c #Conflicts: 255000 | #Constraints: 18836
425.08/426.80 c #Conflicts: 256000 | #Constraints: 19836
425.08/426.80 c INPROCESSING
425.08/426.80 c GARBAGE COLLECT
425.08/426.80 c #Conflicts: 257000 | #Constraints: 10838
425.08/426.80 c #Conflicts: 258000 | #Constraints: 11838
425.08/426.80 c #Conflicts: 259000 | #Constraints: 12838
425.08/426.80 c #Conflicts: 260000 | #Constraints: 13838
425.08/426.80 c #Conflicts: 261000 | #Constraints: 14838
425.08/426.80 c #Conflicts: 262000 | #Constraints: 15838
425.08/426.80 c #Conflicts: 263000 | #Constraints: 16838
425.08/426.80 c #Conflicts: 264000 | #Constraints: 17838
425.08/426.80 c #Conflicts: 265000 | #Constraints: 18838
425.08/426.80 c #Conflicts: 266000 | #Constraints: 19838
425.08/426.80 c INPROCESSING
425.08/426.80 c GARBAGE COLLECT
425.08/426.80 c #Conflicts: 267000 | #Constraints: 10637
425.08/426.80 c #Conflicts: 268000 | #Constraints: 11637
425.08/426.80 c #Conflicts: 269000 | #Constraints: 12637
425.08/426.80 c #Conflicts: 270000 | #Constraints: 13637
425.08/426.80 c #Conflicts: 271000 | #Constraints: 14637
425.08/426.80 c #Conflicts: 272000 | #Constraints: 15637
425.08/426.80 c #Conflicts: 273000 | #Constraints: 16637
425.08/426.80 c #Conflicts: 274000 | #Constraints: 17637
425.08/426.80 c #Conflicts: 275000 | #Constraints: 18637
425.08/426.80 c #Conflicts: 276000 | #Constraints: 19637
425.08/426.80 c #Conflicts: 277000 | #Constraints: 20637
425.08/426.80 c INPROCESSING
425.08/426.80 c GARBAGE COLLECT
425.08/426.80 c #Conflicts: 278000 | #Constraints: 11234
425.08/426.80 c #Conflicts: 279000 | #Constraints: 12234
425.08/426.80 c #Conflicts: 280000 | #Constraints: 13234
425.08/426.80 c #Conflicts: 281000 | #Constraints: 14234
425.08/426.80 c #Conflicts: 282000 | #Constraints: 15234
425.08/426.80 c #Conflicts: 283000 | #Constraints: 16234
425.08/426.80 c #Conflicts: 284000 | #Constraints: 17234
425.08/426.80 c #Conflicts: 285000 | #Constraints: 18234
425.08/426.80 c #Conflicts: 286000 | #Constraints: 19234
425.08/426.80 c #Conflicts: 287000 | #Constraints: 20234
425.08/426.80 c #Conflicts: 288000 | #Constraints: 21234
426.28/428.08 c INPROCESSING
426.28/428.08 c GARBAGE COLLECT
426.28/428.08 c #Conflicts: 289000 | #Constraints: 11635
426.28/428.08 c #Conflicts: 290000 | #Constraints: 12635
426.28/428.08 c bounds 29 >= 0 @ 425.056
426.28/428.08 c stratification level: 8
466.95/468.88 c #Conflicts: 291000 | #Constraints: 13636
466.95/468.88 c #Conflicts: 292000 | #Constraints: 14636
466.95/468.88 c #Conflicts: 293000 | #Constraints: 15636
466.95/468.88 c #Conflicts: 294000 | #Constraints: 16636
466.95/468.88 c #Conflicts: 295000 | #Constraints: 17636
466.95/468.88 c #Conflicts: 296000 | #Constraints: 18636
466.95/468.88 c #Conflicts: 297000 | #Constraints: 19636
466.95/468.88 c #Conflicts: 298000 | #Constraints: 20636
466.95/468.88 c #Conflicts: 299000 | #Constraints: 21636
466.95/468.88 c INPROCESSING
466.95/468.88 c GARBAGE COLLECT
466.95/468.88 c #Conflicts: 300000 | #Constraints: 11836
466.95/468.88 c #Conflicts: 301000 | #Constraints: 12836
466.95/468.88 c #Conflicts: 302000 | #Constraints: 13836
466.95/468.88 c #Conflicts: 303000 | #Constraints: 14836
466.95/468.88 c #Conflicts: 304000 | #Constraints: 15836
466.95/468.88 c #Conflicts: 305000 | #Constraints: 16836
466.95/468.88 c #Conflicts: 306000 | #Constraints: 17836
466.95/468.88 c #Conflicts: 307000 | #Constraints: 18836
466.95/468.88 c #Conflicts: 308000 | #Constraints: 19836
466.95/468.88 c #Conflicts: 309000 | #Constraints: 20836
466.95/468.88 c #Conflicts: 310000 | #Constraints: 21836
466.95/468.88 c INPROCESSING
466.95/468.88 c GARBAGE COLLECT
466.95/468.88 c #Conflicts: 311000 | #Constraints: 11835
466.95/468.88 c #Conflicts: 312000 | #Constraints: 12835
466.95/468.88 c #Conflicts: 313000 | #Constraints: 13835
466.95/468.88 c #Conflicts: 314000 | #Constraints: 14835
466.95/468.88 c #Conflicts: 315000 | #Constraints: 15835
466.95/468.88 c #Conflicts: 316000 | #Constraints: 16835
466.95/468.88 c #Conflicts: 317000 | #Constraints: 17835
466.95/468.88 c #Conflicts: 318000 | #Constraints: 18835
466.95/468.88 c #Conflicts: 319000 | #Constraints: 19835
466.95/468.88 c #Conflicts: 320000 | #Constraints: 20835
466.95/468.88 c #Conflicts: 321000 | #Constraints: 21835
466.95/468.88 c INPROCESSING
466.95/468.88 c GARBAGE COLLECT
466.95/468.88 c #Conflicts: 322000 | #Constraints: 11636
466.95/468.88 c #Conflicts: 323000 | #Constraints: 12636
466.95/468.88 c #Conflicts: 324000 | #Constraints: 13636
466.95/468.88 c #Conflicts: 325000 | #Constraints: 14636
466.95/468.88 c #Conflicts: 326000 | #Constraints: 15636
466.95/468.88 c #Conflicts: 327000 | #Constraints: 16636
466.95/468.88 c #Conflicts: 328000 | #Constraints: 17636
466.95/468.88 c #Conflicts: 329000 | #Constraints: 18636
466.95/468.88 c #Conflicts: 330000 | #Constraints: 19636
466.95/468.88 c #Conflicts: 331000 | #Constraints: 20636
466.95/468.88 c #Conflicts: 332000 | #Constraints: 21636
466.95/468.88 c #Conflicts: 333000 | #Constraints: 22636
466.95/468.88 c INPROCESSING
466.95/468.88 c GARBAGE COLLECT
466.95/468.88 c #Conflicts: 334000 | #Constraints: 12233
466.95/468.88 c #Conflicts: 335000 | #Constraints: 13233
466.95/468.88 c #Conflicts: 336000 | #Constraints: 14233
466.95/468.88 c #Conflicts: 337000 | #Constraints: 15233
466.95/468.88 c #Conflicts: 338000 | #Constraints: 16233
466.95/468.88 c #Conflicts: 339000 | #Constraints: 17233
466.95/468.88 c #Conflicts: 340000 | #Constraints: 18233
466.95/468.88 c #Conflicts: 341000 | #Constraints: 19233
466.95/468.88 c #Conflicts: 342000 | #Constraints: 20233
466.95/468.88 c bounds 21 >= 0 @ 465.497
466.95/468.88 c stratification level: 4
536.41/538.55 c #Conflicts: 343000 | #Constraints: 21234
536.41/538.55 c #Conflicts: 344000 | #Constraints: 22234
536.41/538.55 c #Conflicts: 345000 | #Constraints: 23234
536.41/538.55 c INPROCESSING
536.41/538.55 c GARBAGE COLLECT
536.41/538.55 c #Conflicts: 346000 | #Constraints: 12630
536.41/538.55 c #Conflicts: 347000 | #Constraints: 13630
536.41/538.55 c #Conflicts: 348000 | #Constraints: 14630
536.41/538.55 c #Conflicts: 349000 | #Constraints: 15630
536.41/538.55 c #Conflicts: 350000 | #Constraints: 16630
536.41/538.55 c #Conflicts: 351000 | #Constraints: 17630
536.41/538.55 c #Conflicts: 352000 | #Constraints: 18630
536.41/538.55 c #Conflicts: 353000 | #Constraints: 19630
536.41/538.55 c #Conflicts: 354000 | #Constraints: 20630
536.41/538.55 c #Conflicts: 355000 | #Constraints: 21630
536.41/538.55 c #Conflicts: 356000 | #Constraints: 22630
536.41/538.55 c #Conflicts: 357000 | #Constraints: 23630
536.41/538.55 c INPROCESSING
536.41/538.55 c GARBAGE COLLECT
536.41/538.55 c #Conflicts: 358000 | #Constraints: 12829
536.41/538.55 c #Conflicts: 359000 | #Constraints: 13829
536.41/538.55 c #Conflicts: 360000 | #Constraints: 14829
536.41/538.55 c #Conflicts: 361000 | #Constraints: 15829
536.41/538.55 c #Conflicts: 362000 | #Constraints: 16829
536.41/538.55 c #Conflicts: 363000 | #Constraints: 17829
536.41/538.55 c #Conflicts: 364000 | #Constraints: 18829
536.41/538.55 c #Conflicts: 365000 | #Constraints: 19829
536.41/538.55 c #Conflicts: 366000 | #Constraints: 20829
536.41/538.55 c #Conflicts: 367000 | #Constraints: 21829
536.41/538.55 c #Conflicts: 368000 | #Constraints: 22829
536.41/538.55 c #Conflicts: 369000 | #Constraints: 23829
536.41/538.55 c INPROCESSING
536.41/538.55 c GARBAGE COLLECT
536.41/538.55 c #Conflicts: 370000 | #Constraints: 12831
536.41/538.55 c #Conflicts: 371000 | #Constraints: 13831
536.41/538.55 c #Conflicts: 372000 | #Constraints: 14831
536.41/538.55 c #Conflicts: 373000 | #Constraints: 15831
536.41/538.55 c #Conflicts: 374000 | #Constraints: 16831
536.41/538.55 c #Conflicts: 375000 | #Constraints: 17831
536.41/538.55 c #Conflicts: 376000 | #Constraints: 18831
536.41/538.55 c #Conflicts: 377000 | #Constraints: 19831
536.41/538.55 c #Conflicts: 378000 | #Constraints: 20831
536.41/538.55 c #Conflicts: 379000 | #Constraints: 21831
536.41/538.55 c #Conflicts: 380000 | #Constraints: 22831
536.41/538.55 c #Conflicts: 381000 | #Constraints: 23831
536.41/538.55 c INPROCESSING
536.41/538.55 c GARBAGE COLLECT
536.41/538.55 c #Conflicts: 382000 | #Constraints: 12632
536.41/538.55 c #Conflicts: 383000 | #Constraints: 13632
536.41/538.55 c #Conflicts: 384000 | #Constraints: 14632
536.41/538.55 c #Conflicts: 385000 | #Constraints: 15632
536.41/538.55 c #Conflicts: 386000 | #Constraints: 16632
536.41/538.55 c #Conflicts: 387000 | #Constraints: 17632
536.41/538.55 c #Conflicts: 388000 | #Constraints: 18632
536.41/538.55 c #Conflicts: 389000 | #Constraints: 19632
536.41/538.55 c #Conflicts: 390000 | #Constraints: 20632
536.41/538.55 c #Conflicts: 391000 | #Constraints: 21632
536.41/538.55 c #Conflicts: 392000 | #Constraints: 22632
536.41/538.55 c #Conflicts: 393000 | #Constraints: 23632
536.41/538.55 c #Conflicts: 394000 | #Constraints: 24632
536.41/538.55 c INPROCESSING
536.41/538.55 c GARBAGE COLLECT
536.41/538.55 c #Conflicts: 395000 | #Constraints: 13233
536.41/538.55 c #Conflicts: 396000 | #Constraints: 14233
536.41/538.55 c #Conflicts: 397000 | #Constraints: 15233
536.41/538.55 c #Conflicts: 398000 | #Constraints: 16233
536.41/538.55 c #Conflicts: 399000 | #Constraints: 17233
536.41/538.55 c #Conflicts: 400000 | #Constraints: 18233
536.41/538.55 c #Conflicts: 401000 | #Constraints: 19233
536.41/538.55 c #Conflicts: 402000 | #Constraints: 20233
536.41/538.55 c #Conflicts: 403000 | #Constraints: 21233
536.41/538.55 c #Conflicts: 404000 | #Constraints: 22233
536.41/538.55 c #Conflicts: 405000 | #Constraints: 23233
536.41/538.55 c #Conflicts: 406000 | #Constraints: 24233
536.41/538.55 c #Conflicts: 407000 | #Constraints: 25233
536.41/538.55 c INPROCESSING
536.41/538.55 c GARBAGE COLLECT
536.41/538.55 c #Conflicts: 408000 | #Constraints: 13630
536.41/538.55 c #Conflicts: 409000 | #Constraints: 14630
536.41/538.55 c #Conflicts: 410000 | #Constraints: 15630
536.41/538.55 c #Conflicts: 411000 | #Constraints: 16630
536.41/538.55 c #Conflicts: 412000 | #Constraints: 17630
536.41/538.55 c #Conflicts: 413000 | #Constraints: 18630
536.41/538.55 c #Conflicts: 414000 | #Constraints: 19630
536.41/538.55 c #Conflicts: 415000 | #Constraints: 20630
536.41/538.55 c #Conflicts: 416000 | #Constraints: 21630
536.41/538.55 c #Conflicts: 417000 | #Constraints: 22630
624.32/626.72 c #Conflicts: 418000 | #Constraints: 23630
624.32/626.72 c #Conflicts: 419000 | #Constraints: 24630
624.32/626.72 c #Conflicts: 420000 | #Constraints: 25630
624.32/626.72 c INPROCESSING
624.32/626.72 c GARBAGE COLLECT
624.32/626.72 c #Conflicts: 421000 | #Constraints: 13831
624.32/626.72 c #Conflicts: 422000 | #Constraints: 14831
624.32/626.72 c #Conflicts: 423000 | #Constraints: 15831
624.32/626.72 c #Conflicts: 424000 | #Constraints: 16831
624.32/626.72 c #Conflicts: 425000 | #Constraints: 17831
624.32/626.72 c #Conflicts: 426000 | #Constraints: 18831
624.32/626.72 c #Conflicts: 427000 | #Constraints: 19831
624.32/626.72 c #Conflicts: 428000 | #Constraints: 20831
624.32/626.72 c #Conflicts: 429000 | #Constraints: 21831
624.32/626.72 c #Conflicts: 430000 | #Constraints: 22831
624.32/626.72 c #Conflicts: 431000 | #Constraints: 23831
624.32/626.72 c #Conflicts: 432000 | #Constraints: 24831
624.32/626.72 c #Conflicts: 433000 | #Constraints: 25831
624.32/626.72 c INPROCESSING
624.32/626.72 c GARBAGE COLLECT
624.32/626.72 c #Conflicts: 434000 | #Constraints: 13831
624.32/626.72 c #Conflicts: 435000 | #Constraints: 14831
624.32/626.72 c #Conflicts: 436000 | #Constraints: 15831
624.32/626.72 c #Conflicts: 437000 | #Constraints: 16831
624.32/626.72 c #Conflicts: 438000 | #Constraints: 17831
624.32/626.72 c #Conflicts: 439000 | #Constraints: 18831
624.32/626.72 c #Conflicts: 440000 | #Constraints: 19831
624.32/626.72 c #Conflicts: 441000 | #Constraints: 20831
624.32/626.72 c #Conflicts: 442000 | #Constraints: 21831
624.32/626.72 c #Conflicts: 443000 | #Constraints: 22831
624.32/626.72 c #Conflicts: 444000 | #Constraints: 23831
624.32/626.72 c #Conflicts: 445000 | #Constraints: 24831
624.32/626.72 c #Conflicts: 446000 | #Constraints: 25831
624.32/626.72 c INPROCESSING
624.32/626.72 c GARBAGE COLLECT
624.32/626.72 c #Conflicts: 447000 | #Constraints: 13635
624.32/626.72 c #Conflicts: 448000 | #Constraints: 14635
624.32/626.72 c #Conflicts: 449000 | #Constraints: 15635
624.32/626.72 c #Conflicts: 450000 | #Constraints: 16635
624.32/626.72 c #Conflicts: 451000 | #Constraints: 17635
624.32/626.72 c #Conflicts: 452000 | #Constraints: 18635
624.32/626.72 c #Conflicts: 453000 | #Constraints: 19635
624.32/626.72 c #Conflicts: 454000 | #Constraints: 20635
624.32/626.72 c #Conflicts: 455000 | #Constraints: 21635
624.32/626.72 c #Conflicts: 456000 | #Constraints: 22635
624.32/626.72 c #Conflicts: 457000 | #Constraints: 23635
624.32/626.72 c #Conflicts: 458000 | #Constraints: 24635
624.32/626.72 c #Conflicts: 459000 | #Constraints: 25635
624.32/626.72 c #Conflicts: 460000 | #Constraints: 26635
624.32/626.72 c INPROCESSING
624.32/626.72 c GARBAGE COLLECT
624.32/626.72 c #Conflicts: 461000 | #Constraints: 14239
624.32/626.72 c #Conflicts: 462000 | #Constraints: 15239
624.32/626.72 c #Conflicts: 463000 | #Constraints: 16239
624.32/626.72 c #Conflicts: 464000 | #Constraints: 17239
624.32/626.72 c #Conflicts: 465000 | #Constraints: 18239
624.32/626.72 c #Conflicts: 466000 | #Constraints: 19239
624.32/626.72 c #Conflicts: 467000 | #Constraints: 20239
624.32/626.72 c #Conflicts: 468000 | #Constraints: 21239
624.32/626.72 c #Conflicts: 469000 | #Constraints: 22239
624.32/626.72 c #Conflicts: 470000 | #Constraints: 23239
624.32/626.72 c #Conflicts: 471000 | #Constraints: 24239
624.32/626.72 c #Conflicts: 472000 | #Constraints: 25239
624.32/626.72 c #Conflicts: 473000 | #Constraints: 26239
624.32/626.72 c #Conflicts: 474000 | #Constraints: 27239
624.32/626.72 c INPROCESSING
624.32/626.72 c GARBAGE COLLECT
624.32/626.72 c #Conflicts: 475000 | #Constraints: 14637
624.32/626.72 c #Conflicts: 476000 | #Constraints: 15637
624.32/626.72 c #Conflicts: 477000 | #Constraints: 16637
624.32/626.72 c #Conflicts: 478000 | #Constraints: 17637
624.32/626.72 c #Conflicts: 479000 | #Constraints: 18637
624.32/626.72 c #Conflicts: 480000 | #Constraints: 19637
624.32/626.72 c #Conflicts: 481000 | #Constraints: 20637
624.32/626.72 c #Conflicts: 482000 | #Constraints: 21637
624.32/626.72 c #Conflicts: 483000 | #Constraints: 22637
624.32/626.72 c #Conflicts: 484000 | #Constraints: 23637
624.32/626.72 c #Conflicts: 485000 | #Constraints: 24637
624.32/626.72 c #Conflicts: 486000 | #Constraints: 25637
624.32/626.72 c #Conflicts: 487000 | #Constraints: 26637
624.32/626.72 c #Conflicts: 488000 | #Constraints: 27637
624.32/626.72 c INPROCESSING
624.32/626.72 c GARBAGE COLLECT
624.32/626.72 c #Conflicts: 489000 | #Constraints: 14835
624.32/626.72 c #Conflicts: 490000 | #Constraints: 15835
624.32/626.72 c #Conflicts: 491000 | #Constraints: 16835
624.32/626.72 c #Conflicts: 492000 | #Constraints: 17835
707.95/710.61 c #Conflicts: 493000 | #Constraints: 18835
707.95/710.61 c #Conflicts: 494000 | #Constraints: 19835
707.95/710.61 c #Conflicts: 495000 | #Constraints: 20835
707.95/710.61 c #Conflicts: 496000 | #Constraints: 21835
707.95/710.61 c #Conflicts: 497000 | #Constraints: 22835
707.95/710.61 c #Conflicts: 498000 | #Constraints: 23835
707.95/710.61 c #Conflicts: 499000 | #Constraints: 24835
707.95/710.61 c #Conflicts: 500000 | #Constraints: 25835
707.95/710.61 c #Conflicts: 501000 | #Constraints: 26835
707.95/710.61 c #Conflicts: 502000 | #Constraints: 27835
707.95/710.61 c INPROCESSING
707.95/710.61 c GARBAGE COLLECT
707.95/710.61 c #Conflicts: 503000 | #Constraints: 14835
707.95/710.61 c #Conflicts: 504000 | #Constraints: 15835
707.95/710.61 c #Conflicts: 505000 | #Constraints: 16835
707.95/710.61 c #Conflicts: 506000 | #Constraints: 17835
707.95/710.61 c #Conflicts: 507000 | #Constraints: 18835
707.95/710.61 c #Conflicts: 508000 | #Constraints: 19835
707.95/710.61 c #Conflicts: 509000 | #Constraints: 20835
707.95/710.61 c #Conflicts: 510000 | #Constraints: 21835
707.95/710.61 c #Conflicts: 511000 | #Constraints: 22835
707.95/710.62 c #Conflicts: 512000 | #Constraints: 23835
707.95/710.62 c #Conflicts: 513000 | #Constraints: 24835
707.95/710.62 c #Conflicts: 514000 | #Constraints: 25835
707.95/710.62 c #Conflicts: 515000 | #Constraints: 26835
707.95/710.62 c #Conflicts: 516000 | #Constraints: 27835
707.95/710.62 c INPROCESSING
707.95/710.62 c GARBAGE COLLECT
707.95/710.62 c #Conflicts: 517000 | #Constraints: 14633
707.95/710.62 c #Conflicts: 518000 | #Constraints: 15633
707.95/710.62 c #Conflicts: 519000 | #Constraints: 16633
707.95/710.62 c #Conflicts: 520000 | #Constraints: 17633
707.95/710.62 c #Conflicts: 521000 | #Constraints: 18633
707.95/710.62 c #Conflicts: 522000 | #Constraints: 19633
707.95/710.62 c #Conflicts: 523000 | #Constraints: 20633
707.95/710.62 c #Conflicts: 524000 | #Constraints: 21633
707.95/710.62 c #Conflicts: 525000 | #Constraints: 22633
707.95/710.62 c #Conflicts: 526000 | #Constraints: 23633
707.95/710.62 c #Conflicts: 527000 | #Constraints: 24633
707.95/710.62 c #Conflicts: 528000 | #Constraints: 25633
707.95/710.62 c #Conflicts: 529000 | #Constraints: 26633
707.95/710.62 c #Conflicts: 530000 | #Constraints: 27633
707.95/710.62 c #Conflicts: 531000 | #Constraints: 28633
707.95/710.62 c INPROCESSING
707.95/710.62 c GARBAGE COLLECT
707.95/710.62 c #Conflicts: 532000 | #Constraints: 15234
707.95/710.62 c #Conflicts: 533000 | #Constraints: 16234
707.95/710.62 c #Conflicts: 534000 | #Constraints: 17234
707.95/710.62 c #Conflicts: 535000 | #Constraints: 18234
707.95/710.62 c #Conflicts: 536000 | #Constraints: 19234
707.95/710.62 c #Conflicts: 537000 | #Constraints: 20234
707.95/710.62 c #Conflicts: 538000 | #Constraints: 21234
707.95/710.62 c #Conflicts: 539000 | #Constraints: 22234
707.95/710.62 c #Conflicts: 540000 | #Constraints: 23234
707.95/710.62 c #Conflicts: 541000 | #Constraints: 24234
707.95/710.62 c #Conflicts: 542000 | #Constraints: 25234
707.95/710.62 c #Conflicts: 543000 | #Constraints: 26234
707.95/710.62 c #Conflicts: 544000 | #Constraints: 27234
707.95/710.62 c #Conflicts: 545000 | #Constraints: 28234
707.95/710.62 c #Conflicts: 546000 | #Constraints: 29234
707.95/710.62 c INPROCESSING
707.95/710.62 c GARBAGE COLLECT
707.95/710.62 c #Conflicts: 547000 | #Constraints: 15635
707.95/710.62 c #Conflicts: 548000 | #Constraints: 16635
707.95/710.62 c #Conflicts: 549000 | #Constraints: 17635
707.95/710.62 c #Conflicts: 550000 | #Constraints: 18635
707.95/710.62 c #Conflicts: 551000 | #Constraints: 19635
707.95/710.62 c #Conflicts: 552000 | #Constraints: 20635
707.95/710.62 c #Conflicts: 553000 | #Constraints: 21635
707.95/710.62 c #Conflicts: 554000 | #Constraints: 22635
707.95/710.62 c #Conflicts: 555000 | #Constraints: 23635
707.95/710.62 c #Conflicts: 556000 | #Constraints: 24635
707.95/710.62 c #Conflicts: 557000 | #Constraints: 25635
707.95/710.62 c #Conflicts: 558000 | #Constraints: 26635
707.95/710.62 c #Conflicts: 559000 | #Constraints: 27635
707.95/710.62 c #Conflicts: 560000 | #Constraints: 28635
707.95/710.62 c #Conflicts: 561000 | #Constraints: 29635
707.95/710.62 c INPROCESSING
707.95/710.62 c GARBAGE COLLECT
707.95/710.62 c #Conflicts: 562000 | #Constraints: 15833
707.95/710.62 c #Conflicts: 563000 | #Constraints: 16833
707.95/710.62 c #Conflicts: 564000 | #Constraints: 17833
707.95/710.62 c #Conflicts: 565000 | #Constraints: 18833
707.95/710.62 c #Conflicts: 566000 | #Constraints: 19833
707.95/710.62 c #Conflicts: 567000 | #Constraints: 20833
707.95/710.62 c #Conflicts: 568000 | #Constraints: 21833
813.98/817.08 c #Conflicts: 569000 | #Constraints: 22833
813.98/817.08 c #Conflicts: 570000 | #Constraints: 23833
813.98/817.08 c #Conflicts: 571000 | #Constraints: 24833
813.98/817.08 c #Conflicts: 572000 | #Constraints: 25833
813.98/817.08 c #Conflicts: 573000 | #Constraints: 26833
813.98/817.08 c #Conflicts: 574000 | #Constraints: 27833
813.98/817.08 c #Conflicts: 575000 | #Constraints: 28833
813.98/817.08 c #Conflicts: 576000 | #Constraints: 29833
813.98/817.08 c INPROCESSING
813.98/817.08 c GARBAGE COLLECT
813.98/817.08 c #Conflicts: 577000 | #Constraints: 15832
813.98/817.08 c #Conflicts: 578000 | #Constraints: 16832
813.98/817.08 c #Conflicts: 579000 | #Constraints: 17832
813.98/817.08 c #Conflicts: 580000 | #Constraints: 18832
813.98/817.08 c #Conflicts: 581000 | #Constraints: 19832
813.98/817.08 c #Conflicts: 582000 | #Constraints: 20832
813.98/817.08 c #Conflicts: 583000 | #Constraints: 21832
813.98/817.08 c #Conflicts: 584000 | #Constraints: 22832
813.98/817.08 c #Conflicts: 585000 | #Constraints: 23832
813.98/817.08 c #Conflicts: 586000 | #Constraints: 24832
813.98/817.08 c #Conflicts: 587000 | #Constraints: 25832
813.98/817.08 c #Conflicts: 588000 | #Constraints: 26832
813.98/817.08 c #Conflicts: 589000 | #Constraints: 27832
813.98/817.08 c #Conflicts: 590000 | #Constraints: 28832
813.98/817.08 c #Conflicts: 591000 | #Constraints: 29832
813.98/817.08 c INPROCESSING
813.98/817.08 c GARBAGE COLLECT
813.98/817.08 c #Conflicts: 592000 | #Constraints: 15635
813.98/817.08 c #Conflicts: 593000 | #Constraints: 16635
813.98/817.08 c #Conflicts: 594000 | #Constraints: 17635
813.98/817.08 c #Conflicts: 595000 | #Constraints: 18635
813.98/817.08 c #Conflicts: 596000 | #Constraints: 19635
813.98/817.08 c #Conflicts: 597000 | #Constraints: 20635
813.98/817.08 c #Conflicts: 598000 | #Constraints: 21635
813.98/817.08 c #Conflicts: 599000 | #Constraints: 22635
813.98/817.08 c #Conflicts: 600000 | #Constraints: 23635
813.98/817.08 c #Conflicts: 601000 | #Constraints: 24635
813.98/817.08 c #Conflicts: 602000 | #Constraints: 25635
813.98/817.08 c #Conflicts: 603000 | #Constraints: 26635
813.98/817.08 c #Conflicts: 604000 | #Constraints: 27635
813.98/817.08 c #Conflicts: 605000 | #Constraints: 28635
813.98/817.08 c #Conflicts: 606000 | #Constraints: 29635
813.98/817.08 c #Conflicts: 607000 | #Constraints: 30635
813.98/817.08 c INPROCESSING
813.98/817.08 c GARBAGE COLLECT
813.98/817.08 c #Conflicts: 608000 | #Constraints: 16234
813.98/817.08 c #Conflicts: 609000 | #Constraints: 17234
813.98/817.08 c #Conflicts: 610000 | #Constraints: 18234
813.98/817.08 c #Conflicts: 611000 | #Constraints: 19234
813.98/817.08 c #Conflicts: 612000 | #Constraints: 20234
813.98/817.08 c #Conflicts: 613000 | #Constraints: 21234
813.98/817.08 c #Conflicts: 614000 | #Constraints: 22234
813.98/817.08 c #Conflicts: 615000 | #Constraints: 23234
813.98/817.08 c #Conflicts: 616000 | #Constraints: 24234
813.98/817.08 c #Conflicts: 617000 | #Constraints: 25234
813.98/817.08 c #Conflicts: 618000 | #Constraints: 26234
813.98/817.08 c #Conflicts: 619000 | #Constraints: 27234
813.98/817.08 c #Conflicts: 620000 | #Constraints: 28234
813.98/817.08 c #Conflicts: 621000 | #Constraints: 29234
813.98/817.08 c #Conflicts: 622000 | #Constraints: 30234
813.98/817.08 c #Conflicts: 623000 | #Constraints: 31234
813.98/817.08 c INPROCESSING
813.98/817.08 c GARBAGE COLLECT
813.98/817.08 c #Conflicts: 624000 | #Constraints: 16631
813.98/817.08 c #Conflicts: 625000 | #Constraints: 17631
813.98/817.08 c #Conflicts: 626000 | #Constraints: 18631
813.98/817.08 c #Conflicts: 627000 | #Constraints: 19631
813.98/817.08 c #Conflicts: 628000 | #Constraints: 20631
813.98/817.08 c #Conflicts: 629000 | #Constraints: 21631
813.98/817.08 c #Conflicts: 630000 | #Constraints: 22631
813.98/817.08 c #Conflicts: 631000 | #Constraints: 23631
813.98/817.08 c #Conflicts: 632000 | #Constraints: 24631
813.98/817.08 c #Conflicts: 633000 | #Constraints: 25631
813.98/817.08 c #Conflicts: 634000 | #Constraints: 26631
813.98/817.08 c #Conflicts: 635000 | #Constraints: 27631
813.98/817.08 c #Conflicts: 636000 | #Constraints: 28631
813.98/817.08 c #Conflicts: 637000 | #Constraints: 29631
813.98/817.08 c #Conflicts: 638000 | #Constraints: 30631
813.98/817.08 c #Conflicts: 639000 | #Constraints: 31631
813.98/817.08 c INPROCESSING
813.98/817.08 c GARBAGE COLLECT
813.98/817.08 c #Conflicts: 640000 | #Constraints: 16831
813.98/817.08 c #Conflicts: 641000 | #Constraints: 17831
813.98/817.08 c #Conflicts: 642000 | #Constraints: 18831
813.98/817.08 c #Conflicts: 643000 | #Constraints: 19831
813.98/817.08 c #Conflicts: 644000 | #Constraints: 20831
917.45/920.87 c #Conflicts: 645000 | #Constraints: 21831
917.45/920.87 c #Conflicts: 646000 | #Constraints: 22831
917.45/920.87 c #Conflicts: 647000 | #Constraints: 23831
917.45/920.87 c #Conflicts: 648000 | #Constraints: 24831
917.45/920.87 c #Conflicts: 649000 | #Constraints: 25831
917.45/920.87 c #Conflicts: 650000 | #Constraints: 26831
917.45/920.87 c #Conflicts: 651000 | #Constraints: 27831
917.45/920.87 c #Conflicts: 652000 | #Constraints: 28831
917.45/920.87 c #Conflicts: 653000 | #Constraints: 29831
917.45/920.87 c #Conflicts: 654000 | #Constraints: 30831
917.45/920.87 c #Conflicts: 655000 | #Constraints: 31831
917.45/920.87 c INPROCESSING
917.45/920.87 c GARBAGE COLLECT
917.45/920.87 c #Conflicts: 656000 | #Constraints: 16834
917.45/920.87 c #Conflicts: 657000 | #Constraints: 17834
917.45/920.87 c #Conflicts: 658000 | #Constraints: 18834
917.45/920.87 c #Conflicts: 659000 | #Constraints: 19834
917.45/920.87 c #Conflicts: 660000 | #Constraints: 20834
917.45/920.87 c #Conflicts: 661000 | #Constraints: 21834
917.45/920.87 c #Conflicts: 662000 | #Constraints: 22834
917.45/920.87 c #Conflicts: 663000 | #Constraints: 23834
917.45/920.87 c #Conflicts: 664000 | #Constraints: 24834
917.45/920.87 c #Conflicts: 665000 | #Constraints: 25834
917.45/920.87 c #Conflicts: 666000 | #Constraints: 26834
917.45/920.87 c #Conflicts: 667000 | #Constraints: 27834
917.45/920.87 c #Conflicts: 668000 | #Constraints: 28834
917.45/920.87 c #Conflicts: 669000 | #Constraints: 29834
917.45/920.87 c #Conflicts: 670000 | #Constraints: 30834
917.45/920.87 c #Conflicts: 671000 | #Constraints: 31834
917.45/920.87 c INPROCESSING
917.45/920.87 c GARBAGE COLLECT
917.45/920.87 c #Conflicts: 672000 | #Constraints: 16633
917.45/920.87 c #Conflicts: 673000 | #Constraints: 17633
917.45/920.87 c #Conflicts: 674000 | #Constraints: 18633
917.45/920.87 c #Conflicts: 675000 | #Constraints: 19633
917.45/920.87 c #Conflicts: 676000 | #Constraints: 20633
917.45/920.87 c #Conflicts: 677000 | #Constraints: 21633
917.45/920.87 c #Conflicts: 678000 | #Constraints: 22633
917.45/920.87 c #Conflicts: 679000 | #Constraints: 23633
917.45/920.87 c #Conflicts: 680000 | #Constraints: 24633
917.45/920.87 c #Conflicts: 681000 | #Constraints: 25633
917.45/920.87 c #Conflicts: 682000 | #Constraints: 26633
917.45/920.87 c #Conflicts: 683000 | #Constraints: 27633
917.45/920.87 c #Conflicts: 684000 | #Constraints: 28633
917.45/920.87 c #Conflicts: 685000 | #Constraints: 29633
917.45/920.87 c #Conflicts: 686000 | #Constraints: 30633
917.45/920.87 c #Conflicts: 687000 | #Constraints: 31633
917.45/920.87 c #Conflicts: 688000 | #Constraints: 32633
917.45/920.87 c INPROCESSING
917.45/920.87 c GARBAGE COLLECT
917.45/920.87 c #Conflicts: 689000 | #Constraints: 17234
917.45/920.87 c #Conflicts: 690000 | #Constraints: 18234
917.45/920.87 c #Conflicts: 691000 | #Constraints: 19234
917.45/920.87 c #Conflicts: 692000 | #Constraints: 20234
917.45/920.87 c #Conflicts: 693000 | #Constraints: 21234
917.45/920.87 c #Conflicts: 694000 | #Constraints: 22234
917.45/920.87 c #Conflicts: 695000 | #Constraints: 23234
917.45/920.87 c #Conflicts: 696000 | #Constraints: 24234
917.45/920.87 c #Conflicts: 697000 | #Constraints: 25234
917.45/920.87 c #Conflicts: 698000 | #Constraints: 26234
917.45/920.87 c #Conflicts: 699000 | #Constraints: 27234
917.45/920.87 c #Conflicts: 700000 | #Constraints: 28234
917.45/920.87 c #Conflicts: 701000 | #Constraints: 29234
917.45/920.87 c #Conflicts: 702000 | #Constraints: 30234
917.45/920.87 c #Conflicts: 703000 | #Constraints: 31234
917.45/920.87 c #Conflicts: 704000 | #Constraints: 32234
917.45/920.87 c #Conflicts: 705000 | #Constraints: 33234
917.45/920.87 c INPROCESSING
917.45/920.87 c GARBAGE COLLECT
917.45/920.87 c #Conflicts: 706000 | #Constraints: 17637
917.45/920.87 c #Conflicts: 707000 | #Constraints: 18637
917.45/920.87 c #Conflicts: 708000 | #Constraints: 19637
917.45/920.87 c #Conflicts: 709000 | #Constraints: 20637
917.45/920.87 c #Conflicts: 710000 | #Constraints: 21637
917.45/920.87 c #Conflicts: 711000 | #Constraints: 22637
917.45/920.87 c #Conflicts: 712000 | #Constraints: 23637
917.45/920.87 c #Conflicts: 713000 | #Constraints: 24637
917.45/920.87 c #Conflicts: 714000 | #Constraints: 25637
917.45/920.87 c #Conflicts: 715000 | #Constraints: 26637
917.45/920.87 c #Conflicts: 716000 | #Constraints: 27637
917.45/920.87 c #Conflicts: 717000 | #Constraints: 28637
917.45/920.87 c #Conflicts: 718000 | #Constraints: 29637
917.45/920.87 c #Conflicts: 719000 | #Constraints: 30637
917.45/920.87 c #Conflicts: 720000 | #Constraints: 31637
1036.18/1039.91 c #Conflicts: 721000 | #Constraints: 32637
1036.18/1039.91 c #Conflicts: 722000 | #Constraints: 33637
1036.18/1039.91 c INPROCESSING
1036.18/1039.91 c GARBAGE COLLECT
1036.18/1039.91 c #Conflicts: 723000 | #Constraints: 17834
1036.18/1039.91 c #Conflicts: 724000 | #Constraints: 18834
1036.18/1039.91 c #Conflicts: 725000 | #Constraints: 19834
1036.18/1039.91 c #Conflicts: 726000 | #Constraints: 20834
1036.18/1039.91 c #Conflicts: 727000 | #Constraints: 21834
1036.18/1039.91 c #Conflicts: 728000 | #Constraints: 22834
1036.18/1039.91 c #Conflicts: 729000 | #Constraints: 23834
1036.18/1039.91 c #Conflicts: 730000 | #Constraints: 24834
1036.18/1039.91 c #Conflicts: 731000 | #Constraints: 25834
1036.18/1039.91 c #Conflicts: 732000 | #Constraints: 26834
1036.18/1039.91 c #Conflicts: 733000 | #Constraints: 27834
1036.18/1039.91 c #Conflicts: 734000 | #Constraints: 28834
1036.18/1039.91 c #Conflicts: 735000 | #Constraints: 29834
1036.18/1039.91 c #Conflicts: 736000 | #Constraints: 30834
1036.18/1039.91 c #Conflicts: 737000 | #Constraints: 31834
1036.18/1039.91 c #Conflicts: 738000 | #Constraints: 32834
1036.18/1039.91 c #Conflicts: 739000 | #Constraints: 33834
1036.18/1039.91 c INPROCESSING
1036.18/1039.91 c GARBAGE COLLECT
1036.18/1039.91 c #Conflicts: 740000 | #Constraints: 17837
1036.18/1039.91 c #Conflicts: 741000 | #Constraints: 18837
1036.18/1039.91 c #Conflicts: 742000 | #Constraints: 19837
1036.18/1039.91 c #Conflicts: 743000 | #Constraints: 20837
1036.18/1039.91 c #Conflicts: 744000 | #Constraints: 21837
1036.18/1039.91 c #Conflicts: 745000 | #Constraints: 22837
1036.18/1039.91 c #Conflicts: 746000 | #Constraints: 23837
1036.18/1039.91 c #Conflicts: 747000 | #Constraints: 24837
1036.18/1039.91 c #Conflicts: 748000 | #Constraints: 25837
1036.18/1039.91 c #Conflicts: 749000 | #Constraints: 26837
1036.18/1039.91 c #Conflicts: 750000 | #Constraints: 27837
1036.18/1039.91 c #Conflicts: 751000 | #Constraints: 28837
1036.18/1039.91 c #Conflicts: 752000 | #Constraints: 29837
1036.18/1039.91 c #Conflicts: 753000 | #Constraints: 30837
1036.18/1039.91 c #Conflicts: 754000 | #Constraints: 31837
1036.18/1039.91 c #Conflicts: 755000 | #Constraints: 32837
1036.18/1039.91 c #Conflicts: 756000 | #Constraints: 33837
1036.18/1039.91 c INPROCESSING
1036.18/1039.91 c GARBAGE COLLECT
1036.18/1039.91 c #Conflicts: 757000 | #Constraints: 17633
1036.18/1039.91 c #Conflicts: 758000 | #Constraints: 18633
1036.18/1039.91 c #Conflicts: 759000 | #Constraints: 19633
1036.18/1039.91 c #Conflicts: 760000 | #Constraints: 20633
1036.18/1039.91 c #Conflicts: 761000 | #Constraints: 21633
1036.18/1039.91 c #Conflicts: 762000 | #Constraints: 22633
1036.18/1039.91 c #Conflicts: 763000 | #Constraints: 23633
1036.18/1039.91 c #Conflicts: 764000 | #Constraints: 24633
1036.18/1039.91 c #Conflicts: 765000 | #Constraints: 25633
1036.18/1039.91 c #Conflicts: 766000 | #Constraints: 26633
1036.18/1039.91 c #Conflicts: 767000 | #Constraints: 27633
1036.18/1039.91 c #Conflicts: 768000 | #Constraints: 28633
1036.18/1039.91 c #Conflicts: 769000 | #Constraints: 29633
1036.18/1039.91 c #Conflicts: 770000 | #Constraints: 30633
1036.18/1039.91 c #Conflicts: 771000 | #Constraints: 31633
1036.18/1039.91 c #Conflicts: 772000 | #Constraints: 32633
1036.18/1039.91 c #Conflicts: 773000 | #Constraints: 33633
1036.18/1039.91 c #Conflicts: 774000 | #Constraints: 34633
1036.18/1039.91 c INPROCESSING
1036.18/1039.91 c GARBAGE COLLECT
1036.18/1039.91 c #Conflicts: 775000 | #Constraints: 18233
1036.18/1039.91 c #Conflicts: 776000 | #Constraints: 19233
1036.18/1039.91 c #Conflicts: 777000 | #Constraints: 20233
1036.18/1039.91 c #Conflicts: 778000 | #Constraints: 21233
1036.18/1039.91 c #Conflicts: 779000 | #Constraints: 22233
1036.18/1039.91 c #Conflicts: 780000 | #Constraints: 23233
1036.18/1039.91 c #Conflicts: 781000 | #Constraints: 24233
1036.18/1039.91 c #Conflicts: 782000 | #Constraints: 25233
1036.18/1039.91 c #Conflicts: 783000 | #Constraints: 26233
1036.18/1039.91 c #Conflicts: 784000 | #Constraints: 27233
1036.18/1039.91 c #Conflicts: 785000 | #Constraints: 28233
1036.18/1039.91 c #Conflicts: 786000 | #Constraints: 29233
1036.18/1039.91 c #Conflicts: 787000 | #Constraints: 30233
1036.18/1039.91 c #Conflicts: 788000 | #Constraints: 31233
1036.18/1039.91 c #Conflicts: 789000 | #Constraints: 32233
1036.18/1039.91 c #Conflicts: 790000 | #Constraints: 33233
1036.18/1039.91 c #Conflicts: 791000 | #Constraints: 34233
1036.18/1039.91 c #Conflicts: 792000 | #Constraints: 35233
1036.18/1039.91 c INPROCESSING
1036.18/1039.91 c GARBAGE COLLECT
1036.18/1039.91 c #Conflicts: 793000 | #Constraints: 18633
1036.18/1039.91 c #Conflicts: 794000 | #Constraints: 19633
1036.18/1039.91 c #Conflicts: 795000 | #Constraints: 20633
1161.10/1165.27 c #Conflicts: 796000 | #Constraints: 21633
1161.10/1165.27 c #Conflicts: 797000 | #Constraints: 22633
1161.10/1165.27 c #Conflicts: 798000 | #Constraints: 23633
1161.10/1165.27 c #Conflicts: 799000 | #Constraints: 24633
1161.10/1165.27 c #Conflicts: 800000 | #Constraints: 25633
1161.10/1165.27 c #Conflicts: 801000 | #Constraints: 26633
1161.10/1165.27 c #Conflicts: 802000 | #Constraints: 27633
1161.10/1165.27 c #Conflicts: 803000 | #Constraints: 28633
1161.10/1165.27 c #Conflicts: 804000 | #Constraints: 29633
1161.10/1165.27 c #Conflicts: 805000 | #Constraints: 30633
1161.10/1165.27 c #Conflicts: 806000 | #Constraints: 31633
1161.10/1165.27 c #Conflicts: 807000 | #Constraints: 32633
1161.10/1165.27 c #Conflicts: 808000 | #Constraints: 33633
1161.10/1165.27 c #Conflicts: 809000 | #Constraints: 34633
1161.10/1165.27 c #Conflicts: 810000 | #Constraints: 35633
1161.10/1165.27 c INPROCESSING
1161.10/1165.27 c GARBAGE COLLECT
1161.10/1165.27 c #Conflicts: 811000 | #Constraints: 18832
1161.10/1165.27 c #Conflicts: 812000 | #Constraints: 19832
1161.10/1165.27 c #Conflicts: 813000 | #Constraints: 20832
1161.10/1165.27 c #Conflicts: 814000 | #Constraints: 21832
1161.10/1165.27 c #Conflicts: 815000 | #Constraints: 22832
1161.10/1165.27 c #Conflicts: 816000 | #Constraints: 23832
1161.10/1165.27 c #Conflicts: 817000 | #Constraints: 24832
1161.10/1165.27 c #Conflicts: 818000 | #Constraints: 25832
1161.10/1165.27 c #Conflicts: 819000 | #Constraints: 26832
1161.10/1165.27 c #Conflicts: 820000 | #Constraints: 27832
1161.10/1165.27 c #Conflicts: 821000 | #Constraints: 28832
1161.10/1165.27 c #Conflicts: 822000 | #Constraints: 29832
1161.10/1165.27 c #Conflicts: 823000 | #Constraints: 30832
1161.10/1165.27 c #Conflicts: 824000 | #Constraints: 31832
1161.10/1165.27 c #Conflicts: 825000 | #Constraints: 32832
1161.10/1165.27 c #Conflicts: 826000 | #Constraints: 33832
1161.10/1165.27 c #Conflicts: 827000 | #Constraints: 34832
1161.10/1165.27 c #Conflicts: 828000 | #Constraints: 35832
1161.10/1165.27 c INPROCESSING
1161.10/1165.27 c GARBAGE COLLECT
1161.10/1165.27 c #Conflicts: 829000 | #Constraints: 18834
1161.10/1165.27 c #Conflicts: 830000 | #Constraints: 19834
1161.10/1165.27 c #Conflicts: 831000 | #Constraints: 20834
1161.10/1165.27 c #Conflicts: 832000 | #Constraints: 21834
1161.10/1165.27 c #Conflicts: 833000 | #Constraints: 22834
1161.10/1165.27 c #Conflicts: 834000 | #Constraints: 23834
1161.10/1165.27 c #Conflicts: 835000 | #Constraints: 24834
1161.10/1165.27 c #Conflicts: 836000 | #Constraints: 25834
1161.10/1165.27 c #Conflicts: 837000 | #Constraints: 26834
1161.10/1165.27 c #Conflicts: 838000 | #Constraints: 27834
1161.10/1165.27 c #Conflicts: 839000 | #Constraints: 28834
1161.10/1165.27 c #Conflicts: 840000 | #Constraints: 29834
1161.10/1165.27 c #Conflicts: 841000 | #Constraints: 30834
1161.10/1165.27 c #Conflicts: 842000 | #Constraints: 31834
1161.10/1165.27 c #Conflicts: 843000 | #Constraints: 32834
1161.10/1165.27 c #Conflicts: 844000 | #Constraints: 33834
1161.10/1165.27 c #Conflicts: 845000 | #Constraints: 34834
1161.10/1165.27 c #Conflicts: 846000 | #Constraints: 35834
1161.10/1165.27 c INPROCESSING
1161.10/1165.27 c GARBAGE COLLECT
1161.10/1165.27 c #Conflicts: 847000 | #Constraints: 18634
1161.10/1165.27 c #Conflicts: 848000 | #Constraints: 19634
1161.10/1165.27 c #Conflicts: 849000 | #Constraints: 20634
1161.10/1165.27 c #Conflicts: 850000 | #Constraints: 21634
1161.10/1165.27 c #Conflicts: 851000 | #Constraints: 22634
1161.10/1165.27 c #Conflicts: 852000 | #Constraints: 23634
1161.10/1165.27 c #Conflicts: 853000 | #Constraints: 24634
1161.10/1165.27 c #Conflicts: 854000 | #Constraints: 25634
1161.10/1165.27 c #Conflicts: 855000 | #Constraints: 26634
1161.10/1165.27 c #Conflicts: 856000 | #Constraints: 27634
1161.10/1165.27 c #Conflicts: 857000 | #Constraints: 28634
1161.10/1165.27 c #Conflicts: 858000 | #Constraints: 29634
1161.10/1165.27 c #Conflicts: 859000 | #Constraints: 30634
1161.10/1165.27 c #Conflicts: 860000 | #Constraints: 31634
1161.10/1165.27 c #Conflicts: 861000 | #Constraints: 32634
1161.10/1165.27 c #Conflicts: 862000 | #Constraints: 33634
1161.10/1165.27 c #Conflicts: 863000 | #Constraints: 34634
1161.10/1165.27 c #Conflicts: 864000 | #Constraints: 35634
1161.10/1165.27 c #Conflicts: 865000 | #Constraints: 36634
1161.10/1165.27 c INPROCESSING
1161.10/1165.27 c GARBAGE COLLECT
1161.10/1165.27 c #Conflicts: 866000 | #Constraints: 19234
1161.10/1165.27 c #Conflicts: 867000 | #Constraints: 20234
1161.10/1165.27 c #Conflicts: 868000 | #Constraints: 21234
1161.10/1165.27 c #Conflicts: 869000 | #Constraints: 22234
1161.10/1165.27 c #Conflicts: 870000 | #Constraints: 23234
1161.10/1165.27 c #Conflicts: 871000 | #Constraints: 24234
1161.10/1165.27 c #Conflicts: 872000 | #Constraints: 25234
1298.27/1302.87 c #Conflicts: 873000 | #Constraints: 26234
1298.27/1302.87 c #Conflicts: 874000 | #Constraints: 27234
1298.27/1302.87 c #Conflicts: 875000 | #Constraints: 28234
1298.27/1302.87 c #Conflicts: 876000 | #Constraints: 29234
1298.27/1302.87 c #Conflicts: 877000 | #Constraints: 30234
1298.27/1302.87 c #Conflicts: 878000 | #Constraints: 31234
1298.27/1302.87 c #Conflicts: 879000 | #Constraints: 32234
1298.27/1302.87 c #Conflicts: 880000 | #Constraints: 33234
1298.27/1302.87 c #Conflicts: 881000 | #Constraints: 34234
1298.27/1302.87 c #Conflicts: 882000 | #Constraints: 35234
1298.27/1302.87 c #Conflicts: 883000 | #Constraints: 36234
1298.27/1302.87 c #Conflicts: 884000 | #Constraints: 37234
1298.27/1302.87 c INPROCESSING
1298.27/1302.87 c GARBAGE COLLECT
1298.27/1302.87 c #Conflicts: 885000 | #Constraints: 19634
1298.27/1302.87 c #Conflicts: 886000 | #Constraints: 20634
1298.27/1302.87 c #Conflicts: 887000 | #Constraints: 21634
1298.27/1302.87 c #Conflicts: 888000 | #Constraints: 22634
1298.27/1302.87 c #Conflicts: 889000 | #Constraints: 23634
1298.27/1302.87 c #Conflicts: 890000 | #Constraints: 24634
1298.27/1302.87 c #Conflicts: 891000 | #Constraints: 25634
1298.27/1302.87 c #Conflicts: 892000 | #Constraints: 26634
1298.27/1302.87 c #Conflicts: 893000 | #Constraints: 27634
1298.27/1302.87 c #Conflicts: 894000 | #Constraints: 28634
1298.27/1302.87 c #Conflicts: 895000 | #Constraints: 29634
1298.27/1302.87 c #Conflicts: 896000 | #Constraints: 30634
1298.27/1302.87 c #Conflicts: 897000 | #Constraints: 31634
1298.27/1302.87 c #Conflicts: 898000 | #Constraints: 32634
1298.27/1302.87 c #Conflicts: 899000 | #Constraints: 33634
1298.27/1302.87 c #Conflicts: 900000 | #Constraints: 34634
1298.27/1302.87 c #Conflicts: 901000 | #Constraints: 35634
1298.27/1302.87 c #Conflicts: 902000 | #Constraints: 36634
1298.27/1302.87 c #Conflicts: 903000 | #Constraints: 37634
1298.27/1302.87 c INPROCESSING
1298.27/1302.87 c GARBAGE COLLECT
1298.27/1302.87 c #Conflicts: 904000 | #Constraints: 19834
1298.27/1302.87 c #Conflicts: 905000 | #Constraints: 20834
1298.27/1302.87 c #Conflicts: 906000 | #Constraints: 21834
1298.27/1302.87 c #Conflicts: 907000 | #Constraints: 22834
1298.27/1302.87 c #Conflicts: 908000 | #Constraints: 23834
1298.27/1302.87 c #Conflicts: 909000 | #Constraints: 24834
1298.27/1302.87 c #Conflicts: 910000 | #Constraints: 25834
1298.27/1302.87 c #Conflicts: 911000 | #Constraints: 26834
1298.27/1302.87 c #Conflicts: 912000 | #Constraints: 27834
1298.27/1302.87 c #Conflicts: 913000 | #Constraints: 28834
1298.27/1302.87 c #Conflicts: 914000 | #Constraints: 29834
1298.27/1302.87 c #Conflicts: 915000 | #Constraints: 30834
1298.27/1302.87 c #Conflicts: 916000 | #Constraints: 31834
1298.27/1302.87 c #Conflicts: 917000 | #Constraints: 32834
1298.27/1302.87 c #Conflicts: 918000 | #Constraints: 33834
1298.27/1302.87 c #Conflicts: 919000 | #Constraints: 34834
1298.27/1302.87 c #Conflicts: 920000 | #Constraints: 35834
1298.27/1302.87 c #Conflicts: 921000 | #Constraints: 36834
1298.27/1302.87 c #Conflicts: 922000 | #Constraints: 37834
1298.27/1302.87 c INPROCESSING
1298.27/1302.87 c GARBAGE COLLECT
1298.27/1302.87 c #Conflicts: 923000 | #Constraints: 19834
1298.27/1302.87 c #Conflicts: 924000 | #Constraints: 20834
1298.27/1302.87 c #Conflicts: 925000 | #Constraints: 21834
1298.27/1302.87 c #Conflicts: 926000 | #Constraints: 22834
1298.27/1302.87 c #Conflicts: 927000 | #Constraints: 23834
1298.27/1302.87 c #Conflicts: 928000 | #Constraints: 24834
1298.27/1302.87 c #Conflicts: 929000 | #Constraints: 25834
1298.27/1302.87 c #Conflicts: 930000 | #Constraints: 26834
1298.27/1302.87 c #Conflicts: 931000 | #Constraints: 27834
1298.27/1302.87 c #Conflicts: 932000 | #Constraints: 28834
1298.27/1302.87 c #Conflicts: 933000 | #Constraints: 29834
1298.27/1302.87 c #Conflicts: 934000 | #Constraints: 30834
1298.27/1302.87 c #Conflicts: 935000 | #Constraints: 31834
1298.27/1302.87 c #Conflicts: 936000 | #Constraints: 32834
1298.27/1302.87 c #Conflicts: 937000 | #Constraints: 33834
1298.27/1302.87 c #Conflicts: 938000 | #Constraints: 34834
1298.27/1302.87 c #Conflicts: 939000 | #Constraints: 35834
1298.27/1302.87 c #Conflicts: 940000 | #Constraints: 36834
1298.27/1302.87 c #Conflicts: 941000 | #Constraints: 37834
1298.27/1302.87 c INPROCESSING
1298.27/1302.87 c GARBAGE COLLECT
1298.27/1302.87 c #Conflicts: 942000 | #Constraints: 19635
1298.27/1302.87 c #Conflicts: 943000 | #Constraints: 20635
1298.27/1302.87 c #Conflicts: 944000 | #Constraints: 21635
1298.27/1302.87 c #Conflicts: 945000 | #Constraints: 22635
1298.27/1302.87 c #Conflicts: 946000 | #Constraints: 23635
1298.27/1302.87 c #Conflicts: 947000 | #Constraints: 24635
1298.27/1302.87 c #Conflicts: 948000 | #Constraints: 25635
1442.42/1447.40 c #Conflicts: 949000 | #Constraints: 26635
1442.42/1447.40 c #Conflicts: 950000 | #Constraints: 27635
1442.42/1447.40 c #Conflicts: 951000 | #Constraints: 28635
1442.42/1447.40 c #Conflicts: 952000 | #Constraints: 29635
1442.42/1447.40 c #Conflicts: 953000 | #Constraints: 30635
1442.42/1447.40 c #Conflicts: 954000 | #Constraints: 31635
1442.42/1447.40 c #Conflicts: 955000 | #Constraints: 32635
1442.42/1447.40 c #Conflicts: 956000 | #Constraints: 33635
1442.42/1447.40 c #Conflicts: 957000 | #Constraints: 34635
1442.42/1447.40 c #Conflicts: 958000 | #Constraints: 35635
1442.42/1447.40 c #Conflicts: 959000 | #Constraints: 36635
1442.42/1447.40 c #Conflicts: 960000 | #Constraints: 37635
1442.42/1447.40 c #Conflicts: 961000 | #Constraints: 38635
1442.42/1447.40 c INPROCESSING
1442.42/1447.40 c GARBAGE COLLECT
1442.42/1447.40 c #Conflicts: 962000 | #Constraints: 20234
1442.42/1447.40 c #Conflicts: 963000 | #Constraints: 21234
1442.42/1447.40 c #Conflicts: 964000 | #Constraints: 22234
1442.42/1447.40 c #Conflicts: 965000 | #Constraints: 23234
1442.42/1447.40 c #Conflicts: 966000 | #Constraints: 24234
1442.42/1447.40 c #Conflicts: 967000 | #Constraints: 25234
1442.42/1447.40 c #Conflicts: 968000 | #Constraints: 26234
1442.42/1447.40 c #Conflicts: 969000 | #Constraints: 27234
1442.42/1447.40 c #Conflicts: 970000 | #Constraints: 28234
1442.42/1447.40 c #Conflicts: 971000 | #Constraints: 29234
1442.42/1447.40 c #Conflicts: 972000 | #Constraints: 30234
1442.42/1447.40 c #Conflicts: 973000 | #Constraints: 31234
1442.42/1447.40 c #Conflicts: 974000 | #Constraints: 32234
1442.42/1447.40 c #Conflicts: 975000 | #Constraints: 33234
1442.42/1447.40 c #Conflicts: 976000 | #Constraints: 34234
1442.42/1447.40 c #Conflicts: 977000 | #Constraints: 35234
1442.42/1447.40 c #Conflicts: 978000 | #Constraints: 36234
1442.42/1447.40 c #Conflicts: 979000 | #Constraints: 37234
1442.42/1447.40 c #Conflicts: 980000 | #Constraints: 38234
1442.42/1447.40 c #Conflicts: 981000 | #Constraints: 39234
1442.42/1447.40 c INPROCESSING
1442.42/1447.40 c GARBAGE COLLECT
1442.42/1447.40 c #Conflicts: 982000 | #Constraints: 20636
1442.42/1447.40 c #Conflicts: 983000 | #Constraints: 21636
1442.42/1447.40 c #Conflicts: 984000 | #Constraints: 22636
1442.42/1447.40 c #Conflicts: 985000 | #Constraints: 23636
1442.42/1447.40 c #Conflicts: 986000 | #Constraints: 24636
1442.42/1447.40 c #Conflicts: 987000 | #Constraints: 25636
1442.42/1447.40 c #Conflicts: 988000 | #Constraints: 26636
1442.42/1447.40 c #Conflicts: 989000 | #Constraints: 27636
1442.42/1447.40 c #Conflicts: 990000 | #Constraints: 28636
1442.42/1447.40 c #Conflicts: 991000 | #Constraints: 29636
1442.42/1447.40 c #Conflicts: 992000 | #Constraints: 30636
1442.42/1447.40 c #Conflicts: 993000 | #Constraints: 31636
1442.42/1447.40 c #Conflicts: 994000 | #Constraints: 32636
1442.42/1447.40 c #Conflicts: 995000 | #Constraints: 33636
1442.42/1447.40 c #Conflicts: 996000 | #Constraints: 34636
1442.42/1447.40 c #Conflicts: 997000 | #Constraints: 35636
1442.42/1447.40 c #Conflicts: 998000 | #Constraints: 36636
1442.42/1447.40 c #Conflicts: 999000 | #Constraints: 37636
1442.42/1447.40 c #Conflicts: 1000000 | #Constraints: 38636
1442.42/1447.40 c #Conflicts: 1001000 | #Constraints: 39636
1442.42/1447.40 c INPROCESSING
1442.42/1447.40 c GARBAGE COLLECT
1442.42/1447.40 c #Conflicts: 1002000 | #Constraints: 20839
1442.42/1447.40 c #Conflicts: 1003000 | #Constraints: 21839
1442.42/1447.40 c #Conflicts: 1004000 | #Constraints: 22839
1442.42/1447.40 c #Conflicts: 1005000 | #Constraints: 23839
1442.42/1447.40 c #Conflicts: 1006000 | #Constraints: 24839
1442.42/1447.40 c #Conflicts: 1007000 | #Constraints: 25839
1442.42/1447.40 c #Conflicts: 1008000 | #Constraints: 26839
1442.42/1447.40 c #Conflicts: 1009000 | #Constraints: 27839
1442.42/1447.40 c #Conflicts: 1010000 | #Constraints: 28839
1442.42/1447.40 c #Conflicts: 1011000 | #Constraints: 29839
1442.42/1447.40 c #Conflicts: 1012000 | #Constraints: 30839
1442.42/1447.40 c #Conflicts: 1013000 | #Constraints: 31839
1442.42/1447.40 c #Conflicts: 1014000 | #Constraints: 32839
1442.42/1447.40 c #Conflicts: 1015000 | #Constraints: 33839
1442.42/1447.40 c #Conflicts: 1016000 | #Constraints: 34839
1442.42/1447.40 c #Conflicts: 1017000 | #Constraints: 35839
1442.42/1447.40 c #Conflicts: 1018000 | #Constraints: 36839
1442.42/1447.40 c #Conflicts: 1019000 | #Constraints: 37839
1442.42/1447.40 c #Conflicts: 1020000 | #Constraints: 38839
1442.42/1447.40 c #Conflicts: 1021000 | #Constraints: 39839
1442.42/1447.40 c INPROCESSING
1442.42/1447.40 c GARBAGE COLLECT
1442.42/1447.40 c #Conflicts: 1022000 | #Constraints: 20838
1442.42/1447.40 c #Conflicts: 1023000 | #Constraints: 21838
1442.42/1447.40 c #Conflicts: 1024000 | #Constraints: 22838
1611.89/1617.45 c #Conflicts: 1025000 | #Constraints: 23838
1611.89/1617.45 c #Conflicts: 1026000 | #Constraints: 24838
1611.89/1617.45 c #Conflicts: 1027000 | #Constraints: 25838
1611.89/1617.45 c #Conflicts: 1028000 | #Constraints: 26838
1611.89/1617.45 c #Conflicts: 1029000 | #Constraints: 27838
1611.89/1617.45 c #Conflicts: 1030000 | #Constraints: 28838
1611.89/1617.45 c #Conflicts: 1031000 | #Constraints: 29838
1611.89/1617.45 c #Conflicts: 1032000 | #Constraints: 30838
1611.89/1617.45 c #Conflicts: 1033000 | #Constraints: 31838
1611.89/1617.45 c #Conflicts: 1034000 | #Constraints: 32838
1611.89/1617.45 c #Conflicts: 1035000 | #Constraints: 33838
1611.89/1617.45 c #Conflicts: 1036000 | #Constraints: 34838
1611.89/1617.45 c #Conflicts: 1037000 | #Constraints: 35838
1611.89/1617.45 c #Conflicts: 1038000 | #Constraints: 36838
1611.89/1617.45 c #Conflicts: 1039000 | #Constraints: 37838
1611.89/1617.45 c #Conflicts: 1040000 | #Constraints: 38838
1611.89/1617.45 c #Conflicts: 1041000 | #Constraints: 39838
1611.89/1617.45 c INPROCESSING
1611.89/1617.45 c GARBAGE COLLECT
1611.89/1617.45 c #Conflicts: 1042000 | #Constraints: 20638
1611.89/1617.45 c #Conflicts: 1043000 | #Constraints: 21638
1611.89/1617.45 c #Conflicts: 1044000 | #Constraints: 22638
1611.89/1617.45 c #Conflicts: 1045000 | #Constraints: 23638
1611.89/1617.45 c #Conflicts: 1046000 | #Constraints: 24638
1611.89/1617.45 c #Conflicts: 1047000 | #Constraints: 25638
1611.89/1617.45 c #Conflicts: 1048000 | #Constraints: 26638
1611.89/1617.45 c #Conflicts: 1049000 | #Constraints: 27638
1611.89/1617.45 c #Conflicts: 1050000 | #Constraints: 28638
1611.89/1617.45 c #Conflicts: 1051000 | #Constraints: 29638
1611.89/1617.45 c #Conflicts: 1052000 | #Constraints: 30638
1611.89/1617.45 c #Conflicts: 1053000 | #Constraints: 31638
1611.89/1617.45 c #Conflicts: 1054000 | #Constraints: 32638
1611.89/1617.45 c #Conflicts: 1055000 | #Constraints: 33638
1611.89/1617.45 c #Conflicts: 1056000 | #Constraints: 34638
1611.89/1617.45 c #Conflicts: 1057000 | #Constraints: 35638
1611.89/1617.45 c #Conflicts: 1058000 | #Constraints: 36638
1611.89/1617.45 c #Conflicts: 1059000 | #Constraints: 37638
1611.89/1617.45 c #Conflicts: 1060000 | #Constraints: 38638
1611.89/1617.45 c #Conflicts: 1061000 | #Constraints: 39638
1611.89/1617.45 c #Conflicts: 1062000 | #Constraints: 40638
1611.89/1617.45 c INPROCESSING
1611.89/1617.45 c GARBAGE COLLECT
1611.89/1617.45 c #Conflicts: 1063000 | #Constraints: 21240
1611.89/1617.45 c #Conflicts: 1064000 | #Constraints: 22240
1611.89/1617.45 c #Conflicts: 1065000 | #Constraints: 23240
1611.89/1617.45 c #Conflicts: 1066000 | #Constraints: 24240
1611.89/1617.45 c #Conflicts: 1067000 | #Constraints: 25240
1611.89/1617.45 c #Conflicts: 1068000 | #Constraints: 26240
1611.89/1617.45 c #Conflicts: 1069000 | #Constraints: 27240
1611.89/1617.45 c #Conflicts: 1070000 | #Constraints: 28240
1611.89/1617.45 c #Conflicts: 1071000 | #Constraints: 29240
1611.89/1617.45 c #Conflicts: 1072000 | #Constraints: 30240
1611.89/1617.45 c #Conflicts: 1073000 | #Constraints: 31240
1611.89/1617.45 c #Conflicts: 1074000 | #Constraints: 32240
1611.89/1617.45 c #Conflicts: 1075000 | #Constraints: 33240
1611.89/1617.45 c #Conflicts: 1076000 | #Constraints: 34240
1611.89/1617.45 c #Conflicts: 1077000 | #Constraints: 35240
1611.89/1617.45 c #Conflicts: 1078000 | #Constraints: 36240
1611.89/1617.45 c #Conflicts: 1079000 | #Constraints: 37240
1611.89/1617.45 c #Conflicts: 1080000 | #Constraints: 38240
1611.89/1617.45 c #Conflicts: 1081000 | #Constraints: 39240
1611.89/1617.45 c #Conflicts: 1082000 | #Constraints: 40240
1611.89/1617.45 c #Conflicts: 1083000 | #Constraints: 41240
1611.89/1617.45 c INPROCESSING
1611.89/1617.45 c GARBAGE COLLECT
1611.89/1617.45 c #Conflicts: 1084000 | #Constraints: 21640
1611.89/1617.45 c #Conflicts: 1085000 | #Constraints: 22640
1611.89/1617.45 c #Conflicts: 1086000 | #Constraints: 23640
1611.89/1617.45 c #Conflicts: 1087000 | #Constraints: 24640
1611.89/1617.45 c #Conflicts: 1088000 | #Constraints: 25640
1611.89/1617.45 c #Conflicts: 1089000 | #Constraints: 26640
1611.89/1617.45 c #Conflicts: 1090000 | #Constraints: 27640
1611.89/1617.45 c #Conflicts: 1091000 | #Constraints: 28640
1611.89/1617.45 c #Conflicts: 1092000 | #Constraints: 29640
1611.89/1617.45 c #Conflicts: 1093000 | #Constraints: 30640
1611.89/1617.45 c #Conflicts: 1094000 | #Constraints: 31640
1611.89/1617.45 c #Conflicts: 1095000 | #Constraints: 32640
1611.89/1617.45 c #Conflicts: 1096000 | #Constraints: 33640
1611.89/1617.45 c #Conflicts: 1097000 | #Constraints: 34640
1611.89/1617.45 c #Conflicts: 1098000 | #Constraints: 35640
1611.89/1617.45 c #Conflicts: 1099000 | #Constraints: 36640
1611.89/1617.45 c #Conflicts: 1100000 | #Constraints: 37640
1611.89/1617.45 c #Conflicts: 1101000 | #Constraints: 38640
1772.49/1778.51 c #Conflicts: 1102000 | #Constraints: 39640
1772.49/1778.51 c #Conflicts: 1103000 | #Constraints: 40640
1772.49/1778.51 c #Conflicts: 1104000 | #Constraints: 41640
1772.49/1778.51 c INPROCESSING
1772.49/1778.51 c GARBAGE COLLECT
1772.49/1778.51 c #Conflicts: 1105000 | #Constraints: 21840
1772.49/1778.51 c #Conflicts: 1106000 | #Constraints: 22840
1772.49/1778.51 c #Conflicts: 1107000 | #Constraints: 23840
1772.49/1778.51 c #Conflicts: 1108000 | #Constraints: 24840
1772.49/1778.51 c #Conflicts: 1109000 | #Constraints: 25840
1772.49/1778.51 c #Conflicts: 1110000 | #Constraints: 26840
1772.49/1778.51 c #Conflicts: 1111000 | #Constraints: 27840
1772.49/1778.51 c #Conflicts: 1112000 | #Constraints: 28840
1772.49/1778.51 c #Conflicts: 1113000 | #Constraints: 29840
1772.49/1778.51 c #Conflicts: 1114000 | #Constraints: 30840
1772.49/1778.51 c #Conflicts: 1115000 | #Constraints: 31840
1772.49/1778.51 c #Conflicts: 1116000 | #Constraints: 32840
1772.49/1778.51 c #Conflicts: 1117000 | #Constraints: 33840
1772.49/1778.51 c #Conflicts: 1118000 | #Constraints: 34840
1772.49/1778.51 c #Conflicts: 1119000 | #Constraints: 35840
1772.49/1778.51 c #Conflicts: 1120000 | #Constraints: 36840
1772.49/1778.51 c #Conflicts: 1121000 | #Constraints: 37840
1772.49/1778.51 c #Conflicts: 1122000 | #Constraints: 38840
1772.49/1778.51 c #Conflicts: 1123000 | #Constraints: 39840
1772.49/1778.51 c #Conflicts: 1124000 | #Constraints: 40840
1772.49/1778.51 c #Conflicts: 1125000 | #Constraints: 41840
1772.49/1778.51 c INPROCESSING
1772.49/1778.51 c GARBAGE COLLECT
1772.49/1778.51 c #Conflicts: 1126000 | #Constraints: 21842
1772.49/1778.51 c #Conflicts: 1127000 | #Constraints: 22842
1772.49/1778.51 c #Conflicts: 1128000 | #Constraints: 23842
1772.49/1778.51 c #Conflicts: 1129000 | #Constraints: 24842
1772.49/1778.51 c #Conflicts: 1130000 | #Constraints: 25842
1772.49/1778.51 c #Conflicts: 1131000 | #Constraints: 26842
1772.49/1778.51 c #Conflicts: 1132000 | #Constraints: 27842
1772.49/1778.51 c #Conflicts: 1133000 | #Constraints: 28842
1772.49/1778.51 c #Conflicts: 1134000 | #Constraints: 29842
1772.49/1778.51 c #Conflicts: 1135000 | #Constraints: 30842
1772.49/1778.51 c #Conflicts: 1136000 | #Constraints: 31842
1772.49/1778.51 c #Conflicts: 1137000 | #Constraints: 32842
1772.49/1778.51 c #Conflicts: 1138000 | #Constraints: 33842
1772.49/1778.51 c #Conflicts: 1139000 | #Constraints: 34842
1772.49/1778.51 c #Conflicts: 1140000 | #Constraints: 35842
1772.49/1778.51 c #Conflicts: 1141000 | #Constraints: 36842
1772.49/1778.51 c #Conflicts: 1142000 | #Constraints: 37842
1772.49/1778.51 c #Conflicts: 1143000 | #Constraints: 38842
1772.49/1778.51 c #Conflicts: 1144000 | #Constraints: 39842
1772.49/1778.51 c #Conflicts: 1145000 | #Constraints: 40842
1772.49/1778.51 c #Conflicts: 1146000 | #Constraints: 41842
1772.49/1778.51 c INPROCESSING
1772.49/1778.51 c GARBAGE COLLECT
1772.49/1778.51 c #Conflicts: 1147000 | #Constraints: 21637
1772.49/1778.51 c #Conflicts: 1148000 | #Constraints: 22637
1772.49/1778.51 c #Conflicts: 1149000 | #Constraints: 23637
1772.49/1778.51 c #Conflicts: 1150000 | #Constraints: 24637
1772.49/1778.51 c #Conflicts: 1151000 | #Constraints: 25637
1772.49/1778.51 c #Conflicts: 1152000 | #Constraints: 26637
1772.49/1778.51 c #Conflicts: 1153000 | #Constraints: 27637
1772.49/1778.51 c #Conflicts: 1154000 | #Constraints: 28637
1772.49/1778.51 c #Conflicts: 1155000 | #Constraints: 29637
1772.49/1778.51 c #Conflicts: 1156000 | #Constraints: 30637
1772.49/1778.51 c #Conflicts: 1157000 | #Constraints: 31637
1772.49/1778.51 c #Conflicts: 1158000 | #Constraints: 32637
1772.49/1778.51 c #Conflicts: 1159000 | #Constraints: 33637
1772.49/1778.51 c #Conflicts: 1160000 | #Constraints: 34637
1772.49/1778.51 c #Conflicts: 1161000 | #Constraints: 35637
1772.49/1778.51 c #Conflicts: 1162000 | #Constraints: 36637
1772.49/1778.51 c #Conflicts: 1163000 | #Constraints: 37637
1772.49/1778.51 c #Conflicts: 1164000 | #Constraints: 38637
1772.49/1778.51 c #Conflicts: 1165000 | #Constraints: 39637
1772.49/1778.51 c #Conflicts: 1166000 | #Constraints: 40637
1772.49/1778.51 c #Conflicts: 1167000 | #Constraints: 41637
1772.49/1778.51 c #Conflicts: 1168000 | #Constraints: 42637
1772.49/1778.51 c INPROCESSING
1772.49/1778.51 c GARBAGE COLLECT
1772.49/1778.51 c #Conflicts: 1169000 | #Constraints: 22241
1772.49/1778.51 c #Conflicts: 1170000 | #Constraints: 23241
1772.49/1778.51 c #Conflicts: 1171000 | #Constraints: 24241
1772.49/1778.51 c #Conflicts: 1172000 | #Constraints: 25241
1772.49/1778.51 c #Conflicts: 1173000 | #Constraints: 26241
1772.49/1778.51 c #Conflicts: 1174000 | #Constraints: 27241
1772.49/1778.51 c #Conflicts: 1175000 | #Constraints: 28241
1772.49/1778.51 c #Conflicts: 1176000 | #Constraints: 29241
1772.49/1778.51 c #Conflicts: 1177000 | #Constraints: 30241
1925.91/1932.43 c #Conflicts: 1178000 | #Constraints: 31241
1925.91/1932.43 c #Conflicts: 1179000 | #Constraints: 32241
1925.91/1932.43 c #Conflicts: 1180000 | #Constraints: 33241
1925.91/1932.43 c #Conflicts: 1181000 | #Constraints: 34241
1925.91/1932.43 c #Conflicts: 1182000 | #Constraints: 35241
1925.91/1932.43 c #Conflicts: 1183000 | #Constraints: 36241
1925.91/1932.43 c #Conflicts: 1184000 | #Constraints: 37241
1925.91/1932.43 c #Conflicts: 1185000 | #Constraints: 38241
1925.91/1932.43 c #Conflicts: 1186000 | #Constraints: 39241
1925.91/1932.43 c #Conflicts: 1187000 | #Constraints: 40241
1925.91/1932.43 c #Conflicts: 1188000 | #Constraints: 41241
1925.91/1932.43 c #Conflicts: 1189000 | #Constraints: 42241
1925.91/1932.43 c #Conflicts: 1190000 | #Constraints: 43241
1925.91/1932.43 c INPROCESSING
1925.91/1932.43 c GARBAGE COLLECT
1925.91/1932.43 c #Conflicts: 1191000 | #Constraints: 22643
1925.91/1932.43 c #Conflicts: 1192000 | #Constraints: 23643
1925.91/1932.43 c #Conflicts: 1193000 | #Constraints: 24643
1925.91/1932.43 c #Conflicts: 1194000 | #Constraints: 25643
1925.91/1932.43 c #Conflicts: 1195000 | #Constraints: 26643
1925.91/1932.43 c #Conflicts: 1196000 | #Constraints: 27643
1925.91/1932.43 c #Conflicts: 1197000 | #Constraints: 28643
1925.91/1932.43 c #Conflicts: 1198000 | #Constraints: 29643
1925.91/1932.43 c #Conflicts: 1199000 | #Constraints: 30643
1925.91/1932.43 c #Conflicts: 1200000 | #Constraints: 31643
1925.91/1932.43 c #Conflicts: 1201000 | #Constraints: 32643
1925.91/1932.43 c #Conflicts: 1202000 | #Constraints: 33643
1925.91/1932.43 c #Conflicts: 1203000 | #Constraints: 34643
1925.91/1932.43 c #Conflicts: 1204000 | #Constraints: 35643
1925.91/1932.43 c #Conflicts: 1205000 | #Constraints: 36643
1925.91/1932.43 c #Conflicts: 1206000 | #Constraints: 37643
1925.91/1932.43 c #Conflicts: 1207000 | #Constraints: 38643
1925.91/1932.43 c #Conflicts: 1208000 | #Constraints: 39643
1925.91/1932.43 c #Conflicts: 1209000 | #Constraints: 40643
1925.91/1932.43 c #Conflicts: 1210000 | #Constraints: 41643
1925.91/1932.43 c #Conflicts: 1211000 | #Constraints: 42643
1925.91/1932.43 c #Conflicts: 1212000 | #Constraints: 43643
1925.91/1932.43 c INPROCESSING
1925.91/1932.43 c GARBAGE COLLECT
1925.91/1932.43 c #Conflicts: 1213000 | #Constraints: 22841
1925.91/1932.43 c #Conflicts: 1214000 | #Constraints: 23841
1925.91/1932.43 c #Conflicts: 1215000 | #Constraints: 24841
1925.91/1932.43 c #Conflicts: 1216000 | #Constraints: 25841
1925.91/1932.43 c #Conflicts: 1217000 | #Constraints: 26841
1925.91/1932.43 c #Conflicts: 1218000 | #Constraints: 27841
1925.91/1932.43 c #Conflicts: 1219000 | #Constraints: 28841
1925.91/1932.43 c #Conflicts: 1220000 | #Constraints: 29841
1925.91/1932.43 c #Conflicts: 1221000 | #Constraints: 30841
1925.91/1932.43 c #Conflicts: 1222000 | #Constraints: 31841
1925.91/1932.43 c #Conflicts: 1223000 | #Constraints: 32841
1925.91/1932.43 c #Conflicts: 1224000 | #Constraints: 33841
1925.91/1932.43 c #Conflicts: 1225000 | #Constraints: 34841
1925.91/1932.43 c #Conflicts: 1226000 | #Constraints: 35841
1925.91/1932.43 c #Conflicts: 1227000 | #Constraints: 36841
1925.91/1932.43 c #Conflicts: 1228000 | #Constraints: 37841
1925.91/1932.43 c #Conflicts: 1229000 | #Constraints: 38841
1925.91/1932.43 c #Conflicts: 1230000 | #Constraints: 39841
1925.91/1932.43 c #Conflicts: 1231000 | #Constraints: 40841
1925.91/1932.43 c #Conflicts: 1232000 | #Constraints: 41841
1925.91/1932.43 c #Conflicts: 1233000 | #Constraints: 42841
1925.91/1932.43 c #Conflicts: 1234000 | #Constraints: 43841
1925.91/1932.43 c INPROCESSING
1925.91/1932.43 c GARBAGE COLLECT
1925.91/1932.43 c #Conflicts: 1235000 | #Constraints: 22836
1925.91/1932.43 c #Conflicts: 1236000 | #Constraints: 23836
1925.91/1932.43 c #Conflicts: 1237000 | #Constraints: 24836
1925.91/1932.43 c #Conflicts: 1238000 | #Constraints: 25836
1925.91/1932.43 c #Conflicts: 1239000 | #Constraints: 26836
1925.91/1932.43 c #Conflicts: 1240000 | #Constraints: 27836
1925.91/1932.43 c #Conflicts: 1241000 | #Constraints: 28836
1925.91/1932.43 c #Conflicts: 1242000 | #Constraints: 29836
1925.91/1932.43 c #Conflicts: 1243000 | #Constraints: 30836
1925.91/1932.43 c #Conflicts: 1244000 | #Constraints: 31836
1925.91/1932.43 c #Conflicts: 1245000 | #Constraints: 32836
1925.91/1932.43 c #Conflicts: 1246000 | #Constraints: 33836
1925.91/1932.43 c #Conflicts: 1247000 | #Constraints: 34836
1925.91/1932.43 c #Conflicts: 1248000 | #Constraints: 35836
1925.91/1932.43 c #Conflicts: 1249000 | #Constraints: 36836
1925.91/1932.43 c #Conflicts: 1250000 | #Constraints: 37836
1925.91/1932.43 c #Conflicts: 1251000 | #Constraints: 38836
1925.91/1932.43 c #Conflicts: 1252000 | #Constraints: 39836
1925.91/1932.43 c #Conflicts: 1253000 | #Constraints: 40836
1925.91/1932.43 c #Conflicts: 1254000 | #Constraints: 41836
2096.46/2103.55 c #Conflicts: 1255000 | #Constraints: 42836
2096.46/2103.55 c #Conflicts: 1256000 | #Constraints: 43836
2096.46/2103.55 c INPROCESSING
2096.46/2103.55 c GARBAGE COLLECT
2096.46/2103.55 c #Conflicts: 1257000 | #Constraints: 22635
2096.46/2103.55 c #Conflicts: 1258000 | #Constraints: 23635
2096.46/2103.55 c #Conflicts: 1259000 | #Constraints: 24635
2096.46/2103.55 c #Conflicts: 1260000 | #Constraints: 25635
2096.46/2103.55 c #Conflicts: 1261000 | #Constraints: 26635
2096.46/2103.55 c #Conflicts: 1262000 | #Constraints: 27635
2096.46/2103.55 c #Conflicts: 1263000 | #Constraints: 28635
2096.46/2103.55 c #Conflicts: 1264000 | #Constraints: 29635
2096.46/2103.55 c #Conflicts: 1265000 | #Constraints: 30635
2096.46/2103.55 c #Conflicts: 1266000 | #Constraints: 31635
2096.46/2103.55 c #Conflicts: 1267000 | #Constraints: 32635
2096.46/2103.55 c #Conflicts: 1268000 | #Constraints: 33635
2096.46/2103.55 c #Conflicts: 1269000 | #Constraints: 34635
2096.46/2103.55 c #Conflicts: 1270000 | #Constraints: 35635
2096.46/2103.55 c #Conflicts: 1271000 | #Constraints: 36635
2096.46/2103.55 c #Conflicts: 1272000 | #Constraints: 37635
2096.46/2103.55 c #Conflicts: 1273000 | #Constraints: 38635
2096.46/2103.55 c #Conflicts: 1274000 | #Constraints: 39635
2096.46/2103.55 c #Conflicts: 1275000 | #Constraints: 40635
2096.46/2103.55 c #Conflicts: 1276000 | #Constraints: 41635
2096.46/2103.55 c #Conflicts: 1277000 | #Constraints: 42635
2096.46/2103.55 c #Conflicts: 1278000 | #Constraints: 43635
2096.46/2103.55 c #Conflicts: 1279000 | #Constraints: 44635
2096.46/2103.55 c INPROCESSING
2096.46/2103.55 c GARBAGE COLLECT
2096.46/2103.55 c #Conflicts: 1280000 | #Constraints: 23232
2096.46/2103.55 c #Conflicts: 1281000 | #Constraints: 24232
2096.46/2103.55 c #Conflicts: 1282000 | #Constraints: 25232
2096.46/2103.55 c #Conflicts: 1283000 | #Constraints: 26232
2096.46/2103.55 c #Conflicts: 1284000 | #Constraints: 27232
2096.46/2103.55 c #Conflicts: 1285000 | #Constraints: 28232
2096.46/2103.55 c #Conflicts: 1286000 | #Constraints: 29232
2096.46/2103.55 c #Conflicts: 1287000 | #Constraints: 30232
2096.46/2103.55 c #Conflicts: 1288000 | #Constraints: 31232
2096.46/2103.55 c #Conflicts: 1289000 | #Constraints: 32232
2096.46/2103.55 c #Conflicts: 1290000 | #Constraints: 33232
2096.46/2103.55 c #Conflicts: 1291000 | #Constraints: 34232
2096.46/2103.55 c #Conflicts: 1292000 | #Constraints: 35232
2096.46/2103.55 c #Conflicts: 1293000 | #Constraints: 36232
2096.46/2103.55 c #Conflicts: 1294000 | #Constraints: 37232
2096.46/2103.55 c #Conflicts: 1295000 | #Constraints: 38232
2096.46/2103.55 c #Conflicts: 1296000 | #Constraints: 39232
2096.46/2103.55 c #Conflicts: 1297000 | #Constraints: 40232
2096.46/2103.55 c #Conflicts: 1298000 | #Constraints: 41232
2096.46/2103.55 c #Conflicts: 1299000 | #Constraints: 42232
2096.46/2103.55 c #Conflicts: 1300000 | #Constraints: 43232
2096.46/2103.55 c #Conflicts: 1301000 | #Constraints: 44232
2096.46/2103.55 c #Conflicts: 1302000 | #Constraints: 45232
2096.46/2103.55 c INPROCESSING
2096.46/2103.55 c GARBAGE COLLECT
2096.46/2103.55 c #Conflicts: 1303000 | #Constraints: 23631
2096.46/2103.55 c #Conflicts: 1304000 | #Constraints: 24631
2096.46/2103.55 c #Conflicts: 1305000 | #Constraints: 25631
2096.46/2103.55 c #Conflicts: 1306000 | #Constraints: 26631
2096.46/2103.55 c #Conflicts: 1307000 | #Constraints: 27631
2096.46/2103.55 c #Conflicts: 1308000 | #Constraints: 28631
2096.46/2103.55 c #Conflicts: 1309000 | #Constraints: 29631
2096.46/2103.55 c #Conflicts: 1310000 | #Constraints: 30631
2096.46/2103.55 c #Conflicts: 1311000 | #Constraints: 31631
2096.46/2103.55 c #Conflicts: 1312000 | #Constraints: 32631
2096.46/2103.55 c #Conflicts: 1313000 | #Constraints: 33631
2096.46/2103.55 c #Conflicts: 1314000 | #Constraints: 34631
2096.46/2103.55 c #Conflicts: 1315000 | #Constraints: 35631
2096.46/2103.55 c #Conflicts: 1316000 | #Constraints: 36631
2096.46/2103.55 c #Conflicts: 1317000 | #Constraints: 37631
2096.46/2103.55 c #Conflicts: 1318000 | #Constraints: 38631
2096.46/2103.55 c #Conflicts: 1319000 | #Constraints: 39631
2096.46/2103.55 c #Conflicts: 1320000 | #Constraints: 40631
2096.46/2103.55 c #Conflicts: 1321000 | #Constraints: 41631
2096.46/2103.55 c #Conflicts: 1322000 | #Constraints: 42631
2096.46/2103.55 c #Conflicts: 1323000 | #Constraints: 43631
2096.46/2103.55 c #Conflicts: 1324000 | #Constraints: 44631
2096.46/2103.55 c #Conflicts: 1325000 | #Constraints: 45631
2096.46/2103.55 c INPROCESSING
2096.46/2103.55 c GARBAGE COLLECT
2096.46/2103.55 c #Conflicts: 1326000 | #Constraints: 23836
2096.46/2103.55 c #Conflicts: 1327000 | #Constraints: 24836
2096.46/2103.55 c #Conflicts: 1328000 | #Constraints: 25836
2096.46/2103.55 c #Conflicts: 1329000 | #Constraints: 26836
2096.46/2103.55 c #Conflicts: 1330000 | #Constraints: 27836
2183.49/2190.88 c #Conflicts: 1331000 | #Constraints: 28836
2183.49/2190.88 c #Conflicts: 1332000 | #Constraints: 29836
2183.49/2190.88 c #Conflicts: 1333000 | #Constraints: 30836
2183.49/2190.88 c #Conflicts: 1334000 | #Constraints: 31836
2183.49/2190.88 c #Conflicts: 1335000 | #Constraints: 32836
2183.49/2190.88 c #Conflicts: 1336000 | #Constraints: 33836
2183.49/2190.88 c #Conflicts: 1337000 | #Constraints: 34836
2183.49/2190.88 c #Conflicts: 1338000 | #Constraints: 35836
2183.49/2190.88 c #Conflicts: 1339000 | #Constraints: 36836
2183.49/2190.88 c #Conflicts: 1340000 | #Constraints: 37836
2183.49/2190.88 c #Conflicts: 1341000 | #Constraints: 38836
2183.49/2190.88 c #Conflicts: 1342000 | #Constraints: 39836
2183.49/2190.88 c #Conflicts: 1343000 | #Constraints: 40836
2183.49/2190.88 c #Conflicts: 1344000 | #Constraints: 41836
2183.49/2190.88 c #Conflicts: 1345000 | #Constraints: 42836
2183.49/2190.88 c #Conflicts: 1346000 | #Constraints: 43836
2183.49/2190.88 c #Conflicts: 1347000 | #Constraints: 44836
2183.49/2190.88 c #Conflicts: 1348000 | #Constraints: 45836
2183.49/2190.88 c INPROCESSING
2183.49/2190.88 c GARBAGE COLLECT
2183.49/2190.88 c #Conflicts: 1349000 | #Constraints: 23837
2183.49/2190.88 c #Conflicts: 1350000 | #Constraints: 24837
2183.49/2190.88 c #Conflicts: 1351000 | #Constraints: 25837
2183.49/2190.88 c #Conflicts: 1352000 | #Constraints: 26837
2183.49/2190.88 c #Conflicts: 1353000 | #Constraints: 27837
2183.49/2190.88 c #Conflicts: 1354000 | #Constraints: 28837
2183.49/2190.88 c #Conflicts: 1355000 | #Constraints: 29837
2183.49/2190.88 c #Conflicts: 1356000 | #Constraints: 30837
2183.49/2190.88 c #Conflicts: 1357000 | #Constraints: 31837
2183.49/2190.88 c #Conflicts: 1358000 | #Constraints: 32837
2183.49/2190.88 c #Conflicts: 1359000 | #Constraints: 33837
2183.49/2190.88 c #Conflicts: 1360000 | #Constraints: 34837
2183.49/2190.88 c #Conflicts: 1361000 | #Constraints: 35837
2183.49/2190.88 c #Conflicts: 1362000 | #Constraints: 36837
2183.49/2190.88 c #Conflicts: 1363000 | #Constraints: 37837
2183.49/2190.88 c #Conflicts: 1364000 | #Constraints: 38837
2183.49/2190.88 c #Conflicts: 1365000 | #Constraints: 39837
2183.49/2190.88 c #Conflicts: 1366000 | #Constraints: 40837
2183.49/2190.88 c #Conflicts: 1367000 | #Constraints: 41837
2183.49/2190.88 c bounds 14 >= 0 @ 2177.22
2183.49/2190.88 c stratification level: 2
2384.34/2392.31 c #Conflicts: 1368000 | #Constraints: 42838
2384.34/2392.31 c #Conflicts: 1369000 | #Constraints: 43838
2384.34/2392.31 c #Conflicts: 1370000 | #Constraints: 44838
2384.34/2392.31 c #Conflicts: 1371000 | #Constraints: 45838
2384.34/2392.31 c INPROCESSING
2384.34/2392.31 c GARBAGE COLLECT
2384.34/2392.31 c #Conflicts: 1372000 | #Constraints: 23635
2384.34/2392.31 c #Conflicts: 1373000 | #Constraints: 24635
2384.34/2392.31 c #Conflicts: 1374000 | #Constraints: 25635
2384.34/2392.31 c #Conflicts: 1375000 | #Constraints: 26635
2384.34/2392.31 c #Conflicts: 1376000 | #Constraints: 27635
2384.34/2392.31 c #Conflicts: 1377000 | #Constraints: 28635
2384.34/2392.31 c #Conflicts: 1378000 | #Constraints: 29635
2384.34/2392.31 c #Conflicts: 1379000 | #Constraints: 30635
2384.34/2392.31 c #Conflicts: 1380000 | #Constraints: 31635
2384.34/2392.31 c #Conflicts: 1381000 | #Constraints: 32635
2384.34/2392.31 c #Conflicts: 1382000 | #Constraints: 33635
2384.34/2392.31 c #Conflicts: 1383000 | #Constraints: 34635
2384.34/2392.31 c #Conflicts: 1384000 | #Constraints: 35635
2384.34/2392.31 c #Conflicts: 1385000 | #Constraints: 36635
2384.34/2392.31 c #Conflicts: 1386000 | #Constraints: 37635
2384.34/2392.31 c #Conflicts: 1387000 | #Constraints: 38635
2384.34/2392.31 c #Conflicts: 1388000 | #Constraints: 39635
2384.34/2392.31 c #Conflicts: 1389000 | #Constraints: 40635
2384.34/2392.31 c #Conflicts: 1390000 | #Constraints: 41635
2384.34/2392.31 c #Conflicts: 1391000 | #Constraints: 42635
2384.34/2392.31 c #Conflicts: 1392000 | #Constraints: 43635
2384.34/2392.31 c #Conflicts: 1393000 | #Constraints: 44635
2384.34/2392.31 c #Conflicts: 1394000 | #Constraints: 45635
2384.34/2392.31 c #Conflicts: 1395000 | #Constraints: 46635
2384.34/2392.31 c INPROCESSING
2384.34/2392.31 c GARBAGE COLLECT
2384.34/2392.31 c #Conflicts: 1396000 | #Constraints: 24235
2384.34/2392.31 c #Conflicts: 1397000 | #Constraints: 25235
2384.34/2392.31 c #Conflicts: 1398000 | #Constraints: 26235
2384.34/2392.31 c #Conflicts: 1399000 | #Constraints: 27235
2384.34/2392.31 c #Conflicts: 1400000 | #Constraints: 28235
2384.34/2392.31 c #Conflicts: 1401000 | #Constraints: 29235
2384.34/2392.31 c #Conflicts: 1402000 | #Constraints: 30235
2384.34/2392.31 c #Conflicts: 1403000 | #Constraints: 31235
2384.34/2392.31 c #Conflicts: 1404000 | #Constraints: 32235
2384.34/2392.31 c #Conflicts: 1405000 | #Constraints: 33235
2384.34/2392.31 c #Conflicts: 1406000 | #Constraints: 34235
2384.34/2392.31 c #Conflicts: 1407000 | #Constraints: 35235
2384.34/2392.31 c #Conflicts: 1408000 | #Constraints: 36235
2384.34/2392.31 c #Conflicts: 1409000 | #Constraints: 37235
2384.34/2392.31 c #Conflicts: 1410000 | #Constraints: 38235
2384.34/2392.31 c #Conflicts: 1411000 | #Constraints: 39235
2384.34/2392.31 c #Conflicts: 1412000 | #Constraints: 40235
2384.34/2392.31 c #Conflicts: 1413000 | #Constraints: 41235
2384.34/2392.31 c #Conflicts: 1414000 | #Constraints: 42235
2384.34/2392.31 c #Conflicts: 1415000 | #Constraints: 43235
2384.34/2392.31 c #Conflicts: 1416000 | #Constraints: 44235
2384.34/2392.31 c #Conflicts: 1417000 | #Constraints: 45235
2384.34/2392.31 c #Conflicts: 1418000 | #Constraints: 46235
2384.34/2392.31 c #Conflicts: 1419000 | #Constraints: 47235
2384.34/2392.31 c INPROCESSING
2384.34/2392.31 c GARBAGE COLLECT
2384.34/2392.31 c #Conflicts: 1420000 | #Constraints: 24634
2384.34/2392.31 c #Conflicts: 1421000 | #Constraints: 25634
2384.34/2392.31 c #Conflicts: 1422000 | #Constraints: 26634
2384.34/2392.31 c #Conflicts: 1423000 | #Constraints: 27634
2384.34/2392.31 c #Conflicts: 1424000 | #Constraints: 28634
2384.34/2392.31 c #Conflicts: 1425000 | #Constraints: 29634
2384.34/2392.31 c #Conflicts: 1426000 | #Constraints: 30634
2384.34/2392.31 c #Conflicts: 1427000 | #Constraints: 31634
2384.34/2392.31 c #Conflicts: 1428000 | #Constraints: 32634
2384.34/2392.31 c #Conflicts: 1429000 | #Constraints: 33634
2384.34/2392.31 c #Conflicts: 1430000 | #Constraints: 34634
2384.34/2392.31 c #Conflicts: 1431000 | #Constraints: 35634
2384.34/2392.31 c #Conflicts: 1432000 | #Constraints: 36634
2384.34/2392.31 c #Conflicts: 1433000 | #Constraints: 37634
2384.34/2392.31 c #Conflicts: 1434000 | #Constraints: 38634
2384.34/2392.31 c #Conflicts: 1435000 | #Constraints: 39634
2384.34/2392.31 c #Conflicts: 1436000 | #Constraints: 40634
2384.34/2392.31 c #Conflicts: 1437000 | #Constraints: 41634
2384.34/2392.31 c #Conflicts: 1438000 | #Constraints: 42634
2384.34/2392.31 c #Conflicts: 1439000 | #Constraints: 43634
2384.34/2392.31 c #Conflicts: 1440000 | #Constraints: 44634
2384.34/2392.31 c #Conflicts: 1441000 | #Constraints: 45634
2384.34/2392.31 c #Conflicts: 1442000 | #Constraints: 46634
2384.34/2392.31 c #Conflicts: 1443000 | #Constraints: 47634
2384.34/2392.31 c INPROCESSING
2384.34/2392.31 c GARBAGE COLLECT
2384.34/2392.31 c #Conflicts: 1444000 | #Constraints: 24834
2591.19/2599.82 c #Conflicts: 1445000 | #Constraints: 25834
2591.19/2599.82 c #Conflicts: 1446000 | #Constraints: 26834
2591.19/2599.82 c #Conflicts: 1447000 | #Constraints: 27834
2591.19/2599.82 c #Conflicts: 1448000 | #Constraints: 28834
2591.19/2599.82 c #Conflicts: 1449000 | #Constraints: 29834
2591.19/2599.82 c #Conflicts: 1450000 | #Constraints: 30834
2591.19/2599.82 c #Conflicts: 1451000 | #Constraints: 31834
2591.19/2599.82 c #Conflicts: 1452000 | #Constraints: 32834
2591.19/2599.82 c #Conflicts: 1453000 | #Constraints: 33834
2591.19/2599.82 c #Conflicts: 1454000 | #Constraints: 34834
2591.19/2599.82 c #Conflicts: 1455000 | #Constraints: 35834
2591.19/2599.82 c #Conflicts: 1456000 | #Constraints: 36834
2591.19/2599.82 c #Conflicts: 1457000 | #Constraints: 37834
2591.19/2599.82 c #Conflicts: 1458000 | #Constraints: 38834
2591.19/2599.82 c #Conflicts: 1459000 | #Constraints: 39834
2591.19/2599.82 c #Conflicts: 1460000 | #Constraints: 40834
2591.19/2599.82 c #Conflicts: 1461000 | #Constraints: 41834
2591.19/2599.82 c #Conflicts: 1462000 | #Constraints: 42834
2591.19/2599.82 c #Conflicts: 1463000 | #Constraints: 43834
2591.19/2599.82 c #Conflicts: 1464000 | #Constraints: 44834
2591.19/2599.82 c #Conflicts: 1465000 | #Constraints: 45834
2591.19/2599.82 c #Conflicts: 1466000 | #Constraints: 46834
2591.19/2599.82 c #Conflicts: 1467000 | #Constraints: 47834
2591.19/2599.82 c INPROCESSING
2591.19/2599.82 c GARBAGE COLLECT
2591.19/2599.82 c #Conflicts: 1468000 | #Constraints: 24832
2591.19/2599.82 c #Conflicts: 1469000 | #Constraints: 25832
2591.19/2599.82 c #Conflicts: 1470000 | #Constraints: 26832
2591.19/2599.82 c #Conflicts: 1471000 | #Constraints: 27832
2591.19/2599.82 c #Conflicts: 1472000 | #Constraints: 28832
2591.19/2599.82 c #Conflicts: 1473000 | #Constraints: 29832
2591.19/2599.82 c #Conflicts: 1474000 | #Constraints: 30832
2591.19/2599.82 c #Conflicts: 1475000 | #Constraints: 31832
2591.19/2599.82 c #Conflicts: 1476000 | #Constraints: 32832
2591.19/2599.82 c #Conflicts: 1477000 | #Constraints: 33832
2591.19/2599.82 c #Conflicts: 1478000 | #Constraints: 34832
2591.19/2599.82 c #Conflicts: 1479000 | #Constraints: 35832
2591.19/2599.82 c #Conflicts: 1480000 | #Constraints: 36832
2591.19/2599.82 c #Conflicts: 1481000 | #Constraints: 37832
2591.19/2599.82 c #Conflicts: 1482000 | #Constraints: 38832
2591.19/2599.82 c #Conflicts: 1483000 | #Constraints: 39832
2591.19/2599.82 c #Conflicts: 1484000 | #Constraints: 40832
2591.19/2599.82 c #Conflicts: 1485000 | #Constraints: 41832
2591.19/2599.82 c #Conflicts: 1486000 | #Constraints: 42832
2591.19/2599.82 c #Conflicts: 1487000 | #Constraints: 43832
2591.19/2599.82 c #Conflicts: 1488000 | #Constraints: 44832
2591.19/2599.82 c #Conflicts: 1489000 | #Constraints: 45832
2591.19/2599.82 c #Conflicts: 1490000 | #Constraints: 46832
2591.19/2599.82 c #Conflicts: 1491000 | #Constraints: 47832
2591.19/2599.82 c INPROCESSING
2591.19/2599.82 c GARBAGE COLLECT
2591.19/2599.82 c #Conflicts: 1492000 | #Constraints: 24632
2591.19/2599.82 c #Conflicts: 1493000 | #Constraints: 25632
2591.19/2599.82 c #Conflicts: 1494000 | #Constraints: 26632
2591.19/2599.82 c #Conflicts: 1495000 | #Constraints: 27632
2591.19/2599.82 c #Conflicts: 1496000 | #Constraints: 28632
2591.19/2599.82 c #Conflicts: 1497000 | #Constraints: 29632
2591.19/2599.82 c #Conflicts: 1498000 | #Constraints: 30632
2591.19/2599.82 c #Conflicts: 1499000 | #Constraints: 31632
2591.19/2599.82 c #Conflicts: 1500000 | #Constraints: 32632
2591.19/2599.82 c #Conflicts: 1501000 | #Constraints: 33632
2591.19/2599.82 c #Conflicts: 1502000 | #Constraints: 34632
2591.19/2599.82 c #Conflicts: 1503000 | #Constraints: 35632
2591.19/2599.82 c #Conflicts: 1504000 | #Constraints: 36632
2591.19/2599.82 c #Conflicts: 1505000 | #Constraints: 37632
2591.19/2599.82 c #Conflicts: 1506000 | #Constraints: 38632
2591.19/2599.82 c #Conflicts: 1507000 | #Constraints: 39632
2591.19/2599.82 c #Conflicts: 1508000 | #Constraints: 40632
2591.19/2599.82 c #Conflicts: 1509000 | #Constraints: 41632
2591.19/2599.82 c #Conflicts: 1510000 | #Constraints: 42632
2591.19/2599.82 c #Conflicts: 1511000 | #Constraints: 43632
2591.19/2599.82 c #Conflicts: 1512000 | #Constraints: 44632
2591.19/2599.82 c #Conflicts: 1513000 | #Constraints: 45632
2591.19/2599.82 c #Conflicts: 1514000 | #Constraints: 46632
2591.19/2599.82 c #Conflicts: 1515000 | #Constraints: 47632
2591.19/2599.82 c #Conflicts: 1516000 | #Constraints: 48632
2591.19/2599.82 c INPROCESSING
2591.19/2599.82 c GARBAGE COLLECT
2591.19/2599.82 c #Conflicts: 1517000 | #Constraints: 25232
2591.19/2599.82 c #Conflicts: 1518000 | #Constraints: 26232
2591.19/2599.82 c #Conflicts: 1519000 | #Constraints: 27232
2591.19/2599.82 c #Conflicts: 1520000 | #Constraints: 28232
2591.19/2599.82 c #Conflicts: 1521000 | #Constraints: 29232
2820.08/2829.46 c #Conflicts: 1522000 | #Constraints: 30232
2820.08/2829.46 c #Conflicts: 1523000 | #Constraints: 31232
2820.08/2829.46 c #Conflicts: 1524000 | #Constraints: 32232
2820.08/2829.46 c #Conflicts: 1525000 | #Constraints: 33232
2820.08/2829.46 c #Conflicts: 1526000 | #Constraints: 34232
2820.08/2829.46 c #Conflicts: 1527000 | #Constraints: 35232
2820.08/2829.46 c #Conflicts: 1528000 | #Constraints: 36232
2820.08/2829.46 c #Conflicts: 1529000 | #Constraints: 37232
2820.08/2829.46 c #Conflicts: 1530000 | #Constraints: 38232
2820.08/2829.46 c #Conflicts: 1531000 | #Constraints: 39232
2820.08/2829.46 c #Conflicts: 1532000 | #Constraints: 40232
2820.08/2829.46 c #Conflicts: 1533000 | #Constraints: 41232
2820.08/2829.46 c #Conflicts: 1534000 | #Constraints: 42232
2820.08/2829.46 c #Conflicts: 1535000 | #Constraints: 43232
2820.08/2829.46 c #Conflicts: 1536000 | #Constraints: 44232
2820.08/2829.46 c #Conflicts: 1537000 | #Constraints: 45232
2820.08/2829.46 c #Conflicts: 1538000 | #Constraints: 46232
2820.08/2829.46 c #Conflicts: 1539000 | #Constraints: 47232
2820.08/2829.46 c #Conflicts: 1540000 | #Constraints: 48232
2820.08/2829.46 c #Conflicts: 1541000 | #Constraints: 49232
2820.08/2829.46 c INPROCESSING
2820.08/2829.46 c GARBAGE COLLECT
2820.08/2829.46 c #Conflicts: 1542000 | #Constraints: 25634
2820.08/2829.46 c #Conflicts: 1543000 | #Constraints: 26634
2820.08/2829.46 c #Conflicts: 1544000 | #Constraints: 27634
2820.08/2829.46 c #Conflicts: 1545000 | #Constraints: 28634
2820.08/2829.46 c #Conflicts: 1546000 | #Constraints: 29634
2820.08/2829.46 c #Conflicts: 1547000 | #Constraints: 30634
2820.08/2829.46 c #Conflicts: 1548000 | #Constraints: 31634
2820.08/2829.46 c #Conflicts: 1549000 | #Constraints: 32634
2820.08/2829.46 c #Conflicts: 1550000 | #Constraints: 33634
2820.08/2829.46 c #Conflicts: 1551000 | #Constraints: 34634
2820.08/2829.46 c #Conflicts: 1552000 | #Constraints: 35634
2820.08/2829.46 c #Conflicts: 1553000 | #Constraints: 36634
2820.08/2829.46 c #Conflicts: 1554000 | #Constraints: 37634
2820.08/2829.46 c #Conflicts: 1555000 | #Constraints: 38634
2820.08/2829.46 c #Conflicts: 1556000 | #Constraints: 39634
2820.08/2829.46 c #Conflicts: 1557000 | #Constraints: 40634
2820.08/2829.46 c #Conflicts: 1558000 | #Constraints: 41634
2820.08/2829.46 c #Conflicts: 1559000 | #Constraints: 42634
2820.08/2829.46 c #Conflicts: 1560000 | #Constraints: 43634
2820.08/2829.46 c #Conflicts: 1561000 | #Constraints: 44634
2820.08/2829.46 c #Conflicts: 1562000 | #Constraints: 45634
2820.08/2829.46 c #Conflicts: 1563000 | #Constraints: 46634
2820.08/2829.46 c #Conflicts: 1564000 | #Constraints: 47634
2820.08/2829.46 c #Conflicts: 1565000 | #Constraints: 48634
2820.08/2829.46 c #Conflicts: 1566000 | #Constraints: 49634
2820.08/2829.46 c INPROCESSING
2820.08/2829.46 c GARBAGE COLLECT
2820.08/2829.46 c #Conflicts: 1567000 | #Constraints: 25835
2820.08/2829.46 c #Conflicts: 1568000 | #Constraints: 26835
2820.08/2829.46 c #Conflicts: 1569000 | #Constraints: 27835
2820.08/2829.46 c #Conflicts: 1570000 | #Constraints: 28835
2820.08/2829.46 c #Conflicts: 1571000 | #Constraints: 29835
2820.08/2829.46 c #Conflicts: 1572000 | #Constraints: 30835
2820.08/2829.46 c #Conflicts: 1573000 | #Constraints: 31835
2820.08/2829.46 c #Conflicts: 1574000 | #Constraints: 32835
2820.08/2829.46 c #Conflicts: 1575000 | #Constraints: 33835
2820.08/2829.46 c #Conflicts: 1576000 | #Constraints: 34835
2820.08/2829.46 c #Conflicts: 1577000 | #Constraints: 35835
2820.08/2829.46 c #Conflicts: 1578000 | #Constraints: 36835
2820.08/2829.46 c #Conflicts: 1579000 | #Constraints: 37835
2820.08/2829.46 c #Conflicts: 1580000 | #Constraints: 38835
2820.08/2829.46 c #Conflicts: 1581000 | #Constraints: 39835
2820.08/2829.46 c #Conflicts: 1582000 | #Constraints: 40835
2820.08/2829.46 c #Conflicts: 1583000 | #Constraints: 41835
2820.08/2829.46 c #Conflicts: 1584000 | #Constraints: 42835
2820.08/2829.46 c #Conflicts: 1585000 | #Constraints: 43835
2820.08/2829.46 c #Conflicts: 1586000 | #Constraints: 44835
2820.08/2829.46 c #Conflicts: 1587000 | #Constraints: 45835
2820.08/2829.46 c #Conflicts: 1588000 | #Constraints: 46835
2820.08/2829.46 c #Conflicts: 1589000 | #Constraints: 47835
2820.08/2829.46 c #Conflicts: 1590000 | #Constraints: 48835
2820.08/2829.46 c #Conflicts: 1591000 | #Constraints: 49835
2820.08/2829.46 c INPROCESSING
2820.08/2829.46 c GARBAGE COLLECT
2820.08/2829.46 c #Conflicts: 1592000 | #Constraints: 25834
2820.08/2829.46 c #Conflicts: 1593000 | #Constraints: 26834
2820.08/2829.46 c #Conflicts: 1594000 | #Constraints: 27834
2820.08/2829.46 c #Conflicts: 1595000 | #Constraints: 28834
2820.08/2829.46 c #Conflicts: 1596000 | #Constraints: 29834
2820.08/2829.46 c #Conflicts: 1597000 | #Constraints: 30834
3076.98/3087.19 c #Conflicts: 1598000 | #Constraints: 31834
3076.98/3087.19 c #Conflicts: 1599000 | #Constraints: 32834
3076.98/3087.19 c #Conflicts: 1600000 | #Constraints: 33834
3076.98/3087.19 c #Conflicts: 1601000 | #Constraints: 34834
3076.98/3087.19 c #Conflicts: 1602000 | #Constraints: 35834
3076.98/3087.19 c #Conflicts: 1603000 | #Constraints: 36834
3076.98/3087.19 c #Conflicts: 1604000 | #Constraints: 37834
3076.98/3087.19 c #Conflicts: 1605000 | #Constraints: 38834
3076.98/3087.19 c #Conflicts: 1606000 | #Constraints: 39834
3076.98/3087.19 c #Conflicts: 1607000 | #Constraints: 40834
3076.98/3087.19 c #Conflicts: 1608000 | #Constraints: 41834
3076.98/3087.19 c #Conflicts: 1609000 | #Constraints: 42834
3076.98/3087.19 c #Conflicts: 1610000 | #Constraints: 43834
3076.98/3087.19 c #Conflicts: 1611000 | #Constraints: 44834
3076.98/3087.19 c #Conflicts: 1612000 | #Constraints: 45834
3076.98/3087.19 c #Conflicts: 1613000 | #Constraints: 46834
3076.98/3087.19 c #Conflicts: 1614000 | #Constraints: 47834
3076.98/3087.19 c #Conflicts: 1615000 | #Constraints: 48834
3076.98/3087.19 c #Conflicts: 1616000 | #Constraints: 49834
3076.98/3087.19 c INPROCESSING
3076.98/3087.19 c GARBAGE COLLECT
3076.98/3087.19 c #Conflicts: 1617000 | #Constraints: 25635
3076.98/3087.19 c #Conflicts: 1618000 | #Constraints: 26635
3076.98/3087.19 c #Conflicts: 1619000 | #Constraints: 27635
3076.98/3087.19 c #Conflicts: 1620000 | #Constraints: 28635
3076.98/3087.19 c #Conflicts: 1621000 | #Constraints: 29635
3076.98/3087.19 c #Conflicts: 1622000 | #Constraints: 30635
3076.98/3087.19 c #Conflicts: 1623000 | #Constraints: 31635
3076.98/3087.19 c #Conflicts: 1624000 | #Constraints: 32635
3076.98/3087.19 c #Conflicts: 1625000 | #Constraints: 33635
3076.98/3087.19 c #Conflicts: 1626000 | #Constraints: 34635
3076.98/3087.19 c #Conflicts: 1627000 | #Constraints: 35635
3076.98/3087.19 c #Conflicts: 1628000 | #Constraints: 36635
3076.98/3087.19 c #Conflicts: 1629000 | #Constraints: 37635
3076.98/3087.19 c #Conflicts: 1630000 | #Constraints: 38635
3076.98/3087.19 c #Conflicts: 1631000 | #Constraints: 39635
3076.98/3087.19 c #Conflicts: 1632000 | #Constraints: 40635
3076.98/3087.19 c #Conflicts: 1633000 | #Constraints: 41635
3076.98/3087.19 c #Conflicts: 1634000 | #Constraints: 42635
3076.98/3087.19 c #Conflicts: 1635000 | #Constraints: 43635
3076.98/3087.19 c #Conflicts: 1636000 | #Constraints: 44635
3076.98/3087.19 c #Conflicts: 1637000 | #Constraints: 45635
3076.98/3087.19 c #Conflicts: 1638000 | #Constraints: 46635
3076.98/3087.19 c #Conflicts: 1639000 | #Constraints: 47635
3076.98/3087.19 c #Conflicts: 1640000 | #Constraints: 48635
3076.98/3087.19 c #Conflicts: 1641000 | #Constraints: 49635
3076.98/3087.19 c #Conflicts: 1642000 | #Constraints: 50635
3076.98/3087.19 c INPROCESSING
3076.98/3087.19 c GARBAGE COLLECT
3076.98/3087.19 c #Conflicts: 1643000 | #Constraints: 26231
3076.98/3087.19 c #Conflicts: 1644000 | #Constraints: 27231
3076.98/3087.19 c #Conflicts: 1645000 | #Constraints: 28231
3076.98/3087.19 c #Conflicts: 1646000 | #Constraints: 29231
3076.98/3087.19 c #Conflicts: 1647000 | #Constraints: 30231
3076.98/3087.19 c #Conflicts: 1648000 | #Constraints: 31231
3076.98/3087.19 c #Conflicts: 1649000 | #Constraints: 32231
3076.98/3087.19 c #Conflicts: 1650000 | #Constraints: 33231
3076.98/3087.19 c #Conflicts: 1651000 | #Constraints: 34231
3076.98/3087.19 c #Conflicts: 1652000 | #Constraints: 35231
3076.98/3087.19 c #Conflicts: 1653000 | #Constraints: 36231
3076.98/3087.19 c #Conflicts: 1654000 | #Constraints: 37231
3076.98/3087.19 c #Conflicts: 1655000 | #Constraints: 38231
3076.98/3087.19 c #Conflicts: 1656000 | #Constraints: 39231
3076.98/3087.19 c #Conflicts: 1657000 | #Constraints: 40231
3076.98/3087.19 c #Conflicts: 1658000 | #Constraints: 41231
3076.98/3087.19 c #Conflicts: 1659000 | #Constraints: 42231
3076.98/3087.19 c #Conflicts: 1660000 | #Constraints: 43231
3076.98/3087.19 c #Conflicts: 1661000 | #Constraints: 44231
3076.98/3087.19 c #Conflicts: 1662000 | #Constraints: 45231
3076.98/3087.19 c #Conflicts: 1663000 | #Constraints: 46231
3076.98/3087.19 c #Conflicts: 1664000 | #Constraints: 47231
3076.98/3087.19 c #Conflicts: 1665000 | #Constraints: 48231
3076.98/3087.19 c #Conflicts: 1666000 | #Constraints: 49231
3076.98/3087.19 c #Conflicts: 1667000 | #Constraints: 50231
3076.98/3087.19 c #Conflicts: 1668000 | #Constraints: 51231
3076.98/3087.19 c INPROCESSING
3076.98/3087.19 c GARBAGE COLLECT
3076.98/3087.19 c #Conflicts: 1669000 | #Constraints: 26632
3076.98/3087.19 c #Conflicts: 1670000 | #Constraints: 27632
3076.98/3087.19 c #Conflicts: 1671000 | #Constraints: 28632
3076.98/3087.19 c #Conflicts: 1672000 | #Constraints: 29632
3076.98/3087.19 c #Conflicts: 1673000 | #Constraints: 30632
3076.98/3087.19 c #Conflicts: 1674000 | #Constraints: 31632
3329.76/3340.78 c #Conflicts: 1675000 | #Constraints: 32632
3329.76/3340.78 c #Conflicts: 1676000 | #Constraints: 33632
3329.76/3340.78 c #Conflicts: 1677000 | #Constraints: 34632
3329.76/3340.78 c #Conflicts: 1678000 | #Constraints: 35632
3329.76/3340.78 c #Conflicts: 1679000 | #Constraints: 36632
3329.76/3340.78 c #Conflicts: 1680000 | #Constraints: 37632
3329.76/3340.78 c #Conflicts: 1681000 | #Constraints: 38632
3329.76/3340.78 c #Conflicts: 1682000 | #Constraints: 39632
3329.76/3340.78 c #Conflicts: 1683000 | #Constraints: 40632
3329.76/3340.78 c #Conflicts: 1684000 | #Constraints: 41632
3329.76/3340.78 c #Conflicts: 1685000 | #Constraints: 42632
3329.76/3340.78 c #Conflicts: 1686000 | #Constraints: 43632
3329.76/3340.78 c #Conflicts: 1687000 | #Constraints: 44632
3329.76/3340.78 c #Conflicts: 1688000 | #Constraints: 45632
3329.76/3340.78 c #Conflicts: 1689000 | #Constraints: 46632
3329.76/3340.78 c #Conflicts: 1690000 | #Constraints: 47632
3329.76/3340.78 c #Conflicts: 1691000 | #Constraints: 48632
3329.76/3340.78 c #Conflicts: 1692000 | #Constraints: 49632
3329.76/3340.78 c #Conflicts: 1693000 | #Constraints: 50632
3329.76/3340.78 c #Conflicts: 1694000 | #Constraints: 51632
3329.76/3340.78 c INPROCESSING
3329.76/3340.78 c GARBAGE COLLECT
3329.76/3340.78 c #Conflicts: 1695000 | #Constraints: 26830
3329.76/3340.78 c #Conflicts: 1696000 | #Constraints: 27830
3329.76/3340.78 c #Conflicts: 1697000 | #Constraints: 28830
3329.76/3340.78 c #Conflicts: 1698000 | #Constraints: 29830
3329.76/3340.78 c #Conflicts: 1699000 | #Constraints: 30830
3329.76/3340.78 c #Conflicts: 1700000 | #Constraints: 31830
3329.76/3340.78 c #Conflicts: 1701000 | #Constraints: 32830
3329.76/3340.78 c #Conflicts: 1702000 | #Constraints: 33830
3329.76/3340.78 c #Conflicts: 1703000 | #Constraints: 34830
3329.76/3340.78 c #Conflicts: 1704000 | #Constraints: 35830
3329.76/3340.78 c #Conflicts: 1705000 | #Constraints: 36830
3329.76/3340.78 c #Conflicts: 1706000 | #Constraints: 37830
3329.76/3340.78 c #Conflicts: 1707000 | #Constraints: 38830
3329.76/3340.78 c #Conflicts: 1708000 | #Constraints: 39830
3329.76/3340.78 c #Conflicts: 1709000 | #Constraints: 40830
3329.76/3340.78 c #Conflicts: 1710000 | #Constraints: 41830
3329.76/3340.78 c #Conflicts: 1711000 | #Constraints: 42830
3329.76/3340.78 c #Conflicts: 1712000 | #Constraints: 43830
3329.76/3340.78 c #Conflicts: 1713000 | #Constraints: 44830
3329.76/3340.78 c #Conflicts: 1714000 | #Constraints: 45830
3329.76/3340.78 c #Conflicts: 1715000 | #Constraints: 46830
3329.76/3340.78 c #Conflicts: 1716000 | #Constraints: 47830
3329.76/3340.78 c #Conflicts: 1717000 | #Constraints: 48830
3329.76/3340.78 c #Conflicts: 1718000 | #Constraints: 49830
3329.76/3340.78 c #Conflicts: 1719000 | #Constraints: 50830
3329.76/3340.78 c #Conflicts: 1720000 | #Constraints: 51830
3329.76/3340.78 c INPROCESSING
3329.76/3340.78 c GARBAGE COLLECT
3329.76/3340.78 c #Conflicts: 1721000 | #Constraints: 26833
3329.76/3340.78 c #Conflicts: 1722000 | #Constraints: 27833
3329.76/3340.78 c #Conflicts: 1723000 | #Constraints: 28833
3329.76/3340.78 c #Conflicts: 1724000 | #Constraints: 29833
3329.76/3340.78 c #Conflicts: 1725000 | #Constraints: 30833
3329.76/3340.78 c #Conflicts: 1726000 | #Constraints: 31833
3329.76/3340.78 c #Conflicts: 1727000 | #Constraints: 32833
3329.76/3340.78 c #Conflicts: 1728000 | #Constraints: 33833
3329.76/3340.78 c #Conflicts: 1729000 | #Constraints: 34833
3329.76/3340.78 c #Conflicts: 1730000 | #Constraints: 35833
3329.76/3340.78 c #Conflicts: 1731000 | #Constraints: 36833
3329.76/3340.78 c #Conflicts: 1732000 | #Constraints: 37833
3329.76/3340.78 c #Conflicts: 1733000 | #Constraints: 38833
3329.76/3340.78 c #Conflicts: 1734000 | #Constraints: 39833
3329.76/3340.78 c #Conflicts: 1735000 | #Constraints: 40833
3329.76/3340.78 c #Conflicts: 1736000 | #Constraints: 41833
3329.76/3340.78 c #Conflicts: 1737000 | #Constraints: 42833
3329.76/3340.78 c #Conflicts: 1738000 | #Constraints: 43833
3329.76/3340.78 c #Conflicts: 1739000 | #Constraints: 44833
3329.76/3340.78 c #Conflicts: 1740000 | #Constraints: 45833
3329.76/3340.78 c #Conflicts: 1741000 | #Constraints: 46833
3329.76/3340.78 c #Conflicts: 1742000 | #Constraints: 47833
3329.76/3340.78 c #Conflicts: 1743000 | #Constraints: 48833
3329.76/3340.78 c #Conflicts: 1744000 | #Constraints: 49833
3329.76/3340.78 c #Conflicts: 1745000 | #Constraints: 50833
3329.76/3340.78 c #Conflicts: 1746000 | #Constraints: 51833
3329.76/3340.78 c INPROCESSING
3329.76/3340.78 c GARBAGE COLLECT
3329.76/3340.78 c #Conflicts: 1747000 | #Constraints: 26633
3329.76/3340.78 c #Conflicts: 1748000 | #Constraints: 27633
3329.76/3340.78 c #Conflicts: 1749000 | #Constraints: 28633
3329.76/3340.78 c #Conflicts: 1750000 | #Constraints: 29633
3329.76/3340.78 c #Conflicts: 1751000 | #Constraints: 30633
3541.45/3553.12 c #Conflicts: 1752000 | #Constraints: 31633
3541.45/3553.12 c #Conflicts: 1753000 | #Constraints: 32633
3541.45/3553.12 c #Conflicts: 1754000 | #Constraints: 33633
3541.45/3553.12 c #Conflicts: 1755000 | #Constraints: 34633
3541.45/3553.12 c #Conflicts: 1756000 | #Constraints: 35633
3541.45/3553.12 c #Conflicts: 1757000 | #Constraints: 36633
3541.45/3553.12 c #Conflicts: 1758000 | #Constraints: 37633
3541.45/3553.12 c #Conflicts: 1759000 | #Constraints: 38633
3541.45/3553.12 c #Conflicts: 1760000 | #Constraints: 39633
3541.45/3553.12 c #Conflicts: 1761000 | #Constraints: 40633
3541.45/3553.12 c #Conflicts: 1762000 | #Constraints: 41633
3541.45/3553.12 c #Conflicts: 1763000 | #Constraints: 42633
3541.45/3553.12 c #Conflicts: 1764000 | #Constraints: 43633
3541.45/3553.12 c #Conflicts: 1765000 | #Constraints: 44633
3541.45/3553.12 c #Conflicts: 1766000 | #Constraints: 45633
3541.45/3553.12 c #Conflicts: 1767000 | #Constraints: 46633
3541.45/3553.12 c #Conflicts: 1768000 | #Constraints: 47633
3541.45/3553.12 c #Conflicts: 1769000 | #Constraints: 48633
3541.45/3553.12 c #Conflicts: 1770000 | #Constraints: 49633
3541.45/3553.12 c #Conflicts: 1771000 | #Constraints: 50633
3541.45/3553.12 c #Conflicts: 1772000 | #Constraints: 51633
3541.45/3553.12 c #Conflicts: 1773000 | #Constraints: 52633
3541.45/3553.12 c INPROCESSING
3541.45/3553.12 c GARBAGE COLLECT
3541.45/3553.12 c #Conflicts: 1774000 | #Constraints: 27233
3541.45/3553.12 c #Conflicts: 1775000 | #Constraints: 28233
3541.45/3553.12 c #Conflicts: 1776000 | #Constraints: 29233
3541.45/3553.12 c #Conflicts: 1777000 | #Constraints: 30233
3541.45/3553.12 c #Conflicts: 1778000 | #Constraints: 31233
3541.45/3553.12 c #Conflicts: 1779000 | #Constraints: 32233
3541.45/3553.12 c #Conflicts: 1780000 | #Constraints: 33233
3541.45/3553.12 c #Conflicts: 1781000 | #Constraints: 34233
3541.45/3553.12 c #Conflicts: 1782000 | #Constraints: 35233
3541.45/3553.12 c #Conflicts: 1783000 | #Constraints: 36233
3541.45/3553.12 c #Conflicts: 1784000 | #Constraints: 37233
3541.45/3553.12 c #Conflicts: 1785000 | #Constraints: 38233
3541.45/3553.12 c #Conflicts: 1786000 | #Constraints: 39233
3541.45/3553.12 c #Conflicts: 1787000 | #Constraints: 40233
3541.45/3553.12 c #Conflicts: 1788000 | #Constraints: 41233
3541.45/3553.12 c #Conflicts: 1789000 | #Constraints: 42233
3541.45/3553.12 c #Conflicts: 1790000 | #Constraints: 43233
3541.45/3553.12 c #Conflicts: 1791000 | #Constraints: 44233
3541.45/3553.12 c #Conflicts: 1792000 | #Constraints: 45233
3541.45/3553.12 c #Conflicts: 1793000 | #Constraints: 46233
3541.45/3553.12 c #Conflicts: 1794000 | #Constraints: 47233
3541.45/3553.12 c #Conflicts: 1795000 | #Constraints: 48233
3541.45/3553.12 c #Conflicts: 1796000 | #Constraints: 49233
3541.45/3553.12 c #Conflicts: 1797000 | #Constraints: 50233
3541.45/3553.12 c #Conflicts: 1798000 | #Constraints: 51233
3541.45/3553.12 c #Conflicts: 1799000 | #Constraints: 52233
3541.45/3553.12 c #Conflicts: 1800000 | #Constraints: 53233
3541.45/3553.12 c INPROCESSING
3541.45/3553.12 c GARBAGE COLLECT
3541.45/3553.12 c #Conflicts: 1801000 | #Constraints: 27630
3541.45/3553.12 c #Conflicts: 1802000 | #Constraints: 28630
3541.45/3553.12 c #Conflicts: 1803000 | #Constraints: 29630
3541.45/3553.12 c #Conflicts: 1804000 | #Constraints: 30630
3541.45/3553.12 c #Conflicts: 1805000 | #Constraints: 31630
3541.45/3553.12 c #Conflicts: 1806000 | #Constraints: 32630
3541.45/3553.12 c #Conflicts: 1807000 | #Constraints: 33630
3541.45/3553.12 c #Conflicts: 1808000 | #Constraints: 34630
3541.45/3553.12 c #Conflicts: 1809000 | #Constraints: 35630
3541.45/3553.12 c #Conflicts: 1810000 | #Constraints: 36630
3541.45/3553.12 c #Conflicts: 1811000 | #Constraints: 37630
3541.45/3553.12 c #Conflicts: 1812000 | #Constraints: 38630
3541.45/3553.12 c #Conflicts: 1813000 | #Constraints: 39630
3541.45/3553.12 c #Conflicts: 1814000 | #Constraints: 40630
3541.45/3553.12 c #Conflicts: 1815000 | #Constraints: 41630
3541.45/3553.12 c #Conflicts: 1816000 | #Constraints: 42630
3541.45/3553.12 c #Conflicts: 1817000 | #Constraints: 43630
3541.45/3553.12 c #Conflicts: 1818000 | #Constraints: 44630
3541.45/3553.12 c #Conflicts: 1819000 | #Constraints: 45630
3541.45/3553.12 c #Conflicts: 1820000 | #Constraints: 46630
3541.45/3553.12 c #Conflicts: 1821000 | #Constraints: 47630
3541.45/3553.12 c #Conflicts: 1822000 | #Constraints: 48630
3541.45/3553.12 c #Conflicts: 1823000 | #Constraints: 49630
3541.45/3553.12 c #Conflicts: 1824000 | #Constraints: 50630
3541.45/3553.12 c #Conflicts: 1825000 | #Constraints: 51630
3541.45/3553.12 c #Conflicts: 1826000 | #Constraints: 52630
3541.45/3553.12 c #Conflicts: 1827000 | #Constraints: 53630
3541.45/3553.12 c INPROCESSING
3541.45/3553.12 c GARBAGE COLLECT
3541.45/3553.12 c #Conflicts: 1828000 | #Constraints: 27834
3600.04/3611.90 c #Conflicts: 1829000 | #Constraints: 28834
3600.04/3611.90 c #Conflicts: 1830000 | #Constraints: 29834
3600.04/3611.90 c #Conflicts: 1831000 | #Constraints: 30834
3600.04/3611.90 c #Conflicts: 1832000 | #Constraints: 31834
3600.04/3611.90 c #Conflicts: 1833000 | #Constraints: 32834
3600.04/3611.90 c #Conflicts: 1834000 | #Constraints: 33834
3600.04/3611.90 c #Conflicts: 1835000 | #Constraints: 34834
3600.04/3611.90 c #Conflicts: 1836000 | #Constraints: 35834
3600.04/3611.90 c #Conflicts: 1837000 | #Constraints: 36834
3600.04/3611.90 c #Conflicts: 1838000 | #Constraints: 37834
3600.04/3611.90 c #Conflicts: 1839000 | #Constraints: 38834
3600.04/3611.90 c #Conflicts: 1840000 | #Constraints: 39834
3600.04/3611.90 c #Conflicts: 1841000 | #Constraints: 40834
3600.04/3611.90 c #Conflicts: 1842000 | #Constraints: 41834
3600.04/3611.90 c #Conflicts: 1843000 | #Constraints: 42834
3600.04/3611.90 c #Conflicts: 1844000 | #Constraints: 43834
3600.04/3611.90 c #Conflicts: 1845000 | #Constraints: 44834
3600.04/3611.90 c #Conflicts: 1846000 | #Constraints: 45834
3600.04/3611.90 c #Conflicts: 1847000 | #Constraints: 46834
3600.04/3611.90 c Program interrupted by user.
3600.04/3611.90 c cpu time 3591.34 s
3600.04/3611.90 c deterministic time 593435437642 5.93e+11
3600.04/3611.90 c optimization time 60.8223 s
3600.04/3611.90 c total solve time 3231.58 s
3600.04/3611.90 c core-guided solve time 3231.58 s
3600.04/3611.90 c propagation time 3125.62 s
3600.04/3611.90 c conflict analysis time 151.503 s
3600.04/3611.90 c propagations 23419487
3600.04/3611.90 c resolve steps 8864587
3600.04/3611.90 c decisions 3397916
3600.04/3611.90 c conflicts 1847215
3600.04/3611.90 c restarts 3580
3600.04/3611.90 c inprocessing phases 126
3600.04/3611.90 c input clauses 0
3600.04/3611.90 c input cardinalities 0
3600.04/3611.90 c input general constraints 18
3600.04/3611.90 c input average constraint length 76.67
3600.04/3611.90 c input average constraint degree 1659.22
3600.04/3611.90 c learned clauses 993804
3600.04/3611.90 c learned cardinalities 0
3600.04/3611.90 c learned general constraints 853411
3600.04/3611.90 c learned average constraint length 64.10
3600.04/3611.90 c learned average constraint degree 122675.57
3600.04/3611.90 c watched constraints 828345
3600.04/3611.90 c counting constraints 25084
3600.04/3611.90 c gcd simplifications 887804
3600.04/3611.90 c detected cardinalities 0
3600.04/3611.90 c weakened non-implied lits 32062502
3600.04/3611.90 c weakened non-implying lits 2344507
3600.04/3611.90 c original variables 172
3600.04/3611.90 c clausal propagations 348033
3600.04/3611.90 c cardinality propagations 0
3600.04/3611.90 c watched propagations 15655693
3600.04/3611.90 c counting propagations 5960101
3600.04/3611.90 c watch lookups 33240423618
3600.04/3611.90 c watch backjump lookups 18824454467
3600.04/3611.90 c watch checks 421249994385
3600.04/3611.90 c propagation checks 119248079136
3600.04/3611.90 c constraint additions 817004162
3600.04/3611.90 c trail pops 28664470
3600.04/3611.90 c formula constraints 14
3600.04/3611.90 c learned constraints 1847215
3600.04/3611.90 c bound constraints 4
3600.04/3611.90 c core-guided constraints 0
3600.04/3611.90 c encountered formula constraints 2631155
3600.04/3611.90 c encountered learned constraints 8080483
3600.04/3611.90 c encountered bound constraints 164
3600.04/3611.90 c encountered core-guided constraints 0
3600.04/3611.90 c LP total time 0 s
3600.04/3611.90 c LP solve time 0 s
3600.04/3611.90 c LP constraints added 0
3600.04/3611.90 c LP constraints removed 0
3600.04/3611.90 c LP pivots internal 0
3600.04/3611.90 c LP pivots root 0
3600.04/3611.90 c LP calls 0
3600.04/3611.90 c LP optimalities 0
3600.04/3611.90 c LP no pivot count 0
3600.04/3611.90 c LP infeasibilities 0
3600.04/3611.90 c LP valid Farkas constraints 0
3600.04/3611.90 c LP learned Farkas constraints 0
3600.04/3611.90 c LP basis resets 0
3600.04/3611.90 c LP cycling count 0
3600.04/3611.90 c LP singular count 0
3600.04/3611.90 c LP no primal count 0
3600.04/3611.90 c LP no farkas count 0
3600.04/3611.90 c LP other issue count 0
3600.04/3611.90 c LP Gomory cuts 0
3600.04/3611.90 c LP learned cuts 0
3600.04/3611.90 c LP deleted cuts 0
3600.04/3611.90 c LP encountered Gomory constraints 0
3600.04/3611.90 c LP encountered Farkas constraints 0
3600.04/3611.90 c LP encountered learned Farkas constraints 0
3600.04/3611.90 c CG auxiliary variables introduced 0
3600.04/3611.90 c CG solutions found 3
3600.04/3611.90 c CG cores constructed 0
3600.04/3611.90 c CG core cardinality constraints returned 0
3600.04/3611.90 c CG unit cores 0
3600.04/3611.90 c CG single cores 0
3600.04/3611.90 c CG blocks removed during cardinality reduction 0
3600.04/3611.90 c CG first core best 0
3600.04/3611.90 c CG decision core best 0
3600.04/3611.90 c CG core reduction tie 0
3600.04/3611.90 c CG core degree average 0.00
3600.04/3611.90 c CG core slack average 0.00
3600.04/3611.90 c CG exhausted 0
3600.04/3611.90 c CG exhaust time 0 s
3600.04/3611.90 c CG trimmed 0
3600.04/3611.90 c CG trim time 0 s
3600.04/3611.90 c CG minimized 0
3600.04/3611.90 c CG minimize time 0 s
3600.04/3611.90 c CG am1 prop time 0.000315 s
3600.04/3611.90 c CG # am1s reformulated 0
3600.04/3611.90 c CG lower bound derived from am1s 0
3600.04/3611.90 c CG # clausal cores 0
3600.04/3611.90 c CG # cardinality cores 0
3600.04/3611.90 c CG # pb cores 0
3600.04/3611.90 c CG # pb reforms 0
3600.04/3611.90 c CG # cores discarded because of pb reform 0
3600.04/3611.90 d LOWERBOUND 0
3600.04/3611.90 d NCORES 0
3600.04/3611.90 d NPBCORES 0
3600.04/3611.90 d NPBREFORM 0
3600.04/3611.90 d NTRIMMED 0
3600.04/3611.90 d NEXHAUSTED 0
3600.04/3611.90 d NAM1S 0
3600.04/3611.90 d AM1LB 0
3600.04/3611.90 c [Papilo Statistics]
3600.04/3611.90 c prepro time 0.000430257s
3600.04/3611.90 c # tsx applied 7
3600.04/3611.90 c # tsx conflicts 0
3600.04/3611.90 c # bound changes 0
3600.04/3611.90 c # side changes 7
3600.04/3611.90 c # coef changes 0
3600.04/3611.90 c # rounds 2
3600.04/3611.90 c # deted vars 0
3600.04/3611.90 c # deted constrs 7
3600.04/3611.90 c # consecutive rounds of only bound changes 0
3600.04/3611.90 c [STEP] postprocessing with Papilo
3600.04/3611.90 o 14
3600.04/3611.90 s SATISFIABLE
3600.04/3611.90 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62672 MiB free)
memory of node 1: 64473 MiB (61170 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454761-1721470613/watcher-4454761-1721470613 -o /tmp/evaluation-result-4454761-1721470613/solver-4454761-1721470613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721470315-1055839 --watchdog 3760 mixed-bag HOME/instance-4454761-1721470613.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1056046, runsolver pid=1056043
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 4.08 3.05 2.14 5/254 1056047
/proc/meminfo: memFree=126799960/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=99312 memory=30496 CPUtime=0.09 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 3984 0 0 0 9 0 0 0 20 0 1 0 199224782 101695488 7624 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 24828 7624 4052 3002 0 8577 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 99312 KiB
Current children cumulated memory: 30496 KiB
[startup+0.205464 s]*
/proc/loadavg: 4.08 3.05 2.14 5/254 1056047
/proc/meminfo: memFree=126795088/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=103808 memory=34984 CPUtime=0.2 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 5108 0 0 0 20 0 0 0 20 0 1 0 199224782 106299392 8746 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 25952 8746 4052 3002 0 9701 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103808 KiB
Current children cumulated memory: 34984 KiB
[startup+0.305323 s]*
/proc/loadavg: 4.08 3.05 2.14 5/254 1056047
/proc/meminfo: memFree=126794976/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=103808 memory=34984 CPUtime=0.29 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 5108 0 0 0 29 0 0 0 20 0 1 0 199224782 106299392 8746 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 25952 8746 4052 3002 0 9701 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 103808 KiB
Current children cumulated memory: 34984 KiB
[startup+0.700209 s]
/proc/loadavg: 4.08 3.05 2.14 5/254 1056047
/proc/meminfo: memFree=126793464/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=110736 memory=42500 CPUtime=0.68 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 6931 0 0 0 68 0 0 0 20 0 1 0 199224782 113393664 10625 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 27684 10625 4052 3002 0 11433 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110736 KiB
Current children cumulated memory: 42500 KiB
[startup+1.5002 s]
/proc/loadavg: 4.07 3.06 2.15 5/254 1056047
/proc/meminfo: memFree=126784952/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=113812 memory=45780 CPUtime=1.49 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 7923 0 0 0 148 1 0 0 20 0 1 0 199224782 116543488 11445 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 28453 11445 4052 3002 0 12202 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 113812 KiB
Current children cumulated memory: 45780 KiB
[startup+3.10529 s]
/proc/loadavg: 4.07 3.06 2.15 5/254 1056047
/proc/meminfo: memFree=126776356/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=121076 memory=52252 CPUtime=3.08 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 9845 0 0 0 307 1 0 0 20 0 1 0 199224782 123981824 13063 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 30269 13063 4052 3002 0 14018 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121076 KiB
Current children cumulated memory: 52252 KiB
[startup+6.30018 s]
/proc/loadavg: 4.06 3.08 2.16 5/254 1056095
/proc/meminfo: memFree=127193164/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=132288 memory=62812 CPUtime=6.27 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 12508 0 0 0 625 2 0 0 20 0 1 0 199224782 135462912 15703 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 33072 15703 4052 3002 0 16821 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 132288 KiB
Current children cumulated memory: 62812 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 3.11 2.17 5/254 1056095
/proc/meminfo: memFree=127157604/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=152364 memory=82468 CPUtime=12.64 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 17305 0 0 0 1261 3 0 0 20 0 1 0 199224782 156020736 20617 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 38091 20617 4178 3002 0 21840 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 152364 KiB
Current children cumulated memory: 82468 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 3.14 2.19 5/254 1056098
/proc/meminfo: memFree=127121476/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=175392 memory=104924 CPUtime=25.37 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 22878 0 0 0 2534 3 0 0 20 0 1 0 199224782 179601408 26231 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 43848 26231 4178 3002 0 27597 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 175392 KiB
Current children cumulated memory: 104924 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 3.23 2.25 5/255 1056149
/proc/meminfo: memFree=127017072/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=235784 memory=161016 CPUtime=50.85 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 37608 0 0 0 5078 7 0 0 20 0 1 0 199224782 241442816 40254 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 58946 40254 4178 3002 0 42695 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 235784 KiB
Current children cumulated memory: 161016 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.38 2.35 5/255 1056157
/proc/meminfo: memFree=126834672/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=315064 memory=242028 CPUtime=101.81 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 57108 0 0 0 10170 11 0 0 20 0 1 0 199224782 322625536 60507 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 78766 60507 4178 3002 0 62515 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 315064 KiB
Current children cumulated memory: 242028 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.51 2.47 5/255 1056167
/proc/meminfo: memFree=126634792/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=428288 memory=350068 CPUtime=161.52 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 83018 0 0 0 16137 15 0 0 20 0 1 0 199224782 438566912 87517 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 107072 87517 4178 3002 0 90821 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 428288 KiB
Current children cumulated memory: 350068 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.62 2.57 5/255 1056177
/proc/meminfo: memFree=126486940/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=504756 memory=432388 CPUtime=221.27 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 101742 0 0 0 22108 19 0 0 20 0 1 0 199224782 516870144 108097 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 126189 108097 4178 3002 0 109938 0
Current children cumulated CPU time: 221.27 s
Current children cumulated vsize: 504756 KiB
Current children cumulated memory: 432388 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.72 2.67 5/258 1056193
/proc/meminfo: memFree=126369784/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=545900 memory=474644 CPUtime=281.03 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 113227 0 0 0 28082 21 0 0 20 0 1 0 199224782 559001600 118661 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 136475 118661 4178 3002 0 120224 0
Current children cumulated CPU time: 281.03 s
Current children cumulated vsize: 545900 KiB
Current children cumulated memory: 474644 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.79 2.76 5/258 1056203
/proc/meminfo: memFree=126763256/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=359664 memory=301084 CPUtime=340.84 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 117359 0 0 0 34014 70 0 0 20 0 1 0 199224782 368295936 75271 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 89916 75271 4305 3002 0 73665 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 359664 KiB
Current children cumulated memory: 301084 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.86 2.85 5/257 1056213
/proc/meminfo: memFree=126750700/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=364084 memory=304536 CPUtime=400.65 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 117744 0 0 0 39952 113 0 0 20 0 1 0 199224782 372822016 76134 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 91021 76134 4305 3002 0 74770 0
Current children cumulated CPU time: 400.65 s
Current children cumulated vsize: 364084 KiB
Current children cumulated memory: 304536 KiB
[startup+462.3 s]
/proc/loadavg: 4.35 3.99 2.96 5/257 1056225
/proc/meminfo: memFree=126745932/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=364084 memory=306584 CPUtime=460.47 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 117782 0 0 0 45897 150 0 0 20 0 1 0 199224782 372822016 76646 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 91021 76646 4305 3002 0 74770 0
################
# More data... #
################
Current children cumulated memory: 321744 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.06 5/256 1057843
/proc/meminfo: memFree=126679244/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=321744 CPUtime=2912.7 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 120788 0 0 0 290510 760 0 0 20 0 1 0 199224782 392130560 80436 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80436 4305 3002 0 79484 0
Current children cumulated CPU time: 2912.7 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 321744 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/254 1057853
/proc/meminfo: memFree=126679016/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=321744 CPUtime=2972.5 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 120855 0 0 0 296483 767 0 0 20 0 1 0 199224782 392130560 80436 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80436 4305 3002 0 79484 0
Current children cumulated CPU time: 2972.5 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 321744 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/254 1057864
/proc/meminfo: memFree=126678680/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=321744 CPUtime=3032.32 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 120913 0 0 0 302456 776 0 0 20 0 1 0 199224782 392130560 80436 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80436 4305 3002 0 79484 0
Current children cumulated CPU time: 3032.32 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 321744 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/254 1057874
/proc/meminfo: memFree=126678356/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=321744 CPUtime=3092.12 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 120976 0 0 0 308425 787 0 0 20 0 1 0 199224782 392130560 80436 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80436 4305 3002 0 79484 0
Current children cumulated CPU time: 3092.12 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 321744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/254 1057884
/proc/meminfo: memFree=126677964/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=321744 CPUtime=3151.93 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 121043 0 0 0 314397 796 0 0 20 0 1 0 199224782 392130560 80436 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80436 4305 3002 0 79484 0
Current children cumulated CPU time: 3151.93 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 321744 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.07 5/254 1057894
/proc/meminfo: memFree=126677684/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=321744 CPUtime=3211.74 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 121101 0 0 0 320370 804 0 0 20 0 1 0 199224782 392130560 80436 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80436 4305 3002 0 79484 0
Current children cumulated CPU time: 3211.74 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 321744 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/257 1057910
/proc/meminfo: memFree=126677096/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=321744 CPUtime=3271.56 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 121163 0 0 0 326341 815 0 0 20 0 1 0 199224782 392130560 80436 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80436 4305 3002 0 79484 0
Current children cumulated CPU time: 3271.56 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 321744 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.09 5/257 1057965
/proc/meminfo: memFree=126624628/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=323792 CPUtime=3331.36 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 121226 0 0 0 332311 825 0 0 20 0 1 0 199224782 392130560 80948 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80948 4305 3002 0 79484 0
Current children cumulated CPU time: 3331.36 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 323792 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 1057975
/proc/meminfo: memFree=126624096/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=323792 CPUtime=3391.16 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 121289 0 0 0 338281 835 0 0 20 0 1 0 199224782 392130560 80948 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80948 4305 3002 0 79484 0
Current children cumulated CPU time: 3391.16 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 323792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 1057988
/proc/meminfo: memFree=126623616/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=323792 CPUtime=3450.95 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 121352 0 0 0 344250 845 0 0 20 0 1 0 199224782 392130560 80948 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80948 4305 3002 0 79484 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 323792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1057998
/proc/meminfo: memFree=126623164/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=323792 CPUtime=3510.75 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 121420 0 0 0 350218 857 0 0 20 0 1 0 199224782 392130560 80948 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80948 4305 3002 0 79484 0
Current children cumulated CPU time: 3510.75 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 323792 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1058008
/proc/meminfo: memFree=126581336/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=323792 CPUtime=3570.54 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 121483 0 0 0 356187 867 0 0 20 0 1 0 199224782 392130560 80948 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80948 4305 3002 0 79484 0
Current children cumulated CPU time: 3570.54 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 323792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 1058013
/proc/meminfo: memFree=126548932/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=323792 CPUtime=3600.04 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 121532 0 0 0 359133 871 0 0 20 0 1 0 199224782 392130560 80948 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80948 4305 3002 0 79484 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 323792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.9 s]
# the end of solver process 1056046 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.34 s, system=8.71289 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.11 4.12 4.09 5/254 1058013
/proc/meminfo: memFree=126548932/131524600 swapFree=131071996/131071996
[pid=1056046] ppid=1056043 vsize=382940 memory=323792 CPUtime=3600.04 cores=0,2
/proc/1056046/stat : 1056046 (mixed-bag) R 1056043 1056046 1055829 0 -1 4194304 121532 0 0 0 359133 871 0 0 20 0 1 0 199224782 392130560 80948 134679101440 4194304 16488053 140726484711824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 47566848 140726484718613 140726484718690 140726484718690 140726484725707 0
/proc/1056046/statm: 95735 80948 4305 3002 0 79484 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 382940 KiB
Current children cumulated memory: 323792 KiB
Child status: 0
Real time (s): 3611.9
CPU time (s): 3600.05
CPU user time (s): 3591.34
CPU system time (s): 8.71289
CPU usage (%): 99.6719
Max. virtual memory (cumulated for all children) (KiB): 557404
Max. memory (cumulated for all children) (KiB): 486936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.34
system time used= 8.71289
maximum resident set size= 486936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121559
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= 135
involuntary context switches= 24672
# summary of solver processes directly reported to runsolver:
# pid: 1056046
# total CPU time (s): 3600.05
# total CPU user time (s): 3591.34
# total CPU system time (s): 8.71289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10583 second user time and 17.3238 second system time
The end
Begin job on nodeC020 at 2024-07-20 12:17:06
IDJOB=4454761
IDBENCH=147611
IDSOLVER=3083
FILE ID=nodeC020/4454761-1721470613
RUNJOBID= nodeC020-1721470315-1055839
SLURM_JOB_ID= 7545735
Free space on /tmp= 890024 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454761-1721470613/watcher-4454761-1721470613 -o /tmp/evaluation-result-4454761-1721470613/solver-4454761-1721470613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721470315-1055839 --watchdog 3760 mixed-bag HOME/instance-4454761-1721470613.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=1721359149
nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.508
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.233
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.331
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.429
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.446
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.324
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.409
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.05
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.239
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126815252 kB
MemAvailable: 129109416 kB
Buffers: 572672 kB
Cached: 2546468 kB
SwapCached: 0 kB
Active: 1025820 kB
Inactive: 3024940 kB
Active(anon): 1568 kB
Inactive(anon): 975956 kB
Active(file): 1024252 kB
Inactive(file): 2048984 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16328 kB
Writeback: 12 kB
AnonPages: 930584 kB
Mapped: 140888 kB
Shmem: 45912 kB
KReclaimable: 121504 kB
Slab: 237644 kB
SReclaimable: 121504 kB
SUnreclaim: 116140 kB
KernelStack: 4048 kB
PageTables: 11660 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1656364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 507904 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 211668 kB
DirectMap2M: 22630400 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC020 at 2024-07-20 13:17:18