| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | SAT (TO) | 199 | 3600.05 | 3609.5 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
| MD5SUM | 1da12ebdd4ab5e725928f3bf845b8b1e |
| 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 | 186 |
| 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 | 479 |
| Total number of constraints | 479 |
| 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 | 479 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 17 |
| Number of terms in the objective function | 479 |
| 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 | 479 |
| 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 | 479 |
| 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.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.01 c #variables 479 #constraints 479 0.41/0.51 c bounds 480 >= 0 @ 0.007093 0.41/0.51 c bounds 235 >= 0 @ 0.379308 0.41/0.51 c bounds 235 >= 1 @ 0.379572 0.41/0.51 c bounds 235 >= 2 @ 0.379749 0.41/0.51 c bounds 235 >= 3 @ 0.379914 0.41/0.51 c bounds 235 >= 4 @ 0.380083 0.41/0.51 c bounds 235 >= 5 @ 0.380248 0.41/0.51 c bounds 235 >= 6 @ 0.380424 0.41/0.51 c bounds 235 >= 7 @ 0.38063 0.41/0.51 c bounds 235 >= 8 @ 0.380875 0.41/0.51 c bounds 235 >= 9 @ 0.381109 0.41/0.51 c bounds 235 >= 10 @ 0.38135 0.41/0.51 c bounds 235 >= 11 @ 0.381428 0.41/0.51 c bounds 235 >= 12 @ 0.381428 0.41/0.51 c bounds 235 >= 13 @ 0.381428 0.41/0.51 c bounds 235 >= 14 @ 0.381428 0.41/0.51 c bounds 235 >= 15 @ 0.381719 0.41/0.51 c bounds 235 >= 16 @ 0.382008 0.41/0.51 c bounds 235 >= 17 @ 0.382305 0.41/0.51 c bounds 235 >= 18 @ 0.382423 0.41/0.51 c bounds 235 >= 19 @ 0.382423 0.41/0.51 c bounds 235 >= 20 @ 0.382423 0.41/0.51 c bounds 235 >= 21 @ 0.382423 0.41/0.51 c bounds 235 >= 22 @ 0.382423 0.41/0.51 c bounds 235 >= 23 @ 0.382423 0.41/0.51 c bounds 235 >= 24 @ 0.382423 0.41/0.51 c bounds 235 >= 25 @ 0.382423 0.41/0.51 c bounds 235 >= 26 @ 0.382458 0.41/0.51 c bounds 234 >= 26 @ 0.420131 0.41/0.51 c bounds 234 >= 27 @ 0.420549 0.41/0.51 c bounds 234 >= 28 @ 0.42094 0.41/0.51 c bounds 234 >= 29 @ 0.421193 0.41/0.51 c bounds 234 >= 30 @ 0.421193 0.41/0.51 c bounds 234 >= 31 @ 0.421193 0.41/0.51 c bounds 234 >= 32 @ 0.421717 0.41/0.51 c bounds 234 >= 33 @ 0.422637 0.41/0.51 c bounds 234 >= 34 @ 0.423091 0.41/0.51 c bounds 234 >= 35 @ 0.423521 0.41/0.51 c bounds 234 >= 36 @ 0.42397 0.41/0.51 c bounds 234 >= 37 @ 0.424424 0.41/0.51 c bounds 234 >= 38 @ 0.424866 0.41/0.51 c bounds 234 >= 39 @ 0.425174 0.41/0.51 c bounds 234 >= 40 @ 0.425174 0.41/0.51 c bounds 234 >= 41 @ 0.425262 0.41/0.51 c bounds 234 >= 42 @ 0.425711 0.41/0.51 c bounds 234 >= 43 @ 0.426128 0.41/0.51 c bounds 234 >= 44 @ 0.426167 0.41/0.51 c bounds 234 >= 45 @ 0.426167 0.41/0.51 c bounds 234 >= 46 @ 0.426167 0.41/0.51 c bounds 234 >= 47 @ 0.426167 0.41/0.51 c bounds 234 >= 48 @ 0.426279 0.41/0.51 c bounds 234 >= 49 @ 0.426725 0.41/0.51 c bounds 234 >= 50 @ 0.427138 0.41/0.51 c bounds 234 >= 51 @ 0.427598 0.41/0.51 c bounds 234 >= 52 @ 0.428038 0.41/0.51 c bounds 234 >= 53 @ 0.428154 0.41/0.51 c bounds 234 >= 54 @ 0.428154 0.41/0.51 c bounds 234 >= 55 @ 0.428393 0.41/0.51 c bounds 234 >= 56 @ 0.428851 0.41/0.51 c bounds 234 >= 57 @ 0.429148 0.41/0.51 c bounds 234 >= 58 @ 0.429148 0.41/0.51 c bounds 234 >= 59 @ 0.429232 0.41/0.51 c bounds 234 >= 60 @ 0.429694 0.41/0.51 c bounds 234 >= 61 @ 0.430108 0.41/0.51 c bounds 234 >= 62 @ 0.430608 0.41/0.51 c bounds 234 >= 63 @ 0.431068 0.41/0.51 c bounds 234 >= 64 @ 0.431133 0.41/0.51 c bounds 234 >= 65 @ 0.431133 0.41/0.51 c bounds 234 >= 66 @ 0.431498 0.41/0.51 c bounds 234 >= 67 @ 0.431952 0.41/0.51 c bounds 234 >= 68 @ 0.432127 0.41/0.51 c bounds 234 >= 69 @ 0.432127 0.41/0.51 c bounds 234 >= 70 @ 0.432127 0.41/0.51 c bounds 234 >= 71 @ 0.432127 0.41/0.51 c bounds 234 >= 72 @ 0.432127 0.41/0.51 c bounds 234 >= 73 @ 0.432127 0.41/0.51 c bounds 234 >= 74 @ 0.432323 0.41/0.51 c bounds 234 >= 75 @ 0.432815 0.41/0.51 c bounds 234 >= 76 @ 0.433115 0.41/0.51 c bounds 234 >= 77 @ 0.433115 0.41/0.51 c bounds 234 >= 78 @ 0.433489 0.41/0.51 c bounds 234 >= 79 @ 0.433872 0.41/0.51 c bounds 234 >= 80 @ 0.434106 0.41/0.51 c bounds 234 >= 81 @ 0.434106 0.41/0.51 c bounds 234 >= 82 @ 0.434106 0.41/0.51 c bounds 234 >= 83 @ 0.434106 0.41/0.51 c bounds 234 >= 84 @ 0.434106 0.41/0.51 c bounds 234 >= 85 @ 0.434106 0.41/0.51 c bounds 234 >= 86 @ 0.434106 0.41/0.51 c bounds 234 >= 87 @ 0.434106 0.41/0.51 c bounds 234 >= 88 @ 0.434106 0.41/0.51 c bounds 234 >= 89 @ 0.434106 0.41/0.51 c bounds 234 >= 90 @ 0.434106 0.41/0.51 c bounds 234 >= 91 @ 0.434106 0.41/0.51 c bounds 234 >= 92 @ 0.434351 0.41/0.51 c bounds 234 >= 93 @ 0.434705 0.41/0.51 c bounds 234 >= 94 @ 0.435043 0.41/0.51 c bounds 234 >= 95 @ 0.435091 0.41/0.51 c bounds 234 >= 96 @ 0.435091 0.41/0.51 c bounds 234 >= 97 @ 0.435091 0.41/0.51 c bounds 234 >= 98 @ 0.435426 0.41/0.51 c bounds 234 >= 99 @ 0.435769 0.41/0.51 c bounds 234 >= 100 @ 0.436078 0.41/0.51 c bounds 234 >= 101 @ 0.436431 0.41/0.51 c bounds 234 >= 102 @ 0.43678 0.41/0.51 c bounds 234 >= 103 @ 0.437139 0.41/0.51 c bounds 234 >= 104 @ 0.437491 0.41/0.51 c bounds 234 >= 105 @ 0.437843 0.41/0.51 c bounds 234 >= 106 @ 0.438078 0.41/0.51 c bounds 234 >= 107 @ 0.438078 0.41/0.51 c bounds 234 >= 108 @ 0.438078 0.41/0.51 c bounds 234 >= 109 @ 0.438078 0.41/0.51 c bounds 234 >= 110 @ 0.438078 0.41/0.51 c bounds 234 >= 111 @ 0.438108 0.41/0.51 c bounds 234 >= 112 @ 0.438468 0.41/0.51 c bounds 234 >= 113 @ 0.438811 0.41/0.51 c bounds 234 >= 114 @ 0.43906 0.41/0.51 c bounds 234 >= 115 @ 0.43906 0.41/0.51 c bounds 234 >= 116 @ 0.43906 0.41/0.51 c bounds 234 >= 117 @ 0.439261 0.41/0.51 c bounds 234 >= 118 @ 0.439624 0.41/0.51 c bounds 234 >= 119 @ 0.440003 0.41/0.51 c bounds 234 >= 120 @ 0.440063 0.41/0.51 c bounds 234 >= 121 @ 0.440063 0.41/0.51 c bounds 234 >= 122 @ 0.440063 0.41/0.51 c bounds 234 >= 123 @ 0.440063 0.41/0.51 c bounds 234 >= 124 @ 0.440063 0.41/0.51 c bounds 234 >= 125 @ 0.440063 0.41/0.51 c bounds 234 >= 126 @ 0.440063 0.41/0.51 c bounds 234 >= 127 @ 0.440063 0.41/0.51 c bounds 234 >= 128 @ 0.440063 0.41/0.51 c bounds 234 >= 129 @ 0.440063 0.41/0.51 c bounds 234 >= 130 @ 0.440092 0.41/0.51 c bounds 234 >= 131 @ 0.440526 0.41/0.51 c bounds 234 >= 132 @ 0.440941 0.41/0.51 c bounds 234 >= 133 @ 0.441379 0.41/0.51 c bounds 234 >= 134 @ 0.441875 1.10/1.12 c bounds 234 >= 135 @ 0.442377 1.10/1.12 c bounds 234 >= 136 @ 0.442869 1.10/1.12 c bounds 234 >= 137 @ 0.443363 1.10/1.12 c bounds 234 >= 138 @ 0.443893 1.10/1.12 c bounds 234 >= 139 @ 0.44438 1.10/1.12 c bounds 234 >= 140 @ 0.444996 1.10/1.12 c bounds 234 >= 141 @ 0.445035 1.10/1.12 c bounds 234 >= 142 @ 0.445145 1.10/1.12 c bounds 234 >= 143 @ 0.445687 1.10/1.12 c bounds 234 >= 144 @ 0.446027 1.10/1.12 c bounds 234 >= 145 @ 0.44622 1.10/1.12 c bounds 234 >= 146 @ 0.448233 1.10/1.12 c bounds 234 >= 147 @ 0.450469 1.10/1.12 c bounds 234 >= 148 @ 0.457964 1.10/1.12 c bounds 234 >= 149 @ 0.462932 1.10/1.12 c bounds 233 >= 149 @ 0.474554 1.10/1.12 c bounds 233 >= 150 @ 0.513028 1.10/1.12 c bounds 232 >= 150 @ 0.515597 1.10/1.12 c bounds 231 >= 150 @ 0.517263 1.10/1.12 c bounds 230 >= 150 @ 0.520819 1.10/1.12 c bounds 229 >= 150 @ 0.525075 1.10/1.12 c bounds 228 >= 150 @ 0.544286 1.10/1.12 c bounds 227 >= 150 @ 0.554492 1.10/1.12 c bounds 226 >= 150 @ 0.559605 1.10/1.12 c bounds 225 >= 150 @ 0.618635 1.10/1.12 c #Conflicts: 1000 | #Constraints: 2237 1.10/1.12 c bounds 225 >= 151 @ 0.801999 1.10/1.12 c bounds 224 >= 151 @ 0.810336 1.10/1.12 c bounds 223 >= 151 @ 0.817469 1.10/1.12 c bounds 222 >= 151 @ 0.837284 1.10/1.12 c bounds 221 >= 151 @ 0.853803 1.10/1.12 c bounds 220 >= 151 @ 0.863893 1.10/1.12 c #Conflicts: 2000 | #Constraints: 3296 1.10/1.12 c INPROCESSING 1.10/1.12 c GARBAGE COLLECT 1.10/1.12 c rational objective 151 1.88/1.97 c bounds 219 >= 151 @ 1.15238 1.88/1.97 c bounds 218 >= 151 @ 1.15469 1.88/1.97 c bounds 217 >= 151 @ 1.15857 1.88/1.97 c bounds 216 >= 151 @ 1.17007 1.88/1.97 c bounds 215 >= 151 @ 1.24647 1.88/1.97 c #Conflicts: 3000 | #Constraints: 3143 1.88/1.97 c bounds 215 >= 152 @ 1.51455 1.88/1.97 c bounds 214 >= 152 @ 1.5241 1.88/1.97 c bounds 213 >= 152 @ 1.62671 1.88/1.97 c bounds 212 >= 152 @ 1.63866 1.88/1.97 c bounds 211 >= 152 @ 1.66089 1.88/1.97 c #Conflicts: 4000 | #Constraints: 4183 1.88/1.97 c INPROCESSING 1.88/1.97 c GARBAGE COLLECT 1.88/1.97 c rational objective 152 2.78/2.87 c bounds 210 >= 152 @ 1.98005 2.78/2.87 c #Conflicts: 5000 | #Constraints: 3581 2.78/2.87 c #Conflicts: 6000 | #Constraints: 4581 2.78/2.87 c INPROCESSING 2.78/2.87 c GARBAGE COLLECT 2.78/2.87 c rational objective 152 3.58/3.65 c bounds 209 >= 152 @ 2.76211 3.58/3.65 c #Conflicts: 7000 | #Constraints: 3644 3.58/3.65 c #Conflicts: 8000 | #Constraints: 4644 3.58/3.65 c #Conflicts: 9000 | #Constraints: 5644 3.58/3.65 c INPROCESSING 3.58/3.65 c GARBAGE COLLECT 3.58/3.65 c rational objective 152 4.47/4.55 c #Conflicts: 10000 | #Constraints: 4319 4.47/4.55 c #Conflicts: 11000 | #Constraints: 5319 4.47/4.55 c #Conflicts: 12000 | #Constraints: 6319 4.47/4.55 c INPROCESSING 4.47/4.55 c GARBAGE COLLECT 4.47/4.55 c rational objective 152 7.98/8.08 c bounds 209 >= 153 @ 4.45564 7.98/8.08 c #Conflicts: 13000 | #Constraints: 4827 7.98/8.08 c #Conflicts: 14000 | #Constraints: 5827 7.98/8.08 c #Conflicts: 15000 | #Constraints: 6827 7.98/8.08 c INPROCESSING 7.98/8.08 c GARBAGE COLLECT 7.98/8.08 c #Conflicts: 16000 | #Constraints: 5108 7.98/8.08 c bounds 208 >= 153 @ 6.21745 7.98/8.08 c bounds 207 >= 153 @ 6.29465 7.98/8.08 c #Conflicts: 17000 | #Constraints: 6178 7.98/8.08 c #Conflicts: 18000 | #Constraints: 7626 7.98/8.08 c INPROCESSING 7.98/8.08 c GARBAGE COLLECT 7.98/8.08 c rational objective 153 10.86/10.94 c #Conflicts: 19000 | #Constraints: 5356 10.86/10.94 c #Conflicts: 20000 | #Constraints: 6356 10.86/10.94 c #Conflicts: 21000 | #Constraints: 7356 10.86/10.94 c INPROCESSING 10.86/10.94 c GARBAGE COLLECT 10.86/10.94 c rational objective 153 15.25/15.34 c #Conflicts: 22000 | #Constraints: 5083 15.25/15.34 c bounds 206 >= 153 @ 10.5762 15.25/15.34 c #Conflicts: 23000 | #Constraints: 6084 15.25/15.34 c #Conflicts: 24000 | #Constraints: 7084 15.25/15.34 c #Conflicts: 25000 | #Constraints: 8084 15.25/15.34 c INPROCESSING 15.25/15.34 c GARBAGE COLLECT 15.25/15.34 c #Conflicts: 26000 | #Constraints: 5575 15.25/15.34 c #Conflicts: 27000 | #Constraints: 6575 15.25/15.34 c bounds 205 >= 153 @ 13.3439 15.25/15.34 c #Conflicts: 28000 | #Constraints: 7809 15.25/15.34 c #Conflicts: 29000 | #Constraints: 8809 15.25/15.34 c INPROCESSING 15.25/15.34 c GARBAGE COLLECT 15.25/15.34 c rational objective 153 17.74/17.84 c #Conflicts: 30000 | #Constraints: 6099 17.74/17.84 c #Conflicts: 31000 | #Constraints: 7100 17.74/17.84 c bounds 205 >= 154 @ 15.9942 17.74/17.84 c #Conflicts: 32000 | #Constraints: 8142 17.74/17.84 c #Conflicts: 33000 | #Constraints: 9143 17.74/17.84 c INPROCESSING 17.74/17.84 c GARBAGE COLLECT 17.74/17.84 c rational objective 154 36.20/36.34 c #Conflicts: 34000 | #Constraints: 6232 36.20/36.34 c #Conflicts: 35000 | #Constraints: 7264 36.20/36.34 c #Conflicts: 36000 | #Constraints: 8264 36.20/36.34 c #Conflicts: 37000 | #Constraints: 9264 36.20/36.34 c #Conflicts: 38000 | #Constraints: 10264 36.20/36.34 c bounds 204 >= 154 @ 19.5527 36.20/36.34 c #Conflicts: 39000 | #Constraints: 11265 36.20/36.34 c #Conflicts: 40000 | #Constraints: 12265 36.20/36.34 c #Conflicts: 41000 | #Constraints: 13265 36.20/36.34 c #Conflicts: 42000 | #Constraints: 14265 36.20/36.34 c #Conflicts: 43000 | #Constraints: 15265 36.20/36.34 c #Conflicts: 44000 | #Constraints: 16265 36.20/36.34 c #Conflicts: 45000 | #Constraints: 17265 36.20/36.34 c #Conflicts: 46000 | #Constraints: 18265 36.20/36.34 c #Conflicts: 47000 | #Constraints: 19265 36.20/36.34 c #Conflicts: 48000 | #Constraints: 20265 36.20/36.34 c INPROCESSING 36.20/36.34 c GARBAGE COLLECT 36.20/36.34 c rational objective 154 39.59/39.70 c #Conflicts: 49000 | #Constraints: 11871 39.59/39.70 c #Conflicts: 50000 | #Constraints: 12871 39.59/39.70 c #Conflicts: 51000 | #Constraints: 13871 39.59/39.70 c #Conflicts: 52000 | #Constraints: 14871 39.59/39.70 c #Conflicts: 53000 | #Constraints: 15878 39.59/39.70 c INPROCESSING 39.59/39.70 c GARBAGE COLLECT 39.59/39.70 c rational objective 154 44.17/44.37 c #Conflicts: 54000 | #Constraints: 9510 44.17/44.37 c #Conflicts: 55000 | #Constraints: 10594 44.17/44.37 c #Conflicts: 56000 | #Constraints: 11655 44.17/44.37 c bounds 203 >= 154 @ 40.1131 44.17/44.37 c #Conflicts: 57000 | #Constraints: 12689 44.17/44.37 c #Conflicts: 58000 | #Constraints: 13796 44.17/44.37 c INPROCESSING 44.17/44.37 c GARBAGE COLLECT 44.17/44.37 c rational objective 154 50.46/50.60 c #Conflicts: 59000 | #Constraints: 8209 50.46/50.60 c #Conflicts: 60000 | #Constraints: 9280 50.46/50.60 c #Conflicts: 61000 | #Constraints: 10384 50.46/50.60 c #Conflicts: 62000 | #Constraints: 11533 50.46/50.60 c #Conflicts: 63000 | #Constraints: 12616 50.46/50.60 c #Conflicts: 64000 | #Constraints: 13693 50.46/50.60 c INPROCESSING 50.46/50.60 c GARBAGE COLLECT 50.46/50.60 c rational objective 154 84.79/85.02 c #Conflicts: 65000 | #Constraints: 8261 84.79/85.02 c #Conflicts: 66000 | #Constraints: 9262 84.79/85.02 c #Conflicts: 67000 | #Constraints: 10263 84.79/85.02 c #Conflicts: 68000 | #Constraints: 11263 84.79/85.02 c #Conflicts: 69000 | #Constraints: 12263 84.79/85.02 c #Conflicts: 70000 | #Constraints: 13263 84.79/85.02 c #Conflicts: 71000 | #Constraints: 14263 84.79/85.02 c #Conflicts: 72000 | #Constraints: 15263 84.79/85.02 c #Conflicts: 73000 | #Constraints: 16264 84.79/85.02 c #Conflicts: 74000 | #Constraints: 17264 84.79/85.02 c #Conflicts: 75000 | #Constraints: 18264 84.79/85.02 c #Conflicts: 76000 | #Constraints: 19264 84.79/85.02 c #Conflicts: 77000 | #Constraints: 20264 84.79/85.02 c #Conflicts: 78000 | #Constraints: 21264 84.79/85.02 c #Conflicts: 79000 | #Constraints: 22264 84.79/85.02 c bounds 203 >= 155 @ 68.8148 84.79/85.02 c bounds 202 >= 155 @ 68.8987 84.79/85.02 c #Conflicts: 80000 | #Constraints: 23310 84.79/85.02 c #Conflicts: 81000 | #Constraints: 24310 84.79/85.02 c #Conflicts: 82000 | #Constraints: 25311 84.79/85.02 c #Conflicts: 83000 | #Constraints: 26463 84.79/85.02 c #Conflicts: 84000 | #Constraints: 27720 84.79/85.02 c INPROCESSING 84.79/85.02 c GARBAGE COLLECT 84.79/85.02 c #Conflicts: 85000 | #Constraints: 15198 84.79/85.02 c #Conflicts: 86000 | #Constraints: 16198 84.79/85.02 c #Conflicts: 87000 | #Constraints: 17261 84.79/85.02 c #Conflicts: 88000 | #Constraints: 18356 84.79/85.02 c #Conflicts: 89000 | #Constraints: 19433 84.79/85.02 c #Conflicts: 90000 | #Constraints: 20436 84.79/85.02 c #Conflicts: 91000 | #Constraints: 21437 84.79/85.02 c INPROCESSING 84.79/85.02 c GARBAGE COLLECT 84.79/85.02 c rational objective 155 91.56/91.87 c #Conflicts: 92000 | #Constraints: 12005 91.56/91.87 c #Conflicts: 93000 | #Constraints: 13007 91.56/91.87 c #Conflicts: 94000 | #Constraints: 14059 91.56/91.87 c #Conflicts: 95000 | #Constraints: 15069 91.56/91.87 c #Conflicts: 96000 | #Constraints: 16081 91.56/91.87 c #Conflicts: 97000 | #Constraints: 17084 91.56/91.87 c #Conflicts: 98000 | #Constraints: 18088 91.56/91.87 c #Conflicts: 99000 | #Constraints: 19181 91.56/91.87 c INPROCESSING 91.56/91.87 c GARBAGE COLLECT 91.56/91.87 c rational objective 155 99.05/99.37 c #Conflicts: 100000 | #Constraints: 11276 99.05/99.37 c #Conflicts: 101000 | #Constraints: 12276 99.05/99.37 c #Conflicts: 102000 | #Constraints: 13276 99.05/99.37 c #Conflicts: 103000 | #Constraints: 14276 99.05/99.37 c #Conflicts: 104000 | #Constraints: 15276 99.05/99.37 c #Conflicts: 105000 | #Constraints: 16276 99.05/99.37 c #Conflicts: 106000 | #Constraints: 17276 99.05/99.37 c INPROCESSING 99.05/99.37 c GARBAGE COLLECT 99.05/99.37 c rational objective 155 145.73/146.15 c bounds 201 >= 155 @ 97.0059 145.73/146.15 c #Conflicts: 107000 | #Constraints: 10201 145.73/146.15 c #Conflicts: 108000 | #Constraints: 11201 145.73/146.15 c #Conflicts: 109000 | #Constraints: 12201 145.73/146.15 c #Conflicts: 110000 | #Constraints: 13201 145.73/146.15 c #Conflicts: 111000 | #Constraints: 14201 145.73/146.15 c #Conflicts: 112000 | #Constraints: 15201 145.73/146.15 c #Conflicts: 113000 | #Constraints: 16201 145.73/146.15 c #Conflicts: 114000 | #Constraints: 17201 145.73/146.15 c #Conflicts: 115000 | #Constraints: 18201 145.73/146.15 c #Conflicts: 116000 | #Constraints: 19201 145.73/146.15 c #Conflicts: 117000 | #Constraints: 20201 145.73/146.15 c #Conflicts: 118000 | #Constraints: 21201 145.73/146.15 c #Conflicts: 119000 | #Constraints: 22201 145.73/146.15 c #Conflicts: 120000 | #Constraints: 23212 145.73/146.15 c #Conflicts: 121000 | #Constraints: 24372 145.73/146.15 c #Conflicts: 122000 | #Constraints: 25418 145.73/146.15 c #Conflicts: 123000 | #Constraints: 26418 145.73/146.15 c #Conflicts: 124000 | #Constraints: 27418 145.73/146.15 c #Conflicts: 125000 | #Constraints: 28418 145.73/146.15 c #Conflicts: 126000 | #Constraints: 29418 145.73/146.15 c #Conflicts: 127000 | #Constraints: 30418 145.73/146.15 c #Conflicts: 128000 | #Constraints: 31418 145.73/146.15 c #Conflicts: 129000 | #Constraints: 32418 145.73/146.15 c #Conflicts: 130000 | #Constraints: 33418 145.73/146.15 c #Conflicts: 131000 | #Constraints: 34418 145.73/146.15 c #Conflicts: 132000 | #Constraints: 35418 145.73/146.15 c INPROCESSING 145.73/146.15 c GARBAGE COLLECT 145.73/146.15 c rational objective 155 185.72/186.26 c #Conflicts: 133000 | #Constraints: 19405 185.72/186.26 c #Conflicts: 134000 | #Constraints: 20406 185.72/186.26 c #Conflicts: 135000 | #Constraints: 21406 185.72/186.26 c #Conflicts: 136000 | #Constraints: 22406 185.72/186.26 c #Conflicts: 137000 | #Constraints: 23406 185.72/186.26 c #Conflicts: 138000 | #Constraints: 24406 185.72/186.26 c #Conflicts: 139000 | #Constraints: 25406 185.72/186.26 c #Conflicts: 140000 | #Constraints: 26406 185.72/186.26 c INPROCESSING 185.72/186.26 c GARBAGE COLLECT 185.72/186.26 c rational objective 155 199.78/200.36 c #Conflicts: 141000 | #Constraints: 14621 199.78/200.36 c #Conflicts: 142000 | #Constraints: 15621 199.78/200.36 c #Conflicts: 143000 | #Constraints: 16621 199.78/200.36 c #Conflicts: 144000 | #Constraints: 17621 199.78/200.36 c #Conflicts: 145000 | #Constraints: 18622 199.78/200.36 c #Conflicts: 146000 | #Constraints: 19622 199.78/200.36 c #Conflicts: 147000 | #Constraints: 20622 199.78/200.36 c #Conflicts: 148000 | #Constraints: 21622 199.78/200.36 c #Conflicts: 149000 | #Constraints: 22622 199.78/200.36 c INPROCESSING 199.78/200.36 c GARBAGE COLLECT 199.78/200.36 c rational objective 155 280.16/281.01 c #Conflicts: 150000 | #Constraints: 12778 280.16/281.01 c #Conflicts: 151000 | #Constraints: 13778 280.16/281.01 c #Conflicts: 152000 | #Constraints: 14780 280.16/281.01 c #Conflicts: 153000 | #Constraints: 15780 280.16/281.01 c #Conflicts: 154000 | #Constraints: 16780 280.16/281.01 c #Conflicts: 155000 | #Constraints: 17780 280.16/281.01 c #Conflicts: 156000 | #Constraints: 18780 280.16/281.01 c #Conflicts: 157000 | #Constraints: 19780 280.16/281.01 c #Conflicts: 158000 | #Constraints: 20780 280.16/281.01 c #Conflicts: 159000 | #Constraints: 21780 280.16/281.01 c #Conflicts: 160000 | #Constraints: 22785 280.16/281.01 c #Conflicts: 161000 | #Constraints: 23785 280.16/281.01 c #Conflicts: 162000 | #Constraints: 24785 280.16/281.01 c #Conflicts: 163000 | #Constraints: 25785 280.16/281.01 c #Conflicts: 164000 | #Constraints: 26785 280.16/281.01 c #Conflicts: 165000 | #Constraints: 27785 280.16/281.01 c #Conflicts: 166000 | #Constraints: 28785 280.16/281.01 c #Conflicts: 167000 | #Constraints: 29786 280.16/281.01 c #Conflicts: 168000 | #Constraints: 30787 280.16/281.01 c #Conflicts: 169000 | #Constraints: 31787 280.16/281.01 c #Conflicts: 170000 | #Constraints: 32787 280.16/281.01 c #Conflicts: 171000 | #Constraints: 33787 280.16/281.01 c #Conflicts: 172000 | #Constraints: 34787 280.16/281.01 c #Conflicts: 173000 | #Constraints: 35787 280.16/281.01 c #Conflicts: 174000 | #Constraints: 36787 280.16/281.01 c #Conflicts: 175000 | #Constraints: 37787 280.16/281.01 c #Conflicts: 176000 | #Constraints: 38787 280.16/281.01 c #Conflicts: 177000 | #Constraints: 39787 280.16/281.01 c #Conflicts: 178000 | #Constraints: 40787 280.16/281.01 c #Conflicts: 179000 | #Constraints: 41787 280.16/281.01 c INPROCESSING 280.16/281.01 c GARBAGE COLLECT 280.16/281.01 c rational objective 155 294.02/294.80 c #Conflicts: 180000 | #Constraints: 22469 294.02/294.80 c #Conflicts: 181000 | #Constraints: 23469 294.02/294.80 c bounds 200 >= 155 @ 278.25 294.02/294.80 c #Conflicts: 182000 | #Constraints: 24470 294.02/294.80 c #Conflicts: 183000 | #Constraints: 25470 294.02/294.80 c #Conflicts: 184000 | #Constraints: 26472 294.02/294.80 c #Conflicts: 185000 | #Constraints: 27472 294.02/294.80 c #Conflicts: 186000 | #Constraints: 28472 294.02/294.80 c #Conflicts: 187000 | #Constraints: 29472 294.02/294.80 c #Conflicts: 188000 | #Constraints: 30472 294.02/294.80 c #Conflicts: 189000 | #Constraints: 31472 294.02/294.80 c INPROCESSING 294.02/294.80 c GARBAGE COLLECT 294.02/294.80 c rational objective 155 308.38/309.26 c #Conflicts: 190000 | #Constraints: 17126 308.38/309.26 c #Conflicts: 191000 | #Constraints: 18137 308.38/309.26 c #Conflicts: 192000 | #Constraints: 19157 308.38/309.26 c #Conflicts: 193000 | #Constraints: 20233 308.38/309.26 c #Conflicts: 194000 | #Constraints: 21233 308.38/309.26 c #Conflicts: 195000 | #Constraints: 22233 308.38/309.26 c #Conflicts: 196000 | #Constraints: 23233 308.38/309.26 c bounds 199 >= 155 @ 298.291 308.38/309.26 c #Conflicts: 197000 | #Constraints: 24235 308.38/309.26 c #Conflicts: 198000 | #Constraints: 25428 308.38/309.26 c #Conflicts: 199000 | #Constraints: 26428 308.38/309.26 c #Conflicts: 200000 | #Constraints: 27429 308.38/309.26 c INPROCESSING 308.38/309.26 c GARBAGE COLLECT 308.38/309.26 c rational objective 155 381.99/383.10 c #Conflicts: 201000 | #Constraints: 15450 381.99/383.10 c #Conflicts: 202000 | #Constraints: 16496 381.99/383.10 c #Conflicts: 203000 | #Constraints: 17565 381.99/383.10 c #Conflicts: 204000 | #Constraints: 18609 381.99/383.10 c #Conflicts: 205000 | #Constraints: 19707 381.99/383.10 c #Conflicts: 206000 | #Constraints: 20825 381.99/383.10 c #Conflicts: 207000 | #Constraints: 21963 381.99/383.10 c #Conflicts: 208000 | #Constraints: 23059 381.99/383.10 c #Conflicts: 209000 | #Constraints: 24195 381.99/383.10 c #Conflicts: 210000 | #Constraints: 25215 381.99/383.10 c #Conflicts: 211000 | #Constraints: 26215 381.99/383.10 c #Conflicts: 212000 | #Constraints: 27216 381.99/383.10 c #Conflicts: 213000 | #Constraints: 28245 381.99/383.10 c #Conflicts: 214000 | #Constraints: 29266 381.99/383.10 c #Conflicts: 215000 | #Constraints: 30440 381.99/383.10 c #Conflicts: 216000 | #Constraints: 31576 381.99/383.10 c #Conflicts: 217000 | #Constraints: 32630 381.99/383.10 c #Conflicts: 218000 | #Constraints: 33710 381.99/383.10 c #Conflicts: 219000 | #Constraints: 34792 381.99/383.10 c #Conflicts: 220000 | #Constraints: 35819 381.99/383.10 c #Conflicts: 221000 | #Constraints: 36862 381.99/383.10 c #Conflicts: 222000 | #Constraints: 37886 381.99/383.10 c #Conflicts: 223000 | #Constraints: 38986 381.99/383.10 c #Conflicts: 224000 | #Constraints: 40016 381.99/383.10 c #Conflicts: 225000 | #Constraints: 41028 381.99/383.10 c #Conflicts: 226000 | #Constraints: 42259 381.99/383.10 c #Conflicts: 227000 | #Constraints: 43413 381.99/383.10 c #Conflicts: 228000 | #Constraints: 44427 381.99/383.10 c #Conflicts: 229000 | #Constraints: 45521 381.99/383.10 c #Conflicts: 230000 | #Constraints: 46595 381.99/383.10 c #Conflicts: 231000 | #Constraints: 47655 381.99/383.10 c #Conflicts: 232000 | #Constraints: 48732 381.99/383.10 c #Conflicts: 233000 | #Constraints: 49791 381.99/383.10 c #Conflicts: 234000 | #Constraints: 50869 381.99/383.10 c INPROCESSING 381.99/383.10 c GARBAGE COLLECT 381.99/383.10 c rational objective 155 454.79/456.01 c #Conflicts: 235000 | #Constraints: 27120 454.79/456.01 c #Conflicts: 236000 | #Constraints: 28120 454.79/456.01 c #Conflicts: 237000 | #Constraints: 29120 454.79/456.01 c #Conflicts: 238000 | #Constraints: 30120 454.79/456.01 c #Conflicts: 239000 | #Constraints: 31120 454.79/456.01 c #Conflicts: 240000 | #Constraints: 32120 454.79/456.01 c #Conflicts: 241000 | #Constraints: 33120 454.79/456.01 c #Conflicts: 242000 | #Constraints: 34121 454.79/456.01 c #Conflicts: 243000 | #Constraints: 35121 454.79/456.01 c #Conflicts: 244000 | #Constraints: 36121 454.79/456.01 c #Conflicts: 245000 | #Constraints: 37121 454.79/456.01 c INPROCESSING 454.79/456.01 c GARBAGE COLLECT 454.79/456.01 c rational objective 155 485.59/486.92 c #Conflicts: 246000 | #Constraints: 19978 485.59/486.92 c #Conflicts: 247000 | #Constraints: 20978 485.59/486.92 c #Conflicts: 248000 | #Constraints: 21978 485.59/486.92 c #Conflicts: 249000 | #Constraints: 22978 485.59/486.92 c #Conflicts: 250000 | #Constraints: 23978 485.59/486.92 c #Conflicts: 251000 | #Constraints: 24978 485.59/486.92 c #Conflicts: 252000 | #Constraints: 25978 485.59/486.92 c #Conflicts: 253000 | #Constraints: 26978 485.59/486.92 c #Conflicts: 254000 | #Constraints: 27978 485.59/486.92 c #Conflicts: 255000 | #Constraints: 28978 485.59/486.92 c #Conflicts: 256000 | #Constraints: 29978 485.59/486.92 c #Conflicts: 257000 | #Constraints: 30978 485.59/486.92 c INPROCESSING 485.59/486.92 c GARBAGE COLLECT 485.59/486.92 c rational objective 155 604.94/606.66 c #Conflicts: 258000 | #Constraints: 17397 604.94/606.66 c #Conflicts: 259000 | #Constraints: 18401 604.94/606.66 c #Conflicts: 260000 | #Constraints: 19407 604.94/606.66 c #Conflicts: 261000 | #Constraints: 20421 604.94/606.66 c #Conflicts: 262000 | #Constraints: 21467 604.94/606.66 c #Conflicts: 263000 | #Constraints: 22468 604.94/606.66 c #Conflicts: 264000 | #Constraints: 23468 604.94/606.66 c #Conflicts: 265000 | #Constraints: 24512 604.94/606.66 c #Conflicts: 266000 | #Constraints: 25525 604.94/606.66 c #Conflicts: 267000 | #Constraints: 26548 604.94/606.66 c #Conflicts: 268000 | #Constraints: 27589 604.94/606.66 c #Conflicts: 269000 | #Constraints: 28817 604.94/606.66 c #Conflicts: 270000 | #Constraints: 29930 604.94/606.66 c #Conflicts: 271000 | #Constraints: 31131 604.94/606.66 c #Conflicts: 272000 | #Constraints: 32188 604.94/606.66 c #Conflicts: 273000 | #Constraints: 33280 604.94/606.66 c #Conflicts: 274000 | #Constraints: 34401 604.94/606.66 c #Conflicts: 275000 | #Constraints: 35498 604.94/606.66 c #Conflicts: 276000 | #Constraints: 36538 604.94/606.66 c #Conflicts: 277000 | #Constraints: 37573 604.94/606.66 c #Conflicts: 278000 | #Constraints: 38641 604.94/606.66 c #Conflicts: 279000 | #Constraints: 39695 604.94/606.66 c #Conflicts: 280000 | #Constraints: 40764 604.94/606.66 c #Conflicts: 281000 | #Constraints: 41828 604.94/606.66 c #Conflicts: 282000 | #Constraints: 42942 604.94/606.66 c #Conflicts: 283000 | #Constraints: 43974 604.94/606.66 c #Conflicts: 284000 | #Constraints: 45078 604.94/606.66 c #Conflicts: 285000 | #Constraints: 46140 604.94/606.66 c #Conflicts: 286000 | #Constraints: 47173 604.94/606.66 c #Conflicts: 287000 | #Constraints: 48222 604.94/606.66 c #Conflicts: 288000 | #Constraints: 49284 604.94/606.66 c #Conflicts: 289000 | #Constraints: 50314 604.94/606.66 c #Conflicts: 290000 | #Constraints: 51400 604.94/606.66 c #Conflicts: 291000 | #Constraints: 52400 604.94/606.66 c #Conflicts: 292000 | #Constraints: 53401 604.94/606.66 c #Conflicts: 293000 | #Constraints: 54402 604.94/606.66 c #Conflicts: 294000 | #Constraints: 55463 604.94/606.66 c #Conflicts: 295000 | #Constraints: 56481 604.94/606.66 c INPROCESSING 604.94/606.66 c GARBAGE COLLECT 604.94/606.66 c rational objective 155 696.69/698.67 c #Conflicts: 296000 | #Constraints: 29551 696.69/698.67 c #Conflicts: 297000 | #Constraints: 30551 696.69/698.67 c #Conflicts: 298000 | #Constraints: 31551 696.69/698.67 c #Conflicts: 299000 | #Constraints: 32551 696.69/698.67 c #Conflicts: 300000 | #Constraints: 33551 696.69/698.67 c #Conflicts: 301000 | #Constraints: 34551 696.69/698.67 c #Conflicts: 302000 | #Constraints: 35551 696.69/698.67 c #Conflicts: 303000 | #Constraints: 36551 696.69/698.67 c #Conflicts: 304000 | #Constraints: 37551 696.69/698.67 c #Conflicts: 305000 | #Constraints: 38551 696.69/698.67 c #Conflicts: 306000 | #Constraints: 39551 696.69/698.67 c #Conflicts: 307000 | #Constraints: 40551 696.69/698.67 c #Conflicts: 308000 | #Constraints: 41551 696.69/698.67 c #Conflicts: 309000 | #Constraints: 42551 696.69/698.67 c INPROCESSING 696.69/698.67 c GARBAGE COLLECT 696.69/698.67 c rational objective 155 738.48/740.55 c #Conflicts: 310000 | #Constraints: 23053 738.48/740.55 c #Conflicts: 311000 | #Constraints: 24053 738.48/740.55 c #Conflicts: 312000 | #Constraints: 25053 738.48/740.55 c #Conflicts: 313000 | #Constraints: 26054 738.48/740.55 c #Conflicts: 314000 | #Constraints: 27058 738.48/740.55 c #Conflicts: 315000 | #Constraints: 28058 738.48/740.55 c #Conflicts: 316000 | #Constraints: 29060 738.48/740.55 c #Conflicts: 317000 | #Constraints: 30065 738.48/740.55 c #Conflicts: 318000 | #Constraints: 31065 738.48/740.55 c #Conflicts: 319000 | #Constraints: 32065 738.48/740.55 c #Conflicts: 320000 | #Constraints: 33065 738.48/740.55 c #Conflicts: 321000 | #Constraints: 34065 738.48/740.55 c #Conflicts: 322000 | #Constraints: 35065 738.48/740.55 c INPROCESSING 738.48/740.55 c GARBAGE COLLECT 738.48/740.55 c rational objective 155 928.14/930.72 c #Conflicts: 323000 | #Constraints: 20044 928.14/930.72 c #Conflicts: 324000 | #Constraints: 21044 928.14/930.72 c #Conflicts: 325000 | #Constraints: 22047 928.14/930.72 c #Conflicts: 326000 | #Constraints: 23417 928.14/930.72 c #Conflicts: 327000 | #Constraints: 24944 928.14/930.72 c #Conflicts: 328000 | #Constraints: 26061 928.14/930.72 c #Conflicts: 329000 | #Constraints: 27206 928.14/930.72 c #Conflicts: 330000 | #Constraints: 28206 928.14/930.72 c #Conflicts: 331000 | #Constraints: 29206 928.14/930.72 c #Conflicts: 332000 | #Constraints: 30206 928.14/930.72 c #Conflicts: 333000 | #Constraints: 31208 928.14/930.72 c #Conflicts: 334000 | #Constraints: 32432 928.14/930.72 c #Conflicts: 335000 | #Constraints: 33470 928.14/930.72 c #Conflicts: 336000 | #Constraints: 34487 928.14/930.72 c #Conflicts: 337000 | #Constraints: 35494 928.14/930.72 c #Conflicts: 338000 | #Constraints: 36512 928.14/930.72 c #Conflicts: 339000 | #Constraints: 37563 928.14/930.72 c #Conflicts: 340000 | #Constraints: 38601 928.14/930.72 c #Conflicts: 341000 | #Constraints: 39601 928.14/930.72 c #Conflicts: 342000 | #Constraints: 40665 928.14/930.73 c #Conflicts: 343000 | #Constraints: 41716 928.14/930.73 c #Conflicts: 344000 | #Constraints: 42745 928.14/930.73 c #Conflicts: 345000 | #Constraints: 43830 928.14/930.73 c #Conflicts: 346000 | #Constraints: 44873 928.14/930.73 c #Conflicts: 347000 | #Constraints: 45900 928.14/930.73 c #Conflicts: 348000 | #Constraints: 46941 928.14/930.73 c #Conflicts: 349000 | #Constraints: 48224 928.14/930.73 c #Conflicts: 350000 | #Constraints: 49271 928.14/930.73 c #Conflicts: 351000 | #Constraints: 50292 928.14/930.73 c #Conflicts: 352000 | #Constraints: 51434 928.14/930.73 c #Conflicts: 353000 | #Constraints: 52461 928.14/930.73 c #Conflicts: 354000 | #Constraints: 53535 928.14/930.73 c #Conflicts: 355000 | #Constraints: 54606 928.14/930.73 c #Conflicts: 356000 | #Constraints: 55625 928.14/930.73 c #Conflicts: 357000 | #Constraints: 56765 928.14/930.73 c #Conflicts: 358000 | #Constraints: 57836 928.14/930.73 c #Conflicts: 359000 | #Constraints: 58958 928.14/930.73 c #Conflicts: 360000 | #Constraints: 59993 928.14/930.73 c #Conflicts: 361000 | #Constraints: 61081 928.14/930.73 c #Conflicts: 362000 | #Constraints: 62130 928.14/930.73 c #Conflicts: 363000 | #Constraints: 63201 928.14/930.73 c #Conflicts: 364000 | #Constraints: 64227 928.14/930.73 c INPROCESSING 928.14/930.73 c GARBAGE COLLECT 928.14/930.73 c rational objective 155 1046.82/1049.77 c #Conflicts: 365000 | #Constraints: 33404 1046.82/1049.77 c #Conflicts: 366000 | #Constraints: 34405 1046.82/1049.77 c #Conflicts: 367000 | #Constraints: 35405 1046.82/1049.77 c #Conflicts: 368000 | #Constraints: 36405 1046.82/1049.77 c #Conflicts: 369000 | #Constraints: 37407 1046.82/1049.77 c #Conflicts: 370000 | #Constraints: 38408 1046.82/1049.77 c #Conflicts: 371000 | #Constraints: 39408 1046.82/1049.77 c #Conflicts: 372000 | #Constraints: 40408 1046.82/1049.77 c #Conflicts: 373000 | #Constraints: 41408 1046.82/1049.77 c #Conflicts: 374000 | #Constraints: 42408 1046.82/1049.77 c #Conflicts: 375000 | #Constraints: 43408 1046.82/1049.77 c #Conflicts: 376000 | #Constraints: 44408 1046.82/1049.77 c #Conflicts: 377000 | #Constraints: 45408 1046.82/1049.77 c #Conflicts: 378000 | #Constraints: 46408 1046.82/1049.77 c #Conflicts: 379000 | #Constraints: 47408 1046.82/1049.77 c INPROCESSING 1046.82/1049.77 c GARBAGE COLLECT 1046.82/1049.77 c rational objective 155 1103.27/1106.33 c #Conflicts: 380000 | #Constraints: 25231 1103.27/1106.33 c #Conflicts: 381000 | #Constraints: 26231 1103.27/1106.33 c #Conflicts: 382000 | #Constraints: 27231 1103.27/1106.33 c #Conflicts: 383000 | #Constraints: 28233 1103.27/1106.33 c #Conflicts: 384000 | #Constraints: 29236 1103.27/1106.33 c #Conflicts: 385000 | #Constraints: 30237 1103.27/1106.33 c #Conflicts: 386000 | #Constraints: 31237 1103.27/1106.33 c #Conflicts: 387000 | #Constraints: 32238 1103.27/1106.33 c #Conflicts: 388000 | #Constraints: 33238 1103.27/1106.33 c #Conflicts: 389000 | #Constraints: 34239 1103.27/1106.33 c #Conflicts: 390000 | #Constraints: 35240 1103.27/1106.33 c #Conflicts: 391000 | #Constraints: 36242 1103.27/1106.33 c #Conflicts: 392000 | #Constraints: 37243 1103.27/1106.33 c #Conflicts: 393000 | #Constraints: 38243 1103.27/1106.33 c #Conflicts: 394000 | #Constraints: 39245 1103.27/1106.33 c INPROCESSING 1103.27/1106.33 c GARBAGE COLLECT 1103.27/1106.33 c rational objective 155 1347.99/1351.61 c #Conflicts: 395000 | #Constraints: 23272 1347.99/1351.61 c #Conflicts: 396000 | #Constraints: 24274 1347.99/1351.61 c #Conflicts: 397000 | #Constraints: 25276 1347.99/1351.61 c #Conflicts: 398000 | #Constraints: 26277 1347.99/1351.61 c #Conflicts: 399000 | #Constraints: 27279 1347.99/1351.61 c #Conflicts: 400000 | #Constraints: 28279 1347.99/1351.61 c #Conflicts: 401000 | #Constraints: 29280 1347.99/1351.61 c #Conflicts: 402000 | #Constraints: 30280 1347.99/1351.61 c #Conflicts: 403000 | #Constraints: 31281 1347.99/1351.61 c #Conflicts: 404000 | #Constraints: 32281 1347.99/1351.61 c #Conflicts: 405000 | #Constraints: 33281 1347.99/1351.61 c #Conflicts: 406000 | #Constraints: 34283 1347.99/1351.61 c #Conflicts: 407000 | #Constraints: 35285 1347.99/1351.61 c #Conflicts: 408000 | #Constraints: 36288 1347.99/1351.61 c #Conflicts: 409000 | #Constraints: 37290 1347.99/1351.61 c #Conflicts: 410000 | #Constraints: 38293 1347.99/1351.61 c #Conflicts: 411000 | #Constraints: 39294 1347.99/1351.61 c #Conflicts: 412000 | #Constraints: 40298 1347.99/1351.61 c #Conflicts: 413000 | #Constraints: 41301 1347.99/1351.61 c #Conflicts: 414000 | #Constraints: 42302 1347.99/1351.61 c #Conflicts: 415000 | #Constraints: 43304 1347.99/1351.61 c #Conflicts: 416000 | #Constraints: 44306 1347.99/1351.61 c #Conflicts: 417000 | #Constraints: 45307 1347.99/1351.61 c #Conflicts: 418000 | #Constraints: 46308 1347.99/1351.61 c #Conflicts: 419000 | #Constraints: 47310 1347.99/1351.61 c #Conflicts: 420000 | #Constraints: 48311 1347.99/1351.61 c #Conflicts: 421000 | #Constraints: 49313 1347.99/1351.61 c #Conflicts: 422000 | #Constraints: 50315 1347.99/1351.61 c #Conflicts: 423000 | #Constraints: 51315 1347.99/1351.61 c #Conflicts: 424000 | #Constraints: 52316 1347.99/1351.61 c #Conflicts: 425000 | #Constraints: 53317 1347.99/1351.61 c #Conflicts: 426000 | #Constraints: 54319 1347.99/1351.61 c #Conflicts: 427000 | #Constraints: 55320 1347.99/1351.61 c #Conflicts: 428000 | #Constraints: 56322 1347.99/1351.61 c #Conflicts: 429000 | #Constraints: 57324 1347.99/1351.61 c #Conflicts: 430000 | #Constraints: 58325 1347.99/1351.61 c #Conflicts: 431000 | #Constraints: 59326 1347.99/1351.61 c #Conflicts: 432000 | #Constraints: 60328 1347.99/1351.61 c #Conflicts: 433000 | #Constraints: 61329 1347.99/1351.61 c #Conflicts: 434000 | #Constraints: 62330 1347.99/1351.61 c #Conflicts: 435000 | #Constraints: 63331 1347.99/1351.61 c #Conflicts: 436000 | #Constraints: 64334 1347.99/1351.61 c bounds 199 >= 156 @ 1330.58 1347.99/1351.61 c #Conflicts: 437000 | #Constraints: 65400 1347.99/1351.61 c #Conflicts: 438000 | #Constraints: 66400 1347.99/1351.61 c #Conflicts: 439000 | #Constraints: 67400 1347.99/1351.61 c #Conflicts: 440000 | #Constraints: 68400 1347.99/1351.61 c #Conflicts: 441000 | #Constraints: 69404 1347.99/1351.61 c INPROCESSING 1347.99/1351.61 c GARBAGE COLLECT 1347.99/1351.61 c rational objective 156 1391.78/1395.50 c #Conflicts: 442000 | #Constraints: 36429 1391.78/1395.50 c #Conflicts: 443000 | #Constraints: 37434 1391.78/1395.50 c #Conflicts: 444000 | #Constraints: 38490 1391.78/1395.50 c #Conflicts: 445000 | #Constraints: 39525 1391.78/1395.50 c #Conflicts: 446000 | #Constraints: 40574 1391.78/1395.50 c #Conflicts: 447000 | #Constraints: 41574 1391.78/1395.50 c #Conflicts: 448000 | #Constraints: 42575 1391.78/1395.50 c #Conflicts: 449000 | #Constraints: 43584 1391.78/1395.50 c #Conflicts: 450000 | #Constraints: 44586 1391.78/1395.50 c #Conflicts: 451000 | #Constraints: 45596 1391.78/1395.50 c #Conflicts: 452000 | #Constraints: 46638 1391.78/1395.50 c #Conflicts: 453000 | #Constraints: 47677 1391.78/1395.50 c #Conflicts: 454000 | #Constraints: 48713 1391.78/1395.50 c #Conflicts: 455000 | #Constraints: 49739 1391.78/1395.50 c #Conflicts: 456000 | #Constraints: 50770 1391.78/1395.50 c #Conflicts: 457000 | #Constraints: 51779 1391.78/1395.50 c INPROCESSING 1391.78/1395.50 c GARBAGE COLLECT 1391.78/1395.50 c rational objective 156 1442.97/1446.81 c #Conflicts: 458000 | #Constraints: 27519 1442.97/1446.81 c #Conflicts: 459000 | #Constraints: 28519 1442.97/1446.81 c #Conflicts: 460000 | #Constraints: 29568 1442.97/1446.81 c #Conflicts: 461000 | #Constraints: 30568 1442.97/1446.81 c #Conflicts: 462000 | #Constraints: 31583 1442.97/1446.81 c #Conflicts: 463000 | #Constraints: 32587 1442.97/1446.81 c #Conflicts: 464000 | #Constraints: 33587 1442.97/1446.81 c #Conflicts: 465000 | #Constraints: 34587 1442.97/1446.81 c #Conflicts: 466000 | #Constraints: 35587 1442.97/1446.81 c #Conflicts: 467000 | #Constraints: 36587 1442.97/1446.81 c #Conflicts: 468000 | #Constraints: 37587 1442.97/1446.81 c #Conflicts: 469000 | #Constraints: 38587 1442.97/1446.81 c #Conflicts: 470000 | #Constraints: 39587 1442.97/1446.81 c #Conflicts: 471000 | #Constraints: 40587 1442.97/1446.81 c #Conflicts: 472000 | #Constraints: 41588 1442.97/1446.81 c #Conflicts: 473000 | #Constraints: 42588 1442.97/1446.81 c INPROCESSING 1442.97/1446.81 c GARBAGE COLLECT 1442.97/1446.81 c rational objective 156 1720.52/1725.05 c #Conflicts: 474000 | #Constraints: 25741 1720.52/1725.05 c #Conflicts: 475000 | #Constraints: 26741 1720.52/1725.05 c #Conflicts: 476000 | #Constraints: 27741 1720.52/1725.05 c #Conflicts: 477000 | #Constraints: 28741 1720.52/1725.05 c #Conflicts: 478000 | #Constraints: 29741 1720.52/1725.05 c #Conflicts: 479000 | #Constraints: 30741 1720.52/1725.05 c #Conflicts: 480000 | #Constraints: 31741 1720.52/1725.05 c #Conflicts: 481000 | #Constraints: 32741 1720.52/1725.05 c #Conflicts: 482000 | #Constraints: 33741 1720.52/1725.05 c #Conflicts: 483000 | #Constraints: 34741 1720.52/1725.05 c #Conflicts: 484000 | #Constraints: 35741 1720.52/1725.05 c #Conflicts: 485000 | #Constraints: 36741 1720.52/1725.05 c #Conflicts: 486000 | #Constraints: 37741 1720.52/1725.05 c #Conflicts: 487000 | #Constraints: 38741 1720.52/1725.05 c #Conflicts: 488000 | #Constraints: 39741 1720.52/1725.05 c #Conflicts: 489000 | #Constraints: 40741 1720.52/1725.05 c #Conflicts: 490000 | #Constraints: 41741 1720.52/1725.05 c #Conflicts: 491000 | #Constraints: 42741 1720.52/1725.05 c #Conflicts: 492000 | #Constraints: 43741 1720.52/1725.05 c #Conflicts: 493000 | #Constraints: 44741 1720.52/1725.05 c #Conflicts: 494000 | #Constraints: 45741 1720.52/1725.05 c #Conflicts: 495000 | #Constraints: 46741 1720.52/1725.05 c #Conflicts: 496000 | #Constraints: 47741 1720.52/1725.05 c #Conflicts: 497000 | #Constraints: 48741 1720.52/1725.05 c #Conflicts: 498000 | #Constraints: 49741 1720.52/1725.05 c #Conflicts: 499000 | #Constraints: 50741 1720.52/1725.05 c #Conflicts: 500000 | #Constraints: 51741 1720.52/1725.05 c #Conflicts: 501000 | #Constraints: 52741 1720.52/1725.05 c #Conflicts: 502000 | #Constraints: 53741 1720.52/1725.05 c #Conflicts: 503000 | #Constraints: 54741 1720.52/1725.05 c #Conflicts: 504000 | #Constraints: 55741 1720.52/1725.05 c #Conflicts: 505000 | #Constraints: 56741 1720.52/1725.05 c #Conflicts: 506000 | #Constraints: 57741 1720.52/1725.05 c #Conflicts: 507000 | #Constraints: 58741 1720.52/1725.05 c #Conflicts: 508000 | #Constraints: 59741 1720.52/1725.05 c #Conflicts: 509000 | #Constraints: 60741 1720.52/1725.05 c #Conflicts: 510000 | #Constraints: 61741 1720.52/1725.05 c #Conflicts: 511000 | #Constraints: 62741 1720.52/1725.05 c #Conflicts: 512000 | #Constraints: 63742 1720.52/1725.05 c #Conflicts: 513000 | #Constraints: 64742 1720.52/1725.05 c #Conflicts: 514000 | #Constraints: 65742 1720.52/1725.05 c #Conflicts: 515000 | #Constraints: 66743 1720.52/1725.05 c #Conflicts: 516000 | #Constraints: 67744 1720.52/1725.05 c #Conflicts: 517000 | #Constraints: 68744 1720.52/1725.05 c #Conflicts: 518000 | #Constraints: 69744 1720.52/1725.05 c #Conflicts: 519000 | #Constraints: 70744 1720.52/1725.05 c #Conflicts: 520000 | #Constraints: 71744 1720.52/1725.05 c #Conflicts: 521000 | #Constraints: 72744 1720.52/1725.05 c #Conflicts: 522000 | #Constraints: 73744 1720.52/1725.05 c #Conflicts: 523000 | #Constraints: 74744 1720.52/1725.05 c #Conflicts: 524000 | #Constraints: 75744 1720.52/1725.05 c INPROCESSING 1720.52/1725.05 c GARBAGE COLLECT 1720.52/1725.05 c rational objective 156 1785.56/1790.23 c #Conflicts: 525000 | #Constraints: 39419 1785.56/1790.23 c #Conflicts: 526000 | #Constraints: 40419 1785.56/1790.23 c #Conflicts: 527000 | #Constraints: 41419 1785.56/1790.23 c #Conflicts: 528000 | #Constraints: 42419 1785.56/1790.23 c #Conflicts: 529000 | #Constraints: 43419 1785.56/1790.23 c #Conflicts: 530000 | #Constraints: 44420 1785.56/1790.23 c #Conflicts: 531000 | #Constraints: 45421 1785.56/1790.23 c #Conflicts: 532000 | #Constraints: 46437 1785.56/1790.23 c #Conflicts: 533000 | #Constraints: 47474 1785.56/1790.23 c #Conflicts: 534000 | #Constraints: 48474 1785.56/1790.23 c #Conflicts: 535000 | #Constraints: 49474 1785.56/1790.23 c #Conflicts: 536000 | #Constraints: 50516 1785.56/1790.23 c #Conflicts: 537000 | #Constraints: 51591 1785.56/1790.23 c #Conflicts: 538000 | #Constraints: 52595 1785.56/1790.23 c #Conflicts: 539000 | #Constraints: 53642 1785.56/1790.23 c #Conflicts: 540000 | #Constraints: 54642 1785.56/1790.23 c #Conflicts: 541000 | #Constraints: 55642 1785.56/1790.23 c #Conflicts: 542000 | #Constraints: 56644 1785.56/1790.23 c INPROCESSING 1785.56/1790.23 c GARBAGE COLLECT 1785.56/1790.23 c rational objective 156 2103.48/2108.99 c #Conflicts: 543000 | #Constraints: 33918 2103.48/2108.99 c #Conflicts: 544000 | #Constraints: 34918 2103.48/2108.99 c #Conflicts: 545000 | #Constraints: 35918 2103.48/2108.99 c #Conflicts: 546000 | #Constraints: 36918 2103.48/2108.99 c #Conflicts: 547000 | #Constraints: 37924 2103.48/2108.99 c #Conflicts: 548000 | #Constraints: 38957 2103.48/2108.99 c #Conflicts: 549000 | #Constraints: 40010 2103.48/2108.99 c #Conflicts: 550000 | #Constraints: 41066 2103.48/2108.99 c #Conflicts: 551000 | #Constraints: 42072 2103.48/2108.99 c #Conflicts: 552000 | #Constraints: 43072 2103.48/2108.99 c #Conflicts: 553000 | #Constraints: 44072 2103.48/2108.99 c #Conflicts: 554000 | #Constraints: 45083 2103.48/2108.99 c #Conflicts: 555000 | #Constraints: 46083 2103.48/2108.99 c #Conflicts: 556000 | #Constraints: 47083 2103.48/2108.99 c #Conflicts: 557000 | #Constraints: 48083 2103.48/2108.99 c #Conflicts: 558000 | #Constraints: 49083 2103.48/2108.99 c #Conflicts: 559000 | #Constraints: 50083 2103.48/2108.99 c #Conflicts: 560000 | #Constraints: 51083 2103.48/2108.99 c #Conflicts: 561000 | #Constraints: 52090 2103.48/2108.99 c #Conflicts: 562000 | #Constraints: 53090 2103.48/2108.99 c #Conflicts: 563000 | #Constraints: 54092 2103.48/2108.99 c #Conflicts: 564000 | #Constraints: 55094 2103.48/2108.99 c #Conflicts: 565000 | #Constraints: 56095 2103.48/2108.99 c #Conflicts: 566000 | #Constraints: 57095 2103.48/2108.99 c #Conflicts: 567000 | #Constraints: 58112 2103.48/2108.99 c #Conflicts: 568000 | #Constraints: 59112 2103.48/2108.99 c #Conflicts: 569000 | #Constraints: 60123 2103.48/2108.99 c #Conflicts: 570000 | #Constraints: 61123 2103.48/2108.99 c #Conflicts: 571000 | #Constraints: 62123 2103.48/2108.99 c #Conflicts: 572000 | #Constraints: 63123 2103.48/2108.99 c #Conflicts: 573000 | #Constraints: 64123 2103.48/2108.99 c #Conflicts: 574000 | #Constraints: 65123 2103.48/2108.99 c #Conflicts: 575000 | #Constraints: 66123 2103.48/2108.99 c #Conflicts: 576000 | #Constraints: 67123 2103.48/2108.99 c #Conflicts: 577000 | #Constraints: 68123 2103.48/2108.99 c #Conflicts: 578000 | #Constraints: 69123 2103.48/2108.99 c #Conflicts: 579000 | #Constraints: 70123 2103.48/2108.99 c #Conflicts: 580000 | #Constraints: 71123 2103.48/2108.99 c #Conflicts: 581000 | #Constraints: 72123 2103.48/2108.99 c #Conflicts: 582000 | #Constraints: 73125 2103.48/2108.99 c #Conflicts: 583000 | #Constraints: 74253 2103.48/2108.99 c #Conflicts: 584000 | #Constraints: 75276 2103.48/2108.99 c #Conflicts: 585000 | #Constraints: 76276 2103.48/2108.99 c #Conflicts: 586000 | #Constraints: 77331 2103.48/2108.99 c #Conflicts: 587000 | #Constraints: 78347 2103.48/2108.99 c #Conflicts: 588000 | #Constraints: 79347 2103.48/2108.99 c #Conflicts: 589000 | #Constraints: 80348 2103.48/2108.99 c #Conflicts: 590000 | #Constraints: 81348 2103.48/2108.99 c #Conflicts: 591000 | #Constraints: 82348 2103.48/2108.99 c #Conflicts: 592000 | #Constraints: 83348 2103.48/2108.99 c #Conflicts: 593000 | #Constraints: 84350 2103.48/2108.99 c #Conflicts: 594000 | #Constraints: 85360 2103.48/2108.99 c #Conflicts: 595000 | #Constraints: 86369 2103.48/2108.99 c #Conflicts: 596000 | #Constraints: 87424 2103.48/2108.99 c INPROCESSING 2103.48/2108.99 c GARBAGE COLLECT 2103.48/2108.99 c rational objective 156 2315.13/2321.13 c #Conflicts: 597000 | #Constraints: 45445 2315.13/2321.13 c #Conflicts: 598000 | #Constraints: 46449 2315.13/2321.13 c #Conflicts: 599000 | #Constraints: 47449 2315.13/2321.13 c #Conflicts: 600000 | #Constraints: 48449 2315.13/2321.13 c #Conflicts: 601000 | #Constraints: 49449 2315.13/2321.13 c #Conflicts: 602000 | #Constraints: 50449 2315.13/2321.13 c #Conflicts: 603000 | #Constraints: 51449 2315.13/2321.13 c #Conflicts: 604000 | #Constraints: 52449 2315.13/2321.13 c #Conflicts: 605000 | #Constraints: 53449 2315.13/2321.13 c #Conflicts: 606000 | #Constraints: 54449 2315.13/2321.13 c #Conflicts: 607000 | #Constraints: 55449 2315.13/2321.13 c #Conflicts: 608000 | #Constraints: 56449 2315.13/2321.13 c #Conflicts: 609000 | #Constraints: 57449 2315.13/2321.13 c #Conflicts: 610000 | #Constraints: 58449 2315.13/2321.13 c #Conflicts: 611000 | #Constraints: 59449 2315.13/2321.13 c #Conflicts: 612000 | #Constraints: 60449 2315.13/2321.13 c #Conflicts: 613000 | #Constraints: 61449 2315.13/2321.13 c #Conflicts: 614000 | #Constraints: 62449 2315.13/2321.13 c #Conflicts: 615000 | #Constraints: 63449 2315.13/2321.13 c INPROCESSING 2315.13/2321.13 c GARBAGE COLLECT 2315.13/2321.13 c rational objective 156 2780.94/2788.11 c #Conflicts: 616000 | #Constraints: 36519 2780.94/2788.11 c #Conflicts: 617000 | #Constraints: 37519 2780.94/2788.11 c #Conflicts: 618000 | #Constraints: 38519 2780.94/2788.11 c #Conflicts: 619000 | #Constraints: 39526 2780.94/2788.11 c #Conflicts: 620000 | #Constraints: 40526 2780.94/2788.11 c #Conflicts: 621000 | #Constraints: 41528 2780.94/2788.11 c #Conflicts: 622000 | #Constraints: 42528 2780.94/2788.11 c #Conflicts: 623000 | #Constraints: 43529 2780.94/2788.11 c #Conflicts: 624000 | #Constraints: 44529 2780.94/2788.11 c #Conflicts: 625000 | #Constraints: 45534 2780.94/2788.11 c #Conflicts: 626000 | #Constraints: 46534 2780.94/2788.11 c #Conflicts: 627000 | #Constraints: 47534 2780.94/2788.11 c #Conflicts: 628000 | #Constraints: 48564 2780.94/2788.11 c #Conflicts: 629000 | #Constraints: 49564 2780.94/2788.11 c #Conflicts: 630000 | #Constraints: 50564 2780.94/2788.11 c #Conflicts: 631000 | #Constraints: 51564 2780.94/2788.11 c #Conflicts: 632000 | #Constraints: 52564 2780.94/2788.11 c #Conflicts: 633000 | #Constraints: 53565 2780.94/2788.11 c #Conflicts: 634000 | #Constraints: 54565 2780.94/2788.11 c #Conflicts: 635000 | #Constraints: 55567 2780.94/2788.11 c #Conflicts: 636000 | #Constraints: 56571 2780.94/2788.11 c #Conflicts: 637000 | #Constraints: 57571 2780.94/2788.11 c #Conflicts: 638000 | #Constraints: 58572 2780.94/2788.11 c #Conflicts: 639000 | #Constraints: 59572 2780.94/2788.11 c #Conflicts: 640000 | #Constraints: 60572 2780.94/2788.11 c #Conflicts: 641000 | #Constraints: 61572 2780.94/2788.11 c #Conflicts: 642000 | #Constraints: 62572 2780.94/2788.11 c #Conflicts: 643000 | #Constraints: 63572 2780.94/2788.11 c #Conflicts: 644000 | #Constraints: 64593 2780.94/2788.11 c #Conflicts: 645000 | #Constraints: 65609 2780.94/2788.11 c #Conflicts: 646000 | #Constraints: 66645 2780.94/2788.11 c #Conflicts: 647000 | #Constraints: 67645 2780.94/2788.11 c #Conflicts: 648000 | #Constraints: 68649 2780.94/2788.11 c #Conflicts: 649000 | #Constraints: 69652 2780.94/2788.11 c #Conflicts: 650000 | #Constraints: 70652 2780.94/2788.11 c #Conflicts: 651000 | #Constraints: 71655 2780.94/2788.11 c #Conflicts: 652000 | #Constraints: 72660 2780.94/2788.11 c #Conflicts: 653000 | #Constraints: 73668 2780.94/2788.11 c #Conflicts: 654000 | #Constraints: 74699 2780.94/2788.11 c #Conflicts: 655000 | #Constraints: 75717 2780.94/2788.11 c #Conflicts: 656000 | #Constraints: 76717 2780.94/2788.11 c #Conflicts: 657000 | #Constraints: 77741 2780.94/2788.11 c #Conflicts: 658000 | #Constraints: 78776 2780.94/2788.11 c #Conflicts: 659000 | #Constraints: 79776 2780.94/2788.11 c #Conflicts: 660000 | #Constraints: 80776 2780.94/2788.11 c #Conflicts: 661000 | #Constraints: 81776 2780.94/2788.11 c #Conflicts: 662000 | #Constraints: 82817 2780.94/2788.11 c #Conflicts: 663000 | #Constraints: 83817 2780.94/2788.11 c #Conflicts: 664000 | #Constraints: 84817 2780.94/2788.11 c #Conflicts: 665000 | #Constraints: 85817 2780.94/2788.11 c #Conflicts: 666000 | #Constraints: 86818 2780.94/2788.11 c #Conflicts: 667000 | #Constraints: 87847 2780.94/2788.11 c #Conflicts: 668000 | #Constraints: 88858 2780.94/2788.11 c #Conflicts: 669000 | #Constraints: 89870 2780.94/2788.11 c #Conflicts: 670000 | #Constraints: 90877 2780.94/2788.11 c #Conflicts: 671000 | #Constraints: 91928 2780.94/2788.11 c #Conflicts: 672000 | #Constraints: 92928 2780.94/2788.11 c INPROCESSING 2780.94/2788.11 c GARBAGE COLLECT 2780.94/2788.11 c rational objective 156 3019.44/3027.38 c #Conflicts: 673000 | #Constraints: 48188 3019.44/3027.38 c #Conflicts: 674000 | #Constraints: 49188 3019.44/3027.38 c #Conflicts: 675000 | #Constraints: 50188 3019.44/3027.38 c #Conflicts: 676000 | #Constraints: 51188 3019.44/3027.38 c #Conflicts: 677000 | #Constraints: 52188 3019.44/3027.38 c #Conflicts: 678000 | #Constraints: 53188 3019.44/3027.38 c #Conflicts: 679000 | #Constraints: 54188 3019.44/3027.38 c #Conflicts: 680000 | #Constraints: 55188 3019.44/3027.38 c #Conflicts: 681000 | #Constraints: 56188 3019.44/3027.38 c #Conflicts: 682000 | #Constraints: 57188 3019.44/3027.38 c #Conflicts: 683000 | #Constraints: 58188 3019.44/3027.38 c #Conflicts: 684000 | #Constraints: 59188 3019.44/3027.38 c #Conflicts: 685000 | #Constraints: 60188 3019.44/3027.38 c #Conflicts: 686000 | #Constraints: 61188 3019.44/3027.38 c #Conflicts: 687000 | #Constraints: 62188 3019.44/3027.38 c #Conflicts: 688000 | #Constraints: 63188 3019.44/3027.38 c #Conflicts: 689000 | #Constraints: 64188 3019.44/3027.38 c #Conflicts: 690000 | #Constraints: 65188 3019.44/3027.38 c #Conflicts: 691000 | #Constraints: 66188 3019.44/3027.38 c #Conflicts: 692000 | #Constraints: 67188 3019.44/3027.38 c INPROCESSING 3019.44/3027.38 c GARBAGE COLLECT 3019.44/3027.38 c rational objective 156 3560.92/3570.38 c #Conflicts: 693000 | #Constraints: 38559 3560.92/3570.38 c #Conflicts: 694000 | #Constraints: 39559 3560.92/3570.38 c #Conflicts: 695000 | #Constraints: 40559 3560.92/3570.38 c #Conflicts: 696000 | #Constraints: 41559 3560.92/3570.38 c #Conflicts: 697000 | #Constraints: 42559 3560.92/3570.38 c #Conflicts: 698000 | #Constraints: 43559 3560.92/3570.38 c #Conflicts: 699000 | #Constraints: 44559 3560.92/3570.38 c #Conflicts: 700000 | #Constraints: 45559 3560.92/3570.38 c #Conflicts: 701000 | #Constraints: 46559 3560.92/3570.38 c #Conflicts: 702000 | #Constraints: 47559 3560.92/3570.38 c #Conflicts: 703000 | #Constraints: 48559 3560.92/3570.38 c #Conflicts: 704000 | #Constraints: 49559 3560.92/3570.38 c #Conflicts: 705000 | #Constraints: 50559 3560.92/3570.38 c #Conflicts: 706000 | #Constraints: 51559 3560.92/3570.38 c #Conflicts: 707000 | #Constraints: 52559 3560.92/3570.38 c #Conflicts: 708000 | #Constraints: 53559 3560.92/3570.38 c #Conflicts: 709000 | #Constraints: 54559 3560.92/3570.38 c #Conflicts: 710000 | #Constraints: 55559 3560.92/3570.38 c #Conflicts: 711000 | #Constraints: 56559 3560.92/3570.38 c #Conflicts: 712000 | #Constraints: 57559 3560.92/3570.38 c #Conflicts: 713000 | #Constraints: 58559 3560.92/3570.38 c #Conflicts: 714000 | #Constraints: 59559 3560.92/3570.38 c #Conflicts: 715000 | #Constraints: 60559 3560.92/3570.38 c #Conflicts: 716000 | #Constraints: 61559 3560.92/3570.38 c #Conflicts: 717000 | #Constraints: 62559 3560.92/3570.38 c #Conflicts: 718000 | #Constraints: 63559 3560.92/3570.38 c #Conflicts: 719000 | #Constraints: 64559 3560.92/3570.38 c #Conflicts: 720000 | #Constraints: 65559 3560.92/3570.38 c #Conflicts: 721000 | #Constraints: 66559 3560.92/3570.38 c #Conflicts: 722000 | #Constraints: 67559 3560.92/3570.38 c #Conflicts: 723000 | #Constraints: 68559 3560.92/3570.38 c #Conflicts: 724000 | #Constraints: 69559 3560.92/3570.38 c #Conflicts: 725000 | #Constraints: 70559 3560.92/3570.38 c #Conflicts: 726000 | #Constraints: 71559 3560.92/3570.38 c #Conflicts: 727000 | #Constraints: 72559 3560.92/3570.38 c #Conflicts: 728000 | #Constraints: 73559 3560.92/3570.38 c #Conflicts: 729000 | #Constraints: 74559 3560.92/3570.38 c #Conflicts: 730000 | #Constraints: 75559 3560.92/3570.38 c #Conflicts: 731000 | #Constraints: 76559 3560.92/3570.38 c #Conflicts: 732000 | #Constraints: 77559 3560.92/3570.38 c #Conflicts: 733000 | #Constraints: 78559 3560.92/3570.38 c #Conflicts: 734000 | #Constraints: 79559 3560.92/3570.38 c #Conflicts: 735000 | #Constraints: 80559 3560.92/3570.38 c #Conflicts: 736000 | #Constraints: 81559 3560.92/3570.38 c #Conflicts: 737000 | #Constraints: 82559 3560.92/3570.38 c #Conflicts: 738000 | #Constraints: 83560 3560.92/3570.38 c #Conflicts: 739000 | #Constraints: 84560 3560.92/3570.38 c #Conflicts: 740000 | #Constraints: 85560 3560.92/3570.38 c #Conflicts: 741000 | #Constraints: 86561 3560.92/3570.38 c #Conflicts: 742000 | #Constraints: 87561 3560.92/3570.38 c #Conflicts: 743000 | #Constraints: 88561 3560.92/3570.38 c #Conflicts: 744000 | #Constraints: 89561 3560.92/3570.38 c #Conflicts: 745000 | #Constraints: 90562 3560.92/3570.38 c #Conflicts: 746000 | #Constraints: 91565 3560.92/3570.38 c #Conflicts: 747000 | #Constraints: 92565 3560.92/3570.38 c #Conflicts: 748000 | #Constraints: 93565 3560.92/3570.38 c #Conflicts: 749000 | #Constraints: 94565 3560.92/3570.38 c #Conflicts: 750000 | #Constraints: 95567 3560.92/3570.38 c #Conflicts: 751000 | #Constraints: 96567 3560.92/3570.38 c #Conflicts: 752000 | #Constraints: 97567 3560.92/3570.38 c INPROCESSING 3560.92/3570.38 c GARBAGE COLLECT 3560.92/3570.38 c rational objective 156 3600.03/3609.50 c 3600.03/3609.50 s SATISFIABLE 3600.03/3609.50 v ~x1 ~x2 ~x3 x4 ~x5 ~x6 ~x7 ~x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 ~x15 x16 x17 ~x18 ~x19 x20 ~x21 ~x22 ~x23 ~x24 ~x25 ~x26 ~x27 x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 x35 ~x36 ~x37 ~x38 ~x39 x40 ~x41 ~x42 x43 ~x44 ~x45 ~x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 x53 ~x54 ~x55 ~x56 x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 x72 ~x73 ~x74 x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 x90 ~x91 x92 ~x93 x94 ~x95 x96 ~x97 x98 x99 ~x100 ~x101 ~x102 x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 x111 x112 ~x113 x114 ~x115 ~x116 ~x117 ~x118 x119 ~x120 x121 x122 x123 ~x124 x125 ~x126 ~x127 x128 ~x129 ~x130 ~x131 x132 ~x133 x134 ~x135 x136 ~x137 x138 ~x139 ~x140 ~x141 ~x142 ~x143 x144 x145 ~x146 ~x147 ~x148 x149 ~x150 ~x151 ~x152 x153 ~x154 ~x155 ~x156 x157 ~x158 x159 ~x160 x161 x162 ~x163 ~x164 ~x165 ~x166 x167 ~x168 x169 ~x170 x171 x172 ~x173 x174 ~x175 x176 ~x177 x178 x179 x180 ~x181 x182 ~x183 x184 ~x185 x186 ~x187 ~x188 ~x189 x190 ~x191 x192 ~x193 ~x194 ~x195 ~x196 x197 x198 ~x199 ~x200 x201 x202 ~x203 ~x204 ~x205 x206 ~x207 ~x208 ~x209 ~x210 x211 ~x212 ~x213 ~x214 x215 ~x216 x217 ~x218 ~x219 x220 ~x221 ~x222 ~x223 ~x224 x225 x226 x227 x228 ~x229 ~x230 x231 ~x232 x233 x234 ~x235 ~x236 x237 x238 ~x239 x240 x241 ~x242 x243 ~x244 x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 x255 x256 ~x257 x258 ~x259 x260 ~x261 ~x262 ~x263 x264 x265 x266 ~x267 x268 ~x269 ~x270 ~x271 x272 ~x273 ~x274 x275 ~x276 ~x277 x278 x279 x280 ~x281 x282 ~x283 ~x284 ~x285 x286 ~x287 ~x288 x289 ~x290 ~x291 x292 ~x293 x294 ~x295 ~x296 ~x297 x298 ~x299 ~x300 x301 ~x302 ~x303 x304 ~x305 x306 x307 x308 x309 ~x310 ~x311 ~x312 x313 x314 x315 x316 ~x317 ~x318 ~x319 x320 ~x321 x322 ~x323 x324 ~x325 ~x326 ~x327 ~x328 x329 ~x330 x331 ~x332 x333 x334 x335 ~x336 x337 ~x338 x339 x340 ~x341 x342 ~x343 ~x344 x345 ~x346 ~x347 x348 x349 x350 x351 x352 x353 x354 x355 ~x356 ~x357 ~x358 x359 x360 x361 ~x362 ~x363 x364 x365 ~x366 x367 ~x368 ~x369 ~x370 ~x371 x372 ~x373 ~x374 x375 x376 x377 x378 x379 x380 x381 ~x382 x383 x384 x385 x386 x387 x388 ~x389 ~x390 ~x391 x392 x393 x394 x395 ~x396 ~x397 x398 x399 x400 x401 x402 x403 ~x404 x405 x406 x407 x408 ~x409 ~x410 x411 ~x412 x413 ~x414 ~x415 x416 ~x417 x418 x419 ~x420 x421 ~x422 x423 x424 ~x425 x426 x427 ~x428 ~x429 ~x430 ~x431 ~x432 x433 x434 x435 ~x436 x437 x438 x439 x440 ~x441 ~x442 x443 ~x444 ~x445 ~x446 x447 x448 ~x449 x450 x451 ~x452 x453 x454 x455 ~x456 x457 ~x458 x459 ~x460 ~x461 ~x462 x463 ~x464 x465 x466 ~x467 x468 x469 x470 x471 ~x472 x473 x474 x475 ~x476 x477 ~x478 ~x479 3600.03/3609.50 c #Conflicts: 753000 | #Constraints: 50405 3600.03/3609.50 c #Conflicts: 754000 | #Constraints: 51405 3600.03/3609.50 c #Conflicts: 755000 | #Constraints: 52405 3600.03/3609.50 c #Conflicts: 756000 | #Constraints: 53427 3600.03/3609.50 c #Conflicts: 757000 | #Constraints: 54427 3600.03/3609.50 c #Conflicts: 758000 | #Constraints: 55427 3600.03/3609.50 c #Conflicts: 759000 | #Constraints: 56427 3600.03/3609.50 c #Conflicts: 760000 | #Constraints: 57427 3600.03/3609.50 c #Conflicts: 761000 | #Constraints: 58427 3600.03/3609.50 c #Conflicts: 762000 | #Constraints: 59427 3600.03/3609.50 c #Conflicts: 763000 | #Constraints: 60427
OK 199
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61936 MiB free)
memory of node 1: 64510 MiB (63638 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429412-1721048407/watcher-4429412-1721048407 -o /tmp/evaluation-result-4429412-1721048407/solver-4429412-1721048407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721048419-793284 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429412-1721048407.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=793336, runsolver pid=793331
Current StackSize limit: 8192 KiB
[startup+0.100232 s]*
/proc/loadavg: 1.25 2.37 2.84 5/245 793345
/proc/meminfo: memFree=128582488/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=38320 memory=8648 CPUtime=0.1 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 604 0 0 0 10 0 0 0 20 0 1 0 157000329 39239680 2162 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 9580 2162 1751 922 0 1532 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38320 KiB
Current children cumulated memory: 8648 KiB
[startup+0.214443 s]*
/proc/loadavg: 1.25 2.37 2.84 5/245 793345
/proc/meminfo: memFree=128580696/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=38460 memory=8648 CPUtime=0.21 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 638 0 0 0 20 1 0 0 20 0 1 0 157000329 39383040 2162 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 9615 2162 1751 922 0 1567 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38460 KiB
Current children cumulated memory: 8648 KiB
[startup+0.313287 s]*
/proc/loadavg: 1.25 2.37 2.84 5/245 793345
/proc/meminfo: memFree=128578324/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=38696 memory=8852 CPUtime=0.31 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 680 0 0 0 30 1 0 0 20 0 1 0 157000329 39624704 2213 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 9674 2213 1751 922 0 1626 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38696 KiB
Current children cumulated memory: 8852 KiB
[startup+0.700256 s]
/proc/loadavg: 1.25 2.37 2.84 6/245 793345
/proc/meminfo: memFree=128569416/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=40712 memory=14180 CPUtime=0.68 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 1520 0 0 0 59 9 0 0 20 0 1 0 157000329 41689088 3545 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 10178 3545 1783 922 0 2130 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40712 KiB
Current children cumulated memory: 14180 KiB
[startup+1.50027 s]
/proc/loadavg: 1.47 2.39 2.85 5/245 793345
/proc/meminfo: memFree=128551352/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=44944 memory=18692 CPUtime=1.48 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 2565 0 0 0 134 14 0 0 20 0 1 0 157000329 46022656 4673 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 11236 4673 1860 922 0 3188 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44944 KiB
Current children cumulated memory: 18692 KiB
[startup+3.11335 s]
/proc/loadavg: 1.47 2.39 2.85 5/245 793345
/proc/meminfo: memFree=128525776/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=46644 memory=20536 CPUtime=3.09 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 3043 0 0 0 287 22 0 0 20 0 1 0 157000329 47763456 5134 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 11661 5134 1860 922 0 3613 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46644 KiB
Current children cumulated memory: 20536 KiB
[startup+6.30026 s]
/proc/loadavg: 1.67 2.42 2.86 5/245 793345
/proc/meminfo: memFree=128500588/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=54788 memory=29136 CPUtime=6.27 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 5152 0 0 0 591 36 0 0 20 0 1 0 157000329 56102912 7284 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 13697 7284 1860 922 0 5649 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 54788 KiB
Current children cumulated memory: 29136 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 2.45 2.86 5/245 793347
/proc/meminfo: memFree=128451960/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=64624 memory=37848 CPUtime=12.66 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 7198 0 0 0 1208 58 0 0 20 0 1 0 157000329 66174976 9462 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 16156 9462 1860 922 0 8108 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 64624 KiB
Current children cumulated memory: 37848 KiB
[startup+25.5003 s]
/proc/loadavg: 2.19 2.50 2.88 5/244 793348
/proc/meminfo: memFree=128379948/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=79424 memory=49028 CPUtime=25.43 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 8978 0 0 0 2455 88 0 0 20 0 1 0 157000329 81330176 12257 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 19856 12257 1860 922 0 11808 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 79424 KiB
Current children cumulated memory: 49028 KiB
[startup+51.1133 s]
/proc/loadavg: 2.96 2.66 2.92 5/244 793364
/proc/meminfo: memFree=128310364/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=101244 memory=64208 CPUtime=50.97 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 11755 0 0 0 4955 142 0 0 20 0 1 0 157000329 103673856 16052 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 25311 16052 1860 922 0 17263 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 101244 KiB
Current children cumulated memory: 64208 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.90 2.99 5/243 793372
/proc/meminfo: memFree=128240412/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=110288 memory=77944 CPUtime=102.04 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 13546 0 0 0 9971 233 0 0 20 0 1 0 157000329 112934912 19486 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 27572 19486 1993 922 0 19524 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 110288 KiB
Current children cumulated memory: 77944 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 3.13 3.06 5/243 793383
/proc/meminfo: memFree=128120452/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=198640 memory=146960 CPUtime=161.88 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 23170 0 0 0 15897 291 0 0 20 0 1 0 157000329 203407360 36740 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 49660 36740 1993 922 0 41612 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 198640 KiB
Current children cumulated memory: 146960 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.31 3.13 5/241 793393
/proc/meminfo: memFree=128079116/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=198640 memory=147224 CPUtime=221.74 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 23241 0 0 0 21836 338 0 0 20 0 1 0 157000329 203407360 36806 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 49660 36806 1993 922 0 41612 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 198640 KiB
Current children cumulated memory: 147224 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.45 3.19 5/241 793404
/proc/meminfo: memFree=128039760/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=205872 memory=158340 CPUtime=281.56 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 24744 0 0 0 27784 372 0 0 20 0 1 0 157000329 210812928 39585 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 51468 39585 1993 922 0 43420 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 205872 KiB
Current children cumulated memory: 158340 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 3.61 3.27 5/241 793415
/proc/meminfo: memFree=127939312/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=209512 memory=166464 CPUtime=341.4 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 25612 0 0 0 33702 438 0 0 20 0 1 0 157000329 214540288 41616 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 52378 41616 1993 922 0 44330 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 209512 KiB
Current children cumulated memory: 166464 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.70 3.32 5/241 793425
/proc/meminfo: memFree=127857036/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=292524 memory=210620 CPUtime=401.23 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 31581 0 0 0 39651 472 0 0 20 0 1 0 157000329 299544576 52655 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 73131 52655 1993 922 0 65083 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 292524 KiB
Current children cumulated memory: 210620 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 3.79 3.38 5/241 793435
/proc/meminfo: memFree=127846596/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=292524 memory=210636 CPUtime=461.06 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 31644 0 0 0 45612 494 0 0 20 0 1 0 157000329 299544576 52659 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 73131 52659 1993 922 0 65083 0
################
# More data... #
################
Current children cumulated memory: 424068 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.13 5/241 794605
/proc/meminfo: memFree=127084564/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=523076 memory=424068 CPUtime=2914.75 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 62298 0 0 0 290135 1340 0 0 20 0 1 0 157000329 535629824 106017 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 130769 106017 1993 922 0 122721 0
Current children cumulated CPU time: 2914.75 s
Current children cumulated vsize: 523076 KiB
Current children cumulated memory: 424068 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/241 794617
/proc/meminfo: memFree=127067868/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=523076 memory=424068 CPUtime=2974.57 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 62442 0 0 0 296107 1350 0 0 20 0 1 0 157000329 535629824 106017 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 130769 106017 1993 922 0 122721 0
Current children cumulated CPU time: 2974.57 s
Current children cumulated vsize: 523076 KiB
Current children cumulated memory: 424068 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/243 794631
/proc/meminfo: memFree=127061168/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=523076 memory=424068 CPUtime=3034.39 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 62587 0 0 0 302075 1364 0 0 20 0 1 0 157000329 535629824 106017 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 130769 106017 1993 922 0 122721 0
Current children cumulated CPU time: 3034.39 s
Current children cumulated vsize: 523076 KiB
Current children cumulated memory: 424068 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/243 794641
/proc/meminfo: memFree=127059540/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=523076 memory=424136 CPUtime=3094.22 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 62733 0 0 0 308036 1386 0 0 20 0 1 0 157000329 535629824 106034 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 130769 106034 1993 922 0 122721 0
Current children cumulated CPU time: 3094.22 s
Current children cumulated vsize: 523076 KiB
Current children cumulated memory: 424136 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/243 794652
/proc/meminfo: memFree=127041588/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=523076 memory=424136 CPUtime=3154.04 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 62867 0 0 0 314001 1403 0 0 20 0 1 0 157000329 535629824 106034 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 130769 106034 1993 922 0 122721 0
Current children cumulated CPU time: 3154.04 s
Current children cumulated vsize: 523076 KiB
Current children cumulated memory: 424136 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/243 794662
/proc/meminfo: memFree=127041100/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=523076 memory=424136 CPUtime=3213.87 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 63002 0 0 0 319970 1417 0 0 20 0 1 0 157000329 535629824 106034 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 130769 106034 1993 922 0 122721 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 523076 KiB
Current children cumulated memory: 424136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.10 5/243 794673
/proc/meminfo: memFree=127040664/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=523076 memory=424136 CPUtime=3273.69 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 63139 0 0 0 325935 1434 0 0 20 0 1 0 157000329 535629824 106034 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 130769 106034 1993 922 0 122721 0
Current children cumulated CPU time: 3273.69 s
Current children cumulated vsize: 523076 KiB
Current children cumulated memory: 424136 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.13 4.11 5/243 795067
/proc/meminfo: memFree=127040120/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=523076 memory=424136 CPUtime=3333.52 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 63278 0 0 0 331905 1447 0 0 20 0 1 0 157000329 535629824 106034 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 130769 106034 1993 922 0 122721 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 523076 KiB
Current children cumulated memory: 424136 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/243 795077
/proc/meminfo: memFree=127037632/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=523076 memory=424136 CPUtime=3393.34 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 63418 0 0 0 337874 1460 0 0 20 0 1 0 157000329 535629824 106034 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 130769 106034 1993 922 0 122721 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 523076 KiB
Current children cumulated memory: 424136 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 795087
/proc/meminfo: memFree=127015772/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=523076 memory=441248 CPUtime=3453.2 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 63581 0 0 0 343848 1472 0 0 20 0 1 0 157000329 535629824 110312 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 130769 110312 1993 922 0 122721 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 523076 KiB
Current children cumulated memory: 441248 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/243 795265
/proc/meminfo: memFree=127008960/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=523076 memory=441248 CPUtime=3513.05 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 63745 0 0 0 349823 1482 0 0 20 0 1 0 157000329 535629824 110312 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 130769 110312 1993 922 0 122721 0
Current children cumulated CPU time: 3513.05 s
Current children cumulated vsize: 523076 KiB
Current children cumulated memory: 441248 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/243 795276
/proc/meminfo: memFree=127002112/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=524460 memory=442024 CPUtime=3572.9 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 64375 0 0 0 355792 1498 0 0 20 0 1 0 157000329 537047040 110506 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 131115 110506 1993 922 0 123067 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 524460 KiB
Current children cumulated memory: 442024 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.13 4.10 4.09 4/241 795298
/proc/meminfo: memFree=127381060/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=524460 memory=442024 CPUtime=3600.03 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 64502 0 0 0 358493 1510 0 0 20 0 1 0 157000329 537047040 110506 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 131115 110506 1993 922 0 123067 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 524460 KiB
Current children cumulated memory: 442024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 793336 was just reported to runsolver
# Child status: 1
# cumulated CPU time of all completed processes: user=3584.94 s, system=15.1111 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.13 4.10 4.09 4/241 795298
/proc/meminfo: memFree=127381060/131655788 swapFree=131071996/131071996
[pid=793336] ppid=793331 vsize=524460 memory=442024 CPUtime=3600.03 cores=1,3
/proc/793336/stat : 793336 (roundingsat) R 793331 793336 793272 0 -1 4194304 64502 0 0 0 358493 1510 0 0 20 0 1 0 157000329 537047040 110506 134679101440 4194304 7968869 140735188119072 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 26943488 140735188124606 140735188124770 140735188124770 140735188131785 0
/proc/793336/statm: 131115 110506 1993 922 0 123067 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 524460 KiB
Current children cumulated memory: 442024 KiB
Child status: 1
Real time (s): 3609.5
CPU time (s): 3600.05
CPU user time (s): 3584.94
CPU system time (s): 15.1111
CPU usage (%): 99.738
Max. virtual memory (cumulated for all children) (KiB): 525836
Max. memory (cumulated for all children) (KiB): 443068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.94
system time used= 15.1111
maximum resident set size= 443068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119
involuntary context switches= 2230
# summary of solver processes directly reported to runsolver:
# pid: 793336
# total CPU time (s): 3600.05
# total CPU user time (s): 3584.94
# total CPU system time (s): 15.1111
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2126 second user time and 37.0965 second system time
The end
Begin job on nodeC009 at 2024-07-15 15:00:19 IDJOB=4429412 IDBENCH=147541 IDSOLVER=3051 FILE ID=nodeC009/4429412-1721048407 RUNJOBID= nodeC009-1721048419-793284 SLURM_JOB_ID= 7505463 Free space on /tmp= 723764 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429412-1721048407/watcher-4429412-1721048407 -o /tmp/evaluation-result-4429412-1721048407/solver-4429412-1721048407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721048419-793284 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429412-1721048407.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e RANDOM SEED=1422166639 nodeC009.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.326 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.34 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.325 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.27 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.320 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.34 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.318 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.27 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 : 3492.173 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.34 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.338 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.27 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.345 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.34 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.316 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128589112 kB MemAvailable: 129922892 kB Buffers: 364736 kB Cached: 1798096 kB SwapCached: 0 kB Active: 584460 kB Inactive: 1930940 kB Active(anon): 1368 kB Inactive(anon): 389224 kB Active(file): 583092 kB Inactive(file): 1541716 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20848 kB Writeback: 0 kB AnonPages: 353332 kB Mapped: 106344 kB Shmem: 37700 kB KReclaimable: 98008 kB Slab: 194604 kB SReclaimable: 98008 kB SUnreclaim: 96596 kB KernelStack: 3724 kB PageTables: 10084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 731384 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51424 kB HardwareCorrupted: 0 kB AnonHugePages: 229376 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: 181064 kB DirectMap2M: 17549312 kB DirectMap1G: 118489088 kB Free space on /tmp at the end= 723744 MiB End job on nodeC009 at 2024-07-15 16:00:29