| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | ? (TO) | 3602.07 | 3611.2 |
| 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 0.49/0.59 c #variables 54782 #constraints 157681 21.03/21.11 c bounds - >= 0 @ 0.435322 21.03/21.11 c bounds 300 >= 0 @ 1.16156 21.03/21.11 c bounds 300 >= 85 @ 1.17443 21.03/21.11 c bounds 300 >= 86 @ 1.18506 21.03/21.11 c bounds 299 >= 86 @ 1.20208 21.03/21.11 c bounds 299 >= 87 @ 1.21286 21.03/21.11 c bounds 298 >= 87 @ 1.22847 21.03/21.11 c bounds 297 >= 87 @ 1.24328 21.03/21.11 c bounds 297 >= 88 @ 1.27037 21.03/21.11 c bounds 296 >= 88 @ 1.28548 21.03/21.11 c bounds 295 >= 88 @ 1.29844 21.03/21.11 c bounds 295 >= 89 @ 1.48069 21.03/21.11 c bounds 294 >= 89 @ 1.49503 21.03/21.11 c bounds 293 >= 89 @ 1.50835 21.03/21.11 c bounds 292 >= 89 @ 1.52184 21.03/21.11 c bounds 291 >= 89 @ 1.53523 21.03/21.11 c bounds 290 >= 89 @ 1.54863 21.03/21.11 c bounds 289 >= 89 @ 1.56181 21.03/21.11 c bounds 288 >= 89 @ 1.57672 21.03/21.11 c bounds 287 >= 89 @ 1.59269 21.03/21.11 c bounds 286 >= 89 @ 1.60377 21.03/21.11 c bounds 285 >= 89 @ 1.61853 21.03/21.11 c bounds 284 >= 89 @ 1.63147 21.03/21.11 c bounds 283 >= 89 @ 1.64509 21.03/21.11 c bounds 282 >= 89 @ 1.6567 21.03/21.11 c bounds 281 >= 89 @ 1.66943 21.03/21.11 c bounds 280 >= 89 @ 1.68319 21.03/21.11 c bounds 279 >= 89 @ 1.69815 21.03/21.11 c bounds 278 >= 89 @ 1.71204 21.03/21.11 c bounds 277 >= 89 @ 1.72622 21.03/21.11 c bounds 276 >= 89 @ 1.73801 21.03/21.11 c bounds 275 >= 89 @ 1.74872 21.03/21.11 c bounds 274 >= 89 @ 1.76355 21.03/21.11 c #Conflicts: 1000 | #Constraints: 158723 21.03/21.11 c #Conflicts: 2000 | #Constraints: 159723 21.03/21.11 c INPROCESSING 21.03/21.11 c GARBAGE COLLECT 21.03/21.11 c bounds 273 >= 89 @ 19.4022 21.03/21.11 c bounds 272 >= 89 @ 19.4149 21.03/21.11 c bounds 271 >= 89 @ 19.4263 21.03/21.11 c bounds 270 >= 89 @ 19.4373 21.03/21.11 c bounds 269 >= 89 @ 19.4504 21.03/21.11 c bounds 268 >= 89 @ 19.4615 21.03/21.11 c bounds 267 >= 89 @ 19.4735 21.03/21.11 c bounds 266 >= 89 @ 19.4866 21.03/21.11 c bounds 265 >= 89 @ 19.4989 21.03/21.11 c bounds 264 >= 89 @ 19.5103 21.03/21.11 c bounds 263 >= 89 @ 19.5208 21.03/21.11 c bounds 262 >= 89 @ 19.5325 21.03/21.11 c bounds 261 >= 89 @ 19.545 21.03/21.11 c bounds 260 >= 89 @ 19.5586 21.03/21.11 c bounds 259 >= 89 @ 19.5693 21.03/21.11 c bounds 258 >= 89 @ 19.5796 21.03/21.11 c bounds 257 >= 89 @ 19.5918 21.03/21.11 c bounds 256 >= 89 @ 19.6029 21.03/21.11 c bounds 255 >= 89 @ 19.6132 21.03/21.11 c bounds 254 >= 89 @ 19.6222 21.03/21.11 c bounds 253 >= 89 @ 19.6324 21.03/21.11 c bounds 252 >= 89 @ 19.6438 21.03/21.11 c bounds 251 >= 89 @ 19.6535 21.03/21.11 c bounds 250 >= 89 @ 19.665 21.03/21.11 c bounds 249 >= 89 @ 19.6758 21.03/21.11 c bounds 248 >= 89 @ 19.6864 21.03/21.11 c bounds 247 >= 89 @ 19.6962 21.03/21.11 c bounds 246 >= 89 @ 19.7067 21.03/21.11 c bounds 245 >= 89 @ 19.7179 21.03/21.11 c bounds 244 >= 89 @ 19.7289 21.03/21.11 c bounds 243 >= 89 @ 19.7407 21.03/21.11 c bounds 242 >= 89 @ 19.7542 21.03/21.11 c bounds 241 >= 89 @ 19.7656 21.03/21.11 c bounds 240 >= 89 @ 19.7765 21.03/21.11 c bounds 239 >= 89 @ 19.7853 21.03/21.11 c bounds 238 >= 89 @ 19.797 21.03/21.11 c bounds 237 >= 89 @ 19.8058 21.03/21.11 c bounds 236 >= 89 @ 19.8166 21.03/21.11 c bounds 235 >= 89 @ 19.8277 21.03/21.11 c bounds 234 >= 89 @ 19.8398 21.03/21.11 c bounds 233 >= 89 @ 19.8513 21.03/21.11 c bounds 232 >= 89 @ 19.8624 21.03/21.11 c bounds 231 >= 89 @ 19.8718 21.03/21.11 c bounds 230 >= 89 @ 19.8812 21.03/21.11 c bounds 229 >= 89 @ 19.8905 21.03/21.11 c bounds 228 >= 89 @ 19.9 21.03/21.11 c bounds 227 >= 89 @ 19.9117 21.03/21.11 c bounds 226 >= 89 @ 19.9208 21.03/21.11 c bounds 225 >= 89 @ 19.9295 21.03/21.11 c bounds 224 >= 89 @ 19.9381 21.03/21.11 c bounds 223 >= 89 @ 19.9502 21.03/21.11 c bounds 222 >= 89 @ 19.9606 21.03/21.11 c bounds 221 >= 89 @ 19.9689 21.03/21.11 c bounds 220 >= 89 @ 19.9802 21.03/21.11 c bounds 217 >= 89 @ 19.9896 21.03/21.11 c bounds 213 >= 89 @ 19.9986 21.03/21.11 c bounds 212 >= 89 @ 20.0077 21.03/21.11 c bounds 211 >= 89 @ 20.0153 21.03/21.11 c bounds 210 >= 89 @ 20.0249 21.03/21.11 c bounds 209 >= 89 @ 20.0333 21.03/21.11 c bounds 208 >= 89 @ 20.0434 21.03/21.11 c bounds 207 >= 89 @ 20.0535 21.03/21.11 c bounds 206 >= 89 @ 20.0636 21.03/21.11 c bounds 205 >= 89 @ 20.0728 21.03/21.11 c bounds 204 >= 89 @ 20.0828 21.03/21.11 c bounds 196 >= 89 @ 20.0922 21.03/21.11 c bounds 195 >= 89 @ 20.1008 21.03/21.11 c bounds 194 >= 89 @ 20.1098 21.03/21.11 c bounds 193 >= 89 @ 20.118 21.03/21.11 c bounds 192 >= 89 @ 20.127 21.03/21.11 c bounds 191 >= 89 @ 20.1357 21.03/21.11 c bounds 190 >= 89 @ 20.1428 21.03/21.11 c bounds 189 >= 89 @ 20.1506 21.03/21.11 c bounds 188 >= 89 @ 20.1587 21.03/21.11 c bounds 187 >= 89 @ 20.1658 21.03/21.11 c bounds 186 >= 89 @ 20.1732 21.03/21.11 c bounds 185 >= 89 @ 20.1803 21.03/21.11 c bounds 184 >= 89 @ 20.1887 21.03/21.11 c bounds 183 >= 89 @ 20.1973 21.03/21.11 c bounds 182 >= 89 @ 20.2061 21.03/21.11 c bounds 181 >= 89 @ 20.2149 21.03/21.11 c bounds 180 >= 89 @ 20.2227 21.03/21.11 c bounds 180 >= 90 @ 20.4174 21.03/21.11 c bounds 179 >= 90 @ 20.4261 21.03/21.11 c bounds 178 >= 90 @ 20.4347 21.03/21.11 c bounds 177 >= 90 @ 20.4424 21.03/21.11 c bounds 176 >= 90 @ 20.45 21.03/21.11 c bounds 175 >= 90 @ 20.4562 21.03/21.11 c bounds 174 >= 90 @ 20.4646 21.03/21.11 c bounds 173 >= 90 @ 20.4727 21.03/21.11 c bounds 172 >= 90 @ 20.4804 21.03/21.11 c bounds 171 >= 90 @ 20.4879 21.03/21.11 c bounds 170 >= 90 @ 20.4966 21.03/21.11 c bounds 169 >= 90 @ 20.5112 21.03/21.11 c bounds 168 >= 90 @ 20.519 21.03/21.11 c bounds 167 >= 90 @ 20.5265 21.03/21.11 c bounds 166 >= 90 @ 20.5332 21.03/21.11 c bounds 165 >= 90 @ 20.5399 21.03/21.11 c bounds 164 >= 90 @ 20.5476 21.03/21.11 c bounds 163 >= 90 @ 20.5549 21.03/21.11 c bounds 162 >= 90 @ 20.5616 21.03/21.11 c bounds 161 >= 90 @ 20.5679 21.03/21.11 c bounds 160 >= 90 @ 20.5763 21.03/21.11 c bounds 159 >= 90 @ 20.584 21.03/21.11 c bounds 158 >= 90 @ 20.5905 249.65/250.31 c bounds 157 >= 90 @ 20.597 249.65/250.31 c bounds 156 >= 90 @ 20.6048 249.65/250.31 c bounds 155 >= 90 @ 20.612 249.65/250.31 c bounds 154 >= 90 @ 20.6199 249.65/250.31 c bounds 153 >= 90 @ 20.6269 249.65/250.31 c bounds 152 >= 90 @ 20.6335 249.65/250.31 c bounds 151 >= 90 @ 20.64 249.65/250.31 c bounds 150 >= 90 @ 20.6476 249.65/250.31 c bounds 149 >= 90 @ 20.6539 249.65/250.31 c bounds 148 >= 90 @ 20.6603 249.65/250.31 c bounds 147 >= 90 @ 20.6676 249.65/250.31 c bounds 146 >= 90 @ 20.674 249.65/250.31 c bounds 145 >= 90 @ 20.6811 249.65/250.31 c bounds 144 >= 90 @ 20.6879 249.65/250.31 c bounds 143 >= 90 @ 20.6947 249.65/250.31 c bounds 142 >= 90 @ 20.7014 249.65/250.31 c bounds 141 >= 90 @ 20.7078 249.65/250.31 c #Conflicts: 3000 | #Constraints: 123830 249.65/250.31 c #Conflicts: 4000 | #Constraints: 124830 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c bounds 140 >= 90 @ 21.2396 249.65/250.31 c bounds 139 >= 90 @ 21.246 249.65/250.31 c bounds 138 >= 90 @ 21.2519 249.65/250.31 c bounds 137 >= 90 @ 21.2588 249.65/250.31 c bounds 136 >= 90 @ 21.2658 249.65/250.31 c bounds 135 >= 90 @ 21.2703 249.65/250.31 c bounds 134 >= 90 @ 21.276 249.65/250.31 c bounds 133 >= 90 @ 21.282 249.65/250.31 c bounds 132 >= 90 @ 21.2856 249.65/250.31 c bounds 131 >= 90 @ 21.2897 249.65/250.31 c bounds 130 >= 90 @ 21.2983 249.65/250.31 c bounds 129 >= 90 @ 21.3033 249.65/250.31 c bounds 128 >= 90 @ 21.3092 249.65/250.31 c bounds 127 >= 90 @ 21.3161 249.65/250.31 c bounds 126 >= 90 @ 21.3224 249.65/250.31 c bounds 125 >= 90 @ 21.3274 249.65/250.31 c bounds 124 >= 90 @ 21.3332 249.65/250.31 c bounds 123 >= 90 @ 21.3379 249.65/250.31 c bounds 122 >= 90 @ 21.3438 249.65/250.31 c bounds 121 >= 90 @ 21.3486 249.65/250.31 c bounds 120 >= 90 @ 21.3972 249.65/250.31 c bounds 119 >= 90 @ 21.403 249.65/250.31 c bounds 118 >= 90 @ 21.4824 249.65/250.31 c bounds 117 >= 90 @ 21.5305 249.65/250.31 c #Conflicts: 5000 | #Constraints: 45298 249.65/250.31 c bounds 116 >= 90 @ 21.6524 249.65/250.31 c bounds 115 >= 90 @ 21.659 249.65/250.31 c bounds 114 >= 90 @ 21.6802 249.65/250.31 c bounds 113 >= 90 @ 21.6868 249.65/250.31 c bounds 112 >= 90 @ 21.7116 249.65/250.31 c bounds 111 >= 90 @ 21.7225 249.65/250.31 c bounds 110 >= 90 @ 21.7417 249.65/250.31 c #Conflicts: 6000 | #Constraints: 46305 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c #Conflicts: 7000 | #Constraints: 27718 249.65/250.31 c #Conflicts: 8000 | #Constraints: 28719 249.65/250.31 c #Conflicts: 9000 | #Constraints: 29719 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c #Conflicts: 10000 | #Constraints: 28579 249.65/250.31 c #Conflicts: 11000 | #Constraints: 29579 249.65/250.31 c #Conflicts: 12000 | #Constraints: 30579 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c #Conflicts: 13000 | #Constraints: 29100 249.65/250.31 c #Conflicts: 14000 | #Constraints: 30100 249.65/250.31 c #Conflicts: 15000 | #Constraints: 31100 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c #Conflicts: 16000 | #Constraints: 29376 249.65/250.31 c #Conflicts: 17000 | #Constraints: 30376 249.65/250.31 c #Conflicts: 18000 | #Constraints: 31377 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c bounds 109 >= 90 @ 100.177 249.65/250.31 c #Conflicts: 19000 | #Constraints: 29411 249.65/250.31 c #Conflicts: 20000 | #Constraints: 30411 249.65/250.31 c #Conflicts: 21000 | #Constraints: 31411 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c #Conflicts: 22000 | #Constraints: 28667 249.65/250.31 c #Conflicts: 23000 | #Constraints: 29667 249.65/250.31 c #Conflicts: 24000 | #Constraints: 30667 249.65/250.31 c #Conflicts: 25000 | #Constraints: 31667 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c #Conflicts: 26000 | #Constraints: 29286 249.65/250.31 c #Conflicts: 27000 | #Constraints: 30286 249.65/250.31 c #Conflicts: 28000 | #Constraints: 31286 249.65/250.31 c bounds 108 >= 90 @ 230.125 249.65/250.31 c #Conflicts: 29000 | #Constraints: 32287 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c #Conflicts: 30000 | #Constraints: 29106 249.65/250.31 c #Conflicts: 31000 | #Constraints: 30106 249.65/250.31 c #Conflicts: 32000 | #Constraints: 31107 249.65/250.31 c #Conflicts: 33000 | #Constraints: 32107 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c #Conflicts: 34000 | #Constraints: 29349 249.65/250.31 c #Conflicts: 35000 | #Constraints: 30349 249.65/250.31 c #Conflicts: 36000 | #Constraints: 31349 249.65/250.31 c #Conflicts: 37000 | #Constraints: 32349 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c #Conflicts: 38000 | #Constraints: 29362 249.65/250.31 c #Conflicts: 39000 | #Constraints: 30363 249.65/250.31 c #Conflicts: 40000 | #Constraints: 31363 249.65/250.31 c #Conflicts: 41000 | #Constraints: 32363 249.65/250.31 c INPROCESSING 249.65/250.31 c GARBAGE COLLECT 249.65/250.31 c #Conflicts: 42000 | #Constraints: 29183 249.65/250.31 c #Conflicts: 43000 | #Constraints: 30183 249.65/250.31 c #Conflicts: 44000 | #Constraints: 31183 249.65/250.31 c #Conflicts: 45000 | #Constraints: 32183 632.25/633.94 c #Conflicts: 46000 | #Constraints: 33183 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 47000 | #Constraints: 29795 632.25/633.94 c #Conflicts: 48000 | #Constraints: 30796 632.25/633.94 c #Conflicts: 49000 | #Constraints: 31796 632.25/633.94 c #Conflicts: 50000 | #Constraints: 32796 632.25/633.94 c #Conflicts: 51000 | #Constraints: 33796 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 52000 | #Constraints: 30194 632.25/633.94 c #Conflicts: 53000 | #Constraints: 31194 632.25/633.94 c #Conflicts: 54000 | #Constraints: 32194 632.25/633.94 c #Conflicts: 55000 | #Constraints: 33194 632.25/633.94 c #Conflicts: 56000 | #Constraints: 34194 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 57000 | #Constraints: 30409 632.25/633.94 c #Conflicts: 58000 | #Constraints: 31409 632.25/633.94 c #Conflicts: 59000 | #Constraints: 32409 632.25/633.94 c #Conflicts: 60000 | #Constraints: 33409 632.25/633.94 c #Conflicts: 61000 | #Constraints: 34409 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 62000 | #Constraints: 30409 632.25/633.94 c #Conflicts: 63000 | #Constraints: 31409 632.25/633.94 c #Conflicts: 64000 | #Constraints: 32409 632.25/633.94 c #Conflicts: 65000 | #Constraints: 33409 632.25/633.94 c #Conflicts: 66000 | #Constraints: 34409 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 67000 | #Constraints: 30185 632.25/633.94 c #Conflicts: 68000 | #Constraints: 31185 632.25/633.94 c #Conflicts: 69000 | #Constraints: 32185 632.25/633.94 c #Conflicts: 70000 | #Constraints: 33185 632.25/633.94 c #Conflicts: 71000 | #Constraints: 34186 632.25/633.94 c bounds 108 >= 91 @ 576.718 632.25/633.94 c #Conflicts: 72000 | #Constraints: 35189 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 73000 | #Constraints: 30800 632.25/633.94 c #Conflicts: 74000 | #Constraints: 31800 632.25/633.94 c #Conflicts: 75000 | #Constraints: 32800 632.25/633.94 c #Conflicts: 76000 | #Constraints: 33800 632.25/633.94 c #Conflicts: 77000 | #Constraints: 34800 632.25/633.94 c #Conflicts: 78000 | #Constraints: 35800 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 79000 | #Constraints: 31218 632.25/633.94 c #Conflicts: 80000 | #Constraints: 32218 632.25/633.94 c #Conflicts: 81000 | #Constraints: 33218 632.25/633.94 c #Conflicts: 82000 | #Constraints: 34218 632.25/633.94 c #Conflicts: 83000 | #Constraints: 35218 632.25/633.94 c #Conflicts: 84000 | #Constraints: 36218 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 85000 | #Constraints: 31417 632.25/633.94 c #Conflicts: 86000 | #Constraints: 32417 632.25/633.94 c #Conflicts: 87000 | #Constraints: 33417 632.25/633.94 c #Conflicts: 88000 | #Constraints: 34417 632.25/633.94 c #Conflicts: 89000 | #Constraints: 35417 632.25/633.94 c #Conflicts: 90000 | #Constraints: 36417 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 91000 | #Constraints: 31419 632.25/633.94 c #Conflicts: 92000 | #Constraints: 32419 632.25/633.94 c #Conflicts: 93000 | #Constraints: 33419 632.25/633.94 c #Conflicts: 94000 | #Constraints: 34419 632.25/633.94 c #Conflicts: 95000 | #Constraints: 35419 632.25/633.94 c #Conflicts: 96000 | #Constraints: 36419 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 97000 | #Constraints: 31223 632.25/633.94 c #Conflicts: 98000 | #Constraints: 32223 632.25/633.94 c #Conflicts: 99000 | #Constraints: 33223 632.25/633.94 c #Conflicts: 100000 | #Constraints: 34224 632.25/633.94 c #Conflicts: 101000 | #Constraints: 35224 632.25/633.94 c #Conflicts: 102000 | #Constraints: 36224 632.25/633.94 c #Conflicts: 103000 | #Constraints: 37224 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 104000 | #Constraints: 31824 632.25/633.94 c #Conflicts: 105000 | #Constraints: 32824 632.25/633.94 c #Conflicts: 106000 | #Constraints: 33824 632.25/633.94 c #Conflicts: 107000 | #Constraints: 34824 632.25/633.94 c #Conflicts: 108000 | #Constraints: 35824 632.25/633.94 c #Conflicts: 109000 | #Constraints: 36824 632.25/633.94 c #Conflicts: 110000 | #Constraints: 37824 632.25/633.94 c INPROCESSING 632.25/633.94 c GARBAGE COLLECT 632.25/633.94 c #Conflicts: 111000 | #Constraints: 32233 632.25/633.94 c #Conflicts: 112000 | #Constraints: 33233 632.25/633.94 c #Conflicts: 113000 | #Constraints: 34233 632.25/633.94 c #Conflicts: 114000 | #Constraints: 35233 632.25/633.94 c #Conflicts: 115000 | #Constraints: 36233 632.25/633.94 c #Conflicts: 116000 | #Constraints: 37234 942.80/945.22 c #Conflicts: 117000 | #Constraints: 38234 942.80/945.22 c INPROCESSING 942.80/945.22 c GARBAGE COLLECT 942.80/945.22 c #Conflicts: 118000 | #Constraints: 32440 942.80/945.22 c #Conflicts: 119000 | #Constraints: 33440 942.80/945.22 c #Conflicts: 120000 | #Constraints: 34441 942.80/945.22 c #Conflicts: 121000 | #Constraints: 35441 942.80/945.22 c #Conflicts: 122000 | #Constraints: 36441 942.80/945.22 c #Conflicts: 123000 | #Constraints: 37441 942.80/945.22 c #Conflicts: 124000 | #Constraints: 38441 942.80/945.22 c INPROCESSING 942.80/945.22 c GARBAGE COLLECT 942.80/945.22 WSVECS04 Frhs2[54573]: 6 -91.0001 0 shouldn't be 1494.39/1498.15 c #Conflicts: 125000 | #Constraints: 32430 1494.39/1498.15 c #Conflicts: 126000 | #Constraints: 33430 1494.39/1498.15 c #Conflicts: 127000 | #Constraints: 34430 1494.39/1498.15 c #Conflicts: 128000 | #Constraints: 35430 1494.39/1498.15 c #Conflicts: 129000 | #Constraints: 36430 1494.39/1498.15 c #Conflicts: 130000 | #Constraints: 37430 1494.39/1498.15 c #Conflicts: 131000 | #Constraints: 38430 1494.39/1498.15 c INPROCESSING 1494.39/1498.15 c GARBAGE COLLECT 1494.39/1498.15 c #Conflicts: 132000 | #Constraints: 32236 1494.39/1498.15 c #Conflicts: 133000 | #Constraints: 33236 1494.39/1498.15 c #Conflicts: 134000 | #Constraints: 34236 1494.39/1498.15 c #Conflicts: 135000 | #Constraints: 35236 1494.39/1498.15 c #Conflicts: 136000 | #Constraints: 36236 1494.39/1498.15 c bounds 108 >= 92 @ 1401.55 1494.39/1498.15 c #Conflicts: 137000 | #Constraints: 37240 1494.39/1498.15 c #Conflicts: 138000 | #Constraints: 38240 1494.39/1498.15 c #Conflicts: 139000 | #Constraints: 39240 1494.39/1498.15 c INPROCESSING 1494.39/1498.15 c GARBAGE COLLECT 1494.39/1498.15 c #Conflicts: 140000 | #Constraints: 32841 1494.39/1498.15 c #Conflicts: 141000 | #Constraints: 33841 1494.39/1498.15 c #Conflicts: 142000 | #Constraints: 34841 1494.39/1498.15 c #Conflicts: 143000 | #Constraints: 35841 1494.39/1498.15 c #Conflicts: 144000 | #Constraints: 36841 1494.39/1498.15 c #Conflicts: 145000 | #Constraints: 37841 1494.39/1498.15 c #Conflicts: 146000 | #Constraints: 38841 1494.39/1498.15 c #Conflicts: 147000 | #Constraints: 39841 1494.39/1498.15 c INPROCESSING 1494.39/1498.15 c GARBAGE COLLECT 1494.39/1498.15 c #Conflicts: 148000 | #Constraints: 33224 1494.39/1498.15 c #Conflicts: 149000 | #Constraints: 34224 1494.39/1498.15 c #Conflicts: 150000 | #Constraints: 35224 1494.39/1498.15 c #Conflicts: 151000 | #Constraints: 36224 1494.39/1498.15 c #Conflicts: 152000 | #Constraints: 37224 1494.39/1498.15 c #Conflicts: 153000 | #Constraints: 38224 1494.39/1498.15 c #Conflicts: 154000 | #Constraints: 39224 1494.39/1498.15 c #Conflicts: 155000 | #Constraints: 40224 1494.39/1498.15 c INPROCESSING 1494.39/1498.15 c GARBAGE COLLECT 1494.39/1498.15 c #Conflicts: 156000 | #Constraints: 33438 1494.39/1498.15 c #Conflicts: 157000 | #Constraints: 34439 1494.39/1498.15 c #Conflicts: 158000 | #Constraints: 35439 1494.39/1498.15 c #Conflicts: 159000 | #Constraints: 36439 1494.39/1498.15 c #Conflicts: 160000 | #Constraints: 37439 1494.39/1498.15 c #Conflicts: 161000 | #Constraints: 38439 1494.39/1498.15 c #Conflicts: 162000 | #Constraints: 39439 1494.39/1498.15 c #Conflicts: 163000 | #Constraints: 40439 1494.39/1498.15 c INPROCESSING 1494.39/1498.15 c GARBAGE COLLECT 1494.39/1498.15 c #Conflicts: 164000 | #Constraints: 33452 1494.39/1498.15 c #Conflicts: 165000 | #Constraints: 34453 1494.39/1498.15 c #Conflicts: 166000 | #Constraints: 35453 1494.39/1498.15 c #Conflicts: 167000 | #Constraints: 36453 1494.39/1498.15 c #Conflicts: 168000 | #Constraints: 37453 1494.39/1498.15 c #Conflicts: 169000 | #Constraints: 38453 1494.39/1498.15 c #Conflicts: 170000 | #Constraints: 39453 1494.39/1498.15 c #Conflicts: 171000 | #Constraints: 40453 1494.39/1498.15 c INPROCESSING 1494.39/1498.15 c GARBAGE COLLECT 1494.39/1498.15 c #Conflicts: 172000 | #Constraints: 33247 1494.39/1498.15 c #Conflicts: 173000 | #Constraints: 34247 1494.39/1498.15 c #Conflicts: 174000 | #Constraints: 35247 1494.39/1498.15 c #Conflicts: 175000 | #Constraints: 36247 1494.39/1498.15 c #Conflicts: 176000 | #Constraints: 37247 1494.39/1498.15 c #Conflicts: 177000 | #Constraints: 38247 1494.39/1498.15 c #Conflicts: 178000 | #Constraints: 39247 1494.39/1498.15 c #Conflicts: 179000 | #Constraints: 40247 1494.39/1498.15 c #Conflicts: 180000 | #Constraints: 41247 1494.39/1498.15 c INPROCESSING 1494.39/1498.15 c GARBAGE COLLECT 1494.39/1498.15 c #Conflicts: 181000 | #Constraints: 33843 1494.39/1498.15 c #Conflicts: 182000 | #Constraints: 34843 1494.39/1498.15 c #Conflicts: 183000 | #Constraints: 35843 1494.39/1498.15 c #Conflicts: 184000 | #Constraints: 36843 1494.39/1498.15 c #Conflicts: 185000 | #Constraints: 37843 1494.39/1498.15 c #Conflicts: 186000 | #Constraints: 38843 1494.39/1498.15 c #Conflicts: 187000 | #Constraints: 39843 1494.39/1498.15 c #Conflicts: 188000 | #Constraints: 40843 1494.39/1498.15 c #Conflicts: 189000 | #Constraints: 41843 1494.39/1498.15 c INPROCESSING 1494.39/1498.15 c GARBAGE COLLECT 1494.39/1498.15 c #Conflicts: 190000 | #Constraints: 34247 1494.39/1498.15 c #Conflicts: 191000 | #Constraints: 35247 1494.39/1498.15 c #Conflicts: 192000 | #Constraints: 36247 1494.39/1498.15 c #Conflicts: 193000 | #Constraints: 37247 1494.39/1498.15 c #Conflicts: 194000 | #Constraints: 38247 1494.39/1498.15 c #Conflicts: 195000 | #Constraints: 39247 1494.39/1498.15 c #Conflicts: 196000 | #Constraints: 40247 1494.39/1498.15 c #Conflicts: 197000 | #Constraints: 41247 1494.39/1498.15 c #Conflicts: 198000 | #Constraints: 42247 1896.06/1900.70 c INPROCESSING 1896.06/1900.70 c GARBAGE COLLECT 1896.06/1900.70 c #Conflicts: 199000 | #Constraints: 34451 1896.06/1900.70 c #Conflicts: 200000 | #Constraints: 35451 1896.06/1900.70 c #Conflicts: 201000 | #Constraints: 36451 1896.06/1900.70 c #Conflicts: 202000 | #Constraints: 37451 1896.06/1900.70 c #Conflicts: 203000 | #Constraints: 38451 1896.06/1900.70 c #Conflicts: 204000 | #Constraints: 39451 1896.06/1900.70 c #Conflicts: 205000 | #Constraints: 40451 1896.06/1900.70 c #Conflicts: 206000 | #Constraints: 41451 1896.06/1900.70 c #Conflicts: 207000 | #Constraints: 42451 1896.06/1900.70 c INPROCESSING 1896.06/1900.70 c GARBAGE COLLECT 1896.06/1900.70 c #Conflicts: 208000 | #Constraints: 34455 1896.06/1900.70 c #Conflicts: 209000 | #Constraints: 35455 1896.06/1900.70 c #Conflicts: 210000 | #Constraints: 36455 1896.06/1900.70 c #Conflicts: 211000 | #Constraints: 37455 1896.06/1900.70 c #Conflicts: 212000 | #Constraints: 38455 1896.06/1900.70 c #Conflicts: 213000 | #Constraints: 39455 1896.06/1900.70 c #Conflicts: 214000 | #Constraints: 40455 1896.06/1900.70 c #Conflicts: 215000 | #Constraints: 41455 1896.06/1900.70 c #Conflicts: 216000 | #Constraints: 42455 1896.06/1900.70 c INPROCESSING 1896.06/1900.70 c GARBAGE COLLECT 1896.06/1900.70 c #Conflicts: 217000 | #Constraints: 34282 1896.06/1900.70 c #Conflicts: 218000 | #Constraints: 35282 1896.06/1900.70 c #Conflicts: 219000 | #Constraints: 36282 1896.06/1900.70 c #Conflicts: 220000 | #Constraints: 37283 1896.06/1900.70 c #Conflicts: 221000 | #Constraints: 38283 1896.06/1900.70 c #Conflicts: 222000 | #Constraints: 39283 1896.06/1900.70 c #Conflicts: 223000 | #Constraints: 40283 1896.06/1900.70 c #Conflicts: 224000 | #Constraints: 41283 1896.06/1900.70 c #Conflicts: 225000 | #Constraints: 42283 1896.06/1900.70 c #Conflicts: 226000 | #Constraints: 43283 1896.06/1900.70 c INPROCESSING 1896.06/1900.70 c GARBAGE COLLECT 1896.06/1900.70 c #Conflicts: 227000 | #Constraints: 34856 1896.06/1900.70 c #Conflicts: 228000 | #Constraints: 35856 1896.06/1900.70 c #Conflicts: 229000 | #Constraints: 36856 1896.06/1900.70 c #Conflicts: 230000 | #Constraints: 37856 1896.06/1900.70 c bounds 107 >= 92 @ 1538.1 1896.06/1900.70 c #Conflicts: 231000 | #Constraints: 38857 1896.06/1900.70 c #Conflicts: 232000 | #Constraints: 39857 1896.06/1900.70 c #Conflicts: 233000 | #Constraints: 40857 1896.06/1900.70 c #Conflicts: 234000 | #Constraints: 41857 1896.06/1900.70 c #Conflicts: 235000 | #Constraints: 42857 1896.06/1900.70 c #Conflicts: 236000 | #Constraints: 43858 1896.06/1900.70 c INPROCESSING 1896.06/1900.70 c GARBAGE COLLECT 1896.06/1900.70 c #Conflicts: 237000 | #Constraints: 34559 1896.06/1900.70 c #Conflicts: 238000 | #Constraints: 35559 1896.06/1900.70 c #Conflicts: 239000 | #Constraints: 36559 1896.06/1900.70 c #Conflicts: 240000 | #Constraints: 37559 1896.06/1900.70 c #Conflicts: 241000 | #Constraints: 38559 1896.06/1900.70 c #Conflicts: 242000 | #Constraints: 39559 1896.06/1900.70 c #Conflicts: 243000 | #Constraints: 40559 1896.06/1900.70 c #Conflicts: 244000 | #Constraints: 41559 1896.06/1900.70 c #Conflicts: 245000 | #Constraints: 42559 1896.06/1900.70 c #Conflicts: 246000 | #Constraints: 43559 1896.06/1900.70 c INPROCESSING 1896.06/1900.70 c GARBAGE COLLECT 1896.06/1900.70 c #Conflicts: 247000 | #Constraints: 34849 1896.06/1900.70 c #Conflicts: 248000 | #Constraints: 35849 1896.06/1900.70 c #Conflicts: 249000 | #Constraints: 36850 1896.06/1900.70 c #Conflicts: 250000 | #Constraints: 37850 1896.06/1900.70 c #Conflicts: 251000 | #Constraints: 38850 1896.06/1900.70 c #Conflicts: 252000 | #Constraints: 39850 1896.06/1900.70 c #Conflicts: 253000 | #Constraints: 40850 1896.06/1900.70 c #Conflicts: 254000 | #Constraints: 41850 1896.06/1900.70 c #Conflicts: 255000 | #Constraints: 42850 1896.06/1900.70 c #Conflicts: 256000 | #Constraints: 43850 1896.06/1900.70 c INPROCESSING 1896.06/1900.70 c GARBAGE COLLECT 1896.06/1900.70 WSVECS04 Frhs2[54574]: 6 -92 0 shouldn't be 2378.14/2384.06 c rational objective 94.7302 2526.72/2533.04 c #Conflicts: 257000 | #Constraints: 34898 2526.72/2533.04 c #Conflicts: 258000 | #Constraints: 35898 2526.72/2533.04 c #Conflicts: 259000 | #Constraints: 36898 2526.72/2533.04 c #Conflicts: 260000 | #Constraints: 37898 2526.72/2533.04 c #Conflicts: 261000 | #Constraints: 38898 2526.72/2533.04 c #Conflicts: 262000 | #Constraints: 39898 2526.72/2533.04 c #Conflicts: 263000 | #Constraints: 40898 2526.72/2533.04 c #Conflicts: 264000 | #Constraints: 41898 2526.72/2533.04 c #Conflicts: 265000 | #Constraints: 42898 2526.72/2533.04 c #Conflicts: 266000 | #Constraints: 43898 2526.72/2533.04 c INPROCESSING 2526.72/2533.04 c GARBAGE COLLECT 2526.72/2533.04 c #Conflicts: 267000 | #Constraints: 34709 2526.72/2533.04 c #Conflicts: 268000 | #Constraints: 35709 2526.72/2533.04 c #Conflicts: 269000 | #Constraints: 36710 2526.72/2533.04 c #Conflicts: 270000 | #Constraints: 37710 2526.72/2533.04 c #Conflicts: 271000 | #Constraints: 38710 2526.72/2533.04 c #Conflicts: 272000 | #Constraints: 39710 2526.72/2533.04 c #Conflicts: 273000 | #Constraints: 40710 2526.72/2533.04 c #Conflicts: 274000 | #Constraints: 41710 2526.72/2533.04 c #Conflicts: 275000 | #Constraints: 42710 2526.72/2533.04 c #Conflicts: 276000 | #Constraints: 43710 2526.72/2533.04 c #Conflicts: 277000 | #Constraints: 44710 2526.72/2533.04 c INPROCESSING 2526.72/2533.04 c GARBAGE COLLECT 2526.72/2533.04 c #Conflicts: 278000 | #Constraints: 35323 2526.72/2533.04 c #Conflicts: 279000 | #Constraints: 36323 2526.72/2533.04 c #Conflicts: 280000 | #Constraints: 37323 2526.72/2533.04 c #Conflicts: 281000 | #Constraints: 38323 2526.72/2533.04 c #Conflicts: 282000 | #Constraints: 39323 2526.72/2533.04 c #Conflicts: 283000 | #Constraints: 40323 2526.72/2533.04 c #Conflicts: 284000 | #Constraints: 41323 2526.72/2533.04 c #Conflicts: 285000 | #Constraints: 42323 2526.72/2533.04 c #Conflicts: 286000 | #Constraints: 43323 2526.72/2533.04 c #Conflicts: 287000 | #Constraints: 44323 2526.72/2533.04 c #Conflicts: 288000 | #Constraints: 45323 2526.72/2533.04 c INPROCESSING 2526.72/2533.04 c GARBAGE COLLECT 2526.72/2533.04 c #Conflicts: 289000 | #Constraints: 35730 2526.72/2533.04 c #Conflicts: 290000 | #Constraints: 36730 2526.72/2533.04 c #Conflicts: 291000 | #Constraints: 37730 2526.72/2533.04 c #Conflicts: 292000 | #Constraints: 38730 2526.72/2533.04 c #Conflicts: 293000 | #Constraints: 39730 2526.72/2533.04 c #Conflicts: 294000 | #Constraints: 40730 2526.72/2533.04 c #Conflicts: 295000 | #Constraints: 41730 2526.72/2533.04 c #Conflicts: 296000 | #Constraints: 42730 2526.72/2533.04 c #Conflicts: 297000 | #Constraints: 43730 2526.72/2533.04 c #Conflicts: 298000 | #Constraints: 44730 2526.72/2533.04 c #Conflicts: 299000 | #Constraints: 45730 2526.72/2533.04 c INPROCESSING 2526.72/2533.04 c GARBAGE COLLECT 2526.72/2533.04 c #Conflicts: 300000 | #Constraints: 35932 2526.72/2533.04 c #Conflicts: 301000 | #Constraints: 36932 2526.72/2533.04 c #Conflicts: 302000 | #Constraints: 37932 2526.72/2533.04 c #Conflicts: 303000 | #Constraints: 38932 2526.72/2533.04 c #Conflicts: 304000 | #Constraints: 39933 2526.72/2533.04 c #Conflicts: 305000 | #Constraints: 40933 2526.72/2533.04 c #Conflicts: 306000 | #Constraints: 41933 2526.72/2533.04 c #Conflicts: 307000 | #Constraints: 42933 2526.72/2533.04 c #Conflicts: 308000 | #Constraints: 43933 2526.72/2533.04 c #Conflicts: 309000 | #Constraints: 44933 2526.72/2533.04 c #Conflicts: 310000 | #Constraints: 45933 2526.72/2533.04 c INPROCESSING 2526.72/2533.04 c GARBAGE COLLECT 2526.72/2533.04 c #Conflicts: 311000 | #Constraints: 35933 2526.72/2533.04 c #Conflicts: 312000 | #Constraints: 36933 2526.72/2533.04 c #Conflicts: 313000 | #Constraints: 37933 2526.72/2533.04 c #Conflicts: 314000 | #Constraints: 38933 2526.72/2533.04 c #Conflicts: 315000 | #Constraints: 39933 2526.72/2533.04 c #Conflicts: 316000 | #Constraints: 40933 2526.72/2533.04 c #Conflicts: 317000 | #Constraints: 41933 2526.72/2533.04 c #Conflicts: 318000 | #Constraints: 42933 2526.72/2533.04 c #Conflicts: 319000 | #Constraints: 43933 2526.72/2533.04 c #Conflicts: 320000 | #Constraints: 44933 2526.72/2533.04 c #Conflicts: 321000 | #Constraints: 45933 2526.72/2533.04 c INPROCESSING 2526.72/2533.04 c GARBAGE COLLECT 2526.72/2533.04 c #Conflicts: 322000 | #Constraints: 35721 2526.72/2533.04 c #Conflicts: 323000 | #Constraints: 36721 2526.72/2533.04 c #Conflicts: 324000 | #Constraints: 37721 2526.72/2533.04 c #Conflicts: 325000 | #Constraints: 38721 2526.72/2533.04 c #Conflicts: 326000 | #Constraints: 39721 2526.72/2533.04 c #Conflicts: 327000 | #Constraints: 40721 2526.72/2533.04 c #Conflicts: 328000 | #Constraints: 41721 2526.72/2533.04 c #Conflicts: 329000 | #Constraints: 42721 2526.72/2533.04 c #Conflicts: 330000 | #Constraints: 43722 2526.72/2533.04 c #Conflicts: 331000 | #Constraints: 44722 2609.35/2615.94 c #Conflicts: 332000 | #Constraints: 45722 2609.35/2615.94 c #Conflicts: 333000 | #Constraints: 46722 2609.35/2615.94 c INPROCESSING 2609.35/2615.94 c GARBAGE COLLECT 2609.35/2615.94 c #Conflicts: 334000 | #Constraints: 36342 2609.35/2615.94 c #Conflicts: 335000 | #Constraints: 37342 2609.35/2615.94 c #Conflicts: 336000 | #Constraints: 38342 2609.35/2615.94 c #Conflicts: 337000 | #Constraints: 39342 2609.35/2615.94 c #Conflicts: 338000 | #Constraints: 40342 2609.35/2615.94 c #Conflicts: 339000 | #Constraints: 41342 2609.35/2615.94 c #Conflicts: 340000 | #Constraints: 42342 2609.35/2615.94 c #Conflicts: 341000 | #Constraints: 43342 2609.35/2615.94 c #Conflicts: 342000 | #Constraints: 44342 2609.35/2615.94 c #Conflicts: 343000 | #Constraints: 45342 2609.35/2615.94 c #Conflicts: 344000 | #Constraints: 46342 2609.35/2615.94 c #Conflicts: 345000 | #Constraints: 47342 2609.35/2615.94 c INPROCESSING 2609.35/2615.94 c GARBAGE COLLECT 2609.35/2615.94 c #Conflicts: 346000 | #Constraints: 36730 2609.35/2615.94 c #Conflicts: 347000 | #Constraints: 37730 2609.35/2615.94 c #Conflicts: 348000 | #Constraints: 38731 2609.35/2615.94 c #Conflicts: 349000 | #Constraints: 39731 2609.35/2615.94 c #Conflicts: 350000 | #Constraints: 40731 2609.35/2615.94 c #Conflicts: 351000 | #Constraints: 41731 2609.35/2615.94 c #Conflicts: 352000 | #Constraints: 42731 2609.35/2615.94 c #Conflicts: 353000 | #Constraints: 43731 2609.35/2615.94 c #Conflicts: 354000 | #Constraints: 44731 2609.35/2615.94 c #Conflicts: 355000 | #Constraints: 45731 2609.35/2615.94 c #Conflicts: 356000 | #Constraints: 46731 2609.35/2615.94 c #Conflicts: 357000 | #Constraints: 47731 2609.35/2615.94 c INPROCESSING 2609.35/2615.94 c GARBAGE COLLECT 2609.35/2615.94 c #Conflicts: 358000 | #Constraints: 36958 2609.35/2615.94 c #Conflicts: 359000 | #Constraints: 37958 2609.35/2615.94 c #Conflicts: 360000 | #Constraints: 38958 2609.35/2615.94 c #Conflicts: 361000 | #Constraints: 39958 2609.35/2615.94 c #Conflicts: 362000 | #Constraints: 40958 2609.35/2615.94 c #Conflicts: 363000 | #Constraints: 41958 2609.35/2615.94 c #Conflicts: 364000 | #Constraints: 42959 2609.35/2615.94 c #Conflicts: 365000 | #Constraints: 43959 2609.35/2615.94 c #Conflicts: 366000 | #Constraints: 44959 2609.35/2615.94 c #Conflicts: 367000 | #Constraints: 45959 2609.35/2615.94 c #Conflicts: 368000 | #Constraints: 46959 2609.35/2615.94 c #Conflicts: 369000 | #Constraints: 47959 2609.35/2615.94 c INPROCESSING 2609.35/2615.94 c GARBAGE COLLECT 2609.35/2615.94 c #Conflicts: 370000 | #Constraints: 36958 2609.35/2615.94 c #Conflicts: 371000 | #Constraints: 37958 2609.35/2615.94 c #Conflicts: 372000 | #Constraints: 38958 2609.35/2615.94 c #Conflicts: 373000 | #Constraints: 39958 2609.35/2615.94 c #Conflicts: 374000 | #Constraints: 40958 2609.35/2615.94 c #Conflicts: 375000 | #Constraints: 41958 2609.35/2615.94 c #Conflicts: 376000 | #Constraints: 42958 2609.35/2615.94 c #Conflicts: 377000 | #Constraints: 43958 2609.35/2615.94 c #Conflicts: 378000 | #Constraints: 44958 2609.35/2615.94 c #Conflicts: 379000 | #Constraints: 45958 2609.35/2615.94 c #Conflicts: 380000 | #Constraints: 46958 2609.35/2615.94 c #Conflicts: 381000 | #Constraints: 47958 2609.35/2615.94 c INPROCESSING 2609.35/2615.94 c GARBAGE COLLECT 2609.35/2615.94 c #Conflicts: 382000 | #Constraints: 36761 2609.35/2615.94 c #Conflicts: 383000 | #Constraints: 37761 2609.35/2615.94 c #Conflicts: 384000 | #Constraints: 38761 2609.35/2615.94 c #Conflicts: 385000 | #Constraints: 39761 2609.35/2615.94 c #Conflicts: 386000 | #Constraints: 40761 2609.35/2615.94 c #Conflicts: 387000 | #Constraints: 41761 2609.35/2615.94 c #Conflicts: 388000 | #Constraints: 42761 2609.35/2615.94 c #Conflicts: 389000 | #Constraints: 43761 2609.35/2615.94 c #Conflicts: 390000 | #Constraints: 44761 2609.35/2615.94 c #Conflicts: 391000 | #Constraints: 45761 2609.35/2615.94 c #Conflicts: 392000 | #Constraints: 46761 2609.35/2615.94 c #Conflicts: 393000 | #Constraints: 47761 2609.35/2615.94 c #Conflicts: 394000 | #Constraints: 48761 2609.35/2615.94 c INPROCESSING 2609.35/2615.94 c GARBAGE COLLECT 2609.35/2615.94 c #Conflicts: 395000 | #Constraints: 37360 2609.35/2615.94 c #Conflicts: 396000 | #Constraints: 38360 2609.35/2615.94 c #Conflicts: 397000 | #Constraints: 39360 2609.35/2615.94 c #Conflicts: 398000 | #Constraints: 40360 2609.35/2615.94 c #Conflicts: 399000 | #Constraints: 41360 2609.35/2615.94 c #Conflicts: 400000 | #Constraints: 42360 2609.35/2615.94 c #Conflicts: 401000 | #Constraints: 43360 2609.35/2615.94 c #Conflicts: 402000 | #Constraints: 44360 2609.35/2615.94 c #Conflicts: 403000 | #Constraints: 45360 2609.35/2615.94 c #Conflicts: 404000 | #Constraints: 46360 2609.35/2615.94 c #Conflicts: 405000 | #Constraints: 47360 2609.35/2615.94 c #Conflicts: 406000 | #Constraints: 48360 3193.69/3201.82 c #Conflicts: 407000 | #Constraints: 49360 3193.69/3201.82 c INPROCESSING 3193.69/3201.82 c GARBAGE COLLECT 3193.69/3201.82 c #Conflicts: 408000 | #Constraints: 37756 3193.69/3201.82 c #Conflicts: 409000 | #Constraints: 38756 3193.69/3201.82 c #Conflicts: 410000 | #Constraints: 39756 3193.69/3201.82 c #Conflicts: 411000 | #Constraints: 40756 3193.69/3201.82 c #Conflicts: 412000 | #Constraints: 41756 3193.69/3201.82 c #Conflicts: 413000 | #Constraints: 42756 3193.69/3201.82 c #Conflicts: 414000 | #Constraints: 43756 3193.69/3201.82 c #Conflicts: 415000 | #Constraints: 44756 3193.69/3201.82 c #Conflicts: 416000 | #Constraints: 45756 3193.69/3201.82 c #Conflicts: 417000 | #Constraints: 46756 3193.69/3201.82 c #Conflicts: 418000 | #Constraints: 47756 3193.69/3201.82 c #Conflicts: 419000 | #Constraints: 48756 3193.69/3201.82 c #Conflicts: 420000 | #Constraints: 49756 3193.69/3201.82 c INPROCESSING 3193.69/3201.82 c GARBAGE COLLECT 3193.69/3201.82 c rational objective 94.7305 3356.34/3364.95 c #Conflicts: 421000 | #Constraints: 37945 3356.34/3364.95 c #Conflicts: 422000 | #Constraints: 38945 3356.34/3364.95 c #Conflicts: 423000 | #Constraints: 39945 3356.34/3364.95 c #Conflicts: 424000 | #Constraints: 40945 3356.34/3364.95 c #Conflicts: 425000 | #Constraints: 41945 3356.34/3364.95 c #Conflicts: 426000 | #Constraints: 42945 3356.34/3364.95 c #Conflicts: 427000 | #Constraints: 43945 3356.34/3364.95 c #Conflicts: 428000 | #Constraints: 44945 3356.34/3364.95 c #Conflicts: 429000 | #Constraints: 45945 3356.34/3364.95 c #Conflicts: 430000 | #Constraints: 46945 3356.34/3364.95 c #Conflicts: 431000 | #Constraints: 47945 3356.34/3364.95 c #Conflicts: 432000 | #Constraints: 48945 3356.34/3364.95 c #Conflicts: 433000 | #Constraints: 49945 3356.34/3364.95 c INPROCESSING 3356.34/3364.95 c GARBAGE COLLECT 3356.34/3364.95 c #Conflicts: 434000 | #Constraints: 37932 3356.34/3364.95 c #Conflicts: 435000 | #Constraints: 38932 3356.34/3364.95 c #Conflicts: 436000 | #Constraints: 39932 3356.34/3364.95 c #Conflicts: 437000 | #Constraints: 40932 3356.34/3364.95 c #Conflicts: 438000 | #Constraints: 41932 3356.34/3364.95 c #Conflicts: 439000 | #Constraints: 42932 3356.34/3364.95 c #Conflicts: 440000 | #Constraints: 43932 3356.34/3364.95 c #Conflicts: 441000 | #Constraints: 44932 3356.34/3364.95 c #Conflicts: 442000 | #Constraints: 45932 3356.34/3364.95 c #Conflicts: 443000 | #Constraints: 46932 3356.34/3364.95 c #Conflicts: 444000 | #Constraints: 47932 3356.34/3364.95 c #Conflicts: 445000 | #Constraints: 48933 3356.34/3364.95 c #Conflicts: 446000 | #Constraints: 49933 3356.34/3364.95 c INPROCESSING 3356.34/3364.95 c GARBAGE COLLECT 3356.34/3364.95 c #Conflicts: 447000 | #Constraints: 37724 3356.34/3364.95 c #Conflicts: 448000 | #Constraints: 38724 3356.34/3364.95 c #Conflicts: 449000 | #Constraints: 39724 3356.34/3364.95 c #Conflicts: 450000 | #Constraints: 40724 3356.34/3364.95 c #Conflicts: 451000 | #Constraints: 41724 3356.34/3364.95 c #Conflicts: 452000 | #Constraints: 42724 3356.34/3364.95 c #Conflicts: 453000 | #Constraints: 43724 3356.34/3364.95 c #Conflicts: 454000 | #Constraints: 44724 3356.34/3364.95 c #Conflicts: 455000 | #Constraints: 45724 3356.34/3364.95 c #Conflicts: 456000 | #Constraints: 46724 3356.34/3364.95 c #Conflicts: 457000 | #Constraints: 47724 3356.34/3364.95 c #Conflicts: 458000 | #Constraints: 48724 3356.34/3364.95 c #Conflicts: 459000 | #Constraints: 49724 3356.34/3364.95 c #Conflicts: 460000 | #Constraints: 50724 3356.34/3364.95 c INPROCESSING 3356.34/3364.95 c GARBAGE COLLECT 3356.34/3364.95 c #Conflicts: 461000 | #Constraints: 38354 3356.34/3364.95 c #Conflicts: 462000 | #Constraints: 39354 3356.34/3364.95 c #Conflicts: 463000 | #Constraints: 40354 3356.34/3364.95 c #Conflicts: 464000 | #Constraints: 41354 3356.34/3364.95 c #Conflicts: 465000 | #Constraints: 42354 3356.34/3364.95 c #Conflicts: 466000 | #Constraints: 43354 3356.34/3364.95 c #Conflicts: 467000 | #Constraints: 44354 3356.34/3364.95 c #Conflicts: 468000 | #Constraints: 45354 3356.34/3364.95 c #Conflicts: 469000 | #Constraints: 46354 3356.34/3364.95 c #Conflicts: 470000 | #Constraints: 47354 3356.34/3364.95 c #Conflicts: 471000 | #Constraints: 48354 3356.34/3364.95 c #Conflicts: 472000 | #Constraints: 49355 3356.34/3364.95 c #Conflicts: 473000 | #Constraints: 50355 3356.34/3364.95 c #Conflicts: 474000 | #Constraints: 51355 3356.34/3364.95 c INPROCESSING 3356.34/3364.95 c GARBAGE COLLECT 3356.34/3364.95 c #Conflicts: 475000 | #Constraints: 38752 3356.34/3364.95 c #Conflicts: 476000 | #Constraints: 39752 3356.34/3364.95 c #Conflicts: 477000 | #Constraints: 40752 3356.34/3364.95 c #Conflicts: 478000 | #Constraints: 41752 3356.34/3364.95 c #Conflicts: 479000 | #Constraints: 42752 3356.34/3364.95 c #Conflicts: 480000 | #Constraints: 43752 3356.34/3364.95 c #Conflicts: 481000 | #Constraints: 44753 3356.34/3364.95 c #Conflicts: 482000 | #Constraints: 45753 3356.34/3364.95 c #Conflicts: 483000 | #Constraints: 46753 3356.34/3364.95 c #Conflicts: 484000 | #Constraints: 47753 3356.34/3364.95 c #Conflicts: 485000 | #Constraints: 48753 3356.34/3364.95 c #Conflicts: 486000 | #Constraints: 49753 3356.34/3364.95 c #Conflicts: 487000 | #Constraints: 50753 3356.34/3364.95 c #Conflicts: 488000 | #Constraints: 51753 3356.34/3364.95 c INPROCESSING 3356.34/3364.95 c GARBAGE COLLECT 3356.34/3364.95 c #Conflicts: 489000 | #Constraints: 38962 3356.34/3364.95 c #Conflicts: 490000 | #Constraints: 39962 3356.34/3364.95 c #Conflicts: 491000 | #Constraints: 40962 3356.34/3364.95 c #Conflicts: 492000 | #Constraints: 41962 3356.34/3364.95 c #Conflicts: 493000 | #Constraints: 42962 3356.34/3364.95 c #Conflicts: 494000 | #Constraints: 43962 3356.34/3364.95 c #Conflicts: 495000 | #Constraints: 44962 3356.34/3364.95 c #Conflicts: 496000 | #Constraints: 45962 3509.95/3518.93 c #Conflicts: 497000 | #Constraints: 46962 3509.95/3518.93 c #Conflicts: 498000 | #Constraints: 47962 3509.95/3518.93 c #Conflicts: 499000 | #Constraints: 48962 3509.95/3518.93 c #Conflicts: 500000 | #Constraints: 49962 3509.95/3518.93 c #Conflicts: 501000 | #Constraints: 50962 3509.95/3518.93 c #Conflicts: 502000 | #Constraints: 51962 3509.95/3518.93 c INPROCESSING 3509.95/3518.93 c GARBAGE COLLECT 3509.95/3518.93 c #Conflicts: 503000 | #Constraints: 38994 3509.95/3518.93 c #Conflicts: 504000 | #Constraints: 39994 3509.95/3518.93 c #Conflicts: 505000 | #Constraints: 40994 3509.95/3518.93 c #Conflicts: 506000 | #Constraints: 41994 3509.95/3518.93 c #Conflicts: 507000 | #Constraints: 42994 3509.95/3518.93 c #Conflicts: 508000 | #Constraints: 43994 3509.95/3518.93 c #Conflicts: 509000 | #Constraints: 44994 3509.95/3518.93 c #Conflicts: 510000 | #Constraints: 45995 3509.95/3518.93 c #Conflicts: 511000 | #Constraints: 46995 3509.95/3518.93 c #Conflicts: 512000 | #Constraints: 47995 3509.95/3518.93 c #Conflicts: 513000 | #Constraints: 48995 3509.95/3518.93 c #Conflicts: 514000 | #Constraints: 49995 3509.95/3518.93 c #Conflicts: 515000 | #Constraints: 50995 3509.95/3518.93 c #Conflicts: 516000 | #Constraints: 51995 3509.95/3518.93 c INPROCESSING 3509.95/3518.93 c GARBAGE COLLECT 3509.95/3518.93 c #Conflicts: 517000 | #Constraints: 38767 3509.95/3518.93 c #Conflicts: 518000 | #Constraints: 39767 3509.95/3518.93 c #Conflicts: 519000 | #Constraints: 40767 3509.95/3518.93 c #Conflicts: 520000 | #Constraints: 41767 3509.95/3518.93 c #Conflicts: 521000 | #Constraints: 42767 3509.95/3518.93 c #Conflicts: 522000 | #Constraints: 43767 3509.95/3518.93 c #Conflicts: 523000 | #Constraints: 44768 3509.95/3518.93 c #Conflicts: 524000 | #Constraints: 45768 3509.95/3518.93 c #Conflicts: 525000 | #Constraints: 46768 3509.95/3518.93 c #Conflicts: 526000 | #Constraints: 47768 3509.95/3518.93 c #Conflicts: 527000 | #Constraints: 48768 3509.95/3518.93 c #Conflicts: 528000 | #Constraints: 49768 3509.95/3518.93 c #Conflicts: 529000 | #Constraints: 50768 3509.95/3518.93 c #Conflicts: 530000 | #Constraints: 51768 3509.95/3518.93 c #Conflicts: 531000 | #Constraints: 52768 3509.95/3518.93 c INPROCESSING 3509.95/3518.93 c GARBAGE COLLECT 3509.95/3518.93 c #Conflicts: 532000 | #Constraints: 39373 3509.95/3518.93 c #Conflicts: 533000 | #Constraints: 40373 3509.95/3518.93 c #Conflicts: 534000 | #Constraints: 41373 3509.95/3518.93 c #Conflicts: 535000 | #Constraints: 42373 3509.95/3518.93 c #Conflicts: 536000 | #Constraints: 43373 3509.95/3518.93 c #Conflicts: 537000 | #Constraints: 44373 3509.95/3518.93 c #Conflicts: 538000 | #Constraints: 45373 3509.95/3518.93 c #Conflicts: 539000 | #Constraints: 46373 3509.95/3518.93 c #Conflicts: 540000 | #Constraints: 47373 3509.95/3518.93 c #Conflicts: 541000 | #Constraints: 48373 3509.95/3518.93 c #Conflicts: 542000 | #Constraints: 49373 3509.95/3518.93 c #Conflicts: 543000 | #Constraints: 50373 3509.95/3518.93 c #Conflicts: 544000 | #Constraints: 51373 3509.95/3518.93 c #Conflicts: 545000 | #Constraints: 52373 3509.95/3518.93 c #Conflicts: 546000 | #Constraints: 53373 3509.95/3518.93 c INPROCESSING 3509.95/3518.93 c GARBAGE COLLECT 3509.95/3518.93 c rational objective 94.7326
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: 63968 MiB (43886 MiB free)
memory of node 1: 64473 MiB (45213 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457011-1721819271/watcher-4457011-1721819271 -o /tmp/evaluation-result-4457011-1721819271/solver-4457011-1721819271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228036 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457011-1721819271 --lp-cut-gomory=0 HOME/instance-4457011-1721819271.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=230214, runsolver pid=230211
Current StackSize limit: 8192 KiB
[startup+0.100248 s]*
/proc/loadavg: 4.17 4.20 3.79 5/256 230215
/proc/meminfo: memFree=91220816/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=54048 memory=21908 CPUtime=0.09 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 3980 0 0 0 6 3 0 0 20 0 1 0 18455381 55345152 5477 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 13512 5477 1376 992 0 5370 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54048 KiB
Current children cumulated memory: 21908 KiB
[startup+0.206246 s]*
/proc/loadavg: 4.17 4.20 3.79 5/256 230215
/proc/meminfo: memFree=91218128/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=55144 memory=23492 CPUtime=0.19 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 4373 0 0 0 13 6 0 0 20 0 1 0 18455381 56467456 5873 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 13786 5873 1376 992 0 5644 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55144 KiB
Current children cumulated memory: 23492 KiB
[startup+0.305564 s]*
/proc/loadavg: 4.17 4.20 3.79 5/256 230215
/proc/meminfo: memFree=91215048/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=55672 memory=25604 CPUtime=0.29 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 4882 0 0 0 21 8 0 0 20 0 1 0 18455381 57008128 6401 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 13918 6401 1376 992 0 5776 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55672 KiB
Current children cumulated memory: 25604 KiB
[startup+0.70023 s]
/proc/loadavg: 4.17 4.20 3.79 5/256 230215
/proc/meminfo: memFree=91194948/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=159188 memory=129788 CPUtime=0.68 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 24923 0 0 0 52 16 0 0 20 0 1 0 18455381 163008512 32447 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 39797 32447 1711 992 0 31655 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 159188 KiB
Current children cumulated memory: 129788 KiB
[startup+1.50024 s]
/proc/loadavg: 4.17 4.20 3.79 5/255 230215
/proc/meminfo: memFree=91106152/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=159188 memory=129788 CPUtime=1.48 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 24948 0 0 0 130 18 0 0 20 0 1 0 18455381 163008512 32447 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 39797 32447 1711 992 0 31655 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 159188 KiB
Current children cumulated memory: 129788 KiB
[startup+3.10571 s]
/proc/loadavg: 4.17 4.20 3.79 5/256 230216
/proc/meminfo: memFree=91062140/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=169856 memory=135772 CPUtime=3.07 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 25832 0 0 0 282 25 0 0 20 0 1 0 18455381 173932544 33943 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 42464 33943 1822 992 0 34322 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 169856 KiB
Current children cumulated memory: 135772 KiB
[startup+6.30022 s]
/proc/loadavg: 4.15 4.19 3.80 5/256 230216
/proc/meminfo: memFree=91045600/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=173280 memory=137540 CPUtime=6.26 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 26300 0 0 0 599 27 0 0 20 0 1 0 18455381 177438720 34385 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 43320 34385 1822 992 0 35178 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 173280 KiB
Current children cumulated memory: 137540 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.19 3.80 5/256 230217
/proc/meminfo: memFree=91006668/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=175904 memory=140068 CPUtime=12.65 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 26974 0 0 0 1236 29 0 0 20 0 1 0 18455381 180125696 35017 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 43976 35017 1822 992 0 35834 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 175904 KiB
Current children cumulated memory: 140068 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.18 3.80 5/256 230219
/proc/meminfo: memFree=90807140/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=179692 memory=144344 CPUtime=25.41 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 28028 0 0 0 2488 53 0 0 20 0 1 0 18455381 184004608 36086 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 44923 36086 1871 992 0 36781 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 179692 KiB
Current children cumulated memory: 144344 KiB
[startup+51.1057 s]
/proc/loadavg: 4.13 4.18 3.81 5/256 230223
/proc/meminfo: memFree=90671560/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=183708 memory=146868 CPUtime=50.96 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 28686 0 0 0 5034 62 0 0 20 0 1 0 18455381 188116992 36717 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 45927 36717 1887 992 0 37785 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 183708 KiB
Current children cumulated memory: 146868 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.18 3.83 5/256 230233
/proc/meminfo: memFree=90324412/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=183708 memory=147492 CPUtime=102.02 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 28779 0 0 0 10116 86 0 0 20 0 1 0 18455381 188116992 36873 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 45927 36873 1887 992 0 37785 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 183708 KiB
Current children cumulated memory: 147492 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 4.19 3.86 5/256 230243
/proc/meminfo: memFree=89933380/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=183708 memory=153524 CPUtime=161.87 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 28897 0 0 0 16089 98 0 0 20 0 1 0 18455381 188116992 38381 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 45927 38381 1887 992 0 37785 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 183708 KiB
Current children cumulated memory: 153524 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.17 3.88 5/259 230538
/proc/meminfo: memFree=89201812/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=183708 memory=153524 CPUtime=221.71 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 28946 0 0 0 22062 109 0 0 20 0 1 0 18455381 188116992 38381 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 45927 38381 1887 992 0 37785 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 183708 KiB
Current children cumulated memory: 153524 KiB
[startup+282.3 s]
/proc/loadavg: 3.99 4.12 3.88 5/253 230670
/proc/meminfo: memFree=88523976/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=185556 memory=154952 CPUtime=281.57 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 29404 0 0 0 27999 158 0 0 20 0 1 0 18455381 190009344 38738 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 46389 38738 1887 992 0 38247 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 185556 KiB
Current children cumulated memory: 154952 KiB
[startup+342.3 s]
/proc/loadavg: 4.51 4.21 3.93 5/257 230793
/proc/meminfo: memFree=88135640/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=187712 memory=157572 CPUtime=341.42 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 30079 0 0 0 33976 166 0 0 20 0 1 0 18455381 192217088 39393 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 46928 39393 1887 992 0 38786 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 187712 KiB
Current children cumulated memory: 157572 KiB
[startup+402.3 s]
/proc/loadavg: 4.29 4.20 3.95 4/253 231947
/proc/meminfo: memFree=87863384/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=187712 memory=157572 CPUtime=401.26 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 30127 0 0 0 39951 175 0 0 20 0 1 0 18455381 192217088 39393 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 46928 39393 1887 992 0 38786 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 187712 KiB
Current children cumulated memory: 157572 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.21 3.97 5/259 232298
/proc/meminfo: memFree=87332448/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=187712 memory=157572 CPUtime=461.11 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 30176 0 0 0 45927 184 0 0 20 0 1 0 18455381 192217088 39393 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 46928 39393 1887 992 0 38786 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.19 4.13 4.10 6/262 234054
/proc/meminfo: memFree=84883676/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=236588 memory=205084 CPUtime=3094.45 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 41198 0 0 0 308521 924 0 0 20 0 1 0 18455381 242266112 51271 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 59147 51271 1967 992 0 51005 0
Current children cumulated CPU time: 3094.45 s
Current children cumulated vsize: 236588 KiB
Current children cumulated memory: 205084 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/261 234064
/proc/meminfo: memFree=84365968/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=236588 memory=205088 CPUtime=3154.3 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 41257 0 0 0 314501 929 0 0 20 0 1 0 18455381 242266112 51272 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 59147 51272 1967 992 0 51005 0
Current children cumulated CPU time: 3154.3 s
Current children cumulated vsize: 236588 KiB
Current children cumulated memory: 205088 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/261 234090
/proc/meminfo: memFree=83433436/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=237048 memory=206260 CPUtime=3214.14 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 41676 0 0 0 320457 957 0 0 20 0 1 0 18455381 242737152 51565 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 59262 51565 1967 992 0 51120 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 237048 KiB
Current children cumulated memory: 206260 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/261 234102
/proc/meminfo: memFree=82170116/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=248724 memory=214584 CPUtime=3273.96 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 42271 0 0 0 326376 1020 0 0 20 0 1 0 18455381 254693376 53646 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 62181 53646 1967 992 0 54039 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 248724 KiB
Current children cumulated memory: 214584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 234116
/proc/meminfo: memFree=81303320/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=248724 memory=214584 CPUtime=3333.79 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 42345 0 0 0 332324 1055 0 0 20 0 1 0 18455381 254693376 53646 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 62181 53646 1967 992 0 54039 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 248724 KiB
Current children cumulated memory: 214584 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/261 234126
/proc/meminfo: memFree=80563164/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=248724 memory=214584 CPUtime=3393.63 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 42425 0 0 0 338263 1100 0 0 20 0 1 0 18455381 254693376 53646 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 62181 53646 1967 992 0 54039 0
Current children cumulated CPU time: 3393.63 s
Current children cumulated vsize: 248724 KiB
Current children cumulated memory: 214584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/261 234137
/proc/meminfo: memFree=79886308/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=250436 memory=215436 CPUtime=3453.48 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 42713 0 0 0 344212 1136 0 0 20 0 1 0 18455381 256446464 53859 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 62609 53859 1967 992 0 54467 0
Current children cumulated CPU time: 3453.48 s
Current children cumulated vsize: 250436 KiB
Current children cumulated memory: 215436 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/254 234175
/proc/meminfo: memFree=79653288/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=251940 memory=217720 CPUtime=3513.34 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 43197 0 0 0 350180 1154 0 0 20 0 1 0 18455381 257986560 54430 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 62985 54430 1967 992 0 54843 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 251940 KiB
Current children cumulated memory: 217720 KiB
[startup+3582.3 s]
/proc/loadavg: 4.30 4.15 4.11 5/254 234185
/proc/meminfo: memFree=78839100/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=278684 memory=246152 CPUtime=3573.22 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 46761 0 0 0 356127 1195 0 0 20 0 1 0 18455381 285372416 61538 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 69671 61538 1967 992 0 61529 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 278684 KiB
Current children cumulated memory: 246152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.26 4.15 4.11 5/251 234190
/proc/meminfo: memFree=78456456/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=278684 memory=246152 CPUtime=3600.06 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 46762 0 0 0 358806 1200 0 0 20 0 1 0 18455381 285372416 61538 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 69671 61538 1967 992 0 61529 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 278684 KiB
Current children cumulated memory: 246152 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.2 s]
# the end of solver process 230214 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3590.06 s, system=12.0065 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.26 4.15 4.11 5/251 234190
/proc/meminfo: memFree=78456456/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=278684 memory=246152 CPUtime=3600.46 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 46762 0 0 0 358846 1200 0 0 20 0 1 0 18455381 285372416 61538 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 69671 61538 1967 992 0 61529 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 278684 KiB
Current children cumulated memory: 246152 KiB
[startup+3610.4 s]
/proc/loadavg: 4.26 4.15 4.11 5/251 234190
/proc/meminfo: memFree=78449580/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=278684 memory=246152 CPUtime=3601.26 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 46762 0 0 0 358926 1200 0 0 20 0 1 0 18455381 285372416 61538 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 69671 61538 1967 992 0 61529 0
Current children cumulated CPU time: 3601.26 s
Current children cumulated vsize: 278684 KiB
Current children cumulated memory: 246152 KiB
[startup+3610.8 s]
/proc/loadavg: 4.26 4.15 4.11 5/251 234190
/proc/meminfo: memFree=78449580/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=278684 memory=246152 CPUtime=3601.66 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 46762 0 0 0 358966 1200 0 0 20 0 1 0 18455381 285372416 61538 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 69671 61538 1967 992 0 61529 0
Current children cumulated CPU time: 3601.66 s
Current children cumulated vsize: 278684 KiB
Current children cumulated memory: 246152 KiB
[startup+3611.2 s]
/proc/loadavg: 4.26 4.15 4.11 5/251 234190
/proc/meminfo: memFree=78442984/131524600 swapFree=131071216/131071996
[pid=230214] ppid=230211 vsize=278684 memory=246152 CPUtime=3602.06 cores=4,6
/proc/230214/stat : 230214 (roundingsat) R 230211 230214 228025 0 -1 4194304 46762 0 0 0 359006 1200 0 0 20 0 1 0 18455381 285372416 61538 134679101440 4194304 8254037 140725100979536 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14958592 140725100987232 140725100987494 140725100987494 140725100994505 0
/proc/230214/statm: 69671 61538 1967 992 0 61529 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 278684 KiB
Current children cumulated memory: 246152 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.2
CPU time (s): 3602.07
CPU user time (s): 3590.06
CPU system time (s): 12.0065
CPU usage (%): 99.7471
Max. virtual memory (cumulated for all children) (KiB): 278684
Max. memory (cumulated for all children) (KiB): 246152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.06
system time used= 12.0065
maximum resident set size= 246152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46762
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7269376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 5104
# summary of solver processes directly reported to runsolver:
# pid: 230214
# total CPU time (s): 3602.07
# total CPU user time (s): 3590.06
# total CPU system time (s): 12.0065
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.41443 second user time and 18.5337 second system time
The end
Begin job on nodeC018 at 2024-07-24 13:07:51 IDJOB=4457011 IDBENCH=150654 IDSOLVER=3085 FILE ID=nodeC018/4457011-1721819271 RUNJOBID= nodeC018-1721817186-228036 SLURM_JOB_ID= 7816872 Free space on /tmp= 890060 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-4457011-1721819271/watcher-4457011-1721819271 -o /tmp/evaluation-result-4457011-1721819271/solver-4457011-1721819271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721817186-228036 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457011-1721819271 --lp-cut-gomory=0 HOME/instance-4457011-1721819271.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a3d0ac2e079c6211f06f187e0594548d RANDOM SEED=1565205330 nodeC018.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 : 0xb00002a cpu MHz : 3682.938 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.43 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 : 0xb00002a cpu MHz : 3688.603 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.33 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 : 0xb00002a cpu MHz : 3643.095 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.43 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 : 0xb00002a cpu MHz : 3600.000 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.33 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 : 0xb00002a cpu MHz : 3658.693 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.43 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 : 0xb00002a cpu MHz : 3688.615 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.33 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 : 0xb00002a cpu MHz : 3662.261 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.43 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 : 0xb00002a cpu MHz : 3599.725 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.33 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 91238724 kB MemAvailable: 129197632 kB Buffers: 252592 kB Cached: 38429308 kB SwapCached: 184 kB Active: 2490808 kB Inactive: 36965892 kB Active(anon): 1544 kB Inactive(anon): 827332 kB Active(file): 2489264 kB Inactive(file): 36138560 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 85664 kB Writeback: 0 kB AnonPages: 769276 kB Mapped: 125352 kB Shmem: 53972 kB KReclaimable: 341816 kB Slab: 467832 kB SReclaimable: 341816 kB SUnreclaim: 126016 kB KernelStack: 4128 kB PageTables: 10924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1106800 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21088 kB HardwareCorrupted: 0 kB AnonHugePages: 561152 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: 375508 kB DirectMap2M: 43438080 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890048 MiB End job on nodeC018 at 2024-07-24 14:08:02