| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat log (2) | SAT | 958.469 | 961.572 |
| 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.31/0.36 c #Conflicts: 1000 | #Constraints: 1558 0.31/0.36 c #Conflicts: 2000 | #Constraints: 2559 0.31/0.36 c INPROCESSING 0.31/0.36 c GARBAGE COLLECT 0.31/0.36 c rational objective 46.3636 0.79/0.86 c #Conflicts: 3000 | #Constraints: 2564 0.79/0.86 c #Conflicts: 4000 | #Constraints: 3566 0.79/0.86 c INPROCESSING 0.79/0.86 c GARBAGE COLLECT 0.79/0.86 c rational objective 46.3636 1.29/1.34 c #Conflicts: 5000 | #Constraints: 2967 1.29/1.34 c #Conflicts: 6000 | #Constraints: 3968 1.29/1.34 c INPROCESSING 1.29/1.34 c GARBAGE COLLECT 1.29/1.34 c rational objective 46.3636 1.78/1.81 c #Conflicts: 7000 | #Constraints: 2973 1.78/1.81 c #Conflicts: 8000 | #Constraints: 3976 1.78/1.81 c #Conflicts: 9000 | #Constraints: 4976 1.78/1.81 c INPROCESSING 1.78/1.81 c GARBAGE COLLECT 1.78/1.81 c rational objective 46.3636 2.28/2.39 c #Conflicts: 10000 | #Constraints: 3673 2.28/2.39 c #Conflicts: 11000 | #Constraints: 4674 2.28/2.39 c #Conflicts: 12000 | #Constraints: 5675 2.28/2.39 c INPROCESSING 2.28/2.39 c GARBAGE COLLECT 2.28/2.39 c rational objective 46.3636 2.88/2.95 c #Conflicts: 13000 | #Constraints: 4121 2.88/2.95 c #Conflicts: 14000 | #Constraints: 5121 2.88/2.95 c #Conflicts: 15000 | #Constraints: 6122 2.88/2.95 c INPROCESSING 2.88/2.95 c GARBAGE COLLECT 2.88/2.95 c rational objective 46.3636 3.48/3.52 c #Conflicts: 16000 | #Constraints: 4354 3.48/3.52 c #Conflicts: 17000 | #Constraints: 5356 3.48/3.52 c #Conflicts: 18000 | #Constraints: 6359 3.48/3.52 c INPROCESSING 3.48/3.52 c GARBAGE COLLECT 3.48/3.52 c rational objective 46.3636 4.17/4.22 c #Conflicts: 19000 | #Constraints: 4365 4.17/4.22 c #Conflicts: 20000 | #Constraints: 5367 4.17/4.22 c #Conflicts: 21000 | #Constraints: 6368 4.17/4.22 c INPROCESSING 4.17/4.22 c GARBAGE COLLECT 4.17/4.22 c rational objective 46.3636 4.88/4.95 c #Conflicts: 22000 | #Constraints: 4167 4.88/4.95 c #Conflicts: 23000 | #Constraints: 5169 4.88/4.95 c #Conflicts: 24000 | #Constraints: 6171 4.88/4.95 c #Conflicts: 25000 | #Constraints: 7173 4.88/4.95 c INPROCESSING 4.88/4.95 c GARBAGE COLLECT 4.88/4.95 c rational objective 46.3636 5.67/5.72 c #Conflicts: 26000 | #Constraints: 4772 5.67/5.72 c #Conflicts: 27000 | #Constraints: 5774 5.67/5.72 c #Conflicts: 28000 | #Constraints: 6775 5.67/5.72 c #Conflicts: 29000 | #Constraints: 7775 5.67/5.72 c INPROCESSING 5.67/5.72 c GARBAGE COLLECT 5.67/5.72 c rational objective 46.3636 6.47/6.54 c #Conflicts: 30000 | #Constraints: 5174 6.47/6.54 c #Conflicts: 31000 | #Constraints: 6174 6.47/6.54 c #Conflicts: 32000 | #Constraints: 7177 6.47/6.54 c #Conflicts: 33000 | #Constraints: 8178 6.47/6.54 c INPROCESSING 6.47/6.54 c GARBAGE COLLECT 6.47/6.54 c rational objective 46.3636 7.27/7.34 c #Conflicts: 34000 | #Constraints: 5370 7.27/7.34 c #Conflicts: 35000 | #Constraints: 6375 7.27/7.34 c #Conflicts: 36000 | #Constraints: 7376 7.27/7.34 c #Conflicts: 37000 | #Constraints: 8378 7.27/7.34 c INPROCESSING 7.27/7.34 c GARBAGE COLLECT 7.27/7.34 c rational objective 46.3636 8.17/8.22 c #Conflicts: 38000 | #Constraints: 5374 8.17/8.22 c #Conflicts: 39000 | #Constraints: 6376 8.17/8.22 c #Conflicts: 40000 | #Constraints: 7378 8.17/8.22 c #Conflicts: 41000 | #Constraints: 8379 8.17/8.22 c INPROCESSING 8.17/8.22 c GARBAGE COLLECT 8.17/8.22 c rational objective 46.3636 9.07/9.16 c #Conflicts: 42000 | #Constraints: 5176 9.07/9.16 c #Conflicts: 43000 | #Constraints: 6179 9.07/9.16 c #Conflicts: 44000 | #Constraints: 7180 9.07/9.16 c #Conflicts: 45000 | #Constraints: 8185 9.07/9.16 c #Conflicts: 46000 | #Constraints: 9185 9.07/9.16 c INPROCESSING 9.07/9.16 c GARBAGE COLLECT 9.07/9.16 c rational objective 46.3636 10.16/10.24 c #Conflicts: 47000 | #Constraints: 5777 10.16/10.24 c #Conflicts: 48000 | #Constraints: 6778 10.16/10.24 c #Conflicts: 49000 | #Constraints: 7780 10.16/10.24 c #Conflicts: 50000 | #Constraints: 8782 10.16/10.24 c #Conflicts: 51000 | #Constraints: 9782 10.16/10.24 c INPROCESSING 10.16/10.24 c GARBAGE COLLECT 10.16/10.24 c rational objective 46.3636 11.16/11.30 c #Conflicts: 52000 | #Constraints: 6182 11.16/11.30 c #Conflicts: 53000 | #Constraints: 7183 11.16/11.30 c #Conflicts: 54000 | #Constraints: 8188 11.16/11.30 c #Conflicts: 55000 | #Constraints: 9190 11.16/11.30 c #Conflicts: 56000 | #Constraints: 10191 11.16/11.30 c INPROCESSING 11.16/11.30 c GARBAGE COLLECT 11.16/11.30 c rational objective 46.3636 12.36/12.49 c #Conflicts: 57000 | #Constraints: 6385 12.36/12.49 c #Conflicts: 58000 | #Constraints: 7387 12.36/12.49 c #Conflicts: 59000 | #Constraints: 8388 12.36/12.49 c #Conflicts: 60000 | #Constraints: 9391 12.36/12.49 c #Conflicts: 61000 | #Constraints: 10394 12.36/12.49 c INPROCESSING 12.36/12.49 c GARBAGE COLLECT 12.36/12.49 c rational objective 46.3636 13.65/13.77 c #Conflicts: 62000 | #Constraints: 6381 13.65/13.77 c #Conflicts: 63000 | #Constraints: 7386 13.65/13.77 c #Conflicts: 64000 | #Constraints: 8391 13.65/13.77 c #Conflicts: 65000 | #Constraints: 9391 13.65/13.77 c #Conflicts: 66000 | #Constraints: 10393 13.65/13.77 c INPROCESSING 13.65/13.77 c GARBAGE COLLECT 13.65/13.77 c rational objective 46.3636 14.96/15.02 c #Conflicts: 67000 | #Constraints: 6181 14.96/15.02 c #Conflicts: 68000 | #Constraints: 7185 14.96/15.02 c #Conflicts: 69000 | #Constraints: 8186 14.96/15.02 c #Conflicts: 70000 | #Constraints: 9187 14.96/15.02 c #Conflicts: 71000 | #Constraints: 10192 14.96/15.02 c #Conflicts: 72000 | #Constraints: 11197 14.96/15.02 c INPROCESSING 14.96/15.02 c GARBAGE COLLECT 14.96/15.02 c rational objective 46.3636 16.35/16.42 c #Conflicts: 73000 | #Constraints: 6780 16.35/16.42 c #Conflicts: 74000 | #Constraints: 7782 16.35/16.42 c #Conflicts: 75000 | #Constraints: 8785 16.35/16.42 c #Conflicts: 76000 | #Constraints: 9788 16.35/16.42 c #Conflicts: 77000 | #Constraints: 10789 16.35/16.42 c #Conflicts: 78000 | #Constraints: 11791 16.35/16.42 c INPROCESSING 16.35/16.42 c GARBAGE COLLECT 16.35/16.42 c rational objective 46.3636 17.64/17.73 c #Conflicts: 79000 | #Constraints: 7183 17.64/17.73 c #Conflicts: 80000 | #Constraints: 8189 17.64/17.73 c #Conflicts: 81000 | #Constraints: 9192 17.64/17.73 c #Conflicts: 82000 | #Constraints: 10192 17.64/17.73 c #Conflicts: 83000 | #Constraints: 11195 17.64/17.73 c #Conflicts: 84000 | #Constraints: 12195 17.64/17.73 c INPROCESSING 17.64/17.73 c GARBAGE COLLECT 17.64/17.73 c rational objective 46.3636 19.23/19.36 c #Conflicts: 85000 | #Constraints: 7387 19.23/19.36 c #Conflicts: 86000 | #Constraints: 8392 19.23/19.36 c #Conflicts: 87000 | #Constraints: 9394 19.23/19.36 c #Conflicts: 88000 | #Constraints: 10399 19.23/19.36 c #Conflicts: 89000 | #Constraints: 11401 19.23/19.36 c #Conflicts: 90000 | #Constraints: 12402 19.23/19.36 c INPROCESSING 19.23/19.36 c GARBAGE COLLECT 19.23/19.36 c rational objective 46.3636 21.04/21.18 c #Conflicts: 91000 | #Constraints: 7391 21.04/21.18 c #Conflicts: 92000 | #Constraints: 8399 21.04/21.18 c #Conflicts: 93000 | #Constraints: 9407 21.04/21.18 c #Conflicts: 94000 | #Constraints: 10412 21.04/21.18 c #Conflicts: 95000 | #Constraints: 11418 21.04/21.18 c #Conflicts: 96000 | #Constraints: 12421 21.04/21.18 c INPROCESSING 21.04/21.18 c GARBAGE COLLECT 21.04/21.18 c rational objective 46.3636 22.83/22.98 c #Conflicts: 97000 | #Constraints: 7196 22.83/22.98 c #Conflicts: 98000 | #Constraints: 8200 22.83/22.98 c #Conflicts: 99000 | #Constraints: 9201 22.83/22.98 c #Conflicts: 100000 | #Constraints: 10202 22.83/22.98 c #Conflicts: 101000 | #Constraints: 11205 22.83/22.98 c #Conflicts: 102000 | #Constraints: 12208 22.83/22.98 c #Conflicts: 103000 | #Constraints: 13210 22.83/22.98 c INPROCESSING 22.83/22.98 c GARBAGE COLLECT 22.83/22.98 c rational objective 46.3636 24.62/24.75 c #Conflicts: 104000 | #Constraints: 7786 24.62/24.75 c #Conflicts: 105000 | #Constraints: 8786 24.62/24.75 c #Conflicts: 106000 | #Constraints: 9787 24.62/24.75 c #Conflicts: 107000 | #Constraints: 10788 24.62/24.75 c #Conflicts: 108000 | #Constraints: 11790 24.62/24.75 c #Conflicts: 109000 | #Constraints: 12790 24.62/24.75 c #Conflicts: 110000 | #Constraints: 13790 24.62/24.75 c INPROCESSING 24.62/24.75 c GARBAGE COLLECT 24.62/24.75 c rational objective 46.3636 26.51/26.63 c #Conflicts: 111000 | #Constraints: 8184 26.51/26.63 c #Conflicts: 112000 | #Constraints: 9185 26.51/26.63 c #Conflicts: 113000 | #Constraints: 10187 26.51/26.63 c #Conflicts: 114000 | #Constraints: 11192 26.51/26.63 c #Conflicts: 115000 | #Constraints: 12193 26.51/26.63 c #Conflicts: 116000 | #Constraints: 13193 26.51/26.63 c #Conflicts: 117000 | #Constraints: 14196 26.51/26.63 c INPROCESSING 26.51/26.63 c GARBAGE COLLECT 26.51/26.63 c rational objective 46.3636 28.21/28.38 c #Conflicts: 118000 | #Constraints: 8386 28.21/28.38 c #Conflicts: 119000 | #Constraints: 9386 28.21/28.38 c #Conflicts: 120000 | #Constraints: 10386 28.21/28.38 c #Conflicts: 121000 | #Constraints: 11386 28.21/28.38 c #Conflicts: 122000 | #Constraints: 12386 28.21/28.38 c #Conflicts: 123000 | #Constraints: 13387 28.21/28.38 c #Conflicts: 124000 | #Constraints: 14389 28.21/28.38 c INPROCESSING 28.21/28.38 c GARBAGE COLLECT 28.21/28.38 c rational objective 46.3636 30.21/30.30 c #Conflicts: 125000 | #Constraints: 8382 30.21/30.30 c #Conflicts: 126000 | #Constraints: 9383 30.21/30.30 c #Conflicts: 127000 | #Constraints: 10385 30.21/30.30 c #Conflicts: 128000 | #Constraints: 11387 30.21/30.30 c #Conflicts: 129000 | #Constraints: 12389 30.21/30.30 c #Conflicts: 130000 | #Constraints: 13390 30.21/30.30 c #Conflicts: 131000 | #Constraints: 14391 30.21/30.30 c INPROCESSING 30.21/30.30 c GARBAGE COLLECT 30.21/30.30 c rational objective 46.3636 32.20/32.30 c #Conflicts: 132000 | #Constraints: 8181 32.20/32.30 c #Conflicts: 133000 | #Constraints: 9181 32.20/32.30 c #Conflicts: 134000 | #Constraints: 10182 32.20/32.30 c #Conflicts: 135000 | #Constraints: 11185 32.20/32.30 c #Conflicts: 136000 | #Constraints: 12186 32.20/32.30 c #Conflicts: 137000 | #Constraints: 13187 32.20/32.30 c #Conflicts: 138000 | #Constraints: 14188 32.20/32.30 c #Conflicts: 139000 | #Constraints: 15190 32.20/32.30 c INPROCESSING 32.20/32.30 c GARBAGE COLLECT 32.20/32.30 c rational objective 46.3636 34.39/34.50 c #Conflicts: 140000 | #Constraints: 8780 34.39/34.50 c #Conflicts: 141000 | #Constraints: 9784 34.39/34.50 c #Conflicts: 142000 | #Constraints: 10785 34.39/34.50 c #Conflicts: 143000 | #Constraints: 11787 34.39/34.50 c #Conflicts: 144000 | #Constraints: 12788 34.39/34.50 c #Conflicts: 145000 | #Constraints: 13789 34.39/34.50 c #Conflicts: 146000 | #Constraints: 14792 34.39/34.50 c #Conflicts: 147000 | #Constraints: 15793 34.39/34.50 c INPROCESSING 34.39/34.50 c GARBAGE COLLECT 34.39/34.50 c rational objective 46.3636 36.69/36.81 c #Conflicts: 148000 | #Constraints: 9185 36.69/36.81 c #Conflicts: 149000 | #Constraints: 10188 36.69/36.81 c #Conflicts: 150000 | #Constraints: 11189 36.69/36.81 c #Conflicts: 151000 | #Constraints: 12190 36.69/36.81 c #Conflicts: 152000 | #Constraints: 13193 36.69/36.81 c #Conflicts: 153000 | #Constraints: 14195 36.69/36.81 c #Conflicts: 154000 | #Constraints: 15196 36.69/36.81 c #Conflicts: 155000 | #Constraints: 16198 36.69/36.81 c INPROCESSING 36.69/36.81 c GARBAGE COLLECT 36.69/36.81 c rational objective 46.3636 38.90/39.02 c #Conflicts: 156000 | #Constraints: 9390 38.90/39.02 c #Conflicts: 157000 | #Constraints: 10391 38.90/39.02 c #Conflicts: 158000 | #Constraints: 11395 38.90/39.02 c #Conflicts: 159000 | #Constraints: 12398 38.90/39.02 c #Conflicts: 160000 | #Constraints: 13400 38.90/39.02 c #Conflicts: 161000 | #Constraints: 14401 38.90/39.02 c #Conflicts: 162000 | #Constraints: 15402 38.90/39.02 c #Conflicts: 163000 | #Constraints: 16406 38.90/39.02 c INPROCESSING 38.90/39.02 c GARBAGE COLLECT 38.90/39.02 c rational objective 46.3636 41.18/41.34 c #Conflicts: 164000 | #Constraints: 9387 41.18/41.34 c #Conflicts: 165000 | #Constraints: 10387 41.18/41.34 c #Conflicts: 166000 | #Constraints: 11387 41.18/41.34 c #Conflicts: 167000 | #Constraints: 12388 41.18/41.34 c #Conflicts: 168000 | #Constraints: 13391 41.18/41.34 c #Conflicts: 169000 | #Constraints: 14393 41.18/41.34 c #Conflicts: 170000 | #Constraints: 15395 41.18/41.34 c #Conflicts: 171000 | #Constraints: 16395 41.18/41.34 c INPROCESSING 41.18/41.34 c GARBAGE COLLECT 41.18/41.34 c rational objective 46.3636 43.67/43.81 c #Conflicts: 172000 | #Constraints: 9182 43.67/43.81 c #Conflicts: 173000 | #Constraints: 10185 43.67/43.81 c #Conflicts: 174000 | #Constraints: 11186 43.67/43.81 c #Conflicts: 175000 | #Constraints: 12186 43.67/43.81 c #Conflicts: 176000 | #Constraints: 13186 43.67/43.81 c #Conflicts: 177000 | #Constraints: 14188 43.67/43.81 c #Conflicts: 178000 | #Constraints: 15188 43.67/43.81 c #Conflicts: 179000 | #Constraints: 16191 43.67/43.81 c #Conflicts: 180000 | #Constraints: 17194 43.67/43.81 c INPROCESSING 43.67/43.81 c GARBAGE COLLECT 43.67/43.81 c rational objective 46.3636 45.98/46.14 c #Conflicts: 181000 | #Constraints: 9782 45.98/46.14 c #Conflicts: 182000 | #Constraints: 10784 45.98/46.14 c #Conflicts: 183000 | #Constraints: 11787 45.98/46.14 c #Conflicts: 184000 | #Constraints: 12792 45.98/46.14 c #Conflicts: 185000 | #Constraints: 13794 45.98/46.14 c #Conflicts: 186000 | #Constraints: 14799 45.98/46.14 c #Conflicts: 187000 | #Constraints: 15801 45.98/46.14 c #Conflicts: 188000 | #Constraints: 16804 45.98/46.14 c #Conflicts: 189000 | #Constraints: 17806 45.98/46.14 c INPROCESSING 45.98/46.14 c GARBAGE COLLECT 45.98/46.14 c rational objective 46.3636 48.35/48.50 c #Conflicts: 190000 | #Constraints: 10193 48.35/48.50 c #Conflicts: 191000 | #Constraints: 11195 48.35/48.50 c #Conflicts: 192000 | #Constraints: 12198 48.35/48.50 c #Conflicts: 193000 | #Constraints: 13199 48.35/48.50 c #Conflicts: 194000 | #Constraints: 14201 48.35/48.50 c #Conflicts: 195000 | #Constraints: 15204 48.35/48.50 c #Conflicts: 196000 | #Constraints: 16204 48.35/48.50 c #Conflicts: 197000 | #Constraints: 17206 48.35/48.50 c #Conflicts: 198000 | #Constraints: 18207 48.35/48.50 c INPROCESSING 48.35/48.50 c GARBAGE COLLECT 48.35/48.50 c rational objective 46.3636 51.44/51.62 c #Conflicts: 199000 | #Constraints: 10394 51.44/51.62 c #Conflicts: 200000 | #Constraints: 11399 51.44/51.62 c #Conflicts: 201000 | #Constraints: 12400 51.44/51.62 c #Conflicts: 202000 | #Constraints: 13401 51.44/51.62 c #Conflicts: 203000 | #Constraints: 14403 51.44/51.62 c #Conflicts: 204000 | #Constraints: 15405 51.44/51.62 c #Conflicts: 205000 | #Constraints: 16408 51.44/51.62 c #Conflicts: 206000 | #Constraints: 17410 51.44/51.62 c #Conflicts: 207000 | #Constraints: 18413 51.44/51.62 c INPROCESSING 51.44/51.62 c GARBAGE COLLECT 51.44/51.62 c rational objective 46.3636 54.34/54.51 c #Conflicts: 208000 | #Constraints: 10395 54.34/54.51 c #Conflicts: 209000 | #Constraints: 11396 54.34/54.51 c #Conflicts: 210000 | #Constraints: 12397 54.34/54.51 c #Conflicts: 211000 | #Constraints: 13400 54.34/54.51 c #Conflicts: 212000 | #Constraints: 14400 54.34/54.51 c #Conflicts: 213000 | #Constraints: 15402 54.34/54.51 c #Conflicts: 214000 | #Constraints: 16405 54.34/54.51 c #Conflicts: 215000 | #Constraints: 17408 54.34/54.51 c #Conflicts: 216000 | #Constraints: 18410 54.34/54.51 c INPROCESSING 54.34/54.51 c GARBAGE COLLECT 54.34/54.51 c rational objective 46.3636 57.53/57.72 c #Conflicts: 217000 | #Constraints: 10192 57.53/57.72 c #Conflicts: 218000 | #Constraints: 11193 57.53/57.72 c #Conflicts: 219000 | #Constraints: 12195 57.53/57.72 c #Conflicts: 220000 | #Constraints: 13196 57.53/57.72 c #Conflicts: 221000 | #Constraints: 14200 57.53/57.72 c #Conflicts: 222000 | #Constraints: 15201 57.53/57.72 c #Conflicts: 223000 | #Constraints: 16205 57.53/57.72 c #Conflicts: 224000 | #Constraints: 17209 57.53/57.72 c #Conflicts: 225000 | #Constraints: 18214 57.53/57.72 c #Conflicts: 226000 | #Constraints: 19218 57.53/57.72 c INPROCESSING 57.53/57.72 c GARBAGE COLLECT 57.53/57.72 c rational objective 46.3636 60.84/61.06 c #Conflicts: 227000 | #Constraints: 10799 60.84/61.06 c #Conflicts: 228000 | #Constraints: 11806 60.84/61.06 c #Conflicts: 229000 | #Constraints: 12813 60.84/61.06 c #Conflicts: 230000 | #Constraints: 13820 60.84/61.06 c #Conflicts: 231000 | #Constraints: 14825 60.84/61.06 c #Conflicts: 232000 | #Constraints: 15830 60.84/61.06 c #Conflicts: 233000 | #Constraints: 16830 60.84/61.06 c #Conflicts: 234000 | #Constraints: 17831 60.84/61.06 c #Conflicts: 235000 | #Constraints: 18832 60.84/61.06 c #Conflicts: 236000 | #Constraints: 19832 60.84/61.06 c INPROCESSING 60.84/61.06 c GARBAGE COLLECT 60.84/61.06 c rational objective 46.3636 63.83/64.03 c #Conflicts: 237000 | #Constraints: 11200 63.83/64.03 c #Conflicts: 238000 | #Constraints: 12202 63.83/64.03 c #Conflicts: 239000 | #Constraints: 13203 63.83/64.03 c #Conflicts: 240000 | #Constraints: 14205 63.83/64.03 c #Conflicts: 241000 | #Constraints: 15207 63.83/64.03 c #Conflicts: 242000 | #Constraints: 16208 63.83/64.03 c #Conflicts: 243000 | #Constraints: 17209 63.83/64.03 c #Conflicts: 244000 | #Constraints: 18212 63.83/64.03 c #Conflicts: 245000 | #Constraints: 19213 63.83/64.03 c #Conflicts: 246000 | #Constraints: 20213 63.83/64.03 c INPROCESSING 63.83/64.03 c GARBAGE COLLECT 63.83/64.03 c rational objective 46.3636 66.92/67.17 c #Conflicts: 247000 | #Constraints: 11394 66.92/67.17 c #Conflicts: 248000 | #Constraints: 12397 66.92/67.17 c #Conflicts: 249000 | #Constraints: 13400 66.92/67.17 c #Conflicts: 250000 | #Constraints: 14409 66.92/67.17 c #Conflicts: 251000 | #Constraints: 15412 66.92/67.17 c #Conflicts: 252000 | #Constraints: 16414 66.92/67.17 c #Conflicts: 253000 | #Constraints: 17415 66.92/67.17 c #Conflicts: 254000 | #Constraints: 18415 66.92/67.17 c #Conflicts: 255000 | #Constraints: 19416 66.92/67.17 c #Conflicts: 256000 | #Constraints: 20419 66.92/67.17 c INPROCESSING 66.92/67.17 c GARBAGE COLLECT 66.92/67.17 c rational objective 46.3636 70.09/70.33 c #Conflicts: 257000 | #Constraints: 11399 70.09/70.33 c #Conflicts: 258000 | #Constraints: 12400 70.09/70.33 c #Conflicts: 259000 | #Constraints: 13402 70.09/70.33 c #Conflicts: 260000 | #Constraints: 14402 70.09/70.33 c #Conflicts: 261000 | #Constraints: 15405 70.09/70.33 c #Conflicts: 262000 | #Constraints: 16407 70.09/70.33 c #Conflicts: 263000 | #Constraints: 17409 70.09/70.33 c #Conflicts: 264000 | #Constraints: 18409 70.09/70.33 c #Conflicts: 265000 | #Constraints: 19410 70.09/70.33 c #Conflicts: 266000 | #Constraints: 20412 70.09/70.33 c INPROCESSING 70.09/70.33 c GARBAGE COLLECT 70.09/70.33 c rational objective 46.3636 73.59/73.81 c #Conflicts: 267000 | #Constraints: 11191 73.59/73.81 c #Conflicts: 268000 | #Constraints: 12197 73.59/73.81 c #Conflicts: 269000 | #Constraints: 13199 73.59/73.81 c #Conflicts: 270000 | #Constraints: 14204 73.59/73.81 c #Conflicts: 271000 | #Constraints: 15204 73.59/73.81 c #Conflicts: 272000 | #Constraints: 16207 73.59/73.81 c #Conflicts: 273000 | #Constraints: 17210 73.59/73.81 c #Conflicts: 274000 | #Constraints: 18210 73.59/73.81 c #Conflicts: 275000 | #Constraints: 19211 73.59/73.81 c #Conflicts: 276000 | #Constraints: 20211 73.59/73.81 c #Conflicts: 277000 | #Constraints: 21211 73.59/73.81 c INPROCESSING 73.59/73.81 c GARBAGE COLLECT 73.59/73.81 c rational objective 46.3636 77.07/77.33 c #Conflicts: 278000 | #Constraints: 11793 77.07/77.33 c #Conflicts: 279000 | #Constraints: 12795 77.07/77.33 c #Conflicts: 280000 | #Constraints: 13795 77.07/77.33 c #Conflicts: 281000 | #Constraints: 14795 77.07/77.33 c #Conflicts: 282000 | #Constraints: 15795 77.07/77.33 c #Conflicts: 283000 | #Constraints: 16798 77.07/77.33 c #Conflicts: 284000 | #Constraints: 17800 77.07/77.33 c #Conflicts: 285000 | #Constraints: 18803 77.07/77.33 c #Conflicts: 286000 | #Constraints: 19805 77.07/77.33 c #Conflicts: 287000 | #Constraints: 20807 77.07/77.33 c #Conflicts: 288000 | #Constraints: 21807 77.07/77.33 c INPROCESSING 77.07/77.33 c GARBAGE COLLECT 77.07/77.33 c rational objective 46.3636 80.46/80.74 c #Conflicts: 289000 | #Constraints: 12192 80.46/80.74 c #Conflicts: 290000 | #Constraints: 13193 80.46/80.74 c #Conflicts: 291000 | #Constraints: 14194 80.46/80.74 c #Conflicts: 292000 | #Constraints: 15194 80.46/80.74 c #Conflicts: 293000 | #Constraints: 16195 80.46/80.74 c #Conflicts: 294000 | #Constraints: 17196 80.46/80.74 c #Conflicts: 295000 | #Constraints: 18196 80.46/80.74 c #Conflicts: 296000 | #Constraints: 19198 80.46/80.74 c #Conflicts: 297000 | #Constraints: 20201 80.46/80.74 c #Conflicts: 298000 | #Constraints: 21205 80.46/80.74 c #Conflicts: 299000 | #Constraints: 22207 80.46/80.74 c INPROCESSING 80.46/80.74 c GARBAGE COLLECT 80.46/80.74 c rational objective 46.3636 83.96/84.25 c #Conflicts: 300000 | #Constraints: 12392 83.96/84.25 c #Conflicts: 301000 | #Constraints: 13394 83.96/84.25 c #Conflicts: 302000 | #Constraints: 14397 83.96/84.25 c #Conflicts: 303000 | #Constraints: 15397 83.96/84.25 c #Conflicts: 304000 | #Constraints: 16399 83.96/84.25 c #Conflicts: 305000 | #Constraints: 17399 83.96/84.25 c #Conflicts: 306000 | #Constraints: 18404 83.96/84.25 c #Conflicts: 307000 | #Constraints: 19409 83.96/84.25 c #Conflicts: 308000 | #Constraints: 20412 83.96/84.25 c #Conflicts: 309000 | #Constraints: 21415 83.96/84.25 c #Conflicts: 310000 | #Constraints: 22420 83.96/84.25 c INPROCESSING 83.96/84.25 c GARBAGE COLLECT 83.96/84.25 c rational objective 46.3636 87.15/87.41 c #Conflicts: 311000 | #Constraints: 12398 87.15/87.41 c #Conflicts: 312000 | #Constraints: 13400 87.15/87.41 c #Conflicts: 313000 | #Constraints: 14401 87.15/87.41 c #Conflicts: 314000 | #Constraints: 15402 87.15/87.41 c #Conflicts: 315000 | #Constraints: 16403 87.15/87.41 c #Conflicts: 316000 | #Constraints: 17403 87.15/87.41 c #Conflicts: 317000 | #Constraints: 18404 87.15/87.41 c #Conflicts: 318000 | #Constraints: 19404 87.15/87.41 c #Conflicts: 319000 | #Constraints: 20405 87.15/87.41 c #Conflicts: 320000 | #Constraints: 21406 87.15/87.41 c #Conflicts: 321000 | #Constraints: 22410 87.15/87.41 c INPROCESSING 87.15/87.41 c GARBAGE COLLECT 87.15/87.41 c rational objective 46.3636 91.23/91.50 c #Conflicts: 322000 | #Constraints: 12197 91.23/91.50 c #Conflicts: 323000 | #Constraints: 13204 91.23/91.50 c #Conflicts: 324000 | #Constraints: 14206 91.23/91.50 c #Conflicts: 325000 | #Constraints: 15207 91.23/91.50 c #Conflicts: 326000 | #Constraints: 16209 91.23/91.50 c #Conflicts: 327000 | #Constraints: 17210 91.23/91.50 c #Conflicts: 328000 | #Constraints: 18211 91.23/91.50 c #Conflicts: 329000 | #Constraints: 19213 91.23/91.50 c #Conflicts: 330000 | #Constraints: 20218 91.23/91.50 c #Conflicts: 331000 | #Constraints: 21220 91.23/91.50 c #Conflicts: 332000 | #Constraints: 22221 91.23/91.50 c #Conflicts: 333000 | #Constraints: 23226 91.23/91.50 c INPROCESSING 91.23/91.50 c GARBAGE COLLECT 91.23/91.50 c rational objective 46.3636 95.11/95.45 c #Conflicts: 334000 | #Constraints: 12805 95.11/95.45 c #Conflicts: 335000 | #Constraints: 13808 95.11/95.45 c #Conflicts: 336000 | #Constraints: 14809 95.11/95.45 c #Conflicts: 337000 | #Constraints: 15813 95.11/95.45 c #Conflicts: 338000 | #Constraints: 16815 95.11/95.45 c #Conflicts: 339000 | #Constraints: 17816 95.11/95.45 c #Conflicts: 340000 | #Constraints: 18816 95.11/95.45 c #Conflicts: 341000 | #Constraints: 19817 95.11/95.45 c #Conflicts: 342000 | #Constraints: 20819 95.11/95.45 c #Conflicts: 343000 | #Constraints: 21822 95.11/95.45 c #Conflicts: 344000 | #Constraints: 22823 95.11/95.45 c #Conflicts: 345000 | #Constraints: 23824 95.11/95.45 c INPROCESSING 95.11/95.45 c GARBAGE COLLECT 95.11/95.45 c rational objective 46.3636 99.00/99.35 c #Conflicts: 346000 | #Constraints: 13199 99.00/99.35 c #Conflicts: 347000 | #Constraints: 14203 99.00/99.35 c #Conflicts: 348000 | #Constraints: 15206 99.00/99.35 c #Conflicts: 349000 | #Constraints: 16206 99.00/99.35 c #Conflicts: 350000 | #Constraints: 17208 99.00/99.35 c #Conflicts: 351000 | #Constraints: 18214 99.00/99.35 c #Conflicts: 352000 | #Constraints: 19216 99.00/99.35 c #Conflicts: 353000 | #Constraints: 20219 99.00/99.35 c #Conflicts: 354000 | #Constraints: 21219 99.00/99.35 c #Conflicts: 355000 | #Constraints: 22221 99.00/99.35 c #Conflicts: 356000 | #Constraints: 23222 99.00/99.35 c #Conflicts: 357000 | #Constraints: 24224 99.00/99.35 c INPROCESSING 99.00/99.35 c GARBAGE COLLECT 99.00/99.35 c rational objective 46.3636 103.28/103.60 c #Conflicts: 358000 | #Constraints: 13403 103.28/103.60 c #Conflicts: 359000 | #Constraints: 14408 103.28/103.60 c #Conflicts: 360000 | #Constraints: 15409 103.28/103.60 c #Conflicts: 361000 | #Constraints: 16410 103.28/103.60 c #Conflicts: 362000 | #Constraints: 17410 103.28/103.60 c #Conflicts: 363000 | #Constraints: 18411 103.28/103.60 c #Conflicts: 364000 | #Constraints: 19416 103.28/103.60 c #Conflicts: 365000 | #Constraints: 20419 103.28/103.60 c #Conflicts: 366000 | #Constraints: 21420 103.28/103.60 c #Conflicts: 367000 | #Constraints: 22421 103.28/103.60 c #Conflicts: 368000 | #Constraints: 23422 103.28/103.60 c #Conflicts: 369000 | #Constraints: 24425 103.28/103.60 c INPROCESSING 103.28/103.60 c GARBAGE COLLECT 103.28/103.60 c rational objective 46.3636 107.28/107.60 c #Conflicts: 370000 | #Constraints: 13403 107.28/107.60 c #Conflicts: 371000 | #Constraints: 14407 107.28/107.60 c #Conflicts: 372000 | #Constraints: 15409 107.28/107.60 c #Conflicts: 373000 | #Constraints: 16409 107.28/107.60 c #Conflicts: 374000 | #Constraints: 17410 107.28/107.60 c #Conflicts: 375000 | #Constraints: 18410 107.28/107.60 c #Conflicts: 376000 | #Constraints: 19413 107.28/107.60 c #Conflicts: 377000 | #Constraints: 20415 107.28/107.60 c #Conflicts: 378000 | #Constraints: 21416 107.28/107.60 c #Conflicts: 379000 | #Constraints: 22417 107.28/107.60 c #Conflicts: 380000 | #Constraints: 23420 107.28/107.60 c #Conflicts: 381000 | #Constraints: 24426 107.28/107.60 c INPROCESSING 107.28/107.60 c GARBAGE COLLECT 107.28/107.60 c rational objective 46.3636 111.67/112.06 c #Conflicts: 382000 | #Constraints: 13201 111.67/112.06 c #Conflicts: 383000 | #Constraints: 14203 111.67/112.06 c #Conflicts: 384000 | #Constraints: 15205 111.67/112.06 c #Conflicts: 385000 | #Constraints: 16206 111.67/112.06 c #Conflicts: 386000 | #Constraints: 17206 111.67/112.06 c #Conflicts: 387000 | #Constraints: 18207 111.67/112.06 c #Conflicts: 388000 | #Constraints: 19208 111.67/112.06 c #Conflicts: 389000 | #Constraints: 20210 111.67/112.06 c #Conflicts: 390000 | #Constraints: 21211 111.67/112.06 c #Conflicts: 391000 | #Constraints: 22212 111.67/112.06 c #Conflicts: 392000 | #Constraints: 23212 111.67/112.06 c #Conflicts: 393000 | #Constraints: 24213 111.67/112.06 c #Conflicts: 394000 | #Constraints: 25213 111.67/112.06 c INPROCESSING 111.67/112.06 c GARBAGE COLLECT 111.67/112.06 c rational objective 46.3636 116.24/116.62 c #Conflicts: 395000 | #Constraints: 13792 116.24/116.62 c #Conflicts: 396000 | #Constraints: 14793 116.24/116.62 c #Conflicts: 397000 | #Constraints: 15793 116.24/116.62 c #Conflicts: 398000 | #Constraints: 16793 116.24/116.62 c #Conflicts: 399000 | #Constraints: 17795 116.24/116.62 c #Conflicts: 400000 | #Constraints: 18799 116.24/116.62 c #Conflicts: 401000 | #Constraints: 19801 116.24/116.62 c #Conflicts: 402000 | #Constraints: 20802 116.24/116.62 c #Conflicts: 403000 | #Constraints: 21806 116.24/116.62 c #Conflicts: 404000 | #Constraints: 22807 116.24/116.62 c #Conflicts: 405000 | #Constraints: 23812 116.24/116.62 c #Conflicts: 406000 | #Constraints: 24815 116.24/116.62 c #Conflicts: 407000 | #Constraints: 25818 116.24/116.62 c INPROCESSING 116.24/116.62 c GARBAGE COLLECT 116.24/116.62 c rational objective 46.3636 120.42/120.88 c #Conflicts: 408000 | #Constraints: 14196 120.42/120.88 c #Conflicts: 409000 | #Constraints: 15201 120.42/120.88 c #Conflicts: 410000 | #Constraints: 16203 120.42/120.88 c #Conflicts: 411000 | #Constraints: 17205 120.42/120.88 c #Conflicts: 412000 | #Constraints: 18207 120.42/120.88 c #Conflicts: 413000 | #Constraints: 19211 120.42/120.88 c #Conflicts: 414000 | #Constraints: 20213 120.42/120.88 c #Conflicts: 415000 | #Constraints: 21215 120.42/120.88 c #Conflicts: 416000 | #Constraints: 22219 120.42/120.88 c #Conflicts: 417000 | #Constraints: 23221 120.42/120.88 c #Conflicts: 418000 | #Constraints: 24225 120.42/120.88 c #Conflicts: 419000 | #Constraints: 25227 120.42/120.88 c #Conflicts: 420000 | #Constraints: 26229 120.42/120.88 c INPROCESSING 120.42/120.88 c GARBAGE COLLECT 120.42/120.88 c rational objective 46.3636 124.81/125.25 c #Conflicts: 421000 | #Constraints: 14405 124.81/125.25 c #Conflicts: 422000 | #Constraints: 15413 124.81/125.25 c #Conflicts: 423000 | #Constraints: 16417 124.81/125.25 c #Conflicts: 424000 | #Constraints: 17418 124.81/125.25 c #Conflicts: 425000 | #Constraints: 18419 124.81/125.25 c #Conflicts: 426000 | #Constraints: 19420 124.81/125.25 c #Conflicts: 427000 | #Constraints: 20421 124.81/125.25 c #Conflicts: 428000 | #Constraints: 21423 124.81/125.25 c #Conflicts: 429000 | #Constraints: 22428 124.81/125.25 c #Conflicts: 430000 | #Constraints: 23429 124.81/125.25 c #Conflicts: 431000 | #Constraints: 24431 124.81/125.25 c #Conflicts: 432000 | #Constraints: 25431 124.81/125.25 c #Conflicts: 433000 | #Constraints: 26433 124.81/125.25 c INPROCESSING 124.81/125.25 c GARBAGE COLLECT 124.81/125.25 c rational objective 46.3636 129.29/129.71 c #Conflicts: 434000 | #Constraints: 14406 129.29/129.71 c #Conflicts: 435000 | #Constraints: 15410 129.29/129.71 c #Conflicts: 436000 | #Constraints: 16414 129.29/129.71 c #Conflicts: 437000 | #Constraints: 17418 129.29/129.71 c #Conflicts: 438000 | #Constraints: 18420 129.29/129.71 c #Conflicts: 439000 | #Constraints: 19422 129.29/129.71 c #Conflicts: 440000 | #Constraints: 20424 129.29/129.71 c #Conflicts: 441000 | #Constraints: 21429 129.29/129.71 c #Conflicts: 442000 | #Constraints: 22431 129.29/129.71 c #Conflicts: 443000 | #Constraints: 23437 129.29/129.71 c #Conflicts: 444000 | #Constraints: 24440 129.29/129.71 c #Conflicts: 445000 | #Constraints: 25440 129.29/129.71 c #Conflicts: 446000 | #Constraints: 26447 129.29/129.71 c INPROCESSING 129.29/129.71 c GARBAGE COLLECT 129.29/129.71 c rational objective 46.3636 135.69/136.11 c #Conflicts: 447000 | #Constraints: 14215 135.69/136.11 c #Conflicts: 448000 | #Constraints: 15220 135.69/136.11 c #Conflicts: 449000 | #Constraints: 16223 135.69/136.11 c #Conflicts: 450000 | #Constraints: 17227 135.69/136.11 c #Conflicts: 451000 | #Constraints: 18234 135.69/136.11 c #Conflicts: 452000 | #Constraints: 19236 135.69/136.11 c #Conflicts: 453000 | #Constraints: 20240 135.69/136.11 c #Conflicts: 454000 | #Constraints: 21243 135.69/136.11 c #Conflicts: 455000 | #Constraints: 22249 135.69/136.11 c #Conflicts: 456000 | #Constraints: 23253 135.69/136.11 c #Conflicts: 457000 | #Constraints: 24257 135.69/136.11 c #Conflicts: 458000 | #Constraints: 25261 135.69/136.11 c #Conflicts: 459000 | #Constraints: 26264 135.69/136.11 c #Conflicts: 460000 | #Constraints: 27269 135.69/136.11 c INPROCESSING 135.69/136.11 c GARBAGE COLLECT 135.69/136.11 c rational objective 46.3636 140.36/140.89 c #Conflicts: 461000 | #Constraints: 14825 140.36/140.89 c #Conflicts: 462000 | #Constraints: 15827 140.36/140.89 c #Conflicts: 463000 | #Constraints: 16830 140.36/140.89 c #Conflicts: 464000 | #Constraints: 17833 140.36/140.89 c #Conflicts: 465000 | #Constraints: 18836 140.36/140.89 c #Conflicts: 466000 | #Constraints: 19838 140.36/140.89 c #Conflicts: 467000 | #Constraints: 20842 140.36/140.89 c #Conflicts: 468000 | #Constraints: 21843 140.36/140.89 c #Conflicts: 469000 | #Constraints: 22845 140.36/140.89 c #Conflicts: 470000 | #Constraints: 23847 140.36/140.89 c #Conflicts: 471000 | #Constraints: 24850 140.36/140.89 c #Conflicts: 472000 | #Constraints: 25853 140.36/140.89 c #Conflicts: 473000 | #Constraints: 26856 140.36/140.89 c #Conflicts: 474000 | #Constraints: 27861 140.36/140.89 c INPROCESSING 140.36/140.89 c GARBAGE COLLECT 140.36/140.89 c rational objective 46.3636 146.65/147.18 c #Conflicts: 475000 | #Constraints: 15220 146.65/147.18 c #Conflicts: 476000 | #Constraints: 16223 146.65/147.18 c #Conflicts: 477000 | #Constraints: 17223 146.65/147.18 c #Conflicts: 478000 | #Constraints: 18226 146.65/147.18 c #Conflicts: 479000 | #Constraints: 19227 146.65/147.18 c #Conflicts: 480000 | #Constraints: 20234 146.65/147.18 c #Conflicts: 481000 | #Constraints: 21240 146.65/147.18 c #Conflicts: 482000 | #Constraints: 22241 146.65/147.18 c #Conflicts: 483000 | #Constraints: 23245 146.65/147.18 c #Conflicts: 484000 | #Constraints: 24246 146.65/147.18 c #Conflicts: 485000 | #Constraints: 25247 146.65/147.18 c #Conflicts: 486000 | #Constraints: 26252 146.65/147.18 c #Conflicts: 487000 | #Constraints: 27252 146.65/147.18 c #Conflicts: 488000 | #Constraints: 28254 146.65/147.18 c INPROCESSING 146.65/147.18 c GARBAGE COLLECT 146.65/147.18 c rational objective 46.3636 153.01/153.54 c #Conflicts: 489000 | #Constraints: 15423 153.01/153.54 c #Conflicts: 490000 | #Constraints: 16429 153.01/153.54 c #Conflicts: 491000 | #Constraints: 17432 153.01/153.54 c #Conflicts: 492000 | #Constraints: 18437 153.01/153.54 c #Conflicts: 493000 | #Constraints: 19442 153.01/153.54 c #Conflicts: 494000 | #Constraints: 20445 153.01/153.54 c #Conflicts: 495000 | #Constraints: 21452 153.01/153.54 c #Conflicts: 496000 | #Constraints: 22457 153.01/153.54 c #Conflicts: 497000 | #Constraints: 23459 153.01/153.54 c #Conflicts: 498000 | #Constraints: 24465 153.01/153.54 c #Conflicts: 499000 | #Constraints: 25475 153.01/153.54 c #Conflicts: 500000 | #Constraints: 26479 153.01/153.54 c #Conflicts: 501000 | #Constraints: 27484 153.01/153.54 c #Conflicts: 502000 | #Constraints: 28491 153.01/153.54 c INPROCESSING 153.01/153.54 c GARBAGE COLLECT 153.01/153.54 c rational objective 46.3636 159.39/159.99 c #Conflicts: 503000 | #Constraints: 15437 159.39/159.99 c #Conflicts: 504000 | #Constraints: 16440 159.39/159.99 c #Conflicts: 505000 | #Constraints: 17443 159.39/159.99 c #Conflicts: 506000 | #Constraints: 18449 159.39/159.99 c #Conflicts: 507000 | #Constraints: 19450 159.39/159.99 c #Conflicts: 508000 | #Constraints: 20455 159.39/159.99 c #Conflicts: 509000 | #Constraints: 21458 159.39/159.99 c #Conflicts: 510000 | #Constraints: 22461 159.39/159.99 c #Conflicts: 511000 | #Constraints: 23463 159.39/159.99 c #Conflicts: 512000 | #Constraints: 24463 159.39/159.99 c #Conflicts: 513000 | #Constraints: 25469 159.39/159.99 c #Conflicts: 514000 | #Constraints: 26470 159.39/159.99 c #Conflicts: 515000 | #Constraints: 27472 159.39/159.99 c #Conflicts: 516000 | #Constraints: 28475 159.39/159.99 c INPROCESSING 159.39/159.99 c GARBAGE COLLECT 159.39/159.99 c rational objective 46.3636 164.67/165.25 c #Conflicts: 517000 | #Constraints: 15226 164.67/165.25 c #Conflicts: 518000 | #Constraints: 16228 164.67/165.25 c #Conflicts: 519000 | #Constraints: 17230 164.67/165.25 c #Conflicts: 520000 | #Constraints: 18232 164.67/165.25 c #Conflicts: 521000 | #Constraints: 19234 164.67/165.25 c #Conflicts: 522000 | #Constraints: 20234 164.67/165.25 c #Conflicts: 523000 | #Constraints: 21235 164.67/165.25 c #Conflicts: 524000 | #Constraints: 22236 164.67/165.25 c #Conflicts: 525000 | #Constraints: 23237 164.67/165.25 c #Conflicts: 526000 | #Constraints: 24238 164.67/165.25 c #Conflicts: 527000 | #Constraints: 25242 164.67/165.25 c #Conflicts: 528000 | #Constraints: 26244 164.67/165.25 c #Conflicts: 529000 | #Constraints: 27246 164.67/165.25 c #Conflicts: 530000 | #Constraints: 28248 164.67/165.25 c #Conflicts: 531000 | #Constraints: 29256 164.67/165.25 c INPROCESSING 164.67/165.25 c GARBAGE COLLECT 164.67/165.25 c rational objective 46.3636 170.95/171.51 c #Conflicts: 532000 | #Constraints: 15817 170.95/171.51 c #Conflicts: 533000 | #Constraints: 16818 170.95/171.51 c #Conflicts: 534000 | #Constraints: 17819 170.95/171.51 c #Conflicts: 535000 | #Constraints: 18823 170.95/171.51 c #Conflicts: 536000 | #Constraints: 19825 170.95/171.51 c #Conflicts: 537000 | #Constraints: 20825 170.95/171.51 c #Conflicts: 538000 | #Constraints: 21828 170.95/171.51 c #Conflicts: 539000 | #Constraints: 22828 170.95/171.51 c #Conflicts: 540000 | #Constraints: 23830 170.95/171.51 c #Conflicts: 541000 | #Constraints: 24831 170.95/171.51 c #Conflicts: 542000 | #Constraints: 25834 170.95/171.51 c #Conflicts: 543000 | #Constraints: 26837 170.95/171.51 c #Conflicts: 544000 | #Constraints: 27840 170.95/171.51 c #Conflicts: 545000 | #Constraints: 28841 170.95/171.51 c #Conflicts: 546000 | #Constraints: 29842 170.95/171.51 c INPROCESSING 170.95/171.51 c GARBAGE COLLECT 170.95/171.51 c rational objective 46.3636 176.93/177.58 c #Conflicts: 547000 | #Constraints: 16211 176.93/177.58 c #Conflicts: 548000 | #Constraints: 17215 176.93/177.58 c #Conflicts: 549000 | #Constraints: 18217 176.93/177.58 c #Conflicts: 550000 | #Constraints: 19220 176.93/177.58 c #Conflicts: 551000 | #Constraints: 20224 176.93/177.58 c #Conflicts: 552000 | #Constraints: 21228 176.93/177.58 c #Conflicts: 553000 | #Constraints: 22232 176.93/177.58 c #Conflicts: 554000 | #Constraints: 23236 176.93/177.58 c #Conflicts: 555000 | #Constraints: 24238 176.93/177.58 c #Conflicts: 556000 | #Constraints: 25241 176.93/177.58 c #Conflicts: 557000 | #Constraints: 26247 176.93/177.58 c #Conflicts: 558000 | #Constraints: 27252 176.93/177.58 c #Conflicts: 559000 | #Constraints: 28255 176.93/177.58 c #Conflicts: 560000 | #Constraints: 29255 176.93/177.58 c #Conflicts: 561000 | #Constraints: 30256 176.93/177.58 c INPROCESSING 176.93/177.58 c GARBAGE COLLECT 176.93/177.58 c rational objective 46.3636 183.52/184.17 c #Conflicts: 562000 | #Constraints: 16415 183.52/184.17 c #Conflicts: 563000 | #Constraints: 17417 183.52/184.17 c #Conflicts: 564000 | #Constraints: 18420 183.52/184.17 c #Conflicts: 565000 | #Constraints: 19425 183.52/184.17 c #Conflicts: 566000 | #Constraints: 20427 183.52/184.17 c #Conflicts: 567000 | #Constraints: 21431 183.52/184.17 c #Conflicts: 568000 | #Constraints: 22434 183.52/184.17 c #Conflicts: 569000 | #Constraints: 23438 183.52/184.17 c #Conflicts: 570000 | #Constraints: 24442 183.52/184.17 c #Conflicts: 571000 | #Constraints: 25447 183.52/184.17 c #Conflicts: 572000 | #Constraints: 26449 183.52/184.17 c #Conflicts: 573000 | #Constraints: 27451 183.52/184.17 c #Conflicts: 574000 | #Constraints: 28452 183.52/184.17 c #Conflicts: 575000 | #Constraints: 29454 183.52/184.17 c #Conflicts: 576000 | #Constraints: 30457 183.52/184.17 c INPROCESSING 183.52/184.17 c GARBAGE COLLECT 183.52/184.17 c rational objective 46.3636 189.89/190.53 c #Conflicts: 577000 | #Constraints: 16424 189.89/190.53 c #Conflicts: 578000 | #Constraints: 17425 189.89/190.53 c #Conflicts: 579000 | #Constraints: 18426 189.89/190.53 c #Conflicts: 580000 | #Constraints: 19426 189.89/190.53 c #Conflicts: 581000 | #Constraints: 20429 189.89/190.53 c #Conflicts: 582000 | #Constraints: 21429 189.89/190.53 c #Conflicts: 583000 | #Constraints: 22430 189.89/190.53 c #Conflicts: 584000 | #Constraints: 23431 189.89/190.53 c #Conflicts: 585000 | #Constraints: 24440 189.89/190.53 c #Conflicts: 586000 | #Constraints: 25440 189.89/190.53 c #Conflicts: 587000 | #Constraints: 26440 189.89/190.53 c #Conflicts: 588000 | #Constraints: 27443 189.89/190.53 c #Conflicts: 589000 | #Constraints: 28446 189.89/190.53 c #Conflicts: 590000 | #Constraints: 29449 189.89/190.53 c #Conflicts: 591000 | #Constraints: 30449 189.89/190.53 c INPROCESSING 189.89/190.53 c GARBAGE COLLECT 189.89/190.53 c rational objective 46.3636 195.57/196.27 c #Conflicts: 592000 | #Constraints: 16212 195.57/196.27 c #Conflicts: 593000 | #Constraints: 17219 195.57/196.27 c #Conflicts: 594000 | #Constraints: 18220 195.57/196.27 c #Conflicts: 595000 | #Constraints: 19221 195.57/196.27 c #Conflicts: 596000 | #Constraints: 20222 195.57/196.27 c #Conflicts: 597000 | #Constraints: 21229 195.57/196.27 c #Conflicts: 598000 | #Constraints: 22233 195.57/196.27 c #Conflicts: 599000 | #Constraints: 23236 195.57/196.27 c #Conflicts: 600000 | #Constraints: 24239 195.57/196.27 c #Conflicts: 601000 | #Constraints: 25239 195.57/196.27 c #Conflicts: 602000 | #Constraints: 26241 195.57/196.27 c #Conflicts: 603000 | #Constraints: 27245 195.57/196.27 c #Conflicts: 604000 | #Constraints: 28248 195.57/196.27 c #Conflicts: 605000 | #Constraints: 29252 195.57/196.27 c #Conflicts: 606000 | #Constraints: 30254 195.57/196.27 c #Conflicts: 607000 | #Constraints: 31258 195.57/196.27 c INPROCESSING 195.57/196.27 c GARBAGE COLLECT 195.57/196.27 c rational objective 46.3636 202.04/202.70 c #Conflicts: 608000 | #Constraints: 16816 202.04/202.70 c #Conflicts: 609000 | #Constraints: 17823 202.04/202.70 c #Conflicts: 610000 | #Constraints: 18834 202.04/202.70 c #Conflicts: 611000 | #Constraints: 19843 202.04/202.70 c #Conflicts: 612000 | #Constraints: 20849 202.04/202.70 c #Conflicts: 613000 | #Constraints: 21854 202.04/202.70 c #Conflicts: 614000 | #Constraints: 22858 202.04/202.70 c #Conflicts: 615000 | #Constraints: 23860 202.04/202.70 c #Conflicts: 616000 | #Constraints: 24863 202.04/202.70 c #Conflicts: 617000 | #Constraints: 25866 202.04/202.70 c #Conflicts: 618000 | #Constraints: 26866 202.04/202.70 c #Conflicts: 619000 | #Constraints: 27870 202.04/202.70 c #Conflicts: 620000 | #Constraints: 28872 202.04/202.70 c #Conflicts: 621000 | #Constraints: 29872 202.04/202.70 c #Conflicts: 622000 | #Constraints: 30873 202.04/202.70 c #Conflicts: 623000 | #Constraints: 31876 202.04/202.70 c INPROCESSING 202.04/202.70 c GARBAGE COLLECT 202.04/202.70 c rational objective 46.3636 208.72/209.42 c #Conflicts: 624000 | #Constraints: 17227 208.72/209.42 c #Conflicts: 625000 | #Constraints: 18230 208.72/209.42 c #Conflicts: 626000 | #Constraints: 19231 208.72/209.42 c #Conflicts: 627000 | #Constraints: 20231 208.72/209.42 c #Conflicts: 628000 | #Constraints: 21233 208.72/209.42 c #Conflicts: 629000 | #Constraints: 22236 208.72/209.42 c #Conflicts: 630000 | #Constraints: 23236 208.72/209.42 c #Conflicts: 631000 | #Constraints: 24238 208.72/209.42 c #Conflicts: 632000 | #Constraints: 25238 208.72/209.42 c #Conflicts: 633000 | #Constraints: 26239 208.72/209.42 c #Conflicts: 634000 | #Constraints: 27242 208.72/209.42 c #Conflicts: 635000 | #Constraints: 28242 208.72/209.42 c #Conflicts: 636000 | #Constraints: 29246 208.72/209.42 c #Conflicts: 637000 | #Constraints: 30247 208.72/209.42 c #Conflicts: 638000 | #Constraints: 31251 208.72/209.42 c #Conflicts: 639000 | #Constraints: 32255 208.72/209.42 c INPROCESSING 208.72/209.42 c GARBAGE COLLECT 208.72/209.42 c rational objective 46.3636 215.41/216.11 c #Conflicts: 640000 | #Constraints: 17415 215.41/216.11 c #Conflicts: 641000 | #Constraints: 18420 215.41/216.11 c #Conflicts: 642000 | #Constraints: 19421 215.41/216.11 c #Conflicts: 643000 | #Constraints: 20421 215.41/216.11 c #Conflicts: 644000 | #Constraints: 21426 215.41/216.11 c #Conflicts: 645000 | #Constraints: 22429 215.41/216.11 c #Conflicts: 646000 | #Constraints: 23437 215.41/216.11 c #Conflicts: 647000 | #Constraints: 24438 215.41/216.11 c #Conflicts: 648000 | #Constraints: 25438 215.41/216.11 c #Conflicts: 649000 | #Constraints: 26439 215.41/216.11 c #Conflicts: 650000 | #Constraints: 27442 215.41/216.11 c #Conflicts: 651000 | #Constraints: 28444 215.41/216.11 c #Conflicts: 652000 | #Constraints: 29445 215.41/216.11 c #Conflicts: 653000 | #Constraints: 30455 215.41/216.11 c #Conflicts: 654000 | #Constraints: 31459 215.41/216.11 c #Conflicts: 655000 | #Constraints: 32460 215.41/216.11 c INPROCESSING 215.41/216.11 c GARBAGE COLLECT 215.41/216.11 c rational objective 46.3636 222.29/223.06 c #Conflicts: 656000 | #Constraints: 17421 222.29/223.06 c #Conflicts: 657000 | #Constraints: 18424 222.29/223.06 c #Conflicts: 658000 | #Constraints: 19426 222.29/223.06 c #Conflicts: 659000 | #Constraints: 20426 222.29/223.06 c #Conflicts: 660000 | #Constraints: 21430 222.29/223.06 c #Conflicts: 661000 | #Constraints: 22432 222.29/223.06 c #Conflicts: 662000 | #Constraints: 23433 222.29/223.06 c #Conflicts: 663000 | #Constraints: 24437 222.29/223.06 c #Conflicts: 664000 | #Constraints: 25441 222.29/223.06 c #Conflicts: 665000 | #Constraints: 26443 222.29/223.06 c #Conflicts: 666000 | #Constraints: 27444 222.29/223.06 c #Conflicts: 667000 | #Constraints: 28446 222.29/223.06 c #Conflicts: 668000 | #Constraints: 29449 222.29/223.06 c #Conflicts: 669000 | #Constraints: 30455 222.29/223.06 c #Conflicts: 670000 | #Constraints: 31457 222.29/223.06 c #Conflicts: 671000 | #Constraints: 32457 222.29/223.06 c INPROCESSING 222.29/223.06 c GARBAGE COLLECT 222.29/223.06 c rational objective 46.3636 229.65/230.41 c #Conflicts: 672000 | #Constraints: 17213 229.65/230.41 c #Conflicts: 673000 | #Constraints: 18215 229.65/230.41 c #Conflicts: 674000 | #Constraints: 19218 229.65/230.41 c #Conflicts: 675000 | #Constraints: 20219 229.65/230.41 c #Conflicts: 676000 | #Constraints: 21220 229.65/230.41 c #Conflicts: 677000 | #Constraints: 22221 229.65/230.41 c #Conflicts: 678000 | #Constraints: 23224 229.65/230.41 c #Conflicts: 679000 | #Constraints: 24227 229.65/230.41 c #Conflicts: 680000 | #Constraints: 25231 229.65/230.41 c #Conflicts: 681000 | #Constraints: 26231 229.65/230.41 c #Conflicts: 682000 | #Constraints: 27231 229.65/230.41 c #Conflicts: 683000 | #Constraints: 28232 229.65/230.41 c #Conflicts: 684000 | #Constraints: 29235 229.65/230.41 c #Conflicts: 685000 | #Constraints: 30236 229.65/230.41 c #Conflicts: 686000 | #Constraints: 31239 229.65/230.41 c #Conflicts: 687000 | #Constraints: 32241 229.65/230.41 c #Conflicts: 688000 | #Constraints: 33246 229.65/230.41 c INPROCESSING 229.65/230.41 c GARBAGE COLLECT 229.65/230.41 c rational objective 46.3636 236.24/237.02 c #Conflicts: 689000 | #Constraints: 17811 236.24/237.02 c #Conflicts: 690000 | #Constraints: 18815 236.24/237.02 c #Conflicts: 691000 | #Constraints: 19815 236.24/237.02 c #Conflicts: 692000 | #Constraints: 20818 236.24/237.02 c #Conflicts: 693000 | #Constraints: 21820 236.24/237.02 c #Conflicts: 694000 | #Constraints: 22824 236.24/237.02 c #Conflicts: 695000 | #Constraints: 23825 236.24/237.02 c #Conflicts: 696000 | #Constraints: 24825 236.24/237.02 c #Conflicts: 697000 | #Constraints: 25829 236.24/237.02 c #Conflicts: 698000 | #Constraints: 26831 236.24/237.02 c #Conflicts: 699000 | #Constraints: 27832 236.24/237.02 c #Conflicts: 700000 | #Constraints: 28836 236.24/237.02 c #Conflicts: 701000 | #Constraints: 29836 236.24/237.02 c #Conflicts: 702000 | #Constraints: 30839 236.24/237.02 c #Conflicts: 703000 | #Constraints: 31839 236.24/237.02 c #Conflicts: 704000 | #Constraints: 32841 236.24/237.02 c #Conflicts: 705000 | #Constraints: 33841 236.24/237.02 c INPROCESSING 236.24/237.02 c GARBAGE COLLECT 236.24/237.02 c rational objective 46.3636 242.91/243.71 c #Conflicts: 706000 | #Constraints: 18209 242.91/243.71 c #Conflicts: 707000 | #Constraints: 19211 242.91/243.71 c #Conflicts: 708000 | #Constraints: 20211 242.91/243.71 c #Conflicts: 709000 | #Constraints: 21211 242.91/243.71 c #Conflicts: 710000 | #Constraints: 22212 242.91/243.71 c #Conflicts: 711000 | #Constraints: 23213 242.91/243.71 c #Conflicts: 712000 | #Constraints: 24214 242.91/243.71 c #Conflicts: 713000 | #Constraints: 25217 242.91/243.71 c #Conflicts: 714000 | #Constraints: 26219 242.91/243.71 c #Conflicts: 715000 | #Constraints: 27221 242.91/243.71 c #Conflicts: 716000 | #Constraints: 28221 242.91/243.71 c #Conflicts: 717000 | #Constraints: 29221 242.91/243.71 c #Conflicts: 718000 | #Constraints: 30223 242.91/243.71 c #Conflicts: 719000 | #Constraints: 31225 242.91/243.71 c #Conflicts: 720000 | #Constraints: 32227 242.91/243.71 c #Conflicts: 721000 | #Constraints: 33228 242.91/243.71 c #Conflicts: 722000 | #Constraints: 34229 242.91/243.71 c INPROCESSING 242.91/243.71 c GARBAGE COLLECT 242.91/243.71 c rational objective 46.3636 251.29/252.13 c #Conflicts: 723000 | #Constraints: 18404 251.29/252.13 c #Conflicts: 724000 | #Constraints: 19405 251.29/252.13 c #Conflicts: 725000 | #Constraints: 20409 251.29/252.13 c #Conflicts: 726000 | #Constraints: 21410 251.29/252.13 c #Conflicts: 727000 | #Constraints: 22414 251.29/252.13 c #Conflicts: 728000 | #Constraints: 23421 251.29/252.13 c #Conflicts: 729000 | #Constraints: 24425 251.29/252.13 c #Conflicts: 730000 | #Constraints: 25429 251.29/252.13 c #Conflicts: 731000 | #Constraints: 26434 251.29/252.13 c #Conflicts: 732000 | #Constraints: 27439 251.29/252.13 c #Conflicts: 733000 | #Constraints: 28442 251.29/252.13 c #Conflicts: 734000 | #Constraints: 29448 251.29/252.13 c #Conflicts: 735000 | #Constraints: 30451 251.29/252.13 c #Conflicts: 736000 | #Constraints: 31455 251.29/252.13 c #Conflicts: 737000 | #Constraints: 32458 251.29/252.13 c #Conflicts: 738000 | #Constraints: 33460 251.29/252.13 c #Conflicts: 739000 | #Constraints: 34467 251.29/252.13 c INPROCESSING 251.29/252.13 c GARBAGE COLLECT 251.29/252.13 c rational objective 46.3636 259.55/260.47 c #Conflicts: 740000 | #Constraints: 18423 259.55/260.47 c #Conflicts: 741000 | #Constraints: 19434 259.55/260.47 c #Conflicts: 742000 | #Constraints: 20438 259.55/260.47 c #Conflicts: 743000 | #Constraints: 21441 259.55/260.47 c #Conflicts: 744000 | #Constraints: 22444 259.55/260.47 c #Conflicts: 745000 | #Constraints: 23446 259.55/260.47 c #Conflicts: 746000 | #Constraints: 24446 259.55/260.47 c #Conflicts: 747000 | #Constraints: 25448 259.55/260.47 c #Conflicts: 748000 | #Constraints: 26450 259.55/260.47 c #Conflicts: 749000 | #Constraints: 27452 259.55/260.47 c #Conflicts: 750000 | #Constraints: 28454 259.55/260.47 c #Conflicts: 751000 | #Constraints: 29455 259.55/260.47 c #Conflicts: 752000 | #Constraints: 30458 259.55/260.47 c #Conflicts: 753000 | #Constraints: 31462 259.55/260.47 c #Conflicts: 754000 | #Constraints: 32463 259.55/260.47 c #Conflicts: 755000 | #Constraints: 33465 259.55/260.47 c #Conflicts: 756000 | #Constraints: 34466 259.55/260.47 c INPROCESSING 259.55/260.47 c GARBAGE COLLECT 259.55/260.47 c rational objective 46.3636 267.31/268.20 c #Conflicts: 757000 | #Constraints: 18221 267.31/268.20 c #Conflicts: 758000 | #Constraints: 19222 267.31/268.20 c #Conflicts: 759000 | #Constraints: 20223 267.31/268.20 c #Conflicts: 760000 | #Constraints: 21224 267.31/268.20 c #Conflicts: 761000 | #Constraints: 22229 267.31/268.20 c #Conflicts: 762000 | #Constraints: 23233 267.31/268.20 c #Conflicts: 763000 | #Constraints: 24235 267.31/268.20 c #Conflicts: 764000 | #Constraints: 25236 267.31/268.20 c #Conflicts: 765000 | #Constraints: 26238 267.31/268.20 c #Conflicts: 766000 | #Constraints: 27240 267.31/268.20 c #Conflicts: 767000 | #Constraints: 28243 267.31/268.20 c #Conflicts: 768000 | #Constraints: 29244 267.31/268.20 c #Conflicts: 769000 | #Constraints: 30247 267.31/268.20 c #Conflicts: 770000 | #Constraints: 31248 267.31/268.20 c #Conflicts: 771000 | #Constraints: 32252 267.31/268.20 c #Conflicts: 772000 | #Constraints: 33254 267.31/268.20 c #Conflicts: 773000 | #Constraints: 34255 267.31/268.20 c #Conflicts: 774000 | #Constraints: 35257 267.31/268.20 c INPROCESSING 267.31/268.20 c GARBAGE COLLECT 267.31/268.20 c rational objective 46.3636 274.89/275.86 c #Conflicts: 775000 | #Constraints: 18814 274.89/275.86 c #Conflicts: 776000 | #Constraints: 19815 274.89/275.86 c #Conflicts: 777000 | #Constraints: 20817 274.89/275.86 c #Conflicts: 778000 | #Constraints: 21823 274.89/275.86 c #Conflicts: 779000 | #Constraints: 22825 274.89/275.86 c #Conflicts: 780000 | #Constraints: 23826 274.89/275.86 c #Conflicts: 781000 | #Constraints: 24827 274.89/275.86 c #Conflicts: 782000 | #Constraints: 25827 274.89/275.86 c #Conflicts: 783000 | #Constraints: 26828 274.89/275.86 c #Conflicts: 784000 | #Constraints: 27830 274.89/275.86 c #Conflicts: 785000 | #Constraints: 28833 274.89/275.86 c #Conflicts: 786000 | #Constraints: 29836 274.89/275.86 c #Conflicts: 787000 | #Constraints: 30840 274.89/275.86 c #Conflicts: 788000 | #Constraints: 31842 274.89/275.86 c #Conflicts: 789000 | #Constraints: 32844 274.89/275.86 c #Conflicts: 790000 | #Constraints: 33845 274.89/275.86 c #Conflicts: 791000 | #Constraints: 34847 274.89/275.86 c #Conflicts: 792000 | #Constraints: 35847 274.89/275.86 c INPROCESSING 274.89/275.86 c GARBAGE COLLECT 274.89/275.86 c rational objective 46.3636 282.96/283.91 c #Conflicts: 793000 | #Constraints: 19209 282.96/283.91 c #Conflicts: 794000 | #Constraints: 20210 282.96/283.91 c #Conflicts: 795000 | #Constraints: 21212 282.96/283.91 c #Conflicts: 796000 | #Constraints: 22216 282.96/283.91 c #Conflicts: 797000 | #Constraints: 23217 282.96/283.91 c #Conflicts: 798000 | #Constraints: 24219 282.96/283.91 c #Conflicts: 799000 | #Constraints: 25221 282.96/283.91 c #Conflicts: 800000 | #Constraints: 26221 282.96/283.91 c #Conflicts: 801000 | #Constraints: 27222 282.96/283.91 c #Conflicts: 802000 | #Constraints: 28222 282.96/283.91 c #Conflicts: 803000 | #Constraints: 29223 282.96/283.91 c #Conflicts: 804000 | #Constraints: 30230 282.96/283.91 c #Conflicts: 805000 | #Constraints: 31235 282.96/283.91 c #Conflicts: 806000 | #Constraints: 32238 282.96/283.91 c #Conflicts: 807000 | #Constraints: 33243 282.96/283.91 c #Conflicts: 808000 | #Constraints: 34243 282.96/283.91 c #Conflicts: 809000 | #Constraints: 35245 282.96/283.91 c #Conflicts: 810000 | #Constraints: 36245 282.96/283.91 c INPROCESSING 282.96/283.91 c GARBAGE COLLECT 282.96/283.91 c rational objective 46.3636 292.23/293.29 c #Conflicts: 811000 | #Constraints: 19412 292.23/293.29 c #Conflicts: 812000 | #Constraints: 20415 292.23/293.29 c #Conflicts: 813000 | #Constraints: 21417 292.23/293.29 c #Conflicts: 814000 | #Constraints: 22417 292.23/293.29 c #Conflicts: 815000 | #Constraints: 23417 292.23/293.29 c #Conflicts: 816000 | #Constraints: 24418 292.23/293.29 c #Conflicts: 817000 | #Constraints: 25419 292.23/293.29 c #Conflicts: 818000 | #Constraints: 26421 292.23/293.29 c #Conflicts: 819000 | #Constraints: 27424 292.23/293.29 c #Conflicts: 820000 | #Constraints: 28426 292.23/293.29 c #Conflicts: 821000 | #Constraints: 29428 292.23/293.29 c #Conflicts: 822000 | #Constraints: 30428 292.23/293.29 c #Conflicts: 823000 | #Constraints: 31431 292.23/293.29 c #Conflicts: 824000 | #Constraints: 32437 292.23/293.29 c #Conflicts: 825000 | #Constraints: 33441 292.23/293.29 c #Conflicts: 826000 | #Constraints: 34445 292.23/293.29 c #Conflicts: 827000 | #Constraints: 35448 292.23/293.29 c #Conflicts: 828000 | #Constraints: 36457 292.23/293.29 c INPROCESSING 292.23/293.29 c GARBAGE COLLECT 292.23/293.29 c rational objective 46.3636 301.29/302.38 c #Conflicts: 829000 | #Constraints: 19421 301.29/302.38 c #Conflicts: 830000 | #Constraints: 20423 301.29/302.38 c #Conflicts: 831000 | #Constraints: 21428 301.29/302.38 c #Conflicts: 832000 | #Constraints: 22435 301.29/302.38 c #Conflicts: 833000 | #Constraints: 23440 301.29/302.38 c #Conflicts: 834000 | #Constraints: 24444 301.29/302.38 c #Conflicts: 835000 | #Constraints: 25447 301.29/302.38 c #Conflicts: 836000 | #Constraints: 26450 301.29/302.38 c #Conflicts: 837000 | #Constraints: 27451 301.29/302.38 c #Conflicts: 838000 | #Constraints: 28454 301.29/302.38 c #Conflicts: 839000 | #Constraints: 29457 301.29/302.38 c #Conflicts: 840000 | #Constraints: 30462 301.29/302.38 c #Conflicts: 841000 | #Constraints: 31468 301.29/302.38 c #Conflicts: 842000 | #Constraints: 32470 301.29/302.38 c #Conflicts: 843000 | #Constraints: 33476 301.29/302.38 c #Conflicts: 844000 | #Constraints: 34480 301.29/302.38 c #Conflicts: 845000 | #Constraints: 35484 301.29/302.38 c #Conflicts: 846000 | #Constraints: 36489 301.29/302.38 c INPROCESSING 301.29/302.38 c GARBAGE COLLECT 301.29/302.38 c rational objective 46.3636 309.77/310.86 c #Conflicts: 847000 | #Constraints: 19235 309.77/310.86 c #Conflicts: 848000 | #Constraints: 20235 309.77/310.86 c #Conflicts: 849000 | #Constraints: 21236 309.77/310.86 c #Conflicts: 850000 | #Constraints: 22239 309.77/310.86 c #Conflicts: 851000 | #Constraints: 23239 309.77/310.86 c #Conflicts: 852000 | #Constraints: 24241 309.77/310.86 c #Conflicts: 853000 | #Constraints: 25243 309.77/310.86 c #Conflicts: 854000 | #Constraints: 26244 309.77/310.86 c #Conflicts: 855000 | #Constraints: 27245 309.77/310.86 c #Conflicts: 856000 | #Constraints: 28249 309.77/310.86 c #Conflicts: 857000 | #Constraints: 29251 309.77/310.86 c #Conflicts: 858000 | #Constraints: 30255 309.77/310.86 c #Conflicts: 859000 | #Constraints: 31258 309.77/310.86 c #Conflicts: 860000 | #Constraints: 32259 309.77/310.86 c #Conflicts: 861000 | #Constraints: 33261 309.77/310.86 c #Conflicts: 862000 | #Constraints: 34263 309.77/310.86 c #Conflicts: 863000 | #Constraints: 35265 309.77/310.86 c #Conflicts: 864000 | #Constraints: 36270 309.77/310.86 c #Conflicts: 865000 | #Constraints: 37274 309.77/310.86 c INPROCESSING 309.77/310.86 c GARBAGE COLLECT 309.77/310.86 c rational objective 46.3636 318.14/319.23 c #Conflicts: 866000 | #Constraints: 19827 318.14/319.23 c #Conflicts: 867000 | #Constraints: 20830 318.14/319.23 c #Conflicts: 868000 | #Constraints: 21830 318.14/319.23 c #Conflicts: 869000 | #Constraints: 22833 318.14/319.23 c #Conflicts: 870000 | #Constraints: 23833 318.14/319.23 c #Conflicts: 871000 | #Constraints: 24834 318.14/319.23 c #Conflicts: 872000 | #Constraints: 25835 318.14/319.23 c #Conflicts: 873000 | #Constraints: 26837 318.14/319.23 c #Conflicts: 874000 | #Constraints: 27839 318.14/319.23 c #Conflicts: 875000 | #Constraints: 28841 318.14/319.23 c #Conflicts: 876000 | #Constraints: 29845 318.14/319.23 c #Conflicts: 877000 | #Constraints: 30846 318.14/319.23 c #Conflicts: 878000 | #Constraints: 31849 318.14/319.23 c #Conflicts: 879000 | #Constraints: 32851 318.14/319.23 c #Conflicts: 880000 | #Constraints: 33853 318.14/319.23 c #Conflicts: 881000 | #Constraints: 34856 318.14/319.23 c #Conflicts: 882000 | #Constraints: 35860 318.14/319.23 c #Conflicts: 883000 | #Constraints: 36862 318.14/319.23 c #Conflicts: 884000 | #Constraints: 37868 318.14/319.23 c INPROCESSING 318.14/319.23 c GARBAGE COLLECT 318.14/319.23 c rational objective 46.3636 327.11/328.21 c #Conflicts: 885000 | #Constraints: 20219 327.11/328.21 c #Conflicts: 886000 | #Constraints: 21221 327.11/328.21 c #Conflicts: 887000 | #Constraints: 22223 327.11/328.21 c #Conflicts: 888000 | #Constraints: 23225 327.11/328.21 c #Conflicts: 889000 | #Constraints: 24228 327.11/328.21 c #Conflicts: 890000 | #Constraints: 25233 327.11/328.21 c #Conflicts: 891000 | #Constraints: 26234 327.11/328.21 c #Conflicts: 892000 | #Constraints: 27235 327.11/328.21 c #Conflicts: 893000 | #Constraints: 28235 327.11/328.21 c #Conflicts: 894000 | #Constraints: 29235 327.11/328.21 c #Conflicts: 895000 | #Constraints: 30238 327.11/328.21 c #Conflicts: 896000 | #Constraints: 31240 327.11/328.21 c #Conflicts: 897000 | #Constraints: 32240 327.11/328.21 c #Conflicts: 898000 | #Constraints: 33241 327.11/328.21 c #Conflicts: 899000 | #Constraints: 34243 327.11/328.21 c #Conflicts: 900000 | #Constraints: 35244 327.11/328.21 c #Conflicts: 901000 | #Constraints: 36247 327.11/328.21 c #Conflicts: 902000 | #Constraints: 37248 327.11/328.21 c #Conflicts: 903000 | #Constraints: 38250 327.11/328.21 c INPROCESSING 327.11/328.21 c GARBAGE COLLECT 327.11/328.21 c rational objective 46.3636 336.37/337.59 c #Conflicts: 904000 | #Constraints: 20409 336.37/337.59 c #Conflicts: 905000 | #Constraints: 21410 336.37/337.59 c #Conflicts: 906000 | #Constraints: 22415 336.37/337.59 c #Conflicts: 907000 | #Constraints: 23417 336.37/337.59 c #Conflicts: 908000 | #Constraints: 24419 336.37/337.59 c #Conflicts: 909000 | #Constraints: 25419 336.37/337.59 c #Conflicts: 910000 | #Constraints: 26423 336.37/337.59 c #Conflicts: 911000 | #Constraints: 27425 336.37/337.59 c #Conflicts: 912000 | #Constraints: 28426 336.37/337.59 c #Conflicts: 913000 | #Constraints: 29428 336.37/337.59 c #Conflicts: 914000 | #Constraints: 30431 336.37/337.59 c #Conflicts: 915000 | #Constraints: 31433 336.37/337.59 c #Conflicts: 916000 | #Constraints: 32437 336.37/337.59 c #Conflicts: 917000 | #Constraints: 33439 336.37/337.59 c #Conflicts: 918000 | #Constraints: 34440 336.37/337.59 c #Conflicts: 919000 | #Constraints: 35441 336.37/337.59 c #Conflicts: 920000 | #Constraints: 36442 336.37/337.59 c #Conflicts: 921000 | #Constraints: 37444 336.37/337.59 c #Conflicts: 922000 | #Constraints: 38450 336.37/337.59 c INPROCESSING 336.37/337.59 c GARBAGE COLLECT 336.37/337.59 c rational objective 46.3636 345.44/346.62 c #Conflicts: 923000 | #Constraints: 20405 345.44/346.62 c #Conflicts: 924000 | #Constraints: 21405 345.44/346.62 c #Conflicts: 925000 | #Constraints: 22406 345.44/346.62 c #Conflicts: 926000 | #Constraints: 23408 345.44/346.62 c #Conflicts: 927000 | #Constraints: 24409 345.44/346.62 c #Conflicts: 928000 | #Constraints: 25411 345.44/346.62 c #Conflicts: 929000 | #Constraints: 26414 345.44/346.62 c #Conflicts: 930000 | #Constraints: 27418 345.44/346.62 c #Conflicts: 931000 | #Constraints: 28420 345.44/346.62 c #Conflicts: 932000 | #Constraints: 29425 345.44/346.62 c #Conflicts: 933000 | #Constraints: 30428 345.44/346.62 c #Conflicts: 934000 | #Constraints: 31430 345.44/346.62 c #Conflicts: 935000 | #Constraints: 32436 345.44/346.62 c #Conflicts: 936000 | #Constraints: 33441 345.44/346.62 c #Conflicts: 937000 | #Constraints: 34450 345.44/346.62 c #Conflicts: 938000 | #Constraints: 35457 345.44/346.62 c #Conflicts: 939000 | #Constraints: 36465 345.44/346.62 c #Conflicts: 940000 | #Constraints: 37473 345.44/346.62 c #Conflicts: 941000 | #Constraints: 38479 345.44/346.62 c INPROCESSING 345.44/346.62 c GARBAGE COLLECT 345.44/346.62 c rational objective 46.3636 354.92/356.19 c #Conflicts: 942000 | #Constraints: 20230 354.92/356.19 c #Conflicts: 943000 | #Constraints: 21236 354.92/356.19 c #Conflicts: 944000 | #Constraints: 22237 354.92/356.19 c #Conflicts: 945000 | #Constraints: 23244 354.92/356.19 c #Conflicts: 946000 | #Constraints: 24252 354.92/356.19 c #Conflicts: 947000 | #Constraints: 25261 354.92/356.19 c #Conflicts: 948000 | #Constraints: 26272 354.92/356.19 c #Conflicts: 949000 | #Constraints: 27277 354.92/356.19 c #Conflicts: 950000 | #Constraints: 28281 354.92/356.19 c #Conflicts: 951000 | #Constraints: 29288 354.92/356.19 c #Conflicts: 952000 | #Constraints: 30296 354.92/356.19 c #Conflicts: 953000 | #Constraints: 31304 354.92/356.19 c #Conflicts: 954000 | #Constraints: 32310 354.92/356.19 c #Conflicts: 955000 | #Constraints: 33319 354.92/356.19 c #Conflicts: 956000 | #Constraints: 34329 354.92/356.19 c #Conflicts: 957000 | #Constraints: 35332 354.92/356.19 c #Conflicts: 958000 | #Constraints: 36337 354.92/356.19 c #Conflicts: 959000 | #Constraints: 37343 354.92/356.19 c #Conflicts: 960000 | #Constraints: 38345 354.92/356.19 c #Conflicts: 961000 | #Constraints: 39351 354.92/356.19 c INPROCESSING 354.92/356.19 c GARBAGE COLLECT 354.92/356.19 c rational objective 46.3636 366.78/368.07 c #Conflicts: 962000 | #Constraints: 20864 366.78/368.07 c #Conflicts: 963000 | #Constraints: 21870 366.78/368.07 c #Conflicts: 964000 | #Constraints: 22874 366.78/368.07 c #Conflicts: 965000 | #Constraints: 23881 366.78/368.07 c #Conflicts: 966000 | #Constraints: 24892 366.78/368.07 c #Conflicts: 967000 | #Constraints: 25898 366.78/368.07 c #Conflicts: 968000 | #Constraints: 26908 366.78/368.07 c #Conflicts: 969000 | #Constraints: 27917 366.78/368.07 c #Conflicts: 970000 | #Constraints: 28925 366.78/368.07 c #Conflicts: 971000 | #Constraints: 29935 366.78/368.07 c #Conflicts: 972000 | #Constraints: 30939 366.78/368.07 c #Conflicts: 973000 | #Constraints: 31946 366.78/368.07 c #Conflicts: 974000 | #Constraints: 32953 366.78/368.07 c #Conflicts: 975000 | #Constraints: 33964 366.78/368.07 c #Conflicts: 976000 | #Constraints: 34972 366.78/368.07 c #Conflicts: 977000 | #Constraints: 35977 366.78/368.07 c #Conflicts: 978000 | #Constraints: 36981 366.78/368.07 c #Conflicts: 979000 | #Constraints: 37985 366.78/368.07 c #Conflicts: 980000 | #Constraints: 38986 366.78/368.07 c #Conflicts: 981000 | #Constraints: 39988 366.78/368.07 c INPROCESSING 366.78/368.07 c GARBAGE COLLECT 366.78/368.07 c rational objective 46.3636 378.52/379.82 c #Conflicts: 982000 | #Constraints: 21286 378.52/379.82 c #Conflicts: 983000 | #Constraints: 22289 378.52/379.82 c #Conflicts: 984000 | #Constraints: 23293 378.52/379.82 c #Conflicts: 985000 | #Constraints: 24295 378.52/379.82 c #Conflicts: 986000 | #Constraints: 25299 378.52/379.82 c #Conflicts: 987000 | #Constraints: 26303 378.52/379.82 c #Conflicts: 988000 | #Constraints: 27306 378.52/379.82 c #Conflicts: 989000 | #Constraints: 28309 378.52/379.82 c #Conflicts: 990000 | #Constraints: 29310 378.52/379.82 c #Conflicts: 991000 | #Constraints: 30316 378.52/379.82 c #Conflicts: 992000 | #Constraints: 31321 378.52/379.82 c #Conflicts: 993000 | #Constraints: 32323 378.52/379.82 c #Conflicts: 994000 | #Constraints: 33328 378.52/379.82 c #Conflicts: 995000 | #Constraints: 34330 378.52/379.82 c #Conflicts: 996000 | #Constraints: 35336 378.52/379.82 c #Conflicts: 997000 | #Constraints: 36346 378.52/379.82 c #Conflicts: 998000 | #Constraints: 37350 378.52/379.82 c #Conflicts: 999000 | #Constraints: 38352 378.52/379.82 c #Conflicts: 1000000 | #Constraints: 39353 378.52/379.82 c #Conflicts: 1001000 | #Constraints: 40359 378.52/379.83 c INPROCESSING 378.52/379.83 c GARBAGE COLLECT 378.52/379.83 c rational objective 46.3636 391.09/392.43 c #Conflicts: 1002000 | #Constraints: 21469 391.09/392.43 c #Conflicts: 1003000 | #Constraints: 22471 391.09/392.43 c #Conflicts: 1004000 | #Constraints: 23475 391.09/392.43 c #Conflicts: 1005000 | #Constraints: 24479 391.09/392.43 c #Conflicts: 1006000 | #Constraints: 25484 391.09/392.43 c #Conflicts: 1007000 | #Constraints: 26490 391.09/392.43 c #Conflicts: 1008000 | #Constraints: 27494 391.09/392.43 c #Conflicts: 1009000 | #Constraints: 28495 391.09/392.43 c #Conflicts: 1010000 | #Constraints: 29498 391.09/392.43 c #Conflicts: 1011000 | #Constraints: 30503 391.09/392.43 c #Conflicts: 1012000 | #Constraints: 31506 391.09/392.43 c #Conflicts: 1013000 | #Constraints: 32510 391.09/392.43 c #Conflicts: 1014000 | #Constraints: 33517 391.09/392.43 c #Conflicts: 1015000 | #Constraints: 34520 391.09/392.43 c #Conflicts: 1016000 | #Constraints: 35524 391.09/392.43 c #Conflicts: 1017000 | #Constraints: 36526 391.09/392.43 c #Conflicts: 1018000 | #Constraints: 37527 391.09/392.43 c #Conflicts: 1019000 | #Constraints: 38529 391.09/392.43 c #Conflicts: 1020000 | #Constraints: 39532 391.09/392.43 c #Conflicts: 1021000 | #Constraints: 40533 391.09/392.43 c INPROCESSING 391.09/392.43 c GARBAGE COLLECT 391.09/392.43 c rational objective 46.3636 400.66/402.07 c #Conflicts: 1022000 | #Constraints: 21462 400.66/402.07 c #Conflicts: 1023000 | #Constraints: 22469 400.66/402.07 c #Conflicts: 1024000 | #Constraints: 23474 400.66/402.07 c #Conflicts: 1025000 | #Constraints: 24482 400.66/402.07 c #Conflicts: 1026000 | #Constraints: 25488 400.66/402.07 c #Conflicts: 1027000 | #Constraints: 26491 400.66/402.07 c #Conflicts: 1028000 | #Constraints: 27494 400.66/402.07 c #Conflicts: 1029000 | #Constraints: 28497 400.66/402.07 c #Conflicts: 1030000 | #Constraints: 29497 400.66/402.07 c #Conflicts: 1031000 | #Constraints: 30500 400.66/402.07 c #Conflicts: 1032000 | #Constraints: 31501 400.66/402.07 c #Conflicts: 1033000 | #Constraints: 32503 400.66/402.07 c #Conflicts: 1034000 | #Constraints: 33505 400.66/402.07 c #Conflicts: 1035000 | #Constraints: 34508 400.66/402.07 c #Conflicts: 1036000 | #Constraints: 35511 400.66/402.07 c #Conflicts: 1037000 | #Constraints: 36514 400.66/402.07 c #Conflicts: 1038000 | #Constraints: 37516 400.66/402.07 c #Conflicts: 1039000 | #Constraints: 38521 400.66/402.07 c #Conflicts: 1040000 | #Constraints: 39523 400.66/402.07 c #Conflicts: 1041000 | #Constraints: 40526 400.66/402.07 c INPROCESSING 400.66/402.07 c GARBAGE COLLECT 400.66/402.07 c rational objective 46.3636 413.41/414.81 c #Conflicts: 1042000 | #Constraints: 21254 413.41/414.81 c #Conflicts: 1043000 | #Constraints: 22256 413.41/414.81 c #Conflicts: 1044000 | #Constraints: 23262 413.41/414.81 c #Conflicts: 1045000 | #Constraints: 24273 413.41/414.81 c #Conflicts: 1046000 | #Constraints: 25280 413.41/414.81 c #Conflicts: 1047000 | #Constraints: 26285 413.41/414.81 c #Conflicts: 1048000 | #Constraints: 27289 413.41/414.81 c #Conflicts: 1049000 | #Constraints: 28293 413.41/414.81 c #Conflicts: 1050000 | #Constraints: 29295 413.41/414.81 c #Conflicts: 1051000 | #Constraints: 30303 413.41/414.81 c #Conflicts: 1052000 | #Constraints: 31309 413.41/414.81 c #Conflicts: 1053000 | #Constraints: 32312 413.41/414.81 c #Conflicts: 1054000 | #Constraints: 33318 413.41/414.81 c #Conflicts: 1055000 | #Constraints: 34323 413.41/414.81 c #Conflicts: 1056000 | #Constraints: 35330 413.41/414.81 c #Conflicts: 1057000 | #Constraints: 36336 413.41/414.81 c #Conflicts: 1058000 | #Constraints: 37339 413.41/414.81 c #Conflicts: 1059000 | #Constraints: 38345 413.41/414.81 c #Conflicts: 1060000 | #Constraints: 39355 413.41/414.81 c #Conflicts: 1061000 | #Constraints: 40361 413.41/414.81 c #Conflicts: 1062000 | #Constraints: 41366 413.41/414.81 c INPROCESSING 413.41/414.81 c GARBAGE COLLECT 413.41/414.81 c rational objective 46.3636 426.58/428.06 c #Conflicts: 1063000 | #Constraints: 21878 426.58/428.06 c #Conflicts: 1064000 | #Constraints: 22883 426.58/428.06 c #Conflicts: 1065000 | #Constraints: 23890 426.58/428.06 c #Conflicts: 1066000 | #Constraints: 24893 426.58/428.06 c #Conflicts: 1067000 | #Constraints: 25899 426.58/428.06 c #Conflicts: 1068000 | #Constraints: 26911 426.58/428.06 c #Conflicts: 1069000 | #Constraints: 27913 426.58/428.06 c #Conflicts: 1070000 | #Constraints: 28920 426.58/428.06 c #Conflicts: 1071000 | #Constraints: 29924 426.58/428.06 c #Conflicts: 1072000 | #Constraints: 30929 426.58/428.06 c #Conflicts: 1073000 | #Constraints: 31933 426.58/428.06 c #Conflicts: 1074000 | #Constraints: 32939 426.58/428.06 c #Conflicts: 1075000 | #Constraints: 33942 426.58/428.06 c #Conflicts: 1076000 | #Constraints: 34948 426.58/428.06 c #Conflicts: 1077000 | #Constraints: 35952 426.58/428.06 c #Conflicts: 1078000 | #Constraints: 36957 426.58/428.06 c #Conflicts: 1079000 | #Constraints: 37962 426.58/428.06 c #Conflicts: 1080000 | #Constraints: 38965 426.58/428.06 c #Conflicts: 1081000 | #Constraints: 39972 426.58/428.06 c #Conflicts: 1082000 | #Constraints: 40980 426.58/428.06 c #Conflicts: 1083000 | #Constraints: 41988 426.58/428.06 c INPROCESSING 426.58/428.06 c GARBAGE COLLECT 426.58/428.06 c rational objective 46.3636 439.11/440.60 c #Conflicts: 1084000 | #Constraints: 22287 439.11/440.60 c #Conflicts: 1085000 | #Constraints: 23291 439.11/440.60 c #Conflicts: 1086000 | #Constraints: 24297 439.11/440.60 c #Conflicts: 1087000 | #Constraints: 25302 439.11/440.60 c #Conflicts: 1088000 | #Constraints: 26308 439.11/440.60 c #Conflicts: 1089000 | #Constraints: 27314 439.11/440.60 c #Conflicts: 1090000 | #Constraints: 28320 439.11/440.60 c #Conflicts: 1091000 | #Constraints: 29326 439.11/440.60 c #Conflicts: 1092000 | #Constraints: 30331 439.11/440.60 c #Conflicts: 1093000 | #Constraints: 31336 439.11/440.60 c #Conflicts: 1094000 | #Constraints: 32341 439.11/440.60 c #Conflicts: 1095000 | #Constraints: 33343 439.11/440.60 c #Conflicts: 1096000 | #Constraints: 34349 439.11/440.60 c #Conflicts: 1097000 | #Constraints: 35354 439.11/440.60 c #Conflicts: 1098000 | #Constraints: 36357 439.11/440.60 c #Conflicts: 1099000 | #Constraints: 37360 439.11/440.60 c #Conflicts: 1100000 | #Constraints: 38368 439.11/440.60 c #Conflicts: 1101000 | #Constraints: 39372 439.11/440.60 c #Conflicts: 1102000 | #Constraints: 40374 439.11/440.60 c #Conflicts: 1103000 | #Constraints: 41383 439.11/440.60 c #Conflicts: 1104000 | #Constraints: 42387 439.11/440.60 c INPROCESSING 439.11/440.60 c GARBAGE COLLECT 439.11/440.60 c rational objective 46.3636 452.58/454.18 c #Conflicts: 1105000 | #Constraints: 22489 452.58/454.18 c #Conflicts: 1106000 | #Constraints: 23495 452.58/454.18 c #Conflicts: 1107000 | #Constraints: 24500 452.58/454.18 c #Conflicts: 1108000 | #Constraints: 25503 452.58/454.18 c #Conflicts: 1109000 | #Constraints: 26505 452.58/454.18 c #Conflicts: 1110000 | #Constraints: 27509 452.58/454.18 c #Conflicts: 1111000 | #Constraints: 28511 452.58/454.18 c #Conflicts: 1112000 | #Constraints: 29516 452.58/454.18 c #Conflicts: 1113000 | #Constraints: 30519 452.58/454.18 c #Conflicts: 1114000 | #Constraints: 31523 452.58/454.18 c #Conflicts: 1115000 | #Constraints: 32529 452.58/454.18 c #Conflicts: 1116000 | #Constraints: 33535 452.58/454.18 c #Conflicts: 1117000 | #Constraints: 34542 452.58/454.18 c #Conflicts: 1118000 | #Constraints: 35545 452.58/454.18 c #Conflicts: 1119000 | #Constraints: 36551 452.58/454.18 c #Conflicts: 1120000 | #Constraints: 37557 452.58/454.18 c #Conflicts: 1121000 | #Constraints: 38563 452.58/454.18 c #Conflicts: 1122000 | #Constraints: 39569 452.58/454.18 c #Conflicts: 1123000 | #Constraints: 40575 452.58/454.18 c #Conflicts: 1124000 | #Constraints: 41579 452.58/454.18 c #Conflicts: 1125000 | #Constraints: 42580 452.58/454.18 c INPROCESSING 452.58/454.18 c GARBAGE COLLECT 452.58/454.18 c rational objective 46.3636 463.73/465.34 c #Conflicts: 1126000 | #Constraints: 22482 463.73/465.34 c #Conflicts: 1127000 | #Constraints: 23485 463.73/465.34 c #Conflicts: 1128000 | #Constraints: 24489 463.73/465.34 c #Conflicts: 1129000 | #Constraints: 25493 463.73/465.34 c #Conflicts: 1130000 | #Constraints: 26496 463.73/465.34 c #Conflicts: 1131000 | #Constraints: 27497 463.73/465.34 c #Conflicts: 1132000 | #Constraints: 28499 463.73/465.34 c #Conflicts: 1133000 | #Constraints: 29500 463.73/465.34 c #Conflicts: 1134000 | #Constraints: 30504 463.73/465.34 c #Conflicts: 1135000 | #Constraints: 31507 463.73/465.34 c #Conflicts: 1136000 | #Constraints: 32511 463.73/465.34 c #Conflicts: 1137000 | #Constraints: 33518 463.73/465.34 c #Conflicts: 1138000 | #Constraints: 34520 463.73/465.34 c #Conflicts: 1139000 | #Constraints: 35520 463.73/465.34 c #Conflicts: 1140000 | #Constraints: 36523 463.73/465.34 c #Conflicts: 1141000 | #Constraints: 37525 463.73/465.34 c #Conflicts: 1142000 | #Constraints: 38525 463.73/465.34 c #Conflicts: 1143000 | #Constraints: 39528 463.73/465.34 c #Conflicts: 1144000 | #Constraints: 40530 463.73/465.34 c #Conflicts: 1145000 | #Constraints: 41533 463.73/465.34 c #Conflicts: 1146000 | #Constraints: 42537 463.73/465.34 c INPROCESSING 463.73/465.34 c GARBAGE COLLECT 463.73/465.34 c rational objective 46.3636 475.29/476.96 c #Conflicts: 1147000 | #Constraints: 22261 475.29/476.96 c #Conflicts: 1148000 | #Constraints: 23263 475.29/476.96 c #Conflicts: 1149000 | #Constraints: 24265 475.29/476.96 c #Conflicts: 1150000 | #Constraints: 25265 475.29/476.96 c #Conflicts: 1151000 | #Constraints: 26266 475.29/476.96 c #Conflicts: 1152000 | #Constraints: 27268 475.29/476.96 c #Conflicts: 1153000 | #Constraints: 28271 475.29/476.96 c #Conflicts: 1154000 | #Constraints: 29274 475.29/476.96 c #Conflicts: 1155000 | #Constraints: 30275 475.29/476.96 c #Conflicts: 1156000 | #Constraints: 31278 475.29/476.96 c #Conflicts: 1157000 | #Constraints: 32281 475.29/476.96 c #Conflicts: 1158000 | #Constraints: 33285 475.29/476.96 c #Conflicts: 1159000 | #Constraints: 34288 475.29/476.96 c #Conflicts: 1160000 | #Constraints: 35293 475.29/476.96 c #Conflicts: 1161000 | #Constraints: 36294 475.29/476.96 c #Conflicts: 1162000 | #Constraints: 37296 475.29/476.96 c #Conflicts: 1163000 | #Constraints: 38303 475.29/476.96 c #Conflicts: 1164000 | #Constraints: 39312 475.29/476.96 c #Conflicts: 1165000 | #Constraints: 40323 475.29/476.96 c #Conflicts: 1166000 | #Constraints: 41329 475.29/476.96 c #Conflicts: 1167000 | #Constraints: 42336 475.29/476.96 c #Conflicts: 1168000 | #Constraints: 43343 475.29/476.96 c INPROCESSING 475.29/476.96 c GARBAGE COLLECT 475.29/476.96 c rational objective 46.3636 487.85/489.51 c #Conflicts: 1169000 | #Constraints: 22865 487.85/489.51 c #Conflicts: 1170000 | #Constraints: 23877 487.85/489.51 c #Conflicts: 1171000 | #Constraints: 24884 487.85/489.51 c #Conflicts: 1172000 | #Constraints: 25892 487.85/489.51 c #Conflicts: 1173000 | #Constraints: 26895 487.85/489.51 c #Conflicts: 1174000 | #Constraints: 27896 487.85/489.51 c #Conflicts: 1175000 | #Constraints: 28898 487.85/489.51 c #Conflicts: 1176000 | #Constraints: 29900 487.85/489.51 c #Conflicts: 1177000 | #Constraints: 30902 487.85/489.51 c #Conflicts: 1178000 | #Constraints: 31905 487.85/489.51 c #Conflicts: 1179000 | #Constraints: 32907 487.85/489.51 c #Conflicts: 1180000 | #Constraints: 33909 487.85/489.51 c #Conflicts: 1181000 | #Constraints: 34918 487.85/489.51 c #Conflicts: 1182000 | #Constraints: 35918 487.85/489.51 c #Conflicts: 1183000 | #Constraints: 36920 487.85/489.51 c #Conflicts: 1184000 | #Constraints: 37921 487.85/489.51 c #Conflicts: 1185000 | #Constraints: 38923 487.85/489.51 c #Conflicts: 1186000 | #Constraints: 39927 487.85/489.51 c #Conflicts: 1187000 | #Constraints: 40930 487.85/489.51 c #Conflicts: 1188000 | #Constraints: 41933 487.85/489.51 c #Conflicts: 1189000 | #Constraints: 42935 487.85/489.51 c #Conflicts: 1190000 | #Constraints: 43938 487.85/489.51 c INPROCESSING 487.85/489.51 c GARBAGE COLLECT 487.85/489.51 c rational objective 46.3636 499.61/501.33 c #Conflicts: 1191000 | #Constraints: 23263 499.61/501.33 c #Conflicts: 1192000 | #Constraints: 24270 499.61/501.33 c #Conflicts: 1193000 | #Constraints: 25273 499.61/501.33 c #Conflicts: 1194000 | #Constraints: 26276 499.61/501.33 c #Conflicts: 1195000 | #Constraints: 27277 499.61/501.33 c #Conflicts: 1196000 | #Constraints: 28281 499.61/501.33 c #Conflicts: 1197000 | #Constraints: 29282 499.61/501.33 c #Conflicts: 1198000 | #Constraints: 30283 499.61/501.33 c #Conflicts: 1199000 | #Constraints: 31286 499.61/501.33 c #Conflicts: 1200000 | #Constraints: 32291 499.61/501.33 c #Conflicts: 1201000 | #Constraints: 33296 499.61/501.33 c #Conflicts: 1202000 | #Constraints: 34299 499.61/501.33 c #Conflicts: 1203000 | #Constraints: 35302 499.61/501.33 c #Conflicts: 1204000 | #Constraints: 36302 499.61/501.33 c #Conflicts: 1205000 | #Constraints: 37305 499.61/501.33 c #Conflicts: 1206000 | #Constraints: 38306 499.61/501.33 c #Conflicts: 1207000 | #Constraints: 39311 499.61/501.33 c #Conflicts: 1208000 | #Constraints: 40315 499.61/501.33 c #Conflicts: 1209000 | #Constraints: 41317 499.61/501.33 c #Conflicts: 1210000 | #Constraints: 42320 499.61/501.33 c #Conflicts: 1211000 | #Constraints: 43321 499.61/501.33 c #Conflicts: 1212000 | #Constraints: 44324 499.61/501.33 c INPROCESSING 499.61/501.33 c GARBAGE COLLECT 499.61/501.33 c rational objective 46.3636 511.76/513.55 c #Conflicts: 1213000 | #Constraints: 23449 511.76/513.55 c #Conflicts: 1214000 | #Constraints: 24453 511.76/513.55 c #Conflicts: 1215000 | #Constraints: 25458 511.76/513.55 c #Conflicts: 1216000 | #Constraints: 26464 511.76/513.55 c #Conflicts: 1217000 | #Constraints: 27468 511.76/513.55 c #Conflicts: 1218000 | #Constraints: 28470 511.76/513.55 c #Conflicts: 1219000 | #Constraints: 29474 511.76/513.55 c #Conflicts: 1220000 | #Constraints: 30478 511.76/513.55 c #Conflicts: 1221000 | #Constraints: 31480 511.76/513.55 c #Conflicts: 1222000 | #Constraints: 32483 511.76/513.55 c #Conflicts: 1223000 | #Constraints: 33486 511.76/513.55 c #Conflicts: 1224000 | #Constraints: 34487 511.76/513.55 c #Conflicts: 1225000 | #Constraints: 35488 511.76/513.55 c #Conflicts: 1226000 | #Constraints: 36494 511.76/513.55 c #Conflicts: 1227000 | #Constraints: 37496 511.76/513.55 c #Conflicts: 1228000 | #Constraints: 38500 511.76/513.55 c #Conflicts: 1229000 | #Constraints: 39502 511.76/513.55 c #Conflicts: 1230000 | #Constraints: 40504 511.76/513.55 c #Conflicts: 1231000 | #Constraints: 41506 511.76/513.55 c #Conflicts: 1232000 | #Constraints: 42506 511.76/513.55 c #Conflicts: 1233000 | #Constraints: 43508 511.76/513.55 c #Conflicts: 1234000 | #Constraints: 44515 511.76/513.55 c INPROCESSING 511.76/513.55 c GARBAGE COLLECT 511.76/513.55 c rational objective 46.3636 523.92/525.75 c #Conflicts: 1235000 | #Constraints: 23445 523.92/525.75 c #Conflicts: 1236000 | #Constraints: 24448 523.92/525.75 c #Conflicts: 1237000 | #Constraints: 25452 523.92/525.75 c #Conflicts: 1238000 | #Constraints: 26454 523.92/525.75 c #Conflicts: 1239000 | #Constraints: 27457 523.92/525.75 c #Conflicts: 1240000 | #Constraints: 28457 523.92/525.75 c #Conflicts: 1241000 | #Constraints: 29461 523.92/525.75 c #Conflicts: 1242000 | #Constraints: 30463 523.92/525.75 c #Conflicts: 1243000 | #Constraints: 31465 523.92/525.75 c #Conflicts: 1244000 | #Constraints: 32468 523.92/525.75 c #Conflicts: 1245000 | #Constraints: 33471 523.92/525.75 c #Conflicts: 1246000 | #Constraints: 34473 523.92/525.75 c #Conflicts: 1247000 | #Constraints: 35474 523.92/525.75 c #Conflicts: 1248000 | #Constraints: 36476 523.92/525.75 c #Conflicts: 1249000 | #Constraints: 37478 523.92/525.75 c #Conflicts: 1250000 | #Constraints: 38481 523.92/525.75 c #Conflicts: 1251000 | #Constraints: 39483 523.92/525.75 c #Conflicts: 1252000 | #Constraints: 40485 523.92/525.75 c #Conflicts: 1253000 | #Constraints: 41491 523.92/525.75 c #Conflicts: 1254000 | #Constraints: 42492 523.92/525.75 c #Conflicts: 1255000 | #Constraints: 43493 523.92/525.75 c #Conflicts: 1256000 | #Constraints: 44499 523.92/525.75 c INPROCESSING 523.92/525.75 c GARBAGE COLLECT 523.92/525.75 c rational objective 46.3636 535.30/537.15 c #Conflicts: 1257000 | #Constraints: 23237 535.30/537.15 c #Conflicts: 1258000 | #Constraints: 24237 535.30/537.15 c #Conflicts: 1259000 | #Constraints: 25238 535.30/537.15 c #Conflicts: 1260000 | #Constraints: 26239 535.30/537.15 c #Conflicts: 1261000 | #Constraints: 27244 535.30/537.15 c #Conflicts: 1262000 | #Constraints: 28246 535.30/537.15 c #Conflicts: 1263000 | #Constraints: 29247 535.30/537.15 c #Conflicts: 1264000 | #Constraints: 30250 535.30/537.15 c #Conflicts: 1265000 | #Constraints: 31255 535.30/537.15 c #Conflicts: 1266000 | #Constraints: 32260 535.30/537.15 c #Conflicts: 1267000 | #Constraints: 33268 535.30/537.15 c #Conflicts: 1268000 | #Constraints: 34268 535.30/537.15 c #Conflicts: 1269000 | #Constraints: 35270 535.30/537.15 c #Conflicts: 1270000 | #Constraints: 36272 535.30/537.15 c #Conflicts: 1271000 | #Constraints: 37273 535.30/537.15 c #Conflicts: 1272000 | #Constraints: 38277 535.30/537.15 c #Conflicts: 1273000 | #Constraints: 39280 535.30/537.15 c #Conflicts: 1274000 | #Constraints: 40282 535.30/537.15 c #Conflicts: 1275000 | #Constraints: 41283 535.30/537.15 c #Conflicts: 1276000 | #Constraints: 42285 535.30/537.15 c #Conflicts: 1277000 | #Constraints: 43285 535.30/537.15 c #Conflicts: 1278000 | #Constraints: 44285 535.30/537.15 c #Conflicts: 1279000 | #Constraints: 45285 535.30/537.15 c INPROCESSING 535.30/537.15 c GARBAGE COLLECT 535.30/537.15 c rational objective 46.3636 548.44/550.34 c #Conflicts: 1280000 | #Constraints: 23835 548.44/550.34 c #Conflicts: 1281000 | #Constraints: 24835 548.44/550.34 c #Conflicts: 1282000 | #Constraints: 25840 548.44/550.34 c #Conflicts: 1283000 | #Constraints: 26841 548.44/550.34 c #Conflicts: 1284000 | #Constraints: 27842 548.44/550.34 c #Conflicts: 1285000 | #Constraints: 28843 548.44/550.34 c #Conflicts: 1286000 | #Constraints: 29845 548.44/550.34 c #Conflicts: 1287000 | #Constraints: 30849 548.44/550.34 c #Conflicts: 1288000 | #Constraints: 31852 548.44/550.34 c #Conflicts: 1289000 | #Constraints: 32854 548.44/550.34 c #Conflicts: 1290000 | #Constraints: 33858 548.44/550.34 c #Conflicts: 1291000 | #Constraints: 34861 548.44/550.34 c #Conflicts: 1292000 | #Constraints: 35865 548.44/550.34 c #Conflicts: 1293000 | #Constraints: 36868 548.44/550.34 c #Conflicts: 1294000 | #Constraints: 37873 548.44/550.34 c #Conflicts: 1295000 | #Constraints: 38875 548.44/550.34 c #Conflicts: 1296000 | #Constraints: 39878 548.44/550.34 c #Conflicts: 1297000 | #Constraints: 40878 548.44/550.34 c #Conflicts: 1298000 | #Constraints: 41881 548.44/550.34 c #Conflicts: 1299000 | #Constraints: 42883 548.44/550.34 c #Conflicts: 1300000 | #Constraints: 43884 548.44/550.34 c #Conflicts: 1301000 | #Constraints: 44885 548.44/550.34 c #Conflicts: 1302000 | #Constraints: 45892 548.44/550.34 c INPROCESSING 548.44/550.34 c GARBAGE COLLECT 548.44/550.34 c rational objective 46.3636 559.60/561.57 c #Conflicts: 1303000 | #Constraints: 24235 559.60/561.57 c #Conflicts: 1304000 | #Constraints: 25239 559.60/561.57 c #Conflicts: 1305000 | #Constraints: 26239 559.60/561.57 c #Conflicts: 1306000 | #Constraints: 27240 559.60/561.57 c #Conflicts: 1307000 | #Constraints: 28241 559.60/561.57 c #Conflicts: 1308000 | #Constraints: 29243 559.60/561.57 c #Conflicts: 1309000 | #Constraints: 30244 559.60/561.57 c #Conflicts: 1310000 | #Constraints: 31246 559.60/561.57 c #Conflicts: 1311000 | #Constraints: 32248 559.60/561.57 c #Conflicts: 1312000 | #Constraints: 33253 559.60/561.57 c #Conflicts: 1313000 | #Constraints: 34259 559.60/561.57 c #Conflicts: 1314000 | #Constraints: 35262 559.60/561.57 c #Conflicts: 1315000 | #Constraints: 36262 559.60/561.57 c #Conflicts: 1316000 | #Constraints: 37262 559.60/561.57 c #Conflicts: 1317000 | #Constraints: 38264 559.60/561.57 c #Conflicts: 1318000 | #Constraints: 39265 559.60/561.57 c #Conflicts: 1319000 | #Constraints: 40265 559.60/561.57 c #Conflicts: 1320000 | #Constraints: 41267 559.60/561.57 c #Conflicts: 1321000 | #Constraints: 42268 559.60/561.57 c #Conflicts: 1322000 | #Constraints: 43270 559.60/561.57 c #Conflicts: 1323000 | #Constraints: 44272 559.60/561.57 c #Conflicts: 1324000 | #Constraints: 45273 559.60/561.57 c #Conflicts: 1325000 | #Constraints: 46277 559.60/561.57 c INPROCESSING 559.60/561.57 c GARBAGE COLLECT 559.60/561.57 c rational objective 46.3636 572.55/574.56 c #Conflicts: 1326000 | #Constraints: 24430 572.55/574.56 c #Conflicts: 1327000 | #Constraints: 25435 572.55/574.56 c #Conflicts: 1328000 | #Constraints: 26443 572.55/574.56 c #Conflicts: 1329000 | #Constraints: 27450 572.55/574.56 c #Conflicts: 1330000 | #Constraints: 28451 572.55/574.56 c #Conflicts: 1331000 | #Constraints: 29455 572.55/574.56 c #Conflicts: 1332000 | #Constraints: 30458 572.55/574.56 c #Conflicts: 1333000 | #Constraints: 31462 572.55/574.56 c #Conflicts: 1334000 | #Constraints: 32467 572.55/574.56 c #Conflicts: 1335000 | #Constraints: 33472 572.55/574.56 c #Conflicts: 1336000 | #Constraints: 34472 572.55/574.56 c #Conflicts: 1337000 | #Constraints: 35474 572.55/574.56 c #Conflicts: 1338000 | #Constraints: 36474 572.55/574.56 c #Conflicts: 1339000 | #Constraints: 37477 572.55/574.56 c #Conflicts: 1340000 | #Constraints: 38479 572.55/574.56 c #Conflicts: 1341000 | #Constraints: 39479 572.55/574.56 c #Conflicts: 1342000 | #Constraints: 40480 572.55/574.56 c #Conflicts: 1343000 | #Constraints: 41484 572.55/574.56 c #Conflicts: 1344000 | #Constraints: 42491 572.55/574.56 c #Conflicts: 1345000 | #Constraints: 43496 572.55/574.56 c #Conflicts: 1346000 | #Constraints: 44503 572.55/574.56 c #Conflicts: 1347000 | #Constraints: 45504 572.55/574.56 c #Conflicts: 1348000 | #Constraints: 46507 572.55/574.56 c INPROCESSING 572.55/574.56 c GARBAGE COLLECT 572.55/574.56 c rational objective 46.3636 585.91/587.96 c #Conflicts: 1349000 | #Constraints: 24442 585.91/587.96 c #Conflicts: 1350000 | #Constraints: 25445 585.91/587.96 c #Conflicts: 1351000 | #Constraints: 26450 585.91/587.96 c #Conflicts: 1352000 | #Constraints: 27455 585.91/587.96 c #Conflicts: 1353000 | #Constraints: 28457 585.91/587.96 c #Conflicts: 1354000 | #Constraints: 29459 585.91/587.96 c #Conflicts: 1355000 | #Constraints: 30461 585.91/587.96 c #Conflicts: 1356000 | #Constraints: 31465 585.91/587.96 c #Conflicts: 1357000 | #Constraints: 32472 585.91/587.96 c #Conflicts: 1358000 | #Constraints: 33475 585.91/587.96 c #Conflicts: 1359000 | #Constraints: 34480 585.91/587.96 c #Conflicts: 1360000 | #Constraints: 35480 585.91/587.96 c #Conflicts: 1361000 | #Constraints: 36484 585.91/587.96 c #Conflicts: 1362000 | #Constraints: 37487 585.91/587.96 c #Conflicts: 1363000 | #Constraints: 38490 585.91/587.96 c #Conflicts: 1364000 | #Constraints: 39492 585.91/587.96 c #Conflicts: 1365000 | #Constraints: 40494 585.91/587.96 c #Conflicts: 1366000 | #Constraints: 41496 585.91/587.96 c #Conflicts: 1367000 | #Constraints: 42497 585.91/587.96 c #Conflicts: 1368000 | #Constraints: 43497 585.91/587.96 c #Conflicts: 1369000 | #Constraints: 44499 585.91/587.96 c #Conflicts: 1370000 | #Constraints: 45499 585.91/587.96 c #Conflicts: 1371000 | #Constraints: 46500 585.91/587.96 c INPROCESSING 585.91/587.96 c GARBAGE COLLECT 585.91/587.96 c rational objective 46.3636 598.98/601.08 c #Conflicts: 1372000 | #Constraints: 24238 598.98/601.08 c #Conflicts: 1373000 | #Constraints: 25240 598.98/601.08 c #Conflicts: 1374000 | #Constraints: 26244 598.98/601.08 c #Conflicts: 1375000 | #Constraints: 27248 598.98/601.08 c #Conflicts: 1376000 | #Constraints: 28250 598.98/601.08 c #Conflicts: 1377000 | #Constraints: 29250 598.98/601.08 c #Conflicts: 1378000 | #Constraints: 30250 598.98/601.08 c #Conflicts: 1379000 | #Constraints: 31251 598.98/601.08 c #Conflicts: 1380000 | #Constraints: 32254 598.98/601.08 c #Conflicts: 1381000 | #Constraints: 33255 598.98/601.08 c #Conflicts: 1382000 | #Constraints: 34256 598.98/601.08 c #Conflicts: 1383000 | #Constraints: 35258 598.98/601.08 c #Conflicts: 1384000 | #Constraints: 36264 598.98/601.08 c #Conflicts: 1385000 | #Constraints: 37266 598.98/601.08 c #Conflicts: 1386000 | #Constraints: 38270 598.98/601.08 c #Conflicts: 1387000 | #Constraints: 39271 598.98/601.08 c #Conflicts: 1388000 | #Constraints: 40273 598.98/601.08 c #Conflicts: 1389000 | #Constraints: 41275 598.98/601.08 c #Conflicts: 1390000 | #Constraints: 42278 598.98/601.08 c #Conflicts: 1391000 | #Constraints: 43280 598.98/601.08 c #Conflicts: 1392000 | #Constraints: 44282 598.98/601.08 c #Conflicts: 1393000 | #Constraints: 45286 598.98/601.08 c #Conflicts: 1394000 | #Constraints: 46289 598.98/601.08 c #Conflicts: 1395000 | #Constraints: 47294 598.98/601.08 c INPROCESSING 598.98/601.08 c GARBAGE COLLECT 598.98/601.08 c rational objective 46.3636 611.63/613.78 c #Conflicts: 1396000 | #Constraints: 24838 611.63/613.78 c #Conflicts: 1397000 | #Constraints: 25845 611.63/613.78 c #Conflicts: 1398000 | #Constraints: 26847 611.63/613.78 c #Conflicts: 1399000 | #Constraints: 27848 611.63/613.78 c #Conflicts: 1400000 | #Constraints: 28850 611.63/613.78 c #Conflicts: 1401000 | #Constraints: 29853 611.63/613.78 c #Conflicts: 1402000 | #Constraints: 30854 611.63/613.78 c #Conflicts: 1403000 | #Constraints: 31855 611.63/613.78 c #Conflicts: 1404000 | #Constraints: 32858 611.63/613.78 c #Conflicts: 1405000 | #Constraints: 33859 611.63/613.78 c #Conflicts: 1406000 | #Constraints: 34862 611.63/613.78 c #Conflicts: 1407000 | #Constraints: 35864 611.63/613.78 c #Conflicts: 1408000 | #Constraints: 36865 611.63/613.78 c #Conflicts: 1409000 | #Constraints: 37868 611.63/613.78 c #Conflicts: 1410000 | #Constraints: 38868 611.63/613.78 c #Conflicts: 1411000 | #Constraints: 39871 611.63/613.78 c #Conflicts: 1412000 | #Constraints: 40874 611.63/613.78 c #Conflicts: 1413000 | #Constraints: 41874 611.63/613.78 c #Conflicts: 1414000 | #Constraints: 42876 611.63/613.78 c #Conflicts: 1415000 | #Constraints: 43885 611.63/613.79 c #Conflicts: 1416000 | #Constraints: 44889 611.63/613.79 c #Conflicts: 1417000 | #Constraints: 45892 611.63/613.79 c #Conflicts: 1418000 | #Constraints: 46895 611.63/613.79 c #Conflicts: 1419000 | #Constraints: 47897 611.63/613.79 c INPROCESSING 611.63/613.79 c GARBAGE COLLECT 611.63/613.79 c rational objective 46.3636 623.60/625.70 c #Conflicts: 1420000 | #Constraints: 25241 623.60/625.70 c #Conflicts: 1421000 | #Constraints: 26245 623.60/625.70 c #Conflicts: 1422000 | #Constraints: 27247 623.60/625.70 c #Conflicts: 1423000 | #Constraints: 28251 623.60/625.70 c #Conflicts: 1424000 | #Constraints: 29251 623.60/625.70 c #Conflicts: 1425000 | #Constraints: 30253 623.60/625.70 c #Conflicts: 1426000 | #Constraints: 31256 623.60/625.70 c #Conflicts: 1427000 | #Constraints: 32257 623.60/625.70 c #Conflicts: 1428000 | #Constraints: 33260 623.60/625.70 c #Conflicts: 1429000 | #Constraints: 34262 623.60/625.70 c #Conflicts: 1430000 | #Constraints: 35266 623.60/625.70 c #Conflicts: 1431000 | #Constraints: 36272 623.60/625.70 c #Conflicts: 1432000 | #Constraints: 37274 623.60/625.70 c #Conflicts: 1433000 | #Constraints: 38276 623.60/625.70 c #Conflicts: 1434000 | #Constraints: 39280 623.60/625.70 c #Conflicts: 1435000 | #Constraints: 40280 623.60/625.70 c #Conflicts: 1436000 | #Constraints: 41280 623.60/625.70 c #Conflicts: 1437000 | #Constraints: 42284 623.60/625.70 c #Conflicts: 1438000 | #Constraints: 43284 623.60/625.70 c #Conflicts: 1439000 | #Constraints: 44284 623.60/625.70 c #Conflicts: 1440000 | #Constraints: 45285 623.60/625.70 c #Conflicts: 1441000 | #Constraints: 46285 623.60/625.70 c #Conflicts: 1442000 | #Constraints: 47285 623.60/625.70 c #Conflicts: 1443000 | #Constraints: 48290 623.60/625.70 c INPROCESSING 623.60/625.70 c GARBAGE COLLECT 623.60/625.70 c rational objective 46.3636 637.66/639.82 c #Conflicts: 1444000 | #Constraints: 25436 637.66/639.82 c #Conflicts: 1445000 | #Constraints: 26441 637.66/639.82 c #Conflicts: 1446000 | #Constraints: 27447 637.66/639.82 c #Conflicts: 1447000 | #Constraints: 28450 637.66/639.82 c #Conflicts: 1448000 | #Constraints: 29452 637.66/639.82 c #Conflicts: 1449000 | #Constraints: 30455 637.66/639.82 c #Conflicts: 1450000 | #Constraints: 31455 637.66/639.82 c #Conflicts: 1451000 | #Constraints: 32456 637.66/639.82 c #Conflicts: 1452000 | #Constraints: 33457 637.66/639.82 c #Conflicts: 1453000 | #Constraints: 34458 637.66/639.82 c #Conflicts: 1454000 | #Constraints: 35459 637.66/639.82 c #Conflicts: 1455000 | #Constraints: 36460 637.66/639.82 c #Conflicts: 1456000 | #Constraints: 37462 637.66/639.82 c #Conflicts: 1457000 | #Constraints: 38464 637.66/639.82 c #Conflicts: 1458000 | #Constraints: 39467 637.66/639.82 c #Conflicts: 1459000 | #Constraints: 40469 637.66/639.82 c #Conflicts: 1460000 | #Constraints: 41471 637.66/639.82 c #Conflicts: 1461000 | #Constraints: 42473 637.66/639.82 c #Conflicts: 1462000 | #Constraints: 43474 637.66/639.82 c #Conflicts: 1463000 | #Constraints: 44475 637.66/639.82 c #Conflicts: 1464000 | #Constraints: 45479 637.66/639.82 c #Conflicts: 1465000 | #Constraints: 46482 637.66/639.82 c #Conflicts: 1466000 | #Constraints: 47483 637.66/639.82 c #Conflicts: 1467000 | #Constraints: 48483 637.66/639.82 c INPROCESSING 637.66/639.82 c GARBAGE COLLECT 637.66/639.82 c rational objective 46.3636 651.32/653.51 c #Conflicts: 1468000 | #Constraints: 25440 651.32/653.51 c #Conflicts: 1469000 | #Constraints: 26441 651.32/653.51 c #Conflicts: 1470000 | #Constraints: 27444 651.32/653.51 c #Conflicts: 1471000 | #Constraints: 28447 651.32/653.51 c #Conflicts: 1472000 | #Constraints: 29448 651.32/653.51 c #Conflicts: 1473000 | #Constraints: 30450 651.32/653.51 c #Conflicts: 1474000 | #Constraints: 31451 651.32/653.51 c #Conflicts: 1475000 | #Constraints: 32452 651.32/653.51 c #Conflicts: 1476000 | #Constraints: 33454 651.32/653.51 c #Conflicts: 1477000 | #Constraints: 34461 651.32/653.51 c #Conflicts: 1478000 | #Constraints: 35466 651.32/653.51 c #Conflicts: 1479000 | #Constraints: 36475 651.32/653.51 c #Conflicts: 1480000 | #Constraints: 37481 651.32/653.51 c #Conflicts: 1481000 | #Constraints: 38483 651.32/653.51 c #Conflicts: 1482000 | #Constraints: 39485 651.32/653.51 c #Conflicts: 1483000 | #Constraints: 40485 651.32/653.51 c #Conflicts: 1484000 | #Constraints: 41488 651.32/653.51 c #Conflicts: 1485000 | #Constraints: 42490 651.32/653.51 c #Conflicts: 1486000 | #Constraints: 43493 651.32/653.51 c #Conflicts: 1487000 | #Constraints: 44495 651.32/653.51 c #Conflicts: 1488000 | #Constraints: 45497 651.32/653.51 c #Conflicts: 1489000 | #Constraints: 46498 651.32/653.51 c #Conflicts: 1490000 | #Constraints: 47503 651.32/653.51 c #Conflicts: 1491000 | #Constraints: 48503 651.32/653.51 c INPROCESSING 651.32/653.51 c GARBAGE COLLECT 651.32/653.51 c rational objective 46.3636 663.69/666.01 c #Conflicts: 1492000 | #Constraints: 25239 663.69/666.01 c #Conflicts: 1493000 | #Constraints: 26241 663.69/666.01 c #Conflicts: 1494000 | #Constraints: 27241 663.69/666.01 c #Conflicts: 1495000 | #Constraints: 28244 663.69/666.01 c #Conflicts: 1496000 | #Constraints: 29245 663.69/666.01 c #Conflicts: 1497000 | #Constraints: 30248 663.69/666.01 c #Conflicts: 1498000 | #Constraints: 31251 663.69/666.01 c #Conflicts: 1499000 | #Constraints: 32252 663.69/666.01 c #Conflicts: 1500000 | #Constraints: 33252 663.69/666.01 c #Conflicts: 1501000 | #Constraints: 34257 663.69/666.01 c #Conflicts: 1502000 | #Constraints: 35261 663.69/666.01 c #Conflicts: 1503000 | #Constraints: 36264 663.69/666.01 c #Conflicts: 1504000 | #Constraints: 37270 663.69/666.01 c #Conflicts: 1505000 | #Constraints: 38275 663.69/666.01 c #Conflicts: 1506000 | #Constraints: 39282 663.69/666.01 c #Conflicts: 1507000 | #Constraints: 40283 663.69/666.01 c #Conflicts: 1508000 | #Constraints: 41284 663.69/666.01 c #Conflicts: 1509000 | #Constraints: 42285 663.69/666.01 c #Conflicts: 1510000 | #Constraints: 43288 663.69/666.01 c #Conflicts: 1511000 | #Constraints: 44292 663.69/666.01 c #Conflicts: 1512000 | #Constraints: 45294 663.69/666.01 c #Conflicts: 1513000 | #Constraints: 46298 663.69/666.01 c #Conflicts: 1514000 | #Constraints: 47299 663.69/666.01 c #Conflicts: 1515000 | #Constraints: 48300 663.69/666.01 c #Conflicts: 1516000 | #Constraints: 49302 663.69/666.01 c INPROCESSING 663.69/666.01 c GARBAGE COLLECT 663.69/666.01 c rational objective 46.3636 678.05/680.31 c #Conflicts: 1517000 | #Constraints: 25842 678.05/680.31 c #Conflicts: 1518000 | #Constraints: 26845 678.05/680.31 c #Conflicts: 1519000 | #Constraints: 27847 678.05/680.31 c #Conflicts: 1520000 | #Constraints: 28850 678.05/680.31 c #Conflicts: 1521000 | #Constraints: 29850 678.05/680.31 c #Conflicts: 1522000 | #Constraints: 30854 678.05/680.31 c #Conflicts: 1523000 | #Constraints: 31855 678.05/680.31 c #Conflicts: 1524000 | #Constraints: 32859 678.05/680.31 c #Conflicts: 1525000 | #Constraints: 33863 678.05/680.31 c #Conflicts: 1526000 | #Constraints: 34864 678.05/680.31 c #Conflicts: 1527000 | #Constraints: 35869 678.05/680.31 c #Conflicts: 1528000 | #Constraints: 36874 678.05/680.31 c #Conflicts: 1529000 | #Constraints: 37877 678.05/680.31 c #Conflicts: 1530000 | #Constraints: 38879 678.05/680.31 c #Conflicts: 1531000 | #Constraints: 39880 678.05/680.31 c #Conflicts: 1532000 | #Constraints: 40880 678.05/680.31 c #Conflicts: 1533000 | #Constraints: 41884 678.05/680.31 c #Conflicts: 1534000 | #Constraints: 42892 678.05/680.31 c #Conflicts: 1535000 | #Constraints: 43894 678.05/680.31 c #Conflicts: 1536000 | #Constraints: 44898 678.05/680.31 c #Conflicts: 1537000 | #Constraints: 45903 678.05/680.31 c #Conflicts: 1538000 | #Constraints: 46904 678.05/680.31 c #Conflicts: 1539000 | #Constraints: 47905 678.05/680.31 c #Conflicts: 1540000 | #Constraints: 48906 678.05/680.31 c #Conflicts: 1541000 | #Constraints: 49907 678.05/680.31 c INPROCESSING 678.05/680.31 c GARBAGE COLLECT 678.05/680.31 c rational objective 46.3636 691.83/694.16 c #Conflicts: 1542000 | #Constraints: 26249 691.83/694.16 c #Conflicts: 1543000 | #Constraints: 27256 691.83/694.16 c #Conflicts: 1544000 | #Constraints: 28261 691.83/694.16 c #Conflicts: 1545000 | #Constraints: 29274 691.83/694.16 c #Conflicts: 1546000 | #Constraints: 30277 691.83/694.16 c #Conflicts: 1547000 | #Constraints: 31281 691.83/694.16 c #Conflicts: 1548000 | #Constraints: 32286 691.83/694.16 c #Conflicts: 1549000 | #Constraints: 33293 691.83/694.16 c #Conflicts: 1550000 | #Constraints: 34298 691.83/694.16 c #Conflicts: 1551000 | #Constraints: 35302 691.83/694.16 c #Conflicts: 1552000 | #Constraints: 36309 691.83/694.16 c #Conflicts: 1553000 | #Constraints: 37315 691.83/694.16 c #Conflicts: 1554000 | #Constraints: 38322 691.83/694.16 c #Conflicts: 1555000 | #Constraints: 39327 691.83/694.16 c #Conflicts: 1556000 | #Constraints: 40329 691.83/694.16 c #Conflicts: 1557000 | #Constraints: 41335 691.83/694.16 c #Conflicts: 1558000 | #Constraints: 42342 691.83/694.16 c #Conflicts: 1559000 | #Constraints: 43346 691.83/694.16 c #Conflicts: 1560000 | #Constraints: 44349 691.83/694.16 c #Conflicts: 1561000 | #Constraints: 45351 691.83/694.16 c #Conflicts: 1562000 | #Constraints: 46357 691.83/694.16 c #Conflicts: 1563000 | #Constraints: 47362 691.83/694.16 c #Conflicts: 1564000 | #Constraints: 48367 691.83/694.16 c #Conflicts: 1565000 | #Constraints: 49371 691.83/694.16 c #Conflicts: 1566000 | #Constraints: 50375 691.83/694.16 c INPROCESSING 691.83/694.16 c GARBAGE COLLECT 691.83/694.16 c rational objective 46.3636 707.97/710.35 c #Conflicts: 1567000 | #Constraints: 26478 707.97/710.35 c #Conflicts: 1568000 | #Constraints: 27480 707.97/710.35 c #Conflicts: 1569000 | #Constraints: 28483 707.97/710.35 c #Conflicts: 1570000 | #Constraints: 29487 707.97/710.35 c #Conflicts: 1571000 | #Constraints: 30489 707.97/710.35 c #Conflicts: 1572000 | #Constraints: 31494 707.97/710.35 c #Conflicts: 1573000 | #Constraints: 32499 707.97/710.35 c #Conflicts: 1574000 | #Constraints: 33507 707.97/710.35 c #Conflicts: 1575000 | #Constraints: 34508 707.97/710.35 c #Conflicts: 1576000 | #Constraints: 35515 707.97/710.35 c #Conflicts: 1577000 | #Constraints: 36519 707.97/710.35 c #Conflicts: 1578000 | #Constraints: 37526 707.97/710.35 c #Conflicts: 1579000 | #Constraints: 38531 707.97/710.35 c #Conflicts: 1580000 | #Constraints: 39536 707.97/710.35 c #Conflicts: 1581000 | #Constraints: 40538 707.97/710.35 c #Conflicts: 1582000 | #Constraints: 41542 707.97/710.35 c #Conflicts: 1583000 | #Constraints: 42550 707.97/710.35 c #Conflicts: 1584000 | #Constraints: 43558 707.97/710.35 c #Conflicts: 1585000 | #Constraints: 44565 707.97/710.35 c #Conflicts: 1586000 | #Constraints: 45570 707.97/710.35 c #Conflicts: 1587000 | #Constraints: 46577 707.97/710.35 c #Conflicts: 1588000 | #Constraints: 47582 707.97/710.35 c #Conflicts: 1589000 | #Constraints: 48588 707.97/710.35 c #Conflicts: 1590000 | #Constraints: 49592 707.97/710.35 c #Conflicts: 1591000 | #Constraints: 50597 707.97/710.35 c INPROCESSING 707.97/710.35 c GARBAGE COLLECT 707.97/710.35 c rational objective 46.3636 724.23/726.65 c #Conflicts: 1592000 | #Constraints: 26486 724.23/726.65 c #Conflicts: 1593000 | #Constraints: 27489 724.23/726.65 c #Conflicts: 1594000 | #Constraints: 28493 724.23/726.65 c #Conflicts: 1595000 | #Constraints: 29495 724.23/726.65 c #Conflicts: 1596000 | #Constraints: 30500 724.23/726.65 c #Conflicts: 1597000 | #Constraints: 31503 724.23/726.65 c #Conflicts: 1598000 | #Constraints: 32509 724.23/726.65 c #Conflicts: 1599000 | #Constraints: 33515 724.23/726.65 c #Conflicts: 1600000 | #Constraints: 34519 724.23/726.65 c #Conflicts: 1601000 | #Constraints: 35521 724.23/726.65 c #Conflicts: 1602000 | #Constraints: 36525 724.23/726.65 c #Conflicts: 1603000 | #Constraints: 37530 724.23/726.65 c #Conflicts: 1604000 | #Constraints: 38532 724.23/726.65 c #Conflicts: 1605000 | #Constraints: 39533 724.23/726.65 c #Conflicts: 1606000 | #Constraints: 40539 724.23/726.65 c #Conflicts: 1607000 | #Constraints: 41545 724.23/726.65 c #Conflicts: 1608000 | #Constraints: 42550 724.23/726.65 c #Conflicts: 1609000 | #Constraints: 43554 724.23/726.65 c #Conflicts: 1610000 | #Constraints: 44559 724.23/726.65 c #Conflicts: 1611000 | #Constraints: 45561 724.23/726.65 c #Conflicts: 1612000 | #Constraints: 46563 724.23/726.65 c #Conflicts: 1613000 | #Constraints: 47570 724.23/726.65 c #Conflicts: 1614000 | #Constraints: 48578 724.23/726.65 c #Conflicts: 1615000 | #Constraints: 49579 724.23/726.65 c #Conflicts: 1616000 | #Constraints: 50581 724.23/726.65 c INPROCESSING 724.23/726.65 c GARBAGE COLLECT 724.23/726.65 c rational objective 46.3636 743.37/745.86 c #Conflicts: 1617000 | #Constraints: 26281 743.37/745.86 c #Conflicts: 1618000 | #Constraints: 27287 743.37/745.86 c #Conflicts: 1619000 | #Constraints: 28293 743.37/745.86 c #Conflicts: 1620000 | #Constraints: 29295 743.37/745.86 c #Conflicts: 1621000 | #Constraints: 30301 743.37/745.86 c #Conflicts: 1622000 | #Constraints: 31308 743.37/745.86 c #Conflicts: 1623000 | #Constraints: 32317 743.37/745.86 c #Conflicts: 1624000 | #Constraints: 33326 743.37/745.86 c #Conflicts: 1625000 | #Constraints: 34335 743.37/745.86 c #Conflicts: 1626000 | #Constraints: 35342 743.37/745.86 c #Conflicts: 1627000 | #Constraints: 36348 743.37/745.86 c #Conflicts: 1628000 | #Constraints: 37355 743.37/745.86 c #Conflicts: 1629000 | #Constraints: 38360 743.37/745.86 c #Conflicts: 1630000 | #Constraints: 39365 743.37/745.86 c #Conflicts: 1631000 | #Constraints: 40372 743.37/745.86 c #Conflicts: 1632000 | #Constraints: 41379 743.37/745.86 c #Conflicts: 1633000 | #Constraints: 42384 743.37/745.86 c #Conflicts: 1634000 | #Constraints: 43390 743.37/745.86 c #Conflicts: 1635000 | #Constraints: 44397 743.37/745.86 c #Conflicts: 1636000 | #Constraints: 45407 743.37/745.86 c #Conflicts: 1637000 | #Constraints: 46414 743.37/745.86 c #Conflicts: 1638000 | #Constraints: 47420 743.37/745.86 c #Conflicts: 1639000 | #Constraints: 48425 743.37/745.86 c #Conflicts: 1640000 | #Constraints: 49430 743.37/745.86 c #Conflicts: 1641000 | #Constraints: 50436 743.37/745.86 c #Conflicts: 1642000 | #Constraints: 51439 743.37/745.86 c INPROCESSING 743.37/745.86 c GARBAGE COLLECT 743.37/745.86 c rational objective 46.3636 758.13/760.63 c #Conflicts: 1643000 | #Constraints: 26908 758.13/760.63 c #Conflicts: 1644000 | #Constraints: 27909 758.13/760.63 c #Conflicts: 1645000 | #Constraints: 28911 758.13/760.63 c #Conflicts: 1646000 | #Constraints: 29913 758.13/760.63 c #Conflicts: 1647000 | #Constraints: 30916 758.13/760.63 c #Conflicts: 1648000 | #Constraints: 31918 758.13/760.63 c #Conflicts: 1649000 | #Constraints: 32923 758.13/760.63 c #Conflicts: 1650000 | #Constraints: 33926 758.13/760.63 c #Conflicts: 1651000 | #Constraints: 34928 758.13/760.63 c #Conflicts: 1652000 | #Constraints: 35928 758.13/760.63 c #Conflicts: 1653000 | #Constraints: 36931 758.13/760.63 c #Conflicts: 1654000 | #Constraints: 37935 758.13/760.63 c #Conflicts: 1655000 | #Constraints: 38937 758.13/760.63 c #Conflicts: 1656000 | #Constraints: 39940 758.13/760.63 c #Conflicts: 1657000 | #Constraints: 40947 758.13/760.63 c #Conflicts: 1658000 | #Constraints: 41950 758.13/760.63 c #Conflicts: 1659000 | #Constraints: 42955 758.13/760.63 c #Conflicts: 1660000 | #Constraints: 43957 758.13/760.63 c #Conflicts: 1661000 | #Constraints: 44959 758.13/760.63 c #Conflicts: 1662000 | #Constraints: 45960 758.13/760.63 c #Conflicts: 1663000 | #Constraints: 46960 758.13/760.63 c #Conflicts: 1664000 | #Constraints: 47962 758.13/760.63 c #Conflicts: 1665000 | #Constraints: 48964 758.13/760.63 c #Conflicts: 1666000 | #Constraints: 49966 758.13/760.63 c #Conflicts: 1667000 | #Constraints: 50969 758.13/760.63 c #Conflicts: 1668000 | #Constraints: 51972 758.13/760.63 c INPROCESSING 758.13/760.63 c GARBAGE COLLECT 758.13/760.63 c rational objective 46.3636 774.50/777.06 c #Conflicts: 1669000 | #Constraints: 27279 774.50/777.06 c #Conflicts: 1670000 | #Constraints: 28283 774.50/777.06 c #Conflicts: 1671000 | #Constraints: 29289 774.50/777.06 c #Conflicts: 1672000 | #Constraints: 30293 774.50/777.06 c #Conflicts: 1673000 | #Constraints: 31296 774.50/777.06 c #Conflicts: 1674000 | #Constraints: 32298 774.50/777.06 c #Conflicts: 1675000 | #Constraints: 33299 774.50/777.06 c #Conflicts: 1676000 | #Constraints: 34302 774.50/777.06 c #Conflicts: 1677000 | #Constraints: 35305 774.50/777.06 c #Conflicts: 1678000 | #Constraints: 36308 774.50/777.06 c #Conflicts: 1679000 | #Constraints: 37310 774.50/777.06 c #Conflicts: 1680000 | #Constraints: 38314 774.50/777.06 c #Conflicts: 1681000 | #Constraints: 39317 774.50/777.06 c #Conflicts: 1682000 | #Constraints: 40322 774.50/777.06 c #Conflicts: 1683000 | #Constraints: 41326 774.50/777.06 c #Conflicts: 1684000 | #Constraints: 42329 774.50/777.06 c #Conflicts: 1685000 | #Constraints: 43335 774.50/777.06 c #Conflicts: 1686000 | #Constraints: 44337 774.50/777.06 c #Conflicts: 1687000 | #Constraints: 45338 774.50/777.06 c #Conflicts: 1688000 | #Constraints: 46340 774.50/777.06 c #Conflicts: 1689000 | #Constraints: 47343 774.50/777.06 c #Conflicts: 1690000 | #Constraints: 48347 774.50/777.06 c #Conflicts: 1691000 | #Constraints: 49355 774.50/777.06 c #Conflicts: 1692000 | #Constraints: 50355 774.50/777.06 c #Conflicts: 1693000 | #Constraints: 51358 774.50/777.06 c #Conflicts: 1694000 | #Constraints: 52364 774.50/777.06 c INPROCESSING 774.50/777.06 c GARBAGE COLLECT 774.50/777.06 c rational objective 46.3636 789.46/792.08 c #Conflicts: 1695000 | #Constraints: 27474 789.46/792.08 c #Conflicts: 1696000 | #Constraints: 28476 789.46/792.08 c #Conflicts: 1697000 | #Constraints: 29481 789.46/792.08 c #Conflicts: 1698000 | #Constraints: 30482 789.46/792.08 c #Conflicts: 1699000 | #Constraints: 31483 789.46/792.08 c #Conflicts: 1700000 | #Constraints: 32487 789.46/792.08 c #Conflicts: 1701000 | #Constraints: 33490 789.46/792.08 c #Conflicts: 1702000 | #Constraints: 34496 789.46/792.08 c #Conflicts: 1703000 | #Constraints: 35499 789.46/792.08 c #Conflicts: 1704000 | #Constraints: 36503 789.46/792.08 c #Conflicts: 1705000 | #Constraints: 37504 789.46/792.08 c #Conflicts: 1706000 | #Constraints: 38507 789.46/792.08 c #Conflicts: 1707000 | #Constraints: 39508 789.46/792.08 c #Conflicts: 1708000 | #Constraints: 40510 789.46/792.08 c #Conflicts: 1709000 | #Constraints: 41513 789.46/792.08 c #Conflicts: 1710000 | #Constraints: 42515 789.46/792.08 c #Conflicts: 1711000 | #Constraints: 43517 789.46/792.08 c #Conflicts: 1712000 | #Constraints: 44523 789.46/792.08 c #Conflicts: 1713000 | #Constraints: 45525 789.46/792.08 c #Conflicts: 1714000 | #Constraints: 46527 789.46/792.08 c #Conflicts: 1715000 | #Constraints: 47528 789.46/792.08 c #Conflicts: 1716000 | #Constraints: 48532 789.46/792.08 c #Conflicts: 1717000 | #Constraints: 49536 789.46/792.08 c #Conflicts: 1718000 | #Constraints: 50538 789.46/792.08 c #Conflicts: 1719000 | #Constraints: 51538 789.46/792.08 c #Conflicts: 1720000 | #Constraints: 52539 789.46/792.08 c INPROCESSING 789.46/792.08 c GARBAGE COLLECT 789.46/792.08 c rational objective 46.3636 804.80/807.43 c #Conflicts: 1721000 | #Constraints: 27465 804.80/807.43 c #Conflicts: 1722000 | #Constraints: 28469 804.80/807.43 c #Conflicts: 1723000 | #Constraints: 29471 804.80/807.43 c #Conflicts: 1724000 | #Constraints: 30473 804.80/807.43 c #Conflicts: 1725000 | #Constraints: 31474 804.80/807.43 c #Conflicts: 1726000 | #Constraints: 32477 804.80/807.43 c #Conflicts: 1727000 | #Constraints: 33481 804.80/807.43 c #Conflicts: 1728000 | #Constraints: 34485 804.80/807.43 c #Conflicts: 1729000 | #Constraints: 35487 804.80/807.43 c #Conflicts: 1730000 | #Constraints: 36487 804.80/807.43 c #Conflicts: 1731000 | #Constraints: 37491 804.80/807.43 c #Conflicts: 1732000 | #Constraints: 38496 804.80/807.43 c #Conflicts: 1733000 | #Constraints: 39501 804.80/807.43 c #Conflicts: 1734000 | #Constraints: 40504 804.80/807.43 c #Conflicts: 1735000 | #Constraints: 41511 804.80/807.43 c #Conflicts: 1736000 | #Constraints: 42519 804.80/807.43 c #Conflicts: 1737000 | #Constraints: 43528 804.80/807.43 c #Conflicts: 1738000 | #Constraints: 44533 804.80/807.43 c #Conflicts: 1739000 | #Constraints: 45547 804.80/807.43 c #Conflicts: 1740000 | #Constraints: 46551 804.80/807.43 c #Conflicts: 1741000 | #Constraints: 47556 804.80/807.43 c #Conflicts: 1742000 | #Constraints: 48563 804.80/807.43 c #Conflicts: 1743000 | #Constraints: 49570 804.80/807.43 c #Conflicts: 1744000 | #Constraints: 50574 804.80/807.43 c #Conflicts: 1745000 | #Constraints: 51575 804.80/807.43 c #Conflicts: 1746000 | #Constraints: 52578 804.80/807.43 c INPROCESSING 804.80/807.43 c GARBAGE COLLECT 804.80/807.43 c rational objective 46.3636 820.65/823.35 c #Conflicts: 1747000 | #Constraints: 27278 820.65/823.35 c #Conflicts: 1748000 | #Constraints: 28281 820.65/823.35 c #Conflicts: 1749000 | #Constraints: 29282 820.65/823.35 c #Conflicts: 1750000 | #Constraints: 30285 820.65/823.35 c #Conflicts: 1751000 | #Constraints: 31289 820.65/823.35 c #Conflicts: 1752000 | #Constraints: 32291 820.65/823.35 c #Conflicts: 1753000 | #Constraints: 33293 820.65/823.35 c #Conflicts: 1754000 | #Constraints: 34294 820.65/823.35 c #Conflicts: 1755000 | #Constraints: 35294 820.65/823.35 c #Conflicts: 1756000 | #Constraints: 36298 820.65/823.35 c #Conflicts: 1757000 | #Constraints: 37299 820.65/823.35 c #Conflicts: 1758000 | #Constraints: 38303 820.65/823.35 c #Conflicts: 1759000 | #Constraints: 39306 820.65/823.35 c #Conflicts: 1760000 | #Constraints: 40308 820.65/823.35 c #Conflicts: 1761000 | #Constraints: 41308 820.65/823.35 c #Conflicts: 1762000 | #Constraints: 42310 820.65/823.35 c #Conflicts: 1763000 | #Constraints: 43312 820.65/823.35 c #Conflicts: 1764000 | #Constraints: 44315 820.65/823.35 c #Conflicts: 1765000 | #Constraints: 45317 820.65/823.35 c #Conflicts: 1766000 | #Constraints: 46318 820.65/823.35 c #Conflicts: 1767000 | #Constraints: 47321 820.65/823.35 c #Conflicts: 1768000 | #Constraints: 48326 820.65/823.35 c #Conflicts: 1769000 | #Constraints: 49328 820.65/823.35 c #Conflicts: 1770000 | #Constraints: 50332 820.65/823.35 c #Conflicts: 1771000 | #Constraints: 51336 820.65/823.35 c #Conflicts: 1772000 | #Constraints: 52338 820.65/823.35 c #Conflicts: 1773000 | #Constraints: 53339 820.65/823.35 c INPROCESSING 820.65/823.35 c GARBAGE COLLECT 820.65/823.35 c rational objective 46.3636 837.91/840.62 c #Conflicts: 1774000 | #Constraints: 27865 837.91/840.62 c #Conflicts: 1775000 | #Constraints: 28867 837.91/840.62 c #Conflicts: 1776000 | #Constraints: 29870 837.91/840.62 c #Conflicts: 1777000 | #Constraints: 30872 837.91/840.62 c #Conflicts: 1778000 | #Constraints: 31876 837.91/840.62 c #Conflicts: 1779000 | #Constraints: 32878 837.91/840.62 c #Conflicts: 1780000 | #Constraints: 33879 837.91/840.62 c #Conflicts: 1781000 | #Constraints: 34885 837.91/840.62 c #Conflicts: 1782000 | #Constraints: 35889 837.91/840.62 c #Conflicts: 1783000 | #Constraints: 36894 837.91/840.62 c #Conflicts: 1784000 | #Constraints: 37897 837.91/840.62 c #Conflicts: 1785000 | #Constraints: 38900 837.91/840.62 c #Conflicts: 1786000 | #Constraints: 39905 837.91/840.62 c #Conflicts: 1787000 | #Constraints: 40905 837.91/840.62 c #Conflicts: 1788000 | #Constraints: 41909 837.91/840.62 c #Conflicts: 1789000 | #Constraints: 42910 837.91/840.62 c #Conflicts: 1790000 | #Constraints: 43911 837.91/840.62 c #Conflicts: 1791000 | #Constraints: 44912 837.91/840.62 c #Conflicts: 1792000 | #Constraints: 45912 837.91/840.62 c #Conflicts: 1793000 | #Constraints: 46915 837.91/840.62 c #Conflicts: 1794000 | #Constraints: 47918 837.91/840.62 c #Conflicts: 1795000 | #Constraints: 48926 837.91/840.62 c #Conflicts: 1796000 | #Constraints: 49933 837.91/840.62 c #Conflicts: 1797000 | #Constraints: 50936 837.91/840.62 c #Conflicts: 1798000 | #Constraints: 51938 837.91/840.62 c #Conflicts: 1799000 | #Constraints: 52939 837.91/840.62 c #Conflicts: 1800000 | #Constraints: 53939 837.91/840.62 c INPROCESSING 837.91/840.62 c GARBAGE COLLECT 837.91/840.62 c rational objective 46.3636 854.67/857.46 c #Conflicts: 1801000 | #Constraints: 28258 854.67/857.46 c #Conflicts: 1802000 | #Constraints: 29262 854.67/857.46 c #Conflicts: 1803000 | #Constraints: 30265 854.67/857.46 c #Conflicts: 1804000 | #Constraints: 31267 854.67/857.46 c #Conflicts: 1805000 | #Constraints: 32268 854.67/857.46 c #Conflicts: 1806000 | #Constraints: 33271 854.67/857.46 c #Conflicts: 1807000 | #Constraints: 34273 854.67/857.46 c #Conflicts: 1808000 | #Constraints: 35275 854.67/857.46 c #Conflicts: 1809000 | #Constraints: 36280 854.67/857.46 c #Conflicts: 1810000 | #Constraints: 37280 854.67/857.46 c #Conflicts: 1811000 | #Constraints: 38283 854.67/857.46 c #Conflicts: 1812000 | #Constraints: 39283 854.67/857.46 c #Conflicts: 1813000 | #Constraints: 40284 854.67/857.46 c #Conflicts: 1814000 | #Constraints: 41288 854.67/857.46 c #Conflicts: 1815000 | #Constraints: 42290 854.67/857.46 c #Conflicts: 1816000 | #Constraints: 43291 854.67/857.46 c #Conflicts: 1817000 | #Constraints: 44292 854.67/857.46 c #Conflicts: 1818000 | #Constraints: 45294 854.67/857.46 c #Conflicts: 1819000 | #Constraints: 46296 854.67/857.46 c #Conflicts: 1820000 | #Constraints: 47296 854.67/857.46 c #Conflicts: 1821000 | #Constraints: 48298 854.67/857.46 c #Conflicts: 1822000 | #Constraints: 49301 854.67/857.46 c #Conflicts: 1823000 | #Constraints: 50301 854.67/857.46 c #Conflicts: 1824000 | #Constraints: 51302 854.67/857.46 c #Conflicts: 1825000 | #Constraints: 52305 854.67/857.46 c #Conflicts: 1826000 | #Constraints: 53308 854.67/857.46 c #Conflicts: 1827000 | #Constraints: 54312 854.67/857.46 c INPROCESSING 854.67/857.46 c GARBAGE COLLECT 854.67/857.46 c rational objective 46.3636 871.72/874.50 c #Conflicts: 1828000 | #Constraints: 28447 871.72/874.50 c #Conflicts: 1829000 | #Constraints: 29448 871.72/874.50 c #Conflicts: 1830000 | #Constraints: 30454 871.72/874.50 c #Conflicts: 1831000 | #Constraints: 31463 871.72/874.50 c #Conflicts: 1832000 | #Constraints: 32467 871.72/874.50 c #Conflicts: 1833000 | #Constraints: 33476 871.72/874.50 c #Conflicts: 1834000 | #Constraints: 34481 871.72/874.50 c #Conflicts: 1835000 | #Constraints: 35490 871.72/874.50 c #Conflicts: 1836000 | #Constraints: 36493 871.72/874.50 c #Conflicts: 1837000 | #Constraints: 37496 871.72/874.50 c #Conflicts: 1838000 | #Constraints: 38498 871.72/874.50 c #Conflicts: 1839000 | #Constraints: 39503 871.72/874.50 c #Conflicts: 1840000 | #Constraints: 40505 871.72/874.50 c #Conflicts: 1841000 | #Constraints: 41508 871.72/874.50 c #Conflicts: 1842000 | #Constraints: 42510 871.72/874.50 c #Conflicts: 1843000 | #Constraints: 43513 871.72/874.50 c #Conflicts: 1844000 | #Constraints: 44515 871.72/874.50 c #Conflicts: 1845000 | #Constraints: 45519 871.72/874.50 c #Conflicts: 1846000 | #Constraints: 46520 871.72/874.50 c #Conflicts: 1847000 | #Constraints: 47520 871.72/874.50 c #Conflicts: 1848000 | #Constraints: 48520 871.72/874.50 c #Conflicts: 1849000 | #Constraints: 49521 871.72/874.50 c #Conflicts: 1850000 | #Constraints: 50521 871.72/874.50 c #Conflicts: 1851000 | #Constraints: 51525 871.72/874.50 c #Conflicts: 1852000 | #Constraints: 52527 871.72/874.50 c #Conflicts: 1853000 | #Constraints: 53531 871.72/874.50 c #Conflicts: 1854000 | #Constraints: 54533 871.72/874.50 c INPROCESSING 871.72/874.50 c GARBAGE COLLECT 871.72/874.50 c rational objective 46.3636 890.86/893.75 c #Conflicts: 1855000 | #Constraints: 28458 890.86/893.75 c #Conflicts: 1856000 | #Constraints: 29462 890.86/893.75 c #Conflicts: 1857000 | #Constraints: 30466 890.86/893.75 c #Conflicts: 1858000 | #Constraints: 31471 890.86/893.75 c #Conflicts: 1859000 | #Constraints: 32473 890.86/893.75 c #Conflicts: 1860000 | #Constraints: 33477 890.86/893.75 c #Conflicts: 1861000 | #Constraints: 34478 890.86/893.75 c #Conflicts: 1862000 | #Constraints: 35482 890.86/893.75 c #Conflicts: 1863000 | #Constraints: 36488 890.86/893.75 c #Conflicts: 1864000 | #Constraints: 37490 890.86/893.75 c #Conflicts: 1865000 | #Constraints: 38492 890.86/893.75 c #Conflicts: 1866000 | #Constraints: 39499 890.86/893.75 c #Conflicts: 1867000 | #Constraints: 40503 890.86/893.75 c #Conflicts: 1868000 | #Constraints: 41506 890.86/893.75 c #Conflicts: 1869000 | #Constraints: 42510 890.86/893.75 c #Conflicts: 1870000 | #Constraints: 43514 890.86/893.75 c #Conflicts: 1871000 | #Constraints: 44515 890.86/893.75 c #Conflicts: 1872000 | #Constraints: 45519 890.86/893.75 c #Conflicts: 1873000 | #Constraints: 46519 890.86/893.75 c #Conflicts: 1874000 | #Constraints: 47521 890.86/893.75 c #Conflicts: 1875000 | #Constraints: 48521 890.86/893.75 c #Conflicts: 1876000 | #Constraints: 49523 890.86/893.75 c #Conflicts: 1877000 | #Constraints: 50526 890.86/893.75 c #Conflicts: 1878000 | #Constraints: 51530 890.86/893.75 c #Conflicts: 1879000 | #Constraints: 52531 890.86/893.75 c #Conflicts: 1880000 | #Constraints: 53535 890.86/893.75 c #Conflicts: 1881000 | #Constraints: 54535 890.86/893.75 c INPROCESSING 890.86/893.75 c GARBAGE COLLECT 890.86/893.75 c rational objective 46.3636 906.42/909.31 c #Conflicts: 1882000 | #Constraints: 28255 906.42/909.31 c #Conflicts: 1883000 | #Constraints: 29257 906.42/909.31 c #Conflicts: 1884000 | #Constraints: 30261 906.42/909.31 c #Conflicts: 1885000 | #Constraints: 31265 906.42/909.31 c #Conflicts: 1886000 | #Constraints: 32265 906.42/909.31 c #Conflicts: 1887000 | #Constraints: 33269 906.42/909.31 c #Conflicts: 1888000 | #Constraints: 34270 906.42/909.31 c #Conflicts: 1889000 | #Constraints: 35272 906.42/909.31 c #Conflicts: 1890000 | #Constraints: 36273 906.42/909.31 c #Conflicts: 1891000 | #Constraints: 37277 906.42/909.31 c #Conflicts: 1892000 | #Constraints: 38277 906.42/909.31 c #Conflicts: 1893000 | #Constraints: 39278 906.42/909.31 c #Conflicts: 1894000 | #Constraints: 40280 906.42/909.31 c #Conflicts: 1895000 | #Constraints: 41281 906.42/909.31 c #Conflicts: 1896000 | #Constraints: 42282 906.42/909.31 c #Conflicts: 1897000 | #Constraints: 43285 906.42/909.31 c #Conflicts: 1898000 | #Constraints: 44288 906.42/909.31 c #Conflicts: 1899000 | #Constraints: 45293 906.42/909.31 c #Conflicts: 1900000 | #Constraints: 46296 906.42/909.31 c #Conflicts: 1901000 | #Constraints: 47297 906.42/909.31 c #Conflicts: 1902000 | #Constraints: 48299 906.42/909.31 c #Conflicts: 1903000 | #Constraints: 49302 906.42/909.31 c #Conflicts: 1904000 | #Constraints: 50304 906.42/909.31 c #Conflicts: 1905000 | #Constraints: 51307 906.42/909.31 c #Conflicts: 1906000 | #Constraints: 52309 906.42/909.31 c #Conflicts: 1907000 | #Constraints: 53309 906.42/909.31 c #Conflicts: 1908000 | #Constraints: 54309 906.42/909.31 c #Conflicts: 1909000 | #Constraints: 55311 906.42/909.31 c INPROCESSING 906.42/909.31 c GARBAGE COLLECT 906.42/909.31 c rational objective 46.3636 925.18/928.16 c #Conflicts: 1910000 | #Constraints: 28846 925.18/928.16 c #Conflicts: 1911000 | #Constraints: 29850 925.18/928.16 c #Conflicts: 1912000 | #Constraints: 30852 925.18/928.16 c #Conflicts: 1913000 | #Constraints: 31855 925.18/928.16 c #Conflicts: 1914000 | #Constraints: 32856 925.18/928.16 c #Conflicts: 1915000 | #Constraints: 33861 925.18/928.16 c #Conflicts: 1916000 | #Constraints: 34865 925.18/928.16 c #Conflicts: 1917000 | #Constraints: 35870 925.18/928.16 c #Conflicts: 1918000 | #Constraints: 36873 925.18/928.16 c #Conflicts: 1919000 | #Constraints: 37875 925.18/928.16 c #Conflicts: 1920000 | #Constraints: 38876 925.18/928.16 c #Conflicts: 1921000 | #Constraints: 39877 925.18/928.16 c #Conflicts: 1922000 | #Constraints: 40877 925.18/928.16 c #Conflicts: 1923000 | #Constraints: 41877 925.18/928.16 c #Conflicts: 1924000 | #Constraints: 42879 925.18/928.16 c #Conflicts: 1925000 | #Constraints: 43880 925.18/928.16 c #Conflicts: 1926000 | #Constraints: 44883 925.18/928.16 c #Conflicts: 1927000 | #Constraints: 45883 925.18/928.16 c #Conflicts: 1928000 | #Constraints: 46887 925.18/928.16 c #Conflicts: 1929000 | #Constraints: 47891 925.18/928.16 c #Conflicts: 1930000 | #Constraints: 48893 925.18/928.16 c #Conflicts: 1931000 | #Constraints: 49895 925.18/928.16 c #Conflicts: 1932000 | #Constraints: 50898 925.18/928.16 c #Conflicts: 1933000 | #Constraints: 51902 925.18/928.16 c #Conflicts: 1934000 | #Constraints: 52908 925.18/928.16 c #Conflicts: 1935000 | #Constraints: 53917 925.18/928.16 c #Conflicts: 1936000 | #Constraints: 54920 925.18/928.16 c #Conflicts: 1937000 | #Constraints: 55920 925.18/928.16 c INPROCESSING 925.18/928.16 c GARBAGE COLLECT 925.18/928.16 c rational objective 46.3636 940.33/943.36 c #Conflicts: 1938000 | #Constraints: 29251 940.33/943.36 c #Conflicts: 1939000 | #Constraints: 30257 940.33/943.36 c #Conflicts: 1940000 | #Constraints: 31258 940.33/943.36 c #Conflicts: 1941000 | #Constraints: 32264 940.33/943.36 c #Conflicts: 1942000 | #Constraints: 33265 940.33/943.36 c #Conflicts: 1943000 | #Constraints: 34269 940.33/943.36 c #Conflicts: 1944000 | #Constraints: 35271 940.33/943.36 c #Conflicts: 1945000 | #Constraints: 36272 940.33/943.36 c #Conflicts: 1946000 | #Constraints: 37272 940.33/943.36 c #Conflicts: 1947000 | #Constraints: 38274 940.33/943.36 c #Conflicts: 1948000 | #Constraints: 39274 940.33/943.36 c #Conflicts: 1949000 | #Constraints: 40278 940.33/943.36 c #Conflicts: 1950000 | #Constraints: 41279 940.33/943.36 c #Conflicts: 1951000 | #Constraints: 42283 940.33/943.36 c #Conflicts: 1952000 | #Constraints: 43288 940.33/943.36 c #Conflicts: 1953000 | #Constraints: 44292 940.33/943.36 c #Conflicts: 1954000 | #Constraints: 45295 940.33/943.36 c #Conflicts: 1955000 | #Constraints: 46296 940.33/943.36 c #Conflicts: 1956000 | #Constraints: 47296 940.33/943.36 c #Conflicts: 1957000 | #Constraints: 48299 940.33/943.36 c #Conflicts: 1958000 | #Constraints: 49300 940.33/943.36 c #Conflicts: 1959000 | #Constraints: 50303 940.33/943.36 c #Conflicts: 1960000 | #Constraints: 51305 940.33/943.36 c #Conflicts: 1961000 | #Constraints: 52305 940.33/943.36 c #Conflicts: 1962000 | #Constraints: 53305 940.33/943.36 c #Conflicts: 1963000 | #Constraints: 54307 940.33/943.36 c #Conflicts: 1964000 | #Constraints: 55310 940.33/943.36 c #Conflicts: 1965000 | #Constraints: 56316 940.33/943.36 c INPROCESSING 940.33/943.36 c GARBAGE COLLECT 940.33/943.36 c rational objective 46.3636 957.88/960.95 c #Conflicts: 1966000 | #Constraints: 29445 957.88/960.95 c #Conflicts: 1967000 | #Constraints: 30448 957.88/960.95 c #Conflicts: 1968000 | #Constraints: 31452 957.88/960.95 c #Conflicts: 1969000 | #Constraints: 32456 957.88/960.95 c #Conflicts: 1970000 | #Constraints: 33462 957.88/960.95 c #Conflicts: 1971000 | #Constraints: 34466 957.88/960.95 c #Conflicts: 1972000 | #Constraints: 35470 957.88/960.95 c #Conflicts: 1973000 | #Constraints: 36474 957.88/960.95 c #Conflicts: 1974000 | #Constraints: 37477 957.88/960.95 c #Conflicts: 1975000 | #Constraints: 38479 957.88/960.95 c #Conflicts: 1976000 | #Constraints: 39479 957.88/960.95 c #Conflicts: 1977000 | #Constraints: 40483 957.88/960.95 c #Conflicts: 1978000 | #Constraints: 41489 957.88/960.95 c #Conflicts: 1979000 | #Constraints: 42492 957.88/960.95 c #Conflicts: 1980000 | #Constraints: 43494 957.88/960.95 c #Conflicts: 1981000 | #Constraints: 44498 957.88/960.95 c #Conflicts: 1982000 | #Constraints: 45506 957.88/960.95 c #Conflicts: 1983000 | #Constraints: 46511 957.88/960.95 c #Conflicts: 1984000 | #Constraints: 47513 957.88/960.95 c #Conflicts: 1985000 | #Constraints: 48515 957.88/960.95 c #Conflicts: 1986000 | #Constraints: 49518 957.88/960.95 c #Conflicts: 1987000 | #Constraints: 50519 957.88/960.95 c #Conflicts: 1988000 | #Constraints: 51522 957.88/960.95 c #Conflicts: 1989000 | #Constraints: 52526 957.88/960.95 c #Conflicts: 1990000 | #Constraints: 53527 957.88/960.95 c #Conflicts: 1991000 | #Constraints: 54531 957.88/960.95 c #Conflicts: 1992000 | #Constraints: 55532 957.88/960.95 c #Conflicts: 1993000 | #Constraints: 56535 957.88/960.95 c INPROCESSING 957.88/960.95 c GARBAGE COLLECT 957.88/960.95 c rational objective 46.3636 958.38/961.47 c #Conflicts: 1994000 | #Constraints: 29461 958.38/961.47 c cpu time 942.146 s 958.38/961.47 c deterministic time 147450968077 1.47e+11 958.38/961.47 c optimization time 0.000194 s 958.38/961.47 c total solve time 942.143 s 958.38/961.47 c core-guided solve time 0 s 958.38/961.47 c propagation time 790.687 s 958.38/961.47 c conflict analysis time 124.09 s 958.38/961.47 c propagations 103732159 958.38/961.47 c resolve steps 43634703 958.38/961.47 c decisions 3300775 958.38/961.47 c conflicts 1994404 958.38/961.47 c restarts 3904 958.38/961.47 c inprocessing phases 132 958.38/961.47 c input clauses 313 958.38/961.47 c input cardinalities 2 958.38/961.47 c input general constraints 242 958.38/961.47 c input average constraint length 5.24 958.38/961.47 c input average constraint degree 2.36 958.38/961.47 c learned clauses 1585918 958.38/961.47 c learned cardinalities 23976 958.38/961.47 c learned general constraints 390278 958.38/961.47 c learned average constraint length 173.87 958.38/961.47 c learned average constraint degree 30869051.22 958.38/961.47 c watched constraints 390278 958.38/961.47 c counting constraints 242 958.38/961.47 c gcd simplifications 343597 958.38/961.47 c detected cardinalities 3791 958.38/961.47 c weakened non-implied lits 40597870 958.38/961.47 c weakened non-implying lits 966408 958.38/961.47 c original variables 370 958.38/961.47 c clausal propagations 27790556 958.38/961.47 c cardinality propagations 6102143 958.38/961.47 c watched propagations 14555643 958.38/961.47 c counting propagations 51575962 958.38/961.47 c watch lookups 8389534368 958.38/961.47 c watch backjump lookups 276308590 958.38/961.47 c watch checks 136057577775 958.38/961.47 c propagation checks 1430098811 958.38/961.47 c constraint additions 1079361367 958.38/961.47 c trail pops 109021570 958.38/961.47 c formula constraints 557 958.38/961.47 c learned constraints 1988636 958.38/961.47 c bound constraints 0 958.38/961.47 c core-guided constraints 0 958.38/961.47 c encountered formula constraints 38091913 958.38/961.47 c encountered learned constraints 7512332 958.38/961.47 c encountered bound constraints 0 958.38/961.47 c encountered core-guided constraints 0 958.38/961.47 c LP total time 41.2769 s 958.38/961.47 c LP solve time 29.92 s 958.38/961.47 c LP constraints added 558 958.38/961.47 c LP constraints removed 1 958.38/961.47 c LP pivots internal 1994419 958.38/961.47 c LP pivots root 38242 958.38/961.47 c LP calls 25266 958.38/961.47 c LP optimalities 19498 958.38/961.47 c LP no pivot count 13 958.38/961.47 c LP infeasibilities 5768 958.38/961.47 c LP valid Farkas constraints 5768 958.38/961.47 c LP learned Farkas constraints 5768 958.38/961.47 c LP basis resets 0 958.38/961.47 c LP cycling count 0 958.38/961.47 c LP singular count 0 958.38/961.47 c LP no primal count 0 958.38/961.47 c LP no farkas count 0 958.38/961.47 c LP other issue count 0 958.38/961.47 c LP Gomory cuts 0 958.38/961.47 c LP learned cuts 1 958.38/961.47 c LP deleted cuts 1 958.38/961.47 c LP encountered Gomory constraints 0 958.38/961.47 c LP encountered Farkas constraints 12622 958.38/961.47 c LP encountered learned Farkas constraints 6472 958.38/961.47 c CG auxiliary variables introduced 0 958.38/961.47 c CG solutions found 0 958.38/961.47 c CG cores constructed 0 958.38/961.47 c CG core cardinality constraints returned 0 958.38/961.47 c CG unit cores 0 958.38/961.47 c CG single cores 0 958.38/961.47 c CG blocks removed during cardinality reduction 0 958.38/961.47 c CG first core best 0 958.38/961.47 c CG decision core best 0 958.38/961.47 c CG core reduction tie 0 958.38/961.47 c CG core degree average 0.00 958.38/961.47 c CG core slack average 0.00 958.38/961.47 s SATISFIABLE 958.38/961.47 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: 64096 MiB (60737 MiB free)
memory of node 1: 64473 MiB (61805 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460570-1722064952/watcher-4460570-1722064952 -o /tmp/evaluation-result-4460570-1722064952/solver-4460570-1722064952 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302423 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460570-1722064952 --lp-cut-gomory=0 HOME/instance-4460570-1722064952.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
Current StackSize limit: 8192 KiB
solver pid=302888, runsolver pid=302885
[startup+0.1001 s]*
/proc/loadavg: 3.61 1.43 0.58 5/249 302889
/proc/meminfo: memFree=125479392/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=38688 memory=11080 CPUtime=0.1 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 588 0 0 0 10 0 0 0 20 0 1 0 42484444 39616512 2770 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 9672 2770 1862 992 0 1530 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38688 KiB
Current children cumulated memory: 11080 KiB
[startup+0.213188 s]*
/proc/loadavg: 3.61 1.43 0.58 5/249 302889
/proc/meminfo: memFree=125477864/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=38896 memory=11256 CPUtime=0.22 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 646 0 0 0 21 1 0 0 20 0 1 0 42484444 39829504 2814 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 9724 2814 1862 992 0 1582 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 11256 KiB
[startup+0.313042 s]*
/proc/loadavg: 3.61 1.43 0.58 5/249 302889
/proc/meminfo: memFree=125476452/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=39120 memory=11508 CPUtime=0.31 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 686 0 0 0 30 1 0 0 20 0 1 0 42484444 40058880 2877 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 9780 2877 1862 992 0 1638 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39120 KiB
Current children cumulated memory: 11508 KiB
[startup+0.700331 s]
/proc/loadavg: 3.61 1.43 0.58 5/249 302889
/proc/meminfo: memFree=125473188/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=39424 memory=13732 CPUtime=0.68 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 765 0 0 0 66 2 0 0 20 0 1 0 42484444 40370176 3433 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 9856 3433 1862 992 0 1714 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39424 KiB
Current children cumulated memory: 13732 KiB
[startup+1.50031 s]
/proc/loadavg: 3.72 1.49 0.60 5/249 302889
/proc/meminfo: memFree=125462584/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=40036 memory=14536 CPUtime=1.49 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 930 0 0 0 143 6 0 0 20 0 1 0 42484444 40996864 3634 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 10009 3634 1862 992 0 1867 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40036 KiB
Current children cumulated memory: 14536 KiB
[startup+3.11288 s]
/proc/loadavg: 3.72 1.49 0.60 5/249 302890
/proc/meminfo: memFree=125435764/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=40836 memory=15480 CPUtime=3.09 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 1171 0 0 0 297 12 0 0 20 0 1 0 42484444 41816064 3870 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 10209 3870 1862 992 0 2067 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40836 KiB
Current children cumulated memory: 15480 KiB
[startup+6.30031 s]
/proc/loadavg: 3.74 1.53 0.62 5/249 302890
/proc/meminfo: memFree=125403540/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=44256 memory=17236 CPUtime=6.27 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 1625 0 0 0 603 24 0 0 20 0 1 0 42484444 45318144 4309 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 11064 4309 1862 992 0 2922 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44256 KiB
Current children cumulated memory: 17236 KiB
[startup+12.7003 s]
/proc/loadavg: 3.76 1.57 0.64 5/249 302892
/proc/meminfo: memFree=125349348/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=50112 memory=20332 CPUtime=12.66 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 2522 0 0 0 1221 45 0 0 20 0 1 0 42484444 51314688 5083 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 12528 5083 1862 992 0 4386 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50112 KiB
Current children cumulated memory: 20332 KiB
[startup+25.5003 s]
/proc/loadavg: 3.80 1.65 0.67 5/249 302894
/proc/meminfo: memFree=125234208/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=51328 memory=24836 CPUtime=25.42 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 3418 0 0 0 2460 82 0 0 20 0 1 0 42484444 52559872 6209 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 12832 6209 1862 992 0 4690 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 51328 KiB
Current children cumulated memory: 24836 KiB
[startup+51.1131 s]
/proc/loadavg: 3.95 1.89 0.79 5/249 302897
/proc/meminfo: memFree=125065644/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=61180 memory=28960 CPUtime=50.97 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 4780 0 0 0 4942 155 0 0 20 0 1 0 42484444 62648320 7240 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 15295 7240 1862 992 0 7153 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 61180 KiB
Current children cumulated memory: 28960 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 2.24 0.96 5/250 302909
/proc/meminfo: memFree=124725396/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=63248 memory=35552 CPUtime=101.99 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 6546 0 0 0 9920 279 0 0 20 0 1 0 42484444 64765952 8888 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 15812 8888 1862 992 0 7670 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 63248 KiB
Current children cumulated memory: 35552 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 2.61 1.17 5/248 303301
/proc/meminfo: memFree=124379796/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=76976 memory=40156 CPUtime=161.79 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 8513 0 0 0 15773 406 0 0 20 0 1 0 42484444 78823424 10039 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 19244 10039 1862 992 0 11102 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 76976 KiB
Current children cumulated memory: 40156 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 2.89 1.36 5/246 303311
/proc/meminfo: memFree=123960184/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=79728 memory=45148 CPUtime=221.58 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 10299 0 0 0 21628 530 0 0 20 0 1 0 42484444 81641472 11287 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 19932 11287 1862 992 0 11790 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 79728 KiB
Current children cumulated memory: 45148 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.13 1.54 5/246 303322
/proc/meminfo: memFree=123615752/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=82048 memory=49560 CPUtime=281.37 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 11526 0 0 0 27490 647 0 0 20 0 1 0 42484444 84017152 12390 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 20512 12390 1862 992 0 12370 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 82048 KiB
Current children cumulated memory: 49560 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 3.34 1.71 5/248 303502
/proc/meminfo: memFree=123307512/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=82960 memory=52616 CPUtime=341.16 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 12322 0 0 0 33364 752 0 0 20 0 1 0 42484444 84951040 13154 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 20740 13154 1862 992 0 12598 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 82960 KiB
Current children cumulated memory: 52616 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.49 1.87 5/248 303512
/proc/meminfo: memFree=122822808/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=83984 memory=55644 CPUtime=400.94 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 13133 0 0 0 39258 836 0 0 20 0 1 0 42484444 85999616 13911 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 20996 13911 1862 992 0 12854 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 83984 KiB
Current children cumulated memory: 55644 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 3.63 2.02 6/247 303579
/proc/meminfo: memFree=122521032/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=84760 memory=56548 CPUtime=460.74 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 14020 0 0 0 45149 925 0 0 20 0 1 0 42484444 86794240 14137 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 21190 14137 1862 992 0 13048 0
################
# More data... #
################
/proc/loadavg: 4.09 3.80 2.28 5/246 303600
/proc/meminfo: memFree=121928644/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=103744 memory=61620 CPUtime=580.32 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 16273 0 0 0 56916 1116 0 0 20 0 1 0 42484444 106233856 15405 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 25936 15405 1862 992 0 17794 0
Current children cumulated CPU time: 580.32 s
Current children cumulated vsize: 103744 KiB
Current children cumulated memory: 61620 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 3.86 2.40 5/246 303610
/proc/meminfo: memFree=121667924/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=104260 memory=62084 CPUtime=640.16 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 17266 0 0 0 62811 1205 0 0 20 0 1 0 42484444 106762240 15521 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26065 15521 1862 992 0 17923 0
Current children cumulated CPU time: 640.16 s
Current children cumulated vsize: 104260 KiB
Current children cumulated memory: 62084 KiB
[startup+702.3 s]
/proc/loadavg: 4.14 3.92 2.52 5/245 303621
/proc/meminfo: memFree=121419324/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=104496 memory=64376 CPUtime=699.99 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 18038 0 0 0 68709 1290 0 0 20 0 1 0 42484444 107003904 16094 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26124 16094 1862 992 0 17982 0
Current children cumulated CPU time: 699.99 s
Current children cumulated vsize: 104496 KiB
Current children cumulated memory: 64376 KiB
[startup+762.3 s]
/proc/loadavg: 4.14 3.97 2.62 5/240 303659
/proc/meminfo: memFree=121154048/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=105912 memory=65752 CPUtime=759.83 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 19099 0 0 0 74620 1363 0 0 20 0 1 0 42484444 108453888 16438 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26478 16438 1862 992 0 18336 0
Current children cumulated CPU time: 759.83 s
Current children cumulated vsize: 105912 KiB
Current children cumulated memory: 65752 KiB
[startup+822.3 s]
/proc/loadavg: 4.49 4.07 2.74 5/251 303694
/proc/meminfo: memFree=121531676/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=106048 memory=67940 CPUtime=819.66 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 19684 0 0 0 80520 1446 0 0 20 0 1 0 42484444 108593152 16985 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26512 16985 1862 992 0 18370 0
Current children cumulated CPU time: 819.66 s
Current children cumulated vsize: 106048 KiB
Current children cumulated memory: 67940 KiB
[startup+882.3 s]
/proc/loadavg: 5.42 4.43 2.95 5/251 303705
/proc/meminfo: memFree=121271896/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=106716 memory=68572 CPUtime=879.49 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 20507 0 0 0 86421 1528 0 0 20 0 1 0 42484444 109277184 17143 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26679 17143 1862 992 0 18537 0
Current children cumulated CPU time: 879.49 s
Current children cumulated vsize: 106716 KiB
Current children cumulated memory: 68572 KiB
[startup+942.3 s]
/proc/loadavg: 4.67 4.39 3.03 5/251 303715
/proc/meminfo: memFree=121030380/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=107728 memory=71480 CPUtime=939.33 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 21281 0 0 0 92326 1607 0 0 20 0 1 0 42484444 110313472 17870 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26932 17870 1862 992 0 18790 0
Current children cumulated CPU time: 939.33 s
Current children cumulated vsize: 107728 KiB
Current children cumulated memory: 71480 KiB
[startup+961.572 s]
# the end of solver process 302888 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=942.148 s, system=16.3205 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.62 4.38 3.04 5/251 303715
/proc/meminfo: memFree=121010308/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=107860 memory=71616 CPUtime=944.22 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 21492 0 0 0 92806 1616 0 0 20 0 1 0 42484444 110448640 17904 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26965 17904 1862 992 0 18823 0
Current children cumulated CPU time: 944.22 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 71616 KiB
[startup+953.6 s]
/proc/loadavg: 4.73 4.41 3.05 5/251 303718
/proc/meminfo: memFree=120978036/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=107860 memory=71616 CPUtime=950.6 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 21492 0 0 0 93437 1623 0 0 20 0 1 0 42484444 110448640 17904 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26965 17904 1862 992 0 18823 0
Current children cumulated CPU time: 950.6 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 71616 KiB
[startup+956.8 s]
/proc/loadavg: 4.67 4.40 3.06 5/251 303718
/proc/meminfo: memFree=120960120/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=107860 memory=71616 CPUtime=953.79 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 21492 0 0 0 93753 1626 0 0 20 0 1 0 42484444 110448640 17904 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26965 17904 1862 992 0 18823 0
Current children cumulated CPU time: 953.79 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 71616 KiB
[startup+960 s]*
/proc/loadavg: 4.67 4.40 3.06 5/251 303718
/proc/meminfo: memFree=120938636/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=107860 memory=71616 CPUtime=957 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 21492 0 0 0 94070 1630 0 0 20 0 1 0 42484444 110448640 17904 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26965 17904 1862 992 0 18823 0
Current children cumulated CPU time: 957 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 71616 KiB
[startup+960.8 s]
/proc/loadavg: 4.67 4.40 3.06 5/251 303718
/proc/meminfo: memFree=120938636/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=107860 memory=71616 CPUtime=957.78 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 21492 0 0 0 94148 1630 0 0 20 0 1 0 42484444 110448640 17904 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26965 17904 1862 992 0 18823 0
Current children cumulated CPU time: 957.78 s
Current children cumulated vsize: 107860 KiB
Current children cumulated memory: 71616 KiB
[startup+961.2 s]
/proc/loadavg: 4.61 4.40 3.07 5/251 303718
/proc/meminfo: memFree=120929200/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=107876 memory=71632 CPUtime=958.18 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 21643 0 0 0 94187 1631 0 0 20 0 1 0 42484444 110465024 17908 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26969 17908 1862 992 0 18827 0
Current children cumulated CPU time: 958.18 s
Current children cumulated vsize: 107876 KiB
Current children cumulated memory: 71632 KiB
[startup+961.4 s]
/proc/loadavg: 4.61 4.40 3.07 5/251 303718
/proc/meminfo: memFree=120929200/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=107876 memory=71632 CPUtime=958.38 cores=5,7
/proc/302888/stat : 302888 (roundingsat) R 302885 302888 302410 0 -1 4194304 21643 0 0 0 94207 1631 0 0 20 0 1 0 42484444 110465024 17908 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26969 17908 1862 992 0 18827 0
Current children cumulated CPU time: 958.38 s
Current children cumulated vsize: 107876 KiB
Current children cumulated memory: 71632 KiB
[startup+961.5 s]
/proc/loadavg: 4.61 4.40 3.07 5/251 303718
/proc/meminfo: memFree=120929200/131655788 swapFree=131056320/131071996
[pid=302888] ppid=302885 vsize=107876 memory=71632 CPUtime=958.45 cores=5,7
/proc/302888/stat : 302888 (roundingsat) D 302885 302888 302410 0 -1 4194304 21643 0 0 0 94214 1631 0 0 20 0 1 0 42484444 110465024 17908 134679101440 4194304 8254357 140720504293984 0 0 0 0 0 25182210 0 0 0 17 5 0 0 1 0 0 9037040 9046032 17969152 140720504296283 140720504296545 140720504296545 140720504303561 0
/proc/302888/statm: 26969 17908 1862 992 0 18827 0
Current children cumulated CPU time: 958.45 s
Current children cumulated vsize: 107876 KiB
Current children cumulated memory: 71632 KiB
Child status: 0
Real time (s): 961.572
CPU time (s): 958.469
CPU user time (s): 942.148
CPU system time (s): 16.3205
CPU usage (%): 99.6773
Max. virtual memory (cumulated for all children) (KiB): 107876
Max. memory (cumulated for all children) (KiB): 71632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 942.148
system time used= 16.3205
maximum resident set size= 72268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21651
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= 30
involuntary context switches= 1305
# summary of solver processes directly reported to runsolver:
# pid: 302888
# total CPU time (s): 958.469
# total CPU user time (s): 942.148
# total CPU system time (s): 16.3205
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6798 second user time and 9.34056 second system time
The end
Begin job on nodeC006 at 2024-07-27 09:22:32 IDJOB=4460570 IDBENCH=147867 IDSOLVER=3086 FILE ID=nodeC006/4460570-1722064952 RUNJOBID= nodeC006-1722064837-302423 SLURM_JOB_ID= 8248108 Free space on /tmp= 723764 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-4460570-1722064952/watcher-4460570-1722064952 -o /tmp/evaluation-result-4460570-1722064952/solver-4460570-1722064952 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722064837-302423 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460570-1722064952 --lp-cut-gomory=0 HOME/instance-4460570-1722064952.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 577423e4c806b19b8b5f6a5daee1c614 RANDOM SEED=72731767 nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3671.175 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3562.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.283 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.157 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.664 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.564 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.242 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.06 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.100 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125485128 kB MemAvailable: 129402208 kB Buffers: 375976 kB Cached: 4162220 kB SwapCached: 244 kB Active: 2101172 kB Inactive: 3142812 kB Active(anon): 1744 kB Inactive(anon): 757584 kB Active(file): 2099428 kB Inactive(file): 2385228 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131056320 kB Dirty: 203528 kB Writeback: 12 kB AnonPages: 705724 kB Mapped: 102632 kB Shmem: 53436 kB KReclaimable: 494332 kB Slab: 612124 kB SReclaimable: 494332 kB SUnreclaim: 117792 kB KernelStack: 4000 kB PageTables: 10708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1223132 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16576 kB HardwareCorrupted: 0 kB AnonHugePages: 245760 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: 420680 kB DirectMap2M: 57155584 kB DirectMap1G: 78643200 kB Free space on /tmp at the end= 723756 MiB End job on nodeC006 at 2024-07-27 09:38:33