Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | ? (TO) | 3602.01 | 3614.02 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_1000_25_5.opb |
| MD5SUM | 2fbc7789f215ae658897d89229f86125 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 56 |
| Best CPU time to get the best result obtained on this benchmark | 70954.4 |
| 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 | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 51 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31590 |
| Sum of products size (including duplicates) | 63180 |
| Number of different products | 31590 |
| Sum of products size | 63180 |
0.40/0.45 o 427 0.40/0.47 o 426 0.40/0.48 o 425 0.40/0.49 o 424 0.40/0.50 o 423 0.50/0.51 o 422 0.50/0.52 o 421 0.50/0.54 o 420 0.50/0.54 o 419 0.50/0.56 o 418 0.50/0.56 o 417 0.50/0.59 o 416 0.50/0.60 o 415 0.59/0.60 o 414 0.59/0.61 o 413 0.59/0.61 o 412 0.59/0.69 o 411 0.69/0.70 o 410 0.69/0.71 o 409 0.69/0.72 o 408 0.69/0.72 o 407 0.69/0.73 o 406 0.69/0.73 o 405 0.69/0.74 o 404 0.69/0.74 o 403 0.69/0.75 o 402 0.69/0.75 o 401 0.69/0.76 o 400 0.69/0.76 o 399 0.69/0.77 o 398 0.69/0.78 o 397 0.69/0.78 o 396 0.69/0.79 o 395 0.78/0.80 o 394 0.78/0.80 o 393 0.78/0.81 o 392 0.78/0.81 o 391 0.78/0.82 o 390 0.78/0.82 o 389 0.78/0.83 o 388 0.78/0.83 o 387 0.78/0.84 o 386 2.58/2.62 o 385 2.58/2.63 o 384 2.58/2.64 o 383 2.58/2.64 o 382 2.58/2.65 o 381 2.58/2.66 o 380 2.58/2.67 o 379 2.58/2.67 o 378 2.58/2.68 o 377 2.58/2.69 o 376 2.58/2.69 o 375 2.68/2.70 o 374 2.68/2.71 o 373 2.68/2.71 o 372 2.68/2.72 o 371 2.68/2.73 o 370 2.68/2.74 o 369 2.68/2.74 o 368 2.68/2.75 o 367 2.68/2.76 o 366 2.68/2.76 o 365 2.68/2.77 o 364 2.68/2.78 o 363 2.68/2.79 o 362 2.68/2.79 o 361 2.78/2.80 o 360 2.78/2.81 o 359 2.78/2.82 o 358 2.78/2.82 o 357 2.78/2.83 o 356 2.78/2.84 o 355 2.78/2.84 o 354 2.78/2.85 o 353 2.78/2.86 o 352 2.78/2.87 o 351 2.78/2.87 o 350 2.78/2.88 o 349 2.78/2.89 o 348 2.87/2.90 o 347 2.87/2.91 o 346 2.87/2.91 o 345 2.87/2.92 o 344 2.87/2.93 o 343 2.87/2.93 o 342 2.87/2.94 o 341 2.87/2.95 o 340 2.87/2.95 o 339 2.87/2.96 o 338 2.87/2.97 o 337 2.87/2.97 o 336 2.87/2.98 o 335 2.87/2.98 o 334 2.87/2.99 o 333 2.87/3.00 o 332 2.98/3.01 o 331 2.98/3.02 o 330 2.98/3.03 o 329 2.98/3.04 o 328 2.98/3.05 o 327 2.98/3.06 o 326 2.98/3.07 o 325 2.98/3.08 o 324 2.98/3.08 o 323 2.98/3.09 o 322 2.98/3.10 o 321 3.08/3.11 o 320 3.08/3.11 o 319 3.08/3.12 o 318 3.08/3.13 o 317 3.08/3.13 o 316 3.08/3.14 o 315 3.08/3.15 o 314 3.08/3.16 o 313 3.08/3.16 o 312 3.08/3.17 o 311 3.08/3.18 o 310 3.08/3.18 o 309 3.08/3.19 o 308 3.17/3.20 o 307 3.17/3.21 o 306 3.17/3.21 o 305 3.17/3.22 o 304 3.17/3.23 o 303 3.17/3.23 o 302 3.17/3.24 o 301 3.17/3.25 o 300 3.17/3.25 o 299 3.17/3.26 o 298 3.17/3.27 o 297 3.17/3.27 o 296 3.17/3.28 o 295 3.17/3.29 o 294 3.17/3.29 o 293 3.27/3.30 o 292 3.27/3.31 o 291 3.27/3.31 o 290 3.27/3.32 o 289 3.27/3.33 o 288 3.27/3.33 o 287 3.27/3.34 o 286 3.27/3.35 o 285 3.27/3.35 o 284 3.27/3.36 o 283 3.27/3.37 o 282 3.27/3.37 o 281 3.27/3.38 o 280 3.27/3.39 o 279 3.27/3.39 o 278 3.37/3.40 o 277 3.37/3.41 o 276 3.37/3.42 o 275 3.37/3.42 o 274 3.37/3.43 o 273 3.37/3.44 o 272 3.37/3.44 o 271 3.37/3.45 o 270 3.37/3.46 o 269 3.37/3.47 o 268 3.37/3.47 o 267 3.37/3.48 o 266 3.37/3.49 o 265 3.37/3.49 o 264 3.47/3.50 o 263 3.47/3.51 o 262 3.47/3.51 o 261 3.47/3.52 o 260 3.47/3.53 o 259 3.47/3.54 o 258 3.47/3.54 o 257 3.47/3.55 o 256 3.47/3.56 o 255 3.47/3.56 o 254 3.47/3.57 o 253 3.47/3.58 o 252 3.47/3.59 o 251 3.47/3.59 o 250 3.57/3.60 o 249 3.57/3.61 o 248 3.57/3.62 o 247 3.57/3.62 o 246 3.57/3.63 o 245 3.57/3.64 o 244 3.57/3.64 o 243 3.57/3.65 o 242 3.57/3.66 o 241 3.57/3.66 o 240 3.57/3.67 o 239 3.57/3.68 o 238 3.57/3.69 o 237 3.57/3.69 o 236 3.67/3.70 o 235 3.67/3.71 o 234 3.67/3.71 o 233 3.67/3.72 o 232 3.67/3.73 o 231 3.67/3.74 o 230 3.67/3.74 o 229 3.67/3.75 o 228 3.67/3.76 o 227 3.67/3.76 o 226 3.67/3.77 o 225 3.67/3.78 o 224 3.67/3.78 o 223 3.67/3.79 o 222 3.77/3.80 o 221 3.77/3.80 o 220 3.77/3.81 o 219 3.77/3.82 o 218 3.77/3.83 o 217 3.77/3.83 o 216 3.77/3.84 o 215 3.77/3.85 o 214 3.77/3.85 o 213 3.77/3.86 o 212 3.77/3.87 o 211 3.77/3.87 o 210 3.77/3.88 o 209 3.77/3.89 o 208 3.87/3.90 o 207 3.87/3.90 o 206 3.87/3.91 o 205 3.87/3.92 o 204 3.87/3.93 o 203 3.87/3.93 o 202 3.87/3.94 o 201 3.87/3.95 o 200 3.87/3.96 o 199 3.87/3.96 o 198 3.87/3.97 o 197 3.87/3.98 o 196 3.87/3.99 o 195 3.87/3.99 o 194 3.87/4.00 o 193 3.98/4.01 o 192 3.98/4.02 o 191 3.98/4.03 o 190 3.98/4.04 o 189 3.98/4.06 o 188 3.98/4.07 o 187 3.98/4.08 o 186 3.98/4.09 o 185 3.98/4.10 o 184 4.07/4.11 o 183 4.07/4.12 o 182 4.07/4.13 o 181 4.07/4.14 o 180 4.07/4.15 o 179 4.07/4.16 o 178 4.07/4.17 o 177 4.07/4.18 o 176 4.07/4.19 o 175 4.17/4.20 o 174 4.17/4.22 o 173 4.17/4.23 o 172 4.17/4.24 o 171 4.17/4.24 o 170 4.17/4.25 o 169 4.17/4.26 o 168 4.17/4.27 o 167 4.17/4.28 o 166 4.17/4.29 o 165 4.27/4.30 o 164 4.27/4.31 o 163 4.27/4.33 o 162 4.27/4.34 o 161 4.27/4.36 o 160 4.27/4.37 o 159 4.27/4.38 o 158 4.27/4.39 o 157 4.37/4.40 o 156 4.37/4.42 o 155 4.37/4.43 o 154 4.37/4.44 o 153 4.37/4.45 o 152 4.37/4.47 o 151 4.37/4.48 o 150 4.37/4.49 o 149 4.47/4.51 o 148 4.47/4.52 o 147 4.47/4.54 o 146 4.47/4.55 o 145 4.47/4.57 o 144 4.47/4.58 o 143 4.47/4.59 o 142 4.57/4.61 o 141 4.57/4.62 o 140 4.57/4.63 o 139 4.57/4.64 o 138 4.57/4.65 o 137 4.57/4.66 o 136 4.57/4.67 o 135 4.57/4.68 o 134 4.57/4.69 o 133 4.66/4.70 o 132 4.66/4.71 o 131 4.66/4.72 o 130 4.66/4.73 o 129 4.66/4.75 o 128 4.66/4.76 o 127 4.66/4.78 o 126 4.66/4.79 o 125 4.76/4.80 o 124 4.76/4.81 o 123 4.76/4.84 o 122 4.76/4.86 o 121 5.76/5.82 o 120 23.60/23.72 o 119 23.60/23.73 o 118 23.60/23.74 o 117 23.60/23.76 o 116 23.60/23.77 o 115 23.60/23.79 o 114 23.90/24.05 o 113 52.79/53.04 o 112 98.52/98.95 o 111 98.52/98.96 o 110 98.52/99.00 o 109 98.62/99.04 o 108 99.12/99.52 o 107 99.22/99.61 o 106 99.22/99.67 o 105 99.32/99.73 o 104 99.81/100.23 o 103 100.01/100.40 o 102 100.01/100.46 o 101 100.31/100.70 o 100 100.62/101.02 o 99 114.86/115.36 o 98 120.04/120.50 o 97 132.99/133.55 o 96 136.98/137.55 o 95 138.88/139.46 o 94 139.07/139.69 o 93 198.97/199.70 o 92 200.67/201.42 o 91 200.77/201.52 o 90 258.69/259.64 o 89 261.68/262.66 o 88 261.87/262.83 o 87 261.87/262.89 o 86 262.57/263.59 o 85 485.81/487.58 o 84 520.98/522.81 o 83 633.28/635.58 o 82 633.38/635.60 o 81 1067.63/1071.30 o 80 1313.27/1317.78 o 79 1806.58/1812.72 o 78 1806.58/1812.73 o 77 1806.68/1812.87 o 76 2271.61/2279.34 o 75 2560.49/2569.21 o 74 3047.96/3058.33 o 73 3131.20/3141.85 o 72
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 (59392 MiB free)
memory of node 1: 64473 MiB (60336 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459825-1721943063/watcher-4459825-1721943063 -o /tmp/evaluation-result-4459825-1721943063/solver-4459825-1721943063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721943063-255907 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=472718047 HOME/instance-4459825-1721943063.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=255961, runsolver pid=255955
[startup+0.100754 s]*
/proc/loadavg: 3.01 3.10 3.08 8/260 255972
/proc/meminfo: memFree=122484636/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=68380 memory=49932 CPUtime=0.09 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 14062 0 0 0 7 2 0 0 20 0 1 0 30834234 70021120 12483 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 17095 12483 868 1005 0 15858 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68380 KiB
Current children cumulated memory: 49932 KiB
[startup+0.206359 s]*
/proc/loadavg: 3.01 3.10 3.08 7/260 255972
/proc/meminfo: memFree=122473032/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=77664 memory=57428 CPUtime=0.19 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 16635 0 0 0 17 2 0 0 20 0 1 0 30834234 79527936 14357 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 19416 14357 884 1005 0 18179 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77664 KiB
Current children cumulated memory: 57428 KiB
[startup+0.306292 s]*
/proc/loadavg: 3.01 3.10 3.08 7/260 255972
/proc/meminfo: memFree=122398812/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=134820 memory=114608 CPUtime=0.3 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 25988 0 0 0 25 5 0 0 20 0 1 0 30834234 138055680 28652 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 33705 28652 1028 1005 0 32468 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 134820 KiB
Current children cumulated memory: 114608 KiB
[startup+0.700212 s]
/proc/loadavg: 3.01 3.10 3.08 7/260 255972
/proc/meminfo: memFree=122385112/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=156188 memory=132264 CPUtime=0.69 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 30444 0 0 0 63 6 0 0 20 0 1 0 30834234 159936512 33066 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 39047 33066 1092 1005 0 37810 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 156188 KiB
Current children cumulated memory: 132264 KiB
[startup+1.50023 s]
/proc/loadavg: 3.01 3.10 3.08 6/260 255972
/proc/meminfo: memFree=122371132/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=156188 memory=136360 CPUtime=1.48 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 30448 0 0 0 142 6 0 0 20 0 1 0 30834234 159936512 34090 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 39047 34090 1092 1005 0 37810 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 156188 KiB
Current children cumulated memory: 136360 KiB
[startup+3.10652 s]
/proc/loadavg: 3.01 3.10 3.08 6/260 255972
/proc/meminfo: memFree=122327940/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=157872 memory=140080 CPUtime=3.08 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 30818 0 0 0 302 6 0 0 20 0 1 0 30834234 161660928 35020 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 39468 35020 1124 1005 0 38231 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 157872 KiB
Current children cumulated memory: 140080 KiB
[startup+6.30022 s]
/proc/loadavg: 3.09 3.11 3.09 6/260 255974
/proc/meminfo: memFree=122295848/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=165008 memory=150744 CPUtime=6.26 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 32477 0 0 0 620 6 0 0 20 0 1 0 30834234 168968192 37686 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 41252 37686 1124 1005 0 40015 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 165008 KiB
Current children cumulated memory: 150744 KiB
[startup+12.7002 s]
/proc/loadavg: 3.16 3.13 3.09 6/260 255974
/proc/meminfo: memFree=122240060/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=199416 memory=176824 CPUtime=12.64 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 35677 0 0 0 1255 9 0 0 20 0 1 0 30834234 204201984 44206 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 49854 44206 1124 1005 0 48617 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 199416 KiB
Current children cumulated memory: 176824 KiB
[startup+25.5002 s]
/proc/loadavg: 3.35 3.17 3.11 6/260 255977
/proc/meminfo: memFree=122191328/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=236676 memory=212600 CPUtime=25.39 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 39972 0 0 0 2528 11 0 0 20 0 1 0 30834234 242356224 53150 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 59169 53150 1124 1005 0 57932 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 236676 KiB
Current children cumulated memory: 212600 KiB
[startup+51.1064 s]
/proc/loadavg: 3.57 3.24 3.13 6/260 256027
/proc/meminfo: memFree=121908716/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=309548 memory=274536 CPUtime=50.9 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 49544 0 0 0 5074 16 0 0 20 0 1 0 30834234 316977152 68634 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 77387 68634 1140 1005 0 76150 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 309548 KiB
Current children cumulated memory: 274536 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.44 3.21 6/260 256036
/proc/meminfo: memFree=121814616/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=356032 memory=319728 CPUtime=101.91 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 57885 0 0 0 10171 20 0 0 20 0 1 0 30834234 364576768 79932 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 89008 79932 1140 1005 0 87771 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 356032 KiB
Current children cumulated memory: 319728 KiB
[startup+162.3 s]
/proc/loadavg: 4.24 3.60 3.28 6/258 256048
/proc/meminfo: memFree=121765092/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=363008 memory=343544 CPUtime=161.7 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 59580 0 0 0 16145 25 0 0 20 0 1 0 30834234 371720192 85886 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 90752 85886 1140 1005 0 89515 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 363008 KiB
Current children cumulated memory: 343544 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 3.69 3.33 6/258 256058
/proc/meminfo: memFree=121731916/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=371840 memory=353764 CPUtime=221.5 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 61445 0 0 0 22121 29 0 0 20 0 1 0 30834234 380764160 88441 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 92960 88441 1140 1005 0 91723 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 371840 KiB
Current children cumulated memory: 353764 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.75 3.38 6/254 256068
/proc/meminfo: memFree=121712836/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=377684 memory=359340 CPUtime=281.31 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 63011 0 0 0 28102 29 0 0 20 0 1 0 30834234 386748416 89835 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 94421 89835 1140 1005 0 93184 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 377684 KiB
Current children cumulated memory: 359340 KiB
[startup+342.3 s]
/proc/loadavg: 4.38 3.91 3.46 6/252 256078
/proc/meminfo: memFree=121682576/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=382744 memory=363336 CPUtime=341.11 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 64154 0 0 0 34074 37 0 0 20 0 1 0 30834234 391929856 90834 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 95686 90834 1140 1005 0 94449 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 382744 KiB
Current children cumulated memory: 363336 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.94 3.50 6/252 256089
/proc/meminfo: memFree=121665080/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=384680 memory=365560 CPUtime=400.9 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 64700 0 0 0 40045 45 0 0 20 0 1 0 30834234 393912320 91390 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 96170 91390 1140 1005 0 94933 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 384680 KiB
Current children cumulated memory: 365560 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.97 3.54 6/252 256099
/proc/meminfo: memFree=121641628/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=385660 memory=367080 CPUtime=460.69 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 65302 0 0 0 46018 51 0 0 20 0 1 0 30834234 394915840 91770 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 96415 91770 1140 1005 0 95178 0
################
# More data... #
################
Current children cumulated CPU time: 3032.01 s
Current children cumulated vsize: 591532 KiB
Current children cumulated memory: 545256 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.08 6/254 257688
/proc/meminfo: memFree=121191572/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=598000 memory=550984 CPUtime=3091.83 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 104009 0 0 0 308967 216 0 0 20 0 1 0 30834234 612352000 137746 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 149500 137746 1140 1005 0 148263 0
Current children cumulated CPU time: 3091.83 s
Current children cumulated vsize: 598000 KiB
Current children cumulated memory: 550984 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.08 6/254 257700
/proc/meminfo: memFree=121179820/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=604208 memory=556624 CPUtime=3151.64 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 105652 0 0 0 314947 217 0 0 20 0 1 0 30834234 618708992 139156 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 151052 139156 1140 1005 0 149815 0
Current children cumulated CPU time: 3151.64 s
Current children cumulated vsize: 604208 KiB
Current children cumulated memory: 556624 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/253 257710
/proc/meminfo: memFree=121174076/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=608688 memory=560008 CPUtime=3211.45 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 106721 0 0 0 320922 223 0 0 20 0 1 0 30834234 623296512 140002 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 152172 140002 1140 1005 0 150935 0
Current children cumulated CPU time: 3211.45 s
Current children cumulated vsize: 608688 KiB
Current children cumulated memory: 560008 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/253 258104
/proc/meminfo: memFree=121155628/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=613664 memory=565112 CPUtime=3271.27 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 107998 0 0 0 326895 232 0 0 20 0 1 0 30834234 628391936 141278 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 153416 141278 1140 1005 0 152179 0
Current children cumulated CPU time: 3271.27 s
Current children cumulated vsize: 613664 KiB
Current children cumulated memory: 565112 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 6/253 258114
/proc/meminfo: memFree=121150180/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=613664 memory=565164 CPUtime=3331.09 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 108106 0 0 0 332869 240 0 0 20 0 1 0 30834234 628391936 141291 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 153416 141291 1140 1005 0 152179 0
Current children cumulated CPU time: 3331.09 s
Current children cumulated vsize: 613664 KiB
Current children cumulated memory: 565164 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/253 258125
/proc/meminfo: memFree=121147464/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=614680 memory=566028 CPUtime=3390.91 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 108410 0 0 0 338845 246 0 0 20 0 1 0 30834234 629432320 141507 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 153670 141507 1140 1005 0 152433 0
Current children cumulated CPU time: 3390.91 s
Current children cumulated vsize: 614680 KiB
Current children cumulated memory: 566028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.14 4.10 6/255 258305
/proc/meminfo: memFree=121146676/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=614680 memory=566244 CPUtime=3450.74 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 108532 0 0 0 344814 260 0 0 20 0 1 0 30834234 629432320 141561 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 153670 141561 1140 1005 0 152433 0
Current children cumulated CPU time: 3450.74 s
Current children cumulated vsize: 614680 KiB
Current children cumulated memory: 566244 KiB
[startup+3522.3 s]
/proc/loadavg: 4.76 4.35 4.18 6/255 258315
/proc/meminfo: memFree=121138260/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=614680 memory=566264 CPUtime=3510.55 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 108598 0 0 0 350785 270 0 0 20 0 1 0 30834234 629432320 141566 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 153670 141566 1140 1005 0 152433 0
Current children cumulated CPU time: 3510.55 s
Current children cumulated vsize: 614680 KiB
Current children cumulated memory: 566264 KiB
[startup+3582.3 s]
/proc/loadavg: 4.33 4.30 4.18 6/255 258384
/proc/meminfo: memFree=121135316/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=615060 memory=566596 CPUtime=3570.38 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 108796 0 0 0 356759 279 0 0 20 0 1 0 30834234 629821440 141649 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 153765 141649 1140 1005 0 152528 0
Current children cumulated CPU time: 3570.38 s
Current children cumulated vsize: 615060 KiB
Current children cumulated memory: 566596 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.11 4.26 4.17 3/241 258451
/proc/meminfo: memFree=121531632/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=615232 memory=566832 CPUtime=3600 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 108850 0 0 0 359716 284 0 0 20 0 1 0 30834234 629997568 141708 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 153808 141708 1140 1005 0 152571 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 615232 KiB
Current children cumulated memory: 566832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3614.01 s]
# the end of solver process 255961 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.16 s, system=2.84635 s
Solver just ended.
Solver just ended.
]
# the end of solver process 255961 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.16 s, system=2.84635 s
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 4.11 4.26 4.17 3/241 258451
/proc/meminfo: memFree=121531632/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=615232 memory=566832 CPUtime=3600.79 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 108850 0 0 0 359795 284 0 0 20 0 1 0 30834234 629997568 141708 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 153808 141708 1140 1005 0 152571 0
Current children cumulated CPU time: 3600.79 s
Current children cumulated vsize: 615232 KiB
Current children cumulated memory: 566832 KiB
[startup+3613.6 s]
/proc/loadavg: 4.11 4.26 4.17 3/241 258451
/proc/meminfo: memFree=121531632/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=615232 memory=566832 CPUtime=3601.59 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 108851 0 0 0 359875 284 0 0 20 0 1 0 30834234 629997568 141708 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 153808 141708 1140 1005 0 152571 0
Current children cumulated CPU time: 3601.59 s
Current children cumulated vsize: 615232 KiB
Current children cumulated memory: 566832 KiB
[startup+3614 s]*
/proc/loadavg: 4.11 4.26 4.17 3/241 258452
/proc/meminfo: memFree=121531632/131524600 swapFree=131060368/131071996
[pid=255961] ppid=255955 vsize=615232 memory=566832 CPUtime=3601.99 cores=0,2
/proc/255961/stat : 255961 (Exact) R 255955 255961 253732 0 -1 4194304 108851 0 0 0 359915 284 0 0 20 0 1 0 30834234 629997568 141708 134679101440 4194304 8309489 140735471941536 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 26763264 140735471944642 140735471944811 140735471944811 140735471951823 0
/proc/255961/statm: 153808 141708 1140 1005 0 152571 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 615232 KiB
Current children cumulated memory: 566832 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.02
CPU time (s): 3602.01
CPU user time (s): 3599.16
CPU system time (s): 2.84635
CPU usage (%): 99.6675
Max. virtual memory (cumulated for all children) (KiB): 654160
Max. memory (cumulated for all children) (KiB): 566832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 2.84635
maximum resident set size= 572824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108851
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 25232
# summary of solver processes directly reported to runsolver:
# pid: 255961
# total CPU time (s): 3602.01
# total CPU user time (s): 3599.16
# total CPU system time (s): 2.84635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79906 second user time and 19.2439 second system time
The end
Begin job on nodeC014 at 2024-07-25 23:31:03 IDJOB=4459825 IDBENCH=148597 IDSOLVER=3060 FILE ID=nodeC014/4459825-1721943063 RUNJOBID= nodeC014-1721943063-255907 SLURM_JOB_ID= 8247236 Free space on /tmp= 890036 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_5.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459825-1721943063/watcher-4459825-1721943063 -o /tmp/evaluation-result-4459825-1721943063/solver-4459825-1721943063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721943063-255907 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=472718047 HOME/instance-4459825-1721943063.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2fbc7789f215ae658897d89229f86125 RANDOM SEED=472718047 nodeC014.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 : 3691.125 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.45 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 : 3878.283 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.48 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 : 3832.580 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.45 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 : 3778.959 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.48 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 : 3857.432 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.45 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 : 3854.492 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.48 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 : 3609.019 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.45 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 : 3608.147 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.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122603124 kB MemAvailable: 129790112 kB Buffers: 335972 kB Cached: 7643344 kB SwapCached: 140 kB Active: 766828 kB Inactive: 7487116 kB Active(anon): 2108 kB Inactive(anon): 325276 kB Active(file): 764720 kB Inactive(file): 7161840 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060368 kB Dirty: 24240 kB Writeback: 0 kB AnonPages: 271364 kB Mapped: 92292 kB Shmem: 52988 kB KReclaimable: 200504 kB Slab: 323796 kB SReclaimable: 200504 kB SUnreclaim: 123292 kB KernelStack: 3984 kB PageTables: 9524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 713200 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12800 kB HardwareCorrupted: 0 kB AnonHugePages: 157696 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 393940 kB DirectMap2M: 46565376 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 890024 MiB End job on nodeC014 at 2024-07-26 00:31:17