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 | SAT (TO) | 17 | 3600.14 | 3608.63 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mds/normalized-mds_500_60_3.opb |
| MD5SUM | 473f4f01ea80639962d90e3c1fd9a037 |
| 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 | 14 |
| Best CPU time to get the best result obtained on this benchmark | 3588.18 |
| 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 | 500 |
| Total number of constraints | 500 |
| 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 | 500 |
| Minimum length of a constraint | 61 |
| Maximum length of a constraint | 111 |
| Number of terms in the objective function | 500 |
| 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 | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 37460 |
| Sum of products size (including duplicates) | 74920 |
| Number of different products | 37460 |
| Sum of products size | 74920 |
0.50/0.58 o 193 0.59/0.60 o 192 0.59/0.62 o 191 0.59/0.63 o 190 0.59/0.66 o 189 0.59/0.67 o 188 0.59/0.68 o 187 0.59/0.69 o 186 0.68/0.70 o 185 0.68/0.71 o 184 6.17/6.22 o 183 6.17/6.23 o 182 6.17/6.24 o 181 6.17/6.26 o 180 6.17/6.27 o 179 6.17/6.28 o 178 6.17/6.29 o 177 6.27/6.30 o 176 6.27/6.32 o 175 6.27/6.33 o 174 6.27/6.34 o 173 6.27/6.35 o 172 6.27/6.36 o 171 6.27/6.37 o 170 6.27/6.39 o 169 6.37/6.40 o 168 6.37/6.41 o 167 6.37/6.42 o 166 6.37/6.43 o 165 6.37/6.45 o 164 6.37/6.46 o 163 6.37/6.47 o 162 6.37/6.48 o 161 6.37/6.49 o 160 6.47/6.51 o 159 6.47/6.52 o 158 6.47/6.53 o 157 6.47/6.54 o 156 6.47/6.55 o 155 6.47/6.57 o 154 6.47/6.58 o 153 6.47/6.59 o 152 6.57/6.60 o 151 6.57/6.61 o 150 6.57/6.63 o 149 6.57/6.64 o 148 6.57/6.65 o 147 6.57/6.66 o 146 6.57/6.68 o 145 6.57/6.69 o 144 6.67/6.70 o 143 6.67/6.71 o 142 6.67/6.72 o 141 6.67/6.74 o 140 6.67/6.75 o 139 6.67/6.76 o 138 6.67/6.77 o 137 6.67/6.78 o 136 6.67/6.80 o 135 6.77/6.81 o 134 6.77/6.82 o 133 6.77/6.83 o 132 6.77/6.84 o 131 6.77/6.86 o 130 6.77/6.87 o 129 6.77/6.88 o 128 6.77/6.89 o 127 6.87/6.90 o 126 6.87/6.91 o 125 6.87/6.93 o 124 6.87/6.94 o 123 6.87/6.95 o 122 6.87/6.96 o 121 6.87/6.97 o 120 6.87/6.98 o 119 6.87/6.99 o 118 6.98/7.01 o 117 6.98/7.02 o 116 6.98/7.03 o 115 6.98/7.04 o 114 6.98/7.05 o 113 6.98/7.06 o 112 6.98/7.08 o 111 6.98/7.09 o 110 6.98/7.10 o 109 7.08/7.11 o 108 7.08/7.12 o 107 7.08/7.13 o 106 7.08/7.15 o 105 7.08/7.16 o 104 7.08/7.17 o 103 7.08/7.18 o 102 7.08/7.19 o 101 7.17/7.20 o 100 7.17/7.21 o 99 7.17/7.22 o 98 7.17/7.24 o 97 7.17/7.25 o 96 7.17/7.26 o 95 7.17/7.27 o 94 7.17/7.28 o 93 7.17/7.29 o 92 7.27/7.30 o 91 7.27/7.32 o 90 7.27/7.33 o 89 7.27/7.34 o 88 7.27/7.35 o 87 7.27/7.36 o 86 7.27/7.37 o 85 7.27/7.38 o 84 7.27/7.39 o 83 7.37/7.40 o 82 7.37/7.42 o 81 7.37/7.43 o 80 7.37/7.44 o 79 7.37/7.45 o 78 7.37/7.46 o 77 7.37/7.47 o 76 7.37/7.49 o 75 7.47/7.51 o 74 7.47/7.53 o 73 7.47/7.55 o 72 7.47/7.57 o 71 7.47/7.59 o 70 7.57/7.60 o 69 7.57/7.61 o 68 7.57/7.63 o 67 7.57/7.64 o 66 7.57/7.65 o 65 7.57/7.66 o 64 7.57/7.67 o 63 7.57/7.68 o 62 7.57/7.69 o 61 7.67/7.70 o 60 7.67/7.71 o 59 7.67/7.72 o 58 7.67/7.73 o 57 7.67/7.74 o 56 7.67/7.75 o 55 7.67/7.77 o 54 7.67/7.78 o 53 7.67/7.79 o 52 7.77/7.80 o 51 7.77/7.81 o 50 7.77/7.82 o 49 7.77/7.83 o 48 7.77/7.84 o 47 7.77/7.85 o 46 7.77/7.86 o 45 7.77/7.87 o 44 7.77/7.88 o 43 7.77/7.89 o 42 7.87/7.91 o 41 7.87/7.91 o 40 7.87/7.93 o 39 7.87/7.94 o 38 7.87/7.95 o 37 7.87/7.96 o 36 7.87/7.97 o 35 7.87/7.98 o 34 7.87/7.99 o 33 7.87/8.00 o 32 7.98/8.01 o 31 7.98/8.02 o 30 7.98/8.04 o 29 7.98/8.06 o 28 7.98/8.07 o 27 7.98/8.09 o 26 8.08/8.11 o 25 8.08/8.13 o 24 8.08/8.14 o 23 8.08/8.18 o 22 8.17/8.29 o 21 9.76/9.86 o 20 12.36/12.42 o 19 22.73/22.85 o 18 1199.53/1202.42 o 17 3600.09/3608.60 c Program interrupted by user. 3600.09/3608.60 s SATISFIABLE 3600.09/3608.60 v x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 -x10 x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
OK 17
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: 63931 MiB (60391 MiB free)
memory of node 1: 64510 MiB (62259 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459849-1721943115/watcher-4459849-1721943115 -o /tmp/evaluation-result-4459849-1721943115/solver-4459849-1721943115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721943060-255872 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=139441828 HOME/instance-4459849-1721943115.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=256216, runsolver pid=256213
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 3.36 2.45 2.19 5/263 256217
/proc/meminfo: memFree=125544188/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=82048 memory=58972 CPUtime=0.1 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 15923 0 0 0 8 2 0 0 20 0 1 0 30840793 84017152 14743 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 20512 14743 868 1005 0 19275 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82048 KiB
Current children cumulated memory: 58972 KiB
[startup+0.205925 s]*
/proc/loadavg: 3.36 2.45 2.19 5/263 256217
/proc/meminfo: memFree=125523920/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=92572 memory=73596 CPUtime=0.2 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 19689 0 0 0 18 2 0 0 20 0 1 0 30840793 94793728 18399 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 23143 18399 884 1005 0 21906 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92572 KiB
Current children cumulated memory: 73596 KiB
[startup+0.305818 s]*
/proc/loadavg: 3.36 2.45 2.19 5/263 256217
/proc/meminfo: memFree=125489376/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=157652 memory=116632 CPUtime=0.3 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 25275 0 0 0 26 4 0 0 20 0 1 0 30840793 161435648 29158 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 39413 29158 1028 1005 0 38176 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 157652 KiB
Current children cumulated memory: 116632 KiB
[startup+0.700241 s]
/proc/loadavg: 3.36 2.45 2.19 5/263 256217
/proc/meminfo: memFree=125424032/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=198916 memory=178144 CPUtime=0.68 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 33680 0 0 0 62 6 0 0 20 0 1 0 30840793 203689984 44536 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 49729 44536 1108 1005 0 48492 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 198916 KiB
Current children cumulated memory: 178144 KiB
[startup+1.50026 s]
/proc/loadavg: 3.36 2.45 2.19 5/263 256217
/proc/meminfo: memFree=125417476/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=199212 memory=180512 CPUtime=1.48 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 33787 0 0 0 142 6 0 0 20 0 1 0 30840793 203993088 45128 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 49803 45128 1124 1005 0 48566 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 199212 KiB
Current children cumulated memory: 180512 KiB
[startup+3.106 s]
/proc/loadavg: 3.36 2.45 2.19 5/263 256219
/proc/meminfo: memFree=125407720/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=202048 memory=189508 CPUtime=3.09 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 34495 0 0 0 302 7 0 0 20 0 1 0 30840793 206897152 47377 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 50512 47377 1124 1005 0 49275 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 202048 KiB
Current children cumulated memory: 189508 KiB
[startup+6.30025 s]
/proc/loadavg: 3.41 2.47 2.20 5/263 256219
/proc/meminfo: memFree=125396848/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=221964 memory=200440 CPUtime=6.27 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 36930 0 0 0 620 7 0 0 20 0 1 0 30840793 227291136 50110 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 55491 50110 1124 1005 0 54254 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 221964 KiB
Current children cumulated memory: 200440 KiB
[startup+12.7002 s]
/proc/loadavg: 3.46 2.50 2.21 5/263 256219
/proc/meminfo: memFree=125365536/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=259568 memory=229416 CPUtime=12.65 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 41065 0 0 0 1256 9 0 0 20 0 1 0 30840793 265797632 57354 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 64892 57354 1124 1005 0 63655 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 259568 KiB
Current children cumulated memory: 229416 KiB
[startup+25.5003 s]
/proc/loadavg: 3.66 2.59 2.25 5/263 256222
/proc/meminfo: memFree=125319124/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=315484 memory=268200 CPUtime=25.42 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 44070 0 0 0 2530 12 0 0 20 0 1 0 30840793 323055616 67050 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 78871 67050 1140 1005 0 77634 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 315484 KiB
Current children cumulated memory: 268200 KiB
[startup+51.1057 s]
/proc/loadavg: 3.78 2.70 2.30 5/263 256225
/proc/meminfo: memFree=125272008/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=332776 memory=301308 CPUtime=50.95 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 47839 0 0 0 5081 14 0 0 20 0 1 0 30840793 340762624 75327 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 83194 75327 1140 1005 0 81957 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 332776 KiB
Current children cumulated memory: 301308 KiB
[startup+102.3 s]
/proc/loadavg: 3.90 2.91 2.39 5/261 256234
/proc/meminfo: memFree=125238156/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=351016 memory=318084 CPUtime=102.02 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 52162 0 0 0 10183 19 0 0 20 0 1 0 30840793 359440384 79521 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 87754 79521 1140 1005 0 86517 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 351016 KiB
Current children cumulated memory: 318084 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 3.14 2.50 5/260 256244
/proc/meminfo: memFree=125221320/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=356956 memory=324424 CPUtime=161.87 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 53777 0 0 0 16165 22 0 0 20 0 1 0 30840793 365522944 81106 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 89239 81106 1140 1005 0 88002 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 356956 KiB
Current children cumulated memory: 324424 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.31 2.60 5/256 256254
/proc/meminfo: memFree=125170572/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=450128 memory=365268 CPUtime=221.7 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 59671 0 0 0 22143 27 0 0 20 0 1 0 30840793 460931072 91317 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 112532 91317 1140 1005 0 111295 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 450128 KiB
Current children cumulated memory: 365268 KiB
[startup+282.3 s]
/proc/loadavg: 4.25 3.51 2.72 5/255 256264
/proc/meminfo: memFree=125150624/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=454576 memory=379092 CPUtime=281.55 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 61218 0 0 0 28124 31 0 0 20 0 1 0 30840793 465485824 94773 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 113644 94773 1140 1005 0 112407 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 454576 KiB
Current children cumulated memory: 379092 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 3.64 2.81 5/255 256275
/proc/meminfo: memFree=125127856/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=474348 memory=393564 CPUtime=341.42 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 64907 0 0 0 34109 33 0 0 20 0 1 0 30840793 485732352 98391 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 118587 98391 1140 1005 0 117350 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 474348 KiB
Current children cumulated memory: 393564 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.72 2.90 5/255 256285
/proc/meminfo: memFree=125117208/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=479588 memory=398736 CPUtime=401.27 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 66349 0 0 0 40092 35 0 0 20 0 1 0 30840793 491098112 99684 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 119897 99684 1140 1005 0 118660 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 479588 KiB
Current children cumulated memory: 398736 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.80 2.98 5/255 256295
/proc/meminfo: memFree=125097264/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=489056 memory=410960 CPUtime=461.14 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 69284 0 0 0 46070 44 0 0 20 0 1 0 30840793 500793344 102740 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 122264 102740 1140 1005 0 121027 0
################
# More data... #
################
Current children cumulated memory: 724016 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.13 4.06 5/255 257830
/proc/meminfo: memFree=124732128/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=837700 memory=724560 CPUtime=2855.54 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 123877 0 0 0 285384 170 0 0 20 0 1 0 30840793 857804800 181140 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 209425 181140 1140 1005 0 208188 0
Current children cumulated CPU time: 2855.54 s
Current children cumulated vsize: 837700 KiB
Current children cumulated memory: 724560 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.12 4.06 5/258 257846
/proc/meminfo: memFree=124730776/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=837700 memory=724584 CPUtime=2915.38 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 124048 0 0 0 291368 170 0 0 20 0 1 0 30840793 857804800 181146 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 209425 181146 1140 1005 0 208188 0
Current children cumulated CPU time: 2915.38 s
Current children cumulated vsize: 837700 KiB
Current children cumulated memory: 724584 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.13 4.07 5/259 257858
/proc/meminfo: memFree=124689172/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=838732 memory=765324 CPUtime=2975.21 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 124727 0 0 0 297350 171 0 0 20 0 1 0 30840793 858861568 191331 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 209683 191331 1140 1005 0 208446 0
Current children cumulated CPU time: 2975.21 s
Current children cumulated vsize: 838732 KiB
Current children cumulated memory: 765324 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.07 5/259 257868
/proc/meminfo: memFree=124682300/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=841572 memory=771264 CPUtime=3035.06 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 125701 0 0 0 303335 171 0 0 20 0 1 0 30840793 861769728 192816 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 210393 192816 1140 1005 0 209156 0
Current children cumulated CPU time: 3035.06 s
Current children cumulated vsize: 841572 KiB
Current children cumulated memory: 771264 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/259 257880
/proc/meminfo: memFree=124677948/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=846180 memory=774684 CPUtime=3094.93 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 126582 0 0 0 309315 178 0 0 20 0 1 0 30840793 866488320 193671 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 211545 193671 1140 1005 0 210308 0
Current children cumulated CPU time: 3094.93 s
Current children cumulated vsize: 846180 KiB
Current children cumulated memory: 774684 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/259 257891
/proc/meminfo: memFree=124666012/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=846180 memory=774932 CPUtime=3154.79 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 126678 0 0 0 315294 185 0 0 20 0 1 0 30840793 866488320 193733 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 211545 193733 1140 1005 0 210308 0
Current children cumulated CPU time: 3154.79 s
Current children cumulated vsize: 846180 KiB
Current children cumulated memory: 774932 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/257 258283
/proc/meminfo: memFree=124664824/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=846180 memory=774984 CPUtime=3214.65 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 126755 0 0 0 321274 191 0 0 20 0 1 0 30840793 866488320 193746 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 211545 193746 1140 1005 0 210308 0
Current children cumulated CPU time: 3214.65 s
Current children cumulated vsize: 846180 KiB
Current children cumulated memory: 774984 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/256 258293
/proc/meminfo: memFree=124663816/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=846180 memory=775012 CPUtime=3274.51 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 126843 0 0 0 327255 196 0 0 20 0 1 0 30840793 866488320 193753 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 211545 193753 1140 1005 0 210308 0
Current children cumulated CPU time: 3274.51 s
Current children cumulated vsize: 846180 KiB
Current children cumulated memory: 775012 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/256 258304
/proc/meminfo: memFree=124662592/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=846180 memory=775028 CPUtime=3334.38 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 126910 0 0 0 333237 201 0 0 20 0 1 0 30840793 866488320 193757 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 211545 193757 1140 1005 0 210308 0
Current children cumulated CPU time: 3334.38 s
Current children cumulated vsize: 846180 KiB
Current children cumulated memory: 775028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/259 258485
/proc/meminfo: memFree=124660764/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=846180 memory=775076 CPUtime=3394.25 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 127006 0 0 0 339210 215 0 0 20 0 1 0 30840793 866488320 193769 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 211545 193769 1140 1005 0 210308 0
Current children cumulated CPU time: 3394.25 s
Current children cumulated vsize: 846180 KiB
Current children cumulated memory: 775076 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/259 258495
/proc/meminfo: memFree=124659668/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=846180 memory=775076 CPUtime=3454.11 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 127523 0 0 0 345195 216 0 0 20 0 1 0 30840793 866488320 193769 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 211545 193769 1140 1005 0 210308 0
Current children cumulated CPU time: 3454.11 s
Current children cumulated vsize: 846180 KiB
Current children cumulated memory: 775076 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/261 258565
/proc/meminfo: memFree=124632376/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=846180 memory=800760 CPUtime=3513.98 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 128031 0 0 0 351181 217 0 0 20 0 1 0 30840793 866488320 200190 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 211545 200190 1140 1005 0 210308 0
Current children cumulated CPU time: 3513.98 s
Current children cumulated vsize: 846180 KiB
Current children cumulated memory: 800760 KiB
[startup+3582.3 s]
/proc/loadavg: 3.04 3.86 4.00 2/240 258669
/proc/meminfo: memFree=125068368/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=848664 memory=802888 CPUtime=3573.85 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 128818 0 0 0 357168 217 0 0 20 0 1 0 30840793 869031936 200722 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 212166 200722 1140 1005 0 210929 0
Current children cumulated CPU time: 3573.85 s
Current children cumulated vsize: 848664 KiB
Current children cumulated memory: 802888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 2.40 3.64 3.93 2/240 258674
/proc/meminfo: memFree=125066736/131524600 swapFree=131053920/131071996
[pid=256216] ppid=256213 vsize=850212 memory=804520 CPUtime=3600.09 cores=5,7
/proc/256216/stat : 256216 (Exact) R 256213 256216 253719 0 -1 4194304 129321 0 0 0 359792 217 0 0 20 0 1 0 30840793 870617088 201130 134679101440 4194304 8309489 140725585383376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 30560256 140725585388478 140725585388647 140725585388647 140725585395663 0
/proc/256216/statm: 212553 201130 1140 1005 0 211316 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 850212 KiB
Current children cumulated memory: 804520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.63 s]
# the end of solver process 256216 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.95 s, system=2.18292 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3608.63
CPU time (s): 3600.14
CPU user time (s): 3597.95
CPU system time (s): 2.18292
CPU usage (%): 99.7647
Max. virtual memory (cumulated for all children) (KiB): 850212
Max. memory (cumulated for all children) (KiB): 804520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.95
system time used= 2.18292
maximum resident set size= 804736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129380
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= 98
involuntary context switches= 2430
# summary of solver processes directly reported to runsolver:
# pid: 256216
# total CPU time (s): 3600.14
# total CPU user time (s): 3597.95
# total CPU system time (s): 2.18292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47478 second user time and 16.5557 second system time
The end
Begin job on nodeC023 at 2024-07-25 23:31:55 IDJOB=4459849 IDBENCH=148610 IDSOLVER=3060 FILE ID=nodeC023/4459849-1721943115 RUNJOBID= nodeC023-1721943060-255872 SLURM_JOB_ID= 8247244 Free space on /tmp= 890064 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_3.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-4459849-1721943115/watcher-4459849-1721943115 -o /tmp/evaluation-result-4459849-1721943115/solver-4459849-1721943115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721943060-255872 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=139441828 HOME/instance-4459849-1721943115.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 473f4f01ea80639962d90e3c1fd9a037 RANDOM SEED=139441828 nodeC023.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 : 3654.871 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.85 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 : 3664.122 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 : 7007.10 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 : 3600.217 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.85 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.515 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 : 7007.10 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 : 3654.869 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.85 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 : 3650.669 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 : 7007.10 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 : 3600.074 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.85 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 : 3666.561 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 : 7007.10 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125594764 kB MemAvailable: 129453816 kB Buffers: 333552 kB Cached: 4317920 kB SwapCached: 208 kB Active: 1650232 kB Inactive: 3606076 kB Active(anon): 2380 kB Inactive(anon): 654276 kB Active(file): 1647852 kB Inactive(file): 2951800 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131053920 kB Dirty: 6372 kB Writeback: 0 kB AnonPages: 603820 kB Mapped: 107584 kB Shmem: 52148 kB KReclaimable: 198092 kB Slab: 315564 kB SReclaimable: 198092 kB SUnreclaim: 117472 kB KernelStack: 4272 kB PageTables: 10604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1140264 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 kB HardwareCorrupted: 0 kB AnonHugePages: 364544 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: 410324 kB DirectMap2M: 61229056 kB DirectMap1G: 74448896 kB Free space on /tmp at the end= 890076 MiB End job on nodeC023 at 2024-07-26 00:32:04