| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | SAT (TO) | 199 | 3600.02 | 3614.29 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb |
| MD5SUM | 15e811bd466a2fe28afb8f0d217d004b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 183 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 476 |
| Total number of constraints | 476 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 476 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 476 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 476 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 476 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.01 c RoundingSat 2 0.00/0.01 c branch 0.00/0.01 c commit 0.00/0.02 c #variables 476 #constraints 476 0.50/0.57 c bounds - >= 0 @ 0.00726 0.50/0.57 c bounds 231 >= 0 @ 0.389301 0.50/0.57 c bounds 231 >= 1 @ 0.389912 0.50/0.57 c bounds 231 >= 2 @ 0.390461 0.50/0.57 c bounds 231 >= 3 @ 0.390948 0.50/0.57 c bounds 231 >= 4 @ 0.391443 0.50/0.57 c bounds 231 >= 5 @ 0.391927 0.50/0.57 c bounds 231 >= 6 @ 0.392406 0.50/0.57 c bounds 231 >= 7 @ 0.392945 0.50/0.57 c bounds 231 >= 8 @ 0.393499 0.50/0.57 c bounds 231 >= 9 @ 0.394021 0.50/0.57 c bounds 231 >= 10 @ 0.394074 0.50/0.57 c bounds 231 >= 11 @ 0.394074 0.50/0.57 c bounds 231 >= 12 @ 0.39459 0.50/0.57 c bounds 231 >= 13 @ 0.395091 0.50/0.57 c bounds 231 >= 14 @ 0.39562 0.50/0.57 c bounds 231 >= 15 @ 0.396149 0.50/0.57 c bounds 231 >= 16 @ 0.396686 0.50/0.57 c bounds 231 >= 17 @ 0.397216 0.50/0.57 c bounds 231 >= 18 @ 0.397759 0.50/0.57 c bounds 231 >= 19 @ 0.398308 0.50/0.57 c bounds 231 >= 20 @ 0.398868 0.50/0.57 c bounds 231 >= 21 @ 0.399437 0.50/0.57 c bounds 231 >= 22 @ 0.400023 0.50/0.57 c bounds 231 >= 23 @ 0.400653 0.50/0.57 c bounds 231 >= 24 @ 0.401295 0.50/0.57 c bounds 231 >= 25 @ 0.401933 0.50/0.57 c bounds 231 >= 26 @ 0.402031 0.50/0.57 c bounds 231 >= 27 @ 0.402285 0.50/0.57 c bounds 231 >= 28 @ 0.402889 0.50/0.57 c bounds 231 >= 29 @ 0.403522 0.50/0.57 c bounds 231 >= 30 @ 0.404172 0.50/0.57 c bounds 231 >= 31 @ 0.40481 0.50/0.57 c bounds 230 >= 31 @ 0.405994 0.50/0.57 c bounds 230 >= 32 @ 0.406211 0.50/0.57 c bounds 230 >= 33 @ 0.406827 0.50/0.57 c bounds 230 >= 34 @ 0.407014 0.50/0.57 c bounds 230 >= 35 @ 0.407246 0.50/0.57 c bounds 230 >= 36 @ 0.407996 0.50/0.57 c bounds 230 >= 37 @ 0.408698 0.50/0.57 c bounds 230 >= 38 @ 0.409391 0.50/0.57 c bounds 230 >= 39 @ 0.410044 0.50/0.57 c bounds 230 >= 40 @ 0.410701 0.50/0.57 c bounds 230 >= 41 @ 0.41136 0.50/0.57 c bounds 230 >= 42 @ 0.412025 0.50/0.57 c bounds 230 >= 43 @ 0.412672 0.50/0.57 c bounds 230 >= 44 @ 0.413335 0.50/0.57 c bounds 230 >= 45 @ 0.413991 0.50/0.57 c bounds 230 >= 46 @ 0.414645 0.50/0.57 c bounds 230 >= 47 @ 0.415314 0.50/0.57 c bounds 230 >= 48 @ 0.415953 0.50/0.57 c bounds 230 >= 49 @ 0.416624 0.50/0.57 c bounds 230 >= 50 @ 0.417286 0.50/0.57 c bounds 230 >= 51 @ 0.417948 0.50/0.57 c bounds 230 >= 52 @ 0.41861 0.50/0.57 c bounds 230 >= 53 @ 0.419268 0.50/0.57 c bounds 230 >= 54 @ 0.419921 0.50/0.57 c bounds 230 >= 55 @ 0.420572 0.50/0.57 c bounds 230 >= 56 @ 0.421229 0.50/0.57 c bounds 230 >= 57 @ 0.421919 0.50/0.57 c bounds 230 >= 58 @ 0.422588 0.50/0.57 c bounds 230 >= 59 @ 0.423302 0.50/0.57 c bounds 230 >= 60 @ 0.423964 0.50/0.57 c bounds 230 >= 61 @ 0.424647 0.50/0.57 c bounds 229 >= 61 @ 0.425641 0.50/0.57 c bounds 229 >= 62 @ 0.426338 0.50/0.57 c bounds 229 >= 63 @ 0.427083 0.50/0.57 c bounds 229 >= 64 @ 0.427785 0.50/0.57 c bounds 229 >= 65 @ 0.427905 0.50/0.57 c bounds 229 >= 66 @ 0.428233 0.50/0.57 c bounds 229 >= 67 @ 0.428847 0.50/0.57 c bounds 229 >= 68 @ 0.429523 0.50/0.57 c bounds 229 >= 69 @ 0.430206 0.50/0.57 c bounds 229 >= 70 @ 0.430903 0.50/0.57 c bounds 229 >= 71 @ 0.431607 0.50/0.57 c bounds 229 >= 72 @ 0.432309 0.50/0.57 c bounds 229 >= 73 @ 0.432985 0.50/0.57 c bounds 229 >= 74 @ 0.433675 0.50/0.57 c bounds 229 >= 75 @ 0.433875 0.50/0.57 c bounds 229 >= 76 @ 0.434169 0.50/0.57 c bounds 229 >= 77 @ 0.434809 0.50/0.57 c bounds 229 >= 78 @ 0.434871 0.50/0.57 c bounds 229 >= 79 @ 0.43526 0.50/0.57 c bounds 229 >= 80 @ 0.435977 0.50/0.57 c bounds 229 >= 81 @ 0.436667 0.50/0.57 c bounds 229 >= 82 @ 0.436861 0.50/0.57 c bounds 229 >= 83 @ 0.437145 0.50/0.57 c bounds 229 >= 84 @ 0.437839 0.50/0.57 c bounds 228 >= 84 @ 0.439113 0.50/0.57 c bounds 228 >= 85 @ 0.439879 0.50/0.57 c bounds 228 >= 86 @ 0.44062 0.50/0.57 c bounds 228 >= 87 @ 0.441355 0.50/0.57 c bounds 228 >= 88 @ 0.442145 0.50/0.57 c bounds 228 >= 89 @ 0.442879 0.50/0.57 c bounds 228 >= 90 @ 0.44361 0.50/0.57 c bounds 228 >= 91 @ 0.44431 0.50/0.57 c bounds 228 >= 92 @ 0.445017 0.50/0.57 c bounds 228 >= 93 @ 0.445725 0.50/0.57 c bounds 228 >= 94 @ 0.446472 0.50/0.57 c bounds 228 >= 95 @ 0.447222 0.50/0.57 c bounds 228 >= 96 @ 0.447958 0.50/0.57 c bounds 228 >= 97 @ 0.448724 0.50/0.57 c bounds 228 >= 98 @ 0.449512 0.50/0.57 c bounds 227 >= 98 @ 0.45217 0.50/0.57 c bounds 227 >= 99 @ 0.453025 0.50/0.57 c bounds 227 >= 100 @ 0.453845 0.50/0.57 c bounds 227 >= 101 @ 0.454597 0.50/0.57 c bounds 227 >= 102 @ 0.455354 0.50/0.57 c bounds 227 >= 103 @ 0.456121 0.50/0.57 c bounds 227 >= 104 @ 0.45689 0.50/0.57 c bounds 227 >= 105 @ 0.45765 0.50/0.57 c bounds 227 >= 106 @ 0.458402 0.50/0.57 c bounds 227 >= 107 @ 0.458559 0.50/0.57 c bounds 227 >= 108 @ 0.458959 0.50/0.57 c bounds 227 >= 109 @ 0.459718 0.50/0.57 c bounds 227 >= 110 @ 0.460488 0.50/0.57 c bounds 227 >= 111 @ 0.460546 0.50/0.57 c bounds 227 >= 112 @ 0.46117 0.50/0.57 c bounds 227 >= 113 @ 0.462017 0.50/0.57 c bounds 227 >= 114 @ 0.462823 0.50/0.57 c bounds 227 >= 115 @ 0.463657 0.50/0.57 c bounds 227 >= 116 @ 0.46451 0.50/0.57 c bounds 227 >= 117 @ 0.465389 0.50/0.57 c bounds 227 >= 118 @ 0.465518 0.50/0.57 c bounds 227 >= 119 @ 0.465518 0.50/0.57 c bounds 227 >= 120 @ 0.465933 0.50/0.57 c bounds 227 >= 121 @ 0.466828 0.50/0.57 c bounds 227 >= 122 @ 0.467632 0.50/0.57 c bounds 227 >= 123 @ 0.468434 0.50/0.57 c bounds 227 >= 124 @ 0.468503 0.50/0.57 c bounds 227 >= 125 @ 0.469041 0.50/0.57 c bounds 227 >= 126 @ 0.469932 0.50/0.57 c bounds 227 >= 127 @ 0.470729 0.50/0.57 c bounds 227 >= 128 @ 0.471277 0.50/0.57 c bounds 227 >= 129 @ 0.471716 0.50/0.57 c bounds 227 >= 130 @ 0.472397 0.50/0.57 c bounds 226 >= 130 @ 0.495569 1.67/1.73 c bounds 226 >= 131 @ 0.496526 1.67/1.73 c bounds 226 >= 132 @ 0.497662 1.67/1.73 c bounds 226 >= 133 @ 0.498834 1.67/1.73 c bounds 226 >= 134 @ 0.500188 1.67/1.73 c bounds 226 >= 135 @ 0.501575 1.67/1.73 c bounds 226 >= 136 @ 0.503877 1.67/1.73 c bounds 226 >= 137 @ 0.509567 1.67/1.73 c bounds 226 >= 138 @ 0.514258 1.67/1.73 c bounds 226 >= 139 @ 0.519991 1.67/1.73 c bounds 226 >= 140 @ 0.56601 1.67/1.73 c bounds 225 >= 140 @ 0.578546 1.67/1.73 c bounds 224 >= 140 @ 0.598253 1.67/1.73 c bounds 223 >= 140 @ 0.60518 1.67/1.73 c #Conflicts: 1000 | #Constraints: 2171 1.67/1.73 c bounds 222 >= 140 @ 1.13021 1.67/1.73 c #Conflicts: 2000 | #Constraints: 3172 1.67/1.73 c INPROCESSING 1.67/1.73 c GARBAGE COLLECT 1.67/1.73 c rational objective 143.945 2.56/2.65 c bounds 222 >= 141 @ 1.63713 2.56/2.65 c bounds 222 >= 142 @ 1.78449 2.56/2.65 c #Conflicts: 3000 | #Constraints: 3153 2.56/2.65 c bounds 222 >= 143 @ 2.06392 2.56/2.65 c bounds 221 >= 143 @ 2.07626 2.56/2.65 c bounds 220 >= 143 @ 2.08479 2.56/2.65 c bounds 219 >= 143 @ 2.09014 2.56/2.65 c #Conflicts: 4000 | #Constraints: 4201 2.56/2.65 c INPROCESSING 2.56/2.65 c GARBAGE COLLECT 2.56/2.65 c rational objective 143.945 3.56/3.61 c bounds 218 >= 143 @ 2.45968 3.56/3.61 c bounds 217 >= 143 @ 2.46334 3.56/3.61 c bounds 216 >= 143 @ 2.47464 3.56/3.61 c bounds 215 >= 143 @ 2.60115 3.56/3.61 c #Conflicts: 5000 | #Constraints: 3596 3.56/3.61 c bounds 214 >= 143 @ 2.67886 3.56/3.61 c bounds 213 >= 143 @ 2.73032 3.56/3.61 c #Conflicts: 6000 | #Constraints: 4598 3.56/3.61 c INPROCESSING 3.56/3.61 c GARBAGE COLLECT 3.56/3.61 c rational objective 143.945 4.26/4.38 c bounds 212 >= 143 @ 3.36347 4.26/4.38 c #Conflicts: 7000 | #Constraints: 3658 4.26/4.38 c #Conflicts: 8000 | #Constraints: 4658 4.26/4.38 c bounds 211 >= 143 @ 3.60991 4.26/4.38 c #Conflicts: 9000 | #Constraints: 5659 4.26/4.38 c INPROCESSING 4.26/4.38 c GARBAGE COLLECT 4.26/4.38 c rational objective 143.945 5.35/5.41 c #Conflicts: 10000 | #Constraints: 4331 5.35/5.41 c bounds 211 >= 144 @ 4.68613 5.35/5.41 c #Conflicts: 11000 | #Constraints: 5370 5.35/5.41 c bounds 210 >= 144 @ 4.96361 5.35/5.41 c #Conflicts: 12000 | #Constraints: 6371 5.35/5.41 c INPROCESSING 5.35/5.41 c GARBAGE COLLECT 5.35/5.41 c rational objective 144 6.45/6.57 c #Conflicts: 13000 | #Constraints: 4801 6.45/6.57 c bounds 209 >= 144 @ 5.39965 6.45/6.57 c #Conflicts: 14000 | #Constraints: 5802 6.45/6.57 c bounds 208 >= 144 @ 5.65495 6.45/6.57 c #Conflicts: 15000 | #Constraints: 6803 6.45/6.57 c INPROCESSING 6.45/6.57 c GARBAGE COLLECT 6.45/6.57 c rational objective 144 7.55/7.63 c #Conflicts: 16000 | #Constraints: 5079 7.55/7.63 c bounds 207 >= 144 @ 6.57835 7.55/7.63 c bounds 206 >= 144 @ 6.67095 7.55/7.63 c #Conflicts: 17000 | #Constraints: 6081 7.55/7.63 c #Conflicts: 18000 | #Constraints: 7081 7.55/7.63 c INPROCESSING 7.55/7.63 c GARBAGE COLLECT 7.55/7.63 c rational objective 144 9.24/9.39 c #Conflicts: 19000 | #Constraints: 5057 9.24/9.39 c #Conflicts: 20000 | #Constraints: 6057 9.24/9.39 c #Conflicts: 21000 | #Constraints: 7057 9.24/9.39 c INPROCESSING 9.24/9.39 c GARBAGE COLLECT 9.24/9.39 c rational objective 144 17.61/17.76 c #Conflicts: 22000 | #Constraints: 4918 17.61/17.76 c bounds 205 >= 144 @ 9.23235 17.61/17.76 c #Conflicts: 23000 | #Constraints: 5919 17.61/17.76 c bounds 204 >= 144 @ 9.44847 17.61/17.76 c #Conflicts: 24000 | #Constraints: 6920 17.61/17.76 c #Conflicts: 25000 | #Constraints: 7920 17.61/17.76 c bounds 203 >= 144 @ 10.0627 17.61/17.76 c bounds 202 >= 144 @ 10.1916 17.61/17.76 c #Conflicts: 26000 | #Constraints: 8922 17.61/17.76 c #Conflicts: 27000 | #Constraints: 9922 17.61/17.76 c #Conflicts: 28000 | #Constraints: 10922 17.61/17.76 c #Conflicts: 29000 | #Constraints: 11922 17.61/17.76 c #Conflicts: 30000 | #Constraints: 12922 17.61/17.76 c #Conflicts: 31000 | #Constraints: 13922 17.61/17.76 c #Conflicts: 32000 | #Constraints: 14922 17.61/17.76 c bounds 201 >= 144 @ 15.1037 17.61/17.76 c #Conflicts: 33000 | #Constraints: 15923 17.61/17.76 c INPROCESSING 17.61/17.76 c GARBAGE COLLECT 17.61/17.76 c rational objective 144 22.79/22.95 c #Conflicts: 34000 | #Constraints: 9494 22.79/22.95 c #Conflicts: 35000 | #Constraints: 10494 22.79/22.95 c #Conflicts: 36000 | #Constraints: 11494 22.79/22.95 c bounds 201 >= 145 @ 19.99 22.79/22.95 c #Conflicts: 37000 | #Constraints: 12533 22.79/22.95 c #Conflicts: 38000 | #Constraints: 13533 22.79/22.95 c INPROCESSING 22.79/22.95 c GARBAGE COLLECT 22.79/22.95 c rational objective 145 25.38/25.51 c #Conflicts: 39000 | #Constraints: 8465 25.38/25.51 c #Conflicts: 40000 | #Constraints: 9465 25.38/25.51 c #Conflicts: 41000 | #Constraints: 10465 25.38/25.51 c #Conflicts: 42000 | #Constraints: 11465 25.38/25.51 c INPROCESSING 25.38/25.51 c GARBAGE COLLECT 25.38/25.51 c rational objective 145 29.27/29.43 c #Conflicts: 43000 | #Constraints: 6931 29.27/29.43 c #Conflicts: 44000 | #Constraints: 7931 29.27/29.43 c #Conflicts: 45000 | #Constraints: 8931 29.27/29.43 c #Conflicts: 46000 | #Constraints: 9931 29.27/29.43 c #Conflicts: 47000 | #Constraints: 10931 29.27/29.43 c #Conflicts: 48000 | #Constraints: 11931 29.27/29.43 c INPROCESSING 29.27/29.43 c GARBAGE COLLECT 29.27/29.43 c rational objective 145 54.68/54.95 c #Conflicts: 49000 | #Constraints: 7673 54.68/54.95 c #Conflicts: 50000 | #Constraints: 8673 54.68/54.95 c #Conflicts: 51000 | #Constraints: 9673 54.68/54.95 c #Conflicts: 52000 | #Constraints: 10673 54.68/54.95 c #Conflicts: 53000 | #Constraints: 11673 54.68/54.95 c #Conflicts: 54000 | #Constraints: 12673 54.68/54.95 c #Conflicts: 55000 | #Constraints: 13673 54.68/54.95 c #Conflicts: 56000 | #Constraints: 14673 54.68/54.95 c #Conflicts: 57000 | #Constraints: 15673 54.68/54.95 c #Conflicts: 58000 | #Constraints: 16673 54.68/54.95 c #Conflicts: 59000 | #Constraints: 17673 54.68/54.95 c #Conflicts: 60000 | #Constraints: 18673 54.68/54.95 c #Conflicts: 61000 | #Constraints: 19673 54.68/54.95 c #Conflicts: 62000 | #Constraints: 20673 54.68/54.95 c #Conflicts: 63000 | #Constraints: 21673 54.68/54.95 c #Conflicts: 64000 | #Constraints: 22673 54.68/54.95 c #Conflicts: 65000 | #Constraints: 23673 54.68/54.95 c INPROCESSING 54.68/54.95 c GARBAGE COLLECT 54.68/54.95 c rational objective 145 67.34/67.67 c #Conflicts: 66000 | #Constraints: 13491 67.34/67.67 c #Conflicts: 67000 | #Constraints: 14491 67.34/67.67 c #Conflicts: 68000 | #Constraints: 15491 67.34/67.67 c #Conflicts: 69000 | #Constraints: 16491 67.34/67.67 c #Conflicts: 70000 | #Constraints: 17491 67.34/67.67 c bounds 201 >= 146 @ 64.5866 67.34/67.67 c #Conflicts: 71000 | #Constraints: 18542 67.34/67.67 c INPROCESSING 67.34/67.67 c GARBAGE COLLECT 67.34/67.67 c rational objective 146 74.22/74.57 c #Conflicts: 72000 | #Constraints: 10805 74.22/74.57 c #Conflicts: 73000 | #Constraints: 11805 74.22/74.57 c #Conflicts: 74000 | #Constraints: 12805 74.22/74.57 c #Conflicts: 75000 | #Constraints: 13805 74.22/74.57 c #Conflicts: 76000 | #Constraints: 14805 74.22/74.57 c #Conflicts: 77000 | #Constraints: 15805 74.22/74.57 c #Conflicts: 78000 | #Constraints: 16805 74.22/74.57 c INPROCESSING 74.22/74.57 c GARBAGE COLLECT 74.22/74.57 c rational objective 146 106.99/107.49 c #Conflicts: 79000 | #Constraints: 10155 106.99/107.49 c #Conflicts: 80000 | #Constraints: 11155 106.99/107.49 c #Conflicts: 81000 | #Constraints: 12155 106.99/107.49 c #Conflicts: 82000 | #Constraints: 13155 106.99/107.49 c #Conflicts: 83000 | #Constraints: 14155 106.99/107.49 c #Conflicts: 84000 | #Constraints: 15155 106.99/107.49 c #Conflicts: 85000 | #Constraints: 16155 106.99/107.49 c #Conflicts: 86000 | #Constraints: 17155 106.99/107.49 c #Conflicts: 87000 | #Constraints: 18155 106.99/107.49 c #Conflicts: 88000 | #Constraints: 19155 106.99/107.49 c #Conflicts: 89000 | #Constraints: 20155 106.99/107.49 c #Conflicts: 90000 | #Constraints: 21155 106.99/107.49 c #Conflicts: 91000 | #Constraints: 22155 106.99/107.49 c #Conflicts: 92000 | #Constraints: 23155 106.99/107.49 c #Conflicts: 93000 | #Constraints: 24155 106.99/107.49 c #Conflicts: 94000 | #Constraints: 25155 106.99/107.49 c #Conflicts: 95000 | #Constraints: 26155 106.99/107.49 c #Conflicts: 96000 | #Constraints: 27155 106.99/107.49 c #Conflicts: 97000 | #Constraints: 28155 106.99/107.49 c bounds 201 >= 147 @ 103.665 106.99/107.49 c #Conflicts: 98000 | #Constraints: 29197 106.99/107.49 c #Conflicts: 99000 | #Constraints: 30197 106.99/107.49 c INPROCESSING 106.99/107.49 c GARBAGE COLLECT 106.99/107.49 c rational objective 147 115.36/115.81 c #Conflicts: 100000 | #Constraints: 16695 115.36/115.81 c #Conflicts: 101000 | #Constraints: 17695 115.36/115.81 c #Conflicts: 102000 | #Constraints: 18695 115.36/115.81 c #Conflicts: 103000 | #Constraints: 19695 115.36/115.81 c #Conflicts: 104000 | #Constraints: 20695 115.36/115.81 c #Conflicts: 105000 | #Constraints: 21695 115.36/115.81 c #Conflicts: 106000 | #Constraints: 22695 115.36/115.81 c #Conflicts: 107000 | #Constraints: 23695 115.36/115.81 c INPROCESSING 115.36/115.81 c GARBAGE COLLECT 115.36/115.81 c rational objective 147 123.43/123.92 c #Conflicts: 108000 | #Constraints: 13496 123.43/123.92 c #Conflicts: 109000 | #Constraints: 14496 123.43/123.92 c #Conflicts: 110000 | #Constraints: 15496 123.43/123.92 c #Conflicts: 111000 | #Constraints: 16496 123.43/123.92 c #Conflicts: 112000 | #Constraints: 17496 123.43/123.92 c #Conflicts: 113000 | #Constraints: 18496 123.43/123.92 c #Conflicts: 114000 | #Constraints: 19496 123.43/123.92 c #Conflicts: 115000 | #Constraints: 20496 123.43/123.92 c INPROCESSING 123.43/123.92 c GARBAGE COLLECT 123.43/123.92 c rational objective 147 174.25/175.01 c #Conflicts: 116000 | #Constraints: 11840 174.25/175.01 c #Conflicts: 117000 | #Constraints: 12840 174.25/175.01 c #Conflicts: 118000 | #Constraints: 13840 174.25/175.01 c #Conflicts: 119000 | #Constraints: 14840 174.25/175.01 c #Conflicts: 120000 | #Constraints: 15840 174.25/175.01 c #Conflicts: 121000 | #Constraints: 16840 174.25/175.01 c #Conflicts: 122000 | #Constraints: 17840 174.25/175.01 c #Conflicts: 123000 | #Constraints: 18840 174.25/175.01 c #Conflicts: 124000 | #Constraints: 19840 174.25/175.01 c #Conflicts: 125000 | #Constraints: 20840 174.25/175.01 c #Conflicts: 126000 | #Constraints: 21840 174.25/175.01 c #Conflicts: 127000 | #Constraints: 22840 174.25/175.01 c #Conflicts: 128000 | #Constraints: 23840 174.25/175.01 c #Conflicts: 129000 | #Constraints: 24840 174.25/175.01 c #Conflicts: 130000 | #Constraints: 25840 174.25/175.01 c #Conflicts: 131000 | #Constraints: 26840 174.25/175.01 c #Conflicts: 132000 | #Constraints: 27840 174.25/175.01 c #Conflicts: 133000 | #Constraints: 28840 174.25/175.01 c #Conflicts: 134000 | #Constraints: 29840 174.25/175.01 c #Conflicts: 135000 | #Constraints: 30840 174.25/175.01 c #Conflicts: 136000 | #Constraints: 31840 174.25/175.01 c #Conflicts: 137000 | #Constraints: 32840 174.25/175.01 c #Conflicts: 138000 | #Constraints: 33840 174.25/175.01 c #Conflicts: 139000 | #Constraints: 34840 174.25/175.01 c #Conflicts: 140000 | #Constraints: 35840 174.25/175.01 c INPROCESSING 174.25/175.01 c GARBAGE COLLECT 174.25/175.01 c rational objective 147 206.35/207.12 c #Conflicts: 141000 | #Constraints: 19323 206.35/207.12 c #Conflicts: 142000 | #Constraints: 20323 206.35/207.12 c #Conflicts: 143000 | #Constraints: 21323 206.35/207.12 c #Conflicts: 144000 | #Constraints: 22323 206.35/207.12 c #Conflicts: 145000 | #Constraints: 23323 206.35/207.12 c #Conflicts: 146000 | #Constraints: 24323 206.35/207.12 c #Conflicts: 147000 | #Constraints: 25323 206.35/207.12 c #Conflicts: 148000 | #Constraints: 26323 206.35/207.12 c #Conflicts: 149000 | #Constraints: 27323 206.35/207.12 c #Conflicts: 150000 | #Constraints: 28323 206.35/207.12 c INPROCESSING 206.35/207.12 c GARBAGE COLLECT 206.35/207.12 c rational objective 147 222.67/223.59 c #Conflicts: 151000 | #Constraints: 15925 222.67/223.59 c #Conflicts: 152000 | #Constraints: 16925 222.67/223.59 c #Conflicts: 153000 | #Constraints: 17925 222.67/223.59 c #Conflicts: 154000 | #Constraints: 18925 222.67/223.59 c #Conflicts: 155000 | #Constraints: 19925 222.67/223.59 c #Conflicts: 156000 | #Constraints: 20925 222.67/223.59 c #Conflicts: 157000 | #Constraints: 21925 222.67/223.59 c #Conflicts: 158000 | #Constraints: 22925 222.67/223.59 c #Conflicts: 159000 | #Constraints: 23925 222.67/223.59 c INPROCESSING 222.67/223.59 c GARBAGE COLLECT 222.67/223.59 c rational objective 147 304.08/305.29 c #Conflicts: 160000 | #Constraints: 13441 304.08/305.29 c #Conflicts: 161000 | #Constraints: 14441 304.08/305.29 c #Conflicts: 162000 | #Constraints: 15441 304.08/305.29 c #Conflicts: 163000 | #Constraints: 16441 304.08/305.29 c #Conflicts: 164000 | #Constraints: 17441 304.08/305.29 c #Conflicts: 165000 | #Constraints: 18441 304.08/305.29 c #Conflicts: 166000 | #Constraints: 19441 304.08/305.29 c #Conflicts: 167000 | #Constraints: 20441 304.08/305.29 c #Conflicts: 168000 | #Constraints: 21441 304.08/305.29 c #Conflicts: 169000 | #Constraints: 22441 304.08/305.29 c #Conflicts: 170000 | #Constraints: 23441 304.08/305.29 c #Conflicts: 171000 | #Constraints: 24441 304.08/305.29 c #Conflicts: 172000 | #Constraints: 25441 304.08/305.29 c #Conflicts: 173000 | #Constraints: 26441 304.08/305.29 c #Conflicts: 174000 | #Constraints: 27441 304.08/305.29 c #Conflicts: 175000 | #Constraints: 28441 304.08/305.29 c #Conflicts: 176000 | #Constraints: 29441 304.08/305.29 c #Conflicts: 177000 | #Constraints: 30441 304.08/305.29 c #Conflicts: 178000 | #Constraints: 31441 304.08/305.29 c #Conflicts: 179000 | #Constraints: 32441 304.08/305.29 c #Conflicts: 180000 | #Constraints: 33441 304.08/305.29 c #Conflicts: 181000 | #Constraints: 34441 304.08/305.29 c #Conflicts: 182000 | #Constraints: 35441 304.08/305.29 c #Conflicts: 183000 | #Constraints: 36441 304.08/305.29 c #Conflicts: 184000 | #Constraints: 37441 304.08/305.29 c #Conflicts: 185000 | #Constraints: 38441 304.08/305.29 c #Conflicts: 186000 | #Constraints: 39441 304.08/305.29 c #Conflicts: 187000 | #Constraints: 40441 304.08/305.29 c #Conflicts: 188000 | #Constraints: 41441 304.08/305.29 c #Conflicts: 189000 | #Constraints: 42441 304.08/305.29 c INPROCESSING 304.08/305.29 c GARBAGE COLLECT 304.08/305.29 c rational objective 147 319.23/320.48 c #Conflicts: 190000 | #Constraints: 22899 319.23/320.48 c #Conflicts: 191000 | #Constraints: 23899 319.23/320.48 c #Conflicts: 192000 | #Constraints: 24899 319.23/320.48 c #Conflicts: 193000 | #Constraints: 25899 319.23/320.48 c #Conflicts: 194000 | #Constraints: 26899 319.23/320.48 c #Conflicts: 195000 | #Constraints: 27899 319.23/320.48 c #Conflicts: 196000 | #Constraints: 28899 319.23/320.48 c #Conflicts: 197000 | #Constraints: 29899 319.23/320.48 c #Conflicts: 198000 | #Constraints: 30899 319.23/320.48 c #Conflicts: 199000 | #Constraints: 31899 319.23/320.48 c #Conflicts: 200000 | #Constraints: 32899 319.23/320.48 c INPROCESSING 319.23/320.48 c GARBAGE COLLECT 319.23/320.48 c rational objective 147 335.17/336.49 c #Conflicts: 201000 | #Constraints: 18105 335.17/336.49 c #Conflicts: 202000 | #Constraints: 19105 335.17/336.49 c #Conflicts: 203000 | #Constraints: 20105 335.17/336.49 c #Conflicts: 204000 | #Constraints: 21105 335.17/336.49 c #Conflicts: 205000 | #Constraints: 22105 335.17/336.49 c #Conflicts: 206000 | #Constraints: 23106 335.17/336.49 c #Conflicts: 207000 | #Constraints: 24106 335.17/336.49 c #Conflicts: 208000 | #Constraints: 25106 335.17/336.49 c #Conflicts: 209000 | #Constraints: 26106 335.17/336.49 c #Conflicts: 210000 | #Constraints: 27106 335.17/336.49 c #Conflicts: 211000 | #Constraints: 28106 335.17/336.49 c INPROCESSING 335.17/336.49 c GARBAGE COLLECT 335.17/336.49 c rational objective 147 417.46/419.04 c #Conflicts: 212000 | #Constraints: 15649 417.46/419.04 c #Conflicts: 213000 | #Constraints: 16649 417.46/419.04 c #Conflicts: 214000 | #Constraints: 17649 417.46/419.04 c #Conflicts: 215000 | #Constraints: 18649 417.46/419.04 c #Conflicts: 216000 | #Constraints: 19649 417.46/419.04 c #Conflicts: 217000 | #Constraints: 20649 417.46/419.04 c #Conflicts: 218000 | #Constraints: 21649 417.46/419.04 c #Conflicts: 219000 | #Constraints: 22649 417.46/419.04 c #Conflicts: 220000 | #Constraints: 23649 417.46/419.04 c #Conflicts: 221000 | #Constraints: 24649 417.46/419.04 c #Conflicts: 222000 | #Constraints: 25649 417.46/419.04 c #Conflicts: 223000 | #Constraints: 26649 417.46/419.04 c #Conflicts: 224000 | #Constraints: 27649 417.46/419.04 c #Conflicts: 225000 | #Constraints: 28649 417.46/419.04 c #Conflicts: 226000 | #Constraints: 29649 417.46/419.04 c #Conflicts: 227000 | #Constraints: 30649 417.46/419.04 c #Conflicts: 228000 | #Constraints: 31649 417.46/419.04 c #Conflicts: 229000 | #Constraints: 32649 417.46/419.04 c #Conflicts: 230000 | #Constraints: 33649 417.46/419.04 c #Conflicts: 231000 | #Constraints: 34649 417.46/419.04 c #Conflicts: 232000 | #Constraints: 35649 417.46/419.04 c #Conflicts: 233000 | #Constraints: 36649 417.46/419.04 c #Conflicts: 234000 | #Constraints: 37649 417.46/419.04 c #Conflicts: 235000 | #Constraints: 38649 417.46/419.04 c #Conflicts: 236000 | #Constraints: 39649 417.46/419.04 c #Conflicts: 237000 | #Constraints: 40649 417.46/419.04 c #Conflicts: 238000 | #Constraints: 41649 417.46/419.04 c #Conflicts: 239000 | #Constraints: 42649 417.46/419.04 c #Conflicts: 240000 | #Constraints: 43649 417.46/419.04 c #Conflicts: 241000 | #Constraints: 44649 417.46/419.04 c #Conflicts: 242000 | #Constraints: 45649 417.46/419.04 c #Conflicts: 243000 | #Constraints: 46649 417.46/419.04 c #Conflicts: 244000 | #Constraints: 47649 417.46/419.04 c #Conflicts: 245000 | #Constraints: 48649 417.46/419.04 c INPROCESSING 417.46/419.04 c GARBAGE COLLECT 417.46/419.04 c rational objective 147 476.43/478.30 c #Conflicts: 246000 | #Constraints: 26023 476.43/478.30 c #Conflicts: 247000 | #Constraints: 27023 476.43/478.30 c #Conflicts: 248000 | #Constraints: 28023 476.43/478.30 c #Conflicts: 249000 | #Constraints: 29023 476.43/478.30 c #Conflicts: 250000 | #Constraints: 30023 476.43/478.30 c #Conflicts: 251000 | #Constraints: 31023 476.43/478.30 c #Conflicts: 252000 | #Constraints: 32023 476.43/478.30 c #Conflicts: 253000 | #Constraints: 33023 476.43/478.30 c #Conflicts: 254000 | #Constraints: 34023 476.43/478.30 c #Conflicts: 255000 | #Constraints: 35023 476.43/478.30 c #Conflicts: 256000 | #Constraints: 36023 476.43/478.30 c #Conflicts: 257000 | #Constraints: 37023 476.43/478.30 c INPROCESSING 476.43/478.30 c GARBAGE COLLECT 476.43/478.30 c rational objective 147 509.71/511.65 c #Conflicts: 258000 | #Constraints: 20119 509.71/511.65 c #Conflicts: 259000 | #Constraints: 21119 509.71/511.65 c #Conflicts: 260000 | #Constraints: 22119 509.71/511.65 c #Conflicts: 261000 | #Constraints: 23119 509.71/511.65 c #Conflicts: 262000 | #Constraints: 24119 509.71/511.65 c #Conflicts: 263000 | #Constraints: 25119 509.71/511.65 c #Conflicts: 264000 | #Constraints: 26119 509.71/511.65 c #Conflicts: 265000 | #Constraints: 27119 509.71/511.65 c #Conflicts: 266000 | #Constraints: 28119 509.71/511.65 c #Conflicts: 267000 | #Constraints: 29119 509.71/511.65 c #Conflicts: 268000 | #Constraints: 30119 509.71/511.65 c #Conflicts: 269000 | #Constraints: 31119 509.71/511.65 c #Conflicts: 270000 | #Constraints: 32119 509.71/511.65 c INPROCESSING 509.71/511.65 c GARBAGE COLLECT 509.71/511.65 c rational objective 147 648.78/651.25 c #Conflicts: 271000 | #Constraints: 17855 648.78/651.25 c #Conflicts: 272000 | #Constraints: 18855 648.78/651.25 c #Conflicts: 273000 | #Constraints: 19855 648.78/651.25 c #Conflicts: 274000 | #Constraints: 20855 648.78/651.25 c #Conflicts: 275000 | #Constraints: 21855 648.78/651.25 c #Conflicts: 276000 | #Constraints: 22855 648.78/651.25 c #Conflicts: 277000 | #Constraints: 23855 648.78/651.25 c #Conflicts: 278000 | #Constraints: 24855 648.78/651.25 c #Conflicts: 279000 | #Constraints: 25855 648.78/651.25 c #Conflicts: 280000 | #Constraints: 26855 648.78/651.25 c #Conflicts: 281000 | #Constraints: 27855 648.78/651.25 c #Conflicts: 282000 | #Constraints: 28855 648.78/651.25 c #Conflicts: 283000 | #Constraints: 29855 648.78/651.25 c #Conflicts: 284000 | #Constraints: 30855 648.78/651.25 c #Conflicts: 285000 | #Constraints: 31855 648.78/651.25 c #Conflicts: 286000 | #Constraints: 32855 648.78/651.25 c #Conflicts: 287000 | #Constraints: 33855 648.78/651.25 c #Conflicts: 288000 | #Constraints: 34855 648.78/651.25 c #Conflicts: 289000 | #Constraints: 35855 648.78/651.25 c #Conflicts: 290000 | #Constraints: 36855 648.78/651.25 c #Conflicts: 291000 | #Constraints: 37855 648.78/651.25 c #Conflicts: 292000 | #Constraints: 38855 648.78/651.25 c #Conflicts: 293000 | #Constraints: 39855 648.78/651.25 c #Conflicts: 294000 | #Constraints: 40855 648.78/651.25 c #Conflicts: 295000 | #Constraints: 41855 648.78/651.25 c #Conflicts: 296000 | #Constraints: 42855 648.78/651.25 c #Conflicts: 297000 | #Constraints: 43855 648.78/651.25 c #Conflicts: 298000 | #Constraints: 44855 648.78/651.25 c #Conflicts: 299000 | #Constraints: 45855 648.78/651.25 c #Conflicts: 300000 | #Constraints: 46855 648.78/651.25 c #Conflicts: 301000 | #Constraints: 47855 648.78/651.25 c #Conflicts: 302000 | #Constraints: 48855 648.78/651.25 c #Conflicts: 303000 | #Constraints: 49855 648.78/651.25 c #Conflicts: 304000 | #Constraints: 50855 648.78/651.25 c #Conflicts: 305000 | #Constraints: 51855 648.78/651.25 c bounds 201 >= 148 @ 637.63 648.78/651.25 c #Conflicts: 306000 | #Constraints: 52900 648.78/651.25 c #Conflicts: 307000 | #Constraints: 53900 648.78/651.25 c #Conflicts: 308000 | #Constraints: 54900 648.78/651.25 c INPROCESSING 648.78/651.25 c GARBAGE COLLECT 648.78/651.25 c rational objective 148 681.86/684.46 c #Conflicts: 309000 | #Constraints: 29160 681.86/684.46 c #Conflicts: 310000 | #Constraints: 30160 681.86/684.46 c #Conflicts: 311000 | #Constraints: 31160 681.86/684.46 c #Conflicts: 312000 | #Constraints: 32160 681.86/684.46 c #Conflicts: 313000 | #Constraints: 33160 681.86/684.46 c #Conflicts: 314000 | #Constraints: 34160 681.86/684.46 c #Conflicts: 315000 | #Constraints: 35160 681.86/684.46 c #Conflicts: 316000 | #Constraints: 36160 681.86/684.46 c #Conflicts: 317000 | #Constraints: 37160 681.86/684.46 c #Conflicts: 318000 | #Constraints: 38160 681.86/684.46 c #Conflicts: 319000 | #Constraints: 39160 681.86/684.46 c #Conflicts: 320000 | #Constraints: 40160 681.86/684.46 c #Conflicts: 321000 | #Constraints: 41160 681.86/684.46 c INPROCESSING 681.86/684.46 c GARBAGE COLLECT 681.86/684.46 c rational objective 148 721.32/724.01 c #Conflicts: 322000 | #Constraints: 21856 721.32/724.01 c #Conflicts: 323000 | #Constraints: 22856 721.32/724.01 c #Conflicts: 324000 | #Constraints: 23856 721.32/724.01 c #Conflicts: 325000 | #Constraints: 24856 721.32/724.01 c #Conflicts: 326000 | #Constraints: 25856 721.32/724.01 c #Conflicts: 327000 | #Constraints: 26856 721.32/724.01 c #Conflicts: 328000 | #Constraints: 27856 721.32/724.01 c #Conflicts: 329000 | #Constraints: 28856 721.32/724.01 c #Conflicts: 330000 | #Constraints: 29856 721.32/724.01 c #Conflicts: 331000 | #Constraints: 30856 721.32/724.01 c #Conflicts: 332000 | #Constraints: 31856 721.32/724.01 c #Conflicts: 333000 | #Constraints: 32856 721.32/724.01 c #Conflicts: 334000 | #Constraints: 33856 721.32/724.01 c #Conflicts: 335000 | #Constraints: 34856 721.32/724.01 c #Conflicts: 336000 | #Constraints: 35856 721.32/724.01 c INPROCESSING 721.32/724.01 c GARBAGE COLLECT 721.32/724.01 c rational objective 148 899.02/902.49 c #Conflicts: 337000 | #Constraints: 19659 899.02/902.49 c #Conflicts: 338000 | #Constraints: 20659 899.02/902.49 c #Conflicts: 339000 | #Constraints: 21659 899.02/902.49 c #Conflicts: 340000 | #Constraints: 22660 899.02/902.49 c #Conflicts: 341000 | #Constraints: 23660 899.02/902.49 c #Conflicts: 342000 | #Constraints: 24660 899.02/902.49 c #Conflicts: 343000 | #Constraints: 25660 899.02/902.49 c #Conflicts: 344000 | #Constraints: 26660 899.02/902.49 c #Conflicts: 345000 | #Constraints: 27660 899.02/902.49 c #Conflicts: 346000 | #Constraints: 28660 899.02/902.49 c #Conflicts: 347000 | #Constraints: 29660 899.02/902.49 c #Conflicts: 348000 | #Constraints: 30660 899.02/902.49 c #Conflicts: 349000 | #Constraints: 31660 899.02/902.49 c #Conflicts: 350000 | #Constraints: 32660 899.02/902.49 c #Conflicts: 351000 | #Constraints: 33660 899.02/902.49 c #Conflicts: 352000 | #Constraints: 34660 899.02/902.49 c #Conflicts: 353000 | #Constraints: 35660 899.02/902.49 c #Conflicts: 354000 | #Constraints: 36660 899.02/902.49 c #Conflicts: 355000 | #Constraints: 37660 899.02/902.49 c #Conflicts: 356000 | #Constraints: 38660 899.02/902.49 c #Conflicts: 357000 | #Constraints: 39660 899.02/902.49 c #Conflicts: 358000 | #Constraints: 40660 899.02/902.49 c #Conflicts: 359000 | #Constraints: 41660 899.02/902.49 c #Conflicts: 360000 | #Constraints: 42660 899.02/902.49 c #Conflicts: 361000 | #Constraints: 43660 899.02/902.49 c #Conflicts: 362000 | #Constraints: 44660 899.02/902.49 c #Conflicts: 363000 | #Constraints: 45660 899.02/902.49 c #Conflicts: 364000 | #Constraints: 46660 899.02/902.49 c #Conflicts: 365000 | #Constraints: 47660 899.02/902.49 c #Conflicts: 366000 | #Constraints: 48660 899.02/902.49 c #Conflicts: 367000 | #Constraints: 49660 899.02/902.49 c #Conflicts: 368000 | #Constraints: 50660 899.02/902.49 c #Conflicts: 369000 | #Constraints: 51660 899.02/902.49 c #Conflicts: 370000 | #Constraints: 52660 899.02/902.49 c #Conflicts: 371000 | #Constraints: 53660 899.02/902.49 c #Conflicts: 372000 | #Constraints: 54660 899.02/902.49 c #Conflicts: 373000 | #Constraints: 55660 899.02/902.49 c #Conflicts: 374000 | #Constraints: 56660 899.02/902.49 c #Conflicts: 375000 | #Constraints: 57660 899.02/902.49 c #Conflicts: 376000 | #Constraints: 58660 899.02/902.49 c #Conflicts: 377000 | #Constraints: 59660 899.02/902.49 c #Conflicts: 378000 | #Constraints: 60660 899.02/902.49 c INPROCESSING 899.02/902.49 c GARBAGE COLLECT 899.02/902.49 c rational objective 148 1000.75/1004.58 c #Conflicts: 379000 | #Constraints: 31960 1000.75/1004.58 c #Conflicts: 380000 | #Constraints: 32960 1000.75/1004.58 c #Conflicts: 381000 | #Constraints: 33960 1000.75/1004.58 c #Conflicts: 382000 | #Constraints: 34960 1000.75/1004.58 c #Conflicts: 383000 | #Constraints: 35960 1000.75/1004.58 c #Conflicts: 384000 | #Constraints: 36960 1000.75/1004.58 c #Conflicts: 385000 | #Constraints: 37960 1000.75/1004.58 c #Conflicts: 386000 | #Constraints: 38960 1000.75/1004.58 c #Conflicts: 387000 | #Constraints: 39960 1000.75/1004.58 c #Conflicts: 388000 | #Constraints: 40960 1000.75/1004.58 c #Conflicts: 389000 | #Constraints: 41960 1000.75/1004.58 c #Conflicts: 390000 | #Constraints: 42960 1000.75/1004.58 c #Conflicts: 391000 | #Constraints: 43960 1000.75/1004.58 c #Conflicts: 392000 | #Constraints: 44960 1000.75/1004.58 c #Conflicts: 393000 | #Constraints: 45960 1000.75/1004.58 c INPROCESSING 1000.75/1004.58 c GARBAGE COLLECT 1000.75/1004.58 c rational objective 148 1047.87/1051.84 c #Conflicts: 394000 | #Constraints: 24501 1047.87/1051.84 c #Conflicts: 395000 | #Constraints: 25501 1047.87/1051.84 c #Conflicts: 396000 | #Constraints: 26501 1047.87/1051.84 c #Conflicts: 397000 | #Constraints: 27501 1047.87/1051.84 c #Conflicts: 398000 | #Constraints: 28501 1047.87/1051.84 c #Conflicts: 399000 | #Constraints: 29501 1047.87/1051.84 c #Conflicts: 400000 | #Constraints: 30501 1047.87/1051.84 c #Conflicts: 401000 | #Constraints: 31501 1047.87/1051.84 c #Conflicts: 402000 | #Constraints: 32501 1047.87/1051.84 c #Conflicts: 403000 | #Constraints: 33501 1047.87/1051.84 c #Conflicts: 404000 | #Constraints: 34501 1047.87/1051.84 c #Conflicts: 405000 | #Constraints: 35501 1047.87/1051.84 c #Conflicts: 406000 | #Constraints: 36501 1047.87/1051.84 c #Conflicts: 407000 | #Constraints: 37501 1047.87/1051.84 c #Conflicts: 408000 | #Constraints: 38501 1047.87/1051.84 c #Conflicts: 409000 | #Constraints: 39501 1047.87/1051.84 c INPROCESSING 1047.87/1051.84 c GARBAGE COLLECT 1047.87/1051.84 c rational objective 148 1258.98/1263.74 c #Conflicts: 410000 | #Constraints: 22587 1258.98/1263.74 c #Conflicts: 411000 | #Constraints: 23587 1258.98/1263.74 c #Conflicts: 412000 | #Constraints: 24587 1258.98/1263.74 c #Conflicts: 413000 | #Constraints: 25587 1258.98/1263.74 c #Conflicts: 414000 | #Constraints: 26587 1258.98/1263.74 c #Conflicts: 415000 | #Constraints: 27587 1258.98/1263.74 c #Conflicts: 416000 | #Constraints: 28587 1258.98/1263.74 c #Conflicts: 417000 | #Constraints: 29587 1258.98/1263.74 c #Conflicts: 418000 | #Constraints: 30587 1258.98/1263.74 c #Conflicts: 419000 | #Constraints: 31587 1258.98/1263.74 c #Conflicts: 420000 | #Constraints: 32587 1258.98/1263.74 c #Conflicts: 421000 | #Constraints: 33587 1258.98/1263.74 c #Conflicts: 422000 | #Constraints: 34587 1258.98/1263.74 c #Conflicts: 423000 | #Constraints: 35587 1258.98/1263.74 c #Conflicts: 424000 | #Constraints: 36587 1258.98/1263.74 c #Conflicts: 425000 | #Constraints: 37587 1258.98/1263.74 c #Conflicts: 426000 | #Constraints: 38587 1258.98/1263.74 c #Conflicts: 427000 | #Constraints: 39587 1258.98/1263.74 c #Conflicts: 428000 | #Constraints: 40587 1258.98/1263.74 c #Conflicts: 429000 | #Constraints: 41587 1258.98/1263.74 c #Conflicts: 430000 | #Constraints: 42587 1258.98/1263.74 c #Conflicts: 431000 | #Constraints: 43587 1258.98/1263.74 c #Conflicts: 432000 | #Constraints: 44587 1258.98/1263.74 c #Conflicts: 433000 | #Constraints: 45587 1258.98/1263.74 c #Conflicts: 434000 | #Constraints: 46587 1258.98/1263.74 c #Conflicts: 435000 | #Constraints: 47587 1258.98/1263.74 c #Conflicts: 436000 | #Constraints: 48587 1258.98/1263.74 c #Conflicts: 437000 | #Constraints: 49587 1258.98/1263.74 c #Conflicts: 438000 | #Constraints: 50587 1258.98/1263.74 c #Conflicts: 439000 | #Constraints: 51587 1258.98/1263.74 c #Conflicts: 440000 | #Constraints: 52587 1258.98/1263.74 c #Conflicts: 441000 | #Constraints: 53587 1258.98/1263.74 c #Conflicts: 442000 | #Constraints: 54587 1258.98/1263.74 c #Conflicts: 443000 | #Constraints: 55587 1258.98/1263.74 c #Conflicts: 444000 | #Constraints: 56587 1258.98/1263.74 c #Conflicts: 445000 | #Constraints: 57587 1258.98/1263.74 c #Conflicts: 446000 | #Constraints: 58587 1258.98/1263.74 c #Conflicts: 447000 | #Constraints: 59587 1258.98/1263.74 c #Conflicts: 448000 | #Constraints: 60587 1258.98/1263.74 c #Conflicts: 449000 | #Constraints: 61587 1258.98/1263.74 c #Conflicts: 450000 | #Constraints: 62587 1258.98/1263.74 c #Conflicts: 451000 | #Constraints: 63587 1258.98/1263.74 c #Conflicts: 452000 | #Constraints: 64587 1258.98/1263.74 c #Conflicts: 453000 | #Constraints: 65587 1258.98/1263.74 c #Conflicts: 454000 | #Constraints: 66587 1258.98/1263.74 c #Conflicts: 455000 | #Constraints: 67587 1258.98/1263.74 c INPROCESSING 1258.98/1263.74 c GARBAGE COLLECT 1258.98/1263.74 c rational objective 148 1297.95/1302.82 c #Conflicts: 456000 | #Constraints: 35308 1297.95/1302.82 c #Conflicts: 457000 | #Constraints: 36308 1297.95/1302.82 c #Conflicts: 458000 | #Constraints: 37308 1297.95/1302.82 c #Conflicts: 459000 | #Constraints: 38308 1297.95/1302.82 c #Conflicts: 460000 | #Constraints: 39308 1297.95/1302.82 c #Conflicts: 461000 | #Constraints: 40308 1297.95/1302.82 c #Conflicts: 462000 | #Constraints: 41308 1297.95/1302.82 c #Conflicts: 463000 | #Constraints: 42308 1297.95/1302.82 c #Conflicts: 464000 | #Constraints: 43308 1297.95/1302.82 c #Conflicts: 465000 | #Constraints: 44308 1297.95/1302.82 c #Conflicts: 466000 | #Constraints: 45308 1297.95/1302.82 c #Conflicts: 467000 | #Constraints: 46308 1297.95/1302.82 c #Conflicts: 468000 | #Constraints: 47308 1297.95/1302.82 c #Conflicts: 469000 | #Constraints: 48308 1297.95/1302.82 c #Conflicts: 470000 | #Constraints: 49308 1297.95/1302.82 c #Conflicts: 471000 | #Constraints: 50308 1297.95/1302.82 c #Conflicts: 472000 | #Constraints: 51308 1297.95/1302.82 c INPROCESSING 1297.95/1302.82 c GARBAGE COLLECT 1297.95/1302.82 c rational objective 148 1555.00/1560.75 c #Conflicts: 473000 | #Constraints: 27131 1555.00/1560.75 c #Conflicts: 474000 | #Constraints: 28131 1555.00/1560.75 c #Conflicts: 475000 | #Constraints: 29131 1555.00/1560.75 c #Conflicts: 476000 | #Constraints: 30131 1555.00/1560.75 c #Conflicts: 477000 | #Constraints: 31131 1555.00/1560.75 c #Conflicts: 478000 | #Constraints: 32131 1555.00/1560.75 c #Conflicts: 479000 | #Constraints: 33131 1555.00/1560.75 c #Conflicts: 480000 | #Constraints: 34131 1555.00/1560.75 c #Conflicts: 481000 | #Constraints: 35131 1555.00/1560.75 c #Conflicts: 482000 | #Constraints: 36131 1555.00/1560.75 c #Conflicts: 483000 | #Constraints: 37131 1555.00/1560.75 c #Conflicts: 484000 | #Constraints: 38131 1555.00/1560.75 c #Conflicts: 485000 | #Constraints: 39131 1555.00/1560.75 c #Conflicts: 486000 | #Constraints: 40131 1555.00/1560.75 c #Conflicts: 487000 | #Constraints: 41131 1555.00/1560.75 c #Conflicts: 488000 | #Constraints: 42131 1555.00/1560.75 c #Conflicts: 489000 | #Constraints: 43131 1555.00/1560.75 c #Conflicts: 490000 | #Constraints: 44131 1555.00/1560.75 c #Conflicts: 491000 | #Constraints: 45131 1555.00/1560.75 c #Conflicts: 492000 | #Constraints: 46131 1555.00/1560.75 c #Conflicts: 493000 | #Constraints: 47131 1555.00/1560.75 c #Conflicts: 494000 | #Constraints: 48131 1555.00/1560.75 c #Conflicts: 495000 | #Constraints: 49131 1555.00/1560.75 c #Conflicts: 496000 | #Constraints: 50131 1555.00/1560.75 c #Conflicts: 497000 | #Constraints: 51131 1555.00/1560.75 c #Conflicts: 498000 | #Constraints: 52131 1555.00/1560.75 c #Conflicts: 499000 | #Constraints: 53131 1555.00/1560.75 c #Conflicts: 500000 | #Constraints: 54131 1555.00/1560.75 c #Conflicts: 501000 | #Constraints: 55131 1555.00/1560.75 c #Conflicts: 502000 | #Constraints: 56131 1555.00/1560.75 c #Conflicts: 503000 | #Constraints: 57131 1555.00/1560.75 c #Conflicts: 504000 | #Constraints: 58131 1555.00/1560.75 c #Conflicts: 505000 | #Constraints: 59131 1555.00/1560.75 c #Conflicts: 506000 | #Constraints: 60131 1555.00/1560.75 c #Conflicts: 507000 | #Constraints: 61131 1555.00/1560.75 c #Conflicts: 508000 | #Constraints: 62131 1555.00/1560.75 c #Conflicts: 509000 | #Constraints: 63131 1555.00/1560.75 c #Conflicts: 510000 | #Constraints: 64131 1555.00/1560.75 c #Conflicts: 511000 | #Constraints: 65131 1555.00/1560.75 c #Conflicts: 512000 | #Constraints: 66131 1555.00/1560.75 c #Conflicts: 513000 | #Constraints: 67132 1555.00/1560.75 c #Conflicts: 514000 | #Constraints: 68132 1555.00/1560.75 c #Conflicts: 515000 | #Constraints: 69132 1555.00/1560.75 c #Conflicts: 516000 | #Constraints: 70132 1555.00/1560.75 c #Conflicts: 517000 | #Constraints: 71132 1555.00/1560.75 c #Conflicts: 518000 | #Constraints: 72132 1555.00/1560.75 c #Conflicts: 519000 | #Constraints: 73134 1555.00/1560.75 c #Conflicts: 520000 | #Constraints: 74134 1555.00/1560.75 c #Conflicts: 521000 | #Constraints: 75135 1555.00/1560.75 c #Conflicts: 522000 | #Constraints: 76135 1555.00/1560.75 c INPROCESSING 1555.00/1560.75 c GARBAGE COLLECT 1555.00/1560.75 c rational objective 148 1702.62/1708.89 c #Conflicts: 523000 | #Constraints: 39782 1702.62/1708.89 c #Conflicts: 524000 | #Constraints: 40782 1702.62/1708.89 c #Conflicts: 525000 | #Constraints: 41782 1702.62/1708.89 c #Conflicts: 526000 | #Constraints: 42782 1702.62/1708.89 c #Conflicts: 527000 | #Constraints: 43782 1702.62/1708.89 c #Conflicts: 528000 | #Constraints: 44782 1702.62/1708.89 c #Conflicts: 529000 | #Constraints: 45782 1702.62/1708.89 c #Conflicts: 530000 | #Constraints: 46782 1702.62/1708.89 c #Conflicts: 531000 | #Constraints: 47782 1702.62/1708.89 c #Conflicts: 532000 | #Constraints: 48782 1702.62/1708.89 c #Conflicts: 533000 | #Constraints: 49782 1702.62/1708.89 c #Conflicts: 534000 | #Constraints: 50782 1702.62/1708.89 c #Conflicts: 535000 | #Constraints: 51782 1702.62/1708.89 c #Conflicts: 536000 | #Constraints: 52782 1702.62/1708.89 c #Conflicts: 537000 | #Constraints: 53782 1702.62/1708.89 c #Conflicts: 538000 | #Constraints: 54782 1702.62/1708.89 c #Conflicts: 539000 | #Constraints: 55782 1702.62/1708.89 c #Conflicts: 540000 | #Constraints: 56782 1702.62/1708.89 c INPROCESSING 1702.62/1708.89 c GARBAGE COLLECT 1702.62/1708.89 c rational objective 148 1783.35/1789.89 c #Conflicts: 541000 | #Constraints: 30094 1783.35/1789.89 c #Conflicts: 542000 | #Constraints: 31094 1783.35/1789.89 c #Conflicts: 543000 | #Constraints: 32094 1783.35/1789.89 c #Conflicts: 544000 | #Constraints: 33094 1783.35/1789.89 c #Conflicts: 545000 | #Constraints: 34094 1783.35/1789.89 c #Conflicts: 546000 | #Constraints: 35094 1783.35/1789.89 c #Conflicts: 547000 | #Constraints: 36094 1783.35/1789.89 c #Conflicts: 548000 | #Constraints: 37094 1783.35/1789.89 c #Conflicts: 549000 | #Constraints: 38094 1783.35/1789.89 c #Conflicts: 550000 | #Constraints: 39094 1783.35/1789.89 c #Conflicts: 551000 | #Constraints: 40094 1783.35/1789.89 c #Conflicts: 552000 | #Constraints: 41094 1783.35/1789.89 c #Conflicts: 553000 | #Constraints: 42094 1783.35/1789.89 c #Conflicts: 554000 | #Constraints: 43094 1783.35/1789.89 c #Conflicts: 555000 | #Constraints: 44094 1783.35/1789.89 c #Conflicts: 556000 | #Constraints: 45094 1783.35/1789.89 c #Conflicts: 557000 | #Constraints: 46094 1783.35/1789.89 c #Conflicts: 558000 | #Constraints: 47094 1783.35/1789.89 c INPROCESSING 1783.35/1789.89 c GARBAGE COLLECT 1783.35/1789.89 c rational objective 148 2141.95/2149.62 c #Conflicts: 559000 | #Constraints: 28953 2141.95/2149.62 c #Conflicts: 560000 | #Constraints: 29953 2141.95/2149.62 c #Conflicts: 561000 | #Constraints: 30953 2141.95/2149.62 c #Conflicts: 562000 | #Constraints: 31953 2141.95/2149.62 c #Conflicts: 563000 | #Constraints: 32953 2141.95/2149.62 c #Conflicts: 564000 | #Constraints: 33953 2141.95/2149.62 c #Conflicts: 565000 | #Constraints: 34953 2141.95/2149.62 c #Conflicts: 566000 | #Constraints: 35953 2141.95/2149.62 c #Conflicts: 567000 | #Constraints: 36953 2141.95/2149.62 c #Conflicts: 568000 | #Constraints: 37953 2141.95/2149.62 c #Conflicts: 569000 | #Constraints: 38953 2141.95/2149.62 c #Conflicts: 570000 | #Constraints: 39953 2141.95/2149.62 c #Conflicts: 571000 | #Constraints: 40953 2141.95/2149.62 c #Conflicts: 572000 | #Constraints: 41953 2141.95/2149.62 c #Conflicts: 573000 | #Constraints: 42953 2141.95/2149.62 c #Conflicts: 574000 | #Constraints: 43953 2141.95/2149.62 c #Conflicts: 575000 | #Constraints: 44953 2141.95/2149.62 c #Conflicts: 576000 | #Constraints: 45953 2141.95/2149.62 c #Conflicts: 577000 | #Constraints: 46953 2141.95/2149.62 c #Conflicts: 578000 | #Constraints: 47953 2141.95/2149.62 c #Conflicts: 579000 | #Constraints: 48953 2141.95/2149.62 c #Conflicts: 580000 | #Constraints: 49953 2141.95/2149.62 c #Conflicts: 581000 | #Constraints: 50953 2141.95/2149.62 c #Conflicts: 582000 | #Constraints: 51953 2141.95/2149.62 c #Conflicts: 583000 | #Constraints: 52953 2141.95/2149.62 c #Conflicts: 584000 | #Constraints: 53953 2141.95/2149.62 c #Conflicts: 585000 | #Constraints: 54953 2141.95/2149.62 c #Conflicts: 586000 | #Constraints: 55953 2141.95/2149.62 c #Conflicts: 587000 | #Constraints: 56953 2141.95/2149.62 c #Conflicts: 588000 | #Constraints: 57953 2141.95/2149.62 c #Conflicts: 589000 | #Constraints: 58953 2141.95/2149.62 c #Conflicts: 590000 | #Constraints: 59953 2141.95/2149.62 c #Conflicts: 591000 | #Constraints: 60953 2141.95/2149.62 c #Conflicts: 592000 | #Constraints: 61953 2141.95/2149.62 c #Conflicts: 593000 | #Constraints: 62953 2141.95/2149.62 c #Conflicts: 594000 | #Constraints: 63953 2141.95/2149.62 c #Conflicts: 595000 | #Constraints: 64953 2141.95/2149.62 c #Conflicts: 596000 | #Constraints: 65953 2141.95/2149.62 c #Conflicts: 597000 | #Constraints: 66953 2141.95/2149.62 c #Conflicts: 598000 | #Constraints: 67953 2141.95/2149.62 c #Conflicts: 599000 | #Constraints: 68953 2141.95/2149.62 c #Conflicts: 600000 | #Constraints: 69953 2141.95/2149.62 c #Conflicts: 601000 | #Constraints: 70953 2141.95/2149.62 c #Conflicts: 602000 | #Constraints: 71953 2141.95/2149.62 c #Conflicts: 603000 | #Constraints: 72953 2141.95/2149.62 c #Conflicts: 604000 | #Constraints: 73953 2141.95/2149.62 c #Conflicts: 605000 | #Constraints: 74953 2141.95/2149.62 c #Conflicts: 606000 | #Constraints: 75953 2141.95/2149.62 c #Conflicts: 607000 | #Constraints: 76953 2141.95/2149.62 c #Conflicts: 608000 | #Constraints: 77953 2141.95/2149.62 c #Conflicts: 609000 | #Constraints: 78953 2141.95/2149.62 c #Conflicts: 610000 | #Constraints: 79953 2141.95/2149.62 c #Conflicts: 611000 | #Constraints: 80953 2141.95/2149.62 c #Conflicts: 612000 | #Constraints: 81953 2141.95/2149.62 c INPROCESSING 2141.95/2149.62 c GARBAGE COLLECT 2141.95/2149.62 c rational objective 148 2214.28/2222.26 c #Conflicts: 613000 | #Constraints: 42632 2214.28/2222.26 c #Conflicts: 614000 | #Constraints: 43632 2214.28/2222.26 c #Conflicts: 615000 | #Constraints: 44632 2214.28/2222.26 c #Conflicts: 616000 | #Constraints: 45632 2214.28/2222.26 c bounds 200 >= 148 @ 2136.41 2214.28/2222.26 c #Conflicts: 617000 | #Constraints: 46633 2214.28/2222.26 c #Conflicts: 618000 | #Constraints: 47633 2214.28/2222.26 c #Conflicts: 619000 | #Constraints: 48633 2214.28/2222.26 c #Conflicts: 620000 | #Constraints: 49633 2214.28/2222.26 c #Conflicts: 621000 | #Constraints: 50633 2214.28/2222.26 c #Conflicts: 622000 | #Constraints: 51633 2214.28/2222.26 c #Conflicts: 623000 | #Constraints: 52633 2214.28/2222.26 c #Conflicts: 624000 | #Constraints: 53633 2214.28/2222.26 c #Conflicts: 625000 | #Constraints: 54633 2214.28/2222.26 c #Conflicts: 626000 | #Constraints: 55633 2214.28/2222.26 c #Conflicts: 627000 | #Constraints: 56633 2214.28/2222.26 c #Conflicts: 628000 | #Constraints: 57633 2214.28/2222.26 c #Conflicts: 629000 | #Constraints: 58633 2214.28/2222.26 c #Conflicts: 630000 | #Constraints: 59633 2214.28/2222.26 c #Conflicts: 631000 | #Constraints: 60633 2214.28/2222.26 c #Conflicts: 632000 | #Constraints: 61633 2214.28/2222.26 c INPROCESSING 2214.28/2222.26 c GARBAGE COLLECT 2214.28/2222.26 c rational objective 148 2666.10/2675.70 c #Conflicts: 633000 | #Constraints: 33474 2666.10/2675.70 c #Conflicts: 634000 | #Constraints: 34474 2666.10/2675.70 c #Conflicts: 635000 | #Constraints: 35474 2666.10/2675.70 c #Conflicts: 636000 | #Constraints: 36474 2666.10/2675.70 c #Conflicts: 637000 | #Constraints: 37474 2666.10/2675.70 c #Conflicts: 638000 | #Constraints: 38474 2666.10/2675.70 c #Conflicts: 639000 | #Constraints: 39474 2666.10/2675.70 c #Conflicts: 640000 | #Constraints: 40474 2666.10/2675.70 c #Conflicts: 641000 | #Constraints: 41474 2666.10/2675.70 c #Conflicts: 642000 | #Constraints: 42474 2666.10/2675.70 c #Conflicts: 643000 | #Constraints: 43474 2666.10/2675.70 c #Conflicts: 644000 | #Constraints: 44474 2666.10/2675.70 c #Conflicts: 645000 | #Constraints: 45474 2666.10/2675.70 c #Conflicts: 646000 | #Constraints: 46474 2666.10/2675.70 c #Conflicts: 647000 | #Constraints: 47474 2666.10/2675.70 c #Conflicts: 648000 | #Constraints: 48474 2666.10/2675.70 c #Conflicts: 649000 | #Constraints: 49474 2666.10/2675.70 c #Conflicts: 650000 | #Constraints: 50474 2666.10/2675.70 c #Conflicts: 651000 | #Constraints: 51474 2666.10/2675.70 c #Conflicts: 652000 | #Constraints: 52474 2666.10/2675.70 c #Conflicts: 653000 | #Constraints: 53474 2666.10/2675.70 c #Conflicts: 654000 | #Constraints: 54474 2666.10/2675.70 c #Conflicts: 655000 | #Constraints: 55475 2666.10/2675.70 c #Conflicts: 656000 | #Constraints: 56475 2666.10/2675.70 c #Conflicts: 657000 | #Constraints: 57475 2666.10/2675.70 c #Conflicts: 658000 | #Constraints: 58475 2666.10/2675.70 c #Conflicts: 659000 | #Constraints: 59475 2666.10/2675.70 c #Conflicts: 660000 | #Constraints: 60475 2666.10/2675.70 c #Conflicts: 661000 | #Constraints: 61475 2666.10/2675.70 c #Conflicts: 662000 | #Constraints: 62475 2666.10/2675.70 c #Conflicts: 663000 | #Constraints: 63475 2666.10/2675.70 c bounds 199 >= 148 @ 2328.77 2666.10/2675.70 c #Conflicts: 664000 | #Constraints: 64476 2666.10/2675.70 c #Conflicts: 665000 | #Constraints: 65476 2666.10/2675.70 c #Conflicts: 666000 | #Constraints: 66476 2666.10/2675.70 c #Conflicts: 667000 | #Constraints: 67476 2666.10/2675.70 c #Conflicts: 668000 | #Constraints: 68476 2666.10/2675.70 c #Conflicts: 669000 | #Constraints: 69476 2666.10/2675.70 c #Conflicts: 670000 | #Constraints: 70476 2666.10/2675.70 c #Conflicts: 671000 | #Constraints: 71476 2666.10/2675.70 c #Conflicts: 672000 | #Constraints: 72476 2666.10/2675.70 c #Conflicts: 673000 | #Constraints: 73476 2666.10/2675.70 c #Conflicts: 674000 | #Constraints: 74476 2666.10/2675.70 c #Conflicts: 675000 | #Constraints: 75476 2666.10/2675.70 c #Conflicts: 676000 | #Constraints: 76476 2666.10/2675.70 c #Conflicts: 677000 | #Constraints: 77476 2666.10/2675.70 c #Conflicts: 678000 | #Constraints: 78476 2666.10/2675.70 c #Conflicts: 679000 | #Constraints: 79476 2666.10/2675.70 c #Conflicts: 680000 | #Constraints: 80476 2666.10/2675.70 c #Conflicts: 681000 | #Constraints: 81476 2666.10/2675.70 c #Conflicts: 682000 | #Constraints: 82476 2666.10/2675.70 c #Conflicts: 683000 | #Constraints: 83476 2666.10/2675.70 c #Conflicts: 684000 | #Constraints: 84476 2666.10/2675.70 c #Conflicts: 685000 | #Constraints: 85476 2666.10/2675.70 c #Conflicts: 686000 | #Constraints: 86476 2666.10/2675.70 c #Conflicts: 687000 | #Constraints: 87476 2666.10/2675.70 c #Conflicts: 688000 | #Constraints: 88476 2666.10/2675.70 c INPROCESSING 2666.10/2675.70 c GARBAGE COLLECT 2666.10/2675.70 c rational objective 148 2754.41/2764.23 c #Conflicts: 689000 | #Constraints: 45665 2754.41/2764.23 c #Conflicts: 690000 | #Constraints: 46665 2754.41/2764.23 c #Conflicts: 691000 | #Constraints: 47665 2754.41/2764.23 c #Conflicts: 692000 | #Constraints: 48665 2754.41/2764.23 c #Conflicts: 693000 | #Constraints: 49665 2754.41/2764.23 c #Conflicts: 694000 | #Constraints: 50665 2754.41/2764.23 c #Conflicts: 695000 | #Constraints: 51665 2754.41/2764.23 c #Conflicts: 696000 | #Constraints: 52665 2754.41/2764.23 c #Conflicts: 697000 | #Constraints: 53665 2754.41/2764.23 c #Conflicts: 698000 | #Constraints: 54665 2754.41/2764.23 c #Conflicts: 699000 | #Constraints: 55665 2754.41/2764.23 c #Conflicts: 700000 | #Constraints: 56665 2754.41/2764.23 c #Conflicts: 701000 | #Constraints: 57665 2754.41/2764.23 c #Conflicts: 702000 | #Constraints: 58665 2754.41/2764.23 c #Conflicts: 703000 | #Constraints: 59666 2754.41/2764.23 c #Conflicts: 704000 | #Constraints: 60666 2754.41/2764.23 c #Conflicts: 705000 | #Constraints: 61666 2754.41/2764.23 c #Conflicts: 706000 | #Constraints: 62666 2754.41/2764.23 c #Conflicts: 707000 | #Constraints: 63666 2754.41/2764.23 c #Conflicts: 708000 | #Constraints: 64666 2754.41/2764.23 c #Conflicts: 709000 | #Constraints: 65666 2754.41/2764.23 c INPROCESSING 2754.41/2764.23 c GARBAGE COLLECT 2754.41/2764.23 c rational objective 148 3192.17/3203.59 c #Conflicts: 710000 | #Constraints: 34822 3192.17/3203.59 c #Conflicts: 711000 | #Constraints: 35822 3192.17/3203.59 c #Conflicts: 712000 | #Constraints: 36822 3192.17/3203.59 c #Conflicts: 713000 | #Constraints: 37822 3192.17/3203.59 c #Conflicts: 714000 | #Constraints: 38822 3192.17/3203.59 c #Conflicts: 715000 | #Constraints: 39822 3192.17/3203.59 c #Conflicts: 716000 | #Constraints: 40822 3192.17/3203.59 c #Conflicts: 717000 | #Constraints: 41822 3192.17/3203.59 c #Conflicts: 718000 | #Constraints: 42822 3192.17/3203.59 c #Conflicts: 719000 | #Constraints: 43822 3192.17/3203.59 c #Conflicts: 720000 | #Constraints: 44822 3192.17/3203.59 c #Conflicts: 721000 | #Constraints: 45822 3192.17/3203.59 c #Conflicts: 722000 | #Constraints: 46822 3192.17/3203.59 c #Conflicts: 723000 | #Constraints: 47822 3192.17/3203.59 c #Conflicts: 724000 | #Constraints: 48822 3192.17/3203.59 c #Conflicts: 725000 | #Constraints: 49822 3192.17/3203.59 c #Conflicts: 726000 | #Constraints: 50822 3192.17/3203.59 c #Conflicts: 727000 | #Constraints: 51822 3192.17/3203.59 c #Conflicts: 728000 | #Constraints: 52822 3192.17/3203.59 c #Conflicts: 729000 | #Constraints: 53822 3192.17/3203.59 c #Conflicts: 730000 | #Constraints: 54822 3192.17/3203.59 c #Conflicts: 731000 | #Constraints: 55822 3192.17/3203.59 c #Conflicts: 732000 | #Constraints: 56822 3192.17/3203.59 c #Conflicts: 733000 | #Constraints: 57822 3192.17/3203.59 c #Conflicts: 734000 | #Constraints: 58822 3192.17/3203.59 c #Conflicts: 735000 | #Constraints: 59822 3192.17/3203.59 c #Conflicts: 736000 | #Constraints: 60822 3192.17/3203.59 c #Conflicts: 737000 | #Constraints: 61822 3192.17/3203.59 c #Conflicts: 738000 | #Constraints: 62822 3192.17/3203.59 c #Conflicts: 739000 | #Constraints: 63822 3192.17/3203.59 c #Conflicts: 740000 | #Constraints: 64822 3192.17/3203.59 c #Conflicts: 741000 | #Constraints: 65822 3192.17/3203.59 c #Conflicts: 742000 | #Constraints: 66822 3192.17/3203.59 c #Conflicts: 743000 | #Constraints: 67822 3192.17/3203.59 c #Conflicts: 744000 | #Constraints: 68822 3192.17/3203.59 c #Conflicts: 745000 | #Constraints: 69822 3192.17/3203.59 c #Conflicts: 746000 | #Constraints: 70822 3192.17/3203.59 c #Conflicts: 747000 | #Constraints: 71822 3192.17/3203.59 c #Conflicts: 748000 | #Constraints: 72822 3192.17/3203.59 c #Conflicts: 749000 | #Constraints: 73822 3192.17/3203.59 c #Conflicts: 750000 | #Constraints: 74822 3192.17/3203.59 c #Conflicts: 751000 | #Constraints: 75822 3192.17/3203.59 c #Conflicts: 752000 | #Constraints: 76822 3192.17/3203.59 c #Conflicts: 753000 | #Constraints: 77822 3192.17/3203.59 c #Conflicts: 754000 | #Constraints: 78822 3192.17/3203.59 c #Conflicts: 755000 | #Constraints: 79822 3192.17/3203.59 c #Conflicts: 756000 | #Constraints: 80822 3192.17/3203.59 c #Conflicts: 757000 | #Constraints: 81822 3192.17/3203.59 c #Conflicts: 758000 | #Constraints: 82822 3192.17/3203.59 c #Conflicts: 759000 | #Constraints: 83822 3192.17/3203.59 c #Conflicts: 760000 | #Constraints: 84822 3192.17/3203.59 c #Conflicts: 761000 | #Constraints: 85822 3192.17/3203.59 c #Conflicts: 762000 | #Constraints: 86822 3192.17/3203.59 c #Conflicts: 763000 | #Constraints: 87822 3192.17/3203.59 c #Conflicts: 764000 | #Constraints: 88822 3192.17/3203.59 c #Conflicts: 765000 | #Constraints: 89822 3192.17/3203.59 c #Conflicts: 766000 | #Constraints: 90822 3192.17/3203.59 c #Conflicts: 767000 | #Constraints: 91822 3192.17/3203.59 c #Conflicts: 768000 | #Constraints: 92822 3192.17/3203.59 c #Conflicts: 769000 | #Constraints: 93822 3192.17/3203.59 c INPROCESSING 3192.17/3203.59 c GARBAGE COLLECT 3192.17/3203.59 c rational objective 148 3466.93/3479.47 c #Conflicts: 770000 | #Constraints: 48296 3466.93/3479.47 c #Conflicts: 771000 | #Constraints: 49296 3466.93/3479.47 c #Conflicts: 772000 | #Constraints: 50296 3466.93/3479.47 c #Conflicts: 773000 | #Constraints: 51296 3466.93/3479.47 c #Conflicts: 774000 | #Constraints: 52296 3466.93/3479.47 c #Conflicts: 775000 | #Constraints: 53296 3466.93/3479.47 c #Conflicts: 776000 | #Constraints: 54296 3466.93/3479.47 c #Conflicts: 777000 | #Constraints: 55296 3466.93/3479.47 c #Conflicts: 778000 | #Constraints: 56296 3466.93/3479.47 c #Conflicts: 779000 | #Constraints: 57296 3466.93/3479.47 c #Conflicts: 780000 | #Constraints: 58296 3466.93/3479.47 c #Conflicts: 781000 | #Constraints: 59296 3466.93/3479.47 c #Conflicts: 782000 | #Constraints: 60296 3466.93/3479.47 c #Conflicts: 783000 | #Constraints: 61296 3466.93/3479.47 c #Conflicts: 784000 | #Constraints: 62296 3466.93/3479.47 c #Conflicts: 785000 | #Constraints: 63296 3466.93/3479.47 c #Conflicts: 786000 | #Constraints: 64296 3466.93/3479.47 c #Conflicts: 787000 | #Constraints: 65296 3466.93/3479.47 c #Conflicts: 788000 | #Constraints: 66296 3466.93/3479.47 c #Conflicts: 789000 | #Constraints: 67296 3466.93/3479.47 c #Conflicts: 790000 | #Constraints: 68296 3466.93/3479.47 c #Conflicts: 791000 | #Constraints: 69296 3466.93/3479.47 c #Conflicts: 792000 | #Constraints: 70296 3466.93/3479.47 c INPROCESSING 3466.93/3479.47 c GARBAGE COLLECT 3466.93/3479.47 c rational objective 148 3600.00/3613.01 c #Conflicts: 793000 | #Constraints: 37315 3600.00/3613.01 c #Conflicts: 794000 | #Constraints: 38315 3600.00/3613.01 c #Conflicts: 795000 | #Constraints: 39315 3600.00/3613.01 c #Conflicts: 796000 | #Constraints: 40315 3600.00/3613.01 c #Conflicts: 797000 | #Constraints: 41315 3600.00/3613.01 c #Conflicts: 798000 | #Constraints: 42315 3600.00/3613.01 c #Conflicts: 799000 | #Constraints: 43315 3600.00/3613.01 c #Conflicts: 800000 | #Constraints: 44315 3600.00/3613.01 c #Conflicts: 801000 | #Constraints: 45315 3600.00/3613.01 c #Conflicts: 802000 | #Constraints: 46315 3600.00/3613.01 c #Conflicts: 803000 | #Constraints: 47315 3600.00/3613.01 c #Conflicts: 804000 | #Constraints: 48315 3600.00/3613.01 c #Conflicts: 805000 | #Constraints: 49315 3600.00/3613.01 c #Conflicts: 806000 | #Constraints: 50315 3600.00/3613.01 c #Conflicts: 807000 | #Constraints: 51315 3600.00/3613.01 c #Conflicts: 808000 | #Constraints: 52315 3600.00/3613.01 c #Conflicts: 809000 | #Constraints: 53315 3600.00/3613.01 c Program interrupted by user. 3600.00/3613.01 c cpu time 3581.99 s 3600.00/3613.01 c deterministic time 372672274830 3.73e+11 3600.00/3613.01 c optimization time 132.565 s 3600.00/3613.01 c total solve time 3449.42 s 3600.00/3613.01 c core-guided solve time 1959.07 s 3600.00/3613.01 c propagation time 3098.62 s 3600.00/3613.01 c conflict analysis time 450.485 s 3600.00/3613.01 c propagations 114255197 3600.00/3613.01 c resolve steps 7266996 3600.00/3613.01 c decisions 5157845 3600.00/3613.01 c conflicts 809744 3600.00/3613.01 c restarts 1738 3600.00/3613.01 c inprocessing phases 44 3600.00/3613.01 c input clauses 307 3600.00/3613.01 c input cardinalities 328 3600.00/3613.01 c input general constraints 903 3600.00/3613.01 c input average constraint length 63.01 3600.00/3613.01 c input average constraint degree 23.82 3600.00/3613.01 c learned clauses 310161 3600.00/3613.01 c learned cardinalities 5380 3600.00/3613.01 c learned general constraints 494222 3600.00/3613.01 c learned average constraint length 189.64 3600.00/3613.01 c learned average constraint degree 6804519.80 3600.00/3613.01 c watched constraints 344823 3600.00/3613.01 c counting constraints 150302 3600.00/3613.01 c gcd simplifications 107043 3600.00/3613.01 c detected cardinalities 2485 3600.00/3613.01 c weakened non-implied lits 38019748 3600.00/3613.01 c weakened non-implying lits 85714 3600.00/3613.01 c original variables 476 3600.00/3613.01 c clausal propagations 12549522 3600.00/3613.01 c cardinality propagations 7091191 3600.00/3613.01 c watched propagations 16839736 3600.00/3613.01 c counting propagations 75942291 3600.00/3613.01 c watch lookups 57966649277 3600.00/3613.01 c watch backjump lookups 51189641967 3600.00/3613.01 c watch checks 244431367057 3600.00/3613.01 c propagation checks 18191751935 3600.00/3613.01 c constraint additions 652385934 3600.00/3613.01 c trail pops 120222340 3600.00/3613.01 c formula constraints 476 3600.00/3613.01 c learned constraints 809747 3600.00/3613.01 c bound constraints 181 3600.00/3613.01 c core-guided constraints 881 3600.00/3613.01 c encountered formula constraints 1178314 3600.00/3613.01 c encountered learned constraints 5899956 3600.00/3613.01 c encountered bound constraints 113 3600.00/3613.01 c encountered core-guided constraints 998314 3600.00/3613.01 c LP total time 43.6056 s 3600.00/3613.01 c LP solve time 42.63 s 3600.00/3613.01 c LP constraints added 476 3600.00/3613.01 c LP constraints removed 0 3600.00/3613.01 c LP pivots internal 811288 3600.00/3613.01 c LP pivots root 31989 3600.00/3613.01 c LP calls 16545 3600.00/3613.01 c LP optimalities 16534 3600.00/3613.01 c LP no pivot count 893 3600.00/3613.01 c LP infeasibilities 8 3600.00/3613.01 c LP valid Farkas constraints 8 3600.00/3613.01 c LP learned Farkas constraints 8 3600.00/3613.01 c LP basis resets 0 3600.00/3613.01 c LP cycling count 0 3600.00/3613.01 c LP singular count 0 3600.00/3613.01 c LP no primal count 0 3600.00/3613.01 c LP no farkas count 0 3600.00/3613.01 c LP other issue count 0 3600.00/3613.01 c LP Gomory cuts 0 3600.00/3613.01 c LP learned cuts 0 3600.00/3613.01 c LP deleted cuts 0 3600.00/3613.01 c LP encountered Gomory constraints 0 3600.00/3613.01 c LP encountered Farkas constraints 13 3600.00/3613.01 c LP encountered learned Farkas constraints 22 3600.00/3613.01 c CG auxiliary variables introduced 343 3600.00/3613.01 c CG solutions found 33 3600.00/3613.01 c CG cores constructed 148 3600.00/3613.01 c CG core cardinality constraints returned 0 3600.00/3613.01 c CG unit cores 0 3600.00/3613.01 c CG single cores 148 3600.00/3613.01 c CG blocks removed during cardinality reduction 0 3600.00/3613.01 c CG first core best 0 3600.00/3613.01 c CG decision core best 0 3600.00/3613.01 c CG core reduction tie 0 3600.00/3613.01 c CG core degree average 1.00 3600.00/3613.01 c CG core slack average 4.04 3600.00/3613.01 s SATISFIABLE 3600.00/3613.01 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 x371 -x372 x373 x374 -x375 x376 x377 x378 -x379 x380 -x381 x382 x383 x384 -x385 x386 -x387 -x388 -x389 x390 x391 x392 x393 -x394 -x395 -x396 x397 -x398 x399 x400 x401 -x402 -x403 x404 -x405 -x406 x407 -x408 -x409 x410 x411 -x412 -x413 x414 -x415 x416 x417 x418 -x419 -x420 x421 x422 x423 x424 -x425 x426 -x427 -x428 x429 x430 x431 x432 -x433 x434 x435 x436 -x437 -x438 -x439 x440 x441 -x442 x443 x444 x445 x446 -x447 -x448 x449 x450 -x451 x452 x453 -x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 -x470 x471 -x472 -x473 x474 x475 x476
OK 199
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (24627 MiB free)
memory of node 1: 64510 MiB (59157 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460166-1722064838/watcher-4460166-1722064838 -o /tmp/evaluation-result-4460166-1722064838/solver-4460166-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359137 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460166-1722064838 --lp-cut-gomory=0 HOME/instance-4460166-1722064838.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=359196, runsolver pid=359184
[startup+0.100264 s]*
/proc/loadavg: 0.04 0.08 0.08 8/245 359200
/proc/meminfo: memFree=85788468/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=38872 memory=8540 CPUtime=0.1 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 613 0 0 0 9 1 0 0 20 0 1 0 42473375 39804928 2135 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 9718 2135 1766 992 0 1576 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38872 KiB
Current children cumulated memory: 8540 KiB
[startup+0.21545 s]*
/proc/loadavg: 0.04 0.08 0.08 7/245 359200
/proc/meminfo: memFree=85787108/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=38896 memory=8908 CPUtime=0.2 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 642 0 0 0 19 1 0 0 20 0 1 0 42473375 39829504 2227 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 9724 2227 1766 992 0 1582 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 8908 KiB
[startup+0.313997 s]*
/proc/loadavg: 0.04 0.08 0.08 8/245 359200
/proc/meminfo: memFree=85786608/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=38896 memory=8908 CPUtime=0.31 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 648 0 0 0 29 2 0 0 20 0 1 0 42473375 39829504 2227 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 9724 2227 1766 992 0 1582 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 8908 KiB
[startup+0.700262 s]
/proc/loadavg: 0.04 0.08 0.08 8/245 359200
/proc/meminfo: memFree=85779772/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=40124 memory=10984 CPUtime=0.68 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 1161 0 0 0 60 8 0 0 20 0 1 0 42473375 41086976 2746 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 10031 2746 1814 992 0 1889 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40124 KiB
Current children cumulated memory: 10984 KiB
[startup+1.50031 s]
/proc/loadavg: 0.04 0.08 0.08 10/245 359200
/proc/meminfo: memFree=85749880/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=45324 memory=18836 CPUtime=1.46 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 2660 0 0 0 134 12 0 0 20 0 1 0 42473375 46411776 4709 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 11331 4709 1814 992 0 3189 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 45324 KiB
Current children cumulated memory: 18836 KiB
[startup+3.11395 s]
/proc/loadavg: 0.36 0.15 0.11 9/245 359200
/proc/meminfo: memFree=85692000/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=46428 memory=20216 CPUtime=3.07 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 2986 0 0 0 288 19 0 0 20 0 1 0 42473375 47542272 5054 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 11607 5054 1877 992 0 3465 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 46428 KiB
Current children cumulated memory: 20216 KiB
[startup+6.30029 s]
/proc/loadavg: 0.36 0.15 0.11 9/250 359207
/proc/meminfo: memFree=85609852/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=52500 memory=25024 CPUtime=6.26 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 4209 0 0 0 593 33 0 0 20 0 1 0 42473375 53760000 6256 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 13125 6256 1877 992 0 4983 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52500 KiB
Current children cumulated memory: 25024 KiB
[startup+12.7003 s]
/proc/loadavg: 1.07 0.31 0.16 8/250 359207
/proc/meminfo: memFree=85458040/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=78528 memory=49240 CPUtime=12.63 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 8196 0 0 0 1208 55 0 0 20 0 1 0 42473375 80412672 12310 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 19632 12310 1877 992 0 11490 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 78528 KiB
Current children cumulated memory: 49240 KiB
[startup+25.5003 s]
/proc/loadavg: 1.52 0.43 0.20 8/250 359208
/proc/meminfo: memFree=85215700/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=100720 memory=66736 CPUtime=25.38 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 11007 0 0 0 2459 79 0 0 20 0 1 0 42473375 103137280 16684 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 25180 16684 1877 992 0 17038 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 100720 KiB
Current children cumulated memory: 66736 KiB
[startup+51.1138 s]
/proc/loadavg: 2.37 0.72 0.30 8/250 359214
/proc/meminfo: memFree=84906188/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=139696 memory=92020 CPUtime=50.91 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 15343 0 0 0 4969 122 0 0 20 0 1 0 42473375 143048704 23005 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 34924 23005 1877 992 0 26782 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 139696 KiB
Current children cumulated memory: 92020 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.30 0.53 8/250 359222
/proc/meminfo: memFree=84442816/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=142764 memory=99276 CPUtime=101.91 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 16141 0 0 0 9996 195 0 0 20 0 1 0 42473375 146190336 24819 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 35691 24819 1877 992 0 27549 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 142764 KiB
Current children cumulated memory: 99276 KiB
[startup+162.3 s]
/proc/loadavg: 3.86 1.81 0.75 7/250 359232
/proc/meminfo: memFree=84009912/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=159644 memory=119452 CPUtime=161.69 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 19830 0 0 0 15892 277 0 0 20 0 1 0 42473375 163475456 29863 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 39911 29863 1877 992 0 31769 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 159644 KiB
Current children cumulated memory: 119452 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.23 0.96 9/250 359243
/proc/meminfo: memFree=83679412/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=194240 memory=131972 CPUtime=221.48 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 21458 0 0 0 21819 329 0 0 20 0 1 0 42473375 198901760 32993 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 48560 32993 1877 992 0 40418 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 194240 KiB
Current children cumulated memory: 131972 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 2.57 1.16 8/250 359253
/proc/meminfo: memFree=83350140/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=196656 memory=133816 CPUtime=281.27 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 21969 0 0 0 27740 387 0 0 20 0 1 0 42473375 201375744 33454 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 49164 33454 1877 992 0 41022 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 196656 KiB
Current children cumulated memory: 133816 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 2.88 1.36 9/247 359646
/proc/meminfo: memFree=82938156/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=198740 memory=135684 CPUtime=341.05 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 22609 0 0 0 33652 453 0 0 20 0 1 0 42473375 203509760 33921 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 49685 33921 1877 992 0 41543 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 198740 KiB
Current children cumulated memory: 135684 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.12 1.54 9/247 359657
/proc/meminfo: memFree=82709460/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=207604 memory=156736 CPUtime=400.81 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 24396 0 0 0 39574 507 0 0 20 0 1 0 42473375 212586496 39184 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 51901 39184 1893 992 0 43759 0
Current children cumulated CPU time: 400.81 s
Current children cumulated vsize: 207604 KiB
Current children cumulated memory: 156736 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.31 1.71 8/247 359667
/proc/meminfo: memFree=82399124/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=224852 memory=190504 CPUtime=460.59 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 27195 0 0 0 45520 539 0 0 20 0 1 0 42473375 230248448 47626 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 56213 47626 1893 992 0 48071 0
################
# More data... #
################
Current children cumulated memory: 324168 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.01 9/248 360928
/proc/meminfo: memFree=76003460/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=362088 memory=326476 CPUtime=3031.61 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 48619 0 0 0 301519 1642 0 0 20 0 1 0 42473375 370778112 81619 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 90522 81619 1893 992 0 82380 0
Current children cumulated CPU time: 3031.61 s
Current children cumulated vsize: 362088 KiB
Current children cumulated memory: 326476 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.10 4.01 9/248 360941
/proc/meminfo: memFree=75893884/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=450964 memory=339436 CPUtime=3091.38 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 50944 0 0 0 307480 1658 0 0 20 0 1 0 42473375 461787136 84859 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 112741 84859 1893 992 0 104599 0
Current children cumulated CPU time: 3091.38 s
Current children cumulated vsize: 450964 KiB
Current children cumulated memory: 339436 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.12 4.02 8/248 360951
/proc/meminfo: memFree=75792548/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=478104 memory=363364 CPUtime=3151.14 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 54973 0 0 0 313441 1673 0 0 20 0 1 0 42473375 489578496 90841 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 119526 90841 1893 992 0 111384 0
Current children cumulated CPU time: 3151.14 s
Current children cumulated vsize: 478104 KiB
Current children cumulated memory: 363364 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.02 9/247 360961
/proc/meminfo: memFree=75685332/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=487984 memory=378296 CPUtime=3210.9 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 56753 0 0 0 319403 1687 0 0 20 0 1 0 42473375 499695616 94574 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 121996 94574 1893 992 0 113854 0
Current children cumulated CPU time: 3210.9 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 378296 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.02 7/247 360973
/proc/meminfo: memFree=75588032/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=487984 memory=378376 CPUtime=3270.65 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 56840 0 0 0 325359 1706 0 0 20 0 1 0 42473375 499695616 94594 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 121996 94594 1893 992 0 113854 0
Current children cumulated CPU time: 3270.65 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 378376 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.10 4.02 9/245 360983
/proc/meminfo: memFree=75481480/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=487984 memory=378376 CPUtime=3330.39 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 57014 0 0 0 331320 1719 0 0 20 0 1 0 42473375 499695616 94594 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 121996 94594 1893 992 0 113854 0
Current children cumulated CPU time: 3330.39 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 378376 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.02 8/247 360995
/proc/meminfo: memFree=75408160/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=487984 memory=378376 CPUtime=3390.14 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 57188 0 0 0 337280 1734 0 0 20 0 1 0 42473375 499695616 94594 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 121996 94594 1893 992 0 113854 0
Current children cumulated CPU time: 3390.14 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 378376 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.09 4.02 8/247 361005
/proc/meminfo: memFree=75328576/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=487984 memory=378376 CPUtime=3449.89 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 57362 0 0 0 343242 1747 0 0 20 0 1 0 42473375 499695616 94594 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 121996 94594 1893 992 0 113854 0
Current children cumulated CPU time: 3449.89 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 378376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.02 7/247 361016
/proc/meminfo: memFree=75222932/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=487984 memory=378376 CPUtime=3509.64 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 57536 0 0 0 349196 1768 0 0 20 0 1 0 42473375 499695616 94594 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 121996 94594 1893 992 0 113854 0
Current children cumulated CPU time: 3509.64 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 378376 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.11 4.03 9/247 361026
/proc/meminfo: memFree=75124112/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=487984 memory=378376 CPUtime=3569.4 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 57710 0 0 0 355149 1791 0 0 20 0 1 0 42473375 499695616 94594 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 121996 94594 1893 992 0 113854 0
Current children cumulated CPU time: 3569.4 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 378376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613 s]*
/proc/loadavg: 4.12 4.10 4.03 2/241 361061
/proc/meminfo: memFree=75458168/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=487984 memory=390980 CPUtime=3600 cores=0,2
/proc/359196/stat : 359196 (roundingsat) R 359184 359196 359127 0 -1 4194304 57806 0 0 0 358199 1801 0 0 20 0 1 0 42473375 499695616 97745 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 121996 97745 1893 992 0 113854 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 390980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.29 s]
# the end of solver process 359196 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582 s, system=18.022 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.12 4.10 4.03 2/241 361061
/proc/meminfo: memFree=75458168/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=487984 memory=390980 CPUtime=3600 cores=0,2
/proc/359196/stat : 359196 (roundingsat) D 359184 359196 359127 0 -1 4194304 57813 0 0 0 358199 1801 0 0 20 0 1 0 42473375 499695616 97745 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 121996 97745 1893 992 0 113854 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 390980 KiB
[startup+3614 s]*
/proc/loadavg: 4.12 4.10 4.03 2/237 361069
/proc/meminfo: memFree=75873164/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=487984 memory=390980 CPUtime=3600 cores=0,2
/proc/359196/stat : 359196 (roundingsat) D 359184 359196 359127 0 -1 4194304 57813 0 0 0 358199 1801 0 0 20 0 1 0 42473375 499695616 97745 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 121996 97745 1893 992 0 113854 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 390980 KiB
[startup+3614.2 s]
/proc/loadavg: 4.12 4.10 4.03 2/237 361069
/proc/meminfo: memFree=75873164/131655788 swapFree=131058856/131071996
[pid=359196] ppid=359184 vsize=487984 memory=390980 CPUtime=3600 cores=0,2
/proc/359196/stat : 359196 (roundingsat) D 359184 359196 359127 0 -1 4194304 57813 0 0 0 358199 1801 0 0 20 0 1 0 42473375 499695616 97745 134679101440 4194304 8254357 140726398667152 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 31911936 140726398673755 140726398674017 140726398674017 140726398681033 0
/proc/359196/statm: 121996 97745 1893 992 0 113854 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 487984 KiB
Current children cumulated memory: 390980 KiB
Child status: 0
Real time (s): 3614.29
CPU time (s): 3600.02
CPU user time (s): 3582
CPU system time (s): 18.022
CPU usage (%): 99.6051
Max. virtual memory (cumulated for all children) (KiB): 487984
Max. memory (cumulated for all children) (KiB): 390980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582
system time used= 18.022
maximum resident set size= 391040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57822
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4932264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 201
involuntary context switches= 25046
# summary of solver processes directly reported to runsolver:
# pid: 359196
# total CPU time (s): 3600.02
# total CPU user time (s): 3582
# total CPU system time (s): 18.022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.073 second user time and 38.6553 second system time
The end
Begin job on nodeC010 at 2024-07-27 09:20:38 IDJOB=4460166 IDBENCH=147547 IDSOLVER=3086 FILE ID=nodeC010/4460166-1722064838 RUNJOBID= nodeC010-1722064838-359137 SLURM_JOB_ID= 8248112 Free space on /tmp= 723776 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.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-4460166-1722064838/watcher-4460166-1722064838 -o /tmp/evaluation-result-4460166-1722064838/solver-4460166-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722064838-359137 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460166-1722064838 --lp-cut-gomory=0 HOME/instance-4460166-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b RANDOM SEED=1957297555 nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.211 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.61 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 : 1197.223 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.28 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.214 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.61 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.217 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.28 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 : 1197.209 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.61 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 : 1197.217 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.28 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.215 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.61 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.202 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.28 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 85798856 kB MemAvailable: 129804472 kB Buffers: 362196 kB Cached: 43969960 kB SwapCached: 192 kB Active: 2303828 kB Inactive: 42333768 kB Active(anon): 1924 kB Inactive(anon): 357040 kB Active(file): 2301904 kB Inactive(file): 41976728 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131058856 kB Dirty: 22880 kB Writeback: 0 kB AnonPages: 305384 kB Mapped: 101212 kB Shmem: 53520 kB KReclaimable: 788728 kB Slab: 910396 kB SReclaimable: 788728 kB SUnreclaim: 121668 kB KernelStack: 3696 kB PageTables: 9516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 677260 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 14784 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 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: 412488 kB DirectMap2M: 54018048 kB DirectMap1G: 81788928 kB Free space on /tmp at the end= 723752 MiB End job on nodeC010 at 2024-07-27 10:20:53