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.31/300.44 c [STEP] preprocessing done, loading into solver
299.31/300.44 c [STEP] solving
299.31/300.44 c #variables 173 #constraints 14
299.31/300.44 c SMALL=int, LARGE=long long
299.31/300.44 c bounds - >= 0 @ 299.121
299.31/300.44 c stratification level: 16
313.07/314.24 c #Conflicts: 1000 | #Constraints: 1014
313.07/314.24 c #Conflicts: 2000 | #Constraints: 2014
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 3000 | #Constraints: 2017
313.07/314.24 c #Conflicts: 4000 | #Constraints: 3017
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 5000 | #Constraints: 2420
313.07/314.24 c #Conflicts: 6000 | #Constraints: 3420
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 7000 | #Constraints: 2422
313.07/314.24 c #Conflicts: 8000 | #Constraints: 3422
313.07/314.24 c #Conflicts: 9000 | #Constraints: 4422
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 10000 | #Constraints: 3123
313.07/314.24 c #Conflicts: 11000 | #Constraints: 4123
313.07/314.24 c #Conflicts: 12000 | #Constraints: 5123
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 13000 | #Constraints: 3573
313.07/314.24 c #Conflicts: 14000 | #Constraints: 4573
313.07/314.24 c #Conflicts: 15000 | #Constraints: 5573
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 16000 | #Constraints: 3803
313.07/314.24 c #Conflicts: 17000 | #Constraints: 4803
313.07/314.24 c #Conflicts: 18000 | #Constraints: 5803
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 19000 | #Constraints: 3817
313.07/314.24 c #Conflicts: 20000 | #Constraints: 4817
313.07/314.24 c #Conflicts: 21000 | #Constraints: 5817
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 22000 | #Constraints: 3620
313.07/314.24 c #Conflicts: 23000 | #Constraints: 4620
313.07/314.24 c #Conflicts: 24000 | #Constraints: 5620
313.07/314.24 c #Conflicts: 25000 | #Constraints: 6620
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 26000 | #Constraints: 4226
313.07/314.24 c #Conflicts: 27000 | #Constraints: 5226
313.07/314.24 c #Conflicts: 28000 | #Constraints: 6226
313.07/314.24 c #Conflicts: 29000 | #Constraints: 7226
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 30000 | #Constraints: 4627
313.07/314.24 c #Conflicts: 31000 | #Constraints: 5627
313.07/314.24 c #Conflicts: 32000 | #Constraints: 6627
313.07/314.24 c #Conflicts: 33000 | #Constraints: 7627
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 34000 | #Constraints: 4830
313.07/314.24 c #Conflicts: 35000 | #Constraints: 5830
313.07/314.24 c #Conflicts: 36000 | #Constraints: 6830
313.07/314.24 c #Conflicts: 37000 | #Constraints: 7830
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 38000 | #Constraints: 4830
313.07/314.24 c #Conflicts: 39000 | #Constraints: 5830
313.07/314.24 c #Conflicts: 40000 | #Constraints: 6830
313.07/314.24 c #Conflicts: 41000 | #Constraints: 7830
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 42000 | #Constraints: 4634
313.07/314.24 c #Conflicts: 43000 | #Constraints: 5634
313.07/314.24 c #Conflicts: 44000 | #Constraints: 6634
313.07/314.24 c #Conflicts: 45000 | #Constraints: 7634
313.07/314.24 c #Conflicts: 46000 | #Constraints: 8634
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 47000 | #Constraints: 5230
313.07/314.24 c #Conflicts: 48000 | #Constraints: 6230
313.07/314.24 c #Conflicts: 49000 | #Constraints: 7230
313.07/314.24 c #Conflicts: 50000 | #Constraints: 8230
313.07/314.24 c #Conflicts: 51000 | #Constraints: 9230
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 52000 | #Constraints: 5633
313.07/314.24 c #Conflicts: 53000 | #Constraints: 6633
313.07/314.24 c #Conflicts: 54000 | #Constraints: 7633
313.07/314.24 c #Conflicts: 55000 | #Constraints: 8633
313.07/314.24 c #Conflicts: 56000 | #Constraints: 9633
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 57000 | #Constraints: 5832
313.07/314.24 c #Conflicts: 58000 | #Constraints: 6832
313.07/314.24 c #Conflicts: 59000 | #Constraints: 7832
313.07/314.24 c #Conflicts: 60000 | #Constraints: 8832
313.07/314.24 c #Conflicts: 61000 | #Constraints: 9832
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 62000 | #Constraints: 5830
313.07/314.24 c #Conflicts: 63000 | #Constraints: 6830
313.07/314.24 c #Conflicts: 64000 | #Constraints: 7830
313.07/314.24 c #Conflicts: 65000 | #Constraints: 8830
313.07/314.24 c #Conflicts: 66000 | #Constraints: 9830
313.07/314.24 c INPROCESSING
313.07/314.24 c GARBAGE COLLECT
313.07/314.24 c #Conflicts: 67000 | #Constraints: 5631
313.07/314.24 c #Conflicts: 68000 | #Constraints: 6631
341.61/342.88 c #Conflicts: 69000 | #Constraints: 7631
341.61/342.88 c #Conflicts: 70000 | #Constraints: 8631
341.61/342.88 c #Conflicts: 71000 | #Constraints: 9631
341.61/342.88 c #Conflicts: 72000 | #Constraints: 10631
341.61/342.88 c INPROCESSING
341.61/342.88 c GARBAGE COLLECT
341.61/342.88 c #Conflicts: 73000 | #Constraints: 6227
341.61/342.88 c #Conflicts: 74000 | #Constraints: 7227
341.61/342.88 c #Conflicts: 75000 | #Constraints: 8227
341.61/342.88 c #Conflicts: 76000 | #Constraints: 9227
341.61/342.88 c #Conflicts: 77000 | #Constraints: 10227
341.61/342.88 c #Conflicts: 78000 | #Constraints: 11227
341.61/342.88 c INPROCESSING
341.61/342.88 c GARBAGE COLLECT
341.61/342.88 c #Conflicts: 79000 | #Constraints: 6629
341.61/342.88 c #Conflicts: 80000 | #Constraints: 7629
341.61/342.88 c #Conflicts: 81000 | #Constraints: 8629
341.61/342.88 c #Conflicts: 82000 | #Constraints: 9629
341.61/342.88 c #Conflicts: 83000 | #Constraints: 10629
341.61/342.88 c #Conflicts: 84000 | #Constraints: 11629
341.61/342.88 c INPROCESSING
341.61/342.88 c GARBAGE COLLECT
341.61/342.88 c #Conflicts: 85000 | #Constraints: 6831
341.61/342.88 c #Conflicts: 86000 | #Constraints: 7831
341.61/342.88 c #Conflicts: 87000 | #Constraints: 8831
341.61/342.88 c #Conflicts: 88000 | #Constraints: 9831
341.61/342.88 c #Conflicts: 89000 | #Constraints: 10831
341.61/342.88 c #Conflicts: 90000 | #Constraints: 11831
341.61/342.88 c INPROCESSING
341.61/342.88 c GARBAGE COLLECT
341.61/342.88 c #Conflicts: 91000 | #Constraints: 6829
341.61/342.88 c #Conflicts: 92000 | #Constraints: 7829
341.61/342.88 c #Conflicts: 93000 | #Constraints: 8829
341.61/342.88 c #Conflicts: 94000 | #Constraints: 9829
341.61/342.88 c #Conflicts: 95000 | #Constraints: 10829
341.61/342.88 c #Conflicts: 96000 | #Constraints: 11829
341.61/342.88 c INPROCESSING
341.61/342.88 c GARBAGE COLLECT
341.61/342.88 c #Conflicts: 97000 | #Constraints: 6635
341.61/342.88 c #Conflicts: 98000 | #Constraints: 7635
341.61/342.88 c #Conflicts: 99000 | #Constraints: 8635
341.61/342.88 c #Conflicts: 100000 | #Constraints: 9635
341.61/342.88 c #Conflicts: 101000 | #Constraints: 10635
341.61/342.88 c #Conflicts: 102000 | #Constraints: 11635
341.61/342.88 c #Conflicts: 103000 | #Constraints: 12635
341.61/342.88 c INPROCESSING
341.61/342.88 c GARBAGE COLLECT
341.61/342.88 c #Conflicts: 104000 | #Constraints: 7235
341.61/342.88 c #Conflicts: 105000 | #Constraints: 8235
341.61/342.88 c #Conflicts: 106000 | #Constraints: 9235
341.61/342.88 c #Conflicts: 107000 | #Constraints: 10235
341.61/342.88 c #Conflicts: 108000 | #Constraints: 11235
341.61/342.88 c #Conflicts: 109000 | #Constraints: 12235
341.61/342.88 c #Conflicts: 110000 | #Constraints: 13235
341.61/342.88 c INPROCESSING
341.61/342.88 c GARBAGE COLLECT
341.61/342.88 c #Conflicts: 111000 | #Constraints: 7637
341.61/342.88 c #Conflicts: 112000 | #Constraints: 8637
341.61/342.88 c #Conflicts: 113000 | #Constraints: 9637
341.61/342.88 c #Conflicts: 114000 | #Constraints: 10637
341.61/342.88 c #Conflicts: 115000 | #Constraints: 11637
341.61/342.88 c #Conflicts: 116000 | #Constraints: 12637
341.61/342.88 c #Conflicts: 117000 | #Constraints: 13637
341.61/342.88 c INPROCESSING
341.61/342.88 c GARBAGE COLLECT
341.61/342.88 c #Conflicts: 118000 | #Constraints: 7833
341.61/342.88 c #Conflicts: 119000 | #Constraints: 8833
341.61/342.88 c #Conflicts: 120000 | #Constraints: 9833
341.61/342.88 c #Conflicts: 121000 | #Constraints: 10833
341.61/342.88 c #Conflicts: 122000 | #Constraints: 11833
341.61/342.88 c #Conflicts: 123000 | #Constraints: 12833
341.61/342.88 c #Conflicts: 124000 | #Constraints: 13833
341.61/342.88 c INPROCESSING
341.61/342.88 c GARBAGE COLLECT
341.61/342.88 c #Conflicts: 125000 | #Constraints: 7831
341.61/342.88 c #Conflicts: 126000 | #Constraints: 8831
341.61/342.88 c #Conflicts: 127000 | #Constraints: 9831
341.61/342.88 c #Conflicts: 128000 | #Constraints: 10831
341.61/342.88 c #Conflicts: 129000 | #Constraints: 11831
341.61/342.88 c #Conflicts: 130000 | #Constraints: 12831
341.61/342.88 c #Conflicts: 131000 | #Constraints: 13831
341.61/342.88 c INPROCESSING
341.61/342.88 c GARBAGE COLLECT
341.61/342.88 c #Conflicts: 132000 | #Constraints: 7631
341.61/342.88 c #Conflicts: 133000 | #Constraints: 8631
341.61/342.88 c #Conflicts: 134000 | #Constraints: 9631
341.61/342.88 c #Conflicts: 135000 | #Constraints: 10631
341.61/342.88 c #Conflicts: 136000 | #Constraints: 11631
341.61/342.88 c #Conflicts: 137000 | #Constraints: 12631
341.61/342.88 c #Conflicts: 138000 | #Constraints: 13631
341.61/342.88 c #Conflicts: 139000 | #Constraints: 14631
341.61/342.88 c INPROCESSING
341.61/342.88 c GARBAGE COLLECT
341.61/342.88 c #Conflicts: 140000 | #Constraints: 8235
377.74/379.11 c #Conflicts: 141000 | #Constraints: 9235
377.74/379.11 c #Conflicts: 142000 | #Constraints: 10235
377.74/379.11 c #Conflicts: 143000 | #Constraints: 11235
377.74/379.11 c #Conflicts: 144000 | #Constraints: 12235
377.74/379.11 c #Conflicts: 145000 | #Constraints: 13235
377.74/379.11 c #Conflicts: 146000 | #Constraints: 14235
377.74/379.11 c #Conflicts: 147000 | #Constraints: 15235
377.74/379.11 c INPROCESSING
377.74/379.11 c GARBAGE COLLECT
377.74/379.11 c #Conflicts: 148000 | #Constraints: 8635
377.74/379.11 c #Conflicts: 149000 | #Constraints: 9635
377.74/379.11 c #Conflicts: 150000 | #Constraints: 10635
377.74/379.11 c #Conflicts: 151000 | #Constraints: 11635
377.74/379.11 c #Conflicts: 152000 | #Constraints: 12635
377.74/379.11 c #Conflicts: 153000 | #Constraints: 13635
377.74/379.11 c #Conflicts: 154000 | #Constraints: 14635
377.74/379.11 c #Conflicts: 155000 | #Constraints: 15635
377.74/379.11 c INPROCESSING
377.74/379.11 c GARBAGE COLLECT
377.74/379.11 c #Conflicts: 156000 | #Constraints: 8836
377.74/379.11 c #Conflicts: 157000 | #Constraints: 9836
377.74/379.11 c #Conflicts: 158000 | #Constraints: 10836
377.74/379.11 c #Conflicts: 159000 | #Constraints: 11836
377.74/379.11 c #Conflicts: 160000 | #Constraints: 12836
377.74/379.11 c #Conflicts: 161000 | #Constraints: 13836
377.74/379.11 c #Conflicts: 162000 | #Constraints: 14836
377.74/379.11 c #Conflicts: 163000 | #Constraints: 15836
377.74/379.11 c INPROCESSING
377.74/379.11 c GARBAGE COLLECT
377.74/379.11 c #Conflicts: 164000 | #Constraints: 8837
377.74/379.11 c #Conflicts: 165000 | #Constraints: 9837
377.74/379.11 c #Conflicts: 166000 | #Constraints: 10837
377.74/379.11 c #Conflicts: 167000 | #Constraints: 11837
377.74/379.11 c #Conflicts: 168000 | #Constraints: 12837
377.74/379.11 c #Conflicts: 169000 | #Constraints: 13837
377.74/379.11 c #Conflicts: 170000 | #Constraints: 14837
377.74/379.11 c #Conflicts: 171000 | #Constraints: 15837
377.74/379.11 c INPROCESSING
377.74/379.11 c GARBAGE COLLECT
377.74/379.11 c #Conflicts: 172000 | #Constraints: 8636
377.74/379.11 c #Conflicts: 173000 | #Constraints: 9636
377.74/379.11 c #Conflicts: 174000 | #Constraints: 10636
377.74/379.11 c #Conflicts: 175000 | #Constraints: 11636
377.74/379.11 c #Conflicts: 176000 | #Constraints: 12636
377.74/379.11 c #Conflicts: 177000 | #Constraints: 13636
377.74/379.11 c #Conflicts: 178000 | #Constraints: 14636
377.74/379.11 c #Conflicts: 179000 | #Constraints: 15636
377.74/379.11 c #Conflicts: 180000 | #Constraints: 16636
377.74/379.11 c INPROCESSING
377.74/379.11 c GARBAGE COLLECT
377.74/379.11 c #Conflicts: 181000 | #Constraints: 9234
377.74/379.11 c #Conflicts: 182000 | #Constraints: 10234
377.74/379.11 c #Conflicts: 183000 | #Constraints: 11234
377.74/379.11 c #Conflicts: 184000 | #Constraints: 12234
377.74/379.11 c #Conflicts: 185000 | #Constraints: 13234
377.74/379.11 c #Conflicts: 186000 | #Constraints: 14234
377.74/379.11 c #Conflicts: 187000 | #Constraints: 15234
377.74/379.11 c #Conflicts: 188000 | #Constraints: 16234
377.74/379.11 c #Conflicts: 189000 | #Constraints: 17234
377.74/379.11 c INPROCESSING
377.74/379.11 c GARBAGE COLLECT
377.74/379.11 c #Conflicts: 190000 | #Constraints: 9636
377.74/379.11 c #Conflicts: 191000 | #Constraints: 10636
377.74/379.11 c #Conflicts: 192000 | #Constraints: 11636
377.74/379.11 c #Conflicts: 193000 | #Constraints: 12636
377.74/379.11 c #Conflicts: 194000 | #Constraints: 13636
377.74/379.11 c #Conflicts: 195000 | #Constraints: 14636
377.74/379.11 c #Conflicts: 196000 | #Constraints: 15636
377.74/379.11 c #Conflicts: 197000 | #Constraints: 16636
377.74/379.11 c #Conflicts: 198000 | #Constraints: 17636
377.74/379.11 c INPROCESSING
377.74/379.11 c GARBAGE COLLECT
377.74/379.11 c #Conflicts: 199000 | #Constraints: 9841
377.74/379.11 c #Conflicts: 200000 | #Constraints: 10841
377.74/379.11 c #Conflicts: 201000 | #Constraints: 11841
377.74/379.11 c #Conflicts: 202000 | #Constraints: 12841
377.74/379.11 c #Conflicts: 203000 | #Constraints: 13841
377.74/379.11 c #Conflicts: 204000 | #Constraints: 14841
377.74/379.11 c #Conflicts: 205000 | #Constraints: 15841
377.74/379.11 c #Conflicts: 206000 | #Constraints: 16841
377.74/379.11 c #Conflicts: 207000 | #Constraints: 17841
377.74/379.11 c INPROCESSING
377.74/379.11 c GARBAGE COLLECT
377.74/379.11 c #Conflicts: 208000 | #Constraints: 9842
377.74/379.11 c #Conflicts: 209000 | #Constraints: 10842
377.74/379.11 c #Conflicts: 210000 | #Constraints: 11842
377.74/379.11 c #Conflicts: 211000 | #Constraints: 12842
377.74/379.11 c #Conflicts: 212000 | #Constraints: 13842
377.74/379.11 c #Conflicts: 213000 | #Constraints: 14842
423.82/425.25 c #Conflicts: 214000 | #Constraints: 15842
423.82/425.25 c #Conflicts: 215000 | #Constraints: 16842
423.82/425.25 c #Conflicts: 216000 | #Constraints: 17842
423.82/425.25 c INPROCESSING
423.82/425.25 c GARBAGE COLLECT
423.82/425.25 c #Conflicts: 217000 | #Constraints: 9638
423.82/425.25 c #Conflicts: 218000 | #Constraints: 10638
423.82/425.25 c #Conflicts: 219000 | #Constraints: 11638
423.82/425.25 c #Conflicts: 220000 | #Constraints: 12638
423.82/425.25 c #Conflicts: 221000 | #Constraints: 13638
423.82/425.25 c #Conflicts: 222000 | #Constraints: 14638
423.82/425.25 c #Conflicts: 223000 | #Constraints: 15638
423.82/425.25 c #Conflicts: 224000 | #Constraints: 16638
423.82/425.25 c #Conflicts: 225000 | #Constraints: 17638
423.82/425.25 c #Conflicts: 226000 | #Constraints: 18638
423.82/425.25 c INPROCESSING
423.82/425.25 c GARBAGE COLLECT
423.82/425.25 c #Conflicts: 227000 | #Constraints: 10243
423.82/425.25 c #Conflicts: 228000 | #Constraints: 11243
423.82/425.25 c #Conflicts: 229000 | #Constraints: 12243
423.82/425.25 c #Conflicts: 230000 | #Constraints: 13243
423.82/425.25 c #Conflicts: 231000 | #Constraints: 14243
423.82/425.25 c #Conflicts: 232000 | #Constraints: 15243
423.82/425.25 c #Conflicts: 233000 | #Constraints: 16243
423.82/425.25 c #Conflicts: 234000 | #Constraints: 17243
423.82/425.25 c #Conflicts: 235000 | #Constraints: 18243
423.82/425.25 c #Conflicts: 236000 | #Constraints: 19243
423.82/425.25 c INPROCESSING
423.82/425.25 c GARBAGE COLLECT
423.82/425.25 c #Conflicts: 237000 | #Constraints: 10639
423.82/425.25 c #Conflicts: 238000 | #Constraints: 11639
423.82/425.25 c #Conflicts: 239000 | #Constraints: 12639
423.82/425.25 c #Conflicts: 240000 | #Constraints: 13639
423.82/425.25 c #Conflicts: 241000 | #Constraints: 14639
423.82/425.25 c #Conflicts: 242000 | #Constraints: 15639
423.82/425.25 c #Conflicts: 243000 | #Constraints: 16639
423.82/425.25 c #Conflicts: 244000 | #Constraints: 17639
423.82/425.25 c #Conflicts: 245000 | #Constraints: 18639
423.82/425.25 c #Conflicts: 246000 | #Constraints: 19639
423.82/425.25 c INPROCESSING
423.82/425.25 c GARBAGE COLLECT
423.82/425.25 c #Conflicts: 247000 | #Constraints: 10836
423.82/425.25 c #Conflicts: 248000 | #Constraints: 11836
423.82/425.25 c #Conflicts: 249000 | #Constraints: 12836
423.82/425.25 c #Conflicts: 250000 | #Constraints: 13836
423.82/425.25 c #Conflicts: 251000 | #Constraints: 14836
423.82/425.25 c #Conflicts: 252000 | #Constraints: 15836
423.82/425.25 c #Conflicts: 253000 | #Constraints: 16836
423.82/425.25 c #Conflicts: 254000 | #Constraints: 17836
423.82/425.25 c #Conflicts: 255000 | #Constraints: 18836
423.82/425.25 c #Conflicts: 256000 | #Constraints: 19836
423.82/425.25 c INPROCESSING
423.82/425.25 c GARBAGE COLLECT
423.82/425.25 c #Conflicts: 257000 | #Constraints: 10838
423.82/425.25 c #Conflicts: 258000 | #Constraints: 11838
423.82/425.25 c #Conflicts: 259000 | #Constraints: 12838
423.82/425.25 c #Conflicts: 260000 | #Constraints: 13838
423.82/425.25 c #Conflicts: 261000 | #Constraints: 14838
423.82/425.25 c #Conflicts: 262000 | #Constraints: 15838
423.82/425.25 c #Conflicts: 263000 | #Constraints: 16838
423.82/425.25 c #Conflicts: 264000 | #Constraints: 17838
423.82/425.25 c #Conflicts: 265000 | #Constraints: 18838
423.82/425.25 c #Conflicts: 266000 | #Constraints: 19838
423.82/425.25 c INPROCESSING
423.82/425.25 c GARBAGE COLLECT
423.82/425.25 c #Conflicts: 267000 | #Constraints: 10637
423.82/425.25 c #Conflicts: 268000 | #Constraints: 11637
423.82/425.25 c #Conflicts: 269000 | #Constraints: 12637
423.82/425.25 c #Conflicts: 270000 | #Constraints: 13637
423.82/425.25 c #Conflicts: 271000 | #Constraints: 14637
423.82/425.25 c #Conflicts: 272000 | #Constraints: 15637
423.82/425.25 c #Conflicts: 273000 | #Constraints: 16637
423.82/425.25 c #Conflicts: 274000 | #Constraints: 17637
423.82/425.25 c #Conflicts: 275000 | #Constraints: 18637
423.82/425.25 c #Conflicts: 276000 | #Constraints: 19637
423.82/425.25 c #Conflicts: 277000 | #Constraints: 20637
423.82/425.25 c INPROCESSING
423.82/425.25 c GARBAGE COLLECT
423.82/425.25 c #Conflicts: 278000 | #Constraints: 11234
423.82/425.25 c #Conflicts: 279000 | #Constraints: 12234
423.82/425.25 c #Conflicts: 280000 | #Constraints: 13234
423.82/425.25 c #Conflicts: 281000 | #Constraints: 14234
423.82/425.25 c #Conflicts: 282000 | #Constraints: 15234
423.82/425.25 c #Conflicts: 283000 | #Constraints: 16234
423.82/425.25 c #Conflicts: 284000 | #Constraints: 17234
423.82/425.25 c #Conflicts: 285000 | #Constraints: 18234
423.82/425.25 c #Conflicts: 286000 | #Constraints: 19234
423.82/425.25 c #Conflicts: 287000 | #Constraints: 20234
423.82/425.25 c #Conflicts: 288000 | #Constraints: 21234
425.12/426.50 c INPROCESSING
425.12/426.50 c GARBAGE COLLECT
425.12/426.50 c #Conflicts: 289000 | #Constraints: 11635
425.12/426.50 c #Conflicts: 290000 | #Constraints: 12635
425.12/426.50 c bounds 29 >= 0 @ 423.832
425.12/426.50 c stratification level: 8
465.22/466.70 c #Conflicts: 291000 | #Constraints: 13636
465.22/466.70 c #Conflicts: 292000 | #Constraints: 14636
465.22/466.70 c #Conflicts: 293000 | #Constraints: 15636
465.22/466.70 c #Conflicts: 294000 | #Constraints: 16636
465.22/466.70 c #Conflicts: 295000 | #Constraints: 17636
465.22/466.70 c #Conflicts: 296000 | #Constraints: 18636
465.22/466.70 c #Conflicts: 297000 | #Constraints: 19636
465.22/466.70 c #Conflicts: 298000 | #Constraints: 20636
465.22/466.70 c #Conflicts: 299000 | #Constraints: 21636
465.22/466.70 c INPROCESSING
465.22/466.70 c GARBAGE COLLECT
465.22/466.70 c #Conflicts: 300000 | #Constraints: 11836
465.22/466.70 c #Conflicts: 301000 | #Constraints: 12836
465.22/466.70 c #Conflicts: 302000 | #Constraints: 13836
465.22/466.70 c #Conflicts: 303000 | #Constraints: 14836
465.22/466.70 c #Conflicts: 304000 | #Constraints: 15836
465.22/466.70 c #Conflicts: 305000 | #Constraints: 16836
465.22/466.70 c #Conflicts: 306000 | #Constraints: 17836
465.22/466.70 c #Conflicts: 307000 | #Constraints: 18836
465.22/466.70 c #Conflicts: 308000 | #Constraints: 19836
465.22/466.70 c #Conflicts: 309000 | #Constraints: 20836
465.22/466.70 c #Conflicts: 310000 | #Constraints: 21836
465.22/466.70 c INPROCESSING
465.22/466.70 c GARBAGE COLLECT
465.22/466.70 c #Conflicts: 311000 | #Constraints: 11835
465.22/466.70 c #Conflicts: 312000 | #Constraints: 12835
465.22/466.70 c #Conflicts: 313000 | #Constraints: 13835
465.22/466.70 c #Conflicts: 314000 | #Constraints: 14835
465.22/466.70 c #Conflicts: 315000 | #Constraints: 15835
465.22/466.70 c #Conflicts: 316000 | #Constraints: 16835
465.22/466.70 c #Conflicts: 317000 | #Constraints: 17835
465.22/466.70 c #Conflicts: 318000 | #Constraints: 18835
465.22/466.70 c #Conflicts: 319000 | #Constraints: 19835
465.22/466.70 c #Conflicts: 320000 | #Constraints: 20835
465.22/466.70 c #Conflicts: 321000 | #Constraints: 21835
465.22/466.70 c INPROCESSING
465.22/466.70 c GARBAGE COLLECT
465.22/466.70 c #Conflicts: 322000 | #Constraints: 11636
465.22/466.70 c #Conflicts: 323000 | #Constraints: 12636
465.22/466.70 c #Conflicts: 324000 | #Constraints: 13636
465.22/466.70 c #Conflicts: 325000 | #Constraints: 14636
465.22/466.70 c #Conflicts: 326000 | #Constraints: 15636
465.22/466.70 c #Conflicts: 327000 | #Constraints: 16636
465.22/466.70 c #Conflicts: 328000 | #Constraints: 17636
465.22/466.70 c #Conflicts: 329000 | #Constraints: 18636
465.22/466.70 c #Conflicts: 330000 | #Constraints: 19636
465.22/466.70 c #Conflicts: 331000 | #Constraints: 20636
465.22/466.70 c #Conflicts: 332000 | #Constraints: 21636
465.22/466.70 c #Conflicts: 333000 | #Constraints: 22636
465.22/466.70 c INPROCESSING
465.22/466.70 c GARBAGE COLLECT
465.22/466.70 c #Conflicts: 334000 | #Constraints: 12233
465.22/466.70 c #Conflicts: 335000 | #Constraints: 13233
465.22/466.70 c #Conflicts: 336000 | #Constraints: 14233
465.22/466.70 c #Conflicts: 337000 | #Constraints: 15233
465.22/466.70 c #Conflicts: 338000 | #Constraints: 16233
465.22/466.70 c #Conflicts: 339000 | #Constraints: 17233
465.22/466.70 c #Conflicts: 340000 | #Constraints: 18233
465.22/466.70 c #Conflicts: 341000 | #Constraints: 19233
465.22/466.70 c #Conflicts: 342000 | #Constraints: 20233
465.22/466.70 c bounds 21 >= 0 @ 463.69
465.22/466.70 c stratification level: 4
533.47/535.18 c #Conflicts: 343000 | #Constraints: 21234
533.47/535.18 c #Conflicts: 344000 | #Constraints: 22234
533.47/535.18 c #Conflicts: 345000 | #Constraints: 23234
533.47/535.18 c INPROCESSING
533.47/535.18 c GARBAGE COLLECT
533.47/535.18 c #Conflicts: 346000 | #Constraints: 12630
533.47/535.18 c #Conflicts: 347000 | #Constraints: 13630
533.47/535.18 c #Conflicts: 348000 | #Constraints: 14630
533.47/535.18 c #Conflicts: 349000 | #Constraints: 15630
533.47/535.18 c #Conflicts: 350000 | #Constraints: 16630
533.47/535.18 c #Conflicts: 351000 | #Constraints: 17630
533.47/535.18 c #Conflicts: 352000 | #Constraints: 18630
533.47/535.18 c #Conflicts: 353000 | #Constraints: 19630
533.47/535.18 c #Conflicts: 354000 | #Constraints: 20630
533.47/535.18 c #Conflicts: 355000 | #Constraints: 21630
533.47/535.18 c #Conflicts: 356000 | #Constraints: 22630
533.47/535.18 c #Conflicts: 357000 | #Constraints: 23630
533.47/535.18 c INPROCESSING
533.47/535.18 c GARBAGE COLLECT
533.47/535.18 c #Conflicts: 358000 | #Constraints: 12829
533.47/535.18 c #Conflicts: 359000 | #Constraints: 13829
533.47/535.18 c #Conflicts: 360000 | #Constraints: 14829
533.47/535.18 c #Conflicts: 361000 | #Constraints: 15829
533.47/535.18 c #Conflicts: 362000 | #Constraints: 16829
533.47/535.18 c #Conflicts: 363000 | #Constraints: 17829
533.47/535.18 c #Conflicts: 364000 | #Constraints: 18829
533.47/535.18 c #Conflicts: 365000 | #Constraints: 19829
533.47/535.18 c #Conflicts: 366000 | #Constraints: 20829
533.47/535.18 c #Conflicts: 367000 | #Constraints: 21829
533.47/535.18 c #Conflicts: 368000 | #Constraints: 22829
533.47/535.18 c #Conflicts: 369000 | #Constraints: 23829
533.47/535.18 c INPROCESSING
533.47/535.18 c GARBAGE COLLECT
533.47/535.18 c #Conflicts: 370000 | #Constraints: 12831
533.47/535.18 c #Conflicts: 371000 | #Constraints: 13831
533.47/535.18 c #Conflicts: 372000 | #Constraints: 14831
533.47/535.18 c #Conflicts: 373000 | #Constraints: 15831
533.47/535.18 c #Conflicts: 374000 | #Constraints: 16831
533.47/535.18 c #Conflicts: 375000 | #Constraints: 17831
533.47/535.18 c #Conflicts: 376000 | #Constraints: 18831
533.47/535.18 c #Conflicts: 377000 | #Constraints: 19831
533.47/535.18 c #Conflicts: 378000 | #Constraints: 20831
533.47/535.18 c #Conflicts: 379000 | #Constraints: 21831
533.47/535.18 c #Conflicts: 380000 | #Constraints: 22831
533.47/535.18 c #Conflicts: 381000 | #Constraints: 23831
533.47/535.18 c INPROCESSING
533.47/535.18 c GARBAGE COLLECT
533.47/535.18 c #Conflicts: 382000 | #Constraints: 12632
533.47/535.18 c #Conflicts: 383000 | #Constraints: 13632
533.47/535.18 c #Conflicts: 384000 | #Constraints: 14632
533.47/535.18 c #Conflicts: 385000 | #Constraints: 15632
533.47/535.18 c #Conflicts: 386000 | #Constraints: 16632
533.47/535.18 c #Conflicts: 387000 | #Constraints: 17632
533.47/535.18 c #Conflicts: 388000 | #Constraints: 18632
533.47/535.18 c #Conflicts: 389000 | #Constraints: 19632
533.47/535.18 c #Conflicts: 390000 | #Constraints: 20632
533.47/535.18 c #Conflicts: 391000 | #Constraints: 21632
533.47/535.18 c #Conflicts: 392000 | #Constraints: 22632
533.47/535.18 c #Conflicts: 393000 | #Constraints: 23632
533.47/535.18 c #Conflicts: 394000 | #Constraints: 24632
533.47/535.18 c INPROCESSING
533.47/535.18 c GARBAGE COLLECT
533.47/535.18 c #Conflicts: 395000 | #Constraints: 13233
533.47/535.18 c #Conflicts: 396000 | #Constraints: 14233
533.47/535.18 c #Conflicts: 397000 | #Constraints: 15233
533.47/535.18 c #Conflicts: 398000 | #Constraints: 16233
533.47/535.18 c #Conflicts: 399000 | #Constraints: 17233
533.47/535.18 c #Conflicts: 400000 | #Constraints: 18233
533.47/535.18 c #Conflicts: 401000 | #Constraints: 19233
533.47/535.18 c #Conflicts: 402000 | #Constraints: 20233
533.47/535.18 c #Conflicts: 403000 | #Constraints: 21233
533.47/535.18 c #Conflicts: 404000 | #Constraints: 22233
533.47/535.18 c #Conflicts: 405000 | #Constraints: 23233
533.47/535.18 c #Conflicts: 406000 | #Constraints: 24233
533.47/535.18 c #Conflicts: 407000 | #Constraints: 25233
533.47/535.18 c INPROCESSING
533.47/535.18 c GARBAGE COLLECT
533.47/535.18 c #Conflicts: 408000 | #Constraints: 13630
533.47/535.18 c #Conflicts: 409000 | #Constraints: 14630
533.47/535.18 c #Conflicts: 410000 | #Constraints: 15630
533.47/535.18 c #Conflicts: 411000 | #Constraints: 16630
533.47/535.18 c #Conflicts: 412000 | #Constraints: 17630
533.47/535.18 c #Conflicts: 413000 | #Constraints: 18630
533.47/535.18 c #Conflicts: 414000 | #Constraints: 19630
533.47/535.18 c #Conflicts: 415000 | #Constraints: 20630
533.47/535.18 c #Conflicts: 416000 | #Constraints: 21630
533.47/535.18 c #Conflicts: 417000 | #Constraints: 22630
619.85/621.71 c #Conflicts: 418000 | #Constraints: 23630
619.85/621.71 c #Conflicts: 419000 | #Constraints: 24630
619.85/621.71 c #Conflicts: 420000 | #Constraints: 25630
619.85/621.71 c INPROCESSING
619.85/621.71 c GARBAGE COLLECT
619.85/621.71 c #Conflicts: 421000 | #Constraints: 13831
619.85/621.71 c #Conflicts: 422000 | #Constraints: 14831
619.85/621.71 c #Conflicts: 423000 | #Constraints: 15831
619.85/621.71 c #Conflicts: 424000 | #Constraints: 16831
619.85/621.71 c #Conflicts: 425000 | #Constraints: 17831
619.85/621.71 c #Conflicts: 426000 | #Constraints: 18831
619.85/621.71 c #Conflicts: 427000 | #Constraints: 19831
619.85/621.71 c #Conflicts: 428000 | #Constraints: 20831
619.85/621.71 c #Conflicts: 429000 | #Constraints: 21831
619.85/621.71 c #Conflicts: 430000 | #Constraints: 22831
619.85/621.71 c #Conflicts: 431000 | #Constraints: 23831
619.85/621.71 c #Conflicts: 432000 | #Constraints: 24831
619.85/621.71 c #Conflicts: 433000 | #Constraints: 25831
619.85/621.71 c INPROCESSING
619.85/621.71 c GARBAGE COLLECT
619.85/621.71 c #Conflicts: 434000 | #Constraints: 13831
619.85/621.71 c #Conflicts: 435000 | #Constraints: 14831
619.85/621.71 c #Conflicts: 436000 | #Constraints: 15831
619.85/621.71 c #Conflicts: 437000 | #Constraints: 16831
619.85/621.71 c #Conflicts: 438000 | #Constraints: 17831
619.85/621.71 c #Conflicts: 439000 | #Constraints: 18831
619.85/621.71 c #Conflicts: 440000 | #Constraints: 19831
619.85/621.71 c #Conflicts: 441000 | #Constraints: 20831
619.85/621.71 c #Conflicts: 442000 | #Constraints: 21831
619.85/621.71 c #Conflicts: 443000 | #Constraints: 22831
619.85/621.71 c #Conflicts: 444000 | #Constraints: 23831
619.85/621.71 c #Conflicts: 445000 | #Constraints: 24831
619.85/621.71 c #Conflicts: 446000 | #Constraints: 25831
619.85/621.71 c INPROCESSING
619.85/621.71 c GARBAGE COLLECT
619.85/621.71 c #Conflicts: 447000 | #Constraints: 13635
619.85/621.71 c #Conflicts: 448000 | #Constraints: 14635
619.85/621.71 c #Conflicts: 449000 | #Constraints: 15635
619.85/621.71 c #Conflicts: 450000 | #Constraints: 16635
619.85/621.71 c #Conflicts: 451000 | #Constraints: 17635
619.85/621.71 c #Conflicts: 452000 | #Constraints: 18635
619.85/621.71 c #Conflicts: 453000 | #Constraints: 19635
619.85/621.71 c #Conflicts: 454000 | #Constraints: 20635
619.85/621.71 c #Conflicts: 455000 | #Constraints: 21635
619.85/621.71 c #Conflicts: 456000 | #Constraints: 22635
619.85/621.71 c #Conflicts: 457000 | #Constraints: 23635
619.85/621.71 c #Conflicts: 458000 | #Constraints: 24635
619.85/621.71 c #Conflicts: 459000 | #Constraints: 25635
619.85/621.71 c #Conflicts: 460000 | #Constraints: 26635
619.85/621.71 c INPROCESSING
619.85/621.71 c GARBAGE COLLECT
619.85/621.71 c #Conflicts: 461000 | #Constraints: 14239
619.85/621.71 c #Conflicts: 462000 | #Constraints: 15239
619.85/621.71 c #Conflicts: 463000 | #Constraints: 16239
619.85/621.71 c #Conflicts: 464000 | #Constraints: 17239
619.85/621.71 c #Conflicts: 465000 | #Constraints: 18239
619.85/621.71 c #Conflicts: 466000 | #Constraints: 19239
619.85/621.71 c #Conflicts: 467000 | #Constraints: 20239
619.85/621.71 c #Conflicts: 468000 | #Constraints: 21239
619.85/621.71 c #Conflicts: 469000 | #Constraints: 22239
619.85/621.71 c #Conflicts: 470000 | #Constraints: 23239
619.85/621.71 c #Conflicts: 471000 | #Constraints: 24239
619.85/621.71 c #Conflicts: 472000 | #Constraints: 25239
619.85/621.71 c #Conflicts: 473000 | #Constraints: 26239
619.85/621.71 c #Conflicts: 474000 | #Constraints: 27239
619.85/621.71 c INPROCESSING
619.85/621.71 c GARBAGE COLLECT
619.85/621.71 c #Conflicts: 475000 | #Constraints: 14637
619.85/621.71 c #Conflicts: 476000 | #Constraints: 15637
619.85/621.71 c #Conflicts: 477000 | #Constraints: 16637
619.85/621.71 c #Conflicts: 478000 | #Constraints: 17637
619.85/621.71 c #Conflicts: 479000 | #Constraints: 18637
619.85/621.71 c #Conflicts: 480000 | #Constraints: 19637
619.85/621.71 c #Conflicts: 481000 | #Constraints: 20637
619.85/621.71 c #Conflicts: 482000 | #Constraints: 21637
619.85/621.71 c #Conflicts: 483000 | #Constraints: 22637
619.85/621.71 c #Conflicts: 484000 | #Constraints: 23637
619.85/621.71 c #Conflicts: 485000 | #Constraints: 24637
619.85/621.71 c #Conflicts: 486000 | #Constraints: 25637
619.85/621.71 c #Conflicts: 487000 | #Constraints: 26637
619.85/621.71 c #Conflicts: 488000 | #Constraints: 27637
619.85/621.71 c INPROCESSING
619.85/621.71 c GARBAGE COLLECT
619.85/621.71 c #Conflicts: 489000 | #Constraints: 14835
619.85/621.71 c #Conflicts: 490000 | #Constraints: 15835
619.85/621.71 c #Conflicts: 491000 | #Constraints: 16835
619.85/621.71 c #Conflicts: 492000 | #Constraints: 17835
702.12/704.24 c #Conflicts: 493000 | #Constraints: 18835
702.12/704.24 c #Conflicts: 494000 | #Constraints: 19835
702.12/704.24 c #Conflicts: 495000 | #Constraints: 20835
702.12/704.24 c #Conflicts: 496000 | #Constraints: 21835
702.12/704.24 c #Conflicts: 497000 | #Constraints: 22835
702.12/704.24 c #Conflicts: 498000 | #Constraints: 23835
702.12/704.24 c #Conflicts: 499000 | #Constraints: 24835
702.12/704.24 c #Conflicts: 500000 | #Constraints: 25835
702.12/704.24 c #Conflicts: 501000 | #Constraints: 26835
702.12/704.24 c #Conflicts: 502000 | #Constraints: 27835
702.12/704.24 c INPROCESSING
702.12/704.24 c GARBAGE COLLECT
702.12/704.24 c #Conflicts: 503000 | #Constraints: 14835
702.12/704.24 c #Conflicts: 504000 | #Constraints: 15835
702.12/704.24 c #Conflicts: 505000 | #Constraints: 16835
702.12/704.24 c #Conflicts: 506000 | #Constraints: 17835
702.12/704.24 c #Conflicts: 507000 | #Constraints: 18835
702.12/704.24 c #Conflicts: 508000 | #Constraints: 19835
702.12/704.24 c #Conflicts: 509000 | #Constraints: 20835
702.12/704.24 c #Conflicts: 510000 | #Constraints: 21835
702.12/704.24 c #Conflicts: 511000 | #Constraints: 22835
702.12/704.24 c #Conflicts: 512000 | #Constraints: 23835
702.12/704.24 c #Conflicts: 513000 | #Constraints: 24835
702.12/704.24 c #Conflicts: 514000 | #Constraints: 25835
702.12/704.24 c #Conflicts: 515000 | #Constraints: 26835
702.12/704.24 c #Conflicts: 516000 | #Constraints: 27835
702.12/704.24 c INPROCESSING
702.12/704.24 c GARBAGE COLLECT
702.12/704.24 c #Conflicts: 517000 | #Constraints: 14633
702.12/704.24 c #Conflicts: 518000 | #Constraints: 15633
702.12/704.24 c #Conflicts: 519000 | #Constraints: 16633
702.12/704.24 c #Conflicts: 520000 | #Constraints: 17633
702.12/704.24 c #Conflicts: 521000 | #Constraints: 18633
702.12/704.24 c #Conflicts: 522000 | #Constraints: 19633
702.12/704.24 c #Conflicts: 523000 | #Constraints: 20633
702.12/704.24 c #Conflicts: 524000 | #Constraints: 21633
702.12/704.24 c #Conflicts: 525000 | #Constraints: 22633
702.12/704.24 c #Conflicts: 526000 | #Constraints: 23633
702.12/704.24 c #Conflicts: 527000 | #Constraints: 24633
702.12/704.24 c #Conflicts: 528000 | #Constraints: 25633
702.12/704.24 c #Conflicts: 529000 | #Constraints: 26633
702.12/704.24 c #Conflicts: 530000 | #Constraints: 27633
702.12/704.24 c #Conflicts: 531000 | #Constraints: 28633
702.12/704.24 c INPROCESSING
702.12/704.24 c GARBAGE COLLECT
702.12/704.24 c #Conflicts: 532000 | #Constraints: 15234
702.12/704.24 c #Conflicts: 533000 | #Constraints: 16234
702.12/704.24 c #Conflicts: 534000 | #Constraints: 17234
702.12/704.24 c #Conflicts: 535000 | #Constraints: 18234
702.12/704.24 c #Conflicts: 536000 | #Constraints: 19234
702.12/704.24 c #Conflicts: 537000 | #Constraints: 20234
702.12/704.24 c #Conflicts: 538000 | #Constraints: 21234
702.12/704.24 c #Conflicts: 539000 | #Constraints: 22234
702.12/704.24 c #Conflicts: 540000 | #Constraints: 23234
702.12/704.24 c #Conflicts: 541000 | #Constraints: 24234
702.12/704.24 c #Conflicts: 542000 | #Constraints: 25234
702.12/704.24 c #Conflicts: 543000 | #Constraints: 26234
702.12/704.24 c #Conflicts: 544000 | #Constraints: 27234
702.12/704.24 c #Conflicts: 545000 | #Constraints: 28234
702.12/704.24 c #Conflicts: 546000 | #Constraints: 29234
702.12/704.24 c INPROCESSING
702.12/704.24 c GARBAGE COLLECT
702.12/704.24 c #Conflicts: 547000 | #Constraints: 15635
702.12/704.24 c #Conflicts: 548000 | #Constraints: 16635
702.12/704.24 c #Conflicts: 549000 | #Constraints: 17635
702.12/704.24 c #Conflicts: 550000 | #Constraints: 18635
702.12/704.24 c #Conflicts: 551000 | #Constraints: 19635
702.12/704.24 c #Conflicts: 552000 | #Constraints: 20635
702.12/704.24 c #Conflicts: 553000 | #Constraints: 21635
702.12/704.24 c #Conflicts: 554000 | #Constraints: 22635
702.12/704.24 c #Conflicts: 555000 | #Constraints: 23635
702.12/704.24 c #Conflicts: 556000 | #Constraints: 24635
702.12/704.24 c #Conflicts: 557000 | #Constraints: 25635
702.12/704.24 c #Conflicts: 558000 | #Constraints: 26635
702.12/704.24 c #Conflicts: 559000 | #Constraints: 27635
702.12/704.24 c #Conflicts: 560000 | #Constraints: 28635
702.12/704.24 c #Conflicts: 561000 | #Constraints: 29635
702.12/704.24 c INPROCESSING
702.12/704.24 c GARBAGE COLLECT
702.12/704.24 c #Conflicts: 562000 | #Constraints: 15833
702.12/704.24 c #Conflicts: 563000 | #Constraints: 16833
702.12/704.24 c #Conflicts: 564000 | #Constraints: 17833
702.12/704.24 c #Conflicts: 565000 | #Constraints: 18833
702.12/704.24 c #Conflicts: 566000 | #Constraints: 19833
702.12/704.24 c #Conflicts: 567000 | #Constraints: 20833
702.12/704.24 c #Conflicts: 568000 | #Constraints: 21833
806.52/808.94 c #Conflicts: 569000 | #Constraints: 22833
806.52/808.94 c #Conflicts: 570000 | #Constraints: 23833
806.52/808.94 c #Conflicts: 571000 | #Constraints: 24833
806.52/808.94 c #Conflicts: 572000 | #Constraints: 25833
806.52/808.94 c #Conflicts: 573000 | #Constraints: 26833
806.52/808.94 c #Conflicts: 574000 | #Constraints: 27833
806.52/808.94 c #Conflicts: 575000 | #Constraints: 28833
806.52/808.94 c #Conflicts: 576000 | #Constraints: 29833
806.52/808.94 c INPROCESSING
806.52/808.94 c GARBAGE COLLECT
806.52/808.94 c #Conflicts: 577000 | #Constraints: 15832
806.52/808.94 c #Conflicts: 578000 | #Constraints: 16832
806.52/808.94 c #Conflicts: 579000 | #Constraints: 17832
806.52/808.94 c #Conflicts: 580000 | #Constraints: 18832
806.52/808.94 c #Conflicts: 581000 | #Constraints: 19832
806.52/808.94 c #Conflicts: 582000 | #Constraints: 20832
806.52/808.94 c #Conflicts: 583000 | #Constraints: 21832
806.52/808.94 c #Conflicts: 584000 | #Constraints: 22832
806.52/808.94 c #Conflicts: 585000 | #Constraints: 23832
806.52/808.94 c #Conflicts: 586000 | #Constraints: 24832
806.52/808.94 c #Conflicts: 587000 | #Constraints: 25832
806.52/808.94 c #Conflicts: 588000 | #Constraints: 26832
806.52/808.94 c #Conflicts: 589000 | #Constraints: 27832
806.52/808.94 c #Conflicts: 590000 | #Constraints: 28832
806.52/808.94 c #Conflicts: 591000 | #Constraints: 29832
806.52/808.94 c INPROCESSING
806.52/808.94 c GARBAGE COLLECT
806.52/808.94 c #Conflicts: 592000 | #Constraints: 15635
806.52/808.94 c #Conflicts: 593000 | #Constraints: 16635
806.52/808.94 c #Conflicts: 594000 | #Constraints: 17635
806.52/808.94 c #Conflicts: 595000 | #Constraints: 18635
806.52/808.94 c #Conflicts: 596000 | #Constraints: 19635
806.52/808.94 c #Conflicts: 597000 | #Constraints: 20635
806.52/808.94 c #Conflicts: 598000 | #Constraints: 21635
806.52/808.94 c #Conflicts: 599000 | #Constraints: 22635
806.52/808.94 c #Conflicts: 600000 | #Constraints: 23635
806.52/808.94 c #Conflicts: 601000 | #Constraints: 24635
806.52/808.94 c #Conflicts: 602000 | #Constraints: 25635
806.52/808.94 c #Conflicts: 603000 | #Constraints: 26635
806.52/808.94 c #Conflicts: 604000 | #Constraints: 27635
806.52/808.94 c #Conflicts: 605000 | #Constraints: 28635
806.52/808.94 c #Conflicts: 606000 | #Constraints: 29635
806.52/808.94 c #Conflicts: 607000 | #Constraints: 30635
806.52/808.94 c INPROCESSING
806.52/808.94 c GARBAGE COLLECT
806.52/808.94 c #Conflicts: 608000 | #Constraints: 16234
806.52/808.94 c #Conflicts: 609000 | #Constraints: 17234
806.52/808.94 c #Conflicts: 610000 | #Constraints: 18234
806.52/808.94 c #Conflicts: 611000 | #Constraints: 19234
806.52/808.94 c #Conflicts: 612000 | #Constraints: 20234
806.52/808.94 c #Conflicts: 613000 | #Constraints: 21234
806.52/808.94 c #Conflicts: 614000 | #Constraints: 22234
806.52/808.94 c #Conflicts: 615000 | #Constraints: 23234
806.52/808.94 c #Conflicts: 616000 | #Constraints: 24234
806.52/808.94 c #Conflicts: 617000 | #Constraints: 25234
806.52/808.94 c #Conflicts: 618000 | #Constraints: 26234
806.52/808.94 c #Conflicts: 619000 | #Constraints: 27234
806.52/808.94 c #Conflicts: 620000 | #Constraints: 28234
806.52/808.94 c #Conflicts: 621000 | #Constraints: 29234
806.52/808.94 c #Conflicts: 622000 | #Constraints: 30234
806.52/808.94 c #Conflicts: 623000 | #Constraints: 31234
806.52/808.94 c INPROCESSING
806.52/808.94 c GARBAGE COLLECT
806.52/808.94 c #Conflicts: 624000 | #Constraints: 16631
806.52/808.94 c #Conflicts: 625000 | #Constraints: 17631
806.52/808.94 c #Conflicts: 626000 | #Constraints: 18631
806.52/808.94 c #Conflicts: 627000 | #Constraints: 19631
806.52/808.94 c #Conflicts: 628000 | #Constraints: 20631
806.52/808.94 c #Conflicts: 629000 | #Constraints: 21631
806.52/808.94 c #Conflicts: 630000 | #Constraints: 22631
806.52/808.94 c #Conflicts: 631000 | #Constraints: 23631
806.52/808.94 c #Conflicts: 632000 | #Constraints: 24631
806.52/808.94 c #Conflicts: 633000 | #Constraints: 25631
806.52/808.94 c #Conflicts: 634000 | #Constraints: 26631
806.52/808.94 c #Conflicts: 635000 | #Constraints: 27631
806.52/808.94 c #Conflicts: 636000 | #Constraints: 28631
806.52/808.94 c #Conflicts: 637000 | #Constraints: 29631
806.52/808.94 c #Conflicts: 638000 | #Constraints: 30631
806.52/808.94 c #Conflicts: 639000 | #Constraints: 31631
806.52/808.94 c INPROCESSING
806.52/808.94 c GARBAGE COLLECT
806.52/808.94 c #Conflicts: 640000 | #Constraints: 16831
806.52/808.94 c #Conflicts: 641000 | #Constraints: 17831
806.52/808.94 c #Conflicts: 642000 | #Constraints: 18831
806.52/808.94 c #Conflicts: 643000 | #Constraints: 19831
806.52/808.94 c #Conflicts: 644000 | #Constraints: 20831
907.80/910.48 c #Conflicts: 645000 | #Constraints: 21831
907.80/910.48 c #Conflicts: 646000 | #Constraints: 22831
907.80/910.48 c #Conflicts: 647000 | #Constraints: 23831
907.80/910.48 c #Conflicts: 648000 | #Constraints: 24831
907.80/910.48 c #Conflicts: 649000 | #Constraints: 25831
907.80/910.48 c #Conflicts: 650000 | #Constraints: 26831
907.80/910.48 c #Conflicts: 651000 | #Constraints: 27831
907.80/910.48 c #Conflicts: 652000 | #Constraints: 28831
907.80/910.48 c #Conflicts: 653000 | #Constraints: 29831
907.80/910.48 c #Conflicts: 654000 | #Constraints: 30831
907.80/910.48 c #Conflicts: 655000 | #Constraints: 31831
907.80/910.48 c INPROCESSING
907.80/910.48 c GARBAGE COLLECT
907.80/910.48 c #Conflicts: 656000 | #Constraints: 16834
907.80/910.48 c #Conflicts: 657000 | #Constraints: 17834
907.80/910.48 c #Conflicts: 658000 | #Constraints: 18834
907.80/910.48 c #Conflicts: 659000 | #Constraints: 19834
907.80/910.48 c #Conflicts: 660000 | #Constraints: 20834
907.80/910.48 c #Conflicts: 661000 | #Constraints: 21834
907.80/910.48 c #Conflicts: 662000 | #Constraints: 22834
907.80/910.48 c #Conflicts: 663000 | #Constraints: 23834
907.80/910.48 c #Conflicts: 664000 | #Constraints: 24834
907.80/910.48 c #Conflicts: 665000 | #Constraints: 25834
907.80/910.48 c #Conflicts: 666000 | #Constraints: 26834
907.80/910.48 c #Conflicts: 667000 | #Constraints: 27834
907.80/910.48 c #Conflicts: 668000 | #Constraints: 28834
907.80/910.48 c #Conflicts: 669000 | #Constraints: 29834
907.80/910.48 c #Conflicts: 670000 | #Constraints: 30834
907.80/910.48 c #Conflicts: 671000 | #Constraints: 31834
907.80/910.48 c INPROCESSING
907.80/910.48 c GARBAGE COLLECT
907.80/910.48 c #Conflicts: 672000 | #Constraints: 16633
907.80/910.48 c #Conflicts: 673000 | #Constraints: 17633
907.80/910.48 c #Conflicts: 674000 | #Constraints: 18633
907.80/910.48 c #Conflicts: 675000 | #Constraints: 19633
907.80/910.48 c #Conflicts: 676000 | #Constraints: 20633
907.80/910.48 c #Conflicts: 677000 | #Constraints: 21633
907.80/910.48 c #Conflicts: 678000 | #Constraints: 22633
907.80/910.48 c #Conflicts: 679000 | #Constraints: 23633
907.80/910.48 c #Conflicts: 680000 | #Constraints: 24633
907.80/910.48 c #Conflicts: 681000 | #Constraints: 25633
907.80/910.48 c #Conflicts: 682000 | #Constraints: 26633
907.80/910.48 c #Conflicts: 683000 | #Constraints: 27633
907.80/910.48 c #Conflicts: 684000 | #Constraints: 28633
907.80/910.48 c #Conflicts: 685000 | #Constraints: 29633
907.80/910.48 c #Conflicts: 686000 | #Constraints: 30633
907.80/910.48 c #Conflicts: 687000 | #Constraints: 31633
907.80/910.48 c #Conflicts: 688000 | #Constraints: 32633
907.80/910.48 c INPROCESSING
907.80/910.48 c GARBAGE COLLECT
907.80/910.48 c #Conflicts: 689000 | #Constraints: 17234
907.80/910.48 c #Conflicts: 690000 | #Constraints: 18234
907.80/910.48 c #Conflicts: 691000 | #Constraints: 19234
907.80/910.48 c #Conflicts: 692000 | #Constraints: 20234
907.80/910.48 c #Conflicts: 693000 | #Constraints: 21234
907.80/910.48 c #Conflicts: 694000 | #Constraints: 22234
907.80/910.48 c #Conflicts: 695000 | #Constraints: 23234
907.80/910.48 c #Conflicts: 696000 | #Constraints: 24234
907.80/910.48 c #Conflicts: 697000 | #Constraints: 25234
907.80/910.48 c #Conflicts: 698000 | #Constraints: 26234
907.80/910.48 c #Conflicts: 699000 | #Constraints: 27234
907.80/910.48 c #Conflicts: 700000 | #Constraints: 28234
907.80/910.48 c #Conflicts: 701000 | #Constraints: 29234
907.80/910.48 c #Conflicts: 702000 | #Constraints: 30234
907.80/910.48 c #Conflicts: 703000 | #Constraints: 31234
907.80/910.48 c #Conflicts: 704000 | #Constraints: 32234
907.80/910.48 c #Conflicts: 705000 | #Constraints: 33234
907.80/910.48 c INPROCESSING
907.80/910.48 c GARBAGE COLLECT
907.80/910.48 c #Conflicts: 706000 | #Constraints: 17637
907.80/910.48 c #Conflicts: 707000 | #Constraints: 18637
907.80/910.48 c #Conflicts: 708000 | #Constraints: 19637
907.80/910.48 c #Conflicts: 709000 | #Constraints: 20637
907.80/910.48 c #Conflicts: 710000 | #Constraints: 21637
907.80/910.48 c #Conflicts: 711000 | #Constraints: 22637
907.80/910.48 c #Conflicts: 712000 | #Constraints: 23637
907.80/910.48 c #Conflicts: 713000 | #Constraints: 24637
907.80/910.48 c #Conflicts: 714000 | #Constraints: 25637
907.80/910.48 c #Conflicts: 715000 | #Constraints: 26637
907.80/910.48 c #Conflicts: 716000 | #Constraints: 27637
907.80/910.48 c #Conflicts: 717000 | #Constraints: 28637
907.80/910.48 c #Conflicts: 718000 | #Constraints: 29637
907.80/910.48 c #Conflicts: 719000 | #Constraints: 30637
907.80/910.48 c #Conflicts: 720000 | #Constraints: 31637
1024.54/1027.46 c #Conflicts: 721000 | #Constraints: 32637
1024.54/1027.46 c #Conflicts: 722000 | #Constraints: 33637
1024.54/1027.46 c INPROCESSING
1024.54/1027.46 c GARBAGE COLLECT
1024.54/1027.46 c #Conflicts: 723000 | #Constraints: 17834
1024.54/1027.46 c #Conflicts: 724000 | #Constraints: 18834
1024.54/1027.46 c #Conflicts: 725000 | #Constraints: 19834
1024.54/1027.46 c #Conflicts: 726000 | #Constraints: 20834
1024.54/1027.46 c #Conflicts: 727000 | #Constraints: 21834
1024.54/1027.46 c #Conflicts: 728000 | #Constraints: 22834
1024.54/1027.46 c #Conflicts: 729000 | #Constraints: 23834
1024.54/1027.46 c #Conflicts: 730000 | #Constraints: 24834
1024.54/1027.46 c #Conflicts: 731000 | #Constraints: 25834
1024.54/1027.46 c #Conflicts: 732000 | #Constraints: 26834
1024.54/1027.46 c #Conflicts: 733000 | #Constraints: 27834
1024.54/1027.46 c #Conflicts: 734000 | #Constraints: 28834
1024.54/1027.46 c #Conflicts: 735000 | #Constraints: 29834
1024.54/1027.46 c #Conflicts: 736000 | #Constraints: 30834
1024.54/1027.46 c #Conflicts: 737000 | #Constraints: 31834
1024.54/1027.46 c #Conflicts: 738000 | #Constraints: 32834
1024.54/1027.46 c #Conflicts: 739000 | #Constraints: 33834
1024.54/1027.46 c INPROCESSING
1024.54/1027.46 c GARBAGE COLLECT
1024.54/1027.46 c #Conflicts: 740000 | #Constraints: 17837
1024.54/1027.46 c #Conflicts: 741000 | #Constraints: 18837
1024.54/1027.46 c #Conflicts: 742000 | #Constraints: 19837
1024.54/1027.46 c #Conflicts: 743000 | #Constraints: 20837
1024.54/1027.46 c #Conflicts: 744000 | #Constraints: 21837
1024.54/1027.46 c #Conflicts: 745000 | #Constraints: 22837
1024.54/1027.46 c #Conflicts: 746000 | #Constraints: 23837
1024.54/1027.46 c #Conflicts: 747000 | #Constraints: 24837
1024.54/1027.46 c #Conflicts: 748000 | #Constraints: 25837
1024.54/1027.46 c #Conflicts: 749000 | #Constraints: 26837
1024.54/1027.46 c #Conflicts: 750000 | #Constraints: 27837
1024.54/1027.46 c #Conflicts: 751000 | #Constraints: 28837
1024.54/1027.46 c #Conflicts: 752000 | #Constraints: 29837
1024.54/1027.46 c #Conflicts: 753000 | #Constraints: 30837
1024.54/1027.46 c #Conflicts: 754000 | #Constraints: 31837
1024.54/1027.46 c #Conflicts: 755000 | #Constraints: 32837
1024.54/1027.46 c #Conflicts: 756000 | #Constraints: 33837
1024.54/1027.46 c INPROCESSING
1024.54/1027.46 c GARBAGE COLLECT
1024.54/1027.46 c #Conflicts: 757000 | #Constraints: 17633
1024.54/1027.46 c #Conflicts: 758000 | #Constraints: 18633
1024.54/1027.46 c #Conflicts: 759000 | #Constraints: 19633
1024.54/1027.46 c #Conflicts: 760000 | #Constraints: 20633
1024.54/1027.46 c #Conflicts: 761000 | #Constraints: 21633
1024.54/1027.46 c #Conflicts: 762000 | #Constraints: 22633
1024.54/1027.46 c #Conflicts: 763000 | #Constraints: 23633
1024.54/1027.46 c #Conflicts: 764000 | #Constraints: 24633
1024.54/1027.46 c #Conflicts: 765000 | #Constraints: 25633
1024.54/1027.46 c #Conflicts: 766000 | #Constraints: 26633
1024.54/1027.46 c #Conflicts: 767000 | #Constraints: 27633
1024.54/1027.46 c #Conflicts: 768000 | #Constraints: 28633
1024.54/1027.46 c #Conflicts: 769000 | #Constraints: 29633
1024.54/1027.46 c #Conflicts: 770000 | #Constraints: 30633
1024.54/1027.46 c #Conflicts: 771000 | #Constraints: 31633
1024.54/1027.46 c #Conflicts: 772000 | #Constraints: 32633
1024.54/1027.46 c #Conflicts: 773000 | #Constraints: 33633
1024.54/1027.46 c #Conflicts: 774000 | #Constraints: 34633
1024.54/1027.46 c INPROCESSING
1024.54/1027.46 c GARBAGE COLLECT
1024.54/1027.46 c #Conflicts: 775000 | #Constraints: 18233
1024.54/1027.46 c #Conflicts: 776000 | #Constraints: 19233
1024.54/1027.46 c #Conflicts: 777000 | #Constraints: 20233
1024.54/1027.46 c #Conflicts: 778000 | #Constraints: 21233
1024.54/1027.46 c #Conflicts: 779000 | #Constraints: 22233
1024.54/1027.46 c #Conflicts: 780000 | #Constraints: 23233
1024.54/1027.46 c #Conflicts: 781000 | #Constraints: 24233
1024.54/1027.46 c #Conflicts: 782000 | #Constraints: 25233
1024.54/1027.46 c #Conflicts: 783000 | #Constraints: 26233
1024.54/1027.46 c #Conflicts: 784000 | #Constraints: 27233
1024.54/1027.46 c #Conflicts: 785000 | #Constraints: 28233
1024.54/1027.46 c #Conflicts: 786000 | #Constraints: 29233
1024.54/1027.46 c #Conflicts: 787000 | #Constraints: 30233
1024.54/1027.46 c #Conflicts: 788000 | #Constraints: 31233
1024.54/1027.46 c #Conflicts: 789000 | #Constraints: 32233
1024.54/1027.46 c #Conflicts: 790000 | #Constraints: 33233
1024.54/1027.46 c #Conflicts: 791000 | #Constraints: 34233
1024.54/1027.46 c #Conflicts: 792000 | #Constraints: 35233
1024.54/1027.46 c INPROCESSING
1024.54/1027.46 c GARBAGE COLLECT
1024.54/1027.46 c #Conflicts: 793000 | #Constraints: 18633
1024.54/1027.46 c #Conflicts: 794000 | #Constraints: 19633
1024.54/1027.46 c #Conflicts: 795000 | #Constraints: 20633
1147.26/1150.48 c #Conflicts: 796000 | #Constraints: 21633
1147.26/1150.48 c #Conflicts: 797000 | #Constraints: 22633
1147.26/1150.48 c #Conflicts: 798000 | #Constraints: 23633
1147.26/1150.48 c #Conflicts: 799000 | #Constraints: 24633
1147.26/1150.48 c #Conflicts: 800000 | #Constraints: 25633
1147.26/1150.48 c #Conflicts: 801000 | #Constraints: 26633
1147.26/1150.48 c #Conflicts: 802000 | #Constraints: 27633
1147.26/1150.48 c #Conflicts: 803000 | #Constraints: 28633
1147.26/1150.48 c #Conflicts: 804000 | #Constraints: 29633
1147.26/1150.48 c #Conflicts: 805000 | #Constraints: 30633
1147.26/1150.48 c #Conflicts: 806000 | #Constraints: 31633
1147.26/1150.48 c #Conflicts: 807000 | #Constraints: 32633
1147.26/1150.48 c #Conflicts: 808000 | #Constraints: 33633
1147.26/1150.48 c #Conflicts: 809000 | #Constraints: 34633
1147.26/1150.48 c #Conflicts: 810000 | #Constraints: 35633
1147.26/1150.48 c INPROCESSING
1147.26/1150.48 c GARBAGE COLLECT
1147.26/1150.48 c #Conflicts: 811000 | #Constraints: 18832
1147.26/1150.48 c #Conflicts: 812000 | #Constraints: 19832
1147.26/1150.48 c #Conflicts: 813000 | #Constraints: 20832
1147.26/1150.48 c #Conflicts: 814000 | #Constraints: 21832
1147.26/1150.48 c #Conflicts: 815000 | #Constraints: 22832
1147.26/1150.48 c #Conflicts: 816000 | #Constraints: 23832
1147.26/1150.48 c #Conflicts: 817000 | #Constraints: 24832
1147.26/1150.48 c #Conflicts: 818000 | #Constraints: 25832
1147.26/1150.48 c #Conflicts: 819000 | #Constraints: 26832
1147.26/1150.48 c #Conflicts: 820000 | #Constraints: 27832
1147.26/1150.48 c #Conflicts: 821000 | #Constraints: 28832
1147.26/1150.48 c #Conflicts: 822000 | #Constraints: 29832
1147.26/1150.48 c #Conflicts: 823000 | #Constraints: 30832
1147.26/1150.48 c #Conflicts: 824000 | #Constraints: 31832
1147.26/1150.48 c #Conflicts: 825000 | #Constraints: 32832
1147.26/1150.48 c #Conflicts: 826000 | #Constraints: 33832
1147.26/1150.48 c #Conflicts: 827000 | #Constraints: 34832
1147.26/1150.48 c #Conflicts: 828000 | #Constraints: 35832
1147.26/1150.48 c INPROCESSING
1147.26/1150.48 c GARBAGE COLLECT
1147.26/1150.48 c #Conflicts: 829000 | #Constraints: 18834
1147.26/1150.48 c #Conflicts: 830000 | #Constraints: 19834
1147.26/1150.48 c #Conflicts: 831000 | #Constraints: 20834
1147.26/1150.48 c #Conflicts: 832000 | #Constraints: 21834
1147.26/1150.48 c #Conflicts: 833000 | #Constraints: 22834
1147.26/1150.48 c #Conflicts: 834000 | #Constraints: 23834
1147.26/1150.48 c #Conflicts: 835000 | #Constraints: 24834
1147.26/1150.48 c #Conflicts: 836000 | #Constraints: 25834
1147.26/1150.48 c #Conflicts: 837000 | #Constraints: 26834
1147.26/1150.48 c #Conflicts: 838000 | #Constraints: 27834
1147.26/1150.48 c #Conflicts: 839000 | #Constraints: 28834
1147.26/1150.48 c #Conflicts: 840000 | #Constraints: 29834
1147.26/1150.48 c #Conflicts: 841000 | #Constraints: 30834
1147.26/1150.48 c #Conflicts: 842000 | #Constraints: 31834
1147.26/1150.48 c #Conflicts: 843000 | #Constraints: 32834
1147.26/1150.48 c #Conflicts: 844000 | #Constraints: 33834
1147.26/1150.48 c #Conflicts: 845000 | #Constraints: 34834
1147.26/1150.48 c #Conflicts: 846000 | #Constraints: 35834
1147.26/1150.48 c INPROCESSING
1147.26/1150.48 c GARBAGE COLLECT
1147.26/1150.48 c #Conflicts: 847000 | #Constraints: 18634
1147.26/1150.48 c #Conflicts: 848000 | #Constraints: 19634
1147.26/1150.48 c #Conflicts: 849000 | #Constraints: 20634
1147.26/1150.48 c #Conflicts: 850000 | #Constraints: 21634
1147.26/1150.48 c #Conflicts: 851000 | #Constraints: 22634
1147.26/1150.48 c #Conflicts: 852000 | #Constraints: 23634
1147.26/1150.48 c #Conflicts: 853000 | #Constraints: 24634
1147.26/1150.48 c #Conflicts: 854000 | #Constraints: 25634
1147.26/1150.48 c #Conflicts: 855000 | #Constraints: 26634
1147.26/1150.48 c #Conflicts: 856000 | #Constraints: 27634
1147.26/1150.48 c #Conflicts: 857000 | #Constraints: 28634
1147.26/1150.48 c #Conflicts: 858000 | #Constraints: 29634
1147.26/1150.48 c #Conflicts: 859000 | #Constraints: 30634
1147.26/1150.48 c #Conflicts: 860000 | #Constraints: 31634
1147.26/1150.48 c #Conflicts: 861000 | #Constraints: 32634
1147.26/1150.48 c #Conflicts: 862000 | #Constraints: 33634
1147.26/1150.48 c #Conflicts: 863000 | #Constraints: 34634
1147.26/1150.48 c #Conflicts: 864000 | #Constraints: 35634
1147.26/1150.48 c #Conflicts: 865000 | #Constraints: 36634
1147.26/1150.48 c INPROCESSING
1147.26/1150.48 c GARBAGE COLLECT
1147.26/1150.48 c #Conflicts: 866000 | #Constraints: 19234
1147.26/1150.48 c #Conflicts: 867000 | #Constraints: 20234
1147.26/1150.48 c #Conflicts: 868000 | #Constraints: 21234
1147.26/1150.48 c #Conflicts: 869000 | #Constraints: 22234
1147.26/1150.48 c #Conflicts: 870000 | #Constraints: 23234
1147.26/1150.48 c #Conflicts: 871000 | #Constraints: 24234
1147.26/1150.48 c #Conflicts: 872000 | #Constraints: 25234
1282.25/1285.72 c #Conflicts: 873000 | #Constraints: 26234
1282.25/1285.72 c #Conflicts: 874000 | #Constraints: 27234
1282.25/1285.72 c #Conflicts: 875000 | #Constraints: 28234
1282.25/1285.72 c #Conflicts: 876000 | #Constraints: 29234
1282.25/1285.72 c #Conflicts: 877000 | #Constraints: 30234
1282.25/1285.72 c #Conflicts: 878000 | #Constraints: 31234
1282.25/1285.72 c #Conflicts: 879000 | #Constraints: 32234
1282.25/1285.72 c #Conflicts: 880000 | #Constraints: 33234
1282.25/1285.72 c #Conflicts: 881000 | #Constraints: 34234
1282.25/1285.72 c #Conflicts: 882000 | #Constraints: 35234
1282.25/1285.72 c #Conflicts: 883000 | #Constraints: 36234
1282.25/1285.72 c #Conflicts: 884000 | #Constraints: 37234
1282.25/1285.72 c INPROCESSING
1282.25/1285.72 c GARBAGE COLLECT
1282.25/1285.72 c #Conflicts: 885000 | #Constraints: 19634
1282.25/1285.72 c #Conflicts: 886000 | #Constraints: 20634
1282.25/1285.72 c #Conflicts: 887000 | #Constraints: 21634
1282.25/1285.72 c #Conflicts: 888000 | #Constraints: 22634
1282.25/1285.72 c #Conflicts: 889000 | #Constraints: 23634
1282.25/1285.72 c #Conflicts: 890000 | #Constraints: 24634
1282.25/1285.72 c #Conflicts: 891000 | #Constraints: 25634
1282.25/1285.72 c #Conflicts: 892000 | #Constraints: 26634
1282.25/1285.72 c #Conflicts: 893000 | #Constraints: 27634
1282.25/1285.72 c #Conflicts: 894000 | #Constraints: 28634
1282.25/1285.72 c #Conflicts: 895000 | #Constraints: 29634
1282.25/1285.72 c #Conflicts: 896000 | #Constraints: 30634
1282.25/1285.72 c #Conflicts: 897000 | #Constraints: 31634
1282.25/1285.72 c #Conflicts: 898000 | #Constraints: 32634
1282.25/1285.72 c #Conflicts: 899000 | #Constraints: 33634
1282.25/1285.72 c #Conflicts: 900000 | #Constraints: 34634
1282.25/1285.72 c #Conflicts: 901000 | #Constraints: 35634
1282.25/1285.72 c #Conflicts: 902000 | #Constraints: 36634
1282.25/1285.72 c #Conflicts: 903000 | #Constraints: 37634
1282.25/1285.72 c INPROCESSING
1282.25/1285.72 c GARBAGE COLLECT
1282.25/1285.72 c #Conflicts: 904000 | #Constraints: 19834
1282.25/1285.72 c #Conflicts: 905000 | #Constraints: 20834
1282.25/1285.72 c #Conflicts: 906000 | #Constraints: 21834
1282.25/1285.72 c #Conflicts: 907000 | #Constraints: 22834
1282.25/1285.72 c #Conflicts: 908000 | #Constraints: 23834
1282.25/1285.72 c #Conflicts: 909000 | #Constraints: 24834
1282.25/1285.72 c #Conflicts: 910000 | #Constraints: 25834
1282.25/1285.72 c #Conflicts: 911000 | #Constraints: 26834
1282.25/1285.72 c #Conflicts: 912000 | #Constraints: 27834
1282.25/1285.72 c #Conflicts: 913000 | #Constraints: 28834
1282.25/1285.72 c #Conflicts: 914000 | #Constraints: 29834
1282.25/1285.72 c #Conflicts: 915000 | #Constraints: 30834
1282.25/1285.72 c #Conflicts: 916000 | #Constraints: 31834
1282.25/1285.72 c #Conflicts: 917000 | #Constraints: 32834
1282.25/1285.72 c #Conflicts: 918000 | #Constraints: 33834
1282.25/1285.72 c #Conflicts: 919000 | #Constraints: 34834
1282.25/1285.72 c #Conflicts: 920000 | #Constraints: 35834
1282.25/1285.72 c #Conflicts: 921000 | #Constraints: 36834
1282.25/1285.72 c #Conflicts: 922000 | #Constraints: 37834
1282.25/1285.72 c INPROCESSING
1282.25/1285.72 c GARBAGE COLLECT
1282.25/1285.72 c #Conflicts: 923000 | #Constraints: 19834
1282.25/1285.72 c #Conflicts: 924000 | #Constraints: 20834
1282.25/1285.72 c #Conflicts: 925000 | #Constraints: 21834
1282.25/1285.72 c #Conflicts: 926000 | #Constraints: 22834
1282.25/1285.72 c #Conflicts: 927000 | #Constraints: 23834
1282.25/1285.72 c #Conflicts: 928000 | #Constraints: 24834
1282.25/1285.72 c #Conflicts: 929000 | #Constraints: 25834
1282.25/1285.72 c #Conflicts: 930000 | #Constraints: 26834
1282.25/1285.72 c #Conflicts: 931000 | #Constraints: 27834
1282.25/1285.72 c #Conflicts: 932000 | #Constraints: 28834
1282.25/1285.72 c #Conflicts: 933000 | #Constraints: 29834
1282.25/1285.72 c #Conflicts: 934000 | #Constraints: 30834
1282.25/1285.72 c #Conflicts: 935000 | #Constraints: 31834
1282.25/1285.72 c #Conflicts: 936000 | #Constraints: 32834
1282.25/1285.72 c #Conflicts: 937000 | #Constraints: 33834
1282.25/1285.72 c #Conflicts: 938000 | #Constraints: 34834
1282.25/1285.72 c #Conflicts: 939000 | #Constraints: 35834
1282.25/1285.72 c #Conflicts: 940000 | #Constraints: 36834
1282.25/1285.72 c #Conflicts: 941000 | #Constraints: 37834
1282.25/1285.72 c INPROCESSING
1282.25/1285.72 c GARBAGE COLLECT
1282.25/1285.72 c #Conflicts: 942000 | #Constraints: 19635
1282.25/1285.72 c #Conflicts: 943000 | #Constraints: 20635
1282.25/1285.72 c #Conflicts: 944000 | #Constraints: 21635
1282.25/1285.72 c #Conflicts: 945000 | #Constraints: 22635
1282.25/1285.72 c #Conflicts: 946000 | #Constraints: 23635
1282.25/1285.72 c #Conflicts: 947000 | #Constraints: 24635
1282.25/1285.72 c #Conflicts: 948000 | #Constraints: 25635
1425.34/1429.14 c #Conflicts: 949000 | #Constraints: 26635
1425.34/1429.14 c #Conflicts: 950000 | #Constraints: 27635
1425.34/1429.14 c #Conflicts: 951000 | #Constraints: 28635
1425.34/1429.14 c #Conflicts: 952000 | #Constraints: 29635
1425.34/1429.14 c #Conflicts: 953000 | #Constraints: 30635
1425.34/1429.14 c #Conflicts: 954000 | #Constraints: 31635
1425.34/1429.14 c #Conflicts: 955000 | #Constraints: 32635
1425.34/1429.14 c #Conflicts: 956000 | #Constraints: 33635
1425.34/1429.14 c #Conflicts: 957000 | #Constraints: 34635
1425.34/1429.14 c #Conflicts: 958000 | #Constraints: 35635
1425.34/1429.14 c #Conflicts: 959000 | #Constraints: 36635
1425.34/1429.14 c #Conflicts: 960000 | #Constraints: 37635
1425.34/1429.14 c #Conflicts: 961000 | #Constraints: 38635
1425.34/1429.14 c INPROCESSING
1425.34/1429.14 c GARBAGE COLLECT
1425.34/1429.14 c #Conflicts: 962000 | #Constraints: 20234
1425.34/1429.14 c #Conflicts: 963000 | #Constraints: 21234
1425.34/1429.14 c #Conflicts: 964000 | #Constraints: 22234
1425.34/1429.14 c #Conflicts: 965000 | #Constraints: 23234
1425.34/1429.14 c #Conflicts: 966000 | #Constraints: 24234
1425.34/1429.14 c #Conflicts: 967000 | #Constraints: 25234
1425.34/1429.14 c #Conflicts: 968000 | #Constraints: 26234
1425.34/1429.14 c #Conflicts: 969000 | #Constraints: 27234
1425.34/1429.14 c #Conflicts: 970000 | #Constraints: 28234
1425.34/1429.14 c #Conflicts: 971000 | #Constraints: 29234
1425.34/1429.14 c #Conflicts: 972000 | #Constraints: 30234
1425.34/1429.14 c #Conflicts: 973000 | #Constraints: 31234
1425.34/1429.14 c #Conflicts: 974000 | #Constraints: 32234
1425.34/1429.14 c #Conflicts: 975000 | #Constraints: 33234
1425.34/1429.14 c #Conflicts: 976000 | #Constraints: 34234
1425.34/1429.14 c #Conflicts: 977000 | #Constraints: 35234
1425.34/1429.14 c #Conflicts: 978000 | #Constraints: 36234
1425.34/1429.14 c #Conflicts: 979000 | #Constraints: 37234
1425.34/1429.14 c #Conflicts: 980000 | #Constraints: 38234
1425.34/1429.14 c #Conflicts: 981000 | #Constraints: 39234
1425.34/1429.14 c INPROCESSING
1425.34/1429.14 c GARBAGE COLLECT
1425.34/1429.14 c #Conflicts: 982000 | #Constraints: 20636
1425.34/1429.14 c #Conflicts: 983000 | #Constraints: 21636
1425.34/1429.14 c #Conflicts: 984000 | #Constraints: 22636
1425.34/1429.14 c #Conflicts: 985000 | #Constraints: 23636
1425.34/1429.14 c #Conflicts: 986000 | #Constraints: 24636
1425.34/1429.14 c #Conflicts: 987000 | #Constraints: 25636
1425.34/1429.14 c #Conflicts: 988000 | #Constraints: 26636
1425.34/1429.14 c #Conflicts: 989000 | #Constraints: 27636
1425.34/1429.14 c #Conflicts: 990000 | #Constraints: 28636
1425.34/1429.14 c #Conflicts: 991000 | #Constraints: 29636
1425.34/1429.14 c #Conflicts: 992000 | #Constraints: 30636
1425.34/1429.14 c #Conflicts: 993000 | #Constraints: 31636
1425.34/1429.14 c #Conflicts: 994000 | #Constraints: 32636
1425.34/1429.14 c #Conflicts: 995000 | #Constraints: 33636
1425.34/1429.14 c #Conflicts: 996000 | #Constraints: 34636
1425.34/1429.14 c #Conflicts: 997000 | #Constraints: 35636
1425.34/1429.14 c #Conflicts: 998000 | #Constraints: 36636
1425.34/1429.14 c #Conflicts: 999000 | #Constraints: 37636
1425.34/1429.14 c #Conflicts: 1000000 | #Constraints: 38636
1425.34/1429.14 c #Conflicts: 1001000 | #Constraints: 39636
1425.34/1429.14 c INPROCESSING
1425.34/1429.14 c GARBAGE COLLECT
1425.34/1429.14 c #Conflicts: 1002000 | #Constraints: 20839
1425.34/1429.14 c #Conflicts: 1003000 | #Constraints: 21839
1425.34/1429.14 c #Conflicts: 1004000 | #Constraints: 22839
1425.34/1429.14 c #Conflicts: 1005000 | #Constraints: 23839
1425.34/1429.14 c #Conflicts: 1006000 | #Constraints: 24839
1425.34/1429.14 c #Conflicts: 1007000 | #Constraints: 25839
1425.34/1429.14 c #Conflicts: 1008000 | #Constraints: 26839
1425.34/1429.14 c #Conflicts: 1009000 | #Constraints: 27839
1425.34/1429.14 c #Conflicts: 1010000 | #Constraints: 28839
1425.34/1429.14 c #Conflicts: 1011000 | #Constraints: 29839
1425.34/1429.14 c #Conflicts: 1012000 | #Constraints: 30839
1425.34/1429.14 c #Conflicts: 1013000 | #Constraints: 31839
1425.34/1429.14 c #Conflicts: 1014000 | #Constraints: 32839
1425.34/1429.14 c #Conflicts: 1015000 | #Constraints: 33839
1425.34/1429.14 c #Conflicts: 1016000 | #Constraints: 34839
1425.34/1429.14 c #Conflicts: 1017000 | #Constraints: 35839
1425.34/1429.14 c #Conflicts: 1018000 | #Constraints: 36839
1425.34/1429.14 c #Conflicts: 1019000 | #Constraints: 37839
1425.34/1429.14 c #Conflicts: 1020000 | #Constraints: 38839
1425.34/1429.14 c #Conflicts: 1021000 | #Constraints: 39839
1425.34/1429.14 c INPROCESSING
1425.34/1429.14 c GARBAGE COLLECT
1425.34/1429.14 c #Conflicts: 1022000 | #Constraints: 20838
1425.34/1429.14 c #Conflicts: 1023000 | #Constraints: 21838
1425.34/1429.14 c #Conflicts: 1024000 | #Constraints: 22838
1593.25/1597.44 c #Conflicts: 1025000 | #Constraints: 23838
1593.25/1597.44 c #Conflicts: 1026000 | #Constraints: 24838
1593.25/1597.44 c #Conflicts: 1027000 | #Constraints: 25838
1593.25/1597.44 c #Conflicts: 1028000 | #Constraints: 26838
1593.25/1597.44 c #Conflicts: 1029000 | #Constraints: 27838
1593.25/1597.44 c #Conflicts: 1030000 | #Constraints: 28838
1593.25/1597.44 c #Conflicts: 1031000 | #Constraints: 29838
1593.25/1597.44 c #Conflicts: 1032000 | #Constraints: 30838
1593.25/1597.44 c #Conflicts: 1033000 | #Constraints: 31838
1593.25/1597.44 c #Conflicts: 1034000 | #Constraints: 32838
1593.25/1597.44 c #Conflicts: 1035000 | #Constraints: 33838
1593.25/1597.44 c #Conflicts: 1036000 | #Constraints: 34838
1593.25/1597.44 c #Conflicts: 1037000 | #Constraints: 35838
1593.25/1597.44 c #Conflicts: 1038000 | #Constraints: 36838
1593.25/1597.44 c #Conflicts: 1039000 | #Constraints: 37838
1593.25/1597.44 c #Conflicts: 1040000 | #Constraints: 38838
1593.25/1597.44 c #Conflicts: 1041000 | #Constraints: 39838
1593.25/1597.44 c INPROCESSING
1593.25/1597.44 c GARBAGE COLLECT
1593.25/1597.44 c #Conflicts: 1042000 | #Constraints: 20638
1593.25/1597.44 c #Conflicts: 1043000 | #Constraints: 21638
1593.25/1597.44 c #Conflicts: 1044000 | #Constraints: 22638
1593.25/1597.44 c #Conflicts: 1045000 | #Constraints: 23638
1593.25/1597.44 c #Conflicts: 1046000 | #Constraints: 24638
1593.25/1597.44 c #Conflicts: 1047000 | #Constraints: 25638
1593.25/1597.44 c #Conflicts: 1048000 | #Constraints: 26638
1593.25/1597.44 c #Conflicts: 1049000 | #Constraints: 27638
1593.25/1597.44 c #Conflicts: 1050000 | #Constraints: 28638
1593.25/1597.44 c #Conflicts: 1051000 | #Constraints: 29638
1593.25/1597.44 c #Conflicts: 1052000 | #Constraints: 30638
1593.25/1597.44 c #Conflicts: 1053000 | #Constraints: 31638
1593.25/1597.44 c #Conflicts: 1054000 | #Constraints: 32638
1593.25/1597.44 c #Conflicts: 1055000 | #Constraints: 33638
1593.25/1597.44 c #Conflicts: 1056000 | #Constraints: 34638
1593.25/1597.44 c #Conflicts: 1057000 | #Constraints: 35638
1593.25/1597.44 c #Conflicts: 1058000 | #Constraints: 36638
1593.25/1597.44 c #Conflicts: 1059000 | #Constraints: 37638
1593.25/1597.44 c #Conflicts: 1060000 | #Constraints: 38638
1593.25/1597.44 c #Conflicts: 1061000 | #Constraints: 39638
1593.25/1597.44 c #Conflicts: 1062000 | #Constraints: 40638
1593.25/1597.44 c INPROCESSING
1593.25/1597.44 c GARBAGE COLLECT
1593.25/1597.44 c #Conflicts: 1063000 | #Constraints: 21240
1593.25/1597.44 c #Conflicts: 1064000 | #Constraints: 22240
1593.25/1597.44 c #Conflicts: 1065000 | #Constraints: 23240
1593.25/1597.44 c #Conflicts: 1066000 | #Constraints: 24240
1593.25/1597.44 c #Conflicts: 1067000 | #Constraints: 25240
1593.25/1597.44 c #Conflicts: 1068000 | #Constraints: 26240
1593.25/1597.44 c #Conflicts: 1069000 | #Constraints: 27240
1593.25/1597.44 c #Conflicts: 1070000 | #Constraints: 28240
1593.25/1597.44 c #Conflicts: 1071000 | #Constraints: 29240
1593.25/1597.44 c #Conflicts: 1072000 | #Constraints: 30240
1593.25/1597.44 c #Conflicts: 1073000 | #Constraints: 31240
1593.25/1597.44 c #Conflicts: 1074000 | #Constraints: 32240
1593.25/1597.44 c #Conflicts: 1075000 | #Constraints: 33240
1593.25/1597.44 c #Conflicts: 1076000 | #Constraints: 34240
1593.25/1597.44 c #Conflicts: 1077000 | #Constraints: 35240
1593.25/1597.44 c #Conflicts: 1078000 | #Constraints: 36240
1593.25/1597.44 c #Conflicts: 1079000 | #Constraints: 37240
1593.25/1597.44 c #Conflicts: 1080000 | #Constraints: 38240
1593.25/1597.44 c #Conflicts: 1081000 | #Constraints: 39240
1593.25/1597.44 c #Conflicts: 1082000 | #Constraints: 40240
1593.25/1597.44 c #Conflicts: 1083000 | #Constraints: 41240
1593.25/1597.44 c INPROCESSING
1593.25/1597.44 c GARBAGE COLLECT
1593.25/1597.44 c #Conflicts: 1084000 | #Constraints: 21640
1593.25/1597.44 c #Conflicts: 1085000 | #Constraints: 22640
1593.25/1597.44 c #Conflicts: 1086000 | #Constraints: 23640
1593.25/1597.44 c #Conflicts: 1087000 | #Constraints: 24640
1593.25/1597.44 c #Conflicts: 1088000 | #Constraints: 25640
1593.25/1597.44 c #Conflicts: 1089000 | #Constraints: 26640
1593.25/1597.44 c #Conflicts: 1090000 | #Constraints: 27640
1593.25/1597.44 c #Conflicts: 1091000 | #Constraints: 28640
1593.25/1597.44 c #Conflicts: 1092000 | #Constraints: 29640
1593.25/1597.44 c #Conflicts: 1093000 | #Constraints: 30640
1593.25/1597.44 c #Conflicts: 1094000 | #Constraints: 31640
1593.25/1597.44 c #Conflicts: 1095000 | #Constraints: 32640
1593.25/1597.44 c #Conflicts: 1096000 | #Constraints: 33640
1593.25/1597.44 c #Conflicts: 1097000 | #Constraints: 34640
1593.25/1597.44 c #Conflicts: 1098000 | #Constraints: 35640
1593.25/1597.44 c #Conflicts: 1099000 | #Constraints: 36640
1593.25/1597.44 c #Conflicts: 1100000 | #Constraints: 37640
1593.25/1597.44 c #Conflicts: 1101000 | #Constraints: 38640
1751.98/1756.55 c #Conflicts: 1102000 | #Constraints: 39640
1751.98/1756.55 c #Conflicts: 1103000 | #Constraints: 40640
1751.98/1756.55 c #Conflicts: 1104000 | #Constraints: 41640
1751.98/1756.55 c INPROCESSING
1751.98/1756.55 c GARBAGE COLLECT
1751.98/1756.55 c #Conflicts: 1105000 | #Constraints: 21840
1751.98/1756.55 c #Conflicts: 1106000 | #Constraints: 22840
1751.98/1756.55 c #Conflicts: 1107000 | #Constraints: 23840
1751.98/1756.55 c #Conflicts: 1108000 | #Constraints: 24840
1751.98/1756.55 c #Conflicts: 1109000 | #Constraints: 25840
1751.98/1756.55 c #Conflicts: 1110000 | #Constraints: 26840
1751.98/1756.55 c #Conflicts: 1111000 | #Constraints: 27840
1751.98/1756.55 c #Conflicts: 1112000 | #Constraints: 28840
1751.98/1756.55 c #Conflicts: 1113000 | #Constraints: 29840
1751.98/1756.55 c #Conflicts: 1114000 | #Constraints: 30840
1751.98/1756.55 c #Conflicts: 1115000 | #Constraints: 31840
1751.98/1756.55 c #Conflicts: 1116000 | #Constraints: 32840
1751.98/1756.55 c #Conflicts: 1117000 | #Constraints: 33840
1751.98/1756.55 c #Conflicts: 1118000 | #Constraints: 34840
1751.98/1756.55 c #Conflicts: 1119000 | #Constraints: 35840
1751.98/1756.55 c #Conflicts: 1120000 | #Constraints: 36840
1751.98/1756.55 c #Conflicts: 1121000 | #Constraints: 37840
1751.98/1756.55 c #Conflicts: 1122000 | #Constraints: 38840
1751.98/1756.55 c #Conflicts: 1123000 | #Constraints: 39840
1751.98/1756.55 c #Conflicts: 1124000 | #Constraints: 40840
1751.98/1756.55 c #Conflicts: 1125000 | #Constraints: 41840
1751.98/1756.55 c INPROCESSING
1751.98/1756.55 c GARBAGE COLLECT
1751.98/1756.55 c #Conflicts: 1126000 | #Constraints: 21842
1751.98/1756.55 c #Conflicts: 1127000 | #Constraints: 22842
1751.98/1756.55 c #Conflicts: 1128000 | #Constraints: 23842
1751.98/1756.55 c #Conflicts: 1129000 | #Constraints: 24842
1751.98/1756.55 c #Conflicts: 1130000 | #Constraints: 25842
1751.98/1756.55 c #Conflicts: 1131000 | #Constraints: 26842
1751.98/1756.55 c #Conflicts: 1132000 | #Constraints: 27842
1751.98/1756.55 c #Conflicts: 1133000 | #Constraints: 28842
1751.98/1756.55 c #Conflicts: 1134000 | #Constraints: 29842
1751.98/1756.55 c #Conflicts: 1135000 | #Constraints: 30842
1751.98/1756.55 c #Conflicts: 1136000 | #Constraints: 31842
1751.98/1756.55 c #Conflicts: 1137000 | #Constraints: 32842
1751.98/1756.55 c #Conflicts: 1138000 | #Constraints: 33842
1751.98/1756.55 c #Conflicts: 1139000 | #Constraints: 34842
1751.98/1756.55 c #Conflicts: 1140000 | #Constraints: 35842
1751.98/1756.55 c #Conflicts: 1141000 | #Constraints: 36842
1751.98/1756.55 c #Conflicts: 1142000 | #Constraints: 37842
1751.98/1756.55 c #Conflicts: 1143000 | #Constraints: 38842
1751.98/1756.55 c #Conflicts: 1144000 | #Constraints: 39842
1751.98/1756.55 c #Conflicts: 1145000 | #Constraints: 40842
1751.98/1756.55 c #Conflicts: 1146000 | #Constraints: 41842
1751.98/1756.55 c INPROCESSING
1751.98/1756.55 c GARBAGE COLLECT
1751.98/1756.55 c #Conflicts: 1147000 | #Constraints: 21637
1751.98/1756.55 c #Conflicts: 1148000 | #Constraints: 22637
1751.98/1756.55 c #Conflicts: 1149000 | #Constraints: 23637
1751.98/1756.55 c #Conflicts: 1150000 | #Constraints: 24637
1751.98/1756.55 c #Conflicts: 1151000 | #Constraints: 25637
1751.98/1756.55 c #Conflicts: 1152000 | #Constraints: 26637
1751.98/1756.55 c #Conflicts: 1153000 | #Constraints: 27637
1751.98/1756.55 c #Conflicts: 1154000 | #Constraints: 28637
1751.98/1756.55 c #Conflicts: 1155000 | #Constraints: 29637
1751.98/1756.55 c #Conflicts: 1156000 | #Constraints: 30637
1751.98/1756.55 c #Conflicts: 1157000 | #Constraints: 31637
1751.98/1756.55 c #Conflicts: 1158000 | #Constraints: 32637
1751.98/1756.55 c #Conflicts: 1159000 | #Constraints: 33637
1751.98/1756.55 c #Conflicts: 1160000 | #Constraints: 34637
1751.98/1756.55 c #Conflicts: 1161000 | #Constraints: 35637
1751.98/1756.55 c #Conflicts: 1162000 | #Constraints: 36637
1751.98/1756.55 c #Conflicts: 1163000 | #Constraints: 37637
1751.98/1756.55 c #Conflicts: 1164000 | #Constraints: 38637
1751.98/1756.55 c #Conflicts: 1165000 | #Constraints: 39637
1751.98/1756.55 c #Conflicts: 1166000 | #Constraints: 40637
1751.98/1756.55 c #Conflicts: 1167000 | #Constraints: 41637
1751.98/1756.55 c #Conflicts: 1168000 | #Constraints: 42637
1751.98/1756.55 c INPROCESSING
1751.98/1756.55 c GARBAGE COLLECT
1751.98/1756.55 c #Conflicts: 1169000 | #Constraints: 22241
1751.98/1756.55 c #Conflicts: 1170000 | #Constraints: 23241
1751.98/1756.55 c #Conflicts: 1171000 | #Constraints: 24241
1751.98/1756.55 c #Conflicts: 1172000 | #Constraints: 25241
1751.98/1756.55 c #Conflicts: 1173000 | #Constraints: 26241
1751.98/1756.55 c #Conflicts: 1174000 | #Constraints: 27241
1751.98/1756.55 c #Conflicts: 1175000 | #Constraints: 28241
1751.98/1756.55 c #Conflicts: 1176000 | #Constraints: 29241
1751.98/1756.55 c #Conflicts: 1177000 | #Constraints: 30241
1903.25/1908.18 c #Conflicts: 1178000 | #Constraints: 31241
1903.25/1908.18 c #Conflicts: 1179000 | #Constraints: 32241
1903.25/1908.18 c #Conflicts: 1180000 | #Constraints: 33241
1903.25/1908.18 c #Conflicts: 1181000 | #Constraints: 34241
1903.25/1908.18 c #Conflicts: 1182000 | #Constraints: 35241
1903.25/1908.18 c #Conflicts: 1183000 | #Constraints: 36241
1903.25/1908.18 c #Conflicts: 1184000 | #Constraints: 37241
1903.25/1908.18 c #Conflicts: 1185000 | #Constraints: 38241
1903.25/1908.18 c #Conflicts: 1186000 | #Constraints: 39241
1903.25/1908.18 c #Conflicts: 1187000 | #Constraints: 40241
1903.25/1908.18 c #Conflicts: 1188000 | #Constraints: 41241
1903.25/1908.18 c #Conflicts: 1189000 | #Constraints: 42241
1903.25/1908.18 c #Conflicts: 1190000 | #Constraints: 43241
1903.25/1908.18 c INPROCESSING
1903.25/1908.18 c GARBAGE COLLECT
1903.25/1908.18 c #Conflicts: 1191000 | #Constraints: 22643
1903.25/1908.18 c #Conflicts: 1192000 | #Constraints: 23643
1903.25/1908.18 c #Conflicts: 1193000 | #Constraints: 24643
1903.25/1908.18 c #Conflicts: 1194000 | #Constraints: 25643
1903.25/1908.18 c #Conflicts: 1195000 | #Constraints: 26643
1903.25/1908.18 c #Conflicts: 1196000 | #Constraints: 27643
1903.25/1908.18 c #Conflicts: 1197000 | #Constraints: 28643
1903.25/1908.18 c #Conflicts: 1198000 | #Constraints: 29643
1903.25/1908.18 c #Conflicts: 1199000 | #Constraints: 30643
1903.25/1908.18 c #Conflicts: 1200000 | #Constraints: 31643
1903.25/1908.18 c #Conflicts: 1201000 | #Constraints: 32643
1903.25/1908.18 c #Conflicts: 1202000 | #Constraints: 33643
1903.25/1908.18 c #Conflicts: 1203000 | #Constraints: 34643
1903.25/1908.18 c #Conflicts: 1204000 | #Constraints: 35643
1903.25/1908.18 c #Conflicts: 1205000 | #Constraints: 36643
1903.25/1908.18 c #Conflicts: 1206000 | #Constraints: 37643
1903.25/1908.18 c #Conflicts: 1207000 | #Constraints: 38643
1903.25/1908.18 c #Conflicts: 1208000 | #Constraints: 39643
1903.25/1908.18 c #Conflicts: 1209000 | #Constraints: 40643
1903.25/1908.18 c #Conflicts: 1210000 | #Constraints: 41643
1903.25/1908.18 c #Conflicts: 1211000 | #Constraints: 42643
1903.25/1908.18 c #Conflicts: 1212000 | #Constraints: 43643
1903.25/1908.18 c INPROCESSING
1903.25/1908.18 c GARBAGE COLLECT
1903.25/1908.18 c #Conflicts: 1213000 | #Constraints: 22841
1903.25/1908.18 c #Conflicts: 1214000 | #Constraints: 23841
1903.25/1908.18 c #Conflicts: 1215000 | #Constraints: 24841
1903.25/1908.18 c #Conflicts: 1216000 | #Constraints: 25841
1903.25/1908.18 c #Conflicts: 1217000 | #Constraints: 26841
1903.25/1908.18 c #Conflicts: 1218000 | #Constraints: 27841
1903.25/1908.18 c #Conflicts: 1219000 | #Constraints: 28841
1903.25/1908.18 c #Conflicts: 1220000 | #Constraints: 29841
1903.25/1908.18 c #Conflicts: 1221000 | #Constraints: 30841
1903.25/1908.18 c #Conflicts: 1222000 | #Constraints: 31841
1903.25/1908.18 c #Conflicts: 1223000 | #Constraints: 32841
1903.25/1908.18 c #Conflicts: 1224000 | #Constraints: 33841
1903.25/1908.18 c #Conflicts: 1225000 | #Constraints: 34841
1903.25/1908.18 c #Conflicts: 1226000 | #Constraints: 35841
1903.25/1908.18 c #Conflicts: 1227000 | #Constraints: 36841
1903.25/1908.18 c #Conflicts: 1228000 | #Constraints: 37841
1903.25/1908.18 c #Conflicts: 1229000 | #Constraints: 38841
1903.25/1908.18 c #Conflicts: 1230000 | #Constraints: 39841
1903.25/1908.18 c #Conflicts: 1231000 | #Constraints: 40841
1903.25/1908.18 c #Conflicts: 1232000 | #Constraints: 41841
1903.25/1908.18 c #Conflicts: 1233000 | #Constraints: 42841
1903.25/1908.18 c #Conflicts: 1234000 | #Constraints: 43841
1903.25/1908.18 c INPROCESSING
1903.25/1908.18 c GARBAGE COLLECT
1903.25/1908.18 c #Conflicts: 1235000 | #Constraints: 22836
1903.25/1908.18 c #Conflicts: 1236000 | #Constraints: 23836
1903.25/1908.18 c #Conflicts: 1237000 | #Constraints: 24836
1903.25/1908.18 c #Conflicts: 1238000 | #Constraints: 25836
1903.25/1908.18 c #Conflicts: 1239000 | #Constraints: 26836
1903.25/1908.18 c #Conflicts: 1240000 | #Constraints: 27836
1903.25/1908.18 c #Conflicts: 1241000 | #Constraints: 28836
1903.25/1908.18 c #Conflicts: 1242000 | #Constraints: 29836
1903.25/1908.18 c #Conflicts: 1243000 | #Constraints: 30836
1903.25/1908.18 c #Conflicts: 1244000 | #Constraints: 31836
1903.25/1908.18 c #Conflicts: 1245000 | #Constraints: 32836
1903.25/1908.18 c #Conflicts: 1246000 | #Constraints: 33836
1903.25/1908.18 c #Conflicts: 1247000 | #Constraints: 34836
1903.25/1908.18 c #Conflicts: 1248000 | #Constraints: 35836
1903.25/1908.18 c #Conflicts: 1249000 | #Constraints: 36836
1903.25/1908.18 c #Conflicts: 1250000 | #Constraints: 37836
1903.25/1908.18 c #Conflicts: 1251000 | #Constraints: 38836
1903.25/1908.18 c #Conflicts: 1252000 | #Constraints: 39836
1903.25/1908.18 c #Conflicts: 1253000 | #Constraints: 40836
1903.25/1908.18 c #Conflicts: 1254000 | #Constraints: 41836
2070.55/2075.84 c #Conflicts: 1255000 | #Constraints: 42836
2070.55/2075.84 c #Conflicts: 1256000 | #Constraints: 43836
2070.55/2075.84 c INPROCESSING
2070.55/2075.84 c GARBAGE COLLECT
2070.55/2075.84 c #Conflicts: 1257000 | #Constraints: 22635
2070.55/2075.84 c #Conflicts: 1258000 | #Constraints: 23635
2070.55/2075.84 c #Conflicts: 1259000 | #Constraints: 24635
2070.55/2075.84 c #Conflicts: 1260000 | #Constraints: 25635
2070.55/2075.84 c #Conflicts: 1261000 | #Constraints: 26635
2070.55/2075.84 c #Conflicts: 1262000 | #Constraints: 27635
2070.55/2075.84 c #Conflicts: 1263000 | #Constraints: 28635
2070.55/2075.84 c #Conflicts: 1264000 | #Constraints: 29635
2070.55/2075.84 c #Conflicts: 1265000 | #Constraints: 30635
2070.55/2075.84 c #Conflicts: 1266000 | #Constraints: 31635
2070.55/2075.84 c #Conflicts: 1267000 | #Constraints: 32635
2070.55/2075.84 c #Conflicts: 1268000 | #Constraints: 33635
2070.55/2075.84 c #Conflicts: 1269000 | #Constraints: 34635
2070.55/2075.84 c #Conflicts: 1270000 | #Constraints: 35635
2070.55/2075.84 c #Conflicts: 1271000 | #Constraints: 36635
2070.55/2075.84 c #Conflicts: 1272000 | #Constraints: 37635
2070.55/2075.84 c #Conflicts: 1273000 | #Constraints: 38635
2070.55/2075.84 c #Conflicts: 1274000 | #Constraints: 39635
2070.55/2075.84 c #Conflicts: 1275000 | #Constraints: 40635
2070.55/2075.84 c #Conflicts: 1276000 | #Constraints: 41635
2070.55/2075.84 c #Conflicts: 1277000 | #Constraints: 42635
2070.55/2075.84 c #Conflicts: 1278000 | #Constraints: 43635
2070.55/2075.84 c #Conflicts: 1279000 | #Constraints: 44635
2070.55/2075.84 c INPROCESSING
2070.55/2075.84 c GARBAGE COLLECT
2070.55/2075.84 c #Conflicts: 1280000 | #Constraints: 23232
2070.55/2075.84 c #Conflicts: 1281000 | #Constraints: 24232
2070.55/2075.84 c #Conflicts: 1282000 | #Constraints: 25232
2070.55/2075.84 c #Conflicts: 1283000 | #Constraints: 26232
2070.55/2075.84 c #Conflicts: 1284000 | #Constraints: 27232
2070.55/2075.84 c #Conflicts: 1285000 | #Constraints: 28232
2070.55/2075.84 c #Conflicts: 1286000 | #Constraints: 29232
2070.55/2075.84 c #Conflicts: 1287000 | #Constraints: 30232
2070.55/2075.84 c #Conflicts: 1288000 | #Constraints: 31232
2070.55/2075.84 c #Conflicts: 1289000 | #Constraints: 32232
2070.55/2075.84 c #Conflicts: 1290000 | #Constraints: 33232
2070.55/2075.84 c #Conflicts: 1291000 | #Constraints: 34232
2070.55/2075.84 c #Conflicts: 1292000 | #Constraints: 35232
2070.55/2075.84 c #Conflicts: 1293000 | #Constraints: 36232
2070.55/2075.84 c #Conflicts: 1294000 | #Constraints: 37232
2070.55/2075.84 c #Conflicts: 1295000 | #Constraints: 38232
2070.55/2075.84 c #Conflicts: 1296000 | #Constraints: 39232
2070.55/2075.84 c #Conflicts: 1297000 | #Constraints: 40232
2070.55/2075.84 c #Conflicts: 1298000 | #Constraints: 41232
2070.55/2075.84 c #Conflicts: 1299000 | #Constraints: 42232
2070.55/2075.84 c #Conflicts: 1300000 | #Constraints: 43232
2070.55/2075.84 c #Conflicts: 1301000 | #Constraints: 44232
2070.55/2075.84 c #Conflicts: 1302000 | #Constraints: 45232
2070.55/2075.84 c INPROCESSING
2070.55/2075.84 c GARBAGE COLLECT
2070.55/2075.84 c #Conflicts: 1303000 | #Constraints: 23631
2070.55/2075.84 c #Conflicts: 1304000 | #Constraints: 24631
2070.55/2075.84 c #Conflicts: 1305000 | #Constraints: 25631
2070.55/2075.84 c #Conflicts: 1306000 | #Constraints: 26631
2070.55/2075.84 c #Conflicts: 1307000 | #Constraints: 27631
2070.55/2075.84 c #Conflicts: 1308000 | #Constraints: 28631
2070.55/2075.84 c #Conflicts: 1309000 | #Constraints: 29631
2070.55/2075.84 c #Conflicts: 1310000 | #Constraints: 30631
2070.55/2075.84 c #Conflicts: 1311000 | #Constraints: 31631
2070.55/2075.84 c #Conflicts: 1312000 | #Constraints: 32631
2070.55/2075.84 c #Conflicts: 1313000 | #Constraints: 33631
2070.55/2075.84 c #Conflicts: 1314000 | #Constraints: 34631
2070.55/2075.84 c #Conflicts: 1315000 | #Constraints: 35631
2070.55/2075.84 c #Conflicts: 1316000 | #Constraints: 36631
2070.55/2075.84 c #Conflicts: 1317000 | #Constraints: 37631
2070.55/2075.84 c #Conflicts: 1318000 | #Constraints: 38631
2070.55/2075.84 c #Conflicts: 1319000 | #Constraints: 39631
2070.55/2075.84 c #Conflicts: 1320000 | #Constraints: 40631
2070.55/2075.84 c #Conflicts: 1321000 | #Constraints: 41631
2070.55/2075.84 c #Conflicts: 1322000 | #Constraints: 42631
2070.55/2075.84 c #Conflicts: 1323000 | #Constraints: 43631
2070.55/2075.84 c #Conflicts: 1324000 | #Constraints: 44631
2070.55/2075.84 c #Conflicts: 1325000 | #Constraints: 45631
2070.55/2075.84 c INPROCESSING
2070.55/2075.84 c GARBAGE COLLECT
2070.55/2075.84 c #Conflicts: 1326000 | #Constraints: 23836
2070.55/2075.84 c #Conflicts: 1327000 | #Constraints: 24836
2070.55/2075.84 c #Conflicts: 1328000 | #Constraints: 25836
2070.55/2075.84 c #Conflicts: 1329000 | #Constraints: 26836
2070.55/2075.84 c #Conflicts: 1330000 | #Constraints: 27836
2156.35/2161.82 c #Conflicts: 1331000 | #Constraints: 28836
2156.35/2161.82 c #Conflicts: 1332000 | #Constraints: 29836
2156.35/2161.82 c #Conflicts: 1333000 | #Constraints: 30836
2156.35/2161.82 c #Conflicts: 1334000 | #Constraints: 31836
2156.35/2161.82 c #Conflicts: 1335000 | #Constraints: 32836
2156.35/2161.82 c #Conflicts: 1336000 | #Constraints: 33836
2156.35/2161.82 c #Conflicts: 1337000 | #Constraints: 34836
2156.35/2161.82 c #Conflicts: 1338000 | #Constraints: 35836
2156.35/2161.82 c #Conflicts: 1339000 | #Constraints: 36836
2156.35/2161.82 c #Conflicts: 1340000 | #Constraints: 37836
2156.35/2161.82 c #Conflicts: 1341000 | #Constraints: 38836
2156.35/2161.82 c #Conflicts: 1342000 | #Constraints: 39836
2156.35/2161.82 c #Conflicts: 1343000 | #Constraints: 40836
2156.35/2161.82 c #Conflicts: 1344000 | #Constraints: 41836
2156.35/2161.82 c #Conflicts: 1345000 | #Constraints: 42836
2156.35/2161.82 c #Conflicts: 1346000 | #Constraints: 43836
2156.35/2161.82 c #Conflicts: 1347000 | #Constraints: 44836
2156.35/2161.82 c #Conflicts: 1348000 | #Constraints: 45836
2156.35/2161.82 c INPROCESSING
2156.35/2161.82 c GARBAGE COLLECT
2156.35/2161.82 c #Conflicts: 1349000 | #Constraints: 23837
2156.35/2161.82 c #Conflicts: 1350000 | #Constraints: 24837
2156.35/2161.82 c #Conflicts: 1351000 | #Constraints: 25837
2156.35/2161.82 c #Conflicts: 1352000 | #Constraints: 26837
2156.35/2161.82 c #Conflicts: 1353000 | #Constraints: 27837
2156.35/2161.82 c #Conflicts: 1354000 | #Constraints: 28837
2156.35/2161.82 c #Conflicts: 1355000 | #Constraints: 29837
2156.35/2161.82 c #Conflicts: 1356000 | #Constraints: 30837
2156.35/2161.82 c #Conflicts: 1357000 | #Constraints: 31837
2156.35/2161.82 c #Conflicts: 1358000 | #Constraints: 32837
2156.35/2161.82 c #Conflicts: 1359000 | #Constraints: 33837
2156.35/2161.82 c #Conflicts: 1360000 | #Constraints: 34837
2156.35/2161.82 c #Conflicts: 1361000 | #Constraints: 35837
2156.35/2161.82 c #Conflicts: 1362000 | #Constraints: 36837
2156.35/2161.82 c #Conflicts: 1363000 | #Constraints: 37837
2156.35/2161.82 c #Conflicts: 1364000 | #Constraints: 38837
2156.35/2161.82 c #Conflicts: 1365000 | #Constraints: 39837
2156.35/2161.82 c #Conflicts: 1366000 | #Constraints: 40837
2156.35/2161.82 c #Conflicts: 1367000 | #Constraints: 41837
2156.35/2161.82 c bounds 14 >= 0 @ 2150.09
2156.35/2161.82 c stratification level: 2
2353.00/2358.95 c #Conflicts: 1368000 | #Constraints: 42838
2353.00/2358.95 c #Conflicts: 1369000 | #Constraints: 43838
2353.00/2358.95 c #Conflicts: 1370000 | #Constraints: 44838
2353.00/2358.95 c #Conflicts: 1371000 | #Constraints: 45838
2353.00/2358.95 c INPROCESSING
2353.00/2358.95 c GARBAGE COLLECT
2353.00/2358.95 c #Conflicts: 1372000 | #Constraints: 23635
2353.00/2358.95 c #Conflicts: 1373000 | #Constraints: 24635
2353.00/2358.95 c #Conflicts: 1374000 | #Constraints: 25635
2353.00/2358.95 c #Conflicts: 1375000 | #Constraints: 26635
2353.00/2358.95 c #Conflicts: 1376000 | #Constraints: 27635
2353.00/2358.95 c #Conflicts: 1377000 | #Constraints: 28635
2353.00/2358.95 c #Conflicts: 1378000 | #Constraints: 29635
2353.00/2358.95 c #Conflicts: 1379000 | #Constraints: 30635
2353.00/2358.95 c #Conflicts: 1380000 | #Constraints: 31635
2353.00/2358.95 c #Conflicts: 1381000 | #Constraints: 32635
2353.00/2358.95 c #Conflicts: 1382000 | #Constraints: 33635
2353.00/2358.95 c #Conflicts: 1383000 | #Constraints: 34635
2353.00/2358.95 c #Conflicts: 1384000 | #Constraints: 35635
2353.00/2358.95 c #Conflicts: 1385000 | #Constraints: 36635
2353.00/2358.95 c #Conflicts: 1386000 | #Constraints: 37635
2353.00/2358.95 c #Conflicts: 1387000 | #Constraints: 38635
2353.00/2358.95 c #Conflicts: 1388000 | #Constraints: 39635
2353.00/2358.95 c #Conflicts: 1389000 | #Constraints: 40635
2353.00/2358.95 c #Conflicts: 1390000 | #Constraints: 41635
2353.00/2358.95 c #Conflicts: 1391000 | #Constraints: 42635
2353.00/2358.95 c #Conflicts: 1392000 | #Constraints: 43635
2353.00/2358.95 c #Conflicts: 1393000 | #Constraints: 44635
2353.00/2358.95 c #Conflicts: 1394000 | #Constraints: 45635
2353.00/2358.95 c #Conflicts: 1395000 | #Constraints: 46635
2353.00/2358.95 c INPROCESSING
2353.00/2358.95 c GARBAGE COLLECT
2353.00/2358.95 c #Conflicts: 1396000 | #Constraints: 24235
2353.00/2358.95 c #Conflicts: 1397000 | #Constraints: 25235
2353.00/2358.95 c #Conflicts: 1398000 | #Constraints: 26235
2353.00/2358.95 c #Conflicts: 1399000 | #Constraints: 27235
2353.00/2358.95 c #Conflicts: 1400000 | #Constraints: 28235
2353.00/2358.95 c #Conflicts: 1401000 | #Constraints: 29235
2353.00/2358.95 c #Conflicts: 1402000 | #Constraints: 30235
2353.00/2358.95 c #Conflicts: 1403000 | #Constraints: 31235
2353.00/2358.95 c #Conflicts: 1404000 | #Constraints: 32235
2353.00/2358.95 c #Conflicts: 1405000 | #Constraints: 33235
2353.00/2358.95 c #Conflicts: 1406000 | #Constraints: 34235
2353.00/2358.95 c #Conflicts: 1407000 | #Constraints: 35235
2353.00/2358.95 c #Conflicts: 1408000 | #Constraints: 36235
2353.00/2358.95 c #Conflicts: 1409000 | #Constraints: 37235
2353.00/2358.95 c #Conflicts: 1410000 | #Constraints: 38235
2353.00/2358.95 c #Conflicts: 1411000 | #Constraints: 39235
2353.00/2358.95 c #Conflicts: 1412000 | #Constraints: 40235
2353.00/2358.95 c #Conflicts: 1413000 | #Constraints: 41235
2353.00/2358.95 c #Conflicts: 1414000 | #Constraints: 42235
2353.00/2358.95 c #Conflicts: 1415000 | #Constraints: 43235
2353.00/2358.95 c #Conflicts: 1416000 | #Constraints: 44235
2353.00/2358.95 c #Conflicts: 1417000 | #Constraints: 45235
2353.00/2358.95 c #Conflicts: 1418000 | #Constraints: 46235
2353.00/2358.95 c #Conflicts: 1419000 | #Constraints: 47235
2353.00/2358.95 c INPROCESSING
2353.00/2358.95 c GARBAGE COLLECT
2353.00/2358.95 c #Conflicts: 1420000 | #Constraints: 24634
2353.00/2358.95 c #Conflicts: 1421000 | #Constraints: 25634
2353.00/2358.95 c #Conflicts: 1422000 | #Constraints: 26634
2353.00/2358.95 c #Conflicts: 1423000 | #Constraints: 27634
2353.00/2358.95 c #Conflicts: 1424000 | #Constraints: 28634
2353.00/2358.95 c #Conflicts: 1425000 | #Constraints: 29634
2353.00/2358.95 c #Conflicts: 1426000 | #Constraints: 30634
2353.00/2358.95 c #Conflicts: 1427000 | #Constraints: 31634
2353.00/2358.95 c #Conflicts: 1428000 | #Constraints: 32634
2353.00/2358.95 c #Conflicts: 1429000 | #Constraints: 33634
2353.00/2358.95 c #Conflicts: 1430000 | #Constraints: 34634
2353.00/2358.95 c #Conflicts: 1431000 | #Constraints: 35634
2353.00/2358.95 c #Conflicts: 1432000 | #Constraints: 36634
2353.00/2358.95 c #Conflicts: 1433000 | #Constraints: 37634
2353.00/2358.95 c #Conflicts: 1434000 | #Constraints: 38634
2353.00/2358.95 c #Conflicts: 1435000 | #Constraints: 39634
2353.00/2358.95 c #Conflicts: 1436000 | #Constraints: 40634
2353.00/2358.95 c #Conflicts: 1437000 | #Constraints: 41634
2353.00/2358.95 c #Conflicts: 1438000 | #Constraints: 42634
2353.00/2358.95 c #Conflicts: 1439000 | #Constraints: 43634
2353.00/2358.95 c #Conflicts: 1440000 | #Constraints: 44634
2353.00/2358.95 c #Conflicts: 1441000 | #Constraints: 45634
2353.00/2358.95 c #Conflicts: 1442000 | #Constraints: 46634
2353.00/2358.95 c #Conflicts: 1443000 | #Constraints: 47634
2353.00/2358.95 c INPROCESSING
2353.00/2358.95 c GARBAGE COLLECT
2353.00/2358.95 c #Conflicts: 1444000 | #Constraints: 24834
2555.93/2562.38 c #Conflicts: 1445000 | #Constraints: 25834
2555.93/2562.38 c #Conflicts: 1446000 | #Constraints: 26834
2555.93/2562.38 c #Conflicts: 1447000 | #Constraints: 27834
2555.93/2562.38 c #Conflicts: 1448000 | #Constraints: 28834
2555.93/2562.38 c #Conflicts: 1449000 | #Constraints: 29834
2555.93/2562.38 c #Conflicts: 1450000 | #Constraints: 30834
2555.93/2562.38 c #Conflicts: 1451000 | #Constraints: 31834
2555.93/2562.38 c #Conflicts: 1452000 | #Constraints: 32834
2555.93/2562.38 c #Conflicts: 1453000 | #Constraints: 33834
2555.93/2562.38 c #Conflicts: 1454000 | #Constraints: 34834
2555.93/2562.38 c #Conflicts: 1455000 | #Constraints: 35834
2555.93/2562.38 c #Conflicts: 1456000 | #Constraints: 36834
2555.93/2562.38 c #Conflicts: 1457000 | #Constraints: 37834
2555.93/2562.38 c #Conflicts: 1458000 | #Constraints: 38834
2555.93/2562.38 c #Conflicts: 1459000 | #Constraints: 39834
2555.93/2562.38 c #Conflicts: 1460000 | #Constraints: 40834
2555.93/2562.38 c #Conflicts: 1461000 | #Constraints: 41834
2555.93/2562.38 c #Conflicts: 1462000 | #Constraints: 42834
2555.93/2562.38 c #Conflicts: 1463000 | #Constraints: 43834
2555.93/2562.38 c #Conflicts: 1464000 | #Constraints: 44834
2555.93/2562.38 c #Conflicts: 1465000 | #Constraints: 45834
2555.93/2562.38 c #Conflicts: 1466000 | #Constraints: 46834
2555.93/2562.38 c #Conflicts: 1467000 | #Constraints: 47834
2555.93/2562.38 c INPROCESSING
2555.93/2562.38 c GARBAGE COLLECT
2555.93/2562.38 c #Conflicts: 1468000 | #Constraints: 24832
2555.93/2562.38 c #Conflicts: 1469000 | #Constraints: 25832
2555.93/2562.38 c #Conflicts: 1470000 | #Constraints: 26832
2555.93/2562.38 c #Conflicts: 1471000 | #Constraints: 27832
2555.93/2562.38 c #Conflicts: 1472000 | #Constraints: 28832
2555.93/2562.38 c #Conflicts: 1473000 | #Constraints: 29832
2555.93/2562.38 c #Conflicts: 1474000 | #Constraints: 30832
2555.93/2562.38 c #Conflicts: 1475000 | #Constraints: 31832
2555.93/2562.38 c #Conflicts: 1476000 | #Constraints: 32832
2555.93/2562.38 c #Conflicts: 1477000 | #Constraints: 33832
2555.93/2562.38 c #Conflicts: 1478000 | #Constraints: 34832
2555.93/2562.38 c #Conflicts: 1479000 | #Constraints: 35832
2555.93/2562.38 c #Conflicts: 1480000 | #Constraints: 36832
2555.93/2562.38 c #Conflicts: 1481000 | #Constraints: 37832
2555.93/2562.38 c #Conflicts: 1482000 | #Constraints: 38832
2555.93/2562.38 c #Conflicts: 1483000 | #Constraints: 39832
2555.93/2562.38 c #Conflicts: 1484000 | #Constraints: 40832
2555.93/2562.38 c #Conflicts: 1485000 | #Constraints: 41832
2555.93/2562.38 c #Conflicts: 1486000 | #Constraints: 42832
2555.93/2562.38 c #Conflicts: 1487000 | #Constraints: 43832
2555.93/2562.38 c #Conflicts: 1488000 | #Constraints: 44832
2555.93/2562.38 c #Conflicts: 1489000 | #Constraints: 45832
2555.93/2562.38 c #Conflicts: 1490000 | #Constraints: 46832
2555.93/2562.38 c #Conflicts: 1491000 | #Constraints: 47832
2555.93/2562.38 c INPROCESSING
2555.93/2562.38 c GARBAGE COLLECT
2555.93/2562.38 c #Conflicts: 1492000 | #Constraints: 24632
2555.93/2562.38 c #Conflicts: 1493000 | #Constraints: 25632
2555.93/2562.38 c #Conflicts: 1494000 | #Constraints: 26632
2555.93/2562.38 c #Conflicts: 1495000 | #Constraints: 27632
2555.93/2562.38 c #Conflicts: 1496000 | #Constraints: 28632
2555.93/2562.38 c #Conflicts: 1497000 | #Constraints: 29632
2555.93/2562.38 c #Conflicts: 1498000 | #Constraints: 30632
2555.93/2562.38 c #Conflicts: 1499000 | #Constraints: 31632
2555.93/2562.38 c #Conflicts: 1500000 | #Constraints: 32632
2555.93/2562.38 c #Conflicts: 1501000 | #Constraints: 33632
2555.93/2562.38 c #Conflicts: 1502000 | #Constraints: 34632
2555.93/2562.38 c #Conflicts: 1503000 | #Constraints: 35632
2555.93/2562.38 c #Conflicts: 1504000 | #Constraints: 36632
2555.93/2562.38 c #Conflicts: 1505000 | #Constraints: 37632
2555.93/2562.38 c #Conflicts: 1506000 | #Constraints: 38632
2555.93/2562.38 c #Conflicts: 1507000 | #Constraints: 39632
2555.93/2562.38 c #Conflicts: 1508000 | #Constraints: 40632
2555.93/2562.38 c #Conflicts: 1509000 | #Constraints: 41632
2555.93/2562.38 c #Conflicts: 1510000 | #Constraints: 42632
2555.93/2562.38 c #Conflicts: 1511000 | #Constraints: 43632
2555.93/2562.38 c #Conflicts: 1512000 | #Constraints: 44632
2555.93/2562.38 c #Conflicts: 1513000 | #Constraints: 45632
2555.93/2562.38 c #Conflicts: 1514000 | #Constraints: 46632
2555.93/2562.38 c #Conflicts: 1515000 | #Constraints: 47632
2555.93/2562.38 c #Conflicts: 1516000 | #Constraints: 48632
2555.93/2562.38 c INPROCESSING
2555.93/2562.38 c GARBAGE COLLECT
2555.93/2562.38 c #Conflicts: 1517000 | #Constraints: 25232
2555.93/2562.38 c #Conflicts: 1518000 | #Constraints: 26232
2555.93/2562.38 c #Conflicts: 1519000 | #Constraints: 27232
2555.93/2562.38 c #Conflicts: 1520000 | #Constraints: 28232
2555.93/2562.38 c #Conflicts: 1521000 | #Constraints: 29232
2780.91/2787.81 c #Conflicts: 1522000 | #Constraints: 30232
2780.91/2787.81 c #Conflicts: 1523000 | #Constraints: 31232
2780.91/2787.81 c #Conflicts: 1524000 | #Constraints: 32232
2780.91/2787.81 c #Conflicts: 1525000 | #Constraints: 33232
2780.91/2787.81 c #Conflicts: 1526000 | #Constraints: 34232
2780.91/2787.81 c #Conflicts: 1527000 | #Constraints: 35232
2780.91/2787.81 c #Conflicts: 1528000 | #Constraints: 36232
2780.91/2787.81 c #Conflicts: 1529000 | #Constraints: 37232
2780.91/2787.81 c #Conflicts: 1530000 | #Constraints: 38232
2780.91/2787.81 c #Conflicts: 1531000 | #Constraints: 39232
2780.91/2787.81 c #Conflicts: 1532000 | #Constraints: 40232
2780.91/2787.81 c #Conflicts: 1533000 | #Constraints: 41232
2780.91/2787.81 c #Conflicts: 1534000 | #Constraints: 42232
2780.91/2787.81 c #Conflicts: 1535000 | #Constraints: 43232
2780.91/2787.81 c #Conflicts: 1536000 | #Constraints: 44232
2780.91/2787.81 c #Conflicts: 1537000 | #Constraints: 45232
2780.91/2787.81 c #Conflicts: 1538000 | #Constraints: 46232
2780.91/2787.81 c #Conflicts: 1539000 | #Constraints: 47232
2780.91/2787.81 c #Conflicts: 1540000 | #Constraints: 48232
2780.91/2787.81 c #Conflicts: 1541000 | #Constraints: 49232
2780.91/2787.81 c INPROCESSING
2780.91/2787.81 c GARBAGE COLLECT
2780.91/2787.81 c #Conflicts: 1542000 | #Constraints: 25634
2780.91/2787.81 c #Conflicts: 1543000 | #Constraints: 26634
2780.91/2787.81 c #Conflicts: 1544000 | #Constraints: 27634
2780.91/2787.81 c #Conflicts: 1545000 | #Constraints: 28634
2780.91/2787.81 c #Conflicts: 1546000 | #Constraints: 29634
2780.91/2787.81 c #Conflicts: 1547000 | #Constraints: 30634
2780.91/2787.81 c #Conflicts: 1548000 | #Constraints: 31634
2780.91/2787.81 c #Conflicts: 1549000 | #Constraints: 32634
2780.91/2787.81 c #Conflicts: 1550000 | #Constraints: 33634
2780.91/2787.81 c #Conflicts: 1551000 | #Constraints: 34634
2780.91/2787.81 c #Conflicts: 1552000 | #Constraints: 35634
2780.91/2787.81 c #Conflicts: 1553000 | #Constraints: 36634
2780.91/2787.81 c #Conflicts: 1554000 | #Constraints: 37634
2780.91/2787.81 c #Conflicts: 1555000 | #Constraints: 38634
2780.91/2787.81 c #Conflicts: 1556000 | #Constraints: 39634
2780.91/2787.81 c #Conflicts: 1557000 | #Constraints: 40634
2780.91/2787.81 c #Conflicts: 1558000 | #Constraints: 41634
2780.91/2787.81 c #Conflicts: 1559000 | #Constraints: 42634
2780.91/2787.81 c #Conflicts: 1560000 | #Constraints: 43634
2780.91/2787.81 c #Conflicts: 1561000 | #Constraints: 44634
2780.91/2787.81 c #Conflicts: 1562000 | #Constraints: 45634
2780.91/2787.81 c #Conflicts: 1563000 | #Constraints: 46634
2780.91/2787.81 c #Conflicts: 1564000 | #Constraints: 47634
2780.91/2787.81 c #Conflicts: 1565000 | #Constraints: 48634
2780.91/2787.81 c #Conflicts: 1566000 | #Constraints: 49634
2780.91/2787.81 c INPROCESSING
2780.91/2787.81 c GARBAGE COLLECT
2780.91/2787.81 c #Conflicts: 1567000 | #Constraints: 25835
2780.91/2787.81 c #Conflicts: 1568000 | #Constraints: 26835
2780.91/2787.81 c #Conflicts: 1569000 | #Constraints: 27835
2780.91/2787.81 c #Conflicts: 1570000 | #Constraints: 28835
2780.91/2787.81 c #Conflicts: 1571000 | #Constraints: 29835
2780.91/2787.81 c #Conflicts: 1572000 | #Constraints: 30835
2780.91/2787.81 c #Conflicts: 1573000 | #Constraints: 31835
2780.91/2787.81 c #Conflicts: 1574000 | #Constraints: 32835
2780.91/2787.81 c #Conflicts: 1575000 | #Constraints: 33835
2780.91/2787.81 c #Conflicts: 1576000 | #Constraints: 34835
2780.91/2787.81 c #Conflicts: 1577000 | #Constraints: 35835
2780.91/2787.81 c #Conflicts: 1578000 | #Constraints: 36835
2780.91/2787.81 c #Conflicts: 1579000 | #Constraints: 37835
2780.91/2787.81 c #Conflicts: 1580000 | #Constraints: 38835
2780.91/2787.81 c #Conflicts: 1581000 | #Constraints: 39835
2780.91/2787.81 c #Conflicts: 1582000 | #Constraints: 40835
2780.91/2787.81 c #Conflicts: 1583000 | #Constraints: 41835
2780.91/2787.81 c #Conflicts: 1584000 | #Constraints: 42835
2780.91/2787.81 c #Conflicts: 1585000 | #Constraints: 43835
2780.91/2787.81 c #Conflicts: 1586000 | #Constraints: 44835
2780.91/2787.81 c #Conflicts: 1587000 | #Constraints: 45835
2780.91/2787.81 c #Conflicts: 1588000 | #Constraints: 46835
2780.91/2787.81 c #Conflicts: 1589000 | #Constraints: 47835
2780.91/2787.81 c #Conflicts: 1590000 | #Constraints: 48835
2780.91/2787.81 c #Conflicts: 1591000 | #Constraints: 49835
2780.91/2787.81 c INPROCESSING
2780.91/2787.81 c GARBAGE COLLECT
2780.91/2787.81 c #Conflicts: 1592000 | #Constraints: 25834
2780.91/2787.81 c #Conflicts: 1593000 | #Constraints: 26834
2780.91/2787.81 c #Conflicts: 1594000 | #Constraints: 27834
2780.91/2787.81 c #Conflicts: 1595000 | #Constraints: 28834
2780.91/2787.81 c #Conflicts: 1596000 | #Constraints: 29834
2780.91/2787.81 c #Conflicts: 1597000 | #Constraints: 30834
3032.43/3039.93 c #Conflicts: 1598000 | #Constraints: 31834
3032.43/3039.93 c #Conflicts: 1599000 | #Constraints: 32834
3032.43/3039.93 c #Conflicts: 1600000 | #Constraints: 33834
3032.43/3039.93 c #Conflicts: 1601000 | #Constraints: 34834
3032.43/3039.93 c #Conflicts: 1602000 | #Constraints: 35834
3032.43/3039.93 c #Conflicts: 1603000 | #Constraints: 36834
3032.43/3039.93 c #Conflicts: 1604000 | #Constraints: 37834
3032.43/3039.93 c #Conflicts: 1605000 | #Constraints: 38834
3032.43/3039.93 c #Conflicts: 1606000 | #Constraints: 39834
3032.43/3039.93 c #Conflicts: 1607000 | #Constraints: 40834
3032.43/3039.93 c #Conflicts: 1608000 | #Constraints: 41834
3032.43/3039.93 c #Conflicts: 1609000 | #Constraints: 42834
3032.43/3039.93 c #Conflicts: 1610000 | #Constraints: 43834
3032.43/3039.93 c #Conflicts: 1611000 | #Constraints: 44834
3032.43/3039.93 c #Conflicts: 1612000 | #Constraints: 45834
3032.43/3039.93 c #Conflicts: 1613000 | #Constraints: 46834
3032.43/3039.93 c #Conflicts: 1614000 | #Constraints: 47834
3032.43/3039.93 c #Conflicts: 1615000 | #Constraints: 48834
3032.43/3039.93 c #Conflicts: 1616000 | #Constraints: 49834
3032.43/3039.93 c INPROCESSING
3032.43/3039.93 c GARBAGE COLLECT
3032.43/3039.93 c #Conflicts: 1617000 | #Constraints: 25635
3032.43/3039.93 c #Conflicts: 1618000 | #Constraints: 26635
3032.43/3039.93 c #Conflicts: 1619000 | #Constraints: 27635
3032.43/3039.93 c #Conflicts: 1620000 | #Constraints: 28635
3032.43/3039.93 c #Conflicts: 1621000 | #Constraints: 29635
3032.43/3039.93 c #Conflicts: 1622000 | #Constraints: 30635
3032.43/3039.93 c #Conflicts: 1623000 | #Constraints: 31635
3032.43/3039.93 c #Conflicts: 1624000 | #Constraints: 32635
3032.43/3039.93 c #Conflicts: 1625000 | #Constraints: 33635
3032.43/3039.93 c #Conflicts: 1626000 | #Constraints: 34635
3032.43/3039.93 c #Conflicts: 1627000 | #Constraints: 35635
3032.43/3039.93 c #Conflicts: 1628000 | #Constraints: 36635
3032.43/3039.93 c #Conflicts: 1629000 | #Constraints: 37635
3032.43/3039.93 c #Conflicts: 1630000 | #Constraints: 38635
3032.43/3039.93 c #Conflicts: 1631000 | #Constraints: 39635
3032.43/3039.93 c #Conflicts: 1632000 | #Constraints: 40635
3032.43/3039.93 c #Conflicts: 1633000 | #Constraints: 41635
3032.43/3039.93 c #Conflicts: 1634000 | #Constraints: 42635
3032.43/3039.93 c #Conflicts: 1635000 | #Constraints: 43635
3032.43/3039.93 c #Conflicts: 1636000 | #Constraints: 44635
3032.43/3039.93 c #Conflicts: 1637000 | #Constraints: 45635
3032.43/3039.93 c #Conflicts: 1638000 | #Constraints: 46635
3032.43/3039.93 c #Conflicts: 1639000 | #Constraints: 47635
3032.43/3039.93 c #Conflicts: 1640000 | #Constraints: 48635
3032.43/3039.93 c #Conflicts: 1641000 | #Constraints: 49635
3032.43/3039.93 c #Conflicts: 1642000 | #Constraints: 50635
3032.43/3039.93 c INPROCESSING
3032.43/3039.93 c GARBAGE COLLECT
3032.43/3039.93 c #Conflicts: 1643000 | #Constraints: 26231
3032.43/3039.93 c #Conflicts: 1644000 | #Constraints: 27231
3032.43/3039.93 c #Conflicts: 1645000 | #Constraints: 28231
3032.43/3039.93 c #Conflicts: 1646000 | #Constraints: 29231
3032.43/3039.93 c #Conflicts: 1647000 | #Constraints: 30231
3032.43/3039.93 c #Conflicts: 1648000 | #Constraints: 31231
3032.43/3039.93 c #Conflicts: 1649000 | #Constraints: 32231
3032.43/3039.93 c #Conflicts: 1650000 | #Constraints: 33231
3032.43/3039.93 c #Conflicts: 1651000 | #Constraints: 34231
3032.43/3039.93 c #Conflicts: 1652000 | #Constraints: 35231
3032.43/3039.93 c #Conflicts: 1653000 | #Constraints: 36231
3032.43/3039.93 c #Conflicts: 1654000 | #Constraints: 37231
3032.43/3039.93 c #Conflicts: 1655000 | #Constraints: 38231
3032.43/3039.93 c #Conflicts: 1656000 | #Constraints: 39231
3032.43/3039.93 c #Conflicts: 1657000 | #Constraints: 40231
3032.43/3039.93 c #Conflicts: 1658000 | #Constraints: 41231
3032.43/3039.93 c #Conflicts: 1659000 | #Constraints: 42231
3032.43/3039.93 c #Conflicts: 1660000 | #Constraints: 43231
3032.43/3039.93 c #Conflicts: 1661000 | #Constraints: 44231
3032.43/3039.93 c #Conflicts: 1662000 | #Constraints: 45231
3032.43/3039.93 c #Conflicts: 1663000 | #Constraints: 46231
3032.43/3039.93 c #Conflicts: 1664000 | #Constraints: 47231
3032.43/3039.93 c #Conflicts: 1665000 | #Constraints: 48231
3032.43/3039.93 c #Conflicts: 1666000 | #Constraints: 49231
3032.43/3039.93 c #Conflicts: 1667000 | #Constraints: 50231
3032.43/3039.93 c #Conflicts: 1668000 | #Constraints: 51231
3032.43/3039.93 c INPROCESSING
3032.43/3039.93 c GARBAGE COLLECT
3032.43/3039.93 c #Conflicts: 1669000 | #Constraints: 26632
3032.43/3039.93 c #Conflicts: 1670000 | #Constraints: 27632
3032.43/3039.93 c #Conflicts: 1671000 | #Constraints: 28632
3032.43/3039.93 c #Conflicts: 1672000 | #Constraints: 29632
3032.43/3039.93 c #Conflicts: 1673000 | #Constraints: 30632
3032.43/3039.93 c #Conflicts: 1674000 | #Constraints: 31632
3285.65/3293.79 c #Conflicts: 1675000 | #Constraints: 32632
3285.65/3293.79 c #Conflicts: 1676000 | #Constraints: 33632
3285.65/3293.79 c #Conflicts: 1677000 | #Constraints: 34632
3285.65/3293.79 c #Conflicts: 1678000 | #Constraints: 35632
3285.65/3293.79 c #Conflicts: 1679000 | #Constraints: 36632
3285.65/3293.79 c #Conflicts: 1680000 | #Constraints: 37632
3285.65/3293.79 c #Conflicts: 1681000 | #Constraints: 38632
3285.65/3293.79 c #Conflicts: 1682000 | #Constraints: 39632
3285.65/3293.79 c #Conflicts: 1683000 | #Constraints: 40632
3285.65/3293.79 c #Conflicts: 1684000 | #Constraints: 41632
3285.65/3293.79 c #Conflicts: 1685000 | #Constraints: 42632
3285.65/3293.79 c #Conflicts: 1686000 | #Constraints: 43632
3285.65/3293.79 c #Conflicts: 1687000 | #Constraints: 44632
3285.65/3293.79 c #Conflicts: 1688000 | #Constraints: 45632
3285.65/3293.79 c #Conflicts: 1689000 | #Constraints: 46632
3285.65/3293.79 c #Conflicts: 1690000 | #Constraints: 47632
3285.65/3293.79 c #Conflicts: 1691000 | #Constraints: 48632
3285.65/3293.79 c #Conflicts: 1692000 | #Constraints: 49632
3285.65/3293.79 c #Conflicts: 1693000 | #Constraints: 50632
3285.65/3293.79 c #Conflicts: 1694000 | #Constraints: 51632
3285.65/3293.79 c INPROCESSING
3285.65/3293.79 c GARBAGE COLLECT
3285.65/3293.79 c #Conflicts: 1695000 | #Constraints: 26830
3285.65/3293.79 c #Conflicts: 1696000 | #Constraints: 27830
3285.65/3293.79 c #Conflicts: 1697000 | #Constraints: 28830
3285.65/3293.79 c #Conflicts: 1698000 | #Constraints: 29830
3285.65/3293.79 c #Conflicts: 1699000 | #Constraints: 30830
3285.65/3293.79 c #Conflicts: 1700000 | #Constraints: 31830
3285.65/3293.79 c #Conflicts: 1701000 | #Constraints: 32830
3285.65/3293.79 c #Conflicts: 1702000 | #Constraints: 33830
3285.65/3293.79 c #Conflicts: 1703000 | #Constraints: 34830
3285.65/3293.79 c #Conflicts: 1704000 | #Constraints: 35830
3285.65/3293.79 c #Conflicts: 1705000 | #Constraints: 36830
3285.65/3293.79 c #Conflicts: 1706000 | #Constraints: 37830
3285.65/3293.79 c #Conflicts: 1707000 | #Constraints: 38830
3285.65/3293.79 c #Conflicts: 1708000 | #Constraints: 39830
3285.65/3293.79 c #Conflicts: 1709000 | #Constraints: 40830
3285.65/3293.79 c #Conflicts: 1710000 | #Constraints: 41830
3285.65/3293.79 c #Conflicts: 1711000 | #Constraints: 42830
3285.65/3293.79 c #Conflicts: 1712000 | #Constraints: 43830
3285.65/3293.79 c #Conflicts: 1713000 | #Constraints: 44830
3285.65/3293.79 c #Conflicts: 1714000 | #Constraints: 45830
3285.65/3293.79 c #Conflicts: 1715000 | #Constraints: 46830
3285.65/3293.79 c #Conflicts: 1716000 | #Constraints: 47830
3285.65/3293.79 c #Conflicts: 1717000 | #Constraints: 48830
3285.65/3293.79 c #Conflicts: 1718000 | #Constraints: 49830
3285.65/3293.79 c #Conflicts: 1719000 | #Constraints: 50830
3285.65/3293.79 c #Conflicts: 1720000 | #Constraints: 51830
3285.65/3293.79 c INPROCESSING
3285.65/3293.79 c GARBAGE COLLECT
3285.65/3293.79 c #Conflicts: 1721000 | #Constraints: 26833
3285.65/3293.79 c #Conflicts: 1722000 | #Constraints: 27833
3285.65/3293.79 c #Conflicts: 1723000 | #Constraints: 28833
3285.65/3293.79 c #Conflicts: 1724000 | #Constraints: 29833
3285.65/3293.79 c #Conflicts: 1725000 | #Constraints: 30833
3285.65/3293.79 c #Conflicts: 1726000 | #Constraints: 31833
3285.65/3293.79 c #Conflicts: 1727000 | #Constraints: 32833
3285.65/3293.79 c #Conflicts: 1728000 | #Constraints: 33833
3285.65/3293.79 c #Conflicts: 1729000 | #Constraints: 34833
3285.65/3293.79 c #Conflicts: 1730000 | #Constraints: 35833
3285.65/3293.79 c #Conflicts: 1731000 | #Constraints: 36833
3285.65/3293.79 c #Conflicts: 1732000 | #Constraints: 37833
3285.65/3293.79 c #Conflicts: 1733000 | #Constraints: 38833
3285.65/3293.79 c #Conflicts: 1734000 | #Constraints: 39833
3285.65/3293.79 c #Conflicts: 1735000 | #Constraints: 40833
3285.65/3293.79 c #Conflicts: 1736000 | #Constraints: 41833
3285.65/3293.79 c #Conflicts: 1737000 | #Constraints: 42833
3285.65/3293.79 c #Conflicts: 1738000 | #Constraints: 43833
3285.65/3293.79 c #Conflicts: 1739000 | #Constraints: 44833
3285.65/3293.79 c #Conflicts: 1740000 | #Constraints: 45833
3285.65/3293.79 c #Conflicts: 1741000 | #Constraints: 46833
3285.65/3293.79 c #Conflicts: 1742000 | #Constraints: 47833
3285.65/3293.79 c #Conflicts: 1743000 | #Constraints: 48833
3285.65/3293.79 c #Conflicts: 1744000 | #Constraints: 49833
3285.65/3293.79 c #Conflicts: 1745000 | #Constraints: 50833
3285.65/3293.79 c #Conflicts: 1746000 | #Constraints: 51833
3285.65/3293.79 c INPROCESSING
3285.65/3293.79 c GARBAGE COLLECT
3285.65/3293.79 c #Conflicts: 1747000 | #Constraints: 26633
3285.65/3293.79 c #Conflicts: 1748000 | #Constraints: 27633
3285.65/3293.79 c #Conflicts: 1749000 | #Constraints: 28633
3285.65/3293.79 c #Conflicts: 1750000 | #Constraints: 29633
3285.65/3293.79 c #Conflicts: 1751000 | #Constraints: 30633
3526.89/3535.55 c #Conflicts: 1752000 | #Constraints: 31633
3526.89/3535.55 c #Conflicts: 1753000 | #Constraints: 32633
3526.89/3535.55 c #Conflicts: 1754000 | #Constraints: 33633
3526.89/3535.55 c #Conflicts: 1755000 | #Constraints: 34633
3526.89/3535.55 c #Conflicts: 1756000 | #Constraints: 35633
3526.89/3535.55 c #Conflicts: 1757000 | #Constraints: 36633
3526.89/3535.55 c #Conflicts: 1758000 | #Constraints: 37633
3526.89/3535.55 c #Conflicts: 1759000 | #Constraints: 38633
3526.89/3535.55 c #Conflicts: 1760000 | #Constraints: 39633
3526.89/3535.55 c #Conflicts: 1761000 | #Constraints: 40633
3526.89/3535.55 c #Conflicts: 1762000 | #Constraints: 41633
3526.89/3535.55 c #Conflicts: 1763000 | #Constraints: 42633
3526.89/3535.55 c #Conflicts: 1764000 | #Constraints: 43633
3526.89/3535.55 c #Conflicts: 1765000 | #Constraints: 44633
3526.89/3535.55 c #Conflicts: 1766000 | #Constraints: 45633
3526.89/3535.55 c #Conflicts: 1767000 | #Constraints: 46633
3526.89/3535.55 c #Conflicts: 1768000 | #Constraints: 47633
3526.89/3535.55 c #Conflicts: 1769000 | #Constraints: 48633
3526.89/3535.55 c #Conflicts: 1770000 | #Constraints: 49633
3526.89/3535.55 c #Conflicts: 1771000 | #Constraints: 50633
3526.89/3535.55 c #Conflicts: 1772000 | #Constraints: 51633
3526.89/3535.55 c #Conflicts: 1773000 | #Constraints: 52633
3526.89/3535.55 c INPROCESSING
3526.89/3535.55 c GARBAGE COLLECT
3526.89/3535.55 c #Conflicts: 1774000 | #Constraints: 27233
3526.89/3535.55 c #Conflicts: 1775000 | #Constraints: 28233
3526.89/3535.55 c #Conflicts: 1776000 | #Constraints: 29233
3526.89/3535.55 c #Conflicts: 1777000 | #Constraints: 30233
3526.89/3535.55 c #Conflicts: 1778000 | #Constraints: 31233
3526.89/3535.55 c #Conflicts: 1779000 | #Constraints: 32233
3526.89/3535.55 c #Conflicts: 1780000 | #Constraints: 33233
3526.89/3535.55 c #Conflicts: 1781000 | #Constraints: 34233
3526.89/3535.55 c #Conflicts: 1782000 | #Constraints: 35233
3526.89/3535.55 c #Conflicts: 1783000 | #Constraints: 36233
3526.89/3535.55 c #Conflicts: 1784000 | #Constraints: 37233
3526.89/3535.55 c #Conflicts: 1785000 | #Constraints: 38233
3526.89/3535.55 c #Conflicts: 1786000 | #Constraints: 39233
3526.89/3535.55 c #Conflicts: 1787000 | #Constraints: 40233
3526.89/3535.55 c #Conflicts: 1788000 | #Constraints: 41233
3526.89/3535.55 c #Conflicts: 1789000 | #Constraints: 42233
3526.89/3535.55 c #Conflicts: 1790000 | #Constraints: 43233
3526.89/3535.55 c #Conflicts: 1791000 | #Constraints: 44233
3526.89/3535.55 c #Conflicts: 1792000 | #Constraints: 45233
3526.89/3535.55 c #Conflicts: 1793000 | #Constraints: 46233
3526.89/3535.55 c #Conflicts: 1794000 | #Constraints: 47233
3526.89/3535.55 c #Conflicts: 1795000 | #Constraints: 48233
3526.89/3535.55 c #Conflicts: 1796000 | #Constraints: 49233
3526.89/3535.55 c #Conflicts: 1797000 | #Constraints: 50233
3526.89/3535.55 c #Conflicts: 1798000 | #Constraints: 51233
3526.89/3535.55 c #Conflicts: 1799000 | #Constraints: 52233
3526.89/3535.55 c #Conflicts: 1800000 | #Constraints: 53233
3526.89/3535.55 c INPROCESSING
3526.89/3535.55 c GARBAGE COLLECT
3526.89/3535.55 c #Conflicts: 1801000 | #Constraints: 27630
3526.89/3535.55 c #Conflicts: 1802000 | #Constraints: 28630
3526.89/3535.55 c #Conflicts: 1803000 | #Constraints: 29630
3526.89/3535.55 c #Conflicts: 1804000 | #Constraints: 30630
3526.89/3535.55 c #Conflicts: 1805000 | #Constraints: 31630
3526.89/3535.55 c #Conflicts: 1806000 | #Constraints: 32630
3526.89/3535.55 c #Conflicts: 1807000 | #Constraints: 33630
3526.89/3535.55 c #Conflicts: 1808000 | #Constraints: 34630
3526.89/3535.55 c #Conflicts: 1809000 | #Constraints: 35630
3526.89/3535.55 c #Conflicts: 1810000 | #Constraints: 36630
3526.89/3535.55 c #Conflicts: 1811000 | #Constraints: 37630
3526.89/3535.55 c #Conflicts: 1812000 | #Constraints: 38630
3526.89/3535.55 c #Conflicts: 1813000 | #Constraints: 39630
3526.89/3535.55 c #Conflicts: 1814000 | #Constraints: 40630
3526.89/3535.55 c #Conflicts: 1815000 | #Constraints: 41630
3526.89/3535.55 c #Conflicts: 1816000 | #Constraints: 42630
3526.89/3535.55 c #Conflicts: 1817000 | #Constraints: 43630
3526.89/3535.55 c #Conflicts: 1818000 | #Constraints: 44630
3526.89/3535.55 c #Conflicts: 1819000 | #Constraints: 45630
3526.89/3535.55 c #Conflicts: 1820000 | #Constraints: 46630
3526.89/3535.55 c #Conflicts: 1821000 | #Constraints: 47630
3526.89/3535.55 c #Conflicts: 1822000 | #Constraints: 48630
3526.89/3535.55 c #Conflicts: 1823000 | #Constraints: 49630
3526.89/3535.55 c #Conflicts: 1824000 | #Constraints: 50630
3526.89/3535.55 c #Conflicts: 1825000 | #Constraints: 51630
3526.89/3535.55 c #Conflicts: 1826000 | #Constraints: 52630
3526.89/3535.55 c #Conflicts: 1827000 | #Constraints: 53630
3526.89/3535.55 c INPROCESSING
3526.89/3535.55 c GARBAGE COLLECT
3526.89/3535.55 c #Conflicts: 1828000 | #Constraints: 27834
3600.02/3608.80 c #Conflicts: 1829000 | #Constraints: 28834
3600.02/3608.80 c #Conflicts: 1830000 | #Constraints: 29834
3600.02/3608.80 c #Conflicts: 1831000 | #Constraints: 30834
3600.02/3608.80 c #Conflicts: 1832000 | #Constraints: 31834
3600.02/3608.80 c #Conflicts: 1833000 | #Constraints: 32834
3600.02/3608.80 c #Conflicts: 1834000 | #Constraints: 33834
3600.02/3608.80 c #Conflicts: 1835000 | #Constraints: 34834
3600.02/3608.80 c #Conflicts: 1836000 | #Constraints: 35834
3600.02/3608.80 c #Conflicts: 1837000 | #Constraints: 36834
3600.02/3608.80 c #Conflicts: 1838000 | #Constraints: 37834
3600.02/3608.80 c #Conflicts: 1839000 | #Constraints: 38834
3600.02/3608.80 c #Conflicts: 1840000 | #Constraints: 39834
3600.02/3608.80 c #Conflicts: 1841000 | #Constraints: 40834
3600.02/3608.80 c #Conflicts: 1842000 | #Constraints: 41834
3600.02/3608.80 c #Conflicts: 1843000 | #Constraints: 42834
3600.02/3608.80 c #Conflicts: 1844000 | #Constraints: 43834
3600.02/3608.80 c #Conflicts: 1845000 | #Constraints: 44834
3600.02/3608.80 c #Conflicts: 1846000 | #Constraints: 45834
3600.02/3608.80 c #Conflicts: 1847000 | #Constraints: 46834
3600.02/3608.80 c #Conflicts: 1848000 | #Constraints: 47834
3600.02/3608.80 c Program interrupted by user.
3600.02/3608.80 c cpu time 3591.41 s
3600.02/3608.80 c deterministic time 594348539469 5.94e+11
3600.02/3608.80 c optimization time 75.6113 s
3600.02/3608.80 c total solve time 3216.67 s
3600.02/3608.80 c core-guided solve time 3216.67 s
3600.02/3608.80 c propagation time 3127.31 s
3600.02/3608.80 c conflict analysis time 149.755 s
3600.02/3608.80 c propagations 23436531
3600.02/3608.80 c resolve steps 8871774
3600.02/3608.80 c decisions 3399902
3600.02/3608.80 c conflicts 1848619
3600.02/3608.80 c restarts 3580
3600.02/3608.80 c inprocessing phases 126
3600.02/3608.80 c input clauses 0
3600.02/3608.80 c input cardinalities 0
3600.02/3608.80 c input general constraints 18
3600.02/3608.80 c input average constraint length 76.67
3600.02/3608.80 c input average constraint degree 1659.22
3600.02/3608.80 c learned clauses 994647
3600.02/3608.80 c learned cardinalities 0
3600.02/3608.80 c learned general constraints 853971
3600.02/3608.80 c learned average constraint length 64.10
3600.02/3608.80 c learned average constraint degree 122649.23
3600.02/3608.80 c watched constraints 828888
3600.02/3608.80 c counting constraints 25101
3600.02/3608.80 c gcd simplifications 888575
3600.02/3608.80 c detected cardinalities 0
3600.02/3608.80 c weakened non-implied lits 32085237
3600.02/3608.80 c weakened non-implying lits 2346870
3600.02/3608.80 c original variables 172
3600.02/3608.80 c clausal propagations 348206
3600.02/3608.80 c cardinality propagations 0
3600.02/3608.80 c watched propagations 15666613
3600.02/3608.80 c counting propagations 5964913
3600.02/3608.80 c watch lookups 33285465425
3600.02/3608.80 c watch backjump lookups 18851542094
3600.02/3608.80 c watch checks 421891009758
3600.02/3608.80 c propagation checks 119447353523
3600.02/3608.80 c constraint additions 817647341
3600.02/3608.80 c trail pops 28684894
3600.02/3608.80 c formula constraints 14
3600.02/3608.80 c learned constraints 1848618
3600.02/3608.80 c bound constraints 4
3600.02/3608.80 c core-guided constraints 0
3600.02/3608.80 c encountered formula constraints 2632750
3600.02/3608.80 c encountered learned constraints 8087479
3600.02/3608.80 c encountered bound constraints 164
3600.02/3608.80 c encountered core-guided constraints 0
3600.02/3608.80 c LP total time 0 s
3600.02/3608.80 c LP solve time 0 s
3600.02/3608.80 c LP constraints added 0
3600.02/3608.80 c LP constraints removed 0
3600.02/3608.80 c LP pivots internal 0
3600.02/3608.80 c LP pivots root 0
3600.02/3608.80 c LP calls 0
3600.02/3608.80 c LP optimalities 0
3600.02/3608.80 c LP no pivot count 0
3600.02/3608.80 c LP infeasibilities 0
3600.02/3608.80 c LP valid Farkas constraints 0
3600.02/3608.80 c LP learned Farkas constraints 0
3600.02/3608.80 c LP basis resets 0
3600.02/3608.80 c LP cycling count 0
3600.02/3608.80 c LP singular count 0
3600.02/3608.80 c LP no primal count 0
3600.02/3608.80 c LP no farkas count 0
3600.02/3608.80 c LP other issue count 0
3600.02/3608.80 c LP Gomory cuts 0
3600.02/3608.80 c LP learned cuts 0
3600.02/3608.80 c LP deleted cuts 0
3600.02/3608.80 c LP encountered Gomory constraints 0
3600.02/3608.80 c LP encountered Farkas constraints 0
3600.02/3608.80 c LP encountered learned Farkas constraints 0
3600.02/3608.80 c CG auxiliary variables introduced 0
3600.02/3608.80 c CG solutions found 3
3600.02/3608.80 c CG cores constructed 0
3600.02/3608.80 c CG core cardinality constraints returned 0
3600.02/3608.80 c CG unit cores 0
3600.02/3608.80 c CG single cores 0
3600.02/3608.80 c CG blocks removed during cardinality reduction 0
3600.02/3608.80 c CG first core best 0
3600.02/3608.80 c CG decision core best 0
3600.02/3608.80 c CG core reduction tie 0
3600.02/3608.80 c CG core degree average 0.00
3600.02/3608.80 c CG core slack average 0.00
3600.02/3608.80 c CG exhausted 0
3600.02/3608.80 c CG exhaust time 0 s
3600.02/3608.80 c CG trimmed 0
3600.02/3608.80 c CG trim time 0 s
3600.02/3608.80 c CG minimized 0
3600.02/3608.80 c CG minimize time 0 s
3600.02/3608.80 c CG am1 prop time 0.000325 s
3600.02/3608.80 c CG # am1s reformulated 0
3600.02/3608.80 c CG lower bound derived from am1s 0
3600.02/3608.80 c CG # clausal cores 0
3600.02/3608.80 c CG # cardinality cores 0
3600.02/3608.80 c CG # pb cores 0
3600.02/3608.80 c CG # pb reforms 0
3600.02/3608.80 c CG # cores discarded because of pb reform 0
3600.02/3608.80 d LOWERBOUND 0
3600.02/3608.80 d NCORES 0
3600.02/3608.80 d NPBCORES 0
3600.02/3608.80 d NPBREFORM 0
3600.02/3608.80 d NTRIMMED 0
3600.02/3608.80 d NEXHAUSTED 0
3600.02/3608.80 d NAM1S 0
3600.02/3608.80 d AM1LB 0
3600.02/3608.80 c [STEP] postprocessing with Papilo
3600.02/3608.80 o 14
3600.02/3608.80 s SATISFIABLE
3600.02/3608.80 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: 64059 MiB (63194 MiB free)
memory of node 1: 64510 MiB (63306 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435503-1721101828/watcher-4435503-1721101828 -o /tmp/evaluation-result-4435503-1721101828/solver-4435503-1721101828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830110 --watchdog 3760 mixed-bag HOME/instance-4435503-1721101828.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=832159, runsolver pid=832156
[startup+0.100101 s]*
/proc/loadavg: 4.06 4.08 4.09 6/242 832160
/proc/meminfo: memFree=129521164/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=99304 memory=30904 CPUtime=0.1 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 4111 0 0 0 10 0 0 0 20 0 1 0 162342063 101687296 7726 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 24826 7726 4023 3002 0 8577 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 99304 KiB
Current children cumulated memory: 30904 KiB
[startup+0.21284 s]*
/proc/loadavg: 4.06 4.08 4.09 5/242 832160
/proc/meminfo: memFree=129514200/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=103800 memory=34864 CPUtime=0.21 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 5110 0 0 0 21 0 0 0 20 0 1 0 162342063 106291200 8716 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 25950 8716 4023 3002 0 9701 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 103800 KiB
Current children cumulated memory: 34864 KiB
[startup+0.312542 s]*
/proc/loadavg: 4.06 4.08 4.09 5/242 832160
/proc/meminfo: memFree=129513332/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=103800 memory=34864 CPUtime=0.31 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 5110 0 0 0 31 0 0 0 20 0 1 0 162342063 106291200 8716 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 25950 8716 4023 3002 0 9701 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 103800 KiB
Current children cumulated memory: 34864 KiB
[startup+0.70033 s]
/proc/loadavg: 4.06 4.08 4.09 5/242 832160
/proc/meminfo: memFree=129511396/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=109712 memory=41200 CPUtime=0.68 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 6655 0 0 0 68 0 0 0 20 0 1 0 162342063 112345088 10300 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 27428 10300 4023 3002 0 11179 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109712 KiB
Current children cumulated memory: 41200 KiB
[startup+1.50034 s]
/proc/loadavg: 4.06 4.08 4.09 5/242 832161
/proc/meminfo: memFree=129496780/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=113804 memory=45400 CPUtime=1.49 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 7909 0 0 0 148 1 0 0 20 0 1 0 162342063 116535296 11350 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 28451 11350 4023 3002 0 12202 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 113804 KiB
Current children cumulated memory: 45400 KiB
[startup+3.11288 s]
/proc/loadavg: 4.06 4.08 4.09 5/244 832193
/proc/meminfo: memFree=129477508/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=121068 memory=51872 CPUtime=3.09 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 9802 0 0 0 308 1 0 0 20 0 1 0 162342063 123973632 12968 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 30267 12968 4023 3002 0 14018 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 121068 KiB
Current children cumulated memory: 51872 KiB
[startup+6.30029 s]
/proc/loadavg: 4.05 4.08 4.09 5/244 832193
/proc/meminfo: memFree=129455256/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=129948 memory=61376 CPUtime=6.26 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 12132 0 0 0 625 1 0 0 20 0 1 0 162342063 133066752 15344 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 32487 15344 4023 3002 0 16238 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 129948 KiB
Current children cumulated memory: 61376 KiB
[startup+12.7003 s]
/proc/loadavg: 4.05 4.08 4.09 5/244 832195
/proc/meminfo: memFree=129420492/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=152356 memory=82400 CPUtime=12.64 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 17291 0 0 0 1262 2 0 0 20 0 1 0 162342063 156012544 20600 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 38089 20600 4161 3002 0 21840 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 152356 KiB
Current children cumulated memory: 82400 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.09 4.09 5/244 832196
/proc/meminfo: memFree=129384536/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=174936 memory=104328 CPUtime=25.38 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 22759 0 0 0 2535 3 0 0 20 0 1 0 162342063 179134464 26082 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 43734 26082 4161 3002 0 27485 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 174936 KiB
Current children cumulated memory: 104328 KiB
[startup+51.1125 s]
/proc/loadavg: 4.14 4.10 4.09 5/244 832247
/proc/meminfo: memFree=129273476/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=235776 memory=160088 CPUtime=50.88 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 37479 0 0 0 5082 6 0 0 20 0 1 0 162342063 241434624 40022 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 58944 40022 4161 3002 0 42695 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 235776 KiB
Current children cumulated memory: 160088 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.16 4.11 5/244 832256
/proc/meminfo: memFree=129097068/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=311908 memory=234564 CPUtime=101.86 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 56021 0 0 0 10176 10 0 0 20 0 1 0 162342063 319393792 58641 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 77977 58641 4161 3002 0 61728 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 311908 KiB
Current children cumulated memory: 234564 KiB
[startup+162.3 s]
/proc/loadavg: 4.67 4.30 4.16 5/243 832267
/proc/meminfo: memFree=128885816/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=420336 memory=343324 CPUtime=161.65 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 82629 0 0 0 16150 15 0 0 20 0 1 0 162342063 430424064 85831 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 105084 85831 4161 3002 0 88835 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 420336 KiB
Current children cumulated memory: 343324 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.26 4.16 5/244 832279
/proc/meminfo: memFree=128736552/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=504748 memory=426228 CPUtime=221.45 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 102476 0 0 0 22125 20 0 0 20 0 1 0 162342063 516861952 106557 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 126187 106557 4161 3002 0 109938 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 504748 KiB
Current children cumulated memory: 426228 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.22 4.15 5/244 832289
/proc/meminfo: memFree=128614420/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=545892 memory=475212 CPUtime=281.26 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 113970 0 0 0 28104 22 0 0 20 0 1 0 162342063 558993408 118803 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 136473 118803 4161 3002 0 120224 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 545892 KiB
Current children cumulated memory: 475212 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/244 832683
/proc/meminfo: memFree=129003580/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=359656 memory=301324 CPUtime=341.11 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 118074 0 0 0 34041 70 0 0 20 0 1 0 162342063 368287744 75331 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 89914 75331 4288 3002 0 73665 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 359656 KiB
Current children cumulated memory: 301324 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.20 4.15 5/244 832693
/proc/meminfo: memFree=128985608/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=364076 memory=304896 CPUtime=400.97 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 118477 0 0 0 39984 113 0 0 20 0 1 0 162342063 372813824 76224 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 91019 76224 4288 3002 0 74770 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 364076 KiB
Current children cumulated memory: 304896 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.18 4.15 5/244 832703
/proc/meminfo: memFree=128980508/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=364076 memory=306944 CPUtime=460.83 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 118518 0 0 0 45931 152 0 0 20 0 1 0 162342063 372813824 76736 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 91019 76736 4288 3002 0 74770 0
################
# More data... #
################
Current children cumulated memory: 321956 KiB
[startup+2862.3 s]
/proc/loadavg: 4.05 4.12 4.14 5/241 833930
/proc/meminfo: memFree=128911788/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=321956 CPUtime=2855.23 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 121903 0 0 0 284779 744 0 0 20 0 1 0 162342063 392122368 80489 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 80489 4288 3002 0 79484 0
Current children cumulated CPU time: 2855.23 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 321956 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/241 833940
/proc/meminfo: memFree=128911568/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=321956 CPUtime=2915.1 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 121970 0 0 0 290755 755 0 0 20 0 1 0 162342063 392122368 80489 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 80489 4288 3002 0 79484 0
Current children cumulated CPU time: 2915.1 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 321956 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/241 833950
/proc/meminfo: memFree=128911204/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=321956 CPUtime=2974.96 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122029 0 0 0 296733 763 0 0 20 0 1 0 162342063 392122368 80489 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 80489 4288 3002 0 79484 0
Current children cumulated CPU time: 2974.96 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 321956 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.11 4.13 5/244 833966
/proc/meminfo: memFree=128910796/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=321956 CPUtime=3034.82 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122098 0 0 0 302710 772 0 0 20 0 1 0 162342063 392122368 80489 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 80489 4288 3002 0 79484 0
Current children cumulated CPU time: 3034.82 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 321956 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/244 833976
/proc/meminfo: memFree=128910456/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=321956 CPUtime=3094.69 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122162 0 0 0 308686 783 0 0 20 0 1 0 162342063 392122368 80489 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 80489 4288 3002 0 79484 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 321956 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/245 833988
/proc/meminfo: memFree=128910252/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=321956 CPUtime=3154.55 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122220 0 0 0 314663 792 0 0 20 0 1 0 162342063 392122368 80489 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 80489 4288 3002 0 79484 0
Current children cumulated CPU time: 3154.55 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 321956 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.13 4.13 5/245 833999
/proc/meminfo: memFree=128909916/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=321956 CPUtime=3214.41 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122284 0 0 0 320639 802 0 0 20 0 1 0 162342063 392122368 80489 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 80489 4288 3002 0 79484 0
Current children cumulated CPU time: 3214.41 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 321956 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/245 834009
/proc/meminfo: memFree=128907256/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=324004 CPUtime=3274.28 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122349 0 0 0 326618 810 0 0 20 0 1 0 162342063 392122368 81001 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 81001 4288 3002 0 79484 0
Current children cumulated CPU time: 3274.28 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 324004 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/242 834020
/proc/meminfo: memFree=128907088/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=324004 CPUtime=3334.13 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122407 0 0 0 332593 820 0 0 20 0 1 0 162342063 392122368 81001 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 81001 4288 3002 0 79484 0
Current children cumulated CPU time: 3334.13 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 324004 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/242 834030
/proc/meminfo: memFree=128906676/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=324004 CPUtime=3393.99 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122472 0 0 0 338571 828 0 0 20 0 1 0 162342063 392122368 81001 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 81001 4288 3002 0 79484 0
Current children cumulated CPU time: 3393.99 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 324004 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/241 834040
/proc/meminfo: memFree=128906036/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=324004 CPUtime=3453.85 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122542 0 0 0 344546 839 0 0 20 0 1 0 162342063 392122368 81001 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 81001 4288 3002 0 79484 0
Current children cumulated CPU time: 3453.85 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 324004 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/241 834052
/proc/meminfo: memFree=128905720/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=324004 CPUtime=3513.72 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122601 0 0 0 350523 849 0 0 20 0 1 0 162342063 392122368 81001 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 81001 4288 3002 0 79484 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 324004 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/241 834062
/proc/meminfo: memFree=128903308/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=324004 CPUtime=3573.58 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122663 0 0 0 356500 858 0 0 20 0 1 0 162342063 392122368 81001 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 81001 4288 3002 0 79484 0
Current children cumulated CPU time: 3573.58 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 324004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.58 4.21 4.13 5/243 834116
/proc/meminfo: memFree=128902824/131655788 swapFree=131071996/131071996
[pid=832159] ppid=832156 vsize=382932 memory=324004 CPUtime=3600.02 cores=1,3
/proc/832159/stat : 832159 (mixed-bag) R 832156 832159 830098 0 -1 4194304 122676 0 0 0 359140 862 0 0 20 0 1 0 162342063 392122368 81001 134679101440 4194304 16487941 140733392542960 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 51560448 140733392544791 140733392544868 140733392544868 140733392551883 0
/proc/832159/statm: 95733 81001 4288 3002 0 79484 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 382932 KiB
Current children cumulated memory: 324004 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.8 s]
# the end of solver process 832159 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.41 s, system=8.6258 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.8
CPU time (s): 3600.03
CPU user time (s): 3591.41
CPU system time (s): 8.6258
CPU usage (%): 99.7569
Max. virtual memory (cumulated for all children) (KiB): 557396
Max. memory (cumulated for all children) (KiB): 487488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.41
system time used= 8.6258
maximum resident set size= 487488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122718
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= 128
involuntary context switches= 1416
# summary of solver processes directly reported to runsolver:
# pid: 832159
# total CPU time (s): 3600.03
# total CPU user time (s): 3591.41
# total CPU system time (s): 8.6258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9339 second user time and 35.3066 second system time
The end
Begin job on nodeC010 at 2024-07-16 05:50:40
IDJOB=4435503
IDBENCH=147611
IDSOLVER=3066
FILE ID=nodeC010/4435503-1721101828
RUNJOBID= nodeC010-1721098226-830110
SLURM_JOB_ID= 7505613
Free space on /tmp= 723716 MiB
SOLVER NAME= mixed-bag 2024-07-02
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-4435503-1721101828/watcher-4435503-1721101828 -o /tmp/evaluation-result-4435503-1721101828/solver-4435503-1721101828 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721098226-830110 --watchdog 3760 mixed-bag HOME/instance-4435503-1721101828.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=1489042944
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.123
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3609.439
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.191
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.174
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.755
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.356
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.202
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.314
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129538036 kB
MemAvailable: 129929772 kB
Buffers: 394948 kB
Cached: 839648 kB
SwapCached: 0 kB
Active: 759764 kB
Inactive: 837176 kB
Active(anon): 1456 kB
Inactive(anon): 398264 kB
Active(file): 758308 kB
Inactive(file): 438912 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 48428 kB
Writeback: 0 kB
AnonPages: 362156 kB
Mapped: 126652 kB
Shmem: 37704 kB
KReclaimable: 69092 kB
Slab: 162108 kB
SReclaimable: 69092 kB
SUnreclaim: 93016 kB
KernelStack: 3920 kB
PageTables: 9744 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 691848 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51936 kB
HardwareCorrupted: 0 kB
AnonHugePages: 194560 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 18591744 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC010 at 2024-07-16 06:50:49