| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (3) | SAT | 858.829 | 860.969 |
| Name | PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17ls.opb |
| MD5SUM | 577423e4c806b19b8b5f6a5daee1c614 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.011666 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 370 |
| Total number of constraints | 557 |
| Number of constraints which are clauses | 313 |
| Number of constraints which are cardinality constraints (but not clauses) | 2 |
| Number of constraints which are nor clauses,nor cardinality constraints | 242 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 121 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 17 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 138 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.00 c #variables 370 #constraints 557 0.00/0.01 c rational objective 46.3636 0.20/0.29 c #Conflicts: 1000 | #Constraints: 1558 0.20/0.29 c #Conflicts: 2000 | #Constraints: 2559 0.20/0.29 c INPROCESSING 0.20/0.29 c GARBAGE COLLECT 0.20/0.29 c rational objective 46.3636 0.59/0.66 c #Conflicts: 3000 | #Constraints: 2564 0.59/0.66 c #Conflicts: 4000 | #Constraints: 3566 0.59/0.66 c INPROCESSING 0.59/0.66 c GARBAGE COLLECT 0.59/0.66 c rational objective 46.3636 0.99/1.08 c #Conflicts: 5000 | #Constraints: 2967 0.99/1.08 c #Conflicts: 6000 | #Constraints: 3968 0.99/1.08 c INPROCESSING 0.99/1.08 c GARBAGE COLLECT 0.99/1.08 c rational objective 46.3636 1.48/1.53 c #Conflicts: 7000 | #Constraints: 2973 1.48/1.53 c #Conflicts: 8000 | #Constraints: 3976 1.48/1.53 c #Conflicts: 9000 | #Constraints: 4976 1.48/1.53 c INPROCESSING 1.48/1.53 c GARBAGE COLLECT 1.48/1.53 c rational objective 46.3636 1.98/2.07 c #Conflicts: 10000 | #Constraints: 3673 1.98/2.07 c #Conflicts: 11000 | #Constraints: 4674 1.98/2.07 c #Conflicts: 12000 | #Constraints: 5675 1.98/2.07 c INPROCESSING 1.98/2.07 c GARBAGE COLLECT 1.98/2.07 c rational objective 46.3636 2.58/2.61 c #Conflicts: 13000 | #Constraints: 4121 2.58/2.61 c #Conflicts: 14000 | #Constraints: 5121 2.58/2.61 c #Conflicts: 15000 | #Constraints: 6122 2.58/2.61 c INPROCESSING 2.58/2.61 c GARBAGE COLLECT 2.58/2.61 c rational objective 46.3636 3.08/3.17 c #Conflicts: 16000 | #Constraints: 4354 3.08/3.17 c #Conflicts: 17000 | #Constraints: 5356 3.08/3.17 c #Conflicts: 18000 | #Constraints: 6359 3.08/3.17 c INPROCESSING 3.08/3.17 c GARBAGE COLLECT 3.08/3.17 c rational objective 46.3636 3.78/3.85 c #Conflicts: 19000 | #Constraints: 4365 3.78/3.85 c #Conflicts: 20000 | #Constraints: 5367 3.78/3.85 c #Conflicts: 21000 | #Constraints: 6368 3.78/3.85 c INPROCESSING 3.78/3.85 c GARBAGE COLLECT 3.78/3.85 c rational objective 46.3636 4.47/4.55 c #Conflicts: 22000 | #Constraints: 4167 4.47/4.55 c #Conflicts: 23000 | #Constraints: 5169 4.47/4.55 c #Conflicts: 24000 | #Constraints: 6171 4.47/4.55 c #Conflicts: 25000 | #Constraints: 7173 4.47/4.55 c INPROCESSING 4.47/4.55 c GARBAGE COLLECT 4.47/4.55 c rational objective 46.3636 5.27/5.30 c #Conflicts: 26000 | #Constraints: 4772 5.27/5.30 c #Conflicts: 27000 | #Constraints: 5774 5.27/5.30 c #Conflicts: 28000 | #Constraints: 6775 5.27/5.30 c #Conflicts: 29000 | #Constraints: 7775 5.27/5.30 c INPROCESSING 5.27/5.30 c GARBAGE COLLECT 5.27/5.30 c rational objective 46.3636 5.98/6.08 c #Conflicts: 30000 | #Constraints: 5174 5.98/6.08 c #Conflicts: 31000 | #Constraints: 6174 5.98/6.08 c #Conflicts: 32000 | #Constraints: 7177 5.98/6.08 c #Conflicts: 33000 | #Constraints: 8178 5.98/6.08 c INPROCESSING 5.98/6.08 c GARBAGE COLLECT 5.98/6.08 c rational objective 46.3636 6.77/6.86 c #Conflicts: 34000 | #Constraints: 5370 6.77/6.86 c #Conflicts: 35000 | #Constraints: 6375 6.77/6.86 c #Conflicts: 36000 | #Constraints: 7376 6.77/6.86 c #Conflicts: 37000 | #Constraints: 8378 6.77/6.86 c INPROCESSING 6.77/6.86 c GARBAGE COLLECT 6.77/6.86 c rational objective 46.3636 7.67/7.72 c #Conflicts: 38000 | #Constraints: 5374 7.67/7.72 c #Conflicts: 39000 | #Constraints: 6376 7.67/7.72 c #Conflicts: 40000 | #Constraints: 7378 7.67/7.72 c #Conflicts: 41000 | #Constraints: 8379 7.67/7.72 c INPROCESSING 7.67/7.72 c GARBAGE COLLECT 7.67/7.72 c rational objective 46.3636 8.56/8.61 c #Conflicts: 42000 | #Constraints: 5176 8.56/8.61 c #Conflicts: 43000 | #Constraints: 6179 8.56/8.61 c #Conflicts: 44000 | #Constraints: 7180 8.56/8.61 c #Conflicts: 45000 | #Constraints: 8185 8.56/8.61 c #Conflicts: 46000 | #Constraints: 9185 8.56/8.61 c INPROCESSING 8.56/8.61 c GARBAGE COLLECT 8.56/8.61 c rational objective 46.3636 9.56/9.64 c #Conflicts: 47000 | #Constraints: 5777 9.56/9.64 c #Conflicts: 48000 | #Constraints: 6778 9.56/9.64 c #Conflicts: 49000 | #Constraints: 7780 9.56/9.64 c #Conflicts: 50000 | #Constraints: 8782 9.56/9.64 c #Conflicts: 51000 | #Constraints: 9782 9.56/9.64 c INPROCESSING 9.56/9.64 c GARBAGE COLLECT 9.56/9.64 c rational objective 46.3636 10.56/10.65 c #Conflicts: 52000 | #Constraints: 6182 10.56/10.65 c #Conflicts: 53000 | #Constraints: 7183 10.56/10.65 c #Conflicts: 54000 | #Constraints: 8188 10.56/10.65 c #Conflicts: 55000 | #Constraints: 9190 10.56/10.65 c #Conflicts: 56000 | #Constraints: 10191 10.56/10.65 c INPROCESSING 10.56/10.65 c GARBAGE COLLECT 10.56/10.65 c rational objective 46.3636 11.76/11.82 c #Conflicts: 57000 | #Constraints: 6385 11.76/11.82 c #Conflicts: 58000 | #Constraints: 7387 11.76/11.82 c #Conflicts: 59000 | #Constraints: 8388 11.76/11.82 c #Conflicts: 60000 | #Constraints: 9391 11.76/11.82 c #Conflicts: 61000 | #Constraints: 10394 11.76/11.82 c INPROCESSING 11.76/11.82 c GARBAGE COLLECT 11.76/11.82 c rational objective 46.3636 12.96/13.05 c #Conflicts: 62000 | #Constraints: 6381 12.96/13.05 c #Conflicts: 63000 | #Constraints: 7386 12.96/13.05 c #Conflicts: 64000 | #Constraints: 8391 12.96/13.05 c #Conflicts: 65000 | #Constraints: 9391 12.96/13.05 c #Conflicts: 66000 | #Constraints: 10393 12.96/13.05 c INPROCESSING 12.96/13.05 c GARBAGE COLLECT 12.96/13.05 c rational objective 46.3636 14.15/14.26 c #Conflicts: 67000 | #Constraints: 6181 14.15/14.26 c #Conflicts: 68000 | #Constraints: 7185 14.15/14.26 c #Conflicts: 69000 | #Constraints: 8186 14.15/14.26 c #Conflicts: 70000 | #Constraints: 9187 14.15/14.26 c #Conflicts: 71000 | #Constraints: 10192 14.15/14.26 c #Conflicts: 72000 | #Constraints: 11197 14.15/14.26 c INPROCESSING 14.15/14.26 c GARBAGE COLLECT 14.15/14.26 c rational objective 46.3636 15.55/15.61 c #Conflicts: 73000 | #Constraints: 6780 15.55/15.61 c #Conflicts: 74000 | #Constraints: 7782 15.55/15.61 c #Conflicts: 75000 | #Constraints: 8785 15.55/15.61 c #Conflicts: 76000 | #Constraints: 9788 15.55/15.61 c #Conflicts: 77000 | #Constraints: 10789 15.55/15.61 c #Conflicts: 78000 | #Constraints: 11791 15.55/15.61 c INPROCESSING 15.55/15.61 c GARBAGE COLLECT 15.55/15.61 c rational objective 46.3636 16.75/16.88 c #Conflicts: 79000 | #Constraints: 7183 16.75/16.88 c #Conflicts: 80000 | #Constraints: 8189 16.75/16.88 c #Conflicts: 81000 | #Constraints: 9192 16.75/16.88 c #Conflicts: 82000 | #Constraints: 10192 16.75/16.88 c #Conflicts: 83000 | #Constraints: 11195 16.75/16.88 c #Conflicts: 84000 | #Constraints: 12195 16.75/16.88 c INPROCESSING 16.75/16.88 c GARBAGE COLLECT 16.75/16.88 c rational objective 46.3636 18.34/18.45 c #Conflicts: 85000 | #Constraints: 7387 18.34/18.45 c #Conflicts: 86000 | #Constraints: 8392 18.34/18.45 c #Conflicts: 87000 | #Constraints: 9394 18.34/18.45 c #Conflicts: 88000 | #Constraints: 10399 18.34/18.45 c #Conflicts: 89000 | #Constraints: 11401 18.34/18.45 c #Conflicts: 90000 | #Constraints: 12402 18.34/18.45 c INPROCESSING 18.34/18.45 c GARBAGE COLLECT 18.34/18.45 c rational objective 46.3636 20.14/20.20 c #Conflicts: 91000 | #Constraints: 7391 20.14/20.20 c #Conflicts: 92000 | #Constraints: 8399 20.14/20.20 c #Conflicts: 93000 | #Constraints: 9407 20.14/20.20 c #Conflicts: 94000 | #Constraints: 10412 20.14/20.20 c #Conflicts: 95000 | #Constraints: 11418 20.14/20.20 c #Conflicts: 96000 | #Constraints: 12421 20.14/20.20 c INPROCESSING 20.14/20.20 c GARBAGE COLLECT 20.14/20.20 c rational objective 46.3636 21.84/21.93 c #Conflicts: 97000 | #Constraints: 7196 21.84/21.93 c #Conflicts: 98000 | #Constraints: 8200 21.84/21.93 c #Conflicts: 99000 | #Constraints: 9201 21.84/21.93 c #Conflicts: 100000 | #Constraints: 10202 21.84/21.93 c #Conflicts: 101000 | #Constraints: 11205 21.84/21.93 c #Conflicts: 102000 | #Constraints: 12208 21.84/21.93 c #Conflicts: 103000 | #Constraints: 13210 21.84/21.93 c INPROCESSING 21.84/21.93 c GARBAGE COLLECT 21.84/21.93 c rational objective 46.3636 23.53/23.63 c #Conflicts: 104000 | #Constraints: 7786 23.53/23.63 c #Conflicts: 105000 | #Constraints: 8786 23.53/23.63 c #Conflicts: 106000 | #Constraints: 9787 23.53/23.63 c #Conflicts: 107000 | #Constraints: 10788 23.53/23.63 c #Conflicts: 108000 | #Constraints: 11790 23.53/23.63 c #Conflicts: 109000 | #Constraints: 12790 23.53/23.63 c #Conflicts: 110000 | #Constraints: 13790 23.53/23.63 c INPROCESSING 23.53/23.63 c GARBAGE COLLECT 23.53/23.63 c rational objective 46.3636 25.32/25.44 c #Conflicts: 111000 | #Constraints: 8184 25.32/25.44 c #Conflicts: 112000 | #Constraints: 9185 25.32/25.44 c #Conflicts: 113000 | #Constraints: 10187 25.32/25.44 c #Conflicts: 114000 | #Constraints: 11192 25.32/25.44 c #Conflicts: 115000 | #Constraints: 12193 25.32/25.44 c #Conflicts: 116000 | #Constraints: 13193 25.32/25.44 c #Conflicts: 117000 | #Constraints: 14196 25.32/25.44 c INPROCESSING 25.32/25.44 c GARBAGE COLLECT 25.32/25.44 c rational objective 46.3636 27.03/27.11 c #Conflicts: 118000 | #Constraints: 8386 27.03/27.11 c #Conflicts: 119000 | #Constraints: 9386 27.03/27.11 c #Conflicts: 120000 | #Constraints: 10386 27.03/27.11 c #Conflicts: 121000 | #Constraints: 11386 27.03/27.11 c #Conflicts: 122000 | #Constraints: 12386 27.03/27.11 c #Conflicts: 123000 | #Constraints: 13387 27.03/27.11 c #Conflicts: 124000 | #Constraints: 14389 27.03/27.11 c INPROCESSING 27.03/27.11 c GARBAGE COLLECT 27.03/27.11 c rational objective 46.3636 28.82/28.95 c #Conflicts: 125000 | #Constraints: 8382 28.82/28.95 c #Conflicts: 126000 | #Constraints: 9383 28.82/28.95 c #Conflicts: 127000 | #Constraints: 10385 28.82/28.95 c #Conflicts: 128000 | #Constraints: 11387 28.82/28.95 c #Conflicts: 129000 | #Constraints: 12389 28.82/28.95 c #Conflicts: 130000 | #Constraints: 13390 28.82/28.95 c #Conflicts: 131000 | #Constraints: 14391 28.82/28.95 c INPROCESSING 28.82/28.95 c GARBAGE COLLECT 28.82/28.95 c rational objective 46.3636 30.71/30.86 c #Conflicts: 132000 | #Constraints: 8181 30.71/30.86 c #Conflicts: 133000 | #Constraints: 9181 30.71/30.86 c #Conflicts: 134000 | #Constraints: 10182 30.71/30.86 c #Conflicts: 135000 | #Constraints: 11185 30.71/30.86 c #Conflicts: 136000 | #Constraints: 12186 30.71/30.86 c #Conflicts: 137000 | #Constraints: 13187 30.71/30.86 c #Conflicts: 138000 | #Constraints: 14188 30.71/30.86 c #Conflicts: 139000 | #Constraints: 15190 30.71/30.86 c INPROCESSING 30.71/30.86 c GARBAGE COLLECT 30.71/30.86 c rational objective 46.3636 32.81/32.98 c #Conflicts: 140000 | #Constraints: 8780 32.81/32.98 c #Conflicts: 141000 | #Constraints: 9784 32.81/32.98 c #Conflicts: 142000 | #Constraints: 10785 32.81/32.98 c #Conflicts: 143000 | #Constraints: 11787 32.81/32.98 c #Conflicts: 144000 | #Constraints: 12788 32.81/32.98 c #Conflicts: 145000 | #Constraints: 13789 32.81/32.98 c #Conflicts: 146000 | #Constraints: 14792 32.81/32.98 c #Conflicts: 147000 | #Constraints: 15793 32.81/32.98 c INPROCESSING 32.81/32.98 c GARBAGE COLLECT 32.81/32.98 c rational objective 46.3636 35.00/35.19 c #Conflicts: 148000 | #Constraints: 9185 35.00/35.19 c #Conflicts: 149000 | #Constraints: 10188 35.00/35.19 c #Conflicts: 150000 | #Constraints: 11189 35.00/35.19 c #Conflicts: 151000 | #Constraints: 12190 35.00/35.19 c #Conflicts: 152000 | #Constraints: 13193 35.00/35.19 c #Conflicts: 153000 | #Constraints: 14195 35.00/35.19 c #Conflicts: 154000 | #Constraints: 15196 35.00/35.19 c #Conflicts: 155000 | #Constraints: 16198 35.00/35.19 c INPROCESSING 35.00/35.19 c GARBAGE COLLECT 35.00/35.19 c rational objective 46.3636 37.20/37.32 c #Conflicts: 156000 | #Constraints: 9390 37.20/37.32 c #Conflicts: 157000 | #Constraints: 10391 37.20/37.32 c #Conflicts: 158000 | #Constraints: 11395 37.20/37.32 c #Conflicts: 159000 | #Constraints: 12398 37.20/37.32 c #Conflicts: 160000 | #Constraints: 13400 37.20/37.32 c #Conflicts: 161000 | #Constraints: 14401 37.20/37.32 c #Conflicts: 162000 | #Constraints: 15402 37.20/37.32 c #Conflicts: 163000 | #Constraints: 16406 37.20/37.32 c INPROCESSING 37.20/37.32 c GARBAGE COLLECT 37.20/37.32 c rational objective 46.3636 39.39/39.53 c #Conflicts: 164000 | #Constraints: 9387 39.39/39.53 c #Conflicts: 165000 | #Constraints: 10387 39.39/39.53 c #Conflicts: 166000 | #Constraints: 11387 39.39/39.53 c #Conflicts: 167000 | #Constraints: 12388 39.39/39.53 c #Conflicts: 168000 | #Constraints: 13391 39.39/39.53 c #Conflicts: 169000 | #Constraints: 14393 39.39/39.53 c #Conflicts: 170000 | #Constraints: 15395 39.39/39.53 c #Conflicts: 171000 | #Constraints: 16395 39.39/39.53 c INPROCESSING 39.39/39.53 c GARBAGE COLLECT 39.39/39.53 c rational objective 46.3636 41.68/41.89 c #Conflicts: 172000 | #Constraints: 9182 41.68/41.89 c #Conflicts: 173000 | #Constraints: 10185 41.68/41.89 c #Conflicts: 174000 | #Constraints: 11186 41.68/41.89 c #Conflicts: 175000 | #Constraints: 12186 41.68/41.89 c #Conflicts: 176000 | #Constraints: 13186 41.68/41.89 c #Conflicts: 177000 | #Constraints: 14188 41.68/41.89 c #Conflicts: 178000 | #Constraints: 15188 41.68/41.89 c #Conflicts: 179000 | #Constraints: 16191 41.68/41.89 c #Conflicts: 180000 | #Constraints: 17194 41.68/41.89 c INPROCESSING 41.68/41.89 c GARBAGE COLLECT 41.68/41.89 c rational objective 46.3636 43.99/44.15 c #Conflicts: 181000 | #Constraints: 9782 43.99/44.15 c #Conflicts: 182000 | #Constraints: 10784 43.99/44.15 c #Conflicts: 183000 | #Constraints: 11787 43.99/44.15 c #Conflicts: 184000 | #Constraints: 12792 43.99/44.15 c #Conflicts: 185000 | #Constraints: 13794 43.99/44.15 c #Conflicts: 186000 | #Constraints: 14799 43.99/44.15 c #Conflicts: 187000 | #Constraints: 15801 43.99/44.15 c #Conflicts: 188000 | #Constraints: 16804 43.99/44.15 c #Conflicts: 189000 | #Constraints: 17806 43.99/44.15 c INPROCESSING 43.99/44.15 c GARBAGE COLLECT 43.99/44.15 c rational objective 46.3636 46.28/46.41 c #Conflicts: 190000 | #Constraints: 10193 46.28/46.41 c #Conflicts: 191000 | #Constraints: 11195 46.28/46.41 c #Conflicts: 192000 | #Constraints: 12198 46.28/46.41 c #Conflicts: 193000 | #Constraints: 13199 46.28/46.41 c #Conflicts: 194000 | #Constraints: 14201 46.28/46.41 c #Conflicts: 195000 | #Constraints: 15204 46.28/46.41 c #Conflicts: 196000 | #Constraints: 16204 46.28/46.41 c #Conflicts: 197000 | #Constraints: 17206 46.28/46.41 c #Conflicts: 198000 | #Constraints: 18207 46.28/46.41 c INPROCESSING 46.28/46.41 c GARBAGE COLLECT 46.28/46.41 c rational objective 46.3636 49.27/49.40 c #Conflicts: 199000 | #Constraints: 10394 49.27/49.40 c #Conflicts: 200000 | #Constraints: 11399 49.27/49.40 c #Conflicts: 201000 | #Constraints: 12400 49.27/49.40 c #Conflicts: 202000 | #Constraints: 13401 49.27/49.40 c #Conflicts: 203000 | #Constraints: 14403 49.27/49.40 c #Conflicts: 204000 | #Constraints: 15405 49.27/49.40 c #Conflicts: 205000 | #Constraints: 16408 49.27/49.40 c #Conflicts: 206000 | #Constraints: 17410 49.27/49.40 c #Conflicts: 207000 | #Constraints: 18413 49.27/49.40 c INPROCESSING 49.27/49.40 c GARBAGE COLLECT 49.27/49.40 c rational objective 46.3636 51.97/52.15 c #Conflicts: 208000 | #Constraints: 10395 51.97/52.15 c #Conflicts: 209000 | #Constraints: 11396 51.97/52.15 c #Conflicts: 210000 | #Constraints: 12397 51.97/52.15 c #Conflicts: 211000 | #Constraints: 13400 51.97/52.15 c #Conflicts: 212000 | #Constraints: 14400 51.97/52.15 c #Conflicts: 213000 | #Constraints: 15402 51.97/52.15 c #Conflicts: 214000 | #Constraints: 16405 51.97/52.15 c #Conflicts: 215000 | #Constraints: 17408 51.97/52.15 c #Conflicts: 216000 | #Constraints: 18410 51.97/52.15 c INPROCESSING 51.97/52.15 c GARBAGE COLLECT 51.97/52.15 c rational objective 46.3636 55.06/55.21 c #Conflicts: 217000 | #Constraints: 10192 55.06/55.21 c #Conflicts: 218000 | #Constraints: 11193 55.06/55.21 c #Conflicts: 219000 | #Constraints: 12195 55.06/55.21 c #Conflicts: 220000 | #Constraints: 13196 55.06/55.21 c #Conflicts: 221000 | #Constraints: 14200 55.06/55.21 c #Conflicts: 222000 | #Constraints: 15201 55.06/55.21 c #Conflicts: 223000 | #Constraints: 16205 55.06/55.21 c #Conflicts: 224000 | #Constraints: 17209 55.06/55.21 c #Conflicts: 225000 | #Constraints: 18214 55.06/55.21 c #Conflicts: 226000 | #Constraints: 19218 55.06/55.21 c INPROCESSING 55.06/55.21 c GARBAGE COLLECT 55.06/55.21 c rational objective 46.3636 58.15/58.38 c #Conflicts: 227000 | #Constraints: 10799 58.15/58.38 c #Conflicts: 228000 | #Constraints: 11806 58.15/58.38 c #Conflicts: 229000 | #Constraints: 12813 58.15/58.38 c #Conflicts: 230000 | #Constraints: 13820 58.15/58.38 c #Conflicts: 231000 | #Constraints: 14825 58.15/58.38 c #Conflicts: 232000 | #Constraints: 15830 58.15/58.38 c #Conflicts: 233000 | #Constraints: 16830 58.15/58.38 c #Conflicts: 234000 | #Constraints: 17831 58.15/58.38 c #Conflicts: 235000 | #Constraints: 18832 58.15/58.38 c #Conflicts: 236000 | #Constraints: 19832 58.15/58.38 c INPROCESSING 58.15/58.38 c GARBAGE COLLECT 58.15/58.38 c rational objective 46.3636 61.04/61.20 c #Conflicts: 237000 | #Constraints: 11200 61.04/61.20 c #Conflicts: 238000 | #Constraints: 12202 61.04/61.20 c #Conflicts: 239000 | #Constraints: 13203 61.04/61.20 c #Conflicts: 240000 | #Constraints: 14205 61.04/61.20 c #Conflicts: 241000 | #Constraints: 15207 61.04/61.20 c #Conflicts: 242000 | #Constraints: 16208 61.04/61.20 c #Conflicts: 243000 | #Constraints: 17209 61.04/61.20 c #Conflicts: 244000 | #Constraints: 18212 61.04/61.20 c #Conflicts: 245000 | #Constraints: 19213 61.04/61.20 c #Conflicts: 246000 | #Constraints: 20213 61.04/61.20 c INPROCESSING 61.04/61.20 c GARBAGE COLLECT 61.04/61.20 c rational objective 46.3636 64.03/64.22 c #Conflicts: 247000 | #Constraints: 11394 64.03/64.22 c #Conflicts: 248000 | #Constraints: 12397 64.03/64.22 c #Conflicts: 249000 | #Constraints: 13400 64.03/64.22 c #Conflicts: 250000 | #Constraints: 14409 64.03/64.22 c #Conflicts: 251000 | #Constraints: 15412 64.03/64.22 c #Conflicts: 252000 | #Constraints: 16414 64.03/64.22 c #Conflicts: 253000 | #Constraints: 17415 64.03/64.22 c #Conflicts: 254000 | #Constraints: 18415 64.03/64.22 c #Conflicts: 255000 | #Constraints: 19416 64.03/64.22 c #Conflicts: 256000 | #Constraints: 20419 64.03/64.22 c INPROCESSING 64.03/64.22 c GARBAGE COLLECT 64.03/64.22 c rational objective 46.3636 67.03/67.21 c #Conflicts: 257000 | #Constraints: 11399 67.03/67.21 c #Conflicts: 258000 | #Constraints: 12400 67.03/67.21 c #Conflicts: 259000 | #Constraints: 13402 67.03/67.21 c #Conflicts: 260000 | #Constraints: 14402 67.03/67.21 c #Conflicts: 261000 | #Constraints: 15405 67.03/67.21 c #Conflicts: 262000 | #Constraints: 16407 67.03/67.21 c #Conflicts: 263000 | #Constraints: 17409 67.03/67.21 c #Conflicts: 264000 | #Constraints: 18409 67.03/67.21 c #Conflicts: 265000 | #Constraints: 19410 67.03/67.21 c #Conflicts: 266000 | #Constraints: 20412 67.03/67.21 c INPROCESSING 67.03/67.21 c GARBAGE COLLECT 67.03/67.21 c rational objective 46.3636 70.32/70.51 c #Conflicts: 267000 | #Constraints: 11191 70.32/70.51 c #Conflicts: 268000 | #Constraints: 12197 70.32/70.51 c #Conflicts: 269000 | #Constraints: 13199 70.32/70.51 c #Conflicts: 270000 | #Constraints: 14204 70.32/70.51 c #Conflicts: 271000 | #Constraints: 15204 70.32/70.51 c #Conflicts: 272000 | #Constraints: 16207 70.32/70.51 c #Conflicts: 273000 | #Constraints: 17210 70.32/70.51 c #Conflicts: 274000 | #Constraints: 18210 70.32/70.51 c #Conflicts: 275000 | #Constraints: 19211 70.32/70.51 c #Conflicts: 276000 | #Constraints: 20211 70.32/70.51 c #Conflicts: 277000 | #Constraints: 21211 70.32/70.51 c INPROCESSING 70.32/70.51 c GARBAGE COLLECT 70.32/70.51 c rational objective 46.3636 73.62/73.86 c #Conflicts: 278000 | #Constraints: 11793 73.62/73.86 c #Conflicts: 279000 | #Constraints: 12795 73.62/73.86 c #Conflicts: 280000 | #Constraints: 13795 73.62/73.86 c #Conflicts: 281000 | #Constraints: 14795 73.62/73.86 c #Conflicts: 282000 | #Constraints: 15795 73.62/73.86 c #Conflicts: 283000 | #Constraints: 16798 73.62/73.86 c #Conflicts: 284000 | #Constraints: 17800 73.62/73.86 c #Conflicts: 285000 | #Constraints: 18803 73.62/73.86 c #Conflicts: 286000 | #Constraints: 19805 73.62/73.86 c #Conflicts: 287000 | #Constraints: 20807 73.62/73.86 c #Conflicts: 288000 | #Constraints: 21807 73.62/73.86 c INPROCESSING 73.62/73.86 c GARBAGE COLLECT 73.62/73.86 c rational objective 46.3636 76.91/77.18 c #Conflicts: 289000 | #Constraints: 12192 76.91/77.18 c #Conflicts: 290000 | #Constraints: 13193 76.91/77.18 c #Conflicts: 291000 | #Constraints: 14194 76.91/77.18 c #Conflicts: 292000 | #Constraints: 15194 76.91/77.18 c #Conflicts: 293000 | #Constraints: 16195 76.91/77.18 c #Conflicts: 294000 | #Constraints: 17196 76.91/77.18 c #Conflicts: 295000 | #Constraints: 18196 76.91/77.18 c #Conflicts: 296000 | #Constraints: 19198 76.91/77.18 c #Conflicts: 297000 | #Constraints: 20201 76.91/77.18 c #Conflicts: 298000 | #Constraints: 21205 76.91/77.18 c #Conflicts: 299000 | #Constraints: 22207 76.91/77.18 c INPROCESSING 76.91/77.18 c GARBAGE COLLECT 76.91/77.18 c rational objective 46.3636 80.30/80.58 c #Conflicts: 300000 | #Constraints: 12392 80.30/80.58 c #Conflicts: 301000 | #Constraints: 13394 80.30/80.58 c #Conflicts: 302000 | #Constraints: 14397 80.30/80.58 c #Conflicts: 303000 | #Constraints: 15397 80.30/80.58 c #Conflicts: 304000 | #Constraints: 16399 80.30/80.58 c #Conflicts: 305000 | #Constraints: 17399 80.30/80.58 c #Conflicts: 306000 | #Constraints: 18404 80.30/80.58 c #Conflicts: 307000 | #Constraints: 19409 80.30/80.58 c #Conflicts: 308000 | #Constraints: 20412 80.30/80.58 c #Conflicts: 309000 | #Constraints: 21415 80.30/80.58 c #Conflicts: 310000 | #Constraints: 22420 80.30/80.58 c INPROCESSING 80.30/80.58 c GARBAGE COLLECT 80.30/80.58 c rational objective 46.3636 83.39/83.65 c #Conflicts: 311000 | #Constraints: 12398 83.39/83.65 c #Conflicts: 312000 | #Constraints: 13400 83.39/83.65 c #Conflicts: 313000 | #Constraints: 14401 83.39/83.65 c #Conflicts: 314000 | #Constraints: 15402 83.39/83.65 c #Conflicts: 315000 | #Constraints: 16403 83.39/83.65 c #Conflicts: 316000 | #Constraints: 17403 83.39/83.65 c #Conflicts: 317000 | #Constraints: 18404 83.39/83.65 c #Conflicts: 318000 | #Constraints: 19404 83.39/83.65 c #Conflicts: 319000 | #Constraints: 20405 83.39/83.65 c #Conflicts: 320000 | #Constraints: 21406 83.39/83.65 c #Conflicts: 321000 | #Constraints: 22410 83.39/83.65 c INPROCESSING 83.39/83.65 c GARBAGE COLLECT 83.39/83.65 c rational objective 46.3636 87.28/87.57 c #Conflicts: 322000 | #Constraints: 12197 87.28/87.57 c #Conflicts: 323000 | #Constraints: 13204 87.28/87.57 c #Conflicts: 324000 | #Constraints: 14206 87.28/87.57 c #Conflicts: 325000 | #Constraints: 15207 87.28/87.57 c #Conflicts: 326000 | #Constraints: 16209 87.28/87.57 c #Conflicts: 327000 | #Constraints: 17210 87.28/87.57 c #Conflicts: 328000 | #Constraints: 18211 87.28/87.57 c #Conflicts: 329000 | #Constraints: 19213 87.28/87.57 c #Conflicts: 330000 | #Constraints: 20218 87.28/87.57 c #Conflicts: 331000 | #Constraints: 21220 87.28/87.57 c #Conflicts: 332000 | #Constraints: 22221 87.28/87.57 c #Conflicts: 333000 | #Constraints: 23226 87.28/87.57 c INPROCESSING 87.28/87.57 c GARBAGE COLLECT 87.28/87.57 c rational objective 46.3636 91.07/91.36 c #Conflicts: 334000 | #Constraints: 12805 91.07/91.36 c #Conflicts: 335000 | #Constraints: 13808 91.07/91.36 c #Conflicts: 336000 | #Constraints: 14809 91.07/91.36 c #Conflicts: 337000 | #Constraints: 15813 91.07/91.36 c #Conflicts: 338000 | #Constraints: 16815 91.07/91.36 c #Conflicts: 339000 | #Constraints: 17816 91.07/91.36 c #Conflicts: 340000 | #Constraints: 18816 91.07/91.36 c #Conflicts: 341000 | #Constraints: 19817 91.07/91.36 c #Conflicts: 342000 | #Constraints: 20819 91.07/91.36 c #Conflicts: 343000 | #Constraints: 21822 91.07/91.36 c #Conflicts: 344000 | #Constraints: 22823 91.07/91.36 c #Conflicts: 345000 | #Constraints: 23824 91.07/91.36 c INPROCESSING 91.07/91.36 c GARBAGE COLLECT 91.07/91.36 c rational objective 46.3636 94.77/95.09 c #Conflicts: 346000 | #Constraints: 13199 94.77/95.09 c #Conflicts: 347000 | #Constraints: 14203 94.77/95.09 c #Conflicts: 348000 | #Constraints: 15206 94.77/95.09 c #Conflicts: 349000 | #Constraints: 16206 94.77/95.09 c #Conflicts: 350000 | #Constraints: 17208 94.77/95.09 c #Conflicts: 351000 | #Constraints: 18214 94.77/95.09 c #Conflicts: 352000 | #Constraints: 19216 94.77/95.09 c #Conflicts: 353000 | #Constraints: 20219 94.77/95.09 c #Conflicts: 354000 | #Constraints: 21219 94.77/95.09 c #Conflicts: 355000 | #Constraints: 22221 94.77/95.09 c #Conflicts: 356000 | #Constraints: 23222 94.77/95.09 c #Conflicts: 357000 | #Constraints: 24224 94.77/95.09 c INPROCESSING 94.77/95.09 c GARBAGE COLLECT 94.77/95.09 c rational objective 46.3636 98.86/99.15 c #Conflicts: 358000 | #Constraints: 13403 98.86/99.15 c #Conflicts: 359000 | #Constraints: 14408 98.86/99.15 c #Conflicts: 360000 | #Constraints: 15409 98.86/99.15 c #Conflicts: 361000 | #Constraints: 16410 98.86/99.15 c #Conflicts: 362000 | #Constraints: 17410 98.86/99.15 c #Conflicts: 363000 | #Constraints: 18411 98.86/99.15 c #Conflicts: 364000 | #Constraints: 19416 98.86/99.15 c #Conflicts: 365000 | #Constraints: 20419 98.86/99.15 c #Conflicts: 366000 | #Constraints: 21420 98.86/99.15 c #Conflicts: 367000 | #Constraints: 22421 98.86/99.15 c #Conflicts: 368000 | #Constraints: 23422 98.86/99.15 c #Conflicts: 369000 | #Constraints: 24425 98.86/99.15 c INPROCESSING 98.86/99.15 c GARBAGE COLLECT 98.86/99.15 c rational objective 46.3636 102.64/102.96 c #Conflicts: 370000 | #Constraints: 13403 102.64/102.96 c #Conflicts: 371000 | #Constraints: 14407 102.64/102.96 c #Conflicts: 372000 | #Constraints: 15409 102.64/102.96 c #Conflicts: 373000 | #Constraints: 16409 102.64/102.96 c #Conflicts: 374000 | #Constraints: 17410 102.64/102.96 c #Conflicts: 375000 | #Constraints: 18410 102.64/102.96 c #Conflicts: 376000 | #Constraints: 19413 102.64/102.96 c #Conflicts: 377000 | #Constraints: 20415 102.64/102.96 c #Conflicts: 378000 | #Constraints: 21416 102.64/102.96 c #Conflicts: 379000 | #Constraints: 22417 102.64/102.96 c #Conflicts: 380000 | #Constraints: 23420 102.64/102.96 c #Conflicts: 381000 | #Constraints: 24426 102.64/102.96 c INPROCESSING 102.64/102.96 c GARBAGE COLLECT 102.64/102.96 c rational objective 46.3636 106.84/107.19 c #Conflicts: 382000 | #Constraints: 13201 106.84/107.19 c #Conflicts: 383000 | #Constraints: 14203 106.84/107.19 c #Conflicts: 384000 | #Constraints: 15205 106.84/107.19 c #Conflicts: 385000 | #Constraints: 16206 106.84/107.19 c #Conflicts: 386000 | #Constraints: 17206 106.84/107.19 c #Conflicts: 387000 | #Constraints: 18207 106.84/107.19 c #Conflicts: 388000 | #Constraints: 19208 106.84/107.19 c #Conflicts: 389000 | #Constraints: 20210 106.84/107.19 c #Conflicts: 390000 | #Constraints: 21211 106.84/107.19 c #Conflicts: 391000 | #Constraints: 22212 106.84/107.19 c #Conflicts: 392000 | #Constraints: 23212 106.84/107.19 c #Conflicts: 393000 | #Constraints: 24213 106.84/107.19 c #Conflicts: 394000 | #Constraints: 25213 106.84/107.19 c INPROCESSING 106.84/107.19 c GARBAGE COLLECT 106.84/107.19 c rational objective 46.3636 111.22/111.57 c #Conflicts: 395000 | #Constraints: 13792 111.22/111.57 c #Conflicts: 396000 | #Constraints: 14793 111.22/111.57 c #Conflicts: 397000 | #Constraints: 15793 111.22/111.57 c #Conflicts: 398000 | #Constraints: 16793 111.22/111.57 c #Conflicts: 399000 | #Constraints: 17795 111.22/111.57 c #Conflicts: 400000 | #Constraints: 18799 111.22/111.57 c #Conflicts: 401000 | #Constraints: 19801 111.22/111.57 c #Conflicts: 402000 | #Constraints: 20802 111.22/111.57 c #Conflicts: 403000 | #Constraints: 21806 111.22/111.57 c #Conflicts: 404000 | #Constraints: 22807 111.22/111.57 c #Conflicts: 405000 | #Constraints: 23812 111.22/111.57 c #Conflicts: 406000 | #Constraints: 24815 111.22/111.57 c #Conflicts: 407000 | #Constraints: 25818 111.22/111.57 c INPROCESSING 111.22/111.57 c GARBAGE COLLECT 111.22/111.57 c rational objective 46.3636 115.41/115.72 c #Conflicts: 408000 | #Constraints: 14196 115.41/115.72 c #Conflicts: 409000 | #Constraints: 15201 115.41/115.72 c #Conflicts: 410000 | #Constraints: 16203 115.41/115.72 c #Conflicts: 411000 | #Constraints: 17205 115.41/115.72 c #Conflicts: 412000 | #Constraints: 18207 115.41/115.72 c #Conflicts: 413000 | #Constraints: 19211 115.41/115.72 c #Conflicts: 414000 | #Constraints: 20213 115.41/115.72 c #Conflicts: 415000 | #Constraints: 21215 115.41/115.72 c #Conflicts: 416000 | #Constraints: 22219 115.41/115.72 c #Conflicts: 417000 | #Constraints: 23221 115.41/115.72 c #Conflicts: 418000 | #Constraints: 24225 115.41/115.72 c #Conflicts: 419000 | #Constraints: 25227 115.41/115.72 c #Conflicts: 420000 | #Constraints: 26229 115.41/115.72 c INPROCESSING 115.41/115.72 c GARBAGE COLLECT 115.41/115.72 c rational objective 46.3636 119.60/120.00 c #Conflicts: 421000 | #Constraints: 14405 119.60/120.00 c #Conflicts: 422000 | #Constraints: 15413 119.60/120.00 c #Conflicts: 423000 | #Constraints: 16417 119.60/120.00 c #Conflicts: 424000 | #Constraints: 17418 119.60/120.00 c #Conflicts: 425000 | #Constraints: 18419 119.60/120.00 c #Conflicts: 426000 | #Constraints: 19420 119.60/120.00 c #Conflicts: 427000 | #Constraints: 20421 119.60/120.00 c #Conflicts: 428000 | #Constraints: 21423 119.60/120.00 c #Conflicts: 429000 | #Constraints: 22428 119.60/120.00 c #Conflicts: 430000 | #Constraints: 23429 119.60/120.00 c #Conflicts: 431000 | #Constraints: 24431 119.60/120.00 c #Conflicts: 432000 | #Constraints: 25431 119.60/120.00 c #Conflicts: 433000 | #Constraints: 26433 119.60/120.00 c INPROCESSING 119.60/120.00 c GARBAGE COLLECT 119.60/120.00 c rational objective 46.3636 123.89/124.26 c #Conflicts: 434000 | #Constraints: 14406 123.89/124.26 c #Conflicts: 435000 | #Constraints: 15410 123.89/124.26 c #Conflicts: 436000 | #Constraints: 16414 123.89/124.26 c #Conflicts: 437000 | #Constraints: 17418 123.89/124.26 c #Conflicts: 438000 | #Constraints: 18420 123.89/124.26 c #Conflicts: 439000 | #Constraints: 19422 123.89/124.26 c #Conflicts: 440000 | #Constraints: 20424 123.89/124.26 c #Conflicts: 441000 | #Constraints: 21429 123.89/124.26 c #Conflicts: 442000 | #Constraints: 22431 123.89/124.26 c #Conflicts: 443000 | #Constraints: 23437 123.89/124.26 c #Conflicts: 444000 | #Constraints: 24440 123.89/124.26 c #Conflicts: 445000 | #Constraints: 25440 123.89/124.26 c #Conflicts: 446000 | #Constraints: 26447 123.89/124.26 c INPROCESSING 123.89/124.26 c GARBAGE COLLECT 123.89/124.26 c rational objective 46.3636 129.87/130.28 c #Conflicts: 447000 | #Constraints: 14215 129.87/130.28 c #Conflicts: 448000 | #Constraints: 15220 129.87/130.28 c #Conflicts: 449000 | #Constraints: 16223 129.87/130.28 c #Conflicts: 450000 | #Constraints: 17227 129.87/130.28 c #Conflicts: 451000 | #Constraints: 18234 129.87/130.28 c #Conflicts: 452000 | #Constraints: 19236 129.87/130.28 c #Conflicts: 453000 | #Constraints: 20240 129.87/130.28 c #Conflicts: 454000 | #Constraints: 21243 129.87/130.28 c #Conflicts: 455000 | #Constraints: 22249 129.87/130.28 c #Conflicts: 456000 | #Constraints: 23253 129.87/130.28 c #Conflicts: 457000 | #Constraints: 24257 129.87/130.28 c #Conflicts: 458000 | #Constraints: 25261 129.87/130.28 c #Conflicts: 459000 | #Constraints: 26264 129.87/130.28 c #Conflicts: 460000 | #Constraints: 27269 129.87/130.28 c INPROCESSING 129.87/130.28 c GARBAGE COLLECT 129.87/130.28 c rational objective 46.3636 134.46/134.85 c #Conflicts: 461000 | #Constraints: 14825 134.46/134.85 c #Conflicts: 462000 | #Constraints: 15827 134.46/134.85 c #Conflicts: 463000 | #Constraints: 16830 134.46/134.85 c #Conflicts: 464000 | #Constraints: 17833 134.46/134.85 c #Conflicts: 465000 | #Constraints: 18836 134.46/134.85 c #Conflicts: 466000 | #Constraints: 19838 134.46/134.85 c #Conflicts: 467000 | #Constraints: 20842 134.46/134.85 c #Conflicts: 468000 | #Constraints: 21843 134.46/134.85 c #Conflicts: 469000 | #Constraints: 22845 134.46/134.85 c #Conflicts: 470000 | #Constraints: 23847 134.46/134.85 c #Conflicts: 471000 | #Constraints: 24850 134.46/134.85 c #Conflicts: 472000 | #Constraints: 25853 134.46/134.85 c #Conflicts: 473000 | #Constraints: 26856 134.46/134.85 c #Conflicts: 474000 | #Constraints: 27861 134.46/134.85 c INPROCESSING 134.46/134.85 c GARBAGE COLLECT 134.46/134.85 c rational objective 46.3636 140.35/140.73 c #Conflicts: 475000 | #Constraints: 15220 140.35/140.73 c #Conflicts: 476000 | #Constraints: 16223 140.35/140.73 c #Conflicts: 477000 | #Constraints: 17223 140.35/140.73 c #Conflicts: 478000 | #Constraints: 18226 140.35/140.73 c #Conflicts: 479000 | #Constraints: 19227 140.35/140.73 c #Conflicts: 480000 | #Constraints: 20234 140.35/140.73 c #Conflicts: 481000 | #Constraints: 21240 140.35/140.73 c #Conflicts: 482000 | #Constraints: 22241 140.35/140.73 c #Conflicts: 483000 | #Constraints: 23245 140.35/140.73 c #Conflicts: 484000 | #Constraints: 24246 140.35/140.73 c #Conflicts: 485000 | #Constraints: 25247 140.35/140.73 c #Conflicts: 486000 | #Constraints: 26252 140.35/140.73 c #Conflicts: 487000 | #Constraints: 27252 140.35/140.73 c #Conflicts: 488000 | #Constraints: 28254 140.35/140.73 c INPROCESSING 140.35/140.73 c GARBAGE COLLECT 140.35/140.73 c rational objective 46.3636 146.24/146.63 c #Conflicts: 489000 | #Constraints: 15423 146.24/146.63 c #Conflicts: 490000 | #Constraints: 16429 146.24/146.63 c #Conflicts: 491000 | #Constraints: 17432 146.24/146.63 c #Conflicts: 492000 | #Constraints: 18437 146.24/146.63 c #Conflicts: 493000 | #Constraints: 19442 146.24/146.63 c #Conflicts: 494000 | #Constraints: 20445 146.24/146.63 c #Conflicts: 495000 | #Constraints: 21452 146.24/146.63 c #Conflicts: 496000 | #Constraints: 22457 146.24/146.63 c #Conflicts: 497000 | #Constraints: 23459 146.24/146.63 c #Conflicts: 498000 | #Constraints: 24465 146.24/146.63 c #Conflicts: 499000 | #Constraints: 25475 146.24/146.63 c #Conflicts: 500000 | #Constraints: 26479 146.24/146.63 c #Conflicts: 501000 | #Constraints: 27484 146.24/146.63 c #Conflicts: 502000 | #Constraints: 28491 146.24/146.63 c INPROCESSING 146.24/146.63 c GARBAGE COLLECT 146.24/146.63 c rational objective 46.3636 152.21/152.65 c #Conflicts: 503000 | #Constraints: 15437 152.21/152.65 c #Conflicts: 504000 | #Constraints: 16440 152.21/152.65 c #Conflicts: 505000 | #Constraints: 17443 152.21/152.65 c #Conflicts: 506000 | #Constraints: 18449 152.21/152.65 c #Conflicts: 507000 | #Constraints: 19450 152.21/152.65 c #Conflicts: 508000 | #Constraints: 20455 152.21/152.65 c #Conflicts: 509000 | #Constraints: 21458 152.21/152.65 c #Conflicts: 510000 | #Constraints: 22461 152.21/152.65 c #Conflicts: 511000 | #Constraints: 23463 152.21/152.65 c #Conflicts: 512000 | #Constraints: 24463 152.21/152.65 c #Conflicts: 513000 | #Constraints: 25469 152.21/152.65 c #Conflicts: 514000 | #Constraints: 26470 152.21/152.65 c #Conflicts: 515000 | #Constraints: 27472 152.21/152.65 c #Conflicts: 516000 | #Constraints: 28475 152.21/152.65 c INPROCESSING 152.21/152.65 c GARBAGE COLLECT 152.21/152.65 c rational objective 46.3636 157.20/157.60 c #Conflicts: 517000 | #Constraints: 15226 157.20/157.60 c #Conflicts: 518000 | #Constraints: 16228 157.20/157.60 c #Conflicts: 519000 | #Constraints: 17230 157.20/157.60 c #Conflicts: 520000 | #Constraints: 18232 157.20/157.60 c #Conflicts: 521000 | #Constraints: 19234 157.20/157.60 c #Conflicts: 522000 | #Constraints: 20234 157.20/157.60 c #Conflicts: 523000 | #Constraints: 21235 157.20/157.60 c #Conflicts: 524000 | #Constraints: 22236 157.20/157.60 c #Conflicts: 525000 | #Constraints: 23237 157.20/157.60 c #Conflicts: 526000 | #Constraints: 24238 157.20/157.60 c #Conflicts: 527000 | #Constraints: 25242 157.20/157.60 c #Conflicts: 528000 | #Constraints: 26244 157.20/157.60 c #Conflicts: 529000 | #Constraints: 27246 157.20/157.60 c #Conflicts: 530000 | #Constraints: 28248 157.20/157.60 c #Conflicts: 531000 | #Constraints: 29256 157.20/157.60 c INPROCESSING 157.20/157.60 c GARBAGE COLLECT 157.20/157.60 c rational objective 46.3636 162.99/163.46 c #Conflicts: 532000 | #Constraints: 15817 162.99/163.46 c #Conflicts: 533000 | #Constraints: 16818 162.99/163.46 c #Conflicts: 534000 | #Constraints: 17819 162.99/163.46 c #Conflicts: 535000 | #Constraints: 18823 162.99/163.46 c #Conflicts: 536000 | #Constraints: 19825 162.99/163.46 c #Conflicts: 537000 | #Constraints: 20825 162.99/163.46 c #Conflicts: 538000 | #Constraints: 21828 162.99/163.46 c #Conflicts: 539000 | #Constraints: 22828 162.99/163.46 c #Conflicts: 540000 | #Constraints: 23830 162.99/163.46 c #Conflicts: 541000 | #Constraints: 24831 162.99/163.46 c #Conflicts: 542000 | #Constraints: 25834 162.99/163.46 c #Conflicts: 543000 | #Constraints: 26837 162.99/163.46 c #Conflicts: 544000 | #Constraints: 27840 162.99/163.46 c #Conflicts: 545000 | #Constraints: 28841 162.99/163.46 c #Conflicts: 546000 | #Constraints: 29842 162.99/163.46 c INPROCESSING 162.99/163.46 c GARBAGE COLLECT 162.99/163.46 c rational objective 46.3636 168.68/169.16 c #Conflicts: 547000 | #Constraints: 16211 168.68/169.16 c #Conflicts: 548000 | #Constraints: 17215 168.68/169.16 c #Conflicts: 549000 | #Constraints: 18217 168.68/169.16 c #Conflicts: 550000 | #Constraints: 19220 168.68/169.16 c #Conflicts: 551000 | #Constraints: 20224 168.68/169.16 c #Conflicts: 552000 | #Constraints: 21228 168.68/169.16 c #Conflicts: 553000 | #Constraints: 22232 168.68/169.16 c #Conflicts: 554000 | #Constraints: 23236 168.68/169.16 c #Conflicts: 555000 | #Constraints: 24238 168.68/169.16 c #Conflicts: 556000 | #Constraints: 25241 168.68/169.16 c #Conflicts: 557000 | #Constraints: 26247 168.68/169.16 c #Conflicts: 558000 | #Constraints: 27252 168.68/169.16 c #Conflicts: 559000 | #Constraints: 28255 168.68/169.16 c #Conflicts: 560000 | #Constraints: 29255 168.68/169.16 c #Conflicts: 561000 | #Constraints: 30256 168.68/169.16 c INPROCESSING 168.68/169.16 c GARBAGE COLLECT 168.68/169.16 c rational objective 46.3636 174.86/175.32 c #Conflicts: 562000 | #Constraints: 16415 174.86/175.32 c #Conflicts: 563000 | #Constraints: 17417 174.86/175.32 c #Conflicts: 564000 | #Constraints: 18420 174.86/175.32 c #Conflicts: 565000 | #Constraints: 19425 174.86/175.32 c #Conflicts: 566000 | #Constraints: 20427 174.86/175.32 c #Conflicts: 567000 | #Constraints: 21431 174.86/175.32 c #Conflicts: 568000 | #Constraints: 22434 174.86/175.32 c #Conflicts: 569000 | #Constraints: 23438 174.86/175.32 c #Conflicts: 570000 | #Constraints: 24442 174.86/175.32 c #Conflicts: 571000 | #Constraints: 25447 174.86/175.32 c #Conflicts: 572000 | #Constraints: 26449 174.86/175.32 c #Conflicts: 573000 | #Constraints: 27451 174.86/175.32 c #Conflicts: 574000 | #Constraints: 28452 174.86/175.32 c #Conflicts: 575000 | #Constraints: 29454 174.86/175.32 c #Conflicts: 576000 | #Constraints: 30457 174.86/175.32 c INPROCESSING 174.86/175.32 c GARBAGE COLLECT 174.86/175.32 c rational objective 46.3636 180.85/181.38 c #Conflicts: 577000 | #Constraints: 16424 180.85/181.38 c #Conflicts: 578000 | #Constraints: 17425 180.85/181.38 c #Conflicts: 579000 | #Constraints: 18426 180.85/181.38 c #Conflicts: 580000 | #Constraints: 19426 180.85/181.38 c #Conflicts: 581000 | #Constraints: 20429 180.85/181.38 c #Conflicts: 582000 | #Constraints: 21429 180.85/181.38 c #Conflicts: 583000 | #Constraints: 22430 180.85/181.38 c #Conflicts: 584000 | #Constraints: 23431 180.85/181.38 c #Conflicts: 585000 | #Constraints: 24440 180.85/181.38 c #Conflicts: 586000 | #Constraints: 25440 180.85/181.38 c #Conflicts: 587000 | #Constraints: 26440 180.85/181.38 c #Conflicts: 588000 | #Constraints: 27443 180.85/181.38 c #Conflicts: 589000 | #Constraints: 28446 180.85/181.38 c #Conflicts: 590000 | #Constraints: 29449 180.85/181.38 c #Conflicts: 591000 | #Constraints: 30449 180.85/181.38 c INPROCESSING 180.85/181.38 c GARBAGE COLLECT 180.85/181.38 c rational objective 46.3636 186.43/186.90 c #Conflicts: 592000 | #Constraints: 16212 186.43/186.90 c #Conflicts: 593000 | #Constraints: 17219 186.43/186.90 c #Conflicts: 594000 | #Constraints: 18220 186.43/186.90 c #Conflicts: 595000 | #Constraints: 19221 186.43/186.90 c #Conflicts: 596000 | #Constraints: 20222 186.43/186.90 c #Conflicts: 597000 | #Constraints: 21229 186.43/186.90 c #Conflicts: 598000 | #Constraints: 22233 186.43/186.90 c #Conflicts: 599000 | #Constraints: 23236 186.43/186.90 c #Conflicts: 600000 | #Constraints: 24239 186.43/186.90 c #Conflicts: 601000 | #Constraints: 25239 186.43/186.90 c #Conflicts: 602000 | #Constraints: 26241 186.43/186.90 c #Conflicts: 603000 | #Constraints: 27245 186.43/186.90 c #Conflicts: 604000 | #Constraints: 28248 186.43/186.90 c #Conflicts: 605000 | #Constraints: 29252 186.43/186.90 c #Conflicts: 606000 | #Constraints: 30254 186.43/186.90 c #Conflicts: 607000 | #Constraints: 31258 186.43/186.90 c INPROCESSING 186.43/186.90 c GARBAGE COLLECT 186.43/186.90 c rational objective 46.3636 192.52/193.05 c #Conflicts: 608000 | #Constraints: 16816 192.52/193.05 c #Conflicts: 609000 | #Constraints: 17823 192.52/193.05 c #Conflicts: 610000 | #Constraints: 18834 192.52/193.05 c #Conflicts: 611000 | #Constraints: 19843 192.52/193.05 c #Conflicts: 612000 | #Constraints: 20849 192.52/193.05 c #Conflicts: 613000 | #Constraints: 21854 192.52/193.05 c #Conflicts: 614000 | #Constraints: 22858 192.52/193.05 c #Conflicts: 615000 | #Constraints: 23860 192.52/193.05 c #Conflicts: 616000 | #Constraints: 24863 192.52/193.05 c #Conflicts: 617000 | #Constraints: 25866 192.52/193.05 c #Conflicts: 618000 | #Constraints: 26866 192.52/193.05 c #Conflicts: 619000 | #Constraints: 27870 192.52/193.05 c #Conflicts: 620000 | #Constraints: 28872 192.52/193.05 c #Conflicts: 621000 | #Constraints: 29872 192.52/193.05 c #Conflicts: 622000 | #Constraints: 30873 192.52/193.05 c #Conflicts: 623000 | #Constraints: 31876 192.52/193.05 c INPROCESSING 192.52/193.05 c GARBAGE COLLECT 192.52/193.05 c rational objective 46.3636 198.90/199.44 c #Conflicts: 624000 | #Constraints: 17227 198.90/199.44 c #Conflicts: 625000 | #Constraints: 18230 198.90/199.44 c #Conflicts: 626000 | #Constraints: 19231 198.90/199.44 c #Conflicts: 627000 | #Constraints: 20231 198.90/199.44 c #Conflicts: 628000 | #Constraints: 21233 198.90/199.44 c #Conflicts: 629000 | #Constraints: 22236 198.90/199.44 c #Conflicts: 630000 | #Constraints: 23236 198.90/199.44 c #Conflicts: 631000 | #Constraints: 24238 198.90/199.44 c #Conflicts: 632000 | #Constraints: 25238 198.90/199.44 c #Conflicts: 633000 | #Constraints: 26239 198.90/199.44 c #Conflicts: 634000 | #Constraints: 27242 198.90/199.44 c #Conflicts: 635000 | #Constraints: 28242 198.90/199.44 c #Conflicts: 636000 | #Constraints: 29246 198.90/199.44 c #Conflicts: 637000 | #Constraints: 30247 198.90/199.44 c #Conflicts: 638000 | #Constraints: 31251 198.90/199.44 c #Conflicts: 639000 | #Constraints: 32255 198.90/199.44 c INPROCESSING 198.90/199.44 c GARBAGE COLLECT 198.90/199.44 c rational objective 46.3636 205.19/205.79 c #Conflicts: 640000 | #Constraints: 17415 205.19/205.79 c #Conflicts: 641000 | #Constraints: 18420 205.19/205.79 c #Conflicts: 642000 | #Constraints: 19421 205.19/205.79 c #Conflicts: 643000 | #Constraints: 20421 205.19/205.79 c #Conflicts: 644000 | #Constraints: 21426 205.19/205.79 c #Conflicts: 645000 | #Constraints: 22429 205.19/205.79 c #Conflicts: 646000 | #Constraints: 23437 205.19/205.79 c #Conflicts: 647000 | #Constraints: 24438 205.19/205.79 c #Conflicts: 648000 | #Constraints: 25438 205.19/205.79 c #Conflicts: 649000 | #Constraints: 26439 205.19/205.79 c #Conflicts: 650000 | #Constraints: 27442 205.19/205.79 c #Conflicts: 651000 | #Constraints: 28444 205.19/205.79 c #Conflicts: 652000 | #Constraints: 29445 205.19/205.79 c #Conflicts: 653000 | #Constraints: 30455 205.19/205.79 c #Conflicts: 654000 | #Constraints: 31459 205.19/205.79 c #Conflicts: 655000 | #Constraints: 32460 205.19/205.79 c INPROCESSING 205.19/205.79 c GARBAGE COLLECT 205.19/205.79 c rational objective 46.3636 211.87/212.40 c #Conflicts: 656000 | #Constraints: 17421 211.87/212.40 c #Conflicts: 657000 | #Constraints: 18424 211.87/212.40 c #Conflicts: 658000 | #Constraints: 19426 211.87/212.40 c #Conflicts: 659000 | #Constraints: 20426 211.87/212.40 c #Conflicts: 660000 | #Constraints: 21430 211.87/212.40 c #Conflicts: 661000 | #Constraints: 22432 211.87/212.40 c #Conflicts: 662000 | #Constraints: 23433 211.87/212.40 c #Conflicts: 663000 | #Constraints: 24437 211.87/212.40 c #Conflicts: 664000 | #Constraints: 25441 211.87/212.40 c #Conflicts: 665000 | #Constraints: 26443 211.87/212.40 c #Conflicts: 666000 | #Constraints: 27444 211.87/212.40 c #Conflicts: 667000 | #Constraints: 28446 211.87/212.40 c #Conflicts: 668000 | #Constraints: 29449 211.87/212.40 c #Conflicts: 669000 | #Constraints: 30455 211.87/212.40 c #Conflicts: 670000 | #Constraints: 31457 211.87/212.40 c #Conflicts: 671000 | #Constraints: 32457 211.87/212.40 c INPROCESSING 211.87/212.40 c GARBAGE COLLECT 211.87/212.40 c rational objective 46.3636 218.76/219.39 c #Conflicts: 672000 | #Constraints: 17213 218.76/219.39 c #Conflicts: 673000 | #Constraints: 18215 218.76/219.39 c #Conflicts: 674000 | #Constraints: 19218 218.76/219.39 c #Conflicts: 675000 | #Constraints: 20219 218.76/219.39 c #Conflicts: 676000 | #Constraints: 21220 218.76/219.39 c #Conflicts: 677000 | #Constraints: 22221 218.76/219.39 c #Conflicts: 678000 | #Constraints: 23224 218.76/219.39 c #Conflicts: 679000 | #Constraints: 24227 218.76/219.39 c #Conflicts: 680000 | #Constraints: 25231 218.76/219.39 c #Conflicts: 681000 | #Constraints: 26231 218.76/219.39 c #Conflicts: 682000 | #Constraints: 27231 218.76/219.39 c #Conflicts: 683000 | #Constraints: 28232 218.76/219.39 c #Conflicts: 684000 | #Constraints: 29235 218.76/219.39 c #Conflicts: 685000 | #Constraints: 30236 218.76/219.39 c #Conflicts: 686000 | #Constraints: 31239 218.76/219.39 c #Conflicts: 687000 | #Constraints: 32241 218.76/219.39 c #Conflicts: 688000 | #Constraints: 33246 218.76/219.39 c INPROCESSING 218.76/219.39 c GARBAGE COLLECT 218.76/219.39 c rational objective 46.3636 225.14/225.72 c #Conflicts: 689000 | #Constraints: 17811 225.14/225.72 c #Conflicts: 690000 | #Constraints: 18815 225.14/225.72 c #Conflicts: 691000 | #Constraints: 19815 225.14/225.72 c #Conflicts: 692000 | #Constraints: 20818 225.14/225.72 c #Conflicts: 693000 | #Constraints: 21820 225.14/225.72 c #Conflicts: 694000 | #Constraints: 22824 225.14/225.72 c #Conflicts: 695000 | #Constraints: 23825 225.14/225.72 c #Conflicts: 696000 | #Constraints: 24825 225.14/225.72 c #Conflicts: 697000 | #Constraints: 25829 225.14/225.72 c #Conflicts: 698000 | #Constraints: 26831 225.14/225.72 c #Conflicts: 699000 | #Constraints: 27832 225.14/225.72 c #Conflicts: 700000 | #Constraints: 28836 225.14/225.72 c #Conflicts: 701000 | #Constraints: 29836 225.14/225.72 c #Conflicts: 702000 | #Constraints: 30839 225.14/225.72 c #Conflicts: 703000 | #Constraints: 31839 225.14/225.72 c #Conflicts: 704000 | #Constraints: 32841 225.14/225.72 c #Conflicts: 705000 | #Constraints: 33841 225.14/225.72 c INPROCESSING 225.14/225.72 c GARBAGE COLLECT 225.14/225.72 c rational objective 46.3636 231.32/231.97 c #Conflicts: 706000 | #Constraints: 18209 231.32/231.97 c #Conflicts: 707000 | #Constraints: 19211 231.32/231.97 c #Conflicts: 708000 | #Constraints: 20211 231.32/231.97 c #Conflicts: 709000 | #Constraints: 21211 231.32/231.97 c #Conflicts: 710000 | #Constraints: 22212 231.32/231.97 c #Conflicts: 711000 | #Constraints: 23213 231.32/231.97 c #Conflicts: 712000 | #Constraints: 24214 231.32/231.97 c #Conflicts: 713000 | #Constraints: 25217 231.32/231.97 c #Conflicts: 714000 | #Constraints: 26219 231.32/231.97 c #Conflicts: 715000 | #Constraints: 27221 231.32/231.97 c #Conflicts: 716000 | #Constraints: 28221 231.32/231.97 c #Conflicts: 717000 | #Constraints: 29221 231.32/231.97 c #Conflicts: 718000 | #Constraints: 30223 231.32/231.97 c #Conflicts: 719000 | #Constraints: 31225 231.32/231.97 c #Conflicts: 720000 | #Constraints: 32227 231.32/231.97 c #Conflicts: 721000 | #Constraints: 33228 231.32/231.97 c #Conflicts: 722000 | #Constraints: 34229 231.32/231.97 c INPROCESSING 231.32/231.97 c GARBAGE COLLECT 231.32/231.97 c rational objective 46.3636 239.00/239.62 c #Conflicts: 723000 | #Constraints: 18404 239.00/239.62 c #Conflicts: 724000 | #Constraints: 19405 239.00/239.62 c #Conflicts: 725000 | #Constraints: 20409 239.00/239.62 c #Conflicts: 726000 | #Constraints: 21410 239.00/239.62 c #Conflicts: 727000 | #Constraints: 22414 239.00/239.62 c #Conflicts: 728000 | #Constraints: 23421 239.00/239.62 c #Conflicts: 729000 | #Constraints: 24425 239.00/239.62 c #Conflicts: 730000 | #Constraints: 25429 239.00/239.62 c #Conflicts: 731000 | #Constraints: 26434 239.00/239.62 c #Conflicts: 732000 | #Constraints: 27439 239.00/239.62 c #Conflicts: 733000 | #Constraints: 28442 239.00/239.62 c #Conflicts: 734000 | #Constraints: 29448 239.00/239.62 c #Conflicts: 735000 | #Constraints: 30451 239.00/239.62 c #Conflicts: 736000 | #Constraints: 31455 239.00/239.62 c #Conflicts: 737000 | #Constraints: 32458 239.00/239.62 c #Conflicts: 738000 | #Constraints: 33460 239.00/239.62 c #Conflicts: 739000 | #Constraints: 34467 239.00/239.62 c INPROCESSING 239.00/239.62 c GARBAGE COLLECT 239.00/239.62 c rational objective 46.3636 246.69/247.30 c #Conflicts: 740000 | #Constraints: 18423 246.69/247.30 c #Conflicts: 741000 | #Constraints: 19434 246.69/247.30 c #Conflicts: 742000 | #Constraints: 20438 246.69/247.30 c #Conflicts: 743000 | #Constraints: 21441 246.69/247.30 c #Conflicts: 744000 | #Constraints: 22444 246.69/247.30 c #Conflicts: 745000 | #Constraints: 23446 246.69/247.30 c #Conflicts: 746000 | #Constraints: 24446 246.69/247.30 c #Conflicts: 747000 | #Constraints: 25448 246.69/247.30 c #Conflicts: 748000 | #Constraints: 26450 246.69/247.30 c #Conflicts: 749000 | #Constraints: 27452 246.69/247.30 c #Conflicts: 750000 | #Constraints: 28454 246.69/247.30 c #Conflicts: 751000 | #Constraints: 29455 246.69/247.30 c #Conflicts: 752000 | #Constraints: 30458 246.69/247.30 c #Conflicts: 753000 | #Constraints: 31462 246.69/247.30 c #Conflicts: 754000 | #Constraints: 32463 246.69/247.30 c #Conflicts: 755000 | #Constraints: 33465 246.69/247.30 c #Conflicts: 756000 | #Constraints: 34466 246.69/247.30 c INPROCESSING 246.69/247.30 c GARBAGE COLLECT 246.69/247.30 c rational objective 46.3636 253.76/254.43 c #Conflicts: 757000 | #Constraints: 18221 253.76/254.43 c #Conflicts: 758000 | #Constraints: 19222 253.76/254.43 c #Conflicts: 759000 | #Constraints: 20223 253.76/254.43 c #Conflicts: 760000 | #Constraints: 21224 253.76/254.43 c #Conflicts: 761000 | #Constraints: 22229 253.76/254.43 c #Conflicts: 762000 | #Constraints: 23233 253.76/254.43 c #Conflicts: 763000 | #Constraints: 24235 253.76/254.43 c #Conflicts: 764000 | #Constraints: 25236 253.76/254.43 c #Conflicts: 765000 | #Constraints: 26238 253.76/254.43 c #Conflicts: 766000 | #Constraints: 27240 253.76/254.43 c #Conflicts: 767000 | #Constraints: 28243 253.76/254.43 c #Conflicts: 768000 | #Constraints: 29244 253.76/254.43 c #Conflicts: 769000 | #Constraints: 30247 253.76/254.43 c #Conflicts: 770000 | #Constraints: 31248 253.76/254.43 c #Conflicts: 771000 | #Constraints: 32252 253.76/254.43 c #Conflicts: 772000 | #Constraints: 33254 253.76/254.43 c #Conflicts: 773000 | #Constraints: 34255 253.76/254.43 c #Conflicts: 774000 | #Constraints: 35257 253.76/254.43 c INPROCESSING 253.76/254.43 c GARBAGE COLLECT 253.76/254.43 c rational objective 46.3636 260.85/261.51 c #Conflicts: 775000 | #Constraints: 18814 260.85/261.51 c #Conflicts: 776000 | #Constraints: 19815 260.85/261.51 c #Conflicts: 777000 | #Constraints: 20817 260.85/261.51 c #Conflicts: 778000 | #Constraints: 21823 260.85/261.51 c #Conflicts: 779000 | #Constraints: 22825 260.85/261.51 c #Conflicts: 780000 | #Constraints: 23826 260.85/261.51 c #Conflicts: 781000 | #Constraints: 24827 260.85/261.51 c #Conflicts: 782000 | #Constraints: 25827 260.85/261.51 c #Conflicts: 783000 | #Constraints: 26828 260.85/261.51 c #Conflicts: 784000 | #Constraints: 27830 260.85/261.51 c #Conflicts: 785000 | #Constraints: 28833 260.85/261.51 c #Conflicts: 786000 | #Constraints: 29836 260.85/261.51 c #Conflicts: 787000 | #Constraints: 30840 260.85/261.51 c #Conflicts: 788000 | #Constraints: 31842 260.85/261.51 c #Conflicts: 789000 | #Constraints: 32844 260.85/261.51 c #Conflicts: 790000 | #Constraints: 33845 260.85/261.51 c #Conflicts: 791000 | #Constraints: 34847 260.85/261.51 c #Conflicts: 792000 | #Constraints: 35847 260.85/261.51 c INPROCESSING 260.85/261.51 c GARBAGE COLLECT 260.85/261.51 c rational objective 46.3636 268.13/268.88 c #Conflicts: 793000 | #Constraints: 19209 268.13/268.88 c #Conflicts: 794000 | #Constraints: 20210 268.13/268.88 c #Conflicts: 795000 | #Constraints: 21212 268.13/268.88 c #Conflicts: 796000 | #Constraints: 22216 268.13/268.88 c #Conflicts: 797000 | #Constraints: 23217 268.13/268.88 c #Conflicts: 798000 | #Constraints: 24219 268.13/268.88 c #Conflicts: 799000 | #Constraints: 25221 268.13/268.88 c #Conflicts: 800000 | #Constraints: 26221 268.13/268.88 c #Conflicts: 801000 | #Constraints: 27222 268.13/268.88 c #Conflicts: 802000 | #Constraints: 28222 268.13/268.88 c #Conflicts: 803000 | #Constraints: 29223 268.13/268.88 c #Conflicts: 804000 | #Constraints: 30230 268.13/268.88 c #Conflicts: 805000 | #Constraints: 31235 268.13/268.88 c #Conflicts: 806000 | #Constraints: 32238 268.13/268.88 c #Conflicts: 807000 | #Constraints: 33243 268.13/268.88 c #Conflicts: 808000 | #Constraints: 34243 268.13/268.88 c #Conflicts: 809000 | #Constraints: 35245 268.13/268.88 c #Conflicts: 810000 | #Constraints: 36245 268.13/268.88 c INPROCESSING 268.13/268.88 c GARBAGE COLLECT 268.13/268.88 c rational objective 46.3636 276.61/277.36 c #Conflicts: 811000 | #Constraints: 19412 276.61/277.36 c #Conflicts: 812000 | #Constraints: 20415 276.61/277.36 c #Conflicts: 813000 | #Constraints: 21417 276.61/277.36 c #Conflicts: 814000 | #Constraints: 22417 276.61/277.36 c #Conflicts: 815000 | #Constraints: 23417 276.61/277.36 c #Conflicts: 816000 | #Constraints: 24418 276.61/277.36 c #Conflicts: 817000 | #Constraints: 25419 276.61/277.36 c #Conflicts: 818000 | #Constraints: 26421 276.61/277.36 c #Conflicts: 819000 | #Constraints: 27424 276.61/277.36 c #Conflicts: 820000 | #Constraints: 28426 276.61/277.36 c #Conflicts: 821000 | #Constraints: 29428 276.61/277.36 c #Conflicts: 822000 | #Constraints: 30428 276.61/277.36 c #Conflicts: 823000 | #Constraints: 31431 276.61/277.36 c #Conflicts: 824000 | #Constraints: 32437 276.61/277.36 c #Conflicts: 825000 | #Constraints: 33441 276.61/277.36 c #Conflicts: 826000 | #Constraints: 34445 276.61/277.36 c #Conflicts: 827000 | #Constraints: 35448 276.61/277.36 c #Conflicts: 828000 | #Constraints: 36457 276.61/277.36 c INPROCESSING 276.61/277.36 c GARBAGE COLLECT 276.61/277.36 c rational objective 46.3636 284.98/285.71 c #Conflicts: 829000 | #Constraints: 19421 284.98/285.71 c #Conflicts: 830000 | #Constraints: 20423 284.98/285.71 c #Conflicts: 831000 | #Constraints: 21428 284.98/285.71 c #Conflicts: 832000 | #Constraints: 22435 284.98/285.71 c #Conflicts: 833000 | #Constraints: 23440 284.98/285.71 c #Conflicts: 834000 | #Constraints: 24444 284.98/285.71 c #Conflicts: 835000 | #Constraints: 25447 284.98/285.71 c #Conflicts: 836000 | #Constraints: 26450 284.98/285.71 c #Conflicts: 837000 | #Constraints: 27451 284.98/285.71 c #Conflicts: 838000 | #Constraints: 28454 284.98/285.71 c #Conflicts: 839000 | #Constraints: 29457 284.98/285.71 c #Conflicts: 840000 | #Constraints: 30462 284.98/285.71 c #Conflicts: 841000 | #Constraints: 31468 284.98/285.71 c #Conflicts: 842000 | #Constraints: 32470 284.98/285.71 c #Conflicts: 843000 | #Constraints: 33476 284.98/285.71 c #Conflicts: 844000 | #Constraints: 34480 284.98/285.71 c #Conflicts: 845000 | #Constraints: 35484 284.98/285.71 c #Conflicts: 846000 | #Constraints: 36489 284.98/285.71 c INPROCESSING 284.98/285.71 c GARBAGE COLLECT 284.98/285.71 c rational objective 46.3636 292.76/293.51 c #Conflicts: 847000 | #Constraints: 19235 292.76/293.51 c #Conflicts: 848000 | #Constraints: 20235 292.76/293.51 c #Conflicts: 849000 | #Constraints: 21236 292.76/293.51 c #Conflicts: 850000 | #Constraints: 22239 292.76/293.51 c #Conflicts: 851000 | #Constraints: 23239 292.76/293.51 c #Conflicts: 852000 | #Constraints: 24241 292.76/293.51 c #Conflicts: 853000 | #Constraints: 25243 292.76/293.51 c #Conflicts: 854000 | #Constraints: 26244 292.76/293.51 c #Conflicts: 855000 | #Constraints: 27245 292.76/293.51 c #Conflicts: 856000 | #Constraints: 28249 292.76/293.51 c #Conflicts: 857000 | #Constraints: 29251 292.76/293.51 c #Conflicts: 858000 | #Constraints: 30255 292.76/293.51 c #Conflicts: 859000 | #Constraints: 31258 292.76/293.51 c #Conflicts: 860000 | #Constraints: 32259 292.76/293.51 c #Conflicts: 861000 | #Constraints: 33261 292.76/293.51 c #Conflicts: 862000 | #Constraints: 34263 292.76/293.51 c #Conflicts: 863000 | #Constraints: 35265 292.76/293.51 c #Conflicts: 864000 | #Constraints: 36270 292.76/293.51 c #Conflicts: 865000 | #Constraints: 37274 292.76/293.51 c INPROCESSING 292.76/293.51 c GARBAGE COLLECT 292.76/293.51 c rational objective 46.3636 300.54/301.34 c #Conflicts: 866000 | #Constraints: 19827 300.54/301.34 c #Conflicts: 867000 | #Constraints: 20830 300.54/301.34 c #Conflicts: 868000 | #Constraints: 21830 300.54/301.34 c #Conflicts: 869000 | #Constraints: 22833 300.54/301.34 c #Conflicts: 870000 | #Constraints: 23833 300.54/301.34 c #Conflicts: 871000 | #Constraints: 24834 300.54/301.34 c #Conflicts: 872000 | #Constraints: 25835 300.54/301.34 c #Conflicts: 873000 | #Constraints: 26837 300.54/301.34 c #Conflicts: 874000 | #Constraints: 27839 300.54/301.34 c #Conflicts: 875000 | #Constraints: 28841 300.54/301.34 c #Conflicts: 876000 | #Constraints: 29845 300.54/301.34 c #Conflicts: 877000 | #Constraints: 30846 300.54/301.34 c #Conflicts: 878000 | #Constraints: 31849 300.54/301.34 c #Conflicts: 879000 | #Constraints: 32851 300.54/301.34 c #Conflicts: 880000 | #Constraints: 33853 300.54/301.34 c #Conflicts: 881000 | #Constraints: 34856 300.54/301.34 c #Conflicts: 882000 | #Constraints: 35860 300.54/301.34 c #Conflicts: 883000 | #Constraints: 36862 300.54/301.34 c #Conflicts: 884000 | #Constraints: 37868 300.54/301.34 c INPROCESSING 300.54/301.34 c GARBAGE COLLECT 300.54/301.34 c rational objective 46.3636 308.72/309.51 c #Conflicts: 885000 | #Constraints: 20219 308.72/309.51 c #Conflicts: 886000 | #Constraints: 21221 308.72/309.51 c #Conflicts: 887000 | #Constraints: 22223 308.72/309.51 c #Conflicts: 888000 | #Constraints: 23225 308.72/309.51 c #Conflicts: 889000 | #Constraints: 24228 308.72/309.51 c #Conflicts: 890000 | #Constraints: 25233 308.72/309.51 c #Conflicts: 891000 | #Constraints: 26234 308.72/309.51 c #Conflicts: 892000 | #Constraints: 27235 308.72/309.51 c #Conflicts: 893000 | #Constraints: 28235 308.72/309.51 c #Conflicts: 894000 | #Constraints: 29235 308.72/309.51 c #Conflicts: 895000 | #Constraints: 30238 308.72/309.51 c #Conflicts: 896000 | #Constraints: 31240 308.72/309.51 c #Conflicts: 897000 | #Constraints: 32240 308.72/309.51 c #Conflicts: 898000 | #Constraints: 33241 308.72/309.51 c #Conflicts: 899000 | #Constraints: 34243 308.72/309.51 c #Conflicts: 900000 | #Constraints: 35244 308.72/309.51 c #Conflicts: 901000 | #Constraints: 36247 308.72/309.51 c #Conflicts: 902000 | #Constraints: 37248 308.72/309.51 c #Conflicts: 903000 | #Constraints: 38250 308.72/309.51 c INPROCESSING 308.72/309.51 c GARBAGE COLLECT 308.72/309.51 c rational objective 46.3636 316.89/317.70 c #Conflicts: 904000 | #Constraints: 20409 316.89/317.70 c #Conflicts: 905000 | #Constraints: 21410 316.89/317.70 c #Conflicts: 906000 | #Constraints: 22415 316.89/317.70 c #Conflicts: 907000 | #Constraints: 23417 316.89/317.70 c #Conflicts: 908000 | #Constraints: 24419 316.89/317.70 c #Conflicts: 909000 | #Constraints: 25419 316.89/317.70 c #Conflicts: 910000 | #Constraints: 26423 316.89/317.70 c #Conflicts: 911000 | #Constraints: 27425 316.89/317.70 c #Conflicts: 912000 | #Constraints: 28426 316.89/317.70 c #Conflicts: 913000 | #Constraints: 29428 316.89/317.70 c #Conflicts: 914000 | #Constraints: 30431 316.89/317.70 c #Conflicts: 915000 | #Constraints: 31433 316.89/317.70 c #Conflicts: 916000 | #Constraints: 32437 316.89/317.70 c #Conflicts: 917000 | #Constraints: 33439 316.89/317.70 c #Conflicts: 918000 | #Constraints: 34440 316.89/317.70 c #Conflicts: 919000 | #Constraints: 35441 316.89/317.70 c #Conflicts: 920000 | #Constraints: 36442 316.89/317.70 c #Conflicts: 921000 | #Constraints: 37444 316.89/317.70 c #Conflicts: 922000 | #Constraints: 38450 316.89/317.70 c INPROCESSING 316.89/317.70 c GARBAGE COLLECT 316.89/317.70 c rational objective 46.3636 324.58/325.49 c #Conflicts: 923000 | #Constraints: 20405 324.58/325.49 c #Conflicts: 924000 | #Constraints: 21405 324.58/325.49 c #Conflicts: 925000 | #Constraints: 22406 324.58/325.49 c #Conflicts: 926000 | #Constraints: 23408 324.58/325.49 c #Conflicts: 927000 | #Constraints: 24409 324.58/325.49 c #Conflicts: 928000 | #Constraints: 25411 324.58/325.49 c #Conflicts: 929000 | #Constraints: 26414 324.58/325.49 c #Conflicts: 930000 | #Constraints: 27418 324.58/325.49 c #Conflicts: 931000 | #Constraints: 28420 324.58/325.49 c #Conflicts: 932000 | #Constraints: 29425 324.58/325.49 c #Conflicts: 933000 | #Constraints: 30428 324.58/325.49 c #Conflicts: 934000 | #Constraints: 31430 324.58/325.49 c #Conflicts: 935000 | #Constraints: 32436 324.58/325.49 c #Conflicts: 936000 | #Constraints: 33441 324.58/325.49 c #Conflicts: 937000 | #Constraints: 34450 324.58/325.49 c #Conflicts: 938000 | #Constraints: 35457 324.58/325.49 c #Conflicts: 939000 | #Constraints: 36465 324.58/325.49 c #Conflicts: 940000 | #Constraints: 37473 324.58/325.49 c #Conflicts: 941000 | #Constraints: 38479 324.58/325.49 c INPROCESSING 324.58/325.49 c GARBAGE COLLECT 324.58/325.49 c rational objective 46.3636 332.76/333.69 c #Conflicts: 942000 | #Constraints: 20230 332.76/333.69 c #Conflicts: 943000 | #Constraints: 21236 332.76/333.69 c #Conflicts: 944000 | #Constraints: 22237 332.76/333.69 c #Conflicts: 945000 | #Constraints: 23244 332.76/333.69 c #Conflicts: 946000 | #Constraints: 24252 332.76/333.69 c #Conflicts: 947000 | #Constraints: 25261 332.76/333.69 c #Conflicts: 948000 | #Constraints: 26272 332.76/333.69 c #Conflicts: 949000 | #Constraints: 27277 332.76/333.69 c #Conflicts: 950000 | #Constraints: 28281 332.76/333.69 c #Conflicts: 951000 | #Constraints: 29288 332.76/333.69 c #Conflicts: 952000 | #Constraints: 30296 332.76/333.69 c #Conflicts: 953000 | #Constraints: 31304 332.76/333.69 c #Conflicts: 954000 | #Constraints: 32310 332.76/333.69 c #Conflicts: 955000 | #Constraints: 33319 332.76/333.69 c #Conflicts: 956000 | #Constraints: 34329 332.76/333.69 c #Conflicts: 957000 | #Constraints: 35332 332.76/333.69 c #Conflicts: 958000 | #Constraints: 36337 332.76/333.69 c #Conflicts: 959000 | #Constraints: 37343 332.76/333.69 c #Conflicts: 960000 | #Constraints: 38345 332.76/333.69 c #Conflicts: 961000 | #Constraints: 39351 332.76/333.69 c INPROCESSING 332.76/333.69 c GARBAGE COLLECT 332.76/333.69 c rational objective 46.3636 342.84/343.75 c #Conflicts: 962000 | #Constraints: 20864 342.84/343.75 c #Conflicts: 963000 | #Constraints: 21870 342.84/343.75 c #Conflicts: 964000 | #Constraints: 22874 342.84/343.75 c #Conflicts: 965000 | #Constraints: 23881 342.84/343.75 c #Conflicts: 966000 | #Constraints: 24892 342.84/343.75 c #Conflicts: 967000 | #Constraints: 25898 342.84/343.75 c #Conflicts: 968000 | #Constraints: 26908 342.84/343.75 c #Conflicts: 969000 | #Constraints: 27917 342.84/343.75 c #Conflicts: 970000 | #Constraints: 28925 342.84/343.75 c #Conflicts: 971000 | #Constraints: 29935 342.84/343.75 c #Conflicts: 972000 | #Constraints: 30939 342.84/343.75 c #Conflicts: 973000 | #Constraints: 31946 342.84/343.75 c #Conflicts: 974000 | #Constraints: 32953 342.84/343.75 c #Conflicts: 975000 | #Constraints: 33964 342.84/343.75 c #Conflicts: 976000 | #Constraints: 34972 342.84/343.75 c #Conflicts: 977000 | #Constraints: 35977 342.84/343.75 c #Conflicts: 978000 | #Constraints: 36981 342.84/343.75 c #Conflicts: 979000 | #Constraints: 37985 342.84/343.75 c #Conflicts: 980000 | #Constraints: 38986 342.84/343.75 c #Conflicts: 981000 | #Constraints: 39988 342.84/343.75 c INPROCESSING 342.84/343.75 c GARBAGE COLLECT 342.84/343.75 c rational objective 46.3636 352.52/353.48 c #Conflicts: 982000 | #Constraints: 21286 352.52/353.48 c #Conflicts: 983000 | #Constraints: 22289 352.52/353.48 c #Conflicts: 984000 | #Constraints: 23293 352.52/353.48 c #Conflicts: 985000 | #Constraints: 24295 352.52/353.48 c #Conflicts: 986000 | #Constraints: 25299 352.52/353.48 c #Conflicts: 987000 | #Constraints: 26303 352.52/353.48 c #Conflicts: 988000 | #Constraints: 27306 352.52/353.48 c #Conflicts: 989000 | #Constraints: 28309 352.52/353.48 c #Conflicts: 990000 | #Constraints: 29310 352.52/353.48 c #Conflicts: 991000 | #Constraints: 30316 352.52/353.48 c #Conflicts: 992000 | #Constraints: 31321 352.52/353.48 c #Conflicts: 993000 | #Constraints: 32323 352.52/353.48 c #Conflicts: 994000 | #Constraints: 33328 352.52/353.48 c #Conflicts: 995000 | #Constraints: 34330 352.52/353.48 c #Conflicts: 996000 | #Constraints: 35336 352.52/353.48 c #Conflicts: 997000 | #Constraints: 36346 352.52/353.48 c #Conflicts: 998000 | #Constraints: 37350 352.52/353.48 c #Conflicts: 999000 | #Constraints: 38352 352.52/353.48 c #Conflicts: 1000000 | #Constraints: 39353 352.52/353.48 c #Conflicts: 1001000 | #Constraints: 40359 352.52/353.48 c INPROCESSING 352.52/353.48 c GARBAGE COLLECT 352.52/353.48 c rational objective 46.3636 362.99/363.91 c #Conflicts: 1002000 | #Constraints: 21469 362.99/363.91 c #Conflicts: 1003000 | #Constraints: 22471 362.99/363.91 c #Conflicts: 1004000 | #Constraints: 23475 362.99/363.91 c #Conflicts: 1005000 | #Constraints: 24479 362.99/363.91 c #Conflicts: 1006000 | #Constraints: 25484 362.99/363.91 c #Conflicts: 1007000 | #Constraints: 26490 362.99/363.91 c #Conflicts: 1008000 | #Constraints: 27494 362.99/363.91 c #Conflicts: 1009000 | #Constraints: 28495 362.99/363.91 c #Conflicts: 1010000 | #Constraints: 29498 362.99/363.91 c #Conflicts: 1011000 | #Constraints: 30503 362.99/363.91 c #Conflicts: 1012000 | #Constraints: 31506 362.99/363.91 c #Conflicts: 1013000 | #Constraints: 32510 362.99/363.91 c #Conflicts: 1014000 | #Constraints: 33517 362.99/363.91 c #Conflicts: 1015000 | #Constraints: 34520 362.99/363.91 c #Conflicts: 1016000 | #Constraints: 35524 362.99/363.91 c #Conflicts: 1017000 | #Constraints: 36526 362.99/363.91 c #Conflicts: 1018000 | #Constraints: 37527 362.99/363.91 c #Conflicts: 1019000 | #Constraints: 38529 362.99/363.91 c #Conflicts: 1020000 | #Constraints: 39532 362.99/363.91 c #Conflicts: 1021000 | #Constraints: 40533 362.99/363.91 c INPROCESSING 362.99/363.91 c GARBAGE COLLECT 362.99/363.91 c rational objective 46.3636 371.27/372.26 c #Conflicts: 1022000 | #Constraints: 21462 371.27/372.26 c #Conflicts: 1023000 | #Constraints: 22469 371.27/372.26 c #Conflicts: 1024000 | #Constraints: 23474 371.27/372.26 c #Conflicts: 1025000 | #Constraints: 24482 371.27/372.26 c #Conflicts: 1026000 | #Constraints: 25488 371.27/372.26 c #Conflicts: 1027000 | #Constraints: 26491 371.27/372.26 c #Conflicts: 1028000 | #Constraints: 27494 371.27/372.26 c #Conflicts: 1029000 | #Constraints: 28497 371.27/372.26 c #Conflicts: 1030000 | #Constraints: 29497 371.27/372.26 c #Conflicts: 1031000 | #Constraints: 30500 371.27/372.26 c #Conflicts: 1032000 | #Constraints: 31501 371.27/372.26 c #Conflicts: 1033000 | #Constraints: 32503 371.27/372.26 c #Conflicts: 1034000 | #Constraints: 33505 371.27/372.26 c #Conflicts: 1035000 | #Constraints: 34508 371.27/372.26 c #Conflicts: 1036000 | #Constraints: 35511 371.27/372.26 c #Conflicts: 1037000 | #Constraints: 36514 371.27/372.26 c #Conflicts: 1038000 | #Constraints: 37516 371.27/372.26 c #Conflicts: 1039000 | #Constraints: 38521 371.27/372.26 c #Conflicts: 1040000 | #Constraints: 39523 371.27/372.26 c #Conflicts: 1041000 | #Constraints: 40526 371.27/372.26 c INPROCESSING 371.27/372.26 c GARBAGE COLLECT 371.27/372.26 c rational objective 46.3636 381.85/382.87 c #Conflicts: 1042000 | #Constraints: 21254 381.85/382.87 c #Conflicts: 1043000 | #Constraints: 22256 381.85/382.87 c #Conflicts: 1044000 | #Constraints: 23262 381.85/382.87 c #Conflicts: 1045000 | #Constraints: 24273 381.85/382.87 c #Conflicts: 1046000 | #Constraints: 25280 381.85/382.87 c #Conflicts: 1047000 | #Constraints: 26285 381.85/382.87 c #Conflicts: 1048000 | #Constraints: 27289 381.85/382.87 c #Conflicts: 1049000 | #Constraints: 28293 381.85/382.87 c #Conflicts: 1050000 | #Constraints: 29295 381.85/382.87 c #Conflicts: 1051000 | #Constraints: 30303 381.85/382.87 c #Conflicts: 1052000 | #Constraints: 31309 381.85/382.87 c #Conflicts: 1053000 | #Constraints: 32312 381.85/382.87 c #Conflicts: 1054000 | #Constraints: 33318 381.85/382.87 c #Conflicts: 1055000 | #Constraints: 34323 381.85/382.87 c #Conflicts: 1056000 | #Constraints: 35330 381.85/382.87 c #Conflicts: 1057000 | #Constraints: 36336 381.85/382.87 c #Conflicts: 1058000 | #Constraints: 37339 381.85/382.87 c #Conflicts: 1059000 | #Constraints: 38345 381.85/382.87 c #Conflicts: 1060000 | #Constraints: 39355 381.85/382.87 c #Conflicts: 1061000 | #Constraints: 40361 381.85/382.87 c #Conflicts: 1062000 | #Constraints: 41366 381.85/382.87 c INPROCESSING 381.85/382.87 c GARBAGE COLLECT 381.85/382.87 c rational objective 46.3636 392.62/393.68 c #Conflicts: 1063000 | #Constraints: 21878 392.62/393.68 c #Conflicts: 1064000 | #Constraints: 22883 392.62/393.68 c #Conflicts: 1065000 | #Constraints: 23890 392.62/393.68 c #Conflicts: 1066000 | #Constraints: 24893 392.62/393.68 c #Conflicts: 1067000 | #Constraints: 25899 392.62/393.68 c #Conflicts: 1068000 | #Constraints: 26911 392.62/393.68 c #Conflicts: 1069000 | #Constraints: 27913 392.62/393.68 c #Conflicts: 1070000 | #Constraints: 28920 392.62/393.68 c #Conflicts: 1071000 | #Constraints: 29924 392.62/393.68 c #Conflicts: 1072000 | #Constraints: 30929 392.62/393.68 c #Conflicts: 1073000 | #Constraints: 31933 392.62/393.68 c #Conflicts: 1074000 | #Constraints: 32939 392.62/393.68 c #Conflicts: 1075000 | #Constraints: 33942 392.62/393.68 c #Conflicts: 1076000 | #Constraints: 34948 392.62/393.68 c #Conflicts: 1077000 | #Constraints: 35952 392.62/393.68 c #Conflicts: 1078000 | #Constraints: 36957 392.62/393.68 c #Conflicts: 1079000 | #Constraints: 37962 392.62/393.68 c #Conflicts: 1080000 | #Constraints: 38965 392.62/393.68 c #Conflicts: 1081000 | #Constraints: 39972 392.62/393.68 c #Conflicts: 1082000 | #Constraints: 40980 392.62/393.68 c #Conflicts: 1083000 | #Constraints: 41988 392.62/393.68 c INPROCESSING 392.62/393.68 c GARBAGE COLLECT 392.62/393.68 c rational objective 46.3636 402.90/403.97 c #Conflicts: 1084000 | #Constraints: 22287 402.90/403.97 c #Conflicts: 1085000 | #Constraints: 23291 402.90/403.97 c #Conflicts: 1086000 | #Constraints: 24297 402.90/403.97 c #Conflicts: 1087000 | #Constraints: 25302 402.90/403.97 c #Conflicts: 1088000 | #Constraints: 26308 402.90/403.97 c #Conflicts: 1089000 | #Constraints: 27314 402.90/403.97 c #Conflicts: 1090000 | #Constraints: 28320 402.90/403.97 c #Conflicts: 1091000 | #Constraints: 29326 402.90/403.97 c #Conflicts: 1092000 | #Constraints: 30331 402.90/403.97 c #Conflicts: 1093000 | #Constraints: 31336 402.90/403.97 c #Conflicts: 1094000 | #Constraints: 32341 402.90/403.97 c #Conflicts: 1095000 | #Constraints: 33343 402.90/403.97 c #Conflicts: 1096000 | #Constraints: 34349 402.90/403.97 c #Conflicts: 1097000 | #Constraints: 35354 402.90/403.97 c #Conflicts: 1098000 | #Constraints: 36357 402.90/403.97 c #Conflicts: 1099000 | #Constraints: 37360 402.90/403.97 c #Conflicts: 1100000 | #Constraints: 38368 402.90/403.97 c #Conflicts: 1101000 | #Constraints: 39372 402.90/403.97 c #Conflicts: 1102000 | #Constraints: 40374 402.90/403.97 c #Conflicts: 1103000 | #Constraints: 41383 402.90/403.97 c #Conflicts: 1104000 | #Constraints: 42387 402.90/403.97 c INPROCESSING 402.90/403.97 c GARBAGE COLLECT 402.90/403.97 c rational objective 46.3636 413.98/415.01 c #Conflicts: 1105000 | #Constraints: 22489 413.98/415.01 c #Conflicts: 1106000 | #Constraints: 23495 413.98/415.01 c #Conflicts: 1107000 | #Constraints: 24500 413.98/415.01 c #Conflicts: 1108000 | #Constraints: 25503 413.98/415.01 c #Conflicts: 1109000 | #Constraints: 26505 413.98/415.01 c #Conflicts: 1110000 | #Constraints: 27509 413.98/415.01 c #Conflicts: 1111000 | #Constraints: 28511 413.98/415.01 c #Conflicts: 1112000 | #Constraints: 29516 413.98/415.01 c #Conflicts: 1113000 | #Constraints: 30519 413.98/415.01 c #Conflicts: 1114000 | #Constraints: 31523 413.98/415.01 c #Conflicts: 1115000 | #Constraints: 32529 413.98/415.01 c #Conflicts: 1116000 | #Constraints: 33535 413.98/415.01 c #Conflicts: 1117000 | #Constraints: 34542 413.98/415.01 c #Conflicts: 1118000 | #Constraints: 35545 413.98/415.01 c #Conflicts: 1119000 | #Constraints: 36551 413.98/415.01 c #Conflicts: 1120000 | #Constraints: 37557 413.98/415.01 c #Conflicts: 1121000 | #Constraints: 38563 413.98/415.01 c #Conflicts: 1122000 | #Constraints: 39569 413.98/415.01 c #Conflicts: 1123000 | #Constraints: 40575 413.98/415.01 c #Conflicts: 1124000 | #Constraints: 41579 413.98/415.01 c #Conflicts: 1125000 | #Constraints: 42580 413.98/415.01 c INPROCESSING 413.98/415.01 c GARBAGE COLLECT 413.98/415.01 c rational objective 46.3636 423.35/424.43 c #Conflicts: 1126000 | #Constraints: 22482 423.35/424.43 c #Conflicts: 1127000 | #Constraints: 23485 423.35/424.43 c #Conflicts: 1128000 | #Constraints: 24489 423.35/424.43 c #Conflicts: 1129000 | #Constraints: 25493 423.35/424.43 c #Conflicts: 1130000 | #Constraints: 26496 423.35/424.43 c #Conflicts: 1131000 | #Constraints: 27497 423.35/424.43 c #Conflicts: 1132000 | #Constraints: 28499 423.35/424.43 c #Conflicts: 1133000 | #Constraints: 29500 423.35/424.43 c #Conflicts: 1134000 | #Constraints: 30504 423.35/424.43 c #Conflicts: 1135000 | #Constraints: 31507 423.35/424.43 c #Conflicts: 1136000 | #Constraints: 32511 423.35/424.43 c #Conflicts: 1137000 | #Constraints: 33518 423.35/424.43 c #Conflicts: 1138000 | #Constraints: 34520 423.35/424.43 c #Conflicts: 1139000 | #Constraints: 35520 423.35/424.43 c #Conflicts: 1140000 | #Constraints: 36523 423.35/424.43 c #Conflicts: 1141000 | #Constraints: 37525 423.35/424.43 c #Conflicts: 1142000 | #Constraints: 38525 423.35/424.43 c #Conflicts: 1143000 | #Constraints: 39528 423.35/424.43 c #Conflicts: 1144000 | #Constraints: 40530 423.35/424.43 c #Conflicts: 1145000 | #Constraints: 41533 423.35/424.43 c #Conflicts: 1146000 | #Constraints: 42537 423.35/424.43 c INPROCESSING 423.35/424.43 c GARBAGE COLLECT 423.35/424.43 c rational objective 46.3636 433.13/434.22 c #Conflicts: 1147000 | #Constraints: 22261 433.13/434.22 c #Conflicts: 1148000 | #Constraints: 23263 433.13/434.22 c #Conflicts: 1149000 | #Constraints: 24265 433.13/434.22 c #Conflicts: 1150000 | #Constraints: 25265 433.13/434.22 c #Conflicts: 1151000 | #Constraints: 26266 433.13/434.22 c #Conflicts: 1152000 | #Constraints: 27268 433.13/434.22 c #Conflicts: 1153000 | #Constraints: 28271 433.13/434.22 c #Conflicts: 1154000 | #Constraints: 29274 433.13/434.22 c #Conflicts: 1155000 | #Constraints: 30275 433.13/434.22 c #Conflicts: 1156000 | #Constraints: 31278 433.13/434.22 c #Conflicts: 1157000 | #Constraints: 32281 433.13/434.22 c #Conflicts: 1158000 | #Constraints: 33285 433.13/434.22 c #Conflicts: 1159000 | #Constraints: 34288 433.13/434.22 c #Conflicts: 1160000 | #Constraints: 35293 433.13/434.22 c #Conflicts: 1161000 | #Constraints: 36294 433.13/434.22 c #Conflicts: 1162000 | #Constraints: 37296 433.13/434.22 c #Conflicts: 1163000 | #Constraints: 38303 433.13/434.22 c #Conflicts: 1164000 | #Constraints: 39312 433.13/434.22 c #Conflicts: 1165000 | #Constraints: 40323 433.13/434.22 c #Conflicts: 1166000 | #Constraints: 41329 433.13/434.22 c #Conflicts: 1167000 | #Constraints: 42336 433.13/434.22 c #Conflicts: 1168000 | #Constraints: 43343 433.13/434.22 c INPROCESSING 433.13/434.22 c GARBAGE COLLECT 433.13/434.22 c rational objective 46.3636 443.70/444.82 c #Conflicts: 1169000 | #Constraints: 22865 443.70/444.82 c #Conflicts: 1170000 | #Constraints: 23877 443.70/444.82 c #Conflicts: 1171000 | #Constraints: 24884 443.70/444.82 c #Conflicts: 1172000 | #Constraints: 25892 443.70/444.82 c #Conflicts: 1173000 | #Constraints: 26895 443.70/444.82 c #Conflicts: 1174000 | #Constraints: 27896 443.70/444.82 c #Conflicts: 1175000 | #Constraints: 28898 443.70/444.82 c #Conflicts: 1176000 | #Constraints: 29900 443.70/444.82 c #Conflicts: 1177000 | #Constraints: 30902 443.70/444.82 c #Conflicts: 1178000 | #Constraints: 31905 443.70/444.82 c #Conflicts: 1179000 | #Constraints: 32907 443.70/444.82 c #Conflicts: 1180000 | #Constraints: 33909 443.70/444.82 c #Conflicts: 1181000 | #Constraints: 34918 443.70/444.82 c #Conflicts: 1182000 | #Constraints: 35918 443.70/444.82 c #Conflicts: 1183000 | #Constraints: 36920 443.70/444.82 c #Conflicts: 1184000 | #Constraints: 37921 443.70/444.82 c #Conflicts: 1185000 | #Constraints: 38923 443.70/444.82 c #Conflicts: 1186000 | #Constraints: 39927 443.70/444.82 c #Conflicts: 1187000 | #Constraints: 40930 443.70/444.82 c #Conflicts: 1188000 | #Constraints: 41933 443.70/444.82 c #Conflicts: 1189000 | #Constraints: 42935 443.70/444.82 c #Conflicts: 1190000 | #Constraints: 43938 443.70/444.82 c INPROCESSING 443.70/444.82 c GARBAGE COLLECT 443.70/444.82 c rational objective 46.3636 453.68/454.85 c #Conflicts: 1191000 | #Constraints: 23263 453.68/454.85 c #Conflicts: 1192000 | #Constraints: 24270 453.68/454.85 c #Conflicts: 1193000 | #Constraints: 25273 453.68/454.85 c #Conflicts: 1194000 | #Constraints: 26276 453.68/454.85 c #Conflicts: 1195000 | #Constraints: 27277 453.68/454.85 c #Conflicts: 1196000 | #Constraints: 28281 453.68/454.85 c #Conflicts: 1197000 | #Constraints: 29282 453.68/454.85 c #Conflicts: 1198000 | #Constraints: 30283 453.68/454.85 c #Conflicts: 1199000 | #Constraints: 31286 453.68/454.85 c #Conflicts: 1200000 | #Constraints: 32291 453.68/454.85 c #Conflicts: 1201000 | #Constraints: 33296 453.68/454.85 c #Conflicts: 1202000 | #Constraints: 34299 453.68/454.85 c #Conflicts: 1203000 | #Constraints: 35302 453.68/454.85 c #Conflicts: 1204000 | #Constraints: 36302 453.68/454.85 c #Conflicts: 1205000 | #Constraints: 37305 453.68/454.85 c #Conflicts: 1206000 | #Constraints: 38306 453.68/454.85 c #Conflicts: 1207000 | #Constraints: 39311 453.68/454.85 c #Conflicts: 1208000 | #Constraints: 40315 453.68/454.85 c #Conflicts: 1209000 | #Constraints: 41317 453.68/454.85 c #Conflicts: 1210000 | #Constraints: 42320 453.68/454.85 c #Conflicts: 1211000 | #Constraints: 43321 453.68/454.85 c #Conflicts: 1212000 | #Constraints: 44324 453.68/454.85 c INPROCESSING 453.68/454.85 c GARBAGE COLLECT 453.68/454.85 c rational objective 46.3636 464.15/465.36 c #Conflicts: 1213000 | #Constraints: 23449 464.15/465.36 c #Conflicts: 1214000 | #Constraints: 24453 464.15/465.36 c #Conflicts: 1215000 | #Constraints: 25458 464.15/465.36 c #Conflicts: 1216000 | #Constraints: 26464 464.15/465.36 c #Conflicts: 1217000 | #Constraints: 27468 464.15/465.36 c #Conflicts: 1218000 | #Constraints: 28470 464.15/465.36 c #Conflicts: 1219000 | #Constraints: 29474 464.15/465.36 c #Conflicts: 1220000 | #Constraints: 30478 464.15/465.36 c #Conflicts: 1221000 | #Constraints: 31480 464.15/465.36 c #Conflicts: 1222000 | #Constraints: 32483 464.15/465.36 c #Conflicts: 1223000 | #Constraints: 33486 464.15/465.36 c #Conflicts: 1224000 | #Constraints: 34487 464.15/465.36 c #Conflicts: 1225000 | #Constraints: 35488 464.15/465.36 c #Conflicts: 1226000 | #Constraints: 36494 464.15/465.36 c #Conflicts: 1227000 | #Constraints: 37496 464.15/465.36 c #Conflicts: 1228000 | #Constraints: 38500 464.15/465.36 c #Conflicts: 1229000 | #Constraints: 39502 464.15/465.36 c #Conflicts: 1230000 | #Constraints: 40504 464.15/465.36 c #Conflicts: 1231000 | #Constraints: 41506 464.15/465.36 c #Conflicts: 1232000 | #Constraints: 42506 464.15/465.36 c #Conflicts: 1233000 | #Constraints: 43508 464.15/465.36 c #Conflicts: 1234000 | #Constraints: 44515 464.15/465.36 c INPROCESSING 464.15/465.36 c GARBAGE COLLECT 464.15/465.36 c rational objective 46.3636 474.54/475.70 c #Conflicts: 1235000 | #Constraints: 23445 474.54/475.70 c #Conflicts: 1236000 | #Constraints: 24448 474.54/475.70 c #Conflicts: 1237000 | #Constraints: 25452 474.54/475.70 c #Conflicts: 1238000 | #Constraints: 26454 474.54/475.70 c #Conflicts: 1239000 | #Constraints: 27457 474.54/475.70 c #Conflicts: 1240000 | #Constraints: 28457 474.54/475.70 c #Conflicts: 1241000 | #Constraints: 29461 474.54/475.70 c #Conflicts: 1242000 | #Constraints: 30463 474.54/475.70 c #Conflicts: 1243000 | #Constraints: 31465 474.54/475.70 c #Conflicts: 1244000 | #Constraints: 32468 474.54/475.70 c #Conflicts: 1245000 | #Constraints: 33471 474.54/475.70 c #Conflicts: 1246000 | #Constraints: 34473 474.54/475.70 c #Conflicts: 1247000 | #Constraints: 35474 474.54/475.70 c #Conflicts: 1248000 | #Constraints: 36476 474.54/475.70 c #Conflicts: 1249000 | #Constraints: 37478 474.54/475.70 c #Conflicts: 1250000 | #Constraints: 38481 474.54/475.70 c #Conflicts: 1251000 | #Constraints: 39483 474.54/475.70 c #Conflicts: 1252000 | #Constraints: 40485 474.54/475.70 c #Conflicts: 1253000 | #Constraints: 41491 474.54/475.70 c #Conflicts: 1254000 | #Constraints: 42492 474.54/475.70 c #Conflicts: 1255000 | #Constraints: 43493 474.54/475.70 c #Conflicts: 1256000 | #Constraints: 44499 474.54/475.70 c INPROCESSING 474.54/475.70 c GARBAGE COLLECT 474.54/475.70 c rational objective 46.3636 484.21/485.45 c #Conflicts: 1257000 | #Constraints: 23237 484.21/485.45 c #Conflicts: 1258000 | #Constraints: 24237 484.21/485.45 c #Conflicts: 1259000 | #Constraints: 25238 484.21/485.45 c #Conflicts: 1260000 | #Constraints: 26239 484.21/485.45 c #Conflicts: 1261000 | #Constraints: 27244 484.21/485.45 c #Conflicts: 1262000 | #Constraints: 28246 484.21/485.45 c #Conflicts: 1263000 | #Constraints: 29247 484.21/485.45 c #Conflicts: 1264000 | #Constraints: 30250 484.21/485.45 c #Conflicts: 1265000 | #Constraints: 31255 484.21/485.45 c #Conflicts: 1266000 | #Constraints: 32260 484.21/485.45 c #Conflicts: 1267000 | #Constraints: 33268 484.21/485.45 c #Conflicts: 1268000 | #Constraints: 34268 484.21/485.45 c #Conflicts: 1269000 | #Constraints: 35270 484.21/485.45 c #Conflicts: 1270000 | #Constraints: 36272 484.21/485.45 c #Conflicts: 1271000 | #Constraints: 37273 484.21/485.45 c #Conflicts: 1272000 | #Constraints: 38277 484.21/485.45 c #Conflicts: 1273000 | #Constraints: 39280 484.21/485.45 c #Conflicts: 1274000 | #Constraints: 40282 484.21/485.45 c #Conflicts: 1275000 | #Constraints: 41283 484.21/485.45 c #Conflicts: 1276000 | #Constraints: 42285 484.21/485.45 c #Conflicts: 1277000 | #Constraints: 43285 484.21/485.45 c #Conflicts: 1278000 | #Constraints: 44285 484.21/485.45 c #Conflicts: 1279000 | #Constraints: 45285 484.21/485.45 c INPROCESSING 484.21/485.45 c GARBAGE COLLECT 484.21/485.45 c rational objective 46.3636 495.29/496.56 c #Conflicts: 1280000 | #Constraints: 23835 495.29/496.56 c #Conflicts: 1281000 | #Constraints: 24835 495.29/496.56 c #Conflicts: 1282000 | #Constraints: 25840 495.29/496.56 c #Conflicts: 1283000 | #Constraints: 26841 495.29/496.56 c #Conflicts: 1284000 | #Constraints: 27842 495.29/496.56 c #Conflicts: 1285000 | #Constraints: 28843 495.29/496.56 c #Conflicts: 1286000 | #Constraints: 29845 495.29/496.56 c #Conflicts: 1287000 | #Constraints: 30849 495.29/496.56 c #Conflicts: 1288000 | #Constraints: 31852 495.29/496.56 c #Conflicts: 1289000 | #Constraints: 32854 495.29/496.56 c #Conflicts: 1290000 | #Constraints: 33858 495.29/496.56 c #Conflicts: 1291000 | #Constraints: 34861 495.29/496.56 c #Conflicts: 1292000 | #Constraints: 35865 495.29/496.56 c #Conflicts: 1293000 | #Constraints: 36868 495.29/496.56 c #Conflicts: 1294000 | #Constraints: 37873 495.29/496.56 c #Conflicts: 1295000 | #Constraints: 38875 495.29/496.56 c #Conflicts: 1296000 | #Constraints: 39878 495.29/496.56 c #Conflicts: 1297000 | #Constraints: 40878 495.29/496.56 c #Conflicts: 1298000 | #Constraints: 41881 495.29/496.56 c #Conflicts: 1299000 | #Constraints: 42883 495.29/496.56 c #Conflicts: 1300000 | #Constraints: 43884 495.29/496.56 c #Conflicts: 1301000 | #Constraints: 44885 495.29/496.56 c #Conflicts: 1302000 | #Constraints: 45892 495.29/496.56 c INPROCESSING 495.29/496.56 c GARBAGE COLLECT 495.29/496.56 c rational objective 46.3636 504.87/506.14 c #Conflicts: 1303000 | #Constraints: 24235 504.87/506.14 c #Conflicts: 1304000 | #Constraints: 25239 504.87/506.14 c #Conflicts: 1305000 | #Constraints: 26239 504.87/506.14 c #Conflicts: 1306000 | #Constraints: 27240 504.87/506.14 c #Conflicts: 1307000 | #Constraints: 28241 504.87/506.14 c #Conflicts: 1308000 | #Constraints: 29243 504.87/506.14 c #Conflicts: 1309000 | #Constraints: 30244 504.87/506.14 c #Conflicts: 1310000 | #Constraints: 31246 504.87/506.14 c #Conflicts: 1311000 | #Constraints: 32248 504.87/506.14 c #Conflicts: 1312000 | #Constraints: 33253 504.87/506.14 c #Conflicts: 1313000 | #Constraints: 34259 504.87/506.14 c #Conflicts: 1314000 | #Constraints: 35262 504.87/506.14 c #Conflicts: 1315000 | #Constraints: 36262 504.87/506.14 c #Conflicts: 1316000 | #Constraints: 37262 504.87/506.14 c #Conflicts: 1317000 | #Constraints: 38264 504.87/506.14 c #Conflicts: 1318000 | #Constraints: 39265 504.87/506.14 c #Conflicts: 1319000 | #Constraints: 40265 504.87/506.14 c #Conflicts: 1320000 | #Constraints: 41267 504.87/506.14 c #Conflicts: 1321000 | #Constraints: 42268 504.87/506.14 c #Conflicts: 1322000 | #Constraints: 43270 504.87/506.14 c #Conflicts: 1323000 | #Constraints: 44272 504.87/506.14 c #Conflicts: 1324000 | #Constraints: 45273 504.87/506.14 c #Conflicts: 1325000 | #Constraints: 46277 504.87/506.14 c INPROCESSING 504.87/506.14 c GARBAGE COLLECT 504.87/506.14 c rational objective 46.3636 515.85/517.11 c #Conflicts: 1326000 | #Constraints: 24430 515.85/517.11 c #Conflicts: 1327000 | #Constraints: 25435 515.85/517.11 c #Conflicts: 1328000 | #Constraints: 26443 515.85/517.11 c #Conflicts: 1329000 | #Constraints: 27450 515.85/517.11 c #Conflicts: 1330000 | #Constraints: 28451 515.85/517.11 c #Conflicts: 1331000 | #Constraints: 29455 515.85/517.11 c #Conflicts: 1332000 | #Constraints: 30458 515.85/517.11 c #Conflicts: 1333000 | #Constraints: 31462 515.85/517.11 c #Conflicts: 1334000 | #Constraints: 32467 515.85/517.11 c #Conflicts: 1335000 | #Constraints: 33472 515.85/517.11 c #Conflicts: 1336000 | #Constraints: 34472 515.85/517.11 c #Conflicts: 1337000 | #Constraints: 35474 515.85/517.11 c #Conflicts: 1338000 | #Constraints: 36474 515.85/517.11 c #Conflicts: 1339000 | #Constraints: 37477 515.85/517.11 c #Conflicts: 1340000 | #Constraints: 38479 515.85/517.11 c #Conflicts: 1341000 | #Constraints: 39479 515.85/517.11 c #Conflicts: 1342000 | #Constraints: 40480 515.85/517.11 c #Conflicts: 1343000 | #Constraints: 41484 515.85/517.11 c #Conflicts: 1344000 | #Constraints: 42491 515.85/517.11 c #Conflicts: 1345000 | #Constraints: 43496 515.85/517.11 c #Conflicts: 1346000 | #Constraints: 44503 515.85/517.11 c #Conflicts: 1347000 | #Constraints: 45504 515.85/517.11 c #Conflicts: 1348000 | #Constraints: 46507 515.85/517.11 c INPROCESSING 515.85/517.11 c GARBAGE COLLECT 515.85/517.11 c rational objective 46.3636 527.41/528.70 c #Conflicts: 1349000 | #Constraints: 24442 527.41/528.70 c #Conflicts: 1350000 | #Constraints: 25445 527.41/528.70 c #Conflicts: 1351000 | #Constraints: 26450 527.41/528.70 c #Conflicts: 1352000 | #Constraints: 27455 527.41/528.70 c #Conflicts: 1353000 | #Constraints: 28457 527.41/528.70 c #Conflicts: 1354000 | #Constraints: 29459 527.41/528.70 c #Conflicts: 1355000 | #Constraints: 30461 527.41/528.70 c #Conflicts: 1356000 | #Constraints: 31465 527.41/528.70 c #Conflicts: 1357000 | #Constraints: 32472 527.41/528.70 c #Conflicts: 1358000 | #Constraints: 33475 527.41/528.70 c #Conflicts: 1359000 | #Constraints: 34480 527.41/528.70 c #Conflicts: 1360000 | #Constraints: 35480 527.41/528.70 c #Conflicts: 1361000 | #Constraints: 36484 527.41/528.70 c #Conflicts: 1362000 | #Constraints: 37487 527.41/528.70 c #Conflicts: 1363000 | #Constraints: 38490 527.41/528.70 c #Conflicts: 1364000 | #Constraints: 39492 527.41/528.70 c #Conflicts: 1365000 | #Constraints: 40494 527.41/528.70 c #Conflicts: 1366000 | #Constraints: 41496 527.41/528.70 c #Conflicts: 1367000 | #Constraints: 42497 527.41/528.70 c #Conflicts: 1368000 | #Constraints: 43497 527.41/528.70 c #Conflicts: 1369000 | #Constraints: 44499 527.41/528.70 c #Conflicts: 1370000 | #Constraints: 45499 527.41/528.70 c #Conflicts: 1371000 | #Constraints: 46500 527.41/528.70 c INPROCESSING 527.41/528.70 c GARBAGE COLLECT 527.41/528.70 c rational objective 46.3636 539.19/540.56 c #Conflicts: 1372000 | #Constraints: 24238 539.19/540.56 c #Conflicts: 1373000 | #Constraints: 25240 539.19/540.56 c #Conflicts: 1374000 | #Constraints: 26244 539.19/540.56 c #Conflicts: 1375000 | #Constraints: 27248 539.19/540.56 c #Conflicts: 1376000 | #Constraints: 28250 539.19/540.56 c #Conflicts: 1377000 | #Constraints: 29250 539.19/540.56 c #Conflicts: 1378000 | #Constraints: 30250 539.19/540.56 c #Conflicts: 1379000 | #Constraints: 31251 539.19/540.56 c #Conflicts: 1380000 | #Constraints: 32254 539.19/540.56 c #Conflicts: 1381000 | #Constraints: 33255 539.19/540.56 c #Conflicts: 1382000 | #Constraints: 34256 539.19/540.56 c #Conflicts: 1383000 | #Constraints: 35258 539.19/540.56 c #Conflicts: 1384000 | #Constraints: 36264 539.19/540.56 c #Conflicts: 1385000 | #Constraints: 37266 539.19/540.56 c #Conflicts: 1386000 | #Constraints: 38270 539.19/540.56 c #Conflicts: 1387000 | #Constraints: 39271 539.19/540.56 c #Conflicts: 1388000 | #Constraints: 40273 539.19/540.56 c #Conflicts: 1389000 | #Constraints: 41275 539.19/540.56 c #Conflicts: 1390000 | #Constraints: 42278 539.19/540.56 c #Conflicts: 1391000 | #Constraints: 43280 539.19/540.56 c #Conflicts: 1392000 | #Constraints: 44282 539.19/540.56 c #Conflicts: 1393000 | #Constraints: 45286 539.19/540.56 c #Conflicts: 1394000 | #Constraints: 46289 539.19/540.56 c #Conflicts: 1395000 | #Constraints: 47294 539.19/540.56 c INPROCESSING 539.19/540.56 c GARBAGE COLLECT 539.19/540.56 c rational objective 46.3636 550.67/552.03 c #Conflicts: 1396000 | #Constraints: 24838 550.67/552.03 c #Conflicts: 1397000 | #Constraints: 25845 550.67/552.03 c #Conflicts: 1398000 | #Constraints: 26847 550.67/552.03 c #Conflicts: 1399000 | #Constraints: 27848 550.67/552.03 c #Conflicts: 1400000 | #Constraints: 28850 550.67/552.03 c #Conflicts: 1401000 | #Constraints: 29853 550.67/552.03 c #Conflicts: 1402000 | #Constraints: 30854 550.67/552.03 c #Conflicts: 1403000 | #Constraints: 31855 550.67/552.03 c #Conflicts: 1404000 | #Constraints: 32858 550.67/552.03 c #Conflicts: 1405000 | #Constraints: 33859 550.67/552.03 c #Conflicts: 1406000 | #Constraints: 34862 550.67/552.03 c #Conflicts: 1407000 | #Constraints: 35864 550.67/552.03 c #Conflicts: 1408000 | #Constraints: 36865 550.67/552.03 c #Conflicts: 1409000 | #Constraints: 37868 550.67/552.03 c #Conflicts: 1410000 | #Constraints: 38868 550.67/552.03 c #Conflicts: 1411000 | #Constraints: 39871 550.67/552.03 c #Conflicts: 1412000 | #Constraints: 40874 550.67/552.03 c #Conflicts: 1413000 | #Constraints: 41874 550.67/552.03 c #Conflicts: 1414000 | #Constraints: 42876 550.67/552.03 c #Conflicts: 1415000 | #Constraints: 43885 550.67/552.03 c #Conflicts: 1416000 | #Constraints: 44889 550.67/552.03 c #Conflicts: 1417000 | #Constraints: 45892 550.67/552.03 c #Conflicts: 1418000 | #Constraints: 46895 550.67/552.03 c #Conflicts: 1419000 | #Constraints: 47897 550.67/552.03 c INPROCESSING 550.67/552.03 c GARBAGE COLLECT 550.67/552.03 c rational objective 46.3636 561.54/562.92 c #Conflicts: 1420000 | #Constraints: 25241 561.54/562.92 c #Conflicts: 1421000 | #Constraints: 26245 561.54/562.92 c #Conflicts: 1422000 | #Constraints: 27247 561.54/562.92 c #Conflicts: 1423000 | #Constraints: 28251 561.54/562.92 c #Conflicts: 1424000 | #Constraints: 29251 561.54/562.92 c #Conflicts: 1425000 | #Constraints: 30253 561.54/562.92 c #Conflicts: 1426000 | #Constraints: 31256 561.54/562.92 c #Conflicts: 1427000 | #Constraints: 32257 561.54/562.92 c #Conflicts: 1428000 | #Constraints: 33260 561.54/562.92 c #Conflicts: 1429000 | #Constraints: 34262 561.54/562.92 c #Conflicts: 1430000 | #Constraints: 35266 561.54/562.92 c #Conflicts: 1431000 | #Constraints: 36272 561.54/562.92 c #Conflicts: 1432000 | #Constraints: 37274 561.54/562.92 c #Conflicts: 1433000 | #Constraints: 38276 561.54/562.92 c #Conflicts: 1434000 | #Constraints: 39280 561.54/562.92 c #Conflicts: 1435000 | #Constraints: 40280 561.54/562.92 c #Conflicts: 1436000 | #Constraints: 41280 561.54/562.92 c #Conflicts: 1437000 | #Constraints: 42284 561.54/562.92 c #Conflicts: 1438000 | #Constraints: 43284 561.54/562.92 c #Conflicts: 1439000 | #Constraints: 44284 561.54/562.92 c #Conflicts: 1440000 | #Constraints: 45285 561.54/562.92 c #Conflicts: 1441000 | #Constraints: 46285 561.54/562.92 c #Conflicts: 1442000 | #Constraints: 47285 561.54/562.92 c #Conflicts: 1443000 | #Constraints: 48290 561.54/562.92 c INPROCESSING 561.54/562.92 c GARBAGE COLLECT 561.54/562.92 c rational objective 46.3636 574.21/575.68 c #Conflicts: 1444000 | #Constraints: 25436 574.21/575.68 c #Conflicts: 1445000 | #Constraints: 26441 574.21/575.68 c #Conflicts: 1446000 | #Constraints: 27447 574.21/575.68 c #Conflicts: 1447000 | #Constraints: 28450 574.21/575.68 c #Conflicts: 1448000 | #Constraints: 29452 574.21/575.68 c #Conflicts: 1449000 | #Constraints: 30455 574.21/575.68 c #Conflicts: 1450000 | #Constraints: 31455 574.21/575.68 c #Conflicts: 1451000 | #Constraints: 32456 574.21/575.68 c #Conflicts: 1452000 | #Constraints: 33457 574.21/575.68 c #Conflicts: 1453000 | #Constraints: 34458 574.21/575.68 c #Conflicts: 1454000 | #Constraints: 35459 574.21/575.68 c #Conflicts: 1455000 | #Constraints: 36460 574.21/575.68 c #Conflicts: 1456000 | #Constraints: 37462 574.21/575.68 c #Conflicts: 1457000 | #Constraints: 38464 574.21/575.68 c #Conflicts: 1458000 | #Constraints: 39467 574.21/575.68 c #Conflicts: 1459000 | #Constraints: 40469 574.21/575.68 c #Conflicts: 1460000 | #Constraints: 41471 574.21/575.68 c #Conflicts: 1461000 | #Constraints: 42473 574.21/575.68 c #Conflicts: 1462000 | #Constraints: 43474 574.21/575.68 c #Conflicts: 1463000 | #Constraints: 44475 574.21/575.68 c #Conflicts: 1464000 | #Constraints: 45479 574.21/575.68 c #Conflicts: 1465000 | #Constraints: 46482 574.21/575.68 c #Conflicts: 1466000 | #Constraints: 47483 574.21/575.68 c #Conflicts: 1467000 | #Constraints: 48483 574.21/575.68 c INPROCESSING 574.21/575.68 c GARBAGE COLLECT 574.21/575.68 c rational objective 46.3636 586.58/588.00 c #Conflicts: 1468000 | #Constraints: 25440 586.58/588.00 c #Conflicts: 1469000 | #Constraints: 26441 586.58/588.00 c #Conflicts: 1470000 | #Constraints: 27444 586.58/588.00 c #Conflicts: 1471000 | #Constraints: 28447 586.58/588.00 c #Conflicts: 1472000 | #Constraints: 29448 586.58/588.00 c #Conflicts: 1473000 | #Constraints: 30450 586.58/588.00 c #Conflicts: 1474000 | #Constraints: 31451 586.58/588.00 c #Conflicts: 1475000 | #Constraints: 32452 586.58/588.00 c #Conflicts: 1476000 | #Constraints: 33454 586.58/588.00 c #Conflicts: 1477000 | #Constraints: 34461 586.58/588.00 c #Conflicts: 1478000 | #Constraints: 35466 586.58/588.00 c #Conflicts: 1479000 | #Constraints: 36475 586.58/588.00 c #Conflicts: 1480000 | #Constraints: 37481 586.58/588.00 c #Conflicts: 1481000 | #Constraints: 38483 586.58/588.00 c #Conflicts: 1482000 | #Constraints: 39485 586.58/588.00 c #Conflicts: 1483000 | #Constraints: 40485 586.58/588.00 c #Conflicts: 1484000 | #Constraints: 41488 586.58/588.00 c #Conflicts: 1485000 | #Constraints: 42490 586.58/588.00 c #Conflicts: 1486000 | #Constraints: 43493 586.58/588.00 c #Conflicts: 1487000 | #Constraints: 44495 586.58/588.00 c #Conflicts: 1488000 | #Constraints: 45497 586.58/588.00 c #Conflicts: 1489000 | #Constraints: 46498 586.58/588.00 c #Conflicts: 1490000 | #Constraints: 47503 586.58/588.00 c #Conflicts: 1491000 | #Constraints: 48503 586.58/588.00 c INPROCESSING 586.58/588.00 c GARBAGE COLLECT 586.58/588.00 c rational objective 46.3636 597.96/599.47 c #Conflicts: 1492000 | #Constraints: 25239 597.96/599.47 c #Conflicts: 1493000 | #Constraints: 26241 597.96/599.47 c #Conflicts: 1494000 | #Constraints: 27241 597.96/599.47 c #Conflicts: 1495000 | #Constraints: 28244 597.96/599.47 c #Conflicts: 1496000 | #Constraints: 29245 597.96/599.47 c #Conflicts: 1497000 | #Constraints: 30248 597.96/599.47 c #Conflicts: 1498000 | #Constraints: 31251 597.96/599.47 c #Conflicts: 1499000 | #Constraints: 32252 597.96/599.47 c #Conflicts: 1500000 | #Constraints: 33252 597.96/599.47 c #Conflicts: 1501000 | #Constraints: 34257 597.96/599.47 c #Conflicts: 1502000 | #Constraints: 35261 597.96/599.47 c #Conflicts: 1503000 | #Constraints: 36264 597.96/599.47 c #Conflicts: 1504000 | #Constraints: 37270 597.96/599.47 c #Conflicts: 1505000 | #Constraints: 38275 597.96/599.47 c #Conflicts: 1506000 | #Constraints: 39282 597.96/599.47 c #Conflicts: 1507000 | #Constraints: 40283 597.96/599.47 c #Conflicts: 1508000 | #Constraints: 41284 597.96/599.47 c #Conflicts: 1509000 | #Constraints: 42285 597.96/599.47 c #Conflicts: 1510000 | #Constraints: 43288 597.96/599.47 c #Conflicts: 1511000 | #Constraints: 44292 597.96/599.47 c #Conflicts: 1512000 | #Constraints: 45294 597.96/599.47 c #Conflicts: 1513000 | #Constraints: 46298 597.96/599.47 c #Conflicts: 1514000 | #Constraints: 47299 597.96/599.47 c #Conflicts: 1515000 | #Constraints: 48300 597.96/599.47 c #Conflicts: 1516000 | #Constraints: 49302 597.96/599.47 c INPROCESSING 597.96/599.47 c GARBAGE COLLECT 597.96/599.47 c rational objective 46.3636 610.73/612.26 c #Conflicts: 1517000 | #Constraints: 25842 610.73/612.26 c #Conflicts: 1518000 | #Constraints: 26845 610.73/612.26 c #Conflicts: 1519000 | #Constraints: 27847 610.73/612.26 c #Conflicts: 1520000 | #Constraints: 28850 610.73/612.26 c #Conflicts: 1521000 | #Constraints: 29850 610.73/612.26 c #Conflicts: 1522000 | #Constraints: 30854 610.73/612.26 c #Conflicts: 1523000 | #Constraints: 31855 610.73/612.26 c #Conflicts: 1524000 | #Constraints: 32859 610.73/612.26 c #Conflicts: 1525000 | #Constraints: 33863 610.73/612.26 c #Conflicts: 1526000 | #Constraints: 34864 610.73/612.26 c #Conflicts: 1527000 | #Constraints: 35869 610.73/612.26 c #Conflicts: 1528000 | #Constraints: 36874 610.73/612.26 c #Conflicts: 1529000 | #Constraints: 37877 610.73/612.26 c #Conflicts: 1530000 | #Constraints: 38879 610.73/612.26 c #Conflicts: 1531000 | #Constraints: 39880 610.73/612.26 c #Conflicts: 1532000 | #Constraints: 40880 610.73/612.26 c #Conflicts: 1533000 | #Constraints: 41884 610.73/612.26 c #Conflicts: 1534000 | #Constraints: 42892 610.73/612.26 c #Conflicts: 1535000 | #Constraints: 43894 610.73/612.26 c #Conflicts: 1536000 | #Constraints: 44898 610.73/612.26 c #Conflicts: 1537000 | #Constraints: 45903 610.73/612.26 c #Conflicts: 1538000 | #Constraints: 46904 610.73/612.26 c #Conflicts: 1539000 | #Constraints: 47905 610.73/612.26 c #Conflicts: 1540000 | #Constraints: 48906 610.73/612.26 c #Conflicts: 1541000 | #Constraints: 49907 610.73/612.26 c INPROCESSING 610.73/612.26 c GARBAGE COLLECT 610.73/612.26 c rational objective 46.3636 623.19/624.72 c #Conflicts: 1542000 | #Constraints: 26249 623.19/624.72 c #Conflicts: 1543000 | #Constraints: 27256 623.19/624.72 c #Conflicts: 1544000 | #Constraints: 28261 623.19/624.72 c #Conflicts: 1545000 | #Constraints: 29274 623.19/624.72 c #Conflicts: 1546000 | #Constraints: 30277 623.19/624.72 c #Conflicts: 1547000 | #Constraints: 31281 623.19/624.72 c #Conflicts: 1548000 | #Constraints: 32286 623.19/624.72 c #Conflicts: 1549000 | #Constraints: 33293 623.19/624.72 c #Conflicts: 1550000 | #Constraints: 34298 623.19/624.72 c #Conflicts: 1551000 | #Constraints: 35302 623.19/624.72 c #Conflicts: 1552000 | #Constraints: 36309 623.19/624.72 c #Conflicts: 1553000 | #Constraints: 37315 623.19/624.72 c #Conflicts: 1554000 | #Constraints: 38322 623.19/624.72 c #Conflicts: 1555000 | #Constraints: 39327 623.19/624.72 c #Conflicts: 1556000 | #Constraints: 40329 623.19/624.72 c #Conflicts: 1557000 | #Constraints: 41335 623.19/624.72 c #Conflicts: 1558000 | #Constraints: 42342 623.19/624.72 c #Conflicts: 1559000 | #Constraints: 43346 623.19/624.72 c #Conflicts: 1560000 | #Constraints: 44349 623.19/624.72 c #Conflicts: 1561000 | #Constraints: 45351 623.19/624.72 c #Conflicts: 1562000 | #Constraints: 46357 623.19/624.72 c #Conflicts: 1563000 | #Constraints: 47362 623.19/624.72 c #Conflicts: 1564000 | #Constraints: 48367 623.19/624.72 c #Conflicts: 1565000 | #Constraints: 49371 623.19/624.72 c #Conflicts: 1566000 | #Constraints: 50375 623.19/624.72 c INPROCESSING 623.19/624.72 c GARBAGE COLLECT 623.19/624.72 c rational objective 46.3636 637.17/638.79 c #Conflicts: 1567000 | #Constraints: 26478 637.17/638.79 c #Conflicts: 1568000 | #Constraints: 27480 637.17/638.79 c #Conflicts: 1569000 | #Constraints: 28483 637.17/638.79 c #Conflicts: 1570000 | #Constraints: 29487 637.17/638.79 c #Conflicts: 1571000 | #Constraints: 30489 637.17/638.79 c #Conflicts: 1572000 | #Constraints: 31494 637.17/638.79 c #Conflicts: 1573000 | #Constraints: 32499 637.17/638.79 c #Conflicts: 1574000 | #Constraints: 33507 637.17/638.79 c #Conflicts: 1575000 | #Constraints: 34508 637.17/638.79 c #Conflicts: 1576000 | #Constraints: 35515 637.17/638.79 c #Conflicts: 1577000 | #Constraints: 36519 637.17/638.79 c #Conflicts: 1578000 | #Constraints: 37526 637.17/638.79 c #Conflicts: 1579000 | #Constraints: 38531 637.17/638.79 c #Conflicts: 1580000 | #Constraints: 39536 637.17/638.79 c #Conflicts: 1581000 | #Constraints: 40538 637.17/638.79 c #Conflicts: 1582000 | #Constraints: 41542 637.17/638.79 c #Conflicts: 1583000 | #Constraints: 42550 637.17/638.79 c #Conflicts: 1584000 | #Constraints: 43558 637.17/638.79 c #Conflicts: 1585000 | #Constraints: 44565 637.17/638.79 c #Conflicts: 1586000 | #Constraints: 45570 637.17/638.79 c #Conflicts: 1587000 | #Constraints: 46577 637.17/638.79 c #Conflicts: 1588000 | #Constraints: 47582 637.17/638.79 c #Conflicts: 1589000 | #Constraints: 48588 637.17/638.79 c #Conflicts: 1590000 | #Constraints: 49592 637.17/638.79 c #Conflicts: 1591000 | #Constraints: 50597 637.17/638.79 c INPROCESSING 637.17/638.79 c GARBAGE COLLECT 637.17/638.79 c rational objective 46.3636 651.33/652.97 c #Conflicts: 1592000 | #Constraints: 26486 651.33/652.97 c #Conflicts: 1593000 | #Constraints: 27489 651.33/652.97 c #Conflicts: 1594000 | #Constraints: 28493 651.33/652.97 c #Conflicts: 1595000 | #Constraints: 29495 651.33/652.97 c #Conflicts: 1596000 | #Constraints: 30500 651.33/652.97 c #Conflicts: 1597000 | #Constraints: 31503 651.33/652.97 c #Conflicts: 1598000 | #Constraints: 32509 651.33/652.97 c #Conflicts: 1599000 | #Constraints: 33515 651.33/652.97 c #Conflicts: 1600000 | #Constraints: 34519 651.33/652.97 c #Conflicts: 1601000 | #Constraints: 35521 651.33/652.97 c #Conflicts: 1602000 | #Constraints: 36525 651.33/652.97 c #Conflicts: 1603000 | #Constraints: 37530 651.33/652.97 c #Conflicts: 1604000 | #Constraints: 38532 651.33/652.97 c #Conflicts: 1605000 | #Constraints: 39533 651.33/652.97 c #Conflicts: 1606000 | #Constraints: 40539 651.33/652.97 c #Conflicts: 1607000 | #Constraints: 41545 651.33/652.97 c #Conflicts: 1608000 | #Constraints: 42550 651.33/652.97 c #Conflicts: 1609000 | #Constraints: 43554 651.33/652.97 c #Conflicts: 1610000 | #Constraints: 44559 651.33/652.97 c #Conflicts: 1611000 | #Constraints: 45561 651.33/652.97 c #Conflicts: 1612000 | #Constraints: 46563 651.33/652.97 c #Conflicts: 1613000 | #Constraints: 47570 651.33/652.97 c #Conflicts: 1614000 | #Constraints: 48578 651.33/652.97 c #Conflicts: 1615000 | #Constraints: 49579 651.33/652.97 c #Conflicts: 1616000 | #Constraints: 50581 651.33/652.97 c INPROCESSING 651.33/652.97 c GARBAGE COLLECT 651.33/652.97 c rational objective 46.3636 667.90/669.55 c #Conflicts: 1617000 | #Constraints: 26281 667.90/669.55 c #Conflicts: 1618000 | #Constraints: 27287 667.90/669.55 c #Conflicts: 1619000 | #Constraints: 28293 667.90/669.55 c #Conflicts: 1620000 | #Constraints: 29295 667.90/669.55 c #Conflicts: 1621000 | #Constraints: 30301 667.90/669.55 c #Conflicts: 1622000 | #Constraints: 31308 667.90/669.55 c #Conflicts: 1623000 | #Constraints: 32317 667.90/669.55 c #Conflicts: 1624000 | #Constraints: 33326 667.90/669.55 c #Conflicts: 1625000 | #Constraints: 34335 667.90/669.55 c #Conflicts: 1626000 | #Constraints: 35342 667.90/669.55 c #Conflicts: 1627000 | #Constraints: 36348 667.90/669.55 c #Conflicts: 1628000 | #Constraints: 37355 667.90/669.55 c #Conflicts: 1629000 | #Constraints: 38360 667.90/669.55 c #Conflicts: 1630000 | #Constraints: 39365 667.90/669.55 c #Conflicts: 1631000 | #Constraints: 40372 667.90/669.55 c #Conflicts: 1632000 | #Constraints: 41379 667.90/669.55 c #Conflicts: 1633000 | #Constraints: 42384 667.90/669.55 c #Conflicts: 1634000 | #Constraints: 43390 667.90/669.55 c #Conflicts: 1635000 | #Constraints: 44397 667.90/669.55 c #Conflicts: 1636000 | #Constraints: 45407 667.90/669.55 c #Conflicts: 1637000 | #Constraints: 46414 667.90/669.55 c #Conflicts: 1638000 | #Constraints: 47420 667.90/669.55 c #Conflicts: 1639000 | #Constraints: 48425 667.90/669.55 c #Conflicts: 1640000 | #Constraints: 49430 667.90/669.55 c #Conflicts: 1641000 | #Constraints: 50436 667.90/669.55 c #Conflicts: 1642000 | #Constraints: 51439 667.90/669.55 c INPROCESSING 667.90/669.55 c GARBAGE COLLECT 667.90/669.55 c rational objective 46.3636 681.07/682.75 c #Conflicts: 1643000 | #Constraints: 26908 681.07/682.75 c #Conflicts: 1644000 | #Constraints: 27909 681.07/682.75 c #Conflicts: 1645000 | #Constraints: 28911 681.07/682.75 c #Conflicts: 1646000 | #Constraints: 29913 681.07/682.75 c #Conflicts: 1647000 | #Constraints: 30916 681.07/682.75 c #Conflicts: 1648000 | #Constraints: 31918 681.07/682.75 c #Conflicts: 1649000 | #Constraints: 32923 681.07/682.75 c #Conflicts: 1650000 | #Constraints: 33926 681.07/682.75 c #Conflicts: 1651000 | #Constraints: 34928 681.07/682.75 c #Conflicts: 1652000 | #Constraints: 35928 681.07/682.75 c #Conflicts: 1653000 | #Constraints: 36931 681.07/682.75 c #Conflicts: 1654000 | #Constraints: 37935 681.07/682.75 c #Conflicts: 1655000 | #Constraints: 38937 681.07/682.75 c #Conflicts: 1656000 | #Constraints: 39940 681.07/682.75 c #Conflicts: 1657000 | #Constraints: 40947 681.07/682.75 c #Conflicts: 1658000 | #Constraints: 41950 681.07/682.75 c #Conflicts: 1659000 | #Constraints: 42955 681.07/682.75 c #Conflicts: 1660000 | #Constraints: 43957 681.07/682.75 c #Conflicts: 1661000 | #Constraints: 44959 681.07/682.75 c #Conflicts: 1662000 | #Constraints: 45960 681.07/682.75 c #Conflicts: 1663000 | #Constraints: 46960 681.07/682.75 c #Conflicts: 1664000 | #Constraints: 47962 681.07/682.75 c #Conflicts: 1665000 | #Constraints: 48964 681.07/682.75 c #Conflicts: 1666000 | #Constraints: 49966 681.07/682.75 c #Conflicts: 1667000 | #Constraints: 50969 681.07/682.75 c #Conflicts: 1668000 | #Constraints: 51972 681.07/682.75 c INPROCESSING 681.07/682.75 c GARBAGE COLLECT 681.07/682.75 c rational objective 46.3636 695.54/697.29 c #Conflicts: 1669000 | #Constraints: 27279 695.54/697.29 c #Conflicts: 1670000 | #Constraints: 28283 695.54/697.29 c #Conflicts: 1671000 | #Constraints: 29289 695.54/697.29 c #Conflicts: 1672000 | #Constraints: 30293 695.54/697.29 c #Conflicts: 1673000 | #Constraints: 31296 695.54/697.29 c #Conflicts: 1674000 | #Constraints: 32298 695.54/697.29 c #Conflicts: 1675000 | #Constraints: 33299 695.54/697.29 c #Conflicts: 1676000 | #Constraints: 34302 695.54/697.29 c #Conflicts: 1677000 | #Constraints: 35305 695.54/697.29 c #Conflicts: 1678000 | #Constraints: 36308 695.54/697.29 c #Conflicts: 1679000 | #Constraints: 37310 695.54/697.29 c #Conflicts: 1680000 | #Constraints: 38314 695.54/697.29 c #Conflicts: 1681000 | #Constraints: 39317 695.54/697.29 c #Conflicts: 1682000 | #Constraints: 40322 695.54/697.29 c #Conflicts: 1683000 | #Constraints: 41326 695.54/697.29 c #Conflicts: 1684000 | #Constraints: 42329 695.54/697.29 c #Conflicts: 1685000 | #Constraints: 43335 695.54/697.29 c #Conflicts: 1686000 | #Constraints: 44337 695.54/697.29 c #Conflicts: 1687000 | #Constraints: 45338 695.54/697.29 c #Conflicts: 1688000 | #Constraints: 46340 695.54/697.29 c #Conflicts: 1689000 | #Constraints: 47343 695.54/697.29 c #Conflicts: 1690000 | #Constraints: 48347 695.54/697.29 c #Conflicts: 1691000 | #Constraints: 49355 695.54/697.29 c #Conflicts: 1692000 | #Constraints: 50355 695.54/697.29 c #Conflicts: 1693000 | #Constraints: 51358 695.54/697.29 c #Conflicts: 1694000 | #Constraints: 52364 695.54/697.29 c INPROCESSING 695.54/697.29 c GARBAGE COLLECT 695.54/697.29 c rational objective 46.3636 709.11/710.80 c #Conflicts: 1695000 | #Constraints: 27474 709.11/710.80 c #Conflicts: 1696000 | #Constraints: 28476 709.11/710.80 c #Conflicts: 1697000 | #Constraints: 29481 709.11/710.80 c #Conflicts: 1698000 | #Constraints: 30482 709.11/710.80 c #Conflicts: 1699000 | #Constraints: 31483 709.11/710.80 c #Conflicts: 1700000 | #Constraints: 32487 709.11/710.80 c #Conflicts: 1701000 | #Constraints: 33490 709.11/710.80 c #Conflicts: 1702000 | #Constraints: 34496 709.11/710.80 c #Conflicts: 1703000 | #Constraints: 35499 709.11/710.80 c #Conflicts: 1704000 | #Constraints: 36503 709.11/710.80 c #Conflicts: 1705000 | #Constraints: 37504 709.11/710.80 c #Conflicts: 1706000 | #Constraints: 38507 709.11/710.80 c #Conflicts: 1707000 | #Constraints: 39508 709.11/710.80 c #Conflicts: 1708000 | #Constraints: 40510 709.11/710.80 c #Conflicts: 1709000 | #Constraints: 41513 709.11/710.80 c #Conflicts: 1710000 | #Constraints: 42515 709.11/710.80 c #Conflicts: 1711000 | #Constraints: 43517 709.11/710.80 c #Conflicts: 1712000 | #Constraints: 44523 709.11/710.80 c #Conflicts: 1713000 | #Constraints: 45525 709.11/710.80 c #Conflicts: 1714000 | #Constraints: 46527 709.11/710.80 c #Conflicts: 1715000 | #Constraints: 47528 709.11/710.80 c #Conflicts: 1716000 | #Constraints: 48532 709.11/710.80 c #Conflicts: 1717000 | #Constraints: 49536 709.11/710.80 c #Conflicts: 1718000 | #Constraints: 50538 709.11/710.80 c #Conflicts: 1719000 | #Constraints: 51538 709.11/710.80 c #Conflicts: 1720000 | #Constraints: 52539 709.11/710.80 c INPROCESSING 709.11/710.80 c GARBAGE COLLECT 709.11/710.80 c rational objective 46.3636 722.68/724.47 c #Conflicts: 1721000 | #Constraints: 27465 722.68/724.47 c #Conflicts: 1722000 | #Constraints: 28469 722.68/724.47 c #Conflicts: 1723000 | #Constraints: 29471 722.68/724.47 c #Conflicts: 1724000 | #Constraints: 30473 722.68/724.47 c #Conflicts: 1725000 | #Constraints: 31474 722.68/724.47 c #Conflicts: 1726000 | #Constraints: 32477 722.68/724.47 c #Conflicts: 1727000 | #Constraints: 33481 722.68/724.47 c #Conflicts: 1728000 | #Constraints: 34485 722.68/724.47 c #Conflicts: 1729000 | #Constraints: 35487 722.68/724.47 c #Conflicts: 1730000 | #Constraints: 36487 722.68/724.47 c #Conflicts: 1731000 | #Constraints: 37491 722.68/724.47 c #Conflicts: 1732000 | #Constraints: 38496 722.68/724.47 c #Conflicts: 1733000 | #Constraints: 39501 722.68/724.47 c #Conflicts: 1734000 | #Constraints: 40504 722.68/724.47 c #Conflicts: 1735000 | #Constraints: 41511 722.68/724.47 c #Conflicts: 1736000 | #Constraints: 42519 722.68/724.47 c #Conflicts: 1737000 | #Constraints: 43528 722.68/724.47 c #Conflicts: 1738000 | #Constraints: 44533 722.68/724.47 c #Conflicts: 1739000 | #Constraints: 45547 722.68/724.47 c #Conflicts: 1740000 | #Constraints: 46551 722.68/724.47 c #Conflicts: 1741000 | #Constraints: 47556 722.68/724.47 c #Conflicts: 1742000 | #Constraints: 48563 722.68/724.47 c #Conflicts: 1743000 | #Constraints: 49570 722.68/724.47 c #Conflicts: 1744000 | #Constraints: 50574 722.68/724.47 c #Conflicts: 1745000 | #Constraints: 51575 722.68/724.47 c #Conflicts: 1746000 | #Constraints: 52578 722.68/724.47 c INPROCESSING 722.68/724.47 c GARBAGE COLLECT 722.68/724.47 c rational objective 46.3636 736.95/738.71 c #Conflicts: 1747000 | #Constraints: 27278 736.95/738.71 c #Conflicts: 1748000 | #Constraints: 28281 736.95/738.71 c #Conflicts: 1749000 | #Constraints: 29282 736.95/738.71 c #Conflicts: 1750000 | #Constraints: 30285 736.95/738.71 c #Conflicts: 1751000 | #Constraints: 31289 736.95/738.71 c #Conflicts: 1752000 | #Constraints: 32291 736.95/738.71 c #Conflicts: 1753000 | #Constraints: 33293 736.95/738.71 c #Conflicts: 1754000 | #Constraints: 34294 736.95/738.71 c #Conflicts: 1755000 | #Constraints: 35294 736.95/738.71 c #Conflicts: 1756000 | #Constraints: 36298 736.95/738.71 c #Conflicts: 1757000 | #Constraints: 37299 736.95/738.71 c #Conflicts: 1758000 | #Constraints: 38303 736.95/738.71 c #Conflicts: 1759000 | #Constraints: 39306 736.95/738.71 c #Conflicts: 1760000 | #Constraints: 40308 736.95/738.71 c #Conflicts: 1761000 | #Constraints: 41308 736.95/738.71 c #Conflicts: 1762000 | #Constraints: 42310 736.95/738.71 c #Conflicts: 1763000 | #Constraints: 43312 736.95/738.71 c #Conflicts: 1764000 | #Constraints: 44315 736.95/738.71 c #Conflicts: 1765000 | #Constraints: 45317 736.95/738.71 c #Conflicts: 1766000 | #Constraints: 46318 736.95/738.71 c #Conflicts: 1767000 | #Constraints: 47321 736.95/738.71 c #Conflicts: 1768000 | #Constraints: 48326 736.95/738.71 c #Conflicts: 1769000 | #Constraints: 49328 736.95/738.71 c #Conflicts: 1770000 | #Constraints: 50332 736.95/738.71 c #Conflicts: 1771000 | #Constraints: 51336 736.95/738.71 c #Conflicts: 1772000 | #Constraints: 52338 736.95/738.71 c #Conflicts: 1773000 | #Constraints: 53339 736.95/738.71 c INPROCESSING 736.95/738.71 c GARBAGE COLLECT 736.95/738.71 c rational objective 46.3636 752.22/754.01 c #Conflicts: 1774000 | #Constraints: 27865 752.22/754.01 c #Conflicts: 1775000 | #Constraints: 28867 752.22/754.01 c #Conflicts: 1776000 | #Constraints: 29870 752.22/754.01 c #Conflicts: 1777000 | #Constraints: 30872 752.22/754.01 c #Conflicts: 1778000 | #Constraints: 31876 752.22/754.01 c #Conflicts: 1779000 | #Constraints: 32878 752.22/754.01 c #Conflicts: 1780000 | #Constraints: 33879 752.22/754.01 c #Conflicts: 1781000 | #Constraints: 34885 752.22/754.01 c #Conflicts: 1782000 | #Constraints: 35889 752.22/754.01 c #Conflicts: 1783000 | #Constraints: 36894 752.22/754.01 c #Conflicts: 1784000 | #Constraints: 37897 752.22/754.01 c #Conflicts: 1785000 | #Constraints: 38900 752.22/754.01 c #Conflicts: 1786000 | #Constraints: 39905 752.22/754.01 c #Conflicts: 1787000 | #Constraints: 40905 752.22/754.01 c #Conflicts: 1788000 | #Constraints: 41909 752.22/754.01 c #Conflicts: 1789000 | #Constraints: 42910 752.22/754.01 c #Conflicts: 1790000 | #Constraints: 43911 752.22/754.01 c #Conflicts: 1791000 | #Constraints: 44912 752.22/754.01 c #Conflicts: 1792000 | #Constraints: 45912 752.22/754.01 c #Conflicts: 1793000 | #Constraints: 46915 752.22/754.01 c #Conflicts: 1794000 | #Constraints: 47918 752.22/754.01 c #Conflicts: 1795000 | #Constraints: 48926 752.22/754.01 c #Conflicts: 1796000 | #Constraints: 49933 752.22/754.01 c #Conflicts: 1797000 | #Constraints: 50936 752.22/754.01 c #Conflicts: 1798000 | #Constraints: 51938 752.22/754.01 c #Conflicts: 1799000 | #Constraints: 52939 752.22/754.01 c #Conflicts: 1800000 | #Constraints: 53939 752.22/754.01 c INPROCESSING 752.22/754.01 c GARBAGE COLLECT 752.22/754.01 c rational objective 46.3636 767.19/769.06 c #Conflicts: 1801000 | #Constraints: 28258 767.19/769.06 c #Conflicts: 1802000 | #Constraints: 29262 767.19/769.06 c #Conflicts: 1803000 | #Constraints: 30265 767.19/769.06 c #Conflicts: 1804000 | #Constraints: 31267 767.19/769.06 c #Conflicts: 1805000 | #Constraints: 32268 767.19/769.06 c #Conflicts: 1806000 | #Constraints: 33271 767.19/769.06 c #Conflicts: 1807000 | #Constraints: 34273 767.19/769.06 c #Conflicts: 1808000 | #Constraints: 35275 767.19/769.06 c #Conflicts: 1809000 | #Constraints: 36280 767.19/769.06 c #Conflicts: 1810000 | #Constraints: 37280 767.19/769.06 c #Conflicts: 1811000 | #Constraints: 38283 767.19/769.06 c #Conflicts: 1812000 | #Constraints: 39283 767.19/769.06 c #Conflicts: 1813000 | #Constraints: 40284 767.19/769.06 c #Conflicts: 1814000 | #Constraints: 41288 767.19/769.06 c #Conflicts: 1815000 | #Constraints: 42290 767.19/769.06 c #Conflicts: 1816000 | #Constraints: 43291 767.19/769.06 c #Conflicts: 1817000 | #Constraints: 44292 767.19/769.06 c #Conflicts: 1818000 | #Constraints: 45294 767.19/769.06 c #Conflicts: 1819000 | #Constraints: 46296 767.19/769.06 c #Conflicts: 1820000 | #Constraints: 47296 767.19/769.06 c #Conflicts: 1821000 | #Constraints: 48298 767.19/769.06 c #Conflicts: 1822000 | #Constraints: 49301 767.19/769.06 c #Conflicts: 1823000 | #Constraints: 50301 767.19/769.06 c #Conflicts: 1824000 | #Constraints: 51302 767.19/769.06 c #Conflicts: 1825000 | #Constraints: 52305 767.19/769.06 c #Conflicts: 1826000 | #Constraints: 53308 767.19/769.06 c #Conflicts: 1827000 | #Constraints: 54312 767.19/769.06 c INPROCESSING 767.19/769.06 c GARBAGE COLLECT 767.19/769.06 c rational objective 46.3636 782.15/784.05 c #Conflicts: 1828000 | #Constraints: 28447 782.15/784.05 c #Conflicts: 1829000 | #Constraints: 29448 782.15/784.05 c #Conflicts: 1830000 | #Constraints: 30454 782.15/784.05 c #Conflicts: 1831000 | #Constraints: 31463 782.15/784.05 c #Conflicts: 1832000 | #Constraints: 32467 782.15/784.05 c #Conflicts: 1833000 | #Constraints: 33476 782.15/784.05 c #Conflicts: 1834000 | #Constraints: 34481 782.15/784.05 c #Conflicts: 1835000 | #Constraints: 35490 782.15/784.05 c #Conflicts: 1836000 | #Constraints: 36493 782.15/784.05 c #Conflicts: 1837000 | #Constraints: 37496 782.15/784.05 c #Conflicts: 1838000 | #Constraints: 38498 782.15/784.05 c #Conflicts: 1839000 | #Constraints: 39503 782.15/784.05 c #Conflicts: 1840000 | #Constraints: 40505 782.15/784.05 c #Conflicts: 1841000 | #Constraints: 41508 782.15/784.05 c #Conflicts: 1842000 | #Constraints: 42510 782.15/784.05 c #Conflicts: 1843000 | #Constraints: 43513 782.15/784.05 c #Conflicts: 1844000 | #Constraints: 44515 782.15/784.05 c #Conflicts: 1845000 | #Constraints: 45519 782.15/784.05 c #Conflicts: 1846000 | #Constraints: 46520 782.15/784.05 c #Conflicts: 1847000 | #Constraints: 47520 782.15/784.05 c #Conflicts: 1848000 | #Constraints: 48520 782.15/784.05 c #Conflicts: 1849000 | #Constraints: 49521 782.15/784.05 c #Conflicts: 1850000 | #Constraints: 50521 782.15/784.05 c #Conflicts: 1851000 | #Constraints: 51525 782.15/784.05 c #Conflicts: 1852000 | #Constraints: 52527 782.15/784.05 c #Conflicts: 1853000 | #Constraints: 53531 782.15/784.05 c #Conflicts: 1854000 | #Constraints: 54533 782.15/784.05 c INPROCESSING 782.15/784.05 c GARBAGE COLLECT 782.15/784.05 c rational objective 46.3636 798.82/800.79 c #Conflicts: 1855000 | #Constraints: 28458 798.82/800.79 c #Conflicts: 1856000 | #Constraints: 29462 798.82/800.79 c #Conflicts: 1857000 | #Constraints: 30466 798.82/800.79 c #Conflicts: 1858000 | #Constraints: 31471 798.82/800.79 c #Conflicts: 1859000 | #Constraints: 32473 798.82/800.79 c #Conflicts: 1860000 | #Constraints: 33477 798.82/800.79 c #Conflicts: 1861000 | #Constraints: 34478 798.82/800.79 c #Conflicts: 1862000 | #Constraints: 35482 798.82/800.79 c #Conflicts: 1863000 | #Constraints: 36488 798.82/800.79 c #Conflicts: 1864000 | #Constraints: 37490 798.82/800.79 c #Conflicts: 1865000 | #Constraints: 38492 798.82/800.79 c #Conflicts: 1866000 | #Constraints: 39499 798.82/800.79 c #Conflicts: 1867000 | #Constraints: 40503 798.82/800.79 c #Conflicts: 1868000 | #Constraints: 41506 798.82/800.79 c #Conflicts: 1869000 | #Constraints: 42510 798.82/800.79 c #Conflicts: 1870000 | #Constraints: 43514 798.82/800.79 c #Conflicts: 1871000 | #Constraints: 44515 798.82/800.79 c #Conflicts: 1872000 | #Constraints: 45519 798.82/800.79 c #Conflicts: 1873000 | #Constraints: 46519 798.82/800.79 c #Conflicts: 1874000 | #Constraints: 47521 798.82/800.79 c #Conflicts: 1875000 | #Constraints: 48521 798.82/800.79 c #Conflicts: 1876000 | #Constraints: 49523 798.82/800.79 c #Conflicts: 1877000 | #Constraints: 50526 798.82/800.79 c #Conflicts: 1878000 | #Constraints: 51530 798.82/800.79 c #Conflicts: 1879000 | #Constraints: 52531 798.82/800.79 c #Conflicts: 1880000 | #Constraints: 53535 798.82/800.79 c #Conflicts: 1881000 | #Constraints: 54535 798.82/800.79 c INPROCESSING 798.82/800.79 c GARBAGE COLLECT 798.82/800.79 c rational objective 46.3636 812.68/814.69 c #Conflicts: 1882000 | #Constraints: 28255 812.68/814.69 c #Conflicts: 1883000 | #Constraints: 29257 812.68/814.69 c #Conflicts: 1884000 | #Constraints: 30261 812.68/814.69 c #Conflicts: 1885000 | #Constraints: 31265 812.68/814.69 c #Conflicts: 1886000 | #Constraints: 32265 812.68/814.69 c #Conflicts: 1887000 | #Constraints: 33269 812.68/814.69 c #Conflicts: 1888000 | #Constraints: 34270 812.68/814.69 c #Conflicts: 1889000 | #Constraints: 35272 812.68/814.69 c #Conflicts: 1890000 | #Constraints: 36273 812.68/814.69 c #Conflicts: 1891000 | #Constraints: 37277 812.68/814.69 c #Conflicts: 1892000 | #Constraints: 38277 812.68/814.69 c #Conflicts: 1893000 | #Constraints: 39278 812.68/814.69 c #Conflicts: 1894000 | #Constraints: 40280 812.68/814.69 c #Conflicts: 1895000 | #Constraints: 41281 812.68/814.69 c #Conflicts: 1896000 | #Constraints: 42282 812.68/814.69 c #Conflicts: 1897000 | #Constraints: 43285 812.68/814.69 c #Conflicts: 1898000 | #Constraints: 44288 812.68/814.69 c #Conflicts: 1899000 | #Constraints: 45293 812.68/814.69 c #Conflicts: 1900000 | #Constraints: 46296 812.68/814.69 c #Conflicts: 1901000 | #Constraints: 47297 812.68/814.69 c #Conflicts: 1902000 | #Constraints: 48299 812.68/814.69 c #Conflicts: 1903000 | #Constraints: 49302 812.68/814.69 c #Conflicts: 1904000 | #Constraints: 50304 812.68/814.69 c #Conflicts: 1905000 | #Constraints: 51307 812.68/814.69 c #Conflicts: 1906000 | #Constraints: 52309 812.68/814.69 c #Conflicts: 1907000 | #Constraints: 53309 812.68/814.69 c #Conflicts: 1908000 | #Constraints: 54309 812.68/814.69 c #Conflicts: 1909000 | #Constraints: 55311 812.68/814.69 c INPROCESSING 812.68/814.69 c GARBAGE COLLECT 812.68/814.69 c rational objective 46.3636 829.25/831.26 c #Conflicts: 1910000 | #Constraints: 28846 829.25/831.26 c #Conflicts: 1911000 | #Constraints: 29850 829.25/831.26 c #Conflicts: 1912000 | #Constraints: 30852 829.25/831.26 c #Conflicts: 1913000 | #Constraints: 31855 829.25/831.26 c #Conflicts: 1914000 | #Constraints: 32856 829.25/831.26 c #Conflicts: 1915000 | #Constraints: 33861 829.25/831.26 c #Conflicts: 1916000 | #Constraints: 34865 829.25/831.26 c #Conflicts: 1917000 | #Constraints: 35870 829.25/831.26 c #Conflicts: 1918000 | #Constraints: 36873 829.25/831.26 c #Conflicts: 1919000 | #Constraints: 37875 829.25/831.26 c #Conflicts: 1920000 | #Constraints: 38876 829.25/831.26 c #Conflicts: 1921000 | #Constraints: 39877 829.25/831.26 c #Conflicts: 1922000 | #Constraints: 40877 829.25/831.26 c #Conflicts: 1923000 | #Constraints: 41877 829.25/831.26 c #Conflicts: 1924000 | #Constraints: 42879 829.25/831.26 c #Conflicts: 1925000 | #Constraints: 43880 829.25/831.26 c #Conflicts: 1926000 | #Constraints: 44883 829.25/831.26 c #Conflicts: 1927000 | #Constraints: 45883 829.25/831.26 c #Conflicts: 1928000 | #Constraints: 46887 829.25/831.26 c #Conflicts: 1929000 | #Constraints: 47891 829.25/831.26 c #Conflicts: 1930000 | #Constraints: 48893 829.25/831.26 c #Conflicts: 1931000 | #Constraints: 49895 829.25/831.26 c #Conflicts: 1932000 | #Constraints: 50898 829.25/831.26 c #Conflicts: 1933000 | #Constraints: 51902 829.25/831.26 c #Conflicts: 1934000 | #Constraints: 52908 829.25/831.26 c #Conflicts: 1935000 | #Constraints: 53917 829.25/831.26 c #Conflicts: 1936000 | #Constraints: 54920 829.25/831.26 c #Conflicts: 1937000 | #Constraints: 55920 829.25/831.26 c INPROCESSING 829.25/831.26 c GARBAGE COLLECT 829.25/831.26 c rational objective 46.3636 842.81/844.87 c #Conflicts: 1938000 | #Constraints: 29251 842.81/844.87 c #Conflicts: 1939000 | #Constraints: 30257 842.81/844.87 c #Conflicts: 1940000 | #Constraints: 31258 842.81/844.87 c #Conflicts: 1941000 | #Constraints: 32264 842.81/844.87 c #Conflicts: 1942000 | #Constraints: 33265 842.81/844.87 c #Conflicts: 1943000 | #Constraints: 34269 842.81/844.87 c #Conflicts: 1944000 | #Constraints: 35271 842.81/844.87 c #Conflicts: 1945000 | #Constraints: 36272 842.81/844.87 c #Conflicts: 1946000 | #Constraints: 37272 842.81/844.87 c #Conflicts: 1947000 | #Constraints: 38274 842.81/844.87 c #Conflicts: 1948000 | #Constraints: 39274 842.81/844.87 c #Conflicts: 1949000 | #Constraints: 40278 842.81/844.87 c #Conflicts: 1950000 | #Constraints: 41279 842.81/844.87 c #Conflicts: 1951000 | #Constraints: 42283 842.81/844.87 c #Conflicts: 1952000 | #Constraints: 43288 842.81/844.87 c #Conflicts: 1953000 | #Constraints: 44292 842.81/844.87 c #Conflicts: 1954000 | #Constraints: 45295 842.81/844.87 c #Conflicts: 1955000 | #Constraints: 46296 842.81/844.87 c #Conflicts: 1956000 | #Constraints: 47296 842.81/844.87 c #Conflicts: 1957000 | #Constraints: 48299 842.81/844.87 c #Conflicts: 1958000 | #Constraints: 49300 842.81/844.87 c #Conflicts: 1959000 | #Constraints: 50303 842.81/844.87 c #Conflicts: 1960000 | #Constraints: 51305 842.81/844.87 c #Conflicts: 1961000 | #Constraints: 52305 842.81/844.87 c #Conflicts: 1962000 | #Constraints: 53305 842.81/844.87 c #Conflicts: 1963000 | #Constraints: 54307 842.81/844.87 c #Conflicts: 1964000 | #Constraints: 55310 842.81/844.87 c #Conflicts: 1965000 | #Constraints: 56316 842.81/844.87 c INPROCESSING 842.81/844.87 c GARBAGE COLLECT 842.81/844.87 c rational objective 46.3636 858.27/860.36 c #Conflicts: 1966000 | #Constraints: 29445 858.27/860.36 c #Conflicts: 1967000 | #Constraints: 30448 858.27/860.36 c #Conflicts: 1968000 | #Constraints: 31452 858.27/860.36 c #Conflicts: 1969000 | #Constraints: 32456 858.27/860.36 c #Conflicts: 1970000 | #Constraints: 33462 858.27/860.36 c #Conflicts: 1971000 | #Constraints: 34466 858.27/860.36 c #Conflicts: 1972000 | #Constraints: 35470 858.27/860.36 c #Conflicts: 1973000 | #Constraints: 36474 858.27/860.36 c #Conflicts: 1974000 | #Constraints: 37477 858.27/860.36 c #Conflicts: 1975000 | #Constraints: 38479 858.27/860.36 c #Conflicts: 1976000 | #Constraints: 39479 858.27/860.36 c #Conflicts: 1977000 | #Constraints: 40483 858.27/860.36 c #Conflicts: 1978000 | #Constraints: 41489 858.27/860.36 c #Conflicts: 1979000 | #Constraints: 42492 858.27/860.36 c #Conflicts: 1980000 | #Constraints: 43494 858.27/860.36 c #Conflicts: 1981000 | #Constraints: 44498 858.27/860.36 c #Conflicts: 1982000 | #Constraints: 45506 858.27/860.36 c #Conflicts: 1983000 | #Constraints: 46511 858.27/860.36 c #Conflicts: 1984000 | #Constraints: 47513 858.27/860.36 c #Conflicts: 1985000 | #Constraints: 48515 858.27/860.36 c #Conflicts: 1986000 | #Constraints: 49518 858.27/860.36 c #Conflicts: 1987000 | #Constraints: 50519 858.27/860.36 c #Conflicts: 1988000 | #Constraints: 51522 858.27/860.36 c #Conflicts: 1989000 | #Constraints: 52526 858.27/860.36 c #Conflicts: 1990000 | #Constraints: 53527 858.27/860.36 c #Conflicts: 1991000 | #Constraints: 54531 858.27/860.36 c #Conflicts: 1992000 | #Constraints: 55532 858.27/860.36 c #Conflicts: 1993000 | #Constraints: 56535 858.27/860.36 c INPROCESSING 858.27/860.36 c GARBAGE COLLECT 858.27/860.36 c rational objective 46.3636 858.77/860.83 c #Conflicts: 1994000 | #Constraints: 29461 858.77/860.83 c cpu time 843.902 s 858.77/860.83 c deterministic time 147450968077 1.47e+11 858.77/860.83 c optimization time 0.000167 s 858.77/860.83 c total solve time 843.901 s 858.77/860.83 c core-guided solve time 0 s 858.77/860.83 c propagation time 697.72 s 858.77/860.83 c conflict analysis time 120.412 s 858.77/860.83 c propagations 103732159 858.77/860.83 c resolve steps 43634703 858.77/860.83 c decisions 3300775 858.77/860.83 c conflicts 1994404 858.77/860.83 c restarts 3904 858.77/860.83 c inprocessing phases 132 858.77/860.83 c input clauses 313 858.77/860.83 c input cardinalities 2 858.77/860.83 c input general constraints 242 858.77/860.83 c input average constraint length 5.24 858.77/860.83 c input average constraint degree 2.36 858.77/860.83 c learned clauses 1585918 858.77/860.83 c learned cardinalities 23976 858.77/860.83 c learned general constraints 390278 858.77/860.83 c learned average constraint length 173.87 858.77/860.83 c learned average constraint degree 30869051.22 858.77/860.83 c watched constraints 390278 858.77/860.83 c counting constraints 242 858.77/860.83 c gcd simplifications 343597 858.77/860.83 c detected cardinalities 3791 858.77/860.83 c weakened non-implied lits 40597870 858.77/860.83 c weakened non-implying lits 966408 858.77/860.83 c original variables 370 858.77/860.83 c clausal propagations 27790556 858.77/860.83 c cardinality propagations 6102143 858.77/860.83 c watched propagations 14555643 858.77/860.84 c counting propagations 51575962 858.77/860.84 c watch lookups 8389534368 858.77/860.84 c watch backjump lookups 276308590 858.77/860.84 c watch checks 136057577775 858.77/860.84 c propagation checks 1430098811 858.77/860.84 c constraint additions 1079361367 858.77/860.84 c trail pops 109021570 858.77/860.84 c formula constraints 557 858.77/860.84 c learned constraints 1988636 858.77/860.84 c bound constraints 0 858.77/860.84 c core-guided constraints 0 858.77/860.84 c encountered formula constraints 38091913 858.77/860.84 c encountered learned constraints 7512332 858.77/860.84 c encountered bound constraints 0 858.77/860.84 c encountered core-guided constraints 0 858.77/860.84 c LP total time 39.853 s 858.77/860.84 c LP solve time 29.6 s 858.77/860.84 c LP constraints added 558 858.77/860.84 c LP constraints removed 1 858.77/860.84 c LP pivots internal 1994419 858.77/860.84 c LP pivots root 38242 858.77/860.84 c LP calls 25266 858.77/860.84 c LP optimalities 19498 858.77/860.84 c LP no pivot count 13 858.77/860.84 c LP infeasibilities 5768 858.77/860.84 c LP valid Farkas constraints 5768 858.77/860.84 c LP learned Farkas constraints 5768 858.77/860.84 c LP basis resets 0 858.77/860.84 c LP cycling count 0 858.77/860.84 c LP singular count 0 858.77/860.84 c LP no primal count 0 858.77/860.84 c LP no farkas count 0 858.77/860.84 c LP other issue count 0 858.77/860.84 c LP Gomory cuts 0 858.77/860.84 c LP learned cuts 1 858.77/860.84 c LP deleted cuts 1 858.77/860.84 c LP encountered Gomory constraints 0 858.77/860.84 c LP encountered Farkas constraints 12622 858.77/860.84 c LP encountered learned Farkas constraints 6472 858.77/860.84 c CG auxiliary variables introduced 0 858.77/860.84 c CG solutions found 0 858.77/860.84 c CG cores constructed 0 858.77/860.84 c CG core cardinality constraints returned 0 858.77/860.84 c CG unit cores 0 858.77/860.84 c CG single cores 0 858.77/860.84 c CG blocks removed during cardinality reduction 0 858.77/860.84 c CG first core best 0 858.77/860.84 c CG decision core best 0 858.77/860.84 c CG core reduction tie 0 858.77/860.84 c CG core degree average 0.00 858.77/860.84 c CG core slack average 0.00 858.77/860.84 s SATISFIABLE 858.77/860.84 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 x246 -x247 x248 -x249 x250 -x251 x252 -x253 x254 x255 -x256 x257 -x258 x259 -x260 x261 -x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 -x271 x272 -x273 x274 -x275 x276 x277 -x278 x279 -x280 x281 -x282 -x283 x284 -x285 x286 -x287 x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 -x333 x334 -x335 x336 -x337 x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 x358 -x359 x360 -x361 x362 -x363 x364 -x365 x366 -x367 x368 -x369 x370
OK 0
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: 63931 MiB (62915 MiB free)
memory of node 1: 64510 MiB (63930 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462960-1722340810/watcher-4462960-1722340810 -o /tmp/evaluation-result-4462960-1722340810/solver-4462960-1722340810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722340763-6603 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462960-1722340810 --lp-cut-gomory=0 HOME/instance-4462960-1722340810.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=7330, runsolver pid=7327
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 2.22 0.66 0.28 5/265 7331
/proc/meminfo: memFree=129884344/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=38688 memory=11292 CPUtime=0.09 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 663 0 0 0 8 1 0 0 20 0 1 0 678369 39616512 2823 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 9672 2823 1842 992 0 1530 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38688 KiB
Current children cumulated memory: 11292 KiB
[startup+0.204515 s]*
/proc/loadavg: 2.22 0.66 0.28 5/265 7331
/proc/meminfo: memFree=129883000/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=38896 memory=11468 CPUtime=0.2 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 724 0 0 0 19 1 0 0 20 0 1 0 678369 39829504 2867 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 9724 2867 1842 992 0 1582 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 11468 KiB
[startup+0.304439 s]*
/proc/loadavg: 2.22 0.66 0.28 5/265 7331
/proc/meminfo: memFree=129881320/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=39204 memory=11804 CPUtime=0.29 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 789 0 0 0 28 1 0 0 20 0 1 0 678369 40144896 2951 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 9801 2951 1842 992 0 1659 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39204 KiB
Current children cumulated memory: 11804 KiB
[startup+0.700159 s]
/proc/loadavg: 2.22 0.66 0.28 5/265 7331
/proc/meminfo: memFree=129878296/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=39656 memory=12712 CPUtime=0.69 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 1017 0 0 0 65 4 0 0 20 0 1 0 678369 40607744 3178 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 9914 3178 1842 992 0 1772 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39656 KiB
Current children cumulated memory: 12712 KiB
[startup+1.50016 s]
/proc/loadavg: 2.22 0.66 0.28 5/265 7331
/proc/meminfo: memFree=129873920/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=40368 memory=14040 CPUtime=1.48 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 1395 0 0 0 141 7 0 0 20 0 1 0 678369 41336832 3510 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 10092 3510 1842 992 0 1950 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40368 KiB
Current children cumulated memory: 14040 KiB
[startup+3.10549 s]
/proc/loadavg: 2.45 0.73 0.31 5/265 7331
/proc/meminfo: memFree=129834164/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=40936 memory=15420 CPUtime=3.08 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 1698 0 0 0 295 13 0 0 20 0 1 0 678369 41918464 3855 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 10234 3855 1842 992 0 2092 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40936 KiB
Current children cumulated memory: 15420 KiB
[startup+6.30015 s]
/proc/loadavg: 2.45 0.73 0.31 5/264 7331
/proc/meminfo: memFree=129801556/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=44488 memory=17660 CPUtime=6.27 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 2272 0 0 0 603 24 0 0 20 0 1 0 678369 45555712 4415 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 11122 4415 1842 992 0 2980 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44488 KiB
Current children cumulated memory: 17660 KiB
[startup+12.7002 s]
/proc/loadavg: 2.57 0.79 0.33 4/264 7333
/proc/meminfo: memFree=129706464/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=50112 memory=20256 CPUtime=12.66 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 3037 0 0 0 1222 44 0 0 20 0 1 0 678369 51314688 5064 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 12528 5064 1842 992 0 4386 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50112 KiB
Current children cumulated memory: 20256 KiB
[startup+25.5002 s]
/proc/loadavg: 3.04 0.98 0.40 5/264 7381
/proc/meminfo: memFree=129716864/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=51552 memory=25248 CPUtime=25.42 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 4089 0 0 0 2464 78 0 0 20 0 1 0 678369 52789248 6312 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 12888 6312 1842 992 0 4746 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 51552 KiB
Current children cumulated memory: 25248 KiB
[startup+51.1055 s]
/proc/loadavg: 3.43 1.24 0.50 5/264 7396
/proc/meminfo: memFree=129430528/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=61340 memory=29536 CPUtime=50.97 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 5482 0 0 0 4945 152 0 0 20 0 1 0 678369 62812160 7384 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 15335 7384 1842 992 0 7193 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 61340 KiB
Current children cumulated memory: 29536 KiB
[startup+102.3 s]
/proc/loadavg: 3.80 1.68 0.69 5/264 7405
/proc/meminfo: memFree=128775476/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=63312 memory=35848 CPUtime=102.04 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 7249 0 0 0 9924 280 0 0 20 0 1 0 678369 64831488 8962 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 15828 8962 1842 992 0 7686 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 63312 KiB
Current children cumulated memory: 35848 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 2.21 0.94 8/264 7418
/proc/meminfo: memFree=128194648/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=77168 memory=40552 CPUtime=161.9 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 9746 0 0 0 15785 405 0 0 20 0 1 0 678369 79020032 10138 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 19292 10138 1842 992 0 11150 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 77168 KiB
Current children cumulated memory: 40552 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.55 1.14 5/262 7428
/proc/meminfo: memFree=127623676/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=80432 memory=46088 CPUtime=221.74 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 11772 0 0 0 21650 524 0 0 20 0 1 0 678369 82362368 11522 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 20108 11522 1842 992 0 11966 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 80432 KiB
Current children cumulated memory: 46088 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 2.83 1.33 7/261 7438
/proc/meminfo: memFree=127263876/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=82312 memory=50068 CPUtime=281.6 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 12848 0 0 0 27527 633 0 0 20 0 1 0 678369 84287488 12517 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 20578 12517 1842 992 0 12436 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 82312 KiB
Current children cumulated memory: 50068 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.08 1.51 5/259 7450
/proc/meminfo: memFree=126604508/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=83160 memory=54096 CPUtime=341.44 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 13648 0 0 0 33410 734 0 0 20 0 1 0 678369 85155840 13524 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 20790 13524 1842 992 0 12648 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 83160 KiB
Current children cumulated memory: 54096 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.26 1.67 5/259 7460
/proc/meminfo: memFree=126166776/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=84372 memory=57272 CPUtime=401.3 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 14683 0 0 0 39312 818 0 0 20 0 1 0 678369 86396928 14318 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 21093 14318 1842 992 0 12951 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 84372 KiB
Current children cumulated memory: 57272 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.43 1.83 5/258 7471
/proc/meminfo: memFree=125631628/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=84764 memory=57888 CPUtime=461.17 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 15851 0 0 0 45205 912 0 0 20 0 1 0 678369 86798336 14472 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 21191 14472 1842 992 0 13049 0
Current children cumulated CPU time: 461.17 s
Current children cumulated vsize: 84764 KiB
Current children cumulated memory: 57888 KiB
[startup+522.3 s]
/proc/loadavg: 4.11 3.55 1.97 7/258 7481
/proc/meminfo: memFree=125166504/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=103744 memory=59512 CPUtime=521.03 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 17282 0 0 0 51094 1009 0 0 20 0 1 0 678369 106233856 14878 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 25936 14878 1842 992 0 17794 0
Current children cumulated CPU time: 521.03 s
Current children cumulated vsize: 103744 KiB
Current children cumulated memory: 59512 KiB
[startup+582.3 s]
/proc/loadavg: 4.16 3.67 2.11 5/259 7493
/proc/meminfo: memFree=124706188/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=104260 memory=62268 CPUtime=580.9 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 18332 0 0 0 56984 1106 0 0 20 0 1 0 678369 106762240 15567 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26065 15567 1842 992 0 17923 0
Current children cumulated CPU time: 580.9 s
Current children cumulated vsize: 104260 KiB
Current children cumulated memory: 62268 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 3.75 2.24 8/261 7507
/proc/meminfo: memFree=124210248/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=104880 memory=64944 CPUtime=640.76 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 19372 0 0 0 62880 1196 0 0 20 0 1 0 678369 107397120 16236 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26220 16236 1842 992 0 18078 0
Current children cumulated CPU time: 640.76 s
Current children cumulated vsize: 104880 KiB
Current children cumulated memory: 64944 KiB
[startup+702.3 s]
/proc/loadavg: 4.16 3.83 2.36 5/261 7517
/proc/meminfo: memFree=123660416/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=105916 memory=65944 CPUtime=700.63 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 20338 0 0 0 68787 1276 0 0 20 0 1 0 678369 108457984 16486 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26479 16486 1842 992 0 18337 0
Current children cumulated CPU time: 700.63 s
Current children cumulated vsize: 105916 KiB
Current children cumulated memory: 65944 KiB
[startup+762.3 s]
/proc/loadavg: 4.09 3.87 2.47 6/261 7528
/proc/meminfo: memFree=123203056/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=106204 memory=68280 CPUtime=760.5 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 21104 0 0 0 74688 1362 0 0 20 0 1 0 678369 108752896 17070 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26551 17070 1842 992 0 18409 0
Current children cumulated CPU time: 760.5 s
Current children cumulated vsize: 106204 KiB
Current children cumulated memory: 68280 KiB
[startup+822.3 s]
/proc/loadavg: 4.13 3.93 2.58 5/262 7539
/proc/meminfo: memFree=122645100/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=107468 memory=69356 CPUtime=820.36 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 22072 0 0 0 80597 1439 0 0 20 0 1 0 678369 110047232 17339 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26867 17339 1842 992 0 18725 0
Current children cumulated CPU time: 820.36 s
Current children cumulated vsize: 107468 KiB
Current children cumulated memory: 69356 KiB
[startup+860.969 s]
# the end of solver process 7330 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=843.905 s, system=14.9243 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+844.8 s]
/proc/loadavg: 4.16 3.95 2.63 5/262 7543
/proc/meminfo: memFree=122421520/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=107728 memory=71664 CPUtime=842.81 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 22316 0 0 0 82814 1467 0 0 20 0 1 0 678369 110313472 17916 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26932 17916 1842 992 0 18790 0
Current children cumulated CPU time: 842.81 s
Current children cumulated vsize: 107728 KiB
Current children cumulated memory: 71664 KiB
[startup+851.2 s]
/proc/loadavg: 4.15 3.95 2.63 5/262 7544
/proc/meminfo: memFree=122358348/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=107860 memory=71800 CPUtime=849.19 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 22527 0 0 0 83441 1478 0 0 20 0 1 0 678369 110448640 17950 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26965 17950 1842 992 0 18823 0
Current children cumulated CPU time: 849.19 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 71800 KiB
[startup+857.6 s]
/proc/loadavg: 4.13 3.96 2.64 5/262 7545
/proc/meminfo: memFree=122315380/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=107860 memory=71800 CPUtime=855.58 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 22551 0 0 0 84072 1486 0 0 20 0 1 0 678369 110448640 17950 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26965 17950 1842 992 0 18823 0
Current children cumulated CPU time: 855.58 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 71800 KiB
[startup+859.2 s]
/proc/loadavg: 4.12 3.96 2.65 5/262 7545
/proc/meminfo: memFree=122298784/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=107860 memory=71800 CPUtime=857.17 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 22552 0 0 0 84228 1489 0 0 20 0 1 0 678369 110448640 17950 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26965 17950 1842 992 0 18823 0
Current children cumulated CPU time: 857.17 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 71800 KiB
[startup+860 s]*
/proc/loadavg: 4.12 3.96 2.65 5/262 7547
/proc/meminfo: memFree=122290488/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=107860 memory=71800 CPUtime=857.98 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 22552 0 0 0 84308 1490 0 0 20 0 1 0 678369 110448640 17950 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26965 17950 1842 992 0 18823 0
Current children cumulated CPU time: 857.98 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 71800 KiB
[startup+860.4 s]
/proc/loadavg: 4.12 3.96 2.65 5/262 7547
/proc/meminfo: memFree=122290488/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=107876 memory=71816 CPUtime=858.38 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 22703 0 0 0 84347 1491 0 0 20 0 1 0 678369 110465024 17954 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26969 17954 1842 992 0 18827 0
Current children cumulated CPU time: 858.38 s
Current children cumulated vsize: 107876 KiB
Current children cumulated memory: 71816 KiB
[startup+860.8 s]
/proc/loadavg: 4.12 3.96 2.65 5/262 7547
/proc/meminfo: memFree=122290488/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=107876 memory=71816 CPUtime=858.77 cores=5,7
/proc/7330/stat : 7330 (roundingsat) R 7327 7330 6590 0 -1 4194304 22703 0 0 0 84386 1491 0 0 20 0 1 0 678369 110465024 17954 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26969 17954 1842 992 0 18827 0
Current children cumulated CPU time: 858.77 s
Current children cumulated vsize: 107876 KiB
Current children cumulated memory: 71816 KiB
[startup+860.9 s]
/proc/loadavg: 4.12 3.96 2.65 5/262 7547
/proc/meminfo: memFree=122290488/131524600 swapFree=131071996/131071996
[pid=7330] ppid=7327 vsize=107876 memory=71816 CPUtime=858.82 cores=5,7
/proc/7330/stat : 7330 (roundingsat) D 7327 7330 6590 0 -1 4194304 22703 0 0 0 84390 1492 0 0 20 0 1 0 678369 110465024 17954 134679101440 4194304 8255733 140721344070144 0 0 0 0 0 25182210 0 0 0 17 5 0 0 10 0 0 9037040 9046032 36827136 140721344074590 140721344074852 140721344074852 140721344081865 0
/proc/7330/statm: 26969 17954 1842 992 0 18827 0
Current children cumulated CPU time: 858.82 s
Current children cumulated vsize: 107876 KiB
Current children cumulated memory: 71816 KiB
Child status: 0
Real time (s): 860.969
CPU time (s): 858.829
CPU user time (s): 843.905
CPU system time (s): 14.9243
CPU usage (%): 99.7515
Max. virtual memory (cumulated for all children) (KiB): 107876
Max. memory (cumulated for all children) (KiB): 71816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 843.905
system time used= 14.9243
maximum resident set size= 72452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22711
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2922496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 894
involuntary context switches= 1206
# summary of solver processes directly reported to runsolver:
# pid: 7330
# total CPU time (s): 858.829
# total CPU user time (s): 843.905
# total CPU system time (s): 14.9243
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.63806 second user time and 3.73726 second system time
The end
Begin job on nodeC018 at 2024-07-30 14:00:10 IDJOB=4462960 IDBENCH=147867 IDSOLVER=3089 FILE ID=nodeC018/4462960-1722340810 RUNJOBID= nodeC018-1722340763-6603 SLURM_JOB_ID= 8248981 Free space on /tmp= 890036 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army11.17ls.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462960-1722340810/watcher-4462960-1722340810 -o /tmp/evaluation-result-4462960-1722340810/solver-4462960-1722340810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722340763-6603 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462960-1722340810 --lp-cut-gomory=0 HOME/instance-4462960-1722340810.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 577423e4c806b19b8b5f6a5daee1c614 RANDOM SEED=768974306 nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.345 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3674.974 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 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 : 3600.289 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.199 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 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 : 3671.314 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3656.380 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.712 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3660.305 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.08 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129891152 kB MemAvailable: 129679180 kB Buffers: 44960 kB Cached: 580888 kB SwapCached: 0 kB Active: 140720 kB Inactive: 1027972 kB Active(anon): 1548 kB Inactive(anon): 562744 kB Active(file): 139172 kB Inactive(file): 465228 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 224436 kB Writeback: 0 kB AnonPages: 542348 kB Mapped: 95672 kB Shmem: 21336 kB KReclaimable: 46548 kB Slab: 128768 kB SReclaimable: 46548 kB SUnreclaim: 82220 kB KernelStack: 4256 kB PageTables: 10180 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 824768 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 7776 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 146132 kB DirectMap2M: 9064448 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890028 MiB End job on nodeC018 at 2024-07-30 14:14:31