| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.09 | 3620.09 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
| MD5SUM | 79a11fcf881101c51e0b67ee01609c80 |
| 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 | 179 |
| 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 | 470 |
| Total number of constraints | 470 |
| 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 | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 470 |
| 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 | 470 |
| 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 | 470 |
| 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 470 #constraints 470 0.50/0.58 c bounds - >= 0 @ 0.00971 0.50/0.58 c bounds 224 >= 0 @ 0.386266 0.50/0.58 c bounds 224 >= 1 @ 0.386975 0.50/0.58 c bounds 224 >= 2 @ 0.387536 0.50/0.58 c bounds 224 >= 3 @ 0.38807 0.50/0.58 c bounds 224 >= 4 @ 0.388605 0.50/0.58 c bounds 224 >= 5 @ 0.389115 0.50/0.58 c bounds 224 >= 6 @ 0.389657 0.50/0.58 c bounds 224 >= 7 @ 0.390214 0.50/0.58 c bounds 224 >= 8 @ 0.390789 0.50/0.58 c bounds 224 >= 9 @ 0.391379 0.50/0.58 c bounds 224 >= 10 @ 0.391969 0.50/0.58 c bounds 224 >= 11 @ 0.392551 0.50/0.58 c bounds 224 >= 12 @ 0.393145 0.50/0.58 c bounds 224 >= 13 @ 0.393755 0.50/0.58 c bounds 224 >= 14 @ 0.3944 0.50/0.58 c bounds 224 >= 15 @ 0.395041 0.50/0.58 c bounds 224 >= 16 @ 0.395666 0.50/0.58 c bounds 224 >= 17 @ 0.396282 0.50/0.58 c bounds 224 >= 18 @ 0.396919 0.50/0.58 c bounds 224 >= 19 @ 0.396982 0.50/0.58 c bounds 224 >= 20 @ 0.397244 0.50/0.58 c bounds 224 >= 21 @ 0.397846 0.50/0.58 c bounds 224 >= 22 @ 0.397975 0.50/0.58 c bounds 224 >= 23 @ 0.398221 0.50/0.58 c bounds 224 >= 24 @ 0.398947 0.50/0.58 c bounds 224 >= 25 @ 0.399609 0.50/0.58 c bounds 224 >= 26 @ 0.400274 0.50/0.58 c bounds 224 >= 27 @ 0.40094 0.50/0.58 c bounds 224 >= 28 @ 0.401601 0.50/0.58 c bounds 224 >= 29 @ 0.402263 0.50/0.58 c bounds 223 >= 29 @ 0.454411 0.50/0.58 c bounds 223 >= 30 @ 0.454587 0.50/0.58 c bounds 223 >= 31 @ 0.454923 0.50/0.58 c bounds 223 >= 32 @ 0.455575 0.50/0.58 c bounds 223 >= 33 @ 0.45628 0.50/0.58 c bounds 223 >= 34 @ 0.45701 0.50/0.58 c bounds 223 >= 35 @ 0.457743 0.50/0.58 c bounds 223 >= 36 @ 0.458459 0.50/0.58 c bounds 223 >= 37 @ 0.458546 0.50/0.58 c bounds 223 >= 38 @ 0.45893 0.50/0.58 c bounds 223 >= 39 @ 0.459663 0.50/0.58 c bounds 223 >= 40 @ 0.460503 0.50/0.58 c bounds 223 >= 41 @ 0.461938 0.50/0.58 c bounds 223 >= 42 @ 0.462686 0.50/0.58 c bounds 223 >= 43 @ 0.463405 0.50/0.58 c bounds 223 >= 44 @ 0.464132 0.50/0.58 c bounds 223 >= 45 @ 0.464849 0.50/0.58 c bounds 223 >= 46 @ 0.465561 0.50/0.58 c bounds 223 >= 47 @ 0.466272 0.50/0.58 c bounds 223 >= 48 @ 0.466452 0.50/0.58 c bounds 223 >= 49 @ 0.466859 0.50/0.58 c bounds 223 >= 50 @ 0.467569 0.50/0.58 c bounds 223 >= 51 @ 0.468299 0.50/0.58 c bounds 223 >= 52 @ 0.4691 0.50/0.58 c bounds 223 >= 53 @ 0.469472 0.50/0.58 c bounds 223 >= 54 @ 0.46975 0.50/0.58 c bounds 223 >= 55 @ 0.470467 0.50/0.58 c bounds 223 >= 56 @ 0.470467 0.50/0.58 c bounds 223 >= 57 @ 0.471153 0.50/0.58 c bounds 223 >= 58 @ 0.471968 0.50/0.58 c bounds 223 >= 59 @ 0.472842 0.50/0.58 c bounds 223 >= 60 @ 0.473672 0.50/0.58 c bounds 223 >= 61 @ 0.474501 0.50/0.58 c bounds 223 >= 62 @ 0.475358 0.50/0.58 c bounds 223 >= 63 @ 0.475433 0.50/0.58 c bounds 223 >= 64 @ 0.475433 0.50/0.58 c bounds 223 >= 65 @ 0.475968 0.50/0.58 c bounds 223 >= 66 @ 0.476811 0.50/0.58 c bounds 223 >= 67 @ 0.47765 0.50/0.58 c bounds 223 >= 68 @ 0.47849 0.50/0.58 c bounds 223 >= 69 @ 0.479354 0.50/0.58 c bounds 223 >= 70 @ 0.479407 0.50/0.58 c bounds 223 >= 71 @ 0.479407 0.50/0.58 c bounds 223 >= 72 @ 0.479407 0.50/0.58 c bounds 223 >= 73 @ 0.479832 0.50/0.58 c bounds 223 >= 74 @ 0.480707 0.50/0.58 c bounds 223 >= 75 @ 0.481567 0.50/0.58 c bounds 223 >= 76 @ 0.482464 0.50/0.58 c bounds 223 >= 77 @ 0.483335 0.50/0.58 c bounds 223 >= 78 @ 0.484215 0.50/0.58 c bounds 223 >= 79 @ 0.484358 0.50/0.58 c bounds 223 >= 80 @ 0.484358 0.50/0.58 c bounds 223 >= 81 @ 0.484872 0.50/0.58 c bounds 223 >= 82 @ 0.485728 0.50/0.58 c bounds 223 >= 83 @ 0.486672 0.50/0.58 c bounds 223 >= 84 @ 0.487587 0.50/0.58 c bounds 223 >= 85 @ 0.488486 0.50/0.58 c bounds 223 >= 86 @ 0.489387 0.50/0.58 c bounds 223 >= 87 @ 0.490271 0.50/0.58 c bounds 223 >= 88 @ 0.490319 0.50/0.58 c bounds 223 >= 89 @ 0.490319 0.50/0.58 c bounds 223 >= 90 @ 0.490319 0.50/0.58 c bounds 223 >= 91 @ 0.490843 0.50/0.58 c bounds 223 >= 92 @ 0.491683 0.50/0.58 c bounds 223 >= 93 @ 0.492551 0.50/0.58 c bounds 223 >= 94 @ 0.493409 0.50/0.58 c bounds 223 >= 95 @ 0.49427 0.50/0.58 c bounds 223 >= 96 @ 0.495167 0.50/0.58 c bounds 223 >= 97 @ 0.495272 0.50/0.58 c bounds 223 >= 98 @ 0.495272 0.50/0.58 c bounds 223 >= 99 @ 0.495275 0.50/0.58 c bounds 223 >= 100 @ 0.495506 0.50/0.58 c bounds 223 >= 101 @ 0.496109 0.50/0.58 c bounds 223 >= 102 @ 0.496735 0.50/0.58 c bounds 223 >= 103 @ 0.497397 0.50/0.58 c bounds 223 >= 104 @ 0.498048 0.50/0.58 c bounds 223 >= 105 @ 0.498261 0.50/0.58 c bounds 223 >= 106 @ 0.498456 0.50/0.58 c bounds 223 >= 107 @ 0.499032 0.50/0.58 c bounds 223 >= 108 @ 0.499659 0.50/0.58 c bounds 223 >= 109 @ 0.500293 0.50/0.58 c bounds 223 >= 110 @ 0.500964 0.50/0.58 c bounds 223 >= 111 @ 0.501627 0.50/0.58 c bounds 223 >= 112 @ 0.502328 0.50/0.58 c bounds 223 >= 113 @ 0.503015 0.50/0.58 c bounds 223 >= 114 @ 0.50369 0.50/0.58 c bounds 223 >= 115 @ 0.504349 0.50/0.58 c bounds 223 >= 116 @ 0.505029 0.50/0.58 c bounds 223 >= 117 @ 0.505226 0.50/0.58 c bounds 223 >= 118 @ 0.50547 0.50/0.58 c bounds 223 >= 119 @ 0.506039 0.50/0.58 c bounds 223 >= 120 @ 0.506637 0.50/0.58 c bounds 223 >= 121 @ 0.507281 0.50/0.58 c bounds 223 >= 122 @ 0.507927 0.50/0.58 c bounds 223 >= 123 @ 0.508594 0.50/0.58 c bounds 223 >= 124 @ 0.509361 0.50/0.58 c bounds 223 >= 125 @ 0.510104 0.50/0.58 c bounds 223 >= 126 @ 0.510202 0.50/0.58 c bounds 223 >= 127 @ 0.510628 0.50/0.58 c bounds 223 >= 128 @ 0.511389 0.50/0.58 c bounds 223 >= 129 @ 0.512204 0.50/0.58 c bounds 223 >= 130 @ 0.512995 0.50/0.58 c bounds 223 >= 131 @ 0.513797 0.50/0.58 c bounds 223 >= 132 @ 0.514659 0.50/0.58 c bounds 223 >= 133 @ 0.51562 0.50/0.58 c bounds 223 >= 134 @ 0.516401 1.18/1.21 c bounds 223 >= 135 @ 0.517846 1.18/1.21 c bounds 223 >= 136 @ 0.519486 1.18/1.21 c bounds 223 >= 137 @ 0.520506 1.18/1.21 c bounds 223 >= 138 @ 0.522359 1.18/1.21 c bounds 223 >= 139 @ 0.524172 1.18/1.21 c bounds 223 >= 140 @ 0.525136 1.18/1.21 c bounds 223 >= 141 @ 0.526122 1.18/1.21 c bounds 223 >= 142 @ 0.533666 1.18/1.21 c bounds 222 >= 142 @ 0.553882 1.18/1.21 c bounds 222 >= 143 @ 0.55854 1.18/1.21 c bounds 222 >= 144 @ 0.572778 1.18/1.21 c bounds 221 >= 144 @ 0.577348 1.18/1.21 c bounds 220 >= 144 @ 0.58072 1.18/1.21 c bounds 219 >= 144 @ 0.584833 1.18/1.21 c #Conflicts: 1000 | #Constraints: 2183 1.18/1.21 c bounds 219 >= 145 @ 0.694749 1.18/1.21 c bounds 218 >= 145 @ 0.700545 1.18/1.21 c bounds 217 >= 145 @ 0.726811 1.18/1.21 c bounds 216 >= 145 @ 0.768065 1.18/1.21 c bounds 215 >= 145 @ 0.828236 1.18/1.21 c #Conflicts: 2000 | #Constraints: 3271 1.18/1.21 c INPROCESSING 1.18/1.21 c GARBAGE COLLECT 1.18/1.21 c rational objective 145 2.28/2.34 c #Conflicts: 3000 | #Constraints: 3130 2.28/2.34 c bounds 215 >= 146 @ 1.67222 2.28/2.34 c #Conflicts: 4000 | #Constraints: 4172 2.28/2.34 c INPROCESSING 2.28/2.34 c GARBAGE COLLECT 2.28/2.34 c rational objective 146 3.08/3.14 c #Conflicts: 5000 | #Constraints: 3580 3.08/3.14 c #Conflicts: 6000 | #Constraints: 4580 3.08/3.14 c INPROCESSING 3.08/3.14 c GARBAGE COLLECT 3.08/3.14 c rational objective 146 3.87/3.91 c #Conflicts: 7000 | #Constraints: 3634 3.87/3.91 c bounds 214 >= 146 @ 2.97844 3.87/3.91 c bounds 213 >= 146 @ 2.9856 3.87/3.91 c #Conflicts: 8000 | #Constraints: 4636 3.87/3.91 c bounds 212 >= 146 @ 3.39125 3.87/3.91 c #Conflicts: 9000 | #Constraints: 5637 3.87/3.91 c INPROCESSING 3.87/3.91 c GARBAGE COLLECT 3.87/3.91 c rational objective 146 4.87/5.01 c #Conflicts: 10000 | #Constraints: 4314 4.87/5.01 c #Conflicts: 11000 | #Constraints: 5314 4.87/5.01 c #Conflicts: 12000 | #Constraints: 6314 4.87/5.01 c INPROCESSING 4.87/5.01 c GARBAGE COLLECT 4.87/5.01 c rational objective 146 6.46/6.59 c #Conflicts: 13000 | #Constraints: 4753 6.46/6.59 c #Conflicts: 14000 | #Constraints: 5753 6.46/6.59 c bounds 212 >= 147 @ 6.058 6.46/6.59 c bounds 211 >= 147 @ 6.07126 6.46/6.59 c #Conflicts: 15000 | #Constraints: 6820 6.46/6.59 c INPROCESSING 6.46/6.59 c GARBAGE COLLECT 6.46/6.59 c rational objective 147 7.66/7.77 c #Conflicts: 16000 | #Constraints: 5042 7.66/7.77 c #Conflicts: 17000 | #Constraints: 6042 7.66/7.77 c bounds 210 >= 147 @ 6.90513 7.66/7.77 c #Conflicts: 18000 | #Constraints: 7043 7.66/7.77 c INPROCESSING 7.66/7.77 c GARBAGE COLLECT 7.66/7.77 c rational objective 147 9.35/9.47 c #Conflicts: 19000 | #Constraints: 5099 9.35/9.47 c #Conflicts: 20000 | #Constraints: 6099 9.35/9.47 c #Conflicts: 21000 | #Constraints: 7099 9.35/9.47 c INPROCESSING 9.35/9.47 c GARBAGE COLLECT 9.35/9.47 c rational objective 147 21.62/21.70 c bounds 209 >= 147 @ 9.02351 21.62/21.70 c #Conflicts: 22000 | #Constraints: 4937 21.62/21.70 c bounds 208 >= 147 @ 9.20628 21.62/21.70 c bounds 207 >= 147 @ 9.22454 21.62/21.70 c bounds 206 >= 147 @ 9.28953 21.62/21.70 c #Conflicts: 23000 | #Constraints: 5940 21.62/21.70 c bounds 205 >= 147 @ 9.62559 21.62/21.70 c #Conflicts: 24000 | #Constraints: 6941 21.62/21.70 c #Conflicts: 25000 | #Constraints: 7941 21.62/21.70 c #Conflicts: 26000 | #Constraints: 8941 21.62/21.70 c #Conflicts: 27000 | #Constraints: 9941 21.62/21.70 c #Conflicts: 28000 | #Constraints: 10941 21.62/21.70 c bounds 204 >= 147 @ 12.1539 21.62/21.70 c #Conflicts: 29000 | #Constraints: 11942 21.62/21.70 c bounds 204 >= 148 @ 13.039 21.62/21.70 c #Conflicts: 30000 | #Constraints: 12984 21.62/21.70 c #Conflicts: 31000 | #Constraints: 13984 21.62/21.70 c #Conflicts: 32000 | #Constraints: 14984 21.62/21.70 c #Conflicts: 33000 | #Constraints: 15984 21.62/21.70 c INPROCESSING 21.62/21.70 c GARBAGE COLLECT 21.62/21.70 c rational objective 148 24.12/24.20 c bounds 203 >= 148 @ 20.9422 24.12/24.20 c bounds 202 >= 148 @ 20.9447 24.12/24.20 c bounds 201 >= 148 @ 20.9754 24.12/24.20 c #Conflicts: 34000 | #Constraints: 9578 24.12/24.20 c #Conflicts: 35000 | #Constraints: 10578 24.12/24.20 c #Conflicts: 36000 | #Constraints: 11578 24.12/24.20 c #Conflicts: 37000 | #Constraints: 12578 24.12/24.20 c #Conflicts: 38000 | #Constraints: 13578 24.12/24.20 c INPROCESSING 24.12/24.20 c GARBAGE COLLECT 24.12/24.20 c rational objective 148 28.50/28.63 c #Conflicts: 39000 | #Constraints: 8448 28.50/28.63 c #Conflicts: 40000 | #Constraints: 9448 28.50/28.63 c #Conflicts: 41000 | #Constraints: 10448 28.50/28.63 c #Conflicts: 42000 | #Constraints: 11448 28.50/28.63 c INPROCESSING 28.50/28.63 c GARBAGE COLLECT 28.50/28.63 c rational objective 148 32.48/32.61 c #Conflicts: 43000 | #Constraints: 6940 32.48/32.61 c #Conflicts: 44000 | #Constraints: 7940 32.48/32.61 c #Conflicts: 45000 | #Constraints: 8940 32.48/32.61 c #Conflicts: 46000 | #Constraints: 9940 32.48/32.61 c #Conflicts: 47000 | #Constraints: 10940 32.48/32.61 c #Conflicts: 48000 | #Constraints: 11940 32.48/32.61 c INPROCESSING 32.48/32.61 c GARBAGE COLLECT 32.48/32.61 c rational objective 148 49.20/49.40 c #Conflicts: 49000 | #Constraints: 7698 49.20/49.40 c #Conflicts: 50000 | #Constraints: 8698 49.20/49.40 c #Conflicts: 51000 | #Constraints: 9698 49.20/49.40 c #Conflicts: 52000 | #Constraints: 10698 49.20/49.40 c #Conflicts: 53000 | #Constraints: 11698 49.20/49.40 c bounds 201 >= 149 @ 36.3978 49.20/49.40 c bounds 200 >= 149 @ 36.4071 49.20/49.40 c bounds 199 >= 149 @ 36.4117 49.20/49.40 c #Conflicts: 54000 | #Constraints: 12742 49.20/49.40 c bounds 198 >= 149 @ 36.547 49.20/49.40 c #Conflicts: 55000 | #Constraints: 13743 49.20/49.40 c bounds 197 >= 149 @ 37.1953 49.20/49.40 c #Conflicts: 56000 | #Constraints: 14744 49.20/49.40 c #Conflicts: 57000 | #Constraints: 15744 49.20/49.40 c bounds 196 >= 149 @ 38.0799 49.20/49.40 c bounds 195 >= 149 @ 38.2708 49.20/49.40 c #Conflicts: 58000 | #Constraints: 16746 49.20/49.40 c #Conflicts: 59000 | #Constraints: 17746 49.20/49.40 c #Conflicts: 60000 | #Constraints: 18746 49.20/49.40 c #Conflicts: 61000 | #Constraints: 19746 49.20/49.40 c #Conflicts: 62000 | #Constraints: 20746 49.20/49.40 c #Conflicts: 63000 | #Constraints: 21746 49.20/49.40 c #Conflicts: 64000 | #Constraints: 22746 49.20/49.40 c bounds 194 >= 149 @ 45.0611 49.20/49.40 c #Conflicts: 65000 | #Constraints: 23747 49.20/49.40 c INPROCESSING 49.20/49.40 c GARBAGE COLLECT 49.20/49.40 c rational objective 149 57.28/57.57 c #Conflicts: 66000 | #Constraints: 13623 57.28/57.57 c #Conflicts: 67000 | #Constraints: 14623 57.28/57.57 c #Conflicts: 68000 | #Constraints: 15623 57.28/57.57 c #Conflicts: 69000 | #Constraints: 16623 57.28/57.57 c #Conflicts: 70000 | #Constraints: 17623 57.28/57.57 c #Conflicts: 71000 | #Constraints: 18623 57.28/57.57 c INPROCESSING 57.28/57.57 c GARBAGE COLLECT 57.28/57.57 c rational objective 149 61.88/62.16 c #Conflicts: 72000 | #Constraints: 10882 61.88/62.16 c #Conflicts: 73000 | #Constraints: 11882 61.88/62.16 c #Conflicts: 74000 | #Constraints: 12882 61.88/62.16 c #Conflicts: 75000 | #Constraints: 13882 61.88/62.16 c #Conflicts: 76000 | #Constraints: 14882 61.88/62.16 c #Conflicts: 77000 | #Constraints: 15882 61.88/62.16 c #Conflicts: 78000 | #Constraints: 16882 61.88/62.16 c INPROCESSING 61.88/62.16 c GARBAGE COLLECT 61.88/62.16 c rational objective 149 92.25/92.65 c #Conflicts: 79000 | #Constraints: 10135 92.25/92.65 c #Conflicts: 80000 | #Constraints: 11135 92.25/92.65 c #Conflicts: 81000 | #Constraints: 12135 92.25/92.65 c #Conflicts: 82000 | #Constraints: 13135 92.25/92.65 c #Conflicts: 83000 | #Constraints: 14135 92.25/92.65 c #Conflicts: 84000 | #Constraints: 15135 92.25/92.65 c #Conflicts: 85000 | #Constraints: 16135 92.25/92.65 c #Conflicts: 86000 | #Constraints: 17135 92.25/92.65 c #Conflicts: 87000 | #Constraints: 18135 92.25/92.65 c #Conflicts: 88000 | #Constraints: 19135 92.25/92.65 c #Conflicts: 89000 | #Constraints: 20135 92.25/92.65 c #Conflicts: 90000 | #Constraints: 21135 92.25/92.65 c #Conflicts: 91000 | #Constraints: 22135 92.25/92.65 c #Conflicts: 92000 | #Constraints: 23135 92.25/92.65 c #Conflicts: 93000 | #Constraints: 24135 92.25/92.65 c #Conflicts: 94000 | #Constraints: 25135 92.25/92.65 c #Conflicts: 95000 | #Constraints: 26136 92.25/92.65 c #Conflicts: 96000 | #Constraints: 27136 92.25/92.65 c #Conflicts: 97000 | #Constraints: 28136 92.25/92.65 c #Conflicts: 98000 | #Constraints: 29136 92.25/92.65 c #Conflicts: 99000 | #Constraints: 30136 92.25/92.65 c INPROCESSING 92.25/92.65 c GARBAGE COLLECT 92.25/92.65 c rational objective 149 116.15/116.69 c #Conflicts: 100000 | #Constraints: 16658 116.15/116.69 c #Conflicts: 101000 | #Constraints: 17658 116.15/116.69 c #Conflicts: 102000 | #Constraints: 18658 116.15/116.69 c #Conflicts: 103000 | #Constraints: 19658 116.15/116.69 c #Conflicts: 104000 | #Constraints: 20658 116.15/116.69 c #Conflicts: 105000 | #Constraints: 21658 116.15/116.69 c #Conflicts: 106000 | #Constraints: 22658 116.15/116.69 c #Conflicts: 107000 | #Constraints: 23658 116.15/116.69 c INPROCESSING 116.15/116.69 c GARBAGE COLLECT 116.15/116.69 c rational objective 149 128.72/129.21 c #Conflicts: 108000 | #Constraints: 13545 128.72/129.21 c #Conflicts: 109000 | #Constraints: 14545 128.72/129.21 c #Conflicts: 110000 | #Constraints: 15545 128.72/129.21 c #Conflicts: 111000 | #Constraints: 16545 128.72/129.21 c #Conflicts: 112000 | #Constraints: 17545 128.72/129.21 c #Conflicts: 113000 | #Constraints: 18545 128.72/129.21 c #Conflicts: 114000 | #Constraints: 19545 128.72/129.21 c #Conflicts: 115000 | #Constraints: 20545 128.72/129.21 c INPROCESSING 128.72/129.21 c GARBAGE COLLECT 128.72/129.21 c rational objective 149 184.05/184.72 c #Conflicts: 116000 | #Constraints: 11931 184.05/184.72 c #Conflicts: 117000 | #Constraints: 12931 184.05/184.72 c #Conflicts: 118000 | #Constraints: 13931 184.05/184.72 c #Conflicts: 119000 | #Constraints: 14931 184.05/184.72 c #Conflicts: 120000 | #Constraints: 15931 184.05/184.72 c #Conflicts: 121000 | #Constraints: 16931 184.05/184.72 c #Conflicts: 122000 | #Constraints: 17931 184.05/184.72 c #Conflicts: 123000 | #Constraints: 18931 184.05/184.72 c #Conflicts: 124000 | #Constraints: 19931 184.05/184.72 c #Conflicts: 125000 | #Constraints: 20931 184.05/184.72 c #Conflicts: 126000 | #Constraints: 21931 184.05/184.72 c #Conflicts: 127000 | #Constraints: 22931 184.05/184.72 c #Conflicts: 128000 | #Constraints: 23931 184.05/184.72 c #Conflicts: 129000 | #Constraints: 24931 184.05/184.72 c #Conflicts: 130000 | #Constraints: 25931 184.05/184.72 c #Conflicts: 131000 | #Constraints: 26931 184.05/184.72 c #Conflicts: 132000 | #Constraints: 27931 184.05/184.72 c #Conflicts: 133000 | #Constraints: 28931 184.05/184.72 c #Conflicts: 134000 | #Constraints: 29931 184.05/184.72 c #Conflicts: 135000 | #Constraints: 30931 184.05/184.72 c #Conflicts: 136000 | #Constraints: 31931 184.05/184.72 c #Conflicts: 137000 | #Constraints: 32931 184.05/184.72 c #Conflicts: 138000 | #Constraints: 33931 184.05/184.72 c bounds 194 >= 150 @ 179.605 184.05/184.72 c #Conflicts: 139000 | #Constraints: 34967 184.05/184.72 c #Conflicts: 140000 | #Constraints: 35967 184.05/184.72 c INPROCESSING 184.05/184.72 c GARBAGE COLLECT 184.05/184.72 c rational objective 150 195.38/196.15 c bounds 193 >= 150 @ 181.096 195.38/196.15 c #Conflicts: 141000 | #Constraints: 19385 195.38/196.15 c #Conflicts: 142000 | #Constraints: 20385 195.38/196.15 c #Conflicts: 143000 | #Constraints: 21385 195.38/196.15 c #Conflicts: 144000 | #Constraints: 22385 195.38/196.15 c #Conflicts: 145000 | #Constraints: 23385 195.38/196.15 c #Conflicts: 146000 | #Constraints: 24385 195.38/196.15 c #Conflicts: 147000 | #Constraints: 25385 195.38/196.15 c #Conflicts: 148000 | #Constraints: 26385 195.38/196.15 c #Conflicts: 149000 | #Constraints: 27385 195.38/196.15 c #Conflicts: 150000 | #Constraints: 28385 195.38/196.15 c INPROCESSING 195.38/196.15 c GARBAGE COLLECT 195.38/196.15 c rational objective 150 206.53/207.32 c #Conflicts: 151000 | #Constraints: 15886 206.53/207.32 c #Conflicts: 152000 | #Constraints: 16886 206.53/207.32 c #Conflicts: 153000 | #Constraints: 17886 206.53/207.32 c #Conflicts: 154000 | #Constraints: 18886 206.53/207.32 c #Conflicts: 155000 | #Constraints: 19886 206.53/207.32 c #Conflicts: 156000 | #Constraints: 20886 206.53/207.32 c #Conflicts: 157000 | #Constraints: 21886 206.53/207.32 c #Conflicts: 158000 | #Constraints: 22886 206.53/207.32 c #Conflicts: 159000 | #Constraints: 23886 206.53/207.32 c INPROCESSING 206.53/207.32 c GARBAGE COLLECT 206.53/207.32 c rational objective 150 286.34/287.48 c #Conflicts: 160000 | #Constraints: 13354 286.34/287.48 c #Conflicts: 161000 | #Constraints: 14354 286.34/287.48 c #Conflicts: 162000 | #Constraints: 15354 286.34/287.48 c #Conflicts: 163000 | #Constraints: 16354 286.34/287.48 c #Conflicts: 164000 | #Constraints: 17354 286.34/287.48 c #Conflicts: 165000 | #Constraints: 18354 286.34/287.48 c #Conflicts: 166000 | #Constraints: 19354 286.34/287.48 c bounds 192 >= 150 @ 210.152 286.34/287.48 c #Conflicts: 167000 | #Constraints: 20355 286.34/287.48 c #Conflicts: 168000 | #Constraints: 21355 286.34/287.48 c #Conflicts: 169000 | #Constraints: 22355 286.34/287.48 c #Conflicts: 170000 | #Constraints: 23355 286.34/287.48 c #Conflicts: 171000 | #Constraints: 24355 286.34/287.48 c #Conflicts: 172000 | #Constraints: 25355 286.34/287.48 c #Conflicts: 173000 | #Constraints: 26355 286.34/287.48 c #Conflicts: 174000 | #Constraints: 27355 286.34/287.48 c #Conflicts: 175000 | #Constraints: 28355 286.34/287.48 c #Conflicts: 176000 | #Constraints: 29355 286.34/287.48 c #Conflicts: 177000 | #Constraints: 30355 286.34/287.48 c #Conflicts: 178000 | #Constraints: 31355 286.34/287.48 c #Conflicts: 179000 | #Constraints: 32355 286.34/287.48 c #Conflicts: 180000 | #Constraints: 33355 286.34/287.48 c #Conflicts: 181000 | #Constraints: 34355 286.34/287.48 c #Conflicts: 182000 | #Constraints: 35355 286.34/287.48 c #Conflicts: 183000 | #Constraints: 36355 286.34/287.48 c #Conflicts: 184000 | #Constraints: 37355 286.34/287.48 c #Conflicts: 185000 | #Constraints: 38355 286.34/287.48 c #Conflicts: 186000 | #Constraints: 39355 286.34/287.48 c bounds 191 >= 150 @ 260.511 286.34/287.48 c #Conflicts: 187000 | #Constraints: 40356 286.34/287.48 c #Conflicts: 188000 | #Constraints: 41356 286.34/287.48 c #Conflicts: 189000 | #Constraints: 42356 286.34/287.48 c INPROCESSING 286.34/287.48 c GARBAGE COLLECT 286.34/287.48 c rational objective 150 338.48/339.71 c #Conflicts: 190000 | #Constraints: 22862 338.48/339.71 c #Conflicts: 191000 | #Constraints: 23862 338.48/339.71 c #Conflicts: 192000 | #Constraints: 24862 338.48/339.71 c #Conflicts: 193000 | #Constraints: 25862 338.48/339.71 c #Conflicts: 194000 | #Constraints: 26862 338.48/339.71 c #Conflicts: 195000 | #Constraints: 27862 338.48/339.71 c #Conflicts: 196000 | #Constraints: 28862 338.48/339.71 c #Conflicts: 197000 | #Constraints: 29862 338.48/339.71 c #Conflicts: 198000 | #Constraints: 30862 338.48/339.71 c #Conflicts: 199000 | #Constraints: 31862 338.48/339.71 c #Conflicts: 200000 | #Constraints: 32862 338.48/339.71 c INPROCESSING 338.48/339.71 c GARBAGE COLLECT 338.48/339.71 c rational objective 150 361.58/362.94 c #Conflicts: 201000 | #Constraints: 18166 361.58/362.94 c #Conflicts: 202000 | #Constraints: 19166 361.58/362.94 c #Conflicts: 203000 | #Constraints: 20166 361.58/362.94 c #Conflicts: 204000 | #Constraints: 21166 361.58/362.94 c #Conflicts: 205000 | #Constraints: 22166 361.58/362.94 c #Conflicts: 206000 | #Constraints: 23166 361.58/362.94 c #Conflicts: 207000 | #Constraints: 24166 361.58/362.94 c #Conflicts: 208000 | #Constraints: 25166 361.58/362.94 c #Conflicts: 209000 | #Constraints: 26166 361.58/362.94 c #Conflicts: 210000 | #Constraints: 27166 361.58/362.94 c #Conflicts: 211000 | #Constraints: 28166 361.58/362.94 c INPROCESSING 361.58/362.94 c GARBAGE COLLECT 361.58/362.94 c rational objective 150 487.64/489.46 c #Conflicts: 212000 | #Constraints: 15779 487.64/489.46 c #Conflicts: 213000 | #Constraints: 16779 487.64/489.46 c #Conflicts: 214000 | #Constraints: 17779 487.64/489.46 c #Conflicts: 215000 | #Constraints: 18779 487.64/489.46 c #Conflicts: 216000 | #Constraints: 19779 487.64/489.46 c #Conflicts: 217000 | #Constraints: 20779 487.64/489.46 c #Conflicts: 218000 | #Constraints: 21779 487.64/489.46 c #Conflicts: 219000 | #Constraints: 22779 487.64/489.46 c #Conflicts: 220000 | #Constraints: 23779 487.64/489.46 c #Conflicts: 221000 | #Constraints: 24779 487.64/489.46 c #Conflicts: 222000 | #Constraints: 25779 487.64/489.46 c #Conflicts: 223000 | #Constraints: 26779 487.64/489.46 c #Conflicts: 224000 | #Constraints: 27779 487.64/489.46 c #Conflicts: 225000 | #Constraints: 28779 487.64/489.46 c #Conflicts: 226000 | #Constraints: 29779 487.64/489.46 c #Conflicts: 227000 | #Constraints: 30779 487.64/489.46 c #Conflicts: 228000 | #Constraints: 31779 487.64/489.46 c #Conflicts: 229000 | #Constraints: 32779 487.64/489.46 c #Conflicts: 230000 | #Constraints: 33779 487.64/489.46 c #Conflicts: 231000 | #Constraints: 34779 487.64/489.46 c bounds 190 >= 150 @ 388.411 487.64/489.46 c #Conflicts: 232000 | #Constraints: 35780 487.64/489.46 c #Conflicts: 233000 | #Constraints: 36780 487.64/489.46 c #Conflicts: 234000 | #Constraints: 37780 487.64/489.46 c #Conflicts: 235000 | #Constraints: 38780 487.64/489.46 c #Conflicts: 236000 | #Constraints: 39780 487.64/489.46 c #Conflicts: 237000 | #Constraints: 40780 487.64/489.46 c #Conflicts: 238000 | #Constraints: 41780 487.64/489.46 c #Conflicts: 239000 | #Constraints: 42780 487.64/489.46 c #Conflicts: 240000 | #Constraints: 43780 487.64/489.46 c #Conflicts: 241000 | #Constraints: 44780 487.64/489.46 c #Conflicts: 242000 | #Constraints: 45780 487.64/489.46 c #Conflicts: 243000 | #Constraints: 46780 487.64/489.46 c #Conflicts: 244000 | #Constraints: 47780 487.64/489.46 c #Conflicts: 245000 | #Constraints: 48780 487.64/489.46 c INPROCESSING 487.64/489.46 c GARBAGE COLLECT 487.64/489.46 c rational objective 150 506.36/508.25 c #Conflicts: 246000 | #Constraints: 26171 506.36/508.25 c #Conflicts: 247000 | #Constraints: 27171 506.36/508.25 c #Conflicts: 248000 | #Constraints: 28171 506.36/508.25 c #Conflicts: 249000 | #Constraints: 29171 506.36/508.25 c #Conflicts: 250000 | #Constraints: 30171 506.36/508.25 c #Conflicts: 251000 | #Constraints: 31171 506.36/508.25 c #Conflicts: 252000 | #Constraints: 32171 506.36/508.25 c #Conflicts: 253000 | #Constraints: 33171 506.36/508.25 c #Conflicts: 254000 | #Constraints: 34171 506.36/508.25 c #Conflicts: 255000 | #Constraints: 35171 506.36/508.25 c #Conflicts: 256000 | #Constraints: 36171 506.36/508.25 c #Conflicts: 257000 | #Constraints: 37171 506.36/508.25 c INPROCESSING 506.36/508.25 c GARBAGE COLLECT 506.36/508.25 c rational objective 150 524.12/526.04 c #Conflicts: 258000 | #Constraints: 20090 524.12/526.04 c #Conflicts: 259000 | #Constraints: 21090 524.12/526.04 c #Conflicts: 260000 | #Constraints: 22090 524.12/526.04 c #Conflicts: 261000 | #Constraints: 23090 524.12/526.04 c #Conflicts: 262000 | #Constraints: 24090 524.12/526.04 c #Conflicts: 263000 | #Constraints: 25090 524.12/526.04 c #Conflicts: 264000 | #Constraints: 26090 524.12/526.04 c #Conflicts: 265000 | #Constraints: 27090 524.12/526.04 c #Conflicts: 266000 | #Constraints: 28090 524.12/526.04 c #Conflicts: 267000 | #Constraints: 29090 524.12/526.04 c #Conflicts: 268000 | #Constraints: 30090 524.12/526.04 c #Conflicts: 269000 | #Constraints: 31090 524.12/526.04 c #Conflicts: 270000 | #Constraints: 32090 524.12/526.04 c INPROCESSING 524.12/526.04 c GARBAGE COLLECT 524.12/526.04 c rational objective 150 691.20/693.71 c #Conflicts: 271000 | #Constraints: 17755 691.20/693.71 c #Conflicts: 272000 | #Constraints: 18755 691.20/693.71 c #Conflicts: 273000 | #Constraints: 19755 691.20/693.71 c #Conflicts: 274000 | #Constraints: 20755 691.20/693.71 c #Conflicts: 275000 | #Constraints: 21755 691.20/693.71 c #Conflicts: 276000 | #Constraints: 22755 691.20/693.71 c #Conflicts: 277000 | #Constraints: 23755 691.20/693.71 c #Conflicts: 278000 | #Constraints: 24755 691.20/693.71 c #Conflicts: 279000 | #Constraints: 25755 691.20/693.71 c #Conflicts: 280000 | #Constraints: 26755 691.20/693.71 c #Conflicts: 281000 | #Constraints: 27755 691.20/693.71 c #Conflicts: 282000 | #Constraints: 28755 691.20/693.71 c #Conflicts: 283000 | #Constraints: 29755 691.20/693.71 c #Conflicts: 284000 | #Constraints: 30755 691.20/693.71 c #Conflicts: 285000 | #Constraints: 31755 691.20/693.71 c #Conflicts: 286000 | #Constraints: 32755 691.20/693.71 c #Conflicts: 287000 | #Constraints: 33755 691.20/693.71 c #Conflicts: 288000 | #Constraints: 34755 691.20/693.71 c #Conflicts: 289000 | #Constraints: 35755 691.20/693.71 c #Conflicts: 290000 | #Constraints: 36755 691.20/693.71 c #Conflicts: 291000 | #Constraints: 37755 691.20/693.71 c #Conflicts: 292000 | #Constraints: 38755 691.20/693.71 c #Conflicts: 293000 | #Constraints: 39755 691.20/693.71 c #Conflicts: 294000 | #Constraints: 40755 691.20/693.71 c #Conflicts: 295000 | #Constraints: 41755 691.20/693.71 c #Conflicts: 296000 | #Constraints: 42755 691.20/693.71 c #Conflicts: 297000 | #Constraints: 43755 691.20/693.71 c #Conflicts: 298000 | #Constraints: 44755 691.20/693.71 c #Conflicts: 299000 | #Constraints: 45755 691.20/693.71 c #Conflicts: 300000 | #Constraints: 46755 691.20/693.71 c #Conflicts: 301000 | #Constraints: 47755 691.20/693.71 c #Conflicts: 302000 | #Constraints: 48755 691.20/693.71 c #Conflicts: 303000 | #Constraints: 49755 691.20/693.71 c #Conflicts: 304000 | #Constraints: 50755 691.20/693.71 c #Conflicts: 305000 | #Constraints: 51755 691.20/693.71 c #Conflicts: 306000 | #Constraints: 52755 691.20/693.71 c #Conflicts: 307000 | #Constraints: 53755 691.20/693.71 c #Conflicts: 308000 | #Constraints: 54755 691.20/693.71 c INPROCESSING 691.20/693.71 c GARBAGE COLLECT 691.20/693.71 c rational objective 150 729.38/732.08 c bounds 189 >= 150 @ 684.049 729.38/732.08 c #Conflicts: 309000 | #Constraints: 29181 729.38/732.08 c #Conflicts: 310000 | #Constraints: 30181 729.38/732.08 c #Conflicts: 311000 | #Constraints: 31181 729.38/732.08 c #Conflicts: 312000 | #Constraints: 32181 729.38/732.08 c #Conflicts: 313000 | #Constraints: 33181 729.38/732.08 c #Conflicts: 314000 | #Constraints: 34181 729.38/732.08 c #Conflicts: 315000 | #Constraints: 35181 729.38/732.08 c #Conflicts: 316000 | #Constraints: 36181 729.38/732.08 c #Conflicts: 317000 | #Constraints: 37181 729.38/732.08 c #Conflicts: 318000 | #Constraints: 38181 729.38/732.08 c #Conflicts: 319000 | #Constraints: 39181 729.38/732.08 c #Conflicts: 320000 | #Constraints: 40181 729.38/732.08 c #Conflicts: 321000 | #Constraints: 41181 729.38/732.08 c INPROCESSING 729.38/732.08 c GARBAGE COLLECT 729.38/732.08 c rational objective 150 758.15/760.99 c #Conflicts: 322000 | #Constraints: 21851 758.15/760.99 c #Conflicts: 323000 | #Constraints: 22851 758.15/760.99 c #Conflicts: 324000 | #Constraints: 23851 758.15/760.99 c #Conflicts: 325000 | #Constraints: 24851 758.15/760.99 c #Conflicts: 326000 | #Constraints: 25851 758.15/760.99 c #Conflicts: 327000 | #Constraints: 26851 758.15/760.99 c #Conflicts: 328000 | #Constraints: 27851 758.15/760.99 c #Conflicts: 329000 | #Constraints: 28851 758.15/760.99 c #Conflicts: 330000 | #Constraints: 29851 758.15/760.99 c #Conflicts: 331000 | #Constraints: 30851 758.15/760.99 c #Conflicts: 332000 | #Constraints: 31851 758.15/760.99 c #Conflicts: 333000 | #Constraints: 32851 758.15/760.99 c #Conflicts: 334000 | #Constraints: 33851 758.15/760.99 c #Conflicts: 335000 | #Constraints: 34851 758.15/760.99 c #Conflicts: 336000 | #Constraints: 35851 758.15/760.99 c INPROCESSING 758.15/760.99 c GARBAGE COLLECT 758.15/760.99 c rational objective 150 941.79/945.28 c #Conflicts: 337000 | #Constraints: 20052 941.79/945.28 c #Conflicts: 338000 | #Constraints: 21052 941.79/945.28 c #Conflicts: 339000 | #Constraints: 22052 941.79/945.28 c #Conflicts: 340000 | #Constraints: 23052 941.79/945.28 c #Conflicts: 341000 | #Constraints: 24052 941.79/945.28 c #Conflicts: 342000 | #Constraints: 25052 941.79/945.28 c #Conflicts: 343000 | #Constraints: 26052 941.79/945.28 c #Conflicts: 344000 | #Constraints: 27052 941.79/945.28 c #Conflicts: 345000 | #Constraints: 28052 941.79/945.28 c #Conflicts: 346000 | #Constraints: 29052 941.79/945.28 c #Conflicts: 347000 | #Constraints: 30052 941.79/945.28 c #Conflicts: 348000 | #Constraints: 31052 941.79/945.28 c #Conflicts: 349000 | #Constraints: 32052 941.79/945.28 c #Conflicts: 350000 | #Constraints: 33052 941.79/945.28 c #Conflicts: 351000 | #Constraints: 34052 941.79/945.28 c #Conflicts: 352000 | #Constraints: 35052 941.79/945.28 c #Conflicts: 353000 | #Constraints: 36052 941.79/945.28 c #Conflicts: 354000 | #Constraints: 37052 941.79/945.28 c #Conflicts: 355000 | #Constraints: 38052 941.79/945.28 c #Conflicts: 356000 | #Constraints: 39052 941.79/945.28 c #Conflicts: 357000 | #Constraints: 40052 941.79/945.28 c #Conflicts: 358000 | #Constraints: 41052 941.79/945.28 c #Conflicts: 359000 | #Constraints: 42052 941.79/945.28 c #Conflicts: 360000 | #Constraints: 43052 941.79/945.28 c #Conflicts: 361000 | #Constraints: 44052 941.79/945.28 c #Conflicts: 362000 | #Constraints: 45052 941.79/945.28 c #Conflicts: 363000 | #Constraints: 46052 941.79/945.28 c #Conflicts: 364000 | #Constraints: 47052 941.79/945.28 c #Conflicts: 365000 | #Constraints: 48052 941.79/945.28 c #Conflicts: 366000 | #Constraints: 49052 941.79/945.28 c #Conflicts: 367000 | #Constraints: 50052 941.79/945.28 c #Conflicts: 368000 | #Constraints: 51052 941.79/945.28 c #Conflicts: 369000 | #Constraints: 52052 941.79/945.28 c #Conflicts: 370000 | #Constraints: 53052 941.79/945.28 c #Conflicts: 371000 | #Constraints: 54052 941.79/945.28 c #Conflicts: 372000 | #Constraints: 55052 941.79/945.28 c #Conflicts: 373000 | #Constraints: 56052 941.79/945.28 c #Conflicts: 374000 | #Constraints: 57052 941.79/945.28 c #Conflicts: 375000 | #Constraints: 58052 941.79/945.28 c #Conflicts: 376000 | #Constraints: 59052 941.79/945.28 c #Conflicts: 377000 | #Constraints: 60052 941.79/945.28 c #Conflicts: 378000 | #Constraints: 61052 941.79/945.28 c INPROCESSING 941.79/945.28 c GARBAGE COLLECT 941.79/945.28 c rational objective 150 1075.77/1079.78 c #Conflicts: 379000 | #Constraints: 32143 1075.77/1079.78 c #Conflicts: 380000 | #Constraints: 33143 1075.77/1079.78 c #Conflicts: 381000 | #Constraints: 34143 1075.77/1079.78 c #Conflicts: 382000 | #Constraints: 35143 1075.77/1079.78 c #Conflicts: 383000 | #Constraints: 36143 1075.77/1079.78 c #Conflicts: 384000 | #Constraints: 37143 1075.77/1079.78 c #Conflicts: 385000 | #Constraints: 38143 1075.77/1079.78 c #Conflicts: 386000 | #Constraints: 39143 1075.77/1079.78 c #Conflicts: 387000 | #Constraints: 40143 1075.77/1079.78 c #Conflicts: 388000 | #Constraints: 41143 1075.77/1079.78 c #Conflicts: 389000 | #Constraints: 42143 1075.77/1079.78 c #Conflicts: 390000 | #Constraints: 43143 1075.77/1079.78 c #Conflicts: 391000 | #Constraints: 44143 1075.77/1079.78 c #Conflicts: 392000 | #Constraints: 45143 1075.77/1079.78 c #Conflicts: 393000 | #Constraints: 46143 1075.77/1079.78 c INPROCESSING 1075.77/1079.78 c GARBAGE COLLECT 1075.77/1079.78 c rational objective 150 1148.96/1153.29 c #Conflicts: 394000 | #Constraints: 24577 1148.96/1153.29 c #Conflicts: 395000 | #Constraints: 25577 1148.96/1153.29 c #Conflicts: 396000 | #Constraints: 26577 1148.96/1153.29 c #Conflicts: 397000 | #Constraints: 27577 1148.96/1153.29 c #Conflicts: 398000 | #Constraints: 28577 1148.96/1153.29 c #Conflicts: 399000 | #Constraints: 29577 1148.96/1153.29 c #Conflicts: 400000 | #Constraints: 30577 1148.96/1153.29 c #Conflicts: 401000 | #Constraints: 31577 1148.96/1153.29 c #Conflicts: 402000 | #Constraints: 32577 1148.96/1153.29 c #Conflicts: 403000 | #Constraints: 33577 1148.96/1153.29 c #Conflicts: 404000 | #Constraints: 34577 1148.96/1153.29 c #Conflicts: 405000 | #Constraints: 35577 1148.96/1153.29 c #Conflicts: 406000 | #Constraints: 36577 1148.96/1153.29 c #Conflicts: 407000 | #Constraints: 37577 1148.96/1153.29 c #Conflicts: 408000 | #Constraints: 38577 1148.96/1153.29 c #Conflicts: 409000 | #Constraints: 39577 1148.96/1153.29 c INPROCESSING 1148.96/1153.29 c GARBAGE COLLECT 1148.96/1153.29 c rational objective 150 1467.17/1472.74 c #Conflicts: 410000 | #Constraints: 22818 1467.17/1472.74 c #Conflicts: 411000 | #Constraints: 23818 1467.17/1472.74 c #Conflicts: 412000 | #Constraints: 24818 1467.17/1472.74 c #Conflicts: 413000 | #Constraints: 25818 1467.17/1472.74 c #Conflicts: 414000 | #Constraints: 26818 1467.17/1472.74 c #Conflicts: 415000 | #Constraints: 27818 1467.17/1472.74 c #Conflicts: 416000 | #Constraints: 28818 1467.17/1472.74 c #Conflicts: 417000 | #Constraints: 29818 1467.17/1472.74 c #Conflicts: 418000 | #Constraints: 30818 1467.17/1472.74 c #Conflicts: 419000 | #Constraints: 31818 1467.17/1472.74 c #Conflicts: 420000 | #Constraints: 32818 1467.17/1472.74 c #Conflicts: 421000 | #Constraints: 33818 1467.17/1472.74 c #Conflicts: 422000 | #Constraints: 34818 1467.17/1472.74 c #Conflicts: 423000 | #Constraints: 35818 1467.17/1472.74 c #Conflicts: 424000 | #Constraints: 36818 1467.17/1472.74 c #Conflicts: 425000 | #Constraints: 37818 1467.17/1472.74 c #Conflicts: 426000 | #Constraints: 38818 1467.17/1472.74 c #Conflicts: 427000 | #Constraints: 39818 1467.17/1472.74 c #Conflicts: 428000 | #Constraints: 40818 1467.17/1472.74 c #Conflicts: 429000 | #Constraints: 41818 1467.17/1472.74 c #Conflicts: 430000 | #Constraints: 42818 1467.17/1472.74 c #Conflicts: 431000 | #Constraints: 43818 1467.17/1472.74 c #Conflicts: 432000 | #Constraints: 44818 1467.17/1472.74 c #Conflicts: 433000 | #Constraints: 45818 1467.17/1472.74 c #Conflicts: 434000 | #Constraints: 46818 1467.17/1472.74 c #Conflicts: 435000 | #Constraints: 47818 1467.17/1472.74 c #Conflicts: 436000 | #Constraints: 48818 1467.17/1472.74 c #Conflicts: 437000 | #Constraints: 49818 1467.17/1472.74 c #Conflicts: 438000 | #Constraints: 50818 1467.17/1472.74 c #Conflicts: 439000 | #Constraints: 51818 1467.17/1472.74 c #Conflicts: 440000 | #Constraints: 52818 1467.17/1472.74 c #Conflicts: 441000 | #Constraints: 53818 1467.17/1472.74 c #Conflicts: 442000 | #Constraints: 54818 1467.17/1472.74 c #Conflicts: 443000 | #Constraints: 55818 1467.17/1472.74 c #Conflicts: 444000 | #Constraints: 56818 1467.17/1472.74 c #Conflicts: 445000 | #Constraints: 57818 1467.17/1472.74 c #Conflicts: 446000 | #Constraints: 58818 1467.17/1472.74 c #Conflicts: 447000 | #Constraints: 59818 1467.17/1472.74 c #Conflicts: 448000 | #Constraints: 60818 1467.17/1472.74 c #Conflicts: 449000 | #Constraints: 61818 1467.17/1472.74 c #Conflicts: 450000 | #Constraints: 62818 1467.17/1472.74 c #Conflicts: 451000 | #Constraints: 63818 1467.17/1472.74 c #Conflicts: 452000 | #Constraints: 64818 1467.17/1472.74 c #Conflicts: 453000 | #Constraints: 65818 1467.17/1472.74 c #Conflicts: 454000 | #Constraints: 66818 1467.17/1472.74 c #Conflicts: 455000 | #Constraints: 67818 1467.17/1472.74 c INPROCESSING 1467.17/1472.74 c GARBAGE COLLECT 1467.17/1472.74 c rational objective 150 1516.33/1522.14 c #Conflicts: 456000 | #Constraints: 35401 1516.33/1522.14 c #Conflicts: 457000 | #Constraints: 36401 1516.33/1522.14 c #Conflicts: 458000 | #Constraints: 37401 1516.33/1522.14 c #Conflicts: 459000 | #Constraints: 38401 1516.33/1522.14 c #Conflicts: 460000 | #Constraints: 39401 1516.33/1522.14 c #Conflicts: 461000 | #Constraints: 40401 1516.33/1522.14 c #Conflicts: 462000 | #Constraints: 41401 1516.33/1522.14 c #Conflicts: 463000 | #Constraints: 42401 1516.33/1522.14 c #Conflicts: 464000 | #Constraints: 43401 1516.33/1522.14 c #Conflicts: 465000 | #Constraints: 44401 1516.33/1522.14 c #Conflicts: 466000 | #Constraints: 45401 1516.33/1522.14 c #Conflicts: 467000 | #Constraints: 46401 1516.33/1522.14 c #Conflicts: 468000 | #Constraints: 47401 1516.33/1522.14 c #Conflicts: 469000 | #Constraints: 48401 1516.33/1522.14 c #Conflicts: 470000 | #Constraints: 49401 1516.33/1522.14 c #Conflicts: 471000 | #Constraints: 50401 1516.33/1522.14 c #Conflicts: 472000 | #Constraints: 51401 1516.33/1522.14 c INPROCESSING 1516.33/1522.14 c GARBAGE COLLECT 1516.33/1522.14 c rational objective 150 1699.18/1705.82 c #Conflicts: 473000 | #Constraints: 27161 1699.18/1705.82 c #Conflicts: 474000 | #Constraints: 28161 1699.18/1705.82 c #Conflicts: 475000 | #Constraints: 29161 1699.18/1705.82 c #Conflicts: 476000 | #Constraints: 30161 1699.18/1705.82 c #Conflicts: 477000 | #Constraints: 31161 1699.18/1705.82 c #Conflicts: 478000 | #Constraints: 32161 1699.18/1705.82 c #Conflicts: 479000 | #Constraints: 33161 1699.18/1705.82 c #Conflicts: 480000 | #Constraints: 34161 1699.18/1705.82 c #Conflicts: 481000 | #Constraints: 35161 1699.18/1705.82 c #Conflicts: 482000 | #Constraints: 36162 1699.18/1705.82 c #Conflicts: 483000 | #Constraints: 37162 1699.18/1705.82 c #Conflicts: 484000 | #Constraints: 38162 1699.18/1705.82 c #Conflicts: 485000 | #Constraints: 39162 1699.18/1705.82 c #Conflicts: 486000 | #Constraints: 40162 1699.18/1705.82 c #Conflicts: 487000 | #Constraints: 41162 1699.18/1705.82 c #Conflicts: 488000 | #Constraints: 42162 1699.18/1705.82 c #Conflicts: 489000 | #Constraints: 43162 1699.18/1705.82 c #Conflicts: 490000 | #Constraints: 44162 1699.18/1705.82 c #Conflicts: 491000 | #Constraints: 45162 1699.18/1705.82 c #Conflicts: 492000 | #Constraints: 46162 1699.18/1705.82 c #Conflicts: 493000 | #Constraints: 47162 1699.18/1705.82 c #Conflicts: 494000 | #Constraints: 48162 1699.18/1705.82 c #Conflicts: 495000 | #Constraints: 49162 1699.18/1705.82 c #Conflicts: 496000 | #Constraints: 50162 1699.18/1705.82 c #Conflicts: 497000 | #Constraints: 51162 1699.18/1705.82 c #Conflicts: 498000 | #Constraints: 52162 1699.18/1705.82 c #Conflicts: 499000 | #Constraints: 53162 1699.18/1705.82 c #Conflicts: 500000 | #Constraints: 54162 1699.18/1705.82 c #Conflicts: 501000 | #Constraints: 55162 1699.18/1705.82 c #Conflicts: 502000 | #Constraints: 56162 1699.18/1705.82 c #Conflicts: 503000 | #Constraints: 57162 1699.18/1705.82 c #Conflicts: 504000 | #Constraints: 58162 1699.18/1705.82 c #Conflicts: 505000 | #Constraints: 59162 1699.18/1705.82 c #Conflicts: 506000 | #Constraints: 60162 1699.18/1705.82 c #Conflicts: 507000 | #Constraints: 61162 1699.18/1705.82 c #Conflicts: 508000 | #Constraints: 62162 1699.18/1705.82 c #Conflicts: 509000 | #Constraints: 63162 1699.18/1705.82 c #Conflicts: 510000 | #Constraints: 64162 1699.18/1705.82 c #Conflicts: 511000 | #Constraints: 65162 1699.18/1705.82 c #Conflicts: 512000 | #Constraints: 66162 1699.18/1705.82 c #Conflicts: 513000 | #Constraints: 67162 1699.18/1705.82 c #Conflicts: 514000 | #Constraints: 68162 1699.18/1705.82 c #Conflicts: 515000 | #Constraints: 69162 1699.18/1705.82 c #Conflicts: 516000 | #Constraints: 70162 1699.18/1705.82 c #Conflicts: 517000 | #Constraints: 71162 1699.18/1705.82 c #Conflicts: 518000 | #Constraints: 72162 1699.18/1705.82 c #Conflicts: 519000 | #Constraints: 73162 1699.18/1705.82 c #Conflicts: 520000 | #Constraints: 74162 1699.18/1705.82 c #Conflicts: 521000 | #Constraints: 75162 1699.18/1705.82 c #Conflicts: 522000 | #Constraints: 76162 1699.18/1705.82 c INPROCESSING 1699.18/1705.82 c GARBAGE COLLECT 1699.18/1705.82 c rational objective 150 1768.48/1775.49 c #Conflicts: 523000 | #Constraints: 39796 1768.48/1775.49 c #Conflicts: 524000 | #Constraints: 40796 1768.48/1775.49 c #Conflicts: 525000 | #Constraints: 41796 1768.48/1775.49 c #Conflicts: 526000 | #Constraints: 42796 1768.48/1775.49 c #Conflicts: 527000 | #Constraints: 43796 1768.48/1775.49 c #Conflicts: 528000 | #Constraints: 44796 1768.48/1775.49 c #Conflicts: 529000 | #Constraints: 45796 1768.48/1775.49 c #Conflicts: 530000 | #Constraints: 46796 1768.48/1775.49 c #Conflicts: 531000 | #Constraints: 47796 1768.48/1775.49 c #Conflicts: 532000 | #Constraints: 48796 1768.48/1775.49 c #Conflicts: 533000 | #Constraints: 49796 1768.48/1775.49 c #Conflicts: 534000 | #Constraints: 50796 1768.48/1775.49 c #Conflicts: 535000 | #Constraints: 51796 1768.48/1775.49 c #Conflicts: 536000 | #Constraints: 52796 1768.48/1775.49 c #Conflicts: 537000 | #Constraints: 53796 1768.48/1775.49 c #Conflicts: 538000 | #Constraints: 54796 1768.48/1775.49 c #Conflicts: 539000 | #Constraints: 55796 1768.48/1775.49 c #Conflicts: 540000 | #Constraints: 56796 1768.48/1775.49 c INPROCESSING 1768.48/1775.49 c GARBAGE COLLECT 1768.48/1775.49 c rational objective 150 1900.39/1907.99 c #Conflicts: 541000 | #Constraints: 30014 1900.39/1907.99 c #Conflicts: 542000 | #Constraints: 31014 1900.39/1907.99 c #Conflicts: 543000 | #Constraints: 32014 1900.39/1907.99 c #Conflicts: 544000 | #Constraints: 33014 1900.39/1907.99 c #Conflicts: 545000 | #Constraints: 34014 1900.39/1907.99 c #Conflicts: 546000 | #Constraints: 35014 1900.39/1907.99 c #Conflicts: 547000 | #Constraints: 36014 1900.39/1907.99 c #Conflicts: 548000 | #Constraints: 37014 1900.39/1907.99 c #Conflicts: 549000 | #Constraints: 38014 1900.39/1907.99 c #Conflicts: 550000 | #Constraints: 39014 1900.39/1907.99 c #Conflicts: 551000 | #Constraints: 40014 1900.39/1907.99 c #Conflicts: 552000 | #Constraints: 41014 1900.39/1907.99 c #Conflicts: 553000 | #Constraints: 42014 1900.39/1907.99 c #Conflicts: 554000 | #Constraints: 43014 1900.39/1907.99 c #Conflicts: 555000 | #Constraints: 44014 1900.39/1907.99 c #Conflicts: 556000 | #Constraints: 45014 1900.39/1907.99 c #Conflicts: 557000 | #Constraints: 46014 1900.39/1907.99 c #Conflicts: 558000 | #Constraints: 47014 1900.39/1907.99 c INPROCESSING 1900.39/1907.99 c GARBAGE COLLECT 1900.39/1907.99 c rational objective 150 2179.60/2188.49 c #Conflicts: 559000 | #Constraints: 27716 2179.60/2188.49 c #Conflicts: 560000 | #Constraints: 28716 2179.60/2188.49 c #Conflicts: 561000 | #Constraints: 29716 2179.60/2188.49 c #Conflicts: 562000 | #Constraints: 30716 2179.60/2188.49 c #Conflicts: 563000 | #Constraints: 31716 2179.60/2188.49 c #Conflicts: 564000 | #Constraints: 32716 2179.60/2188.49 c #Conflicts: 565000 | #Constraints: 33716 2179.60/2188.49 c #Conflicts: 566000 | #Constraints: 34716 2179.60/2188.49 c #Conflicts: 567000 | #Constraints: 35716 2179.60/2188.49 c #Conflicts: 568000 | #Constraints: 36716 2179.60/2188.49 c #Conflicts: 569000 | #Constraints: 37716 2179.60/2188.49 c #Conflicts: 570000 | #Constraints: 38716 2179.60/2188.49 c #Conflicts: 571000 | #Constraints: 39716 2179.60/2188.49 c #Conflicts: 572000 | #Constraints: 40716 2179.60/2188.49 c #Conflicts: 573000 | #Constraints: 41716 2179.60/2188.49 c #Conflicts: 574000 | #Constraints: 42716 2179.60/2188.49 c #Conflicts: 575000 | #Constraints: 43716 2179.60/2188.49 c #Conflicts: 576000 | #Constraints: 44716 2179.60/2188.49 c #Conflicts: 577000 | #Constraints: 45716 2179.60/2188.49 c #Conflicts: 578000 | #Constraints: 46716 2179.60/2188.49 c #Conflicts: 579000 | #Constraints: 47716 2179.60/2188.49 c #Conflicts: 580000 | #Constraints: 48716 2179.60/2188.49 c #Conflicts: 581000 | #Constraints: 49716 2179.60/2188.49 c #Conflicts: 582000 | #Constraints: 50716 2179.60/2188.49 c #Conflicts: 583000 | #Constraints: 51716 2179.60/2188.49 c #Conflicts: 584000 | #Constraints: 52716 2179.60/2188.49 c #Conflicts: 585000 | #Constraints: 53716 2179.60/2188.49 c #Conflicts: 586000 | #Constraints: 54716 2179.60/2188.49 c #Conflicts: 587000 | #Constraints: 55716 2179.60/2188.49 c #Conflicts: 588000 | #Constraints: 56716 2179.60/2188.49 c #Conflicts: 589000 | #Constraints: 57716 2179.60/2188.49 c #Conflicts: 590000 | #Constraints: 58716 2179.60/2188.49 c #Conflicts: 591000 | #Constraints: 59716 2179.60/2188.49 c #Conflicts: 592000 | #Constraints: 60716 2179.60/2188.49 c #Conflicts: 593000 | #Constraints: 61716 2179.60/2188.49 c #Conflicts: 594000 | #Constraints: 62716 2179.60/2188.49 c #Conflicts: 595000 | #Constraints: 63716 2179.60/2188.49 c #Conflicts: 596000 | #Constraints: 64716 2179.60/2188.49 c #Conflicts: 597000 | #Constraints: 65716 2179.60/2188.49 c #Conflicts: 598000 | #Constraints: 66716 2179.60/2188.49 c #Conflicts: 599000 | #Constraints: 67716 2179.60/2188.49 c #Conflicts: 600000 | #Constraints: 68716 2179.60/2188.49 c #Conflicts: 601000 | #Constraints: 69716 2179.60/2188.49 c #Conflicts: 602000 | #Constraints: 70716 2179.60/2188.49 c #Conflicts: 603000 | #Constraints: 71716 2179.60/2188.49 c #Conflicts: 604000 | #Constraints: 72716 2179.60/2188.49 c #Conflicts: 605000 | #Constraints: 73716 2179.60/2188.49 c #Conflicts: 606000 | #Constraints: 74716 2179.60/2188.49 c #Conflicts: 607000 | #Constraints: 75716 2179.60/2188.49 c #Conflicts: 608000 | #Constraints: 76716 2179.60/2188.49 c #Conflicts: 609000 | #Constraints: 77716 2179.60/2188.49 c #Conflicts: 610000 | #Constraints: 78716 2179.60/2188.49 c #Conflicts: 611000 | #Constraints: 79716 2179.60/2188.49 c #Conflicts: 612000 | #Constraints: 80716 2179.60/2188.49 c INPROCESSING 2179.60/2188.49 c GARBAGE COLLECT 2179.60/2188.49 c rational objective 150 2413.26/2423.15 c #Conflicts: 613000 | #Constraints: 41924 2413.26/2423.15 c #Conflicts: 614000 | #Constraints: 42924 2413.26/2423.15 c #Conflicts: 615000 | #Constraints: 43924 2413.26/2423.15 c #Conflicts: 616000 | #Constraints: 44924 2413.26/2423.15 c #Conflicts: 617000 | #Constraints: 45924 2413.26/2423.15 c #Conflicts: 618000 | #Constraints: 46924 2413.26/2423.15 c #Conflicts: 619000 | #Constraints: 47924 2413.26/2423.15 c #Conflicts: 620000 | #Constraints: 48924 2413.26/2423.15 c #Conflicts: 621000 | #Constraints: 49924 2413.26/2423.15 c #Conflicts: 622000 | #Constraints: 50924 2413.26/2423.15 c #Conflicts: 623000 | #Constraints: 51924 2413.26/2423.15 c #Conflicts: 624000 | #Constraints: 52924 2413.26/2423.15 c #Conflicts: 625000 | #Constraints: 53924 2413.26/2423.15 c #Conflicts: 626000 | #Constraints: 54924 2413.26/2423.15 c #Conflicts: 627000 | #Constraints: 55924 2413.26/2423.15 c #Conflicts: 628000 | #Constraints: 56924 2413.26/2423.15 c #Conflicts: 629000 | #Constraints: 57924 2413.26/2423.15 c #Conflicts: 630000 | #Constraints: 58924 2413.26/2423.15 c #Conflicts: 631000 | #Constraints: 59924 2413.26/2423.15 c #Conflicts: 632000 | #Constraints: 60924 2413.26/2423.15 c INPROCESSING 2413.26/2423.15 c GARBAGE COLLECT 2413.26/2423.15 c rational objective 150 2570.57/2581.14 c #Conflicts: 633000 | #Constraints: 32266 2570.57/2581.14 c #Conflicts: 634000 | #Constraints: 33266 2570.57/2581.14 c #Conflicts: 635000 | #Constraints: 34266 2570.57/2581.14 c #Conflicts: 636000 | #Constraints: 35266 2570.57/2581.14 c #Conflicts: 637000 | #Constraints: 36266 2570.57/2581.14 c #Conflicts: 638000 | #Constraints: 37266 2570.57/2581.14 c #Conflicts: 639000 | #Constraints: 38266 2570.57/2581.14 c #Conflicts: 640000 | #Constraints: 39266 2570.57/2581.14 c #Conflicts: 641000 | #Constraints: 40266 2570.57/2581.14 c #Conflicts: 642000 | #Constraints: 41266 2570.57/2581.14 c #Conflicts: 643000 | #Constraints: 42266 2570.57/2581.14 c #Conflicts: 644000 | #Constraints: 43266 2570.57/2581.14 c #Conflicts: 645000 | #Constraints: 44266 2570.57/2581.14 c #Conflicts: 646000 | #Constraints: 45266 2570.57/2581.14 c #Conflicts: 647000 | #Constraints: 46266 2570.57/2581.14 c #Conflicts: 648000 | #Constraints: 47266 2570.57/2581.14 c #Conflicts: 649000 | #Constraints: 48266 2570.57/2581.14 c #Conflicts: 650000 | #Constraints: 49266 2570.57/2581.14 c #Conflicts: 651000 | #Constraints: 50266 2570.57/2581.14 c INPROCESSING 2570.57/2581.14 c GARBAGE COLLECT 2570.57/2581.14 c rational objective 150 2938.33/2950.55 c #Conflicts: 652000 | #Constraints: 30981 2938.33/2950.55 c #Conflicts: 653000 | #Constraints: 31981 2938.33/2950.55 c #Conflicts: 654000 | #Constraints: 32981 2938.33/2950.55 c #Conflicts: 655000 | #Constraints: 33981 2938.33/2950.55 c #Conflicts: 656000 | #Constraints: 34981 2938.33/2950.55 c #Conflicts: 657000 | #Constraints: 35981 2938.33/2950.55 c #Conflicts: 658000 | #Constraints: 36981 2938.33/2950.55 c #Conflicts: 659000 | #Constraints: 37981 2938.33/2950.55 c #Conflicts: 660000 | #Constraints: 38981 2938.33/2950.55 c #Conflicts: 661000 | #Constraints: 39981 2938.33/2950.55 c #Conflicts: 662000 | #Constraints: 40981 2938.33/2950.55 c #Conflicts: 663000 | #Constraints: 41981 2938.33/2950.55 c #Conflicts: 664000 | #Constraints: 42981 2938.33/2950.55 c #Conflicts: 665000 | #Constraints: 43981 2938.33/2950.55 c #Conflicts: 666000 | #Constraints: 44981 2938.33/2950.55 c #Conflicts: 667000 | #Constraints: 45981 2938.33/2950.55 c #Conflicts: 668000 | #Constraints: 46981 2938.33/2950.55 c #Conflicts: 669000 | #Constraints: 47981 2938.33/2950.55 c #Conflicts: 670000 | #Constraints: 48981 2938.33/2950.55 c #Conflicts: 671000 | #Constraints: 49981 2938.33/2950.55 c #Conflicts: 672000 | #Constraints: 50981 2938.33/2950.55 c #Conflicts: 673000 | #Constraints: 51981 2938.33/2950.55 c #Conflicts: 674000 | #Constraints: 52981 2938.33/2950.55 c #Conflicts: 675000 | #Constraints: 53981 2938.33/2950.55 c #Conflicts: 676000 | #Constraints: 54981 2938.33/2950.55 c #Conflicts: 677000 | #Constraints: 55981 2938.33/2950.55 c #Conflicts: 678000 | #Constraints: 56981 2938.33/2950.55 c #Conflicts: 679000 | #Constraints: 57981 2938.33/2950.55 c #Conflicts: 680000 | #Constraints: 58981 2938.33/2950.55 c #Conflicts: 681000 | #Constraints: 59981 2938.33/2950.55 c #Conflicts: 682000 | #Constraints: 60981 2938.33/2950.55 c #Conflicts: 683000 | #Constraints: 61981 2938.33/2950.55 c #Conflicts: 684000 | #Constraints: 62981 2938.33/2950.55 c #Conflicts: 685000 | #Constraints: 63981 2938.33/2950.55 c #Conflicts: 686000 | #Constraints: 64981 2938.33/2950.55 c #Conflicts: 687000 | #Constraints: 65981 2938.33/2950.55 c #Conflicts: 688000 | #Constraints: 66981 2938.33/2950.55 c #Conflicts: 689000 | #Constraints: 67981 2938.33/2950.55 c #Conflicts: 690000 | #Constraints: 68981 2938.33/2950.55 c #Conflicts: 691000 | #Constraints: 69981 2938.33/2950.55 c #Conflicts: 692000 | #Constraints: 70981 2938.33/2950.55 c #Conflicts: 693000 | #Constraints: 71981 2938.33/2950.55 c #Conflicts: 694000 | #Constraints: 72981 2938.33/2950.55 c #Conflicts: 695000 | #Constraints: 73981 2938.33/2950.55 c #Conflicts: 696000 | #Constraints: 74981 2938.33/2950.55 c #Conflicts: 697000 | #Constraints: 75981 2938.33/2950.55 c #Conflicts: 698000 | #Constraints: 76981 2938.33/2950.55 c #Conflicts: 699000 | #Constraints: 77981 2938.33/2950.55 c #Conflicts: 700000 | #Constraints: 78981 2938.33/2950.55 c #Conflicts: 701000 | #Constraints: 79981 2938.33/2950.55 c #Conflicts: 702000 | #Constraints: 80981 2938.33/2950.55 c #Conflicts: 703000 | #Constraints: 81981 2938.33/2950.55 c #Conflicts: 704000 | #Constraints: 82981 2938.33/2950.55 c #Conflicts: 705000 | #Constraints: 83981 2938.33/2950.55 c #Conflicts: 706000 | #Constraints: 84981 2938.33/2950.55 c #Conflicts: 707000 | #Constraints: 85981 2938.33/2950.55 c #Conflicts: 708000 | #Constraints: 86981 2938.33/2950.55 c #Conflicts: 709000 | #Constraints: 87981 2938.33/2950.55 c INPROCESSING 2938.33/2950.55 c GARBAGE COLLECT 2938.33/2950.55 c rational objective 150 3236.33/3249.88 c #Conflicts: 710000 | #Constraints: 45314 3236.33/3249.88 c #Conflicts: 711000 | #Constraints: 46314 3236.33/3249.88 c #Conflicts: 712000 | #Constraints: 47314 3236.33/3249.88 c #Conflicts: 713000 | #Constraints: 48314 3236.33/3249.88 c #Conflicts: 714000 | #Constraints: 49314 3236.33/3249.88 c #Conflicts: 715000 | #Constraints: 50314 3236.33/3249.88 c #Conflicts: 716000 | #Constraints: 51314 3236.33/3249.88 c #Conflicts: 717000 | #Constraints: 52314 3236.33/3249.88 c #Conflicts: 718000 | #Constraints: 53314 3236.33/3249.88 c #Conflicts: 719000 | #Constraints: 54314 3236.33/3249.88 c #Conflicts: 720000 | #Constraints: 55314 3236.33/3249.88 c #Conflicts: 721000 | #Constraints: 56314 3236.33/3249.88 c #Conflicts: 722000 | #Constraints: 57314 3236.33/3249.88 c #Conflicts: 723000 | #Constraints: 58314 3236.33/3249.88 c #Conflicts: 724000 | #Constraints: 59314 3236.33/3249.88 c #Conflicts: 725000 | #Constraints: 60314 3236.33/3249.88 c #Conflicts: 726000 | #Constraints: 61314 3236.33/3249.88 c #Conflicts: 727000 | #Constraints: 62314 3236.33/3249.88 c #Conflicts: 728000 | #Constraints: 63314 3236.33/3249.88 c #Conflicts: 729000 | #Constraints: 64314 3236.33/3249.88 c #Conflicts: 730000 | #Constraints: 65314 3236.33/3249.88 c #Conflicts: 731000 | #Constraints: 66314 3236.33/3249.88 c INPROCESSING 3236.33/3249.88 c GARBAGE COLLECT 3236.33/3249.88 c rational objective 150 3434.19/3448.65 c #Conflicts: 732000 | #Constraints: 34953 3434.19/3448.65 c #Conflicts: 733000 | #Constraints: 35953 3434.19/3448.65 c #Conflicts: 734000 | #Constraints: 36953 3434.19/3448.65 c #Conflicts: 735000 | #Constraints: 37953 3434.19/3448.65 c #Conflicts: 736000 | #Constraints: 38953 3434.19/3448.65 c #Conflicts: 737000 | #Constraints: 39953 3434.19/3448.65 c #Conflicts: 738000 | #Constraints: 40953 3434.19/3448.65 c #Conflicts: 739000 | #Constraints: 41953 3434.19/3448.65 c #Conflicts: 740000 | #Constraints: 42953 3434.19/3448.65 c #Conflicts: 741000 | #Constraints: 43953 3434.19/3448.65 c #Conflicts: 742000 | #Constraints: 44953 3434.19/3448.65 c #Conflicts: 743000 | #Constraints: 45953 3434.19/3448.65 c #Conflicts: 744000 | #Constraints: 46953 3434.19/3448.65 c #Conflicts: 745000 | #Constraints: 47953 3434.19/3448.65 c #Conflicts: 746000 | #Constraints: 48953 3434.19/3448.65 c #Conflicts: 747000 | #Constraints: 49953 3434.19/3448.65 c #Conflicts: 748000 | #Constraints: 50953 3434.19/3448.65 c #Conflicts: 749000 | #Constraints: 51953 3434.19/3448.65 c #Conflicts: 750000 | #Constraints: 52953 3434.19/3448.65 c #Conflicts: 751000 | #Constraints: 53953 3434.19/3448.65 c #Conflicts: 752000 | #Constraints: 54953 3434.19/3448.65 c INPROCESSING 3434.19/3448.65 c GARBAGE COLLECT 3434.19/3448.65 c rational objective 150 3600.05/3615.26 c #Conflicts: 753000 | #Constraints: 35338 3600.05/3615.26 c #Conflicts: 754000 | #Constraints: 36338 3600.05/3615.26 c #Conflicts: 755000 | #Constraints: 37338 3600.05/3615.26 c #Conflicts: 756000 | #Constraints: 38338 3600.05/3615.26 c #Conflicts: 757000 | #Constraints: 39338 3600.05/3615.26 c #Conflicts: 758000 | #Constraints: 40338 3600.05/3615.26 c #Conflicts: 759000 | #Constraints: 41338 3600.05/3615.26 c #Conflicts: 760000 | #Constraints: 42338 3600.05/3615.26 c #Conflicts: 761000 | #Constraints: 43338 3600.05/3615.26 c #Conflicts: 762000 | #Constraints: 44338 3600.05/3615.26 c #Conflicts: 763000 | #Constraints: 45338 3600.05/3615.26 c #Conflicts: 764000 | #Constraints: 46338 3600.05/3615.26 c #Conflicts: 765000 | #Constraints: 47338 3600.05/3615.26 c #Conflicts: 766000 | #Constraints: 48338 3600.05/3615.26 c #Conflicts: 767000 | #Constraints: 49338 3600.05/3615.26 c #Conflicts: 768000 | #Constraints: 50338 3600.05/3615.26 c Program interrupted by user. 3600.05/3615.26 c cpu time 3577.54 s 3600.05/3615.26 c deterministic time 299946022376 3.00e+11 3600.05/3615.26 c optimization time 165.128 s 3600.05/3615.26 c total solve time 3412.4 s 3600.05/3615.26 c core-guided solve time 2015.48 s 3600.05/3615.26 c propagation time 3048.97 s 3600.05/3615.26 c conflict analysis time 494.644 s 3600.05/3615.26 c propagations 106336000 3600.05/3615.26 c resolve steps 6844027 3600.05/3615.26 c decisions 5096453 3600.05/3615.26 c conflicts 768997 3600.05/3615.26 c restarts 1627 3600.05/3615.26 c inprocessing phases 44 3600.05/3615.26 c input clauses 296 3600.05/3615.26 c input cardinalities 335 3600.05/3615.26 c input general constraints 880 3600.05/3615.26 c input average constraint length 64.43 3600.05/3615.26 c input average constraint degree 24.58 3600.05/3615.26 c learned clauses 284113 3600.05/3615.26 c learned cardinalities 5472 3600.05/3615.26 c learned general constraints 479429 3600.05/3615.26 c learned average constraint length 189.43 3600.05/3615.26 c learned average constraint degree 4279720.80 3600.05/3615.26 c watched constraints 313662 3600.05/3615.26 c counting constraints 166647 3600.05/3615.26 c gcd simplifications 104625 3600.05/3615.26 c detected cardinalities 2567 3600.05/3615.26 c weakened non-implied lits 36501552 3600.05/3615.26 c weakened non-implying lits 64021 3600.05/3615.26 c original variables 470 3600.05/3615.26 c clausal propagations 12917391 3600.05/3615.26 c cardinality propagations 7034072 3600.05/3615.26 c watched propagations 13088167 3600.05/3615.26 c counting propagations 71407654 3600.05/3615.26 c watch lookups 59698855179 3600.05/3615.26 c watch backjump lookups 54872823172 3600.05/3615.26 c watch checks 167278831996 3600.05/3615.26 c propagation checks 17283838890 3600.05/3615.26 c constraint additions 587254315 3600.05/3615.26 c trail pops 112201203 3600.05/3615.26 c formula constraints 470 3600.05/3615.26 c learned constraints 769010 3600.05/3615.26 c bound constraints 186 3600.05/3615.26 c core-guided constraints 855 3600.05/3615.26 c encountered formula constraints 1233695 3600.05/3615.26 c encountered learned constraints 5476270 3600.05/3615.26 c encountered bound constraints 58 3600.05/3615.26 c encountered core-guided constraints 902987 3600.05/3615.26 c LP total time 43.0242 s 3600.05/3615.26 c LP solve time 41.96 s 3600.05/3615.26 c LP constraints added 470 3600.05/3615.26 c LP constraints removed 0 3600.05/3615.26 c LP pivots internal 771716 3600.05/3615.26 c LP pivots root 13451 3600.05/3615.26 c LP calls 10736 3600.05/3615.26 c LP optimalities 10731 3600.05/3615.26 c LP no pivot count 710 3600.05/3615.26 c LP infeasibilities 2 3600.05/3615.26 c LP valid Farkas constraints 2 3600.05/3615.26 c LP learned Farkas constraints 2 3600.05/3615.26 c LP basis resets 0 3600.05/3615.26 c LP cycling count 0 3600.05/3615.26 c LP singular count 0 3600.05/3615.26 c LP no primal count 0 3600.05/3615.26 c LP no farkas count 0 3600.05/3615.26 c LP other issue count 0 3600.05/3615.26 c LP Gomory cuts 0 3600.05/3615.26 c LP learned cuts 0 3600.05/3615.26 c LP deleted cuts 0 3600.05/3615.26 c LP encountered Gomory constraints 0 3600.05/3615.26 c LP encountered Farkas constraints 9 3600.05/3615.26 c LP encountered learned Farkas constraints 3 3600.05/3615.26 c CG auxiliary variables introduced 335 3600.05/3615.26 c CG solutions found 36 3600.05/3615.26 c CG cores constructed 150 3600.05/3615.26 c CG core cardinality constraints returned 0 3600.05/3615.26 c CG unit cores 0 3600.05/3615.26 c CG single cores 150 3600.05/3615.26 c CG blocks removed during cardinality reduction 0 3600.05/3615.26 c CG first core best 0 3600.05/3615.26 c CG decision core best 0 3600.05/3615.26 c CG core reduction tie 0 3600.05/3615.26 c CG core degree average 1.00 3600.05/3615.26 c CG core slack average 3.79 3600.05/3615.26 s SATISFIABLE 3600.05/3615.26 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 -
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (60326 MiB free)
memory of node 1: 64473 MiB (60503 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460171-1722064838/watcher-4460171-1722064838 -o /tmp/evaluation-result-4460171-1722064838/solver-4460171-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722064838-360036 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460171-1722064838 --lp-cut-gomory=0 HOME/instance-4460171-1722064838.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=360065, runsolver pid=360062
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 0.06 0.08 0.09 5/229 360066
/proc/meminfo: memFree=123707516/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=38860 memory=8788 CPUtime=0.1 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 611 0 0 0 9 1 0 0 20 0 1 0 42473645 39792640 2197 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 9715 2197 1765 992 0 1573 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38860 KiB
Current children cumulated memory: 8788 KiB
[startup+0.213852 s]*
/proc/loadavg: 0.06 0.08 0.09 5/229 360066
/proc/meminfo: memFree=123689540/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=38828 memory=8860 CPUtime=0.21 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 643 0 0 0 20 1 0 0 20 0 1 0 42473645 39759872 2215 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 9707 2215 1765 992 0 1565 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38828 KiB
Current children cumulated memory: 8860 KiB
[startup+0.313328 s]*
/proc/loadavg: 0.06 0.08 0.09 6/223 360066
/proc/meminfo: memFree=123708084/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=38828 memory=8860 CPUtime=0.31 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 644 0 0 0 29 2 0 0 20 0 1 0 42473645 39759872 2215 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 9707 2215 1765 992 0 1565 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38828 KiB
Current children cumulated memory: 8860 KiB
[startup+0.700273 s]
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123679096/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=40604 memory=13672 CPUtime=0.68 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 1318 0 0 0 61 7 0 0 20 0 1 0 42473645 41578496 3418 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 10151 3418 1812 992 0 2009 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40604 KiB
Current children cumulated memory: 13672 KiB
[startup+1.50028 s]
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123653224/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=44564 memory=17828 CPUtime=1.48 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 2404 0 0 0 134 14 0 0 20 0 1 0 42473645 45633536 4457 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 11141 4457 1812 992 0 2999 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44564 KiB
Current children cumulated memory: 17828 KiB
[startup+3.11311 s]
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123471880/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=46400 memory=20432 CPUtime=3.08 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 3033 0 0 0 286 22 0 0 20 0 1 0 42473645 47513600 5108 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 11600 5108 1875 992 0 3458 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 46400 KiB
Current children cumulated memory: 20432 KiB
[startup+6.30029 s]
/proc/loadavg: 0.38 0.15 0.11 5/244 360102
/proc/meminfo: memFree=122666476/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=59928 memory=31208 CPUtime=6.26 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 5233 0 0 0 590 36 0 0 20 0 1 0 42473645 61366272 7802 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 14982 7802 1875 992 0 6840 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 59928 KiB
Current children cumulated memory: 31208 KiB
[startup+12.7003 s]
/proc/loadavg: 0.67 0.21 0.13 5/244 360103
/proc/meminfo: memFree=122236492/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=75724 memory=44796 CPUtime=12.64 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 7609 0 0 0 1206 58 0 0 20 0 1 0 42473645 77541376 11199 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 18931 11199 1875 992 0 10789 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 75724 KiB
Current children cumulated memory: 44796 KiB
[startup+25.5003 s]
/proc/loadavg: 1.41 0.40 0.19 5/244 360105
/proc/meminfo: memFree=121788576/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=80644 memory=51020 CPUtime=25.41 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 8638 0 0 0 2460 81 0 0 20 0 1 0 42473645 82579456 12755 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 20161 12755 1875 992 0 12019 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 80644 KiB
Current children cumulated memory: 51020 KiB
[startup+51.1134 s]
/proc/loadavg: 2.35 0.70 0.30 5/245 360111
/proc/meminfo: memFree=120426112/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=105028 memory=74100 CPUtime=50.91 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 11937 0 0 0 4949 142 0 0 20 0 1 0 42473645 107548672 18525 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 26257 18525 1875 992 0 18115 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 105028 KiB
Current children cumulated memory: 74100 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.24 0.51 5/245 360120
/proc/meminfo: memFree=119243028/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=141004 memory=104884 CPUtime=101.91 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 16154 0 0 0 9975 216 0 0 20 0 1 0 42473645 144388096 26221 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 35251 26221 1891 992 0 27109 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 141004 KiB
Current children cumulated memory: 104884 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.76 0.73 5/245 360130
/proc/meminfo: memFree=118122604/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=143908 memory=107208 CPUtime=161.7 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 16843 0 0 0 15882 288 0 0 20 0 1 0 42473645 147361792 26802 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 35977 26802 1891 992 0 27835 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 143908 KiB
Current children cumulated memory: 107208 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 2.30 0.98 5/245 360141
/proc/meminfo: memFree=115900940/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=152584 memory=113400 CPUtime=221.49 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 18516 0 0 0 21772 377 0 0 20 0 1 0 42473645 156246016 28350 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 38146 28350 1891 992 0 30004 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 152584 KiB
Current children cumulated memory: 113400 KiB
[startup+282.3 s]
/proc/loadavg: 4.61 2.76 1.23 5/244 360535
/proc/meminfo: memFree=114916060/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=220328 memory=162768 CPUtime=281.27 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 26274 0 0 0 27703 424 0 0 20 0 1 0 42473645 225615872 40692 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 55082 40692 1891 992 0 46940 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 220328 KiB
Current children cumulated memory: 162768 KiB
[startup+342.3 s]
/proc/loadavg: 4.38 3.03 1.42 5/243 360545
/proc/meminfo: memFree=113155408/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=220584 memory=163160 CPUtime=341.05 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 26414 0 0 0 33645 460 0 0 20 0 1 0 42473645 225878016 40790 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 55146 40790 1891 992 0 47004 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 220584 KiB
Current children cumulated memory: 163160 KiB
[startup+402.3 s]
/proc/loadavg: 4.33 3.26 1.60 5/248 360561
/proc/meminfo: memFree=112060228/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=220584 memory=163420 CPUtime=400.85 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 26501 0 0 0 39560 525 0 0 20 0 1 0 42473645 225878016 40855 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 55146 40855 1891 992 0 47004 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 220584 KiB
Current children cumulated memory: 163420 KiB
[startup+462.3 s]
/proc/loadavg: 4.42 3.49 1.78 5/254 360745
/proc/meminfo: memFree=111148760/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=220584 memory=163420 CPUtime=460.64 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 26517 0 0 0 45513 551 0 0 20 0 1 0 42473645 225878016 40855 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 55146 40855 1891 992 0 47004 0
################
# More data... #
################
[startup+3162.3 s]*
/proc/loadavg: 4.26 4.20 4.09 5/258 361933
/proc/meminfo: memFree=13347900/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332624 CPUtime=3149.21 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 54132 0 0 0 312868 2053 0 0 20 0 1 0 42473645 482787328 83156 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83156 1891 992 0 109726 0
Current children cumulated CPU time: 3149.21 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332624 KiB
[startup+3222.3 s]*
/proc/loadavg: 4.25 4.21 4.09 5/266 361951
/proc/meminfo: memFree=11075528/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332624 CPUtime=3208.96 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 54136 0 0 0 318822 2074 0 0 20 0 1 0 42473645 482787328 83156 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83156 1891 992 0 109726 0
Current children cumulated CPU time: 3208.96 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332624 KiB
[startup+3282.3 s]*
/proc/loadavg: 4.09 4.17 4.09 5/266 361963
/proc/meminfo: memFree=7570612/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332624 CPUtime=3268.68 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 54138 0 0 0 324768 2100 0 0 20 0 1 0 42473645 482787328 83156 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83156 1891 992 0 109726 0
Current children cumulated CPU time: 3268.68 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332624 KiB
[startup+3342.3 s]*
/proc/loadavg: 4.12 4.17 4.09 5/266 361973
/proc/meminfo: memFree=4621308/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332624 CPUtime=3328.39 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 54138 0 0 0 330709 2130 0 0 20 0 1 0 42473645 482787328 83156 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83156 1891 992 0 109726 0
Current children cumulated CPU time: 3328.39 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332624 KiB
[startup+3402.3 s]*
/proc/loadavg: 4.14 4.16 4.09 5/268 361985
/proc/meminfo: memFree=2173124/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332648 CPUtime=3388.1 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 54145 0 0 0 336651 2159 0 0 20 0 1 0 42473645 482787328 83162 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83162 1891 992 0 109726 0
Current children cumulated CPU time: 3388.1 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332648 KiB
[startup+3462.3 s]*
/proc/loadavg: 4.10 4.15 4.09 5/270 361998
/proc/meminfo: memFree=596316/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332648 CPUtime=3447.83 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 54164 0 0 0 342597 2186 0 0 20 0 1 0 42473645 482787328 83162 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83162 1891 992 0 109726 0
Current children cumulated CPU time: 3447.83 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332648 KiB
[startup+3522.3 s]*
/proc/loadavg: 4.21 4.16 4.10 5/270 362009
/proc/meminfo: memFree=681304/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332648 CPUtime=3507.56 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 54164 0 0 0 348543 2213 0 0 20 0 1 0 42473645 482787328 83162 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83162 1891 992 0 109726 0
Current children cumulated CPU time: 3507.56 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332648 KiB
[startup+3582.3 s]*
/proc/loadavg: 4.13 4.15 4.09 5/272 362023
/proc/meminfo: memFree=631644/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332648 CPUtime=3567.3 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 54165 0 0 0 354493 2237 0 0 20 0 1 0 42473645 482787328 83162 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83162 1891 992 0 109726 0
Current children cumulated CPU time: 3567.3 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332648 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.2 s]
/proc/loadavg: 4.21 4.16 4.10 2/270 362028
/proc/meminfo: memFree=580448/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332648 CPUtime=3600.05 cores=1,3
/proc/360065/stat : 360065 (roundingsat) R 360062 360065 360024 0 -1 4194304 54170 0 0 0 357754 2251 0 0 20 0 1 0 42473645 482787328 83162 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83162 1891 992 0 109726 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.21 4.16 4.10 1/269 362028
/proc/meminfo: memFree=578312/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332648 CPUtime=3600.05 cores=1,3
/proc/360065/stat : 360065 (roundingsat) D 360062 360065 360024 0 -1 4194304 54175 0 1 0 357754 2251 0 0 20 0 1 0 42473645 482787328 83162 134679101440 4194304 8254357 140727704963536 0 0 256 0 0 25182210 0 0 0 17 1 0 0 158 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83162 1891 992 0 109726 0
??? kill 360065 sig 9
??? end of watcher thread
[startup+3620.09 s]
# the end of solver process 360065 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3577.54 s, system=22.5457 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3616.3 s]*
/proc/loadavg: 4.21 4.16 4.10 1/269 362028
/proc/meminfo: memFree=578528/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332648 CPUtime=3600.05 cores=1,3
/proc/360065/stat : 360065 (roundingsat) D 360062 360065 360024 0 -1 4194304 54175 0 1 0 357754 2251 0 0 20 0 1 0 42473645 482787328 83162 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 158 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83162 1891 992 0 109726 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332648 KiB
[startup+3616.7 s]
/proc/loadavg: 4.21 4.16 4.10 1/269 362028
/proc/meminfo: memFree=578528/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332648 CPUtime=3600.05 cores=1,3
/proc/360065/stat : 360065 (roundingsat) D 360062 360065 360024 0 -1 4194304 54175 0 1 0 357754 2251 0 0 20 0 1 0 42473645 482787328 83162 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 158 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83162 1891 992 0 109726 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332648 KiB
[startup+3617.1 s]
/proc/loadavg: 4.21 4.16 4.10 1/269 362028
/proc/meminfo: memFree=578528/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332648 CPUtime=3600.05 cores=1,3
/proc/360065/stat : 360065 (roundingsat) D 360062 360065 360024 0 -1 4194304 54175 0 1 0 357754 2251 0 0 20 0 1 0 42473645 482787328 83162 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 158 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83162 1891 992 0 109726 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332648 KiB
[startup+3617.2 s]
/proc/loadavg: 4.21 4.16 4.10 1/269 362028
/proc/meminfo: memFree=578528/131655788 swapFree=131061684/131071996
[pid=360065] ppid=360062 vsize=471472 memory=332648 CPUtime=3600.05 cores=1,3
/proc/360065/stat : 360065 (roundingsat) D 360062 360065 360024 0 -1 4194304 54175 0 1 0 357754 2251 0 0 20 0 1 0 42473645 482787328 83162 134679101440 4194304 8254357 140727704963536 0 0 0 0 0 25182210 0 0 0 17 1 0 0 158 0 0 9037040 9046032 25546752 140727704970079 140727704970341 140727704970341 140727704977353 0
/proc/360065/statm: 117868 83162 1891 992 0 109726 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 332648 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3620.09
CPU time (s): 3600.09
CPU user time (s): 3577.54
CPU system time (s): 22.5457
CPU usage (%): 99.4474
Max. virtual memory (cumulated for all children) (KiB): 472140
Max. memory (cumulated for all children) (KiB): 333188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.54
system time used= 22.5457
maximum resident set size= 333188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54175
page faults= 1
swaps= 0
block input operations= 4224
block output operations= 4107680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103
involuntary context switches= 5303
# summary of solver processes directly reported to runsolver:
# pid: 360065
# total CPU time (s): 3600.09
# total CPU user time (s): 3577.54
# total CPU system time (s): 22.5457
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.559 second user time and 40.1357 second system time
The end
Begin job on nodeC011 at 2024-07-27 09:20:38 IDJOB=4460171 IDBENCH=147543 IDSOLVER=3086 FILE ID=nodeC011/4460171-1722064838 RUNJOBID= nodeC011-1722064838-360036 SLURM_JOB_ID= 8248113 Free space on /tmp= 723784 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.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-4460171-1722064838/watcher-4460171-1722064838 -o /tmp/evaluation-result-4460171-1722064838/solver-4460171-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722064838-360036 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460171-1722064838 --lp-cut-gomory=0 HOME/instance-4460171-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80 RANDOM SEED=1957297555 nodeC011.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.398 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 : 6984.36 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.331 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.35 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.325 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 : 6984.36 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.319 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.35 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.385 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 : 6984.36 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.345 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.35 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.324 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 : 6984.36 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.323 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.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123760116 kB MemAvailable: 130008244 kB Buffers: 357964 kB Cached: 6719524 kB SwapCached: 164 kB Active: 1886788 kB Inactive: 5466088 kB Active(anon): 2088 kB Inactive(anon): 326376 kB Active(file): 1884700 kB Inactive(file): 5139712 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061684 kB Dirty: 6944 kB Writeback: 4 kB AnonPages: 275332 kB Mapped: 99192 kB Shmem: 52980 kB KReclaimable: 127832 kB Slab: 232984 kB SReclaimable: 127832 kB SUnreclaim: 105152 kB KernelStack: 3616 kB PageTables: 9472 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 715888 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12096 kB HardwareCorrupted: 0 kB AnonHugePages: 157696 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: 424776 kB DirectMap2M: 46665728 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723708 MiB End job on nodeC011 at 2024-07-27 10:20:58