| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.04 | 3612.02 |
| Name | PB24/normalized-PB10/OPT-LIN/oliveras/ j90opt/normalized-j909_1.std.opb |
| MD5SUM | a3d0ac2e079c6211f06f187e0594548d |
| 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 | 106 |
| Best CPU time to get the best result obtained on this benchmark | 3600.05 |
| 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 | 54782 |
| Total number of constraints | 176175 |
| Number of constraints which are clauses | 174975 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 300 |
| Biggest coefficient in the objective function | 300 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 45150 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 300 |
| Number of bits of the biggest number in a constraint | 9 |
| Biggest sum of numbers in a constraint | 45150 |
| Number of bits of the biggest sum of numbers | 16 |
| 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 1.20/2.01 c #variables 54782 #constraints 157681 21.14/21.99 c bounds - >= 0 @ 0.997188 21.14/21.99 c bounds 300 >= 0 @ 1.89055 21.14/21.99 c bounds 300 >= 85 @ 1.90372 21.14/21.99 c bounds 300 >= 86 @ 1.91385 21.14/21.99 c bounds 299 >= 86 @ 1.92998 21.14/21.99 c bounds 299 >= 87 @ 1.94025 21.14/21.99 c bounds 298 >= 87 @ 1.95371 21.14/21.99 c bounds 297 >= 87 @ 1.96793 21.14/21.99 c bounds 297 >= 88 @ 1.99312 21.14/21.99 c bounds 296 >= 88 @ 2.00796 21.14/21.99 c bounds 295 >= 88 @ 2.02044 21.14/21.99 c bounds 294 >= 88 @ 2.03348 21.14/21.99 c bounds 294 >= 89 @ 2.21825 21.14/21.99 c bounds 293 >= 89 @ 2.23292 21.14/21.99 c bounds 292 >= 89 @ 2.24786 21.14/21.99 c bounds 291 >= 89 @ 2.26198 21.14/21.99 c bounds 290 >= 89 @ 2.27556 21.14/21.99 c bounds 289 >= 89 @ 2.28999 21.14/21.99 c bounds 288 >= 89 @ 2.3038 21.14/21.99 c bounds 287 >= 89 @ 2.31697 21.14/21.99 c bounds 286 >= 89 @ 2.33027 21.14/21.99 c bounds 285 >= 89 @ 2.34389 21.14/21.99 c bounds 284 >= 89 @ 2.35502 21.14/21.99 c bounds 283 >= 89 @ 2.3681 21.14/21.99 c bounds 282 >= 89 @ 2.3799 21.14/21.99 c bounds 281 >= 89 @ 2.39187 21.14/21.99 c bounds 280 >= 89 @ 2.40388 21.14/21.99 c bounds 279 >= 89 @ 2.41741 21.14/21.99 c bounds 278 >= 89 @ 2.42889 21.14/21.99 c bounds 277 >= 89 @ 2.4411 21.14/21.99 c bounds 276 >= 89 @ 2.45328 21.14/21.99 c bounds 275 >= 89 @ 2.46462 21.14/21.99 c bounds 274 >= 89 @ 2.47762 21.14/21.99 c #Conflicts: 1000 | #Constraints: 158718 21.14/21.99 c #Conflicts: 2000 | #Constraints: 159718 21.14/21.99 c INPROCESSING 21.14/21.99 c GARBAGE COLLECT 21.14/21.99 c bounds 273 >= 89 @ 19.4185 21.14/21.99 c bounds 272 >= 89 @ 19.4308 21.14/21.99 c bounds 271 >= 89 @ 19.442 21.14/21.99 c bounds 270 >= 89 @ 19.4535 21.14/21.99 c bounds 269 >= 89 @ 19.4647 21.14/21.99 c bounds 268 >= 89 @ 19.4774 21.14/21.99 c bounds 267 >= 89 @ 19.4902 21.14/21.99 c bounds 266 >= 89 @ 19.5032 21.14/21.99 c bounds 265 >= 89 @ 19.514 21.14/21.99 c bounds 264 >= 89 @ 19.5257 21.14/21.99 c bounds 263 >= 89 @ 19.5364 21.14/21.99 c bounds 262 >= 89 @ 19.5491 21.14/21.99 c bounds 261 >= 89 @ 19.5593 21.14/21.99 c bounds 260 >= 89 @ 19.5698 21.14/21.99 c bounds 259 >= 89 @ 19.5821 21.14/21.99 c bounds 258 >= 89 @ 19.5915 21.14/21.99 c bounds 257 >= 89 @ 19.6021 21.14/21.99 c bounds 256 >= 89 @ 19.6139 21.14/21.99 c bounds 255 >= 89 @ 19.6254 21.14/21.99 c bounds 254 >= 89 @ 19.6377 21.14/21.99 c bounds 253 >= 89 @ 19.6501 21.14/21.99 c bounds 252 >= 89 @ 19.6602 21.14/21.99 c bounds 251 >= 89 @ 19.67 21.14/21.99 c bounds 250 >= 89 @ 19.6816 21.14/21.99 c bounds 249 >= 89 @ 19.6934 21.14/21.99 c bounds 248 >= 89 @ 19.7035 21.14/21.99 c bounds 247 >= 89 @ 19.7117 21.14/21.99 c bounds 246 >= 89 @ 19.7228 21.14/21.99 c bounds 245 >= 89 @ 19.735 21.14/21.99 c bounds 244 >= 89 @ 19.7463 21.14/21.99 c bounds 243 >= 89 @ 19.7581 21.14/21.99 c bounds 242 >= 89 @ 19.77 21.14/21.99 c bounds 241 >= 89 @ 19.7828 21.14/21.99 c bounds 240 >= 89 @ 19.7915 21.14/21.99 c bounds 239 >= 89 @ 19.8037 21.14/21.99 c bounds 238 >= 89 @ 19.8152 21.14/21.99 c bounds 237 >= 89 @ 19.8241 21.14/21.99 c bounds 236 >= 89 @ 19.8338 21.14/21.99 c bounds 235 >= 89 @ 19.8442 21.14/21.99 c bounds 234 >= 89 @ 19.8534 21.14/21.99 c bounds 233 >= 89 @ 19.8618 21.14/21.99 c bounds 232 >= 89 @ 19.8719 21.14/21.99 c bounds 231 >= 89 @ 19.8838 21.14/21.99 c bounds 230 >= 89 @ 19.893 21.14/21.99 c bounds 229 >= 89 @ 19.9 21.14/21.99 c bounds 228 >= 89 @ 19.9099 21.14/21.99 c bounds 227 >= 89 @ 19.9222 21.14/21.99 c bounds 226 >= 89 @ 19.9329 21.14/21.99 c bounds 225 >= 89 @ 19.9423 21.14/21.99 c bounds 224 >= 89 @ 19.9506 21.14/21.99 c bounds 223 >= 89 @ 19.9601 21.14/21.99 c bounds 222 >= 89 @ 19.9719 21.14/21.99 c bounds 221 >= 89 @ 19.9814 21.14/21.99 c bounds 220 >= 89 @ 19.9888 21.14/21.99 c bounds 217 >= 89 @ 19.9996 21.14/21.99 c bounds 213 >= 89 @ 20.01 21.14/21.99 c bounds 212 >= 89 @ 20.0195 21.14/21.99 c bounds 211 >= 89 @ 20.0295 21.14/21.99 c bounds 210 >= 89 @ 20.0367 21.14/21.99 c bounds 209 >= 89 @ 20.0438 21.14/21.99 c bounds 208 >= 89 @ 20.0526 21.14/21.99 c bounds 207 >= 89 @ 20.0624 21.14/21.99 c bounds 206 >= 89 @ 20.072 21.14/21.99 c bounds 205 >= 89 @ 20.0797 21.14/21.99 c bounds 204 >= 89 @ 20.0884 21.14/21.99 c bounds 196 >= 89 @ 20.0986 21.14/21.99 c bounds 195 >= 89 @ 20.1058 21.14/21.99 c bounds 194 >= 89 @ 20.1145 21.14/21.99 c bounds 193 >= 89 @ 20.1238 21.14/21.99 c bounds 192 >= 89 @ 20.1317 21.14/21.99 c bounds 191 >= 89 @ 20.1405 21.14/21.99 c bounds 190 >= 89 @ 20.1481 21.14/21.99 c bounds 189 >= 89 @ 20.1566 21.14/21.99 c bounds 188 >= 89 @ 20.1642 21.14/21.99 c bounds 187 >= 89 @ 20.1718 21.14/21.99 c bounds 186 >= 89 @ 20.1796 21.14/21.99 c bounds 185 >= 89 @ 20.188 21.14/21.99 c bounds 184 >= 89 @ 20.1967 21.14/21.99 c bounds 183 >= 89 @ 20.2042 21.14/21.99 c bounds 182 >= 89 @ 20.2115 21.14/21.99 c bounds 181 >= 89 @ 20.219 21.14/21.99 c bounds 180 >= 89 @ 20.2265 21.14/21.99 c bounds 180 >= 90 @ 20.4144 21.14/21.99 c bounds 179 >= 90 @ 20.4223 21.14/21.99 c bounds 178 >= 90 @ 20.4307 21.14/21.99 c bounds 177 >= 90 @ 20.4392 21.14/21.99 c bounds 176 >= 90 @ 20.4483 21.14/21.99 c bounds 175 >= 90 @ 20.4569 21.14/21.99 c bounds 174 >= 90 @ 20.4648 21.14/21.99 c bounds 173 >= 90 @ 20.4722 21.14/21.99 c bounds 172 >= 90 @ 20.4787 21.14/21.99 c bounds 171 >= 90 @ 20.4857 21.14/21.99 c bounds 170 >= 90 @ 20.4938 21.14/21.99 c bounds 169 >= 90 @ 20.5081 21.14/21.99 c bounds 168 >= 90 @ 20.5148 21.14/21.99 c bounds 167 >= 90 @ 20.5223 21.14/21.99 c bounds 166 >= 90 @ 20.5299 21.14/21.99 c bounds 165 >= 90 @ 20.5376 21.14/21.99 c bounds 164 >= 90 @ 20.5453 21.14/21.99 c bounds 163 >= 90 @ 20.5529 21.14/21.99 c bounds 162 >= 90 @ 20.5608 21.14/21.99 c bounds 161 >= 90 @ 20.5685 21.14/21.99 c bounds 160 >= 90 @ 20.5758 21.14/21.99 c bounds 159 >= 90 @ 20.5815 21.14/21.99 c bounds 158 >= 90 @ 20.5881 162.39/163.70 c bounds 157 >= 90 @ 20.5944 162.39/163.70 c bounds 156 >= 90 @ 20.6045 162.39/163.70 c bounds 155 >= 90 @ 20.6114 162.39/163.70 c bounds 154 >= 90 @ 20.6179 162.39/163.70 c bounds 153 >= 90 @ 20.6253 162.39/163.70 c bounds 152 >= 90 @ 20.6314 162.39/163.70 c bounds 151 >= 90 @ 20.6378 162.39/163.70 c bounds 150 >= 90 @ 20.6454 162.39/163.70 c bounds 149 >= 90 @ 20.6524 162.39/163.70 c bounds 148 >= 90 @ 20.6592 162.39/163.70 c bounds 147 >= 90 @ 20.6661 162.39/163.70 c bounds 146 >= 90 @ 20.6728 162.39/163.70 c bounds 145 >= 90 @ 20.6785 162.39/163.70 c bounds 144 >= 90 @ 20.6852 162.39/163.70 c bounds 143 >= 90 @ 20.6892 162.39/163.70 c bounds 142 >= 90 @ 20.6959 162.39/163.70 c bounds 141 >= 90 @ 20.7016 162.39/163.70 c bounds 140 >= 90 @ 20.7072 162.39/163.70 c #Conflicts: 3000 | #Constraints: 123829 162.39/163.70 c #Conflicts: 4000 | #Constraints: 124829 162.39/163.70 c INPROCESSING 162.39/163.70 c GARBAGE COLLECT 162.39/163.70 c bounds 139 >= 90 @ 21.229 162.39/163.70 c bounds 138 >= 90 @ 21.2368 162.39/163.70 c bounds 137 >= 90 @ 21.2433 162.39/163.70 c bounds 136 >= 90 @ 21.2502 162.39/163.70 c bounds 135 >= 90 @ 21.2556 162.39/163.70 c bounds 134 >= 90 @ 21.2619 162.39/163.70 c bounds 133 >= 90 @ 21.2678 162.39/163.70 c bounds 132 >= 90 @ 21.2742 162.39/163.70 c bounds 131 >= 90 @ 21.2804 162.39/163.70 c bounds 130 >= 90 @ 21.2881 162.39/163.70 c bounds 129 >= 90 @ 21.2921 162.39/163.70 c bounds 128 >= 90 @ 21.2979 162.39/163.70 c bounds 127 >= 90 @ 21.3026 162.39/163.70 c bounds 126 >= 90 @ 21.3086 162.39/163.70 c bounds 125 >= 90 @ 21.3144 162.39/163.70 c bounds 124 >= 90 @ 21.3192 162.39/163.70 c bounds 123 >= 90 @ 21.3237 162.39/163.70 c bounds 122 >= 90 @ 21.3291 162.39/163.70 c bounds 121 >= 90 @ 21.3335 162.39/163.70 c bounds 120 >= 90 @ 21.3812 162.39/163.70 c bounds 119 >= 90 @ 21.3857 162.39/163.70 c bounds 118 >= 90 @ 21.4607 162.39/163.70 c bounds 117 >= 90 @ 21.5068 162.39/163.70 c #Conflicts: 5000 | #Constraints: 44716 162.39/163.70 c bounds 116 >= 90 @ 21.6261 162.39/163.70 c bounds 115 >= 90 @ 21.6316 162.39/163.70 c bounds 114 >= 90 @ 21.6522 162.39/163.70 c bounds 113 >= 90 @ 21.6592 162.39/163.70 c bounds 112 >= 90 @ 21.682 162.39/163.70 c bounds 111 >= 90 @ 21.692 162.39/163.70 c bounds 110 >= 90 @ 21.708 162.39/163.70 c #Conflicts: 6000 | #Constraints: 45723 162.39/163.70 c INPROCESSING 162.39/163.70 c GARBAGE COLLECT 162.39/163.70 c #Conflicts: 7000 | #Constraints: 27717 162.39/163.70 c #Conflicts: 8000 | #Constraints: 28718 162.39/163.70 c #Conflicts: 9000 | #Constraints: 29718 162.39/163.70 c INPROCESSING 162.39/163.70 c GARBAGE COLLECT 162.39/163.70 c #Conflicts: 10000 | #Constraints: 28571 162.39/163.70 c #Conflicts: 11000 | #Constraints: 29571 162.39/163.70 c #Conflicts: 12000 | #Constraints: 30571 162.39/163.70 c INPROCESSING 162.39/163.70 c GARBAGE COLLECT 162.39/163.70 c #Conflicts: 13000 | #Constraints: 29095 162.39/163.70 c #Conflicts: 14000 | #Constraints: 30095 162.39/163.70 c bounds 109 >= 90 @ 92.1025 162.39/163.70 c #Conflicts: 15000 | #Constraints: 31096 162.39/163.70 c INPROCESSING 162.39/163.70 c GARBAGE COLLECT 162.39/163.70 c #Conflicts: 16000 | #Constraints: 28811 162.39/163.70 c #Conflicts: 17000 | #Constraints: 29812 162.39/163.70 c #Conflicts: 18000 | #Constraints: 30812 162.39/163.70 c INPROCESSING 162.39/163.70 c GARBAGE COLLECT 162.39/163.70 c #Conflicts: 19000 | #Constraints: 28863 162.39/163.70 c #Conflicts: 20000 | #Constraints: 29863 162.39/163.70 c #Conflicts: 21000 | #Constraints: 30863 162.39/163.70 c INPROCESSING 162.39/163.70 c GARBAGE COLLECT 162.39/163.70 c #Conflicts: 22000 | #Constraints: 28681 162.39/163.70 c #Conflicts: 23000 | #Constraints: 29681 162.39/163.70 c #Conflicts: 24000 | #Constraints: 30681 162.39/163.70 c #Conflicts: 25000 | #Constraints: 31681 162.39/163.70 c INPROCESSING 162.39/163.70 c GARBAGE COLLECT 162.39/163.70 c rational objective 91.4227 269.43/271.06 c #Conflicts: 26000 | #Constraints: 29291 269.43/271.06 c bounds 109 >= 91 @ 167.345 269.43/271.06 c #Conflicts: 27000 | #Constraints: 30294 269.43/271.06 c #Conflicts: 28000 | #Constraints: 31294 269.43/271.06 c bounds 109 >= 92 @ 168.746 269.43/271.06 c #Conflicts: 29000 | #Constraints: 32297 269.43/271.06 c INPROCESSING 269.43/271.06 c GARBAGE COLLECT 269.43/271.06 c #Conflicts: 30000 | #Constraints: 29701 269.43/271.06 c #Conflicts: 31000 | #Constraints: 30701 269.43/271.06 c #Conflicts: 32000 | #Constraints: 31701 269.43/271.06 c #Conflicts: 33000 | #Constraints: 32701 269.43/271.06 c INPROCESSING 269.43/271.06 c GARBAGE COLLECT 269.43/271.06 c #Conflicts: 34000 | #Constraints: 29910 269.43/271.06 c #Conflicts: 35000 | #Constraints: 30910 269.43/271.06 c #Conflicts: 36000 | #Constraints: 31910 269.43/271.06 c #Conflicts: 37000 | #Constraints: 32910 269.43/271.06 c INPROCESSING 269.43/271.06 c GARBAGE COLLECT 269.43/271.06 c #Conflicts: 38000 | #Constraints: 29920 269.43/271.06 c #Conflicts: 39000 | #Constraints: 30920 269.43/271.06 c bounds 108 >= 92 @ 186.723 269.43/271.06 c #Conflicts: 40000 | #Constraints: 31921 269.43/271.06 c #Conflicts: 41000 | #Constraints: 32921 269.43/271.06 c INPROCESSING 269.43/271.06 c GARBAGE COLLECT 269.43/271.06 c #Conflicts: 42000 | #Constraints: 29132 269.43/271.06 c #Conflicts: 43000 | #Constraints: 30132 269.43/271.06 c #Conflicts: 44000 | #Constraints: 31133 269.43/271.06 c #Conflicts: 45000 | #Constraints: 32133 269.43/271.06 c #Conflicts: 46000 | #Constraints: 33133 269.43/271.06 c INPROCESSING 269.43/271.06 c GARBAGE COLLECT 269.43/271.06 c #Conflicts: 47000 | #Constraints: 29756 269.43/271.06 c #Conflicts: 48000 | #Constraints: 30756 269.43/271.06 c #Conflicts: 49000 | #Constraints: 31756 269.43/271.06 c #Conflicts: 50000 | #Constraints: 32756 269.43/271.06 c #Conflicts: 51000 | #Constraints: 33756 269.43/271.06 c INPROCESSING 269.43/271.06 c GARBAGE COLLECT 269.43/271.06 c #Conflicts: 52000 | #Constraints: 30165 269.43/271.06 c #Conflicts: 53000 | #Constraints: 31165 269.43/271.06 c #Conflicts: 54000 | #Constraints: 32165 269.43/271.06 c #Conflicts: 55000 | #Constraints: 33165 269.43/271.06 c #Conflicts: 56000 | #Constraints: 34165 269.43/271.06 c INPROCESSING 269.43/271.06 c GARBAGE COLLECT 269.43/271.06 c rational objective 91.4228 369.77/371.68 c #Conflicts: 57000 | #Constraints: 30387 369.77/371.68 c #Conflicts: 58000 | #Constraints: 31388 369.77/371.68 c #Conflicts: 59000 | #Constraints: 32388 369.77/371.68 c #Conflicts: 60000 | #Constraints: 33388 369.77/371.68 c #Conflicts: 61000 | #Constraints: 34388 369.77/371.68 c INPROCESSING 369.77/371.68 c GARBAGE COLLECT 369.77/371.68 c #Conflicts: 62000 | #Constraints: 30382 369.77/371.68 c #Conflicts: 63000 | #Constraints: 31382 369.77/371.68 c #Conflicts: 64000 | #Constraints: 32382 369.77/371.68 c #Conflicts: 65000 | #Constraints: 33382 369.77/371.68 c #Conflicts: 66000 | #Constraints: 34382 369.77/371.68 c INPROCESSING 369.77/371.68 c GARBAGE COLLECT 369.77/371.68 c #Conflicts: 67000 | #Constraints: 30192 369.77/371.68 c #Conflicts: 68000 | #Constraints: 31192 369.77/371.68 c #Conflicts: 69000 | #Constraints: 32193 369.77/371.68 c #Conflicts: 70000 | #Constraints: 33193 369.77/371.68 c #Conflicts: 71000 | #Constraints: 34193 369.77/371.68 c #Conflicts: 72000 | #Constraints: 35193 369.77/371.68 c INPROCESSING 369.77/371.68 c GARBAGE COLLECT 369.77/371.68 c #Conflicts: 73000 | #Constraints: 30795 369.77/371.68 c #Conflicts: 74000 | #Constraints: 31795 369.77/371.68 c #Conflicts: 75000 | #Constraints: 32795 369.77/371.68 c #Conflicts: 76000 | #Constraints: 33795 369.77/371.68 c #Conflicts: 77000 | #Constraints: 34795 369.77/371.68 c #Conflicts: 78000 | #Constraints: 35795 369.77/371.68 c INPROCESSING 369.77/371.68 c GARBAGE COLLECT 369.77/371.68 c #Conflicts: 79000 | #Constraints: 31198 369.77/371.68 c #Conflicts: 80000 | #Constraints: 32198 369.77/371.68 c #Conflicts: 81000 | #Constraints: 33198 369.77/371.68 c #Conflicts: 82000 | #Constraints: 34198 369.77/371.68 c #Conflicts: 83000 | #Constraints: 35198 369.77/371.68 c #Conflicts: 84000 | #Constraints: 36198 369.77/371.68 c INPROCESSING 369.77/371.68 c GARBAGE COLLECT 369.77/371.68 c rational objective 91.4228 681.89/684.54 c #Conflicts: 85000 | #Constraints: 31410 681.89/684.54 c #Conflicts: 86000 | #Constraints: 32410 681.89/684.54 c #Conflicts: 87000 | #Constraints: 33410 681.89/684.54 c #Conflicts: 88000 | #Constraints: 34410 681.89/684.54 c #Conflicts: 89000 | #Constraints: 35410 681.89/684.54 c #Conflicts: 90000 | #Constraints: 36410 681.89/684.54 c INPROCESSING 681.89/684.54 c GARBAGE COLLECT 681.89/684.54 c #Conflicts: 91000 | #Constraints: 31415 681.89/684.54 c #Conflicts: 92000 | #Constraints: 32415 681.89/684.54 c #Conflicts: 93000 | #Constraints: 33415 681.89/684.54 c #Conflicts: 94000 | #Constraints: 34415 681.89/684.54 c #Conflicts: 95000 | #Constraints: 35415 681.89/684.54 c #Conflicts: 96000 | #Constraints: 36415 681.89/684.54 c INPROCESSING 681.89/684.54 c GARBAGE COLLECT 681.89/684.54 c #Conflicts: 97000 | #Constraints: 31214 681.89/684.54 c #Conflicts: 98000 | #Constraints: 32214 681.89/684.54 c #Conflicts: 99000 | #Constraints: 33214 681.89/684.54 c #Conflicts: 100000 | #Constraints: 34214 681.89/684.54 c #Conflicts: 101000 | #Constraints: 35214 681.89/684.54 c #Conflicts: 102000 | #Constraints: 36214 681.89/684.54 c #Conflicts: 103000 | #Constraints: 37214 681.89/684.54 c INPROCESSING 681.89/684.54 c GARBAGE COLLECT 681.89/684.54 c #Conflicts: 104000 | #Constraints: 31823 681.89/684.54 c #Conflicts: 105000 | #Constraints: 32823 681.89/684.54 c #Conflicts: 106000 | #Constraints: 33823 681.89/684.54 c #Conflicts: 107000 | #Constraints: 34824 681.89/684.54 c #Conflicts: 108000 | #Constraints: 35824 681.89/684.54 c #Conflicts: 109000 | #Constraints: 36824 681.89/684.54 c #Conflicts: 110000 | #Constraints: 37824 681.89/684.54 c INPROCESSING 681.89/684.54 c GARBAGE COLLECT 681.89/684.54 c #Conflicts: 111000 | #Constraints: 32218 681.89/684.54 c #Conflicts: 112000 | #Constraints: 33218 681.89/684.54 c #Conflicts: 113000 | #Constraints: 34218 681.89/684.54 c #Conflicts: 114000 | #Constraints: 35218 681.89/684.54 c #Conflicts: 115000 | #Constraints: 36218 681.89/684.54 c #Conflicts: 116000 | #Constraints: 37218 681.89/684.54 c #Conflicts: 117000 | #Constraints: 38218 681.89/684.54 c INPROCESSING 681.89/684.54 c GARBAGE COLLECT 681.89/684.54 c #Conflicts: 118000 | #Constraints: 32411 681.89/684.54 c #Conflicts: 119000 | #Constraints: 33411 681.89/684.54 c #Conflicts: 120000 | #Constraints: 34411 681.89/684.54 c #Conflicts: 121000 | #Constraints: 35412 681.89/684.54 c #Conflicts: 122000 | #Constraints: 36412 681.89/684.54 c #Conflicts: 123000 | #Constraints: 37412 681.89/684.54 c #Conflicts: 124000 | #Constraints: 38412 681.89/684.54 c INPROCESSING 681.89/684.54 c GARBAGE COLLECT 681.89/684.54 c #Conflicts: 125000 | #Constraints: 32401 681.89/684.54 c #Conflicts: 126000 | #Constraints: 33401 681.89/684.54 c #Conflicts: 127000 | #Constraints: 34401 681.89/684.54 c #Conflicts: 128000 | #Constraints: 35401 681.89/684.54 c #Conflicts: 129000 | #Constraints: 36401 681.89/684.54 c #Conflicts: 130000 | #Constraints: 37402 681.89/684.54 c #Conflicts: 131000 | #Constraints: 38402 681.89/684.54 c INPROCESSING 681.89/684.54 c GARBAGE COLLECT 681.89/684.54 c #Conflicts: 132000 | #Constraints: 32216 681.89/684.54 c #Conflicts: 133000 | #Constraints: 33216 681.89/684.54 c #Conflicts: 134000 | #Constraints: 34217 681.89/684.54 c #Conflicts: 135000 | #Constraints: 35217 681.89/684.54 c #Conflicts: 136000 | #Constraints: 36217 681.89/684.54 c #Conflicts: 137000 | #Constraints: 37217 681.89/684.54 c #Conflicts: 138000 | #Constraints: 38217 681.89/684.54 c #Conflicts: 139000 | #Constraints: 39218 681.89/684.54 c INPROCESSING 681.89/684.54 c GARBAGE COLLECT 681.89/684.54 c #Conflicts: 140000 | #Constraints: 32820 681.89/684.54 c #Conflicts: 141000 | #Constraints: 33820 681.89/684.54 c #Conflicts: 142000 | #Constraints: 34820 681.89/684.54 c #Conflicts: 143000 | #Constraints: 35820 681.89/684.54 c #Conflicts: 144000 | #Constraints: 36821 681.89/684.54 c #Conflicts: 145000 | #Constraints: 37821 681.89/684.54 c #Conflicts: 146000 | #Constraints: 38821 681.89/684.54 c #Conflicts: 147000 | #Constraints: 39821 681.89/684.54 c INPROCESSING 681.89/684.54 c GARBAGE COLLECT 681.89/684.54 c rational objective 91.4335 821.75/824.73 c #Conflicts: 148000 | #Constraints: 33242 821.75/824.73 c #Conflicts: 149000 | #Constraints: 34243 821.75/824.73 c #Conflicts: 150000 | #Constraints: 35243 821.75/824.73 c #Conflicts: 151000 | #Constraints: 36243 821.75/824.73 c #Conflicts: 152000 | #Constraints: 37243 821.75/824.73 c bounds 108 >= 93 @ 691.891 821.75/824.73 c #Conflicts: 153000 | #Constraints: 38246 821.75/824.73 c #Conflicts: 154000 | #Constraints: 39246 821.75/824.73 c #Conflicts: 155000 | #Constraints: 40246 821.75/824.73 c INPROCESSING 821.75/824.73 c GARBAGE COLLECT 821.75/824.73 c #Conflicts: 156000 | #Constraints: 33418 821.75/824.73 c #Conflicts: 157000 | #Constraints: 34418 821.75/824.73 c #Conflicts: 158000 | #Constraints: 35418 821.75/824.73 c #Conflicts: 159000 | #Constraints: 36418 821.75/824.73 c #Conflicts: 160000 | #Constraints: 37418 821.75/824.73 c #Conflicts: 161000 | #Constraints: 38418 821.75/824.73 c #Conflicts: 162000 | #Constraints: 39418 821.75/824.73 c #Conflicts: 163000 | #Constraints: 40418 821.75/824.73 c INPROCESSING 821.75/824.73 c GARBAGE COLLECT 821.75/824.73 c #Conflicts: 164000 | #Constraints: 33434 821.75/824.73 c #Conflicts: 165000 | #Constraints: 34434 821.75/824.73 c #Conflicts: 166000 | #Constraints: 35434 821.75/824.73 c #Conflicts: 167000 | #Constraints: 36434 821.75/824.73 c #Conflicts: 168000 | #Constraints: 37434 821.75/824.73 c #Conflicts: 169000 | #Constraints: 38434 821.75/824.73 c #Conflicts: 170000 | #Constraints: 39434 821.75/824.73 c #Conflicts: 171000 | #Constraints: 40434 821.75/824.73 c INPROCESSING 821.75/824.73 c GARBAGE COLLECT 821.75/824.73 c rational objective 91.4342 832.33/835.31 c #Conflicts: 172000 | #Constraints: 33223 832.33/835.31 c #Conflicts: 173000 | #Constraints: 34223 832.33/835.31 c #Conflicts: 174000 | #Constraints: 35223 832.33/835.31 c #Conflicts: 175000 | #Constraints: 36223 832.33/835.31 c #Conflicts: 176000 | #Constraints: 37223 832.33/835.31 c #Conflicts: 177000 | #Constraints: 38223 832.33/835.31 c #Conflicts: 178000 | #Constraints: 39223 832.33/835.31 c #Conflicts: 179000 | #Constraints: 40223 832.33/835.31 c #Conflicts: 180000 | #Constraints: 41223 832.33/835.31 c INPROCESSING 832.33/835.31 c GARBAGE COLLECT 832.33/835.31 c rational objective 91.435 996.33/999.73 c #Conflicts: 181000 | #Constraints: 33831 996.33/999.73 c #Conflicts: 182000 | #Constraints: 34831 996.33/999.73 c #Conflicts: 183000 | #Constraints: 35831 996.33/999.73 c #Conflicts: 184000 | #Constraints: 36831 996.33/999.73 c #Conflicts: 185000 | #Constraints: 37831 996.33/999.73 c #Conflicts: 186000 | #Constraints: 38831 996.33/999.73 c #Conflicts: 187000 | #Constraints: 39832 996.33/999.73 c #Conflicts: 188000 | #Constraints: 40832 996.33/999.73 c #Conflicts: 189000 | #Constraints: 41833 996.33/999.73 c INPROCESSING 996.33/999.73 c GARBAGE COLLECT 996.33/999.73 c rational objective 91.4351 1171.98/1175.85 c #Conflicts: 190000 | #Constraints: 34219 1171.98/1175.85 c #Conflicts: 191000 | #Constraints: 35219 1171.98/1175.85 c #Conflicts: 192000 | #Constraints: 36219 1171.98/1175.85 c #Conflicts: 193000 | #Constraints: 37219 1171.98/1175.85 c #Conflicts: 194000 | #Constraints: 38219 1171.98/1175.85 c #Conflicts: 195000 | #Constraints: 39219 1171.98/1175.85 c #Conflicts: 196000 | #Constraints: 40219 1171.98/1175.85 c #Conflicts: 197000 | #Constraints: 41219 1171.98/1175.85 c #Conflicts: 198000 | #Constraints: 42219 1171.98/1175.85 c INPROCESSING 1171.98/1175.85 c GARBAGE COLLECT 1171.98/1175.85 c #Conflicts: 199000 | #Constraints: 34449 1171.98/1175.85 c #Conflicts: 200000 | #Constraints: 35449 1171.98/1175.85 c #Conflicts: 201000 | #Constraints: 36449 1171.98/1175.85 c #Conflicts: 202000 | #Constraints: 37449 1171.98/1175.85 c #Conflicts: 203000 | #Constraints: 38449 1171.98/1175.85 c #Conflicts: 204000 | #Constraints: 39449 1171.98/1175.85 c #Conflicts: 205000 | #Constraints: 40449 1171.98/1175.85 c #Conflicts: 206000 | #Constraints: 41449 1171.98/1175.85 c #Conflicts: 207000 | #Constraints: 42450 1171.98/1175.85 c INPROCESSING 1171.98/1175.85 c GARBAGE COLLECT 1171.98/1175.85 c rational objective 91.4351 1478.11/1482.75 c #Conflicts: 208000 | #Constraints: 34438 1478.11/1482.75 c #Conflicts: 209000 | #Constraints: 35438 1478.11/1482.75 c #Conflicts: 210000 | #Constraints: 36438 1478.11/1482.75 c #Conflicts: 211000 | #Constraints: 37438 1478.11/1482.75 c #Conflicts: 212000 | #Constraints: 38438 1478.11/1482.75 c #Conflicts: 213000 | #Constraints: 39438 1478.11/1482.75 c #Conflicts: 214000 | #Constraints: 40438 1478.11/1482.75 c #Conflicts: 215000 | #Constraints: 41438 1478.11/1482.75 c #Conflicts: 216000 | #Constraints: 42438 1478.11/1482.75 c INPROCESSING 1478.11/1482.75 c GARBAGE COLLECT 1478.11/1482.75 c #Conflicts: 217000 | #Constraints: 34240 1478.11/1482.75 c #Conflicts: 218000 | #Constraints: 35241 1478.11/1482.75 c #Conflicts: 219000 | #Constraints: 36241 1478.11/1482.75 c #Conflicts: 220000 | #Constraints: 37241 1478.11/1482.75 c #Conflicts: 221000 | #Constraints: 38241 1478.11/1482.75 c #Conflicts: 222000 | #Constraints: 39241 1478.11/1482.75 c #Conflicts: 223000 | #Constraints: 40241 1478.11/1482.75 c #Conflicts: 224000 | #Constraints: 41241 1478.11/1482.75 c #Conflicts: 225000 | #Constraints: 42241 1478.11/1482.75 c #Conflicts: 226000 | #Constraints: 43241 1478.11/1482.75 c INPROCESSING 1478.11/1482.75 c GARBAGE COLLECT 1478.11/1482.75 c #Conflicts: 227000 | #Constraints: 34846 1478.11/1482.75 c #Conflicts: 228000 | #Constraints: 35846 1478.11/1482.75 c #Conflicts: 229000 | #Constraints: 36846 1478.11/1482.75 c #Conflicts: 230000 | #Constraints: 37846 1478.11/1482.75 c #Conflicts: 231000 | #Constraints: 38846 1478.11/1482.75 c #Conflicts: 232000 | #Constraints: 39846 1478.11/1482.75 c #Conflicts: 233000 | #Constraints: 40846 1478.11/1482.75 c #Conflicts: 234000 | #Constraints: 41846 1478.11/1482.75 c #Conflicts: 235000 | #Constraints: 42846 1478.11/1482.75 c #Conflicts: 236000 | #Constraints: 43846 1478.11/1482.75 c INPROCESSING 1478.11/1482.75 c GARBAGE COLLECT 1478.11/1482.75 c #Conflicts: 237000 | #Constraints: 35261 1478.11/1482.75 c #Conflicts: 238000 | #Constraints: 36261 1478.11/1482.75 c #Conflicts: 239000 | #Constraints: 37261 1478.11/1482.75 c #Conflicts: 240000 | #Constraints: 38261 1478.11/1482.75 c #Conflicts: 241000 | #Constraints: 39261 1478.11/1482.75 c #Conflicts: 242000 | #Constraints: 40262 1478.11/1482.75 c #Conflicts: 243000 | #Constraints: 41262 1478.11/1482.75 c #Conflicts: 244000 | #Constraints: 42262 1478.11/1482.75 c #Conflicts: 245000 | #Constraints: 43262 1478.11/1482.75 c #Conflicts: 246000 | #Constraints: 44262 1478.11/1482.75 c INPROCESSING 1478.11/1482.75 c GARBAGE COLLECT 1478.11/1482.75 c rational objective 91.4392 1767.18/1772.50 c #Conflicts: 247000 | #Constraints: 35450 1767.18/1772.50 c #Conflicts: 248000 | #Constraints: 36450 1767.18/1772.50 c #Conflicts: 249000 | #Constraints: 37450 1767.18/1772.50 c #Conflicts: 250000 | #Constraints: 38450 1767.18/1772.50 c #Conflicts: 251000 | #Constraints: 39450 1767.18/1772.50 c #Conflicts: 252000 | #Constraints: 40450 1767.18/1772.50 c #Conflicts: 253000 | #Constraints: 41450 1767.18/1772.50 c #Conflicts: 254000 | #Constraints: 42450 1767.18/1772.50 c #Conflicts: 255000 | #Constraints: 43450 1767.18/1772.50 c #Conflicts: 256000 | #Constraints: 44450 1767.18/1772.50 c INPROCESSING 1767.18/1772.50 c GARBAGE COLLECT 1767.18/1772.50 c #Conflicts: 257000 | #Constraints: 35448 1767.18/1772.50 c #Conflicts: 258000 | #Constraints: 36449 1767.18/1772.50 c #Conflicts: 259000 | #Constraints: 37449 1767.18/1772.50 c #Conflicts: 260000 | #Constraints: 38449 1767.18/1772.50 c #Conflicts: 261000 | #Constraints: 39449 1767.18/1772.50 c #Conflicts: 262000 | #Constraints: 40449 1767.18/1772.50 c #Conflicts: 263000 | #Constraints: 41449 1767.18/1772.50 c #Conflicts: 264000 | #Constraints: 42449 1767.18/1772.50 c #Conflicts: 265000 | #Constraints: 43449 1767.18/1772.50 c #Conflicts: 266000 | #Constraints: 44449 1767.18/1772.50 c INPROCESSING 1767.18/1772.50 c GARBAGE COLLECT 1767.18/1772.50 c #Conflicts: 267000 | #Constraints: 35270 1767.18/1772.50 c #Conflicts: 268000 | #Constraints: 36270 1767.18/1772.50 c #Conflicts: 269000 | #Constraints: 37270 1767.18/1772.50 c #Conflicts: 270000 | #Constraints: 38270 1767.18/1772.50 c #Conflicts: 271000 | #Constraints: 39270 1767.18/1772.50 c #Conflicts: 272000 | #Constraints: 40270 1767.18/1772.50 c #Conflicts: 273000 | #Constraints: 41270 1767.18/1772.50 c #Conflicts: 274000 | #Constraints: 42270 1767.18/1772.50 c #Conflicts: 275000 | #Constraints: 43270 1767.18/1772.50 c #Conflicts: 276000 | #Constraints: 44270 1767.18/1772.50 c #Conflicts: 277000 | #Constraints: 45270 1767.18/1772.50 c INPROCESSING 1767.18/1772.50 c GARBAGE COLLECT 1767.18/1772.50 c #Conflicts: 278000 | #Constraints: 35866 1767.18/1772.50 c #Conflicts: 279000 | #Constraints: 36867 1767.18/1772.50 c #Conflicts: 280000 | #Constraints: 37867 1767.18/1772.50 c #Conflicts: 281000 | #Constraints: 38867 1767.18/1772.50 c #Conflicts: 282000 | #Constraints: 39867 1767.18/1772.50 c #Conflicts: 283000 | #Constraints: 40867 1767.18/1772.50 c #Conflicts: 284000 | #Constraints: 41867 1767.18/1772.50 c #Conflicts: 285000 | #Constraints: 42868 1767.18/1772.50 c #Conflicts: 286000 | #Constraints: 43868 1767.18/1772.50 c #Conflicts: 287000 | #Constraints: 44868 1767.18/1772.50 c #Conflicts: 288000 | #Constraints: 45868 1767.18/1772.50 c INPROCESSING 1767.18/1772.50 c GARBAGE COLLECT 1767.18/1772.50 c #Conflicts: 289000 | #Constraints: 36268 1767.18/1772.50 c #Conflicts: 290000 | #Constraints: 37268 1767.18/1772.50 c #Conflicts: 291000 | #Constraints: 38268 1767.18/1772.50 c #Conflicts: 292000 | #Constraints: 39268 1767.18/1772.50 c #Conflicts: 293000 | #Constraints: 40268 1767.18/1772.50 c #Conflicts: 294000 | #Constraints: 41268 1767.18/1772.50 c #Conflicts: 295000 | #Constraints: 42268 1767.18/1772.50 c #Conflicts: 296000 | #Constraints: 43268 1767.18/1772.50 c #Conflicts: 297000 | #Constraints: 44268 1767.18/1772.50 c #Conflicts: 298000 | #Constraints: 45268 1767.18/1772.50 c #Conflicts: 299000 | #Constraints: 46268 1767.18/1772.50 c INPROCESSING 1767.18/1772.50 c GARBAGE COLLECT 1767.18/1772.50 c #Conflicts: 300000 | #Constraints: 36473 1767.18/1772.50 c #Conflicts: 301000 | #Constraints: 37473 1767.18/1772.50 c #Conflicts: 302000 | #Constraints: 38473 1767.18/1772.50 c #Conflicts: 303000 | #Constraints: 39474 1767.18/1772.50 c #Conflicts: 304000 | #Constraints: 40474 1767.18/1772.50 c #Conflicts: 305000 | #Constraints: 41474 1767.18/1772.50 c #Conflicts: 306000 | #Constraints: 42474 1767.18/1772.50 c #Conflicts: 307000 | #Constraints: 43474 1767.18/1772.50 c #Conflicts: 308000 | #Constraints: 44474 1767.18/1772.50 c #Conflicts: 309000 | #Constraints: 45474 1767.18/1772.50 c #Conflicts: 310000 | #Constraints: 46474 1767.18/1772.50 c INPROCESSING 1767.18/1772.50 c GARBAGE COLLECT 1767.18/1772.50 WSVECS04 Frhs2[26563]: 6 0 1.00008 shouldn't be 1767.18/1772.50 WSVECS04 Frhs2[27193]: 6 -102 0 shouldn't be 1767.18/1772.50 WSVECS04 Frhs2[54568]: 6 0 2.00003 shouldn't be 2130.88/2137.13 c #Conflicts: 311000 | #Constraints: 36470 2130.88/2137.13 c #Conflicts: 312000 | #Constraints: 37470 2130.88/2137.13 c #Conflicts: 313000 | #Constraints: 38470 2130.88/2137.13 c #Conflicts: 314000 | #Constraints: 39470 2130.88/2137.13 c #Conflicts: 315000 | #Constraints: 40470 2130.88/2137.13 c #Conflicts: 316000 | #Constraints: 41470 2130.88/2137.13 c #Conflicts: 317000 | #Constraints: 42470 2130.88/2137.13 c #Conflicts: 318000 | #Constraints: 43470 2130.88/2137.13 c #Conflicts: 319000 | #Constraints: 44470 2130.88/2137.13 c #Conflicts: 320000 | #Constraints: 45470 2130.88/2137.13 c #Conflicts: 321000 | #Constraints: 46470 2130.88/2137.13 c INPROCESSING 2130.88/2137.13 c GARBAGE COLLECT 2130.88/2137.13 c #Conflicts: 322000 | #Constraints: 36255 2130.88/2137.13 c #Conflicts: 323000 | #Constraints: 37255 2130.88/2137.13 c #Conflicts: 324000 | #Constraints: 38255 2130.88/2137.13 c #Conflicts: 325000 | #Constraints: 39255 2130.88/2137.13 c #Conflicts: 326000 | #Constraints: 40255 2130.88/2137.13 c #Conflicts: 327000 | #Constraints: 41255 2130.88/2137.13 c #Conflicts: 328000 | #Constraints: 42255 2130.88/2137.13 c #Conflicts: 329000 | #Constraints: 43255 2130.88/2137.13 c #Conflicts: 330000 | #Constraints: 44255 2130.88/2137.13 c #Conflicts: 331000 | #Constraints: 45255 2130.88/2137.13 c #Conflicts: 332000 | #Constraints: 46255 2130.88/2137.13 c #Conflicts: 333000 | #Constraints: 47255 2130.88/2137.13 c INPROCESSING 2130.88/2137.13 c GARBAGE COLLECT 2130.88/2137.13 c #Conflicts: 334000 | #Constraints: 36848 2130.88/2137.13 c #Conflicts: 335000 | #Constraints: 37848 2130.88/2137.13 c #Conflicts: 336000 | #Constraints: 38848 2130.88/2137.13 c #Conflicts: 337000 | #Constraints: 39848 2130.88/2137.13 c #Conflicts: 338000 | #Constraints: 40848 2130.88/2137.13 c #Conflicts: 339000 | #Constraints: 41849 2130.88/2137.13 c #Conflicts: 340000 | #Constraints: 42849 2130.88/2137.13 c #Conflicts: 341000 | #Constraints: 43849 2130.88/2137.13 c #Conflicts: 342000 | #Constraints: 44849 2130.88/2137.13 c #Conflicts: 343000 | #Constraints: 45849 2130.88/2137.13 c #Conflicts: 344000 | #Constraints: 46849 2130.88/2137.13 c #Conflicts: 345000 | #Constraints: 47849 2130.88/2137.13 c INPROCESSING 2130.88/2137.13 c GARBAGE COLLECT 2130.88/2137.13 c #Conflicts: 346000 | #Constraints: 37253 2130.88/2137.13 c #Conflicts: 347000 | #Constraints: 38253 2130.88/2137.13 c #Conflicts: 348000 | #Constraints: 39253 2130.88/2137.13 c #Conflicts: 349000 | #Constraints: 40253 2130.88/2137.13 c #Conflicts: 350000 | #Constraints: 41253 2130.88/2137.13 c #Conflicts: 351000 | #Constraints: 42253 2130.88/2137.13 c #Conflicts: 352000 | #Constraints: 43253 2130.88/2137.13 c #Conflicts: 353000 | #Constraints: 44253 2130.88/2137.13 c #Conflicts: 354000 | #Constraints: 45253 2130.88/2137.13 c #Conflicts: 355000 | #Constraints: 46254 2130.88/2137.13 c #Conflicts: 356000 | #Constraints: 47254 2130.88/2137.13 c #Conflicts: 357000 | #Constraints: 48254 2130.88/2137.13 c INPROCESSING 2130.88/2137.13 c GARBAGE COLLECT 2130.88/2137.13 c #Conflicts: 358000 | #Constraints: 37470 2130.88/2137.13 c #Conflicts: 359000 | #Constraints: 38470 2130.88/2137.13 c #Conflicts: 360000 | #Constraints: 39471 2130.88/2137.13 c #Conflicts: 361000 | #Constraints: 40471 2130.88/2137.13 c #Conflicts: 362000 | #Constraints: 41471 2130.88/2137.13 c #Conflicts: 363000 | #Constraints: 42471 2130.88/2137.13 c #Conflicts: 364000 | #Constraints: 43471 2130.88/2137.13 c #Conflicts: 365000 | #Constraints: 44471 2130.88/2137.13 c #Conflicts: 366000 | #Constraints: 45471 2130.88/2137.13 c #Conflicts: 367000 | #Constraints: 46471 2130.88/2137.13 c #Conflicts: 368000 | #Constraints: 47471 2130.88/2137.13 c #Conflicts: 369000 | #Constraints: 48472 2130.88/2137.13 c INPROCESSING 2130.88/2137.13 c GARBAGE COLLECT 2130.88/2137.13 c rational objective 91.4392 2246.37/2252.98 c #Conflicts: 370000 | #Constraints: 37475 2246.37/2252.98 c #Conflicts: 371000 | #Constraints: 38475 2246.37/2252.98 c #Conflicts: 372000 | #Constraints: 39475 2246.37/2252.98 c #Conflicts: 373000 | #Constraints: 40475 2246.37/2252.98 c #Conflicts: 374000 | #Constraints: 41475 2246.37/2252.98 c #Conflicts: 375000 | #Constraints: 42475 2246.37/2252.98 c #Conflicts: 376000 | #Constraints: 43475 2246.37/2252.98 c #Conflicts: 377000 | #Constraints: 44475 2246.37/2252.98 c #Conflicts: 378000 | #Constraints: 45475 2246.37/2252.98 c #Conflicts: 379000 | #Constraints: 46475 2246.37/2252.98 c #Conflicts: 380000 | #Constraints: 47475 2246.37/2252.98 c #Conflicts: 381000 | #Constraints: 48475 2246.37/2252.98 c INPROCESSING 2246.37/2252.98 c GARBAGE COLLECT 2246.37/2252.98 c #Conflicts: 382000 | #Constraints: 37277 2246.37/2252.98 c #Conflicts: 383000 | #Constraints: 38278 2246.37/2252.98 c #Conflicts: 384000 | #Constraints: 39278 2246.37/2252.98 c #Conflicts: 385000 | #Constraints: 40278 2246.37/2252.98 c #Conflicts: 386000 | #Constraints: 41278 2246.37/2252.98 c #Conflicts: 387000 | #Constraints: 42278 2246.37/2252.98 c #Conflicts: 388000 | #Constraints: 43278 2246.37/2252.98 c #Conflicts: 389000 | #Constraints: 44278 2246.37/2252.98 c #Conflicts: 390000 | #Constraints: 45278 2246.37/2252.98 c #Conflicts: 391000 | #Constraints: 46278 2246.37/2252.98 c #Conflicts: 392000 | #Constraints: 47279 2246.37/2252.98 c #Conflicts: 393000 | #Constraints: 48279 2246.37/2252.98 c #Conflicts: 394000 | #Constraints: 49279 2246.37/2252.98 c INPROCESSING 2246.37/2252.98 c GARBAGE COLLECT 2246.37/2252.98 c #Conflicts: 395000 | #Constraints: 37872 2246.37/2252.98 c #Conflicts: 396000 | #Constraints: 38872 2246.37/2252.98 c #Conflicts: 397000 | #Constraints: 39872 2246.37/2252.98 c #Conflicts: 398000 | #Constraints: 40872 2246.37/2252.98 c #Conflicts: 399000 | #Constraints: 41872 2246.37/2252.98 c #Conflicts: 400000 | #Constraints: 42872 2246.37/2252.98 c #Conflicts: 401000 | #Constraints: 43872 2246.37/2252.98 c #Conflicts: 402000 | #Constraints: 44872 2246.37/2252.98 c #Conflicts: 403000 | #Constraints: 45872 2246.37/2252.98 c #Conflicts: 404000 | #Constraints: 46872 2246.37/2252.98 c #Conflicts: 405000 | #Constraints: 47872 2246.37/2252.98 c #Conflicts: 406000 | #Constraints: 48872 2246.37/2252.98 c #Conflicts: 407000 | #Constraints: 49872 2246.37/2252.98 c INPROCESSING 2246.37/2252.98 c GARBAGE COLLECT 2246.37/2252.98 c #Conflicts: 408000 | #Constraints: 38273 2246.37/2252.98 c #Conflicts: 409000 | #Constraints: 39273 2246.37/2252.98 c #Conflicts: 410000 | #Constraints: 40273 2246.37/2252.98 c #Conflicts: 411000 | #Constraints: 41273 2246.37/2252.98 c #Conflicts: 412000 | #Constraints: 42274 2246.37/2252.98 c #Conflicts: 413000 | #Constraints: 43274 2246.37/2252.98 c #Conflicts: 414000 | #Constraints: 44274 2246.37/2252.98 c #Conflicts: 415000 | #Constraints: 45274 2246.37/2252.98 c #Conflicts: 416000 | #Constraints: 46274 2246.37/2252.98 c #Conflicts: 417000 | #Constraints: 47274 2246.37/2252.98 c #Conflicts: 418000 | #Constraints: 48274 2246.37/2252.98 c #Conflicts: 419000 | #Constraints: 49274 2246.37/2252.98 c #Conflicts: 420000 | #Constraints: 50274 2246.37/2252.98 c INPROCESSING 2246.37/2252.98 c GARBAGE COLLECT 2246.37/2252.98 c #Conflicts: 421000 | #Constraints: 38496 2246.37/2252.98 c #Conflicts: 422000 | #Constraints: 39496 2246.37/2252.98 c #Conflicts: 423000 | #Constraints: 40496 2246.37/2252.98 c #Conflicts: 424000 | #Constraints: 41496 2246.37/2252.98 c bounds 107 >= 93 @ 2211 2246.37/2252.98 c #Conflicts: 425000 | #Constraints: 42497 2246.37/2252.98 c #Conflicts: 426000 | #Constraints: 43497 2246.37/2252.98 c #Conflicts: 427000 | #Constraints: 44497 2246.37/2252.98 c #Conflicts: 428000 | #Constraints: 45497 2246.37/2252.98 c #Conflicts: 429000 | #Constraints: 46497 2246.37/2252.98 c #Conflicts: 430000 | #Constraints: 47497 2246.37/2252.98 c #Conflicts: 431000 | #Constraints: 48497 2246.37/2252.98 c #Conflicts: 432000 | #Constraints: 49497 2246.37/2252.98 c #Conflicts: 433000 | #Constraints: 50497 2246.37/2252.98 c INPROCESSING 2246.37/2252.98 c GARBAGE COLLECT 2246.37/2252.98 c #Conflicts: 434000 | #Constraints: 37808 2246.37/2252.98 c #Conflicts: 435000 | #Constraints: 38808 2246.37/2252.98 c #Conflicts: 436000 | #Constraints: 39808 2246.37/2252.98 c #Conflicts: 437000 | #Constraints: 40809 2246.37/2252.98 c #Conflicts: 438000 | #Constraints: 41809 2246.37/2252.98 c #Conflicts: 439000 | #Constraints: 42809 2246.37/2252.98 c #Conflicts: 440000 | #Constraints: 43809 2246.37/2252.98 c #Conflicts: 441000 | #Constraints: 44809 2246.37/2252.98 c #Conflicts: 442000 | #Constraints: 45809 2246.37/2252.98 c #Conflicts: 443000 | #Constraints: 46809 2246.37/2252.98 c #Conflicts: 444000 | #Constraints: 47809 2246.37/2252.98 c #Conflicts: 445000 | #Constraints: 48809 2439.38/2446.43 c #Conflicts: 446000 | #Constraints: 49809 2439.38/2446.43 c INPROCESSING 2439.38/2446.43 c GARBAGE COLLECT 2439.38/2446.43 WSVECS04 Frhs2[54575]: 6 -93 0 shouldn't be 2532.05/2539.30 c rational objective 91.4393 2659.44/2667.06 c #Conflicts: 447000 | #Constraints: 37695 2659.44/2667.06 c #Conflicts: 448000 | #Constraints: 38695 2659.44/2667.06 c #Conflicts: 449000 | #Constraints: 39695 2659.44/2667.06 c #Conflicts: 450000 | #Constraints: 40695 2659.44/2667.06 c #Conflicts: 451000 | #Constraints: 41695 2659.44/2667.06 c #Conflicts: 452000 | #Constraints: 42695 2659.44/2667.06 c #Conflicts: 453000 | #Constraints: 43695 2659.44/2667.06 c #Conflicts: 454000 | #Constraints: 44695 2659.44/2667.06 c #Conflicts: 455000 | #Constraints: 45695 2659.44/2667.06 c #Conflicts: 456000 | #Constraints: 46695 2659.44/2667.06 c #Conflicts: 457000 | #Constraints: 47695 2659.44/2667.06 c #Conflicts: 458000 | #Constraints: 48695 2659.44/2667.06 c #Conflicts: 459000 | #Constraints: 49695 2659.44/2667.06 c #Conflicts: 460000 | #Constraints: 50695 2659.44/2667.06 c INPROCESSING 2659.44/2667.06 c GARBAGE COLLECT 2659.44/2667.06 c #Conflicts: 461000 | #Constraints: 38334 2659.44/2667.06 c #Conflicts: 462000 | #Constraints: 39334 2659.44/2667.06 c #Conflicts: 463000 | #Constraints: 40334 2659.44/2667.06 c #Conflicts: 464000 | #Constraints: 41334 2659.44/2667.06 c #Conflicts: 465000 | #Constraints: 42334 2659.44/2667.06 c #Conflicts: 466000 | #Constraints: 43335 2659.44/2667.06 c #Conflicts: 467000 | #Constraints: 44335 2659.44/2667.06 c #Conflicts: 468000 | #Constraints: 45335 2659.44/2667.06 c #Conflicts: 469000 | #Constraints: 46335 2659.44/2667.06 c #Conflicts: 470000 | #Constraints: 47335 2659.44/2667.06 c #Conflicts: 471000 | #Constraints: 48335 2659.44/2667.06 c #Conflicts: 472000 | #Constraints: 49336 2659.44/2667.06 c #Conflicts: 473000 | #Constraints: 50336 2659.44/2667.06 c #Conflicts: 474000 | #Constraints: 51336 2659.44/2667.06 c INPROCESSING 2659.44/2667.06 c GARBAGE COLLECT 2659.44/2667.06 c #Conflicts: 475000 | #Constraints: 38743 2659.44/2667.06 c #Conflicts: 476000 | #Constraints: 39743 2659.44/2667.06 c #Conflicts: 477000 | #Constraints: 40743 2659.44/2667.06 c #Conflicts: 478000 | #Constraints: 41743 2659.44/2667.06 c #Conflicts: 479000 | #Constraints: 42743 2659.44/2667.06 c #Conflicts: 480000 | #Constraints: 43743 2659.44/2667.06 c #Conflicts: 481000 | #Constraints: 44743 2659.44/2667.06 c #Conflicts: 482000 | #Constraints: 45743 2659.44/2667.06 c #Conflicts: 483000 | #Constraints: 46743 2659.44/2667.06 c #Conflicts: 484000 | #Constraints: 47743 2659.44/2667.06 c #Conflicts: 485000 | #Constraints: 48743 2659.44/2667.06 c #Conflicts: 486000 | #Constraints: 49743 2659.44/2667.06 c #Conflicts: 487000 | #Constraints: 50743 2659.44/2667.06 c #Conflicts: 488000 | #Constraints: 51743 2659.44/2667.06 c INPROCESSING 2659.44/2667.06 c GARBAGE COLLECT 2659.44/2667.06 c #Conflicts: 489000 | #Constraints: 38949 2659.44/2667.06 c #Conflicts: 490000 | #Constraints: 39949 2659.44/2667.06 c #Conflicts: 491000 | #Constraints: 40949 2659.44/2667.06 c #Conflicts: 492000 | #Constraints: 41950 2659.44/2667.06 c #Conflicts: 493000 | #Constraints: 42950 2659.44/2667.06 c #Conflicts: 494000 | #Constraints: 43950 2659.44/2667.06 c #Conflicts: 495000 | #Constraints: 44950 2659.44/2667.06 c #Conflicts: 496000 | #Constraints: 45950 2659.44/2667.06 c #Conflicts: 497000 | #Constraints: 46950 2659.44/2667.06 c #Conflicts: 498000 | #Constraints: 47950 2659.44/2667.06 c #Conflicts: 499000 | #Constraints: 48951 2659.44/2667.06 c #Conflicts: 500000 | #Constraints: 49951 2659.44/2667.06 c #Conflicts: 501000 | #Constraints: 50951 2659.44/2667.06 c #Conflicts: 502000 | #Constraints: 51951 2659.44/2667.06 c INPROCESSING 2659.44/2667.06 c GARBAGE COLLECT 2659.44/2667.06 c #Conflicts: 503000 | #Constraints: 38972 2659.44/2667.06 c #Conflicts: 504000 | #Constraints: 39972 2659.44/2667.06 c #Conflicts: 505000 | #Constraints: 40972 2659.44/2667.06 c #Conflicts: 506000 | #Constraints: 41972 2659.44/2667.06 c #Conflicts: 507000 | #Constraints: 42972 2659.44/2667.06 c #Conflicts: 508000 | #Constraints: 43972 2659.44/2667.06 c #Conflicts: 509000 | #Constraints: 44972 2659.44/2667.06 c #Conflicts: 510000 | #Constraints: 45972 2659.44/2667.06 c #Conflicts: 511000 | #Constraints: 46972 2659.44/2667.06 c #Conflicts: 512000 | #Constraints: 47972 2659.44/2667.06 c #Conflicts: 513000 | #Constraints: 48972 2659.44/2667.06 c #Conflicts: 514000 | #Constraints: 49972 2659.44/2667.06 c #Conflicts: 515000 | #Constraints: 50972 2659.44/2667.06 c #Conflicts: 516000 | #Constraints: 51972 2659.44/2667.06 c INPROCESSING 2659.44/2667.06 c GARBAGE COLLECT 2659.44/2667.06 c #Conflicts: 517000 | #Constraints: 38752 2659.44/2667.06 c #Conflicts: 518000 | #Constraints: 39752 2659.44/2667.06 c #Conflicts: 519000 | #Constraints: 40753 2659.44/2667.06 c #Conflicts: 520000 | #Constraints: 41753 2659.44/2667.06 c #Conflicts: 521000 | #Constraints: 42753 2659.44/2667.06 c #Conflicts: 522000 | #Constraints: 43753 2866.21/2874.33 c #Conflicts: 523000 | #Constraints: 44753 2866.21/2874.33 c #Conflicts: 524000 | #Constraints: 45754 2866.21/2874.33 c #Conflicts: 525000 | #Constraints: 46754 2866.21/2874.33 c #Conflicts: 526000 | #Constraints: 47754 2866.21/2874.33 c #Conflicts: 527000 | #Constraints: 48754 2866.21/2874.33 c #Conflicts: 528000 | #Constraints: 49754 2866.21/2874.33 c #Conflicts: 529000 | #Constraints: 50754 2866.21/2874.33 c #Conflicts: 530000 | #Constraints: 51755 2866.21/2874.33 c #Conflicts: 531000 | #Constraints: 52755 2866.21/2874.33 c INPROCESSING 2866.21/2874.33 c GARBAGE COLLECT 2866.21/2874.33 WSVECS04 Frhs2[26569]: 6 0 4.00004 shouldn't be 2866.21/2874.33 WSVECS04 Frhs2[27195]: 6 -104 0 shouldn't be 2866.21/2874.33 WSVECS04 Frhs2[54575]: 6 -3.00008 0 shouldn't be 2927.17/2935.41 c rational objective 91.4395 3053.13/3061.76 c #Conflicts: 532000 | #Constraints: 39371 3053.13/3061.76 c #Conflicts: 533000 | #Constraints: 40371 3053.13/3061.76 c #Conflicts: 534000 | #Constraints: 41371 3053.13/3061.76 c #Conflicts: 535000 | #Constraints: 42371 3053.13/3061.76 c #Conflicts: 536000 | #Constraints: 43371 3053.13/3061.76 c #Conflicts: 537000 | #Constraints: 44371 3053.13/3061.76 c #Conflicts: 538000 | #Constraints: 45371 3053.13/3061.76 c #Conflicts: 539000 | #Constraints: 46371 3053.13/3061.76 c #Conflicts: 540000 | #Constraints: 47371 3053.13/3061.76 c #Conflicts: 541000 | #Constraints: 48371 3053.13/3061.76 c #Conflicts: 542000 | #Constraints: 49371 3053.13/3061.76 c #Conflicts: 543000 | #Constraints: 50371 3053.13/3061.76 c #Conflicts: 544000 | #Constraints: 51371 3053.13/3061.76 c #Conflicts: 545000 | #Constraints: 52371 3053.13/3061.76 c #Conflicts: 546000 | #Constraints: 53371 3053.13/3061.76 c INPROCESSING 3053.13/3061.76 c GARBAGE COLLECT 3053.13/3061.76 c #Conflicts: 547000 | #Constraints: 39777 3053.13/3061.76 c #Conflicts: 548000 | #Constraints: 40777 3053.13/3061.76 c #Conflicts: 549000 | #Constraints: 41777 3053.13/3061.76 c #Conflicts: 550000 | #Constraints: 42777 3053.13/3061.76 c #Conflicts: 551000 | #Constraints: 43777 3053.13/3061.76 c #Conflicts: 552000 | #Constraints: 44777 3053.13/3061.76 c #Conflicts: 553000 | #Constraints: 45777 3053.13/3061.76 c #Conflicts: 554000 | #Constraints: 46778 3053.13/3061.76 c #Conflicts: 555000 | #Constraints: 47778 3053.13/3061.76 c #Conflicts: 556000 | #Constraints: 48778 3053.13/3061.76 c #Conflicts: 557000 | #Constraints: 49778 3053.13/3061.76 c #Conflicts: 558000 | #Constraints: 50779 3053.13/3061.76 c #Conflicts: 559000 | #Constraints: 51779 3053.13/3061.76 c #Conflicts: 560000 | #Constraints: 52779 3053.13/3061.76 c #Conflicts: 561000 | #Constraints: 53779 3053.13/3061.76 c INPROCESSING 3053.13/3061.76 c GARBAGE COLLECT 3053.13/3061.76 c #Conflicts: 562000 | #Constraints: 39979 3053.13/3061.76 c #Conflicts: 563000 | #Constraints: 40979 3053.13/3061.76 c #Conflicts: 564000 | #Constraints: 41979 3053.13/3061.76 c #Conflicts: 565000 | #Constraints: 42979 3053.13/3061.76 c #Conflicts: 566000 | #Constraints: 43979 3053.13/3061.76 c #Conflicts: 567000 | #Constraints: 44979 3053.13/3061.76 c #Conflicts: 568000 | #Constraints: 45979 3053.13/3061.76 c #Conflicts: 569000 | #Constraints: 46980 3053.13/3061.76 c #Conflicts: 570000 | #Constraints: 47980 3053.13/3061.76 c #Conflicts: 571000 | #Constraints: 48980 3053.13/3061.76 c #Conflicts: 572000 | #Constraints: 49980 3053.13/3061.76 c #Conflicts: 573000 | #Constraints: 50980 3053.13/3061.76 c #Conflicts: 574000 | #Constraints: 51980 3053.13/3061.76 c #Conflicts: 575000 | #Constraints: 52980 3053.13/3061.76 c #Conflicts: 576000 | #Constraints: 53980 3053.13/3061.76 c INPROCESSING 3053.13/3061.76 c GARBAGE COLLECT 3053.13/3061.76 c #Conflicts: 577000 | #Constraints: 39957 3053.13/3061.76 c #Conflicts: 578000 | #Constraints: 40957 3053.13/3061.76 c #Conflicts: 579000 | #Constraints: 41957 3053.13/3061.76 c #Conflicts: 580000 | #Constraints: 42958 3053.13/3061.76 c #Conflicts: 581000 | #Constraints: 43958 3053.13/3061.76 c #Conflicts: 582000 | #Constraints: 44958 3053.13/3061.76 c #Conflicts: 583000 | #Constraints: 45958 3053.13/3061.76 c #Conflicts: 584000 | #Constraints: 46958 3053.13/3061.76 c #Conflicts: 585000 | #Constraints: 47958 3053.13/3061.76 c #Conflicts: 586000 | #Constraints: 48958 3053.13/3061.76 c #Conflicts: 587000 | #Constraints: 49958 3053.13/3061.76 c #Conflicts: 588000 | #Constraints: 50958 3053.13/3061.76 c #Conflicts: 589000 | #Constraints: 51958 3053.13/3061.76 c #Conflicts: 590000 | #Constraints: 52958 3053.13/3061.76 c #Conflicts: 591000 | #Constraints: 53958 3053.13/3061.76 c INPROCESSING 3053.13/3061.76 c GARBAGE COLLECT 3053.13/3061.76 c #Conflicts: 592000 | #Constraints: 39775 3053.13/3061.76 c #Conflicts: 593000 | #Constraints: 40775 3053.13/3061.76 c #Conflicts: 594000 | #Constraints: 41775 3053.13/3061.76 c #Conflicts: 595000 | #Constraints: 42775 3053.13/3061.76 c #Conflicts: 596000 | #Constraints: 43775 3053.13/3061.76 c #Conflicts: 597000 | #Constraints: 44775 3053.13/3061.76 c #Conflicts: 598000 | #Constraints: 45775 3053.13/3061.76 c #Conflicts: 599000 | #Constraints: 46775 3053.13/3061.76 c #Conflicts: 600000 | #Constraints: 47775 3053.13/3061.76 c #Conflicts: 601000 | #Constraints: 48775 3053.13/3061.76 c #Conflicts: 602000 | #Constraints: 49775 3053.13/3061.76 c #Conflicts: 603000 | #Constraints: 50775 3053.13/3061.76 c #Conflicts: 604000 | #Constraints: 51775 3053.13/3061.76 c #Conflicts: 605000 | #Constraints: 52775 3053.13/3061.76 c #Conflicts: 606000 | #Constraints: 53775 3053.13/3061.76 c #Conflicts: 607000 | #Constraints: 54775 3053.13/3061.76 c INPROCESSING 3095.93/3104.62 c GARBAGE COLLECT 3095.93/3104.62 c rational objective 91.4397 3164.84/3173.72 c #Conflicts: 608000 | #Constraints: 40369 3164.84/3173.72 c #Conflicts: 609000 | #Constraints: 41369 3164.84/3173.72 c #Conflicts: 610000 | #Constraints: 42369 3164.84/3173.72 c #Conflicts: 611000 | #Constraints: 43369 3164.84/3173.72 c #Conflicts: 612000 | #Constraints: 44369 3164.84/3173.72 c #Conflicts: 613000 | #Constraints: 45369 3164.84/3173.72 c #Conflicts: 614000 | #Constraints: 46369 3164.84/3173.72 c #Conflicts: 615000 | #Constraints: 47369 3164.84/3173.72 c #Conflicts: 616000 | #Constraints: 48370 3164.84/3173.72 c #Conflicts: 617000 | #Constraints: 49370 3164.84/3173.72 c #Conflicts: 618000 | #Constraints: 50370 3164.84/3173.72 c #Conflicts: 619000 | #Constraints: 51370 3164.84/3173.72 c #Conflicts: 620000 | #Constraints: 52370 3164.84/3173.72 c #Conflicts: 621000 | #Constraints: 53370 3164.84/3173.72 c #Conflicts: 622000 | #Constraints: 54370 3164.84/3173.72 c #Conflicts: 623000 | #Constraints: 55370 3164.84/3173.72 c INPROCESSING 3164.84/3173.72 c GARBAGE COLLECT 3164.84/3173.72 c rational objective 91.4397 3241.94/3251.04 c #Conflicts: 624000 | #Constraints: 40763 3241.94/3251.04 c #Conflicts: 625000 | #Constraints: 41763 3241.94/3251.04 c #Conflicts: 626000 | #Constraints: 42763 3241.94/3251.04 c #Conflicts: 627000 | #Constraints: 43763 3241.94/3251.04 c #Conflicts: 628000 | #Constraints: 44763 3241.94/3251.04 c #Conflicts: 629000 | #Constraints: 45763 3241.94/3251.04 c #Conflicts: 630000 | #Constraints: 46764 3241.94/3251.04 c #Conflicts: 631000 | #Constraints: 47764 3241.94/3251.04 c #Conflicts: 632000 | #Constraints: 48764 3241.94/3251.04 c #Conflicts: 633000 | #Constraints: 49764 3241.94/3251.04 c #Conflicts: 634000 | #Constraints: 50764 3241.94/3251.04 c #Conflicts: 635000 | #Constraints: 51764 3241.94/3251.04 c #Conflicts: 636000 | #Constraints: 52764 3241.94/3251.04 c #Conflicts: 637000 | #Constraints: 53765 3241.94/3251.04 c #Conflicts: 638000 | #Constraints: 54765 3241.94/3251.04 c #Conflicts: 639000 | #Constraints: 55765 3241.94/3251.04 c INPROCESSING 3241.94/3251.04 c GARBAGE COLLECT 3241.94/3251.04 c #Conflicts: 640000 | #Constraints: 40953 3241.94/3251.04 c #Conflicts: 641000 | #Constraints: 41953 3241.94/3251.04 c #Conflicts: 642000 | #Constraints: 42954 3241.94/3251.04 c #Conflicts: 643000 | #Constraints: 43954 3241.94/3251.04 c #Conflicts: 644000 | #Constraints: 44954 3241.94/3251.04 c #Conflicts: 645000 | #Constraints: 45955 3241.94/3251.04 c #Conflicts: 646000 | #Constraints: 46955 3241.94/3251.04 c #Conflicts: 647000 | #Constraints: 47955 3241.94/3251.04 c #Conflicts: 648000 | #Constraints: 48955 3241.94/3251.04 c #Conflicts: 649000 | #Constraints: 49955 3241.94/3251.04 c #Conflicts: 650000 | #Constraints: 50955 3241.94/3251.04 c #Conflicts: 651000 | #Constraints: 51955 3241.94/3251.04 c #Conflicts: 652000 | #Constraints: 52955 3241.94/3251.04 c #Conflicts: 653000 | #Constraints: 53955 3241.94/3251.04 c #Conflicts: 654000 | #Constraints: 54955 3241.94/3251.04 c #Conflicts: 655000 | #Constraints: 55955 3241.94/3251.04 c INPROCESSING 3241.94/3251.04 c GARBAGE COLLECT 3241.94/3251.04 c rational objective 91.4397 3342.08/3351.44 c #Conflicts: 656000 | #Constraints: 40968 3342.08/3351.44 c #Conflicts: 657000 | #Constraints: 41969 3342.08/3351.44 c #Conflicts: 658000 | #Constraints: 42969 3342.08/3351.44 c #Conflicts: 659000 | #Constraints: 43969 3342.08/3351.44 c bounds 107 >= 94 @ 3237.96 3342.08/3351.44 c #Conflicts: 660000 | #Constraints: 44972 3342.08/3351.44 c #Conflicts: 661000 | #Constraints: 45972 3342.08/3351.44 c #Conflicts: 662000 | #Constraints: 46972 3342.08/3351.44 c #Conflicts: 663000 | #Constraints: 47972 3342.08/3351.44 c #Conflicts: 664000 | #Constraints: 48972 3342.08/3351.44 c #Conflicts: 665000 | #Constraints: 49972 3342.08/3351.44 c #Conflicts: 666000 | #Constraints: 50972 3342.08/3351.44 c #Conflicts: 667000 | #Constraints: 51972 3342.08/3351.44 c #Conflicts: 668000 | #Constraints: 52972 3342.08/3351.44 c #Conflicts: 669000 | #Constraints: 53972 3342.08/3351.44 c #Conflicts: 670000 | #Constraints: 54972 3342.08/3351.44 c #Conflicts: 671000 | #Constraints: 55972 3342.08/3351.44 c #Conflicts: 672000 | #Constraints: 56972 3342.08/3351.44 c #Conflicts: 673000 | #Constraints: 57972 3342.08/3351.44 c #Conflicts: 674000 | #Constraints: 58972 3342.08/3351.44 c #Conflicts: 675000 | #Constraints: 59972 3342.08/3351.44 c #Conflicts: 676000 | #Constraints: 60972 3342.08/3351.44 c #Conflicts: 677000 | #Constraints: 61972 3342.08/3351.44 c #Conflicts: 678000 | #Constraints: 62972 3342.08/3351.44 c #Conflicts: 679000 | #Constraints: 63972 3342.08/3351.44 c #Conflicts: 680000 | #Constraints: 64972 3342.08/3351.44 c #Conflicts: 681000 | #Constraints: 65972 3342.08/3351.44 c #Conflicts: 682000 | #Constraints: 66972 3342.08/3351.44 c #Conflicts: 683000 | #Constraints: 67972 3342.08/3351.44 c #Conflicts: 684000 | #Constraints: 68972 3342.08/3351.44 c #Conflicts: 685000 | #Constraints: 69972 3342.08/3351.44 c #Conflicts: 686000 | #Constraints: 70972 3342.08/3351.44 c #Conflicts: 687000 | #Constraints: 71972 3342.08/3351.44 c #Conflicts: 688000 | #Constraints: 72972 3342.08/3351.44 c #Conflicts: 689000 | #Constraints: 73972 3342.08/3351.44 c #Conflicts: 690000 | #Constraints: 74972 3342.08/3351.44 c #Conflicts: 691000 | #Constraints: 75972 3342.08/3351.44 c #Conflicts: 692000 | #Constraints: 76972 3342.08/3351.44 c #Conflicts: 693000 | #Constraints: 77972 3342.08/3351.44 c #Conflicts: 694000 | #Constraints: 78973 3342.08/3351.44 c #Conflicts: 695000 | #Constraints: 79973 3342.08/3351.44 c #Conflicts: 696000 | #Constraints: 80973 3342.08/3351.44 c #Conflicts: 697000 | #Constraints: 81973 3342.08/3351.44 c #Conflicts: 698000 | #Constraints: 82973 3342.08/3351.44 c #Conflicts: 699000 | #Constraints: 83973 3342.08/3351.44 c #Conflicts: 700000 | #Constraints: 84973 3342.08/3351.44 c #Conflicts: 701000 | #Constraints: 85974 3342.08/3351.44 c #Conflicts: 702000 | #Constraints: 86974 3342.08/3351.44 c #Conflicts: 703000 | #Constraints: 87974 3342.08/3351.44 c #Conflicts: 704000 | #Constraints: 88975 3342.08/3351.44 c #Conflicts: 705000 | #Constraints: 89975 3342.08/3351.44 c #Conflicts: 706000 | #Constraints: 90975 3342.08/3351.44 c #Conflicts: 707000 | #Constraints: 91975 3342.08/3351.44 c #Conflicts: 708000 | #Constraints: 92975 3342.08/3351.44 c #Conflicts: 709000 | #Constraints: 93975 3342.08/3351.44 c #Conflicts: 710000 | #Constraints: 94975 3342.08/3351.44 c #Conflicts: 711000 | #Constraints: 95975 3342.08/3351.44 c #Conflicts: 712000 | #Constraints: 96975 3342.08/3351.44 c #Conflicts: 713000 | #Constraints: 97975 3342.08/3351.44 c #Conflicts: 714000 | #Constraints: 98975 3342.08/3351.44 c #Conflicts: 715000 | #Constraints: 99975 3342.08/3351.44 c #Conflicts: 716000 | #Constraints: 100975 3342.08/3351.44 c #Conflicts: 717000 | #Constraints: 101975 3342.08/3351.44 c #Conflicts: 718000 | #Constraints: 102975 3342.08/3351.44 c #Conflicts: 719000 | #Constraints: 103975 3342.08/3351.44 c #Conflicts: 720000 | #Constraints: 104975 3342.08/3351.44 c #Conflicts: 721000 | #Constraints: 105975 3342.08/3351.44 c #Conflicts: 722000 | #Constraints: 106975 3342.08/3351.44 c #Conflicts: 723000 | #Constraints: 107975 3342.08/3351.44 c #Conflicts: 724000 | #Constraints: 108975 3342.08/3351.44 c #Conflicts: 725000 | #Constraints: 109976 3342.08/3351.44 c #Conflicts: 726000 | #Constraints: 110976 3342.08/3351.44 c #Conflicts: 727000 | #Constraints: 111976 3342.08/3351.44 c #Conflicts: 728000 | #Constraints: 112976 3342.08/3351.44 c #Conflicts: 729000 | #Constraints: 113976 3342.08/3351.44 c #Conflicts: 730000 | #Constraints: 114976 3342.08/3351.44 c #Conflicts: 731000 | #Constraints: 115976 3342.08/3351.44 c #Conflicts: 732000 | #Constraints: 116976 3342.08/3351.44 c #Conflicts: 733000 | #Constraints: 117976 3342.08/3351.44 c #Conflicts: 734000 | #Constraints: 118976 3392.75/3402.24 c #Conflicts: 735000 | #Constraints: 119976 3392.75/3402.24 c #Conflicts: 736000 | #Constraints: 120976 3392.75/3402.24 c #Conflicts: 737000 | #Constraints: 121976 3392.75/3402.24 c INPROCESSING 3392.75/3402.24 c GARBAGE COLLECT 3392.75/3402.24 c rational objective 91.4397
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (30401 MiB free)
memory of node 1: 64473 MiB (51661 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462750-1722344426/watcher-4462750-1722344426 -o /tmp/evaluation-result-4462750-1722344426/solver-4462750-1722344426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722340763-6266 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462750-1722344426 --lp-cut-gomory=0 HOME/instance-4462750-1722344426.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=8359, runsolver pid=8356
[startup+0.100094 s]*
/proc/loadavg: 4.23 4.29 4.16 3/257 8360
/proc/meminfo: memFree=84020848/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=37376 memory=2680 CPUtime=0 cores=5,7
/proc/8359/stat : 8359 (roundingsat) D 8356 8359 6253 0 -1 1077936128 220 0 0 0 0 0 0 0 20 0 1 0 813213 38273024 670 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 9344 670 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB
[startup+0.211039 s]*
/proc/loadavg: 4.23 4.29 4.16 3/257 8360
/proc/meminfo: memFree=84006776/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=37376 memory=2680 CPUtime=0 cores=5,7
/proc/8359/stat : 8359 (roundingsat) D 8356 8359 6253 0 -1 1077936128 220 0 0 0 0 0 0 0 20 0 1 0 813213 38273024 670 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 9344 670 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB
[startup+0.31038 s]*
/proc/loadavg: 4.23 4.29 4.16 3/257 8360
/proc/meminfo: memFree=83995956/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=37376 memory=2680 CPUtime=0 cores=5,7
/proc/8359/stat : 8359 (roundingsat) D 8356 8359 6253 0 -1 1077936128 220 0 0 0 0 0 0 0 20 0 1 0 813213 38273024 670 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 9344 670 613 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB
[startup+0.700287 s]
/proc/loadavg: 4.23 4.29 4.16 3/257 8360
/proc/meminfo: memFree=83970248/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=42380 memory=9708 CPUtime=0 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 1268 0 0 0 0 0 0 0 20 0 1 0 813213 43397120 2427 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 10595 2427 1364 992 0 2453 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 42380 KiB
Current children cumulated memory: 9708 KiB
[startup+1.50031 s]
/proc/loadavg: 4.23 4.29 4.16 4/257 8360
/proc/meminfo: memFree=83892760/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=55540 memory=25788 CPUtime=0.8 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 4931 0 0 0 59 21 0 0 20 0 1 0 813213 56872960 6447 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 13885 6447 1396 992 0 5743 0
Current children cumulated CPU time: 0.8 s
Current children cumulated vsize: 55540 KiB
Current children cumulated memory: 25788 KiB
[startup+3.11388 s]
/proc/loadavg: 4.23 4.29 4.16 4/257 8360
/proc/meminfo: memFree=83533608/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=159188 memory=130428 CPUtime=2.41 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 26584 0 0 0 204 37 0 0 20 0 1 0 813213 163008512 32607 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 39797 32607 1794 992 0 31655 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 159188 KiB
Current children cumulated memory: 130428 KiB
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 4.21 4.28 4.16 4/252 8386
/proc/meminfo: memFree=85852940/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=171140 memory=136444 CPUtime=5.59 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 27570 0 0 0 514 45 0 0 20 0 1 0 813213 175247360 34111 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 42785 34111 1840 992 0 34643 0
Current children cumulated CPU time: 5.59 s
Current children cumulated vsize: 171140 KiB
Current children cumulated memory: 136444 KiB
[startup+12.7003 s]
/proc/loadavg: 4.27 4.29 4.16 5/252 8388
/proc/meminfo: memFree=101373568/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=175664 memory=141364 CPUtime=11.97 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 28796 0 0 0 1150 47 0 0 20 0 1 0 813213 179879936 35341 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 43916 35341 1840 992 0 35774 0
Current children cumulated CPU time: 11.97 s
Current children cumulated vsize: 175664 KiB
Current children cumulated memory: 141364 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.28 4.16 4/258 8502
/proc/meminfo: memFree=126763808/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=181184 memory=146332 CPUtime=24.72 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 30076 0 0 0 2400 72 0 0 20 0 1 0 813213 185532416 36583 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 45296 36583 1840 992 0 37154 0
Current children cumulated CPU time: 24.72 s
Current children cumulated vsize: 181184 KiB
Current children cumulated memory: 146332 KiB
[startup+51.114 s]
/proc/loadavg: 4.14 4.25 4.16 4/258 8518
/proc/meminfo: memFree=126645976/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=183648 memory=147976 CPUtime=50.24 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 30461 0 0 0 4942 82 0 0 20 0 1 0 813213 188055552 36994 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 45912 36994 1910 992 0 37770 0
Current children cumulated CPU time: 50.24 s
Current children cumulated vsize: 183648 KiB
Current children cumulated memory: 147976 KiB
[startup+102.3 s]
/proc/loadavg: 4.28 4.28 4.17 5/253 8554
/proc/meminfo: memFree=126132756/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=184208 memory=150012 CPUtime=101.14 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 30890 0 0 0 10001 113 0 0 20 0 1 0 813213 188628992 37503 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 46052 37503 1910 992 0 37910 0
Current children cumulated CPU time: 101.14 s
Current children cumulated vsize: 184208 KiB
Current children cumulated memory: 150012 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.24 4.16 5/249 8586
/proc/meminfo: memFree=128008004/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=184208 memory=155236 CPUtime=161 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 30990 0 0 0 15962 138 0 0 20 0 1 0 813213 188628992 38809 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 46052 38809 1910 992 0 37910 0
Current children cumulated CPU time: 161 s
Current children cumulated vsize: 184208 KiB
Current children cumulated memory: 155236 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.21 4.16 5/247 8597
/proc/meminfo: memFree=127475116/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=215676 memory=175964 CPUtime=220.85 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 34719 0 0 0 21902 183 0 0 20 0 1 0 813213 220852224 43991 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 53919 43991 1910 992 0 45777 0
Current children cumulated CPU time: 220.85 s
Current children cumulated vsize: 215676 KiB
Current children cumulated memory: 175964 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.21 4.16 5/245 8607
/proc/meminfo: memFree=127331224/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=217932 memory=181240 CPUtime=280.69 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 36104 0 0 0 27867 202 0 0 20 0 1 0 813213 223162368 45310 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 54483 45310 1910 992 0 46341 0
Current children cumulated CPU time: 280.69 s
Current children cumulated vsize: 217932 KiB
Current children cumulated memory: 181240 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.19 4.16 5/245 8620
/proc/meminfo: memFree=127091512/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=217932 memory=183312 CPUtime=340.54 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 36173 0 0 0 33813 241 0 0 20 0 1 0 813213 223162368 45828 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 54483 45828 1910 992 0 46341 0
Current children cumulated CPU time: 340.54 s
Current children cumulated vsize: 217932 KiB
Current children cumulated memory: 183312 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.16 4.15 5/244 8630
/proc/meminfo: memFree=126966336/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=217932 memory=183348 CPUtime=400.39 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 36244 0 0 0 39767 272 0 0 20 0 1 0 813213 223162368 45837 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 54483 45837 1910 992 0 46341 0
Current children cumulated CPU time: 400.39 s
Current children cumulated vsize: 217932 KiB
Current children cumulated memory: 183348 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/244 8640
/proc/meminfo: memFree=126813608/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=219644 memory=184416 CPUtime=460.24 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 36566 0 0 0 45736 288 0 0 20 0 1 0 813213 224915456 46104 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 54911 46104 1910 992 0 46769 0
################
# More data... #
################
[startup+3042.3 s]
/proc/loadavg: 4.14 4.32 4.25 5/247 9785
/proc/meminfo: memFree=110027296/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=244180 memory=204532 CPUtime=3033.79 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 40765 0 0 0 302165 1214 0 0 20 0 1 0 813213 250040320 51133 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 61045 51133 1910 992 0 52903 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 244180 KiB
Current children cumulated memory: 204532 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.27 4.24 5/247 9795
/proc/meminfo: memFree=109496604/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=244180 memory=207524 CPUtime=3093.62 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 40843 0 0 0 308105 1257 0 0 20 0 1 0 813213 250040320 51881 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 61045 51881 1910 992 0 52903 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 244180 KiB
Current children cumulated memory: 207524 KiB
[startup+3162.3 s]
/proc/loadavg: 4.26 4.28 4.24 5/248 9808
/proc/meminfo: memFree=109383312/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=244180 memory=207524 CPUtime=3153.47 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 40926 0 0 0 314056 1291 0 0 20 0 1 0 813213 250040320 51881 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 61045 51881 1910 992 0 52903 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 244180 KiB
Current children cumulated memory: 207524 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.24 4.23 5/254 9824
/proc/meminfo: memFree=108262000/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=244180 memory=207524 CPUtime=3213.3 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 41011 0 0 0 319993 1337 0 0 20 0 1 0 813213 250040320 51881 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 61045 51881 1910 992 0 52903 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 244180 KiB
Current children cumulated memory: 207524 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.23 4.23 5/254 9834
/proc/meminfo: memFree=107357940/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=250548 memory=211096 CPUtime=3273.16 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 42032 0 0 0 325943 1373 0 0 20 0 1 0 813213 256561152 52774 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 62637 52774 1910 992 0 54495 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 250548 KiB
Current children cumulated memory: 211096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.26 4.24 5/254 10228
/proc/meminfo: memFree=105447052/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=300336 memory=241928 CPUtime=3333 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 43209 0 0 0 331859 1441 0 0 20 0 1 0 813213 307544064 60482 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 75084 60482 1910 992 0 66942 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 300336 KiB
Current children cumulated memory: 241928 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.23 4.22 5/254 10239
/proc/meminfo: memFree=105084616/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=300336 memory=246324 CPUtime=3392.85 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 43313 0 0 0 337818 1467 0 0 20 0 1 0 813213 307544064 61581 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 75084 61581 1910 992 0 66942 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 300336 KiB
Current children cumulated memory: 246324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.21 4.22 5/251 10249
/proc/meminfo: memFree=104875652/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=302060 memory=249912 CPUtime=3452.69 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 44291 0 0 0 343765 1504 0 0 20 0 1 0 813213 309309440 62478 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 75515 62478 1910 992 0 67373 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 302060 KiB
Current children cumulated memory: 249912 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.20 4.21 5/251 10428
/proc/meminfo: memFree=104733456/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=307376 memory=254960 CPUtime=3512.54 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 45617 0 0 0 349735 1519 0 0 20 0 1 0 813213 314753024 63740 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 76844 63740 1910 992 0 68702 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 307376 KiB
Current children cumulated memory: 254960 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.19 4.21 5/249 10439
/proc/meminfo: memFree=104706500/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=307376 memory=254960 CPUtime=3572.39 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 45620 0 0 0 355712 1527 0 0 20 0 1 0 813213 314753024 63740 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 76844 63740 1910 992 0 68702 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 307376 KiB
Current children cumulated memory: 254960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.16 4.19 4.21 5/249 10447
/proc/meminfo: memFree=104697968/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=307376 memory=254960 CPUtime=3600.03 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 45625 0 0 0 358474 1529 0 0 20 0 1 0 813213 314753024 63740 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 76844 63740 1910 992 0 68702 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 307376 KiB
Current children cumulated memory: 254960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3612.02 s]
# the end of solver process 8359 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3586.74 s, system=15.3088 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.2 s]
/proc/loadavg: 4.15 4.19 4.20 5/249 10447
/proc/meminfo: memFree=104697560/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=307376 memory=254960 CPUtime=3601.23 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 45626 0 0 0 358593 1530 0 0 20 0 1 0 813213 314753024 63740 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 76844 63740 1910 992 0 68702 0
Current children cumulated CPU time: 3601.23 s
Current children cumulated vsize: 307376 KiB
Current children cumulated memory: 254960 KiB
[startup+3611.6 s]
/proc/loadavg: 4.15 4.19 4.20 5/249 10447
/proc/meminfo: memFree=104697560/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=307376 memory=254960 CPUtime=3601.62 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 45626 0 0 0 358632 1530 0 0 20 0 1 0 813213 314753024 63740 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 76844 63740 1910 992 0 68702 0
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 307376 KiB
Current children cumulated memory: 254960 KiB
[startup+3612 s]*
/proc/loadavg: 4.15 4.19 4.20 5/249 10447
/proc/meminfo: memFree=104697156/131655788 swapFree=131071216/131071996
[pid=8359] ppid=8356 vsize=307376 memory=254960 CPUtime=3602.03 cores=5,7
/proc/8359/stat : 8359 (roundingsat) R 8356 8359 6253 0 -1 4194304 45626 0 0 0 358673 1530 0 0 20 0 1 0 813213 314753024 63740 134679101440 4194304 8255733 140728892215424 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 36478976 140728892224354 140728892224616 140728892224616 140728892231625 0
/proc/8359/statm: 76844 63740 1910 992 0 68702 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 307376 KiB
Current children cumulated memory: 254960 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3612.02
CPU time (s): 3602.04
CPU user time (s): 3586.74
CPU system time (s): 15.3088
CPU usage (%): 99.7239
Max. virtual memory (cumulated for all children) (KiB): 307376
Max. memory (cumulated for all children) (KiB): 254960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.74
system time used= 15.3088
maximum resident set size= 254988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9750672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 5776
# summary of solver processes directly reported to runsolver:
# pid: 8359
# total CPU time (s): 3602.04
# total CPU user time (s): 3586.74
# total CPU system time (s): 15.3088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2193 second user time and 34.4222 second system time
The end
Begin job on nodeC007 at 2024-07-30 15:00:26 IDJOB=4462750 IDBENCH=150654 IDSOLVER=3089 FILE ID=nodeC007/4462750-1722344426 RUNJOBID= nodeC007-1722340763-6266 SLURM_JOB_ID= 8248987 Free space on /tmp= 723740 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j90opt/normalized-j909_1.std.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462750-1722344426/watcher-4462750-1722344426 -o /tmp/evaluation-result-4462750-1722344426/solver-4462750-1722344426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722340763-6266 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462750-1722344426 --lp-cut-gomory=0 HOME/instance-4462750-1722344426.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a3d0ac2e079c6211f06f187e0594548d RANDOM SEED=52205761 nodeC007.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.432 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.58 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 : 1583.466 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.219 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.217 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.794 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.58 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.208 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.341 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.58 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 : 1595.845 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 84029000 kB MemAvailable: 127291784 kB Buffers: 37124 kB Cached: 44015796 kB SwapCached: 100 kB Active: 166688 kB Inactive: 46922956 kB Active(anon): 1640 kB Inactive(anon): 3056204 kB Active(file): 165048 kB Inactive(file): 43866752 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 218940 kB Writeback: 125744 kB AnonPages: 3035444 kB Mapped: 97040 kB Shmem: 21076 kB KReclaimable: 142364 kB Slab: 228496 kB SReclaimable: 142364 kB SUnreclaim: 86132 kB KernelStack: 4160 kB PageTables: 15284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3451112 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 2762752 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: 174920 kB DirectMap2M: 7069696 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723692 MiB End job on nodeC007 at 2024-07-30 16:00:38