0.00/0.07 c RoundingSat 2
0.00/0.07 c branch
0.00/0.07 c commit
0.00/0.07 c with Papilo
0.00/0.07 c with SCIP
0.00/0.07 c [STEP] parsing instance
0.00/0.07 c [STEP] preprocessing with Papilo
0.00/0.14 c [STEP] solving with SCIP
299.31/300.65 c [STEP] preprocessing done, loading into solver
299.31/300.65 c [STEP] solving
299.31/300.65 c #variables 173 #constraints 14
299.31/300.65 c SMALL=int, LARGE=long long
299.31/300.65 d SCIPUB 30
299.31/300.65 c bounds - >= 0 @ 299.098
299.31/300.65 c stratification level: 16
313.18/314.54 c #Conflicts: 1000 | #Constraints: 1014
313.18/314.54 c #Conflicts: 2000 | #Constraints: 2014
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 3000 | #Constraints: 2017
313.18/314.54 c #Conflicts: 4000 | #Constraints: 3017
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 5000 | #Constraints: 2420
313.18/314.54 c #Conflicts: 6000 | #Constraints: 3420
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 7000 | #Constraints: 2422
313.18/314.54 c #Conflicts: 8000 | #Constraints: 3422
313.18/314.54 c #Conflicts: 9000 | #Constraints: 4422
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 10000 | #Constraints: 3123
313.18/314.54 c #Conflicts: 11000 | #Constraints: 4123
313.18/314.54 c #Conflicts: 12000 | #Constraints: 5123
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 13000 | #Constraints: 3573
313.18/314.54 c #Conflicts: 14000 | #Constraints: 4573
313.18/314.54 c #Conflicts: 15000 | #Constraints: 5573
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 16000 | #Constraints: 3803
313.18/314.54 c #Conflicts: 17000 | #Constraints: 4803
313.18/314.54 c #Conflicts: 18000 | #Constraints: 5803
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 19000 | #Constraints: 3817
313.18/314.54 c #Conflicts: 20000 | #Constraints: 4817
313.18/314.54 c #Conflicts: 21000 | #Constraints: 5817
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 22000 | #Constraints: 3620
313.18/314.54 c #Conflicts: 23000 | #Constraints: 4620
313.18/314.54 c #Conflicts: 24000 | #Constraints: 5620
313.18/314.54 c #Conflicts: 25000 | #Constraints: 6620
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 26000 | #Constraints: 4226
313.18/314.54 c #Conflicts: 27000 | #Constraints: 5226
313.18/314.54 c #Conflicts: 28000 | #Constraints: 6226
313.18/314.54 c #Conflicts: 29000 | #Constraints: 7226
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 30000 | #Constraints: 4627
313.18/314.54 c #Conflicts: 31000 | #Constraints: 5627
313.18/314.54 c #Conflicts: 32000 | #Constraints: 6627
313.18/314.54 c #Conflicts: 33000 | #Constraints: 7627
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 34000 | #Constraints: 4830
313.18/314.54 c #Conflicts: 35000 | #Constraints: 5830
313.18/314.54 c #Conflicts: 36000 | #Constraints: 6830
313.18/314.54 c #Conflicts: 37000 | #Constraints: 7830
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 38000 | #Constraints: 4830
313.18/314.54 c #Conflicts: 39000 | #Constraints: 5830
313.18/314.54 c #Conflicts: 40000 | #Constraints: 6830
313.18/314.54 c #Conflicts: 41000 | #Constraints: 7830
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 42000 | #Constraints: 4634
313.18/314.54 c #Conflicts: 43000 | #Constraints: 5634
313.18/314.54 c #Conflicts: 44000 | #Constraints: 6634
313.18/314.54 c #Conflicts: 45000 | #Constraints: 7634
313.18/314.54 c #Conflicts: 46000 | #Constraints: 8634
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 47000 | #Constraints: 5230
313.18/314.54 c #Conflicts: 48000 | #Constraints: 6230
313.18/314.54 c #Conflicts: 49000 | #Constraints: 7230
313.18/314.54 c #Conflicts: 50000 | #Constraints: 8230
313.18/314.54 c #Conflicts: 51000 | #Constraints: 9230
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 52000 | #Constraints: 5633
313.18/314.54 c #Conflicts: 53000 | #Constraints: 6633
313.18/314.54 c #Conflicts: 54000 | #Constraints: 7633
313.18/314.54 c #Conflicts: 55000 | #Constraints: 8633
313.18/314.54 c #Conflicts: 56000 | #Constraints: 9633
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 57000 | #Constraints: 5832
313.18/314.54 c #Conflicts: 58000 | #Constraints: 6832
313.18/314.54 c #Conflicts: 59000 | #Constraints: 7832
313.18/314.54 c #Conflicts: 60000 | #Constraints: 8832
313.18/314.54 c #Conflicts: 61000 | #Constraints: 9832
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 62000 | #Constraints: 5830
313.18/314.54 c #Conflicts: 63000 | #Constraints: 6830
313.18/314.54 c #Conflicts: 64000 | #Constraints: 7830
313.18/314.54 c #Conflicts: 65000 | #Constraints: 8830
313.18/314.54 c #Conflicts: 66000 | #Constraints: 9830
313.18/314.54 c INPROCESSING
313.18/314.54 c GARBAGE COLLECT
313.18/314.54 c #Conflicts: 67000 | #Constraints: 5631
313.18/314.54 c #Conflicts: 68000 | #Constraints: 6631
342.10/343.58 c #Conflicts: 69000 | #Constraints: 7631
342.10/343.58 c #Conflicts: 70000 | #Constraints: 8631
342.10/343.58 c #Conflicts: 71000 | #Constraints: 9631
342.10/343.58 c #Conflicts: 72000 | #Constraints: 10631
342.10/343.58 c INPROCESSING
342.10/343.58 c GARBAGE COLLECT
342.10/343.58 c #Conflicts: 73000 | #Constraints: 6227
342.10/343.58 c #Conflicts: 74000 | #Constraints: 7227
342.10/343.58 c #Conflicts: 75000 | #Constraints: 8227
342.10/343.58 c #Conflicts: 76000 | #Constraints: 9227
342.10/343.58 c #Conflicts: 77000 | #Constraints: 10227
342.10/343.58 c #Conflicts: 78000 | #Constraints: 11227
342.10/343.58 c INPROCESSING
342.10/343.58 c GARBAGE COLLECT
342.10/343.58 c #Conflicts: 79000 | #Constraints: 6629
342.10/343.58 c #Conflicts: 80000 | #Constraints: 7629
342.10/343.58 c #Conflicts: 81000 | #Constraints: 8629
342.10/343.58 c #Conflicts: 82000 | #Constraints: 9629
342.10/343.58 c #Conflicts: 83000 | #Constraints: 10629
342.10/343.58 c #Conflicts: 84000 | #Constraints: 11629
342.10/343.58 c INPROCESSING
342.10/343.58 c GARBAGE COLLECT
342.10/343.58 c #Conflicts: 85000 | #Constraints: 6831
342.10/343.58 c #Conflicts: 86000 | #Constraints: 7831
342.10/343.58 c #Conflicts: 87000 | #Constraints: 8831
342.10/343.58 c #Conflicts: 88000 | #Constraints: 9831
342.10/343.58 c #Conflicts: 89000 | #Constraints: 10831
342.10/343.58 c #Conflicts: 90000 | #Constraints: 11831
342.10/343.58 c INPROCESSING
342.10/343.58 c GARBAGE COLLECT
342.10/343.58 c #Conflicts: 91000 | #Constraints: 6829
342.10/343.58 c #Conflicts: 92000 | #Constraints: 7829
342.10/343.58 c #Conflicts: 93000 | #Constraints: 8829
342.10/343.58 c #Conflicts: 94000 | #Constraints: 9829
342.10/343.58 c #Conflicts: 95000 | #Constraints: 10829
342.10/343.58 c #Conflicts: 96000 | #Constraints: 11829
342.10/343.58 c INPROCESSING
342.10/343.58 c GARBAGE COLLECT
342.10/343.58 c #Conflicts: 97000 | #Constraints: 6635
342.10/343.58 c #Conflicts: 98000 | #Constraints: 7635
342.10/343.58 c #Conflicts: 99000 | #Constraints: 8635
342.10/343.58 c #Conflicts: 100000 | #Constraints: 9635
342.10/343.58 c #Conflicts: 101000 | #Constraints: 10635
342.10/343.58 c #Conflicts: 102000 | #Constraints: 11635
342.10/343.58 c #Conflicts: 103000 | #Constraints: 12635
342.10/343.58 c INPROCESSING
342.10/343.58 c GARBAGE COLLECT
342.10/343.58 c #Conflicts: 104000 | #Constraints: 7235
342.10/343.58 c #Conflicts: 105000 | #Constraints: 8235
342.10/343.58 c #Conflicts: 106000 | #Constraints: 9235
342.10/343.58 c #Conflicts: 107000 | #Constraints: 10235
342.10/343.58 c #Conflicts: 108000 | #Constraints: 11235
342.10/343.58 c #Conflicts: 109000 | #Constraints: 12235
342.10/343.58 c #Conflicts: 110000 | #Constraints: 13235
342.10/343.58 c INPROCESSING
342.10/343.58 c GARBAGE COLLECT
342.10/343.58 c #Conflicts: 111000 | #Constraints: 7637
342.10/343.58 c #Conflicts: 112000 | #Constraints: 8637
342.10/343.58 c #Conflicts: 113000 | #Constraints: 9637
342.10/343.58 c #Conflicts: 114000 | #Constraints: 10637
342.10/343.58 c #Conflicts: 115000 | #Constraints: 11637
342.10/343.58 c #Conflicts: 116000 | #Constraints: 12637
342.10/343.58 c #Conflicts: 117000 | #Constraints: 13637
342.10/343.58 c INPROCESSING
342.10/343.58 c GARBAGE COLLECT
342.10/343.58 c #Conflicts: 118000 | #Constraints: 7833
342.10/343.58 c #Conflicts: 119000 | #Constraints: 8833
342.10/343.58 c #Conflicts: 120000 | #Constraints: 9833
342.10/343.58 c #Conflicts: 121000 | #Constraints: 10833
342.10/343.58 c #Conflicts: 122000 | #Constraints: 11833
342.10/343.58 c #Conflicts: 123000 | #Constraints: 12833
342.10/343.58 c #Conflicts: 124000 | #Constraints: 13833
342.10/343.58 c INPROCESSING
342.10/343.58 c GARBAGE COLLECT
342.10/343.58 c #Conflicts: 125000 | #Constraints: 7831
342.10/343.58 c #Conflicts: 126000 | #Constraints: 8831
342.10/343.58 c #Conflicts: 127000 | #Constraints: 9831
342.10/343.58 c #Conflicts: 128000 | #Constraints: 10831
342.10/343.58 c #Conflicts: 129000 | #Constraints: 11831
342.10/343.58 c #Conflicts: 130000 | #Constraints: 12831
342.10/343.58 c #Conflicts: 131000 | #Constraints: 13831
342.10/343.58 c INPROCESSING
342.10/343.58 c GARBAGE COLLECT
342.10/343.58 c #Conflicts: 132000 | #Constraints: 7631
342.10/343.58 c #Conflicts: 133000 | #Constraints: 8631
342.10/343.58 c #Conflicts: 134000 | #Constraints: 9631
342.10/343.58 c #Conflicts: 135000 | #Constraints: 10631
342.10/343.58 c #Conflicts: 136000 | #Constraints: 11631
342.10/343.58 c #Conflicts: 137000 | #Constraints: 12631
342.10/343.58 c #Conflicts: 138000 | #Constraints: 13631
342.10/343.58 c #Conflicts: 139000 | #Constraints: 14631
342.10/343.58 c INPROCESSING
342.10/343.58 c GARBAGE COLLECT
342.10/343.58 c #Conflicts: 140000 | #Constraints: 8235
378.81/380.32 c #Conflicts: 141000 | #Constraints: 9235
378.81/380.32 c #Conflicts: 142000 | #Constraints: 10235
378.81/380.32 c #Conflicts: 143000 | #Constraints: 11235
378.81/380.32 c #Conflicts: 144000 | #Constraints: 12235
378.81/380.32 c #Conflicts: 145000 | #Constraints: 13235
378.81/380.32 c #Conflicts: 146000 | #Constraints: 14235
378.81/380.32 c #Conflicts: 147000 | #Constraints: 15235
378.81/380.32 c INPROCESSING
378.81/380.32 c GARBAGE COLLECT
378.81/380.32 c #Conflicts: 148000 | #Constraints: 8635
378.81/380.32 c #Conflicts: 149000 | #Constraints: 9635
378.81/380.32 c #Conflicts: 150000 | #Constraints: 10635
378.81/380.32 c #Conflicts: 151000 | #Constraints: 11635
378.81/380.32 c #Conflicts: 152000 | #Constraints: 12635
378.81/380.32 c #Conflicts: 153000 | #Constraints: 13635
378.81/380.32 c #Conflicts: 154000 | #Constraints: 14635
378.81/380.32 c #Conflicts: 155000 | #Constraints: 15635
378.81/380.32 c INPROCESSING
378.81/380.32 c GARBAGE COLLECT
378.81/380.32 c #Conflicts: 156000 | #Constraints: 8836
378.81/380.32 c #Conflicts: 157000 | #Constraints: 9836
378.81/380.32 c #Conflicts: 158000 | #Constraints: 10836
378.81/380.32 c #Conflicts: 159000 | #Constraints: 11836
378.81/380.32 c #Conflicts: 160000 | #Constraints: 12836
378.81/380.32 c #Conflicts: 161000 | #Constraints: 13836
378.81/380.32 c #Conflicts: 162000 | #Constraints: 14836
378.81/380.32 c #Conflicts: 163000 | #Constraints: 15836
378.81/380.32 c INPROCESSING
378.81/380.32 c GARBAGE COLLECT
378.81/380.32 c #Conflicts: 164000 | #Constraints: 8837
378.81/380.32 c #Conflicts: 165000 | #Constraints: 9837
378.81/380.32 c #Conflicts: 166000 | #Constraints: 10837
378.81/380.32 c #Conflicts: 167000 | #Constraints: 11837
378.81/380.32 c #Conflicts: 168000 | #Constraints: 12837
378.81/380.32 c #Conflicts: 169000 | #Constraints: 13837
378.81/380.32 c #Conflicts: 170000 | #Constraints: 14837
378.81/380.32 c #Conflicts: 171000 | #Constraints: 15837
378.81/380.32 c INPROCESSING
378.81/380.32 c GARBAGE COLLECT
378.81/380.32 c #Conflicts: 172000 | #Constraints: 8636
378.81/380.32 c #Conflicts: 173000 | #Constraints: 9636
378.81/380.32 c #Conflicts: 174000 | #Constraints: 10636
378.81/380.32 c #Conflicts: 175000 | #Constraints: 11636
378.81/380.32 c #Conflicts: 176000 | #Constraints: 12636
378.81/380.32 c #Conflicts: 177000 | #Constraints: 13636
378.81/380.32 c #Conflicts: 178000 | #Constraints: 14636
378.81/380.32 c #Conflicts: 179000 | #Constraints: 15636
378.81/380.32 c #Conflicts: 180000 | #Constraints: 16636
378.81/380.32 c INPROCESSING
378.81/380.32 c GARBAGE COLLECT
378.81/380.32 c #Conflicts: 181000 | #Constraints: 9234
378.81/380.32 c #Conflicts: 182000 | #Constraints: 10234
378.81/380.32 c #Conflicts: 183000 | #Constraints: 11234
378.81/380.32 c #Conflicts: 184000 | #Constraints: 12234
378.81/380.32 c #Conflicts: 185000 | #Constraints: 13234
378.81/380.32 c #Conflicts: 186000 | #Constraints: 14234
378.81/380.32 c #Conflicts: 187000 | #Constraints: 15234
378.81/380.32 c #Conflicts: 188000 | #Constraints: 16234
378.81/380.32 c #Conflicts: 189000 | #Constraints: 17234
378.81/380.32 c INPROCESSING
378.81/380.32 c GARBAGE COLLECT
378.81/380.32 c #Conflicts: 190000 | #Constraints: 9636
378.81/380.32 c #Conflicts: 191000 | #Constraints: 10636
378.81/380.32 c #Conflicts: 192000 | #Constraints: 11636
378.81/380.32 c #Conflicts: 193000 | #Constraints: 12636
378.81/380.32 c #Conflicts: 194000 | #Constraints: 13636
378.81/380.32 c #Conflicts: 195000 | #Constraints: 14636
378.81/380.32 c #Conflicts: 196000 | #Constraints: 15636
378.81/380.32 c #Conflicts: 197000 | #Constraints: 16636
378.81/380.32 c #Conflicts: 198000 | #Constraints: 17636
378.81/380.32 c INPROCESSING
378.81/380.32 c GARBAGE COLLECT
378.81/380.32 c #Conflicts: 199000 | #Constraints: 9841
378.81/380.32 c #Conflicts: 200000 | #Constraints: 10841
378.81/380.32 c #Conflicts: 201000 | #Constraints: 11841
378.81/380.32 c #Conflicts: 202000 | #Constraints: 12841
378.81/380.32 c #Conflicts: 203000 | #Constraints: 13841
378.81/380.32 c #Conflicts: 204000 | #Constraints: 14841
378.81/380.32 c #Conflicts: 205000 | #Constraints: 15841
378.81/380.32 c #Conflicts: 206000 | #Constraints: 16841
378.81/380.32 c #Conflicts: 207000 | #Constraints: 17841
378.81/380.32 c INPROCESSING
378.81/380.32 c GARBAGE COLLECT
378.81/380.32 c #Conflicts: 208000 | #Constraints: 9842
378.81/380.32 c #Conflicts: 209000 | #Constraints: 10842
378.81/380.32 c #Conflicts: 210000 | #Constraints: 11842
378.81/380.32 c #Conflicts: 211000 | #Constraints: 12842
378.81/380.32 c #Conflicts: 212000 | #Constraints: 13842
378.81/380.32 c #Conflicts: 213000 | #Constraints: 14842
425.49/427.13 c #Conflicts: 214000 | #Constraints: 15842
425.49/427.13 c #Conflicts: 215000 | #Constraints: 16842
425.49/427.13 c #Conflicts: 216000 | #Constraints: 17842
425.49/427.13 c INPROCESSING
425.49/427.13 c GARBAGE COLLECT
425.49/427.13 c #Conflicts: 217000 | #Constraints: 9638
425.49/427.13 c #Conflicts: 218000 | #Constraints: 10638
425.49/427.13 c #Conflicts: 219000 | #Constraints: 11638
425.49/427.13 c #Conflicts: 220000 | #Constraints: 12638
425.49/427.13 c #Conflicts: 221000 | #Constraints: 13638
425.49/427.13 c #Conflicts: 222000 | #Constraints: 14638
425.49/427.13 c #Conflicts: 223000 | #Constraints: 15638
425.49/427.13 c #Conflicts: 224000 | #Constraints: 16638
425.49/427.13 c #Conflicts: 225000 | #Constraints: 17638
425.49/427.13 c #Conflicts: 226000 | #Constraints: 18638
425.49/427.13 c INPROCESSING
425.49/427.13 c GARBAGE COLLECT
425.49/427.13 c #Conflicts: 227000 | #Constraints: 10243
425.49/427.13 c #Conflicts: 228000 | #Constraints: 11243
425.49/427.13 c #Conflicts: 229000 | #Constraints: 12243
425.49/427.13 c #Conflicts: 230000 | #Constraints: 13243
425.49/427.13 c #Conflicts: 231000 | #Constraints: 14243
425.49/427.13 c #Conflicts: 232000 | #Constraints: 15243
425.49/427.13 c #Conflicts: 233000 | #Constraints: 16243
425.49/427.13 c #Conflicts: 234000 | #Constraints: 17243
425.49/427.13 c #Conflicts: 235000 | #Constraints: 18243
425.49/427.13 c #Conflicts: 236000 | #Constraints: 19243
425.49/427.13 c INPROCESSING
425.49/427.13 c GARBAGE COLLECT
425.49/427.13 c #Conflicts: 237000 | #Constraints: 10639
425.49/427.13 c #Conflicts: 238000 | #Constraints: 11639
425.49/427.13 c #Conflicts: 239000 | #Constraints: 12639
425.49/427.13 c #Conflicts: 240000 | #Constraints: 13639
425.49/427.13 c #Conflicts: 241000 | #Constraints: 14639
425.49/427.13 c #Conflicts: 242000 | #Constraints: 15639
425.49/427.13 c #Conflicts: 243000 | #Constraints: 16639
425.49/427.13 c #Conflicts: 244000 | #Constraints: 17639
425.49/427.13 c #Conflicts: 245000 | #Constraints: 18639
425.49/427.13 c #Conflicts: 246000 | #Constraints: 19639
425.49/427.13 c INPROCESSING
425.49/427.13 c GARBAGE COLLECT
425.49/427.13 c #Conflicts: 247000 | #Constraints: 10836
425.49/427.13 c #Conflicts: 248000 | #Constraints: 11836
425.49/427.13 c #Conflicts: 249000 | #Constraints: 12836
425.49/427.13 c #Conflicts: 250000 | #Constraints: 13836
425.49/427.13 c #Conflicts: 251000 | #Constraints: 14836
425.49/427.13 c #Conflicts: 252000 | #Constraints: 15836
425.49/427.13 c #Conflicts: 253000 | #Constraints: 16836
425.49/427.13 c #Conflicts: 254000 | #Constraints: 17836
425.49/427.13 c #Conflicts: 255000 | #Constraints: 18836
425.49/427.13 c #Conflicts: 256000 | #Constraints: 19836
425.49/427.13 c INPROCESSING
425.49/427.13 c GARBAGE COLLECT
425.49/427.13 c #Conflicts: 257000 | #Constraints: 10838
425.49/427.13 c #Conflicts: 258000 | #Constraints: 11838
425.49/427.13 c #Conflicts: 259000 | #Constraints: 12838
425.49/427.13 c #Conflicts: 260000 | #Constraints: 13838
425.49/427.13 c #Conflicts: 261000 | #Constraints: 14838
425.49/427.13 c #Conflicts: 262000 | #Constraints: 15838
425.49/427.13 c #Conflicts: 263000 | #Constraints: 16838
425.49/427.13 c #Conflicts: 264000 | #Constraints: 17838
425.49/427.13 c #Conflicts: 265000 | #Constraints: 18838
425.49/427.13 c #Conflicts: 266000 | #Constraints: 19838
425.49/427.13 c INPROCESSING
425.49/427.13 c GARBAGE COLLECT
425.49/427.13 c #Conflicts: 267000 | #Constraints: 10637
425.49/427.13 c #Conflicts: 268000 | #Constraints: 11637
425.49/427.13 c #Conflicts: 269000 | #Constraints: 12637
425.49/427.13 c #Conflicts: 270000 | #Constraints: 13637
425.49/427.13 c #Conflicts: 271000 | #Constraints: 14637
425.49/427.13 c #Conflicts: 272000 | #Constraints: 15637
425.49/427.13 c #Conflicts: 273000 | #Constraints: 16637
425.49/427.13 c #Conflicts: 274000 | #Constraints: 17637
425.49/427.13 c #Conflicts: 275000 | #Constraints: 18637
425.49/427.13 c #Conflicts: 276000 | #Constraints: 19637
425.49/427.13 c #Conflicts: 277000 | #Constraints: 20637
425.49/427.13 c INPROCESSING
425.49/427.13 c GARBAGE COLLECT
425.49/427.13 c #Conflicts: 278000 | #Constraints: 11234
425.49/427.13 c #Conflicts: 279000 | #Constraints: 12234
425.49/427.13 c #Conflicts: 280000 | #Constraints: 13234
425.49/427.13 c #Conflicts: 281000 | #Constraints: 14234
425.49/427.13 c #Conflicts: 282000 | #Constraints: 15234
425.49/427.13 c #Conflicts: 283000 | #Constraints: 16234
425.49/427.13 c #Conflicts: 284000 | #Constraints: 17234
425.49/427.13 c #Conflicts: 285000 | #Constraints: 18234
425.49/427.13 c #Conflicts: 286000 | #Constraints: 19234
425.49/427.13 c #Conflicts: 287000 | #Constraints: 20234
425.49/427.13 c #Conflicts: 288000 | #Constraints: 21234
426.77/428.41 c INPROCESSING
426.77/428.41 c GARBAGE COLLECT
426.77/428.41 c #Conflicts: 289000 | #Constraints: 11635
426.77/428.41 c #Conflicts: 290000 | #Constraints: 12635
426.77/428.41 c bounds 29 >= 0 @ 425.538
426.77/428.41 c stratification level: 8
467.66/469.41 c #Conflicts: 291000 | #Constraints: 13636
467.66/469.41 c #Conflicts: 292000 | #Constraints: 14636
467.66/469.41 c #Conflicts: 293000 | #Constraints: 15636
467.66/469.41 c #Conflicts: 294000 | #Constraints: 16636
467.66/469.41 c #Conflicts: 295000 | #Constraints: 17636
467.66/469.41 c #Conflicts: 296000 | #Constraints: 18636
467.66/469.41 c #Conflicts: 297000 | #Constraints: 19636
467.66/469.41 c #Conflicts: 298000 | #Constraints: 20636
467.66/469.41 c #Conflicts: 299000 | #Constraints: 21636
467.66/469.41 c INPROCESSING
467.66/469.41 c GARBAGE COLLECT
467.66/469.41 c #Conflicts: 300000 | #Constraints: 11836
467.66/469.41 c #Conflicts: 301000 | #Constraints: 12836
467.66/469.41 c #Conflicts: 302000 | #Constraints: 13836
467.66/469.41 c #Conflicts: 303000 | #Constraints: 14836
467.66/469.41 c #Conflicts: 304000 | #Constraints: 15836
467.66/469.41 c #Conflicts: 305000 | #Constraints: 16836
467.66/469.41 c #Conflicts: 306000 | #Constraints: 17836
467.66/469.41 c #Conflicts: 307000 | #Constraints: 18836
467.66/469.41 c #Conflicts: 308000 | #Constraints: 19836
467.66/469.41 c #Conflicts: 309000 | #Constraints: 20836
467.66/469.41 c #Conflicts: 310000 | #Constraints: 21836
467.66/469.41 c INPROCESSING
467.66/469.41 c GARBAGE COLLECT
467.66/469.41 c #Conflicts: 311000 | #Constraints: 11835
467.66/469.41 c #Conflicts: 312000 | #Constraints: 12835
467.66/469.41 c #Conflicts: 313000 | #Constraints: 13835
467.66/469.41 c #Conflicts: 314000 | #Constraints: 14835
467.66/469.41 c #Conflicts: 315000 | #Constraints: 15835
467.66/469.41 c #Conflicts: 316000 | #Constraints: 16835
467.66/469.41 c #Conflicts: 317000 | #Constraints: 17835
467.66/469.41 c #Conflicts: 318000 | #Constraints: 18835
467.66/469.41 c #Conflicts: 319000 | #Constraints: 19835
467.66/469.41 c #Conflicts: 320000 | #Constraints: 20835
467.66/469.41 c #Conflicts: 321000 | #Constraints: 21835
467.66/469.41 c INPROCESSING
467.66/469.41 c GARBAGE COLLECT
467.66/469.41 c #Conflicts: 322000 | #Constraints: 11636
467.66/469.41 c #Conflicts: 323000 | #Constraints: 12636
467.66/469.41 c #Conflicts: 324000 | #Constraints: 13636
467.66/469.41 c #Conflicts: 325000 | #Constraints: 14636
467.66/469.41 c #Conflicts: 326000 | #Constraints: 15636
467.66/469.41 c #Conflicts: 327000 | #Constraints: 16636
467.66/469.41 c #Conflicts: 328000 | #Constraints: 17636
467.66/469.41 c #Conflicts: 329000 | #Constraints: 18636
467.66/469.41 c #Conflicts: 330000 | #Constraints: 19636
467.66/469.41 c #Conflicts: 331000 | #Constraints: 20636
467.66/469.41 c #Conflicts: 332000 | #Constraints: 21636
467.66/469.41 c #Conflicts: 333000 | #Constraints: 22636
467.66/469.41 c INPROCESSING
467.66/469.41 c GARBAGE COLLECT
467.66/469.41 c #Conflicts: 334000 | #Constraints: 12233
467.66/469.41 c #Conflicts: 335000 | #Constraints: 13233
467.66/469.41 c #Conflicts: 336000 | #Constraints: 14233
467.66/469.41 c #Conflicts: 337000 | #Constraints: 15233
467.66/469.41 c #Conflicts: 338000 | #Constraints: 16233
467.66/469.41 c #Conflicts: 339000 | #Constraints: 17233
467.66/469.41 c #Conflicts: 340000 | #Constraints: 18233
467.66/469.41 c #Conflicts: 341000 | #Constraints: 19233
467.66/469.41 c #Conflicts: 342000 | #Constraints: 20233
467.66/469.41 c bounds 21 >= 0 @ 466.201
467.66/469.41 c stratification level: 4
537.48/539.49 c #Conflicts: 343000 | #Constraints: 21234
537.48/539.49 c #Conflicts: 344000 | #Constraints: 22234
537.48/539.49 c #Conflicts: 345000 | #Constraints: 23234
537.48/539.49 c INPROCESSING
537.48/539.49 c GARBAGE COLLECT
537.48/539.49 c #Conflicts: 346000 | #Constraints: 12630
537.48/539.49 c #Conflicts: 347000 | #Constraints: 13630
537.48/539.49 c #Conflicts: 348000 | #Constraints: 14630
537.48/539.49 c #Conflicts: 349000 | #Constraints: 15630
537.48/539.49 c #Conflicts: 350000 | #Constraints: 16630
537.48/539.49 c #Conflicts: 351000 | #Constraints: 17630
537.48/539.49 c #Conflicts: 352000 | #Constraints: 18630
537.48/539.49 c #Conflicts: 353000 | #Constraints: 19630
537.48/539.49 c #Conflicts: 354000 | #Constraints: 20630
537.48/539.49 c #Conflicts: 355000 | #Constraints: 21630
537.48/539.49 c #Conflicts: 356000 | #Constraints: 22630
537.48/539.49 c #Conflicts: 357000 | #Constraints: 23630
537.48/539.49 c INPROCESSING
537.48/539.49 c GARBAGE COLLECT
537.48/539.49 c #Conflicts: 358000 | #Constraints: 12829
537.48/539.49 c #Conflicts: 359000 | #Constraints: 13829
537.48/539.49 c #Conflicts: 360000 | #Constraints: 14829
537.48/539.49 c #Conflicts: 361000 | #Constraints: 15829
537.48/539.49 c #Conflicts: 362000 | #Constraints: 16829
537.48/539.49 c #Conflicts: 363000 | #Constraints: 17829
537.48/539.49 c #Conflicts: 364000 | #Constraints: 18829
537.48/539.49 c #Conflicts: 365000 | #Constraints: 19829
537.48/539.49 c #Conflicts: 366000 | #Constraints: 20829
537.48/539.49 c #Conflicts: 367000 | #Constraints: 21829
537.48/539.49 c #Conflicts: 368000 | #Constraints: 22829
537.48/539.49 c #Conflicts: 369000 | #Constraints: 23829
537.48/539.49 c INPROCESSING
537.48/539.49 c GARBAGE COLLECT
537.48/539.49 c #Conflicts: 370000 | #Constraints: 12831
537.48/539.49 c #Conflicts: 371000 | #Constraints: 13831
537.48/539.49 c #Conflicts: 372000 | #Constraints: 14831
537.48/539.49 c #Conflicts: 373000 | #Constraints: 15831
537.48/539.49 c #Conflicts: 374000 | #Constraints: 16831
537.48/539.49 c #Conflicts: 375000 | #Constraints: 17831
537.48/539.49 c #Conflicts: 376000 | #Constraints: 18831
537.48/539.49 c #Conflicts: 377000 | #Constraints: 19831
537.48/539.49 c #Conflicts: 378000 | #Constraints: 20831
537.48/539.49 c #Conflicts: 379000 | #Constraints: 21831
537.48/539.49 c #Conflicts: 380000 | #Constraints: 22831
537.48/539.49 c #Conflicts: 381000 | #Constraints: 23831
537.48/539.49 c INPROCESSING
537.48/539.49 c GARBAGE COLLECT
537.48/539.49 c #Conflicts: 382000 | #Constraints: 12632
537.48/539.49 c #Conflicts: 383000 | #Constraints: 13632
537.48/539.49 c #Conflicts: 384000 | #Constraints: 14632
537.48/539.49 c #Conflicts: 385000 | #Constraints: 15632
537.48/539.49 c #Conflicts: 386000 | #Constraints: 16632
537.48/539.49 c #Conflicts: 387000 | #Constraints: 17632
537.48/539.49 c #Conflicts: 388000 | #Constraints: 18632
537.48/539.49 c #Conflicts: 389000 | #Constraints: 19632
537.48/539.49 c #Conflicts: 390000 | #Constraints: 20632
537.48/539.49 c #Conflicts: 391000 | #Constraints: 21632
537.48/539.49 c #Conflicts: 392000 | #Constraints: 22632
537.48/539.49 c #Conflicts: 393000 | #Constraints: 23632
537.48/539.49 c #Conflicts: 394000 | #Constraints: 24632
537.48/539.49 c INPROCESSING
537.48/539.49 c GARBAGE COLLECT
537.48/539.49 c #Conflicts: 395000 | #Constraints: 13233
537.48/539.49 c #Conflicts: 396000 | #Constraints: 14233
537.48/539.49 c #Conflicts: 397000 | #Constraints: 15233
537.48/539.49 c #Conflicts: 398000 | #Constraints: 16233
537.48/539.49 c #Conflicts: 399000 | #Constraints: 17233
537.48/539.49 c #Conflicts: 400000 | #Constraints: 18233
537.48/539.49 c #Conflicts: 401000 | #Constraints: 19233
537.48/539.49 c #Conflicts: 402000 | #Constraints: 20233
537.48/539.49 c #Conflicts: 403000 | #Constraints: 21233
537.48/539.49 c #Conflicts: 404000 | #Constraints: 22233
537.48/539.49 c #Conflicts: 405000 | #Constraints: 23233
537.48/539.49 c #Conflicts: 406000 | #Constraints: 24233
537.48/539.49 c #Conflicts: 407000 | #Constraints: 25233
537.48/539.49 c INPROCESSING
537.48/539.49 c GARBAGE COLLECT
537.48/539.49 c #Conflicts: 408000 | #Constraints: 13630
537.48/539.49 c #Conflicts: 409000 | #Constraints: 14630
537.48/539.49 c #Conflicts: 410000 | #Constraints: 15630
537.48/539.49 c #Conflicts: 411000 | #Constraints: 16630
537.48/539.49 c #Conflicts: 412000 | #Constraints: 17630
537.48/539.49 c #Conflicts: 413000 | #Constraints: 18630
537.48/539.49 c #Conflicts: 414000 | #Constraints: 19630
537.48/539.49 c #Conflicts: 415000 | #Constraints: 20630
537.48/539.49 c #Conflicts: 416000 | #Constraints: 21630
537.48/539.49 c #Conflicts: 417000 | #Constraints: 22630
626.04/628.25 c #Conflicts: 418000 | #Constraints: 23630
626.04/628.25 c #Conflicts: 419000 | #Constraints: 24630
626.04/628.25 c #Conflicts: 420000 | #Constraints: 25630
626.04/628.25 c INPROCESSING
626.04/628.25 c GARBAGE COLLECT
626.04/628.25 c #Conflicts: 421000 | #Constraints: 13831
626.04/628.25 c #Conflicts: 422000 | #Constraints: 14831
626.04/628.25 c #Conflicts: 423000 | #Constraints: 15831
626.04/628.25 c #Conflicts: 424000 | #Constraints: 16831
626.04/628.25 c #Conflicts: 425000 | #Constraints: 17831
626.04/628.25 c #Conflicts: 426000 | #Constraints: 18831
626.04/628.25 c #Conflicts: 427000 | #Constraints: 19831
626.04/628.25 c #Conflicts: 428000 | #Constraints: 20831
626.04/628.25 c #Conflicts: 429000 | #Constraints: 21831
626.04/628.25 c #Conflicts: 430000 | #Constraints: 22831
626.04/628.25 c #Conflicts: 431000 | #Constraints: 23831
626.04/628.25 c #Conflicts: 432000 | #Constraints: 24831
626.04/628.25 c #Conflicts: 433000 | #Constraints: 25831
626.04/628.25 c INPROCESSING
626.04/628.25 c GARBAGE COLLECT
626.04/628.25 c #Conflicts: 434000 | #Constraints: 13831
626.04/628.25 c #Conflicts: 435000 | #Constraints: 14831
626.04/628.25 c #Conflicts: 436000 | #Constraints: 15831
626.04/628.25 c #Conflicts: 437000 | #Constraints: 16831
626.04/628.25 c #Conflicts: 438000 | #Constraints: 17831
626.04/628.25 c #Conflicts: 439000 | #Constraints: 18831
626.04/628.25 c #Conflicts: 440000 | #Constraints: 19831
626.04/628.25 c #Conflicts: 441000 | #Constraints: 20831
626.04/628.25 c #Conflicts: 442000 | #Constraints: 21831
626.04/628.25 c #Conflicts: 443000 | #Constraints: 22831
626.04/628.25 c #Conflicts: 444000 | #Constraints: 23831
626.04/628.25 c #Conflicts: 445000 | #Constraints: 24831
626.04/628.25 c #Conflicts: 446000 | #Constraints: 25831
626.04/628.25 c INPROCESSING
626.04/628.25 c GARBAGE COLLECT
626.04/628.25 c #Conflicts: 447000 | #Constraints: 13635
626.04/628.25 c #Conflicts: 448000 | #Constraints: 14635
626.04/628.25 c #Conflicts: 449000 | #Constraints: 15635
626.04/628.25 c #Conflicts: 450000 | #Constraints: 16635
626.04/628.25 c #Conflicts: 451000 | #Constraints: 17635
626.04/628.25 c #Conflicts: 452000 | #Constraints: 18635
626.04/628.25 c #Conflicts: 453000 | #Constraints: 19635
626.04/628.25 c #Conflicts: 454000 | #Constraints: 20635
626.04/628.25 c #Conflicts: 455000 | #Constraints: 21635
626.04/628.25 c #Conflicts: 456000 | #Constraints: 22635
626.04/628.25 c #Conflicts: 457000 | #Constraints: 23635
626.04/628.25 c #Conflicts: 458000 | #Constraints: 24635
626.04/628.25 c #Conflicts: 459000 | #Constraints: 25635
626.04/628.25 c #Conflicts: 460000 | #Constraints: 26635
626.04/628.25 c INPROCESSING
626.04/628.25 c GARBAGE COLLECT
626.04/628.25 c #Conflicts: 461000 | #Constraints: 14239
626.04/628.25 c #Conflicts: 462000 | #Constraints: 15239
626.04/628.25 c #Conflicts: 463000 | #Constraints: 16239
626.04/628.25 c #Conflicts: 464000 | #Constraints: 17239
626.04/628.25 c #Conflicts: 465000 | #Constraints: 18239
626.04/628.25 c #Conflicts: 466000 | #Constraints: 19239
626.04/628.25 c #Conflicts: 467000 | #Constraints: 20239
626.04/628.25 c #Conflicts: 468000 | #Constraints: 21239
626.04/628.25 c #Conflicts: 469000 | #Constraints: 22239
626.04/628.25 c #Conflicts: 470000 | #Constraints: 23239
626.04/628.25 c #Conflicts: 471000 | #Constraints: 24239
626.04/628.25 c #Conflicts: 472000 | #Constraints: 25239
626.04/628.25 c #Conflicts: 473000 | #Constraints: 26239
626.04/628.25 c #Conflicts: 474000 | #Constraints: 27239
626.04/628.25 c INPROCESSING
626.04/628.25 c GARBAGE COLLECT
626.04/628.25 c #Conflicts: 475000 | #Constraints: 14637
626.04/628.25 c #Conflicts: 476000 | #Constraints: 15637
626.04/628.25 c #Conflicts: 477000 | #Constraints: 16637
626.04/628.25 c #Conflicts: 478000 | #Constraints: 17637
626.04/628.25 c #Conflicts: 479000 | #Constraints: 18637
626.04/628.25 c #Conflicts: 480000 | #Constraints: 19637
626.04/628.25 c #Conflicts: 481000 | #Constraints: 20637
626.04/628.25 c #Conflicts: 482000 | #Constraints: 21637
626.04/628.25 c #Conflicts: 483000 | #Constraints: 22637
626.04/628.25 c #Conflicts: 484000 | #Constraints: 23637
626.04/628.25 c #Conflicts: 485000 | #Constraints: 24637
626.04/628.25 c #Conflicts: 486000 | #Constraints: 25637
626.04/628.25 c #Conflicts: 487000 | #Constraints: 26637
626.04/628.25 c #Conflicts: 488000 | #Constraints: 27637
626.04/628.25 c INPROCESSING
626.04/628.25 c GARBAGE COLLECT
626.04/628.25 c #Conflicts: 489000 | #Constraints: 14835
626.04/628.25 c #Conflicts: 490000 | #Constraints: 15835
626.04/628.25 c #Conflicts: 491000 | #Constraints: 16835
626.04/628.25 c #Conflicts: 492000 | #Constraints: 17835
709.91/712.39 c #Conflicts: 493000 | #Constraints: 18835
709.91/712.39 c #Conflicts: 494000 | #Constraints: 19835
709.91/712.39 c #Conflicts: 495000 | #Constraints: 20835
709.91/712.39 c #Conflicts: 496000 | #Constraints: 21835
709.91/712.39 c #Conflicts: 497000 | #Constraints: 22835
709.91/712.39 c #Conflicts: 498000 | #Constraints: 23835
709.91/712.39 c #Conflicts: 499000 | #Constraints: 24835
709.91/712.39 c #Conflicts: 500000 | #Constraints: 25835
709.91/712.39 c #Conflicts: 501000 | #Constraints: 26835
709.91/712.39 c #Conflicts: 502000 | #Constraints: 27835
709.91/712.39 c INPROCESSING
709.91/712.39 c GARBAGE COLLECT
709.91/712.39 c #Conflicts: 503000 | #Constraints: 14835
709.91/712.39 c #Conflicts: 504000 | #Constraints: 15835
709.91/712.39 c #Conflicts: 505000 | #Constraints: 16835
709.91/712.39 c #Conflicts: 506000 | #Constraints: 17835
709.91/712.39 c #Conflicts: 507000 | #Constraints: 18835
709.91/712.39 c #Conflicts: 508000 | #Constraints: 19835
709.91/712.39 c #Conflicts: 509000 | #Constraints: 20835
709.91/712.39 c #Conflicts: 510000 | #Constraints: 21835
709.91/712.39 c #Conflicts: 511000 | #Constraints: 22835
709.91/712.39 c #Conflicts: 512000 | #Constraints: 23835
709.91/712.39 c #Conflicts: 513000 | #Constraints: 24835
709.91/712.39 c #Conflicts: 514000 | #Constraints: 25835
709.91/712.39 c #Conflicts: 515000 | #Constraints: 26835
709.91/712.39 c #Conflicts: 516000 | #Constraints: 27835
709.91/712.39 c INPROCESSING
709.91/712.39 c GARBAGE COLLECT
709.91/712.39 c #Conflicts: 517000 | #Constraints: 14633
709.91/712.39 c #Conflicts: 518000 | #Constraints: 15633
709.91/712.39 c #Conflicts: 519000 | #Constraints: 16633
709.91/712.39 c #Conflicts: 520000 | #Constraints: 17633
709.91/712.39 c #Conflicts: 521000 | #Constraints: 18633
709.91/712.39 c #Conflicts: 522000 | #Constraints: 19633
709.91/712.39 c #Conflicts: 523000 | #Constraints: 20633
709.91/712.39 c #Conflicts: 524000 | #Constraints: 21633
709.91/712.39 c #Conflicts: 525000 | #Constraints: 22633
709.91/712.39 c #Conflicts: 526000 | #Constraints: 23633
709.91/712.39 c #Conflicts: 527000 | #Constraints: 24633
709.91/712.39 c #Conflicts: 528000 | #Constraints: 25633
709.91/712.39 c #Conflicts: 529000 | #Constraints: 26633
709.91/712.39 c #Conflicts: 530000 | #Constraints: 27633
709.91/712.39 c #Conflicts: 531000 | #Constraints: 28633
709.91/712.39 c INPROCESSING
709.91/712.39 c GARBAGE COLLECT
709.91/712.39 c #Conflicts: 532000 | #Constraints: 15234
709.91/712.39 c #Conflicts: 533000 | #Constraints: 16234
709.91/712.39 c #Conflicts: 534000 | #Constraints: 17234
709.91/712.39 c #Conflicts: 535000 | #Constraints: 18234
709.91/712.39 c #Conflicts: 536000 | #Constraints: 19234
709.91/712.39 c #Conflicts: 537000 | #Constraints: 20234
709.91/712.39 c #Conflicts: 538000 | #Constraints: 21234
709.91/712.39 c #Conflicts: 539000 | #Constraints: 22234
709.91/712.39 c #Conflicts: 540000 | #Constraints: 23234
709.91/712.39 c #Conflicts: 541000 | #Constraints: 24234
709.91/712.39 c #Conflicts: 542000 | #Constraints: 25234
709.91/712.39 c #Conflicts: 543000 | #Constraints: 26234
709.91/712.39 c #Conflicts: 544000 | #Constraints: 27234
709.91/712.39 c #Conflicts: 545000 | #Constraints: 28234
709.91/712.39 c #Conflicts: 546000 | #Constraints: 29234
709.91/712.39 c INPROCESSING
709.91/712.39 c GARBAGE COLLECT
709.91/712.39 c #Conflicts: 547000 | #Constraints: 15635
709.91/712.39 c #Conflicts: 548000 | #Constraints: 16635
709.91/712.39 c #Conflicts: 549000 | #Constraints: 17635
709.91/712.39 c #Conflicts: 550000 | #Constraints: 18635
709.91/712.39 c #Conflicts: 551000 | #Constraints: 19635
709.91/712.39 c #Conflicts: 552000 | #Constraints: 20635
709.91/712.39 c #Conflicts: 553000 | #Constraints: 21635
709.91/712.39 c #Conflicts: 554000 | #Constraints: 22635
709.91/712.39 c #Conflicts: 555000 | #Constraints: 23635
709.91/712.39 c #Conflicts: 556000 | #Constraints: 24635
709.91/712.39 c #Conflicts: 557000 | #Constraints: 25635
709.91/712.39 c #Conflicts: 558000 | #Constraints: 26635
709.91/712.39 c #Conflicts: 559000 | #Constraints: 27635
709.91/712.39 c #Conflicts: 560000 | #Constraints: 28635
709.91/712.39 c #Conflicts: 561000 | #Constraints: 29635
709.91/712.39 c INPROCESSING
709.91/712.39 c GARBAGE COLLECT
709.91/712.39 c #Conflicts: 562000 | #Constraints: 15833
709.91/712.39 c #Conflicts: 563000 | #Constraints: 16833
709.91/712.39 c #Conflicts: 564000 | #Constraints: 17833
709.91/712.39 c #Conflicts: 565000 | #Constraints: 18833
709.91/712.39 c #Conflicts: 566000 | #Constraints: 19833
709.91/712.39 c #Conflicts: 567000 | #Constraints: 20833
709.91/712.39 c #Conflicts: 568000 | #Constraints: 21833
817.20/819.98 c #Conflicts: 569000 | #Constraints: 22833
817.20/819.98 c #Conflicts: 570000 | #Constraints: 23833
817.20/819.98 c #Conflicts: 571000 | #Constraints: 24833
817.20/819.98 c #Conflicts: 572000 | #Constraints: 25833
817.20/819.98 c #Conflicts: 573000 | #Constraints: 26833
817.20/819.98 c #Conflicts: 574000 | #Constraints: 27833
817.20/819.98 c #Conflicts: 575000 | #Constraints: 28833
817.20/819.98 c #Conflicts: 576000 | #Constraints: 29833
817.20/819.98 c INPROCESSING
817.20/819.98 c GARBAGE COLLECT
817.20/819.98 c #Conflicts: 577000 | #Constraints: 15832
817.20/819.98 c #Conflicts: 578000 | #Constraints: 16832
817.20/819.98 c #Conflicts: 579000 | #Constraints: 17832
817.20/819.98 c #Conflicts: 580000 | #Constraints: 18832
817.20/819.98 c #Conflicts: 581000 | #Constraints: 19832
817.20/819.98 c #Conflicts: 582000 | #Constraints: 20832
817.20/819.98 c #Conflicts: 583000 | #Constraints: 21832
817.20/819.98 c #Conflicts: 584000 | #Constraints: 22832
817.20/819.98 c #Conflicts: 585000 | #Constraints: 23832
817.20/819.98 c #Conflicts: 586000 | #Constraints: 24832
817.20/819.98 c #Conflicts: 587000 | #Constraints: 25832
817.20/819.98 c #Conflicts: 588000 | #Constraints: 26832
817.20/819.98 c #Conflicts: 589000 | #Constraints: 27832
817.20/819.98 c #Conflicts: 590000 | #Constraints: 28832
817.20/819.98 c #Conflicts: 591000 | #Constraints: 29832
817.20/819.98 c INPROCESSING
817.20/819.98 c GARBAGE COLLECT
817.20/819.98 c #Conflicts: 592000 | #Constraints: 15635
817.20/819.98 c #Conflicts: 593000 | #Constraints: 16635
817.20/819.98 c #Conflicts: 594000 | #Constraints: 17635
817.20/819.98 c #Conflicts: 595000 | #Constraints: 18635
817.20/819.98 c #Conflicts: 596000 | #Constraints: 19635
817.20/819.98 c #Conflicts: 597000 | #Constraints: 20635
817.20/819.98 c #Conflicts: 598000 | #Constraints: 21635
817.20/819.98 c #Conflicts: 599000 | #Constraints: 22635
817.20/819.98 c #Conflicts: 600000 | #Constraints: 23635
817.20/819.98 c #Conflicts: 601000 | #Constraints: 24635
817.20/819.98 c #Conflicts: 602000 | #Constraints: 25635
817.20/819.98 c #Conflicts: 603000 | #Constraints: 26635
817.20/819.98 c #Conflicts: 604000 | #Constraints: 27635
817.20/819.98 c #Conflicts: 605000 | #Constraints: 28635
817.20/819.98 c #Conflicts: 606000 | #Constraints: 29635
817.20/819.98 c #Conflicts: 607000 | #Constraints: 30635
817.20/819.98 c INPROCESSING
817.20/819.98 c GARBAGE COLLECT
817.20/819.98 c #Conflicts: 608000 | #Constraints: 16234
817.20/819.98 c #Conflicts: 609000 | #Constraints: 17234
817.20/819.98 c #Conflicts: 610000 | #Constraints: 18234
817.20/819.98 c #Conflicts: 611000 | #Constraints: 19234
817.20/819.98 c #Conflicts: 612000 | #Constraints: 20234
817.20/819.98 c #Conflicts: 613000 | #Constraints: 21234
817.20/819.98 c #Conflicts: 614000 | #Constraints: 22234
817.20/819.98 c #Conflicts: 615000 | #Constraints: 23234
817.20/819.98 c #Conflicts: 616000 | #Constraints: 24234
817.20/819.98 c #Conflicts: 617000 | #Constraints: 25234
817.20/819.98 c #Conflicts: 618000 | #Constraints: 26234
817.20/819.98 c #Conflicts: 619000 | #Constraints: 27234
817.20/819.98 c #Conflicts: 620000 | #Constraints: 28234
817.20/819.98 c #Conflicts: 621000 | #Constraints: 29234
817.20/819.98 c #Conflicts: 622000 | #Constraints: 30234
817.20/819.98 c #Conflicts: 623000 | #Constraints: 31234
817.20/819.98 c INPROCESSING
817.20/819.98 c GARBAGE COLLECT
817.20/819.98 c #Conflicts: 624000 | #Constraints: 16631
817.20/819.98 c #Conflicts: 625000 | #Constraints: 17631
817.20/819.98 c #Conflicts: 626000 | #Constraints: 18631
817.20/819.98 c #Conflicts: 627000 | #Constraints: 19631
817.20/819.98 c #Conflicts: 628000 | #Constraints: 20631
817.20/819.98 c #Conflicts: 629000 | #Constraints: 21631
817.20/819.98 c #Conflicts: 630000 | #Constraints: 22631
817.20/819.98 c #Conflicts: 631000 | #Constraints: 23631
817.20/819.98 c #Conflicts: 632000 | #Constraints: 24631
817.20/819.98 c #Conflicts: 633000 | #Constraints: 25631
817.20/819.98 c #Conflicts: 634000 | #Constraints: 26631
817.20/819.98 c #Conflicts: 635000 | #Constraints: 27631
817.20/819.98 c #Conflicts: 636000 | #Constraints: 28631
817.20/819.98 c #Conflicts: 637000 | #Constraints: 29631
817.20/819.98 c #Conflicts: 638000 | #Constraints: 30631
817.20/819.98 c #Conflicts: 639000 | #Constraints: 31631
817.20/819.98 c INPROCESSING
817.20/819.98 c GARBAGE COLLECT
817.20/819.98 c #Conflicts: 640000 | #Constraints: 16831
817.20/819.98 c #Conflicts: 641000 | #Constraints: 17831
817.20/819.98 c #Conflicts: 642000 | #Constraints: 18831
817.20/819.98 c #Conflicts: 643000 | #Constraints: 19831
817.20/819.98 c #Conflicts: 644000 | #Constraints: 20831
927.49/930.50 c #Conflicts: 645000 | #Constraints: 21831
927.49/930.50 c #Conflicts: 646000 | #Constraints: 22831
927.49/930.50 c #Conflicts: 647000 | #Constraints: 23831
927.49/930.50 c #Conflicts: 648000 | #Constraints: 24831
927.49/930.50 c #Conflicts: 649000 | #Constraints: 25831
927.49/930.50 c #Conflicts: 650000 | #Constraints: 26831
927.49/930.50 c #Conflicts: 651000 | #Constraints: 27831
927.49/930.50 c #Conflicts: 652000 | #Constraints: 28831
927.49/930.50 c #Conflicts: 653000 | #Constraints: 29831
927.49/930.50 c #Conflicts: 654000 | #Constraints: 30831
927.49/930.50 c #Conflicts: 655000 | #Constraints: 31831
927.49/930.50 c INPROCESSING
927.49/930.50 c GARBAGE COLLECT
927.49/930.50 c #Conflicts: 656000 | #Constraints: 16834
927.49/930.50 c #Conflicts: 657000 | #Constraints: 17834
927.49/930.50 c #Conflicts: 658000 | #Constraints: 18834
927.49/930.50 c #Conflicts: 659000 | #Constraints: 19834
927.49/930.50 c #Conflicts: 660000 | #Constraints: 20834
927.49/930.50 c #Conflicts: 661000 | #Constraints: 21834
927.49/930.50 c #Conflicts: 662000 | #Constraints: 22834
927.49/930.50 c #Conflicts: 663000 | #Constraints: 23834
927.49/930.50 c #Conflicts: 664000 | #Constraints: 24834
927.49/930.50 c #Conflicts: 665000 | #Constraints: 25834
927.49/930.50 c #Conflicts: 666000 | #Constraints: 26834
927.49/930.50 c #Conflicts: 667000 | #Constraints: 27834
927.49/930.50 c #Conflicts: 668000 | #Constraints: 28834
927.49/930.50 c #Conflicts: 669000 | #Constraints: 29834
927.49/930.50 c #Conflicts: 670000 | #Constraints: 30834
927.49/930.50 c #Conflicts: 671000 | #Constraints: 31834
927.49/930.50 c INPROCESSING
927.49/930.50 c GARBAGE COLLECT
927.49/930.50 c #Conflicts: 672000 | #Constraints: 16633
927.49/930.50 c #Conflicts: 673000 | #Constraints: 17633
927.49/930.50 c #Conflicts: 674000 | #Constraints: 18633
927.49/930.50 c #Conflicts: 675000 | #Constraints: 19633
927.49/930.50 c #Conflicts: 676000 | #Constraints: 20633
927.49/930.50 c #Conflicts: 677000 | #Constraints: 21633
927.49/930.50 c #Conflicts: 678000 | #Constraints: 22633
927.49/930.50 c #Conflicts: 679000 | #Constraints: 23633
927.49/930.50 c #Conflicts: 680000 | #Constraints: 24633
927.49/930.50 c #Conflicts: 681000 | #Constraints: 25633
927.49/930.50 c #Conflicts: 682000 | #Constraints: 26633
927.49/930.50 c #Conflicts: 683000 | #Constraints: 27633
927.49/930.50 c #Conflicts: 684000 | #Constraints: 28633
927.49/930.50 c #Conflicts: 685000 | #Constraints: 29633
927.49/930.50 c #Conflicts: 686000 | #Constraints: 30633
927.49/930.50 c #Conflicts: 687000 | #Constraints: 31633
927.49/930.50 c #Conflicts: 688000 | #Constraints: 32633
927.49/930.50 c INPROCESSING
927.49/930.50 c GARBAGE COLLECT
927.49/930.50 c #Conflicts: 689000 | #Constraints: 17234
927.49/930.50 c #Conflicts: 690000 | #Constraints: 18234
927.49/930.50 c #Conflicts: 691000 | #Constraints: 19234
927.49/930.50 c #Conflicts: 692000 | #Constraints: 20234
927.49/930.50 c #Conflicts: 693000 | #Constraints: 21234
927.49/930.50 c #Conflicts: 694000 | #Constraints: 22234
927.49/930.50 c #Conflicts: 695000 | #Constraints: 23234
927.49/930.50 c #Conflicts: 696000 | #Constraints: 24234
927.49/930.50 c #Conflicts: 697000 | #Constraints: 25234
927.49/930.50 c #Conflicts: 698000 | #Constraints: 26234
927.49/930.50 c #Conflicts: 699000 | #Constraints: 27234
927.49/930.50 c #Conflicts: 700000 | #Constraints: 28234
927.49/930.50 c #Conflicts: 701000 | #Constraints: 29234
927.49/930.50 c #Conflicts: 702000 | #Constraints: 30234
927.49/930.50 c #Conflicts: 703000 | #Constraints: 31234
927.49/930.50 c #Conflicts: 704000 | #Constraints: 32234
927.49/930.50 c #Conflicts: 705000 | #Constraints: 33234
927.49/930.50 c INPROCESSING
927.49/930.50 c GARBAGE COLLECT
927.49/930.50 c #Conflicts: 706000 | #Constraints: 17637
927.49/930.50 c #Conflicts: 707000 | #Constraints: 18637
927.49/930.50 c #Conflicts: 708000 | #Constraints: 19637
927.49/930.50 c #Conflicts: 709000 | #Constraints: 20637
927.49/930.50 c #Conflicts: 710000 | #Constraints: 21637
927.49/930.50 c #Conflicts: 711000 | #Constraints: 22637
927.49/930.50 c #Conflicts: 712000 | #Constraints: 23637
927.49/930.50 c #Conflicts: 713000 | #Constraints: 24637
927.49/930.50 c #Conflicts: 714000 | #Constraints: 25637
927.49/930.50 c #Conflicts: 715000 | #Constraints: 26637
927.49/930.50 c #Conflicts: 716000 | #Constraints: 27637
927.49/930.50 c #Conflicts: 717000 | #Constraints: 28637
927.49/930.50 c #Conflicts: 718000 | #Constraints: 29637
927.49/930.50 c #Conflicts: 719000 | #Constraints: 30637
927.49/930.50 c #Conflicts: 720000 | #Constraints: 31637
1054.83/1058.27 c #Conflicts: 721000 | #Constraints: 32637
1054.83/1058.27 c #Conflicts: 722000 | #Constraints: 33637
1054.83/1058.27 c INPROCESSING
1054.83/1058.27 c GARBAGE COLLECT
1054.83/1058.27 c #Conflicts: 723000 | #Constraints: 17834
1054.83/1058.27 c #Conflicts: 724000 | #Constraints: 18834
1054.83/1058.27 c #Conflicts: 725000 | #Constraints: 19834
1054.83/1058.27 c #Conflicts: 726000 | #Constraints: 20834
1054.83/1058.27 c #Conflicts: 727000 | #Constraints: 21834
1054.83/1058.27 c #Conflicts: 728000 | #Constraints: 22834
1054.83/1058.27 c #Conflicts: 729000 | #Constraints: 23834
1054.83/1058.27 c #Conflicts: 730000 | #Constraints: 24834
1054.83/1058.27 c #Conflicts: 731000 | #Constraints: 25834
1054.83/1058.27 c #Conflicts: 732000 | #Constraints: 26834
1054.83/1058.27 c #Conflicts: 733000 | #Constraints: 27834
1054.83/1058.27 c #Conflicts: 734000 | #Constraints: 28834
1054.83/1058.27 c #Conflicts: 735000 | #Constraints: 29834
1054.83/1058.27 c #Conflicts: 736000 | #Constraints: 30834
1054.83/1058.27 c #Conflicts: 737000 | #Constraints: 31834
1054.83/1058.27 c #Conflicts: 738000 | #Constraints: 32834
1054.83/1058.27 c #Conflicts: 739000 | #Constraints: 33834
1054.83/1058.27 c INPROCESSING
1054.83/1058.27 c GARBAGE COLLECT
1054.83/1058.27 c #Conflicts: 740000 | #Constraints: 17837
1054.83/1058.27 c #Conflicts: 741000 | #Constraints: 18837
1054.83/1058.27 c #Conflicts: 742000 | #Constraints: 19837
1054.83/1058.27 c #Conflicts: 743000 | #Constraints: 20837
1054.83/1058.27 c #Conflicts: 744000 | #Constraints: 21837
1054.83/1058.27 c #Conflicts: 745000 | #Constraints: 22837
1054.83/1058.27 c #Conflicts: 746000 | #Constraints: 23837
1054.83/1058.27 c #Conflicts: 747000 | #Constraints: 24837
1054.83/1058.27 c #Conflicts: 748000 | #Constraints: 25837
1054.83/1058.27 c #Conflicts: 749000 | #Constraints: 26837
1054.83/1058.27 c #Conflicts: 750000 | #Constraints: 27837
1054.83/1058.27 c #Conflicts: 751000 | #Constraints: 28837
1054.83/1058.27 c #Conflicts: 752000 | #Constraints: 29837
1054.83/1058.27 c #Conflicts: 753000 | #Constraints: 30837
1054.83/1058.27 c #Conflicts: 754000 | #Constraints: 31837
1054.83/1058.27 c #Conflicts: 755000 | #Constraints: 32837
1054.83/1058.27 c #Conflicts: 756000 | #Constraints: 33837
1054.83/1058.27 c INPROCESSING
1054.83/1058.27 c GARBAGE COLLECT
1054.83/1058.27 c #Conflicts: 757000 | #Constraints: 17633
1054.83/1058.27 c #Conflicts: 758000 | #Constraints: 18633
1054.83/1058.27 c #Conflicts: 759000 | #Constraints: 19633
1054.83/1058.27 c #Conflicts: 760000 | #Constraints: 20633
1054.83/1058.27 c #Conflicts: 761000 | #Constraints: 21633
1054.83/1058.27 c #Conflicts: 762000 | #Constraints: 22633
1054.83/1058.27 c #Conflicts: 763000 | #Constraints: 23633
1054.83/1058.27 c #Conflicts: 764000 | #Constraints: 24633
1054.83/1058.27 c #Conflicts: 765000 | #Constraints: 25633
1054.83/1058.27 c #Conflicts: 766000 | #Constraints: 26633
1054.83/1058.27 c #Conflicts: 767000 | #Constraints: 27633
1054.83/1058.27 c #Conflicts: 768000 | #Constraints: 28633
1054.83/1058.27 c #Conflicts: 769000 | #Constraints: 29633
1054.83/1058.27 c #Conflicts: 770000 | #Constraints: 30633
1054.83/1058.27 c #Conflicts: 771000 | #Constraints: 31633
1054.83/1058.27 c #Conflicts: 772000 | #Constraints: 32633
1054.83/1058.27 c #Conflicts: 773000 | #Constraints: 33633
1054.83/1058.27 c #Conflicts: 774000 | #Constraints: 34633
1054.83/1058.27 c INPROCESSING
1054.83/1058.27 c GARBAGE COLLECT
1054.83/1058.27 c #Conflicts: 775000 | #Constraints: 18233
1054.83/1058.27 c #Conflicts: 776000 | #Constraints: 19233
1054.83/1058.27 c #Conflicts: 777000 | #Constraints: 20233
1054.83/1058.27 c #Conflicts: 778000 | #Constraints: 21233
1054.83/1058.27 c #Conflicts: 779000 | #Constraints: 22233
1054.83/1058.27 c #Conflicts: 780000 | #Constraints: 23233
1054.83/1058.27 c #Conflicts: 781000 | #Constraints: 24233
1054.83/1058.27 c #Conflicts: 782000 | #Constraints: 25233
1054.83/1058.27 c #Conflicts: 783000 | #Constraints: 26233
1054.83/1058.27 c #Conflicts: 784000 | #Constraints: 27233
1054.83/1058.27 c #Conflicts: 785000 | #Constraints: 28233
1054.83/1058.27 c #Conflicts: 786000 | #Constraints: 29233
1054.83/1058.27 c #Conflicts: 787000 | #Constraints: 30233
1054.83/1058.27 c #Conflicts: 788000 | #Constraints: 31233
1054.83/1058.27 c #Conflicts: 789000 | #Constraints: 32233
1054.83/1058.27 c #Conflicts: 790000 | #Constraints: 33233
1054.83/1058.27 c #Conflicts: 791000 | #Constraints: 34233
1054.83/1058.27 c #Conflicts: 792000 | #Constraints: 35233
1054.83/1058.27 c INPROCESSING
1054.83/1058.27 c GARBAGE COLLECT
1054.83/1058.27 c #Conflicts: 793000 | #Constraints: 18633
1054.83/1058.27 c #Conflicts: 794000 | #Constraints: 19633
1054.83/1058.27 c #Conflicts: 795000 | #Constraints: 20633
1189.84/1193.69 c #Conflicts: 796000 | #Constraints: 21633
1189.84/1193.69 c #Conflicts: 797000 | #Constraints: 22633
1189.84/1193.69 c #Conflicts: 798000 | #Constraints: 23633
1189.84/1193.69 c #Conflicts: 799000 | #Constraints: 24633
1189.84/1193.69 c #Conflicts: 800000 | #Constraints: 25633
1189.84/1193.69 c #Conflicts: 801000 | #Constraints: 26633
1189.84/1193.69 c #Conflicts: 802000 | #Constraints: 27633
1189.84/1193.69 c #Conflicts: 803000 | #Constraints: 28633
1189.84/1193.69 c #Conflicts: 804000 | #Constraints: 29633
1189.84/1193.69 c #Conflicts: 805000 | #Constraints: 30633
1189.84/1193.69 c #Conflicts: 806000 | #Constraints: 31633
1189.84/1193.69 c #Conflicts: 807000 | #Constraints: 32633
1189.84/1193.69 c #Conflicts: 808000 | #Constraints: 33633
1189.84/1193.69 c #Conflicts: 809000 | #Constraints: 34633
1189.84/1193.69 c #Conflicts: 810000 | #Constraints: 35633
1189.84/1193.69 c INPROCESSING
1189.84/1193.69 c GARBAGE COLLECT
1189.84/1193.69 c #Conflicts: 811000 | #Constraints: 18832
1189.84/1193.69 c #Conflicts: 812000 | #Constraints: 19832
1189.84/1193.69 c #Conflicts: 813000 | #Constraints: 20832
1189.84/1193.69 c #Conflicts: 814000 | #Constraints: 21832
1189.84/1193.69 c #Conflicts: 815000 | #Constraints: 22832
1189.84/1193.69 c #Conflicts: 816000 | #Constraints: 23832
1189.84/1193.69 c #Conflicts: 817000 | #Constraints: 24832
1189.84/1193.69 c #Conflicts: 818000 | #Constraints: 25832
1189.84/1193.69 c #Conflicts: 819000 | #Constraints: 26832
1189.84/1193.69 c #Conflicts: 820000 | #Constraints: 27832
1189.84/1193.69 c #Conflicts: 821000 | #Constraints: 28832
1189.84/1193.69 c #Conflicts: 822000 | #Constraints: 29832
1189.84/1193.69 c #Conflicts: 823000 | #Constraints: 30832
1189.84/1193.69 c #Conflicts: 824000 | #Constraints: 31832
1189.84/1193.69 c #Conflicts: 825000 | #Constraints: 32832
1189.84/1193.69 c #Conflicts: 826000 | #Constraints: 33832
1189.84/1193.69 c #Conflicts: 827000 | #Constraints: 34832
1189.84/1193.69 c #Conflicts: 828000 | #Constraints: 35832
1189.84/1193.69 c INPROCESSING
1189.84/1193.69 c GARBAGE COLLECT
1189.84/1193.69 c #Conflicts: 829000 | #Constraints: 18834
1189.84/1193.69 c #Conflicts: 830000 | #Constraints: 19834
1189.84/1193.69 c #Conflicts: 831000 | #Constraints: 20834
1189.84/1193.69 c #Conflicts: 832000 | #Constraints: 21834
1189.84/1193.69 c #Conflicts: 833000 | #Constraints: 22834
1189.84/1193.69 c #Conflicts: 834000 | #Constraints: 23834
1189.84/1193.69 c #Conflicts: 835000 | #Constraints: 24834
1189.84/1193.69 c #Conflicts: 836000 | #Constraints: 25834
1189.84/1193.69 c #Conflicts: 837000 | #Constraints: 26834
1189.84/1193.69 c #Conflicts: 838000 | #Constraints: 27834
1189.84/1193.69 c #Conflicts: 839000 | #Constraints: 28834
1189.84/1193.69 c #Conflicts: 840000 | #Constraints: 29834
1189.84/1193.69 c #Conflicts: 841000 | #Constraints: 30834
1189.84/1193.69 c #Conflicts: 842000 | #Constraints: 31834
1189.84/1193.69 c #Conflicts: 843000 | #Constraints: 32834
1189.84/1193.69 c #Conflicts: 844000 | #Constraints: 33834
1189.84/1193.69 c #Conflicts: 845000 | #Constraints: 34834
1189.84/1193.69 c #Conflicts: 846000 | #Constraints: 35834
1189.84/1193.69 c INPROCESSING
1189.84/1193.69 c GARBAGE COLLECT
1189.84/1193.69 c #Conflicts: 847000 | #Constraints: 18634
1189.84/1193.69 c #Conflicts: 848000 | #Constraints: 19634
1189.84/1193.69 c #Conflicts: 849000 | #Constraints: 20634
1189.84/1193.69 c #Conflicts: 850000 | #Constraints: 21634
1189.84/1193.69 c #Conflicts: 851000 | #Constraints: 22634
1189.84/1193.69 c #Conflicts: 852000 | #Constraints: 23634
1189.84/1193.69 c #Conflicts: 853000 | #Constraints: 24634
1189.84/1193.69 c #Conflicts: 854000 | #Constraints: 25634
1189.84/1193.69 c #Conflicts: 855000 | #Constraints: 26634
1189.84/1193.69 c #Conflicts: 856000 | #Constraints: 27634
1189.84/1193.69 c #Conflicts: 857000 | #Constraints: 28634
1189.84/1193.69 c #Conflicts: 858000 | #Constraints: 29634
1189.84/1193.69 c #Conflicts: 859000 | #Constraints: 30634
1189.84/1193.69 c #Conflicts: 860000 | #Constraints: 31634
1189.84/1193.69 c #Conflicts: 861000 | #Constraints: 32634
1189.84/1193.69 c #Conflicts: 862000 | #Constraints: 33634
1189.84/1193.69 c #Conflicts: 863000 | #Constraints: 34634
1189.84/1193.69 c #Conflicts: 864000 | #Constraints: 35634
1189.84/1193.69 c #Conflicts: 865000 | #Constraints: 36634
1189.84/1193.69 c INPROCESSING
1189.84/1193.69 c GARBAGE COLLECT
1189.84/1193.69 c #Conflicts: 866000 | #Constraints: 19234
1189.84/1193.69 c #Conflicts: 867000 | #Constraints: 20234
1189.84/1193.69 c #Conflicts: 868000 | #Constraints: 21234
1189.84/1193.69 c #Conflicts: 869000 | #Constraints: 22234
1189.84/1193.69 c #Conflicts: 870000 | #Constraints: 23234
1189.84/1193.69 c #Conflicts: 871000 | #Constraints: 24234
1189.84/1193.69 c #Conflicts: 872000 | #Constraints: 25234
1332.83/1337.03 c #Conflicts: 873000 | #Constraints: 26234
1332.83/1337.03 c #Conflicts: 874000 | #Constraints: 27234
1332.83/1337.03 c #Conflicts: 875000 | #Constraints: 28234
1332.83/1337.03 c #Conflicts: 876000 | #Constraints: 29234
1332.83/1337.03 c #Conflicts: 877000 | #Constraints: 30234
1332.83/1337.03 c #Conflicts: 878000 | #Constraints: 31234
1332.83/1337.03 c #Conflicts: 879000 | #Constraints: 32234
1332.83/1337.03 c #Conflicts: 880000 | #Constraints: 33234
1332.83/1337.03 c #Conflicts: 881000 | #Constraints: 34234
1332.83/1337.03 c #Conflicts: 882000 | #Constraints: 35234
1332.83/1337.03 c #Conflicts: 883000 | #Constraints: 36234
1332.83/1337.03 c #Conflicts: 884000 | #Constraints: 37234
1332.83/1337.03 c INPROCESSING
1332.83/1337.03 c GARBAGE COLLECT
1332.83/1337.03 c #Conflicts: 885000 | #Constraints: 19634
1332.83/1337.03 c #Conflicts: 886000 | #Constraints: 20634
1332.83/1337.03 c #Conflicts: 887000 | #Constraints: 21634
1332.83/1337.03 c #Conflicts: 888000 | #Constraints: 22634
1332.83/1337.03 c #Conflicts: 889000 | #Constraints: 23634
1332.83/1337.03 c #Conflicts: 890000 | #Constraints: 24634
1332.83/1337.03 c #Conflicts: 891000 | #Constraints: 25634
1332.83/1337.03 c #Conflicts: 892000 | #Constraints: 26634
1332.83/1337.03 c #Conflicts: 893000 | #Constraints: 27634
1332.83/1337.03 c #Conflicts: 894000 | #Constraints: 28634
1332.83/1337.03 c #Conflicts: 895000 | #Constraints: 29634
1332.83/1337.03 c #Conflicts: 896000 | #Constraints: 30634
1332.83/1337.03 c #Conflicts: 897000 | #Constraints: 31634
1332.83/1337.03 c #Conflicts: 898000 | #Constraints: 32634
1332.83/1337.03 c #Conflicts: 899000 | #Constraints: 33634
1332.83/1337.03 c #Conflicts: 900000 | #Constraints: 34634
1332.83/1337.03 c #Conflicts: 901000 | #Constraints: 35634
1332.83/1337.03 c #Conflicts: 902000 | #Constraints: 36634
1332.83/1337.03 c #Conflicts: 903000 | #Constraints: 37634
1332.83/1337.03 c INPROCESSING
1332.83/1337.03 c GARBAGE COLLECT
1332.83/1337.03 c #Conflicts: 904000 | #Constraints: 19834
1332.83/1337.03 c #Conflicts: 905000 | #Constraints: 20834
1332.83/1337.03 c #Conflicts: 906000 | #Constraints: 21834
1332.83/1337.03 c #Conflicts: 907000 | #Constraints: 22834
1332.83/1337.03 c #Conflicts: 908000 | #Constraints: 23834
1332.83/1337.03 c #Conflicts: 909000 | #Constraints: 24834
1332.83/1337.03 c #Conflicts: 910000 | #Constraints: 25834
1332.83/1337.03 c #Conflicts: 911000 | #Constraints: 26834
1332.83/1337.03 c #Conflicts: 912000 | #Constraints: 27834
1332.83/1337.03 c #Conflicts: 913000 | #Constraints: 28834
1332.83/1337.03 c #Conflicts: 914000 | #Constraints: 29834
1332.83/1337.03 c #Conflicts: 915000 | #Constraints: 30834
1332.83/1337.03 c #Conflicts: 916000 | #Constraints: 31834
1332.83/1337.03 c #Conflicts: 917000 | #Constraints: 32834
1332.83/1337.03 c #Conflicts: 918000 | #Constraints: 33834
1332.83/1337.03 c #Conflicts: 919000 | #Constraints: 34834
1332.83/1337.03 c #Conflicts: 920000 | #Constraints: 35834
1332.83/1337.03 c #Conflicts: 921000 | #Constraints: 36834
1332.83/1337.03 c #Conflicts: 922000 | #Constraints: 37834
1332.83/1337.03 c INPROCESSING
1332.83/1337.03 c GARBAGE COLLECT
1332.83/1337.03 c #Conflicts: 923000 | #Constraints: 19834
1332.83/1337.03 c #Conflicts: 924000 | #Constraints: 20834
1332.83/1337.03 c #Conflicts: 925000 | #Constraints: 21834
1332.83/1337.03 c #Conflicts: 926000 | #Constraints: 22834
1332.83/1337.03 c #Conflicts: 927000 | #Constraints: 23834
1332.83/1337.03 c #Conflicts: 928000 | #Constraints: 24834
1332.83/1337.03 c #Conflicts: 929000 | #Constraints: 25834
1332.83/1337.03 c #Conflicts: 930000 | #Constraints: 26834
1332.83/1337.03 c #Conflicts: 931000 | #Constraints: 27834
1332.83/1337.03 c #Conflicts: 932000 | #Constraints: 28834
1332.83/1337.03 c #Conflicts: 933000 | #Constraints: 29834
1332.83/1337.03 c #Conflicts: 934000 | #Constraints: 30834
1332.83/1337.03 c #Conflicts: 935000 | #Constraints: 31834
1332.83/1337.03 c #Conflicts: 936000 | #Constraints: 32834
1332.83/1337.03 c #Conflicts: 937000 | #Constraints: 33834
1332.83/1337.03 c #Conflicts: 938000 | #Constraints: 34834
1332.83/1337.03 c #Conflicts: 939000 | #Constraints: 35834
1332.83/1337.03 c #Conflicts: 940000 | #Constraints: 36834
1332.83/1337.03 c #Conflicts: 941000 | #Constraints: 37834
1332.83/1337.03 c INPROCESSING
1332.83/1337.03 c GARBAGE COLLECT
1332.83/1337.03 c #Conflicts: 942000 | #Constraints: 19635
1332.83/1337.03 c #Conflicts: 943000 | #Constraints: 20635
1332.83/1337.03 c #Conflicts: 944000 | #Constraints: 21635
1332.83/1337.03 c #Conflicts: 945000 | #Constraints: 22635
1332.83/1337.03 c #Conflicts: 946000 | #Constraints: 23635
1332.83/1337.03 c #Conflicts: 947000 | #Constraints: 24635
1332.83/1337.03 c #Conflicts: 948000 | #Constraints: 25635
1481.72/1486.36 c #Conflicts: 949000 | #Constraints: 26635
1481.72/1486.36 c #Conflicts: 950000 | #Constraints: 27635
1481.72/1486.36 c #Conflicts: 951000 | #Constraints: 28635
1481.72/1486.36 c #Conflicts: 952000 | #Constraints: 29635
1481.72/1486.36 c #Conflicts: 953000 | #Constraints: 30635
1481.72/1486.36 c #Conflicts: 954000 | #Constraints: 31635
1481.72/1486.36 c #Conflicts: 955000 | #Constraints: 32635
1481.72/1486.36 c #Conflicts: 956000 | #Constraints: 33635
1481.72/1486.36 c #Conflicts: 957000 | #Constraints: 34635
1481.72/1486.36 c #Conflicts: 958000 | #Constraints: 35635
1481.72/1486.36 c #Conflicts: 959000 | #Constraints: 36635
1481.72/1486.36 c #Conflicts: 960000 | #Constraints: 37635
1481.72/1486.36 c #Conflicts: 961000 | #Constraints: 38635
1481.72/1486.36 c INPROCESSING
1481.72/1486.36 c GARBAGE COLLECT
1481.72/1486.36 c #Conflicts: 962000 | #Constraints: 20234
1481.72/1486.36 c #Conflicts: 963000 | #Constraints: 21234
1481.72/1486.36 c #Conflicts: 964000 | #Constraints: 22234
1481.72/1486.36 c #Conflicts: 965000 | #Constraints: 23234
1481.72/1486.36 c #Conflicts: 966000 | #Constraints: 24234
1481.72/1486.36 c #Conflicts: 967000 | #Constraints: 25234
1481.72/1486.36 c #Conflicts: 968000 | #Constraints: 26234
1481.72/1486.36 c #Conflicts: 969000 | #Constraints: 27234
1481.72/1486.36 c #Conflicts: 970000 | #Constraints: 28234
1481.72/1486.36 c #Conflicts: 971000 | #Constraints: 29234
1481.72/1486.36 c #Conflicts: 972000 | #Constraints: 30234
1481.72/1486.36 c #Conflicts: 973000 | #Constraints: 31234
1481.72/1486.36 c #Conflicts: 974000 | #Constraints: 32234
1481.72/1486.36 c #Conflicts: 975000 | #Constraints: 33234
1481.72/1486.36 c #Conflicts: 976000 | #Constraints: 34234
1481.72/1486.36 c #Conflicts: 977000 | #Constraints: 35234
1481.72/1486.36 c #Conflicts: 978000 | #Constraints: 36234
1481.72/1486.36 c #Conflicts: 979000 | #Constraints: 37234
1481.72/1486.36 c #Conflicts: 980000 | #Constraints: 38234
1481.72/1486.36 c #Conflicts: 981000 | #Constraints: 39234
1481.72/1486.36 c INPROCESSING
1481.72/1486.36 c GARBAGE COLLECT
1481.72/1486.36 c #Conflicts: 982000 | #Constraints: 20636
1481.72/1486.36 c #Conflicts: 983000 | #Constraints: 21636
1481.72/1486.36 c #Conflicts: 984000 | #Constraints: 22636
1481.72/1486.36 c #Conflicts: 985000 | #Constraints: 23636
1481.72/1486.36 c #Conflicts: 986000 | #Constraints: 24636
1481.72/1486.36 c #Conflicts: 987000 | #Constraints: 25636
1481.72/1486.36 c #Conflicts: 988000 | #Constraints: 26636
1481.72/1486.36 c #Conflicts: 989000 | #Constraints: 27636
1481.72/1486.36 c #Conflicts: 990000 | #Constraints: 28636
1481.72/1486.36 c #Conflicts: 991000 | #Constraints: 29636
1481.72/1486.36 c #Conflicts: 992000 | #Constraints: 30636
1481.72/1486.36 c #Conflicts: 993000 | #Constraints: 31636
1481.72/1486.36 c #Conflicts: 994000 | #Constraints: 32636
1481.72/1486.36 c #Conflicts: 995000 | #Constraints: 33636
1481.72/1486.36 c #Conflicts: 996000 | #Constraints: 34636
1481.72/1486.36 c #Conflicts: 997000 | #Constraints: 35636
1481.72/1486.36 c #Conflicts: 998000 | #Constraints: 36636
1481.72/1486.36 c #Conflicts: 999000 | #Constraints: 37636
1481.72/1486.36 c #Conflicts: 1000000 | #Constraints: 38636
1481.72/1486.36 c #Conflicts: 1001000 | #Constraints: 39636
1481.72/1486.36 c INPROCESSING
1481.72/1486.36 c GARBAGE COLLECT
1481.72/1486.36 c #Conflicts: 1002000 | #Constraints: 20839
1481.72/1486.36 c #Conflicts: 1003000 | #Constraints: 21839
1481.72/1486.36 c #Conflicts: 1004000 | #Constraints: 22839
1481.72/1486.36 c #Conflicts: 1005000 | #Constraints: 23839
1481.72/1486.36 c #Conflicts: 1006000 | #Constraints: 24839
1481.72/1486.36 c #Conflicts: 1007000 | #Constraints: 25839
1481.72/1486.36 c #Conflicts: 1008000 | #Constraints: 26839
1481.72/1486.36 c #Conflicts: 1009000 | #Constraints: 27839
1481.72/1486.36 c #Conflicts: 1010000 | #Constraints: 28839
1481.72/1486.36 c #Conflicts: 1011000 | #Constraints: 29839
1481.72/1486.36 c #Conflicts: 1012000 | #Constraints: 30839
1481.72/1486.36 c #Conflicts: 1013000 | #Constraints: 31839
1481.72/1486.36 c #Conflicts: 1014000 | #Constraints: 32839
1481.72/1486.36 c #Conflicts: 1015000 | #Constraints: 33839
1481.72/1486.36 c #Conflicts: 1016000 | #Constraints: 34839
1481.72/1486.36 c #Conflicts: 1017000 | #Constraints: 35839
1481.72/1486.36 c #Conflicts: 1018000 | #Constraints: 36839
1481.72/1486.36 c #Conflicts: 1019000 | #Constraints: 37839
1481.72/1486.36 c #Conflicts: 1020000 | #Constraints: 38839
1481.72/1486.36 c #Conflicts: 1021000 | #Constraints: 39839
1481.72/1486.36 c INPROCESSING
1481.72/1486.36 c GARBAGE COLLECT
1481.72/1486.36 c #Conflicts: 1022000 | #Constraints: 20838
1481.72/1486.36 c #Conflicts: 1023000 | #Constraints: 21838
1481.72/1486.36 c #Conflicts: 1024000 | #Constraints: 22838
1655.65/1660.73 c #Conflicts: 1025000 | #Constraints: 23838
1655.65/1660.73 c #Conflicts: 1026000 | #Constraints: 24838
1655.65/1660.73 c #Conflicts: 1027000 | #Constraints: 25838
1655.65/1660.73 c #Conflicts: 1028000 | #Constraints: 26838
1655.65/1660.73 c #Conflicts: 1029000 | #Constraints: 27838
1655.65/1660.73 c #Conflicts: 1030000 | #Constraints: 28838
1655.65/1660.73 c #Conflicts: 1031000 | #Constraints: 29838
1655.65/1660.73 c #Conflicts: 1032000 | #Constraints: 30838
1655.65/1660.73 c #Conflicts: 1033000 | #Constraints: 31838
1655.65/1660.73 c #Conflicts: 1034000 | #Constraints: 32838
1655.65/1660.73 c #Conflicts: 1035000 | #Constraints: 33838
1655.65/1660.73 c #Conflicts: 1036000 | #Constraints: 34838
1655.65/1660.73 c #Conflicts: 1037000 | #Constraints: 35838
1655.65/1660.73 c #Conflicts: 1038000 | #Constraints: 36838
1655.65/1660.73 c #Conflicts: 1039000 | #Constraints: 37838
1655.65/1660.73 c #Conflicts: 1040000 | #Constraints: 38838
1655.65/1660.73 c #Conflicts: 1041000 | #Constraints: 39838
1655.65/1660.73 c INPROCESSING
1655.65/1660.73 c GARBAGE COLLECT
1655.65/1660.73 c #Conflicts: 1042000 | #Constraints: 20638
1655.65/1660.73 c #Conflicts: 1043000 | #Constraints: 21638
1655.65/1660.73 c #Conflicts: 1044000 | #Constraints: 22638
1655.65/1660.73 c #Conflicts: 1045000 | #Constraints: 23638
1655.65/1660.73 c #Conflicts: 1046000 | #Constraints: 24638
1655.65/1660.73 c #Conflicts: 1047000 | #Constraints: 25638
1655.65/1660.73 c #Conflicts: 1048000 | #Constraints: 26638
1655.65/1660.73 c #Conflicts: 1049000 | #Constraints: 27638
1655.65/1660.73 c #Conflicts: 1050000 | #Constraints: 28638
1655.65/1660.73 c #Conflicts: 1051000 | #Constraints: 29638
1655.65/1660.73 c #Conflicts: 1052000 | #Constraints: 30638
1655.65/1660.73 c #Conflicts: 1053000 | #Constraints: 31638
1655.65/1660.73 c #Conflicts: 1054000 | #Constraints: 32638
1655.65/1660.73 c #Conflicts: 1055000 | #Constraints: 33638
1655.65/1660.73 c #Conflicts: 1056000 | #Constraints: 34638
1655.65/1660.73 c #Conflicts: 1057000 | #Constraints: 35638
1655.65/1660.73 c #Conflicts: 1058000 | #Constraints: 36638
1655.65/1660.73 c #Conflicts: 1059000 | #Constraints: 37638
1655.65/1660.73 c #Conflicts: 1060000 | #Constraints: 38638
1655.65/1660.73 c #Conflicts: 1061000 | #Constraints: 39638
1655.65/1660.73 c #Conflicts: 1062000 | #Constraints: 40638
1655.65/1660.73 c INPROCESSING
1655.65/1660.73 c GARBAGE COLLECT
1655.65/1660.73 c #Conflicts: 1063000 | #Constraints: 21240
1655.65/1660.73 c #Conflicts: 1064000 | #Constraints: 22240
1655.65/1660.73 c #Conflicts: 1065000 | #Constraints: 23240
1655.65/1660.73 c #Conflicts: 1066000 | #Constraints: 24240
1655.65/1660.73 c #Conflicts: 1067000 | #Constraints: 25240
1655.65/1660.73 c #Conflicts: 1068000 | #Constraints: 26240
1655.65/1660.73 c #Conflicts: 1069000 | #Constraints: 27240
1655.65/1660.73 c #Conflicts: 1070000 | #Constraints: 28240
1655.65/1660.73 c #Conflicts: 1071000 | #Constraints: 29240
1655.65/1660.73 c #Conflicts: 1072000 | #Constraints: 30240
1655.65/1660.73 c #Conflicts: 1073000 | #Constraints: 31240
1655.65/1660.73 c #Conflicts: 1074000 | #Constraints: 32240
1655.65/1660.73 c #Conflicts: 1075000 | #Constraints: 33240
1655.65/1660.73 c #Conflicts: 1076000 | #Constraints: 34240
1655.65/1660.73 c #Conflicts: 1077000 | #Constraints: 35240
1655.65/1660.73 c #Conflicts: 1078000 | #Constraints: 36240
1655.65/1660.73 c #Conflicts: 1079000 | #Constraints: 37240
1655.65/1660.73 c #Conflicts: 1080000 | #Constraints: 38240
1655.65/1660.73 c #Conflicts: 1081000 | #Constraints: 39240
1655.65/1660.73 c #Conflicts: 1082000 | #Constraints: 40240
1655.65/1660.73 c #Conflicts: 1083000 | #Constraints: 41240
1655.65/1660.73 c INPROCESSING
1655.65/1660.73 c GARBAGE COLLECT
1655.65/1660.73 c #Conflicts: 1084000 | #Constraints: 21640
1655.65/1660.73 c #Conflicts: 1085000 | #Constraints: 22640
1655.65/1660.73 c #Conflicts: 1086000 | #Constraints: 23640
1655.65/1660.73 c #Conflicts: 1087000 | #Constraints: 24640
1655.65/1660.73 c #Conflicts: 1088000 | #Constraints: 25640
1655.65/1660.73 c #Conflicts: 1089000 | #Constraints: 26640
1655.65/1660.73 c #Conflicts: 1090000 | #Constraints: 27640
1655.65/1660.73 c #Conflicts: 1091000 | #Constraints: 28640
1655.65/1660.73 c #Conflicts: 1092000 | #Constraints: 29640
1655.65/1660.73 c #Conflicts: 1093000 | #Constraints: 30640
1655.65/1660.73 c #Conflicts: 1094000 | #Constraints: 31640
1655.65/1660.73 c #Conflicts: 1095000 | #Constraints: 32640
1655.65/1660.73 c #Conflicts: 1096000 | #Constraints: 33640
1655.65/1660.73 c #Conflicts: 1097000 | #Constraints: 34640
1655.65/1660.73 c #Conflicts: 1098000 | #Constraints: 35640
1655.65/1660.73 c #Conflicts: 1099000 | #Constraints: 36640
1655.65/1660.73 c #Conflicts: 1100000 | #Constraints: 37640
1655.65/1660.73 c #Conflicts: 1101000 | #Constraints: 38640
1822.10/1827.64 c #Conflicts: 1102000 | #Constraints: 39640
1822.10/1827.64 c #Conflicts: 1103000 | #Constraints: 40640
1822.10/1827.64 c #Conflicts: 1104000 | #Constraints: 41640
1822.10/1827.64 c INPROCESSING
1822.10/1827.64 c GARBAGE COLLECT
1822.10/1827.64 c #Conflicts: 1105000 | #Constraints: 21840
1822.10/1827.64 c #Conflicts: 1106000 | #Constraints: 22840
1822.10/1827.64 c #Conflicts: 1107000 | #Constraints: 23840
1822.10/1827.64 c #Conflicts: 1108000 | #Constraints: 24840
1822.10/1827.64 c #Conflicts: 1109000 | #Constraints: 25840
1822.10/1827.64 c #Conflicts: 1110000 | #Constraints: 26840
1822.10/1827.64 c #Conflicts: 1111000 | #Constraints: 27840
1822.10/1827.64 c #Conflicts: 1112000 | #Constraints: 28840
1822.10/1827.64 c #Conflicts: 1113000 | #Constraints: 29840
1822.10/1827.64 c #Conflicts: 1114000 | #Constraints: 30840
1822.10/1827.64 c #Conflicts: 1115000 | #Constraints: 31840
1822.10/1827.64 c #Conflicts: 1116000 | #Constraints: 32840
1822.10/1827.64 c #Conflicts: 1117000 | #Constraints: 33840
1822.10/1827.64 c #Conflicts: 1118000 | #Constraints: 34840
1822.10/1827.64 c #Conflicts: 1119000 | #Constraints: 35840
1822.10/1827.64 c #Conflicts: 1120000 | #Constraints: 36840
1822.10/1827.64 c #Conflicts: 1121000 | #Constraints: 37840
1822.10/1827.64 c #Conflicts: 1122000 | #Constraints: 38840
1822.10/1827.64 c #Conflicts: 1123000 | #Constraints: 39840
1822.10/1827.64 c #Conflicts: 1124000 | #Constraints: 40840
1822.10/1827.64 c #Conflicts: 1125000 | #Constraints: 41840
1822.10/1827.64 c INPROCESSING
1822.10/1827.64 c GARBAGE COLLECT
1822.10/1827.64 c #Conflicts: 1126000 | #Constraints: 21842
1822.10/1827.64 c #Conflicts: 1127000 | #Constraints: 22842
1822.10/1827.64 c #Conflicts: 1128000 | #Constraints: 23842
1822.10/1827.64 c #Conflicts: 1129000 | #Constraints: 24842
1822.10/1827.64 c #Conflicts: 1130000 | #Constraints: 25842
1822.10/1827.64 c #Conflicts: 1131000 | #Constraints: 26842
1822.10/1827.64 c #Conflicts: 1132000 | #Constraints: 27842
1822.10/1827.64 c #Conflicts: 1133000 | #Constraints: 28842
1822.10/1827.64 c #Conflicts: 1134000 | #Constraints: 29842
1822.10/1827.64 c #Conflicts: 1135000 | #Constraints: 30842
1822.10/1827.64 c #Conflicts: 1136000 | #Constraints: 31842
1822.10/1827.64 c #Conflicts: 1137000 | #Constraints: 32842
1822.10/1827.64 c #Conflicts: 1138000 | #Constraints: 33842
1822.10/1827.64 c #Conflicts: 1139000 | #Constraints: 34842
1822.10/1827.64 c #Conflicts: 1140000 | #Constraints: 35842
1822.10/1827.64 c #Conflicts: 1141000 | #Constraints: 36842
1822.10/1827.64 c #Conflicts: 1142000 | #Constraints: 37842
1822.10/1827.64 c #Conflicts: 1143000 | #Constraints: 38842
1822.10/1827.64 c #Conflicts: 1144000 | #Constraints: 39842
1822.10/1827.64 c #Conflicts: 1145000 | #Constraints: 40842
1822.10/1827.64 c #Conflicts: 1146000 | #Constraints: 41842
1822.10/1827.64 c INPROCESSING
1822.10/1827.64 c GARBAGE COLLECT
1822.10/1827.64 c #Conflicts: 1147000 | #Constraints: 21637
1822.10/1827.64 c #Conflicts: 1148000 | #Constraints: 22637
1822.10/1827.64 c #Conflicts: 1149000 | #Constraints: 23637
1822.10/1827.64 c #Conflicts: 1150000 | #Constraints: 24637
1822.10/1827.64 c #Conflicts: 1151000 | #Constraints: 25637
1822.10/1827.64 c #Conflicts: 1152000 | #Constraints: 26637
1822.10/1827.64 c #Conflicts: 1153000 | #Constraints: 27637
1822.10/1827.64 c #Conflicts: 1154000 | #Constraints: 28637
1822.10/1827.64 c #Conflicts: 1155000 | #Constraints: 29637
1822.10/1827.64 c #Conflicts: 1156000 | #Constraints: 30637
1822.10/1827.64 c #Conflicts: 1157000 | #Constraints: 31637
1822.10/1827.64 c #Conflicts: 1158000 | #Constraints: 32637
1822.10/1827.64 c #Conflicts: 1159000 | #Constraints: 33637
1822.10/1827.64 c #Conflicts: 1160000 | #Constraints: 34637
1822.10/1827.64 c #Conflicts: 1161000 | #Constraints: 35637
1822.10/1827.64 c #Conflicts: 1162000 | #Constraints: 36637
1822.10/1827.64 c #Conflicts: 1163000 | #Constraints: 37637
1822.10/1827.64 c #Conflicts: 1164000 | #Constraints: 38637
1822.10/1827.64 c #Conflicts: 1165000 | #Constraints: 39637
1822.10/1827.64 c #Conflicts: 1166000 | #Constraints: 40637
1822.10/1827.64 c #Conflicts: 1167000 | #Constraints: 41637
1822.10/1827.64 c #Conflicts: 1168000 | #Constraints: 42637
1822.10/1827.64 c INPROCESSING
1822.10/1827.64 c GARBAGE COLLECT
1822.10/1827.64 c #Conflicts: 1169000 | #Constraints: 22241
1822.10/1827.64 c #Conflicts: 1170000 | #Constraints: 23241
1822.10/1827.64 c #Conflicts: 1171000 | #Constraints: 24241
1822.10/1827.64 c #Conflicts: 1172000 | #Constraints: 25241
1822.10/1827.64 c #Conflicts: 1173000 | #Constraints: 26241
1822.10/1827.64 c #Conflicts: 1174000 | #Constraints: 27241
1822.10/1827.64 c #Conflicts: 1175000 | #Constraints: 28241
1822.10/1827.64 c #Conflicts: 1176000 | #Constraints: 29241
1822.10/1827.64 c #Conflicts: 1177000 | #Constraints: 30241
1981.36/1987.39 c #Conflicts: 1178000 | #Constraints: 31241
1981.36/1987.39 c #Conflicts: 1179000 | #Constraints: 32241
1981.36/1987.39 c #Conflicts: 1180000 | #Constraints: 33241
1981.36/1987.39 c #Conflicts: 1181000 | #Constraints: 34241
1981.36/1987.39 c #Conflicts: 1182000 | #Constraints: 35241
1981.36/1987.39 c #Conflicts: 1183000 | #Constraints: 36241
1981.36/1987.39 c #Conflicts: 1184000 | #Constraints: 37241
1981.36/1987.39 c #Conflicts: 1185000 | #Constraints: 38241
1981.36/1987.39 c #Conflicts: 1186000 | #Constraints: 39241
1981.36/1987.39 c #Conflicts: 1187000 | #Constraints: 40241
1981.36/1987.39 c #Conflicts: 1188000 | #Constraints: 41241
1981.36/1987.39 c #Conflicts: 1189000 | #Constraints: 42241
1981.36/1987.39 c #Conflicts: 1190000 | #Constraints: 43241
1981.36/1987.39 c INPROCESSING
1981.36/1987.39 c GARBAGE COLLECT
1981.36/1987.39 c #Conflicts: 1191000 | #Constraints: 22643
1981.36/1987.39 c #Conflicts: 1192000 | #Constraints: 23643
1981.36/1987.39 c #Conflicts: 1193000 | #Constraints: 24643
1981.36/1987.39 c #Conflicts: 1194000 | #Constraints: 25643
1981.36/1987.39 c #Conflicts: 1195000 | #Constraints: 26643
1981.36/1987.39 c #Conflicts: 1196000 | #Constraints: 27643
1981.36/1987.39 c #Conflicts: 1197000 | #Constraints: 28643
1981.36/1987.39 c #Conflicts: 1198000 | #Constraints: 29643
1981.36/1987.39 c #Conflicts: 1199000 | #Constraints: 30643
1981.36/1987.39 c #Conflicts: 1200000 | #Constraints: 31643
1981.36/1987.39 c #Conflicts: 1201000 | #Constraints: 32643
1981.36/1987.39 c #Conflicts: 1202000 | #Constraints: 33643
1981.36/1987.39 c #Conflicts: 1203000 | #Constraints: 34643
1981.36/1987.39 c #Conflicts: 1204000 | #Constraints: 35643
1981.36/1987.39 c #Conflicts: 1205000 | #Constraints: 36643
1981.36/1987.39 c #Conflicts: 1206000 | #Constraints: 37643
1981.36/1987.39 c #Conflicts: 1207000 | #Constraints: 38643
1981.36/1987.39 c #Conflicts: 1208000 | #Constraints: 39643
1981.36/1987.39 c #Conflicts: 1209000 | #Constraints: 40643
1981.36/1987.39 c #Conflicts: 1210000 | #Constraints: 41643
1981.36/1987.39 c #Conflicts: 1211000 | #Constraints: 42643
1981.36/1987.39 c #Conflicts: 1212000 | #Constraints: 43643
1981.36/1987.39 c INPROCESSING
1981.36/1987.39 c GARBAGE COLLECT
1981.36/1987.39 c #Conflicts: 1213000 | #Constraints: 22841
1981.36/1987.39 c #Conflicts: 1214000 | #Constraints: 23841
1981.36/1987.39 c #Conflicts: 1215000 | #Constraints: 24841
1981.36/1987.39 c #Conflicts: 1216000 | #Constraints: 25841
1981.36/1987.39 c #Conflicts: 1217000 | #Constraints: 26841
1981.36/1987.39 c #Conflicts: 1218000 | #Constraints: 27841
1981.36/1987.39 c #Conflicts: 1219000 | #Constraints: 28841
1981.36/1987.39 c #Conflicts: 1220000 | #Constraints: 29841
1981.36/1987.39 c #Conflicts: 1221000 | #Constraints: 30841
1981.36/1987.39 c #Conflicts: 1222000 | #Constraints: 31841
1981.36/1987.39 c #Conflicts: 1223000 | #Constraints: 32841
1981.36/1987.39 c #Conflicts: 1224000 | #Constraints: 33841
1981.36/1987.39 c #Conflicts: 1225000 | #Constraints: 34841
1981.36/1987.39 c #Conflicts: 1226000 | #Constraints: 35841
1981.36/1987.39 c #Conflicts: 1227000 | #Constraints: 36841
1981.36/1987.39 c #Conflicts: 1228000 | #Constraints: 37841
1981.36/1987.39 c #Conflicts: 1229000 | #Constraints: 38841
1981.36/1987.39 c #Conflicts: 1230000 | #Constraints: 39841
1981.36/1987.39 c #Conflicts: 1231000 | #Constraints: 40841
1981.36/1987.39 c #Conflicts: 1232000 | #Constraints: 41841
1981.36/1987.39 c #Conflicts: 1233000 | #Constraints: 42841
1981.36/1987.39 c #Conflicts: 1234000 | #Constraints: 43841
1981.36/1987.39 c INPROCESSING
1981.36/1987.39 c GARBAGE COLLECT
1981.36/1987.39 c #Conflicts: 1235000 | #Constraints: 22836
1981.36/1987.39 c #Conflicts: 1236000 | #Constraints: 23836
1981.36/1987.39 c #Conflicts: 1237000 | #Constraints: 24836
1981.36/1987.39 c #Conflicts: 1238000 | #Constraints: 25836
1981.36/1987.39 c #Conflicts: 1239000 | #Constraints: 26836
1981.36/1987.39 c #Conflicts: 1240000 | #Constraints: 27836
1981.36/1987.39 c #Conflicts: 1241000 | #Constraints: 28836
1981.36/1987.39 c #Conflicts: 1242000 | #Constraints: 29836
1981.36/1987.39 c #Conflicts: 1243000 | #Constraints: 30836
1981.36/1987.39 c #Conflicts: 1244000 | #Constraints: 31836
1981.36/1987.39 c #Conflicts: 1245000 | #Constraints: 32836
1981.36/1987.39 c #Conflicts: 1246000 | #Constraints: 33836
1981.36/1987.39 c #Conflicts: 1247000 | #Constraints: 34836
1981.36/1987.39 c #Conflicts: 1248000 | #Constraints: 35836
1981.36/1987.39 c #Conflicts: 1249000 | #Constraints: 36836
1981.36/1987.39 c #Conflicts: 1250000 | #Constraints: 37836
1981.36/1987.39 c #Conflicts: 1251000 | #Constraints: 38836
1981.36/1987.39 c #Conflicts: 1252000 | #Constraints: 39836
1981.36/1987.39 c #Conflicts: 1253000 | #Constraints: 40836
1981.36/1987.39 c #Conflicts: 1254000 | #Constraints: 41836
2158.08/2164.50 c #Conflicts: 1255000 | #Constraints: 42836
2158.08/2164.50 c #Conflicts: 1256000 | #Constraints: 43836
2158.08/2164.50 c INPROCESSING
2158.08/2164.50 c GARBAGE COLLECT
2158.08/2164.50 c #Conflicts: 1257000 | #Constraints: 22635
2158.08/2164.50 c #Conflicts: 1258000 | #Constraints: 23635
2158.08/2164.50 c #Conflicts: 1259000 | #Constraints: 24635
2158.08/2164.50 c #Conflicts: 1260000 | #Constraints: 25635
2158.08/2164.50 c #Conflicts: 1261000 | #Constraints: 26635
2158.08/2164.50 c #Conflicts: 1262000 | #Constraints: 27635
2158.08/2164.50 c #Conflicts: 1263000 | #Constraints: 28635
2158.08/2164.50 c #Conflicts: 1264000 | #Constraints: 29635
2158.08/2164.50 c #Conflicts: 1265000 | #Constraints: 30635
2158.08/2164.50 c #Conflicts: 1266000 | #Constraints: 31635
2158.08/2164.50 c #Conflicts: 1267000 | #Constraints: 32635
2158.08/2164.50 c #Conflicts: 1268000 | #Constraints: 33635
2158.08/2164.50 c #Conflicts: 1269000 | #Constraints: 34635
2158.08/2164.50 c #Conflicts: 1270000 | #Constraints: 35635
2158.08/2164.50 c #Conflicts: 1271000 | #Constraints: 36635
2158.08/2164.50 c #Conflicts: 1272000 | #Constraints: 37635
2158.08/2164.50 c #Conflicts: 1273000 | #Constraints: 38635
2158.08/2164.50 c #Conflicts: 1274000 | #Constraints: 39635
2158.08/2164.50 c #Conflicts: 1275000 | #Constraints: 40635
2158.08/2164.50 c #Conflicts: 1276000 | #Constraints: 41635
2158.08/2164.50 c #Conflicts: 1277000 | #Constraints: 42635
2158.08/2164.50 c #Conflicts: 1278000 | #Constraints: 43635
2158.08/2164.50 c #Conflicts: 1279000 | #Constraints: 44635
2158.08/2164.50 c INPROCESSING
2158.08/2164.50 c GARBAGE COLLECT
2158.08/2164.50 c #Conflicts: 1280000 | #Constraints: 23232
2158.08/2164.50 c #Conflicts: 1281000 | #Constraints: 24232
2158.08/2164.50 c #Conflicts: 1282000 | #Constraints: 25232
2158.08/2164.50 c #Conflicts: 1283000 | #Constraints: 26232
2158.08/2164.50 c #Conflicts: 1284000 | #Constraints: 27232
2158.08/2164.50 c #Conflicts: 1285000 | #Constraints: 28232
2158.08/2164.50 c #Conflicts: 1286000 | #Constraints: 29232
2158.08/2164.50 c #Conflicts: 1287000 | #Constraints: 30232
2158.08/2164.50 c #Conflicts: 1288000 | #Constraints: 31232
2158.08/2164.50 c #Conflicts: 1289000 | #Constraints: 32232
2158.08/2164.50 c #Conflicts: 1290000 | #Constraints: 33232
2158.08/2164.50 c #Conflicts: 1291000 | #Constraints: 34232
2158.08/2164.50 c #Conflicts: 1292000 | #Constraints: 35232
2158.08/2164.50 c #Conflicts: 1293000 | #Constraints: 36232
2158.08/2164.50 c #Conflicts: 1294000 | #Constraints: 37232
2158.08/2164.50 c #Conflicts: 1295000 | #Constraints: 38232
2158.08/2164.50 c #Conflicts: 1296000 | #Constraints: 39232
2158.08/2164.50 c #Conflicts: 1297000 | #Constraints: 40232
2158.08/2164.50 c #Conflicts: 1298000 | #Constraints: 41232
2158.08/2164.50 c #Conflicts: 1299000 | #Constraints: 42232
2158.08/2164.50 c #Conflicts: 1300000 | #Constraints: 43232
2158.08/2164.50 c #Conflicts: 1301000 | #Constraints: 44232
2158.08/2164.50 c #Conflicts: 1302000 | #Constraints: 45232
2158.08/2164.50 c INPROCESSING
2158.08/2164.50 c GARBAGE COLLECT
2158.08/2164.50 c #Conflicts: 1303000 | #Constraints: 23631
2158.08/2164.50 c #Conflicts: 1304000 | #Constraints: 24631
2158.08/2164.50 c #Conflicts: 1305000 | #Constraints: 25631
2158.08/2164.50 c #Conflicts: 1306000 | #Constraints: 26631
2158.08/2164.50 c #Conflicts: 1307000 | #Constraints: 27631
2158.08/2164.50 c #Conflicts: 1308000 | #Constraints: 28631
2158.08/2164.50 c #Conflicts: 1309000 | #Constraints: 29631
2158.08/2164.50 c #Conflicts: 1310000 | #Constraints: 30631
2158.08/2164.50 c #Conflicts: 1311000 | #Constraints: 31631
2158.08/2164.50 c #Conflicts: 1312000 | #Constraints: 32631
2158.08/2164.50 c #Conflicts: 1313000 | #Constraints: 33631
2158.08/2164.50 c #Conflicts: 1314000 | #Constraints: 34631
2158.08/2164.50 c #Conflicts: 1315000 | #Constraints: 35631
2158.08/2164.50 c #Conflicts: 1316000 | #Constraints: 36631
2158.08/2164.50 c #Conflicts: 1317000 | #Constraints: 37631
2158.08/2164.50 c #Conflicts: 1318000 | #Constraints: 38631
2158.08/2164.50 c #Conflicts: 1319000 | #Constraints: 39631
2158.08/2164.50 c #Conflicts: 1320000 | #Constraints: 40631
2158.08/2164.50 c #Conflicts: 1321000 | #Constraints: 41631
2158.08/2164.50 c #Conflicts: 1322000 | #Constraints: 42631
2158.08/2164.50 c #Conflicts: 1323000 | #Constraints: 43631
2158.08/2164.50 c #Conflicts: 1324000 | #Constraints: 44631
2158.08/2164.50 c #Conflicts: 1325000 | #Constraints: 45631
2158.08/2164.50 c INPROCESSING
2158.08/2164.50 c GARBAGE COLLECT
2158.08/2164.50 c #Conflicts: 1326000 | #Constraints: 23836
2158.08/2164.50 c #Conflicts: 1327000 | #Constraints: 24836
2158.08/2164.50 c #Conflicts: 1328000 | #Constraints: 25836
2158.08/2164.50 c #Conflicts: 1329000 | #Constraints: 26836
2158.08/2164.50 c #Conflicts: 1330000 | #Constraints: 27836
2248.74/2255.43 c #Conflicts: 1331000 | #Constraints: 28836
2248.74/2255.43 c #Conflicts: 1332000 | #Constraints: 29836
2248.74/2255.43 c #Conflicts: 1333000 | #Constraints: 30836
2248.74/2255.43 c #Conflicts: 1334000 | #Constraints: 31836
2248.74/2255.43 c #Conflicts: 1335000 | #Constraints: 32836
2248.74/2255.43 c #Conflicts: 1336000 | #Constraints: 33836
2248.74/2255.43 c #Conflicts: 1337000 | #Constraints: 34836
2248.74/2255.43 c #Conflicts: 1338000 | #Constraints: 35836
2248.74/2255.43 c #Conflicts: 1339000 | #Constraints: 36836
2248.74/2255.43 c #Conflicts: 1340000 | #Constraints: 37836
2248.74/2255.43 c #Conflicts: 1341000 | #Constraints: 38836
2248.74/2255.43 c #Conflicts: 1342000 | #Constraints: 39836
2248.74/2255.43 c #Conflicts: 1343000 | #Constraints: 40836
2248.74/2255.43 c #Conflicts: 1344000 | #Constraints: 41836
2248.74/2255.43 c #Conflicts: 1345000 | #Constraints: 42836
2248.74/2255.43 c #Conflicts: 1346000 | #Constraints: 43836
2248.74/2255.43 c #Conflicts: 1347000 | #Constraints: 44836
2248.74/2255.43 c #Conflicts: 1348000 | #Constraints: 45836
2248.74/2255.43 c INPROCESSING
2248.74/2255.43 c GARBAGE COLLECT
2248.74/2255.43 c #Conflicts: 1349000 | #Constraints: 23837
2248.74/2255.43 c #Conflicts: 1350000 | #Constraints: 24837
2248.74/2255.43 c #Conflicts: 1351000 | #Constraints: 25837
2248.74/2255.43 c #Conflicts: 1352000 | #Constraints: 26837
2248.74/2255.43 c #Conflicts: 1353000 | #Constraints: 27837
2248.74/2255.43 c #Conflicts: 1354000 | #Constraints: 28837
2248.74/2255.43 c #Conflicts: 1355000 | #Constraints: 29837
2248.74/2255.43 c #Conflicts: 1356000 | #Constraints: 30837
2248.74/2255.43 c #Conflicts: 1357000 | #Constraints: 31837
2248.74/2255.43 c #Conflicts: 1358000 | #Constraints: 32837
2248.74/2255.43 c #Conflicts: 1359000 | #Constraints: 33837
2248.74/2255.43 c #Conflicts: 1360000 | #Constraints: 34837
2248.74/2255.43 c #Conflicts: 1361000 | #Constraints: 35837
2248.74/2255.43 c #Conflicts: 1362000 | #Constraints: 36837
2248.74/2255.43 c #Conflicts: 1363000 | #Constraints: 37837
2248.74/2255.43 c #Conflicts: 1364000 | #Constraints: 38837
2248.74/2255.43 c #Conflicts: 1365000 | #Constraints: 39837
2248.74/2255.43 c #Conflicts: 1366000 | #Constraints: 40837
2248.74/2255.43 c #Conflicts: 1367000 | #Constraints: 41837
2248.74/2255.43 c bounds 14 >= 0 @ 2242.36
2248.74/2255.43 c stratification level: 2
2457.27/2464.54 c #Conflicts: 1368000 | #Constraints: 42838
2457.27/2464.54 c #Conflicts: 1369000 | #Constraints: 43838
2457.27/2464.54 c #Conflicts: 1370000 | #Constraints: 44838
2457.27/2464.54 c #Conflicts: 1371000 | #Constraints: 45838
2457.27/2464.54 c INPROCESSING
2457.27/2464.54 c GARBAGE COLLECT
2457.27/2464.54 c #Conflicts: 1372000 | #Constraints: 23635
2457.27/2464.54 c #Conflicts: 1373000 | #Constraints: 24635
2457.27/2464.54 c #Conflicts: 1374000 | #Constraints: 25635
2457.27/2464.54 c #Conflicts: 1375000 | #Constraints: 26635
2457.27/2464.54 c #Conflicts: 1376000 | #Constraints: 27635
2457.27/2464.54 c #Conflicts: 1377000 | #Constraints: 28635
2457.27/2464.54 c #Conflicts: 1378000 | #Constraints: 29635
2457.27/2464.54 c #Conflicts: 1379000 | #Constraints: 30635
2457.27/2464.54 c #Conflicts: 1380000 | #Constraints: 31635
2457.27/2464.54 c #Conflicts: 1381000 | #Constraints: 32635
2457.27/2464.54 c #Conflicts: 1382000 | #Constraints: 33635
2457.27/2464.54 c #Conflicts: 1383000 | #Constraints: 34635
2457.27/2464.54 c #Conflicts: 1384000 | #Constraints: 35635
2457.27/2464.54 c #Conflicts: 1385000 | #Constraints: 36635
2457.27/2464.54 c #Conflicts: 1386000 | #Constraints: 37635
2457.27/2464.54 c #Conflicts: 1387000 | #Constraints: 38635
2457.27/2464.54 c #Conflicts: 1388000 | #Constraints: 39635
2457.27/2464.54 c #Conflicts: 1389000 | #Constraints: 40635
2457.27/2464.54 c #Conflicts: 1390000 | #Constraints: 41635
2457.27/2464.54 c #Conflicts: 1391000 | #Constraints: 42635
2457.27/2464.54 c #Conflicts: 1392000 | #Constraints: 43635
2457.27/2464.54 c #Conflicts: 1393000 | #Constraints: 44635
2457.27/2464.54 c #Conflicts: 1394000 | #Constraints: 45635
2457.27/2464.54 c #Conflicts: 1395000 | #Constraints: 46635
2457.27/2464.54 c INPROCESSING
2457.27/2464.54 c GARBAGE COLLECT
2457.27/2464.54 c #Conflicts: 1396000 | #Constraints: 24235
2457.27/2464.54 c #Conflicts: 1397000 | #Constraints: 25235
2457.27/2464.54 c #Conflicts: 1398000 | #Constraints: 26235
2457.27/2464.54 c #Conflicts: 1399000 | #Constraints: 27235
2457.27/2464.54 c #Conflicts: 1400000 | #Constraints: 28235
2457.27/2464.54 c #Conflicts: 1401000 | #Constraints: 29235
2457.27/2464.54 c #Conflicts: 1402000 | #Constraints: 30235
2457.27/2464.54 c #Conflicts: 1403000 | #Constraints: 31235
2457.27/2464.54 c #Conflicts: 1404000 | #Constraints: 32235
2457.27/2464.54 c #Conflicts: 1405000 | #Constraints: 33235
2457.27/2464.54 c #Conflicts: 1406000 | #Constraints: 34235
2457.27/2464.54 c #Conflicts: 1407000 | #Constraints: 35235
2457.27/2464.54 c #Conflicts: 1408000 | #Constraints: 36235
2457.27/2464.54 c #Conflicts: 1409000 | #Constraints: 37235
2457.27/2464.54 c #Conflicts: 1410000 | #Constraints: 38235
2457.27/2464.54 c #Conflicts: 1411000 | #Constraints: 39235
2457.27/2464.54 c #Conflicts: 1412000 | #Constraints: 40235
2457.27/2464.54 c #Conflicts: 1413000 | #Constraints: 41235
2457.27/2464.54 c #Conflicts: 1414000 | #Constraints: 42235
2457.27/2464.54 c #Conflicts: 1415000 | #Constraints: 43235
2457.27/2464.54 c #Conflicts: 1416000 | #Constraints: 44235
2457.27/2464.54 c #Conflicts: 1417000 | #Constraints: 45235
2457.27/2464.54 c #Conflicts: 1418000 | #Constraints: 46235
2457.27/2464.54 c #Conflicts: 1419000 | #Constraints: 47235
2457.27/2464.54 c INPROCESSING
2457.27/2464.54 c GARBAGE COLLECT
2457.27/2464.54 c #Conflicts: 1420000 | #Constraints: 24634
2457.27/2464.54 c #Conflicts: 1421000 | #Constraints: 25634
2457.27/2464.54 c #Conflicts: 1422000 | #Constraints: 26634
2457.27/2464.54 c #Conflicts: 1423000 | #Constraints: 27634
2457.27/2464.54 c #Conflicts: 1424000 | #Constraints: 28634
2457.27/2464.54 c #Conflicts: 1425000 | #Constraints: 29634
2457.27/2464.54 c #Conflicts: 1426000 | #Constraints: 30634
2457.27/2464.54 c #Conflicts: 1427000 | #Constraints: 31634
2457.27/2464.54 c #Conflicts: 1428000 | #Constraints: 32634
2457.27/2464.54 c #Conflicts: 1429000 | #Constraints: 33634
2457.27/2464.54 c #Conflicts: 1430000 | #Constraints: 34634
2457.27/2464.54 c #Conflicts: 1431000 | #Constraints: 35634
2457.27/2464.54 c #Conflicts: 1432000 | #Constraints: 36634
2457.27/2464.54 c #Conflicts: 1433000 | #Constraints: 37634
2457.27/2464.54 c #Conflicts: 1434000 | #Constraints: 38634
2457.27/2464.54 c #Conflicts: 1435000 | #Constraints: 39634
2457.27/2464.54 c #Conflicts: 1436000 | #Constraints: 40634
2457.27/2464.54 c #Conflicts: 1437000 | #Constraints: 41634
2457.27/2464.54 c #Conflicts: 1438000 | #Constraints: 42634
2457.27/2464.54 c #Conflicts: 1439000 | #Constraints: 43634
2457.27/2464.54 c #Conflicts: 1440000 | #Constraints: 44634
2457.27/2464.54 c #Conflicts: 1441000 | #Constraints: 45634
2457.27/2464.54 c #Conflicts: 1442000 | #Constraints: 46634
2457.27/2464.54 c #Conflicts: 1443000 | #Constraints: 47634
2457.27/2464.54 c INPROCESSING
2457.27/2464.54 c GARBAGE COLLECT
2457.27/2464.54 c #Conflicts: 1444000 | #Constraints: 24834
2673.38/2681.27 c #Conflicts: 1445000 | #Constraints: 25834
2673.38/2681.27 c #Conflicts: 1446000 | #Constraints: 26834
2673.38/2681.27 c #Conflicts: 1447000 | #Constraints: 27834
2673.38/2681.27 c #Conflicts: 1448000 | #Constraints: 28834
2673.38/2681.27 c #Conflicts: 1449000 | #Constraints: 29834
2673.38/2681.27 c #Conflicts: 1450000 | #Constraints: 30834
2673.38/2681.27 c #Conflicts: 1451000 | #Constraints: 31834
2673.38/2681.27 c #Conflicts: 1452000 | #Constraints: 32834
2673.38/2681.27 c #Conflicts: 1453000 | #Constraints: 33834
2673.38/2681.27 c #Conflicts: 1454000 | #Constraints: 34834
2673.38/2681.27 c #Conflicts: 1455000 | #Constraints: 35834
2673.38/2681.27 c #Conflicts: 1456000 | #Constraints: 36834
2673.38/2681.27 c #Conflicts: 1457000 | #Constraints: 37834
2673.38/2681.27 c #Conflicts: 1458000 | #Constraints: 38834
2673.38/2681.27 c #Conflicts: 1459000 | #Constraints: 39834
2673.38/2681.27 c #Conflicts: 1460000 | #Constraints: 40834
2673.38/2681.27 c #Conflicts: 1461000 | #Constraints: 41834
2673.38/2681.27 c #Conflicts: 1462000 | #Constraints: 42834
2673.38/2681.27 c #Conflicts: 1463000 | #Constraints: 43834
2673.38/2681.27 c #Conflicts: 1464000 | #Constraints: 44834
2673.38/2681.27 c #Conflicts: 1465000 | #Constraints: 45834
2673.38/2681.27 c #Conflicts: 1466000 | #Constraints: 46834
2673.38/2681.27 c #Conflicts: 1467000 | #Constraints: 47834
2673.38/2681.27 c INPROCESSING
2673.38/2681.27 c GARBAGE COLLECT
2673.38/2681.27 c #Conflicts: 1468000 | #Constraints: 24832
2673.38/2681.27 c #Conflicts: 1469000 | #Constraints: 25832
2673.38/2681.27 c #Conflicts: 1470000 | #Constraints: 26832
2673.38/2681.27 c #Conflicts: 1471000 | #Constraints: 27832
2673.38/2681.27 c #Conflicts: 1472000 | #Constraints: 28832
2673.38/2681.27 c #Conflicts: 1473000 | #Constraints: 29832
2673.38/2681.27 c #Conflicts: 1474000 | #Constraints: 30832
2673.38/2681.27 c #Conflicts: 1475000 | #Constraints: 31832
2673.38/2681.27 c #Conflicts: 1476000 | #Constraints: 32832
2673.38/2681.27 c #Conflicts: 1477000 | #Constraints: 33832
2673.38/2681.27 c #Conflicts: 1478000 | #Constraints: 34832
2673.38/2681.27 c #Conflicts: 1479000 | #Constraints: 35832
2673.38/2681.27 c #Conflicts: 1480000 | #Constraints: 36832
2673.38/2681.27 c #Conflicts: 1481000 | #Constraints: 37832
2673.38/2681.27 c #Conflicts: 1482000 | #Constraints: 38832
2673.38/2681.27 c #Conflicts: 1483000 | #Constraints: 39832
2673.38/2681.27 c #Conflicts: 1484000 | #Constraints: 40832
2673.38/2681.27 c #Conflicts: 1485000 | #Constraints: 41832
2673.38/2681.27 c #Conflicts: 1486000 | #Constraints: 42832
2673.38/2681.27 c #Conflicts: 1487000 | #Constraints: 43832
2673.38/2681.27 c #Conflicts: 1488000 | #Constraints: 44832
2673.38/2681.27 c #Conflicts: 1489000 | #Constraints: 45832
2673.38/2681.27 c #Conflicts: 1490000 | #Constraints: 46832
2673.38/2681.27 c #Conflicts: 1491000 | #Constraints: 47832
2673.38/2681.27 c INPROCESSING
2673.38/2681.27 c GARBAGE COLLECT
2673.38/2681.27 c #Conflicts: 1492000 | #Constraints: 24632
2673.38/2681.27 c #Conflicts: 1493000 | #Constraints: 25632
2673.38/2681.27 c #Conflicts: 1494000 | #Constraints: 26632
2673.38/2681.27 c #Conflicts: 1495000 | #Constraints: 27632
2673.38/2681.27 c #Conflicts: 1496000 | #Constraints: 28632
2673.38/2681.27 c #Conflicts: 1497000 | #Constraints: 29632
2673.38/2681.27 c #Conflicts: 1498000 | #Constraints: 30632
2673.38/2681.27 c #Conflicts: 1499000 | #Constraints: 31632
2673.38/2681.27 c #Conflicts: 1500000 | #Constraints: 32632
2673.38/2681.27 c #Conflicts: 1501000 | #Constraints: 33632
2673.38/2681.27 c #Conflicts: 1502000 | #Constraints: 34632
2673.38/2681.27 c #Conflicts: 1503000 | #Constraints: 35632
2673.38/2681.27 c #Conflicts: 1504000 | #Constraints: 36632
2673.38/2681.27 c #Conflicts: 1505000 | #Constraints: 37632
2673.38/2681.27 c #Conflicts: 1506000 | #Constraints: 38632
2673.38/2681.27 c #Conflicts: 1507000 | #Constraints: 39632
2673.38/2681.27 c #Conflicts: 1508000 | #Constraints: 40632
2673.38/2681.27 c #Conflicts: 1509000 | #Constraints: 41632
2673.38/2681.27 c #Conflicts: 1510000 | #Constraints: 42632
2673.38/2681.27 c #Conflicts: 1511000 | #Constraints: 43632
2673.38/2681.27 c #Conflicts: 1512000 | #Constraints: 44632
2673.38/2681.27 c #Conflicts: 1513000 | #Constraints: 45632
2673.38/2681.27 c #Conflicts: 1514000 | #Constraints: 46632
2673.38/2681.27 c #Conflicts: 1515000 | #Constraints: 47632
2673.38/2681.27 c #Conflicts: 1516000 | #Constraints: 48632
2673.38/2681.27 c INPROCESSING
2673.38/2681.27 c GARBAGE COLLECT
2673.38/2681.27 c #Conflicts: 1517000 | #Constraints: 25232
2673.38/2681.27 c #Conflicts: 1518000 | #Constraints: 26232
2673.38/2681.27 c #Conflicts: 1519000 | #Constraints: 27232
2673.38/2681.27 c #Conflicts: 1520000 | #Constraints: 28232
2673.38/2681.27 c #Conflicts: 1521000 | #Constraints: 29232
2912.44/2920.94 c #Conflicts: 1522000 | #Constraints: 30232
2912.44/2920.94 c #Conflicts: 1523000 | #Constraints: 31232
2912.44/2920.94 c #Conflicts: 1524000 | #Constraints: 32232
2912.44/2920.94 c #Conflicts: 1525000 | #Constraints: 33232
2912.44/2920.94 c #Conflicts: 1526000 | #Constraints: 34232
2912.44/2920.94 c #Conflicts: 1527000 | #Constraints: 35232
2912.44/2920.94 c #Conflicts: 1528000 | #Constraints: 36232
2912.44/2920.94 c #Conflicts: 1529000 | #Constraints: 37232
2912.44/2920.94 c #Conflicts: 1530000 | #Constraints: 38232
2912.44/2920.94 c #Conflicts: 1531000 | #Constraints: 39232
2912.44/2920.94 c #Conflicts: 1532000 | #Constraints: 40232
2912.44/2920.94 c #Conflicts: 1533000 | #Constraints: 41232
2912.44/2920.94 c #Conflicts: 1534000 | #Constraints: 42232
2912.44/2920.94 c #Conflicts: 1535000 | #Constraints: 43232
2912.44/2920.94 c #Conflicts: 1536000 | #Constraints: 44232
2912.44/2920.94 c #Conflicts: 1537000 | #Constraints: 45232
2912.44/2920.94 c #Conflicts: 1538000 | #Constraints: 46232
2912.44/2920.94 c #Conflicts: 1539000 | #Constraints: 47232
2912.44/2920.94 c #Conflicts: 1540000 | #Constraints: 48232
2912.44/2920.94 c #Conflicts: 1541000 | #Constraints: 49232
2912.44/2920.94 c INPROCESSING
2912.44/2920.94 c GARBAGE COLLECT
2912.44/2920.94 c #Conflicts: 1542000 | #Constraints: 25634
2912.44/2920.94 c #Conflicts: 1543000 | #Constraints: 26634
2912.44/2920.94 c #Conflicts: 1544000 | #Constraints: 27634
2912.44/2920.94 c #Conflicts: 1545000 | #Constraints: 28634
2912.44/2920.94 c #Conflicts: 1546000 | #Constraints: 29634
2912.44/2920.94 c #Conflicts: 1547000 | #Constraints: 30634
2912.44/2920.94 c #Conflicts: 1548000 | #Constraints: 31634
2912.44/2920.94 c #Conflicts: 1549000 | #Constraints: 32634
2912.44/2920.94 c #Conflicts: 1550000 | #Constraints: 33634
2912.44/2920.94 c #Conflicts: 1551000 | #Constraints: 34634
2912.44/2920.94 c #Conflicts: 1552000 | #Constraints: 35634
2912.44/2920.94 c #Conflicts: 1553000 | #Constraints: 36634
2912.44/2920.94 c #Conflicts: 1554000 | #Constraints: 37634
2912.44/2920.94 c #Conflicts: 1555000 | #Constraints: 38634
2912.44/2920.94 c #Conflicts: 1556000 | #Constraints: 39634
2912.44/2920.94 c #Conflicts: 1557000 | #Constraints: 40634
2912.44/2920.94 c #Conflicts: 1558000 | #Constraints: 41634
2912.44/2920.94 c #Conflicts: 1559000 | #Constraints: 42634
2912.44/2920.94 c #Conflicts: 1560000 | #Constraints: 43634
2912.44/2920.94 c #Conflicts: 1561000 | #Constraints: 44634
2912.44/2920.94 c #Conflicts: 1562000 | #Constraints: 45634
2912.44/2920.94 c #Conflicts: 1563000 | #Constraints: 46634
2912.44/2920.94 c #Conflicts: 1564000 | #Constraints: 47634
2912.44/2920.94 c #Conflicts: 1565000 | #Constraints: 48634
2912.44/2920.94 c #Conflicts: 1566000 | #Constraints: 49634
2912.44/2920.94 c INPROCESSING
2912.44/2920.94 c GARBAGE COLLECT
2912.44/2920.94 c #Conflicts: 1567000 | #Constraints: 25835
2912.44/2920.94 c #Conflicts: 1568000 | #Constraints: 26835
2912.44/2920.94 c #Conflicts: 1569000 | #Constraints: 27835
2912.44/2920.94 c #Conflicts: 1570000 | #Constraints: 28835
2912.44/2920.94 c #Conflicts: 1571000 | #Constraints: 29835
2912.44/2920.94 c #Conflicts: 1572000 | #Constraints: 30835
2912.44/2920.94 c #Conflicts: 1573000 | #Constraints: 31835
2912.44/2920.94 c #Conflicts: 1574000 | #Constraints: 32835
2912.44/2920.94 c #Conflicts: 1575000 | #Constraints: 33835
2912.44/2920.94 c #Conflicts: 1576000 | #Constraints: 34835
2912.44/2920.94 c #Conflicts: 1577000 | #Constraints: 35835
2912.44/2920.94 c #Conflicts: 1578000 | #Constraints: 36835
2912.44/2920.94 c #Conflicts: 1579000 | #Constraints: 37835
2912.44/2920.94 c #Conflicts: 1580000 | #Constraints: 38835
2912.44/2920.94 c #Conflicts: 1581000 | #Constraints: 39835
2912.44/2920.94 c #Conflicts: 1582000 | #Constraints: 40835
2912.44/2920.94 c #Conflicts: 1583000 | #Constraints: 41835
2912.44/2920.94 c #Conflicts: 1584000 | #Constraints: 42835
2912.44/2920.94 c #Conflicts: 1585000 | #Constraints: 43835
2912.44/2920.94 c #Conflicts: 1586000 | #Constraints: 44835
2912.44/2920.94 c #Conflicts: 1587000 | #Constraints: 45835
2912.44/2920.94 c #Conflicts: 1588000 | #Constraints: 46835
2912.44/2920.94 c #Conflicts: 1589000 | #Constraints: 47835
2912.44/2920.94 c #Conflicts: 1590000 | #Constraints: 48835
2912.44/2920.94 c #Conflicts: 1591000 | #Constraints: 49835
2912.44/2920.94 c INPROCESSING
2912.44/2920.94 c GARBAGE COLLECT
2912.44/2920.94 c #Conflicts: 1592000 | #Constraints: 25834
2912.44/2920.94 c #Conflicts: 1593000 | #Constraints: 26834
2912.44/2920.94 c #Conflicts: 1594000 | #Constraints: 27834
2912.44/2920.94 c #Conflicts: 1595000 | #Constraints: 28834
2912.44/2920.94 c #Conflicts: 1596000 | #Constraints: 29834
2912.44/2920.94 c #Conflicts: 1597000 | #Constraints: 30834
3181.70/3190.97 c #Conflicts: 1598000 | #Constraints: 31834
3181.70/3190.97 c #Conflicts: 1599000 | #Constraints: 32834
3181.70/3190.97 c #Conflicts: 1600000 | #Constraints: 33834
3181.70/3190.97 c #Conflicts: 1601000 | #Constraints: 34834
3181.70/3190.97 c #Conflicts: 1602000 | #Constraints: 35834
3181.70/3190.97 c #Conflicts: 1603000 | #Constraints: 36834
3181.70/3190.97 c #Conflicts: 1604000 | #Constraints: 37834
3181.70/3190.97 c #Conflicts: 1605000 | #Constraints: 38834
3181.70/3190.97 c #Conflicts: 1606000 | #Constraints: 39834
3181.70/3190.97 c #Conflicts: 1607000 | #Constraints: 40834
3181.70/3190.97 c #Conflicts: 1608000 | #Constraints: 41834
3181.70/3190.97 c #Conflicts: 1609000 | #Constraints: 42834
3181.70/3190.97 c #Conflicts: 1610000 | #Constraints: 43834
3181.70/3190.97 c #Conflicts: 1611000 | #Constraints: 44834
3181.70/3190.97 c #Conflicts: 1612000 | #Constraints: 45834
3181.70/3190.97 c #Conflicts: 1613000 | #Constraints: 46834
3181.70/3190.97 c #Conflicts: 1614000 | #Constraints: 47834
3181.70/3190.97 c #Conflicts: 1615000 | #Constraints: 48834
3181.70/3190.97 c #Conflicts: 1616000 | #Constraints: 49834
3181.70/3190.97 c INPROCESSING
3181.70/3190.97 c GARBAGE COLLECT
3181.70/3190.97 c #Conflicts: 1617000 | #Constraints: 25635
3181.70/3190.97 c #Conflicts: 1618000 | #Constraints: 26635
3181.70/3190.97 c #Conflicts: 1619000 | #Constraints: 27635
3181.70/3190.97 c #Conflicts: 1620000 | #Constraints: 28635
3181.70/3190.97 c #Conflicts: 1621000 | #Constraints: 29635
3181.70/3190.97 c #Conflicts: 1622000 | #Constraints: 30635
3181.70/3190.97 c #Conflicts: 1623000 | #Constraints: 31635
3181.70/3190.97 c #Conflicts: 1624000 | #Constraints: 32635
3181.70/3190.97 c #Conflicts: 1625000 | #Constraints: 33635
3181.70/3190.97 c #Conflicts: 1626000 | #Constraints: 34635
3181.70/3190.97 c #Conflicts: 1627000 | #Constraints: 35635
3181.70/3190.97 c #Conflicts: 1628000 | #Constraints: 36635
3181.70/3190.97 c #Conflicts: 1629000 | #Constraints: 37635
3181.70/3190.97 c #Conflicts: 1630000 | #Constraints: 38635
3181.70/3190.97 c #Conflicts: 1631000 | #Constraints: 39635
3181.70/3190.97 c #Conflicts: 1632000 | #Constraints: 40635
3181.70/3190.97 c #Conflicts: 1633000 | #Constraints: 41635
3181.70/3190.97 c #Conflicts: 1634000 | #Constraints: 42635
3181.70/3190.97 c #Conflicts: 1635000 | #Constraints: 43635
3181.70/3190.97 c #Conflicts: 1636000 | #Constraints: 44635
3181.70/3190.97 c #Conflicts: 1637000 | #Constraints: 45635
3181.70/3190.97 c #Conflicts: 1638000 | #Constraints: 46635
3181.70/3190.97 c #Conflicts: 1639000 | #Constraints: 47635
3181.70/3190.97 c #Conflicts: 1640000 | #Constraints: 48635
3181.70/3190.97 c #Conflicts: 1641000 | #Constraints: 49635
3181.70/3190.97 c #Conflicts: 1642000 | #Constraints: 50635
3181.70/3190.97 c INPROCESSING
3181.70/3190.97 c GARBAGE COLLECT
3181.70/3190.97 c #Conflicts: 1643000 | #Constraints: 26231
3181.70/3190.97 c #Conflicts: 1644000 | #Constraints: 27231
3181.70/3190.97 c #Conflicts: 1645000 | #Constraints: 28231
3181.70/3190.97 c #Conflicts: 1646000 | #Constraints: 29231
3181.70/3190.97 c #Conflicts: 1647000 | #Constraints: 30231
3181.70/3190.97 c #Conflicts: 1648000 | #Constraints: 31231
3181.70/3190.97 c #Conflicts: 1649000 | #Constraints: 32231
3181.70/3190.97 c #Conflicts: 1650000 | #Constraints: 33231
3181.70/3190.97 c #Conflicts: 1651000 | #Constraints: 34231
3181.70/3190.97 c #Conflicts: 1652000 | #Constraints: 35231
3181.70/3190.97 c #Conflicts: 1653000 | #Constraints: 36231
3181.70/3190.97 c #Conflicts: 1654000 | #Constraints: 37231
3181.70/3190.97 c #Conflicts: 1655000 | #Constraints: 38231
3181.70/3190.97 c #Conflicts: 1656000 | #Constraints: 39231
3181.70/3190.97 c #Conflicts: 1657000 | #Constraints: 40231
3181.70/3190.97 c #Conflicts: 1658000 | #Constraints: 41231
3181.70/3190.97 c #Conflicts: 1659000 | #Constraints: 42231
3181.70/3190.97 c #Conflicts: 1660000 | #Constraints: 43231
3181.70/3190.97 c #Conflicts: 1661000 | #Constraints: 44231
3181.70/3190.97 c #Conflicts: 1662000 | #Constraints: 45231
3181.70/3190.97 c #Conflicts: 1663000 | #Constraints: 46231
3181.70/3190.97 c #Conflicts: 1664000 | #Constraints: 47231
3181.70/3190.97 c #Conflicts: 1665000 | #Constraints: 48231
3181.70/3190.97 c #Conflicts: 1666000 | #Constraints: 49231
3181.70/3190.97 c #Conflicts: 1667000 | #Constraints: 50231
3181.70/3190.97 c #Conflicts: 1668000 | #Constraints: 51231
3181.70/3190.97 c INPROCESSING
3181.70/3190.97 c GARBAGE COLLECT
3181.70/3190.97 c #Conflicts: 1669000 | #Constraints: 26632
3181.70/3190.97 c #Conflicts: 1670000 | #Constraints: 27632
3181.70/3190.97 c #Conflicts: 1671000 | #Constraints: 28632
3181.70/3190.97 c #Conflicts: 1672000 | #Constraints: 29632
3181.70/3190.97 c #Conflicts: 1673000 | #Constraints: 30632
3181.70/3190.97 c #Conflicts: 1674000 | #Constraints: 31632
3450.96/3460.90 c #Conflicts: 1675000 | #Constraints: 32632
3450.96/3460.90 c #Conflicts: 1676000 | #Constraints: 33632
3450.96/3460.90 c #Conflicts: 1677000 | #Constraints: 34632
3450.96/3460.90 c #Conflicts: 1678000 | #Constraints: 35632
3450.96/3460.90 c #Conflicts: 1679000 | #Constraints: 36632
3450.96/3460.90 c #Conflicts: 1680000 | #Constraints: 37632
3450.96/3460.90 c #Conflicts: 1681000 | #Constraints: 38632
3450.96/3460.90 c #Conflicts: 1682000 | #Constraints: 39632
3450.96/3460.90 c #Conflicts: 1683000 | #Constraints: 40632
3450.96/3460.90 c #Conflicts: 1684000 | #Constraints: 41632
3450.96/3460.90 c #Conflicts: 1685000 | #Constraints: 42632
3450.96/3460.90 c #Conflicts: 1686000 | #Constraints: 43632
3450.96/3460.90 c #Conflicts: 1687000 | #Constraints: 44632
3450.96/3460.90 c #Conflicts: 1688000 | #Constraints: 45632
3450.96/3460.90 c #Conflicts: 1689000 | #Constraints: 46632
3450.96/3460.90 c #Conflicts: 1690000 | #Constraints: 47632
3450.96/3460.90 c #Conflicts: 1691000 | #Constraints: 48632
3450.96/3460.90 c #Conflicts: 1692000 | #Constraints: 49632
3450.96/3460.90 c #Conflicts: 1693000 | #Constraints: 50632
3450.96/3460.90 c #Conflicts: 1694000 | #Constraints: 51632
3450.96/3460.90 c INPROCESSING
3450.96/3460.90 c GARBAGE COLLECT
3450.96/3460.90 c #Conflicts: 1695000 | #Constraints: 26830
3450.96/3460.90 c #Conflicts: 1696000 | #Constraints: 27830
3450.96/3460.90 c #Conflicts: 1697000 | #Constraints: 28830
3450.96/3460.90 c #Conflicts: 1698000 | #Constraints: 29830
3450.96/3460.90 c #Conflicts: 1699000 | #Constraints: 30830
3450.96/3460.90 c #Conflicts: 1700000 | #Constraints: 31830
3450.96/3460.90 c #Conflicts: 1701000 | #Constraints: 32830
3450.96/3460.90 c #Conflicts: 1702000 | #Constraints: 33830
3450.96/3460.90 c #Conflicts: 1703000 | #Constraints: 34830
3450.96/3460.90 c #Conflicts: 1704000 | #Constraints: 35830
3450.96/3460.90 c #Conflicts: 1705000 | #Constraints: 36830
3450.96/3460.90 c #Conflicts: 1706000 | #Constraints: 37830
3450.96/3460.90 c #Conflicts: 1707000 | #Constraints: 38830
3450.96/3460.90 c #Conflicts: 1708000 | #Constraints: 39830
3450.96/3460.90 c #Conflicts: 1709000 | #Constraints: 40830
3450.96/3460.90 c #Conflicts: 1710000 | #Constraints: 41830
3450.96/3460.90 c #Conflicts: 1711000 | #Constraints: 42830
3450.96/3460.90 c #Conflicts: 1712000 | #Constraints: 43830
3450.96/3460.90 c #Conflicts: 1713000 | #Constraints: 44830
3450.96/3460.90 c #Conflicts: 1714000 | #Constraints: 45830
3450.96/3460.90 c #Conflicts: 1715000 | #Constraints: 46830
3450.96/3460.90 c #Conflicts: 1716000 | #Constraints: 47830
3450.96/3460.90 c #Conflicts: 1717000 | #Constraints: 48830
3450.96/3460.90 c #Conflicts: 1718000 | #Constraints: 49830
3450.96/3460.90 c #Conflicts: 1719000 | #Constraints: 50830
3450.96/3460.90 c #Conflicts: 1720000 | #Constraints: 51830
3450.96/3460.90 c INPROCESSING
3450.96/3460.90 c GARBAGE COLLECT
3450.96/3460.90 c #Conflicts: 1721000 | #Constraints: 26833
3450.96/3460.90 c #Conflicts: 1722000 | #Constraints: 27833
3450.96/3460.90 c #Conflicts: 1723000 | #Constraints: 28833
3450.96/3460.90 c #Conflicts: 1724000 | #Constraints: 29833
3450.96/3460.90 c #Conflicts: 1725000 | #Constraints: 30833
3450.96/3460.90 c #Conflicts: 1726000 | #Constraints: 31833
3450.96/3460.90 c #Conflicts: 1727000 | #Constraints: 32833
3450.96/3460.90 c #Conflicts: 1728000 | #Constraints: 33833
3450.96/3460.90 c #Conflicts: 1729000 | #Constraints: 34833
3450.96/3460.90 c #Conflicts: 1730000 | #Constraints: 35833
3450.96/3460.90 c #Conflicts: 1731000 | #Constraints: 36833
3450.96/3460.90 c #Conflicts: 1732000 | #Constraints: 37833
3450.96/3460.90 c #Conflicts: 1733000 | #Constraints: 38833
3450.96/3460.90 c #Conflicts: 1734000 | #Constraints: 39833
3450.96/3460.90 c #Conflicts: 1735000 | #Constraints: 40833
3450.96/3460.90 c #Conflicts: 1736000 | #Constraints: 41833
3450.96/3460.90 c #Conflicts: 1737000 | #Constraints: 42833
3450.96/3460.90 c #Conflicts: 1738000 | #Constraints: 43833
3450.96/3460.90 c #Conflicts: 1739000 | #Constraints: 44833
3450.96/3460.90 c #Conflicts: 1740000 | #Constraints: 45833
3450.96/3460.90 c #Conflicts: 1741000 | #Constraints: 46833
3450.96/3460.90 c #Conflicts: 1742000 | #Constraints: 47833
3450.96/3460.90 c #Conflicts: 1743000 | #Constraints: 48833
3450.96/3460.90 c #Conflicts: 1744000 | #Constraints: 49833
3450.96/3460.90 c #Conflicts: 1745000 | #Constraints: 50833
3450.96/3460.90 c #Conflicts: 1746000 | #Constraints: 51833
3450.96/3460.90 c INPROCESSING
3450.96/3460.90 c GARBAGE COLLECT
3450.96/3460.90 c #Conflicts: 1747000 | #Constraints: 26633
3450.96/3460.90 c #Conflicts: 1748000 | #Constraints: 27633
3450.96/3460.90 c #Conflicts: 1749000 | #Constraints: 28633
3450.96/3460.90 c #Conflicts: 1750000 | #Constraints: 29633
3450.96/3460.90 c #Conflicts: 1751000 | #Constraints: 30633
3600.05/3610.40 c #Conflicts: 1752000 | #Constraints: 31633
3600.05/3610.40 c #Conflicts: 1753000 | #Constraints: 32633
3600.05/3610.40 c #Conflicts: 1754000 | #Constraints: 33633
3600.05/3610.40 c #Conflicts: 1755000 | #Constraints: 34633
3600.05/3610.40 c #Conflicts: 1756000 | #Constraints: 35633
3600.05/3610.40 c #Conflicts: 1757000 | #Constraints: 36633
3600.05/3610.40 c #Conflicts: 1758000 | #Constraints: 37633
3600.05/3610.40 c #Conflicts: 1759000 | #Constraints: 38633
3600.05/3610.40 c #Conflicts: 1760000 | #Constraints: 39633
3600.05/3610.40 c #Conflicts: 1761000 | #Constraints: 40633
3600.05/3610.40 c #Conflicts: 1762000 | #Constraints: 41633
3600.05/3610.40 c #Conflicts: 1763000 | #Constraints: 42633
3600.05/3610.40 c #Conflicts: 1764000 | #Constraints: 43633
3600.05/3610.40 c #Conflicts: 1765000 | #Constraints: 44633
3600.05/3610.40 c #Conflicts: 1766000 | #Constraints: 45633
3600.05/3610.40 c #Conflicts: 1767000 | #Constraints: 46633
3600.05/3610.40 c #Conflicts: 1768000 | #Constraints: 47633
3600.05/3610.40 c #Conflicts: 1769000 | #Constraints: 48633
3600.05/3610.40 c #Conflicts: 1770000 | #Constraints: 49633
3600.05/3610.40 c #Conflicts: 1771000 | #Constraints: 50633
3600.05/3610.40 c #Conflicts: 1772000 | #Constraints: 51633
3600.05/3610.40 c #Conflicts: 1773000 | #Constraints: 52633
3600.05/3610.40 c INPROCESSING
3600.05/3610.40 c GARBAGE COLLECT
3600.05/3610.40 c #Conflicts: 1774000 | #Constraints: 27233
3600.05/3610.40 c #Conflicts: 1775000 | #Constraints: 28233
3600.05/3610.40 c #Conflicts: 1776000 | #Constraints: 29233
3600.05/3610.40 c #Conflicts: 1777000 | #Constraints: 30233
3600.05/3610.40 c #Conflicts: 1778000 | #Constraints: 31233
3600.05/3610.40 c #Conflicts: 1779000 | #Constraints: 32233
3600.05/3610.40 c #Conflicts: 1780000 | #Constraints: 33233
3600.05/3610.40 c #Conflicts: 1781000 | #Constraints: 34233
3600.05/3610.40 c #Conflicts: 1782000 | #Constraints: 35233
3600.05/3610.40 c #Conflicts: 1783000 | #Constraints: 36233
3600.05/3610.40 c #Conflicts: 1784000 | #Constraints: 37233
3600.05/3610.40 c #Conflicts: 1785000 | #Constraints: 38233
3600.05/3610.40 c #Conflicts: 1786000 | #Constraints: 39233
3600.05/3610.40 c #Conflicts: 1787000 | #Constraints: 40233
3600.05/3610.40 c #Conflicts: 1788000 | #Constraints: 41233
3600.05/3610.40 c #Conflicts: 1789000 | #Constraints: 42233
3600.05/3610.40 c #Conflicts: 1790000 | #Constraints: 43233
3600.05/3610.40 c #Conflicts: 1791000 | #Constraints: 44233
3600.05/3610.40 c #Conflicts: 1792000 | #Constraints: 45233
3600.05/3610.40 c #Conflicts: 1793000 | #Constraints: 46233
3600.05/3610.40 c #Conflicts: 1794000 | #Constraints: 47233
3600.05/3610.40 c Program interrupted by user.
3600.05/3610.40 c cpu time 3591.77 s
3600.05/3610.40 c deterministic time 565104857789 5.65e+11
3600.05/3610.40 c optimization time 72.2064 s
3600.05/3610.40 c total solve time 3220.46 s
3600.05/3610.40 c core-guided solve time 3220.46 s
3600.05/3610.40 c propagation time 3119.27 s
3600.05/3610.40 c conflict analysis time 158.06 s
3600.05/3610.40 c propagations 22779697
3600.05/3610.40 c resolve steps 8599243
3600.05/3610.40 c decisions 3304393
3600.05/3610.40 c conflicts 1794597
3600.05/3610.40 c restarts 3482
3600.05/3610.40 c inprocessing phases 124
3600.05/3610.40 c input clauses 0
3600.05/3610.40 c input cardinalities 0
3600.05/3610.40 c input general constraints 18
3600.05/3610.40 c input average constraint length 76.67
3600.05/3610.40 c input average constraint degree 1659.22
3600.05/3610.40 c learned clauses 965875
3600.05/3610.40 c learned cardinalities 0
3600.05/3610.40 c learned general constraints 828721
3600.05/3610.40 c learned average constraint length 64.07
3600.05/3610.40 c learned average constraint degree 121541.27
3600.05/3610.40 c watched constraints 804681
3600.05/3610.40 c counting constraints 24058
3600.05/3610.40 c gcd simplifications 862569
3600.05/3610.40 c detected cardinalities 0
3600.05/3610.40 c weakened non-implied lits 31249882
3600.05/3610.40 c weakened non-implying lits 2267138
3600.05/3610.40 c original variables 172
3600.05/3610.40 c clausal propagations 339527
3600.05/3610.40 c cardinality propagations 0
3600.05/3610.40 c watched propagations 15244122
3600.05/3610.40 c counting propagations 5780986
3600.05/3610.40 c watch lookups 31655239787
3600.05/3610.40 c watch backjump lookups 17846790969
3600.05/3610.40 c watch checks 401877702478
3600.05/3610.40 c propagation checks 112878565085
3600.05/3610.40 c constraint additions 792596849
3600.05/3610.40 c trail pops 27878530
3600.05/3610.40 c formula constraints 14
3600.05/3610.40 c learned constraints 1794596
3600.05/3610.40 c bound constraints 4
3600.05/3610.40 c core-guided constraints 0
3600.05/3610.40 c encountered formula constraints 2571784
3600.05/3610.40 c encountered learned constraints 7821892
3600.05/3610.40 c encountered bound constraints 164
3600.05/3610.40 c encountered core-guided constraints 0
3600.05/3610.40 c LP total time 0 s
3600.05/3610.40 c LP solve time 0 s
3600.05/3610.40 c LP constraints added 0
3600.05/3610.40 c LP constraints removed 0
3600.05/3610.40 c LP pivots internal 0
3600.05/3610.40 c LP pivots root 0
3600.05/3610.40 c LP calls 0
3600.05/3610.40 c LP optimalities 0
3600.05/3610.40 c LP no pivot count 0
3600.05/3610.40 c LP infeasibilities 0
3600.05/3610.40 c LP valid Farkas constraints 0
3600.05/3610.40 c LP learned Farkas constraints 0
3600.05/3610.40 c LP basis resets 0
3600.05/3610.40 c LP cycling count 0
3600.05/3610.40 c LP singular count 0
3600.05/3610.40 c LP no primal count 0
3600.05/3610.40 c LP no farkas count 0
3600.05/3610.40 c LP other issue count 0
3600.05/3610.40 c LP Gomory cuts 0
3600.05/3610.40 c LP learned cuts 0
3600.05/3610.40 c LP deleted cuts 0
3600.05/3610.40 c LP encountered Gomory constraints 0
3600.05/3610.40 c LP encountered Farkas constraints 0
3600.05/3610.40 c LP encountered learned Farkas constraints 0
3600.05/3610.40 c CG auxiliary variables introduced 0
3600.05/3610.40 c CG solutions found 3
3600.05/3610.40 c CG cores constructed 0
3600.05/3610.40 c CG core cardinality constraints returned 0
3600.05/3610.40 c CG unit cores 0
3600.05/3610.40 c CG single cores 0
3600.05/3610.40 c CG blocks removed during cardinality reduction 0
3600.05/3610.40 c CG first core best 0
3600.05/3610.40 c CG decision core best 0
3600.05/3610.40 c CG core reduction tie 0
3600.05/3610.40 c CG core degree average 0.00
3600.05/3610.40 c CG core slack average 0.00
3600.05/3610.40 c CG exhausted 0
3600.05/3610.40 c CG exhaust time 0 s
3600.05/3610.40 c CG trimmed 0
3600.05/3610.40 c CG trim time 0 s
3600.05/3610.40 c CG minimized 0
3600.05/3610.40 c CG minimize time 0 s
3600.05/3610.40 c CG am1 prop time 0.000323 s
3600.05/3610.40 c CG # am1s reformulated 0
3600.05/3610.40 c CG lower bound derived from am1s 0
3600.05/3610.40 c CG # clausal cores 0
3600.05/3610.40 c CG # cardinality cores 0
3600.05/3610.40 c CG # pb cores 0
3600.05/3610.40 c CG # pb reforms 0
3600.05/3610.40 c CG # cores discarded because of pb reform 0
3600.05/3610.40 d LOWERBOUND 0
3600.05/3610.40 d NCORES 0
3600.05/3610.40 d NPBCORES 0
3600.05/3610.40 d NPBREFORM 0
3600.05/3610.40 d NTRIMMED 0
3600.05/3610.40 d NEXHAUSTED 0
3600.05/3610.40 d NAM1S 0
3600.05/3610.40 d AM1LB 0
3600.05/3610.40 c [Papilo Statistics]
3600.05/3610.40 c prepro time 0.000361234s
3600.05/3610.40 c # tsx applied 7
3600.05/3610.40 c # tsx conflicts 0
3600.05/3610.40 c # bound changes 0
3600.05/3610.40 c # side changes 7
3600.05/3610.40 c # coef changes 0
3600.05/3610.40 c # rounds 2
3600.05/3610.40 c # deted vars 0
3600.05/3610.40 c # deted constrs 7
3600.05/3610.40 c # consecutive rounds of only bound changes 0
3600.05/3610.40 c [STEP] postprocessing with Papilo
3600.05/3610.40 o 14
3600.05/3610.40 s SATISFIABLE
3600.05/3610.40 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: 63708 MiB (61463 MiB free)
memory of node 1: 64465 MiB (62485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490693-1751375766/watcher-4490693-1751375766 -o /tmp/evaluation-result-4490693-1751375766/solver-4490693-1751375766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60449 --watchdog 3760 mixed-bag HOME/instance-4490693-1751375766.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=60496, runsolver pid=60489
[startup+0.100065 s]*
/proc/loadavg: 0.78 1.07 1.90 2/264 60508
/proc/meminfo: memFree=126920164/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=81632 memory=9728 CPUtime=0 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) D 60489 60496 60438 0 -1 4194304 573 0 4 0 0 0 0 0 20 0 1 0 53255400 83591168 2432 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 1 0 0 17 6 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 20408 2432 2144 2842 0 2641 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 81632 KiB
Current children cumulated memory: 9728 KiB
[startup+0.205667 s]*
/proc/loadavg: 0.78 1.07 1.90 6/264 60508
/proc/meminfo: memFree=126904124/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=101496 memory=27392 CPUtime=0.06 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 3025 0 7 0 6 0 0 0 20 0 1 0 53255400 103931904 6848 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 25374 6848 4256 2842 0 7068 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 101496 KiB
Current children cumulated memory: 27392 KiB
[startup+0.305656 s]*
/proc/loadavg: 0.78 1.07 1.90 5/264 60508
/proc/meminfo: memFree=126896312/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=112068 memory=36096 CPUtime=0.17 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 5208 0 7 0 16 1 0 0 20 0 1 0 53255400 114757632 9024 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 28017 9024 4256 2842 0 9711 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 112068 KiB
Current children cumulated memory: 36096 KiB
[startup+0.700154 s]
/proc/loadavg: 0.78 1.07 1.90 5/264 60508
/proc/meminfo: memFree=126892796/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=112380 memory=38016 CPUtime=0.56 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 5686 0 7 0 55 1 0 0 20 0 1 0 53255400 115077120 9504 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 28095 9504 4256 2842 0 9789 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 112380 KiB
Current children cumulated memory: 38016 KiB
[startup+1.50016 s]
/proc/loadavg: 0.78 1.07 1.90 5/264 60508
/proc/meminfo: memFree=126870484/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=121792 memory=46544 CPUtime=1.35 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 7994 0 7 0 134 1 0 0 20 0 1 0 53255400 124715008 11636 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 30448 11636 4256 2842 0 12142 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 121792 KiB
Current children cumulated memory: 46544 KiB
[startup+3.10552 s]
/proc/loadavg: 1.03 1.12 1.92 5/264 60508
/proc/meminfo: memFree=126849940/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=129432 memory=53388 CPUtime=2.95 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 9846 0 7 0 294 1 0 0 20 0 1 0 53255400 132538368 13347 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 32358 13347 4256 2842 0 14052 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 129432 KiB
Current children cumulated memory: 53388 KiB
[startup+6.30016 s]
/proc/loadavg: 1.03 1.12 1.92 5/264 60508
/proc/meminfo: memFree=126821928/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=139572 memory=64140 CPUtime=6.13 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 12522 0 7 0 611 2 0 0 20 0 1 0 53255400 142921728 16035 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 34893 16035 4256 2842 0 16587 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 139572 KiB
Current children cumulated memory: 64140 KiB
[startup+12.7002 s]
/proc/loadavg: 1.27 1.17 1.93 5/265 60554
/proc/meminfo: memFree=126577284/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=161776 memory=85004 CPUtime=12.49 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 17596 0 7 0 1246 3 0 0 20 0 1 0 53255400 165658624 21251 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 40444 21251 4416 2842 0 22138 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 161776 KiB
Current children cumulated memory: 85004 KiB
[startup+25.5002 s]
/proc/loadavg: 1.88 1.31 1.96 5/266 60556
/proc/meminfo: memFree=126214008/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=184928 memory=107276 CPUtime=25.25 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 23167 0 7 0 2520 5 0 0 20 0 1 0 53255400 189366272 26819 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 46232 26819 4416 2842 0 27926 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 184928 KiB
Current children cumulated memory: 107276 KiB
[startup+51.1057 s]
/proc/loadavg: 2.60 1.53 2.02 5/266 60556
/proc/meminfo: memFree=126069088/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=244052 memory=161520 CPUtime=50.76 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 37560 0 7 0 5068 8 0 0 20 0 1 0 53255400 249909248 40380 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 61013 40380 4416 2842 0 42707 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 244052 KiB
Current children cumulated memory: 161520 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.93 2.13 5/266 60558
/proc/meminfo: memFree=125862832/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=319628 memory=234736 CPUtime=101.76 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 55826 0 7 0 10164 12 0 0 20 0 1 0 53255400 327299072 58684 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 79907 58684 4416 2842 0 61601 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 319628 KiB
Current children cumulated memory: 234736 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.32 2.25 5/266 60560
/proc/meminfo: memFree=125653704/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=424276 memory=338216 CPUtime=161.52 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 81938 0 7 0 16134 18 0 0 20 0 1 0 53255400 434458624 84554 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 106069 84554 4416 2842 0 87763 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 424276 KiB
Current children cumulated memory: 338216 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.66 2.38 5/266 60562
/proc/meminfo: memFree=125475716/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=510668 memory=423704 CPUtime=221.3 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 102012 0 7 0 22107 23 0 0 20 0 1 0 53255400 522924032 105926 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 127667 105926 4416 2842 0 109361 0
Current children cumulated CPU time: 221.3 s
Current children cumulated vsize: 510668 KiB
Current children cumulated memory: 423704 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.92 2.49 5/265 60564
/proc/meminfo: memFree=125356184/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=542720 memory=460360 CPUtime=281.08 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 110758 0 7 0 28083 25 0 0 20 0 1 0 53255400 555745280 115090 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 135680 115090 4416 2842 0 117374 0
Current children cumulated CPU time: 281.08 s
Current children cumulated vsize: 542720 KiB
Current children cumulated memory: 460360 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 3.15 2.59 5/262 60566
/proc/meminfo: memFree=125698324/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=361112 memory=296096 CPUtime=340.91 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 114191 0 7 0 34019 72 0 0 20 0 1 0 53255400 369778688 74024 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 90278 74024 4608 2842 0 71972 0
Current children cumulated CPU time: 340.91 s
Current children cumulated vsize: 361112 KiB
Current children cumulated memory: 296096 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.32 2.69 5/263 60569
/proc/meminfo: memFree=125695452/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=365532 memory=298272 CPUtime=400.75 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 114736 0 7 0 39964 111 0 0 20 0 1 0 53255400 374304768 74568 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 91383 74568 4608 2842 0 73077 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 365532 KiB
Current children cumulated memory: 298272 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.46 2.78 5/264 60572
/proc/meminfo: memFree=125694808/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=365532 memory=301260 CPUtime=460.59 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 114944 0 7 0 45914 145 0 0 20 0 1 0 53255400 374304768 75315 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 91383 75315 4608 2842 0 73077 0
Current children cumulated CPU time: 460.59 s
################
# More data... #
################
Current children cumulated memory: 314176 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/262 60702
/proc/meminfo: memFree=125631644/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=314176 CPUtime=2853.99 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116177 0 7 0 284672 727 0 0 20 0 1 0 53255400 393613312 78544 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 78544 4608 2842 0 77791 0
Current children cumulated CPU time: 2853.99 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 314176 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/263 60705
/proc/meminfo: memFree=125632052/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=314176 CPUtime=2913.84 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116178 0 7 0 290649 735 0 0 20 0 1 0 53255400 393613312 78544 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 78544 4608 2842 0 77791 0
Current children cumulated CPU time: 2913.84 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 314176 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/264 60714
/proc/meminfo: memFree=125631880/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=314176 CPUtime=2973.67 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116178 0 7 0 296626 741 0 0 20 0 1 0 53255400 393613312 78544 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 78544 4608 2842 0 77791 0
Current children cumulated CPU time: 2973.67 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 314176 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/264 60716
/proc/meminfo: memFree=125632572/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=314176 CPUtime=3033.51 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116231 0 7 0 302602 749 0 0 20 0 1 0 53255400 393613312 78544 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 78544 4608 2842 0 77791 0
Current children cumulated CPU time: 3033.51 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 314176 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 60718
/proc/meminfo: memFree=125628704/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=314176 CPUtime=3093.34 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116242 0 7 0 308577 757 0 0 20 0 1 0 53255400 393613312 78544 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 78544 4608 2842 0 77791 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 314176 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/264 60720
/proc/meminfo: memFree=125627776/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=314176 CPUtime=3153.18 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116242 0 7 0 314552 766 0 0 20 0 1 0 53255400 393613312 78544 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 78544 4608 2842 0 77791 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 314176 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 60722
/proc/meminfo: memFree=125627508/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=314176 CPUtime=3213.01 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116242 0 7 0 320526 775 0 0 20 0 1 0 53255400 393613312 78544 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 78544 4608 2842 0 77791 0
Current children cumulated CPU time: 3213.01 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 314176 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 60724
/proc/meminfo: memFree=125628276/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=316224 CPUtime=3272.84 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116243 0 7 0 326501 783 0 0 20 0 1 0 53255400 393613312 79056 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 79056 4608 2842 0 77791 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 316224 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/263 60727
/proc/meminfo: memFree=125627928/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=316224 CPUtime=3332.69 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116243 0 7 0 332476 793 0 0 20 0 1 0 53255400 393613312 79056 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 79056 4608 2842 0 77791 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 316224 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 60729
/proc/meminfo: memFree=125624140/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=316224 CPUtime=3392.52 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116243 0 7 0 338452 800 0 0 20 0 1 0 53255400 393613312 79056 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 79056 4608 2842 0 77791 0
Current children cumulated CPU time: 3392.52 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 316224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 60731
/proc/meminfo: memFree=125623568/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=316224 CPUtime=3452.36 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116245 0 7 0 344427 809 0 0 20 0 1 0 53255400 393613312 79056 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 79056 4608 2842 0 77791 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 316224 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/263 60733
/proc/meminfo: memFree=125623956/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=316224 CPUtime=3512.2 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116245 0 7 0 350403 817 0 0 20 0 1 0 53255400 393613312 79056 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 79056 4608 2842 0 77791 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 316224 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 60742
/proc/meminfo: memFree=125624932/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=316224 CPUtime=3572.03 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116245 0 7 0 356378 825 0 0 20 0 1 0 53255400 393613312 79056 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 79056 4608 2842 0 77791 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 316224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 60742
/proc/meminfo: memFree=125625196/131249992 swapFree=33010684/33010684
[pid=60496] ppid=60489 vsize=384388 memory=316224 CPUtime=3600.05 cores=4,6
/proc/60496/stat : 60496 (mixed-bag) R 60489 60496 60438 0 -1 4194304 116245 0 7 0 359176 829 0 0 20 0 1 0 53255400 393613312 79056 18446744073709551615 4235264 15874749 140732876813840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 34484224 140732876822940 140732876823017 140732876823017 140732876828619 0
/proc/60496/statm: 96097 79056 4608 2842 0 77791 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 384388 KiB
Current children cumulated memory: 316224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 60496 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.77 s, system=8.29434 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.4
CPU time (s): 3600.06
CPU user time (s): 3591.77
CPU system time (s): 8.29434
CPU usage (%): 99.7136
Max. virtual memory (cumulated for all children) (KiB): 554964
Max. memory (cumulated for all children) (KiB): 473032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.77
system time used= 8.29434
maximum resident set size= 473032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116274
page faults= 7
swaps= 0
block input operations= 568
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 310
involuntary context switches= 19998
# summary of solver processes directly reported to runsolver:
# pid: 60496
# total CPU time (s): 3600.06
# total CPU user time (s): 3591.77
# total CPU system time (s): 8.29434
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68618 second user time and 16.3122 second system time
The end
Begin job on nodeC025 at 2025-07-01 15:16:06
IDJOB=4490693
IDBENCH=147611
IDSOLVER=3340
FILE ID=nodeC025/4490693-1751375766
RUNJOBID= nodeC025-1751375766-60449
SLURM_JOB_ID= 9598215
Free space on /tmp= 433064 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
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 -w /tmp/evaluation-result-4490693-1751375766/watcher-4490693-1751375766 -o /tmp/evaluation-result-4490693-1751375766/solver-4490693-1751375766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751375766-60449 --watchdog 3760 mixed-bag HOME/instance-4490693-1751375766.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 39a6e806d7aaba09f767f3cbd6afa1ec
RANDOM SEED=1790771819
nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3532.391
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.421
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.836
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.837
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.557
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.802
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.839
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3532.074
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 126907916 kB
MemAvailable: 129697676 kB
Buffers: 3280 kB
Cached: 3587928 kB
SwapCached: 0 kB
Active: 409464 kB
Inactive: 3248760 kB
Active(anon): 85108 kB
Inactive(anon): 0 kB
Active(file): 324356 kB
Inactive(file): 3248760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 62200 kB
Writeback: 8 kB
AnonPages: 70524 kB
Mapped: 103012 kB
Shmem: 18084 kB
KReclaimable: 111768 kB
Slab: 199736 kB
SReclaimable: 111768 kB
SUnreclaim: 87968 kB
KernelStack: 3892 kB
PageTables: 2728 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 329208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150344 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432996 MiB
End job on nodeC025 at 2025-07-01 16:16:17